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-4523472-1751589869.opb'
0.09/0.14 c read 3.19MB (124.37ms)
0.09/0.14 c [cnf: #variables 1289 #clauses 1095 #duplicates 0 #arr 397948]
0.09/0.14 c
0.09/0.14 c make graph and approximate orbits
0.09/0.18 c [group: #orbits ~= 0] (41.19ms)
0.09/0.18 c
0.09/0.18 c detect special group actions
0.09/0.18 c probe for Johnson action (limit=64)
0.09/0.18 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.18 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.18 c (0.66ms)
0.09/0.18 c
0.09/0.18 c detect symmetries on remainder
0.09/0.18 c [graph: #vertices 7281 #edges 805690]
0.09/0.18 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.19 c [group: #symmetries 1.00*10^0 #generators 0] (4.70ms)
0.09/0.19 c
0.09/0.19 c finalize break order and special generators
0.09/0.19 c
0.09/0.19 c generation finished
0.09/0.19 c [sbp: #constraints 0 #add_vars 0]
0.09/0.19 c
0.09/0.19 c write result to 'HOME/instance-4523472-1751589869.opb.pre'
0.09/0.21 c wrote 3.19MB (19.58ms)
0.09/0.21 c ------------------------------------------------------------------
0.09/0.21 c 124.36ms 65.01% parse
0.09/0.21 c 41.19ms 21.53% approx_orbits
0.09/0.21 c 19.58ms 10.24% output
0.09/0.21 c 4.70ms 2.46% detect_generic
0.09/0.21 c 0.67ms 0.35% other
0.09/0.21 c 0.66ms 0.34% detect_special
0.09/0.21 c 0.12ms 0.06% finalize_order
0.09/0.21 c ───────────────────────────────────────────────
0.09/0.21 c 191.29ms 100% total
0.09/0.21 c ------------------------------------------------------------------
0.19/0.22 c RoundingSat 2
0.19/0.22 c branch pb25
0.19/0.22 c commit 63f22ad
0.49/0.56 c #variables 1289 #constraints 1095
0.49/0.56 c objective is ce32
10.33/10.46 c initial watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
10.33/10.46 c initial counting CF 32, 64, 128, Arb: 1077 , 0 , 0 , 0
10.33/10.46 c bounds 207 >= -90 @ 10.1884
10.43/10.55 c rational objective 0
11.63/11.72 c bounds 206 >= -90 @ 11.4232
11.63/11.74 c bounds 206 >= 1 @ 11.4435
11.73/11.80 c bounds 205 >= 1 @ 11.5053
25.39/25.50 c bounds 205 >= 2 @ 25.1031
25.49/25.68 c #Conflicts: 1000 | #Constraints: 2112
25.49/25.68 c bounds 204 >= 2 @ 25.2869
25.49/25.69 c bounds 203 >= 2 @ 25.2908
25.49/25.69 c bounds 202 >= 2 @ 25.2947
25.49/25.70 c bounds 201 >= 2 @ 25.2976
25.60/25.71 c bounds 200 >= 2 @ 25.3159
25.60/25.72 c bounds 199 >= 2 @ 25.3198
25.60/25.72 c bounds 198 >= 2 @ 25.3226
25.60/25.73 c bounds 197 >= 2 @ 25.3264
25.60/25.73 c bounds 196 >= 2 @ 25.3303
25.60/25.73 c bounds 195 >= 2 @ 25.3341
25.60/25.74 c bounds 194 >= 2 @ 25.3369
25.60/25.74 c bounds 193 >= 2 @ 25.3397
25.60/25.74 c bounds 192 >= 2 @ 25.3435
25.60/25.75 c bounds 191 >= 2 @ 25.3463
25.60/25.75 c bounds 190 >= 2 @ 25.3502
25.60/25.76 c bounds 189 >= 2 @ 25.354
25.60/25.76 c bounds 188 >= 2 @ 25.3578
25.60/25.76 c bounds 187 >= 2 @ 25.3617
25.60/25.77 c bounds 186 >= 2 @ 25.3644
25.60/25.77 c bounds 185 >= 2 @ 25.3672
25.60/25.77 c bounds 184 >= 2 @ 25.371
25.60/25.78 c bounds 183 >= 2 @ 25.3748
25.60/25.78 c bounds 182 >= 2 @ 25.3786
25.60/25.79 c bounds 181 >= 2 @ 25.3824
25.60/25.79 c bounds 180 >= 2 @ 25.3862
25.60/25.79 c bounds 179 >= 2 @ 25.388
25.69/25.80 c bounds 178 >= 2 @ 25.3917
25.69/25.80 c bounds 177 >= 2 @ 25.3955
25.69/25.81 c bounds 176 >= 2 @ 25.3983
25.69/25.81 c bounds 175 >= 2 @ 25.4001
25.69/25.81 c bounds 174 >= 2 @ 25.4039
25.69/25.82 c bounds 173 >= 2 @ 25.4076
25.69/25.82 c bounds 172 >= 2 @ 25.4113
25.69/25.82 c bounds 171 >= 2 @ 25.4151
25.69/25.83 c bounds 170 >= 2 @ 25.4179
25.69/25.83 c bounds 169 >= 2 @ 25.4216
25.69/25.84 c bounds 168 >= 2 @ 25.4233
25.69/25.84 c bounds 167 >= 2 @ 25.427
25.69/25.84 c bounds 166 >= 2 @ 25.4307
25.69/25.85 c bounds 165 >= 2 @ 25.4344
25.69/25.85 c bounds 164 >= 2 @ 25.4381
25.69/25.85 c bounds 163 >= 2 @ 25.4408
25.69/25.86 c bounds 162 >= 2 @ 25.4445
25.69/25.86 c bounds 161 >= 2 @ 25.4482
25.69/25.86 c bounds 160 >= 2 @ 25.4509
25.69/25.87 c bounds 159 >= 2 @ 25.4546
25.69/25.87 c bounds 158 >= 2 @ 25.4572
25.69/25.88 c bounds 157 >= 2 @ 25.4609
25.69/25.88 c bounds 156 >= 2 @ 25.4646
25.69/25.88 c bounds 155 >= 2 @ 25.4682
25.69/25.89 c bounds 154 >= 2 @ 25.4719
25.69/25.89 c bounds 153 >= 2 @ 25.4736
25.69/25.89 c bounds 152 >= 2 @ 25.4772
25.80/25.90 c bounds 151 >= 2 @ 25.4798
25.80/25.90 c bounds 150 >= 2 @ 25.4825
25.80/25.91 c bounds 149 >= 2 @ 25.4861
25.80/25.91 c bounds 148 >= 2 @ 25.4888
25.80/25.91 c bounds 147 >= 2 @ 25.4924
25.80/25.92 c bounds 146 >= 2 @ 25.495
25.80/25.92 c bounds 145 >= 2 @ 25.4987
25.80/25.92 c bounds 144 >= 2 @ 25.5022
25.80/25.93 c bounds 143 >= 2 @ 25.5059
25.80/25.93 c bounds 142 >= 2 @ 25.5095
25.80/25.93 c bounds 141 >= 2 @ 25.5131
25.80/25.94 c bounds 140 >= 2 @ 25.5167
25.80/25.94 c bounds 139 >= 2 @ 25.5203
25.80/25.95 c bounds 138 >= 2 @ 25.5238
25.80/25.95 c bounds 137 >= 2 @ 25.5264
25.80/25.95 c bounds 136 >= 2 @ 25.53
25.80/25.96 c bounds 135 >= 2 @ 25.5317
25.80/25.96 c bounds 134 >= 2 @ 25.5352
25.80/25.96 c bounds 133 >= 2 @ 25.5388
25.80/25.97 c bounds 132 >= 2 @ 25.5424
25.80/25.97 c bounds 131 >= 2 @ 25.5459
25.80/25.97 c bounds 130 >= 2 @ 25.5495
25.80/25.98 c bounds 129 >= 2 @ 25.5531
25.80/25.98 c bounds 128 >= 2 @ 25.5566
25.80/25.98 c bounds 127 >= 2 @ 25.5591
25.80/25.99 c bounds 126 >= 2 @ 25.5617
25.80/25.99 c bounds 125 >= 2 @ 25.5642
25.80/26.00 c bounds 124 >= 2 @ 25.5666
25.80/26.00 c bounds 123 >= 2 @ 25.5702
25.80/26.00 c bounds 122 >= 2 @ 25.5737
25.80/26.01 c bounds 121 >= 2 @ 25.5773
25.91/26.01 c bounds 120 >= 2 @ 25.5808
25.91/26.01 c bounds 119 >= 2 @ 25.5843
25.91/26.02 c bounds 118 >= 2 @ 25.5868
25.91/26.02 c bounds 117 >= 2 @ 25.5904
25.91/26.02 c bounds 116 >= 2 @ 25.594
25.91/26.03 c bounds 115 >= 2 @ 25.5975
25.91/26.03 c bounds 114 >= 2 @ 25.6
25.91/26.03 c bounds 113 >= 2 @ 25.6025
25.91/26.04 c bounds 112 >= 2 @ 25.606
25.91/26.04 c bounds 111 >= 2 @ 25.6094
25.91/26.04 c bounds 110 >= 2 @ 25.6129
25.91/26.05 c bounds 109 >= 2 @ 25.6164
25.91/26.05 c bounds 108 >= 2 @ 25.6199
25.91/26.06 c bounds 107 >= 2 @ 25.6233
25.91/26.06 c bounds 106 >= 2 @ 25.6268
25.91/26.06 c bounds 105 >= 2 @ 25.6303
25.91/26.07 c bounds 104 >= 2 @ 25.6337
25.91/26.07 c bounds 103 >= 2 @ 25.6361
25.91/26.07 c bounds 102 >= 2 @ 25.6386
25.91/26.08 c bounds 101 >= 2 @ 25.6411
25.91/26.08 c bounds 100 >= 2 @ 25.6445
25.91/26.08 c bounds 99 >= 2 @ 25.6479
25.91/26.09 c bounds 98 >= 2 @ 25.6503
25.91/26.09 c bounds 97 >= 2 @ 25.6538
25.91/26.09 c bounds 96 >= 2 @ 25.6572
25.91/26.10 c bounds 95 >= 2 @ 25.6606
26.00/26.15 c bounds 94 >= 2 @ 25.7084
26.00/26.16 c bounds 93 >= 2 @ 25.7245
26.00/26.17 c bounds 92 >= 2 @ 25.7283
26.00/26.18 c bounds 91 >= 2 @ 25.7433
26.00/26.18 c bounds 90 >= 2 @ 25.7471
26.00/26.20 c bounds 89 >= 2 @ 25.7569
26.09/26.21 c bounds 87 >= 2 @ 25.7737
26.09/26.22 c bounds 86 >= 2 @ 25.7777
26.09/26.22 c bounds 85 >= 2 @ 25.7805
26.09/26.23 c bounds 84 >= 2 @ 25.7832
26.09/26.23 c bounds 83 >= 2 @ 25.7869
26.09/26.23 c bounds 82 >= 2 @ 25.7906
26.09/26.24 c bounds 81 >= 2 @ 25.7943
26.09/26.24 c bounds 80 >= 2 @ 25.796
26.09/26.24 c bounds 79 >= 2 @ 25.7996
26.09/26.25 c bounds 78 >= 2 @ 25.8013
26.09/26.25 c bounds 77 >= 2 @ 25.8049
26.09/26.26 c bounds 76 >= 2 @ 25.8086
26.09/26.26 c bounds 75 >= 2 @ 25.8122
26.09/26.26 c bounds 74 >= 2 @ 25.8149
26.09/26.27 c bounds 73 >= 2 @ 25.8185
26.09/26.27 c bounds 72 >= 2 @ 25.8221
26.09/26.27 c bounds 71 >= 2 @ 25.8248
26.09/26.28 c bounds 70 >= 2 @ 25.8284
26.09/26.28 c bounds 69 >= 2 @ 25.8311
26.09/26.28 c bounds 68 >= 2 @ 25.8347
26.09/26.29 c bounds 67 >= 2 @ 25.8382
26.09/26.29 c bounds 66 >= 2 @ 25.8408
26.09/26.30 c bounds 65 >= 2 @ 25.8434
26.19/26.30 c bounds 64 >= 2 @ 25.8461
26.19/26.30 c bounds 63 >= 2 @ 25.8496
26.19/26.31 c bounds 62 >= 2 @ 25.8533
26.19/26.31 c bounds 61 >= 2 @ 25.8569
26.19/26.31 c bounds 60 >= 2 @ 25.8604
26.19/26.32 c bounds 59 >= 2 @ 25.864
26.19/26.32 c bounds 58 >= 2 @ 25.8676
26.19/26.32 c bounds 57 >= 2 @ 25.8703
26.19/26.33 c bounds 56 >= 2 @ 25.8738
26.19/26.33 c bounds 55 >= 2 @ 25.8774
26.19/26.33 c bounds 54 >= 2 @ 25.8809
26.19/26.34 c bounds 53 >= 2 @ 25.8845
26.19/26.34 c bounds 52 >= 2 @ 25.8872
26.19/26.35 c bounds 51 >= 2 @ 25.8907
26.19/26.35 c bounds 50 >= 2 @ 25.8933
26.19/26.35 c bounds 49 >= 2 @ 25.8958
26.19/26.36 c bounds 48 >= 2 @ 25.8984
26.19/26.36 c bounds 47 >= 2 @ 25.901
26.19/26.36 c bounds 46 >= 2 @ 25.9046
26.19/26.37 c bounds 45 >= 2 @ 25.9082
26.19/26.37 c bounds 44 >= 2 @ 25.9117
26.19/26.37 c bounds 43 >= 2 @ 25.9152
26.19/26.38 c bounds 42 >= 2 @ 25.9177
26.29/26.40 c bounds 41 >= 2 @ 25.9355
26.29/26.40 c bounds 40 >= 2 @ 25.9382
26.29/26.42 c bounds 39 >= 2 @ 25.9534
26.29/26.42 c bounds 38 >= 2 @ 25.9572
26.29/26.43 c bounds 37 >= 2 @ 25.9673
26.29/26.43 c bounds 36 >= 2 @ 25.97
26.29/26.45 c bounds 34 >= 2 @ 25.9831
26.29/26.45 c bounds 33 >= 2 @ 25.9868
26.29/26.45 c bounds 32 >= 2 @ 25.9904
26.29/26.46 c bounds 31 >= 2 @ 25.9971
26.29/26.48 c bounds 30 >= 2 @ 26.0108
26.49/26.62 c bounds 29 >= 2 @ 26.1541
26.49/26.64 c bounds 28 >= 2 @ 26.1742
26.49/26.67 c bounds 26 >= 2 @ 26.2038
26.49/26.69 c bounds 24 >= 2 @ 26.2185
26.59/26.77 c bounds 22 >= 2 @ 26.3061
26.59/26.78 c bounds 21 >= 2 @ 26.3145
26.69/26.81 c bounds 20 >= 2 @ 26.3389
26.69/26.81 c bounds 19 >= 2 @ 26.3448
26.69/26.82 c bounds 18 >= 2 @ 26.3486
26.69/26.82 c bounds 17 >= 2 @ 26.3522
26.79/26.91 c bounds 15 >= 2 @ 26.445
27.79/28.01 c bounds 14 >= 2 @ 27.5315
28.00/28.11 c bounds 13 >= 2 @ 27.6363
28.49/28.60 c bounds 12 >= 2 @ 28.122
28.49/28.60 c bounds 11 >= 2 @ 28.1269
28.68/28.81 c bounds 9 >= 2 @ 28.3248
28.78/28.98 c bounds 8 >= 2 @ 28.4988
30.37/30.55 c #Conflicts: 2000 | #Constraints: 3308
30.37/30.55 c INPROCESSING
30.37/30.55 c GARBAGE COLLECT
30.37/30.55 c rational objective 2
33.07/33.20 c bounds 7 >= 2 @ 32.7021
40.15/40.32 c #Conflicts: 3000 | #Constraints: 2709
40.15/40.32 c #Conflicts: 4000 | #Constraints: 3767
40.15/40.32 c INPROCESSING
40.15/40.32 c GARBAGE COLLECT
40.15/40.32 c rational objective 2
46.85/47.06 c #Conflicts: 5000 | #Constraints: 3246
46.85/47.06 c #Conflicts: 6000 | #Constraints: 4302
46.85/47.06 c INPROCESSING
46.85/47.06 c GARBAGE COLLECT
46.85/47.06 c rational objective 2
56.41/56.65 c #Conflicts: 7000 | #Constraints: 3381
56.41/56.65 c #Conflicts: 8000 | #Constraints: 4385
56.41/56.65 c #Conflicts: 9000 | #Constraints: 5386
56.41/56.65 c INPROCESSING
56.41/56.65 c GARBAGE COLLECT
56.41/56.65 c rational objective 2
66.28/66.57 c #Conflicts: 10000 | #Constraints: 4138
66.28/66.57 c #Conflicts: 11000 | #Constraints: 5142
66.28/66.57 c #Conflicts: 12000 | #Constraints: 6199
66.28/66.57 c INPROCESSING
66.28/66.57 c GARBAGE COLLECT
66.28/66.57 c rational objective 2
69.38/69.68 c #Conflicts: 13000 | #Constraints: 4590
69.38/69.68 c #Conflicts: 14000 | #Constraints: 5590
69.38/69.68 c #Conflicts: 15000 | #Constraints: 6590
69.38/69.68 c INPROCESSING
69.38/69.68 c GARBAGE COLLECT
69.38/69.68 c rational objective 2
72.97/73.20 c #Conflicts: 16000 | #Constraints: 4844
72.97/73.20 c #Conflicts: 17000 | #Constraints: 5848
72.97/73.20 c #Conflicts: 18000 | #Constraints: 6852
72.97/73.20 c INPROCESSING
72.97/73.20 c GARBAGE COLLECT
72.97/73.20 c rational objective 2
87.13/87.43 c #Conflicts: 19000 | #Constraints: 4880
87.13/87.43 c #Conflicts: 20000 | #Constraints: 5888
87.13/87.43 c #Conflicts: 21000 | #Constraints: 6888
87.13/87.43 c INPROCESSING
87.13/87.43 c GARBAGE COLLECT
87.13/87.43 c rational objective 2
88.03/88.37 c bounds 6 >= 2 @ 87.4566
151.36/151.88 c #Conflicts: 22000 | #Constraints: 4707
151.36/151.88 c #Conflicts: 23000 | #Constraints: 5711
151.36/151.88 c #Conflicts: 24000 | #Constraints: 6716
151.36/151.88 c #Conflicts: 25000 | #Constraints: 7717
151.36/151.88 c INPROCESSING
151.36/151.88 c GARBAGE COLLECT
151.36/151.88 c #Conflicts: 26000 | #Constraints: 5099
151.36/151.88 c #Conflicts: 27000 | #Constraints: 6101
151.36/151.88 c #Conflicts: 28000 | #Constraints: 7109
151.36/151.88 c #Conflicts: 29000 | #Constraints: 8109
151.36/151.88 c INPROCESSING
151.36/151.88 c GARBAGE COLLECT
151.36/151.88 c #Conflicts: 30000 | #Constraints: 5614
151.36/151.88 c #Conflicts: 31000 | #Constraints: 6614
151.36/151.88 c #Conflicts: 32000 | #Constraints: 7616
151.36/151.88 c #Conflicts: 33000 | #Constraints: 8616
151.36/151.88 c INPROCESSING
151.36/151.88 c GARBAGE COLLECT
151.36/151.88 c #Conflicts: 34000 | #Constraints: 5773
151.36/151.88 c #Conflicts: 35000 | #Constraints: 6781
151.36/151.88 c #Conflicts: 36000 | #Constraints: 7781
151.36/151.88 c #Conflicts: 37000 | #Constraints: 8781
151.36/151.88 c INPROCESSING
151.36/151.88 c GARBAGE COLLECT
151.36/151.88 c #Conflicts: 38000 | #Constraints: 5838
151.36/151.88 c #Conflicts: 39000 | #Constraints: 6845
151.36/151.88 c #Conflicts: 40000 | #Constraints: 7876
151.36/151.88 c #Conflicts: 41000 | #Constraints: 8933
151.36/151.88 c INPROCESSING
151.36/151.88 c GARBAGE COLLECT
151.36/151.88 c #Conflicts: 42000 | #Constraints: 5676
151.36/151.88 c #Conflicts: 43000 | #Constraints: 6701
151.36/151.88 c #Conflicts: 44000 | #Constraints: 7784
151.36/151.88 c #Conflicts: 45000 | #Constraints: 8875
151.36/151.88 c #Conflicts: 46000 | #Constraints: 9885
151.36/151.88 c INPROCESSING
151.36/151.88 c GARBAGE COLLECT
151.36/151.88 c rational objective 2
156.04/156.57 c #Conflicts: 47000 | #Constraints: 6256
156.04/156.57 c #Conflicts: 48000 | #Constraints: 7256
156.04/156.57 c #Conflicts: 49000 | #Constraints: 8261
156.04/156.57 c #Conflicts: 50000 | #Constraints: 9267
156.04/156.57 c #Conflicts: 51000 | #Constraints: 10270
156.04/156.57 c INPROCESSING
156.04/156.57 c GARBAGE COLLECT
156.04/156.57 c rational objective 2
159.94/160.40 c #Conflicts: 52000 | #Constraints: 6634
159.94/160.40 c #Conflicts: 53000 | #Constraints: 7640
159.94/160.40 c #Conflicts: 54000 | #Constraints: 8643
159.94/160.40 c #Conflicts: 55000 | #Constraints: 9643
159.94/160.40 c #Conflicts: 56000 | #Constraints: 10649
159.94/160.40 c INPROCESSING
159.94/160.40 c GARBAGE COLLECT
159.94/160.40 c rational objective 2
166.72/167.24 c #Conflicts: 57000 | #Constraints: 6873
166.72/167.24 c #Conflicts: 58000 | #Constraints: 7936
166.72/167.24 c #Conflicts: 59000 | #Constraints: 8941
166.72/167.24 c #Conflicts: 60000 | #Constraints: 9943
166.72/167.24 c #Conflicts: 61000 | #Constraints: 10949
166.72/167.24 c INPROCESSING
166.72/167.24 c GARBAGE COLLECT
166.72/167.24 c rational objective 2
169.41/169.92 c #Conflicts: 62000 | #Constraints: 6686
169.41/169.92 c #Conflicts: 63000 | #Constraints: 7694
169.41/169.92 c #Conflicts: 64000 | #Constraints: 8706
169.41/169.92 c #Conflicts: 65000 | #Constraints: 9710
169.41/169.92 c #Conflicts: 66000 | #Constraints: 10714
169.41/169.92 c INPROCESSING
169.41/169.92 c GARBAGE COLLECT
169.41/169.92 c rational objective 2
172.01/172.54 c #Conflicts: 67000 | #Constraints: 6590
172.01/172.54 c #Conflicts: 68000 | #Constraints: 7595
172.01/172.54 c #Conflicts: 69000 | #Constraints: 8598
172.01/172.54 c #Conflicts: 70000 | #Constraints: 9598
172.01/172.54 c #Conflicts: 71000 | #Constraints: 10600
172.01/172.54 c #Conflicts: 72000 | #Constraints: 11617
172.01/172.54 c INPROCESSING
172.01/172.54 c GARBAGE COLLECT
172.01/172.54 c rational objective 2
179.38/180.00 c #Conflicts: 73000 | #Constraints: 7277
179.38/180.00 c #Conflicts: 74000 | #Constraints: 8330
179.38/180.00 c #Conflicts: 75000 | #Constraints: 9337
179.38/180.00 c #Conflicts: 76000 | #Constraints: 10337
179.38/180.00 c #Conflicts: 77000 | #Constraints: 11337
179.38/180.00 c #Conflicts: 78000 | #Constraints: 12337
179.38/180.00 c INPROCESSING
179.38/180.00 c GARBAGE COLLECT
179.38/180.00 c rational objective 2
183.27/183.88 c #Conflicts: 79000 | #Constraints: 7392
183.27/183.88 c #Conflicts: 80000 | #Constraints: 8392
183.27/183.88 c #Conflicts: 81000 | #Constraints: 9397
183.27/183.88 c #Conflicts: 82000 | #Constraints: 10402
183.27/183.88 c #Conflicts: 83000 | #Constraints: 11403
183.27/183.88 c #Conflicts: 84000 | #Constraints: 12406
183.27/183.88 c INPROCESSING
183.27/183.88 c GARBAGE COLLECT
183.27/183.88 c rational objective 2
187.96/188.52 c #Conflicts: 85000 | #Constraints: 7747
187.96/188.52 c #Conflicts: 86000 | #Constraints: 8747
187.96/188.52 c #Conflicts: 87000 | #Constraints: 9747
187.96/188.52 c #Conflicts: 88000 | #Constraints: 10758
187.96/188.52 c #Conflicts: 89000 | #Constraints: 11760
187.96/188.52 c #Conflicts: 90000 | #Constraints: 12769
187.96/188.52 c INPROCESSING
187.96/188.52 c GARBAGE COLLECT
187.96/188.52 c rational objective 2
190.05/190.60 c #Conflicts: 91000 | #Constraints: 7819
190.05/190.60 c #Conflicts: 92000 | #Constraints: 8827
190.05/190.60 c #Conflicts: 93000 | #Constraints: 9830
190.05/190.60 c bounds 5 >= 2 @ 188.629
196.73/197.37 c #Conflicts: 94000 | #Constraints: 10832
196.73/197.37 c #Conflicts: 95000 | #Constraints: 11833
196.73/197.37 c #Conflicts: 96000 | #Constraints: 12837
196.73/197.37 c INPROCESSING
196.73/197.37 c GARBAGE COLLECT
196.73/197.37 c rational objective 2
199.73/200.35 c #Conflicts: 97000 | #Constraints: 6741
199.73/200.35 c #Conflicts: 98000 | #Constraints: 7744
199.73/200.35 c #Conflicts: 99000 | #Constraints: 8753
199.73/200.35 c #Conflicts: 100000 | #Constraints: 9756
199.73/200.35 c #Conflicts: 101000 | #Constraints: 10765
199.73/200.35 c #Conflicts: 102000 | #Constraints: 11771
199.73/200.35 c #Conflicts: 103000 | #Constraints: 12776
199.73/200.35 c INPROCESSING
199.73/200.35 c GARBAGE COLLECT
199.73/200.35 c rational objective 2
203.62/204.27 c #Conflicts: 104000 | #Constraints: 7801
203.62/204.27 c #Conflicts: 105000 | #Constraints: 8810
203.62/204.27 c #Conflicts: 106000 | #Constraints: 9812
203.62/204.27 c #Conflicts: 107000 | #Constraints: 10815
203.62/204.27 c #Conflicts: 108000 | #Constraints: 11817
203.62/204.27 c #Conflicts: 109000 | #Constraints: 12823
203.62/204.27 c #Conflicts: 110000 | #Constraints: 13824
203.62/204.27 c INPROCESSING
203.62/204.27 c GARBAGE COLLECT
203.62/204.27 c rational objective 2
207.80/208.45 c #Conflicts: 111000 | #Constraints: 8428
207.80/208.45 c #Conflicts: 112000 | #Constraints: 9437
207.80/208.45 c #Conflicts: 113000 | #Constraints: 10440
207.80/208.45 c #Conflicts: 114000 | #Constraints: 11440
207.80/208.45 c #Conflicts: 115000 | #Constraints: 12454
207.80/208.45 c #Conflicts: 116000 | #Constraints: 13459
207.80/208.45 c #Conflicts: 117000 | #Constraints: 14460
207.80/208.45 c INPROCESSING
207.80/208.45 c GARBAGE COLLECT
207.80/208.45 c rational objective 2
216.98/217.66 c #Conflicts: 118000 | #Constraints: 8737
216.98/217.66 c #Conflicts: 119000 | #Constraints: 9739
216.98/217.66 c #Conflicts: 120000 | #Constraints: 10746
216.98/217.66 c #Conflicts: 121000 | #Constraints: 11752
216.98/217.66 c #Conflicts: 122000 | #Constraints: 12795
216.98/217.66 c #Conflicts: 123000 | #Constraints: 13862
216.98/217.66 c #Conflicts: 124000 | #Constraints: 14880
216.98/217.66 c INPROCESSING
216.98/217.66 c GARBAGE COLLECT
216.98/217.66 c rational objective 2
222.47/223.14 c #Conflicts: 125000 | #Constraints: 8823
222.47/223.14 c #Conflicts: 126000 | #Constraints: 9901
222.47/223.14 c #Conflicts: 127000 | #Constraints: 10901
222.47/223.14 c #Conflicts: 128000 | #Constraints: 11901
222.47/223.14 c #Conflicts: 129000 | #Constraints: 12908
222.47/223.14 c #Conflicts: 130000 | #Constraints: 13921
222.47/223.14 c #Conflicts: 131000 | #Constraints: 14935
222.47/223.14 c INPROCESSING
222.47/223.14 c GARBAGE COLLECT
222.47/223.14 c rational objective 2
226.75/227.40 c #Conflicts: 132000 | #Constraints: 8683
226.75/227.40 c #Conflicts: 133000 | #Constraints: 9694
226.75/227.40 c #Conflicts: 134000 | #Constraints: 10697
226.75/227.40 c #Conflicts: 135000 | #Constraints: 11698
226.75/227.40 c #Conflicts: 136000 | #Constraints: 12698
226.75/227.40 c #Conflicts: 137000 | #Constraints: 13701
226.75/227.40 c #Conflicts: 138000 | #Constraints: 14701
226.75/227.40 c #Conflicts: 139000 | #Constraints: 15702
226.75/227.40 c INPROCESSING
226.75/227.40 c GARBAGE COLLECT
226.75/227.40 c rational objective 2
228.15/228.82 c #Conflicts: 140000 | #Constraints: 9280
228.15/228.82 c bounds 4 >= 2 @ 226.353
228.45/229.11 c bounds 3 >= 2 @ 226.639
233.44/234.15 c #Conflicts: 141000 | #Constraints: 10285
233.44/234.15 c #Conflicts: 142000 | #Constraints: 11285
233.44/234.15 c #Conflicts: 143000 | #Constraints: 12286
233.44/234.15 c #Conflicts: 144000 | #Constraints: 13300
233.44/234.15 c #Conflicts: 145000 | #Constraints: 14307
233.44/234.15 c #Conflicts: 146000 | #Constraints: 15309
233.44/234.15 c #Conflicts: 147000 | #Constraints: 16313
233.44/234.15 c INPROCESSING
233.44/234.15 c GARBAGE COLLECT
233.44/234.15 c rational objective 2
237.82/238.55 c #Conflicts: 148000 | #Constraints: 8470
237.82/238.55 c #Conflicts: 149000 | #Constraints: 9470
237.82/238.55 c #Conflicts: 150000 | #Constraints: 10470
237.82/238.55 c #Conflicts: 151000 | #Constraints: 11470
237.82/238.55 c #Conflicts: 152000 | #Constraints: 12473
237.82/238.55 c #Conflicts: 153000 | #Constraints: 13483
237.82/238.55 c #Conflicts: 154000 | #Constraints: 14485
237.82/238.55 c #Conflicts: 155000 | #Constraints: 15485
237.82/238.55 c INPROCESSING
237.82/238.55 c GARBAGE COLLECT
237.82/238.55 c rational objective 2
242.71/243.45 c #Conflicts: 156000 | #Constraints: 9007
242.71/243.45 c #Conflicts: 157000 | #Constraints: 10010
242.71/243.45 c #Conflicts: 158000 | #Constraints: 11011
242.71/243.45 c #Conflicts: 159000 | #Constraints: 12014
242.71/243.45 c #Conflicts: 160000 | #Constraints: 13017
242.71/243.45 c #Conflicts: 161000 | #Constraints: 14020
242.71/243.45 c #Conflicts: 162000 | #Constraints: 15024
242.71/243.45 c #Conflicts: 163000 | #Constraints: 16028
242.71/243.45 c INPROCESSING
242.71/243.45 c GARBAGE COLLECT
242.71/243.45 c rational objective 2
246.31/247.03 c #Conflicts: 164000 | #Constraints: 8837
246.31/247.03 c #Conflicts: 165000 | #Constraints: 9837
246.31/247.03 c #Conflicts: 166000 | #Constraints: 10839
246.31/247.03 c #Conflicts: 167000 | #Constraints: 11842
246.31/247.03 c #Conflicts: 168000 | #Constraints: 12842
246.31/247.03 c #Conflicts: 169000 | #Constraints: 13843
246.31/247.03 c #Conflicts: 170000 | #Constraints: 14844
246.31/247.03 c #Conflicts: 171000 | #Constraints: 15846
246.31/247.03 c bounds 3 >= 3 @ 244.291
246.31/247.03 c cpu time 244.291 s
246.31/247.03 c deterministic time 6291640965 6.29e+09
246.31/247.03 c optimization time 9.90895 s
246.31/247.03 c total solve time 234.074 s
246.31/247.03 c core-guided solve time 116.342 s
246.31/247.03 c propagation time 75.5883 s
246.31/247.03 c conflict analysis time 136.417 s
246.31/247.03 c propagations 21677034
246.31/247.03 c resolve steps 7192854
246.31/247.03 c decisions 1004869
246.31/247.03 c conflicts 171131
246.31/247.03 c restarts 466
246.31/247.03 c inprocessing phases 32
246.31/247.03 c garbage collections 32 ,( 100.00 )
246.31/247.03 c input clauses 16 ,( 1.23 )
246.31/247.03 c input cardinalities 202 ,( 15.54 )
246.31/247.03 c input general constraints 1082 ,( 83.23 )
246.31/247.03 c input average constraint length 426.68
246.31/247.03 c input average constraint degree 255.31
246.31/247.03 c learned clauses 147139 ,( 85.22 )
246.31/247.03 c learned cardinalities 81 ,( 0.05 )
246.31/247.03 c learned general constraints 25435 ,( 14.73 )
246.31/247.03 c learned average constraint length 247.10
246.31/247.03 c learned average constraint degree 7602404.46
246.31/247.03 c watched CF 32, 64, 128, Arb: 6908 , 0 , 0 , 0
246.31/247.03 c counting CF 32, 64, 128, Arb: 19610 , 0 , 0 , 0
246.31/247.03 c watched constraints 6908 ,( 26.05 )
246.31/247.03 c counting constraints 19609 ,( 73.95 )
246.31/247.03 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 24960815 , 191935 , 817798439 ,( 32461056 , 785337383 )
246.31/247.03 c gcd simplifications 20626
246.31/247.03 c detected cardinalities 32
246.31/247.03 c weakened non-implied lits 9864592
246.31/247.03 c weakened non-implying lits 93119
246.31/247.03 c original variables 1289
246.31/247.03 c clausal propagations 645658
246.31/247.03 c cardinality propagations 111413
246.31/247.03 c watched propagations 167773
246.31/247.03 c counting propagations 20408087
246.31/247.03 c watch lookups 2670794414
246.31/247.03 c watch backjump lookups 0
246.31/247.03 c watch checks 1309911188
246.31/247.03 c propagation checks 711016709
246.31/247.03 c constraint additions 1554184750
246.31/247.03 c trail pops 22852220
246.31/247.03 c formula constraints 1095
246.31/247.03 c learned constraints 170740
246.31/247.03 c bound constraints 200
246.31/247.03 c core-guided constraints 5
246.31/247.03 c encountered formula constraints 6355498
246.31/247.03 c encountered learned constraints 969092
246.31/247.03 c encountered bound constraints 6165
246.31/247.03 c encountered core-guided constraints 6703
246.31/247.03 c LP total time 50.1414 s
246.31/247.03 c LP solve time 33.88 s
246.31/247.03 c LP constraints added 1476
246.31/247.03 c LP constraints removed 369
246.31/247.03 c LP pivots internal 171210
246.31/247.03 c LP pivots root 28570
246.31/247.03 c LP calls 3402
246.31/247.03 c LP optimalities 1876
246.31/247.03 c LP no pivot count 711
246.31/247.03 c LP infeasibilities 1504
246.31/247.03 c LP valid Farkas constraints 1460
246.31/247.03 c LP learned Farkas constraints 389
246.31/247.03 c LP basis resets 32
246.31/247.03 c LP cycling count 16
246.31/247.03 c LP singular count 3
246.31/247.03 c LP no primal count 0
246.31/247.03 c LP no farkas count 13
246.31/247.03 c LP other issue count 0
246.31/247.03 c LP Gomory cuts 66
246.31/247.03 c LP learned cuts 315
246.31/247.03 c LP deleted cuts 369
246.31/247.03 c LP encountered Gomory constraints 1857
246.31/247.03 c LP encountered Farkas constraints 11593
246.31/247.03 c LP encountered learned Farkas constraints 12688
246.31/247.03 c CG auxiliary variables introduced 2
246.31/247.03 c CG solutions found 197
246.31/247.03 c CG cores constructed 2
246.31/247.03 c CG core cardinality constraints returned 0
246.31/247.03 c CG unit cores 0
246.31/247.03 c CG single cores 2
246.31/247.03 c CG blocks removed during cardinality reduction 0
246.31/247.03 c CG first core best 0
246.31/247.03 c CG decision core best 0
246.31/247.03 c CG core reduction tie 0
246.31/247.03 c CG core degree average 1.00
246.31/247.03 c CG core slack average 385.50
246.31/247.03 c CG core upper bound improvements 1
246.31/247.03 c STR number of successful calls 0
246.31/247.03 c STR number of unsuccessful calls 0
246.31/247.03 c STR number of inconclusive calls 0
246.31/247.03 c STR number of successful attempts 0
246.31/247.03 c STR number of unsuccessful attempts 0
246.31/247.03 c STR number of inconclusive attempts 0
246.31/247.03 c STR average degree increase per successful call inf
246.31/247.03 c STR average degree increase per successful attempt inf
246.31/247.03 c STR total number of conflicts for successful attempts 0
246.31/247.03 c STR total number of conflicts for unsuccessful attempts 0
246.31/247.03 c STR total number of conflicts for inconclusive attempts 0
246.31/247.03 c STR average number of conflicts per successful attempt inf
246.31/247.03 c STR average number of conflicts per unsuccessful attempt inf
246.31/247.03 c STR average number of conflicts per inconclusive attempt inf
246.31/247.03 c AVG.sumWPerc 52.65
246.31/247.03 c bigint constraints 0
246.31/247.03 o 3
246.31/247.03 s OPTIMUM FOUND
246.31/247.03 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 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 x1276 x1277 x1278 -x1279 -x1280 x1281 x1282 -x1283 x1284 x1285 x1286 x1287 -x1288 x1289
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: 63837 MiB (62360 MiB free)
memory of node 1: 64465 MiB (61317 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523472-1751589869/watcher-4523472-1751589869 -o /tmp/evaluation-result-4523472-1751589869/solver-4523472-1751589869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751582595-79129 --watchdog 3760 run-opt-ls.sh HOME/instance-4523472-1751589869.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=80500, runsolver pid=80497
[startup+0.100067 s]*
/proc/loadavg: 4.14 4.19 4.19 5/255 80502
/proc/meminfo: memFree=126641428/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74665734 4292608 736 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 736 672 219 0 110 0
[pid=80502] ppid=80500 vsize=17948 memory=10752 CPUtime=0.09 cores=0,2
/proc/80502/stat : 80502 (pbsuma) R 80500 80500 79119 0 -1 4194304 2440 0 0 0 8 1 0 0 20 0 1 0 74665735 18378752 2688 18446744073709551615 4210688 4653049 140734920106176 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 8921088 140734920112483 140734920112690 140734920112690 140734920118255 0
/proc/80502/statm: 4487 2688 992 108 0 1895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22140 KiB
Current children cumulated memory: 13696 KiB
[startup+0.213777 s]*
/proc/loadavg: 4.14 4.19 4.19 4/255 80503
/proc/meminfo: memFree=126629836/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=50704 memory=3584 CPUtime=0 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 74665756 51920896 896 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 12676 896 800 1147 0 102 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54896 KiB
Current children cumulated memory: 6656 KiB
[startup+0.313631 s]*
/proc/loadavg: 4.14 4.19 4.19 5/255 80503
/proc/meminfo: memFree=126629868/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=61896 memory=17188 CPUtime=0.1 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 2007 0 0 0 9 1 0 0 20 0 1 0 74665756 63381504 4297 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 15474 4297 1984 1147 0 2901 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66088 KiB
Current children cumulated memory: 20260 KiB
[startup+0.700402 s]
/proc/loadavg: 4.14 4.19 4.19 5/255 80503
/proc/meminfo: memFree=126626088/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=87464 memory=46120 CPUtime=0.46 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 8535 0 0 0 44 2 0 0 20 0 1 0 74665756 89563136 11530 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 21866 11530 2304 1147 0 9293 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 49192 KiB
[startup+1.50038 s]
/proc/loadavg: 4.14 4.19 4.19 5/255 80503
/proc/meminfo: memFree=126610464/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=87464 memory=46120 CPUtime=1.26 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 8535 0 0 0 124 2 0 0 20 0 1 0 74665756 89563136 11530 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 21866 11530 2304 1147 0 9293 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 49192 KiB
[startup+3.11331 s]
/proc/loadavg: 4.21 4.20 4.19 5/255 80503
/proc/meminfo: memFree=126610548/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=87464 memory=46120 CPUtime=2.87 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 8535 0 0 0 285 2 0 0 20 0 1 0 74665756 89563136 11530 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 21866 11530 2304 1147 0 9293 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 49192 KiB
[startup+6.30036 s]
/proc/loadavg: 4.21 4.20 4.19 5/255 80503
/proc/meminfo: memFree=126610660/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=87464 memory=46120 CPUtime=6.05 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 8535 0 0 0 603 2 0 0 20 0 1 0 74665756 89563136 11530 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 21866 11530 2304 1147 0 9293 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 49192 KiB
[startup+12.7003 s]
/proc/loadavg: 4.27 4.21 4.20 5/255 80503
/proc/meminfo: memFree=126578100/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=107280 memory=65808 CPUtime=12.43 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 16785 0 0 0 1239 4 0 0 20 0 1 0 74665756 109854720 16452 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 26820 16452 2432 1147 0 14247 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 111472 KiB
Current children cumulated memory: 68880 KiB
[startup+25.5004 s]
/proc/loadavg: 4.21 4.20 4.19 5/255 80503
/proc/meminfo: memFree=126473268/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=111636 memory=68112 CPUtime=25.2 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 17355 0 0 0 2510 10 0 0 20 0 1 0 74665756 114315264 17028 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 27909 17028 2432 1147 0 15336 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 115828 KiB
Current children cumulated memory: 71184 KiB
[startup+51.1132 s]
/proc/loadavg: 4.22 4.20 4.19 5/254 80504
/proc/meminfo: memFree=126347288/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=136096 memory=90472 CPUtime=50.75 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 23204 0 0 0 5049 26 0 0 20 0 1 0 74665756 139362304 22618 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 34024 22618 2432 1147 0 21451 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 140288 KiB
Current children cumulated memory: 93544 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.17 4.18 5/255 80508
/proc/meminfo: memFree=126251124/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=157440 memory=112096 CPUtime=101.8 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 25953 0 0 0 10129 51 0 0 20 0 1 0 74665756 161218560 28024 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 39360 28024 2432 1147 0 26787 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 161632 KiB
Current children cumulated memory: 115168 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/255 80510
/proc/meminfo: memFree=126117668/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=158432 memory=117728 CPUtime=161.64 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 28315 0 0 0 16071 93 0 0 20 0 1 0 74665756 162234368 29432 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 39608 29432 2528 1147 0 27035 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 162624 KiB
Current children cumulated memory: 120800 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/254 80512
/proc/meminfo: memFree=125952760/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=170872 memory=129996 CPUtime=221.47 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 35427 0 0 0 21992 155 0 0 20 0 1 0 74665756 174972928 32499 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 42718 32499 2560 1147 0 30145 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 175064 KiB
Current children cumulated memory: 133068 KiB
[startup+247.04 s]
# the end of solver process 80500 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=244.471 s, system=1.88472 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.12 4.15 4.17 5/254 80512
/proc/meminfo: memFree=125938492/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=179744 memory=138956 CPUtime=229.55 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 36041 0 0 0 22791 164 0 0 20 0 1 0 74665756 184057856 34739 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 44936 34739 2560 1147 0 32363 0
Current children cumulated CPU time: 229.74 s
Current children cumulated vsize: 183936 KiB
Current children cumulated memory: 142028 KiB
[startup+236.8 s]
/proc/loadavg: 4.11 4.14 4.17 5/254 80513
/proc/meminfo: memFree=125938744/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=179744 memory=138956 CPUtime=235.94 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 36041 0 0 0 23421 173 0 0 20 0 1 0 74665756 184057856 34739 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 44936 34739 2560 1147 0 32363 0
Current children cumulated CPU time: 236.13 s
Current children cumulated vsize: 183936 KiB
Current children cumulated memory: 142028 KiB
[startup+243.2 s]
/proc/loadavg: 4.10 4.14 4.17 5/254 80514
/proc/meminfo: memFree=125900400/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=151592 memory=110944 CPUtime=242.32 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 36041 0 0 0 24052 180 0 0 20 0 1 0 74665756 155230208 27736 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 37898 27736 2560 1147 0 25325 0
Current children cumulated CPU time: 242.51 s
Current children cumulated vsize: 155784 KiB
Current children cumulated memory: 114016 KiB
[startup+244.8 s]
/proc/loadavg: 4.10 4.14 4.17 5/254 80514
/proc/meminfo: memFree=125884272/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=151592 memory=110944 CPUtime=243.91 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 36041 0 0 0 24210 181 0 0 20 0 1 0 74665756 155230208 27736 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 37898 27736 2560 1147 0 25325 0
Current children cumulated CPU time: 244.1 s
Current children cumulated vsize: 155784 KiB
Current children cumulated memory: 114016 KiB
[startup+246.4 s]
/proc/loadavg: 4.10 4.14 4.17 5/254 80514
/proc/meminfo: memFree=125868396/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=151592 memory=110944 CPUtime=245.5 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 36041 0 0 0 24366 184 0 0 20 0 1 0 74665756 155230208 27736 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 37898 27736 2560 1147 0 25325 0
Current children cumulated CPU time: 245.69 s
Current children cumulated vsize: 155784 KiB
Current children cumulated memory: 114016 KiB
[startup+246.8 s]
/proc/loadavg: 4.10 4.14 4.17 5/254 80514
/proc/meminfo: memFree=125868396/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=151592 memory=110944 CPUtime=245.9 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 36041 0 0 0 24406 184 0 0 20 0 1 0 74665756 155230208 27736 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 37898 27736 2560 1147 0 25325 0
Current children cumulated CPU time: 246.09 s
Current children cumulated vsize: 155784 KiB
Current children cumulated memory: 114016 KiB
[startup+247 s]*
/proc/loadavg: 4.10 4.14 4.17 5/254 80514
/proc/meminfo: memFree=125852268/131382120 swapFree=33010416/33010684
[pid=80500] ppid=80497 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/80500/stat : 80500 (run-opt-ls.sh) S 80497 80500 79119 0 -1 4194304 238 5061 0 0 0 0 17 2 20 0 1 0 74665734 4292608 768 18446744073709551615 94261110308864 94261111203397 140729816718368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261111442448 94261111490192 94261123723264 140729816725863 140729816725989 140729816725989 140729816731591 0
/proc/80500/statm: 1048 768 704 219 0 110 0
[pid=80503] ppid=80500 vsize=151592 memory=110944 CPUtime=246.12 cores=0,2
/proc/80503/stat : 80503 (roundingsat) R 80500 80500 79119 0 -1 4194304 36041 0 0 0 24427 185 0 0 20 0 1 0 74665756 155230208 27736 18446744073709551615 4227072 8923433 140736573547808 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31928320 140736573552966 140736573553192 140736573553192 140736573558762 0
/proc/80503/statm: 37898 27736 2560 1147 0 25325 0
Current children cumulated CPU time: 246.31 s
Current children cumulated vsize: 155784 KiB
Current children cumulated memory: 114016 KiB
Child status: 0
Real time (s): 247.04
CPU time (s): 246.356
CPU user time (s): 244.471
CPU system time (s): 1.88472
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 187044
Max. memory (cumulated for all children) (KiB): 145064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.471
system time used= 1.88472
maximum resident set size= 153284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41363
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 585
# summary of solver processes directly reported to runsolver:
# pid: 80500
# total CPU time (s): 246.356
# total CPU user time (s): 244.471
# total CPU system time (s): 1.88472
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32499 second user time and 2.62541 second system time
The end
Begin job on nodeC002 at 2025-07-04 02:44:29
IDJOB=4523472
IDBENCH=180363
IDSOLVER=3355
FILE ID=nodeC002/4523472-1751589869
RUNJOBID= nodeC002-1751582595-79129
SLURM_JOB_ID= 9598825
Free space on /tmp= 432592 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523472-1751589869/watcher-4523472-1751589869 -o /tmp/evaluation-result-4523472-1751589869/solver-4523472-1751589869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751582595-79129 --watchdog 3760 run-opt-ls.sh HOME/instance-4523472-1751589869.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0f8d279ff02416fc8d5941f7f119b5c9
RANDOM SEED=2017173576
nodeC002 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 : 0xb00001f
cpu MHz : 3492.989
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3631.480
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.225
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3664.810
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3631.320
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.960
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.247
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126645904 kB
MemAvailable: 127388248 kB
Buffers: 2128 kB
Cached: 1546940 kB
SwapCached: 28 kB
Active: 2899608 kB
Inactive: 1243848 kB
Active(anon): 2605916 kB
Inactive(anon): 6404 kB
Active(file): 293692 kB
Inactive(file): 1237444 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10512 kB
Writeback: 0 kB
AnonPages: 2596968 kB
Mapped: 117160 kB
Shmem: 17932 kB
KReclaimable: 101668 kB
Slab: 186724 kB
SReclaimable: 101668 kB
SUnreclaim: 85056 kB
KernelStack: 4096 kB
PageTables: 8516 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3228920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1038336 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432584 MiB
End job on nodeC002 at 2025-07-04 02:48:37