Trace number 4834969

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:
  1. 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.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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.
  5. 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

Solver NameAnswerCPU timeWall clock time
roundingsat-satsuma-liftedcover 2026-06-11 (cert)UNSAT cert. 35.3552 38.406

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
MD5SUM1a042d5fcb76a110c048c575a59fde0e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.007911
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables801
Total number of constraints1118
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1116
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb26-symm
0.00/0.01	c commit 801ab82
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 241] (0.417606ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.03	c 	 (12.0748ms)
0.00/0.03	c 
0.00/0.03	c detect symmetries on remainder
0.00/0.03	c 	[graph: #vertices 4007 #edges 11214]
0.00/0.03	c 	dejavu (support_limit=48MB, budget_limit=64)
0.00/0.03	c 	[group: #symmetries 8*10^0 #gens 3] (2.24554ms)
0.00/0.03	c 
0.00/0.03	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03	c 	(0.005758ms)
0.00/0.03	c 
0.00/0.03	c apply negation fixing (schreier: true, gens: 3)
0.00/0.03	c 	fixed 1 literals
0.00/0.03	c 	(0.762022ms)
0.00/0.03	c 
0.00/0.03	c generation finished
0.00/0.03	c 	[sbp: #constraints 1 #add_vars 0]
0.00/0.03	c 
0.00/0.03	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 481] (0.36926ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	c 	probe for Johnson action (limit=64)
0.00/0.03	c 	probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.03	c 	probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.04	c 	 (7.40119ms)
0.00/0.04	c 
0.00/0.04	c detect symmetries on remainder
0.00/0.04	c 	[graph: #vertices 4005 #edges 11198]
0.00/0.04	c 	dejavu (support_limit=48MB, budget_limit=64)
0.00/0.04	c 	[group: #symmetries 8*10^0 #gens 3] (1.41371ms)
0.00/0.04	c 
0.00/0.04	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.04	c 	(0.004656ms)
0.00/0.04	c 
0.00/0.04	c apply negation fixing (schreier: true, gens: 3)
0.00/0.04	c 	fixed 1 literals
0.00/0.04	c 	(0.212277ms)
0.00/0.04	c 
0.00/0.04	c generation finished
0.00/0.04	c 	[sbp: #constraints 1 #add_vars 0]
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.04	c	 [group: #orbits ~= 2] (0.322076ms)
0.00/0.04	c 
0.00/0.04	c detect special group actions
0.00/0.04	c 	probe for Johnson action (limit=64)
0.00/0.04	c 	probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.04	c 	probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.04	c 	 found row 3x2
0.00/0.04	c 	 (0.053172ms)
0.00/0.04	c 
0.00/0.04	c detect symmetries on remainder
0.00/0.04	c 	[graph: #vertices 4005 #edges 11190]
0.00/0.04	c 	dejavu (support_limit=48MB, budget_limit=64)
0.00/0.04	c 	[group: #symmetries 1*10^0 #gens 2] (0.13292ms)
0.00/0.04	c 
0.00/0.04	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.04	c 	(0.001652ms)
0.00/0.04	c 
0.00/0.04	c apply negation fixing (schreier: true, gens: 2)
0.00/0.04	c 	fixed 0 literals
0.00/0.04	c 	(0.012247ms)
0.00/0.04	c 
0.00/0.04	c generation finished
0.00/0.04	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.04	c	 [group: #orbits ~= 2] (0.311522ms)
0.00/0.04	c 
0.00/0.04	c detect special group actions
0.00/0.04	c 	probe for Johnson action (limit=64)
0.00/0.04	c 	probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.04	c 	probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.04	c 	 found row 3x2
0.00/0.04	c 	 (0.045471ms)
0.00/0.04	c 
0.00/0.04	c detect symmetries on remainder
0.00/0.04	c 	[graph: #vertices 4005 #edges 11190]
0.00/0.04	c 	dejavu (support_limit=48MB, budget_limit=64)
0.00/0.04	c 	[group: #symmetries 1*10^0 #gens 0] (0.129325ms)
0.00/0.04	c 
0.00/0.04	c finalize break order and special generators
0.00/0.04	c 
0.00/0.04	c generation finished
0.00/0.04	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.04	c UNIT CLEANUP
0.00/0.04	c UNIT CLEANUP
0.00/0.04	c #variables 801 #constraints 1132
0.00/0.05	c rational objective 400.5
0.08/0.14	c #Conflicts: 1000 | #Constraints: 2153
0.08/0.18	c #Conflicts: 2000 | #Constraints: 3159
0.08/0.18	c DATABASE CLEANUP
0.08/0.18	c GARBAGE COLLECT
0.08/0.18	c rational objective 400.5
0.19/0.26	c #Conflicts: 3000 | #Constraints: 3171
0.19/0.30	c #Conflicts: 4000 | #Constraints: 4173
0.19/0.31	c DATABASE CLEANUP
0.19/0.31	c GARBAGE COLLECT
0.19/0.31	c rational objective 400.5
0.28/0.38	c #Conflicts: 5000 | #Constraints: 3598
0.28/0.42	c #Conflicts: 6000 | #Constraints: 4601
0.38/0.45	c DATABASE CLEANUP
0.38/0.45	c GARBAGE COLLECT
0.38/0.45	c rational objective 400.5
0.38/0.50	c #Conflicts: 7000 | #Constraints: 3618
0.47/0.54	c #Conflicts: 8000 | #Constraints: 4619
0.47/0.58	c #Conflicts: 9000 | #Constraints: 5624
0.47/0.59	c DATABASE CLEANUP
0.47/0.59	c GARBAGE COLLECT
0.47/0.59	c rational objective 400.5
0.56/0.66	c #Conflicts: 10000 | #Constraints: 4323
0.64/0.70	c #Conflicts: 11000 | #Constraints: 5323
0.64/0.74	c #Conflicts: 12000 | #Constraints: 6325
0.64/0.74	c DATABASE CLEANUP
0.64/0.74	c GARBAGE COLLECT
0.64/0.74	c rational objective 400.5
0.74/0.82	c #Conflicts: 13000 | #Constraints: 4774
0.74/0.86	c #Conflicts: 14000 | #Constraints: 5777
0.83/0.92	c #Conflicts: 15000 | #Constraints: 6777
0.83/0.92	c DATABASE CLEANUP
0.83/0.92	c GARBAGE COLLECT
0.83/0.92	c rational objective 400.5
0.83/1.00	c #Conflicts: 16000 | #Constraints: 4996
0.93/1.05	c #Conflicts: 17000 | #Constraints: 5996
0.93/1.09	c #Conflicts: 18000 | #Constraints: 6996
0.93/1.10	c DATABASE CLEANUP
0.93/1.10	c GARBAGE COLLECT
0.93/1.10	c rational objective 400.5
1.03/1.18	c #Conflicts: 19000 | #Constraints: 5016
1.10/1.22	c #Conflicts: 20000 | #Constraints: 6017
1.10/1.27	c #Conflicts: 21000 | #Constraints: 7018
1.20/1.30	c DATABASE CLEANUP
1.20/1.30	c GARBAGE COLLECT
1.20/1.30	c rational objective 400.5
1.20/1.35	c #Conflicts: 22000 | #Constraints: 4815
1.20/1.39	c #Conflicts: 23000 | #Constraints: 5816
1.29/1.44	c #Conflicts: 24000 | #Constraints: 6819
1.29/1.48	c #Conflicts: 25000 | #Constraints: 7820
1.29/1.49	c DATABASE CLEANUP
1.29/1.49	c GARBAGE COLLECT
1.29/1.49	c rational objective 400.5
1.39/1.56	c #Conflicts: 26000 | #Constraints: 5420
1.48/1.61	c #Conflicts: 27000 | #Constraints: 6420
1.48/1.65	c #Conflicts: 28000 | #Constraints: 7422
1.48/1.69	c #Conflicts: 29000 | #Constraints: 8422
1.57/1.70	c DATABASE CLEANUP
1.57/1.70	c GARBAGE COLLECT
1.57/1.70	c rational objective 400.5
1.57/1.78	c #Conflicts: 30000 | #Constraints: 5824
1.68/1.82	c #Conflicts: 31000 | #Constraints: 6826
1.68/1.87	c #Conflicts: 32000 | #Constraints: 7829
1.77/1.91	c #Conflicts: 33000 | #Constraints: 8830
1.77/1.92	c DATABASE CLEANUP
1.77/1.92	c GARBAGE COLLECT
1.77/1.92	c rational objective 400.5
1.77/2.00	c #Conflicts: 34000 | #Constraints: 6024
1.87/2.05	c #Conflicts: 35000 | #Constraints: 7024
1.87/2.10	c #Conflicts: 36000 | #Constraints: 8024
1.95/2.15	c #Conflicts: 37000 | #Constraints: 9025
1.95/2.16	c DATABASE CLEANUP
1.95/2.16	c GARBAGE COLLECT
1.95/2.16	c rational objective 400.5
2.03/2.24	c #Conflicts: 38000 | #Constraints: 6027
2.03/2.29	c #Conflicts: 39000 | #Constraints: 7027
2.13/2.33	c #Conflicts: 40000 | #Constraints: 8028
2.13/2.37	c #Conflicts: 41000 | #Constraints: 9028
2.22/2.41	c DATABASE CLEANUP
2.22/2.41	c GARBAGE COLLECT
2.22/2.41	c rational objective 400.5
2.22/2.46	c #Conflicts: 42000 | #Constraints: 5830
2.31/2.51	c #Conflicts: 43000 | #Constraints: 6830
2.31/2.55	c #Conflicts: 44000 | #Constraints: 7830
2.41/2.60	c #Conflicts: 45000 | #Constraints: 8832
2.41/2.65	c #Conflicts: 46000 | #Constraints: 9832
2.41/2.66	c DATABASE CLEANUP
2.41/2.66	c GARBAGE COLLECT
2.41/2.66	c rational objective 400.5
2.50/2.73	c #Conflicts: 47000 | #Constraints: 6426
2.50/2.78	c #Conflicts: 48000 | #Constraints: 7427
2.60/2.83	c #Conflicts: 49000 | #Constraints: 8427
2.60/2.88	c #Conflicts: 50000 | #Constraints: 9431
2.68/2.92	c #Conflicts: 51000 | #Constraints: 10432
2.68/2.93	c DATABASE CLEANUP
2.68/2.93	c GARBAGE COLLECT
2.68/2.93	c rational objective 400.5
2.68/3.00	c #Conflicts: 52000 | #Constraints: 6831
2.79/3.05	c #Conflicts: 53000 | #Constraints: 7831
2.79/3.09	c #Conflicts: 54000 | #Constraints: 8831
2.88/3.13	c #Conflicts: 55000 | #Constraints: 9833
2.88/3.18	c #Conflicts: 56000 | #Constraints: 10833
2.88/3.18	c DATABASE CLEANUP
2.88/3.18	c GARBAGE COLLECT
2.88/3.18	c rational objective 400.5
2.97/3.26	c #Conflicts: 57000 | #Constraints: 7024
3.06/3.32	c #Conflicts: 58000 | #Constraints: 8025
3.06/3.36	c #Conflicts: 59000 | #Constraints: 9025
3.15/3.41	c #Conflicts: 60000 | #Constraints: 10025
3.15/3.46	c #Conflicts: 61000 | #Constraints: 11025
3.15/3.47	c DATABASE CLEANUP
3.15/3.47	c GARBAGE COLLECT
3.15/3.47	c rational objective 400.5
3.25/3.54	c #Conflicts: 62000 | #Constraints: 7031
3.25/3.58	c #Conflicts: 63000 | #Constraints: 8033
3.34/3.63	c #Conflicts: 64000 | #Constraints: 9034
3.34/3.67	c #Conflicts: 65000 | #Constraints: 10034
3.43/3.72	c #Conflicts: 66000 | #Constraints: 11035
3.43/3.75	c DATABASE CLEANUP
3.43/3.75	c GARBAGE COLLECT
3.43/3.75	c rational objective 400.5
3.54/3.81	c #Conflicts: 67000 | #Constraints: 6831
3.54/3.86	c #Conflicts: 68000 | #Constraints: 7831
3.63/3.90	c #Conflicts: 69000 | #Constraints: 8831
3.63/3.94	c #Conflicts: 70000 | #Constraints: 9831
3.63/3.99	c #Conflicts: 71000 | #Constraints: 10831
3.73/4.04	c #Conflicts: 72000 | #Constraints: 11831
3.73/4.06	c DATABASE CLEANUP
3.73/4.06	c GARBAGE COLLECT
3.73/4.06	c rational objective 400.5
3.83/4.13	c #Conflicts: 73000 | #Constraints: 7433
3.83/4.18	c #Conflicts: 74000 | #Constraints: 8433
3.91/4.23	c #Conflicts: 75000 | #Constraints: 9433
3.91/4.27	c #Conflicts: 76000 | #Constraints: 10434
4.00/4.33	c #Conflicts: 77000 | #Constraints: 11434
4.00/4.37	c #Conflicts: 78000 | #Constraints: 12434
4.00/4.37	c DATABASE CLEANUP
4.00/4.37	c GARBAGE COLLECT
4.00/4.37	c rational objective 400.5
4.09/4.45	c #Conflicts: 79000 | #Constraints: 7838
4.18/4.51	c #Conflicts: 80000 | #Constraints: 8838
4.18/4.56	c #Conflicts: 81000 | #Constraints: 9839
4.26/4.62	c #Conflicts: 82000 | #Constraints: 10841
4.26/4.67	c #Conflicts: 83000 | #Constraints: 11843
4.35/4.73	c #Conflicts: 84000 | #Constraints: 12843
4.35/4.73	c DATABASE CLEANUP
4.35/4.73	c GARBAGE COLLECT
4.35/4.73	c rational objective 400.5
4.43/4.83	c #Conflicts: 85000 | #Constraints: 8045
4.43/4.88	c #Conflicts: 86000 | #Constraints: 9045
4.52/4.93	c #Conflicts: 87000 | #Constraints: 10046
4.52/4.99	c #Conflicts: 88000 | #Constraints: 11046
4.61/5.05	c #Conflicts: 89000 | #Constraints: 12047
4.69/5.12	c #Conflicts: 90000 | #Constraints: 13049
4.69/5.14	c DATABASE CLEANUP
4.69/5.14	c GARBAGE COLLECT
4.69/5.14	c rational objective 400.5
4.75/5.24	c #Conflicts: 91000 | #Constraints: 8039
4.75/5.29	c #Conflicts: 92000 | #Constraints: 9039
4.83/5.34	c #Conflicts: 93000 | #Constraints: 10039
4.92/5.40	c #Conflicts: 94000 | #Constraints: 11039
4.92/5.46	c #Conflicts: 95000 | #Constraints: 12039
5.00/5.51	c #Conflicts: 96000 | #Constraints: 13039
5.00/5.55	c DATABASE CLEANUP
5.00/5.55	c GARBAGE COLLECT
5.00/5.55	c rational objective 400.5
5.10/5.61	c #Conflicts: 97000 | #Constraints: 7838
5.10/5.65	c #Conflicts: 98000 | #Constraints: 8838
5.18/5.70	c #Conflicts: 99000 | #Constraints: 9838
5.18/5.76	c #Conflicts: 100000 | #Constraints: 10838
5.27/5.81	c #Conflicts: 101000 | #Constraints: 11841
5.27/5.86	c #Conflicts: 102000 | #Constraints: 12841
5.36/5.90	c #Conflicts: 103000 | #Constraints: 13842
5.36/5.92	c DATABASE CLEANUP
5.36/5.92	c GARBAGE COLLECT
5.36/5.92	c rational objective 400.5
5.36/6.00	c #Conflicts: 104000 | #Constraints: 8437
5.47/6.04	c #Conflicts: 105000 | #Constraints: 9438
5.47/6.10	c #Conflicts: 106000 | #Constraints: 10439
5.55/6.14	c #Conflicts: 107000 | #Constraints: 11441
5.55/6.19	c #Conflicts: 108000 | #Constraints: 12441
5.64/6.25	c #Conflicts: 109000 | #Constraints: 13442
5.73/6.30	c #Conflicts: 110000 | #Constraints: 14442
5.73/6.30	c DATABASE CLEANUP
5.73/6.30	c GARBAGE COLLECT
5.73/6.30	c rational objective 400.5
5.73/6.39	c #Conflicts: 111000 | #Constraints: 8845
5.82/6.43	c #Conflicts: 112000 | #Constraints: 9845
5.82/6.48	c #Conflicts: 113000 | #Constraints: 10846
5.92/6.53	c #Conflicts: 114000 | #Constraints: 11846
5.92/6.58	c #Conflicts: 115000 | #Constraints: 12847
6.01/6.63	c #Conflicts: 116000 | #Constraints: 13847
6.01/6.67	c #Conflicts: 117000 | #Constraints: 14847
6.01/6.68	c DATABASE CLEANUP
6.01/6.68	c GARBAGE COLLECT
6.01/6.68	c rational objective 400.5
6.10/6.76	c #Conflicts: 118000 | #Constraints: 9043
6.20/6.81	c #Conflicts: 119000 | #Constraints: 10043
6.20/6.86	c #Conflicts: 120000 | #Constraints: 11045
6.27/6.93	c #Conflicts: 121000 | #Constraints: 12045
6.27/6.98	c #Conflicts: 122000 | #Constraints: 13047
6.37/7.04	c #Conflicts: 123000 | #Constraints: 14048
6.37/7.08	c #Conflicts: 124000 | #Constraints: 15048
6.37/7.10	c DATABASE CLEANUP
6.37/7.10	c GARBAGE COLLECT
6.37/7.10	c rational objective 400.5
6.47/7.17	c #Conflicts: 125000 | #Constraints: 9049
6.55/7.22	c #Conflicts: 126000 | #Constraints: 10049
6.55/7.26	c #Conflicts: 127000 | #Constraints: 11049
6.64/7.31	c #Conflicts: 128000 | #Constraints: 12049
6.64/7.35	c #Conflicts: 129000 | #Constraints: 13049
6.74/7.40	c #Conflicts: 130000 | #Constraints: 14049
6.74/7.45	c #Conflicts: 131000 | #Constraints: 15050
6.74/7.48	c DATABASE CLEANUP
6.74/7.48	c GARBAGE COLLECT
6.74/7.48	c rational objective 400.5
6.83/7.54	c #Conflicts: 132000 | #Constraints: 8842
6.83/7.58	c #Conflicts: 133000 | #Constraints: 9845
6.93/7.63	c #Conflicts: 134000 | #Constraints: 10846
6.93/7.67	c #Conflicts: 135000 | #Constraints: 11847
7.02/7.71	c #Conflicts: 136000 | #Constraints: 12847
7.02/7.76	c #Conflicts: 137000 | #Constraints: 13847
7.12/7.80	c #Conflicts: 138000 | #Constraints: 14847
7.12/7.85	c #Conflicts: 139000 | #Constraints: 15847
7.12/7.87	c DATABASE CLEANUP
7.12/7.87	c GARBAGE COLLECT
7.12/7.87	c rational objective 400.5
7.21/7.94	c #Conflicts: 140000 | #Constraints: 9442
7.21/7.98	c #Conflicts: 141000 | #Constraints: 10442
7.32/8.02	c #Conflicts: 142000 | #Constraints: 11442
7.32/8.07	c #Conflicts: 143000 | #Constraints: 12443
7.42/8.12	c #Conflicts: 144000 | #Constraints: 13444
7.42/8.16	c #Conflicts: 145000 | #Constraints: 14446
7.50/8.20	c #Conflicts: 146000 | #Constraints: 15447
7.50/8.25	c #Conflicts: 147000 | #Constraints: 16447
7.50/8.26	c DATABASE CLEANUP
7.50/8.26	c GARBAGE COLLECT
7.50/8.26	c rational objective 400.5
7.60/8.34	c #Conflicts: 148000 | #Constraints: 9849
7.60/8.39	c #Conflicts: 149000 | #Constraints: 10849
7.69/8.44	c #Conflicts: 150000 | #Constraints: 11849
7.69/8.49	c #Conflicts: 151000 | #Constraints: 12849
7.78/8.54	c #Conflicts: 152000 | #Constraints: 13849
7.86/8.60	c #Conflicts: 153000 | #Constraints: 14849
7.86/8.64	c #Conflicts: 154000 | #Constraints: 15849
7.86/8.69	c #Conflicts: 155000 | #Constraints: 16849
7.94/8.70	c DATABASE CLEANUP
7.94/8.70	c GARBAGE COLLECT
7.94/8.70	c rational objective 400.5
7.94/8.79	c #Conflicts: 156000 | #Constraints: 10048
8.04/8.84	c #Conflicts: 157000 | #Constraints: 11048
8.04/8.89	c #Conflicts: 158000 | #Constraints: 12048
8.12/8.94	c #Conflicts: 159000 | #Constraints: 13048
8.12/8.99	c #Conflicts: 160000 | #Constraints: 14048
8.21/9.05	c #Conflicts: 161000 | #Constraints: 15048
8.21/9.09	c #Conflicts: 162000 | #Constraints: 16048
8.31/9.15	c #Conflicts: 163000 | #Constraints: 17048
8.31/9.16	c DATABASE CLEANUP
8.31/9.16	c GARBAGE COLLECT
8.31/9.16	c rational objective 400.5
8.39/9.23	c #Conflicts: 164000 | #Constraints: 10047
8.39/9.28	c #Conflicts: 165000 | #Constraints: 11047
8.47/9.33	c #Conflicts: 166000 | #Constraints: 12047
8.47/9.38	c #Conflicts: 167000 | #Constraints: 13047
8.56/9.43	c #Conflicts: 168000 | #Constraints: 14047
8.56/9.49	c #Conflicts: 169000 | #Constraints: 15047
8.65/9.53	c #Conflicts: 170000 | #Constraints: 16047
8.65/9.57	c #Conflicts: 171000 | #Constraints: 17047
8.75/9.61	c DATABASE CLEANUP
8.75/9.61	c GARBAGE COLLECT
8.75/9.61	c rational objective 400.5
8.75/9.67	c #Conflicts: 172000 | #Constraints: 9845
8.84/9.71	c #Conflicts: 173000 | #Constraints: 10846
8.84/9.76	c #Conflicts: 174000 | #Constraints: 11846
8.93/9.80	c #Conflicts: 175000 | #Constraints: 12846
8.93/9.85	c #Conflicts: 176000 | #Constraints: 13846
8.93/9.89	c #Conflicts: 177000 | #Constraints: 14846
9.03/9.93	c #Conflicts: 178000 | #Constraints: 15846
9.03/9.98	c #Conflicts: 179000 | #Constraints: 16846
9.13/10.03	c #Conflicts: 180000 | #Constraints: 17846
9.13/10.04	c DATABASE CLEANUP
9.13/10.04	c GARBAGE COLLECT
9.13/10.04	c rational objective 400.5
9.23/10.12	c #Conflicts: 181000 | #Constraints: 10450
9.23/10.16	c #Conflicts: 182000 | #Constraints: 11450
9.31/10.21	c #Conflicts: 183000 | #Constraints: 12450
9.31/10.25	c #Conflicts: 184000 | #Constraints: 13450
9.41/10.30	c #Conflicts: 185000 | #Constraints: 14450
9.41/10.35	c #Conflicts: 186000 | #Constraints: 15450
9.41/10.39	c #Conflicts: 187000 | #Constraints: 16450
9.50/10.43	c #Conflicts: 188000 | #Constraints: 17450
9.50/10.48	c #Conflicts: 189000 | #Constraints: 18450
9.50/10.48	c DATABASE CLEANUP
9.50/10.48	c GARBAGE COLLECT
9.50/10.48	c rational objective 400.5
9.61/10.56	c #Conflicts: 190000 | #Constraints: 10849
9.70/10.61	c #Conflicts: 191000 | #Constraints: 11849
9.70/10.66	c #Conflicts: 192000 | #Constraints: 12849
9.80/10.70	c #Conflicts: 193000 | #Constraints: 13849
9.80/10.74	c #Conflicts: 194000 | #Constraints: 14849
9.80/10.79	c #Conflicts: 195000 | #Constraints: 15849
9.90/10.84	c #Conflicts: 196000 | #Constraints: 16849
9.90/10.89	c #Conflicts: 197000 | #Constraints: 17849
9.99/10.93	c #Conflicts: 198000 | #Constraints: 18849
9.99/10.94	c DATABASE CLEANUP
9.99/10.94	c GARBAGE COLLECT
9.99/10.94	c rational objective 400.5
10.10/11.02	c #Conflicts: 199000 | #Constraints: 11053
10.10/11.07	c #Conflicts: 200000 | #Constraints: 12053
10.20/11.12	c #Conflicts: 201000 | #Constraints: 13053
10.20/11.19	c #Conflicts: 202000 | #Constraints: 14053
10.28/11.26	c #Conflicts: 203000 | #Constraints: 15053
10.37/11.34	c #Conflicts: 204000 | #Constraints: 16053
10.48/11.42	c #Conflicts: 205000 | #Constraints: 17053
10.48/11.46	c #Conflicts: 206000 | #Constraints: 18053
10.57/11.50	c #Conflicts: 207000 | #Constraints: 19053
10.57/11.52	c DATABASE CLEANUP
10.57/11.52	c GARBAGE COLLECT
10.57/11.52	c rational objective 400.5
10.57/11.59	c #Conflicts: 208000 | #Constraints: 11052
10.67/11.63	c #Conflicts: 209000 | #Constraints: 12052
10.67/11.68	c #Conflicts: 210000 | #Constraints: 13052
10.77/11.74	c #Conflicts: 211000 | #Constraints: 14052
10.77/11.79	c #Conflicts: 212000 | #Constraints: 15052
10.85/11.86	c #Conflicts: 213000 | #Constraints: 16052
10.95/11.92	c #Conflicts: 214000 | #Constraints: 17052
10.95/11.98	c #Conflicts: 215000 | #Constraints: 18052
11.04/12.05	c #Conflicts: 216000 | #Constraints: 19052
11.04/12.10	c DATABASE CLEANUP
11.04/12.10	c GARBAGE COLLECT
11.04/12.10	c rational objective 400.5
11.13/12.15	c #Conflicts: 217000 | #Constraints: 10846
11.22/12.20	c #Conflicts: 218000 | #Constraints: 11846
11.22/12.24	c #Conflicts: 219000 | #Constraints: 12846
11.31/12.31	c #Conflicts: 220000 | #Constraints: 13846
11.31/12.37	c #Conflicts: 221000 | #Constraints: 14846
11.38/12.43	c #Conflicts: 222000 | #Constraints: 15846
11.38/12.49	c #Conflicts: 223000 | #Constraints: 16846
11.48/12.56	c #Conflicts: 224000 | #Constraints: 17846
11.55/12.63	c #Conflicts: 225000 | #Constraints: 18846
11.64/12.71	c #Conflicts: 226000 | #Constraints: 19846
11.64/12.73	c DATABASE CLEANUP
11.64/12.73	c GARBAGE COLLECT
11.64/12.73	c rational objective 400.5
11.73/12.80	c #Conflicts: 227000 | #Constraints: 11445
11.73/12.85	c #Conflicts: 228000 | #Constraints: 12445
11.73/12.89	c #Conflicts: 229000 | #Constraints: 13445
11.83/12.94	c #Conflicts: 230000 | #Constraints: 14445
11.83/12.99	c #Conflicts: 231000 | #Constraints: 15445
11.92/13.04	c #Conflicts: 232000 | #Constraints: 16445
11.92/13.09	c #Conflicts: 233000 | #Constraints: 17445
12.01/13.15	c #Conflicts: 234000 | #Constraints: 18445
12.01/13.19	c #Conflicts: 235000 | #Constraints: 19445
12.09/13.24	c #Conflicts: 236000 | #Constraints: 20445
12.09/13.25	c DATABASE CLEANUP
12.09/13.25	c GARBAGE COLLECT
12.09/13.25	c rational objective 400.5
12.19/13.34	c #Conflicts: 237000 | #Constraints: 11849
12.19/13.38	c #Conflicts: 238000 | #Constraints: 12849
12.28/13.44	c #Conflicts: 239000 | #Constraints: 13849
12.28/13.49	c #Conflicts: 240000 | #Constraints: 14849
12.36/13.53	c #Conflicts: 241000 | #Constraints: 15849
12.36/13.58	c #Conflicts: 242000 | #Constraints: 16849
12.45/13.64	c #Conflicts: 243000 | #Constraints: 17849
12.53/13.70	c #Conflicts: 244000 | #Constraints: 18849
12.53/13.75	c #Conflicts: 245000 | #Constraints: 19849
12.62/13.80	c #Conflicts: 246000 | #Constraints: 20849
12.62/13.81	c DATABASE CLEANUP
12.62/13.81	c GARBAGE COLLECT
12.62/13.81	c rational objective 400.5
12.70/13.90	c #Conflicts: 247000 | #Constraints: 12049
12.70/13.95	c #Conflicts: 248000 | #Constraints: 13049
12.70/14.01	c #Conflicts: 249000 | #Constraints: 14049
12.81/14.06	c #Conflicts: 250000 | #Constraints: 15049
12.89/14.11	c #Conflicts: 251000 | #Constraints: 16049
12.89/14.16	c #Conflicts: 252000 | #Constraints: 17049
12.97/14.21	c #Conflicts: 253000 | #Constraints: 18049
12.97/14.26	c #Conflicts: 254000 | #Constraints: 19049
13.07/14.31	c #Conflicts: 255000 | #Constraints: 20049
13.07/14.36	c #Conflicts: 256000 | #Constraints: 21049
13.07/14.38	c DATABASE CLEANUP
13.07/14.38	c GARBAGE COLLECT
13.07/14.38	c rational objective 400.5
13.16/14.45	c #Conflicts: 257000 | #Constraints: 12046
13.16/14.49	c #Conflicts: 258000 | #Constraints: 13046
13.26/14.53	c #Conflicts: 259000 | #Constraints: 14046
13.26/14.58	c #Conflicts: 260000 | #Constraints: 15046
13.36/14.63	c #Conflicts: 261000 | #Constraints: 16046
13.36/14.69	c #Conflicts: 262000 | #Constraints: 17046
13.43/14.75	c #Conflicts: 263000 | #Constraints: 18046
13.52/14.81	c #Conflicts: 264000 | #Constraints: 19046
13.52/14.85	c #Conflicts: 265000 | #Constraints: 20046
13.60/14.90	c #Conflicts: 266000 | #Constraints: 21046
13.60/14.95	c DATABASE CLEANUP
13.60/14.95	c GARBAGE COLLECT
13.60/14.95	c rational objective 400.5
13.69/15.01	c #Conflicts: 267000 | #Constraints: 11845
13.69/15.07	c #Conflicts: 268000 | #Constraints: 12845
13.76/15.12	c #Conflicts: 269000 | #Constraints: 13845
13.76/15.17	c #Conflicts: 270000 | #Constraints: 14845
13.84/15.21	c #Conflicts: 271000 | #Constraints: 15845
13.84/15.27	c #Conflicts: 272000 | #Constraints: 16846
13.93/15.32	c #Conflicts: 273000 | #Constraints: 17846
13.93/15.38	c #Conflicts: 274000 | #Constraints: 18846
14.00/15.44	c #Conflicts: 275000 | #Constraints: 19847
14.07/15.50	c #Conflicts: 276000 | #Constraints: 20847
14.07/15.55	c #Conflicts: 277000 | #Constraints: 21847
14.07/15.57	c DATABASE CLEANUP
14.07/15.57	c GARBAGE COLLECT
14.07/15.57	c rational objective 400.5
14.17/15.64	c #Conflicts: 278000 | #Constraints: 12441
14.26/15.70	c #Conflicts: 279000 | #Constraints: 13441
14.26/15.74	c #Conflicts: 280000 | #Constraints: 14441
14.34/15.80	c #Conflicts: 281000 | #Constraints: 15441
14.34/15.85	c #Conflicts: 282000 | #Constraints: 16441
14.43/15.90	c #Conflicts: 283000 | #Constraints: 17441
14.43/15.94	c #Conflicts: 284000 | #Constraints: 18441
14.43/16.00	c #Conflicts: 285000 | #Constraints: 19441
14.52/16.05	c #Conflicts: 286000 | #Constraints: 20441
14.52/16.10	c #Conflicts: 287000 | #Constraints: 21441
14.62/16.16	c #Conflicts: 288000 | #Constraints: 22441
14.62/16.17	c DATABASE CLEANUP
14.62/16.17	c GARBAGE COLLECT
14.62/16.17	c rational objective 400.5
14.69/16.28	c #Conflicts: 289000 | #Constraints: 12844
14.77/16.32	c #Conflicts: 290000 | #Constraints: 13844
14.77/16.38	c #Conflicts: 291000 | #Constraints: 14844
14.86/16.43	c #Conflicts: 292000 | #Constraints: 15844
14.86/16.47	c #Conflicts: 293000 | #Constraints: 16844
14.95/16.51	c #Conflicts: 294000 | #Constraints: 17844
14.95/16.56	c #Conflicts: 295000 | #Constraints: 18844
15.05/16.61	c #Conflicts: 296000 | #Constraints: 19844
15.05/16.66	c #Conflicts: 297000 | #Constraints: 20844
15.14/16.71	c #Conflicts: 298000 | #Constraints: 21844
15.14/16.76	c #Conflicts: 299000 | #Constraints: 22844
15.14/16.77	c DATABASE CLEANUP
15.14/16.77	c GARBAGE COLLECT
15.14/16.77	c rational objective 400.5
15.24/16.86	c #Conflicts: 300000 | #Constraints: 13048
15.33/16.91	c #Conflicts: 301000 | #Constraints: 14048
15.33/16.95	c #Conflicts: 302000 | #Constraints: 15048
15.33/16.99	c #Conflicts: 303000 | #Constraints: 16048
15.44/17.04	c #Conflicts: 304000 | #Constraints: 17048
15.44/17.09	c #Conflicts: 305000 | #Constraints: 18048
15.53/17.13	c #Conflicts: 306000 | #Constraints: 19048
15.53/17.18	c #Conflicts: 307000 | #Constraints: 20048
15.62/17.22	c #Conflicts: 308000 | #Constraints: 21048
15.62/17.27	c #Conflicts: 309000 | #Constraints: 22048
15.71/17.31	c #Conflicts: 310000 | #Constraints: 23048
15.71/17.33	c DATABASE CLEANUP
15.71/17.33	c GARBAGE COLLECT
15.71/17.33	c rational objective 400.5
15.81/17.41	c #Conflicts: 311000 | #Constraints: 13056
15.81/17.46	c #Conflicts: 312000 | #Constraints: 14056
15.90/17.52	c #Conflicts: 313000 | #Constraints: 15056
15.90/17.56	c #Conflicts: 314000 | #Constraints: 16056
15.98/17.61	c #Conflicts: 315000 | #Constraints: 17056
15.98/17.66	c #Conflicts: 316000 | #Constraints: 18056
16.06/17.71	c #Conflicts: 317000 | #Constraints: 19056
16.06/17.78	c #Conflicts: 318000 | #Constraints: 20056
16.14/17.83	c #Conflicts: 319000 | #Constraints: 21056
16.14/17.89	c #Conflicts: 320000 | #Constraints: 22056
16.23/17.94	c #Conflicts: 321000 | #Constraints: 23056
16.23/17.98	c DATABASE CLEANUP
16.23/17.98	c GARBAGE COLLECT
16.23/17.98	c rational objective 400.5
16.32/18.04	c #Conflicts: 322000 | #Constraints: 12852
16.32/18.10	c #Conflicts: 323000 | #Constraints: 13852
16.41/18.15	c #Conflicts: 324000 | #Constraints: 14852
16.48/18.20	c #Conflicts: 325000 | #Constraints: 15852
16.48/18.25	c #Conflicts: 326000 | #Constraints: 16852
16.58/18.31	c #Conflicts: 327000 | #Constraints: 17852
16.58/18.37	c #Conflicts: 328000 | #Constraints: 18852
16.68/18.43	c #Conflicts: 329000 | #Constraints: 19852
16.76/18.50	c #Conflicts: 330000 | #Constraints: 20852
16.76/18.57	c #Conflicts: 331000 | #Constraints: 21852
16.86/18.64	c #Conflicts: 332000 | #Constraints: 22852
16.96/18.72	c #Conflicts: 333000 | #Constraints: 23852
16.96/18.74	c DATABASE CLEANUP
16.96/18.74	c GARBAGE COLLECT
16.96/18.74	c rational objective 400.5
17.06/18.82	c #Conflicts: 334000 | #Constraints: 13446
17.06/18.86	c #Conflicts: 335000 | #Constraints: 14446
17.15/18.91	c #Conflicts: 336000 | #Constraints: 15446
17.15/18.95	c #Conflicts: 337000 | #Constraints: 16446
17.15/19.00	c #Conflicts: 338000 | #Constraints: 17446
17.26/19.05	c #Conflicts: 339000 | #Constraints: 18446
17.26/19.09	c #Conflicts: 340000 | #Constraints: 19446
17.34/19.14	c #Conflicts: 341000 | #Constraints: 20446
17.34/19.19	c #Conflicts: 342000 | #Constraints: 21446
17.43/19.24	c #Conflicts: 343000 | #Constraints: 22446
17.43/19.29	c #Conflicts: 344000 | #Constraints: 23446
17.52/19.34	c #Conflicts: 345000 | #Constraints: 24446
17.52/19.34	c DATABASE CLEANUP
17.52/19.34	c GARBAGE COLLECT
17.52/19.34	c rational objective 400.5
17.62/19.43	c #Conflicts: 346000 | #Constraints: 13857
17.62/19.47	c #Conflicts: 347000 | #Constraints: 14857
17.72/19.52	c #Conflicts: 348000 | #Constraints: 15858
17.72/19.56	c #Conflicts: 349000 | #Constraints: 16859
17.82/19.61	c #Conflicts: 350000 | #Constraints: 17859
17.82/19.65	c #Conflicts: 351000 | #Constraints: 18859
17.82/19.69	c #Conflicts: 352000 | #Constraints: 19859
17.90/19.74	c #Conflicts: 353000 | #Constraints: 20859
17.90/19.79	c #Conflicts: 354000 | #Constraints: 21859
18.00/19.84	c #Conflicts: 355000 | #Constraints: 22859
18.00/19.89	c #Conflicts: 356000 | #Constraints: 23859
18.10/19.95	c #Conflicts: 357000 | #Constraints: 24859
18.10/19.96	c DATABASE CLEANUP
18.10/19.96	c GARBAGE COLLECT
18.10/19.96	c rational objective 400.5
18.19/20.05	c #Conflicts: 358000 | #Constraints: 14066
18.19/20.09	c #Conflicts: 359000 | #Constraints: 15066
18.29/20.13	c #Conflicts: 360000 | #Constraints: 16066
18.29/20.18	c #Conflicts: 361000 | #Constraints: 17067
18.37/20.23	c #Conflicts: 362000 | #Constraints: 18067
18.37/20.28	c #Conflicts: 363000 | #Constraints: 19067
18.46/20.33	c #Conflicts: 364000 | #Constraints: 20067
18.46/20.39	c #Conflicts: 365000 | #Constraints: 21067
18.54/20.44	c #Conflicts: 366000 | #Constraints: 22067
18.54/20.49	c #Conflicts: 367000 | #Constraints: 23067
18.64/20.53	c #Conflicts: 368000 | #Constraints: 24067
18.64/20.58	c #Conflicts: 369000 | #Constraints: 25067
18.73/20.60	c DATABASE CLEANUP
18.73/20.60	c GARBAGE COLLECT
18.73/20.60	c rational objective 400.5
18.73/20.69	c #Conflicts: 370000 | #Constraints: 14068
18.82/20.74	c #Conflicts: 371000 | #Constraints: 15068
18.82/20.79	c #Conflicts: 372000 | #Constraints: 16068
18.91/20.83	c #Conflicts: 373000 | #Constraints: 17068
18.91/20.87	c #Conflicts: 374000 | #Constraints: 18068
19.00/20.91	c #Conflicts: 375000 | #Constraints: 19068
19.00/20.95	c #Conflicts: 376000 | #Constraints: 20068
19.00/21.00	c #Conflicts: 377000 | #Constraints: 21068
19.10/21.05	c #Conflicts: 378000 | #Constraints: 22068
19.10/21.10	c #Conflicts: 379000 | #Constraints: 23068
19.19/21.15	c #Conflicts: 380000 | #Constraints: 24068
19.27/21.20	c #Conflicts: 381000 | #Constraints: 25068
19.27/21.24	c DATABASE CLEANUP
19.27/21.24	c GARBAGE COLLECT
19.27/21.24	c rational objective 400.5
19.37/21.30	c #Conflicts: 382000 | #Constraints: 13863
19.37/21.33	c #Conflicts: 383000 | #Constraints: 14863
19.37/21.37	c #Conflicts: 384000 | #Constraints: 15863
19.47/21.42	c #Conflicts: 385000 | #Constraints: 16863
19.47/21.46	c #Conflicts: 386000 | #Constraints: 17863
19.56/21.51	c #Conflicts: 387000 | #Constraints: 18863
19.56/21.56	c #Conflicts: 388000 | #Constraints: 19863
19.64/21.61	c #Conflicts: 389000 | #Constraints: 20863
19.64/21.66	c #Conflicts: 390000 | #Constraints: 21863
19.74/21.71	c #Conflicts: 391000 | #Constraints: 22863
19.74/21.76	c #Conflicts: 392000 | #Constraints: 23863
19.82/21.82	c #Conflicts: 393000 | #Constraints: 24863
19.82/21.87	c #Conflicts: 394000 | #Constraints: 25864
19.82/21.89	c DATABASE CLEANUP
19.82/21.89	c GARBAGE COLLECT
19.82/21.89	c rational objective 400.5
19.91/21.97	c #Conflicts: 395000 | #Constraints: 14467
20.02/22.02	c #Conflicts: 396000 | #Constraints: 15467
20.02/22.07	c #Conflicts: 397000 | #Constraints: 16467
20.11/22.12	c #Conflicts: 398000 | #Constraints: 17467
20.11/22.16	c #Conflicts: 399000 | #Constraints: 18467
20.20/22.21	c #Conflicts: 400000 | #Constraints: 19467
20.20/22.26	c #Conflicts: 401000 | #Constraints: 20467
20.30/22.31	c #Conflicts: 402000 | #Constraints: 21467
20.30/22.35	c #Conflicts: 403000 | #Constraints: 22467
20.39/22.40	c #Conflicts: 404000 | #Constraints: 23467
20.39/22.45	c #Conflicts: 405000 | #Constraints: 24467
20.49/22.50	c #Conflicts: 406000 | #Constraints: 25467
20.49/22.55	c #Conflicts: 407000 | #Constraints: 26467
20.49/22.56	c DATABASE CLEANUP
20.49/22.56	c GARBAGE COLLECT
20.49/22.56	c rational objective 400.5
20.59/22.65	c #Conflicts: 408000 | #Constraints: 14867
20.68/22.70	c #Conflicts: 409000 | #Constraints: 15867
20.68/22.74	c #Conflicts: 410000 | #Constraints: 16868
20.68/22.79	c #Conflicts: 411000 | #Constraints: 17868
20.77/22.84	c #Conflicts: 412000 | #Constraints: 18868
20.77/22.89	c #Conflicts: 413000 | #Constraints: 19868
20.86/22.94	c #Conflicts: 414000 | #Constraints: 20868
20.86/22.99	c #Conflicts: 415000 | #Constraints: 21868
20.96/23.03	c #Conflicts: 416000 | #Constraints: 22868
20.96/23.08	c #Conflicts: 417000 | #Constraints: 23868
21.07/23.12	c #Conflicts: 418000 | #Constraints: 24869
21.07/23.18	c #Conflicts: 419000 | #Constraints: 25869
21.14/23.22	c #Conflicts: 420000 | #Constraints: 26869
21.14/23.24	c DATABASE CLEANUP
21.14/23.24	c GARBAGE COLLECT
21.14/23.24	c rational objective 400.5
21.24/23.33	c #Conflicts: 421000 | #Constraints: 15081
21.24/23.38	c #Conflicts: 422000 | #Constraints: 16081
21.32/23.42	c #Conflicts: 423000 | #Constraints: 17081
21.32/23.47	c #Conflicts: 424000 | #Constraints: 18081
21.42/23.52	c #Conflicts: 425000 | #Constraints: 19081
21.42/23.56	c #Conflicts: 426000 | #Constraints: 20081
21.50/23.62	c #Conflicts: 427000 | #Constraints: 21081
21.50/23.68	c #Conflicts: 428000 | #Constraints: 22081
21.58/23.75	c #Conflicts: 429000 | #Constraints: 23081
21.65/23.82	c #Conflicts: 430000 | #Constraints: 24081
21.65/23.87	c #Conflicts: 431000 | #Constraints: 25081
21.74/23.92	c #Conflicts: 432000 | #Constraints: 26081
21.74/23.98	c #Conflicts: 433000 | #Constraints: 27081
21.74/24.00	c DATABASE CLEANUP
21.74/24.00	c GARBAGE COLLECT
21.74/24.00	c rational objective 400.5
21.84/24.08	c #Conflicts: 434000 | #Constraints: 15082
21.94/24.12	c #Conflicts: 435000 | #Constraints: 16082
21.94/24.18	c #Conflicts: 436000 | #Constraints: 17082
22.00/24.23	c #Conflicts: 437000 | #Constraints: 18082
22.00/24.28	c #Conflicts: 438000 | #Constraints: 19082
22.09/24.34	c #Conflicts: 439000 | #Constraints: 20082
22.16/24.40	c #Conflicts: 440000 | #Constraints: 21082
22.16/24.46	c #Conflicts: 441000 | #Constraints: 22082
22.24/24.52	c #Conflicts: 442000 | #Constraints: 23082
22.24/24.56	c #Conflicts: 443000 | #Constraints: 24082
22.35/24.61	c #Conflicts: 444000 | #Constraints: 25082
22.35/24.66	c #Conflicts: 445000 | #Constraints: 26082
22.44/24.71	c #Conflicts: 446000 | #Constraints: 27082
22.44/24.74	c DATABASE CLEANUP
22.44/24.74	c GARBAGE COLLECT
22.44/24.74	c rational objective 400.5
22.54/24.81	c #Conflicts: 447000 | #Constraints: 14883
22.54/24.86	c #Conflicts: 448000 | #Constraints: 15883
22.62/24.91	c #Conflicts: 449000 | #Constraints: 16883
22.62/24.96	c #Conflicts: 450000 | #Constraints: 17883
22.62/25.01	c #Conflicts: 451000 | #Constraints: 18883
22.73/25.06	c #Conflicts: 452000 | #Constraints: 19883
22.83/25.11	c #Conflicts: 453000 | #Constraints: 20883
22.83/25.16	c #Conflicts: 454000 | #Constraints: 21883
22.91/25.21	c #Conflicts: 455000 | #Constraints: 22883
22.91/25.26	c #Conflicts: 456000 | #Constraints: 23883
23.01/25.32	c #Conflicts: 457000 | #Constraints: 24883
23.01/25.37	c #Conflicts: 458000 | #Constraints: 25883
23.10/25.42	c #Conflicts: 459000 | #Constraints: 26883
23.10/25.48	c #Conflicts: 460000 | #Constraints: 27883
23.19/25.50	c DATABASE CLEANUP
23.19/25.50	c GARBAGE COLLECT
23.19/25.50	c rational objective 400.5
23.19/25.58	c #Conflicts: 461000 | #Constraints: 15488
23.28/25.62	c #Conflicts: 462000 | #Constraints: 16488
23.28/25.67	c #Conflicts: 463000 | #Constraints: 17488
23.38/25.72	c #Conflicts: 464000 | #Constraints: 18488
23.38/25.78	c #Conflicts: 465000 | #Constraints: 19488
23.47/25.83	c #Conflicts: 466000 | #Constraints: 20488
23.55/25.90	c #Conflicts: 467000 | #Constraints: 21488
23.55/25.96	c #Conflicts: 468000 | #Constraints: 22488
23.66/26.03	c #Conflicts: 469000 | #Constraints: 23488
23.66/26.09	c #Conflicts: 470000 | #Constraints: 24488
23.75/26.16	c #Conflicts: 471000 | #Constraints: 25489
23.83/26.23	c #Conflicts: 472000 | #Constraints: 26489
23.94/26.30	c #Conflicts: 473000 | #Constraints: 27489
23.94/26.38	c #Conflicts: 474000 | #Constraints: 28489
23.94/26.39	c DATABASE CLEANUP
23.94/26.39	c GARBAGE COLLECT
23.94/26.39	c rational objective 400.5
24.03/26.47	c #Conflicts: 475000 | #Constraints: 15881
24.13/26.51	c #Conflicts: 476000 | #Constraints: 16881
24.13/26.55	c #Conflicts: 477000 | #Constraints: 17881
24.13/26.59	c #Conflicts: 478000 | #Constraints: 18881
24.22/26.63	c #Conflicts: 479000 | #Constraints: 19881
24.22/26.69	c #Conflicts: 480000 | #Constraints: 20881
24.32/26.73	c #Conflicts: 481000 | #Constraints: 21881
24.32/26.77	c #Conflicts: 482000 | #Constraints: 22882
24.42/26.82	c #Conflicts: 483000 | #Constraints: 23882
24.42/26.87	c #Conflicts: 484000 | #Constraints: 24882
24.51/26.92	c #Conflicts: 485000 | #Constraints: 25882
24.51/26.97	c #Conflicts: 486000 | #Constraints: 26882
24.63/27.02	c #Conflicts: 487000 | #Constraints: 27882
24.63/27.08	c #Conflicts: 488000 | #Constraints: 28882
24.63/27.09	c DATABASE CLEANUP
24.63/27.09	c GARBAGE COLLECT
24.63/27.09	c rational objective 400.5
24.71/27.18	c #Conflicts: 489000 | #Constraints: 16089
24.79/27.23	c #Conflicts: 490000 | #Constraints: 17089
24.79/27.27	c #Conflicts: 491000 | #Constraints: 18089
24.90/27.31	c #Conflicts: 492000 | #Constraints: 19089
24.90/27.36	c #Conflicts: 493000 | #Constraints: 20089
24.99/27.41	c #Conflicts: 494000 | #Constraints: 21089
24.99/27.46	c #Conflicts: 495000 | #Constraints: 22089
25.09/27.51	c #Conflicts: 496000 | #Constraints: 23089
25.09/27.56	c #Conflicts: 497000 | #Constraints: 24089
25.19/27.61	c #Conflicts: 498000 | #Constraints: 25089
25.19/27.66	c #Conflicts: 499000 | #Constraints: 26089
25.29/27.72	c #Conflicts: 500000 | #Constraints: 27089
25.29/27.78	c #Conflicts: 501000 | #Constraints: 28089
25.39/27.85	c #Conflicts: 502000 | #Constraints: 29089
25.39/27.88	c DATABASE CLEANUP
25.39/27.88	c GARBAGE COLLECT
25.39/27.88	c rational objective 400.5
25.47/27.97	c #Conflicts: 503000 | #Constraints: 16095
25.57/28.02	c #Conflicts: 504000 | #Constraints: 17095
25.57/28.06	c #Conflicts: 505000 | #Constraints: 18095
25.67/28.11	c #Conflicts: 506000 | #Constraints: 19095
25.67/28.15	c #Conflicts: 507000 | #Constraints: 20095
25.75/28.20	c #Conflicts: 508000 | #Constraints: 21095
25.75/28.26	c #Conflicts: 509000 | #Constraints: 22095
25.84/28.31	c #Conflicts: 510000 | #Constraints: 23095
25.84/28.37	c #Conflicts: 511000 | #Constraints: 24095
25.91/28.43	c #Conflicts: 512000 | #Constraints: 25095
25.91/28.49	c #Conflicts: 513000 | #Constraints: 26095
26.00/28.54	c #Conflicts: 514000 | #Constraints: 27095
26.00/28.58	c #Conflicts: 515000 | #Constraints: 28095
26.09/28.63	c #Conflicts: 516000 | #Constraints: 29095
26.09/28.67	c DATABASE CLEANUP
26.09/28.67	c GARBAGE COLLECT
26.09/28.67	c rational objective 400.5
26.18/28.74	c #Conflicts: 517000 | #Constraints: 15889
26.18/28.79	c #Conflicts: 518000 | #Constraints: 16889
26.27/28.83	c #Conflicts: 519000 | #Constraints: 17889
26.27/28.88	c #Conflicts: 520000 | #Constraints: 18889
26.37/28.93	c #Conflicts: 521000 | #Constraints: 19889
26.37/28.98	c #Conflicts: 522000 | #Constraints: 20889
26.46/29.03	c #Conflicts: 523000 | #Constraints: 21889
26.46/29.08	c #Conflicts: 524000 | #Constraints: 22889
26.56/29.14	c #Conflicts: 525000 | #Constraints: 23889
26.56/29.19	c #Conflicts: 526000 | #Constraints: 24889
26.64/29.25	c #Conflicts: 527000 | #Constraints: 25889
26.64/29.29	c #Conflicts: 528000 | #Constraints: 26889
26.74/29.35	c #Conflicts: 529000 | #Constraints: 27889
26.83/29.42	c #Conflicts: 530000 | #Constraints: 28889
26.83/29.49	c #Conflicts: 531000 | #Constraints: 29889
26.93/29.51	c DATABASE CLEANUP
26.93/29.51	c GARBAGE COLLECT
26.93/29.51	c rational objective 400.5
26.93/29.59	c #Conflicts: 532000 | #Constraints: 16487
27.02/29.63	c #Conflicts: 533000 | #Constraints: 17487
27.02/29.67	c #Conflicts: 534000 | #Constraints: 18487
27.11/29.72	c #Conflicts: 535000 | #Constraints: 19487
27.11/29.77	c #Conflicts: 536000 | #Constraints: 20487
27.21/29.82	c #Conflicts: 537000 | #Constraints: 21487
27.21/29.87	c #Conflicts: 538000 | #Constraints: 22487
27.31/29.92	c #Conflicts: 539000 | #Constraints: 23487
27.31/29.97	c #Conflicts: 540000 | #Constraints: 24487
27.42/30.01	c #Conflicts: 541000 | #Constraints: 25487
27.42/30.06	c #Conflicts: 542000 | #Constraints: 26487
27.51/30.11	c #Conflicts: 543000 | #Constraints: 27487
27.51/30.17	c #Conflicts: 544000 | #Constraints: 28487
27.60/30.23	c #Conflicts: 545000 | #Constraints: 29487
27.60/30.28	c #Conflicts: 546000 | #Constraints: 30487
27.60/30.29	c DATABASE CLEANUP
27.60/30.29	c GARBAGE COLLECT
27.60/30.29	c rational objective 400.5
27.69/30.39	c #Conflicts: 547000 | #Constraints: 16891
27.78/30.43	c #Conflicts: 548000 | #Constraints: 17891
27.78/30.47	c #Conflicts: 549000 | #Constraints: 18891
27.88/30.52	c #Conflicts: 550000 | #Constraints: 19891
27.88/30.57	c #Conflicts: 551000 | #Constraints: 20891
27.98/30.61	c #Conflicts: 552000 | #Constraints: 21891
27.98/30.65	c #Conflicts: 553000 | #Constraints: 22891
28.07/30.70	c #Conflicts: 554000 | #Constraints: 23891
28.07/30.74	c #Conflicts: 555000 | #Constraints: 24891
28.07/30.79	c #Conflicts: 556000 | #Constraints: 25891
28.17/30.84	c #Conflicts: 557000 | #Constraints: 26891
28.17/30.89	c #Conflicts: 558000 | #Constraints: 27891
28.27/30.94	c #Conflicts: 559000 | #Constraints: 28891
28.27/31.00	c #Conflicts: 560000 | #Constraints: 29891
28.37/31.05	c #Conflicts: 561000 | #Constraints: 30891
28.37/31.06	c DATABASE CLEANUP
28.37/31.06	c GARBAGE COLLECT
28.37/31.06	c rational objective 400.5
28.47/31.15	c #Conflicts: 562000 | #Constraints: 17086
28.55/31.20	c #Conflicts: 563000 | #Constraints: 18086
28.55/31.24	c #Conflicts: 564000 | #Constraints: 19086
28.55/31.29	c #Conflicts: 565000 | #Constraints: 20086
28.65/31.34	c #Conflicts: 566000 | #Constraints: 21086
28.65/31.39	c #Conflicts: 567000 | #Constraints: 22086
28.74/31.45	c #Conflicts: 568000 | #Constraints: 23086
28.84/31.50	c #Conflicts: 569000 | #Constraints: 24086
28.84/31.55	c #Conflicts: 570000 | #Constraints: 25086
28.93/31.60	c #Conflicts: 571000 | #Constraints: 26086
28.93/31.65	c #Conflicts: 572000 | #Constraints: 27086
29.03/31.71	c #Conflicts: 573000 | #Constraints: 28086
29.03/31.77	c #Conflicts: 574000 | #Constraints: 29086
29.13/31.83	c #Conflicts: 575000 | #Constraints: 30087
29.22/31.90	c #Conflicts: 576000 | #Constraints: 31087
29.22/31.93	c DATABASE CLEANUP
29.22/31.93	c GARBAGE COLLECT
29.22/31.93	c rational objective 400.5
29.22/32.01	c #Conflicts: 577000 | #Constraints: 17087
29.34/32.05	c #Conflicts: 578000 | #Constraints: 18087
29.34/32.09	c #Conflicts: 579000 | #Constraints: 19087
29.43/32.14	c #Conflicts: 580000 | #Constraints: 20087
29.43/32.19	c #Conflicts: 581000 | #Constraints: 21087
29.51/32.24	c #Conflicts: 582000 | #Constraints: 22087
29.51/32.28	c #Conflicts: 583000 | #Constraints: 23087
29.62/32.33	c #Conflicts: 584000 | #Constraints: 24087
29.62/32.38	c #Conflicts: 585000 | #Constraints: 25087
29.72/32.43	c #Conflicts: 586000 | #Constraints: 26087
29.72/32.48	c #Conflicts: 587000 | #Constraints: 27087
29.81/32.54	c #Conflicts: 588000 | #Constraints: 28087
29.81/32.59	c #Conflicts: 589000 | #Constraints: 29087
29.91/32.65	c #Conflicts: 590000 | #Constraints: 30087
30.00/32.71	c #Conflicts: 591000 | #Constraints: 31087
30.00/32.75	c DATABASE CLEANUP
30.00/32.75	c GARBAGE COLLECT
30.00/32.75	c rational objective 400.5
30.09/32.82	c #Conflicts: 592000 | #Constraints: 16898
30.09/32.87	c #Conflicts: 593000 | #Constraints: 17898
30.19/32.91	c #Conflicts: 594000 | #Constraints: 18898
30.19/32.96	c #Conflicts: 595000 | #Constraints: 19898
30.30/33.01	c #Conflicts: 596000 | #Constraints: 20898
30.30/33.06	c #Conflicts: 597000 | #Constraints: 21898
30.30/33.11	c #Conflicts: 598000 | #Constraints: 22898
30.40/33.16	c #Conflicts: 599000 | #Constraints: 23898
30.48/33.21	c #Conflicts: 600000 | #Constraints: 24898
30.48/33.27	c #Conflicts: 601000 | #Constraints: 25898
30.57/33.33	c #Conflicts: 602000 | #Constraints: 26898
30.57/33.39	c #Conflicts: 603000 | #Constraints: 27898
30.68/33.44	c #Conflicts: 604000 | #Constraints: 28898
30.77/33.50	c #Conflicts: 605000 | #Constraints: 29898
30.77/33.56	c #Conflicts: 606000 | #Constraints: 30898
30.86/33.63	c #Conflicts: 607000 | #Constraints: 31898
30.86/33.66	c DATABASE CLEANUP
30.86/33.66	c GARBAGE COLLECT
30.86/33.66	c rational objective 400.5
30.95/33.74	c #Conflicts: 608000 | #Constraints: 17503
30.95/33.79	c #Conflicts: 609000 | #Constraints: 18503
31.04/33.84	c #Conflicts: 610000 | #Constraints: 19503
31.04/33.89	c #Conflicts: 611000 | #Constraints: 20503
31.13/33.94	c #Conflicts: 612000 | #Constraints: 21503
31.13/34.00	c #Conflicts: 613000 | #Constraints: 22503
31.23/34.06	c #Conflicts: 614000 | #Constraints: 23503
31.32/34.11	c #Conflicts: 615000 | #Constraints: 24503
31.32/34.17	c #Conflicts: 616000 | #Constraints: 25503
31.39/34.23	c #Conflicts: 617000 | #Constraints: 26503
31.39/34.29	c #Conflicts: 618000 | #Constraints: 27503
31.49/34.36	c #Conflicts: 619000 | #Constraints: 28503
31.58/34.42	c #Conflicts: 620000 | #Constraints: 29503
31.58/34.48	c #Conflicts: 621000 | #Constraints: 30503
31.67/34.54	c #Conflicts: 622000 | #Constraints: 31503
31.77/34.60	c #Conflicts: 623000 | #Constraints: 32503
31.77/34.61	c DATABASE CLEANUP
31.77/34.61	c GARBAGE COLLECT
31.77/34.61	c rational objective 400.5
31.87/34.71	c #Conflicts: 624000 | #Constraints: 17906
31.87/34.76	c #Conflicts: 625000 | #Constraints: 18906
31.96/34.81	c #Conflicts: 626000 | #Constraints: 19906
31.96/34.87	c #Conflicts: 627000 | #Constraints: 20906
32.05/34.92	c #Conflicts: 628000 | #Constraints: 21906
32.05/34.97	c #Conflicts: 629000 | #Constraints: 22907
32.16/35.04	c #Conflicts: 630000 | #Constraints: 23907
32.16/35.10	c #Conflicts: 631000 | #Constraints: 24907
32.25/35.16	c #Conflicts: 632000 | #Constraints: 25907
32.32/35.21	c #Conflicts: 633000 | #Constraints: 26907
32.32/35.26	c #Conflicts: 634000 | #Constraints: 27907
32.41/35.32	c #Conflicts: 635000 | #Constraints: 28907
32.41/35.38	c #Conflicts: 636000 | #Constraints: 29907
32.51/35.45	c #Conflicts: 637000 | #Constraints: 30907
32.61/35.51	c #Conflicts: 638000 | #Constraints: 31907
32.61/35.58	c #Conflicts: 639000 | #Constraints: 32907
32.61/35.59	c DATABASE CLEANUP
32.61/35.59	c GARBAGE COLLECT
32.61/35.59	c rational objective 400.5
32.71/35.68	c #Conflicts: 640000 | #Constraints: 18102
32.81/35.72	c #Conflicts: 641000 | #Constraints: 19102
32.81/35.77	c #Conflicts: 642000 | #Constraints: 20102
32.90/35.82	c #Conflicts: 643000 | #Constraints: 21102
32.90/35.88	c #Conflicts: 644000 | #Constraints: 22102
33.00/35.93	c #Conflicts: 645000 | #Constraints: 23102
33.00/35.98	c #Conflicts: 646000 | #Constraints: 24102
33.10/36.04	c #Conflicts: 647000 | #Constraints: 25102
33.10/36.10	c #Conflicts: 648000 | #Constraints: 26102
33.18/36.16	c #Conflicts: 649000 | #Constraints: 27102
33.26/36.22	c #Conflicts: 650000 | #Constraints: 28102
33.26/36.28	c #Conflicts: 651000 | #Constraints: 29102
33.35/36.33	c #Conflicts: 652000 | #Constraints: 30102
33.35/36.39	c #Conflicts: 653000 | #Constraints: 31102
33.46/36.45	c #Conflicts: 654000 | #Constraints: 32102
33.56/36.51	c #Conflicts: 655000 | #Constraints: 33102
33.56/36.53	c DATABASE CLEANUP
33.56/36.53	c GARBAGE COLLECT
33.56/36.53	c rational objective 400.5
33.65/36.61	c #Conflicts: 656000 | #Constraints: 18106
33.65/36.66	c #Conflicts: 657000 | #Constraints: 19106
33.75/36.72	c #Conflicts: 658000 | #Constraints: 20106
33.75/36.77	c #Conflicts: 659000 | #Constraints: 21106
33.85/36.82	c #Conflicts: 660000 | #Constraints: 22106
33.85/36.87	c #Conflicts: 661000 | #Constraints: 23106
33.94/36.92	c #Conflicts: 662000 | #Constraints: 24106
33.94/36.98	c #Conflicts: 663000 | #Constraints: 25106
34.05/37.04	c #Conflicts: 664000 | #Constraints: 26106
34.05/37.10	c #Conflicts: 665000 | #Constraints: 27106
34.16/37.15	c #Conflicts: 666000 | #Constraints: 28106
34.24/37.21	c #Conflicts: 667000 | #Constraints: 29106
34.24/37.27	c #Conflicts: 668000 | #Constraints: 30106
34.34/37.34	c #Conflicts: 669000 | #Constraints: 31106
34.43/37.42	c #Conflicts: 670000 | #Constraints: 32106
34.51/37.51	c #Conflicts: 671000 | #Constraints: 33106
34.51/37.58	c DATABASE CLEANUP
34.51/37.58	c GARBAGE COLLECT
34.51/37.58	c rational objective 400.5
34.59/37.65	c #Conflicts: 672000 | #Constraints: 17911
34.59/37.69	c #Conflicts: 673000 | #Constraints: 18911
34.68/37.75	c #Conflicts: 674000 | #Constraints: 19911
34.77/37.81	c #Conflicts: 675000 | #Constraints: 20911
34.77/37.88	c #Conflicts: 676000 | #Constraints: 21911
34.85/37.94	c #Conflicts: 677000 | #Constraints: 22911
34.85/38.00	c #Conflicts: 678000 | #Constraints: 23911
34.96/38.06	c #Conflicts: 679000 | #Constraints: 24911
35.05/38.13	c #Conflicts: 680000 | #Constraints: 25911
35.14/38.20	c #Conflicts: 681000 | #Constraints: 26911
35.14/38.27	c #Conflicts: 682000 | #Constraints: 27911
35.24/38.34	c #Conflicts: 683000 | #Constraints: 28911
35.34/38.40	c cpu time 33.5368 s
35.34/38.40	c deterministic time 926834085 9.27e+08
35.34/38.40	c optimization time 4.2e-05 s
35.34/38.40	c total solve time 33.5078 s
35.34/38.40	c core-guided solve time 0 s
35.34/38.40	c propagation time 10.0883 s
35.34/38.40	c conflict analysis time 6.08334 s
35.34/38.40	c local search time 2.23272 s
35.34/38.40	c propagations 7079784
35.34/38.40	c resolve steps 2337853
35.34/38.40	c resolve steps with general constraints 794042
35.34/38.40	c decisions 1773647
35.34/38.40	c conflicts 683772
35.34/38.40	c overflow fixes 1
35.34/38.40	c conflicts with overflow fixes 0
35.34/38.40	c restarts 1492
35.34/38.40	c inprocessing phases 73
35.34/38.40	c garbage collections 73 ,( 100.00 )
35.34/38.40	c input clauses 10 ,( 0.88 )
35.34/38.40	c input cardinalities 1122 ,( 99.12 )
35.34/38.40	c input general constraints 0 ,( 0.00 )
35.34/38.40	c input average constraint length 3.98
35.34/38.40	c input average constraint degree 1.99e+00
35.34/38.40	c input average constraint degree bitlength 0.99
35.34/38.40	c learned clauses 627173 ,( 91.66 )
35.34/38.40	c learned cardinalities 11026 ,( 1.61 )
35.34/38.40	c learned general constraints 46017 ,( 6.73 )
35.34/38.40	c learned average constraint length 16.69
35.34/38.40	c learned average constraint degree 1.02e+04
35.34/38.40	c learned average constraint degree bitlength 0.16
35.34/38.40	c watched  CF 32, 64, 128, Arb: 29213 , 0 , 0 , 0
35.34/38.40	c counting CF 32, 64, 128, Arb: 16804 , 0 , 0 , 0
35.34/38.40	c watched   constraints 29213 ,( 63.48 ) 
35.34/38.40	c counting  constraints 16804 ,( 36.52 ) 
35.34/38.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 112463948 , 28237075 , 20862826 ,( 15669453 , 5193373 )
35.34/38.40	c pure literals detected 0
35.34/38.40	c unique literal constraints detected 0
35.34/38.40	c gcd simplifications 8148
35.34/38.40	c detected cardinalities 6765
35.34/38.40	c divisions strengthening the constraint 0
35.34/38.40	c weakened non-implied lits 463439
35.34/38.40	c weakened non-implying lits 654
35.34/38.40	c percentage of cover cuts not using all falsified lits 0.176
35.34/38.40	c average MIR cut multiplier 0.00e+00
35.34/38.40	c average MIR cut multiplier bitlength 0.000
35.34/38.40	c original variables 801
35.34/38.40	c clausal propagations 975583
35.34/38.40	c cardinality propagations 3121017
35.34/38.40	c watched propagations 189187
35.34/38.40	c counting propagations 2066087
35.34/38.40	c watch lookups 465741939
35.34/38.40	c watch backjump lookups 0
35.34/38.40	c watch checks 333085392
35.34/38.40	c propagation checks 66717971
35.34/38.40	c constraint additions 42622253
35.34/38.40	c trail pops 9537012
35.34/38.40	c formula constraints 1130
35.34/38.40	c learned constraints 683604
35.34/38.40	c bound constraints 0
35.34/38.40	c core-guided constraints 0
35.34/38.40	c encountered formula constraints 266992
35.34/38.40	c encountered learned constraints 2585727
35.34/38.40	c encountered bound constraints 0
35.34/38.40	c encountered core-guided constraints 0
35.34/38.40	c LP total time 13.4824 s
35.34/38.40	c LP solve time 11.45 s
35.34/38.40	c LP constraints added 1472
35.34/38.40	c LP constraints removed 343
35.34/38.40	c LP pivots internal 275081
35.34/38.40	c LP pivots root 1005
35.34/38.40	c LP calls 40943
35.34/38.40	c LP optimalities 40775
35.34/38.40	c LP no pivot count 3665
35.34/38.40	c LP infeasibilities 167
35.34/38.40	c LP valid Farkas constraints 167
35.34/38.40	c LP learned Farkas constraints 167
35.34/38.40	c LP basis resets 0
35.34/38.40	c LP cycling count 0
35.34/38.40	c LP singular count 0
35.34/38.40	c LP no primal count 0
35.34/38.40	c LP no farkas count 0
35.34/38.40	c LP other issue count 0
35.34/38.40	c LP Gomory cuts 278
35.34/38.40	c LP learned cuts 78
35.34/38.40	c LP deleted cuts 343
35.34/38.40	c LP encountered Gomory constraints 0
35.34/38.40	c LP encountered Farkas constraints 137929
35.34/38.40	c LP encountered learned Farkas constraints 30810
35.34/38.40	c CG auxiliary variables introduced 0
35.34/38.40	c CG solutions found 0
35.34/38.40	c CG cores constructed 0
35.34/38.40	c CG core cardinality constraints returned 0
35.34/38.40	c CG unit cores 0
35.34/38.40	c CG single cores 0
35.34/38.40	c CG blocks removed during cardinality reduction 0
35.34/38.40	c CG first core best 0
35.34/38.40	c CG decision core best 0
35.34/38.40	c CG core reduction tie 0
35.34/38.40	c CG core degree average 0.00
35.34/38.40	c CG core slack average 0.00
35.34/38.40	c CG core upper bound improvements 0
35.34/38.40	c STR number of successful calls 0
35.34/38.40	c STR number of unsuccessful calls 0
35.34/38.40	c STR number of inconclusive calls 0
35.34/38.40	c STR number of successful attempts 0
35.34/38.40	c STR number of unsuccessful attempts 0
35.34/38.40	c STR number of inconclusive attempts 0
35.34/38.40	c STR average degree increase per successful call inf
35.34/38.40	c STR average degree increase per successful attempt inf
35.34/38.40	c STR total number of conflicts for successful attempts 0
35.34/38.40	c STR total number of conflicts for unsuccessful attempts 0
35.34/38.40	c STR total number of conflicts for inconclusive attempts 0
35.34/38.40	c STR average number of conflicts per successful attempt inf
35.34/38.40	c STR average number of conflicts per unsuccessful attempt inf
35.34/38.40	c STR average number of conflicts per inconclusive attempt inf
35.34/38.40	c IHS number of seeded input constraints 0
35.34/38.40	c IHS number of seeded weakened input constraints 0
35.34/38.40	c IHS number of successful local search calls 0
35.34/38.40	c IHS number of timeouts for local search 0
35.34/38.40	c IHS number of complete search calls 0
35.34/38.40	c IHS number of optimal complete search calls 0
35.34/38.40	c IHS number of complete search progress calls 0
35.34/38.40	c IHS number of solutions from local search 0
35.34/38.40	c IHS number of upper bounds from local search 0
35.34/38.40	c IHS number of cores from local search 0
35.34/38.40	c IHS number of discarded solutions from local search 0
35.34/38.40	c IHS number of solutions from complete search 0
35.34/38.40	c IHS number of upper bounds from complete search 0
35.34/38.40	c IHS number of cores from complete search 0
35.34/38.40	c IHS number of discarded solutions from complete search 0
35.34/38.40	c IHS local search    time 0 s
35.34/38.40	c IHS complete search time 0 s
35.34/38.40	c IHS core extraction time 0 s
35.34/38.40	c AVG.sumWPerc 36.68 
35.34/38.40	c bigint constraints 0 
35.34/38.40	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB (PB26)

Proof is valid.

Proof size: 245245 kiB
Checker CPU time: 24.8891 seconds
Checker wall-clock time: 15.8094 seconds
Checker maximum virtual size: 42028200 kiB

Checker output:
Sat Jul 11 09:10:58 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-4834969-1783676223/watcher-4834969-1783676223 -o /tmp/evaluation-result-4834969-1783676223/solver-4834969-1783676223 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834969-1783676223/vars-4834969-1783676223 --bin-var /tmp/runsolver-exch-nodeE005-1783676212-1260398 --watchdog 3760 --file-size-limit 100000 ./run-lcc.sh --proof-log=/tmp/proofs/proof-4834969-1783676223 HOME/instance-4834969-1783676223.opb 

running on 4 cores: 56-59

CPU: AMD EPYC 9355 32-Core Processor
Cores frequency:
  2500 MHz: 8,10,13-15,18-20,22,29,33,36-37,39,41-45,47-49,51-53,55
  3550 MHz: 0-7,9,11-12,28
  3600 MHz: 16-17,21,23-27,30-32,34-35,38,40,46,50,54,56-63
WARNING: cores do not run at the same frequency!

Cores frequency (cpufreq):
  3550 MHz: 0-3

CPU governors:
  performance: 56-59

NUMA information:
  number of nodes: 8
  node 0: cores 0-7, 128055 MiB (704 MiB free)
  node 1: cores 8-15, 129019 MiB (90835 MiB free)
  node 2: cores 16-23, 128973 MiB (85831 MiB free)
  node 3: cores 24-31, 129003 MiB (117428 MiB free)
  node 4: cores 32-39, 129019 MiB (115491 MiB free)
  node 5: cores 40-47, 129019 MiB (123844 MiB free)
  node 6: cores 48-55, 129019 MiB (125045 MiB free)
  node 7: cores 56-63, 128474 MiB (125808 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=1261334, runsolver pid=1261326
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 6.31 5.37 10.63 20/894 1261344
/proc/meminfo: memFree=803840672/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=57624 memory=15868 CPUtime=0.08 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 1822 0 0 0 8 0 0 0 20 0 1 0 300910227 59006976 3631 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 14406 3967 2918 1755 0 2241 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 18996 KiB

[startup+0.213985 s]*
/proc/loadavg: 6.31 5.37 10.63 16/891 1261345
/proc/meminfo: memFree=803837684/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=58112 memory=18392 CPUtime=0.19 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 1944 0 0 0 18 1 0 0 20 0 1 0 300910227 59506688 4285 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 14528 4598 2918 1755 0 2363 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62304 KiB
Current children cumulated memory: 21520 KiB

[startup+0.313594 s]*
/proc/loadavg: 6.31 5.37 10.63 16/889 1261353
/proc/meminfo: memFree=803833000/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=58112 memory=18476 CPUtime=0.28 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 1965 0 0 0 27 1 0 0 20 0 1 0 300910227 59506688 4285 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 14528 4619 2918 1755 0 2363 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62304 KiB
Current children cumulated memory: 21604 KiB

[startup+0.700113 s]
/proc/loadavg: 6.31 5.37 10.63 18/889 1261353
/proc/meminfo: memFree=803824084/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=58664 memory=19008 CPUtime=0.64 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 2098 0 0 0 61 3 0 0 20 0 1 0 300910227 60071936 4413 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 14666 4752 2918 1755 0 2501 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 22136 KiB

[startup+1.50011 s]
/proc/loadavg: 6.31 5.37 10.63 17/889 1261356
/proc/meminfo: memFree=803801488/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=59436 memory=19840 CPUtime=1.39 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 2336 0 0 0 131 8 0 0 20 0 1 0 300910227 60862464 4669 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 14859 4960 2918 1755 0 2694 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 63628 KiB
Current children cumulated memory: 22968 KiB

[startup+3.11337 s]
/proc/loadavg: 6.31 5.37 10.63 16/897 1261402
/proc/meminfo: memFree=803674840/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=60784 memory=21120 CPUtime=2.88 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 2760 0 0 0 272 16 0 0 20 0 1 0 300910227 62242816 5053 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 15196 5280 2918 1755 0 3031 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 64976 KiB
Current children cumulated memory: 24248 KiB

[startup+6.30009 s]
/proc/loadavg: 7.41 5.61 10.68 19/901 1261646
/proc/meminfo: memFree=803445668/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=62648 memory=23028 CPUtime=5.73 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 3579 0 0 0 541 32 0 0 20 0 1 0 300910227 64151552 5437 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 15662 5757 2918 1755 0 3497 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 66840 KiB
Current children cumulated memory: 26156 KiB

[startup+12.7001 s]
/proc/loadavg: 8.42 5.85 10.73 17/901 1261893
/proc/meminfo: memFree=803022856/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=66112 memory=26176 CPUtime=11.64 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 5012 0 0 0 1103 61 0 0 20 0 1 0 300910227 67698688 6205 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 16528 6544 2918 1755 0 4363 0
Current children cumulated CPU time: 11.64 s
Current children cumulated vsize: 70304 KiB
Current children cumulated memory: 29304 KiB

[startup+25.5001 s]
/proc/loadavg: 10.98 6.54 10.88 19/901 1262684
/proc/meminfo: memFree=802126400/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=70376 memory=32544 CPUtime=23.19 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 7897 0 0 0 2191 128 0 0 20 0 1 0 300910227 72065024 7854 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 17594 8136 2918 1755 0 5429 0
Current children cumulated CPU time: 23.19 s
Current children cumulated vsize: 74568 KiB
Current children cumulated memory: 35672 KiB

[startup+38.4057 s]
# the end of solver process 1261334 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=33.5389 s, system=1.81633 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6001 s]
/proc/loadavg: 10.98 6.54 10.88 19/901 1262684
/proc/meminfo: memFree=802126400/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=70044 memory=32388 CPUtime=23.28 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 7969 0 0 0 2200 128 0 0 20 0 1 0 300910227 71725056 7854 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 17511 8097 2918 1755 0 5346 0
Current children cumulated CPU time: 23.28 s
Current children cumulated vsize: 74236 KiB
Current children cumulated memory: 35516 KiB

[startup+32.0001 s]*
/proc/loadavg: 11.55 6.73 10.92 10/907 1262955
/proc/meminfo: memFree=801597736/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=72260 memory=34528 CPUtime=29.34 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 9383 0 0 0 2776 158 0 0 20 0 1 0 300910227 73994240 8494 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 57 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 18065 8632 2918 1755 0 5900 0
Current children cumulated CPU time: 29.34 s
Current children cumulated vsize: 76452 KiB
Current children cumulated memory: 37656 KiB

[startup+35.2001 s]
/proc/loadavg: 12.14 6.94 10.96 20/902 1263057
/proc/meminfo: memFree=801415556/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=73076 memory=35252 CPUtime=32.32 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 9917 0 0 0 3062 170 0 0 20 0 1 0 300910227 74829824 8622 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 56 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 18269 8813 2918 1755 0 6104 0
Current children cumulated CPU time: 32.32 s
Current children cumulated vsize: 77268 KiB
Current children cumulated memory: 38380 KiB

[startup+36.8001 s]
/proc/loadavg: 12.14 6.94 10.96 19/904 1263093
/proc/meminfo: memFree=801347016/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=74208 memory=36012 CPUtime=33.85 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 10311 0 0 0 3210 175 0 0 20 0 1 0 300910227 75988992 8750 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 56 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 18552 9003 2918 1755 0 6387 0
Current children cumulated CPU time: 33.85 s
Current children cumulated vsize: 78400 KiB
Current children cumulated memory: 39140 KiB

[startup+37.6001 s]
/proc/loadavg: 12.14 6.94 10.96 19/907 1263136
/proc/meminfo: memFree=801363032/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=74208 memory=36160 CPUtime=34.59 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 10460 0 0 0 3281 178 0 0 20 0 1 0 300910227 75988992 8878 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 56 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 18552 9040 2918 1755 0 6387 0
Current children cumulated CPU time: 34.59 s
Current children cumulated vsize: 78400 KiB
Current children cumulated memory: 39288 KiB

[startup+38.0001 s]*
/proc/loadavg: 12.14 6.94 10.96 21/907 1263207
/proc/meminfo: memFree=801274872/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=74208 memory=36160 CPUtime=34.96 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 10460 0 0 0 3316 180 0 0 20 0 1 0 300910227 75988992 8878 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 56 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 18552 9040 2918 1755 0 6387 0
Current children cumulated CPU time: 34.96 s
Current children cumulated vsize: 78400 KiB
Current children cumulated memory: 39288 KiB

[startup+38.4001 s]
/proc/loadavg: 12.14 6.94 10.96 21/907 1263207
/proc/meminfo: memFree=801274872/1055320704 swapFree=33511932/33554428
[pid=1261334] ppid=1261326 vsize=4192 memory=3128 CPUtime=0 cores=56-59
/proc/1261334/stat : 1261334 (run-lcc.sh) S 1261326 1261334 1260374 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 300910226 4292608 640 18446744073709551615 94252238610432 94252239504965 140734031590064 0 0 0 65536 4 65538 1 0 0 17 57 0 0 0 0 0 94252239744016 94252239791760 94252257542144 140734031595766 140734031595905 140734031595905 140734031601643 0
/proc/1261334/statm: 1048 782 703 219 0 110 0
[pid=1261336] ppid=1261334 vsize=74208 memory=36160 CPUtime=35.34 cores=56-59
/proc/1261336/stat : 1261336 (roundingsat) R 1261334 1261334 1260374 0 -1 4194304 10460 0 0 0 3353 181 0 0 20 0 1 0 300910227 75988992 8878 18446744073709551615 4194304 11382409 140722131634160 0 0 0 0 0 8405026 0 0 0 17 56 0 0 0 0 0 12505888 12515512 41508864 140722131642245 140722131642784 140722131642784 140722131648490 0
/proc/1261336/statm: 18552 9040 2918 1755 0 6387 0
Current children cumulated CPU time: 35.34 s
Current children cumulated vsize: 78400 KiB
Current children cumulated memory: 39288 KiB

Child status: 0

Real time (s): 38.406
CPU time (s): 35.3552
CPU user time (s): 33.5389
CPU system time (s): 1.81633
CPU usage (%): 92.0564
Max. virtual memory (cumulated for all children) (KiB): 78400
Max. memory (cumulated for all children) (KiB): 39288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.5389
system time used= 1.81633
maximum resident set size= 35512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10698
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= 30819
involuntary context switches= 129


# summary of solver processes directly reported to runsolver:
#   pid: 1261334
#   total CPU time (s): 35.3552
#   total CPU user time (s): 33.5389
#   total CPU system time (s): 1.81633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.134012 second user time and 0.450591 second system time

The end

Launcher Data 

Begin job on nodeE005 at 2026-07-10 11:37:03
IDJOB=4834969
IDBENCH=160354
IDSOLVER=3670
FILE ID=nodeE005/4834969-1783676223
RUNJOBID= nodeE005-1783676212-1260398
SLURM_JOB_ID= 12722770
Free space on /tmp= 802516 MiB

SOLVER NAME= roundingsat-satsuma-liftedcover 2026-06-11 (cert)
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./run-lcc.sh --proof-log=CERTNAME BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4834969-1783676223/watcher-4834969-1783676223 -o /tmp/evaluation-result-4834969-1783676223/solver-4834969-1783676223 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834969-1783676223/vars-4834969-1783676223 --bin-var /tmp/runsolver-exch-nodeE005-1783676212-1260398 --watchdog 3760 --file-size-limit 100000 ./run-lcc.sh --proof-log=/tmp/proofs/proof-4834969-1783676223 HOME/instance-4834969-1783676223.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 62000 MiB
NBCORE= 3

MD5SUM BENCH= 1a042d5fcb76a110c048c575a59fde0e
RANDOM SEED=407228556

nodeE005 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		: 3570.431
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		: 3569.579
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		: 3571.129
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		: 3571.124
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		: 3568.345
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		: 3571.169
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		: 3570.503
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		: 3570.682
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		: 3561.059
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		: 2493.659
cache size	: 1024 KB
physical id	: 0
siblings	: 32
core id		: 34
cpu cores	: 32
apicid		: 34
initial apicid	: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 2493.659
cache size	: 1024 KB
physical id	: 0
siblings	: 32
core id		: 35
cpu cores	: 32
apicid		: 35
initial apicid	: 35
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3561.053
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		: 2493.659
cache size	: 1024 KB
physical id	: 0
siblings	: 32
core id		: 97
cpu cores	: 32
apicid		: 97
initial apicid	: 97
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 2493.659
cache size	: 1024 KB
physical id	: 0
siblings	: 32
core id		: 98
cpu cores	: 32
apicid		: 98
initial apicid	: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3587.086
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		: 3589.240
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		: 3588.650
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		: 3580.980
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		: 2493.659
cache size	: 1024 KB
physical id	: 0
siblings	: 32
core id		: 112
cpu cores	: 32
apicid		: 112
initial apicid	: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3579.990
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		: 2493.659
cache size	: 1024 KB
physical id	: 0
siblings	: 32
core id		: 114
cpu cores	: 32
apicid		: 114
initial apicid	: 114
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3590.210
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		: 3589.641
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		: 3582.649
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		: 3590.017
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		: 3580.873
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		: 3580.213
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		: 2493.659
cache size	: 1024 KB
physical id	: 0
siblings	: 32
core id		: 81
cpu cores	: 32
apicid		: 81
initial apicid	: 81
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3578.662
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		: 3580.403
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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 0
cpu cores	: 32
apicid		: 128
initial apicid	: 128
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3584.833
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		: 3583.260
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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 64
cpu cores	: 32
apicid		: 192
initial apicid	: 192
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 65
cpu cores	: 32
apicid		: 193
initial apicid	: 193
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3577.855
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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 67
cpu cores	: 32
apicid		: 195
initial apicid	: 195
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3577.032
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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 33
cpu cores	: 32
apicid		: 161
initial apicid	: 161
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 34
cpu cores	: 32
apicid		: 162
initial apicid	: 162
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3567.671
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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 96
cpu cores	: 32
apicid		: 224
initial apicid	: 224
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 97
cpu cores	: 32
apicid		: 225
initial apicid	: 225
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3583.058
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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 99
cpu cores	: 32
apicid		: 227
initial apicid	: 227
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 2493.659
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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 49
cpu cores	: 32
apicid		: 177
initial apicid	: 177
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3583.331
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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 51
cpu cores	: 32
apicid		: 179
initial apicid	: 179
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 112
cpu cores	: 32
apicid		: 240
initial apicid	: 240
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 2493.659
cache size	: 1024 KB
physical id	: 1
siblings	: 32
core id		: 113
cpu cores	: 32
apicid		: 241
initial apicid	: 241
fpu		: yes
fpu_exception	: yes
cpuid level	: 16
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs		: sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips	: 7090.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		: 3576.173
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		: 3589.158
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		: 3593.372
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		: 3591.894
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		: 3592.626
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		: 3580.085
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		: 3577.167
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		: 3578.829
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		: 3574.115
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:       1055320704 kB
MemFree:        803826524 kB
MemAvailable:   916435416 kB
Buffers:            1096 kB
Cached:         115582728 kB
SwapCached:          848 kB
Active:         84863132 kB
Inactive:       159394104 kB
Active(anon):   67234908 kB
Inactive(anon): 62283508 kB
Active(file):   17628224 kB
Inactive(file): 97110596 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33554428 kB
SwapFree:       33511932 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            238468 kB
Writeback:            16 kB
AnonPages:      128673724 kB
Mapped:           210812 kB
Shmem:            844536 kB
KReclaimable:    3499044 kB
Slab:            4123320 kB
SReclaimable:    3499044 kB
SUnreclaim:       624276 kB
KernelStack:       15184 kB
PageTables:       257968 kB
SecPageTables:     15348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    561214780 kB
Committed_AS:   258461708 kB
VmallocTotal:   13743895347199 kB
VmallocUsed:      478480 kB
VmallocChunk:          0 kB
Percpu:           130560 kB
HardwareCorrupted:     0 kB
AnonHugePages:  31031296 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:      401860 kB
DirectMap2M:    19843072 kB
DirectMap1G:    1053818880 kB

Free space on /tmp at the end= 802512 MiB
End job on nodeE005 at 2026-07-10 11:37:42