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-4499998-1751414736.opb'
0.08/0.15 c read 8.26MB (145.76ms)
0.08/0.15 c [cnf: #variables 72842 #clauses 255738 #duplicates 500 #arr 652778]
0.08/0.16 c
0.08/0.16 c make graph and approximate orbits
0.28/0.33 c [group: #orbits ~= 0] (175.22ms)
0.28/0.33 c
0.28/0.33 c detect special group actions
0.28/0.33 c probe for Johnson action (limit=64)
0.28/0.34 c probe for row-column symmetry (limit=64, splits=16.78M)
0.28/0.34 c probe for row symmetry (limit=64, splits=16.78M)
0.28/0.35 c (20.84ms)
0.28/0.35 c
0.28/0.35 c detect symmetries on remainder
0.28/0.35 c [graph: #vertices 633205 #edges 1914806]
0.28/0.36 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.28/0.39 c [group: #symmetries 1.00*10^0 #generators 0] (41.15ms)
0.28/0.39 c
0.28/0.39 c finalize break order and special generators
0.28/0.40 c
0.28/0.40 c generation finished
0.28/0.40 c [sbp: #constraints 0 #add_vars 0]
0.28/0.40 c
0.28/0.40 c write result to 'HOME/instance-4499998-1751414736.opb.pre'
0.39/0.42 c wrote 8.47MB (18.49ms)
0.39/0.42 c ------------------------------------------------------------------
0.39/0.42 c 175.22ms 42.61% approx_orbits
0.39/0.42 c 145.76ms 35.45% parse
0.39/0.42 c 41.15ms 10.01% detect_generic
0.39/0.42 c 20.84ms 5.07% detect_special
0.39/0.42 c 18.49ms 4.50% output
0.39/0.42 c 6.69ms 1.63% other
0.39/0.42 c 3.05ms 0.74% finalize_order
0.39/0.42 c ───────────────────────────────────────────────
0.39/0.42 c 411.20ms 100% total
0.39/0.42 c ------------------------------------------------------------------
0.39/0.46 c RoundingSat 2
0.39/0.46 c branch pb25
0.39/0.46 c commit 63f22ad
1.25/1.35 c #variables 72842 #constraints 218447
1.25/1.35 c objective is ce32
1.25/1.35 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.25/1.35 c initial counting CF 32, 64, 128, Arb: 1154 , 0 , 0 , 0
1.25/1.35 c bounds - >= 0 @ 0.686958
1.85/1.98 c bounds 300 >= 0 @ 1.26818
1.96/2.00 c bounds 300 >= 99 @ 1.28321
5.54/5.68 c #Conflicts: 1000 | #Constraints: 219451
5.54/5.68 c #Conflicts: 2000 | #Constraints: 220451
5.54/5.68 c INPROCESSING
5.54/5.68 c GARBAGE COLLECT
5.54/5.68 c rational objective 99
7.34/7.46 c bounds 299 >= 99 @ 6.69487
7.34/7.48 c bounds 298 >= 99 @ 6.70843
7.34/7.49 c bounds 297 >= 99 @ 6.72273
7.43/7.51 c bounds 296 >= 99 @ 6.73675
7.43/7.53 c bounds 295 >= 99 @ 6.75284
7.43/7.54 c bounds 294 >= 99 @ 6.76657
7.43/7.56 c bounds 293 >= 99 @ 6.77854
7.43/7.57 c bounds 292 >= 99 @ 6.79169
7.43/7.59 c bounds 291 >= 99 @ 6.80534
7.53/7.60 c bounds 290 >= 99 @ 6.81629
7.53/7.62 c bounds 289 >= 99 @ 6.82837
7.53/7.63 c bounds 288 >= 99 @ 6.83972
7.53/7.65 c bounds 287 >= 99 @ 6.85234
7.53/7.66 c bounds 286 >= 99 @ 6.86437
7.53/7.68 c bounds 285 >= 99 @ 6.87802
7.53/7.69 c bounds 284 >= 99 @ 6.89284
7.63/7.71 c bounds 283 >= 99 @ 6.90599
7.63/7.72 c bounds 282 >= 99 @ 6.91828
7.63/7.74 c bounds 281 >= 99 @ 6.92949
7.63/7.75 c bounds 280 >= 99 @ 6.94274
7.63/7.76 c bounds 279 >= 99 @ 6.95457
7.63/7.78 c bounds 278 >= 99 @ 6.96753
7.63/7.79 c bounds 277 >= 99 @ 6.98053
7.73/7.81 c bounds 276 >= 99 @ 6.99154
7.73/7.82 c bounds 275 >= 99 @ 7.00464
7.73/7.84 c bounds 274 >= 99 @ 7.01849
7.73/7.85 c bounds 273 >= 99 @ 7.03004
7.73/7.86 c bounds 272 >= 99 @ 7.04059
7.73/7.88 c bounds 271 >= 99 @ 7.05188
7.73/7.89 c bounds 270 >= 99 @ 7.06321
7.83/7.90 c bounds 269 >= 99 @ 7.07418
7.83/7.92 c bounds 268 >= 99 @ 7.08327
7.83/7.93 c bounds 267 >= 99 @ 7.09521
7.83/7.94 c bounds 266 >= 99 @ 7.10638
7.83/7.96 c bounds 265 >= 99 @ 7.12006
7.83/7.97 c bounds 264 >= 99 @ 7.1302
7.83/7.98 c bounds 263 >= 99 @ 7.14072
7.83/7.99 c bounds 262 >= 99 @ 7.14823
7.93/8.01 c bounds 261 >= 99 @ 7.15995
7.93/8.02 c bounds 260 >= 99 @ 7.17252
7.93/8.03 c bounds 259 >= 99 @ 7.1819
7.93/8.04 c bounds 258 >= 99 @ 7.19227
7.93/8.06 c bounds 257 >= 99 @ 7.20338
7.93/8.07 c bounds 256 >= 99 @ 7.21319
7.93/8.08 c bounds 255 >= 99 @ 7.22429
7.93/8.09 c bounds 254 >= 99 @ 7.2359
8.04/8.10 c bounds 253 >= 99 @ 7.24565
8.04/8.12 c bounds 252 >= 99 @ 7.25783
8.04/8.13 c bounds 251 >= 99 @ 7.26933
8.04/8.14 c bounds 250 >= 99 @ 7.28093
8.04/8.15 c bounds 249 >= 99 @ 7.29096
9.73/9.83 c #Conflicts: 3000 | #Constraints: 179918
9.73/9.83 c #Conflicts: 4000 | #Constraints: 180918
9.73/9.83 c INPROCESSING
9.73/9.83 c GARBAGE COLLECT
9.73/9.83 c bounds 248 >= 99 @ 8.92304
9.73/9.84 c bounds 245 >= 99 @ 8.93265
9.73/9.85 c bounds 244 >= 99 @ 8.94297
9.73/9.86 c bounds 243 >= 99 @ 8.95321
9.73/9.87 c bounds 242 >= 99 @ 8.96334
9.73/9.88 c bounds 241 >= 99 @ 8.9734
9.73/9.89 c bounds 240 >= 99 @ 8.98344
9.82/9.90 c bounds 239 >= 99 @ 8.99358
9.82/9.91 c bounds 238 >= 99 @ 9.00356
9.82/9.92 c bounds 237 >= 99 @ 9.01174
9.82/9.93 c bounds 236 >= 99 @ 9.0196
9.82/9.94 c bounds 235 >= 99 @ 9.02894
9.82/9.95 c bounds 234 >= 99 @ 9.03946
9.82/9.96 c bounds 233 >= 99 @ 9.048
9.82/9.97 c bounds 232 >= 99 @ 9.05631
9.82/9.98 c bounds 231 >= 99 @ 9.06567
9.82/9.99 c bounds 223 >= 99 @ 9.07409
9.82/10.00 c bounds 222 >= 99 @ 9.083
9.93/10.01 c bounds 221 >= 99 @ 9.09197
9.93/10.02 c bounds 220 >= 99 @ 9.09868
9.93/10.02 c bounds 219 >= 99 @ 9.10717
9.93/10.03 c bounds 218 >= 99 @ 9.11457
9.93/10.04 c bounds 217 >= 99 @ 9.12286
9.93/10.05 c bounds 216 >= 99 @ 9.13107
9.93/10.06 c bounds 215 >= 99 @ 9.13817
9.93/10.07 c bounds 214 >= 99 @ 9.14638
9.93/10.07 c bounds 213 >= 99 @ 9.15358
9.93/10.08 c bounds 212 >= 99 @ 9.15973
9.93/10.09 c bounds 211 >= 99 @ 9.16781
9.93/10.10 c bounds 210 >= 99 @ 9.17354
10.03/10.11 c bounds 209 >= 99 @ 9.1813
10.03/10.11 c bounds 208 >= 99 @ 9.18942
10.03/10.12 c bounds 207 >= 99 @ 9.19716
10.03/10.13 c bounds 206 >= 99 @ 9.20491
10.03/10.14 c bounds 205 >= 99 @ 9.21382
10.03/10.15 c bounds 204 >= 99 @ 9.22186
10.03/10.15 c bounds 203 >= 99 @ 9.22817
10.03/10.16 c bounds 202 >= 99 @ 9.23538
10.03/10.17 c bounds 201 >= 99 @ 9.24147
10.03/10.18 c bounds 200 >= 99 @ 9.24849
10.03/10.18 c bounds 199 >= 99 @ 9.25536
10.03/10.19 c bounds 198 >= 99 @ 9.26227
10.12/10.20 c bounds 197 >= 99 @ 9.26811
10.12/10.20 c bounds 196 >= 99 @ 9.27413
10.12/10.21 c bounds 195 >= 99 @ 9.28012
10.12/10.22 c bounds 194 >= 99 @ 9.28725
10.12/10.23 c bounds 193 >= 99 @ 9.29359
10.12/10.23 c bounds 192 >= 99 @ 9.30031
10.12/10.24 c bounds 191 >= 99 @ 9.30705
10.12/10.25 c bounds 190 >= 99 @ 9.31249
10.12/10.26 c bounds 189 >= 99 @ 9.31979
10.12/10.26 c bounds 188 >= 99 @ 9.32653
10.12/10.27 c bounds 187 >= 99 @ 9.33309
10.12/10.28 c bounds 186 >= 99 @ 9.33975
10.12/10.28 c bounds 185 >= 99 @ 9.34637
10.12/10.29 c bounds 184 >= 99 @ 9.35307
10.22/10.30 c bounds 183 >= 99 @ 9.35877
10.22/10.30 c bounds 182 >= 99 @ 9.36681
10.22/10.31 c bounds 181 >= 99 @ 9.37378
10.22/10.32 c bounds 180 >= 99 @ 9.3794
10.22/10.32 c bounds 179 >= 99 @ 9.38383
10.22/10.33 c bounds 178 >= 99 @ 9.38914
10.22/10.34 c bounds 177 >= 99 @ 9.39529
10.22/10.34 c bounds 176 >= 99 @ 9.40057
10.22/10.35 c bounds 175 >= 99 @ 9.40666
10.22/10.36 c bounds 174 >= 99 @ 9.41267
10.22/10.36 c bounds 173 >= 99 @ 9.41689
10.22/10.37 c bounds 172 >= 99 @ 9.42149
10.22/10.37 c bounds 171 >= 99 @ 9.42716
10.22/10.38 c bounds 170 >= 99 @ 9.43175
10.22/10.39 c bounds 169 >= 99 @ 9.4373
10.22/10.39 c bounds 168 >= 99 @ 9.4418
10.32/10.40 c bounds 167 >= 99 @ 9.44624
10.32/10.40 c bounds 166 >= 99 @ 9.45158
10.32/10.41 c bounds 165 >= 99 @ 9.45673
10.32/10.41 c bounds 164 >= 99 @ 9.46119
10.32/10.42 c bounds 163 >= 99 @ 9.46502
10.32/10.42 c bounds 162 >= 99 @ 9.46823
10.32/10.43 c bounds 161 >= 99 @ 9.47344
10.32/10.43 c bounds 160 >= 99 @ 9.47851
10.32/10.44 c bounds 159 >= 99 @ 9.48363
10.32/10.44 c bounds 158 >= 99 @ 9.48792
10.32/10.45 c bounds 157 >= 99 @ 9.49276
10.32/10.46 c bounds 156 >= 99 @ 9.49923
10.32/10.46 c bounds 155 >= 99 @ 9.50406
10.32/10.47 c bounds 154 >= 99 @ 9.5078
10.32/10.47 c bounds 153 >= 99 @ 9.51144
10.32/10.47 c bounds 152 >= 99 @ 9.51594
10.32/10.48 c bounds 151 >= 99 @ 9.51973
10.32/10.49 c bounds 150 >= 99 @ 9.52423
10.32/10.49 c bounds 149 >= 99 @ 9.52915
10.32/10.50 c bounds 148 >= 99 @ 9.53343
10.42/10.50 c bounds 147 >= 99 @ 9.53797
10.42/10.50 c bounds 146 >= 99 @ 9.54126
10.42/10.51 c bounds 145 >= 99 @ 9.54451
10.42/10.51 c bounds 144 >= 99 @ 9.54884
10.42/10.52 c bounds 143 >= 99 @ 9.55282
10.42/10.52 c bounds 142 >= 99 @ 9.55569
10.42/10.52 c bounds 141 >= 99 @ 9.5595
10.42/10.53 c bounds 140 >= 99 @ 9.56329
10.42/10.53 c bounds 139 >= 99 @ 9.56619
10.42/10.54 c bounds 138 >= 99 @ 9.56983
10.42/10.54 c bounds 137 >= 99 @ 9.57251
10.42/10.54 c bounds 136 >= 99 @ 9.57608
10.42/10.55 c bounds 135 >= 99 @ 9.57865
13.71/13.82 c #Conflicts: 5000 | #Constraints: 136566
13.71/13.82 c #Conflicts: 6000 | #Constraints: 137566
13.71/13.82 c INPROCESSING
13.71/13.82 c GARBAGE COLLECT
13.71/13.82 c rational objective 99
14.81/14.91 c bounds 134 >= 99 @ 13.9055
14.81/14.92 c bounds 133 >= 99 @ 13.9077
14.81/14.92 c bounds 132 >= 99 @ 13.9116
14.81/14.92 c bounds 131 >= 99 @ 13.9145
14.81/14.93 c bounds 130 >= 99 @ 13.9185
14.81/14.93 c bounds 129 >= 99 @ 13.9221
14.81/14.93 c bounds 128 >= 99 @ 13.9257
14.81/14.94 c bounds 127 >= 99 @ 13.9293
14.81/14.94 c bounds 126 >= 99 @ 13.9329
14.81/14.95 c bounds 125 >= 99 @ 13.9356
14.81/14.95 c bounds 124 >= 99 @ 13.9389
14.81/14.95 c bounds 123 >= 99 @ 13.9412
14.81/14.95 c bounds 122 >= 99 @ 13.9445
14.81/14.96 c bounds 121 >= 99 @ 13.9476
14.81/14.96 c bounds 120 >= 99 @ 13.9506
14.81/14.96 c bounds 119 >= 99 @ 13.9525
14.81/14.97 c bounds 118 >= 99 @ 13.9556
14.81/14.97 c bounds 117 >= 99 @ 13.961
14.81/14.98 c bounds 116 >= 99 @ 13.9643
14.81/14.98 c bounds 115 >= 99 @ 13.9659
14.81/14.98 c bounds 114 >= 99 @ 13.9687
14.81/14.98 c bounds 113 >= 99 @ 13.9712
14.81/14.99 c bounds 112 >= 99 @ 13.9727
14.81/14.99 c bounds 111 >= 99 @ 13.9752
14.81/14.99 c bounds 110 >= 99 @ 13.9768
14.81/14.99 c bounds 109 >= 99 @ 13.979
14.81/15.00 c bounds 108 >= 99 @ 13.981
14.81/15.00 c bounds 107 >= 99 @ 13.9842
14.91/15.01 c bounds 106 >= 99 @ 13.9886
14.91/15.01 c bounds 105 >= 99 @ 13.9906
14.91/15.02 c bounds 104 >= 99 @ 13.9973
14.91/15.03 c bounds 103 >= 99 @ 14.0087
32.25/32.49 c #Conflicts: 7000 | #Constraints: 39918
32.25/32.49 c #Conflicts: 8000 | #Constraints: 40918
32.25/32.49 c #Conflicts: 9000 | #Constraints: 41918
32.25/32.49 c INPROCESSING
32.25/32.49 c GARBAGE COLLECT
32.25/32.49 c #Conflicts: 10000 | #Constraints: 16143
32.25/32.49 c #Conflicts: 11000 | #Constraints: 17143
32.25/32.49 c #Conflicts: 12000 | #Constraints: 18143
32.25/32.49 c INPROCESSING
32.25/32.49 c GARBAGE COLLECT
32.25/32.49 c #Conflicts: 13000 | #Constraints: 16650
32.25/32.49 c #Conflicts: 14000 | #Constraints: 17650
32.25/32.49 c #Conflicts: 15000 | #Constraints: 18650
32.25/32.49 c INPROCESSING
32.25/32.49 c GARBAGE COLLECT
32.25/32.49 c rational objective 99
38.23/38.44 c #Conflicts: 16000 | #Constraints: 16897
38.23/38.44 c #Conflicts: 17000 | #Constraints: 17897
38.23/38.44 c #Conflicts: 18000 | #Constraints: 18897
38.23/38.44 c INPROCESSING
38.23/38.44 c GARBAGE COLLECT
38.23/38.44 c rational objective 99
48.90/49.15 c #Conflicts: 19000 | #Constraints: 16938
48.90/49.15 c #Conflicts: 20000 | #Constraints: 17938
48.90/49.15 c #Conflicts: 21000 | #Constraints: 18938
48.90/49.15 c INPROCESSING
48.90/49.15 c GARBAGE COLLECT
48.90/49.15 c rational objective 99
55.37/55.65 c #Conflicts: 22000 | #Constraints: 16746
55.37/55.65 c #Conflicts: 23000 | #Constraints: 17746
55.37/55.65 c #Conflicts: 24000 | #Constraints: 18746
55.37/55.65 c #Conflicts: 25000 | #Constraints: 19746
55.37/55.65 c INPROCESSING
55.37/55.65 c GARBAGE COLLECT
55.37/55.65 c #Conflicts: 26000 | #Constraints: 17351
55.37/55.65 c bounds 102 >= 99 @ 54.2658
62.65/62.95 c #Conflicts: 27000 | #Constraints: 18352
62.65/62.95 c #Conflicts: 28000 | #Constraints: 19352
62.65/62.95 c #Conflicts: 29000 | #Constraints: 20352
62.65/62.95 c INPROCESSING
62.65/62.95 c GARBAGE COLLECT
62.65/62.95 c rational objective 99
75.81/76.13 c #Conflicts: 30000 | #Constraints: 16735
75.81/76.13 c #Conflicts: 31000 | #Constraints: 17735
75.81/76.13 c #Conflicts: 32000 | #Constraints: 18735
75.81/76.13 c #Conflicts: 33000 | #Constraints: 19735
75.81/76.13 c INPROCESSING
75.81/76.13 c GARBAGE COLLECT
75.81/76.13 c #Conflicts: 34000 | #Constraints: 17091
75.81/76.13 c #Conflicts: 35000 | #Constraints: 18091
75.81/76.13 c #Conflicts: 36000 | #Constraints: 19091
75.81/76.13 c #Conflicts: 37000 | #Constraints: 20091
75.81/76.13 c INPROCESSING
75.81/76.13 c GARBAGE COLLECT
75.81/76.13 c rational objective 99
80.70/81.09 c #Conflicts: 38000 | #Constraints: 17167
80.70/81.09 c #Conflicts: 39000 | #Constraints: 18167
80.70/81.09 c #Conflicts: 40000 | #Constraints: 19167
80.70/81.09 c #Conflicts: 41000 | #Constraints: 20167
80.70/81.09 c INPROCESSING
80.70/81.09 c GARBAGE COLLECT
80.70/81.09 c rational objective 99
88.46/88.81 c #Conflicts: 42000 | #Constraints: 17009
88.46/88.81 c #Conflicts: 43000 | #Constraints: 18009
88.46/88.81 c #Conflicts: 44000 | #Constraints: 19009
88.46/88.81 c #Conflicts: 45000 | #Constraints: 20009
88.46/88.81 c #Conflicts: 46000 | #Constraints: 21009
88.46/88.81 c INPROCESSING
88.46/88.81 c GARBAGE COLLECT
88.46/88.81 c rational objective 99
93.85/94.23 c #Conflicts: 47000 | #Constraints: 17616
93.85/94.23 c #Conflicts: 48000 | #Constraints: 18616
93.85/94.23 c #Conflicts: 49000 | #Constraints: 19616
93.85/94.23 c #Conflicts: 50000 | #Constraints: 20616
93.85/94.23 c #Conflicts: 51000 | #Constraints: 21616
93.85/94.23 c INPROCESSING
93.85/94.23 c GARBAGE COLLECT
93.85/94.23 c rational objective 99
102.92/103.34 c #Conflicts: 52000 | #Constraints: 18032
102.92/103.34 c #Conflicts: 53000 | #Constraints: 19032
102.92/103.34 c #Conflicts: 54000 | #Constraints: 20032
102.92/103.34 c #Conflicts: 55000 | #Constraints: 21032
102.92/103.34 c #Conflicts: 56000 | #Constraints: 22032
102.92/103.34 c INPROCESSING
102.92/103.34 c GARBAGE COLLECT
102.92/103.34 c rational objective 99
109.71/110.15 c #Conflicts: 57000 | #Constraints: 18239
109.71/110.15 c #Conflicts: 58000 | #Constraints: 19239
109.71/110.15 c #Conflicts: 59000 | #Constraints: 20239
109.71/110.15 c #Conflicts: 60000 | #Constraints: 21239
109.71/110.15 c #Conflicts: 61000 | #Constraints: 22239
109.71/110.15 c INPROCESSING
109.71/110.15 c GARBAGE COLLECT
109.71/110.15 c rational objective 99
125.66/126.11 c #Conflicts: 62000 | #Constraints: 18263
125.66/126.11 c #Conflicts: 63000 | #Constraints: 19263
125.66/126.11 c #Conflicts: 64000 | #Constraints: 20263
125.66/126.11 c #Conflicts: 65000 | #Constraints: 21263
125.66/126.11 c #Conflicts: 66000 | #Constraints: 22264
125.66/126.11 c INPROCESSING
125.66/126.11 c GARBAGE COLLECT
125.66/126.11 c rational objective 99
132.74/133.25 c #Conflicts: 67000 | #Constraints: 18062
132.74/133.25 c #Conflicts: 68000 | #Constraints: 19062
132.74/133.25 c #Conflicts: 69000 | #Constraints: 20062
132.74/133.25 c #Conflicts: 70000 | #Constraints: 21062
132.74/133.25 c #Conflicts: 71000 | #Constraints: 22062
132.74/133.25 c #Conflicts: 72000 | #Constraints: 23062
132.74/133.25 c INPROCESSING
132.74/133.25 c GARBAGE COLLECT
132.74/133.25 c rational objective 99
143.31/143.81 c #Conflicts: 73000 | #Constraints: 18672
143.31/143.81 c #Conflicts: 74000 | #Constraints: 19672
143.31/143.81 c #Conflicts: 75000 | #Constraints: 20672
143.31/143.81 c #Conflicts: 76000 | #Constraints: 21672
143.31/143.81 c #Conflicts: 77000 | #Constraints: 22672
143.31/143.81 c #Conflicts: 78000 | #Constraints: 23672
143.31/143.81 c INPROCESSING
143.31/143.81 c GARBAGE COLLECT
143.31/143.81 c rational objective 99
151.18/151.75 c #Conflicts: 79000 | #Constraints: 19054
151.18/151.75 c #Conflicts: 80000 | #Constraints: 20054
151.18/151.75 c #Conflicts: 81000 | #Constraints: 21054
151.18/151.75 c #Conflicts: 82000 | #Constraints: 22054
151.18/151.75 c #Conflicts: 83000 | #Constraints: 23054
151.18/151.75 c #Conflicts: 84000 | #Constraints: 24054
151.18/151.75 c INPROCESSING
151.18/151.75 c GARBAGE COLLECT
151.18/151.75 c rational objective 99
157.86/158.40 c #Conflicts: 85000 | #Constraints: 19263
157.86/158.40 c #Conflicts: 86000 | #Constraints: 20263
157.86/158.40 c #Conflicts: 87000 | #Constraints: 21263
157.86/158.40 c #Conflicts: 88000 | #Constraints: 22263
157.86/158.40 c #Conflicts: 89000 | #Constraints: 23263
157.86/158.40 c #Conflicts: 90000 | #Constraints: 24263
157.86/158.40 c INPROCESSING
157.86/158.40 c GARBAGE COLLECT
157.86/158.40 c rational objective 99
166.74/167.31 c #Conflicts: 91000 | #Constraints: 19258
166.74/167.31 c #Conflicts: 92000 | #Constraints: 20258
166.74/167.31 c #Conflicts: 93000 | #Constraints: 21258
166.74/167.31 c #Conflicts: 94000 | #Constraints: 22258
166.74/167.31 c #Conflicts: 95000 | #Constraints: 23258
166.74/167.31 c #Conflicts: 96000 | #Constraints: 24258
166.74/167.31 c INPROCESSING
166.74/167.31 c GARBAGE COLLECT
166.74/167.31 c rational objective 99
176.52/177.15 c #Conflicts: 97000 | #Constraints: 19084
176.52/177.15 c #Conflicts: 98000 | #Constraints: 20084
176.52/177.15 c #Conflicts: 99000 | #Constraints: 21084
176.52/177.15 c #Conflicts: 100000 | #Constraints: 22084
176.52/177.15 c #Conflicts: 101000 | #Constraints: 23084
176.52/177.15 c #Conflicts: 102000 | #Constraints: 24084
176.52/177.15 c #Conflicts: 103000 | #Constraints: 25084
176.52/177.15 c INPROCESSING
176.52/177.15 c GARBAGE COLLECT
176.52/177.15 c rational objective 99
185.20/185.88 c #Conflicts: 104000 | #Constraints: 19679
185.20/185.88 c #Conflicts: 105000 | #Constraints: 20679
185.20/185.88 c #Conflicts: 106000 | #Constraints: 21679
185.20/185.88 c #Conflicts: 107000 | #Constraints: 22679
185.20/185.88 c #Conflicts: 108000 | #Constraints: 23679
185.20/185.88 c #Conflicts: 109000 | #Constraints: 24679
185.20/185.88 c #Conflicts: 110000 | #Constraints: 25679
185.20/185.88 c INPROCESSING
185.20/185.88 c GARBAGE COLLECT
185.20/185.88 c rational objective 99
195.87/196.51 c #Conflicts: 111000 | #Constraints: 20074
195.87/196.51 c #Conflicts: 112000 | #Constraints: 21074
195.87/196.51 c #Conflicts: 113000 | #Constraints: 22074
195.87/196.51 c #Conflicts: 114000 | #Constraints: 23074
195.87/196.51 c #Conflicts: 115000 | #Constraints: 24074
195.87/196.51 c #Conflicts: 116000 | #Constraints: 25074
195.87/196.51 c #Conflicts: 117000 | #Constraints: 26074
195.87/196.51 c INPROCESSING
195.87/196.51 c GARBAGE COLLECT
195.87/196.51 c rational objective 99
205.15/205.86 c #Conflicts: 118000 | #Constraints: 20281
205.15/205.86 c #Conflicts: 119000 | #Constraints: 21281
205.15/205.86 c #Conflicts: 120000 | #Constraints: 22281
205.15/205.86 c #Conflicts: 121000 | #Constraints: 23281
205.15/205.86 c #Conflicts: 122000 | #Constraints: 24281
205.15/205.86 c #Conflicts: 123000 | #Constraints: 25281
205.15/205.86 c #Conflicts: 124000 | #Constraints: 26281
205.15/205.86 c INPROCESSING
205.15/205.86 c GARBAGE COLLECT
205.15/205.86 c rational objective 99
215.02/215.78 c #Conflicts: 125000 | #Constraints: 20274
215.02/215.78 c #Conflicts: 126000 | #Constraints: 21274
215.02/215.78 c #Conflicts: 127000 | #Constraints: 22274
215.02/215.78 c #Conflicts: 128000 | #Constraints: 23274
215.02/215.78 c #Conflicts: 129000 | #Constraints: 24274
215.02/215.78 c #Conflicts: 130000 | #Constraints: 25274
215.02/215.78 c #Conflicts: 131000 | #Constraints: 26274
215.02/215.78 c INPROCESSING
215.02/215.78 c GARBAGE COLLECT
215.02/215.78 c rational objective 99
223.10/223.85 c #Conflicts: 132000 | #Constraints: 20067
223.10/223.85 c #Conflicts: 133000 | #Constraints: 21067
223.10/223.85 c #Conflicts: 134000 | #Constraints: 22067
223.10/223.85 c #Conflicts: 135000 | #Constraints: 23067
223.10/223.85 c #Conflicts: 136000 | #Constraints: 24067
223.10/223.85 c #Conflicts: 137000 | #Constraints: 25067
223.10/223.85 c #Conflicts: 138000 | #Constraints: 26067
223.10/223.85 c #Conflicts: 139000 | #Constraints: 27067
223.10/223.85 c INPROCESSING
223.10/223.85 c GARBAGE COLLECT
223.10/223.85 c rational objective 99
234.97/235.76 c #Conflicts: 140000 | #Constraints: 20678
234.97/235.76 c #Conflicts: 141000 | #Constraints: 21678
234.97/235.76 c #Conflicts: 142000 | #Constraints: 22678
234.97/235.76 c #Conflicts: 143000 | #Constraints: 23678
234.97/235.76 c #Conflicts: 144000 | #Constraints: 24678
234.97/235.76 c #Conflicts: 145000 | #Constraints: 25678
234.97/235.76 c #Conflicts: 146000 | #Constraints: 26678
234.97/235.76 c #Conflicts: 147000 | #Constraints: 27678
234.97/235.76 c INPROCESSING
234.97/235.76 c GARBAGE COLLECT
234.97/235.76 c rational objective 99
244.64/245.48 c #Conflicts: 148000 | #Constraints: 21084
244.64/245.48 c #Conflicts: 149000 | #Constraints: 22084
244.64/245.48 c #Conflicts: 150000 | #Constraints: 23084
244.64/245.48 c #Conflicts: 151000 | #Constraints: 24084
244.64/245.48 c #Conflicts: 152000 | #Constraints: 25084
244.64/245.48 c #Conflicts: 153000 | #Constraints: 26084
244.64/245.48 c #Conflicts: 154000 | #Constraints: 27084
244.64/245.48 c #Conflicts: 155000 | #Constraints: 28084
244.64/245.48 c INPROCESSING
244.64/245.48 c GARBAGE COLLECT
244.64/245.48 c rational objective 99
253.72/254.55 c #Conflicts: 156000 | #Constraints: 21305
253.72/254.55 c #Conflicts: 157000 | #Constraints: 22305
253.72/254.55 c #Conflicts: 158000 | #Constraints: 23305
253.72/254.55 c #Conflicts: 159000 | #Constraints: 24305
253.72/254.55 c #Conflicts: 160000 | #Constraints: 25305
253.72/254.55 c #Conflicts: 161000 | #Constraints: 26305
253.72/254.55 c #Conflicts: 162000 | #Constraints: 27305
253.72/254.55 c #Conflicts: 163000 | #Constraints: 28305
253.72/254.55 c INPROCESSING
253.72/254.55 c GARBAGE COLLECT
253.72/254.55 c rational objective 99
263.60/264.43 c #Conflicts: 164000 | #Constraints: 21286
263.60/264.43 c #Conflicts: 165000 | #Constraints: 22286
263.60/264.43 c #Conflicts: 166000 | #Constraints: 23286
263.60/264.43 c #Conflicts: 167000 | #Constraints: 24286
263.60/264.43 c #Conflicts: 168000 | #Constraints: 25286
263.60/264.43 c #Conflicts: 169000 | #Constraints: 26286
263.60/264.43 c #Conflicts: 170000 | #Constraints: 27286
263.60/264.43 c #Conflicts: 171000 | #Constraints: 28286
263.60/264.43 c INPROCESSING
263.60/264.43 c GARBAGE COLLECT
263.60/264.43 c rational objective 99
275.37/276.23 c #Conflicts: 172000 | #Constraints: 21082
275.37/276.23 c #Conflicts: 173000 | #Constraints: 22082
275.37/276.23 c #Conflicts: 174000 | #Constraints: 23082
275.37/276.23 c #Conflicts: 175000 | #Constraints: 24082
275.37/276.23 c #Conflicts: 176000 | #Constraints: 25082
275.37/276.23 c #Conflicts: 177000 | #Constraints: 26082
275.37/276.23 c #Conflicts: 178000 | #Constraints: 27082
275.37/276.23 c #Conflicts: 179000 | #Constraints: 28082
275.37/276.23 c #Conflicts: 180000 | #Constraints: 29082
275.37/276.23 c INPROCESSING
275.37/276.23 c GARBAGE COLLECT
275.37/276.23 c rational objective 99
285.05/285.91 c #Conflicts: 181000 | #Constraints: 21697
285.05/285.91 c #Conflicts: 182000 | #Constraints: 22697
285.05/285.91 c #Conflicts: 183000 | #Constraints: 23697
285.05/285.91 c #Conflicts: 184000 | #Constraints: 24697
285.05/285.91 c #Conflicts: 185000 | #Constraints: 25697
285.05/285.91 c #Conflicts: 186000 | #Constraints: 26697
285.05/285.91 c #Conflicts: 187000 | #Constraints: 27697
285.05/285.91 c #Conflicts: 188000 | #Constraints: 28697
285.05/285.91 c #Conflicts: 189000 | #Constraints: 29697
285.05/285.91 c INPROCESSING
285.05/285.91 c GARBAGE COLLECT
285.05/285.91 c rational objective 99
293.13/294.02 c #Conflicts: 190000 | #Constraints: 22103
293.13/294.02 c #Conflicts: 191000 | #Constraints: 23103
293.13/294.02 c #Conflicts: 192000 | #Constraints: 24103
293.13/294.02 c #Conflicts: 193000 | #Constraints: 25103
293.13/294.02 c #Conflicts: 194000 | #Constraints: 26103
293.13/294.02 c #Conflicts: 195000 | #Constraints: 27103
293.13/294.02 c #Conflicts: 196000 | #Constraints: 28103
293.13/294.02 c #Conflicts: 197000 | #Constraints: 29103
293.13/294.02 c #Conflicts: 198000 | #Constraints: 30103
293.13/294.02 c INPROCESSING
293.13/294.02 c GARBAGE COLLECT
293.13/294.02 c rational objective 99
304.21/305.11 c #Conflicts: 199000 | #Constraints: 22310
304.21/305.11 c #Conflicts: 200000 | #Constraints: 23310
304.21/305.11 c #Conflicts: 201000 | #Constraints: 24310
304.21/305.11 c #Conflicts: 202000 | #Constraints: 25310
304.21/305.11 c #Conflicts: 203000 | #Constraints: 26310
304.21/305.11 c #Conflicts: 204000 | #Constraints: 27310
304.21/305.11 c #Conflicts: 205000 | #Constraints: 28310
304.21/305.11 c #Conflicts: 206000 | #Constraints: 29310
304.21/305.11 c #Conflicts: 207000 | #Constraints: 30310
304.21/305.11 c INPROCESSING
304.21/305.11 c GARBAGE COLLECT
304.21/305.11 c rational objective 99
316.17/317.12 c #Conflicts: 208000 | #Constraints: 22331
316.17/317.12 c #Conflicts: 209000 | #Constraints: 23331
316.17/317.12 c #Conflicts: 210000 | #Constraints: 24331
316.17/317.12 c #Conflicts: 211000 | #Constraints: 25331
316.17/317.12 c #Conflicts: 212000 | #Constraints: 26331
316.17/317.12 c #Conflicts: 213000 | #Constraints: 27331
316.17/317.12 c #Conflicts: 214000 | #Constraints: 28331
316.17/317.12 c #Conflicts: 215000 | #Constraints: 29331
316.17/317.12 c #Conflicts: 216000 | #Constraints: 30331
316.17/317.12 c INPROCESSING
316.17/317.12 c GARBAGE COLLECT
316.17/317.12 c rational objective 99
328.14/329.19 c #Conflicts: 217000 | #Constraints: 22110
328.14/329.19 c #Conflicts: 218000 | #Constraints: 23110
328.14/329.19 c #Conflicts: 219000 | #Constraints: 24110
328.14/329.19 c #Conflicts: 220000 | #Constraints: 25110
328.14/329.19 c #Conflicts: 221000 | #Constraints: 26110
328.14/329.19 c #Conflicts: 222000 | #Constraints: 27110
328.14/329.19 c #Conflicts: 223000 | #Constraints: 28110
328.14/329.19 c #Conflicts: 224000 | #Constraints: 29110
328.14/329.19 c #Conflicts: 225000 | #Constraints: 30110
328.14/329.19 c #Conflicts: 226000 | #Constraints: 31110
328.14/329.19 c INPROCESSING
328.14/329.19 c GARBAGE COLLECT
328.14/329.19 c rational objective 99
343.11/344.17 c #Conflicts: 227000 | #Constraints: 22704
343.11/344.17 c #Conflicts: 228000 | #Constraints: 23704
343.11/344.17 c #Conflicts: 229000 | #Constraints: 24704
343.11/344.17 c #Conflicts: 230000 | #Constraints: 25704
343.11/344.17 c #Conflicts: 231000 | #Constraints: 26704
343.11/344.17 c #Conflicts: 232000 | #Constraints: 27704
343.11/344.17 c #Conflicts: 233000 | #Constraints: 28704
343.11/344.17 c #Conflicts: 234000 | #Constraints: 29704
343.11/344.17 c #Conflicts: 235000 | #Constraints: 30704
343.11/344.17 c #Conflicts: 236000 | #Constraints: 31704
343.11/344.17 c INPROCESSING
343.11/344.17 c GARBAGE COLLECT
343.11/344.17 c rational objective 99
361.15/362.24 c #Conflicts: 237000 | #Constraints: 23113
361.15/362.24 c #Conflicts: 238000 | #Constraints: 24113
361.15/362.24 c #Conflicts: 239000 | #Constraints: 25113
361.15/362.24 c #Conflicts: 240000 | #Constraints: 26113
361.15/362.24 c #Conflicts: 241000 | #Constraints: 27113
361.15/362.24 c #Conflicts: 242000 | #Constraints: 28113
361.15/362.24 c #Conflicts: 243000 | #Constraints: 29113
361.15/362.24 c #Conflicts: 244000 | #Constraints: 30113
361.15/362.24 c #Conflicts: 245000 | #Constraints: 31113
361.15/362.24 c #Conflicts: 246000 | #Constraints: 32114
361.15/362.24 c INPROCESSING
361.15/362.24 c GARBAGE COLLECT
361.15/362.24 c rational objective 99
373.23/374.31 c #Conflicts: 247000 | #Constraints: 23311
373.23/374.31 c #Conflicts: 248000 | #Constraints: 24311
373.23/374.31 c #Conflicts: 249000 | #Constraints: 25311
373.23/374.31 c #Conflicts: 250000 | #Constraints: 26311
373.23/374.31 c #Conflicts: 251000 | #Constraints: 27311
373.23/374.31 c #Conflicts: 252000 | #Constraints: 28311
373.23/374.31 c #Conflicts: 253000 | #Constraints: 29311
373.23/374.31 c #Conflicts: 254000 | #Constraints: 30311
373.23/374.31 c #Conflicts: 255000 | #Constraints: 31311
373.23/374.31 c #Conflicts: 256000 | #Constraints: 32311
373.23/374.31 c INPROCESSING
373.23/374.31 c GARBAGE COLLECT
373.23/374.31 c rational objective 99
483.35/484.80 c #Conflicts: 257000 | #Constraints: 23307
483.35/484.80 c #Conflicts: 258000 | #Constraints: 24307
483.35/484.80 c #Conflicts: 259000 | #Constraints: 25308
483.35/484.80 c #Conflicts: 260000 | #Constraints: 26308
483.35/484.80 c #Conflicts: 261000 | #Constraints: 27308
483.35/484.80 c #Conflicts: 262000 | #Constraints: 28308
483.35/484.80 c #Conflicts: 263000 | #Constraints: 29308
483.35/484.80 c #Conflicts: 264000 | #Constraints: 30308
483.35/484.80 c #Conflicts: 265000 | #Constraints: 31308
483.35/484.80 c #Conflicts: 266000 | #Constraints: 32308
483.35/484.80 c INPROCESSING
483.35/484.80 c GARBAGE COLLECT
483.35/484.80 c #Conflicts: 267000 | #Constraints: 23117
483.35/484.80 c #Conflicts: 268000 | #Constraints: 24117
483.35/484.80 c #Conflicts: 269000 | #Constraints: 25117
483.35/484.80 c #Conflicts: 270000 | #Constraints: 26117
483.35/484.80 c #Conflicts: 271000 | #Constraints: 27118
483.35/484.80 c #Conflicts: 272000 | #Constraints: 28118
483.35/484.80 c #Conflicts: 273000 | #Constraints: 29118
483.35/484.80 c #Conflicts: 274000 | #Constraints: 30118
483.35/484.80 c #Conflicts: 275000 | #Constraints: 31118
483.35/484.80 c #Conflicts: 276000 | #Constraints: 32119
483.45/484.80 c #Conflicts: 277000 | #Constraints: 33119
483.45/484.80 c INPROCESSING
483.45/484.80 c GARBAGE COLLECT
483.45/484.80 c rational objective 99
648.15/649.94 c #Conflicts: 278000 | #Constraints: 23737
648.15/649.94 c #Conflicts: 279000 | #Constraints: 24737
648.15/649.94 c #Conflicts: 280000 | #Constraints: 25737
648.15/649.94 c #Conflicts: 281000 | #Constraints: 26737
648.15/649.94 c #Conflicts: 282000 | #Constraints: 27737
648.15/649.94 c #Conflicts: 283000 | #Constraints: 28737
648.15/649.94 c #Conflicts: 284000 | #Constraints: 29737
648.15/649.94 c #Conflicts: 285000 | #Constraints: 30737
648.15/649.94 c #Conflicts: 286000 | #Constraints: 31737
648.15/649.94 c #Conflicts: 287000 | #Constraints: 32737
648.15/649.94 c #Conflicts: 288000 | #Constraints: 33737
648.15/649.94 c INPROCESSING
648.15/649.94 c GARBAGE COLLECT
648.15/649.94 c #Conflicts: 289000 | #Constraints: 24119
648.15/649.94 c #Conflicts: 290000 | #Constraints: 25119
648.15/649.94 c #Conflicts: 291000 | #Constraints: 26119
648.15/649.94 c #Conflicts: 292000 | #Constraints: 27119
648.15/649.94 c #Conflicts: 293000 | #Constraints: 28119
648.15/649.94 c #Conflicts: 294000 | #Constraints: 29119
648.15/649.94 c #Conflicts: 295000 | #Constraints: 30119
648.15/649.94 c #Conflicts: 296000 | #Constraints: 31119
648.15/649.94 c #Conflicts: 297000 | #Constraints: 32119
648.15/649.94 c #Conflicts: 298000 | #Constraints: 33119
648.15/649.94 c #Conflicts: 299000 | #Constraints: 34119
648.15/649.94 c INPROCESSING
648.15/649.94 c GARBAGE COLLECT
648.15/649.94 c #Conflicts: 300000 | #Constraints: 24309
648.15/649.94 c #Conflicts: 301000 | #Constraints: 25309
648.15/649.94 c #Conflicts: 302000 | #Constraints: 26309
648.15/649.94 c #Conflicts: 303000 | #Constraints: 27309
648.15/649.94 c #Conflicts: 304000 | #Constraints: 28309
648.15/649.94 c #Conflicts: 305000 | #Constraints: 29309
648.15/649.94 c #Conflicts: 306000 | #Constraints: 30309
648.15/649.94 c #Conflicts: 307000 | #Constraints: 31309
648.15/649.94 c #Conflicts: 308000 | #Constraints: 32310
648.15/649.94 c #Conflicts: 309000 | #Constraints: 33310
648.15/649.94 c #Conflicts: 310000 | #Constraints: 34310
648.15/649.94 c INPROCESSING
648.15/649.94 c GARBAGE COLLECT
648.15/649.94 c rational objective 99
660.42/662.29 c #Conflicts: 311000 | #Constraints: 24314
660.42/662.29 c #Conflicts: 312000 | #Constraints: 25314
660.42/662.29 c #Conflicts: 313000 | #Constraints: 26314
660.42/662.29 c #Conflicts: 314000 | #Constraints: 27314
660.42/662.29 c #Conflicts: 315000 | #Constraints: 28314
660.42/662.29 c #Conflicts: 316000 | #Constraints: 29314
660.42/662.29 c #Conflicts: 317000 | #Constraints: 30314
660.42/662.29 c #Conflicts: 318000 | #Constraints: 31314
660.42/662.29 c #Conflicts: 319000 | #Constraints: 32314
660.42/662.29 c #Conflicts: 320000 | #Constraints: 33314
660.42/662.29 c #Conflicts: 321000 | #Constraints: 34314
660.42/662.29 c INPROCESSING
660.42/662.29 c GARBAGE COLLECT
660.42/662.29 c rational objective 99
677.88/679.75 c #Conflicts: 322000 | #Constraints: 24133
677.88/679.75 c #Conflicts: 323000 | #Constraints: 25133
677.88/679.75 c #Conflicts: 324000 | #Constraints: 26133
677.88/679.75 c #Conflicts: 325000 | #Constraints: 27133
677.88/679.75 c #Conflicts: 326000 | #Constraints: 28133
677.88/679.75 c #Conflicts: 327000 | #Constraints: 29133
677.88/679.75 c #Conflicts: 328000 | #Constraints: 30133
677.88/679.75 c #Conflicts: 329000 | #Constraints: 31133
677.88/679.75 c #Conflicts: 330000 | #Constraints: 32133
677.88/679.75 c #Conflicts: 331000 | #Constraints: 33133
677.88/679.75 c #Conflicts: 332000 | #Constraints: 34133
677.88/679.75 c #Conflicts: 333000 | #Constraints: 35133
677.88/679.75 c INPROCESSING
677.88/679.75 c GARBAGE COLLECT
677.88/679.75 c rational objective 99
703.91/705.88 c #Conflicts: 334000 | #Constraints: 24753
703.91/705.88 c #Conflicts: 335000 | #Constraints: 25753
703.91/705.88 c #Conflicts: 336000 | #Constraints: 26753
703.91/705.88 c #Conflicts: 337000 | #Constraints: 27753
703.91/705.88 c #Conflicts: 338000 | #Constraints: 28753
703.91/705.88 c #Conflicts: 339000 | #Constraints: 29753
703.91/705.88 c #Conflicts: 340000 | #Constraints: 30753
703.91/705.88 c #Conflicts: 341000 | #Constraints: 31753
703.91/705.88 c #Conflicts: 342000 | #Constraints: 32753
703.91/705.88 c #Conflicts: 343000 | #Constraints: 33753
703.91/705.88 c #Conflicts: 344000 | #Constraints: 34753
703.91/705.88 c #Conflicts: 345000 | #Constraints: 35753
703.91/705.88 c INPROCESSING
703.91/705.88 c GARBAGE COLLECT
703.91/705.88 c rational objective 99
744.21/746.23 c #Conflicts: 346000 | #Constraints: 25159
744.21/746.23 c #Conflicts: 347000 | #Constraints: 26159
744.21/746.23 c #Conflicts: 348000 | #Constraints: 27159
744.21/746.23 c #Conflicts: 349000 | #Constraints: 28159
744.21/746.23 c #Conflicts: 350000 | #Constraints: 29159
744.21/746.23 c #Conflicts: 351000 | #Constraints: 30159
744.21/746.23 c #Conflicts: 352000 | #Constraints: 31159
744.21/746.23 c #Conflicts: 353000 | #Constraints: 32159
744.21/746.23 c #Conflicts: 354000 | #Constraints: 33159
744.21/746.23 c #Conflicts: 355000 | #Constraints: 34159
744.21/746.23 c #Conflicts: 356000 | #Constraints: 35159
744.21/746.23 c #Conflicts: 357000 | #Constraints: 36159
744.21/746.23 c INPROCESSING
744.21/746.23 c GARBAGE COLLECT
744.21/746.23 c rational objective 99
814.14/816.32 c #Conflicts: 358000 | #Constraints: 25333
814.14/816.32 c #Conflicts: 359000 | #Constraints: 26333
814.14/816.32 c #Conflicts: 360000 | #Constraints: 27333
814.14/816.32 c #Conflicts: 361000 | #Constraints: 28333
814.14/816.32 c #Conflicts: 362000 | #Constraints: 29333
814.14/816.32 c #Conflicts: 363000 | #Constraints: 30333
814.14/816.32 c #Conflicts: 364000 | #Constraints: 31333
814.14/816.32 c #Conflicts: 365000 | #Constraints: 32333
814.14/816.32 c #Conflicts: 366000 | #Constraints: 33333
814.14/816.32 c #Conflicts: 367000 | #Constraints: 34333
814.14/816.32 c #Conflicts: 368000 | #Constraints: 35333
814.14/816.32 c #Conflicts: 369000 | #Constraints: 36333
814.14/816.32 c INPROCESSING
814.14/816.32 c GARBAGE COLLECT
814.14/816.32 c rational objective 99
848.45/850.77 c #Conflicts: 370000 | #Constraints: 25357
848.45/850.77 c #Conflicts: 371000 | #Constraints: 26357
848.45/850.77 c #Conflicts: 372000 | #Constraints: 27357
848.45/850.77 c #Conflicts: 373000 | #Constraints: 28357
848.45/850.77 c #Conflicts: 374000 | #Constraints: 29357
848.45/850.77 c #Conflicts: 375000 | #Constraints: 30357
848.45/850.77 c #Conflicts: 376000 | #Constraints: 31357
848.45/850.77 c #Conflicts: 377000 | #Constraints: 32357
848.45/850.77 c #Conflicts: 378000 | #Constraints: 33357
848.45/850.77 c #Conflicts: 379000 | #Constraints: 34357
848.45/850.77 c #Conflicts: 380000 | #Constraints: 35357
848.45/850.77 c #Conflicts: 381000 | #Constraints: 36357
848.45/850.77 c INPROCESSING
848.45/850.77 c GARBAGE COLLECT
848.45/850.77 c rational objective 99
870.90/873.28 c #Conflicts: 382000 | #Constraints: 25156
870.90/873.28 c #Conflicts: 383000 | #Constraints: 26156
870.90/873.28 c #Conflicts: 384000 | #Constraints: 27156
870.90/873.28 c #Conflicts: 385000 | #Constraints: 28156
870.90/873.28 c #Conflicts: 386000 | #Constraints: 29156
870.90/873.28 c #Conflicts: 387000 | #Constraints: 30156
870.90/873.28 c #Conflicts: 388000 | #Constraints: 31156
870.90/873.28 c #Conflicts: 389000 | #Constraints: 32156
870.90/873.28 c #Conflicts: 390000 | #Constraints: 33156
870.90/873.28 c #Conflicts: 391000 | #Constraints: 34156
870.90/873.28 c #Conflicts: 392000 | #Constraints: 35156
870.90/873.28 c #Conflicts: 393000 | #Constraints: 36156
870.90/873.28 c #Conflicts: 394000 | #Constraints: 37156
870.90/873.28 c INPROCESSING
870.90/873.28 c GARBAGE COLLECT
870.90/873.28 c rational objective 99
889.55/891.95 c #Conflicts: 395000 | #Constraints: 25742
889.55/891.95 c #Conflicts: 396000 | #Constraints: 26742
889.55/891.95 c #Conflicts: 397000 | #Constraints: 27742
889.55/891.95 c #Conflicts: 398000 | #Constraints: 28742
889.55/891.95 c #Conflicts: 399000 | #Constraints: 29742
889.55/891.95 c #Conflicts: 400000 | #Constraints: 30742
889.55/891.95 c #Conflicts: 401000 | #Constraints: 31742
889.55/891.95 c #Conflicts: 402000 | #Constraints: 32742
889.55/891.95 c #Conflicts: 403000 | #Constraints: 33742
889.55/891.95 c #Conflicts: 404000 | #Constraints: 34742
889.55/891.95 c #Conflicts: 405000 | #Constraints: 35742
889.55/891.95 c #Conflicts: 406000 | #Constraints: 36742
889.55/891.95 c #Conflicts: 407000 | #Constraints: 37742
889.55/891.95 c INPROCESSING
889.55/891.95 c GARBAGE COLLECT
889.55/891.95 c rational objective 99
920.48/922.97 c #Conflicts: 408000 | #Constraints: 26161
920.48/922.97 c #Conflicts: 409000 | #Constraints: 27161
920.48/922.97 c #Conflicts: 410000 | #Constraints: 28161
920.48/922.97 c #Conflicts: 411000 | #Constraints: 29161
920.48/922.97 c #Conflicts: 412000 | #Constraints: 30161
920.48/922.97 c #Conflicts: 413000 | #Constraints: 31161
920.48/922.97 c #Conflicts: 414000 | #Constraints: 32161
920.48/922.97 c #Conflicts: 415000 | #Constraints: 33161
920.48/922.97 c #Conflicts: 416000 | #Constraints: 34161
920.48/922.97 c #Conflicts: 417000 | #Constraints: 35161
920.48/922.97 c #Conflicts: 418000 | #Constraints: 36161
920.48/922.97 c #Conflicts: 419000 | #Constraints: 37161
920.48/922.97 c #Conflicts: 420000 | #Constraints: 38161
920.48/922.97 c INPROCESSING
920.48/922.97 c GARBAGE COLLECT
920.48/922.97 c rational objective 99
988.71/991.39 c #Conflicts: 421000 | #Constraints: 26360
988.71/991.39 c #Conflicts: 422000 | #Constraints: 27360
988.71/991.39 c #Conflicts: 423000 | #Constraints: 28360
988.71/991.39 c #Conflicts: 424000 | #Constraints: 29360
988.71/991.39 c #Conflicts: 425000 | #Constraints: 30360
988.71/991.39 c #Conflicts: 426000 | #Constraints: 31360
988.71/991.39 c #Conflicts: 427000 | #Constraints: 32360
988.71/991.39 c #Conflicts: 428000 | #Constraints: 33360
988.71/991.39 c #Conflicts: 429000 | #Constraints: 34360
988.71/991.39 c #Conflicts: 430000 | #Constraints: 35360
988.71/991.39 c #Conflicts: 431000 | #Constraints: 36360
988.71/991.39 c #Conflicts: 432000 | #Constraints: 37360
988.71/991.39 c #Conflicts: 433000 | #Constraints: 38360
988.71/991.39 c INPROCESSING
988.71/991.39 c GARBAGE COLLECT
988.71/991.39 c rational objective 99
1009.45/1012.16 c #Conflicts: 434000 | #Constraints: 26346
1009.45/1012.16 c #Conflicts: 435000 | #Constraints: 27346
1009.45/1012.16 c #Conflicts: 436000 | #Constraints: 28346
1009.45/1012.16 c #Conflicts: 437000 | #Constraints: 29346
1009.45/1012.16 c #Conflicts: 438000 | #Constraints: 30346
1009.45/1012.16 c #Conflicts: 439000 | #Constraints: 31346
1009.45/1012.16 c #Conflicts: 440000 | #Constraints: 32346
1009.45/1012.16 c #Conflicts: 441000 | #Constraints: 33346
1009.45/1012.16 c #Conflicts: 442000 | #Constraints: 34346
1009.45/1012.16 c #Conflicts: 443000 | #Constraints: 35346
1009.45/1012.16 c #Conflicts: 444000 | #Constraints: 36346
1009.45/1012.16 c #Conflicts: 445000 | #Constraints: 37346
1009.45/1012.16 c #Conflicts: 446000 | #Constraints: 38346
1009.45/1012.16 c INPROCESSING
1009.45/1012.16 c GARBAGE COLLECT
1009.45/1012.16 c rational objective 99
1039.48/1042.20 c #Conflicts: 447000 | #Constraints: 26152
1039.48/1042.20 c #Conflicts: 448000 | #Constraints: 27152
1039.48/1042.20 c #Conflicts: 449000 | #Constraints: 28152
1039.48/1042.20 c #Conflicts: 450000 | #Constraints: 29152
1039.48/1042.20 c #Conflicts: 451000 | #Constraints: 30152
1039.48/1042.20 c #Conflicts: 452000 | #Constraints: 31152
1039.48/1042.20 c #Conflicts: 453000 | #Constraints: 32152
1039.48/1042.20 c #Conflicts: 454000 | #Constraints: 33152
1039.48/1042.20 c #Conflicts: 455000 | #Constraints: 34152
1039.48/1042.20 c #Conflicts: 456000 | #Constraints: 35152
1039.48/1042.20 c #Conflicts: 457000 | #Constraints: 36152
1039.48/1042.20 c #Conflicts: 458000 | #Constraints: 37152
1039.48/1042.20 c #Conflicts: 459000 | #Constraints: 38152
1039.48/1042.20 c #Conflicts: 460000 | #Constraints: 39152
1039.48/1042.20 c INPROCESSING
1039.48/1042.20 c GARBAGE COLLECT
1039.48/1042.20 c rational objective 99
1066.01/1068.88 c #Conflicts: 461000 | #Constraints: 26754
1066.01/1068.88 c #Conflicts: 462000 | #Constraints: 27754
1066.01/1068.88 c #Conflicts: 463000 | #Constraints: 28754
1066.01/1068.88 c #Conflicts: 464000 | #Constraints: 29754
1066.01/1068.88 c #Conflicts: 465000 | #Constraints: 30754
1066.01/1068.88 c #Conflicts: 466000 | #Constraints: 31754
1066.01/1068.88 c #Conflicts: 467000 | #Constraints: 32754
1066.01/1068.88 c #Conflicts: 468000 | #Constraints: 33754
1066.01/1068.88 c #Conflicts: 469000 | #Constraints: 34754
1066.01/1068.88 c #Conflicts: 470000 | #Constraints: 35754
1066.01/1068.88 c #Conflicts: 471000 | #Constraints: 36754
1066.01/1068.88 c #Conflicts: 472000 | #Constraints: 37754
1066.01/1068.88 c #Conflicts: 473000 | #Constraints: 38754
1066.01/1068.88 c #Conflicts: 474000 | #Constraints: 39754
1066.01/1068.88 c INPROCESSING
1066.01/1068.88 c GARBAGE COLLECT
1066.01/1068.88 c rational objective 99
1087.96/1090.88 c #Conflicts: 475000 | #Constraints: 27164
1087.96/1090.88 c #Conflicts: 476000 | #Constraints: 28164
1087.96/1090.88 c #Conflicts: 477000 | #Constraints: 29164
1087.96/1090.88 c #Conflicts: 478000 | #Constraints: 30164
1087.96/1090.88 c #Conflicts: 479000 | #Constraints: 31164
1087.96/1090.88 c #Conflicts: 480000 | #Constraints: 32164
1087.96/1090.88 c #Conflicts: 481000 | #Constraints: 33164
1087.96/1090.88 c #Conflicts: 482000 | #Constraints: 34164
1087.96/1090.88 c #Conflicts: 483000 | #Constraints: 35164
1087.96/1090.88 c #Conflicts: 484000 | #Constraints: 36164
1087.96/1090.88 c #Conflicts: 485000 | #Constraints: 37164
1087.96/1090.88 c #Conflicts: 486000 | #Constraints: 38164
1087.96/1090.88 c #Conflicts: 487000 | #Constraints: 39164
1087.96/1090.88 c #Conflicts: 488000 | #Constraints: 40164
1087.96/1090.88 c INPROCESSING
1087.96/1090.88 c GARBAGE COLLECT
1087.96/1090.88 c rational objective 99
1122.67/1125.65 c #Conflicts: 489000 | #Constraints: 27367
1122.67/1125.65 c #Conflicts: 490000 | #Constraints: 28367
1122.67/1125.65 c #Conflicts: 491000 | #Constraints: 29367
1122.67/1125.65 c #Conflicts: 492000 | #Constraints: 30367
1122.67/1125.65 c #Conflicts: 493000 | #Constraints: 31367
1122.67/1125.65 c #Conflicts: 494000 | #Constraints: 32367
1122.67/1125.65 c #Conflicts: 495000 | #Constraints: 33367
1122.67/1125.65 c #Conflicts: 496000 | #Constraints: 34367
1122.67/1125.65 c #Conflicts: 497000 | #Constraints: 35367
1122.67/1125.65 c #Conflicts: 498000 | #Constraints: 36367
1122.67/1125.65 c #Conflicts: 499000 | #Constraints: 37367
1122.67/1125.65 c #Conflicts: 500000 | #Constraints: 38367
1122.67/1125.65 c #Conflicts: 501000 | #Constraints: 39367
1122.67/1125.65 c #Conflicts: 502000 | #Constraints: 40367
1122.67/1125.65 c INPROCESSING
1122.67/1125.65 c GARBAGE COLLECT
1122.67/1125.65 c rational objective 99
1185.52/1188.69 c #Conflicts: 503000 | #Constraints: 27382
1185.52/1188.69 c #Conflicts: 504000 | #Constraints: 28382
1185.52/1188.69 c #Conflicts: 505000 | #Constraints: 29382
1185.52/1188.69 c #Conflicts: 506000 | #Constraints: 30382
1185.52/1188.69 c #Conflicts: 507000 | #Constraints: 31382
1185.52/1188.69 c #Conflicts: 508000 | #Constraints: 32382
1185.52/1188.69 c #Conflicts: 509000 | #Constraints: 33382
1185.52/1188.69 c #Conflicts: 510000 | #Constraints: 34382
1185.52/1188.69 c #Conflicts: 511000 | #Constraints: 35382
1185.52/1188.69 c #Conflicts: 512000 | #Constraints: 36382
1185.52/1188.69 c #Conflicts: 513000 | #Constraints: 37382
1185.52/1188.69 c #Conflicts: 514000 | #Constraints: 38382
1185.52/1188.69 c #Conflicts: 515000 | #Constraints: 39383
1185.52/1188.69 c #Conflicts: 516000 | #Constraints: 40383
1185.52/1188.69 c INPROCESSING
1185.52/1188.69 c GARBAGE COLLECT
1185.52/1188.69 c rational objective 99
1217.54/1220.78 c #Conflicts: 517000 | #Constraints: 27189
1217.54/1220.78 c #Conflicts: 518000 | #Constraints: 28189
1217.54/1220.78 c #Conflicts: 519000 | #Constraints: 29189
1217.54/1220.78 c #Conflicts: 520000 | #Constraints: 30189
1217.54/1220.78 c #Conflicts: 521000 | #Constraints: 31189
1217.54/1220.78 c #Conflicts: 522000 | #Constraints: 32189
1217.54/1220.78 c #Conflicts: 523000 | #Constraints: 33189
1217.54/1220.78 c #Conflicts: 524000 | #Constraints: 34189
1217.54/1220.78 c #Conflicts: 525000 | #Constraints: 35189
1217.54/1220.78 c #Conflicts: 526000 | #Constraints: 36189
1217.54/1220.78 c #Conflicts: 527000 | #Constraints: 37189
1217.54/1220.78 c #Conflicts: 528000 | #Constraints: 38189
1217.54/1220.78 c #Conflicts: 529000 | #Constraints: 39189
1217.54/1220.78 c #Conflicts: 530000 | #Constraints: 40189
1217.54/1220.78 c #Conflicts: 531000 | #Constraints: 41189
1217.54/1220.78 c INPROCESSING
1217.54/1220.78 c GARBAGE COLLECT
1217.54/1220.78 c rational objective 99
1249.07/1252.36 c #Conflicts: 532000 | #Constraints: 27778
1249.07/1252.36 c #Conflicts: 533000 | #Constraints: 28778
1249.07/1252.36 c #Conflicts: 534000 | #Constraints: 29778
1249.07/1252.36 c #Conflicts: 535000 | #Constraints: 30778
1249.07/1252.36 c #Conflicts: 536000 | #Constraints: 31778
1249.07/1252.36 c #Conflicts: 537000 | #Constraints: 32778
1249.07/1252.36 c #Conflicts: 538000 | #Constraints: 33778
1249.07/1252.36 c #Conflicts: 539000 | #Constraints: 34778
1249.07/1252.36 c #Conflicts: 540000 | #Constraints: 35778
1249.07/1252.36 c #Conflicts: 541000 | #Constraints: 36778
1249.07/1252.36 c #Conflicts: 542000 | #Constraints: 37778
1249.07/1252.36 c #Conflicts: 543000 | #Constraints: 38778
1249.07/1252.36 c #Conflicts: 544000 | #Constraints: 39778
1249.07/1252.36 c #Conflicts: 545000 | #Constraints: 40778
1249.07/1252.36 c #Conflicts: 546000 | #Constraints: 41778
1249.07/1252.36 c INPROCESSING
1249.07/1252.36 c GARBAGE COLLECT
1249.07/1252.36 c rational objective 99
1285.57/1288.96 c #Conflicts: 547000 | #Constraints: 28186
1285.57/1288.96 c #Conflicts: 548000 | #Constraints: 29186
1285.57/1288.96 c #Conflicts: 549000 | #Constraints: 30186
1285.57/1288.96 c #Conflicts: 550000 | #Constraints: 31186
1285.57/1288.96 c #Conflicts: 551000 | #Constraints: 32186
1285.57/1288.96 c #Conflicts: 552000 | #Constraints: 33186
1285.57/1288.96 c #Conflicts: 553000 | #Constraints: 34186
1285.57/1288.96 c #Conflicts: 554000 | #Constraints: 35186
1285.57/1288.96 c #Conflicts: 555000 | #Constraints: 36186
1285.57/1288.96 c #Conflicts: 556000 | #Constraints: 37186
1285.57/1288.96 c #Conflicts: 557000 | #Constraints: 38186
1285.57/1288.96 c #Conflicts: 558000 | #Constraints: 39186
1285.57/1288.96 c #Conflicts: 559000 | #Constraints: 40186
1285.57/1288.96 c #Conflicts: 560000 | #Constraints: 41186
1285.57/1288.96 c #Conflicts: 561000 | #Constraints: 42186
1285.57/1288.96 c INPROCESSING
1285.57/1288.96 c GARBAGE COLLECT
1285.57/1288.96 c rational objective 99
1356.40/1359.96 c #Conflicts: 562000 | #Constraints: 28393
1356.40/1359.96 c #Conflicts: 563000 | #Constraints: 29393
1356.40/1359.96 c #Conflicts: 564000 | #Constraints: 30393
1356.40/1359.96 c #Conflicts: 565000 | #Constraints: 31393
1356.40/1359.96 c #Conflicts: 566000 | #Constraints: 32393
1356.40/1359.96 c #Conflicts: 567000 | #Constraints: 33393
1356.40/1359.96 c #Conflicts: 568000 | #Constraints: 34393
1356.40/1359.96 c #Conflicts: 569000 | #Constraints: 35393
1356.40/1359.96 c #Conflicts: 570000 | #Constraints: 36393
1356.40/1359.96 c #Conflicts: 571000 | #Constraints: 37393
1356.40/1359.96 c #Conflicts: 572000 | #Constraints: 38393
1356.40/1359.96 c #Conflicts: 573000 | #Constraints: 39393
1356.40/1359.96 c #Conflicts: 574000 | #Constraints: 40393
1356.40/1359.96 c #Conflicts: 575000 | #Constraints: 41393
1356.40/1359.96 c #Conflicts: 576000 | #Constraints: 42393
1356.40/1359.96 c INPROCESSING
1356.40/1359.96 c GARBAGE COLLECT
1356.40/1359.96 c rational objective 99
1384.13/1387.77 c #Conflicts: 577000 | #Constraints: 28367
1384.13/1387.77 c #Conflicts: 578000 | #Constraints: 29367
1384.13/1387.77 c #Conflicts: 579000 | #Constraints: 30367
1384.13/1387.77 c #Conflicts: 580000 | #Constraints: 31367
1384.13/1387.77 c #Conflicts: 581000 | #Constraints: 32367
1384.13/1387.77 c #Conflicts: 582000 | #Constraints: 33367
1384.13/1387.77 c #Conflicts: 583000 | #Constraints: 34367
1384.13/1387.77 c #Conflicts: 584000 | #Constraints: 35367
1384.13/1387.77 c #Conflicts: 585000 | #Constraints: 36367
1384.13/1387.77 c #Conflicts: 586000 | #Constraints: 37367
1384.13/1387.77 c #Conflicts: 587000 | #Constraints: 38367
1384.13/1387.77 c #Conflicts: 588000 | #Constraints: 39367
1384.13/1387.77 c #Conflicts: 589000 | #Constraints: 40367
1384.13/1387.77 c #Conflicts: 590000 | #Constraints: 41367
1384.13/1387.77 c #Conflicts: 591000 | #Constraints: 42367
1384.13/1387.77 c INPROCESSING
1384.13/1387.77 c GARBAGE COLLECT
1384.13/1387.77 c rational objective 99
1407.77/1411.49 c #Conflicts: 592000 | #Constraints: 28182
1407.77/1411.49 c #Conflicts: 593000 | #Constraints: 29182
1407.77/1411.49 c #Conflicts: 594000 | #Constraints: 30182
1407.77/1411.49 c #Conflicts: 595000 | #Constraints: 31182
1407.77/1411.49 c #Conflicts: 596000 | #Constraints: 32182
1407.77/1411.49 c #Conflicts: 597000 | #Constraints: 33182
1407.77/1411.49 c #Conflicts: 598000 | #Constraints: 34182
1407.77/1411.49 c #Conflicts: 599000 | #Constraints: 35182
1407.77/1411.49 c #Conflicts: 600000 | #Constraints: 36182
1407.77/1411.49 c #Conflicts: 601000 | #Constraints: 37182
1407.77/1411.49 c #Conflicts: 602000 | #Constraints: 38182
1407.77/1411.49 c #Conflicts: 603000 | #Constraints: 39182
1407.77/1411.49 c #Conflicts: 604000 | #Constraints: 40182
1407.77/1411.49 c #Conflicts: 605000 | #Constraints: 41182
1407.77/1411.49 c #Conflicts: 606000 | #Constraints: 42182
1407.77/1411.49 c #Conflicts: 607000 | #Constraints: 43182
1407.77/1411.49 c INPROCESSING
1407.77/1411.49 c GARBAGE COLLECT
1407.77/1411.49 c rational objective 99
1431.21/1434.97 c #Conflicts: 608000 | #Constraints: 28760
1431.21/1434.97 c #Conflicts: 609000 | #Constraints: 29760
1431.21/1434.97 c #Conflicts: 610000 | #Constraints: 30760
1431.21/1434.97 c #Conflicts: 611000 | #Constraints: 31760
1431.21/1434.97 c #Conflicts: 612000 | #Constraints: 32760
1431.21/1434.97 c #Conflicts: 613000 | #Constraints: 33760
1431.21/1434.97 c #Conflicts: 614000 | #Constraints: 34760
1431.21/1434.97 c #Conflicts: 615000 | #Constraints: 35760
1431.21/1434.97 c #Conflicts: 616000 | #Constraints: 36760
1431.21/1434.97 c #Conflicts: 617000 | #Constraints: 37760
1431.21/1434.97 c #Conflicts: 618000 | #Constraints: 38760
1431.21/1434.97 c #Conflicts: 619000 | #Constraints: 39760
1431.21/1434.97 c #Conflicts: 620000 | #Constraints: 40760
1431.21/1434.97 c #Conflicts: 621000 | #Constraints: 41760
1431.21/1434.97 c #Conflicts: 622000 | #Constraints: 42760
1431.21/1434.97 c #Conflicts: 623000 | #Constraints: 43760
1431.21/1434.97 c INPROCESSING
1431.21/1434.97 c GARBAGE COLLECT
1431.21/1434.97 c rational objective 99
1473.11/1476.93 c #Conflicts: 624000 | #Constraints: 29175
1473.11/1476.93 c #Conflicts: 625000 | #Constraints: 30175
1473.11/1476.93 c #Conflicts: 626000 | #Constraints: 31175
1473.11/1476.93 c #Conflicts: 627000 | #Constraints: 32175
1473.11/1476.93 c #Conflicts: 628000 | #Constraints: 33175
1473.11/1476.93 c #Conflicts: 629000 | #Constraints: 34175
1473.11/1476.93 c #Conflicts: 630000 | #Constraints: 35175
1473.11/1476.93 c #Conflicts: 631000 | #Constraints: 36175
1473.11/1476.93 c #Conflicts: 632000 | #Constraints: 37175
1473.11/1476.93 c #Conflicts: 633000 | #Constraints: 38175
1473.11/1476.93 c #Conflicts: 634000 | #Constraints: 39175
1473.11/1476.93 c #Conflicts: 635000 | #Constraints: 40175
1473.11/1476.93 c #Conflicts: 636000 | #Constraints: 41175
1473.11/1476.93 c #Conflicts: 637000 | #Constraints: 42175
1473.11/1476.93 c #Conflicts: 638000 | #Constraints: 43175
1473.11/1476.93 c #Conflicts: 639000 | #Constraints: 44175
1473.11/1476.93 c INPROCESSING
1473.11/1476.93 c GARBAGE COLLECT
1473.11/1476.93 c rational objective 99
1498.15/1502.10 c #Conflicts: 640000 | #Constraints: 29364
1498.15/1502.10 c #Conflicts: 641000 | #Constraints: 30364
1498.15/1502.10 c #Conflicts: 642000 | #Constraints: 31364
1498.15/1502.10 c #Conflicts: 643000 | #Constraints: 32364
1498.15/1502.10 c #Conflicts: 644000 | #Constraints: 33364
1498.15/1502.10 c #Conflicts: 645000 | #Constraints: 34364
1498.15/1502.10 c #Conflicts: 646000 | #Constraints: 35364
1498.15/1502.10 c #Conflicts: 647000 | #Constraints: 36364
1498.15/1502.10 c #Conflicts: 648000 | #Constraints: 37364
1498.15/1502.10 c #Conflicts: 649000 | #Constraints: 38364
1498.15/1502.10 c #Conflicts: 650000 | #Constraints: 39364
1498.15/1502.10 c #Conflicts: 651000 | #Constraints: 40364
1498.15/1502.10 c #Conflicts: 652000 | #Constraints: 41364
1498.15/1502.10 c #Conflicts: 653000 | #Constraints: 42364
1498.15/1502.10 c #Conflicts: 654000 | #Constraints: 43364
1498.15/1502.10 c #Conflicts: 655000 | #Constraints: 44364
1498.15/1502.10 c INPROCESSING
1498.15/1502.10 c GARBAGE COLLECT
1498.15/1502.10 c rational objective 99
1529.76/1533.75 c #Conflicts: 656000 | #Constraints: 29362
1529.76/1533.75 c #Conflicts: 657000 | #Constraints: 30362
1529.76/1533.75 c #Conflicts: 658000 | #Constraints: 31362
1529.76/1533.75 c #Conflicts: 659000 | #Constraints: 32362
1529.76/1533.75 c #Conflicts: 660000 | #Constraints: 33362
1529.76/1533.75 c #Conflicts: 661000 | #Constraints: 34362
1529.76/1533.75 c #Conflicts: 662000 | #Constraints: 35362
1529.76/1533.75 c #Conflicts: 663000 | #Constraints: 36362
1529.76/1533.75 c #Conflicts: 664000 | #Constraints: 37362
1529.76/1533.75 c #Conflicts: 665000 | #Constraints: 38362
1529.76/1533.75 c #Conflicts: 666000 | #Constraints: 39362
1529.76/1533.75 c #Conflicts: 667000 | #Constraints: 40362
1529.76/1533.75 c #Conflicts: 668000 | #Constraints: 41362
1529.76/1533.75 c #Conflicts: 669000 | #Constraints: 42362
1529.76/1533.75 c #Conflicts: 670000 | #Constraints: 43362
1529.76/1533.75 c #Conflicts: 671000 | #Constraints: 44362
1529.76/1533.75 c INPROCESSING
1529.76/1533.75 c GARBAGE COLLECT
1529.76/1533.75 c rational objective 99
1570.17/1574.21 c #Conflicts: 672000 | #Constraints: 29178
1570.17/1574.21 c #Conflicts: 673000 | #Constraints: 30178
1570.17/1574.21 c #Conflicts: 674000 | #Constraints: 31178
1570.17/1574.21 c #Conflicts: 675000 | #Constraints: 32178
1570.17/1574.21 c #Conflicts: 676000 | #Constraints: 33178
1570.17/1574.21 c #Conflicts: 677000 | #Constraints: 34178
1570.17/1574.21 c #Conflicts: 678000 | #Constraints: 35178
1570.17/1574.21 c #Conflicts: 679000 | #Constraints: 36178
1570.17/1574.21 c #Conflicts: 680000 | #Constraints: 37178
1570.17/1574.21 c #Conflicts: 681000 | #Constraints: 38178
1570.17/1574.21 c #Conflicts: 682000 | #Constraints: 39178
1570.17/1574.21 c #Conflicts: 683000 | #Constraints: 40178
1570.17/1574.21 c #Conflicts: 684000 | #Constraints: 41179
1570.17/1574.21 c #Conflicts: 685000 | #Constraints: 42179
1570.17/1574.21 c #Conflicts: 686000 | #Constraints: 43179
1570.17/1574.21 c #Conflicts: 687000 | #Constraints: 44179
1570.17/1574.21 c #Conflicts: 688000 | #Constraints: 45179
1570.17/1574.21 c INPROCESSING
1570.17/1574.21 c GARBAGE COLLECT
1570.17/1574.21 c rational objective 99
1599.59/1603.78 c #Conflicts: 689000 | #Constraints: 29780
1599.59/1603.78 c #Conflicts: 690000 | #Constraints: 30780
1599.59/1603.78 c #Conflicts: 691000 | #Constraints: 31780
1599.59/1603.78 c #Conflicts: 692000 | #Constraints: 32780
1599.59/1603.78 c #Conflicts: 693000 | #Constraints: 33780
1599.59/1603.78 c #Conflicts: 694000 | #Constraints: 34780
1599.59/1603.78 c #Conflicts: 695000 | #Constraints: 35780
1599.59/1603.78 c #Conflicts: 696000 | #Constraints: 36780
1599.59/1603.78 c #Conflicts: 697000 | #Constraints: 37780
1599.59/1603.78 c #Conflicts: 698000 | #Constraints: 38780
1599.59/1603.78 c #Conflicts: 699000 | #Constraints: 39780
1599.59/1603.78 c #Conflicts: 700000 | #Constraints: 40780
1599.59/1603.78 c #Conflicts: 701000 | #Constraints: 41780
1599.59/1603.78 c #Conflicts: 702000 | #Constraints: 42780
1599.59/1603.78 c #Conflicts: 703000 | #Constraints: 43780
1599.59/1603.78 c #Conflicts: 704000 | #Constraints: 44780
1599.59/1603.78 c #Conflicts: 705000 | #Constraints: 45780
1599.59/1603.78 c INPROCESSING
1599.59/1603.78 c GARBAGE COLLECT
1599.59/1603.78 c rational objective 99
1635.01/1639.24 c #Conflicts: 706000 | #Constraints: 30191
1635.01/1639.24 c #Conflicts: 707000 | #Constraints: 31191
1635.01/1639.24 c #Conflicts: 708000 | #Constraints: 32191
1635.01/1639.24 c #Conflicts: 709000 | #Constraints: 33191
1635.01/1639.24 c #Conflicts: 710000 | #Constraints: 34191
1635.01/1639.24 c #Conflicts: 711000 | #Constraints: 35191
1635.01/1639.24 c #Conflicts: 712000 | #Constraints: 36191
1635.01/1639.24 c #Conflicts: 713000 | #Constraints: 37191
1635.01/1639.24 c #Conflicts: 714000 | #Constraints: 38191
1635.01/1639.24 c #Conflicts: 715000 | #Constraints: 39191
1635.01/1639.24 c #Conflicts: 716000 | #Constraints: 40191
1635.01/1639.24 c #Conflicts: 717000 | #Constraints: 41191
1635.01/1639.24 c #Conflicts: 718000 | #Constraints: 42191
1635.01/1639.24 c #Conflicts: 719000 | #Constraints: 43191
1635.01/1639.24 c #Conflicts: 720000 | #Constraints: 44191
1635.01/1639.24 c #Conflicts: 721000 | #Constraints: 45191
1635.01/1639.24 c #Conflicts: 722000 | #Constraints: 46191
1635.01/1639.24 c INPROCESSING
1635.01/1639.24 c GARBAGE COLLECT
1635.01/1639.24 c rational objective 99
1666.43/1670.72 c #Conflicts: 723000 | #Constraints: 30384
1666.43/1670.72 c #Conflicts: 724000 | #Constraints: 31384
1666.43/1670.72 c #Conflicts: 725000 | #Constraints: 32384
1666.43/1670.72 c #Conflicts: 726000 | #Constraints: 33384
1666.43/1670.72 c #Conflicts: 727000 | #Constraints: 34384
1666.43/1670.72 c #Conflicts: 728000 | #Constraints: 35384
1666.43/1670.72 c #Conflicts: 729000 | #Constraints: 36384
1666.43/1670.72 c #Conflicts: 730000 | #Constraints: 37384
1666.43/1670.72 c #Conflicts: 731000 | #Constraints: 38384
1666.43/1670.72 c #Conflicts: 732000 | #Constraints: 39384
1666.43/1670.72 c #Conflicts: 733000 | #Constraints: 40384
1666.43/1670.72 c #Conflicts: 734000 | #Constraints: 41384
1666.43/1670.72 c #Conflicts: 735000 | #Constraints: 42384
1666.43/1670.72 c #Conflicts: 736000 | #Constraints: 43384
1666.43/1670.72 c #Conflicts: 737000 | #Constraints: 44384
1666.43/1670.72 c #Conflicts: 738000 | #Constraints: 45384
1666.43/1670.72 c #Conflicts: 739000 | #Constraints: 46384
1666.43/1670.72 c INPROCESSING
1666.43/1670.72 c GARBAGE COLLECT
1666.43/1670.72 c rational objective 99
1692.16/1696.54 c #Conflicts: 740000 | #Constraints: 30397
1692.16/1696.54 c #Conflicts: 741000 | #Constraints: 31397
1692.16/1696.54 c #Conflicts: 742000 | #Constraints: 32397
1692.16/1696.54 c #Conflicts: 743000 | #Constraints: 33397
1692.16/1696.54 c #Conflicts: 744000 | #Constraints: 34397
1692.16/1696.54 c #Conflicts: 745000 | #Constraints: 35397
1692.16/1696.54 c #Conflicts: 746000 | #Constraints: 36397
1692.16/1696.54 c #Conflicts: 747000 | #Constraints: 37397
1692.16/1696.54 c #Conflicts: 748000 | #Constraints: 38397
1692.16/1696.54 c #Conflicts: 749000 | #Constraints: 39397
1692.16/1696.54 c #Conflicts: 750000 | #Constraints: 40397
1692.16/1696.54 c #Conflicts: 751000 | #Constraints: 41397
1692.16/1696.54 c #Conflicts: 752000 | #Constraints: 42397
1692.16/1696.54 c #Conflicts: 753000 | #Constraints: 43397
1692.16/1696.54 c #Conflicts: 754000 | #Constraints: 44397
1692.16/1696.54 c #Conflicts: 755000 | #Constraints: 45397
1692.16/1696.54 c #Conflicts: 756000 | #Constraints: 46397
1692.16/1696.54 c INPROCESSING
1692.16/1696.54 c GARBAGE COLLECT
1692.16/1696.54 c rational objective 99
1727.69/1732.18 c #Conflicts: 757000 | #Constraints: 30210
1727.69/1732.18 c #Conflicts: 758000 | #Constraints: 31210
1727.69/1732.18 c #Conflicts: 759000 | #Constraints: 32210
1727.69/1732.18 c #Conflicts: 760000 | #Constraints: 33210
1727.69/1732.18 c #Conflicts: 761000 | #Constraints: 34210
1727.69/1732.18 c #Conflicts: 762000 | #Constraints: 35210
1727.69/1732.18 c #Conflicts: 763000 | #Constraints: 36210
1727.69/1732.18 c #Conflicts: 764000 | #Constraints: 37210
1727.69/1732.18 c #Conflicts: 765000 | #Constraints: 38210
1727.69/1732.18 c #Conflicts: 766000 | #Constraints: 39210
1727.69/1732.18 c #Conflicts: 767000 | #Constraints: 40210
1727.69/1732.18 c #Conflicts: 768000 | #Constraints: 41210
1727.69/1732.18 c #Conflicts: 769000 | #Constraints: 42210
1727.69/1732.18 c #Conflicts: 770000 | #Constraints: 43210
1727.69/1732.18 c #Conflicts: 771000 | #Constraints: 44210
1727.69/1732.18 c #Conflicts: 772000 | #Constraints: 45210
1727.69/1732.18 c #Conflicts: 773000 | #Constraints: 46210
1727.69/1732.18 c #Conflicts: 774000 | #Constraints: 47210
1727.69/1732.18 c INPROCESSING
1727.69/1732.18 c GARBAGE COLLECT
1727.69/1732.18 c rational objective 99
1755.62/1760.19 c #Conflicts: 775000 | #Constraints: 30796
1755.62/1760.19 c #Conflicts: 776000 | #Constraints: 31796
1755.62/1760.19 c #Conflicts: 777000 | #Constraints: 32796
1755.62/1760.19 c #Conflicts: 778000 | #Constraints: 33796
1755.62/1760.19 c #Conflicts: 779000 | #Constraints: 34796
1755.62/1760.19 c #Conflicts: 780000 | #Constraints: 35796
1755.62/1760.19 c #Conflicts: 781000 | #Constraints: 36796
1755.62/1760.19 c #Conflicts: 782000 | #Constraints: 37796
1755.62/1760.19 c #Conflicts: 783000 | #Constraints: 38796
1755.62/1760.19 c #Conflicts: 784000 | #Constraints: 39796
1755.62/1760.19 c #Conflicts: 785000 | #Constraints: 40796
1755.62/1760.19 c #Conflicts: 786000 | #Constraints: 41796
1755.62/1760.19 c #Conflicts: 787000 | #Constraints: 42796
1755.62/1760.19 c #Conflicts: 788000 | #Constraints: 43796
1755.62/1760.19 c #Conflicts: 789000 | #Constraints: 44796
1755.62/1760.19 c #Conflicts: 790000 | #Constraints: 45796
1755.62/1760.19 c #Conflicts: 791000 | #Constraints: 46796
1755.62/1760.19 c #Conflicts: 792000 | #Constraints: 47796
1755.62/1760.19 c INPROCESSING
1755.62/1760.19 c GARBAGE COLLECT
1755.62/1760.19 c rational objective 99
1771.97/1776.50 c #Conflicts: 793000 | #Constraints: 31207
1771.97/1776.50 c #Conflicts: 794000 | #Constraints: 32207
1771.97/1776.50 c #Conflicts: 795000 | #Constraints: 33207
1771.97/1776.50 c #Conflicts: 796000 | #Constraints: 34207
1771.97/1776.50 c #Conflicts: 797000 | #Constraints: 35207
1771.97/1776.50 c #Conflicts: 798000 | #Constraints: 36207
1771.97/1776.50 c #Conflicts: 799000 | #Constraints: 37207
1771.97/1776.50 c #Conflicts: 800000 | #Constraints: 38207
1771.97/1776.50 c #Conflicts: 801000 | #Constraints: 39207
1771.97/1776.50 c #Conflicts: 802000 | #Constraints: 40207
1771.97/1776.50 c #Conflicts: 803000 | #Constraints: 41207
1771.97/1776.50 c #Conflicts: 804000 | #Constraints: 42207
1771.97/1776.50 c #Conflicts: 805000 | #Constraints: 43207
1771.97/1776.50 c #Conflicts: 806000 | #Constraints: 44207
1771.97/1776.50 c #Conflicts: 807000 | #Constraints: 45207
1771.97/1776.50 c #Conflicts: 808000 | #Constraints: 46207
1771.97/1776.50 c #Conflicts: 809000 | #Constraints: 47207
1771.97/1776.50 c #Conflicts: 810000 | #Constraints: 48207
1771.97/1776.50 c INPROCESSING
1771.97/1776.50 c GARBAGE COLLECT
1771.97/1776.50 c rational objective 99
1843.89/1848.63 c #Conflicts: 811000 | #Constraints: 31406
1843.89/1848.63 c #Conflicts: 812000 | #Constraints: 32406
1843.89/1848.63 c #Conflicts: 813000 | #Constraints: 33406
1843.89/1848.63 c #Conflicts: 814000 | #Constraints: 34406
1843.89/1848.63 c #Conflicts: 815000 | #Constraints: 35406
1843.89/1848.63 c #Conflicts: 816000 | #Constraints: 36406
1843.89/1848.63 c #Conflicts: 817000 | #Constraints: 37406
1843.89/1848.63 c #Conflicts: 818000 | #Constraints: 38406
1843.89/1848.63 c #Conflicts: 819000 | #Constraints: 39406
1843.89/1848.63 c #Conflicts: 820000 | #Constraints: 40406
1843.89/1848.63 c #Conflicts: 821000 | #Constraints: 41406
1843.89/1848.63 c #Conflicts: 822000 | #Constraints: 42406
1843.89/1848.63 c #Conflicts: 823000 | #Constraints: 43407
1843.89/1848.63 c #Conflicts: 824000 | #Constraints: 44407
1843.89/1848.63 c #Conflicts: 825000 | #Constraints: 45407
1843.89/1848.63 c #Conflicts: 826000 | #Constraints: 46407
1843.89/1848.63 c #Conflicts: 827000 | #Constraints: 47407
1843.89/1848.63 c #Conflicts: 828000 | #Constraints: 48408
1843.89/1848.63 c INPROCESSING
1843.89/1848.63 c GARBAGE COLLECT
1843.89/1848.63 c rational objective 99
1875.81/1880.60 c #Conflicts: 829000 | #Constraints: 31394
1875.81/1880.60 c #Conflicts: 830000 | #Constraints: 32394
1875.81/1880.60 c #Conflicts: 831000 | #Constraints: 33394
1875.81/1880.60 c #Conflicts: 832000 | #Constraints: 34394
1875.81/1880.60 c #Conflicts: 833000 | #Constraints: 35394
1875.81/1880.60 c #Conflicts: 834000 | #Constraints: 36394
1875.81/1880.60 c #Conflicts: 835000 | #Constraints: 37394
1875.81/1880.60 c #Conflicts: 836000 | #Constraints: 38394
1875.81/1880.60 c #Conflicts: 837000 | #Constraints: 39394
1875.81/1880.60 c #Conflicts: 838000 | #Constraints: 40394
1875.81/1880.60 c #Conflicts: 839000 | #Constraints: 41394
1875.81/1880.60 c #Conflicts: 840000 | #Constraints: 42394
1875.81/1880.60 c #Conflicts: 841000 | #Constraints: 43394
1875.81/1880.60 c #Conflicts: 842000 | #Constraints: 44394
1875.81/1880.60 c #Conflicts: 843000 | #Constraints: 45394
1875.81/1880.60 c #Conflicts: 844000 | #Constraints: 46394
1875.81/1880.60 c #Conflicts: 845000 | #Constraints: 47394
1875.81/1880.60 c #Conflicts: 846000 | #Constraints: 48394
1875.81/1880.60 c INPROCESSING
1875.81/1880.60 c GARBAGE COLLECT
1875.81/1880.60 c rational objective 99
1919.12/1924.07 c #Conflicts: 847000 | #Constraints: 31190
1919.12/1924.07 c #Conflicts: 848000 | #Constraints: 32190
1919.12/1924.07 c #Conflicts: 849000 | #Constraints: 33190
1919.12/1924.07 c #Conflicts: 850000 | #Constraints: 34190
1919.12/1924.07 c #Conflicts: 851000 | #Constraints: 35190
1919.12/1924.07 c #Conflicts: 852000 | #Constraints: 36190
1919.12/1924.07 c #Conflicts: 853000 | #Constraints: 37190
1919.12/1924.07 c #Conflicts: 854000 | #Constraints: 38190
1919.12/1924.07 c #Conflicts: 855000 | #Constraints: 39190
1919.12/1924.07 c #Conflicts: 856000 | #Constraints: 40190
1919.12/1924.07 c #Conflicts: 857000 | #Constraints: 41190
1919.12/1924.07 c #Conflicts: 858000 | #Constraints: 42190
1919.12/1924.07 c #Conflicts: 859000 | #Constraints: 43190
1919.12/1924.07 c #Conflicts: 860000 | #Constraints: 44190
1919.12/1924.07 c #Conflicts: 861000 | #Constraints: 45190
1919.12/1924.07 c #Conflicts: 862000 | #Constraints: 46190
1919.12/1924.07 c #Conflicts: 863000 | #Constraints: 47190
1919.12/1924.07 c #Conflicts: 864000 | #Constraints: 48190
1919.12/1924.07 c #Conflicts: 865000 | #Constraints: 49190
1919.12/1924.07 c INPROCESSING
1919.12/1924.07 c GARBAGE COLLECT
1919.12/1924.07 c rational objective 99
1945.84/1950.83 c #Conflicts: 866000 | #Constraints: 31790
1945.84/1950.83 c #Conflicts: 867000 | #Constraints: 32790
1945.84/1950.83 c #Conflicts: 868000 | #Constraints: 33790
1945.84/1950.83 c #Conflicts: 869000 | #Constraints: 34790
1945.84/1950.83 c #Conflicts: 870000 | #Constraints: 35790
1945.84/1950.83 c #Conflicts: 871000 | #Constraints: 36790
1945.84/1950.83 c #Conflicts: 872000 | #Constraints: 37790
1945.84/1950.83 c #Conflicts: 873000 | #Constraints: 38790
1945.84/1950.83 c #Conflicts: 874000 | #Constraints: 39790
1945.84/1950.83 c #Conflicts: 875000 | #Constraints: 40790
1945.84/1950.83 c #Conflicts: 876000 | #Constraints: 41790
1945.84/1950.83 c #Conflicts: 877000 | #Constraints: 42790
1945.84/1950.83 c #Conflicts: 878000 | #Constraints: 43790
1945.84/1950.83 c #Conflicts: 879000 | #Constraints: 44790
1945.84/1950.83 c #Conflicts: 880000 | #Constraints: 45790
1945.84/1950.83 c #Conflicts: 881000 | #Constraints: 46790
1945.84/1950.83 c #Conflicts: 882000 | #Constraints: 47790
1945.84/1950.83 c #Conflicts: 883000 | #Constraints: 48790
1945.84/1950.83 c #Conflicts: 884000 | #Constraints: 49790
1945.84/1950.83 c INPROCESSING
1945.84/1950.83 c GARBAGE COLLECT
1945.84/1950.83 c rational objective 99
1984.45/1989.52 c #Conflicts: 885000 | #Constraints: 32210
1984.45/1989.52 c #Conflicts: 886000 | #Constraints: 33210
1984.45/1989.52 c #Conflicts: 887000 | #Constraints: 34210
1984.45/1989.52 c #Conflicts: 888000 | #Constraints: 35210
1984.45/1989.52 c #Conflicts: 889000 | #Constraints: 36210
1984.45/1989.52 c #Conflicts: 890000 | #Constraints: 37210
1984.45/1989.52 c #Conflicts: 891000 | #Constraints: 38210
1984.45/1989.52 c #Conflicts: 892000 | #Constraints: 39210
1984.45/1989.52 c #Conflicts: 893000 | #Constraints: 40210
1984.45/1989.52 c #Conflicts: 894000 | #Constraints: 41210
1984.45/1989.52 c #Conflicts: 895000 | #Constraints: 42210
1984.45/1989.52 c #Conflicts: 896000 | #Constraints: 43210
1984.45/1989.52 c #Conflicts: 897000 | #Constraints: 44210
1984.45/1989.52 c #Conflicts: 898000 | #Constraints: 45210
1984.45/1989.52 c #Conflicts: 899000 | #Constraints: 46210
1984.45/1989.52 c #Conflicts: 900000 | #Constraints: 47210
1984.45/1989.52 c #Conflicts: 901000 | #Constraints: 48210
1984.45/1989.52 c #Conflicts: 902000 | #Constraints: 49210
1984.45/1989.52 c #Conflicts: 903000 | #Constraints: 50210
1984.45/1989.52 c INPROCESSING
1984.45/1989.52 c GARBAGE COLLECT
1984.45/1989.52 c rational objective 99
2018.36/2023.50 c #Conflicts: 904000 | #Constraints: 32387
2018.36/2023.50 c #Conflicts: 905000 | #Constraints: 33387
2018.36/2023.50 c #Conflicts: 906000 | #Constraints: 34387
2018.36/2023.50 c #Conflicts: 907000 | #Constraints: 35387
2018.36/2023.50 c #Conflicts: 908000 | #Constraints: 36387
2018.36/2023.50 c #Conflicts: 909000 | #Constraints: 37387
2018.36/2023.50 c #Conflicts: 910000 | #Constraints: 38387
2018.36/2023.50 c #Conflicts: 911000 | #Constraints: 39387
2018.36/2023.50 c #Conflicts: 912000 | #Constraints: 40387
2018.36/2023.50 c #Conflicts: 913000 | #Constraints: 41387
2018.36/2023.50 c #Conflicts: 914000 | #Constraints: 42387
2018.36/2023.50 c #Conflicts: 915000 | #Constraints: 43387
2018.36/2023.50 c #Conflicts: 916000 | #Constraints: 44387
2018.36/2023.50 c #Conflicts: 917000 | #Constraints: 45387
2018.36/2023.50 c #Conflicts: 918000 | #Constraints: 46387
2018.36/2023.50 c #Conflicts: 919000 | #Constraints: 47387
2018.36/2023.50 c #Conflicts: 920000 | #Constraints: 48387
2018.36/2023.50 c #Conflicts: 921000 | #Constraints: 49387
2018.36/2023.50 c #Conflicts: 922000 | #Constraints: 50387
2018.36/2023.50 c INPROCESSING
2018.36/2023.50 c GARBAGE COLLECT
2018.36/2023.50 c rational objective 99
2048.90/2054.12 c #Conflicts: 923000 | #Constraints: 32406
2048.90/2054.12 c #Conflicts: 924000 | #Constraints: 33406
2048.90/2054.12 c #Conflicts: 925000 | #Constraints: 34406
2048.90/2054.12 c #Conflicts: 926000 | #Constraints: 35406
2048.90/2054.12 c #Conflicts: 927000 | #Constraints: 36406
2048.90/2054.12 c #Conflicts: 928000 | #Constraints: 37406
2048.90/2054.12 c #Conflicts: 929000 | #Constraints: 38406
2048.90/2054.12 c #Conflicts: 930000 | #Constraints: 39406
2048.90/2054.12 c #Conflicts: 931000 | #Constraints: 40406
2048.90/2054.12 c #Conflicts: 932000 | #Constraints: 41406
2048.90/2054.12 c #Conflicts: 933000 | #Constraints: 42406
2048.90/2054.12 c #Conflicts: 934000 | #Constraints: 43406
2048.90/2054.12 c #Conflicts: 935000 | #Constraints: 44406
2048.90/2054.12 c #Conflicts: 936000 | #Constraints: 45406
2048.90/2054.12 c #Conflicts: 937000 | #Constraints: 46406
2048.90/2054.12 c #Conflicts: 938000 | #Constraints: 47406
2048.90/2054.12 c #Conflicts: 939000 | #Constraints: 48406
2048.90/2054.12 c #Conflicts: 940000 | #Constraints: 49406
2048.90/2054.12 c #Conflicts: 941000 | #Constraints: 50406
2048.90/2054.12 c INPROCESSING
2048.90/2054.12 c GARBAGE COLLECT
2048.90/2054.12 c rational objective 99
2079.92/2085.28 c #Conflicts: 942000 | #Constraints: 32209
2079.92/2085.28 c #Conflicts: 943000 | #Constraints: 33209
2079.92/2085.28 c #Conflicts: 944000 | #Constraints: 34209
2079.92/2085.28 c #Conflicts: 945000 | #Constraints: 35209
2079.92/2085.28 c #Conflicts: 946000 | #Constraints: 36209
2079.92/2085.28 c #Conflicts: 947000 | #Constraints: 37209
2079.92/2085.28 c #Conflicts: 948000 | #Constraints: 38209
2079.92/2085.28 c #Conflicts: 949000 | #Constraints: 39209
2079.92/2085.28 c #Conflicts: 950000 | #Constraints: 40209
2079.92/2085.28 c #Conflicts: 951000 | #Constraints: 41209
2079.92/2085.28 c #Conflicts: 952000 | #Constraints: 42209
2079.92/2085.28 c #Conflicts: 953000 | #Constraints: 43209
2079.92/2085.28 c #Conflicts: 954000 | #Constraints: 44209
2079.92/2085.28 c #Conflicts: 955000 | #Constraints: 45209
2079.92/2085.28 c #Conflicts: 956000 | #Constraints: 46209
2079.92/2085.28 c #Conflicts: 957000 | #Constraints: 47209
2079.92/2085.28 c #Conflicts: 958000 | #Constraints: 48209
2079.92/2085.28 c #Conflicts: 959000 | #Constraints: 49209
2079.92/2085.28 c #Conflicts: 960000 | #Constraints: 50209
2079.92/2085.28 c #Conflicts: 961000 | #Constraints: 51209
2079.92/2085.28 c INPROCESSING
2079.92/2085.28 c GARBAGE COLLECT
2079.92/2085.28 c rational objective 99
2097.97/2103.32 c #Conflicts: 962000 | #Constraints: 32813
2097.97/2103.32 c #Conflicts: 963000 | #Constraints: 33813
2097.97/2103.32 c #Conflicts: 964000 | #Constraints: 34813
2097.97/2103.32 c #Conflicts: 965000 | #Constraints: 35813
2097.97/2103.32 c #Conflicts: 966000 | #Constraints: 36813
2097.97/2103.32 c #Conflicts: 967000 | #Constraints: 37813
2097.97/2103.32 c #Conflicts: 968000 | #Constraints: 38813
2097.97/2103.32 c #Conflicts: 969000 | #Constraints: 39813
2097.97/2103.32 c #Conflicts: 970000 | #Constraints: 40813
2097.97/2103.32 c #Conflicts: 971000 | #Constraints: 41813
2097.97/2103.32 c #Conflicts: 972000 | #Constraints: 42813
2097.97/2103.32 c #Conflicts: 973000 | #Constraints: 43813
2097.97/2103.32 c #Conflicts: 974000 | #Constraints: 44813
2097.97/2103.32 c #Conflicts: 975000 | #Constraints: 45813
2097.97/2103.32 c #Conflicts: 976000 | #Constraints: 46813
2097.97/2103.32 c #Conflicts: 977000 | #Constraints: 47813
2097.97/2103.32 c #Conflicts: 978000 | #Constraints: 48813
2097.97/2103.32 c #Conflicts: 979000 | #Constraints: 49813
2097.97/2103.32 c #Conflicts: 980000 | #Constraints: 50813
2097.97/2103.32 c #Conflicts: 981000 | #Constraints: 51813
2097.97/2103.32 c INPROCESSING
2097.97/2103.32 c GARBAGE COLLECT
2097.97/2103.32 c rational objective 99
2141.16/2146.68 c #Conflicts: 982000 | #Constraints: 33207
2141.16/2146.68 c #Conflicts: 983000 | #Constraints: 34207
2141.16/2146.68 c #Conflicts: 984000 | #Constraints: 35207
2141.16/2146.68 c #Conflicts: 985000 | #Constraints: 36207
2141.16/2146.68 c #Conflicts: 986000 | #Constraints: 37207
2141.16/2146.68 c #Conflicts: 987000 | #Constraints: 38207
2141.16/2146.68 c #Conflicts: 988000 | #Constraints: 39207
2141.16/2146.68 c #Conflicts: 989000 | #Constraints: 40207
2141.16/2146.68 c #Conflicts: 990000 | #Constraints: 41207
2141.16/2146.68 c #Conflicts: 991000 | #Constraints: 42207
2141.16/2146.68 c #Conflicts: 992000 | #Constraints: 43207
2141.16/2146.68 c #Conflicts: 993000 | #Constraints: 44207
2141.16/2146.68 c #Conflicts: 994000 | #Constraints: 45207
2141.16/2146.68 c #Conflicts: 995000 | #Constraints: 46207
2141.16/2146.68 c #Conflicts: 996000 | #Constraints: 47207
2141.16/2146.68 c #Conflicts: 997000 | #Constraints: 48207
2141.16/2146.68 c #Conflicts: 998000 | #Constraints: 49207
2141.16/2146.68 c #Conflicts: 999000 | #Constraints: 50207
2141.16/2146.68 c #Conflicts: 1000000 | #Constraints: 51207
2141.16/2146.68 c #Conflicts: 1001000 | #Constraints: 52207
2141.16/2146.68 c INPROCESSING
2141.16/2146.68 c GARBAGE COLLECT
2141.16/2146.68 c rational objective 99
2173.38/2178.97 c #Conflicts: 1002000 | #Constraints: 33426
2173.38/2178.97 c #Conflicts: 1003000 | #Constraints: 34426
2173.38/2178.97 c #Conflicts: 1004000 | #Constraints: 35426
2173.38/2178.97 c #Conflicts: 1005000 | #Constraints: 36426
2173.38/2178.97 c #Conflicts: 1006000 | #Constraints: 37426
2173.38/2178.97 c #Conflicts: 1007000 | #Constraints: 38426
2173.38/2178.97 c #Conflicts: 1008000 | #Constraints: 39426
2173.38/2178.97 c #Conflicts: 1009000 | #Constraints: 40426
2173.38/2178.97 c #Conflicts: 1010000 | #Constraints: 41426
2173.38/2178.97 c #Conflicts: 1011000 | #Constraints: 42426
2173.38/2178.97 c #Conflicts: 1012000 | #Constraints: 43426
2173.38/2178.97 c #Conflicts: 1013000 | #Constraints: 44426
2173.38/2178.97 c #Conflicts: 1014000 | #Constraints: 45426
2173.38/2178.97 c #Conflicts: 1015000 | #Constraints: 46426
2173.38/2178.97 c #Conflicts: 1016000 | #Constraints: 47426
2173.38/2178.97 c #Conflicts: 1017000 | #Constraints: 48426
2173.38/2178.97 c #Conflicts: 1018000 | #Constraints: 49426
2173.38/2178.97 c #Conflicts: 1019000 | #Constraints: 50426
2173.38/2178.97 c #Conflicts: 1020000 | #Constraints: 51426
2173.38/2178.97 c #Conflicts: 1021000 | #Constraints: 52426
2173.38/2178.97 c INPROCESSING
2173.38/2178.97 c GARBAGE COLLECT
2173.38/2178.97 c rational objective 99
2215.58/2221.25 c #Conflicts: 1022000 | #Constraints: 33422
2215.58/2221.25 c #Conflicts: 1023000 | #Constraints: 34422
2215.58/2221.25 c #Conflicts: 1024000 | #Constraints: 35422
2215.58/2221.25 c #Conflicts: 1025000 | #Constraints: 36422
2215.58/2221.25 c #Conflicts: 1026000 | #Constraints: 37422
2215.58/2221.25 c #Conflicts: 1027000 | #Constraints: 38422
2215.58/2221.25 c #Conflicts: 1028000 | #Constraints: 39422
2215.58/2221.25 c #Conflicts: 1029000 | #Constraints: 40422
2215.58/2221.25 c #Conflicts: 1030000 | #Constraints: 41422
2215.58/2221.25 c #Conflicts: 1031000 | #Constraints: 42422
2215.58/2221.25 c #Conflicts: 1032000 | #Constraints: 43422
2215.58/2221.25 c #Conflicts: 1033000 | #Constraints: 44422
2215.58/2221.25 c #Conflicts: 1034000 | #Constraints: 45422
2215.58/2221.25 c #Conflicts: 1035000 | #Constraints: 46422
2215.58/2221.25 c #Conflicts: 1036000 | #Constraints: 47422
2215.58/2221.25 c #Conflicts: 1037000 | #Constraints: 48422
2215.58/2221.25 c #Conflicts: 1038000 | #Constraints: 49422
2215.58/2221.25 c #Conflicts: 1039000 | #Constraints: 50422
2215.58/2221.25 c #Conflicts: 1040000 | #Constraints: 51422
2215.58/2221.25 c #Conflicts: 1041000 | #Constraints: 52422
2215.58/2221.25 c INPROCESSING
2215.58/2221.25 c GARBAGE COLLECT
2215.58/2221.25 c rational objective 99
2248.60/2254.39 c #Conflicts: 1042000 | #Constraints: 33212
2248.60/2254.39 c #Conflicts: 1043000 | #Constraints: 34212
2248.60/2254.39 c #Conflicts: 1044000 | #Constraints: 35212
2248.60/2254.39 c #Conflicts: 1045000 | #Constraints: 36212
2248.60/2254.39 c #Conflicts: 1046000 | #Constraints: 37212
2248.60/2254.39 c #Conflicts: 1047000 | #Constraints: 38212
2248.60/2254.39 c #Conflicts: 1048000 | #Constraints: 39212
2248.60/2254.39 c #Conflicts: 1049000 | #Constraints: 40212
2248.60/2254.39 c #Conflicts: 1050000 | #Constraints: 41212
2248.60/2254.39 c #Conflicts: 1051000 | #Constraints: 42212
2248.60/2254.39 c #Conflicts: 1052000 | #Constraints: 43212
2248.60/2254.39 c #Conflicts: 1053000 | #Constraints: 44212
2248.60/2254.39 c #Conflicts: 1054000 | #Constraints: 45212
2248.60/2254.39 c #Conflicts: 1055000 | #Constraints: 46212
2248.60/2254.39 c #Conflicts: 1056000 | #Constraints: 47212
2248.60/2254.39 c #Conflicts: 1057000 | #Constraints: 48212
2248.60/2254.39 c #Conflicts: 1058000 | #Constraints: 49212
2248.60/2254.39 c #Conflicts: 1059000 | #Constraints: 50212
2248.60/2254.39 c #Conflicts: 1060000 | #Constraints: 51212
2248.60/2254.39 c #Conflicts: 1061000 | #Constraints: 52212
2248.60/2254.39 c #Conflicts: 1062000 | #Constraints: 53212
2248.60/2254.39 c INPROCESSING
2248.60/2254.39 c GARBAGE COLLECT
2248.60/2254.39 c rational objective 99
2282.51/2288.38 c #Conflicts: 1063000 | #Constraints: 33811
2282.51/2288.38 c #Conflicts: 1064000 | #Constraints: 34811
2282.51/2288.38 c #Conflicts: 1065000 | #Constraints: 35811
2282.51/2288.38 c #Conflicts: 1066000 | #Constraints: 36811
2282.51/2288.38 c #Conflicts: 1067000 | #Constraints: 37811
2282.51/2288.38 c #Conflicts: 1068000 | #Constraints: 38811
2282.51/2288.38 c #Conflicts: 1069000 | #Constraints: 39811
2282.51/2288.38 c #Conflicts: 1070000 | #Constraints: 40811
2282.51/2288.38 c #Conflicts: 1071000 | #Constraints: 41811
2282.51/2288.38 c #Conflicts: 1072000 | #Constraints: 42811
2282.51/2288.38 c #Conflicts: 1073000 | #Constraints: 43811
2282.51/2288.38 c #Conflicts: 1074000 | #Constraints: 44811
2282.51/2288.38 c #Conflicts: 1075000 | #Constraints: 45811
2282.51/2288.38 c #Conflicts: 1076000 | #Constraints: 46811
2282.51/2288.38 c #Conflicts: 1077000 | #Constraints: 47811
2282.51/2288.38 c #Conflicts: 1078000 | #Constraints: 48811
2282.51/2288.38 c #Conflicts: 1079000 | #Constraints: 49811
2282.51/2288.38 c #Conflicts: 1080000 | #Constraints: 50811
2282.51/2288.38 c #Conflicts: 1081000 | #Constraints: 51811
2282.51/2288.38 c #Conflicts: 1082000 | #Constraints: 52811
2282.51/2288.38 c #Conflicts: 1083000 | #Constraints: 53811
2282.51/2288.38 c INPROCESSING
2282.51/2288.38 c GARBAGE COLLECT
2282.51/2288.38 c rational objective 99
2318.32/2324.22 c #Conflicts: 1084000 | #Constraints: 34223
2318.32/2324.22 c #Conflicts: 1085000 | #Constraints: 35223
2318.32/2324.22 c #Conflicts: 1086000 | #Constraints: 36223
2318.32/2324.22 c #Conflicts: 1087000 | #Constraints: 37223
2318.32/2324.22 c #Conflicts: 1088000 | #Constraints: 38223
2318.32/2324.22 c #Conflicts: 1089000 | #Constraints: 39223
2318.32/2324.22 c #Conflicts: 1090000 | #Constraints: 40223
2318.32/2324.22 c #Conflicts: 1091000 | #Constraints: 41223
2318.32/2324.22 c #Conflicts: 1092000 | #Constraints: 42223
2318.32/2324.22 c #Conflicts: 1093000 | #Constraints: 43223
2318.32/2324.22 c #Conflicts: 1094000 | #Constraints: 44223
2318.32/2324.22 c #Conflicts: 1095000 | #Constraints: 45223
2318.32/2324.22 c #Conflicts: 1096000 | #Constraints: 46223
2318.32/2324.22 c #Conflicts: 1097000 | #Constraints: 47223
2318.32/2324.22 c #Conflicts: 1098000 | #Constraints: 48223
2318.32/2324.22 c #Conflicts: 1099000 | #Constraints: 49223
2318.32/2324.22 c #Conflicts: 1100000 | #Constraints: 50223
2318.32/2324.22 c #Conflicts: 1101000 | #Constraints: 51223
2318.32/2324.22 c #Conflicts: 1102000 | #Constraints: 52223
2318.32/2324.22 c #Conflicts: 1103000 | #Constraints: 53223
2318.32/2324.22 c #Conflicts: 1104000 | #Constraints: 54223
2318.32/2324.22 c INPROCESSING
2318.32/2324.22 c GARBAGE COLLECT
2318.32/2324.22 c rational objective 99
2357.23/2363.27 c #Conflicts: 1105000 | #Constraints: 34402
2357.23/2363.27 c #Conflicts: 1106000 | #Constraints: 35402
2357.23/2363.27 c #Conflicts: 1107000 | #Constraints: 36402
2357.23/2363.27 c #Conflicts: 1108000 | #Constraints: 37402
2357.23/2363.27 c #Conflicts: 1109000 | #Constraints: 38402
2357.23/2363.27 c #Conflicts: 1110000 | #Constraints: 39402
2357.23/2363.27 c #Conflicts: 1111000 | #Constraints: 40402
2357.23/2363.27 c #Conflicts: 1112000 | #Constraints: 41402
2357.23/2363.27 c #Conflicts: 1113000 | #Constraints: 42402
2357.23/2363.27 c #Conflicts: 1114000 | #Constraints: 43402
2357.23/2363.27 c #Conflicts: 1115000 | #Constraints: 44402
2357.23/2363.27 c #Conflicts: 1116000 | #Constraints: 45402
2357.23/2363.27 c #Conflicts: 1117000 | #Constraints: 46402
2357.23/2363.27 c #Conflicts: 1118000 | #Constraints: 47402
2357.23/2363.27 c #Conflicts: 1119000 | #Constraints: 48402
2357.23/2363.27 c #Conflicts: 1120000 | #Constraints: 49402
2357.23/2363.27 c #Conflicts: 1121000 | #Constraints: 50402
2357.23/2363.27 c #Conflicts: 1122000 | #Constraints: 51402
2357.23/2363.27 c #Conflicts: 1123000 | #Constraints: 52402
2357.23/2363.27 c #Conflicts: 1124000 | #Constraints: 53402
2357.23/2363.27 c #Conflicts: 1125000 | #Constraints: 54402
2357.23/2363.27 c INPROCESSING
2357.23/2363.27 c GARBAGE COLLECT
2357.23/2363.27 c rational objective 99
2394.44/2400.52 c #Conflicts: 1126000 | #Constraints: 34430
2394.44/2400.52 c #Conflicts: 1127000 | #Constraints: 35430
2394.44/2400.52 c #Conflicts: 1128000 | #Constraints: 36430
2394.44/2400.52 c #Conflicts: 1129000 | #Constraints: 37430
2394.44/2400.52 c #Conflicts: 1130000 | #Constraints: 38430
2394.44/2400.52 c #Conflicts: 1131000 | #Constraints: 39430
2394.44/2400.52 c #Conflicts: 1132000 | #Constraints: 40430
2394.44/2400.52 c #Conflicts: 1133000 | #Constraints: 41430
2394.44/2400.52 c #Conflicts: 1134000 | #Constraints: 42430
2394.44/2400.52 c #Conflicts: 1135000 | #Constraints: 43430
2394.44/2400.52 c #Conflicts: 1136000 | #Constraints: 44430
2394.44/2400.52 c #Conflicts: 1137000 | #Constraints: 45430
2394.44/2400.52 c #Conflicts: 1138000 | #Constraints: 46430
2394.44/2400.52 c #Conflicts: 1139000 | #Constraints: 47430
2394.44/2400.52 c #Conflicts: 1140000 | #Constraints: 48430
2394.44/2400.52 c #Conflicts: 1141000 | #Constraints: 49430
2394.44/2400.52 c #Conflicts: 1142000 | #Constraints: 50430
2394.44/2400.52 c #Conflicts: 1143000 | #Constraints: 51430
2394.44/2400.52 c #Conflicts: 1144000 | #Constraints: 52430
2394.44/2400.52 c #Conflicts: 1145000 | #Constraints: 53430
2394.44/2400.52 c #Conflicts: 1146000 | #Constraints: 54430
2394.44/2400.52 c INPROCESSING
2394.44/2400.52 c GARBAGE COLLECT
2394.44/2400.52 c rational objective 99
2436.43/2442.64 c #Conflicts: 1147000 | #Constraints: 34208
2436.43/2442.64 c #Conflicts: 1148000 | #Constraints: 35208
2436.43/2442.64 c #Conflicts: 1149000 | #Constraints: 36208
2436.43/2442.64 c #Conflicts: 1150000 | #Constraints: 37208
2436.43/2442.64 c #Conflicts: 1151000 | #Constraints: 38208
2436.43/2442.64 c #Conflicts: 1152000 | #Constraints: 39208
2436.43/2442.64 c #Conflicts: 1153000 | #Constraints: 40208
2436.43/2442.64 c #Conflicts: 1154000 | #Constraints: 41208
2436.43/2442.64 c #Conflicts: 1155000 | #Constraints: 42208
2436.43/2442.64 c #Conflicts: 1156000 | #Constraints: 43208
2436.43/2442.64 c #Conflicts: 1157000 | #Constraints: 44208
2436.43/2442.64 c #Conflicts: 1158000 | #Constraints: 45208
2436.43/2442.64 c #Conflicts: 1159000 | #Constraints: 46208
2436.43/2442.64 c #Conflicts: 1160000 | #Constraints: 47208
2436.43/2442.64 c #Conflicts: 1161000 | #Constraints: 48208
2436.43/2442.64 c #Conflicts: 1162000 | #Constraints: 49208
2436.43/2442.64 c #Conflicts: 1163000 | #Constraints: 50208
2436.43/2442.64 c #Conflicts: 1164000 | #Constraints: 51208
2436.43/2442.64 c #Conflicts: 1165000 | #Constraints: 52208
2436.43/2442.64 c #Conflicts: 1166000 | #Constraints: 53208
2436.43/2442.64 c #Conflicts: 1167000 | #Constraints: 54208
2436.43/2442.64 c #Conflicts: 1168000 | #Constraints: 55208
2436.43/2442.64 c INPROCESSING
2436.43/2442.64 c GARBAGE COLLECT
2436.43/2442.64 c rational objective 99
2480.52/2486.85 c #Conflicts: 1169000 | #Constraints: 34840
2480.52/2486.85 c #Conflicts: 1170000 | #Constraints: 35840
2480.52/2486.85 c #Conflicts: 1171000 | #Constraints: 36840
2480.52/2486.85 c #Conflicts: 1172000 | #Constraints: 37840
2480.52/2486.85 c #Conflicts: 1173000 | #Constraints: 38840
2480.52/2486.85 c #Conflicts: 1174000 | #Constraints: 39840
2480.52/2486.85 c #Conflicts: 1175000 | #Constraints: 40840
2480.52/2486.85 c #Conflicts: 1176000 | #Constraints: 41840
2480.52/2486.85 c #Conflicts: 1177000 | #Constraints: 42840
2480.52/2486.85 c #Conflicts: 1178000 | #Constraints: 43840
2480.52/2486.85 c #Conflicts: 1179000 | #Constraints: 44840
2480.52/2486.85 c #Conflicts: 1180000 | #Constraints: 45840
2480.52/2486.85 c #Conflicts: 1181000 | #Constraints: 46840
2480.52/2486.85 c #Conflicts: 1182000 | #Constraints: 47840
2480.52/2486.85 c #Conflicts: 1183000 | #Constraints: 48840
2480.52/2486.85 c #Conflicts: 1184000 | #Constraints: 49840
2480.52/2486.85 c #Conflicts: 1185000 | #Constraints: 50840
2480.52/2486.85 c #Conflicts: 1186000 | #Constraints: 51840
2480.52/2486.85 c #Conflicts: 1187000 | #Constraints: 52840
2480.52/2486.85 c #Conflicts: 1188000 | #Constraints: 53840
2480.52/2486.85 c #Conflicts: 1189000 | #Constraints: 54840
2480.52/2486.85 c #Conflicts: 1190000 | #Constraints: 55840
2480.52/2486.85 c INPROCESSING
2480.52/2486.85 c GARBAGE COLLECT
2480.52/2486.85 c rational objective 99
2513.84/2520.27 c #Conflicts: 1191000 | #Constraints: 35217
2513.84/2520.27 c #Conflicts: 1192000 | #Constraints: 36217
2513.84/2520.27 c #Conflicts: 1193000 | #Constraints: 37217
2513.84/2520.27 c #Conflicts: 1194000 | #Constraints: 38217
2513.84/2520.27 c #Conflicts: 1195000 | #Constraints: 39217
2513.84/2520.27 c #Conflicts: 1196000 | #Constraints: 40217
2513.84/2520.27 c #Conflicts: 1197000 | #Constraints: 41217
2513.84/2520.27 c #Conflicts: 1198000 | #Constraints: 42217
2513.84/2520.27 c #Conflicts: 1199000 | #Constraints: 43217
2513.84/2520.27 c #Conflicts: 1200000 | #Constraints: 44217
2513.84/2520.27 c #Conflicts: 1201000 | #Constraints: 45217
2513.84/2520.27 c #Conflicts: 1202000 | #Constraints: 46217
2513.84/2520.27 c #Conflicts: 1203000 | #Constraints: 47217
2513.84/2520.27 c #Conflicts: 1204000 | #Constraints: 48217
2513.84/2520.27 c #Conflicts: 1205000 | #Constraints: 49217
2513.84/2520.27 c #Conflicts: 1206000 | #Constraints: 50217
2513.84/2520.27 c #Conflicts: 1207000 | #Constraints: 51217
2513.84/2520.27 c #Conflicts: 1208000 | #Constraints: 52217
2513.84/2520.27 c #Conflicts: 1209000 | #Constraints: 53217
2513.84/2520.27 c #Conflicts: 1210000 | #Constraints: 54217
2513.84/2520.27 c #Conflicts: 1211000 | #Constraints: 55217
2513.84/2520.27 c #Conflicts: 1212000 | #Constraints: 56217
2513.84/2520.27 c INPROCESSING
2513.84/2520.27 c GARBAGE COLLECT
2513.84/2520.27 c rational objective 99
2603.52/2610.11 c #Conflicts: 1213000 | #Constraints: 35403
2603.52/2610.11 c #Conflicts: 1214000 | #Constraints: 36403
2603.52/2610.11 c #Conflicts: 1215000 | #Constraints: 37403
2603.52/2610.11 c #Conflicts: 1216000 | #Constraints: 38403
2603.52/2610.11 c #Conflicts: 1217000 | #Constraints: 39403
2603.52/2610.11 c #Conflicts: 1218000 | #Constraints: 40403
2603.52/2610.11 c #Conflicts: 1219000 | #Constraints: 41403
2603.52/2610.11 c #Conflicts: 1220000 | #Constraints: 42403
2603.52/2610.11 c #Conflicts: 1221000 | #Constraints: 43403
2603.52/2610.11 c #Conflicts: 1222000 | #Constraints: 44403
2603.52/2610.11 c #Conflicts: 1223000 | #Constraints: 45403
2603.52/2610.11 c #Conflicts: 1224000 | #Constraints: 46403
2603.52/2610.11 c #Conflicts: 1225000 | #Constraints: 47403
2603.52/2610.11 c #Conflicts: 1226000 | #Constraints: 48403
2603.52/2610.11 c #Conflicts: 1227000 | #Constraints: 49403
2603.52/2610.11 c #Conflicts: 1228000 | #Constraints: 50404
2603.52/2610.11 c #Conflicts: 1229000 | #Constraints: 51406
2603.52/2610.11 c #Conflicts: 1230000 | #Constraints: 52406
2603.52/2610.11 c #Conflicts: 1231000 | #Constraints: 53406
2603.52/2610.11 c #Conflicts: 1232000 | #Constraints: 54406
2603.52/2610.11 c #Conflicts: 1233000 | #Constraints: 55406
2603.52/2610.11 c #Conflicts: 1234000 | #Constraints: 56407
2603.52/2610.11 c INPROCESSING
2603.52/2610.11 c GARBAGE COLLECT
2603.52/2610.11 c rational objective 99
2644.33/2651.09 c #Conflicts: 1235000 | #Constraints: 35423
2644.33/2651.09 c #Conflicts: 1236000 | #Constraints: 36423
2644.33/2651.09 c #Conflicts: 1237000 | #Constraints: 37423
2644.33/2651.09 c #Conflicts: 1238000 | #Constraints: 38423
2644.33/2651.09 c #Conflicts: 1239000 | #Constraints: 39423
2644.33/2651.09 c #Conflicts: 1240000 | #Constraints: 40423
2644.33/2651.09 c #Conflicts: 1241000 | #Constraints: 41423
2644.33/2651.09 c #Conflicts: 1242000 | #Constraints: 42423
2644.33/2651.09 c #Conflicts: 1243000 | #Constraints: 43423
2644.33/2651.09 c #Conflicts: 1244000 | #Constraints: 44423
2644.33/2651.09 c #Conflicts: 1245000 | #Constraints: 45423
2644.33/2651.09 c #Conflicts: 1246000 | #Constraints: 46423
2644.33/2651.09 c #Conflicts: 1247000 | #Constraints: 47423
2644.33/2651.09 c #Conflicts: 1248000 | #Constraints: 48423
2644.33/2651.09 c #Conflicts: 1249000 | #Constraints: 49423
2644.33/2651.09 c #Conflicts: 1250000 | #Constraints: 50423
2644.33/2651.09 c #Conflicts: 1251000 | #Constraints: 51423
2644.33/2651.09 c #Conflicts: 1252000 | #Constraints: 52423
2644.33/2651.09 c #Conflicts: 1253000 | #Constraints: 53423
2644.33/2651.09 c #Conflicts: 1254000 | #Constraints: 54423
2644.33/2651.09 c #Conflicts: 1255000 | #Constraints: 55423
2644.33/2651.09 c #Conflicts: 1256000 | #Constraints: 56423
2644.33/2651.09 c INPROCESSING
2644.33/2651.09 c GARBAGE COLLECT
2644.33/2651.09 c rational objective 99
2685.52/2692.36 c #Conflicts: 1257000 | #Constraints: 35231
2685.52/2692.36 c #Conflicts: 1258000 | #Constraints: 36231
2685.52/2692.36 c #Conflicts: 1259000 | #Constraints: 37231
2685.52/2692.36 c #Conflicts: 1260000 | #Constraints: 38231
2685.52/2692.36 c #Conflicts: 1261000 | #Constraints: 39231
2685.52/2692.36 c #Conflicts: 1262000 | #Constraints: 40231
2685.52/2692.36 c #Conflicts: 1263000 | #Constraints: 41231
2685.52/2692.36 c #Conflicts: 1264000 | #Constraints: 42231
2685.52/2692.36 c #Conflicts: 1265000 | #Constraints: 43231
2685.52/2692.36 c #Conflicts: 1266000 | #Constraints: 44231
2685.52/2692.36 c #Conflicts: 1267000 | #Constraints: 45231
2685.52/2692.36 c #Conflicts: 1268000 | #Constraints: 46231
2685.52/2692.36 c #Conflicts: 1269000 | #Constraints: 47231
2685.52/2692.36 c #Conflicts: 1270000 | #Constraints: 48231
2685.52/2692.36 c #Conflicts: 1271000 | #Constraints: 49231
2685.52/2692.36 c #Conflicts: 1272000 | #Constraints: 50231
2685.52/2692.36 c #Conflicts: 1273000 | #Constraints: 51231
2685.52/2692.36 c #Conflicts: 1274000 | #Constraints: 52231
2685.52/2692.36 c #Conflicts: 1275000 | #Constraints: 53231
2685.52/2692.36 c #Conflicts: 1276000 | #Constraints: 54231
2685.52/2692.36 c #Conflicts: 1277000 | #Constraints: 55231
2685.52/2692.36 c #Conflicts: 1278000 | #Constraints: 56231
2685.52/2692.36 c #Conflicts: 1279000 | #Constraints: 57231
2685.52/2692.36 c INPROCESSING
2685.52/2692.36 c GARBAGE COLLECT
2685.52/2692.36 c rational objective 99
2710.65/2717.53 c #Conflicts: 1280000 | #Constraints: 35841
2710.65/2717.53 c #Conflicts: 1281000 | #Constraints: 36841
2710.65/2717.53 c #Conflicts: 1282000 | #Constraints: 37841
2710.65/2717.53 c #Conflicts: 1283000 | #Constraints: 38841
2710.65/2717.53 c #Conflicts: 1284000 | #Constraints: 39841
2710.65/2717.53 c #Conflicts: 1285000 | #Constraints: 40841
2710.65/2717.53 c #Conflicts: 1286000 | #Constraints: 41841
2710.65/2717.53 c #Conflicts: 1287000 | #Constraints: 42841
2710.65/2717.53 c #Conflicts: 1288000 | #Constraints: 43841
2710.65/2717.53 c #Conflicts: 1289000 | #Constraints: 44841
2710.65/2717.53 c #Conflicts: 1290000 | #Constraints: 45841
2710.65/2717.53 c #Conflicts: 1291000 | #Constraints: 46841
2710.65/2717.53 c #Conflicts: 1292000 | #Constraints: 47841
2710.65/2717.53 c #Conflicts: 1293000 | #Constraints: 48841
2710.65/2717.53 c #Conflicts: 1294000 | #Constraints: 49841
2710.65/2717.53 c #Conflicts: 1295000 | #Constraints: 50841
2710.65/2717.53 c #Conflicts: 1296000 | #Constraints: 51841
2710.65/2717.53 c #Conflicts: 1297000 | #Constraints: 52841
2710.65/2717.53 c #Conflicts: 1298000 | #Constraints: 53841
2710.65/2717.53 c #Conflicts: 1299000 | #Constraints: 54841
2710.65/2717.53 c #Conflicts: 1300000 | #Constraints: 55841
2710.65/2717.53 c #Conflicts: 1301000 | #Constraints: 56841
2710.65/2717.53 c #Conflicts: 1302000 | #Constraints: 57841
2710.65/2717.53 c INPROCESSING
2710.65/2717.53 c GARBAGE COLLECT
2710.65/2717.53 c rational objective 99
2756.94/2763.97 c #Conflicts: 1303000 | #Constraints: 36235
2756.94/2763.97 c #Conflicts: 1304000 | #Constraints: 37235
2756.94/2763.97 c #Conflicts: 1305000 | #Constraints: 38235
2756.94/2763.97 c #Conflicts: 1306000 | #Constraints: 39235
2756.94/2763.97 c #Conflicts: 1307000 | #Constraints: 40235
2756.94/2763.97 c #Conflicts: 1308000 | #Constraints: 41235
2756.94/2763.97 c #Conflicts: 1309000 | #Constraints: 42235
2756.94/2763.97 c #Conflicts: 1310000 | #Constraints: 43235
2756.94/2763.97 c #Conflicts: 1311000 | #Constraints: 44235
2756.94/2763.97 c #Conflicts: 1312000 | #Constraints: 45235
2756.94/2763.97 c #Conflicts: 1313000 | #Constraints: 46235
2756.94/2763.97 c #Conflicts: 1314000 | #Constraints: 47235
2756.94/2763.97 c #Conflicts: 1315000 | #Constraints: 48235
2756.94/2763.97 c #Conflicts: 1316000 | #Constraints: 49235
2756.94/2763.97 c #Conflicts: 1317000 | #Constraints: 50235
2756.94/2763.97 c #Conflicts: 1318000 | #Constraints: 51235
2756.94/2763.97 c #Conflicts: 1319000 | #Constraints: 52235
2756.94/2763.97 c #Conflicts: 1320000 | #Constraints: 53235
2756.94/2763.97 c #Conflicts: 1321000 | #Constraints: 54235
2756.94/2763.97 c #Conflicts: 1322000 | #Constraints: 55235
2756.94/2763.97 c #Conflicts: 1323000 | #Constraints: 56235
2756.94/2763.97 c #Conflicts: 1324000 | #Constraints: 57235
2756.94/2763.97 c #Conflicts: 1325000 | #Constraints: 58235
2756.94/2763.97 c INPROCESSING
2756.94/2763.97 c GARBAGE COLLECT
2756.94/2763.97 c rational objective 99
2801.04/2808.11 c #Conflicts: 1326000 | #Constraints: 36431
2801.04/2808.11 c #Conflicts: 1327000 | #Constraints: 37431
2801.04/2808.11 c #Conflicts: 1328000 | #Constraints: 38431
2801.04/2808.11 c #Conflicts: 1329000 | #Constraints: 39431
2801.04/2808.11 c #Conflicts: 1330000 | #Constraints: 40431
2801.04/2808.11 c #Conflicts: 1331000 | #Constraints: 41431
2801.04/2808.11 c #Conflicts: 1332000 | #Constraints: 42431
2801.04/2808.11 c #Conflicts: 1333000 | #Constraints: 43431
2801.04/2808.11 c #Conflicts: 1334000 | #Constraints: 44431
2801.04/2808.11 c #Conflicts: 1335000 | #Constraints: 45431
2801.04/2808.11 c #Conflicts: 1336000 | #Constraints: 46431
2801.04/2808.11 c #Conflicts: 1337000 | #Constraints: 47431
2801.04/2808.11 c #Conflicts: 1338000 | #Constraints: 48431
2801.04/2808.11 c #Conflicts: 1339000 | #Constraints: 49431
2801.04/2808.11 c #Conflicts: 1340000 | #Constraints: 50431
2801.04/2808.11 c #Conflicts: 1341000 | #Constraints: 51431
2801.04/2808.11 c #Conflicts: 1342000 | #Constraints: 52431
2801.04/2808.11 c #Conflicts: 1343000 | #Constraints: 53431
2801.04/2808.11 c #Conflicts: 1344000 | #Constraints: 54431
2801.04/2808.11 c #Conflicts: 1345000 | #Constraints: 55431
2801.04/2808.11 c #Conflicts: 1346000 | #Constraints: 56431
2801.04/2808.11 c #Conflicts: 1347000 | #Constraints: 57431
2801.04/2808.11 c #Conflicts: 1348000 | #Constraints: 58431
2801.04/2808.11 c INPROCESSING
2801.04/2808.11 c GARBAGE COLLECT
2801.04/2808.11 c rational objective 99
2840.04/2847.28 c #Conflicts: 1349000 | #Constraints: 36432
2840.04/2847.28 c #Conflicts: 1350000 | #Constraints: 37432
2840.04/2847.28 c #Conflicts: 1351000 | #Constraints: 38432
2840.04/2847.28 c #Conflicts: 1352000 | #Constraints: 39432
2840.04/2847.28 c #Conflicts: 1353000 | #Constraints: 40432
2840.04/2847.28 c #Conflicts: 1354000 | #Constraints: 41432
2840.04/2847.28 c #Conflicts: 1355000 | #Constraints: 42432
2840.04/2847.28 c #Conflicts: 1356000 | #Constraints: 43432
2840.04/2847.28 c #Conflicts: 1357000 | #Constraints: 44432
2840.04/2847.28 c #Conflicts: 1358000 | #Constraints: 45432
2840.04/2847.28 c #Conflicts: 1359000 | #Constraints: 46432
2840.04/2847.28 c #Conflicts: 1360000 | #Constraints: 47432
2840.04/2847.28 c #Conflicts: 1361000 | #Constraints: 48432
2840.04/2847.28 c #Conflicts: 1362000 | #Constraints: 49432
2840.04/2847.28 c #Conflicts: 1363000 | #Constraints: 50432
2840.04/2847.28 c #Conflicts: 1364000 | #Constraints: 51432
2840.04/2847.28 c #Conflicts: 1365000 | #Constraints: 52432
2840.04/2847.28 c #Conflicts: 1366000 | #Constraints: 53432
2840.04/2847.28 c #Conflicts: 1367000 | #Constraints: 54432
2840.04/2847.28 c #Conflicts: 1368000 | #Constraints: 55432
2840.04/2847.28 c #Conflicts: 1369000 | #Constraints: 56432
2840.04/2847.28 c #Conflicts: 1370000 | #Constraints: 57432
2840.04/2847.28 c #Conflicts: 1371000 | #Constraints: 58432
2840.04/2847.28 c INPROCESSING
2840.04/2847.28 c GARBAGE COLLECT
2840.04/2847.28 c rational objective 99
2890.41/2897.74 c #Conflicts: 1372000 | #Constraints: 36218
2890.41/2897.74 c #Conflicts: 1373000 | #Constraints: 37218
2890.41/2897.74 c #Conflicts: 1374000 | #Constraints: 38218
2890.41/2897.74 c #Conflicts: 1375000 | #Constraints: 39218
2890.41/2897.74 c #Conflicts: 1376000 | #Constraints: 40218
2890.41/2897.74 c #Conflicts: 1377000 | #Constraints: 41218
2890.41/2897.74 c #Conflicts: 1378000 | #Constraints: 42218
2890.41/2897.74 c #Conflicts: 1379000 | #Constraints: 43218
2890.41/2897.74 c #Conflicts: 1380000 | #Constraints: 44218
2890.41/2897.74 c #Conflicts: 1381000 | #Constraints: 45218
2890.41/2897.74 c #Conflicts: 1382000 | #Constraints: 46218
2890.41/2897.74 c #Conflicts: 1383000 | #Constraints: 47218
2890.41/2897.74 c #Conflicts: 1384000 | #Constraints: 48218
2890.41/2897.74 c #Conflicts: 1385000 | #Constraints: 49218
2890.41/2897.74 c #Conflicts: 1386000 | #Constraints: 50218
2890.41/2897.74 c #Conflicts: 1387000 | #Constraints: 51218
2890.41/2897.74 c #Conflicts: 1388000 | #Constraints: 52218
2890.41/2897.74 c #Conflicts: 1389000 | #Constraints: 53218
2890.41/2897.74 c #Conflicts: 1390000 | #Constraints: 54218
2890.41/2897.74 c #Conflicts: 1391000 | #Constraints: 55218
2890.41/2897.74 c #Conflicts: 1392000 | #Constraints: 56218
2890.41/2897.74 c #Conflicts: 1393000 | #Constraints: 57218
2890.41/2897.74 c #Conflicts: 1394000 | #Constraints: 58218
2890.41/2897.74 c #Conflicts: 1395000 | #Constraints: 59218
2890.41/2897.74 c INPROCESSING
2890.41/2897.74 c GARBAGE COLLECT
2890.41/2897.74 c rational objective 99
2926.01/2933.48 c #Conflicts: 1396000 | #Constraints: 36839
2926.01/2933.48 c #Conflicts: 1397000 | #Constraints: 37839
2926.01/2933.48 c #Conflicts: 1398000 | #Constraints: 38839
2926.01/2933.48 c #Conflicts: 1399000 | #Constraints: 39839
2926.01/2933.48 c #Conflicts: 1400000 | #Constraints: 40839
2926.01/2933.48 c #Conflicts: 1401000 | #Constraints: 41839
2926.01/2933.48 c #Conflicts: 1402000 | #Constraints: 42839
2926.01/2933.48 c #Conflicts: 1403000 | #Constraints: 43839
2926.01/2933.48 c #Conflicts: 1404000 | #Constraints: 44839
2926.01/2933.48 c #Conflicts: 1405000 | #Constraints: 45839
2926.01/2933.48 c #Conflicts: 1406000 | #Constraints: 46839
2926.01/2933.48 c #Conflicts: 1407000 | #Constraints: 47839
2926.01/2933.48 c #Conflicts: 1408000 | #Constraints: 48839
2926.01/2933.48 c #Conflicts: 1409000 | #Constraints: 49839
2926.01/2933.48 c #Conflicts: 1410000 | #Constraints: 50839
2926.01/2933.48 c #Conflicts: 1411000 | #Constraints: 51839
2926.01/2933.48 c #Conflicts: 1412000 | #Constraints: 52839
2926.01/2933.48 c #Conflicts: 1413000 | #Constraints: 53839
2926.01/2933.48 c #Conflicts: 1414000 | #Constraints: 54839
2926.01/2933.48 c #Conflicts: 1415000 | #Constraints: 55839
2926.01/2933.48 c #Conflicts: 1416000 | #Constraints: 56839
2926.01/2933.48 c #Conflicts: 1417000 | #Constraints: 57839
2926.01/2933.48 c #Conflicts: 1418000 | #Constraints: 58839
2926.01/2933.48 c #Conflicts: 1419000 | #Constraints: 59839
2926.01/2933.48 c INPROCESSING
2926.01/2933.48 c GARBAGE COLLECT
2926.01/2933.48 c rational objective 99
2979.18/2986.75 c #Conflicts: 1420000 | #Constraints: 37249
2979.18/2986.75 c #Conflicts: 1421000 | #Constraints: 38249
2979.18/2986.75 c #Conflicts: 1422000 | #Constraints: 39249
2979.18/2986.75 c #Conflicts: 1423000 | #Constraints: 40249
2979.18/2986.75 c #Conflicts: 1424000 | #Constraints: 41249
2979.18/2986.75 c #Conflicts: 1425000 | #Constraints: 42249
2979.18/2986.75 c #Conflicts: 1426000 | #Constraints: 43249
2979.18/2986.75 c #Conflicts: 1427000 | #Constraints: 44249
2979.18/2986.75 c #Conflicts: 1428000 | #Constraints: 45249
2979.18/2986.75 c #Conflicts: 1429000 | #Constraints: 46249
2979.18/2986.75 c #Conflicts: 1430000 | #Constraints: 47249
2979.18/2986.75 c #Conflicts: 1431000 | #Constraints: 48249
2979.18/2986.75 c #Conflicts: 1432000 | #Constraints: 49249
2979.18/2986.75 c #Conflicts: 1433000 | #Constraints: 50249
2979.18/2986.75 c #Conflicts: 1434000 | #Constraints: 51249
2979.18/2986.75 c #Conflicts: 1435000 | #Constraints: 52249
2979.18/2986.75 c #Conflicts: 1436000 | #Constraints: 53249
2979.18/2986.75 c #Conflicts: 1437000 | #Constraints: 54249
2979.18/2986.75 c #Conflicts: 1438000 | #Constraints: 55249
2979.18/2986.75 c #Conflicts: 1439000 | #Constraints: 56249
2979.18/2986.75 c #Conflicts: 1440000 | #Constraints: 57249
2979.18/2986.75 c #Conflicts: 1441000 | #Constraints: 58249
2979.18/2986.75 c #Conflicts: 1442000 | #Constraints: 59249
2979.18/2986.75 c #Conflicts: 1443000 | #Constraints: 60249
2979.18/2986.75 c INPROCESSING
2979.18/2986.75 c GARBAGE COLLECT
2979.18/2986.75 c rational objective 99
3023.77/3031.49 c #Conflicts: 1444000 | #Constraints: 37413
3023.77/3031.49 c #Conflicts: 1445000 | #Constraints: 38413
3023.77/3031.49 c #Conflicts: 1446000 | #Constraints: 39413
3023.77/3031.49 c #Conflicts: 1447000 | #Constraints: 40413
3023.77/3031.49 c #Conflicts: 1448000 | #Constraints: 41413
3023.77/3031.49 c #Conflicts: 1449000 | #Constraints: 42413
3023.77/3031.49 c #Conflicts: 1450000 | #Constraints: 43413
3023.77/3031.49 c #Conflicts: 1451000 | #Constraints: 44413
3023.77/3031.49 c #Conflicts: 1452000 | #Constraints: 45413
3023.77/3031.49 c #Conflicts: 1453000 | #Constraints: 46413
3023.77/3031.49 c #Conflicts: 1454000 | #Constraints: 47413
3023.77/3031.49 c #Conflicts: 1455000 | #Constraints: 48413
3023.77/3031.49 c #Conflicts: 1456000 | #Constraints: 49413
3023.77/3031.49 c #Conflicts: 1457000 | #Constraints: 50413
3023.77/3031.49 c #Conflicts: 1458000 | #Constraints: 51413
3023.77/3031.49 c #Conflicts: 1459000 | #Constraints: 52413
3023.77/3031.49 c #Conflicts: 1460000 | #Constraints: 53413
3023.77/3031.49 c #Conflicts: 1461000 | #Constraints: 54413
3023.77/3031.49 c #Conflicts: 1462000 | #Constraints: 55413
3023.77/3031.49 c #Conflicts: 1463000 | #Constraints: 56413
3023.77/3031.49 c #Conflicts: 1464000 | #Constraints: 57413
3023.77/3031.49 c #Conflicts: 1465000 | #Constraints: 58413
3023.77/3031.49 c #Conflicts: 1466000 | #Constraints: 59413
3023.77/3031.49 c #Conflicts: 1467000 | #Constraints: 60413
3023.77/3031.49 c INPROCESSING
3023.77/3031.49 c GARBAGE COLLECT
3023.77/3031.49 c rational objective 99
3051.31/3059.00 c #Conflicts: 1468000 | #Constraints: 37440
3051.31/3059.00 c #Conflicts: 1469000 | #Constraints: 38440
3051.31/3059.00 c #Conflicts: 1470000 | #Constraints: 39440
3051.31/3059.00 c #Conflicts: 1471000 | #Constraints: 40440
3051.31/3059.00 c #Conflicts: 1472000 | #Constraints: 41440
3051.31/3059.00 c #Conflicts: 1473000 | #Constraints: 42440
3051.31/3059.00 c #Conflicts: 1474000 | #Constraints: 43440
3051.31/3059.00 c #Conflicts: 1475000 | #Constraints: 44440
3051.31/3059.00 c #Conflicts: 1476000 | #Constraints: 45440
3051.31/3059.00 c #Conflicts: 1477000 | #Constraints: 46440
3051.31/3059.00 c #Conflicts: 1478000 | #Constraints: 47440
3051.31/3059.00 c #Conflicts: 1479000 | #Constraints: 48440
3051.31/3059.00 c #Conflicts: 1480000 | #Constraints: 49440
3051.31/3059.00 c #Conflicts: 1481000 | #Constraints: 50440
3051.31/3059.00 c #Conflicts: 1482000 | #Constraints: 51440
3051.31/3059.00 c #Conflicts: 1483000 | #Constraints: 52440
3051.31/3059.00 c #Conflicts: 1484000 | #Constraints: 53440
3051.31/3059.00 c #Conflicts: 1485000 | #Constraints: 54440
3051.31/3059.00 c #Conflicts: 1486000 | #Constraints: 55440
3051.31/3059.00 c #Conflicts: 1487000 | #Constraints: 56440
3051.31/3059.00 c #Conflicts: 1488000 | #Constraints: 57440
3051.31/3059.00 c #Conflicts: 1489000 | #Constraints: 58440
3051.31/3059.00 c #Conflicts: 1490000 | #Constraints: 59440
3051.31/3059.00 c bounds 101 >= 99 @ 3031.19
3099.39/3107.21 c #Conflicts: 1491000 | #Constraints: 60441
3099.39/3107.21 c INPROCESSING
3099.39/3107.21 c GARBAGE COLLECT
3099.39/3107.21 c rational objective 99
3143.19/3151.16 c #Conflicts: 1492000 | #Constraints: 32172
3143.19/3151.16 c #Conflicts: 1493000 | #Constraints: 33172
3143.19/3151.16 c #Conflicts: 1494000 | #Constraints: 34172
3143.19/3151.16 c #Conflicts: 1495000 | #Constraints: 35172
3143.19/3151.16 c #Conflicts: 1496000 | #Constraints: 36172
3143.19/3151.16 c #Conflicts: 1497000 | #Constraints: 37172
3143.19/3151.16 c #Conflicts: 1498000 | #Constraints: 38172
3143.19/3151.16 c #Conflicts: 1499000 | #Constraints: 39172
3143.19/3151.16 c #Conflicts: 1500000 | #Constraints: 40172
3143.19/3151.16 c #Conflicts: 1501000 | #Constraints: 41172
3143.19/3151.16 c #Conflicts: 1502000 | #Constraints: 42172
3143.19/3151.16 c #Conflicts: 1503000 | #Constraints: 43172
3143.19/3151.16 c #Conflicts: 1504000 | #Constraints: 44172
3143.19/3151.16 c #Conflicts: 1505000 | #Constraints: 45172
3143.19/3151.16 c #Conflicts: 1506000 | #Constraints: 46172
3143.19/3151.16 c #Conflicts: 1507000 | #Constraints: 47172
3143.19/3151.16 c #Conflicts: 1508000 | #Constraints: 48172
3143.19/3151.16 c #Conflicts: 1509000 | #Constraints: 49172
3143.19/3151.16 c #Conflicts: 1510000 | #Constraints: 50172
3143.19/3151.16 c #Conflicts: 1511000 | #Constraints: 51172
3143.19/3151.16 c #Conflicts: 1512000 | #Constraints: 52172
3143.19/3151.16 c #Conflicts: 1513000 | #Constraints: 53172
3143.19/3151.16 c #Conflicts: 1514000 | #Constraints: 54172
3143.19/3151.16 c #Conflicts: 1515000 | #Constraints: 55172
3143.19/3151.16 c #Conflicts: 1516000 | #Constraints: 56172
3143.19/3151.16 c INPROCESSING
3143.19/3151.16 c GARBAGE COLLECT
3143.19/3151.16 c rational objective 99
3181.39/3189.49 c #Conflicts: 1517000 | #Constraints: 34939
3181.39/3189.49 c #Conflicts: 1518000 | #Constraints: 35939
3181.39/3189.49 c #Conflicts: 1519000 | #Constraints: 36939
3181.39/3189.49 c #Conflicts: 1520000 | #Constraints: 37939
3181.39/3189.49 c #Conflicts: 1521000 | #Constraints: 38939
3181.39/3189.49 c #Conflicts: 1522000 | #Constraints: 39939
3181.39/3189.49 c #Conflicts: 1523000 | #Constraints: 40939
3181.39/3189.49 c #Conflicts: 1524000 | #Constraints: 41939
3181.39/3189.49 c #Conflicts: 1525000 | #Constraints: 42939
3181.39/3189.49 c #Conflicts: 1526000 | #Constraints: 43939
3181.39/3189.49 c #Conflicts: 1527000 | #Constraints: 44939
3181.39/3189.49 c #Conflicts: 1528000 | #Constraints: 45939
3181.39/3189.49 c #Conflicts: 1529000 | #Constraints: 46939
3181.39/3189.49 c #Conflicts: 1530000 | #Constraints: 47939
3181.39/3189.49 c #Conflicts: 1531000 | #Constraints: 48939
3181.39/3189.49 c #Conflicts: 1532000 | #Constraints: 49939
3181.39/3189.49 c #Conflicts: 1533000 | #Constraints: 50939
3181.39/3189.49 c #Conflicts: 1534000 | #Constraints: 51939
3181.39/3189.49 c #Conflicts: 1535000 | #Constraints: 52939
3181.39/3189.49 c #Conflicts: 1536000 | #Constraints: 53939
3181.39/3189.49 c #Conflicts: 1537000 | #Constraints: 54939
3181.39/3189.49 c #Conflicts: 1538000 | #Constraints: 55939
3181.39/3189.49 c #Conflicts: 1539000 | #Constraints: 56939
3181.39/3189.49 c #Conflicts: 1540000 | #Constraints: 57939
3181.39/3189.49 c #Conflicts: 1541000 | #Constraints: 58939
3181.39/3189.49 c INPROCESSING
3181.39/3189.49 c GARBAGE COLLECT
3181.39/3189.49 c rational objective 99
3219.09/3227.27 c #Conflicts: 1542000 | #Constraints: 36434
3219.09/3227.27 c #Conflicts: 1543000 | #Constraints: 37434
3219.09/3227.27 c #Conflicts: 1544000 | #Constraints: 38434
3219.09/3227.27 c #Conflicts: 1545000 | #Constraints: 39434
3219.09/3227.27 c #Conflicts: 1546000 | #Constraints: 40434
3219.09/3227.27 c #Conflicts: 1547000 | #Constraints: 41434
3219.09/3227.27 c #Conflicts: 1548000 | #Constraints: 42434
3219.09/3227.27 c #Conflicts: 1549000 | #Constraints: 43434
3219.09/3227.27 c #Conflicts: 1550000 | #Constraints: 44434
3219.09/3227.27 c #Conflicts: 1551000 | #Constraints: 45434
3219.09/3227.27 c #Conflicts: 1552000 | #Constraints: 46434
3219.09/3227.27 c #Conflicts: 1553000 | #Constraints: 47434
3219.09/3227.27 c #Conflicts: 1554000 | #Constraints: 48434
3219.09/3227.27 c #Conflicts: 1555000 | #Constraints: 49434
3219.09/3227.27 c #Conflicts: 1556000 | #Constraints: 50434
3219.09/3227.27 c #Conflicts: 1557000 | #Constraints: 51434
3219.09/3227.27 c #Conflicts: 1558000 | #Constraints: 52434
3219.09/3227.27 c #Conflicts: 1559000 | #Constraints: 53434
3219.09/3227.27 c #Conflicts: 1560000 | #Constraints: 54434
3219.09/3227.27 c #Conflicts: 1561000 | #Constraints: 55434
3219.09/3227.27 c #Conflicts: 1562000 | #Constraints: 56434
3219.09/3227.27 c #Conflicts: 1563000 | #Constraints: 57434
3219.09/3227.27 c #Conflicts: 1564000 | #Constraints: 58434
3219.09/3227.27 c #Conflicts: 1565000 | #Constraints: 59434
3219.09/3227.27 c #Conflicts: 1566000 | #Constraints: 60434
3219.09/3227.27 c INPROCESSING
3219.09/3227.27 c GARBAGE COLLECT
3219.09/3227.27 c rational objective 99
3259.30/3267.52 c #Conflicts: 1567000 | #Constraints: 37177
3259.30/3267.52 c #Conflicts: 1568000 | #Constraints: 38177
3259.30/3267.52 c #Conflicts: 1569000 | #Constraints: 39177
3259.30/3267.52 c #Conflicts: 1570000 | #Constraints: 40177
3259.30/3267.52 c #Conflicts: 1571000 | #Constraints: 41177
3259.30/3267.52 c #Conflicts: 1572000 | #Constraints: 42177
3259.30/3267.52 c #Conflicts: 1573000 | #Constraints: 43177
3259.30/3267.52 c #Conflicts: 1574000 | #Constraints: 44177
3259.30/3267.52 c #Conflicts: 1575000 | #Constraints: 45177
3259.30/3267.52 c #Conflicts: 1576000 | #Constraints: 46177
3259.30/3267.52 c #Conflicts: 1577000 | #Constraints: 47177
3259.30/3267.52 c #Conflicts: 1578000 | #Constraints: 48177
3259.30/3267.52 c #Conflicts: 1579000 | #Constraints: 49177
3259.30/3267.52 c #Conflicts: 1580000 | #Constraints: 50177
3259.30/3267.52 c #Conflicts: 1581000 | #Constraints: 51177
3259.30/3267.52 c #Conflicts: 1582000 | #Constraints: 52177
3259.30/3267.52 c #Conflicts: 1583000 | #Constraints: 53177
3259.30/3267.52 c #Conflicts: 1584000 | #Constraints: 54177
3259.30/3267.52 c #Conflicts: 1585000 | #Constraints: 55177
3259.30/3267.52 c #Conflicts: 1586000 | #Constraints: 56177
3259.30/3267.52 c #Conflicts: 1587000 | #Constraints: 57177
3259.30/3267.52 c #Conflicts: 1588000 | #Constraints: 58177
3259.30/3267.52 c #Conflicts: 1589000 | #Constraints: 59177
3259.30/3267.52 c #Conflicts: 1590000 | #Constraints: 60177
3259.30/3267.52 c #Conflicts: 1591000 | #Constraints: 61177
3259.30/3267.52 c INPROCESSING
3259.30/3267.52 c GARBAGE COLLECT
3259.30/3267.52 c rational objective 99
3293.21/3301.54 c #Conflicts: 1592000 | #Constraints: 37450
3293.21/3301.54 c #Conflicts: 1593000 | #Constraints: 38450
3293.21/3301.54 c #Conflicts: 1594000 | #Constraints: 39450
3293.21/3301.54 c #Conflicts: 1595000 | #Constraints: 40450
3293.21/3301.54 c #Conflicts: 1596000 | #Constraints: 41450
3293.21/3301.54 c #Conflicts: 1597000 | #Constraints: 42450
3293.21/3301.54 c #Conflicts: 1598000 | #Constraints: 43450
3293.21/3301.54 c #Conflicts: 1599000 | #Constraints: 44450
3293.21/3301.54 c #Conflicts: 1600000 | #Constraints: 45450
3293.21/3301.54 c #Conflicts: 1601000 | #Constraints: 46450
3293.21/3301.54 c #Conflicts: 1602000 | #Constraints: 47450
3293.21/3301.54 c #Conflicts: 1603000 | #Constraints: 48450
3293.21/3301.54 c #Conflicts: 1604000 | #Constraints: 49450
3293.21/3301.54 c #Conflicts: 1605000 | #Constraints: 50450
3293.21/3301.54 c #Conflicts: 1606000 | #Constraints: 51450
3293.21/3301.54 c #Conflicts: 1607000 | #Constraints: 52450
3293.21/3301.54 c #Conflicts: 1608000 | #Constraints: 53450
3293.21/3301.54 c #Conflicts: 1609000 | #Constraints: 54450
3293.21/3301.54 c #Conflicts: 1610000 | #Constraints: 55450
3293.21/3301.54 c #Conflicts: 1611000 | #Constraints: 56450
3293.21/3301.54 c #Conflicts: 1612000 | #Constraints: 57450
3293.21/3301.54 c #Conflicts: 1613000 | #Constraints: 58450
3293.21/3301.54 c #Conflicts: 1614000 | #Constraints: 59450
3293.21/3301.54 c #Conflicts: 1615000 | #Constraints: 60450
3293.21/3301.54 c #Conflicts: 1616000 | #Constraints: 61450
3293.21/3301.54 c INPROCESSING
3293.21/3301.54 c GARBAGE COLLECT
3293.21/3301.54 c rational objective 99
3328.63/3337.07 c #Conflicts: 1617000 | #Constraints: 37429
3328.63/3337.07 c #Conflicts: 1618000 | #Constraints: 38429
3328.63/3337.07 c #Conflicts: 1619000 | #Constraints: 39429
3328.63/3337.07 c #Conflicts: 1620000 | #Constraints: 40429
3328.63/3337.07 c #Conflicts: 1621000 | #Constraints: 41429
3328.63/3337.07 c #Conflicts: 1622000 | #Constraints: 42429
3328.63/3337.07 c #Conflicts: 1623000 | #Constraints: 43429
3328.63/3337.07 c #Conflicts: 1624000 | #Constraints: 44429
3328.63/3337.07 c #Conflicts: 1625000 | #Constraints: 45429
3328.63/3337.07 c #Conflicts: 1626000 | #Constraints: 46429
3328.63/3337.07 c #Conflicts: 1627000 | #Constraints: 47429
3328.63/3337.07 c #Conflicts: 1628000 | #Constraints: 48429
3328.63/3337.07 c #Conflicts: 1629000 | #Constraints: 49429
3328.63/3337.07 c #Conflicts: 1630000 | #Constraints: 50429
3328.63/3337.07 c #Conflicts: 1631000 | #Constraints: 51429
3328.63/3337.07 c #Conflicts: 1632000 | #Constraints: 52429
3328.63/3337.07 c #Conflicts: 1633000 | #Constraints: 53429
3328.63/3337.07 c #Conflicts: 1634000 | #Constraints: 54429
3328.63/3337.07 c #Conflicts: 1635000 | #Constraints: 55429
3328.63/3337.07 c #Conflicts: 1636000 | #Constraints: 56429
3328.63/3337.07 c #Conflicts: 1637000 | #Constraints: 57429
3328.63/3337.07 c #Conflicts: 1638000 | #Constraints: 58429
3328.63/3337.07 c #Conflicts: 1639000 | #Constraints: 59429
3328.63/3337.07 c #Conflicts: 1640000 | #Constraints: 60429
3328.63/3337.07 c #Conflicts: 1641000 | #Constraints: 61429
3328.63/3337.07 c #Conflicts: 1642000 | #Constraints: 62429
3328.63/3337.07 c INPROCESSING
3328.63/3337.07 c GARBAGE COLLECT
3328.63/3337.07 c rational objective 99
3389.35/3397.93 c #Conflicts: 1643000 | #Constraints: 38064
3389.35/3397.93 c #Conflicts: 1644000 | #Constraints: 39064
3389.35/3397.93 c #Conflicts: 1645000 | #Constraints: 40064
3389.35/3397.93 c #Conflicts: 1646000 | #Constraints: 41064
3389.35/3397.93 c #Conflicts: 1647000 | #Constraints: 42064
3389.35/3397.93 c #Conflicts: 1648000 | #Constraints: 43064
3389.35/3397.93 c #Conflicts: 1649000 | #Constraints: 44064
3389.35/3397.93 c #Conflicts: 1650000 | #Constraints: 45064
3389.35/3397.93 c #Conflicts: 1651000 | #Constraints: 46064
3389.35/3397.93 c #Conflicts: 1652000 | #Constraints: 47064
3389.35/3397.93 c #Conflicts: 1653000 | #Constraints: 48064
3389.35/3397.93 c #Conflicts: 1654000 | #Constraints: 49064
3389.35/3397.93 c #Conflicts: 1655000 | #Constraints: 50064
3389.35/3397.93 c #Conflicts: 1656000 | #Constraints: 51064
3389.35/3397.93 c #Conflicts: 1657000 | #Constraints: 52064
3389.35/3397.93 c #Conflicts: 1658000 | #Constraints: 53064
3389.35/3397.93 c #Conflicts: 1659000 | #Constraints: 54064
3389.35/3397.93 c #Conflicts: 1660000 | #Constraints: 55064
3389.35/3397.93 c #Conflicts: 1661000 | #Constraints: 56064
3389.35/3397.93 c #Conflicts: 1662000 | #Constraints: 57064
3389.35/3397.93 c #Conflicts: 1663000 | #Constraints: 58064
3389.35/3397.93 c #Conflicts: 1664000 | #Constraints: 59064
3389.35/3397.93 c #Conflicts: 1665000 | #Constraints: 60064
3389.35/3397.93 c #Conflicts: 1666000 | #Constraints: 61064
3389.35/3397.93 c #Conflicts: 1667000 | #Constraints: 62064
3389.35/3397.93 c #Conflicts: 1668000 | #Constraints: 63064
3389.35/3397.93 c INPROCESSING
3389.35/3397.93 c GARBAGE COLLECT
3389.35/3397.93 c rational objective 99
3424.35/3433.00 c #Conflicts: 1669000 | #Constraints: 38517
3424.35/3433.00 c #Conflicts: 1670000 | #Constraints: 39517
3424.35/3433.00 c #Conflicts: 1671000 | #Constraints: 40517
3424.35/3433.00 c #Conflicts: 1672000 | #Constraints: 41517
3424.35/3433.00 c #Conflicts: 1673000 | #Constraints: 42517
3424.35/3433.00 c #Conflicts: 1674000 | #Constraints: 43517
3424.35/3433.00 c #Conflicts: 1675000 | #Constraints: 44517
3424.35/3433.00 c #Conflicts: 1676000 | #Constraints: 45518
3424.35/3433.00 c #Conflicts: 1677000 | #Constraints: 46518
3424.35/3433.00 c #Conflicts: 1678000 | #Constraints: 47518
3424.35/3433.00 c #Conflicts: 1679000 | #Constraints: 48518
3424.35/3433.00 c #Conflicts: 1680000 | #Constraints: 49518
3424.35/3433.00 c #Conflicts: 1681000 | #Constraints: 50518
3424.35/3433.00 c #Conflicts: 1682000 | #Constraints: 51518
3424.35/3433.00 c #Conflicts: 1683000 | #Constraints: 52518
3424.35/3433.00 c #Conflicts: 1684000 | #Constraints: 53518
3424.35/3433.00 c #Conflicts: 1685000 | #Constraints: 54518
3424.35/3433.00 c #Conflicts: 1686000 | #Constraints: 55518
3424.35/3433.00 c #Conflicts: 1687000 | #Constraints: 56518
3424.35/3433.00 c #Conflicts: 1688000 | #Constraints: 57518
3424.35/3433.00 c #Conflicts: 1689000 | #Constraints: 58518
3424.35/3433.00 c #Conflicts: 1690000 | #Constraints: 59518
3424.35/3433.00 c #Conflicts: 1691000 | #Constraints: 60519
3424.35/3433.00 c #Conflicts: 1692000 | #Constraints: 61519
3424.35/3433.00 c #Conflicts: 1693000 | #Constraints: 62519
3424.35/3433.00 c #Conflicts: 1694000 | #Constraints: 63519
3424.35/3433.00 c INPROCESSING
3424.35/3433.00 c GARBAGE COLLECT
3424.35/3433.00 c rational objective 99
3470.11/3478.90 c #Conflicts: 1695000 | #Constraints: 38705
3470.11/3478.90 c #Conflicts: 1696000 | #Constraints: 39705
3470.11/3478.90 c #Conflicts: 1697000 | #Constraints: 40705
3470.11/3478.90 c #Conflicts: 1698000 | #Constraints: 41705
3470.11/3478.90 c #Conflicts: 1699000 | #Constraints: 42705
3470.11/3478.90 c #Conflicts: 1700000 | #Constraints: 43705
3470.11/3478.90 c #Conflicts: 1701000 | #Constraints: 44705
3470.11/3478.90 c #Conflicts: 1702000 | #Constraints: 45705
3470.11/3478.90 c #Conflicts: 1703000 | #Constraints: 46705
3470.11/3478.90 c #Conflicts: 1704000 | #Constraints: 47705
3470.11/3478.90 c #Conflicts: 1705000 | #Constraints: 48705
3470.11/3478.90 c #Conflicts: 1706000 | #Constraints: 49705
3470.11/3478.90 c #Conflicts: 1707000 | #Constraints: 50705
3470.11/3478.90 c #Conflicts: 1708000 | #Constraints: 51705
3470.11/3478.90 c #Conflicts: 1709000 | #Constraints: 52705
3470.11/3478.90 c #Conflicts: 1710000 | #Constraints: 53705
3470.11/3478.90 c #Conflicts: 1711000 | #Constraints: 54705
3470.11/3478.90 c #Conflicts: 1712000 | #Constraints: 55705
3470.11/3478.90 c #Conflicts: 1713000 | #Constraints: 56705
3470.11/3478.90 c #Conflicts: 1714000 | #Constraints: 57705
3470.11/3478.90 c #Conflicts: 1715000 | #Constraints: 58705
3470.11/3478.90 c #Conflicts: 1716000 | #Constraints: 59705
3470.11/3478.90 c #Conflicts: 1717000 | #Constraints: 60705
3470.11/3478.90 c #Conflicts: 1718000 | #Constraints: 61705
3470.11/3478.90 c #Conflicts: 1719000 | #Constraints: 62705
3470.11/3478.90 c #Conflicts: 1720000 | #Constraints: 63705
3470.11/3478.90 c INPROCESSING
3470.11/3478.90 c GARBAGE COLLECT
3470.11/3478.90 c rational objective 99
3500.92/3509.89 c #Conflicts: 1721000 | #Constraints: 38747
3500.92/3509.89 c #Conflicts: 1722000 | #Constraints: 39747
3500.92/3509.89 c #Conflicts: 1723000 | #Constraints: 40747
3500.92/3509.89 c #Conflicts: 1724000 | #Constraints: 41747
3500.92/3509.89 c #Conflicts: 1725000 | #Constraints: 42747
3500.92/3509.89 c #Conflicts: 1726000 | #Constraints: 43747
3500.92/3509.89 c #Conflicts: 1727000 | #Constraints: 44747
3500.92/3509.89 c #Conflicts: 1728000 | #Constraints: 45747
3500.92/3509.89 c #Conflicts: 1729000 | #Constraints: 46747
3500.92/3509.89 c #Conflicts: 1730000 | #Constraints: 47747
3500.92/3509.89 c #Conflicts: 1731000 | #Constraints: 48747
3500.92/3509.89 c #Conflicts: 1732000 | #Constraints: 49747
3500.92/3509.89 c #Conflicts: 1733000 | #Constraints: 50747
3500.92/3509.89 c #Conflicts: 1734000 | #Constraints: 51747
3500.92/3509.89 c #Conflicts: 1735000 | #Constraints: 52747
3500.92/3509.89 c #Conflicts: 1736000 | #Constraints: 53747
3500.92/3509.89 c #Conflicts: 1737000 | #Constraints: 54747
3500.92/3509.89 c #Conflicts: 1738000 | #Constraints: 55747
3500.92/3509.89 c #Conflicts: 1739000 | #Constraints: 56747
3500.92/3509.89 c #Conflicts: 1740000 | #Constraints: 57747
3500.92/3509.89 c #Conflicts: 1741000 | #Constraints: 58747
3500.92/3509.89 c #Conflicts: 1742000 | #Constraints: 59747
3500.92/3509.89 c #Conflicts: 1743000 | #Constraints: 60747
3500.92/3509.89 c #Conflicts: 1744000 | #Constraints: 61747
3500.92/3509.89 c #Conflicts: 1745000 | #Constraints: 62747
3500.92/3509.89 c #Conflicts: 1746000 | #Constraints: 63747
3500.92/3509.89 c INPROCESSING
3500.92/3509.89 c GARBAGE COLLECT
3500.92/3509.89 c rational objective 99
3543.59/3552.67 c #Conflicts: 1747000 | #Constraints: 38552
3543.59/3552.67 c #Conflicts: 1748000 | #Constraints: 39552
3543.59/3552.67 c #Conflicts: 1749000 | #Constraints: 40552
3543.59/3552.67 c #Conflicts: 1750000 | #Constraints: 41552
3543.59/3552.67 c #Conflicts: 1751000 | #Constraints: 42552
3543.59/3552.67 c #Conflicts: 1752000 | #Constraints: 43552
3543.59/3552.67 c #Conflicts: 1753000 | #Constraints: 44552
3543.59/3552.67 c #Conflicts: 1754000 | #Constraints: 45552
3543.59/3552.67 c #Conflicts: 1755000 | #Constraints: 46552
3543.59/3552.67 c #Conflicts: 1756000 | #Constraints: 47552
3543.59/3552.67 c #Conflicts: 1757000 | #Constraints: 48552
3543.59/3552.67 c #Conflicts: 1758000 | #Constraints: 49552
3543.59/3552.67 c #Conflicts: 1759000 | #Constraints: 50552
3543.59/3552.67 c #Conflicts: 1760000 | #Constraints: 51552
3543.59/3552.67 c #Conflicts: 1761000 | #Constraints: 52552
3543.59/3552.67 c #Conflicts: 1762000 | #Constraints: 53552
3543.59/3552.67 c #Conflicts: 1763000 | #Constraints: 54552
3543.59/3552.67 c #Conflicts: 1764000 | #Constraints: 55554
3543.59/3552.67 c #Conflicts: 1765000 | #Constraints: 56554
3543.59/3552.67 c #Conflicts: 1766000 | #Constraints: 57554
3543.59/3552.67 c #Conflicts: 1767000 | #Constraints: 58554
3543.59/3552.67 c #Conflicts: 1768000 | #Constraints: 59554
3543.59/3552.67 c #Conflicts: 1769000 | #Constraints: 60554
3543.59/3552.67 c #Conflicts: 1770000 | #Constraints: 61554
3543.59/3552.67 c #Conflicts: 1771000 | #Constraints: 62554
3543.59/3552.67 c #Conflicts: 1772000 | #Constraints: 63554
3543.59/3552.67 c #Conflicts: 1773000 | #Constraints: 64554
3543.59/3552.67 c INPROCESSING
3543.59/3552.67 c GARBAGE COLLECT
3543.59/3552.67 c rational objective 99
3590.65/3599.86 c #Conflicts: 1774000 | #Constraints: 39157
3590.65/3599.86 c #Conflicts: 1775000 | #Constraints: 40157
3590.65/3599.86 c #Conflicts: 1776000 | #Constraints: 41157
3590.65/3599.86 c #Conflicts: 1777000 | #Constraints: 42157
3590.65/3599.86 c #Conflicts: 1778000 | #Constraints: 43157
3590.65/3599.86 c #Conflicts: 1779000 | #Constraints: 44157
3590.65/3599.86 c #Conflicts: 1780000 | #Constraints: 45157
3590.65/3599.86 c #Conflicts: 1781000 | #Constraints: 46157
3590.65/3599.86 c #Conflicts: 1782000 | #Constraints: 47157
3590.65/3599.86 c #Conflicts: 1783000 | #Constraints: 48157
3590.65/3599.86 c #Conflicts: 1784000 | #Constraints: 49157
3590.65/3599.86 c #Conflicts: 1785000 | #Constraints: 50157
3590.65/3599.86 c #Conflicts: 1786000 | #Constraints: 51157
3590.65/3599.86 c #Conflicts: 1787000 | #Constraints: 52157
3590.65/3599.86 c #Conflicts: 1788000 | #Constraints: 53157
3590.65/3599.86 c #Conflicts: 1789000 | #Constraints: 54157
3590.65/3599.86 c #Conflicts: 1790000 | #Constraints: 55157
3590.65/3599.86 c #Conflicts: 1791000 | #Constraints: 56157
3590.65/3599.86 c #Conflicts: 1792000 | #Constraints: 57157
3590.65/3599.86 c #Conflicts: 1793000 | #Constraints: 58157
3590.65/3599.86 c #Conflicts: 1794000 | #Constraints: 59157
3590.65/3599.86 c #Conflicts: 1795000 | #Constraints: 60157
3590.65/3599.86 c #Conflicts: 1796000 | #Constraints: 61157
3590.65/3599.86 c #Conflicts: 1797000 | #Constraints: 62157
3590.65/3599.86 c #Conflicts: 1798000 | #Constraints: 63157
3590.65/3599.86 c #Conflicts: 1799000 | #Constraints: 64157
3590.65/3599.86 c #Conflicts: 1800000 | #Constraints: 65157
3590.65/3599.86 c INPROCESSING
3590.65/3599.86 c GARBAGE COLLECT
3590.65/3599.86 c rational objective 99
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 (61444 MiB free)
memory of node 1: 64465 MiB (62473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499998-1751414736/watcher-4499998-1751414736 -o /tmp/evaluation-result-4499998-1751414736/solver-4499998-1751414736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67088 --watchdog 3760 run-opt-break.sh HOME/instance-4499998-1751414736.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=67146, runsolver pid=67133
[startup+0.10006 s]*
/proc/loadavg: 1.20 1.84 2.11 5/269 67149
/proc/meminfo: memFree=126730512/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67149] ppid=67146 vsize=64104 memory=55292 CPUtime=0.08 cores=1,3
/proc/67149/stat : 67149 (pbsuma) R 67146 67146 67073 0 -1 4194304 6329 0 0 0 7 1 0 0 20 0 1 0 57152354 65642496 13823 18446744073709551615 4210688 4653049 140734895212336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 33415168 140734895216995 140734895217202 140734895217202 140734895222767 0
/proc/67149/statm: 16026 13823 960 108 0 13434 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68296 KiB
Current children cumulated memory: 58364 KiB
[startup+0.205602 s]*
/proc/loadavg: 1.20 1.84 2.11 5/269 67149
/proc/meminfo: memFree=126466840/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67149] ppid=67146 vsize=128888 memory=109440 CPUtime=0.19 cores=1,3
/proc/67149/stat : 67149 (pbsuma) R 67146 67146 67073 0 -1 4194304 15839 0 0 0 15 4 0 0 20 0 1 0 57152354 131981312 27360 18446744073709551615 4210688 4653049 140734895212336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 33415168 140734895216995 140734895217202 140734895217202 140734895222767 0
/proc/67149/statm: 32222 27360 992 108 0 29630 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133080 KiB
Current children cumulated memory: 112512 KiB
[startup+0.305747 s]*
/proc/loadavg: 1.20 1.84 2.11 5/269 67149
/proc/meminfo: memFree=126365844/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67149] ppid=67146 vsize=188260 memory=149156 CPUtime=0.28 cores=1,3
/proc/67149/stat : 67149 (pbsuma) R 67146 67146 67073 0 -1 4194304 19656 0 0 0 24 4 0 0 20 0 1 0 57152354 192778240 37289 18446744073709551615 4210688 4653049 140734895212336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 33415168 140734895216995 140734895217202 140734895217202 140734895222767 0
/proc/67149/statm: 47065 37289 992 108 0 44473 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 192452 KiB
Current children cumulated memory: 152228 KiB
[startup+0.700162 s]
/proc/loadavg: 1.20 1.84 2.11 5/269 67153
/proc/meminfo: memFree=126540996/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=76768 memory=33412 CPUtime=0.24 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 5364 0 0 0 17 7 0 0 20 0 1 0 57152398 78610432 8353 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 19192 8353 1888 1147 0 6619 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80960 KiB
Current children cumulated memory: 36484 KiB
[startup+1.50022 s]
/proc/loadavg: 1.43 1.88 2.12 5/269 67154
/proc/meminfo: memFree=126464464/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=328908 memory=262484 CPUtime=1.03 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 25991 0 0 0 80 23 0 0 20 0 1 0 57152398 336801792 65621 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 82227 65621 2272 1147 0 69654 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 333100 KiB
Current children cumulated memory: 265556 KiB
[startup+3.10499 s]
/proc/loadavg: 1.43 1.88 2.12 5/263 67196
/proc/meminfo: memFree=126297440/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=375696 memory=299068 CPUtime=2.64 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 31665 0 0 0 236 28 0 0 20 0 1 0 57152398 384712704 74767 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 93924 74767 2368 1147 0 81351 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 379888 KiB
Current children cumulated memory: 302140 KiB
[startup+6.30018 s]
/proc/loadavg: 1.63 1.91 2.13 4/267 67306
/proc/meminfo: memFree=126154352/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=377972 memory=300220 CPUtime=5.82 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 32003 0 0 0 553 29 0 0 20 0 1 0 57152398 387043328 75055 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 94493 75055 2400 1147 0 81920 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 382164 KiB
Current children cumulated memory: 303292 KiB
[startup+12.7002 s]
/proc/loadavg: 1.90 1.97 2.15 4/267 67426
/proc/meminfo: memFree=126023212/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=423660 memory=338272 CPUtime=12.19 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 36731 0 0 0 1170 49 0 0 20 0 1 0 57152398 433827840 84568 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 105915 84568 2400 1147 0 93342 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 427852 KiB
Current children cumulated memory: 341344 KiB
[startup+25.5002 s]
/proc/loadavg: 2.23 2.03 2.17 5/272 67862
/proc/meminfo: memFree=126139144/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=427076 memory=338272 CPUtime=24.95 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 36777 0 0 0 2439 56 0 0 20 0 1 0 57152398 437325824 84568 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 106769 84568 2400 1147 0 94196 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 431268 KiB
Current children cumulated memory: 341344 KiB
[startup+51.1057 s]
/proc/loadavg: 2.93 2.22 2.23 5/272 67956
/proc/meminfo: memFree=125839068/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=437644 memory=352324 CPUtime=50.47 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 38008 0 0 0 4977 70 0 0 20 0 1 0 57152398 448147456 88081 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 109411 88081 2400 1147 0 96838 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 441836 KiB
Current children cumulated memory: 355396 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.51 2.33 5/271 68944
/proc/meminfo: memFree=126124964/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=437644 memory=352580 CPUtime=101.5 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 38114 0 0 0 10050 100 0 0 20 0 1 0 57152398 448147456 88145 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 109411 88145 2400 1147 0 96838 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 441836 KiB
Current children cumulated memory: 355652 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.80 2.44 5/273 68952
/proc/meminfo: memFree=125627336/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=447032 memory=367492 CPUtime=161.34 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 39146 0 0 0 15996 138 0 0 20 0 1 0 57152398 457760768 91873 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 111758 91873 2400 1147 0 99185 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 451224 KiB
Current children cumulated memory: 370564 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.04 2.55 5/273 68954
/proc/meminfo: memFree=124991540/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=450448 memory=379652 CPUtime=221.18 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 39156 0 0 0 21944 174 0 0 20 0 1 0 57152398 461258752 94913 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 112612 94913 2400 1147 0 100039 0
################
# More data... #
################
/proc/meminfo: memFree=120998776/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=520552 memory=448236 CPUtime=3273.64 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 45422 0 0 0 325254 2110 0 0 20 0 1 0 57152398 533045248 112059 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112059 2496 1147 0 117565 0
Current children cumulated CPU time: 3274.06 s
Current children cumulated vsize: 524744 KiB
Current children cumulated memory: 451308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.05 5/271 69120
/proc/meminfo: memFree=120977264/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=520552 memory=450284 CPUtime=3333.49 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 45423 0 0 0 331197 2152 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current children cumulated CPU time: 3333.91 s
Current children cumulated vsize: 524744 KiB
Current children cumulated memory: 453356 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.05 5/270 69122
/proc/meminfo: memFree=121042180/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=520552 memory=450284 CPUtime=3393.32 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 45423 0 0 0 337146 2186 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 524744 KiB
Current children cumulated memory: 453356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/270 69124
/proc/meminfo: memFree=121042752/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=520552 memory=450284 CPUtime=3453.14 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 45423 0 0 0 343086 2228 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 524744 KiB
Current children cumulated memory: 453356 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/269 69126
/proc/meminfo: memFree=120969300/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=520552 memory=450284 CPUtime=3512.96 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 45423 0 0 0 349027 2269 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 524744 KiB
Current children cumulated memory: 453356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/269 69128
/proc/meminfo: memFree=120918580/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=520552 memory=450284 CPUtime=3572.78 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 45423 0 0 0 354961 2317 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 524744 KiB
Current children cumulated memory: 453356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.08 4.09 4.06 5/269 69129
/proc/meminfo: memFree=120918460/131249992 swapFree=33010684/33010684
[pid=67146] ppid=67133 vsize=4192 memory=3072 CPUtime=0.42 cores=1,3
/proc/67146/stat : 67146 (run-opt-break.s) S 67133 67146 67073 0 -1 4194304 234 27632 0 0 0 0 35 7 20 0 1 0 57152353 4292608 768 18446744073709551615 94441760837632 94441761732165 140731158380976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94441761971216 94441762018960 94441773821952 140731158382945 140731158383074 140731158383074 140731158388676 0
/proc/67146/statm: 1048 768 704 219 0 110 0
[pid=67153] ppid=67146 vsize=520552 memory=450284 CPUtime=3599.6 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67146 67146 67073 0 -1 4194304 45423 0 0 0 357626 2334 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 524744 KiB
Current children cumulated memory: 453356 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.2 s]
# the end of solver process 67146 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.358149 s, system=0.080739 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.2 s]
# the end of solver process 67153 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3578.6 s, system=23.4414 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.08 4.09 4.06 5/268 69129
/proc/meminfo: memFree=120918460/131249992 swapFree=33010684/33010684
[pid=67153] ppid=67133 vsize=520552 memory=450284 CPUtime=3600 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67133 67146 67073 0 -1 4194304 45423 0 0 0 357665 2335 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current cumulated CPU time of completed processes: 0.438888 s
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 520552 KiB
Current children cumulated memory: 450284 KiB
[startup+3610.4 s]
/proc/loadavg: 4.08 4.09 4.06 5/268 69129
/proc/meminfo: memFree=120918460/131249992 swapFree=33010684/33010684
[pid=67153] ppid=67133 vsize=520552 memory=450284 CPUtime=3600.8 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67133 67146 67073 0 -1 4194304 45423 0 0 0 357745 2335 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current cumulated CPU time of completed processes: 0.438888 s
Current children cumulated CPU time: 3600.8 s
Current children cumulated vsize: 520552 KiB
Current children cumulated memory: 450284 KiB
[startup+3610.8 s]
/proc/loadavg: 4.08 4.09 4.06 5/268 69129
/proc/meminfo: memFree=120918460/131249992 swapFree=33010684/33010684
[pid=67153] ppid=67133 vsize=520552 memory=450284 CPUtime=3601.19 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67133 67146 67073 0 -1 4194304 45423 0 0 0 357784 2335 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current cumulated CPU time of completed processes: 0.438888 s
Current children cumulated CPU time: 3601.19 s
Current children cumulated vsize: 520552 KiB
Current children cumulated memory: 450284 KiB
[startup+3611.2 s]
/proc/loadavg: 4.08 4.09 4.06 5/268 69129
/proc/meminfo: memFree=120918460/131249992 swapFree=33010684/33010684
[pid=67153] ppid=67133 vsize=520552 memory=450284 CPUtime=3601.59 cores=1,3
/proc/67153/stat : 67153 (roundingsat) R 67133 67146 67073 0 -1 4194304 45423 0 0 0 357824 2335 0 0 20 0 1 0 57152398 533045248 112571 18446744073709551615 4227072 8923433 140726252322192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33832960 140726252329316 140726252329512 140726252329512 140726252335082 0
/proc/67153/statm: 130138 112571 2496 1147 0 117565 0
Current cumulated CPU time of completed processes: 0.438888 s
Current children cumulated CPU time: 3601.59 s
Current children cumulated vsize: 520552 KiB
Current children cumulated memory: 450284 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.2
CPU time (s): 3602.04
CPU user time (s): 3578.6
CPU system time (s): 23.4414
CPU usage (%): 99.7464
Max. virtual memory (cumulated for all children) (KiB): 524744
Max. memory (cumulated for all children) (KiB): 453356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.6
system time used= 23.4413
maximum resident set size= 450284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73289
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 238
involuntary context switches= 4583
# summary of solver processes directly reported to runsolver:
# pid: 67146,67153
# total CPU time (s): 3602.04
# total CPU user time (s): 3578.6
# total CPU system time (s): 23.4414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5481 second user time and 16.0203 second system time
The end
Begin job on nodeC025 at 2025-07-02 02:05:36
IDJOB=4499998
IDBENCH=149053
IDSOLVER=3359
FILE ID=nodeC025/4499998-1751414736
RUNJOBID= nodeC025-1751414736-67088
SLURM_JOB_ID= 9598325
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j12055_1.std.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499998-1751414736/watcher-4499998-1751414736 -o /tmp/evaluation-result-4499998-1751414736/solver-4499998-1751414736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67088 --watchdog 3760 run-opt-break.sh HOME/instance-4499998-1751414736.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f0efccbc116c51a095a75c7835df95b0
RANDOM SEED=1914411930
nodeC025 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.814
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.67
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.803
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.67
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.874
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.323
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.67
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 : 3600.425
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.67
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.563
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.67
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.976
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.67
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 : 3599.837
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126938504 kB
MemAvailable: 129782312 kB
Buffers: 3280 kB
Cached: 3641416 kB
SwapCached: 0 kB
Active: 410808 kB
Inactive: 3300992 kB
Active(anon): 85188 kB
Inactive(anon): 0 kB
Active(file): 325620 kB
Inactive(file): 3300992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 57024 kB
Writeback: 0 kB
AnonPages: 70164 kB
Mapped: 102728 kB
Shmem: 18084 kB
KReclaimable: 112868 kB
Slab: 202092 kB
SReclaimable: 112868 kB
SUnreclaim: 89224 kB
KernelStack: 3856 kB
PageTables: 2716 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 330788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC025 at 2025-07-02 03:05:47