0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532205-1752597552.opb'
0.00/0.01 c read 0.02MB (0.39ms)
0.00/0.01 c [cnf: #variables 480 #clauses 481 #duplicates 0 #arr 2400]
0.00/0.01 c output proof to 'PROOFDIR/proof-4532205-1752597552'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 2] (0.30ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.27ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 1921 #edges 6720]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 9.60*10^2 #generators 3] (1.58ms)
0.00/0.01 c
0.00/0.01 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01 c (0.00ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c add generic predicates (break_depth=20)
0.00/0.01 c added predicates for 3 generators (0.01ms)
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 174 #add_vars 57]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4532205-1752597552.opb.pre'
0.00/0.01 c wrote 0.03MB (0.14ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 2.14ms 43.99% other
0.00/0.01 c 1.58ms 32.53% detect_generic
0.00/0.01 c 0.39ms 7.97% parse
0.00/0.01 c 0.30ms 6.11% approx_orbits
0.00/0.01 c 0.27ms 5.59% detect_special
0.00/0.01 c 0.14ms 2.86% output
0.00/0.01 c 0.03ms 0.57% finalize_order
0.00/0.01 c 0.01ms 0.28% break_generic
0.00/0.01 c 0.00ms 0.10% optimize_gens
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 4.86ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 0f876b3
0.00/0.03 c #variables 537 #constraints 654
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c bounds 153 >= 0 @ 0.006519
0.00/0.06 c rational objective 120
0.27/0.39 c bounds 152 >= 0 @ 0.350712
0.27/0.39 c bounds 152 >= 1 @ 0.350937
0.27/0.39 c bounds 152 >= 2 @ 0.351101
0.27/0.39 c bounds 152 >= 3 @ 0.351253
0.27/0.39 c bounds 152 >= 4 @ 0.351406
0.27/0.39 c bounds 152 >= 5 @ 0.351586
0.27/0.39 c bounds 152 >= 6 @ 0.351753
0.27/0.39 c bounds 152 >= 7 @ 0.351899
0.27/0.39 c bounds 152 >= 8 @ 0.352043
0.27/0.39 c bounds 152 >= 9 @ 0.352191
0.27/0.39 c bounds 152 >= 10 @ 0.352339
0.27/0.39 c bounds 152 >= 11 @ 0.352496
0.27/0.39 c bounds 152 >= 12 @ 0.352642
0.27/0.39 c bounds 152 >= 13 @ 0.352788
0.27/0.39 c bounds 152 >= 14 @ 0.352936
0.27/0.39 c bounds 152 >= 15 @ 0.353088
0.27/0.39 c bounds 152 >= 16 @ 0.353237
0.27/0.39 c bounds 152 >= 17 @ 0.353393
0.27/0.39 c bounds 152 >= 18 @ 0.353544
0.27/0.39 c bounds 152 >= 19 @ 0.353691
0.27/0.39 c bounds 152 >= 20 @ 0.353847
0.27/0.39 c bounds 152 >= 21 @ 0.353992
0.27/0.39 c bounds 152 >= 22 @ 0.354147
0.27/0.39 c bounds 152 >= 23 @ 0.354294
0.27/0.39 c bounds 152 >= 24 @ 0.354449
0.27/0.39 c bounds 152 >= 25 @ 0.3546
0.27/0.39 c bounds 152 >= 26 @ 0.354751
0.27/0.39 c bounds 152 >= 27 @ 0.354912
0.27/0.39 c bounds 152 >= 28 @ 0.35506
0.27/0.39 c bounds 152 >= 29 @ 0.355218
0.27/0.39 c bounds 152 >= 30 @ 0.355353
0.27/0.39 c bounds 152 >= 31 @ 0.355353
0.27/0.39 c bounds 152 >= 32 @ 0.355353
0.27/0.39 c bounds 152 >= 33 @ 0.355353
0.27/0.39 c bounds 152 >= 34 @ 0.355353
0.27/0.39 c bounds 152 >= 35 @ 0.355353
0.27/0.39 c bounds 152 >= 36 @ 0.355371
0.27/0.39 c bounds 152 >= 37 @ 0.355524
0.27/0.39 c bounds 152 >= 38 @ 0.355675
0.27/0.40 c bounds 152 >= 39 @ 0.355832
0.27/0.40 c bounds 152 >= 40 @ 0.355976
0.27/0.40 c bounds 152 >= 41 @ 0.356124
0.27/0.40 c bounds 152 >= 42 @ 0.356277
0.27/0.40 c bounds 152 >= 43 @ 0.356277
0.27/0.40 c bounds 152 >= 44 @ 0.356277
0.27/0.40 c bounds 152 >= 45 @ 0.356277
0.27/0.40 c bounds 152 >= 46 @ 0.356277
0.27/0.40 c bounds 152 >= 47 @ 0.356277
0.27/0.40 c bounds 152 >= 48 @ 0.356277
0.27/0.40 c bounds 152 >= 49 @ 0.356393
0.27/0.40 c bounds 152 >= 50 @ 0.356539
0.27/0.40 c bounds 151 >= 50 @ 0.358013
0.27/0.40 c bounds 151 >= 51 @ 0.358179
0.27/0.40 c bounds 151 >= 52 @ 0.358323
0.27/0.40 c bounds 151 >= 53 @ 0.358468
0.27/0.40 c bounds 151 >= 54 @ 0.358619
0.27/0.40 c bounds 151 >= 55 @ 0.358764
0.27/0.40 c bounds 151 >= 56 @ 0.358905
0.27/0.40 c bounds 151 >= 57 @ 0.358965
0.27/0.40 c bounds 151 >= 58 @ 0.358965
0.27/0.40 c bounds 151 >= 59 @ 0.358965
0.27/0.40 c bounds 151 >= 60 @ 0.358965
0.27/0.40 c bounds 151 >= 61 @ 0.359033
0.27/0.40 c bounds 151 >= 62 @ 0.359169
0.27/0.40 c bounds 151 >= 63 @ 0.359317
0.27/0.40 c bounds 151 >= 64 @ 0.359458
0.27/0.40 c bounds 151 >= 65 @ 0.3596
0.27/0.40 c bounds 151 >= 66 @ 0.359748
0.27/0.40 c bounds 151 >= 67 @ 0.35989
0.27/0.40 c bounds 151 >= 68 @ 0.360028
0.27/0.40 c bounds 151 >= 69 @ 0.360169
0.27/0.40 c bounds 151 >= 70 @ 0.360319
0.27/0.40 c bounds 151 >= 71 @ 0.360464
0.27/0.40 c bounds 151 >= 72 @ 0.360608
0.27/0.40 c bounds 151 >= 73 @ 0.360757
0.27/0.40 c bounds 151 >= 74 @ 0.360899
0.27/0.40 c bounds 151 >= 75 @ 0.361045
0.27/0.40 c bounds 151 >= 76 @ 0.361186
0.27/0.40 c bounds 151 >= 77 @ 0.361334
0.27/0.40 c bounds 151 >= 78 @ 0.361478
0.27/0.40 c bounds 151 >= 79 @ 0.361621
0.27/0.40 c bounds 151 >= 80 @ 0.361771
0.27/0.40 c bounds 151 >= 81 @ 0.361912
0.27/0.40 c bounds 151 >= 82 @ 0.362056
0.27/0.40 c bounds 151 >= 83 @ 0.362199
0.27/0.40 c bounds 151 >= 84 @ 0.362271
0.27/0.40 c bounds 151 >= 85 @ 0.362271
0.27/0.40 c bounds 151 >= 86 @ 0.362271
0.27/0.40 c bounds 151 >= 87 @ 0.362271
0.27/0.40 c bounds 151 >= 88 @ 0.362271
0.27/0.40 c bounds 151 >= 89 @ 0.362271
0.27/0.40 c bounds 151 >= 90 @ 0.362271
0.27/0.40 c bounds 151 >= 91 @ 0.362355
0.27/0.40 c bounds 151 >= 92 @ 0.362496
0.27/0.40 c bounds 151 >= 93 @ 0.362647
0.27/0.41 c bounds 151 >= 94 @ 0.362787
0.27/0.41 c bounds 151 >= 95 @ 0.362928
0.27/0.41 c bounds 151 >= 96 @ 0.363069
0.27/0.41 c bounds 151 >= 97 @ 0.363224
0.27/0.41 c bounds 151 >= 98 @ 0.363371
0.27/0.41 c bounds 151 >= 99 @ 0.363517
0.27/0.41 c bounds 151 >= 100 @ 0.363658
0.27/0.41 c bounds 151 >= 101 @ 0.363797
0.27/0.41 c bounds 151 >= 102 @ 0.363946
0.37/0.41 c bounds 151 >= 103 @ 0.364089
0.37/0.41 c bounds 151 >= 104 @ 0.364229
0.37/0.41 c bounds 151 >= 105 @ 0.364372
0.37/0.41 c bounds 151 >= 106 @ 0.364518
0.37/0.41 c bounds 151 >= 107 @ 0.364854
0.37/0.41 c bounds 151 >= 108 @ 0.365245
0.37/0.41 c bounds 151 >= 109 @ 0.365647
0.37/0.42 c bounds 150 >= 109 @ 0.372112
0.37/0.42 c bounds 150 >= 110 @ 0.372549
0.37/0.42 c bounds 150 >= 111 @ 0.372971
0.37/0.42 c bounds 150 >= 112 @ 0.374828
0.37/0.47 c bounds 150 >= 113 @ 0.415011
0.37/0.47 c bounds 149 >= 113 @ 0.415731
0.37/0.47 c bounds 148 >= 113 @ 0.415798
0.37/0.47 c bounds 147 >= 113 @ 0.417438
0.37/0.48 c bounds 146 >= 113 @ 0.419082
0.37/0.48 c bounds 146 >= 114 @ 0.419546
0.37/0.48 c bounds 146 >= 115 @ 0.420549
0.37/0.48 c bounds 146 >= 116 @ 0.42579
0.37/0.48 c bounds 145 >= 116 @ 0.427709
0.37/0.49 c bounds 144 >= 116 @ 0.428686
0.37/0.49 c bounds 143 >= 116 @ 0.431236
0.46/0.52 c bounds 143 >= 117 @ 0.455724
0.46/0.52 c bounds 142 >= 117 @ 0.456615
0.46/0.56 c #Conflicts: 1000 | #Constraints: 2459
0.46/0.56 c bounds 141 >= 117 @ 0.489405
0.46/0.57 c bounds 141 >= 118 @ 0.504378
0.75/0.82 c #Conflicts: 2000 | #Constraints: 3541
0.75/0.82 c INPROCESSING
0.75/0.82 c GARBAGE COLLECT
0.75/0.82 c rational objective 120
1.06/1.13 c bounds 140 >= 118 @ 1.03774
1.06/1.13 c bounds 139 >= 118 @ 1.03947
1.06/1.14 c bounds 138 >= 118 @ 1.04453
1.06/1.14 c bounds 137 >= 118 @ 1.04817
1.06/1.15 c bounds 136 >= 118 @ 1.05842
1.06/1.17 c bounds 135 >= 118 @ 1.08097
1.15/1.28 c #Conflicts: 3000 | #Constraints: 3337
1.15/1.28 c bounds 134 >= 118 @ 1.17563
1.35/1.45 c bounds 134 >= 119 @ 1.33638
1.55/1.60 c #Conflicts: 4000 | #Constraints: 4413
1.55/1.60 c INPROCESSING
1.55/1.60 c GARBAGE COLLECT
1.55/1.60 c rational objective 120
2.14/2.26 c #Conflicts: 5000 | #Constraints: 3700
2.14/2.26 c #Conflicts: 6000 | #Constraints: 4700
2.14/2.26 c INPROCESSING
2.14/2.26 c GARBAGE COLLECT
2.14/2.26 c rational objective 120
2.44/2.56 c bounds 133 >= 119 @ 2.40486
2.64/2.75 c #Conflicts: 7000 | #Constraints: 3727
2.64/2.75 c bounds 132 >= 119 @ 2.59094
2.74/2.84 c #Conflicts: 8000 | #Constraints: 4758
2.74/2.84 c bounds 131 >= 119 @ 2.67862
3.04/3.12 c #Conflicts: 9000 | #Constraints: 5760
3.04/3.12 c INPROCESSING
3.04/3.12 c GARBAGE COLLECT
3.04/3.12 c rational objective 120
3.44/3.55 c bounds 130 >= 119 @ 3.36917
3.64/3.72 c #Conflicts: 10000 | #Constraints: 4478
3.64/3.72 c bounds 129 >= 119 @ 3.52442
3.94/4.04 c #Conflicts: 11000 | #Constraints: 5506
3.94/4.04 c #Conflicts: 12000 | #Constraints: 6506
3.94/4.04 c INPROCESSING
3.94/4.04 c GARBAGE COLLECT
3.94/4.04 c rational objective 120
4.34/4.43 c bounds 128 >= 119 @ 4.22207
4.94/5.05 c #Conflicts: 13000 | #Constraints: 4958
4.94/5.05 c #Conflicts: 14000 | #Constraints: 6005
4.94/5.05 c #Conflicts: 15000 | #Constraints: 7052
4.94/5.05 c INPROCESSING
4.94/5.05 c GARBAGE COLLECT
4.94/5.05 c rational objective 120
5.83/5.99 c #Conflicts: 16000 | #Constraints: 5129
5.83/5.99 c #Conflicts: 17000 | #Constraints: 6129
5.83/5.99 c #Conflicts: 18000 | #Constraints: 7129
5.83/5.99 c INPROCESSING
5.83/5.99 c GARBAGE COLLECT
5.83/5.99 c rational objective 120
7.03/7.13 c #Conflicts: 19000 | #Constraints: 5175
7.03/7.13 c #Conflicts: 20000 | #Constraints: 6205
7.03/7.13 c #Conflicts: 21000 | #Constraints: 7249
7.03/7.13 c INPROCESSING
7.03/7.13 c GARBAGE COLLECT
7.03/7.13 c rational objective 120
7.93/8.05 c #Conflicts: 22000 | #Constraints: 4936
7.93/8.05 c #Conflicts: 23000 | #Constraints: 5936
7.93/8.05 c #Conflicts: 24000 | #Constraints: 6936
7.93/8.05 c bounds 128 >= 120 @ 7.74397
8.03/8.13 c #Conflicts: 25000 | #Constraints: 8038
8.03/8.13 c INPROCESSING
8.03/8.13 c GARBAGE COLLECT
8.03/8.13 WSVECS04 Frhs2[319]: 6 -1.00001 0 shouldn't be
8.13/8.23 c rational objective 120
9.42/9.55 c #Conflicts: 26000 | #Constraints: 5588
9.42/9.55 c #Conflicts: 27000 | #Constraints: 6607
9.42/9.55 c #Conflicts: 28000 | #Constraints: 7637
9.42/9.55 c #Conflicts: 29000 | #Constraints: 8663
9.42/9.55 c INPROCESSING
9.42/9.55 c GARBAGE COLLECT
9.42/9.55 c rational objective 120
10.61/10.76 c #Conflicts: 30000 | #Constraints: 5956
10.61/10.76 c #Conflicts: 31000 | #Constraints: 6956
10.61/10.76 c #Conflicts: 32000 | #Constraints: 7956
10.61/10.76 c #Conflicts: 33000 | #Constraints: 8956
10.61/10.76 c INPROCESSING
10.61/10.76 c GARBAGE COLLECT
10.61/10.76 c rational objective 120
11.22/11.39 c #Conflicts: 34000 | #Constraints: 6216
11.22/11.39 c bounds 127 >= 120 @ 10.9902
12.02/12.17 c #Conflicts: 35000 | #Constraints: 7261
12.02/12.17 c #Conflicts: 36000 | #Constraints: 8296
12.02/12.17 c #Conflicts: 37000 | #Constraints: 9319
12.02/12.17 c INPROCESSING
12.02/12.17 c GARBAGE COLLECT
12.02/12.17 c rational objective 120
13.41/13.58 c #Conflicts: 38000 | #Constraints: 6193
13.41/13.58 c #Conflicts: 39000 | #Constraints: 7193
13.41/13.58 c #Conflicts: 40000 | #Constraints: 8193
13.41/13.58 c #Conflicts: 41000 | #Constraints: 9193
13.41/13.58 c INPROCESSING
13.41/13.58 c GARBAGE COLLECT
13.41/13.58 c rational objective 120
14.41/14.51 c #Conflicts: 42000 | #Constraints: 6048
14.41/14.51 c #Conflicts: 43000 | #Constraints: 7060
14.41/14.51 c #Conflicts: 44000 | #Constraints: 8087
14.41/14.51 c #Conflicts: 45000 | #Constraints: 9116
14.41/14.51 c bounds 126 >= 120 @ 14.036
14.61/14.71 c #Conflicts: 46000 | #Constraints: 10163
14.61/14.71 c INPROCESSING
14.61/14.71 c GARBAGE COLLECT
14.61/14.71 c rational objective 120
16.01/16.16 c #Conflicts: 47000 | #Constraints: 6677
16.01/16.16 c #Conflicts: 48000 | #Constraints: 7677
16.01/16.16 c #Conflicts: 49000 | #Constraints: 8677
16.01/16.16 c #Conflicts: 50000 | #Constraints: 9677
16.01/16.16 c #Conflicts: 51000 | #Constraints: 10677
16.01/16.16 c INPROCESSING
16.01/16.16 c GARBAGE COLLECT
16.01/16.16 c rational objective 120
16.21/16.32 c bounds 125 >= 120 @ 15.7864
17.50/17.61 c #Conflicts: 52000 | #Constraints: 7097
17.50/17.61 c #Conflicts: 53000 | #Constraints: 8120
17.50/17.61 c #Conflicts: 54000 | #Constraints: 9137
17.50/17.61 c #Conflicts: 55000 | #Constraints: 10156
17.50/17.61 c #Conflicts: 56000 | #Constraints: 11166
17.50/17.61 c INPROCESSING
17.50/17.61 c GARBAGE COLLECT
17.50/17.61 c rational objective 120
19.19/19.31 c #Conflicts: 57000 | #Constraints: 7218
19.19/19.31 c #Conflicts: 58000 | #Constraints: 8218
19.19/19.31 c #Conflicts: 59000 | #Constraints: 9218
19.19/19.31 c #Conflicts: 60000 | #Constraints: 10218
19.19/19.31 c #Conflicts: 61000 | #Constraints: 11218
19.19/19.31 c INPROCESSING
19.19/19.31 c GARBAGE COLLECT
19.19/19.31 c rational objective 120
20.49/20.62 c #Conflicts: 62000 | #Constraints: 7286
20.49/20.62 c #Conflicts: 63000 | #Constraints: 8312
20.49/20.62 c #Conflicts: 64000 | #Constraints: 9330
20.49/20.62 c bounds 124 >= 120 @ 19.9394
21.19/21.38 c #Conflicts: 65000 | #Constraints: 10356
21.19/21.38 c #Conflicts: 66000 | #Constraints: 11375
21.19/21.38 c INPROCESSING
21.19/21.38 c GARBAGE COLLECT
21.19/21.38 c rational objective 120
23.18/23.34 c #Conflicts: 67000 | #Constraints: 7024
23.18/23.34 c #Conflicts: 68000 | #Constraints: 8025
23.18/23.34 c #Conflicts: 69000 | #Constraints: 9025
23.18/23.34 c #Conflicts: 70000 | #Constraints: 10025
23.18/23.34 c #Conflicts: 71000 | #Constraints: 11025
23.18/23.34 c #Conflicts: 72000 | #Constraints: 12025
23.18/23.34 c INPROCESSING
23.18/23.34 c GARBAGE COLLECT
23.18/23.34 c rational objective 120
24.89/25.03 c #Conflicts: 73000 | #Constraints: 7667
24.89/25.03 c #Conflicts: 74000 | #Constraints: 8694
24.89/25.03 c #Conflicts: 75000 | #Constraints: 9719
24.89/25.03 c #Conflicts: 76000 | #Constraints: 10735
24.89/25.03 c #Conflicts: 77000 | #Constraints: 11752
24.89/25.03 c #Conflicts: 78000 | #Constraints: 12763
24.89/25.03 c INPROCESSING
24.89/25.03 c GARBAGE COLLECT
24.89/25.03 c rational objective 120
26.89/27.05 c #Conflicts: 79000 | #Constraints: 8016
26.89/27.05 c #Conflicts: 80000 | #Constraints: 9029
26.89/27.05 c #Conflicts: 81000 | #Constraints: 10047
26.89/27.05 c #Conflicts: 82000 | #Constraints: 11067
26.89/27.05 c #Conflicts: 83000 | #Constraints: 12083
26.89/27.05 c #Conflicts: 84000 | #Constraints: 13099
26.89/27.05 c INPROCESSING
26.89/27.05 c GARBAGE COLLECT
26.89/27.05 c rational objective 120
28.37/28.53 c #Conflicts: 85000 | #Constraints: 8183
28.37/28.53 c #Conflicts: 86000 | #Constraints: 9183
28.37/28.53 c #Conflicts: 87000 | #Constraints: 10183
28.37/28.53 c bounds 120 >= 120 @ 27.5994
28.37/28.53 c cpu time 27.5994 s
28.37/28.53 c deterministic time 834832527 8.35e+08
28.37/28.53 c optimization time 0.020642 s
28.37/28.53 c total solve time 27.5744 s
28.37/28.53 c core-guided solve time 12.5157 s
28.37/28.53 c propagation time 12.3848 s
28.37/28.53 c conflict analysis time 6.49127 s
28.37/28.53 c propagations 7969154
28.37/28.53 c resolve steps 771955
28.37/28.53 c decisions 264456
28.37/28.53 c conflicts 87766
28.37/28.53 c restarts 253
28.37/28.53 c inprocessing phases 21
28.37/28.53 c garbage collections 21 ,( 100.00 )
28.37/28.53 c input clauses 935 ,( 52.44 )
28.37/28.53 c input cardinalities 588 ,( 32.98 )
28.37/28.53 c input general constraints 260 ,( 14.58 )
28.37/28.53 c input average constraint length 45.62
28.37/28.53 c input average constraint degree 12.22
28.37/28.53 c learned clauses 44586 ,( 50.22 )
28.37/28.53 c learned cardinalities 3141 ,( 3.54 )
28.37/28.53 c learned general constraints 41050 ,( 46.24 )
28.37/28.53 c learned average constraint length 101.25
28.37/28.53 c learned average constraint degree 1929614131.45
28.37/28.53 c watched CF 32, 64, 128, Arb: 9662 , 0 , 0 , 0
28.37/28.53 c counting CF 32, 64, 128, Arb: 31649 , 0 , 0 , 0
28.37/28.53 c watched constraints 9662 ,( 23.39 )
28.37/28.53 c counting constraints 31648 ,( 76.61 )
28.37/28.53 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 6435039 , 13249657 , 80890747 ,( 7175930 , 73714817 )
28.37/28.53 c gcd simplifications 4622
28.37/28.53 c detected cardinalities 300
28.37/28.53 c weakened non-implied lits 6334664
28.37/28.53 c weakened non-implying lits 11464
28.37/28.53 c original variables 537
28.37/28.53 c clausal propagations 1057259
28.37/28.53 c cardinality propagations 1025972
28.37/28.53 c watched propagations 208864
28.37/28.53 c counting propagations 5081043
28.37/28.53 c watch lookups 397763138
28.37/28.53 c watch backjump lookups 0
28.37/28.53 c watch checks 147981344
28.37/28.53 c propagation checks 232048290
28.37/28.53 c constraint additions 40371012
28.37/28.53 c trail pops 8320330
28.37/28.53 c formula constraints 654
28.37/28.53 c learned constraints 86777
28.37/28.53 c bound constraints 202
28.37/28.53 c core-guided constraints 927
28.37/28.53 c encountered formula constraints 144260
28.37/28.53 c encountered learned constraints 489444
28.37/28.53 c encountered bound constraints 160
28.37/28.53 c encountered core-guided constraints 153613
28.37/28.53 c LP total time 11.1015 s
28.37/28.53 c LP solve time 4.56 s
28.37/28.53 c LP constraints added 684
28.37/28.53 c LP constraints removed 28
28.37/28.53 c LP pivots internal 88217
28.37/28.53 c LP pivots root 26585
28.37/28.53 c LP calls 1114
28.37/28.53 c LP optimalities 120
28.37/28.53 c LP no pivot count 7
28.37/28.53 c LP infeasibilities 991
28.37/28.53 c LP valid Farkas constraints 990
28.37/28.53 c LP learned Farkas constraints 990
28.37/28.53 c LP basis resets 2
28.37/28.53 c LP cycling count 0
28.37/28.53 c LP singular count 0
28.37/28.53 c LP no primal count 0
28.37/28.53 c LP no farkas count 1
28.37/28.53 c LP other issue count 1
28.37/28.53 c LP Gomory cuts 20
28.37/28.53 c LP learned cuts 10
28.37/28.53 c LP deleted cuts 28
28.37/28.53 c LP encountered Gomory constraints 50
28.37/28.53 c LP encountered Farkas constraints 61356
28.37/28.53 c LP encountered learned Farkas constraints 9848
28.37/28.53 c CG auxiliary variables introduced 349
28.37/28.53 c CG solutions found 30
28.37/28.53 c CG cores constructed 120
28.37/28.53 c CG core cardinality constraints returned 0
28.37/28.53 c CG unit cores 0
28.37/28.53 c CG single cores 120
28.37/28.53 c CG blocks removed during cardinality reduction 0
28.37/28.53 c CG first core best 0
28.37/28.53 c CG decision core best 0
28.37/28.53 c CG core reduction tie 0
28.37/28.53 c CG core degree average 1.00
28.37/28.53 c CG core slack average 5.48
28.37/28.53 c CG core upper bound improvements 11
28.37/28.53 c STR number of successful calls 0
28.37/28.53 c STR number of unsuccessful calls 0
28.37/28.53 c STR number of inconclusive calls 0
28.37/28.53 c STR number of successful attempts 0
28.37/28.53 c STR number of unsuccessful attempts 0
28.37/28.53 c STR number of inconclusive attempts 0
28.37/28.53 c STR average degree increase per successful call inf
28.37/28.53 c STR average degree increase per successful attempt inf
28.37/28.53 c STR total number of conflicts for successful attempts 0
28.37/28.53 c STR total number of conflicts for unsuccessful attempts 0
28.37/28.53 c STR total number of conflicts for inconclusive attempts 0
28.37/28.53 c STR average number of conflicts per successful attempt inf
28.37/28.53 c STR average number of conflicts per unsuccessful attempt inf
28.37/28.53 c STR average number of conflicts per inconclusive attempt inf
28.37/28.53 c AVG.sumWPerc 56.20
28.37/28.53 c bigint constraints 0
28.37/28.53 o 120
28.37/28.53 s OPTIMUM FOUND
28.45/30.02 v x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480
runsolver version 3.4.2 (svn: 4680) 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.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (57472 MiB free)
memory of node 1: 64507 MiB (58010 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532205-1752597552/watcher-4532205-1752597552 -o /tmp/evaluation-result-4532205-1752597552/solver-4532205-1752597552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752597453-132085 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532205-1752597552.opb PROOFDIR/proof-4532205-1752597552
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=132735, runsolver pid=132732
[startup+0.100057 s]*
/proc/loadavg: 3.50 2.78 4.36 5/267 132740
/proc/meminfo: memFree=118254696/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=58084 memory=12600 CPUtime=0.07 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 1103 0 0 0 7 0 0 0 20 0 1 0 175432942 59478016 3150 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 14521 3150 2368 1147 0 1947 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62276 KiB
Current children cumulated memory: 15672 KiB
[startup+0.205576 s]*
/proc/loadavg: 3.50 2.78 4.36 4/269 132744
/proc/meminfo: memFree=118254316/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=59684 memory=14136 CPUtime=0.17 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 1495 0 0 0 17 0 0 0 20 0 1 0 175432942 61116416 3534 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 14921 3534 2368 1147 0 2347 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63876 KiB
Current children cumulated memory: 17208 KiB
[startup+0.305517 s]*
/proc/loadavg: 3.50 2.78 4.36 5/268 132753
/proc/meminfo: memFree=118253916/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=61844 memory=16184 CPUtime=0.27 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 2018 0 0 0 27 0 0 0 20 0 1 0 175432942 63328256 4046 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 15461 4046 2368 1147 0 2887 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 66036 KiB
Current children cumulated memory: 19256 KiB
[startup+0.700187 s]
/proc/loadavg: 3.50 2.78 4.36 4/269 132770
/proc/meminfo: memFree=118260360/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=65476 memory=22352 CPUtime=0.65 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 2983 0 0 0 61 4 0 0 20 0 1 0 175432942 67047424 5588 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 16369 5588 2432 1147 0 3795 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 69668 KiB
Current children cumulated memory: 25424 KiB
[startup+1.5002 s]
/proc/loadavg: 3.50 2.78 4.36 4/267 132786
/proc/meminfo: memFree=118240644/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=73500 memory=31100 CPUtime=1.45 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 4674 0 0 0 138 7 0 0 20 0 1 0 175432942 75264000 7775 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 18375 7775 2432 1147 0 5801 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 77692 KiB
Current children cumulated memory: 34172 KiB
[startup+3.10548 s]
/proc/loadavg: 3.62 2.82 4.36 5/272 132826
/proc/meminfo: memFree=118162372/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=73640 memory=31484 CPUtime=3.04 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 4759 0 0 0 292 12 0 0 20 0 1 0 175432942 75407360 7871 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 18410 7871 2432 1147 0 5836 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 77832 KiB
Current children cumulated memory: 34556 KiB
[startup+6.30012 s]
/proc/loadavg: 3.62 2.82 4.36 5/272 132826
/proc/meminfo: memFree=117967244/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=77072 memory=34684 CPUtime=6.23 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 5554 0 0 0 603 20 0 0 20 0 1 0 175432942 78921728 8671 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 19268 8671 2432 1147 0 6694 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 81264 KiB
Current children cumulated memory: 37756 KiB
[startup+12.7002 s]
/proc/loadavg: 3.68 2.86 4.36 5/272 132826
/proc/meminfo: memFree=117418880/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=84340 memory=39548 CPUtime=12.62 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 6772 0 0 0 1226 36 0 0 20 0 1 0 175432942 86364160 9887 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 21085 9887 2432 1147 0 8511 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 88532 KiB
Current children cumulated memory: 42620 KiB
[startup+25.5002 s]
/proc/loadavg: 3.73 2.89 4.35 5/272 132826
/proc/meminfo: memFree=116753476/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=102608 memory=53756 CPUtime=25.38 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 10323 0 0 0 2466 72 0 0 20 0 1 0 175432942 105070592 13439 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 25652 13439 2432 1147 0 13078 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 106800 KiB
Current children cumulated memory: 56828 KiB
[startup+30.0239 s]
# the end of solver process 132735 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=27.6092 s, system=0.86669 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 3.73 2.89 4.35 5/272 132826
/proc/meminfo: memFree=116753476/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=102608 memory=53756 CPUtime=25.48 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 10323 0 0 0 2475 73 0 0 20 0 1 0 175432942 105070592 13439 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 25652 13439 2432 1147 0 13078 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 106800 KiB
Current children cumulated memory: 56828 KiB
[startup+27.2002 s]
/proc/loadavg: 3.75 2.91 4.35 5/272 132826
/proc/meminfo: memFree=116640452/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=102932 memory=54012 CPUtime=27.08 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 10412 0 0 0 2629 79 0 0 20 0 1 0 175432942 105402368 13503 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 25733 13503 2432 1147 0 13159 0
Current children cumulated CPU time: 27.08 s
Current children cumulated vsize: 107124 KiB
Current children cumulated memory: 57084 KiB
[startup+28.8002 s]
/proc/loadavg: 3.75 2.91 4.35 5/272 132826
/proc/meminfo: memFree=116595412/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=102932 memory=54012 CPUtime=28.44 cores=0,2
/proc/132738/stat : 132738 (roundingsat) D 132735 132735 132075 0 -1 4194304 10413 0 0 0 2760 84 0 0 20 0 1 0 175432942 105402368 13503 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 25733 13503 2432 1147 0 13159 0
Current children cumulated CPU time: 28.44 s
Current children cumulated vsize: 107124 KiB
Current children cumulated memory: 57084 KiB
[startup+29.6002 s]
/proc/loadavg: 3.75 2.91 4.35 3/272 132826
/proc/meminfo: memFree=116582040/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=102932 memory=54012 CPUtime=28.45 cores=0,2
/proc/132738/stat : 132738 (roundingsat) D 132735 132735 132075 0 -1 4194304 10413 0 0 0 2760 85 0 0 20 0 1 0 175432942 105402368 13503 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 25733 13503 2432 1147 0 13159 0
Current children cumulated CPU time: 28.45 s
Current children cumulated vsize: 107124 KiB
Current children cumulated memory: 57084 KiB
[startup+30.0002 s]*
/proc/loadavg: 3.75 2.91 4.35 6/272 132826
/proc/meminfo: memFree=116581224/131249996 swapFree=33003468/33010684
[pid=132735] ppid=132732 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132735/stat : 132735 (run-opt-ls-log.) S 132732 132735 132075 0 -1 4194304 241 458 0 0 0 0 0 0 20 0 1 0 175432940 4292608 768 18446744073709551615 94121364684800 94121365579333 140736127367312 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94121365818384 94121365866128 94121379246080 140736127375641 140736127375839 140736127375839 140736127381443 0
/proc/132735/statm: 1048 768 704 219 0 110 0
[pid=132738] ppid=132735 vsize=102932 memory=54012 CPUtime=28.45 cores=0,2
/proc/132738/stat : 132738 (roundingsat) R 132735 132735 132075 0 -1 4194304 10413 0 0 0 2760 85 0 0 20 0 1 0 175432942 105402368 13503 18446744073709551615 4227072 8923577 140728624809392 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9827200 9836688 11526144 140728624818420 140728624818726 140728624818726 140728624824298 0
/proc/132738/statm: 25733 13503 2432 1147 0 13159 0
Current children cumulated CPU time: 28.45 s
Current children cumulated vsize: 107124 KiB
Current children cumulated memory: 57084 KiB
Child status: 0
Real time (s): 30.024
CPU time (s): 28.4759
CPU user time (s): 27.6092
CPU system time (s): 0.86669
CPU usage (%): 94.8438
Max. virtual memory (cumulated for all children) (KiB): 107124
Max. memory (cumulated for all children) (KiB): 57084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.6092
system time used= 0.86669
maximum resident set size= 54012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 588648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9774
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 132735
# total CPU time (s): 28.4759
# total CPU user time (s): 27.6092
# total CPU system time (s): 0.86669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069897 second user time and 0.163738 second system time
The end
Begin job on nodeC021 at 2025-07-15 18:39:13
IDJOB=4532205
IDBENCH=178060
IDSOLVER=3392
FILE ID=nodeC021/4532205-1752597552
RUNJOBID= nodeC021-1752597453-132085
SLURM_JOB_ID= 9684393
Free space on /tmp= 432016 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532205-1752597552/watcher-4532205-1752597552 -o /tmp/evaluation-result-4532205-1752597552/solver-4532205-1752597552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752597453-132085 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532205-1752597552.opb PROOFDIR/proof-4532205-1752597552
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c38d53ef62d5a1e991caa36d02813e97
RANDOM SEED=1879744456
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3612.789
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.864
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.521
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.620
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.787
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.855
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.813
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.032
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 118255496 kB
MemAvailable: 128855780 kB
Buffers: 1056 kB
Cached: 11338068 kB
SwapCached: 60 kB
Active: 1417836 kB
Inactive: 10808012 kB
Active(anon): 869124 kB
Inactive(anon): 39304 kB
Active(file): 548712 kB
Inactive(file): 10768708 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 155956 kB
Writeback: 20 kB
AnonPages: 889328 kB
Mapped: 112964 kB
Shmem: 21648 kB
KReclaimable: 243804 kB
Slab: 346180 kB
SReclaimable: 243804 kB
SUnreclaim: 102376 kB
KernelStack: 4252 kB
PageTables: 4836 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1365544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 153600 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432008 MiB
End job on nodeC021 at 2025-07-15 18:39:43