0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4490936-1751375911.opb'
0.00/0.02 c read 0.08MB (1.33ms)
0.00/0.02 c [cnf: #variables 1264 #clauses 1091 #duplicates 0 #arr 8485]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 62] (1.30ms)
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.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c found row 3x2, generating row predicate
0.00/0.02 c found row 3x2, generating row predicate
0.00/0.02 c found row 5x2, generating row predicate
0.00/0.02 c found row 5x2, generating row predicate
0.00/0.02 c found row 3x2, generating row predicate
0.00/0.02 c found row 3x2, generating row predicate
0.00/0.02 c found row 3x2, generating row predicate
0.00/0.02 c found row 3x2, generating row predicate
0.00/0.02 c (0.85ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 4883 #edges 22026]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 2.10*10^6 #generators 21] (1.05ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02 c ran it=0, +gens=0
0.00/0.03 c con best_support=4, best_gens=18, +gens=16
0.00/0.03 c (7.36ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=20)
0.00/0.03 c added predicates for 37 generators (0.02ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 96 #add_vars 13]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4490936-1751375911.opb.pre'
0.00/0.03 c wrote 0.08MB (0.31ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 7.36ms 59.37% optimize_gens
0.00/0.03 c 1.32ms 10.68% parse
0.00/0.03 c 1.30ms 10.49% approx_orbits
0.00/0.03 c 1.05ms 8.50% detect_generic
0.00/0.03 c 0.85ms 6.83% detect_special
0.00/0.03 c 0.31ms 2.48% output
0.00/0.03 c 0.14ms 1.12% other
0.00/0.03 c 0.05ms 0.39% finalize_order
0.00/0.03 c 0.02ms 0.12% break_generic
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 12.39ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.05 c #variables 1277 #constraints 1186
0.00/0.05 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c bounds - >= 0 @ 0.00736
0.15/0.21 c bounds 305 >= 0 @ 0.148487
0.15/0.21 c bounds 305 >= 1 @ 0.148487
0.15/0.21 c bounds 305 >= 2 @ 0.148487
0.15/0.21 c bounds 305 >= 3 @ 0.148587
0.15/0.21 c bounds 305 >= 4 @ 0.148744
0.15/0.21 c bounds 305 >= 5 @ 0.148905
0.15/0.21 c bounds 305 >= 6 @ 0.149059
0.15/0.21 c bounds 305 >= 7 @ 0.149209
0.15/0.21 c bounds 305 >= 8 @ 0.149358
0.15/0.21 c bounds 305 >= 9 @ 0.149516
0.15/0.21 c bounds 305 >= 10 @ 0.149687
0.15/0.21 c bounds 305 >= 11 @ 0.149851
0.15/0.21 c bounds 305 >= 12 @ 0.150021
0.15/0.21 c bounds 305 >= 13 @ 0.150195
0.15/0.21 c bounds 305 >= 14 @ 0.150365
0.15/0.21 c bounds 305 >= 15 @ 0.150543
0.15/0.21 c bounds 305 >= 16 @ 0.150721
0.15/0.21 c bounds 305 >= 17 @ 0.150898
0.15/0.21 c bounds 305 >= 18 @ 0.151074
0.15/0.21 c bounds 305 >= 19 @ 0.151268
0.15/0.21 c bounds 305 >= 20 @ 0.151458
0.15/0.21 c bounds 305 >= 21 @ 0.152039
0.15/0.21 c bounds 305 >= 22 @ 0.152227
0.15/0.21 c bounds 305 >= 23 @ 0.152414
0.15/0.21 c bounds 305 >= 24 @ 0.152614
0.15/0.21 c bounds 305 >= 25 @ 0.152809
0.15/0.22 c bounds 305 >= 26 @ 0.153016
0.15/0.22 c bounds 305 >= 27 @ 0.153223
0.15/0.22 c bounds 305 >= 28 @ 0.153452
0.15/0.22 c bounds 305 >= 29 @ 0.153671
0.15/0.22 c bounds 305 >= 30 @ 0.153896
0.15/0.22 c bounds 305 >= 31 @ 0.154117
0.15/0.22 c bounds 305 >= 32 @ 0.154349
0.15/0.22 c bounds 305 >= 33 @ 0.154576
0.15/0.22 c bounds 305 >= 34 @ 0.154789
0.15/0.22 c bounds 305 >= 35 @ 0.155006
0.15/0.22 c bounds 305 >= 36 @ 0.155238
0.15/0.22 c bounds 305 >= 37 @ 0.155478
0.15/0.22 c bounds 305 >= 38 @ 0.155744
0.15/0.22 c bounds 305 >= 39 @ 0.15601
0.15/0.22 c bounds 305 >= 40 @ 0.156284
0.15/0.22 c bounds 305 >= 41 @ 0.156557
0.15/0.22 c bounds 305 >= 42 @ 0.156835
0.15/0.22 c bounds 305 >= 43 @ 0.15711
0.15/0.22 c bounds 305 >= 44 @ 0.157392
0.15/0.22 c bounds 305 >= 45 @ 0.157676
0.15/0.22 c bounds 305 >= 46 @ 0.15798
0.15/0.22 c bounds 305 >= 47 @ 0.158281
0.15/0.23 c bounds 304 >= 47 @ 0.165789
0.15/0.23 c bounds 304 >= 48 @ 0.166126
0.15/0.23 c bounds 304 >= 49 @ 0.166423
0.15/0.23 c bounds 304 >= 50 @ 0.166753
0.15/0.23 c bounds 304 >= 51 @ 0.167079
0.15/0.23 c bounds 304 >= 52 @ 0.167399
0.15/0.23 c bounds 304 >= 53 @ 0.167533
0.15/0.23 c bounds 304 >= 54 @ 0.167533
0.15/0.23 c bounds 304 >= 55 @ 0.167533
0.15/0.23 c bounds 304 >= 56 @ 0.167558
0.15/0.23 c bounds 304 >= 57 @ 0.167558
0.15/0.23 c bounds 304 >= 58 @ 0.167558
0.15/0.23 c bounds 304 >= 59 @ 0.167748
0.15/0.23 c bounds 304 >= 60 @ 0.168069
0.15/0.23 c bounds 304 >= 61 @ 0.168374
0.15/0.23 c bounds 304 >= 62 @ 0.168486
0.15/0.23 c bounds 304 >= 63 @ 0.168486
0.15/0.23 c bounds 304 >= 64 @ 0.168486
0.15/0.23 c bounds 304 >= 65 @ 0.168486
0.15/0.23 c bounds 304 >= 66 @ 0.168486
0.15/0.24 c bounds 304 >= 67 @ 0.168486
0.15/0.24 c bounds 304 >= 68 @ 0.168486
0.15/0.24 c bounds 304 >= 69 @ 0.168486
0.15/0.24 c bounds 304 >= 70 @ 0.168486
0.15/0.24 c bounds 304 >= 71 @ 0.1685
0.15/0.24 c bounds 304 >= 72 @ 0.1685
0.15/0.24 c bounds 304 >= 73 @ 0.1685
0.15/0.24 c bounds 304 >= 74 @ 0.1685
0.15/0.24 c bounds 304 >= 75 @ 0.1685
0.15/0.24 c bounds 304 >= 76 @ 0.1685
0.15/0.24 c bounds 304 >= 77 @ 0.1685
0.15/0.24 c bounds 304 >= 78 @ 0.1685
0.15/0.24 c bounds 304 >= 79 @ 0.1685
0.15/0.24 c bounds 304 >= 80 @ 0.168596
0.15/0.24 c bounds 304 >= 81 @ 0.168912
0.15/0.24 c bounds 304 >= 82 @ 0.169224
0.15/0.24 c bounds 304 >= 83 @ 0.169528
0.15/0.24 c bounds 304 >= 84 @ 0.169857
0.15/0.24 c bounds 304 >= 85 @ 0.17019
0.15/0.24 c bounds 304 >= 86 @ 0.170526
0.15/0.24 c bounds 304 >= 87 @ 0.170867
0.15/0.24 c bounds 304 >= 88 @ 0.171211
0.15/0.24 c bounds 304 >= 89 @ 0.171412
0.15/0.24 c bounds 304 >= 90 @ 0.171412
0.15/0.24 c bounds 304 >= 91 @ 0.171412
0.15/0.24 c bounds 304 >= 92 @ 0.171626
0.15/0.24 c bounds 304 >= 93 @ 0.171989
0.15/0.24 c bounds 304 >= 94 @ 0.17234
0.15/0.24 c bounds 304 >= 95 @ 0.172694
0.15/0.25 c bounds 304 >= 96 @ 0.173062
0.15/0.25 c bounds 304 >= 97 @ 0.173314
0.15/0.25 c bounds 304 >= 98 @ 0.173314
0.15/0.25 c bounds 304 >= 99 @ 0.173314
0.15/0.25 c bounds 304 >= 100 @ 0.173314
0.15/0.25 c bounds 304 >= 101 @ 0.173314
0.15/0.25 c bounds 304 >= 102 @ 0.173314
0.15/0.25 c bounds 304 >= 103 @ 0.173314
0.15/0.25 c bounds 304 >= 104 @ 0.173314
0.15/0.25 c bounds 304 >= 105 @ 0.173727
0.15/0.25 c bounds 304 >= 106 @ 0.174091
0.15/0.25 c bounds 304 >= 107 @ 0.174242
0.15/0.25 c bounds 304 >= 108 @ 0.174242
0.15/0.25 c bounds 304 >= 109 @ 0.174353
0.15/0.25 c bounds 304 >= 110 @ 0.174787
0.15/0.25 c bounds 304 >= 111 @ 0.175227
0.15/0.25 c bounds 304 >= 112 @ 0.175662
0.15/0.25 c bounds 304 >= 113 @ 0.17608
0.15/0.25 c bounds 304 >= 114 @ 0.176185
0.15/0.25 c bounds 304 >= 115 @ 0.176185
0.15/0.25 c bounds 304 >= 116 @ 0.176185
0.15/0.25 c bounds 304 >= 117 @ 0.176185
0.15/0.25 c bounds 304 >= 118 @ 0.176294
0.15/0.25 c bounds 304 >= 119 @ 0.176726
0.15/0.26 c bounds 304 >= 120 @ 0.177165
0.15/0.26 c bounds 304 >= 121 @ 0.177619
0.15/0.26 c bounds 304 >= 122 @ 0.178072
0.15/0.26 c bounds 304 >= 123 @ 0.178524
0.15/0.26 c bounds 304 >= 124 @ 0.178971
0.15/0.26 c bounds 304 >= 125 @ 0.179443
0.15/0.26 c bounds 304 >= 126 @ 0.17991
0.15/0.26 c bounds 304 >= 127 @ 0.180129
0.15/0.26 c bounds 304 >= 128 @ 0.180129
0.15/0.26 c bounds 304 >= 129 @ 0.180129
0.15/0.26 c bounds 304 >= 130 @ 0.180129
0.15/0.26 c bounds 304 >= 131 @ 0.180129
0.15/0.26 c bounds 304 >= 132 @ 0.180129
0.15/0.26 c bounds 304 >= 133 @ 0.180132
0.15/0.26 c bounds 304 >= 134 @ 0.180132
0.15/0.26 c bounds 304 >= 135 @ 0.180362
0.15/0.26 c bounds 304 >= 136 @ 0.180847
0.15/0.26 c bounds 304 >= 137 @ 0.181299
0.15/0.26 c bounds 304 >= 138 @ 0.181782
0.15/0.26 c bounds 304 >= 139 @ 0.182252
0.15/0.27 c bounds 303 >= 139 @ 0.183566
0.15/0.27 c bounds 303 >= 140 @ 0.184012
0.15/0.27 c bounds 303 >= 141 @ 0.184493
0.15/0.27 c bounds 303 >= 142 @ 0.184965
0.15/0.27 c bounds 303 >= 143 @ 0.185465
0.15/0.27 c bounds 303 >= 144 @ 0.185953
0.15/0.27 c bounds 303 >= 145 @ 0.186439
0.15/0.27 c bounds 303 >= 146 @ 0.186918
0.15/0.27 c bounds 303 >= 147 @ 0.186957
0.15/0.27 c bounds 303 >= 148 @ 0.186957
0.15/0.27 c bounds 303 >= 149 @ 0.186957
0.15/0.27 c bounds 303 >= 150 @ 0.186957
0.15/0.27 c bounds 303 >= 151 @ 0.186957
0.15/0.27 c bounds 303 >= 152 @ 0.186957
0.15/0.27 c bounds 303 >= 153 @ 0.186957
0.15/0.27 c bounds 303 >= 154 @ 0.186957
0.15/0.27 c bounds 303 >= 155 @ 0.186957
0.15/0.28 c bounds 302 >= 155 @ 0.188359
0.15/0.28 c bounds 302 >= 156 @ 0.188869
0.15/0.28 c bounds 302 >= 157 @ 0.189321
0.15/0.28 c bounds 302 >= 158 @ 0.18977
0.15/0.28 c bounds 302 >= 159 @ 0.190228
0.15/0.28 c bounds 302 >= 160 @ 0.190683
0.15/0.28 c bounds 302 >= 161 @ 0.190913
0.15/0.28 c bounds 302 >= 162 @ 0.190913
0.15/0.28 c bounds 302 >= 163 @ 0.190913
0.15/0.28 c bounds 302 >= 164 @ 0.190913
0.15/0.28 c bounds 302 >= 165 @ 0.191001
0.15/0.28 c bounds 302 >= 166 @ 0.191459
0.15/0.28 c bounds 302 >= 167 @ 0.191861
0.15/0.29 c bounds 301 >= 167 @ 0.196691
0.15/0.29 c bounds 301 >= 168 @ 0.197196
0.15/0.29 c bounds 301 >= 169 @ 0.197677
0.15/0.29 c bounds 301 >= 170 @ 0.197886
0.15/0.29 c bounds 301 >= 171 @ 0.197886
0.15/0.29 c bounds 301 >= 172 @ 0.198059
0.15/0.29 c bounds 301 >= 173 @ 0.19851
0.15/0.29 c bounds 301 >= 174 @ 0.198969
0.15/0.29 c bounds 301 >= 175 @ 0.199432
0.15/0.29 c bounds 301 >= 176 @ 0.199912
0.15/0.29 c bounds 301 >= 177 @ 0.200383
0.15/0.29 c bounds 301 >= 178 @ 0.200858
0.15/0.29 c bounds 301 >= 179 @ 0.201329
0.15/0.29 c bounds 301 >= 180 @ 0.201781
0.15/0.29 c bounds 301 >= 181 @ 0.202231
0.15/0.30 c bounds 301 >= 182 @ 0.202679
0.15/0.30 c bounds 301 >= 183 @ 0.20287
0.15/0.30 c bounds 301 >= 184 @ 0.20287
0.15/0.30 c bounds 301 >= 185 @ 0.20287
0.15/0.30 c bounds 301 >= 186 @ 0.20287
0.15/0.30 c bounds 301 >= 187 @ 0.2029
0.15/0.30 c bounds 301 >= 188 @ 0.203347
0.15/0.30 c bounds 301 >= 189 @ 0.203781
0.15/0.30 c bounds 301 >= 190 @ 0.203863
0.15/0.30 c bounds 301 >= 191 @ 0.203863
0.15/0.30 c bounds 301 >= 192 @ 0.203863
0.15/0.30 c bounds 301 >= 193 @ 0.203863
0.15/0.30 c bounds 301 >= 194 @ 0.203974
0.15/0.30 c bounds 301 >= 195 @ 0.204408
0.15/0.30 c bounds 301 >= 196 @ 0.204845
0.15/0.30 c bounds 301 >= 197 @ 0.205298
0.15/0.30 c bounds 301 >= 198 @ 0.20575
0.15/0.30 c bounds 301 >= 199 @ 0.20585
0.15/0.30 c bounds 301 >= 200 @ 0.20585
0.15/0.30 c bounds 301 >= 201 @ 0.20585
0.15/0.30 c bounds 301 >= 202 @ 0.20585
0.15/0.30 c bounds 301 >= 203 @ 0.205991
0.25/0.32 c bounds 300 >= 203 @ 0.217295
0.25/0.32 c bounds 300 >= 204 @ 0.217809
0.25/0.32 c bounds 300 >= 205 @ 0.217809
0.25/0.32 c bounds 300 >= 206 @ 0.217898
0.25/0.32 c bounds 300 >= 207 @ 0.218353
0.25/0.32 c bounds 300 >= 208 @ 0.218782
0.25/0.32 c bounds 300 >= 209 @ 0.218806
0.25/0.32 c bounds 300 >= 210 @ 0.218806
0.25/0.32 c bounds 300 >= 211 @ 0.219166
0.25/0.32 c bounds 300 >= 212 @ 0.219632
0.25/0.32 c bounds 300 >= 213 @ 0.220084
0.25/0.32 c bounds 300 >= 214 @ 0.220542
0.25/0.32 c bounds 300 >= 215 @ 0.220798
0.25/0.32 c bounds 300 >= 216 @ 0.220798
0.25/0.32 c bounds 300 >= 217 @ 0.220892
0.25/0.32 c bounds 300 >= 218 @ 0.221334
0.25/0.32 c bounds 300 >= 219 @ 0.221785
0.25/0.32 c bounds 300 >= 220 @ 0.222224
0.25/0.33 c bounds 300 >= 221 @ 0.22266
0.25/0.33 c bounds 300 >= 222 @ 0.222789
0.25/0.33 c bounds 300 >= 223 @ 0.222789
0.25/0.33 c bounds 300 >= 224 @ 0.222789
0.25/0.33 c bounds 300 >= 225 @ 0.222963
0.25/0.33 c bounds 300 >= 226 @ 0.22357
0.25/0.33 c bounds 300 >= 227 @ 0.223778
0.25/0.33 c bounds 300 >= 228 @ 0.223778
0.25/0.33 c bounds 300 >= 229 @ 0.22436
0.25/0.33 c bounds 300 >= 230 @ 0.22477
0.25/0.33 c bounds 300 >= 231 @ 0.22477
0.25/0.33 c bounds 300 >= 232 @ 0.22477
0.25/0.33 c bounds 300 >= 233 @ 0.22477
0.25/0.33 c bounds 300 >= 234 @ 0.225199
0.25/0.34 c bounds 300 >= 235 @ 0.225742
0.25/0.34 c bounds 300 >= 236 @ 0.228468
0.25/0.35 c bounds 299 >= 236 @ 0.243018
0.25/0.36 c bounds 299 >= 237 @ 0.251088
0.25/0.38 c bounds 298 >= 237 @ 0.265085
0.25/0.39 c bounds 298 >= 238 @ 0.273465
0.35/0.41 c bounds 297 >= 238 @ 0.294955
0.35/0.43 c bounds 297 >= 239 @ 0.310845
0.35/0.45 c #Conflicts: 1000 | #Constraints: 3217
0.35/0.45 c bounds 296 >= 239 @ 0.324472
0.35/0.46 c bounds 295 >= 239 @ 0.334731
0.35/0.47 c bounds 295 >= 240 @ 0.34255
0.35/0.49 c bounds 294 >= 240 @ 0.359972
0.45/0.57 c bounds 294 >= 241 @ 0.437806
0.45/0.58 c bounds 293 >= 241 @ 0.451727
0.55/0.69 c #Conflicts: 2000 | #Constraints: 4309
0.55/0.69 c INPROCESSING
0.55/0.69 c GARBAGE COLLECT
0.55/0.69 c rational objective 242.833
0.65/0.77 c bounds 292 >= 241 @ 0.631114
0.74/0.81 c bounds 291 >= 241 @ 0.670725
0.74/0.86 c bounds 290 >= 241 @ 0.71353
0.95/1.01 c bounds 289 >= 241 @ 0.859729
1.44/1.53 c #Conflicts: 3000 | #Constraints: 4015
1.44/1.53 c #Conflicts: 4000 | #Constraints: 5015
1.44/1.53 c INPROCESSING
1.44/1.53 c GARBAGE COLLECT
1.44/1.53 c rational objective 243.181
1.83/1.98 c #Conflicts: 5000 | #Constraints: 4367
1.83/1.98 c bounds 288 >= 241 @ 1.79107
1.94/2.10 c #Conflicts: 6000 | #Constraints: 5368
1.94/2.10 c bounds 288 >= 242 @ 1.9119
2.04/2.19 c bounds 287 >= 242 @ 1.99874
2.53/2.60 c INPROCESSING
2.53/2.60 c GARBAGE COLLECT
2.53/2.60 c bounds 286 >= 242 @ 2.39033
3.13/3.21 c #Conflicts: 7000 | #Constraints: 4480
3.13/3.21 c #Conflicts: 8000 | #Constraints: 5480
3.13/3.21 c bounds 286 >= 243 @ 2.98733
3.13/3.25 c bounds 285 >= 243 @ 3.02509
3.13/3.27 c bounds 284 >= 243 @ 3.04671
3.23/3.36 c #Conflicts: 9000 | #Constraints: 6533
3.23/3.36 c bounds 283 >= 243 @ 3.13687
3.53/3.67 c INPROCESSING
3.53/3.67 c GARBAGE COLLECT
3.53/3.67 c rational objective 243.201
3.72/3.84 c bounds 282 >= 243 @ 3.60038
3.83/3.97 c bounds 281 >= 243 @ 3.72619
4.13/4.28 c #Conflicts: 10000 | #Constraints: 5144
4.13/4.28 c #Conflicts: 11000 | #Constraints: 6166
4.13/4.28 c bounds 280 >= 243 @ 4.02169
4.62/4.72 c #Conflicts: 12000 | #Constraints: 7173
4.62/4.72 c INPROCESSING
4.62/4.72 c GARBAGE COLLECT
4.62/4.72 c rational objective 243.201
4.82/4.97 c bounds 279 >= 243 @ 4.70368
4.92/5.07 c bounds 278 >= 243 @ 4.79305
5.03/5.17 c #Conflicts: 13000 | #Constraints: 5673
5.03/5.17 c bounds 277 >= 243 @ 4.89514
5.43/5.54 c #Conflicts: 14000 | #Constraints: 6680
5.43/5.54 c bounds 276 >= 243 @ 5.23442
5.93/6.10 c #Conflicts: 15000 | #Constraints: 7681
5.93/6.10 c INPROCESSING
5.93/6.10 c GARBAGE COLLECT
5.93/6.10 c rational objective 243.201
6.22/6.31 c bounds 275 >= 243 @ 5.99844
6.32/6.44 c #Conflicts: 16000 | #Constraints: 5885
6.32/6.44 c bounds 274 >= 243 @ 6.12199
6.32/6.49 c bounds 273 >= 243 @ 6.16546
6.42/6.55 c bounds 272 >= 243 @ 6.22695
6.52/6.68 c #Conflicts: 17000 | #Constraints: 6888
6.52/6.68 c bounds 271 >= 243 @ 6.3474
7.02/7.17 c #Conflicts: 18000 | #Constraints: 7889
7.02/7.17 c INPROCESSING
7.02/7.17 c GARBAGE COLLECT
7.02/7.17 c rational objective 243.201
8.01/8.18 c #Conflicts: 19000 | #Constraints: 5849
8.01/8.18 c #Conflicts: 20000 | #Constraints: 6849
8.01/8.18 c bounds 271 >= 244 @ 7.81681
8.01/8.19 c bounds 270 >= 244 @ 7.82852
8.12/8.28 c #Conflicts: 21000 | #Constraints: 7958
8.12/8.28 c bounds 269 >= 244 @ 7.91631
8.21/8.34 c bounds 268 >= 244 @ 7.9729
8.31/8.41 c INPROCESSING
8.31/8.41 c GARBAGE COLLECT
8.31/8.41 c rational objective 244
8.51/8.69 c bounds 267 >= 244 @ 8.31483
8.71/8.87 c #Conflicts: 22000 | #Constraints: 5714
8.71/8.87 c bounds 266 >= 244 @ 8.49418
9.21/9.39 c #Conflicts: 23000 | #Constraints: 6758
9.21/9.39 c #Conflicts: 24000 | #Constraints: 7759
9.21/9.39 c bounds 265 >= 244 @ 8.99013
9.61/9.78 c #Conflicts: 25000 | #Constraints: 8762
9.61/9.78 c INPROCESSING
9.61/9.78 c GARBAGE COLLECT
9.61/9.78 c rational objective 244
9.81/9.92 c bounds 264 >= 244 @ 9.50995
9.81/9.97 c bounds 263 >= 244 @ 9.56059
10.51/10.66 c #Conflicts: 26000 | #Constraints: 6368
10.51/10.66 c #Conflicts: 27000 | #Constraints: 7406
10.51/10.66 c bounds 262 >= 244 @ 10.2216
11.11/11.25 c #Conflicts: 28000 | #Constraints: 8432
11.11/11.25 c #Conflicts: 29000 | #Constraints: 9432
11.11/11.25 c INPROCESSING
11.11/11.25 c GARBAGE COLLECT
11.11/11.25 c rational objective 244
11.40/11.58 c bounds 261 >= 244 @ 11.1275
11.60/11.77 c #Conflicts: 30000 | #Constraints: 6826
11.60/11.77 c bounds 260 >= 244 @ 11.31
12.80/12.95 c #Conflicts: 31000 | #Constraints: 7855
12.80/12.95 c #Conflicts: 32000 | #Constraints: 8855
12.80/12.95 c #Conflicts: 33000 | #Constraints: 9855
12.80/12.95 c INPROCESSING
12.80/12.95 c GARBAGE COLLECT
12.80/12.95 c rational objective 244
14.39/14.56 c #Conflicts: 34000 | #Constraints: 7056
14.39/14.56 c #Conflicts: 35000 | #Constraints: 8086
14.39/14.56 c #Conflicts: 36000 | #Constraints: 9103
14.39/14.56 c #Conflicts: 37000 | #Constraints: 10140
14.39/14.56 c INPROCESSING
14.39/14.56 c GARBAGE COLLECT
14.39/14.56 c rational objective 244
16.59/16.70 c #Conflicts: 38000 | #Constraints: 6982
16.59/16.70 c #Conflicts: 39000 | #Constraints: 7982
16.59/16.70 c #Conflicts: 40000 | #Constraints: 8982
16.59/16.70 c #Conflicts: 41000 | #Constraints: 9982
16.59/16.70 c INPROCESSING
16.59/16.70 c GARBAGE COLLECT
16.59/16.70 c rational objective 244
17.78/17.99 c #Conflicts: 42000 | #Constraints: 6792
17.78/17.99 c #Conflicts: 43000 | #Constraints: 7849
17.78/17.99 c #Conflicts: 44000 | #Constraints: 8938
17.78/17.99 c #Conflicts: 45000 | #Constraints: 9984
17.78/17.99 c bounds 259 >= 244 @ 17.4061
18.28/18.46 c #Conflicts: 46000 | #Constraints: 10987
18.28/18.46 c INPROCESSING
18.28/18.46 c GARBAGE COLLECT
18.28/18.46 c rational objective 244
19.28/19.48 c #Conflicts: 47000 | #Constraints: 7466
19.28/19.48 c #Conflicts: 48000 | #Constraints: 8516
19.28/19.48 c #Conflicts: 49000 | #Constraints: 9540
19.28/19.48 c bounds 258 >= 244 @ 18.855
20.28/20.41 c #Conflicts: 50000 | #Constraints: 10548
20.28/20.41 c #Conflicts: 51000 | #Constraints: 11548
20.28/20.41 c INPROCESSING
20.28/20.41 c GARBAGE COLLECT
20.28/20.41 c rational objective 244
22.07/22.23 c #Conflicts: 52000 | #Constraints: 7917
22.07/22.23 c #Conflicts: 53000 | #Constraints: 8939
22.07/22.23 c #Conflicts: 54000 | #Constraints: 9967
22.07/22.23 c #Conflicts: 55000 | #Constraints: 10998
22.07/22.23 c #Conflicts: 56000 | #Constraints: 12025
22.07/22.23 c INPROCESSING
22.07/22.23 c GARBAGE COLLECT
22.07/22.23 c rational objective 244
24.77/24.98 c #Conflicts: 57000 | #Constraints: 8059
24.77/24.98 c #Conflicts: 58000 | #Constraints: 9059
24.77/24.98 c #Conflicts: 59000 | #Constraints: 10059
24.77/24.98 c #Conflicts: 60000 | #Constraints: 11059
24.77/24.98 c #Conflicts: 61000 | #Constraints: 12059
24.77/24.98 c INPROCESSING
24.77/24.98 c GARBAGE COLLECT
24.77/24.98 c rational objective 244
25.37/25.54 c #Conflicts: 62000 | #Constraints: 8062
25.37/25.54 c bounds 257 >= 244 @ 24.8015
26.97/27.10 c #Conflicts: 63000 | #Constraints: 9105
26.97/27.10 c #Conflicts: 64000 | #Constraints: 10106
26.97/27.10 c #Conflicts: 65000 | #Constraints: 11130
26.97/27.10 c #Conflicts: 66000 | #Constraints: 12152
26.97/27.10 c INPROCESSING
26.97/27.10 c GARBAGE COLLECT
26.97/27.10 c rational objective 244
28.96/29.13 c #Conflicts: 67000 | #Constraints: 7831
28.96/29.13 c #Conflicts: 68000 | #Constraints: 8831
28.96/29.13 c #Conflicts: 69000 | #Constraints: 9831
28.96/29.13 c #Conflicts: 70000 | #Constraints: 10831
28.96/29.13 c bounds 257 >= 245 @ 28.3166
29.06/29.28 c #Conflicts: 71000 | #Constraints: 12005
29.06/29.28 c bounds 256 >= 245 @ 28.4538
29.46/29.62 c #Conflicts: 72000 | #Constraints: 13039
29.46/29.62 c INPROCESSING
29.46/29.62 c GARBAGE COLLECT
29.46/29.62 c rational objective 245
31.65/31.89 c #Conflicts: 73000 | #Constraints: 8519
31.65/31.89 c #Conflicts: 74000 | #Constraints: 9540
31.65/31.89 c #Conflicts: 75000 | #Constraints: 10561
31.65/31.89 c #Conflicts: 76000 | #Constraints: 11585
31.65/31.89 c #Conflicts: 77000 | #Constraints: 12600
31.65/31.89 c #Conflicts: 78000 | #Constraints: 13614
31.65/31.89 c INPROCESSING
31.65/31.89 c GARBAGE COLLECT
31.65/31.89 c rational objective 245
35.13/35.37 c #Conflicts: 79000 | #Constraints: 8915
35.13/35.37 c #Conflicts: 80000 | #Constraints: 9915
35.13/35.37 c #Conflicts: 81000 | #Constraints: 10915
35.13/35.37 c #Conflicts: 82000 | #Constraints: 11915
35.13/35.37 c #Conflicts: 83000 | #Constraints: 12915
35.13/35.37 c #Conflicts: 84000 | #Constraints: 13915
35.13/35.37 c INPROCESSING
35.13/35.37 c GARBAGE COLLECT
35.13/35.37 c rational objective 245
35.63/35.82 c bounds 255 >= 245 @ 34.8766
37.43/37.67 c #Conflicts: 85000 | #Constraints: 9123
37.43/37.67 c #Conflicts: 86000 | #Constraints: 10175
37.43/37.67 c #Conflicts: 87000 | #Constraints: 11197
37.43/37.67 c #Conflicts: 88000 | #Constraints: 12221
37.43/37.67 c #Conflicts: 89000 | #Constraints: 13227
37.43/37.67 c #Conflicts: 90000 | #Constraints: 14252
37.43/37.67 c INPROCESSING
37.43/37.67 c GARBAGE COLLECT
37.43/37.67 c rational objective 245
39.63/39.80 c #Conflicts: 91000 | #Constraints: 9135
39.63/39.80 c #Conflicts: 92000 | #Constraints: 10151
39.63/39.80 c #Conflicts: 93000 | #Constraints: 11164
39.63/39.80 c #Conflicts: 94000 | #Constraints: 12178
39.63/39.80 c #Conflicts: 95000 | #Constraints: 13198
39.63/39.80 c #Conflicts: 96000 | #Constraints: 14264
39.63/39.80 c INPROCESSING
39.63/39.80 c GARBAGE COLLECT
39.63/39.80 c rational objective 245
44.31/44.53 c #Conflicts: 97000 | #Constraints: 8934
44.31/44.53 c #Conflicts: 98000 | #Constraints: 9934
44.31/44.53 c #Conflicts: 99000 | #Constraints: 10934
44.31/44.53 c #Conflicts: 100000 | #Constraints: 11934
44.31/44.53 c #Conflicts: 101000 | #Constraints: 12934
44.31/44.53 c #Conflicts: 102000 | #Constraints: 13934
44.31/44.53 c #Conflicts: 103000 | #Constraints: 14934
44.31/44.53 c INPROCESSING
44.31/44.53 c GARBAGE COLLECT
44.31/44.53 c rational objective 245
44.51/44.71 c bounds 254 >= 245 @ 43.584
47.20/47.47 c #Conflicts: 104000 | #Constraints: 9524
47.20/47.47 c #Conflicts: 105000 | #Constraints: 10552
47.20/47.47 c #Conflicts: 106000 | #Constraints: 11578
47.20/47.47 c #Conflicts: 107000 | #Constraints: 12606
47.20/47.47 c #Conflicts: 108000 | #Constraints: 13630
47.20/47.47 c #Conflicts: 109000 | #Constraints: 14644
47.20/47.47 c #Conflicts: 110000 | #Constraints: 15663
47.20/47.47 c INPROCESSING
47.20/47.47 c GARBAGE COLLECT
47.20/47.47 c rational objective 245
50.18/50.47 c #Conflicts: 111000 | #Constraints: 9936
50.18/50.47 c #Conflicts: 112000 | #Constraints: 10947
50.18/50.47 c #Conflicts: 113000 | #Constraints: 11965
50.18/50.47 c #Conflicts: 114000 | #Constraints: 12975
50.18/50.47 c #Conflicts: 115000 | #Constraints: 13994
50.18/50.47 c #Conflicts: 116000 | #Constraints: 15005
50.18/50.47 c #Conflicts: 117000 | #Constraints: 16022
50.18/50.47 c INPROCESSING
50.18/50.47 c GARBAGE COLLECT
50.18/50.47 c rational objective 245
55.07/55.31 c #Conflicts: 118000 | #Constraints: 10116
55.07/55.31 c #Conflicts: 119000 | #Constraints: 11116
55.07/55.31 c #Conflicts: 120000 | #Constraints: 12116
55.07/55.31 c #Conflicts: 121000 | #Constraints: 13116
55.07/55.31 c #Conflicts: 122000 | #Constraints: 14116
55.07/55.31 c #Conflicts: 123000 | #Constraints: 15116
55.07/55.31 c #Conflicts: 124000 | #Constraints: 16116
55.07/55.31 c INPROCESSING
55.07/55.31 c GARBAGE COLLECT
55.07/55.31 c rational objective 245
55.17/55.46 c bounds 253 >= 245 @ 54.1006
57.46/57.72 c #Conflicts: 125000 | #Constraints: 10133
57.46/57.72 c #Conflicts: 126000 | #Constraints: 11159
57.46/57.72 c #Conflicts: 127000 | #Constraints: 12188
57.46/57.72 c #Conflicts: 128000 | #Constraints: 13203
57.46/57.72 c #Conflicts: 129000 | #Constraints: 14225
57.46/57.72 c #Conflicts: 130000 | #Constraints: 15245
57.46/57.72 c bounds 252 >= 245 @ 56.3007
58.07/58.36 c #Conflicts: 131000 | #Constraints: 16280
58.07/58.36 c INPROCESSING
58.07/58.36 c GARBAGE COLLECT
58.07/58.36 c rational objective 245
58.46/58.78 c #Conflicts: 132000 | #Constraints: 9927
58.46/58.78 c bounds 251 >= 245 @ 57.3273
61.05/61.33 c #Conflicts: 133000 | #Constraints: 10948
61.05/61.33 c #Conflicts: 134000 | #Constraints: 11993
61.05/61.33 c #Conflicts: 135000 | #Constraints: 13025
61.05/61.33 c #Conflicts: 136000 | #Constraints: 14052
61.05/61.33 c #Conflicts: 137000 | #Constraints: 15070
61.05/61.33 c #Conflicts: 138000 | #Constraints: 16104
61.05/61.33 c #Conflicts: 139000 | #Constraints: 17127
61.05/61.33 c INPROCESSING
61.05/61.33 c GARBAGE COLLECT
61.05/61.33 c rational objective 245
66.43/66.78 c #Conflicts: 140000 | #Constraints: 10565
66.43/66.78 c #Conflicts: 141000 | #Constraints: 11565
66.43/66.78 c #Conflicts: 142000 | #Constraints: 12565
66.43/66.78 c #Conflicts: 143000 | #Constraints: 13565
66.43/66.78 c #Conflicts: 144000 | #Constraints: 14565
66.43/66.78 c #Conflicts: 145000 | #Constraints: 15565
66.43/66.78 c #Conflicts: 146000 | #Constraints: 16565
66.43/66.78 c #Conflicts: 147000 | #Constraints: 17565
66.43/66.78 c INPROCESSING
66.43/66.78 c GARBAGE COLLECT
66.43/66.78 c rational objective 245
70.12/70.45 c #Conflicts: 148000 | #Constraints: 10948
70.12/70.45 c #Conflicts: 149000 | #Constraints: 11967
70.12/70.45 c #Conflicts: 150000 | #Constraints: 12993
70.12/70.45 c #Conflicts: 151000 | #Constraints: 14012
70.12/70.45 c #Conflicts: 152000 | #Constraints: 15025
70.12/70.45 c #Conflicts: 153000 | #Constraints: 16039
70.12/70.45 c #Conflicts: 154000 | #Constraints: 17054
70.12/70.45 c #Conflicts: 155000 | #Constraints: 18069
70.12/70.45 c INPROCESSING
70.12/70.45 c GARBAGE COLLECT
70.12/70.45 c rational objective 245
74.31/74.61 c #Conflicts: 156000 | #Constraints: 11130
74.31/74.61 c #Conflicts: 157000 | #Constraints: 12147
74.31/74.61 c #Conflicts: 158000 | #Constraints: 13159
74.31/74.61 c #Conflicts: 159000 | #Constraints: 14172
74.31/74.61 c #Conflicts: 160000 | #Constraints: 15181
74.31/74.61 c #Conflicts: 161000 | #Constraints: 16193
74.31/74.61 c #Conflicts: 162000 | #Constraints: 17205
74.31/74.61 c #Conflicts: 163000 | #Constraints: 18217
74.31/74.61 c INPROCESSING
74.31/74.61 c GARBAGE COLLECT
74.31/74.61 c rational objective 245
80.49/80.86 c #Conflicts: 164000 | #Constraints: 11103
80.49/80.86 c #Conflicts: 165000 | #Constraints: 12103
80.49/80.86 c #Conflicts: 166000 | #Constraints: 13103
80.49/80.86 c #Conflicts: 167000 | #Constraints: 14103
80.49/80.86 c #Conflicts: 168000 | #Constraints: 15103
80.49/80.86 c #Conflicts: 169000 | #Constraints: 16103
80.49/80.86 c #Conflicts: 170000 | #Constraints: 17103
80.49/80.86 c #Conflicts: 171000 | #Constraints: 18103
80.49/80.86 c INPROCESSING
80.49/80.86 c GARBAGE COLLECT
80.49/80.86 c rational objective 245
83.79/84.10 c #Conflicts: 172000 | #Constraints: 10925
83.79/84.10 c #Conflicts: 173000 | #Constraints: 11944
83.79/84.10 c #Conflicts: 174000 | #Constraints: 12960
83.79/84.10 c #Conflicts: 175000 | #Constraints: 13988
83.79/84.10 c #Conflicts: 176000 | #Constraints: 15012
83.79/84.10 c #Conflicts: 177000 | #Constraints: 16030
83.79/84.10 c #Conflicts: 178000 | #Constraints: 17042
83.79/84.10 c #Conflicts: 179000 | #Constraints: 18056
83.79/84.10 c bounds 250 >= 245 @ 82.1818
84.68/85.09 c #Conflicts: 180000 | #Constraints: 19058
84.68/85.09 c INPROCESSING
84.68/85.09 c GARBAGE COLLECT
84.68/85.09 c rational objective 245
88.37/88.79 c #Conflicts: 181000 | #Constraints: 11623
88.37/88.79 c #Conflicts: 182000 | #Constraints: 12661
88.37/88.79 c #Conflicts: 183000 | #Constraints: 13680
88.37/88.79 c #Conflicts: 184000 | #Constraints: 14699
88.37/88.79 c #Conflicts: 185000 | #Constraints: 15716
88.37/88.79 c #Conflicts: 186000 | #Constraints: 16727
88.37/88.79 c #Conflicts: 187000 | #Constraints: 17743
88.37/88.79 c #Conflicts: 188000 | #Constraints: 18766
88.37/88.79 c #Conflicts: 189000 | #Constraints: 19791
88.37/88.79 c INPROCESSING
88.37/88.79 c GARBAGE COLLECT
88.37/88.79 c rational objective 245
95.84/96.27 c #Conflicts: 190000 | #Constraints: 11993
95.84/96.27 c #Conflicts: 191000 | #Constraints: 12993
95.84/96.27 c #Conflicts: 192000 | #Constraints: 13993
95.84/96.27 c #Conflicts: 193000 | #Constraints: 14993
95.84/96.27 c #Conflicts: 194000 | #Constraints: 15993
95.84/96.27 c #Conflicts: 195000 | #Constraints: 16993
95.84/96.27 c #Conflicts: 196000 | #Constraints: 17993
95.84/96.27 c #Conflicts: 197000 | #Constraints: 18993
95.84/96.27 c #Conflicts: 198000 | #Constraints: 19993
95.84/96.27 c INPROCESSING
95.84/96.27 c GARBAGE COLLECT
95.84/96.27 c rational objective 245
100.83/101.20 c #Conflicts: 199000 | #Constraints: 12220
100.83/101.20 c #Conflicts: 200000 | #Constraints: 13259
100.83/101.20 c #Conflicts: 201000 | #Constraints: 14266
100.83/101.20 c #Conflicts: 202000 | #Constraints: 15284
100.83/101.20 c #Conflicts: 203000 | #Constraints: 16316
100.83/101.20 c #Conflicts: 204000 | #Constraints: 17337
100.83/101.20 c #Conflicts: 205000 | #Constraints: 18355
100.83/101.20 c #Conflicts: 206000 | #Constraints: 19376
100.83/101.20 c #Conflicts: 207000 | #Constraints: 20396
100.83/101.20 c INPROCESSING
100.83/101.20 c GARBAGE COLLECT
100.83/101.20 c rational objective 245
105.61/106.03 c #Conflicts: 208000 | #Constraints: 12210
105.61/106.03 c #Conflicts: 209000 | #Constraints: 13221
105.61/106.03 c #Conflicts: 210000 | #Constraints: 14233
105.61/106.03 c #Conflicts: 211000 | #Constraints: 15242
105.61/106.03 c #Conflicts: 212000 | #Constraints: 16257
105.61/106.03 c #Conflicts: 213000 | #Constraints: 17272
105.61/106.03 c #Conflicts: 214000 | #Constraints: 18288
105.61/106.03 c #Conflicts: 215000 | #Constraints: 19311
105.61/106.03 c #Conflicts: 216000 | #Constraints: 20324
105.61/106.03 c INPROCESSING
105.61/106.03 c GARBAGE COLLECT
105.61/106.03 c rational objective 245
108.80/109.21 c #Conflicts: 217000 | #Constraints: 11971
108.80/109.21 c #Conflicts: 218000 | #Constraints: 12972
108.80/109.21 c #Conflicts: 219000 | #Constraints: 13972
108.80/109.21 c #Conflicts: 220000 | #Constraints: 14972
108.80/109.21 c #Conflicts: 221000 | #Constraints: 15972
108.80/109.21 c bounds 245 >= 245 @ 106.886
108.80/109.21 c cpu time 106.886 s
108.80/109.21 c deterministic time 5601755287 5.60e+09
108.80/109.21 c optimization time 0.032359 s
108.80/109.21 c total solve time 106.846 s
108.80/109.21 c core-guided solve time 49.9129 s
108.80/109.21 c propagation time 67.9208 s
108.80/109.21 c conflict analysis time 27.6983 s
108.80/109.21 c propagations 34864751
108.80/109.21 c resolve steps 1730043
108.80/109.21 c decisions 1191139
108.80/109.21 c conflicts 221588
108.80/109.21 c restarts 510
108.80/109.21 c inprocessing phases 38
108.80/109.21 c garbage collections 38 ,( 100.00 )
108.80/109.21 c input clauses 1743 ,( 57.52 )
108.80/109.21 c input cardinalities 875 ,( 28.88 )
108.80/109.21 c input general constraints 412 ,( 13.60 )
108.80/109.21 c input average constraint length 132.26
108.80/109.21 c input average constraint degree 30.89
108.80/109.21 c learned clauses 94320 ,( 41.97 )
108.80/109.21 c learned cardinalities 23238 ,( 10.34 )
108.80/109.21 c learned general constraints 107163 ,( 47.69 )
108.80/109.21 c learned average constraint length 283.22
108.80/109.21 c learned average constraint degree 9584440117.22
108.80/109.21 c watched CF 32, 64, 128, Arb: 14037 , 0 , 0 , 0
108.80/109.21 c counting CF 32, 64, 128, Arb: 93539 , 0 , 0 , 0
108.80/109.21 c watched constraints 14037 ,( 13.05 )
108.80/109.21 c counting constraints 93538 ,( 86.95 )
108.80/109.21 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 17936002 , 77194661 , 742676776 ,( 34130720 , 708546056 )
108.80/109.21 c gcd simplifications 10748
108.80/109.21 c detected cardinalities 1049
108.80/109.21 c weakened non-implied lits 41826297
108.80/109.21 c weakened non-implying lits 46974
108.80/109.21 c original variables 1277
108.80/109.21 c clausal propagations 3328336
108.80/109.21 c cardinality propagations 3540941
108.80/109.21 c watched propagations 427249
108.80/109.21 c counting propagations 24327846
108.80/109.21 c watch lookups 2923087338
108.80/109.21 c watch backjump lookups 0
108.80/109.21 c watch checks 716382341
108.80/109.21 c propagation checks 1650007022
108.80/109.21 c constraint additions 239695001
108.80/109.21 c trail pops 36274220
108.80/109.21 c formula constraints 1186
108.80/109.21 c learned constraints 218586
108.80/109.21 c bound constraints 529
108.80/109.21 c core-guided constraints 1315
108.80/109.21 c encountered formula constraints 352975
108.80/109.21 c encountered learned constraints 1089483
108.80/109.21 c encountered bound constraints 58
108.80/109.21 c encountered core-guided constraints 303439
108.80/109.21 c LP total time 19.4717 s
108.80/109.21 c LP solve time 13.68 s
108.80/109.21 c LP constraints added 1352
108.80/109.21 c LP constraints removed 157
108.80/109.21 c LP pivots internal 221895
108.80/109.21 c LP pivots root 31579
108.80/109.21 c LP calls 3950
108.80/109.21 c LP optimalities 923
108.80/109.21 c LP no pivot count 385
108.80/109.21 c LP infeasibilities 3024
108.80/109.21 c LP valid Farkas constraints 3024
108.80/109.21 c LP learned Farkas constraints 3024
108.80/109.21 c LP basis resets 0
108.80/109.21 c LP cycling count 0
108.80/109.21 c LP singular count 0
108.80/109.21 c LP no primal count 0
108.80/109.21 c LP no farkas count 0
108.80/109.21 c LP other issue count 0
108.80/109.21 c LP Gomory cuts 87
108.80/109.21 c LP learned cuts 79
108.80/109.21 c LP deleted cuts 157
108.80/109.21 c LP encountered Gomory constraints 132
108.80/109.21 c LP encountered Farkas constraints 164397
108.80/109.21 c LP encountered learned Farkas constraints 38123
108.80/109.21 c CG auxiliary variables introduced 520
108.80/109.21 c CG solutions found 57
108.80/109.21 c CG cores constructed 245
108.80/109.21 c CG core cardinality constraints returned 0
108.80/109.21 c CG unit cores 0
108.80/109.21 c CG single cores 245
108.80/109.21 c CG blocks removed during cardinality reduction 0
108.80/109.21 c CG first core best 0
108.80/109.21 c CG decision core best 0
108.80/109.21 c CG core reduction tie 0
108.80/109.21 c CG core degree average 1.00
108.80/109.21 c CG core slack average 5.36
108.80/109.21 c CG core upper bound improvements 15
108.80/109.21 c STR number of successful calls 0
108.80/109.21 c STR number of unsuccessful calls 0
108.80/109.21 c STR number of inconclusive calls 0
108.80/109.21 c STR number of successful attempts 0
108.80/109.21 c STR number of unsuccessful attempts 0
108.80/109.21 c STR number of inconclusive attempts 0
108.80/109.21 c STR average degree increase per successful call inf
108.80/109.21 c STR average degree increase per successful attempt inf
108.80/109.21 c STR total number of conflicts for successful attempts 0
108.80/109.21 c STR total number of conflicts for unsuccessful attempts 0
108.80/109.21 c STR total number of conflicts for inconclusive attempts 0
108.80/109.21 c STR average number of conflicts per successful attempt inf
108.80/109.21 c STR average number of conflicts per unsuccessful attempt inf
108.80/109.21 c STR average number of conflicts per inconclusive attempt inf
108.80/109.21 c AVG.sumWPerc 71.01
108.80/109.21 c bigint constraints 0
108.80/109.21 o 245
108.80/109.21 s OPTIMUM FOUND
108.80/109.21 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 x481 -x482 x483 x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 x618 -x619 x620 -x621 -x622 -x623 -x624 x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 x688 -x689 -x690 x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 x756 x757 x758 x759 -x760 -x761 -x762 x763 x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 x774 -x775 x776 x777 x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 x824 x825 -x826 x827 -x828 -x829 -x830 x831 -x832 x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 x875 -x876 -x877 -x878 -x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 x952 -x953 x954 -x955 -x956 -x957 x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 x1048 x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 x1063 x1064 x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 x1095 -x1096 -x1097 x1098 -x1099 -x1100 x1101 x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 x1157 -x1158 x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 x1264
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: 63708 MiB (61748 MiB free)
memory of node 1: 64465 MiB (63934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490936-1751375911/watcher-4490936-1751375911 -o /tmp/evaluation-result-4490936-1751375911/solver-4490936-1751375911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60710 --watchdog 3760 run-opt-break.sh HOME/instance-4490936-1751375911.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=61524, runsolver pid=61520
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.07 4.10 4.10 5/269 61544
/proc/meminfo: memFree=128683496/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=59012 memory=12908 CPUtime=0.04 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 1434 0 0 0 4 0 0 0 20 0 1 0 53268619 60428288 3227 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 14753 3227 2304 1147 0 2180 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 63204 KiB
Current children cumulated memory: 15852 KiB
[startup+0.20584 s]*
/proc/loadavg: 4.07 4.10 4.10 4/264 61545
/proc/meminfo: memFree=128677984/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=59432 memory=13292 CPUtime=0.14 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 1541 0 0 0 14 0 0 0 20 0 1 0 53268619 60858368 3323 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 14858 3323 2304 1147 0 2285 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 63624 KiB
Current children cumulated memory: 16236 KiB
[startup+0.305681 s]*
/proc/loadavg: 4.07 4.10 4.10 4/264 61552
/proc/meminfo: memFree=128676540/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=61020 memory=17240 CPUtime=0.24 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 1971 0 0 0 20 4 0 0 20 0 1 0 53268619 62484480 4310 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 15255 4310 2368 1147 0 2682 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 65212 KiB
Current children cumulated memory: 20184 KiB
[startup+0.700209 s]
/proc/loadavg: 4.14 4.12 4.11 4/264 61552
/proc/meminfo: memFree=128656884/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=80608 memory=36188 CPUtime=0.64 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 6168 0 0 0 56 8 0 0 20 0 1 0 53268619 82542592 9047 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 20152 9047 2400 1147 0 7579 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 84800 KiB
Current children cumulated memory: 39132 KiB
[startup+1.5002 s]
/proc/loadavg: 4.14 4.12 4.11 4/266 61558
/proc/meminfo: memFree=128653520/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=83472 memory=39516 CPUtime=1.43 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 6991 0 0 0 132 11 0 0 20 0 1 0 53268619 85475328 9879 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 20868 9879 2400 1147 0 8295 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 87664 KiB
Current children cumulated memory: 42460 KiB
[startup+3.10554 s]
/proc/loadavg: 4.14 4.12 4.11 4/264 61622
/proc/meminfo: memFree=128624180/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=103792 memory=57608 CPUtime=3.02 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 11034 0 0 0 287 15 0 0 20 0 1 0 53268619 106283008 14402 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 25948 14402 2400 1147 0 13375 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 107984 KiB
Current children cumulated memory: 60552 KiB
[startup+6.30019 s]
/proc/loadavg: 4.13 4.12 4.11 5/270 61734
/proc/meminfo: memFree=128593112/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=136948 memory=78856 CPUtime=6.21 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 16340 0 0 0 598 23 0 0 20 0 1 0 53268619 140234752 19714 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 34237 19714 2400 1147 0 21664 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 141140 KiB
Current children cumulated memory: 81800 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.11 5/270 61734
/proc/meminfo: memFree=128558400/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=145432 memory=91272 CPUtime=12.59 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 18928 0 0 0 1222 37 0 0 20 0 1 0 53268619 148922368 22818 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 36358 22818 2400 1147 0 23785 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 149624 KiB
Current children cumulated memory: 94216 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.11 5/270 61875
/proc/meminfo: memFree=128609688/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=172144 memory=114288 CPUtime=25.36 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 23162 0 0 0 2476 60 0 0 20 0 1 0 53268619 176275456 28572 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 43036 28572 2400 1147 0 30463 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 176336 KiB
Current children cumulated memory: 117232 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.11 5/269 61875
/proc/meminfo: memFree=128549112/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=190488 memory=128112 CPUtime=50.88 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 26585 0 0 0 4980 108 0 0 20 0 1 0 53268619 195059712 32028 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 47622 32028 2400 1147 0 35049 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 194680 KiB
Current children cumulated memory: 131056 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/269 61877
/proc/meminfo: memFree=128422736/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=216416 memory=168556 CPUtime=101.91 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 31245 0 0 0 10008 183 0 0 20 0 1 0 53268619 221609984 42139 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 54104 42139 2400 1147 0 41531 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 220608 KiB
Current children cumulated memory: 171500 KiB
[startup+109.215 s]
# the end of solver process 61524 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=106.9 s, system=1.9338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.14 4.11 4.10 5/269 61877
/proc/meminfo: memFree=128422736/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=216416 memory=168556 CPUtime=102.01 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 31245 0 0 0 10018 183 0 0 20 0 1 0 53268619 221609984 42139 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 54104 42139 2400 1147 0 41531 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 220608 KiB
Current children cumulated memory: 171500 KiB
[startup+105.6 s]
/proc/loadavg: 4.14 4.11 4.10 5/269 61877
/proc/meminfo: memFree=128413940/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=220444 memory=171244 CPUtime=105.2 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 31930 0 0 0 10332 188 0 0 20 0 1 0 53268619 225734656 42811 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 55111 42811 2400 1147 0 42538 0
Current children cumulated CPU time: 105.21 s
Current children cumulated vsize: 224636 KiB
Current children cumulated memory: 174188 KiB
[startup+107.2 s]
/proc/loadavg: 4.21 4.13 4.11 5/269 61877
/proc/meminfo: memFree=128405372/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=221796 memory=172268 CPUtime=106.8 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 32176 0 0 0 10490 190 0 0 20 0 1 0 53268619 227119104 43067 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 55449 43067 2400 1147 0 42876 0
Current children cumulated CPU time: 106.81 s
Current children cumulated vsize: 225988 KiB
Current children cumulated memory: 175212 KiB
[startup+108 s]*
/proc/loadavg: 4.21 4.13 4.11 5/269 61877
/proc/meminfo: memFree=128404112/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=221796 memory=172268 CPUtime=107.6 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 32176 0 0 0 10569 191 0 0 20 0 1 0 53268619 227119104 43067 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 55449 43067 2400 1147 0 42876 0
Current children cumulated CPU time: 107.61 s
Current children cumulated vsize: 225988 KiB
Current children cumulated memory: 175212 KiB
[startup+108.8 s]
/proc/loadavg: 4.21 4.13 4.11 5/269 61877
/proc/meminfo: memFree=128404112/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=221796 memory=172268 CPUtime=108.4 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 32176 0 0 0 10648 192 0 0 20 0 1 0 53268619 227119104 43067 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 55449 43067 2400 1147 0 42876 0
Current children cumulated CPU time: 108.41 s
Current children cumulated vsize: 225988 KiB
Current children cumulated memory: 175212 KiB
[startup+109.2 s]
/proc/loadavg: 4.21 4.13 4.11 5/269 61877
/proc/meminfo: memFree=128404112/131250000 swapFree=33010684/33010684
[pid=61524] ppid=61520 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/61524/stat : 61524 (run-opt-break.s) S 61520 61524 60700 0 -1 4194304 235 839 0 0 0 0 1 0 20 0 1 0 53268616 4292608 736 18446744073709551615 94783252623360 94783253517893 140737258295728 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94783253756944 94783253804688 94783263985664 140737258297697 140737258297826 140737258297826 140737258303428 0
/proc/61524/statm: 1048 736 672 219 0 110 0
[pid=61535] ppid=61524 vsize=221796 memory=172268 CPUtime=108.79 cores=0,2
/proc/61535/stat : 61535 (roundingsat) R 61524 61524 60700 0 -1 4194304 32176 0 0 0 10687 192 0 0 20 0 1 0 53268619 227119104 43067 18446744073709551615 4227072 8923433 140726191649136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27901952 140726191655268 140726191655464 140726191655464 140726191661034 0
/proc/61535/statm: 55449 43067 2400 1147 0 42876 0
Current children cumulated CPU time: 108.8 s
Current children cumulated vsize: 225988 KiB
Current children cumulated memory: 175212 KiB
Child status: 0
Real time (s): 109.215
CPU time (s): 108.833
CPU user time (s): 106.9
CPU system time (s): 1.9338
CPU usage (%): 99.6509
Max. virtual memory (cumulated for all children) (KiB): 225988
Max. memory (cumulated for all children) (KiB): 175212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.9
system time used= 1.9338
maximum resident set size= 172268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317
involuntary context switches= 249
# summary of solver processes directly reported to runsolver:
# pid: 61524
# total CPU time (s): 108.833
# total CPU user time (s): 106.9
# total CPU system time (s): 1.9338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.221974 second user time and 0.546342 second system time
The end
Begin job on nodeC016 at 2025-07-01 15:18:31
IDJOB=4490936
IDBENCH=147636
IDSOLVER=3359
FILE ID=nodeC016/4490936-1751375911
RUNJOBID= nodeC016-1751368684-60710
SLURM_JOB_ID= 9598185
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490936-1751375911/watcher-4490936-1751375911 -o /tmp/evaluation-result-4490936-1751375911/solver-4490936-1751375911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60710 --watchdog 3760 run-opt-break.sh HOME/instance-4490936-1751375911.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 661b9222a6bc80fb313039094bf52923
RANDOM SEED=1701344800
nodeC016 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 : 3599.716
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.48
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.892
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.48
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.980
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.48
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 : 2001.494
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.48
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.734
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.48
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.163
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.48
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 : 3599.846
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.48
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 : 1925.428
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128700836 kB
MemAvailable: 129678500 kB
Buffers: 3280 kB
Cached: 1780184 kB
SwapCached: 0 kB
Active: 451536 kB
Inactive: 1510000 kB
Active(anon): 196144 kB
Inactive(anon): 0 kB
Active(file): 255392 kB
Inactive(file): 1510000 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7532 kB
Writeback: 12 kB
AnonPages: 169252 kB
Mapped: 109468 kB
Shmem: 18072 kB
KReclaimable: 103024 kB
Slab: 191472 kB
SReclaimable: 103024 kB
SUnreclaim: 88448 kB
KernelStack: 4192 kB
PageTables: 3200 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 471192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 79872 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC016 at 2025-07-01 15:20:20