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-4499999-1751472596.opb'
0.08/0.15 c read 8.26MB (134.17ms)
0.08/0.15 c [cnf: #variables 72842 #clauses 255738 #duplicates 500 #arr 652778]
0.12/1.39 c output proof to 'PROOFDIR/proof-4499999-1751472596'
0.12/1.39 c
0.12/1.39 c make graph and approximate orbits
0.23/1.55 c [group: #orbits ~= 0] (161.74ms)
0.23/1.55 c
0.23/1.55 c detect special group actions
0.23/1.55 c probe for Johnson action (limit=64)
0.23/1.56 c probe for row-column symmetry (limit=64, splits=16.78M)
0.23/1.56 c probe for row symmetry (limit=64, splits=16.78M)
0.23/1.57 c (19.10ms)
0.23/1.57 c
0.23/1.57 c detect symmetries on remainder
0.23/1.57 c [graph: #vertices 633205 #edges 1914806]
0.23/1.58 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.33/1.61 c [group: #symmetries 1.00*10^0 #generators 0] (39.56ms)
0.33/1.61 c
0.33/1.61 c finalize break order and special generators
0.33/1.61 c
0.33/1.61 c generation finished
0.33/1.61 c [sbp: #constraints 0 #add_vars 0]
0.33/1.62 c
0.33/1.62 c write result to 'HOME/instance-4499999-1751472596.opb.pre'
0.33/1.64 c wrote 8.47MB (18.37ms)
0.33/1.64 c ------------------------------------------------------------------
0.33/1.64 c 1250.70ms 76.89% other
0.33/1.64 c 161.74ms 9.94% approx_orbits
0.33/1.64 c 134.17ms 8.25% parse
0.33/1.64 c 39.56ms 2.43% detect_generic
0.33/1.64 c 19.10ms 1.17% detect_special
0.33/1.64 c 18.37ms 1.13% output
0.33/1.64 c 3.04ms 0.19% finalize_order
0.33/1.64 c ───────────────────────────────────────────────
0.33/1.64 c 1626.68ms 100% total
0.33/1.64 c ------------------------------------------------------------------
0.33/1.68 c RoundingSat 2
0.33/1.68 c branch pb25
0.33/1.68 c commit 63f22ad
1.68/3.00 c #variables 72842 #constraints 218447
1.68/3.00 c objective is ce32
1.68/3.00 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.68/3.00 c initial counting CF 32, 64, 128, Arb: 1154 , 0 , 0 , 0
1.68/3.00 c bounds - >= 0 @ 1.06608
2.27/3.65 c bounds 300 >= 0 @ 1.66136
2.27/3.67 c bounds 300 >= 99 @ 1.68131
6.25/7.64 c #Conflicts: 1000 | #Constraints: 219451
6.25/7.64 c #Conflicts: 2000 | #Constraints: 220451
6.25/7.64 c INPROCESSING
6.25/7.64 c GARBAGE COLLECT
6.25/7.64 c rational objective 99
9.15/10.51 c bounds 299 >= 99 @ 8.43116
9.15/10.53 c bounds 298 >= 99 @ 8.45247
9.15/10.55 c bounds 297 >= 99 @ 8.4704
9.15/10.57 c bounds 296 >= 99 @ 8.48954
9.15/10.60 c bounds 295 >= 99 @ 8.50949
9.25/10.62 c bounds 294 >= 99 @ 8.52936
9.25/10.64 c bounds 293 >= 99 @ 8.54924
9.25/10.66 c bounds 292 >= 99 @ 8.56628
9.25/10.68 c bounds 291 >= 99 @ 8.58695
9.35/10.70 c bounds 290 >= 99 @ 8.60476
9.35/10.72 c bounds 289 >= 99 @ 8.6234
9.35/10.74 c bounds 288 >= 99 @ 8.63939
9.35/10.76 c bounds 287 >= 99 @ 8.65876
9.35/10.78 c bounds 286 >= 99 @ 8.67586
9.44/10.80 c bounds 285 >= 99 @ 8.69316
9.44/10.83 c bounds 284 >= 99 @ 8.71203
9.44/10.85 c bounds 283 >= 99 @ 8.72719
9.44/10.87 c bounds 282 >= 99 @ 8.74551
9.44/10.89 c bounds 281 >= 99 @ 8.76546
9.54/10.91 c bounds 280 >= 99 @ 8.78493
9.54/10.93 c bounds 279 >= 99 @ 8.80377
9.54/10.95 c bounds 278 >= 99 @ 8.82274
9.54/10.97 c bounds 277 >= 99 @ 8.84262
9.54/10.99 c bounds 276 >= 99 @ 8.86106
9.65/11.01 c bounds 275 >= 99 @ 8.88094
9.65/11.03 c bounds 274 >= 99 @ 8.89801
9.65/11.04 c bounds 273 >= 99 @ 8.91431
9.65/11.06 c bounds 272 >= 99 @ 8.92867
9.65/11.08 c bounds 271 >= 99 @ 8.94489
9.75/11.10 c bounds 270 >= 99 @ 8.96213
9.75/11.12 c bounds 269 >= 99 @ 8.97922
9.75/11.14 c bounds 268 >= 99 @ 8.99648
9.75/11.16 c bounds 267 >= 99 @ 9.01231
9.75/11.18 c bounds 266 >= 99 @ 9.02928
9.84/11.20 c bounds 265 >= 99 @ 9.04691
9.84/11.22 c bounds 264 >= 99 @ 9.0647
9.84/11.24 c bounds 263 >= 99 @ 9.08234
9.84/11.25 c bounds 262 >= 99 @ 9.09913
9.84/11.27 c bounds 261 >= 99 @ 9.11538
9.84/11.29 c bounds 260 >= 99 @ 9.13262
9.94/11.31 c bounds 259 >= 99 @ 9.14871
9.94/11.33 c bounds 258 >= 99 @ 9.16474
9.94/11.35 c bounds 257 >= 99 @ 9.18182
9.94/11.36 c bounds 256 >= 99 @ 9.1989
9.94/11.38 c bounds 255 >= 99 @ 9.21588
10.04/11.40 c bounds 254 >= 99 @ 9.22782
10.04/11.42 c bounds 253 >= 99 @ 9.24395
10.04/11.43 c bounds 252 >= 99 @ 9.25973
10.04/11.45 c bounds 251 >= 99 @ 9.27661
10.04/11.47 c bounds 250 >= 99 @ 9.29369
10.04/11.49 c bounds 249 >= 99 @ 9.30841
12.04/13.43 c #Conflicts: 3000 | #Constraints: 179918
12.04/13.43 c #Conflicts: 4000 | #Constraints: 180918
12.04/13.43 c INPROCESSING
12.04/13.43 c GARBAGE COLLECT
12.04/13.43 c bounds 248 >= 99 @ 11.2175
12.04/13.45 c bounds 245 >= 99 @ 11.2324
12.04/13.46 c bounds 244 >= 99 @ 11.2478
12.04/13.48 c bounds 243 >= 99 @ 11.2632
12.14/13.50 c bounds 242 >= 99 @ 11.277
12.14/13.51 c bounds 241 >= 99 @ 11.293
12.14/13.53 c bounds 240 >= 99 @ 11.3086
12.14/13.54 c bounds 239 >= 99 @ 11.3241
12.14/13.56 c bounds 238 >= 99 @ 11.3385
12.14/13.57 c bounds 237 >= 99 @ 11.3508
12.14/13.59 c bounds 236 >= 99 @ 11.366
12.24/13.60 c bounds 235 >= 99 @ 11.3802
12.24/13.62 c bounds 234 >= 99 @ 11.3957
12.24/13.64 c bounds 233 >= 99 @ 11.4108
12.24/13.65 c bounds 232 >= 99 @ 11.4247
12.24/13.67 c bounds 231 >= 99 @ 11.4395
12.24/13.68 c bounds 223 >= 99 @ 11.4568
12.34/13.70 c bounds 222 >= 99 @ 11.4712
12.34/13.71 c bounds 221 >= 99 @ 11.4832
12.34/13.73 c bounds 220 >= 99 @ 11.4963
12.34/13.74 c bounds 219 >= 99 @ 11.5084
12.34/13.75 c bounds 218 >= 99 @ 11.5213
12.34/13.77 c bounds 217 >= 99 @ 11.535
12.34/13.78 c bounds 216 >= 99 @ 11.5486
12.34/13.79 c bounds 215 >= 99 @ 11.5622
12.44/13.81 c bounds 214 >= 99 @ 11.5757
12.44/13.82 c bounds 213 >= 99 @ 11.5892
12.44/13.84 c bounds 212 >= 99 @ 11.602
12.44/13.85 c bounds 211 >= 99 @ 11.6144
12.44/13.86 c bounds 210 >= 99 @ 11.6276
12.44/13.88 c bounds 209 >= 99 @ 11.6406
12.44/13.89 c bounds 208 >= 99 @ 11.6538
12.54/13.91 c bounds 207 >= 99 @ 11.6701
12.54/13.92 c bounds 206 >= 99 @ 11.6839
12.54/13.93 c bounds 205 >= 99 @ 11.6969
12.54/13.95 c bounds 204 >= 99 @ 11.7083
12.54/13.96 c bounds 203 >= 99 @ 11.7214
12.54/13.97 c bounds 202 >= 99 @ 11.734
12.54/13.98 c bounds 201 >= 99 @ 11.7459
12.54/14.00 c bounds 200 >= 99 @ 11.7549
12.65/14.01 c bounds 199 >= 99 @ 11.7675
12.65/14.02 c bounds 198 >= 99 @ 11.779
12.65/14.03 c bounds 197 >= 99 @ 11.7882
12.65/14.05 c bounds 196 >= 99 @ 11.7999
12.65/14.06 c bounds 195 >= 99 @ 11.8126
12.65/14.07 c bounds 194 >= 99 @ 11.8245
12.65/14.09 c bounds 193 >= 99 @ 11.8385
12.65/14.10 c bounds 192 >= 99 @ 11.8502
12.74/14.12 c bounds 191 >= 99 @ 11.8654
12.74/14.13 c bounds 190 >= 99 @ 11.877
12.74/14.14 c bounds 189 >= 99 @ 11.8892
12.74/14.15 c bounds 188 >= 99 @ 11.8997
12.74/14.16 c bounds 187 >= 99 @ 11.91
12.74/14.17 c bounds 186 >= 99 @ 11.9204
12.74/14.19 c bounds 185 >= 99 @ 11.9315
12.84/14.20 c bounds 184 >= 99 @ 11.94
12.84/14.21 c bounds 183 >= 99 @ 11.9501
12.84/14.22 c bounds 182 >= 99 @ 11.9616
12.84/14.23 c bounds 181 >= 99 @ 11.9728
12.84/14.24 c bounds 180 >= 99 @ 11.9835
12.84/14.25 c bounds 179 >= 99 @ 11.9927
12.84/14.26 c bounds 178 >= 99 @ 12.0026
12.84/14.28 c bounds 177 >= 99 @ 12.0114
12.84/14.29 c bounds 176 >= 99 @ 12.0224
12.94/14.30 c bounds 175 >= 99 @ 12.0322
12.94/14.31 c bounds 174 >= 99 @ 12.0411
12.94/14.32 c bounds 173 >= 99 @ 12.0536
12.94/14.33 c bounds 172 >= 99 @ 12.0647
12.94/14.34 c bounds 171 >= 99 @ 12.0742
12.94/14.35 c bounds 170 >= 99 @ 12.0845
12.94/14.36 c bounds 169 >= 99 @ 12.0929
12.94/14.37 c bounds 168 >= 99 @ 12.1022
12.94/14.39 c bounds 167 >= 99 @ 12.1125
12.94/14.40 c bounds 166 >= 99 @ 12.1206
13.04/14.41 c bounds 165 >= 99 @ 12.1296
13.04/14.42 c bounds 164 >= 99 @ 12.1389
13.04/14.43 c bounds 163 >= 99 @ 12.1498
13.04/14.44 c bounds 162 >= 99 @ 12.1598
13.04/14.45 c bounds 161 >= 99 @ 12.1678
13.04/14.46 c bounds 160 >= 99 @ 12.1725
13.04/14.47 c bounds 159 >= 99 @ 12.1812
13.04/14.48 c bounds 158 >= 99 @ 12.1901
13.04/14.49 c bounds 157 >= 99 @ 12.1986
13.13/14.50 c bounds 156 >= 99 @ 12.2098
13.13/14.51 c bounds 155 >= 99 @ 12.2196
13.13/14.52 c bounds 154 >= 99 @ 12.2269
13.13/14.53 c bounds 153 >= 99 @ 12.2361
13.13/14.54 c bounds 152 >= 99 @ 12.2443
13.13/14.55 c bounds 151 >= 99 @ 12.2558
13.13/14.56 c bounds 150 >= 99 @ 12.2651
13.13/14.57 c bounds 149 >= 99 @ 12.2723
13.13/14.57 c bounds 148 >= 99 @ 12.2802
13.13/14.58 c bounds 147 >= 99 @ 12.288
13.13/14.59 c bounds 146 >= 99 @ 12.2958
13.24/14.60 c bounds 145 >= 99 @ 12.3035
13.24/14.61 c bounds 144 >= 99 @ 12.3116
13.24/14.62 c bounds 143 >= 99 @ 12.3181
13.24/14.63 c bounds 142 >= 99 @ 12.3245
13.24/14.63 c bounds 141 >= 99 @ 12.3318
13.24/14.64 c bounds 140 >= 99 @ 12.3391
13.24/14.65 c bounds 139 >= 99 @ 12.3454
13.24/14.66 c bounds 138 >= 99 @ 12.3535
13.24/14.67 c bounds 137 >= 99 @ 12.3616
13.24/14.68 c bounds 136 >= 99 @ 12.3695
13.24/14.68 c bounds 135 >= 99 @ 12.3764
16.81/18.23 c #Conflicts: 5000 | #Constraints: 136566
16.81/18.23 c #Conflicts: 6000 | #Constraints: 137566
16.81/18.23 c INPROCESSING
16.81/18.23 c GARBAGE COLLECT
16.81/18.23 c rational objective 99
17.92/19.32 c bounds 134 >= 99 @ 16.9439
17.92/19.33 c bounds 133 >= 99 @ 16.9511
17.92/19.34 c bounds 132 >= 99 @ 16.9593
17.92/19.34 c bounds 131 >= 99 @ 16.9673
17.92/19.35 c bounds 130 >= 99 @ 16.9747
17.92/19.36 c bounds 129 >= 99 @ 16.9825
17.92/19.37 c bounds 128 >= 99 @ 16.9893
17.92/19.38 c bounds 127 >= 99 @ 16.9949
17.92/19.38 c bounds 126 >= 99 @ 17.0027
17.92/19.39 c bounds 125 >= 99 @ 17.0097
18.01/19.40 c bounds 124 >= 99 @ 17.016
18.01/19.41 c bounds 123 >= 99 @ 17.0233
18.01/19.41 c bounds 122 >= 99 @ 17.0309
18.01/19.42 c bounds 121 >= 99 @ 17.038
18.01/19.43 c bounds 120 >= 99 @ 17.0452
18.01/19.43 c bounds 119 >= 99 @ 17.0512
18.01/19.44 c bounds 118 >= 99 @ 17.0567
18.01/19.45 c bounds 117 >= 99 @ 17.069
18.01/19.46 c bounds 116 >= 99 @ 17.0758
18.01/19.47 c bounds 115 >= 99 @ 17.0826
18.01/19.48 c bounds 114 >= 99 @ 17.0891
18.01/19.48 c bounds 113 >= 99 @ 17.0961
18.01/19.49 c bounds 112 >= 99 @ 17.103
18.11/19.50 c bounds 111 >= 99 @ 17.1081
18.11/19.50 c bounds 110 >= 99 @ 17.1151
18.11/19.51 c bounds 109 >= 99 @ 17.1215
18.11/19.52 c bounds 108 >= 99 @ 17.1268
18.11/19.53 c bounds 107 >= 99 @ 17.1378
18.11/19.54 c bounds 106 >= 99 @ 17.1488
18.11/19.55 c bounds 105 >= 99 @ 17.158
18.11/19.56 c bounds 104 >= 99 @ 17.1698
18.11/19.59 c bounds 103 >= 99 @ 17.1927
37.16/38.67 c #Conflicts: 7000 | #Constraints: 39918
37.16/38.67 c #Conflicts: 8000 | #Constraints: 40918
37.16/38.67 c #Conflicts: 9000 | #Constraints: 41918
37.16/38.67 c INPROCESSING
37.16/38.67 c GARBAGE COLLECT
37.16/38.67 c #Conflicts: 10000 | #Constraints: 16143
37.16/38.67 c #Conflicts: 11000 | #Constraints: 17143
37.16/38.67 c #Conflicts: 12000 | #Constraints: 18143
37.16/38.67 c INPROCESSING
37.16/38.67 c GARBAGE COLLECT
37.16/38.67 c #Conflicts: 13000 | #Constraints: 16650
37.16/38.67 c #Conflicts: 14000 | #Constraints: 17650
37.16/38.67 c #Conflicts: 15000 | #Constraints: 18650
37.16/38.67 c INPROCESSING
37.16/38.67 c GARBAGE COLLECT
37.16/38.67 c rational objective 99
43.73/45.24 c #Conflicts: 16000 | #Constraints: 16897
43.73/45.24 c #Conflicts: 17000 | #Constraints: 17897
43.73/45.24 c #Conflicts: 18000 | #Constraints: 18897
43.73/45.24 c INPROCESSING
43.73/45.24 c GARBAGE COLLECT
43.73/45.24 c rational objective 99
55.70/57.24 c #Conflicts: 19000 | #Constraints: 16938
55.70/57.24 c #Conflicts: 20000 | #Constraints: 17938
55.70/57.24 c #Conflicts: 21000 | #Constraints: 18938
55.70/57.24 c INPROCESSING
55.70/57.24 c GARBAGE COLLECT
55.70/57.24 c rational objective 99
64.28/65.86 c #Conflicts: 22000 | #Constraints: 16746
64.28/65.86 c #Conflicts: 23000 | #Constraints: 17746
64.28/65.86 c #Conflicts: 24000 | #Constraints: 18746
64.28/65.86 c #Conflicts: 25000 | #Constraints: 19746
64.28/65.86 c INPROCESSING
64.28/65.86 c GARBAGE COLLECT
64.28/65.86 c #Conflicts: 26000 | #Constraints: 17351
64.28/65.86 c bounds 102 >= 99 @ 62.9504
72.46/74.06 c #Conflicts: 27000 | #Constraints: 18352
72.46/74.06 c #Conflicts: 28000 | #Constraints: 19352
72.46/74.06 c #Conflicts: 29000 | #Constraints: 20352
72.46/74.06 c INPROCESSING
72.46/74.06 c GARBAGE COLLECT
72.46/74.06 c rational objective 99
87.11/88.79 c #Conflicts: 30000 | #Constraints: 16735
87.11/88.79 c #Conflicts: 31000 | #Constraints: 17735
87.11/88.79 c #Conflicts: 32000 | #Constraints: 18735
87.11/88.79 c #Conflicts: 33000 | #Constraints: 19735
87.11/88.79 c INPROCESSING
87.11/88.79 c GARBAGE COLLECT
87.11/88.79 c #Conflicts: 34000 | #Constraints: 17091
87.11/88.79 c #Conflicts: 35000 | #Constraints: 18091
87.11/88.79 c #Conflicts: 36000 | #Constraints: 19091
87.11/88.79 c #Conflicts: 37000 | #Constraints: 20091
87.11/88.79 c INPROCESSING
87.11/88.79 c GARBAGE COLLECT
87.11/88.79 c rational objective 99
92.80/94.42 c #Conflicts: 38000 | #Constraints: 17167
92.80/94.42 c #Conflicts: 39000 | #Constraints: 18167
92.80/94.42 c #Conflicts: 40000 | #Constraints: 19167
92.80/94.42 c #Conflicts: 41000 | #Constraints: 20167
92.80/94.42 c INPROCESSING
92.80/94.42 c GARBAGE COLLECT
92.80/94.42 c rational objective 99
101.31/103.01 c #Conflicts: 42000 | #Constraints: 17009
101.31/103.01 c #Conflicts: 43000 | #Constraints: 18009
101.31/103.01 c #Conflicts: 44000 | #Constraints: 19009
101.31/103.01 c #Conflicts: 45000 | #Constraints: 20009
101.31/103.01 c #Conflicts: 46000 | #Constraints: 21009
101.31/103.01 c INPROCESSING
101.31/103.01 c GARBAGE COLLECT
101.31/103.01 c rational objective 99
107.48/109.23 c #Conflicts: 47000 | #Constraints: 17616
107.48/109.23 c #Conflicts: 48000 | #Constraints: 18616
107.48/109.23 c #Conflicts: 49000 | #Constraints: 19616
107.48/109.23 c #Conflicts: 50000 | #Constraints: 20616
107.48/109.23 c #Conflicts: 51000 | #Constraints: 21616
107.48/109.23 c INPROCESSING
107.48/109.23 c GARBAGE COLLECT
107.48/109.23 c rational objective 99
118.35/120.19 c #Conflicts: 52000 | #Constraints: 18032
118.35/120.19 c #Conflicts: 53000 | #Constraints: 19032
118.35/120.19 c #Conflicts: 54000 | #Constraints: 20032
118.35/120.19 c #Conflicts: 55000 | #Constraints: 21032
118.35/120.19 c #Conflicts: 56000 | #Constraints: 22032
118.35/120.19 c INPROCESSING
118.35/120.19 c GARBAGE COLLECT
118.35/120.19 c rational objective 99
126.03/127.89 c #Conflicts: 57000 | #Constraints: 18239
126.03/127.89 c #Conflicts: 58000 | #Constraints: 19239
126.03/127.89 c #Conflicts: 59000 | #Constraints: 20239
126.03/127.89 c #Conflicts: 60000 | #Constraints: 21239
126.03/127.89 c #Conflicts: 61000 | #Constraints: 22239
126.03/127.89 c INPROCESSING
126.03/127.89 c GARBAGE COLLECT
126.03/127.89 c rational objective 99
143.48/150.00 c #Conflicts: 62000 | #Constraints: 18263
143.48/150.00 c #Conflicts: 63000 | #Constraints: 19263
143.48/150.00 c #Conflicts: 64000 | #Constraints: 20263
143.48/150.00 c #Conflicts: 65000 | #Constraints: 21263
143.48/150.00 c #Conflicts: 66000 | #Constraints: 22264
143.48/150.00 c INPROCESSING
143.48/150.00 c GARBAGE COLLECT
143.48/150.00 c rational objective 99
151.66/158.18 c #Conflicts: 67000 | #Constraints: 18062
151.66/158.18 c #Conflicts: 68000 | #Constraints: 19062
151.66/158.18 c #Conflicts: 69000 | #Constraints: 20062
151.66/158.18 c #Conflicts: 70000 | #Constraints: 21062
151.66/158.18 c #Conflicts: 71000 | #Constraints: 22062
151.66/158.18 c #Conflicts: 72000 | #Constraints: 23062
151.66/158.18 c INPROCESSING
151.66/158.18 c GARBAGE COLLECT
151.66/158.18 c rational objective 99
164.63/171.13 c #Conflicts: 73000 | #Constraints: 18672
164.63/171.13 c #Conflicts: 74000 | #Constraints: 19672
164.63/171.13 c #Conflicts: 75000 | #Constraints: 20672
164.63/171.13 c #Conflicts: 76000 | #Constraints: 21672
164.63/171.13 c #Conflicts: 77000 | #Constraints: 22672
164.63/171.13 c #Conflicts: 78000 | #Constraints: 23672
164.63/171.13 c INPROCESSING
164.63/171.13 c GARBAGE COLLECT
164.63/171.13 c rational objective 99
173.59/180.15 c #Conflicts: 79000 | #Constraints: 19054
173.59/180.15 c #Conflicts: 80000 | #Constraints: 20054
173.59/180.15 c #Conflicts: 81000 | #Constraints: 21054
173.59/180.15 c #Conflicts: 82000 | #Constraints: 22054
173.59/180.15 c #Conflicts: 83000 | #Constraints: 23054
173.59/180.15 c #Conflicts: 84000 | #Constraints: 24054
173.59/180.15 c INPROCESSING
173.59/180.15 c GARBAGE COLLECT
173.59/180.15 c rational objective 99
181.17/187.77 c #Conflicts: 85000 | #Constraints: 19263
181.17/187.77 c #Conflicts: 86000 | #Constraints: 20263
181.17/187.77 c #Conflicts: 87000 | #Constraints: 21263
181.17/187.77 c #Conflicts: 88000 | #Constraints: 22263
181.17/187.77 c #Conflicts: 89000 | #Constraints: 23263
181.17/187.77 c #Conflicts: 90000 | #Constraints: 24263
181.17/187.77 c INPROCESSING
181.17/187.77 c GARBAGE COLLECT
181.17/187.77 c rational objective 99
191.45/198.06 c #Conflicts: 91000 | #Constraints: 19258
191.45/198.06 c #Conflicts: 92000 | #Constraints: 20258
191.45/198.06 c #Conflicts: 93000 | #Constraints: 21258
191.45/198.06 c #Conflicts: 94000 | #Constraints: 22258
191.45/198.06 c #Conflicts: 95000 | #Constraints: 23258
191.45/198.06 c #Conflicts: 96000 | #Constraints: 24258
191.45/198.06 c INPROCESSING
191.45/198.06 c GARBAGE COLLECT
191.45/198.06 c rational objective 99
202.71/209.32 c #Conflicts: 97000 | #Constraints: 19084
202.71/209.32 c #Conflicts: 98000 | #Constraints: 20084
202.71/209.32 c #Conflicts: 99000 | #Constraints: 21084
202.71/209.32 c #Conflicts: 100000 | #Constraints: 22084
202.71/209.32 c #Conflicts: 101000 | #Constraints: 23084
202.71/209.32 c #Conflicts: 102000 | #Constraints: 24084
202.71/209.32 c #Conflicts: 103000 | #Constraints: 25084
202.71/209.32 c INPROCESSING
202.71/209.32 c GARBAGE COLLECT
202.71/209.32 c rational objective 99
212.68/219.30 c #Conflicts: 104000 | #Constraints: 19679
212.68/219.30 c #Conflicts: 105000 | #Constraints: 20679
212.68/219.30 c #Conflicts: 106000 | #Constraints: 21679
212.68/219.30 c #Conflicts: 107000 | #Constraints: 22679
212.68/219.30 c #Conflicts: 108000 | #Constraints: 23679
212.68/219.30 c #Conflicts: 109000 | #Constraints: 24679
212.68/219.30 c #Conflicts: 110000 | #Constraints: 25679
212.68/219.30 c INPROCESSING
212.68/219.30 c GARBAGE COLLECT
212.68/219.30 c rational objective 99
225.34/232.02 c #Conflicts: 111000 | #Constraints: 20074
225.34/232.02 c #Conflicts: 112000 | #Constraints: 21074
225.34/232.02 c #Conflicts: 113000 | #Constraints: 22074
225.34/232.02 c #Conflicts: 114000 | #Constraints: 23074
225.34/232.02 c #Conflicts: 115000 | #Constraints: 24074
225.34/232.02 c #Conflicts: 116000 | #Constraints: 25074
225.34/232.02 c #Conflicts: 117000 | #Constraints: 26074
225.34/232.02 c INPROCESSING
225.34/232.02 c GARBAGE COLLECT
225.34/232.02 c rational objective 99
235.51/242.29 c #Conflicts: 118000 | #Constraints: 20281
235.51/242.29 c #Conflicts: 119000 | #Constraints: 21281
235.51/242.29 c #Conflicts: 120000 | #Constraints: 22281
235.51/242.29 c #Conflicts: 121000 | #Constraints: 23281
235.51/242.29 c #Conflicts: 122000 | #Constraints: 24281
235.51/242.29 c #Conflicts: 123000 | #Constraints: 25281
235.51/242.29 c #Conflicts: 124000 | #Constraints: 26281
235.51/242.29 c INPROCESSING
235.51/242.29 c GARBAGE COLLECT
235.51/242.29 c rational objective 99
246.67/253.43 c #Conflicts: 125000 | #Constraints: 20274
246.67/253.43 c #Conflicts: 126000 | #Constraints: 21274
246.67/253.43 c #Conflicts: 127000 | #Constraints: 22274
246.67/253.43 c #Conflicts: 128000 | #Constraints: 23274
246.67/253.43 c #Conflicts: 129000 | #Constraints: 24274
246.67/253.43 c #Conflicts: 130000 | #Constraints: 25274
246.67/253.43 c #Conflicts: 131000 | #Constraints: 26274
246.67/253.43 c INPROCESSING
246.67/253.43 c GARBAGE COLLECT
246.67/253.43 c rational objective 99
255.85/262.68 c #Conflicts: 132000 | #Constraints: 20067
255.85/262.68 c #Conflicts: 133000 | #Constraints: 21067
255.85/262.68 c #Conflicts: 134000 | #Constraints: 22067
255.85/262.68 c #Conflicts: 135000 | #Constraints: 23067
255.85/262.68 c #Conflicts: 136000 | #Constraints: 24067
255.85/262.68 c #Conflicts: 137000 | #Constraints: 25067
255.85/262.68 c #Conflicts: 138000 | #Constraints: 26067
255.85/262.68 c #Conflicts: 139000 | #Constraints: 27067
255.85/262.68 c INPROCESSING
255.85/262.68 c GARBAGE COLLECT
255.85/262.68 c rational objective 99
269.21/276.03 c #Conflicts: 140000 | #Constraints: 20678
269.21/276.03 c #Conflicts: 141000 | #Constraints: 21678
269.21/276.03 c #Conflicts: 142000 | #Constraints: 22678
269.21/276.03 c #Conflicts: 143000 | #Constraints: 23678
269.21/276.03 c #Conflicts: 144000 | #Constraints: 24678
269.21/276.03 c #Conflicts: 145000 | #Constraints: 25678
269.21/276.03 c #Conflicts: 146000 | #Constraints: 26678
269.21/276.03 c #Conflicts: 147000 | #Constraints: 27678
269.21/276.03 c INPROCESSING
269.21/276.03 c GARBAGE COLLECT
269.21/276.03 c rational objective 99
280.18/287.04 c #Conflicts: 148000 | #Constraints: 21084
280.18/287.04 c #Conflicts: 149000 | #Constraints: 22084
280.18/287.04 c #Conflicts: 150000 | #Constraints: 23084
280.18/287.04 c #Conflicts: 151000 | #Constraints: 24084
280.18/287.04 c #Conflicts: 152000 | #Constraints: 25084
280.18/287.04 c #Conflicts: 153000 | #Constraints: 26084
280.18/287.04 c #Conflicts: 154000 | #Constraints: 27084
280.18/287.04 c #Conflicts: 155000 | #Constraints: 28084
280.18/287.04 c INPROCESSING
280.18/287.04 c GARBAGE COLLECT
280.18/287.04 c rational objective 99
290.33/299.97 c #Conflicts: 156000 | #Constraints: 21305
290.33/299.97 c #Conflicts: 157000 | #Constraints: 22305
290.33/299.97 c #Conflicts: 158000 | #Constraints: 23305
290.33/299.97 c #Conflicts: 159000 | #Constraints: 24305
290.33/299.97 c #Conflicts: 160000 | #Constraints: 25305
290.33/299.97 c #Conflicts: 161000 | #Constraints: 26305
290.33/299.97 c #Conflicts: 162000 | #Constraints: 27305
290.33/299.97 c #Conflicts: 163000 | #Constraints: 28305
290.33/299.97 c INPROCESSING
290.33/299.97 c GARBAGE COLLECT
290.33/299.97 c rational objective 99
301.99/311.68 c #Conflicts: 164000 | #Constraints: 21286
301.99/311.68 c #Conflicts: 165000 | #Constraints: 22286
301.99/311.68 c #Conflicts: 166000 | #Constraints: 23286
301.99/311.68 c #Conflicts: 167000 | #Constraints: 24286
301.99/311.68 c #Conflicts: 168000 | #Constraints: 25286
301.99/311.68 c #Conflicts: 169000 | #Constraints: 26286
301.99/311.68 c #Conflicts: 170000 | #Constraints: 27286
301.99/311.68 c #Conflicts: 171000 | #Constraints: 28286
301.99/311.68 c INPROCESSING
301.99/311.68 c GARBAGE COLLECT
301.99/311.68 c rational objective 99
315.15/324.80 c #Conflicts: 172000 | #Constraints: 21082
315.15/324.80 c #Conflicts: 173000 | #Constraints: 22082
315.15/324.80 c #Conflicts: 174000 | #Constraints: 23082
315.15/324.80 c #Conflicts: 175000 | #Constraints: 24082
315.15/324.80 c #Conflicts: 176000 | #Constraints: 25082
315.15/324.80 c #Conflicts: 177000 | #Constraints: 26082
315.15/324.80 c #Conflicts: 178000 | #Constraints: 27082
315.15/324.80 c #Conflicts: 179000 | #Constraints: 28082
315.15/324.80 c #Conflicts: 180000 | #Constraints: 29082
315.15/324.80 c INPROCESSING
315.15/324.80 c GARBAGE COLLECT
315.15/324.80 c rational objective 99
326.02/339.50 c #Conflicts: 181000 | #Constraints: 21697
326.02/339.50 c #Conflicts: 182000 | #Constraints: 22697
326.02/339.50 c #Conflicts: 183000 | #Constraints: 23697
326.02/339.50 c #Conflicts: 184000 | #Constraints: 24697
326.02/339.50 c #Conflicts: 185000 | #Constraints: 25697
326.02/339.50 c #Conflicts: 186000 | #Constraints: 26697
326.02/339.50 c #Conflicts: 187000 | #Constraints: 27697
326.02/339.50 c #Conflicts: 188000 | #Constraints: 28697
326.02/339.50 c #Conflicts: 189000 | #Constraints: 29697
326.02/339.50 c INPROCESSING
326.02/339.50 c GARBAGE COLLECT
326.02/339.50 c rational objective 99
335.30/348.87 c #Conflicts: 190000 | #Constraints: 22103
335.30/348.87 c #Conflicts: 191000 | #Constraints: 23103
335.30/348.87 c #Conflicts: 192000 | #Constraints: 24103
335.30/348.87 c #Conflicts: 193000 | #Constraints: 25103
335.30/348.87 c #Conflicts: 194000 | #Constraints: 26103
335.30/348.87 c #Conflicts: 195000 | #Constraints: 27103
335.30/348.87 c #Conflicts: 196000 | #Constraints: 28103
335.30/348.87 c #Conflicts: 197000 | #Constraints: 29103
335.30/348.87 c #Conflicts: 198000 | #Constraints: 30103
335.30/348.87 c INPROCESSING
335.30/348.87 c GARBAGE COLLECT
335.30/348.87 c rational objective 99
347.63/361.31 c #Conflicts: 199000 | #Constraints: 22310
347.63/361.31 c #Conflicts: 200000 | #Constraints: 23310
347.63/361.31 c #Conflicts: 201000 | #Constraints: 24310
347.63/361.31 c #Conflicts: 202000 | #Constraints: 25310
347.63/361.31 c #Conflicts: 203000 | #Constraints: 26310
347.63/361.31 c #Conflicts: 204000 | #Constraints: 27310
347.63/361.31 c #Conflicts: 205000 | #Constraints: 28310
347.63/361.31 c #Conflicts: 206000 | #Constraints: 29310
347.63/361.31 c #Conflicts: 207000 | #Constraints: 30310
347.63/361.31 c INPROCESSING
347.63/361.31 c GARBAGE COLLECT
347.63/361.31 c rational objective 99
360.89/374.65 c #Conflicts: 208000 | #Constraints: 22331
360.89/374.65 c #Conflicts: 209000 | #Constraints: 23331
360.89/374.65 c #Conflicts: 210000 | #Constraints: 24331
360.89/374.65 c #Conflicts: 211000 | #Constraints: 25331
360.89/374.65 c #Conflicts: 212000 | #Constraints: 26331
360.89/374.65 c #Conflicts: 213000 | #Constraints: 27331
360.89/374.65 c #Conflicts: 214000 | #Constraints: 28331
360.89/374.65 c #Conflicts: 215000 | #Constraints: 29331
360.89/374.65 c #Conflicts: 216000 | #Constraints: 30331
360.89/374.65 c INPROCESSING
360.89/374.65 c GARBAGE COLLECT
360.89/374.65 c rational objective 99
374.26/388.01 c #Conflicts: 217000 | #Constraints: 22110
374.26/388.01 c #Conflicts: 218000 | #Constraints: 23110
374.26/388.01 c #Conflicts: 219000 | #Constraints: 24110
374.26/388.01 c #Conflicts: 220000 | #Constraints: 25110
374.26/388.01 c #Conflicts: 221000 | #Constraints: 26110
374.26/388.01 c #Conflicts: 222000 | #Constraints: 27110
374.26/388.01 c #Conflicts: 223000 | #Constraints: 28110
374.26/388.01 c #Conflicts: 224000 | #Constraints: 29110
374.26/388.01 c #Conflicts: 225000 | #Constraints: 30110
374.26/388.01 c #Conflicts: 226000 | #Constraints: 31110
374.26/388.01 c INPROCESSING
374.26/388.01 c GARBAGE COLLECT
374.26/388.01 c rational objective 99
390.71/404.56 c #Conflicts: 227000 | #Constraints: 22704
390.71/404.56 c #Conflicts: 228000 | #Constraints: 23704
390.71/404.56 c #Conflicts: 229000 | #Constraints: 24704
390.71/404.56 c #Conflicts: 230000 | #Constraints: 25704
390.71/404.56 c #Conflicts: 231000 | #Constraints: 26704
390.71/404.56 c #Conflicts: 232000 | #Constraints: 27704
390.71/404.56 c #Conflicts: 233000 | #Constraints: 28704
390.71/404.56 c #Conflicts: 234000 | #Constraints: 29704
390.71/404.56 c #Conflicts: 235000 | #Constraints: 30704
390.71/404.56 c #Conflicts: 236000 | #Constraints: 31704
390.71/404.56 c INPROCESSING
390.71/404.56 c GARBAGE COLLECT
390.71/404.56 c rational objective 99
410.85/424.72 c #Conflicts: 237000 | #Constraints: 23113
410.85/424.72 c #Conflicts: 238000 | #Constraints: 24113
410.85/424.72 c #Conflicts: 239000 | #Constraints: 25113
410.85/424.72 c #Conflicts: 240000 | #Constraints: 26113
410.85/424.72 c #Conflicts: 241000 | #Constraints: 27113
410.85/424.72 c #Conflicts: 242000 | #Constraints: 28113
410.85/424.72 c #Conflicts: 243000 | #Constraints: 29113
410.85/424.72 c #Conflicts: 244000 | #Constraints: 30113
410.85/424.72 c #Conflicts: 245000 | #Constraints: 31113
410.85/424.72 c #Conflicts: 246000 | #Constraints: 32114
410.85/424.72 c INPROCESSING
410.85/424.72 c GARBAGE COLLECT
410.85/424.72 c rational objective 99
424.60/438.51 c #Conflicts: 247000 | #Constraints: 23311
424.60/438.51 c #Conflicts: 248000 | #Constraints: 24311
424.60/438.51 c #Conflicts: 249000 | #Constraints: 25311
424.60/438.51 c #Conflicts: 250000 | #Constraints: 26311
424.60/438.51 c #Conflicts: 251000 | #Constraints: 27311
424.60/438.51 c #Conflicts: 252000 | #Constraints: 28311
424.60/438.51 c #Conflicts: 253000 | #Constraints: 29311
424.60/438.51 c #Conflicts: 254000 | #Constraints: 30311
424.60/438.51 c #Conflicts: 255000 | #Constraints: 31311
424.60/438.51 c #Conflicts: 256000 | #Constraints: 32311
424.60/438.51 c INPROCESSING
424.60/438.51 c GARBAGE COLLECT
424.60/438.51 c rational objective 99
556.73/571.09 c #Conflicts: 257000 | #Constraints: 23307
556.73/571.09 c #Conflicts: 258000 | #Constraints: 24307
556.73/571.09 c #Conflicts: 259000 | #Constraints: 25308
556.73/571.09 c #Conflicts: 260000 | #Constraints: 26308
556.73/571.09 c #Conflicts: 261000 | #Constraints: 27308
556.73/571.09 c #Conflicts: 262000 | #Constraints: 28308
556.73/571.09 c #Conflicts: 263000 | #Constraints: 29308
556.73/571.09 c #Conflicts: 264000 | #Constraints: 30308
556.73/571.09 c #Conflicts: 265000 | #Constraints: 31308
556.73/571.09 c #Conflicts: 266000 | #Constraints: 32308
556.73/571.09 c INPROCESSING
556.73/571.09 c GARBAGE COLLECT
556.73/571.09 c #Conflicts: 267000 | #Constraints: 23117
556.73/571.09 c #Conflicts: 268000 | #Constraints: 24117
556.73/571.09 c #Conflicts: 269000 | #Constraints: 25117
556.73/571.09 c #Conflicts: 270000 | #Constraints: 26117
556.73/571.09 c #Conflicts: 271000 | #Constraints: 27118
556.73/571.09 c #Conflicts: 272000 | #Constraints: 28118
556.73/571.09 c #Conflicts: 273000 | #Constraints: 29118
556.73/571.09 c #Conflicts: 274000 | #Constraints: 30118
556.73/571.09 c #Conflicts: 275000 | #Constraints: 31118
556.73/571.09 c #Conflicts: 276000 | #Constraints: 32119
556.73/571.09 c #Conflicts: 277000 | #Constraints: 33119
556.73/571.09 c INPROCESSING
556.73/571.09 c GARBAGE COLLECT
556.73/571.09 c rational objective 99
758.27/773.18 c #Conflicts: 278000 | #Constraints: 23737
758.27/773.18 c #Conflicts: 279000 | #Constraints: 24737
758.27/773.18 c #Conflicts: 280000 | #Constraints: 25737
758.27/773.18 c #Conflicts: 281000 | #Constraints: 26737
758.27/773.18 c #Conflicts: 282000 | #Constraints: 27737
758.27/773.18 c #Conflicts: 283000 | #Constraints: 28737
758.27/773.18 c #Conflicts: 284000 | #Constraints: 29737
758.27/773.18 c #Conflicts: 285000 | #Constraints: 30737
758.27/773.18 c #Conflicts: 286000 | #Constraints: 31737
758.27/773.18 c #Conflicts: 287000 | #Constraints: 32737
758.27/773.18 c #Conflicts: 288000 | #Constraints: 33737
758.27/773.18 c INPROCESSING
758.27/773.18 c GARBAGE COLLECT
758.27/773.18 c #Conflicts: 289000 | #Constraints: 24119
758.27/773.18 c #Conflicts: 290000 | #Constraints: 25119
758.27/773.18 c #Conflicts: 291000 | #Constraints: 26119
758.27/773.18 c #Conflicts: 292000 | #Constraints: 27119
758.27/773.18 c #Conflicts: 293000 | #Constraints: 28119
758.27/773.18 c #Conflicts: 294000 | #Constraints: 29119
758.27/773.18 c #Conflicts: 295000 | #Constraints: 30119
758.27/773.18 c #Conflicts: 296000 | #Constraints: 31119
758.27/773.18 c #Conflicts: 297000 | #Constraints: 32119
758.27/773.18 c #Conflicts: 298000 | #Constraints: 33119
758.27/773.18 c #Conflicts: 299000 | #Constraints: 34119
758.27/773.18 c INPROCESSING
758.27/773.18 c GARBAGE COLLECT
758.27/773.18 c #Conflicts: 300000 | #Constraints: 24309
758.27/773.18 c #Conflicts: 301000 | #Constraints: 25309
758.27/773.18 c #Conflicts: 302000 | #Constraints: 26309
758.27/773.18 c #Conflicts: 303000 | #Constraints: 27309
758.27/773.18 c #Conflicts: 304000 | #Constraints: 28309
758.27/773.18 c #Conflicts: 305000 | #Constraints: 29309
758.27/773.18 c #Conflicts: 306000 | #Constraints: 30309
758.27/773.18 c #Conflicts: 307000 | #Constraints: 31309
758.27/773.18 c #Conflicts: 308000 | #Constraints: 32310
758.27/773.18 c #Conflicts: 309000 | #Constraints: 33310
758.27/773.18 c #Conflicts: 310000 | #Constraints: 34310
758.27/773.18 c INPROCESSING
758.27/773.18 c GARBAGE COLLECT
758.27/773.18 c rational objective 99
772.13/787.08 c #Conflicts: 311000 | #Constraints: 24314
772.13/787.08 c #Conflicts: 312000 | #Constraints: 25314
772.13/787.08 c #Conflicts: 313000 | #Constraints: 26314
772.13/787.08 c #Conflicts: 314000 | #Constraints: 27314
772.13/787.08 c #Conflicts: 315000 | #Constraints: 28314
772.13/787.08 c #Conflicts: 316000 | #Constraints: 29314
772.13/787.08 c #Conflicts: 317000 | #Constraints: 30314
772.13/787.08 c #Conflicts: 318000 | #Constraints: 31314
772.13/787.08 c #Conflicts: 319000 | #Constraints: 32314
772.13/787.08 c #Conflicts: 320000 | #Constraints: 33314
772.13/787.08 c #Conflicts: 321000 | #Constraints: 34314
772.13/787.08 c INPROCESSING
772.13/787.08 c GARBAGE COLLECT
772.13/787.08 c rational objective 99
791.28/806.28 c #Conflicts: 322000 | #Constraints: 24133
791.28/806.28 c #Conflicts: 323000 | #Constraints: 25133
791.28/806.28 c #Conflicts: 324000 | #Constraints: 26133
791.28/806.28 c #Conflicts: 325000 | #Constraints: 27133
791.28/806.28 c #Conflicts: 326000 | #Constraints: 28133
791.28/806.28 c #Conflicts: 327000 | #Constraints: 29133
791.28/806.28 c #Conflicts: 328000 | #Constraints: 30133
791.28/806.28 c #Conflicts: 329000 | #Constraints: 31133
791.28/806.28 c #Conflicts: 330000 | #Constraints: 32133
791.28/806.28 c #Conflicts: 331000 | #Constraints: 33133
791.28/806.28 c #Conflicts: 332000 | #Constraints: 34133
791.28/806.28 c #Conflicts: 333000 | #Constraints: 35133
791.28/806.28 c INPROCESSING
791.28/806.28 c GARBAGE COLLECT
791.28/806.28 c rational objective 99
820.49/835.52 c #Conflicts: 334000 | #Constraints: 24753
820.49/835.52 c #Conflicts: 335000 | #Constraints: 25753
820.49/835.52 c #Conflicts: 336000 | #Constraints: 26753
820.49/835.52 c #Conflicts: 337000 | #Constraints: 27753
820.49/835.52 c #Conflicts: 338000 | #Constraints: 28753
820.49/835.52 c #Conflicts: 339000 | #Constraints: 29753
820.49/835.52 c #Conflicts: 340000 | #Constraints: 30753
820.49/835.52 c #Conflicts: 341000 | #Constraints: 31753
820.49/835.52 c #Conflicts: 342000 | #Constraints: 32753
820.49/835.52 c #Conflicts: 343000 | #Constraints: 33753
820.49/835.52 c #Conflicts: 344000 | #Constraints: 34753
820.49/835.52 c #Conflicts: 345000 | #Constraints: 35753
820.49/835.52 c INPROCESSING
820.49/835.52 c GARBAGE COLLECT
820.49/835.52 c rational objective 99
865.06/880.28 c #Conflicts: 346000 | #Constraints: 25159
865.06/880.28 c #Conflicts: 347000 | #Constraints: 26159
865.06/880.28 c #Conflicts: 348000 | #Constraints: 27159
865.06/880.28 c #Conflicts: 349000 | #Constraints: 28159
865.06/880.28 c #Conflicts: 350000 | #Constraints: 29159
865.06/880.28 c #Conflicts: 351000 | #Constraints: 30159
865.06/880.28 c #Conflicts: 352000 | #Constraints: 31159
865.06/880.28 c #Conflicts: 353000 | #Constraints: 32159
865.06/880.28 c #Conflicts: 354000 | #Constraints: 33159
865.06/880.28 c #Conflicts: 355000 | #Constraints: 34159
865.06/880.28 c #Conflicts: 356000 | #Constraints: 35159
865.06/880.28 c #Conflicts: 357000 | #Constraints: 36159
865.06/880.28 c INPROCESSING
865.06/880.28 c GARBAGE COLLECT
865.06/880.28 c rational objective 99
950.33/965.79 c #Conflicts: 358000 | #Constraints: 25333
950.33/965.79 c #Conflicts: 359000 | #Constraints: 26333
950.33/965.79 c #Conflicts: 360000 | #Constraints: 27333
950.33/965.79 c #Conflicts: 361000 | #Constraints: 28333
950.33/965.79 c #Conflicts: 362000 | #Constraints: 29333
950.33/965.79 c #Conflicts: 363000 | #Constraints: 30333
950.33/965.79 c #Conflicts: 364000 | #Constraints: 31333
950.33/965.79 c #Conflicts: 365000 | #Constraints: 32333
950.33/965.79 c #Conflicts: 366000 | #Constraints: 33333
950.33/965.79 c #Conflicts: 367000 | #Constraints: 34333
950.33/965.79 c #Conflicts: 368000 | #Constraints: 35333
950.33/965.79 c #Conflicts: 369000 | #Constraints: 36333
950.33/965.79 c INPROCESSING
950.33/965.79 c GARBAGE COLLECT
950.33/965.79 c rational objective 99
986.82/1002.36 c #Conflicts: 370000 | #Constraints: 25357
986.82/1002.36 c #Conflicts: 371000 | #Constraints: 26357
986.82/1002.36 c #Conflicts: 372000 | #Constraints: 27357
986.82/1002.36 c #Conflicts: 373000 | #Constraints: 28357
986.82/1002.36 c #Conflicts: 374000 | #Constraints: 29357
986.82/1002.36 c #Conflicts: 375000 | #Constraints: 30357
986.82/1002.36 c #Conflicts: 376000 | #Constraints: 31357
986.82/1002.36 c #Conflicts: 377000 | #Constraints: 32357
986.82/1002.36 c #Conflicts: 378000 | #Constraints: 33357
986.82/1002.36 c #Conflicts: 379000 | #Constraints: 34357
986.82/1002.36 c #Conflicts: 380000 | #Constraints: 35357
986.82/1002.36 c #Conflicts: 381000 | #Constraints: 36357
986.82/1002.36 c INPROCESSING
986.82/1002.36 c GARBAGE COLLECT
986.82/1002.36 c rational objective 99
1011.75/1027.34 c #Conflicts: 382000 | #Constraints: 25156
1011.75/1027.34 c #Conflicts: 383000 | #Constraints: 26156
1011.75/1027.34 c #Conflicts: 384000 | #Constraints: 27156
1011.75/1027.34 c #Conflicts: 385000 | #Constraints: 28156
1011.75/1027.34 c #Conflicts: 386000 | #Constraints: 29156
1011.75/1027.34 c #Conflicts: 387000 | #Constraints: 30156
1011.75/1027.34 c #Conflicts: 388000 | #Constraints: 31156
1011.75/1027.34 c #Conflicts: 389000 | #Constraints: 32156
1011.75/1027.34 c #Conflicts: 390000 | #Constraints: 33156
1011.75/1027.34 c #Conflicts: 391000 | #Constraints: 34156
1011.75/1027.34 c #Conflicts: 392000 | #Constraints: 35156
1011.75/1027.34 c #Conflicts: 393000 | #Constraints: 36156
1011.75/1027.34 c #Conflicts: 394000 | #Constraints: 37156
1011.75/1027.34 c INPROCESSING
1011.75/1027.34 c GARBAGE COLLECT
1011.75/1027.34 c rational objective 99
1031.83/1047.58 c #Conflicts: 395000 | #Constraints: 25742
1031.83/1047.58 c #Conflicts: 396000 | #Constraints: 26742
1031.83/1047.58 c #Conflicts: 397000 | #Constraints: 27742
1031.83/1047.58 c #Conflicts: 398000 | #Constraints: 28742
1031.83/1047.58 c #Conflicts: 399000 | #Constraints: 29742
1031.83/1047.58 c #Conflicts: 400000 | #Constraints: 30742
1031.83/1047.58 c #Conflicts: 401000 | #Constraints: 31742
1031.83/1047.58 c #Conflicts: 402000 | #Constraints: 32742
1031.83/1047.58 c #Conflicts: 403000 | #Constraints: 33742
1031.83/1047.58 c #Conflicts: 404000 | #Constraints: 34742
1031.83/1047.58 c #Conflicts: 405000 | #Constraints: 35742
1031.83/1047.58 c #Conflicts: 406000 | #Constraints: 36742
1031.83/1047.58 c #Conflicts: 407000 | #Constraints: 37742
1031.83/1047.58 c INPROCESSING
1031.83/1047.58 c GARBAGE COLLECT
1031.83/1047.58 c rational objective 99
1066.42/1082.26 c #Conflicts: 408000 | #Constraints: 26161
1066.42/1082.26 c #Conflicts: 409000 | #Constraints: 27161
1066.42/1082.26 c #Conflicts: 410000 | #Constraints: 28161
1066.42/1082.26 c #Conflicts: 411000 | #Constraints: 29161
1066.42/1082.26 c #Conflicts: 412000 | #Constraints: 30161
1066.42/1082.26 c #Conflicts: 413000 | #Constraints: 31161
1066.42/1082.26 c #Conflicts: 414000 | #Constraints: 32161
1066.42/1082.26 c #Conflicts: 415000 | #Constraints: 33161
1066.42/1082.26 c #Conflicts: 416000 | #Constraints: 34161
1066.42/1082.26 c #Conflicts: 417000 | #Constraints: 35161
1066.42/1082.26 c #Conflicts: 418000 | #Constraints: 36161
1066.42/1082.26 c #Conflicts: 419000 | #Constraints: 37161
1066.42/1082.26 c #Conflicts: 420000 | #Constraints: 38161
1066.42/1082.26 c INPROCESSING
1066.42/1082.26 c GARBAGE COLLECT
1066.42/1082.26 c rational objective 99
1147.40/1163.46 c #Conflicts: 421000 | #Constraints: 26360
1147.40/1163.46 c #Conflicts: 422000 | #Constraints: 27360
1147.40/1163.46 c #Conflicts: 423000 | #Constraints: 28360
1147.40/1163.46 c #Conflicts: 424000 | #Constraints: 29360
1147.40/1163.46 c #Conflicts: 425000 | #Constraints: 30360
1147.40/1163.46 c #Conflicts: 426000 | #Constraints: 31360
1147.40/1163.46 c #Conflicts: 427000 | #Constraints: 32360
1147.40/1163.46 c #Conflicts: 428000 | #Constraints: 33360
1147.40/1163.46 c #Conflicts: 429000 | #Constraints: 34360
1147.40/1163.46 c #Conflicts: 430000 | #Constraints: 35360
1147.40/1163.46 c #Conflicts: 431000 | #Constraints: 36360
1147.40/1163.46 c #Conflicts: 432000 | #Constraints: 37360
1147.40/1163.46 c #Conflicts: 433000 | #Constraints: 38360
1147.40/1163.46 c INPROCESSING
1147.40/1163.46 c GARBAGE COLLECT
1147.40/1163.46 c rational objective 99
1170.53/1186.66 c #Conflicts: 434000 | #Constraints: 26346
1170.53/1186.66 c #Conflicts: 435000 | #Constraints: 27346
1170.53/1186.66 c #Conflicts: 436000 | #Constraints: 28346
1170.53/1186.66 c #Conflicts: 437000 | #Constraints: 29346
1170.53/1186.66 c #Conflicts: 438000 | #Constraints: 30346
1170.53/1186.66 c #Conflicts: 439000 | #Constraints: 31346
1170.53/1186.66 c #Conflicts: 440000 | #Constraints: 32346
1170.53/1186.66 c #Conflicts: 441000 | #Constraints: 33346
1170.53/1186.66 c #Conflicts: 442000 | #Constraints: 34346
1170.53/1186.66 c #Conflicts: 443000 | #Constraints: 35346
1170.53/1186.66 c #Conflicts: 444000 | #Constraints: 36346
1170.53/1186.66 c #Conflicts: 445000 | #Constraints: 37346
1170.53/1186.66 c #Conflicts: 446000 | #Constraints: 38346
1170.53/1186.66 c INPROCESSING
1170.53/1186.66 c GARBAGE COLLECT
1170.53/1186.66 c rational objective 99
1202.95/1219.22 c #Conflicts: 447000 | #Constraints: 26152
1202.95/1219.22 c #Conflicts: 448000 | #Constraints: 27152
1202.95/1219.22 c #Conflicts: 449000 | #Constraints: 28152
1202.95/1219.22 c #Conflicts: 450000 | #Constraints: 29152
1202.95/1219.22 c #Conflicts: 451000 | #Constraints: 30152
1202.95/1219.22 c #Conflicts: 452000 | #Constraints: 31152
1202.95/1219.22 c #Conflicts: 453000 | #Constraints: 32152
1202.95/1219.22 c #Conflicts: 454000 | #Constraints: 33152
1202.95/1219.22 c #Conflicts: 455000 | #Constraints: 34152
1202.95/1219.22 c #Conflicts: 456000 | #Constraints: 35152
1202.95/1219.22 c #Conflicts: 457000 | #Constraints: 36152
1202.95/1219.22 c #Conflicts: 458000 | #Constraints: 37152
1202.95/1219.22 c #Conflicts: 459000 | #Constraints: 38152
1202.95/1219.22 c #Conflicts: 460000 | #Constraints: 39152
1202.95/1219.22 c INPROCESSING
1202.95/1219.22 c GARBAGE COLLECT
1202.95/1219.22 c rational objective 99
1233.46/1249.89 c #Conflicts: 461000 | #Constraints: 26754
1233.46/1249.89 c #Conflicts: 462000 | #Constraints: 27754
1233.46/1249.89 c #Conflicts: 463000 | #Constraints: 28754
1233.46/1249.89 c #Conflicts: 464000 | #Constraints: 29754
1233.46/1249.89 c #Conflicts: 465000 | #Constraints: 30754
1233.46/1249.89 c #Conflicts: 466000 | #Constraints: 31754
1233.46/1249.89 c #Conflicts: 467000 | #Constraints: 32754
1233.46/1249.89 c #Conflicts: 468000 | #Constraints: 33754
1233.46/1249.89 c #Conflicts: 469000 | #Constraints: 34754
1233.46/1249.89 c #Conflicts: 470000 | #Constraints: 35754
1233.46/1249.89 c #Conflicts: 471000 | #Constraints: 36754
1233.46/1249.89 c #Conflicts: 472000 | #Constraints: 37754
1233.46/1249.89 c #Conflicts: 473000 | #Constraints: 38754
1233.46/1249.89 c #Conflicts: 474000 | #Constraints: 39754
1233.46/1249.89 c INPROCESSING
1233.46/1249.89 c GARBAGE COLLECT
1233.46/1249.89 c rational objective 99
1258.20/1274.76 c #Conflicts: 475000 | #Constraints: 27164
1258.20/1274.76 c #Conflicts: 476000 | #Constraints: 28164
1258.20/1274.76 c #Conflicts: 477000 | #Constraints: 29164
1258.20/1274.76 c #Conflicts: 478000 | #Constraints: 30164
1258.20/1274.76 c #Conflicts: 479000 | #Constraints: 31164
1258.20/1274.76 c #Conflicts: 480000 | #Constraints: 32164
1258.20/1274.76 c #Conflicts: 481000 | #Constraints: 33164
1258.20/1274.76 c #Conflicts: 482000 | #Constraints: 34164
1258.20/1274.76 c #Conflicts: 483000 | #Constraints: 35164
1258.20/1274.76 c #Conflicts: 484000 | #Constraints: 36164
1258.20/1274.76 c #Conflicts: 485000 | #Constraints: 37164
1258.20/1274.76 c #Conflicts: 486000 | #Constraints: 38164
1258.20/1274.76 c #Conflicts: 487000 | #Constraints: 39164
1258.20/1274.76 c #Conflicts: 488000 | #Constraints: 40164
1258.20/1274.76 c INPROCESSING
1258.20/1274.76 c GARBAGE COLLECT
1258.20/1274.76 c rational objective 99
1298.57/1315.28 c #Conflicts: 489000 | #Constraints: 27367
1298.57/1315.28 c #Conflicts: 490000 | #Constraints: 28367
1298.57/1315.28 c #Conflicts: 491000 | #Constraints: 29367
1298.57/1315.28 c #Conflicts: 492000 | #Constraints: 30367
1298.57/1315.28 c #Conflicts: 493000 | #Constraints: 31367
1298.57/1315.28 c #Conflicts: 494000 | #Constraints: 32367
1298.57/1315.28 c #Conflicts: 495000 | #Constraints: 33367
1298.57/1315.28 c #Conflicts: 496000 | #Constraints: 34367
1298.57/1315.28 c #Conflicts: 497000 | #Constraints: 35367
1298.57/1315.28 c #Conflicts: 498000 | #Constraints: 36367
1298.57/1315.28 c #Conflicts: 499000 | #Constraints: 37367
1298.57/1315.28 c #Conflicts: 500000 | #Constraints: 38367
1298.57/1315.28 c #Conflicts: 501000 | #Constraints: 39367
1298.57/1315.28 c #Conflicts: 502000 | #Constraints: 40367
1298.57/1315.28 c INPROCESSING
1298.57/1315.28 c GARBAGE COLLECT
1298.57/1315.28 c rational objective 99
1364.02/1380.99 c #Conflicts: 503000 | #Constraints: 27382
1364.02/1380.99 c #Conflicts: 504000 | #Constraints: 28382
1364.02/1380.99 c #Conflicts: 505000 | #Constraints: 29382
1364.02/1380.99 c #Conflicts: 506000 | #Constraints: 30382
1364.02/1380.99 c #Conflicts: 507000 | #Constraints: 31382
1364.02/1380.99 c #Conflicts: 508000 | #Constraints: 32382
1364.02/1380.99 c #Conflicts: 509000 | #Constraints: 33382
1364.02/1380.99 c #Conflicts: 510000 | #Constraints: 34382
1364.02/1380.99 c #Conflicts: 511000 | #Constraints: 35382
1364.02/1380.99 c #Conflicts: 512000 | #Constraints: 36382
1364.02/1380.99 c #Conflicts: 513000 | #Constraints: 37382
1364.02/1380.99 c #Conflicts: 514000 | #Constraints: 38382
1364.02/1380.99 c #Conflicts: 515000 | #Constraints: 39383
1364.02/1380.99 c #Conflicts: 516000 | #Constraints: 40383
1364.02/1380.99 c INPROCESSING
1364.02/1380.99 c GARBAGE COLLECT
1364.02/1380.99 c rational objective 99
1397.38/1414.48 c #Conflicts: 517000 | #Constraints: 27189
1397.38/1414.48 c #Conflicts: 518000 | #Constraints: 28189
1397.38/1414.48 c #Conflicts: 519000 | #Constraints: 29189
1397.38/1414.48 c #Conflicts: 520000 | #Constraints: 30189
1397.38/1414.48 c #Conflicts: 521000 | #Constraints: 31189
1397.38/1414.48 c #Conflicts: 522000 | #Constraints: 32189
1397.38/1414.48 c #Conflicts: 523000 | #Constraints: 33189
1397.38/1414.48 c #Conflicts: 524000 | #Constraints: 34189
1397.38/1414.48 c #Conflicts: 525000 | #Constraints: 35189
1397.38/1414.48 c #Conflicts: 526000 | #Constraints: 36189
1397.38/1414.48 c #Conflicts: 527000 | #Constraints: 37189
1397.38/1414.48 c #Conflicts: 528000 | #Constraints: 38189
1397.38/1414.48 c #Conflicts: 529000 | #Constraints: 39189
1397.38/1414.48 c #Conflicts: 530000 | #Constraints: 40189
1397.38/1414.48 c #Conflicts: 531000 | #Constraints: 41189
1397.38/1414.48 c INPROCESSING
1397.38/1414.48 c GARBAGE COLLECT
1397.38/1414.48 c rational objective 99
1430.30/1447.58 c #Conflicts: 532000 | #Constraints: 27778
1430.30/1447.58 c #Conflicts: 533000 | #Constraints: 28778
1430.30/1447.58 c #Conflicts: 534000 | #Constraints: 29778
1430.30/1447.58 c #Conflicts: 535000 | #Constraints: 30778
1430.30/1447.58 c #Conflicts: 536000 | #Constraints: 31778
1430.30/1447.58 c #Conflicts: 537000 | #Constraints: 32778
1430.30/1447.58 c #Conflicts: 538000 | #Constraints: 33778
1430.30/1447.58 c #Conflicts: 539000 | #Constraints: 34778
1430.30/1447.58 c #Conflicts: 540000 | #Constraints: 35778
1430.30/1447.58 c #Conflicts: 541000 | #Constraints: 36778
1430.30/1447.58 c #Conflicts: 542000 | #Constraints: 37778
1430.30/1447.58 c #Conflicts: 543000 | #Constraints: 38778
1430.30/1447.58 c #Conflicts: 544000 | #Constraints: 39778
1430.30/1447.58 c #Conflicts: 545000 | #Constraints: 40778
1430.30/1447.58 c #Conflicts: 546000 | #Constraints: 41778
1430.30/1447.58 c INPROCESSING
1430.30/1447.58 c GARBAGE COLLECT
1430.30/1447.58 c rational objective 99
1469.10/1486.42 c #Conflicts: 547000 | #Constraints: 28186
1469.10/1486.42 c #Conflicts: 548000 | #Constraints: 29186
1469.10/1486.42 c #Conflicts: 549000 | #Constraints: 30186
1469.10/1486.42 c #Conflicts: 550000 | #Constraints: 31186
1469.10/1486.42 c #Conflicts: 551000 | #Constraints: 32186
1469.10/1486.42 c #Conflicts: 552000 | #Constraints: 33186
1469.10/1486.42 c #Conflicts: 553000 | #Constraints: 34186
1469.10/1486.42 c #Conflicts: 554000 | #Constraints: 35186
1469.10/1486.42 c #Conflicts: 555000 | #Constraints: 36186
1469.10/1486.42 c #Conflicts: 556000 | #Constraints: 37186
1469.10/1486.42 c #Conflicts: 557000 | #Constraints: 38186
1469.10/1486.42 c #Conflicts: 558000 | #Constraints: 39186
1469.10/1486.42 c #Conflicts: 559000 | #Constraints: 40186
1469.10/1486.42 c #Conflicts: 560000 | #Constraints: 41186
1469.10/1486.42 c #Conflicts: 561000 | #Constraints: 42186
1469.10/1486.42 c INPROCESSING
1469.10/1486.42 c GARBAGE COLLECT
1469.10/1486.42 c rational objective 99
1545.97/1563.55 c #Conflicts: 562000 | #Constraints: 28393
1545.97/1563.55 c #Conflicts: 563000 | #Constraints: 29393
1545.97/1563.55 c #Conflicts: 564000 | #Constraints: 30393
1545.97/1563.55 c #Conflicts: 565000 | #Constraints: 31393
1545.97/1563.55 c #Conflicts: 566000 | #Constraints: 32393
1545.97/1563.55 c #Conflicts: 567000 | #Constraints: 33393
1545.97/1563.55 c #Conflicts: 568000 | #Constraints: 34393
1545.97/1563.55 c #Conflicts: 569000 | #Constraints: 35393
1545.97/1563.55 c #Conflicts: 570000 | #Constraints: 36393
1545.97/1563.55 c #Conflicts: 571000 | #Constraints: 37393
1545.97/1563.55 c #Conflicts: 572000 | #Constraints: 38393
1545.97/1563.55 c #Conflicts: 573000 | #Constraints: 39393
1545.97/1563.55 c #Conflicts: 574000 | #Constraints: 40393
1545.97/1563.55 c #Conflicts: 575000 | #Constraints: 41393
1545.97/1563.55 c #Conflicts: 576000 | #Constraints: 42393
1545.97/1563.55 c INPROCESSING
1545.97/1563.55 c GARBAGE COLLECT
1545.97/1563.55 c rational objective 99
1575.68/1593.37 c #Conflicts: 577000 | #Constraints: 28367
1575.68/1593.37 c #Conflicts: 578000 | #Constraints: 29367
1575.68/1593.37 c #Conflicts: 579000 | #Constraints: 30367
1575.68/1593.37 c #Conflicts: 580000 | #Constraints: 31367
1575.68/1593.37 c #Conflicts: 581000 | #Constraints: 32367
1575.68/1593.37 c #Conflicts: 582000 | #Constraints: 33367
1575.68/1593.37 c #Conflicts: 583000 | #Constraints: 34367
1575.68/1593.37 c #Conflicts: 584000 | #Constraints: 35367
1575.68/1593.37 c #Conflicts: 585000 | #Constraints: 36367
1575.68/1593.37 c #Conflicts: 586000 | #Constraints: 37367
1575.68/1593.37 c #Conflicts: 587000 | #Constraints: 38367
1575.68/1593.37 c #Conflicts: 588000 | #Constraints: 39367
1575.68/1593.37 c #Conflicts: 589000 | #Constraints: 40367
1575.68/1593.37 c #Conflicts: 590000 | #Constraints: 41367
1575.68/1593.37 c #Conflicts: 591000 | #Constraints: 42367
1575.68/1593.37 c INPROCESSING
1575.68/1593.37 c GARBAGE COLLECT
1575.68/1593.37 c rational objective 99
1601.20/1618.97 c #Conflicts: 592000 | #Constraints: 28182
1601.20/1618.97 c #Conflicts: 593000 | #Constraints: 29182
1601.20/1618.97 c #Conflicts: 594000 | #Constraints: 30182
1601.20/1618.97 c #Conflicts: 595000 | #Constraints: 31182
1601.20/1618.97 c #Conflicts: 596000 | #Constraints: 32182
1601.20/1618.97 c #Conflicts: 597000 | #Constraints: 33182
1601.20/1618.97 c #Conflicts: 598000 | #Constraints: 34182
1601.20/1618.97 c #Conflicts: 599000 | #Constraints: 35182
1601.20/1618.97 c #Conflicts: 600000 | #Constraints: 36182
1601.20/1618.97 c #Conflicts: 601000 | #Constraints: 37182
1601.20/1618.97 c #Conflicts: 602000 | #Constraints: 38182
1601.20/1618.97 c #Conflicts: 603000 | #Constraints: 39182
1601.20/1618.97 c #Conflicts: 604000 | #Constraints: 40182
1601.20/1618.97 c #Conflicts: 605000 | #Constraints: 41182
1601.20/1618.97 c #Conflicts: 606000 | #Constraints: 42182
1601.20/1618.97 c #Conflicts: 607000 | #Constraints: 43182
1601.20/1618.97 c INPROCESSING
1601.20/1618.97 c GARBAGE COLLECT
1601.20/1618.97 c rational objective 99
1626.61/1644.40 c #Conflicts: 608000 | #Constraints: 28760
1626.61/1644.40 c #Conflicts: 609000 | #Constraints: 29760
1626.61/1644.40 c #Conflicts: 610000 | #Constraints: 30760
1626.61/1644.40 c #Conflicts: 611000 | #Constraints: 31760
1626.61/1644.40 c #Conflicts: 612000 | #Constraints: 32760
1626.61/1644.40 c #Conflicts: 613000 | #Constraints: 33760
1626.61/1644.40 c #Conflicts: 614000 | #Constraints: 34760
1626.61/1644.40 c #Conflicts: 615000 | #Constraints: 35760
1626.61/1644.40 c #Conflicts: 616000 | #Constraints: 36760
1626.61/1644.40 c #Conflicts: 617000 | #Constraints: 37760
1626.61/1644.40 c #Conflicts: 618000 | #Constraints: 38760
1626.61/1644.40 c #Conflicts: 619000 | #Constraints: 39760
1626.61/1644.40 c #Conflicts: 620000 | #Constraints: 40760
1626.61/1644.40 c #Conflicts: 621000 | #Constraints: 41760
1626.61/1644.40 c #Conflicts: 622000 | #Constraints: 42760
1626.61/1644.40 c #Conflicts: 623000 | #Constraints: 43760
1626.61/1644.40 c INPROCESSING
1626.61/1644.40 c GARBAGE COLLECT
1626.61/1644.40 c rational objective 99
1670.70/1688.68 c #Conflicts: 624000 | #Constraints: 29175
1670.70/1688.68 c #Conflicts: 625000 | #Constraints: 30175
1670.70/1688.68 c #Conflicts: 626000 | #Constraints: 31175
1670.70/1688.68 c #Conflicts: 627000 | #Constraints: 32175
1670.70/1688.68 c #Conflicts: 628000 | #Constraints: 33175
1670.70/1688.68 c #Conflicts: 629000 | #Constraints: 34175
1670.70/1688.68 c #Conflicts: 630000 | #Constraints: 35175
1670.70/1688.68 c #Conflicts: 631000 | #Constraints: 36175
1670.70/1688.68 c #Conflicts: 632000 | #Constraints: 37175
1670.70/1688.68 c #Conflicts: 633000 | #Constraints: 38175
1670.70/1688.68 c #Conflicts: 634000 | #Constraints: 39175
1670.70/1688.68 c #Conflicts: 635000 | #Constraints: 40175
1670.70/1688.68 c #Conflicts: 636000 | #Constraints: 41175
1670.70/1688.68 c #Conflicts: 637000 | #Constraints: 42175
1670.70/1688.68 c #Conflicts: 638000 | #Constraints: 43175
1670.70/1688.68 c #Conflicts: 639000 | #Constraints: 44175
1670.70/1688.68 c INPROCESSING
1670.70/1688.68 c GARBAGE COLLECT
1670.70/1688.68 c rational objective 99
1697.81/1715.85 c #Conflicts: 640000 | #Constraints: 29364
1697.81/1715.85 c #Conflicts: 641000 | #Constraints: 30364
1697.81/1715.85 c #Conflicts: 642000 | #Constraints: 31364
1697.81/1715.85 c #Conflicts: 643000 | #Constraints: 32364
1697.81/1715.85 c #Conflicts: 644000 | #Constraints: 33364
1697.81/1715.85 c #Conflicts: 645000 | #Constraints: 34364
1697.81/1715.85 c #Conflicts: 646000 | #Constraints: 35364
1697.81/1715.85 c #Conflicts: 647000 | #Constraints: 36364
1697.81/1715.85 c #Conflicts: 648000 | #Constraints: 37364
1697.81/1715.85 c #Conflicts: 649000 | #Constraints: 38364
1697.81/1715.85 c #Conflicts: 650000 | #Constraints: 39364
1697.81/1715.85 c #Conflicts: 651000 | #Constraints: 40364
1697.81/1715.85 c #Conflicts: 652000 | #Constraints: 41364
1697.81/1715.85 c #Conflicts: 653000 | #Constraints: 42364
1697.81/1715.85 c #Conflicts: 654000 | #Constraints: 43364
1697.81/1715.85 c #Conflicts: 655000 | #Constraints: 44364
1697.81/1715.85 c INPROCESSING
1697.81/1715.85 c GARBAGE COLLECT
1697.81/1715.85 c rational objective 99
1730.91/1749.13 c #Conflicts: 656000 | #Constraints: 29362
1730.91/1749.13 c #Conflicts: 657000 | #Constraints: 30362
1730.91/1749.13 c #Conflicts: 658000 | #Constraints: 31362
1730.91/1749.13 c #Conflicts: 659000 | #Constraints: 32362
1730.91/1749.13 c #Conflicts: 660000 | #Constraints: 33362
1730.91/1749.13 c #Conflicts: 661000 | #Constraints: 34362
1730.91/1749.13 c #Conflicts: 662000 | #Constraints: 35362
1730.91/1749.13 c #Conflicts: 663000 | #Constraints: 36362
1730.91/1749.13 c #Conflicts: 664000 | #Constraints: 37362
1730.91/1749.13 c #Conflicts: 665000 | #Constraints: 38362
1730.91/1749.13 c #Conflicts: 666000 | #Constraints: 39362
1730.91/1749.13 c #Conflicts: 667000 | #Constraints: 40362
1730.91/1749.13 c #Conflicts: 668000 | #Constraints: 41362
1730.91/1749.13 c #Conflicts: 669000 | #Constraints: 42362
1730.91/1749.13 c #Conflicts: 670000 | #Constraints: 43362
1730.91/1749.13 c #Conflicts: 671000 | #Constraints: 44362
1730.91/1749.13 c INPROCESSING
1730.91/1749.13 c GARBAGE COLLECT
1730.91/1749.13 c rational objective 99
1773.23/1791.68 c #Conflicts: 672000 | #Constraints: 29178
1773.23/1791.68 c #Conflicts: 673000 | #Constraints: 30178
1773.23/1791.68 c #Conflicts: 674000 | #Constraints: 31178
1773.23/1791.68 c #Conflicts: 675000 | #Constraints: 32178
1773.23/1791.68 c #Conflicts: 676000 | #Constraints: 33178
1773.23/1791.68 c #Conflicts: 677000 | #Constraints: 34178
1773.23/1791.68 c #Conflicts: 678000 | #Constraints: 35178
1773.23/1791.68 c #Conflicts: 679000 | #Constraints: 36178
1773.23/1791.68 c #Conflicts: 680000 | #Constraints: 37178
1773.23/1791.68 c #Conflicts: 681000 | #Constraints: 38178
1773.23/1791.68 c #Conflicts: 682000 | #Constraints: 39178
1773.23/1791.68 c #Conflicts: 683000 | #Constraints: 40178
1773.23/1791.68 c #Conflicts: 684000 | #Constraints: 41179
1773.23/1791.68 c #Conflicts: 685000 | #Constraints: 42179
1773.23/1791.68 c #Conflicts: 686000 | #Constraints: 43179
1773.23/1791.68 c #Conflicts: 687000 | #Constraints: 44179
1773.23/1791.68 c #Conflicts: 688000 | #Constraints: 45179
1773.23/1791.68 c INPROCESSING
1773.23/1791.68 c GARBAGE COLLECT
1773.23/1791.68 c rational objective 99
1805.44/1823.98 c #Conflicts: 689000 | #Constraints: 29780
1805.44/1823.98 c #Conflicts: 690000 | #Constraints: 30780
1805.44/1823.98 c #Conflicts: 691000 | #Constraints: 31780
1805.44/1823.98 c #Conflicts: 692000 | #Constraints: 32780
1805.44/1823.98 c #Conflicts: 693000 | #Constraints: 33780
1805.44/1823.98 c #Conflicts: 694000 | #Constraints: 34780
1805.44/1823.98 c #Conflicts: 695000 | #Constraints: 35780
1805.44/1823.98 c #Conflicts: 696000 | #Constraints: 36780
1805.44/1823.98 c #Conflicts: 697000 | #Constraints: 37780
1805.44/1823.98 c #Conflicts: 698000 | #Constraints: 38780
1805.44/1823.98 c #Conflicts: 699000 | #Constraints: 39780
1805.44/1823.98 c #Conflicts: 700000 | #Constraints: 40780
1805.44/1823.98 c #Conflicts: 701000 | #Constraints: 41780
1805.44/1823.98 c #Conflicts: 702000 | #Constraints: 42780
1805.44/1823.98 c #Conflicts: 703000 | #Constraints: 43780
1805.44/1823.98 c #Conflicts: 704000 | #Constraints: 44780
1805.44/1823.98 c #Conflicts: 705000 | #Constraints: 45780
1805.44/1823.98 c INPROCESSING
1805.44/1823.98 c GARBAGE COLLECT
1805.44/1823.98 c rational objective 99
1843.53/1862.11 c #Conflicts: 706000 | #Constraints: 30191
1843.53/1862.11 c #Conflicts: 707000 | #Constraints: 31191
1843.53/1862.11 c #Conflicts: 708000 | #Constraints: 32191
1843.53/1862.11 c #Conflicts: 709000 | #Constraints: 33191
1843.53/1862.11 c #Conflicts: 710000 | #Constraints: 34191
1843.53/1862.11 c #Conflicts: 711000 | #Constraints: 35191
1843.53/1862.11 c #Conflicts: 712000 | #Constraints: 36191
1843.53/1862.11 c #Conflicts: 713000 | #Constraints: 37191
1843.53/1862.11 c #Conflicts: 714000 | #Constraints: 38191
1843.53/1862.11 c #Conflicts: 715000 | #Constraints: 39191
1843.53/1862.11 c #Conflicts: 716000 | #Constraints: 40191
1843.53/1862.11 c #Conflicts: 717000 | #Constraints: 41191
1843.53/1862.11 c #Conflicts: 718000 | #Constraints: 42191
1843.53/1862.11 c #Conflicts: 719000 | #Constraints: 43191
1843.53/1862.11 c #Conflicts: 720000 | #Constraints: 44191
1843.53/1862.11 c #Conflicts: 721000 | #Constraints: 45191
1843.53/1862.11 c #Conflicts: 722000 | #Constraints: 46191
1843.53/1862.11 c INPROCESSING
1843.53/1862.11 c GARBAGE COLLECT
1843.53/1862.11 c rational objective 99
1877.62/1896.37 c #Conflicts: 723000 | #Constraints: 30384
1877.62/1896.37 c #Conflicts: 724000 | #Constraints: 31384
1877.62/1896.37 c #Conflicts: 725000 | #Constraints: 32384
1877.62/1896.37 c #Conflicts: 726000 | #Constraints: 33384
1877.62/1896.37 c #Conflicts: 727000 | #Constraints: 34384
1877.62/1896.37 c #Conflicts: 728000 | #Constraints: 35384
1877.62/1896.37 c #Conflicts: 729000 | #Constraints: 36384
1877.62/1896.37 c #Conflicts: 730000 | #Constraints: 37384
1877.62/1896.37 c #Conflicts: 731000 | #Constraints: 38384
1877.62/1896.37 c #Conflicts: 732000 | #Constraints: 39384
1877.62/1896.37 c #Conflicts: 733000 | #Constraints: 40384
1877.62/1896.37 c #Conflicts: 734000 | #Constraints: 41384
1877.62/1896.37 c #Conflicts: 735000 | #Constraints: 42384
1877.62/1896.37 c #Conflicts: 736000 | #Constraints: 43384
1877.62/1896.37 c #Conflicts: 737000 | #Constraints: 44384
1877.62/1896.37 c #Conflicts: 738000 | #Constraints: 45384
1877.62/1896.37 c #Conflicts: 739000 | #Constraints: 46384
1877.62/1896.37 c INPROCESSING
1877.62/1896.37 c GARBAGE COLLECT
1877.62/1896.37 c rational objective 99
1905.33/1924.17 c #Conflicts: 740000 | #Constraints: 30397
1905.33/1924.17 c #Conflicts: 741000 | #Constraints: 31397
1905.33/1924.17 c #Conflicts: 742000 | #Constraints: 32397
1905.33/1924.17 c #Conflicts: 743000 | #Constraints: 33397
1905.33/1924.17 c #Conflicts: 744000 | #Constraints: 34397
1905.33/1924.17 c #Conflicts: 745000 | #Constraints: 35397
1905.33/1924.17 c #Conflicts: 746000 | #Constraints: 36397
1905.33/1924.17 c #Conflicts: 747000 | #Constraints: 37397
1905.33/1924.17 c #Conflicts: 748000 | #Constraints: 38397
1905.33/1924.17 c #Conflicts: 749000 | #Constraints: 39397
1905.33/1924.17 c #Conflicts: 750000 | #Constraints: 40397
1905.33/1924.17 c #Conflicts: 751000 | #Constraints: 41397
1905.33/1924.17 c #Conflicts: 752000 | #Constraints: 42397
1905.33/1924.17 c #Conflicts: 753000 | #Constraints: 43397
1905.33/1924.17 c #Conflicts: 754000 | #Constraints: 44397
1905.33/1924.17 c #Conflicts: 755000 | #Constraints: 45397
1905.33/1924.17 c #Conflicts: 756000 | #Constraints: 46397
1905.33/1924.17 c INPROCESSING
1905.33/1924.17 c GARBAGE COLLECT
1905.33/1924.17 c rational objective 99
1943.70/1962.66 c #Conflicts: 757000 | #Constraints: 30210
1943.70/1962.66 c #Conflicts: 758000 | #Constraints: 31210
1943.70/1962.66 c #Conflicts: 759000 | #Constraints: 32210
1943.70/1962.66 c #Conflicts: 760000 | #Constraints: 33210
1943.70/1962.66 c #Conflicts: 761000 | #Constraints: 34210
1943.70/1962.66 c #Conflicts: 762000 | #Constraints: 35210
1943.70/1962.66 c #Conflicts: 763000 | #Constraints: 36210
1943.70/1962.66 c #Conflicts: 764000 | #Constraints: 37210
1943.70/1962.66 c #Conflicts: 765000 | #Constraints: 38210
1943.70/1962.66 c #Conflicts: 766000 | #Constraints: 39210
1943.70/1962.66 c #Conflicts: 767000 | #Constraints: 40210
1943.70/1962.66 c #Conflicts: 768000 | #Constraints: 41210
1943.70/1962.66 c #Conflicts: 769000 | #Constraints: 42210
1943.70/1962.66 c #Conflicts: 770000 | #Constraints: 43210
1943.70/1962.66 c #Conflicts: 771000 | #Constraints: 44210
1943.70/1962.66 c #Conflicts: 772000 | #Constraints: 45210
1943.70/1962.66 c #Conflicts: 773000 | #Constraints: 46210
1943.70/1962.66 c #Conflicts: 774000 | #Constraints: 47210
1943.70/1962.66 c INPROCESSING
1943.70/1962.66 c GARBAGE COLLECT
1943.70/1962.66 c rational objective 99
1973.90/1993.06 c #Conflicts: 775000 | #Constraints: 30796
1973.90/1993.06 c #Conflicts: 776000 | #Constraints: 31796
1973.90/1993.06 c #Conflicts: 777000 | #Constraints: 32796
1973.90/1993.06 c #Conflicts: 778000 | #Constraints: 33796
1973.90/1993.06 c #Conflicts: 779000 | #Constraints: 34796
1973.90/1993.06 c #Conflicts: 780000 | #Constraints: 35796
1973.90/1993.06 c #Conflicts: 781000 | #Constraints: 36796
1973.90/1993.06 c #Conflicts: 782000 | #Constraints: 37796
1973.90/1993.06 c #Conflicts: 783000 | #Constraints: 38796
1973.90/1993.06 c #Conflicts: 784000 | #Constraints: 39796
1973.90/1993.06 c #Conflicts: 785000 | #Constraints: 40796
1973.90/1993.06 c #Conflicts: 786000 | #Constraints: 41796
1973.90/1993.06 c #Conflicts: 787000 | #Constraints: 42796
1973.90/1993.06 c #Conflicts: 788000 | #Constraints: 43796
1973.90/1993.06 c #Conflicts: 789000 | #Constraints: 44796
1973.90/1993.06 c #Conflicts: 790000 | #Constraints: 45796
1973.90/1993.06 c #Conflicts: 791000 | #Constraints: 46796
1973.90/1993.06 c #Conflicts: 792000 | #Constraints: 47796
1973.90/1993.06 c INPROCESSING
1973.90/1993.06 c GARBAGE COLLECT
1973.90/1993.06 c rational objective 99
1991.95/2011.21 c #Conflicts: 793000 | #Constraints: 31207
1991.95/2011.21 c #Conflicts: 794000 | #Constraints: 32207
1991.95/2011.21 c #Conflicts: 795000 | #Constraints: 33207
1991.95/2011.21 c #Conflicts: 796000 | #Constraints: 34207
1991.95/2011.21 c #Conflicts: 797000 | #Constraints: 35207
1991.95/2011.21 c #Conflicts: 798000 | #Constraints: 36207
1991.95/2011.21 c #Conflicts: 799000 | #Constraints: 37207
1991.95/2011.21 c #Conflicts: 800000 | #Constraints: 38207
1991.95/2011.21 c #Conflicts: 801000 | #Constraints: 39207
1991.95/2011.21 c #Conflicts: 802000 | #Constraints: 40207
1991.95/2011.21 c #Conflicts: 803000 | #Constraints: 41207
1991.95/2011.21 c #Conflicts: 804000 | #Constraints: 42207
1991.95/2011.21 c #Conflicts: 805000 | #Constraints: 43207
1991.95/2011.21 c #Conflicts: 806000 | #Constraints: 44207
1991.95/2011.21 c #Conflicts: 807000 | #Constraints: 45207
1991.95/2011.21 c #Conflicts: 808000 | #Constraints: 46207
1991.95/2011.21 c #Conflicts: 809000 | #Constraints: 47207
1991.95/2011.21 c #Conflicts: 810000 | #Constraints: 48207
1991.95/2011.21 c INPROCESSING
1991.95/2011.21 c GARBAGE COLLECT
1991.95/2011.21 c rational objective 99
2070.14/2089.67 c #Conflicts: 811000 | #Constraints: 31406
2070.14/2089.67 c #Conflicts: 812000 | #Constraints: 32406
2070.14/2089.67 c #Conflicts: 813000 | #Constraints: 33406
2070.14/2089.67 c #Conflicts: 814000 | #Constraints: 34406
2070.14/2089.67 c #Conflicts: 815000 | #Constraints: 35406
2070.14/2089.67 c #Conflicts: 816000 | #Constraints: 36406
2070.14/2089.67 c #Conflicts: 817000 | #Constraints: 37406
2070.14/2089.67 c #Conflicts: 818000 | #Constraints: 38406
2070.14/2089.67 c #Conflicts: 819000 | #Constraints: 39406
2070.14/2089.67 c #Conflicts: 820000 | #Constraints: 40406
2070.14/2089.67 c #Conflicts: 821000 | #Constraints: 41406
2070.14/2089.67 c #Conflicts: 822000 | #Constraints: 42406
2070.14/2089.67 c #Conflicts: 823000 | #Constraints: 43407
2070.14/2089.67 c #Conflicts: 824000 | #Constraints: 44407
2070.14/2089.67 c #Conflicts: 825000 | #Constraints: 45407
2070.14/2089.67 c #Conflicts: 826000 | #Constraints: 46407
2070.14/2089.67 c #Conflicts: 827000 | #Constraints: 47407
2070.14/2089.67 c #Conflicts: 828000 | #Constraints: 48408
2070.14/2089.67 c INPROCESSING
2070.14/2089.67 c GARBAGE COLLECT
2070.14/2089.67 c rational objective 99
2104.55/2124.19 c #Conflicts: 829000 | #Constraints: 31394
2104.55/2124.19 c #Conflicts: 830000 | #Constraints: 32394
2104.55/2124.19 c #Conflicts: 831000 | #Constraints: 33394
2104.55/2124.19 c #Conflicts: 832000 | #Constraints: 34394
2104.55/2124.19 c #Conflicts: 833000 | #Constraints: 35394
2104.55/2124.19 c #Conflicts: 834000 | #Constraints: 36394
2104.55/2124.19 c #Conflicts: 835000 | #Constraints: 37394
2104.55/2124.19 c #Conflicts: 836000 | #Constraints: 38394
2104.55/2124.19 c #Conflicts: 837000 | #Constraints: 39394
2104.55/2124.19 c #Conflicts: 838000 | #Constraints: 40394
2104.55/2124.19 c #Conflicts: 839000 | #Constraints: 41394
2104.55/2124.19 c #Conflicts: 840000 | #Constraints: 42394
2104.55/2124.19 c #Conflicts: 841000 | #Constraints: 43394
2104.55/2124.19 c #Conflicts: 842000 | #Constraints: 44394
2104.55/2124.19 c #Conflicts: 843000 | #Constraints: 45394
2104.55/2124.19 c #Conflicts: 844000 | #Constraints: 46394
2104.55/2124.19 c #Conflicts: 845000 | #Constraints: 47394
2104.55/2124.19 c #Conflicts: 846000 | #Constraints: 48394
2104.55/2124.19 c INPROCESSING
2104.55/2124.19 c GARBAGE COLLECT
2104.55/2124.19 c rational objective 99
2150.48/2170.30 c #Conflicts: 847000 | #Constraints: 31190
2150.48/2170.30 c #Conflicts: 848000 | #Constraints: 32190
2150.48/2170.30 c #Conflicts: 849000 | #Constraints: 33190
2150.48/2170.30 c #Conflicts: 850000 | #Constraints: 34190
2150.48/2170.30 c #Conflicts: 851000 | #Constraints: 35190
2150.48/2170.30 c #Conflicts: 852000 | #Constraints: 36190
2150.48/2170.30 c #Conflicts: 853000 | #Constraints: 37190
2150.48/2170.30 c #Conflicts: 854000 | #Constraints: 38190
2150.48/2170.30 c #Conflicts: 855000 | #Constraints: 39190
2150.48/2170.30 c #Conflicts: 856000 | #Constraints: 40190
2150.48/2170.30 c #Conflicts: 857000 | #Constraints: 41190
2150.48/2170.30 c #Conflicts: 858000 | #Constraints: 42190
2150.48/2170.30 c #Conflicts: 859000 | #Constraints: 43190
2150.48/2170.30 c #Conflicts: 860000 | #Constraints: 44190
2150.48/2170.30 c #Conflicts: 861000 | #Constraints: 45190
2150.48/2170.30 c #Conflicts: 862000 | #Constraints: 46190
2150.48/2170.30 c #Conflicts: 863000 | #Constraints: 47190
2150.48/2170.30 c #Conflicts: 864000 | #Constraints: 48190
2150.48/2170.30 c #Conflicts: 865000 | #Constraints: 49190
2150.48/2170.30 c INPROCESSING
2150.48/2170.30 c GARBAGE COLLECT
2150.48/2170.30 c rational objective 99
2179.31/2199.29 c #Conflicts: 866000 | #Constraints: 31790
2179.31/2199.29 c #Conflicts: 867000 | #Constraints: 32790
2179.31/2199.29 c #Conflicts: 868000 | #Constraints: 33790
2179.31/2199.29 c #Conflicts: 869000 | #Constraints: 34790
2179.31/2199.29 c #Conflicts: 870000 | #Constraints: 35790
2179.31/2199.29 c #Conflicts: 871000 | #Constraints: 36790
2179.31/2199.29 c #Conflicts: 872000 | #Constraints: 37790
2179.31/2199.29 c #Conflicts: 873000 | #Constraints: 38790
2179.31/2199.29 c #Conflicts: 874000 | #Constraints: 39790
2179.31/2199.29 c #Conflicts: 875000 | #Constraints: 40790
2179.31/2199.29 c #Conflicts: 876000 | #Constraints: 41790
2179.31/2199.29 c #Conflicts: 877000 | #Constraints: 42790
2179.31/2199.29 c #Conflicts: 878000 | #Constraints: 43790
2179.31/2199.29 c #Conflicts: 879000 | #Constraints: 44790
2179.31/2199.29 c #Conflicts: 880000 | #Constraints: 45790
2179.31/2199.29 c #Conflicts: 881000 | #Constraints: 46790
2179.31/2199.29 c #Conflicts: 882000 | #Constraints: 47790
2179.31/2199.29 c #Conflicts: 883000 | #Constraints: 48790
2179.31/2199.29 c #Conflicts: 884000 | #Constraints: 49790
2179.31/2199.29 c INPROCESSING
2179.31/2199.29 c GARBAGE COLLECT
2179.31/2199.29 c rational objective 99
2220.30/2240.39 c #Conflicts: 885000 | #Constraints: 32210
2220.30/2240.39 c #Conflicts: 886000 | #Constraints: 33210
2220.30/2240.39 c #Conflicts: 887000 | #Constraints: 34210
2220.30/2240.39 c #Conflicts: 888000 | #Constraints: 35210
2220.30/2240.39 c #Conflicts: 889000 | #Constraints: 36210
2220.30/2240.39 c #Conflicts: 890000 | #Constraints: 37210
2220.30/2240.39 c #Conflicts: 891000 | #Constraints: 38210
2220.30/2240.39 c #Conflicts: 892000 | #Constraints: 39210
2220.30/2240.39 c #Conflicts: 893000 | #Constraints: 40210
2220.30/2240.39 c #Conflicts: 894000 | #Constraints: 41210
2220.30/2240.39 c #Conflicts: 895000 | #Constraints: 42210
2220.30/2240.39 c #Conflicts: 896000 | #Constraints: 43210
2220.30/2240.39 c #Conflicts: 897000 | #Constraints: 44210
2220.30/2240.39 c #Conflicts: 898000 | #Constraints: 45210
2220.30/2240.39 c #Conflicts: 899000 | #Constraints: 46210
2220.30/2240.39 c #Conflicts: 900000 | #Constraints: 47210
2220.30/2240.39 c #Conflicts: 901000 | #Constraints: 48210
2220.30/2240.39 c #Conflicts: 902000 | #Constraints: 49210
2220.30/2240.39 c #Conflicts: 903000 | #Constraints: 50210
2220.30/2240.39 c INPROCESSING
2220.30/2240.39 c GARBAGE COLLECT
2220.30/2240.39 c rational objective 99
2257.20/2277.31 c #Conflicts: 904000 | #Constraints: 32387
2257.20/2277.31 c #Conflicts: 905000 | #Constraints: 33387
2257.20/2277.31 c #Conflicts: 906000 | #Constraints: 34387
2257.20/2277.31 c #Conflicts: 907000 | #Constraints: 35387
2257.20/2277.31 c #Conflicts: 908000 | #Constraints: 36387
2257.20/2277.31 c #Conflicts: 909000 | #Constraints: 37387
2257.20/2277.31 c #Conflicts: 910000 | #Constraints: 38387
2257.20/2277.31 c #Conflicts: 911000 | #Constraints: 39387
2257.20/2277.31 c #Conflicts: 912000 | #Constraints: 40387
2257.20/2277.31 c #Conflicts: 913000 | #Constraints: 41387
2257.20/2277.31 c #Conflicts: 914000 | #Constraints: 42387
2257.20/2277.31 c #Conflicts: 915000 | #Constraints: 43387
2257.20/2277.31 c #Conflicts: 916000 | #Constraints: 44387
2257.20/2277.31 c #Conflicts: 917000 | #Constraints: 45387
2257.20/2277.31 c #Conflicts: 918000 | #Constraints: 46387
2257.20/2277.31 c #Conflicts: 919000 | #Constraints: 47387
2257.20/2277.31 c #Conflicts: 920000 | #Constraints: 48387
2257.20/2277.31 c #Conflicts: 921000 | #Constraints: 49387
2257.20/2277.31 c #Conflicts: 922000 | #Constraints: 50387
2257.20/2277.31 c INPROCESSING
2257.20/2277.31 c GARBAGE COLLECT
2257.20/2277.31 c rational objective 99
2290.07/2310.30 c #Conflicts: 923000 | #Constraints: 32406
2290.07/2310.30 c #Conflicts: 924000 | #Constraints: 33406
2290.07/2310.30 c #Conflicts: 925000 | #Constraints: 34406
2290.07/2310.30 c #Conflicts: 926000 | #Constraints: 35406
2290.07/2310.30 c #Conflicts: 927000 | #Constraints: 36406
2290.07/2310.30 c #Conflicts: 928000 | #Constraints: 37406
2290.07/2310.30 c #Conflicts: 929000 | #Constraints: 38406
2290.07/2310.30 c #Conflicts: 930000 | #Constraints: 39406
2290.07/2310.30 c #Conflicts: 931000 | #Constraints: 40406
2290.07/2310.30 c #Conflicts: 932000 | #Constraints: 41406
2290.07/2310.30 c #Conflicts: 933000 | #Constraints: 42406
2290.07/2310.30 c #Conflicts: 934000 | #Constraints: 43406
2290.07/2310.30 c #Conflicts: 935000 | #Constraints: 44406
2290.07/2310.30 c #Conflicts: 936000 | #Constraints: 45406
2290.07/2310.30 c #Conflicts: 937000 | #Constraints: 46406
2290.07/2310.30 c #Conflicts: 938000 | #Constraints: 47406
2290.07/2310.30 c #Conflicts: 939000 | #Constraints: 48406
2290.07/2310.30 c #Conflicts: 940000 | #Constraints: 49406
2290.07/2310.30 c #Conflicts: 941000 | #Constraints: 50406
2290.07/2310.30 c INPROCESSING
2290.07/2310.30 c GARBAGE COLLECT
2290.07/2310.30 c rational objective 99
2323.63/2344.03 c #Conflicts: 942000 | #Constraints: 32209
2323.63/2344.03 c #Conflicts: 943000 | #Constraints: 33209
2323.63/2344.03 c #Conflicts: 944000 | #Constraints: 34209
2323.63/2344.03 c #Conflicts: 945000 | #Constraints: 35209
2323.63/2344.03 c #Conflicts: 946000 | #Constraints: 36209
2323.63/2344.03 c #Conflicts: 947000 | #Constraints: 37209
2323.63/2344.03 c #Conflicts: 948000 | #Constraints: 38209
2323.63/2344.03 c #Conflicts: 949000 | #Constraints: 39209
2323.63/2344.03 c #Conflicts: 950000 | #Constraints: 40209
2323.63/2344.03 c #Conflicts: 951000 | #Constraints: 41209
2323.63/2344.03 c #Conflicts: 952000 | #Constraints: 42209
2323.63/2344.03 c #Conflicts: 953000 | #Constraints: 43209
2323.63/2344.03 c #Conflicts: 954000 | #Constraints: 44209
2323.63/2344.03 c #Conflicts: 955000 | #Constraints: 45209
2323.63/2344.03 c #Conflicts: 956000 | #Constraints: 46209
2323.63/2344.03 c #Conflicts: 957000 | #Constraints: 47209
2323.63/2344.03 c #Conflicts: 958000 | #Constraints: 48209
2323.63/2344.03 c #Conflicts: 959000 | #Constraints: 49209
2323.63/2344.03 c #Conflicts: 960000 | #Constraints: 50209
2323.63/2344.03 c #Conflicts: 961000 | #Constraints: 51209
2323.63/2344.03 c INPROCESSING
2323.63/2344.03 c GARBAGE COLLECT
2323.63/2344.03 c rational objective 99
2344.16/2364.67 c #Conflicts: 962000 | #Constraints: 32813
2344.16/2364.67 c #Conflicts: 963000 | #Constraints: 33813
2344.16/2364.67 c #Conflicts: 964000 | #Constraints: 34813
2344.16/2364.67 c #Conflicts: 965000 | #Constraints: 35813
2344.16/2364.67 c #Conflicts: 966000 | #Constraints: 36813
2344.16/2364.67 c #Conflicts: 967000 | #Constraints: 37813
2344.16/2364.67 c #Conflicts: 968000 | #Constraints: 38813
2344.16/2364.67 c #Conflicts: 969000 | #Constraints: 39813
2344.16/2364.67 c #Conflicts: 970000 | #Constraints: 40813
2344.16/2364.67 c #Conflicts: 971000 | #Constraints: 41813
2344.16/2364.67 c #Conflicts: 972000 | #Constraints: 42813
2344.16/2364.67 c #Conflicts: 973000 | #Constraints: 43813
2344.16/2364.67 c #Conflicts: 974000 | #Constraints: 44813
2344.16/2364.67 c #Conflicts: 975000 | #Constraints: 45813
2344.16/2364.67 c #Conflicts: 976000 | #Constraints: 46813
2344.16/2364.67 c #Conflicts: 977000 | #Constraints: 47813
2344.16/2364.67 c #Conflicts: 978000 | #Constraints: 48813
2344.16/2364.67 c #Conflicts: 979000 | #Constraints: 49813
2344.16/2364.67 c #Conflicts: 980000 | #Constraints: 50813
2344.16/2364.67 c #Conflicts: 981000 | #Constraints: 51813
2344.16/2364.67 c INPROCESSING
2344.16/2364.67 c GARBAGE COLLECT
2344.16/2364.67 c rational objective 99
2390.24/2410.88 c #Conflicts: 982000 | #Constraints: 33207
2390.24/2410.88 c #Conflicts: 983000 | #Constraints: 34207
2390.24/2410.88 c #Conflicts: 984000 | #Constraints: 35207
2390.24/2410.88 c #Conflicts: 985000 | #Constraints: 36207
2390.24/2410.88 c #Conflicts: 986000 | #Constraints: 37207
2390.24/2410.88 c #Conflicts: 987000 | #Constraints: 38207
2390.24/2410.88 c #Conflicts: 988000 | #Constraints: 39207
2390.24/2410.88 c #Conflicts: 989000 | #Constraints: 40207
2390.24/2410.88 c #Conflicts: 990000 | #Constraints: 41207
2390.24/2410.88 c #Conflicts: 991000 | #Constraints: 42207
2390.24/2410.88 c #Conflicts: 992000 | #Constraints: 43207
2390.24/2410.88 c #Conflicts: 993000 | #Constraints: 44207
2390.24/2410.88 c #Conflicts: 994000 | #Constraints: 45207
2390.24/2410.88 c #Conflicts: 995000 | #Constraints: 46207
2390.24/2410.88 c #Conflicts: 996000 | #Constraints: 47207
2390.24/2410.88 c #Conflicts: 997000 | #Constraints: 48207
2390.24/2410.88 c #Conflicts: 998000 | #Constraints: 49207
2390.24/2410.88 c #Conflicts: 999000 | #Constraints: 50207
2390.24/2410.88 c #Conflicts: 1000000 | #Constraints: 51207
2390.24/2410.88 c #Conflicts: 1001000 | #Constraints: 52207
2390.24/2410.88 c INPROCESSING
2390.24/2410.88 c GARBAGE COLLECT
2390.24/2410.88 c rational objective 99
2425.26/2449.19 c #Conflicts: 1002000 | #Constraints: 33426
2425.26/2449.19 c #Conflicts: 1003000 | #Constraints: 34426
2425.26/2449.19 c #Conflicts: 1004000 | #Constraints: 35426
2425.26/2449.19 c #Conflicts: 1005000 | #Constraints: 36426
2425.26/2449.19 c #Conflicts: 1006000 | #Constraints: 37426
2425.26/2449.19 c #Conflicts: 1007000 | #Constraints: 38426
2425.26/2449.19 c #Conflicts: 1008000 | #Constraints: 39426
2425.26/2449.19 c #Conflicts: 1009000 | #Constraints: 40426
2425.26/2449.19 c #Conflicts: 1010000 | #Constraints: 41426
2425.26/2449.19 c #Conflicts: 1011000 | #Constraints: 42426
2425.26/2449.19 c #Conflicts: 1012000 | #Constraints: 43426
2425.26/2449.19 c #Conflicts: 1013000 | #Constraints: 44426
2425.26/2449.19 c #Conflicts: 1014000 | #Constraints: 45426
2425.26/2449.19 c #Conflicts: 1015000 | #Constraints: 46426
2425.26/2449.19 c #Conflicts: 1016000 | #Constraints: 47426
2425.26/2449.19 c #Conflicts: 1017000 | #Constraints: 48426
2425.26/2449.19 c #Conflicts: 1018000 | #Constraints: 49426
2425.26/2449.19 c #Conflicts: 1019000 | #Constraints: 50426
2425.26/2449.19 c #Conflicts: 1020000 | #Constraints: 51426
2425.26/2449.19 c #Conflicts: 1021000 | #Constraints: 52426
2425.26/2449.19 c INPROCESSING
2425.26/2449.19 c GARBAGE COLLECT
2425.26/2449.19 c rational objective 99
2470.49/2494.51 c #Conflicts: 1022000 | #Constraints: 33422
2470.49/2494.51 c #Conflicts: 1023000 | #Constraints: 34422
2470.49/2494.51 c #Conflicts: 1024000 | #Constraints: 35422
2470.49/2494.51 c #Conflicts: 1025000 | #Constraints: 36422
2470.49/2494.51 c #Conflicts: 1026000 | #Constraints: 37422
2470.49/2494.51 c #Conflicts: 1027000 | #Constraints: 38422
2470.49/2494.51 c #Conflicts: 1028000 | #Constraints: 39422
2470.49/2494.51 c #Conflicts: 1029000 | #Constraints: 40422
2470.49/2494.51 c #Conflicts: 1030000 | #Constraints: 41422
2470.49/2494.51 c #Conflicts: 1031000 | #Constraints: 42422
2470.49/2494.51 c #Conflicts: 1032000 | #Constraints: 43422
2470.49/2494.51 c #Conflicts: 1033000 | #Constraints: 44422
2470.49/2494.51 c #Conflicts: 1034000 | #Constraints: 45422
2470.49/2494.51 c #Conflicts: 1035000 | #Constraints: 46422
2470.49/2494.51 c #Conflicts: 1036000 | #Constraints: 47422
2470.49/2494.51 c #Conflicts: 1037000 | #Constraints: 48422
2470.49/2494.51 c #Conflicts: 1038000 | #Constraints: 49422
2470.49/2494.51 c #Conflicts: 1039000 | #Constraints: 50422
2470.49/2494.51 c #Conflicts: 1040000 | #Constraints: 51422
2470.49/2494.51 c #Conflicts: 1041000 | #Constraints: 52422
2470.49/2494.51 c INPROCESSING
2470.49/2494.51 c GARBAGE COLLECT
2470.49/2494.51 c rational objective 99
2506.79/2530.98 c #Conflicts: 1042000 | #Constraints: 33212
2506.79/2530.98 c #Conflicts: 1043000 | #Constraints: 34212
2506.79/2530.98 c #Conflicts: 1044000 | #Constraints: 35212
2506.79/2530.98 c #Conflicts: 1045000 | #Constraints: 36212
2506.79/2530.98 c #Conflicts: 1046000 | #Constraints: 37212
2506.79/2530.98 c #Conflicts: 1047000 | #Constraints: 38212
2506.79/2530.98 c #Conflicts: 1048000 | #Constraints: 39212
2506.79/2530.98 c #Conflicts: 1049000 | #Constraints: 40212
2506.79/2530.98 c #Conflicts: 1050000 | #Constraints: 41212
2506.79/2530.98 c #Conflicts: 1051000 | #Constraints: 42212
2506.79/2530.98 c #Conflicts: 1052000 | #Constraints: 43212
2506.79/2530.98 c #Conflicts: 1053000 | #Constraints: 44212
2506.79/2530.98 c #Conflicts: 1054000 | #Constraints: 45212
2506.79/2530.98 c #Conflicts: 1055000 | #Constraints: 46212
2506.79/2530.98 c #Conflicts: 1056000 | #Constraints: 47212
2506.79/2530.98 c #Conflicts: 1057000 | #Constraints: 48212
2506.79/2530.98 c #Conflicts: 1058000 | #Constraints: 49212
2506.79/2530.98 c #Conflicts: 1059000 | #Constraints: 50212
2506.79/2530.98 c #Conflicts: 1060000 | #Constraints: 51212
2506.79/2530.98 c #Conflicts: 1061000 | #Constraints: 52212
2506.79/2530.98 c #Conflicts: 1062000 | #Constraints: 53212
2506.79/2530.98 c INPROCESSING
2506.79/2530.98 c GARBAGE COLLECT
2506.79/2530.98 c rational objective 99
2543.37/2567.60 c #Conflicts: 1063000 | #Constraints: 33811
2543.37/2567.60 c #Conflicts: 1064000 | #Constraints: 34811
2543.37/2567.60 c #Conflicts: 1065000 | #Constraints: 35811
2543.37/2567.60 c #Conflicts: 1066000 | #Constraints: 36811
2543.37/2567.60 c #Conflicts: 1067000 | #Constraints: 37811
2543.37/2567.60 c #Conflicts: 1068000 | #Constraints: 38811
2543.37/2567.60 c #Conflicts: 1069000 | #Constraints: 39811
2543.37/2567.60 c #Conflicts: 1070000 | #Constraints: 40811
2543.37/2567.60 c #Conflicts: 1071000 | #Constraints: 41811
2543.37/2567.60 c #Conflicts: 1072000 | #Constraints: 42811
2543.37/2567.60 c #Conflicts: 1073000 | #Constraints: 43811
2543.37/2567.60 c #Conflicts: 1074000 | #Constraints: 44811
2543.37/2567.60 c #Conflicts: 1075000 | #Constraints: 45811
2543.37/2567.60 c #Conflicts: 1076000 | #Constraints: 46811
2543.37/2567.60 c #Conflicts: 1077000 | #Constraints: 47811
2543.37/2567.60 c #Conflicts: 1078000 | #Constraints: 48811
2543.37/2567.60 c #Conflicts: 1079000 | #Constraints: 49811
2543.37/2567.60 c #Conflicts: 1080000 | #Constraints: 50811
2543.37/2567.60 c #Conflicts: 1081000 | #Constraints: 51811
2543.37/2567.60 c #Conflicts: 1082000 | #Constraints: 52811
2543.37/2567.60 c #Conflicts: 1083000 | #Constraints: 53811
2543.37/2567.60 c INPROCESSING
2543.37/2567.60 c GARBAGE COLLECT
2543.37/2567.60 c rational objective 99
2581.37/2605.77 c #Conflicts: 1084000 | #Constraints: 34223
2581.37/2605.77 c #Conflicts: 1085000 | #Constraints: 35223
2581.37/2605.77 c #Conflicts: 1086000 | #Constraints: 36223
2581.37/2605.77 c #Conflicts: 1087000 | #Constraints: 37223
2581.37/2605.77 c #Conflicts: 1088000 | #Constraints: 38223
2581.37/2605.77 c #Conflicts: 1089000 | #Constraints: 39223
2581.37/2605.77 c #Conflicts: 1090000 | #Constraints: 40223
2581.37/2605.77 c #Conflicts: 1091000 | #Constraints: 41223
2581.37/2605.77 c #Conflicts: 1092000 | #Constraints: 42223
2581.37/2605.77 c #Conflicts: 1093000 | #Constraints: 43223
2581.37/2605.77 c #Conflicts: 1094000 | #Constraints: 44223
2581.37/2605.77 c #Conflicts: 1095000 | #Constraints: 45223
2581.37/2605.77 c #Conflicts: 1096000 | #Constraints: 46223
2581.37/2605.77 c #Conflicts: 1097000 | #Constraints: 47223
2581.37/2605.77 c #Conflicts: 1098000 | #Constraints: 48223
2581.37/2605.77 c #Conflicts: 1099000 | #Constraints: 49223
2581.37/2605.77 c #Conflicts: 1100000 | #Constraints: 50223
2581.37/2605.77 c #Conflicts: 1101000 | #Constraints: 51223
2581.37/2605.77 c #Conflicts: 1102000 | #Constraints: 52223
2581.37/2605.77 c #Conflicts: 1103000 | #Constraints: 53223
2581.37/2605.77 c #Conflicts: 1104000 | #Constraints: 54223
2581.37/2605.77 c INPROCESSING
2581.37/2605.77 c GARBAGE COLLECT
2581.37/2605.77 c rational objective 99
2623.99/2648.67 c #Conflicts: 1105000 | #Constraints: 34402
2623.99/2648.67 c #Conflicts: 1106000 | #Constraints: 35402
2623.99/2648.67 c #Conflicts: 1107000 | #Constraints: 36402
2623.99/2648.67 c #Conflicts: 1108000 | #Constraints: 37402
2623.99/2648.67 c #Conflicts: 1109000 | #Constraints: 38402
2623.99/2648.67 c #Conflicts: 1110000 | #Constraints: 39402
2623.99/2648.67 c #Conflicts: 1111000 | #Constraints: 40402
2623.99/2648.67 c #Conflicts: 1112000 | #Constraints: 41402
2623.99/2648.67 c #Conflicts: 1113000 | #Constraints: 42402
2623.99/2648.67 c #Conflicts: 1114000 | #Constraints: 43402
2623.99/2648.67 c #Conflicts: 1115000 | #Constraints: 44402
2623.99/2648.67 c #Conflicts: 1116000 | #Constraints: 45402
2623.99/2648.67 c #Conflicts: 1117000 | #Constraints: 46402
2623.99/2648.67 c #Conflicts: 1118000 | #Constraints: 47402
2623.99/2648.67 c #Conflicts: 1119000 | #Constraints: 48402
2623.99/2648.67 c #Conflicts: 1120000 | #Constraints: 49402
2623.99/2648.67 c #Conflicts: 1121000 | #Constraints: 50402
2623.99/2648.67 c #Conflicts: 1122000 | #Constraints: 51402
2623.99/2648.67 c #Conflicts: 1123000 | #Constraints: 52402
2623.99/2648.67 c #Conflicts: 1124000 | #Constraints: 53402
2623.99/2648.67 c #Conflicts: 1125000 | #Constraints: 54402
2623.99/2648.67 c INPROCESSING
2623.99/2648.67 c GARBAGE COLLECT
2623.99/2648.67 c rational objective 99
2663.78/2688.52 c #Conflicts: 1126000 | #Constraints: 34430
2663.78/2688.52 c #Conflicts: 1127000 | #Constraints: 35430
2663.78/2688.52 c #Conflicts: 1128000 | #Constraints: 36430
2663.78/2688.52 c #Conflicts: 1129000 | #Constraints: 37430
2663.78/2688.52 c #Conflicts: 1130000 | #Constraints: 38430
2663.78/2688.52 c #Conflicts: 1131000 | #Constraints: 39430
2663.78/2688.52 c #Conflicts: 1132000 | #Constraints: 40430
2663.78/2688.52 c #Conflicts: 1133000 | #Constraints: 41430
2663.78/2688.52 c #Conflicts: 1134000 | #Constraints: 42430
2663.78/2688.52 c #Conflicts: 1135000 | #Constraints: 43430
2663.78/2688.52 c #Conflicts: 1136000 | #Constraints: 44430
2663.78/2688.52 c #Conflicts: 1137000 | #Constraints: 45430
2663.78/2688.52 c #Conflicts: 1138000 | #Constraints: 46430
2663.78/2688.52 c #Conflicts: 1139000 | #Constraints: 47430
2663.78/2688.52 c #Conflicts: 1140000 | #Constraints: 48430
2663.78/2688.52 c #Conflicts: 1141000 | #Constraints: 49430
2663.78/2688.52 c #Conflicts: 1142000 | #Constraints: 50430
2663.78/2688.52 c #Conflicts: 1143000 | #Constraints: 51430
2663.78/2688.52 c #Conflicts: 1144000 | #Constraints: 52430
2663.78/2688.52 c #Conflicts: 1145000 | #Constraints: 53430
2663.78/2688.52 c #Conflicts: 1146000 | #Constraints: 54430
2663.78/2688.52 c INPROCESSING
2663.78/2688.52 c GARBAGE COLLECT
2663.78/2688.52 c rational objective 99
2709.05/2733.96 c #Conflicts: 1147000 | #Constraints: 34208
2709.05/2733.96 c #Conflicts: 1148000 | #Constraints: 35208
2709.05/2733.96 c #Conflicts: 1149000 | #Constraints: 36208
2709.05/2733.96 c #Conflicts: 1150000 | #Constraints: 37208
2709.05/2733.96 c #Conflicts: 1151000 | #Constraints: 38208
2709.05/2733.96 c #Conflicts: 1152000 | #Constraints: 39208
2709.05/2733.96 c #Conflicts: 1153000 | #Constraints: 40208
2709.05/2733.96 c #Conflicts: 1154000 | #Constraints: 41208
2709.05/2733.96 c #Conflicts: 1155000 | #Constraints: 42208
2709.05/2733.96 c #Conflicts: 1156000 | #Constraints: 43208
2709.05/2733.96 c #Conflicts: 1157000 | #Constraints: 44208
2709.05/2733.96 c #Conflicts: 1158000 | #Constraints: 45208
2709.05/2733.96 c #Conflicts: 1159000 | #Constraints: 46208
2709.05/2733.96 c #Conflicts: 1160000 | #Constraints: 47208
2709.05/2733.96 c #Conflicts: 1161000 | #Constraints: 48208
2709.05/2733.96 c #Conflicts: 1162000 | #Constraints: 49208
2709.05/2733.96 c #Conflicts: 1163000 | #Constraints: 50208
2709.05/2733.96 c #Conflicts: 1164000 | #Constraints: 51208
2709.05/2733.96 c #Conflicts: 1165000 | #Constraints: 52208
2709.05/2733.96 c #Conflicts: 1166000 | #Constraints: 53208
2709.05/2733.96 c #Conflicts: 1167000 | #Constraints: 54208
2709.05/2733.96 c #Conflicts: 1168000 | #Constraints: 55208
2709.05/2733.96 c INPROCESSING
2709.05/2733.96 c GARBAGE COLLECT
2709.05/2733.96 c rational objective 99
2756.72/2781.75 c #Conflicts: 1169000 | #Constraints: 34840
2756.72/2781.75 c #Conflicts: 1170000 | #Constraints: 35840
2756.72/2781.75 c #Conflicts: 1171000 | #Constraints: 36840
2756.72/2781.75 c #Conflicts: 1172000 | #Constraints: 37840
2756.72/2781.75 c #Conflicts: 1173000 | #Constraints: 38840
2756.72/2781.75 c #Conflicts: 1174000 | #Constraints: 39840
2756.72/2781.75 c #Conflicts: 1175000 | #Constraints: 40840
2756.72/2781.75 c #Conflicts: 1176000 | #Constraints: 41840
2756.72/2781.75 c #Conflicts: 1177000 | #Constraints: 42840
2756.72/2781.75 c #Conflicts: 1178000 | #Constraints: 43840
2756.72/2781.75 c #Conflicts: 1179000 | #Constraints: 44840
2756.72/2781.75 c #Conflicts: 1180000 | #Constraints: 45840
2756.72/2781.75 c #Conflicts: 1181000 | #Constraints: 46840
2756.72/2781.75 c #Conflicts: 1182000 | #Constraints: 47840
2756.72/2781.75 c #Conflicts: 1183000 | #Constraints: 48840
2756.72/2781.75 c #Conflicts: 1184000 | #Constraints: 49840
2756.72/2781.75 c #Conflicts: 1185000 | #Constraints: 50840
2756.72/2781.75 c #Conflicts: 1186000 | #Constraints: 51840
2756.72/2781.75 c #Conflicts: 1187000 | #Constraints: 52840
2756.72/2781.75 c #Conflicts: 1188000 | #Constraints: 53840
2756.72/2781.75 c #Conflicts: 1189000 | #Constraints: 54840
2756.72/2781.75 c #Conflicts: 1190000 | #Constraints: 55840
2756.72/2781.75 c INPROCESSING
2756.72/2781.75 c GARBAGE COLLECT
2756.72/2781.75 c rational objective 99
2793.03/2818.15 c #Conflicts: 1191000 | #Constraints: 35217
2793.03/2818.15 c #Conflicts: 1192000 | #Constraints: 36217
2793.03/2818.15 c #Conflicts: 1193000 | #Constraints: 37217
2793.03/2818.15 c #Conflicts: 1194000 | #Constraints: 38217
2793.03/2818.15 c #Conflicts: 1195000 | #Constraints: 39217
2793.03/2818.15 c #Conflicts: 1196000 | #Constraints: 40217
2793.03/2818.15 c #Conflicts: 1197000 | #Constraints: 41217
2793.03/2818.15 c #Conflicts: 1198000 | #Constraints: 42217
2793.03/2818.15 c #Conflicts: 1199000 | #Constraints: 43217
2793.03/2818.15 c #Conflicts: 1200000 | #Constraints: 44217
2793.03/2818.15 c #Conflicts: 1201000 | #Constraints: 45217
2793.03/2818.15 c #Conflicts: 1202000 | #Constraints: 46217
2793.03/2818.15 c #Conflicts: 1203000 | #Constraints: 47217
2793.03/2818.15 c #Conflicts: 1204000 | #Constraints: 48217
2793.03/2818.15 c #Conflicts: 1205000 | #Constraints: 49217
2793.03/2818.15 c #Conflicts: 1206000 | #Constraints: 50217
2793.03/2818.15 c #Conflicts: 1207000 | #Constraints: 51217
2793.03/2818.15 c #Conflicts: 1208000 | #Constraints: 52217
2793.03/2818.15 c #Conflicts: 1209000 | #Constraints: 53217
2793.03/2818.15 c #Conflicts: 1210000 | #Constraints: 54217
2793.03/2818.15 c #Conflicts: 1211000 | #Constraints: 55217
2793.03/2818.15 c #Conflicts: 1212000 | #Constraints: 56217
2793.03/2818.15 c INPROCESSING
2793.03/2818.15 c GARBAGE COLLECT
2793.03/2818.15 c rational objective 99
2886.03/2911.46 c #Conflicts: 1213000 | #Constraints: 35403
2886.03/2911.46 c #Conflicts: 1214000 | #Constraints: 36403
2886.03/2911.46 c #Conflicts: 1215000 | #Constraints: 37403
2886.03/2911.46 c #Conflicts: 1216000 | #Constraints: 38403
2886.03/2911.46 c #Conflicts: 1217000 | #Constraints: 39403
2886.03/2911.46 c #Conflicts: 1218000 | #Constraints: 40403
2886.03/2911.46 c #Conflicts: 1219000 | #Constraints: 41403
2886.03/2911.46 c #Conflicts: 1220000 | #Constraints: 42403
2886.03/2911.46 c #Conflicts: 1221000 | #Constraints: 43403
2886.03/2911.46 c #Conflicts: 1222000 | #Constraints: 44403
2886.03/2911.46 c #Conflicts: 1223000 | #Constraints: 45403
2886.03/2911.46 c #Conflicts: 1224000 | #Constraints: 46403
2886.03/2911.46 c #Conflicts: 1225000 | #Constraints: 47403
2886.03/2911.46 c #Conflicts: 1226000 | #Constraints: 48403
2886.03/2911.46 c #Conflicts: 1227000 | #Constraints: 49403
2886.03/2911.46 c #Conflicts: 1228000 | #Constraints: 50404
2886.03/2911.46 c #Conflicts: 1229000 | #Constraints: 51406
2886.03/2911.46 c #Conflicts: 1230000 | #Constraints: 52406
2886.03/2911.46 c #Conflicts: 1231000 | #Constraints: 53406
2886.03/2911.46 c #Conflicts: 1232000 | #Constraints: 54406
2886.03/2911.46 c #Conflicts: 1233000 | #Constraints: 55406
2886.03/2911.46 c #Conflicts: 1234000 | #Constraints: 56407
2886.03/2911.46 c INPROCESSING
2886.03/2911.46 c GARBAGE COLLECT
2886.03/2911.46 c rational objective 99
2929.52/2955.08 c #Conflicts: 1235000 | #Constraints: 35423
2929.52/2955.08 c #Conflicts: 1236000 | #Constraints: 36423
2929.52/2955.08 c #Conflicts: 1237000 | #Constraints: 37423
2929.52/2955.08 c #Conflicts: 1238000 | #Constraints: 38423
2929.52/2955.08 c #Conflicts: 1239000 | #Constraints: 39423
2929.52/2955.08 c #Conflicts: 1240000 | #Constraints: 40423
2929.52/2955.08 c #Conflicts: 1241000 | #Constraints: 41423
2929.52/2955.08 c #Conflicts: 1242000 | #Constraints: 42423
2929.52/2955.08 c #Conflicts: 1243000 | #Constraints: 43423
2929.52/2955.08 c #Conflicts: 1244000 | #Constraints: 44423
2929.52/2955.08 c #Conflicts: 1245000 | #Constraints: 45423
2929.52/2955.08 c #Conflicts: 1246000 | #Constraints: 46423
2929.52/2955.08 c #Conflicts: 1247000 | #Constraints: 47423
2929.52/2955.08 c #Conflicts: 1248000 | #Constraints: 48423
2929.52/2955.08 c #Conflicts: 1249000 | #Constraints: 49423
2929.52/2955.08 c #Conflicts: 1250000 | #Constraints: 50423
2929.52/2955.08 c #Conflicts: 1251000 | #Constraints: 51423
2929.52/2955.08 c #Conflicts: 1252000 | #Constraints: 52423
2929.52/2955.08 c #Conflicts: 1253000 | #Constraints: 53423
2929.52/2955.08 c #Conflicts: 1254000 | #Constraints: 54423
2929.52/2955.08 c #Conflicts: 1255000 | #Constraints: 55423
2929.52/2955.08 c #Conflicts: 1256000 | #Constraints: 56423
2929.52/2955.08 c INPROCESSING
2929.52/2955.08 c GARBAGE COLLECT
2929.52/2955.08 c rational objective 99
2973.40/2999.02 c #Conflicts: 1257000 | #Constraints: 35231
2973.40/2999.02 c #Conflicts: 1258000 | #Constraints: 36231
2973.40/2999.02 c #Conflicts: 1259000 | #Constraints: 37231
2973.40/2999.02 c #Conflicts: 1260000 | #Constraints: 38231
2973.40/2999.02 c #Conflicts: 1261000 | #Constraints: 39231
2973.40/2999.02 c #Conflicts: 1262000 | #Constraints: 40231
2973.40/2999.02 c #Conflicts: 1263000 | #Constraints: 41231
2973.40/2999.02 c #Conflicts: 1264000 | #Constraints: 42231
2973.40/2999.02 c #Conflicts: 1265000 | #Constraints: 43231
2973.40/2999.02 c #Conflicts: 1266000 | #Constraints: 44231
2973.40/2999.02 c #Conflicts: 1267000 | #Constraints: 45231
2973.40/2999.02 c #Conflicts: 1268000 | #Constraints: 46231
2973.40/2999.02 c #Conflicts: 1269000 | #Constraints: 47231
2973.40/2999.02 c #Conflicts: 1270000 | #Constraints: 48231
2973.40/2999.02 c #Conflicts: 1271000 | #Constraints: 49231
2973.40/2999.02 c #Conflicts: 1272000 | #Constraints: 50231
2973.40/2999.02 c #Conflicts: 1273000 | #Constraints: 51231
2973.40/2999.02 c #Conflicts: 1274000 | #Constraints: 52231
2973.40/2999.02 c #Conflicts: 1275000 | #Constraints: 53231
2973.40/2999.02 c #Conflicts: 1276000 | #Constraints: 54231
2973.40/2999.02 c #Conflicts: 1277000 | #Constraints: 55231
2973.40/2999.02 c #Conflicts: 1278000 | #Constraints: 56231
2973.40/2999.02 c #Conflicts: 1279000 | #Constraints: 57231
2973.40/2999.02 c INPROCESSING
2973.40/2999.02 c GARBAGE COLLECT
2973.40/2999.02 c rational objective 99
3001.21/3026.91 c #Conflicts: 1280000 | #Constraints: 35841
3001.21/3026.91 c #Conflicts: 1281000 | #Constraints: 36841
3001.21/3026.91 c #Conflicts: 1282000 | #Constraints: 37841
3001.21/3026.91 c #Conflicts: 1283000 | #Constraints: 38841
3001.21/3026.91 c #Conflicts: 1284000 | #Constraints: 39841
3001.21/3026.91 c #Conflicts: 1285000 | #Constraints: 40841
3001.21/3026.91 c #Conflicts: 1286000 | #Constraints: 41841
3001.21/3026.91 c #Conflicts: 1287000 | #Constraints: 42841
3001.21/3026.91 c #Conflicts: 1288000 | #Constraints: 43841
3001.21/3026.91 c #Conflicts: 1289000 | #Constraints: 44841
3001.21/3026.91 c #Conflicts: 1290000 | #Constraints: 45841
3001.21/3026.91 c #Conflicts: 1291000 | #Constraints: 46841
3001.21/3026.91 c #Conflicts: 1292000 | #Constraints: 47841
3001.21/3026.91 c #Conflicts: 1293000 | #Constraints: 48841
3001.21/3026.91 c #Conflicts: 1294000 | #Constraints: 49841
3001.21/3026.91 c #Conflicts: 1295000 | #Constraints: 50841
3001.21/3026.91 c #Conflicts: 1296000 | #Constraints: 51841
3001.21/3026.91 c #Conflicts: 1297000 | #Constraints: 52841
3001.21/3026.91 c #Conflicts: 1298000 | #Constraints: 53841
3001.21/3026.91 c #Conflicts: 1299000 | #Constraints: 54841
3001.21/3026.91 c #Conflicts: 1300000 | #Constraints: 55841
3001.21/3026.91 c #Conflicts: 1301000 | #Constraints: 56841
3001.21/3026.91 c #Conflicts: 1302000 | #Constraints: 57841
3001.21/3026.91 c INPROCESSING
3001.21/3026.91 c GARBAGE COLLECT
3001.21/3026.91 c rational objective 99
3050.97/3076.87 c #Conflicts: 1303000 | #Constraints: 36235
3050.97/3076.87 c #Conflicts: 1304000 | #Constraints: 37235
3050.97/3076.87 c #Conflicts: 1305000 | #Constraints: 38235
3050.97/3076.87 c #Conflicts: 1306000 | #Constraints: 39235
3050.97/3076.87 c #Conflicts: 1307000 | #Constraints: 40235
3050.97/3076.87 c #Conflicts: 1308000 | #Constraints: 41235
3050.97/3076.87 c #Conflicts: 1309000 | #Constraints: 42235
3050.97/3076.87 c #Conflicts: 1310000 | #Constraints: 43235
3050.97/3076.87 c #Conflicts: 1311000 | #Constraints: 44235
3050.97/3076.87 c #Conflicts: 1312000 | #Constraints: 45235
3050.97/3076.87 c #Conflicts: 1313000 | #Constraints: 46235
3050.97/3076.87 c #Conflicts: 1314000 | #Constraints: 47235
3050.97/3076.87 c #Conflicts: 1315000 | #Constraints: 48235
3050.97/3076.87 c #Conflicts: 1316000 | #Constraints: 49235
3050.97/3076.87 c #Conflicts: 1317000 | #Constraints: 50235
3050.97/3076.87 c #Conflicts: 1318000 | #Constraints: 51235
3050.97/3076.87 c #Conflicts: 1319000 | #Constraints: 52235
3050.97/3076.87 c #Conflicts: 1320000 | #Constraints: 53235
3050.97/3076.87 c #Conflicts: 1321000 | #Constraints: 54235
3050.97/3076.87 c #Conflicts: 1322000 | #Constraints: 55235
3050.97/3076.87 c #Conflicts: 1323000 | #Constraints: 56235
3050.97/3076.87 c #Conflicts: 1324000 | #Constraints: 57235
3050.97/3076.87 c #Conflicts: 1325000 | #Constraints: 58235
3050.97/3076.87 c INPROCESSING
3050.97/3076.87 c GARBAGE COLLECT
3050.97/3076.87 c rational objective 99
3098.37/3125.24 c #Conflicts: 1326000 | #Constraints: 36431
3098.37/3125.24 c #Conflicts: 1327000 | #Constraints: 37431
3098.37/3125.24 c #Conflicts: 1328000 | #Constraints: 38431
3098.37/3125.24 c #Conflicts: 1329000 | #Constraints: 39431
3098.37/3125.24 c #Conflicts: 1330000 | #Constraints: 40431
3098.37/3125.24 c #Conflicts: 1331000 | #Constraints: 41431
3098.37/3125.24 c #Conflicts: 1332000 | #Constraints: 42431
3098.37/3125.24 c #Conflicts: 1333000 | #Constraints: 43431
3098.37/3125.24 c #Conflicts: 1334000 | #Constraints: 44431
3098.37/3125.24 c #Conflicts: 1335000 | #Constraints: 45431
3098.37/3125.24 c #Conflicts: 1336000 | #Constraints: 46431
3098.37/3125.24 c #Conflicts: 1337000 | #Constraints: 47431
3098.37/3125.24 c #Conflicts: 1338000 | #Constraints: 48431
3098.37/3125.24 c #Conflicts: 1339000 | #Constraints: 49431
3098.37/3125.24 c #Conflicts: 1340000 | #Constraints: 50431
3098.37/3125.24 c #Conflicts: 1341000 | #Constraints: 51431
3098.37/3125.24 c #Conflicts: 1342000 | #Constraints: 52431
3098.37/3125.24 c #Conflicts: 1343000 | #Constraints: 53431
3098.37/3125.24 c #Conflicts: 1344000 | #Constraints: 54431
3098.37/3125.24 c #Conflicts: 1345000 | #Constraints: 55431
3098.37/3125.24 c #Conflicts: 1346000 | #Constraints: 56431
3098.37/3125.24 c #Conflicts: 1347000 | #Constraints: 57431
3098.37/3125.24 c #Conflicts: 1348000 | #Constraints: 58431
3098.37/3125.24 c INPROCESSING
3098.37/3125.24 c GARBAGE COLLECT
3098.37/3125.24 c rational objective 99
3141.06/3168.05 c #Conflicts: 1349000 | #Constraints: 36432
3141.06/3168.05 c #Conflicts: 1350000 | #Constraints: 37432
3141.06/3168.05 c #Conflicts: 1351000 | #Constraints: 38432
3141.06/3168.05 c #Conflicts: 1352000 | #Constraints: 39432
3141.06/3168.05 c #Conflicts: 1353000 | #Constraints: 40432
3141.06/3168.05 c #Conflicts: 1354000 | #Constraints: 41432
3141.06/3168.05 c #Conflicts: 1355000 | #Constraints: 42432
3141.06/3168.05 c #Conflicts: 1356000 | #Constraints: 43432
3141.06/3168.05 c #Conflicts: 1357000 | #Constraints: 44432
3141.06/3168.05 c #Conflicts: 1358000 | #Constraints: 45432
3141.06/3168.05 c #Conflicts: 1359000 | #Constraints: 46432
3141.06/3168.05 c #Conflicts: 1360000 | #Constraints: 47432
3141.06/3168.05 c #Conflicts: 1361000 | #Constraints: 48432
3141.06/3168.05 c #Conflicts: 1362000 | #Constraints: 49432
3141.06/3168.05 c #Conflicts: 1363000 | #Constraints: 50432
3141.06/3168.05 c #Conflicts: 1364000 | #Constraints: 51432
3141.06/3168.05 c #Conflicts: 1365000 | #Constraints: 52432
3141.06/3168.05 c #Conflicts: 1366000 | #Constraints: 53432
3141.06/3168.05 c #Conflicts: 1367000 | #Constraints: 54432
3141.06/3168.05 c #Conflicts: 1368000 | #Constraints: 55432
3141.06/3168.05 c #Conflicts: 1369000 | #Constraints: 56432
3141.06/3168.05 c #Conflicts: 1370000 | #Constraints: 57432
3141.06/3168.05 c #Conflicts: 1371000 | #Constraints: 58432
3141.06/3168.05 c INPROCESSING
3141.06/3168.05 c GARBAGE COLLECT
3141.06/3168.05 c rational objective 99
3193.31/3220.92 c #Conflicts: 1372000 | #Constraints: 36218
3193.31/3220.92 c #Conflicts: 1373000 | #Constraints: 37218
3193.31/3220.92 c #Conflicts: 1374000 | #Constraints: 38218
3193.31/3220.92 c #Conflicts: 1375000 | #Constraints: 39218
3193.31/3220.92 c #Conflicts: 1376000 | #Constraints: 40218
3193.31/3220.92 c #Conflicts: 1377000 | #Constraints: 41218
3193.31/3220.92 c #Conflicts: 1378000 | #Constraints: 42218
3193.31/3220.92 c #Conflicts: 1379000 | #Constraints: 43218
3193.31/3220.92 c #Conflicts: 1380000 | #Constraints: 44218
3193.31/3220.92 c #Conflicts: 1381000 | #Constraints: 45218
3193.31/3220.92 c #Conflicts: 1382000 | #Constraints: 46218
3193.31/3220.92 c #Conflicts: 1383000 | #Constraints: 47218
3193.31/3220.92 c #Conflicts: 1384000 | #Constraints: 48218
3193.31/3220.92 c #Conflicts: 1385000 | #Constraints: 49218
3193.31/3220.92 c #Conflicts: 1386000 | #Constraints: 50218
3193.31/3220.92 c #Conflicts: 1387000 | #Constraints: 51218
3193.31/3220.92 c #Conflicts: 1388000 | #Constraints: 52218
3193.31/3220.92 c #Conflicts: 1389000 | #Constraints: 53218
3193.31/3220.92 c #Conflicts: 1390000 | #Constraints: 54218
3193.31/3220.92 c #Conflicts: 1391000 | #Constraints: 55218
3193.31/3220.92 c #Conflicts: 1392000 | #Constraints: 56218
3193.31/3220.92 c #Conflicts: 1393000 | #Constraints: 57218
3193.31/3220.92 c #Conflicts: 1394000 | #Constraints: 58218
3193.31/3220.92 c #Conflicts: 1395000 | #Constraints: 59218
3193.31/3220.92 c INPROCESSING
3193.31/3220.92 c GARBAGE COLLECT
3193.31/3220.92 c rational objective 99
3231.30/3259.84 c #Conflicts: 1396000 | #Constraints: 36839
3231.30/3259.84 c #Conflicts: 1397000 | #Constraints: 37839
3231.30/3259.84 c #Conflicts: 1398000 | #Constraints: 38839
3231.30/3259.84 c #Conflicts: 1399000 | #Constraints: 39839
3231.30/3259.84 c #Conflicts: 1400000 | #Constraints: 40839
3231.30/3259.84 c #Conflicts: 1401000 | #Constraints: 41839
3231.30/3259.84 c #Conflicts: 1402000 | #Constraints: 42839
3231.30/3259.84 c #Conflicts: 1403000 | #Constraints: 43839
3231.30/3259.84 c #Conflicts: 1404000 | #Constraints: 44839
3231.30/3259.84 c #Conflicts: 1405000 | #Constraints: 45839
3231.30/3259.84 c #Conflicts: 1406000 | #Constraints: 46839
3231.30/3259.84 c #Conflicts: 1407000 | #Constraints: 47839
3231.30/3259.84 c #Conflicts: 1408000 | #Constraints: 48839
3231.30/3259.84 c #Conflicts: 1409000 | #Constraints: 49839
3231.30/3259.84 c #Conflicts: 1410000 | #Constraints: 50839
3231.30/3259.84 c #Conflicts: 1411000 | #Constraints: 51839
3231.30/3259.84 c #Conflicts: 1412000 | #Constraints: 52839
3231.30/3259.84 c #Conflicts: 1413000 | #Constraints: 53839
3231.30/3259.84 c #Conflicts: 1414000 | #Constraints: 54839
3231.30/3259.84 c #Conflicts: 1415000 | #Constraints: 55839
3231.30/3259.84 c #Conflicts: 1416000 | #Constraints: 56839
3231.30/3259.84 c #Conflicts: 1417000 | #Constraints: 57839
3231.30/3259.84 c #Conflicts: 1418000 | #Constraints: 58839
3231.30/3259.84 c #Conflicts: 1419000 | #Constraints: 59839
3231.30/3259.84 c INPROCESSING
3231.30/3259.84 c GARBAGE COLLECT
3231.30/3259.84 c rational objective 99
3288.14/3316.97 c #Conflicts: 1420000 | #Constraints: 37249
3288.14/3316.97 c #Conflicts: 1421000 | #Constraints: 38249
3288.14/3316.97 c #Conflicts: 1422000 | #Constraints: 39249
3288.14/3316.97 c #Conflicts: 1423000 | #Constraints: 40249
3288.14/3316.97 c #Conflicts: 1424000 | #Constraints: 41249
3288.14/3316.97 c #Conflicts: 1425000 | #Constraints: 42249
3288.14/3316.97 c #Conflicts: 1426000 | #Constraints: 43249
3288.14/3316.97 c #Conflicts: 1427000 | #Constraints: 44249
3288.14/3316.97 c #Conflicts: 1428000 | #Constraints: 45249
3288.14/3316.97 c #Conflicts: 1429000 | #Constraints: 46249
3288.14/3316.97 c #Conflicts: 1430000 | #Constraints: 47249
3288.14/3316.97 c #Conflicts: 1431000 | #Constraints: 48249
3288.14/3316.97 c #Conflicts: 1432000 | #Constraints: 49249
3288.14/3316.97 c #Conflicts: 1433000 | #Constraints: 50249
3288.14/3316.97 c #Conflicts: 1434000 | #Constraints: 51249
3288.14/3316.97 c #Conflicts: 1435000 | #Constraints: 52249
3288.14/3316.97 c #Conflicts: 1436000 | #Constraints: 53249
3288.14/3316.97 c #Conflicts: 1437000 | #Constraints: 54249
3288.14/3316.97 c #Conflicts: 1438000 | #Constraints: 55249
3288.14/3316.97 c #Conflicts: 1439000 | #Constraints: 56249
3288.14/3316.97 c #Conflicts: 1440000 | #Constraints: 57249
3288.14/3316.97 c #Conflicts: 1441000 | #Constraints: 58249
3288.14/3316.97 c #Conflicts: 1442000 | #Constraints: 59249
3288.14/3316.97 c #Conflicts: 1443000 | #Constraints: 60249
3288.14/3316.97 c INPROCESSING
3288.14/3316.97 c GARBAGE COLLECT
3288.14/3316.97 c rational objective 99
3335.59/3364.68 c #Conflicts: 1444000 | #Constraints: 37413
3335.59/3364.68 c #Conflicts: 1445000 | #Constraints: 38413
3335.59/3364.68 c #Conflicts: 1446000 | #Constraints: 39413
3335.59/3364.68 c #Conflicts: 1447000 | #Constraints: 40413
3335.59/3364.68 c #Conflicts: 1448000 | #Constraints: 41413
3335.59/3364.68 c #Conflicts: 1449000 | #Constraints: 42413
3335.59/3364.68 c #Conflicts: 1450000 | #Constraints: 43413
3335.59/3364.68 c #Conflicts: 1451000 | #Constraints: 44413
3335.59/3364.68 c #Conflicts: 1452000 | #Constraints: 45413
3335.59/3364.68 c #Conflicts: 1453000 | #Constraints: 46413
3335.59/3364.68 c #Conflicts: 1454000 | #Constraints: 47413
3335.59/3364.68 c #Conflicts: 1455000 | #Constraints: 48413
3335.59/3364.68 c #Conflicts: 1456000 | #Constraints: 49413
3335.59/3364.68 c #Conflicts: 1457000 | #Constraints: 50413
3335.59/3364.68 c #Conflicts: 1458000 | #Constraints: 51413
3335.59/3364.68 c #Conflicts: 1459000 | #Constraints: 52413
3335.59/3364.68 c #Conflicts: 1460000 | #Constraints: 53413
3335.59/3364.68 c #Conflicts: 1461000 | #Constraints: 54413
3335.59/3364.68 c #Conflicts: 1462000 | #Constraints: 55413
3335.59/3364.68 c #Conflicts: 1463000 | #Constraints: 56413
3335.59/3364.68 c #Conflicts: 1464000 | #Constraints: 57413
3335.59/3364.68 c #Conflicts: 1465000 | #Constraints: 58413
3335.59/3364.68 c #Conflicts: 1466000 | #Constraints: 59413
3335.59/3364.68 c #Conflicts: 1467000 | #Constraints: 60413
3335.59/3364.68 c INPROCESSING
3335.59/3364.68 c GARBAGE COLLECT
3335.59/3364.68 c rational objective 99
3365.81/3394.94 c #Conflicts: 1468000 | #Constraints: 37440
3365.81/3394.94 c #Conflicts: 1469000 | #Constraints: 38440
3365.81/3394.94 c #Conflicts: 1470000 | #Constraints: 39440
3365.81/3394.94 c #Conflicts: 1471000 | #Constraints: 40440
3365.81/3394.94 c #Conflicts: 1472000 | #Constraints: 41440
3365.81/3394.94 c #Conflicts: 1473000 | #Constraints: 42440
3365.81/3394.94 c #Conflicts: 1474000 | #Constraints: 43440
3365.81/3394.94 c #Conflicts: 1475000 | #Constraints: 44440
3365.81/3394.94 c #Conflicts: 1476000 | #Constraints: 45440
3365.81/3394.94 c #Conflicts: 1477000 | #Constraints: 46440
3365.81/3394.94 c #Conflicts: 1478000 | #Constraints: 47440
3365.81/3394.94 c #Conflicts: 1479000 | #Constraints: 48440
3365.81/3394.94 c #Conflicts: 1480000 | #Constraints: 49440
3365.81/3394.94 c #Conflicts: 1481000 | #Constraints: 50440
3365.81/3394.94 c #Conflicts: 1482000 | #Constraints: 51440
3365.81/3394.94 c #Conflicts: 1483000 | #Constraints: 52440
3365.81/3394.94 c #Conflicts: 1484000 | #Constraints: 53440
3365.81/3394.94 c #Conflicts: 1485000 | #Constraints: 54440
3365.81/3394.94 c #Conflicts: 1486000 | #Constraints: 55440
3365.81/3394.94 c #Conflicts: 1487000 | #Constraints: 56440
3365.81/3394.94 c #Conflicts: 1488000 | #Constraints: 57440
3365.81/3394.94 c #Conflicts: 1489000 | #Constraints: 58440
3365.81/3394.94 c #Conflicts: 1490000 | #Constraints: 59440
3365.81/3394.94 c bounds 101 >= 99 @ 3337.86
3416.87/3446.16 c #Conflicts: 1491000 | #Constraints: 60441
3416.87/3446.16 c INPROCESSING
3416.87/3446.16 c GARBAGE COLLECT
3416.87/3446.16 c rational objective 99
3464.33/3493.73 c #Conflicts: 1492000 | #Constraints: 32172
3464.33/3493.73 c #Conflicts: 1493000 | #Constraints: 33172
3464.33/3493.73 c #Conflicts: 1494000 | #Constraints: 34172
3464.33/3493.73 c #Conflicts: 1495000 | #Constraints: 35172
3464.33/3493.73 c #Conflicts: 1496000 | #Constraints: 36172
3464.33/3493.73 c #Conflicts: 1497000 | #Constraints: 37172
3464.33/3493.73 c #Conflicts: 1498000 | #Constraints: 38172
3464.33/3493.73 c #Conflicts: 1499000 | #Constraints: 39172
3464.33/3493.73 c #Conflicts: 1500000 | #Constraints: 40172
3464.33/3493.73 c #Conflicts: 1501000 | #Constraints: 41172
3464.33/3493.73 c #Conflicts: 1502000 | #Constraints: 42172
3464.33/3493.73 c #Conflicts: 1503000 | #Constraints: 43172
3464.33/3493.73 c #Conflicts: 1504000 | #Constraints: 44172
3464.33/3493.73 c #Conflicts: 1505000 | #Constraints: 45172
3464.33/3493.73 c #Conflicts: 1506000 | #Constraints: 46172
3464.33/3493.73 c #Conflicts: 1507000 | #Constraints: 47172
3464.33/3493.73 c #Conflicts: 1508000 | #Constraints: 48172
3464.33/3493.73 c #Conflicts: 1509000 | #Constraints: 49172
3464.33/3493.73 c #Conflicts: 1510000 | #Constraints: 50172
3464.33/3493.73 c #Conflicts: 1511000 | #Constraints: 51172
3464.33/3493.73 c #Conflicts: 1512000 | #Constraints: 52172
3464.33/3493.73 c #Conflicts: 1513000 | #Constraints: 53172
3464.33/3493.73 c #Conflicts: 1514000 | #Constraints: 54172
3464.33/3493.73 c #Conflicts: 1515000 | #Constraints: 55172
3464.33/3493.73 c #Conflicts: 1516000 | #Constraints: 56172
3464.33/3493.73 c INPROCESSING
3464.33/3493.73 c GARBAGE COLLECT
3464.33/3493.73 c rational objective 99
3505.91/3535.48 c #Conflicts: 1517000 | #Constraints: 34939
3505.91/3535.48 c #Conflicts: 1518000 | #Constraints: 35939
3505.91/3535.48 c #Conflicts: 1519000 | #Constraints: 36939
3505.91/3535.48 c #Conflicts: 1520000 | #Constraints: 37939
3505.91/3535.48 c #Conflicts: 1521000 | #Constraints: 38939
3505.91/3535.48 c #Conflicts: 1522000 | #Constraints: 39939
3505.91/3535.48 c #Conflicts: 1523000 | #Constraints: 40939
3505.91/3535.48 c #Conflicts: 1524000 | #Constraints: 41939
3505.91/3535.48 c #Conflicts: 1525000 | #Constraints: 42939
3505.91/3535.48 c #Conflicts: 1526000 | #Constraints: 43939
3505.91/3535.48 c #Conflicts: 1527000 | #Constraints: 44939
3505.91/3535.48 c #Conflicts: 1528000 | #Constraints: 45939
3505.91/3535.48 c #Conflicts: 1529000 | #Constraints: 46939
3505.91/3535.48 c #Conflicts: 1530000 | #Constraints: 47939
3505.91/3535.48 c #Conflicts: 1531000 | #Constraints: 48939
3505.91/3535.48 c #Conflicts: 1532000 | #Constraints: 49939
3505.91/3535.48 c #Conflicts: 1533000 | #Constraints: 50939
3505.91/3535.48 c #Conflicts: 1534000 | #Constraints: 51939
3505.91/3535.48 c #Conflicts: 1535000 | #Constraints: 52939
3505.91/3535.48 c #Conflicts: 1536000 | #Constraints: 53939
3505.91/3535.48 c #Conflicts: 1537000 | #Constraints: 54939
3505.91/3535.48 c #Conflicts: 1538000 | #Constraints: 55939
3505.91/3535.48 c #Conflicts: 1539000 | #Constraints: 56939
3505.91/3535.48 c #Conflicts: 1540000 | #Constraints: 57939
3505.91/3535.48 c #Conflicts: 1541000 | #Constraints: 58939
3505.91/3535.48 c INPROCESSING
3505.91/3535.48 c GARBAGE COLLECT
3505.91/3535.48 c rational objective 99
3547.15/3577.57 c #Conflicts: 1542000 | #Constraints: 36434
3547.15/3577.57 c #Conflicts: 1543000 | #Constraints: 37434
3547.15/3577.57 c #Conflicts: 1544000 | #Constraints: 38434
3547.15/3577.57 c #Conflicts: 1545000 | #Constraints: 39434
3547.15/3577.57 c #Conflicts: 1546000 | #Constraints: 40434
3547.15/3577.57 c #Conflicts: 1547000 | #Constraints: 41434
3547.15/3577.57 c #Conflicts: 1548000 | #Constraints: 42434
3547.15/3577.57 c #Conflicts: 1549000 | #Constraints: 43434
3547.15/3577.57 c #Conflicts: 1550000 | #Constraints: 44434
3547.15/3577.57 c #Conflicts: 1551000 | #Constraints: 45434
3547.15/3577.57 c #Conflicts: 1552000 | #Constraints: 46434
3547.15/3577.57 c #Conflicts: 1553000 | #Constraints: 47434
3547.15/3577.57 c #Conflicts: 1554000 | #Constraints: 48434
3547.15/3577.57 c #Conflicts: 1555000 | #Constraints: 49434
3547.15/3577.57 c #Conflicts: 1556000 | #Constraints: 50434
3547.15/3577.57 c #Conflicts: 1557000 | #Constraints: 51434
3547.15/3577.57 c #Conflicts: 1558000 | #Constraints: 52434
3547.15/3577.57 c #Conflicts: 1559000 | #Constraints: 53434
3547.15/3577.57 c #Conflicts: 1560000 | #Constraints: 54434
3547.15/3577.57 c #Conflicts: 1561000 | #Constraints: 55434
3547.15/3577.57 c #Conflicts: 1562000 | #Constraints: 56434
3547.15/3577.57 c #Conflicts: 1563000 | #Constraints: 57434
3547.15/3577.57 c #Conflicts: 1564000 | #Constraints: 58434
3547.15/3577.57 c #Conflicts: 1565000 | #Constraints: 59434
3547.15/3577.57 c #Conflicts: 1566000 | #Constraints: 60434
3547.15/3577.57 c INPROCESSING
3547.15/3577.57 c GARBAGE COLLECT
3547.15/3577.57 c rational objective 99
3591.41/3622.30 c #Conflicts: 1567000 | #Constraints: 37177
3591.41/3622.30 c #Conflicts: 1568000 | #Constraints: 38177
3591.41/3622.30 c #Conflicts: 1569000 | #Constraints: 39177
3591.41/3622.30 c #Conflicts: 1570000 | #Constraints: 40177
3591.41/3622.30 c #Conflicts: 1571000 | #Constraints: 41177
3591.41/3622.30 c #Conflicts: 1572000 | #Constraints: 42177
3591.41/3622.30 c #Conflicts: 1573000 | #Constraints: 43177
3591.41/3622.30 c #Conflicts: 1574000 | #Constraints: 44177
3591.41/3622.30 c #Conflicts: 1575000 | #Constraints: 45177
3591.41/3622.30 c #Conflicts: 1576000 | #Constraints: 46177
3591.41/3622.30 c #Conflicts: 1577000 | #Constraints: 47177
3591.41/3622.30 c #Conflicts: 1578000 | #Constraints: 48177
3591.41/3622.30 c #Conflicts: 1579000 | #Constraints: 49177
3591.41/3622.30 c #Conflicts: 1580000 | #Constraints: 50177
3591.41/3622.30 c #Conflicts: 1581000 | #Constraints: 51177
3591.41/3622.30 c #Conflicts: 1582000 | #Constraints: 52177
3591.41/3622.30 c #Conflicts: 1583000 | #Constraints: 53177
3591.41/3622.30 c #Conflicts: 1584000 | #Constraints: 54177
3591.41/3622.30 c #Conflicts: 1585000 | #Constraints: 55177
3591.41/3622.30 c #Conflicts: 1586000 | #Constraints: 56177
3591.41/3622.30 c #Conflicts: 1587000 | #Constraints: 57177
3591.41/3622.30 c #Conflicts: 1588000 | #Constraints: 58177
3591.41/3622.30 c #Conflicts: 1589000 | #Constraints: 59177
3591.41/3622.30 c #Conflicts: 1590000 | #Constraints: 60177
3591.41/3622.30 c #Conflicts: 1591000 | #Constraints: 61177
3591.41/3622.30 c INPROCESSING
3591.41/3622.30 c GARBAGE COLLECT
3591.41/3622.30 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 (61913 MiB free)
memory of node 1: 64465 MiB (63335 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499999-1751472596/watcher-4499999-1751472596 -o /tmp/evaluation-result-4499999-1751472596/solver-4499999-1751472596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751472596-68485 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499999-1751472596.opb PROOFDIR/proof-4499999-1751472596
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68540, runsolver pid=68535
[startup+0.100062 s]*
/proc/loadavg: 0.84 2.56 3.50 3/271 68547
/proc/meminfo: memFree=128150976/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68542] ppid=68540 vsize=64368 memory=56044 CPUtime=0.08 cores=4,6
/proc/68542/stat : 68542 (pbsuma) R 68540 68540 68474 0 -1 4194304 6037 0 0 0 7 1 0 0 20 0 1 0 62937208 65912832 14011 18446744073709551615 4210688 4653049 140725627355728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23773184 140725627361507 140725627361842 140725627361842 140725627367407 0
/proc/68542/statm: 16092 14011 928 108 0 13500 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68560 KiB
Current children cumulated memory: 59116 KiB
[startup+0.205907 s]*
/proc/loadavg: 0.84 2.56 3.50 1/271 68547
/proc/meminfo: memFree=128126628/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68542] ppid=68540 vsize=73492 memory=64512 CPUtime=0.12 cores=4,6
/proc/68542/stat : 68542 (pbsuma) D 68540 68540 68474 0 -1 4456448 8225 0 0 0 11 1 0 0 20 0 1 0 62937208 75255808 16128 18446744073709551615 4210688 4653049 140725627355728 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 23773184 140725627361507 140725627361842 140725627361842 140725627367407 0
/proc/68542/statm: 18373 16128 960 108 0 15781 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 77684 KiB
Current children cumulated memory: 67584 KiB
[startup+0.305122 s]*
/proc/loadavg: 0.84 2.56 3.50 1/271 68547
/proc/meminfo: memFree=128126628/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68542] ppid=68540 vsize=73492 memory=64512 CPUtime=0.12 cores=4,6
/proc/68542/stat : 68542 (pbsuma) D 68540 68540 68474 0 -1 4456448 8225 0 0 0 11 1 0 0 20 0 1 0 62937208 75255808 16128 18446744073709551615 4210688 4653049 140725627355728 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 23773184 140725627361507 140725627361842 140725627361842 140725627367407 0
/proc/68542/statm: 18373 16128 960 108 0 15781 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 77684 KiB
Current children cumulated memory: 67584 KiB
[startup+0.700246 s]
/proc/loadavg: 0.84 2.56 3.50 1/271 68547
/proc/meminfo: memFree=128126628/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68542] ppid=68540 vsize=73492 memory=64512 CPUtime=0.12 cores=4,6
/proc/68542/stat : 68542 (pbsuma) D 68540 68540 68474 0 -1 4456448 8225 0 0 0 11 1 0 0 20 0 1 0 62937208 75255808 16128 18446744073709551615 4210688 4653049 140725627355728 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 23773184 140725627361507 140725627361842 140725627361842 140725627367407 0
/proc/68542/statm: 18373 16128 960 108 0 15781 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 77684 KiB
Current children cumulated memory: 67584 KiB
[startup+1.50022 s]
/proc/loadavg: 0.84 2.56 3.50 1/271 68547
/proc/meminfo: memFree=128126628/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68542] ppid=68540 vsize=178372 memory=137324 CPUtime=0.23 cores=4,6
/proc/68542/stat : 68542 (pbsuma) R 68540 68540 68474 0 -1 4194304 18776 0 0 0 19 4 0 0 20 0 1 0 62937208 182652928 34331 18446744073709551615 4210688 4653049 140725627355728 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 23773184 140725627361507 140725627361842 140725627361842 140725627367407 0
/proc/68542/statm: 44593 34331 960 108 0 42001 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 182564 KiB
Current children cumulated memory: 140396 KiB
[startup+3.10571 s]
/proc/loadavg: 0.84 2.56 3.50 5/271 68551
/proc/meminfo: memFree=127543936/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=366328 memory=301304 CPUtime=1.4 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 30667 0 0 0 114 26 0 0 20 0 1 0 62937374 375119872 75326 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 91582 75326 2336 1147 0 79009 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 370520 KiB
Current children cumulated memory: 304376 KiB
heavy processes:
[startup+6.30019 s]
/proc/loadavg: 1.09 2.58 3.50 5/271 68551
/proc/meminfo: memFree=127362504/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=391272 memory=312948 CPUtime=4.57 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 36600 0 0 0 426 31 0 0 20 0 1 0 62937374 400662528 78237 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 97818 78237 2400 1147 0 85245 0
Current children cumulated CPU time: 4.96 s
Current children cumulated vsize: 395464 KiB
Current children cumulated memory: 316020 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 1.33 2.61 3.50 5/271 68551
/proc/meminfo: memFree=127318248/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=446280 memory=357512 CPUtime=10.95 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 43534 0 0 0 1049 46 0 0 20 0 1 0 62937374 456990720 89378 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 111570 89378 2400 1147 0 98997 0
Current children cumulated CPU time: 11.34 s
Current children cumulated vsize: 450472 KiB
Current children cumulated memory: 360584 KiB
[startup+25.5002 s]
/proc/loadavg: 1.92 2.68 3.51 5/271 68599
/proc/meminfo: memFree=127301552/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=453108 memory=361680 CPUtime=23.71 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 44057 0 0 0 2303 68 0 0 20 0 1 0 62937374 463982592 90420 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 113277 90420 2400 1147 0 100704 0
Current children cumulated CPU time: 24.1 s
Current children cumulated vsize: 457300 KiB
Current children cumulated memory: 364752 KiB
[startup+51.1057 s]
/proc/loadavg: 2.70 2.80 3.53 5/271 68600
/proc/meminfo: memFree=127093996/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=463680 memory=375996 CPUtime=49.24 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 45127 0 0 0 4834 90 0 0 20 0 1 0 62937374 474808320 93999 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 115920 93999 2400 1147 0 103347 0
Current children cumulated CPU time: 49.63 s
Current children cumulated vsize: 467872 KiB
Current children cumulated memory: 379068 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 3.00 3.56 5/272 68602
/proc/meminfo: memFree=126813960/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=463680 memory=375996 CPUtime=100.21 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 45173 0 0 0 9889 132 0 0 20 0 1 0 62937374 474808320 93999 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 115920 93999 2400 1147 0 103347 0
Current children cumulated CPU time: 100.6 s
Current children cumulated vsize: 467872 KiB
Current children cumulated memory: 379068 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 3.22 3.60 5/273 68609
/proc/meminfo: memFree=126564280/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=473068 memory=385468 CPUtime=155.45 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 46031 0 0 0 15362 183 0 0 20 0 1 0 62937374 484421632 96367 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 118267 96367 2400 1147 0 105694 0
Current children cumulated CPU time: 155.84 s
Current children cumulated vsize: 477260 KiB
Current children cumulated memory: 388540 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.38 3.64 5/272 68614
/proc/meminfo: memFree=126225568/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=473068 memory=385596 CPUtime=215.28 cores=4,6
################
# More data... #
################
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=560844 memory=487936 CPUtime=3194.32 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 53310 0 0 0 316833 2599 0 0 20 0 1 0 62937374 574304256 121984 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 121984 2464 1147 0 127638 0
Current children cumulated CPU time: 3194.71 s
Current children cumulated vsize: 565036 KiB
Current children cumulated memory: 491008 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/272 68963
/proc/meminfo: memFree=74843704/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=560844 memory=487936 CPUtime=3253.36 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 53310 0 0 0 322696 2640 0 0 20 0 1 0 62937374 574304256 121984 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 121984 2464 1147 0 127638 0
Current children cumulated CPU time: 3253.75 s
Current children cumulated vsize: 565036 KiB
Current children cumulated memory: 491008 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.22 4.14 5/272 68966
/proc/meminfo: memFree=73613156/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=560844 memory=487936 CPUtime=3313.1 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 53310 0 0 0 328606 2704 0 0 20 0 1 0 62937374 574304256 121984 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 121984 2464 1147 0 127638 0
Current children cumulated CPU time: 3313.49 s
Current children cumulated vsize: 565036 KiB
Current children cumulated memory: 491008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/272 68968
/proc/meminfo: memFree=71982024/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=560844 memory=487936 CPUtime=3372.8 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 53446 0 0 0 334517 2763 0 0 20 0 1 0 62937374 574304256 121984 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 121984 2464 1147 0 127638 0
Current children cumulated CPU time: 3373.19 s
Current children cumulated vsize: 565036 KiB
Current children cumulated memory: 491008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.17 4.12 5/272 68970
/proc/meminfo: memFree=70623376/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=560844 memory=487936 CPUtime=3432.63 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 53456 0 0 0 340476 2787 0 0 20 0 1 0 62937374 574304256 121984 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 121984 2464 1147 0 127638 0
Current children cumulated CPU time: 3433.02 s
Current children cumulated vsize: 565036 KiB
Current children cumulated memory: 491008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.15 4.12 5/272 68972
/proc/meminfo: memFree=69315780/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=560844 memory=487936 CPUtime=3492.46 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 53458 0 0 0 346396 2850 0 0 20 0 1 0 62937374 574304256 121984 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 121984 2464 1147 0 127638 0
Current children cumulated CPU time: 3492.85 s
Current children cumulated vsize: 565036 KiB
Current children cumulated memory: 491008 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/271 68974
/proc/meminfo: memFree=68047908/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=560844 memory=490052 CPUtime=3551.54 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 53461 0 0 0 352247 2907 0 0 20 0 1 0 62937374 574304256 122513 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 122513 2464 1147 0 127638 0
Current children cumulated CPU time: 3551.93 s
Current children cumulated vsize: 565036 KiB
Current children cumulated memory: 493124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3631 s]*
/proc/loadavg: 4.11 4.14 4.11 5/271 68976
/proc/meminfo: memFree=67227380/131249988 swapFree=33010672/33010684
[pid=68540] ppid=68535 vsize=4192 memory=3072 CPUtime=0.39 cores=4,6
/proc/68540/stat : 68540 (run-opt-break-l) S 68535 68540 68474 0 -1 4194304 242 28012 0 0 0 0 32 7 20 0 1 0 62937207 4292608 768 18446744073709551615 93926430326784 93926431221317 140733353610480 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93926431460368 93926431508112 93926436044800 140733353617685 140733353617886 140733353617886 140733353623488 0
/proc/68540/statm: 1048 768 704 219 0 110 0
[pid=68551] ppid=68540 vsize=560844 memory=490052 CPUtime=3599.7 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68540 68540 68474 0 -1 4194304 53461 0 0 0 357022 2948 0 0 20 0 1 0 62937374 574304256 122513 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 122513 2464 1147 0 127638 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 565036 KiB
Current children cumulated memory: 493124 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3631.01 s]
# the end of solver process 68540 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.326925 s, system=0.080582 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3633.08 s]
# the end of solver process 68551 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3572.54 s, system=29.5883 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3632 s]*
/proc/loadavg: 4.11 4.14 4.11 5/270 68976
/proc/meminfo: memFree=67219316/131249988 swapFree=33010672/33010684
[pid=68551] ppid=68535 vsize=560844 memory=490052 CPUtime=3600.7 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68535 68540 68474 0 -1 4194304 53461 0 0 0 357121 2949 0 0 20 0 1 0 62937374 574304256 122513 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 122513 2464 1147 0 127638 0
Current cumulated CPU time of completed processes: 0.407507 s
Current children cumulated CPU time: 3600.7 s
Current children cumulated vsize: 560844 KiB
Current children cumulated memory: 490052 KiB
[startup+3632.8 s]
/proc/loadavg: 4.11 4.14 4.11 5/270 68976
/proc/meminfo: memFree=67219316/131249988 swapFree=33010672/33010684
[pid=68551] ppid=68535 vsize=560844 memory=490052 CPUtime=3601.49 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68535 68540 68474 0 -1 4194304 53461 0 0 0 357200 2949 0 0 20 0 1 0 62937374 574304256 122513 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 122513 2464 1147 0 127638 0
Current cumulated CPU time of completed processes: 0.407507 s
Current children cumulated CPU time: 3601.49 s
Current children cumulated vsize: 560844 KiB
Current children cumulated memory: 490052 KiB
[startup+3633 s]*
/proc/loadavg: 4.11 4.14 4.11 5/270 68976
/proc/meminfo: memFree=67219316/131249988 swapFree=33010672/33010684
[pid=68551] ppid=68535 vsize=560844 memory=490052 CPUtime=3601.7 cores=4,6
/proc/68551/stat : 68551 (roundingsat) R 68535 68540 68474 0 -1 4194304 53461 0 0 0 357221 2949 0 0 20 0 1 0 62937374 574304256 122513 18446744073709551615 4227072 8923433 140736473067248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12152832 140736473073940 140736473074216 140736473074216 140736473079786 0
/proc/68551/statm: 140211 122513 2464 1147 0 127638 0
Current cumulated CPU time of completed processes: 0.407507 s
Current children cumulated CPU time: 3601.7 s
Current children cumulated vsize: 560844 KiB
Current children cumulated memory: 490052 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3633.08
CPU time (s): 3602.13
CPU user time (s): 3572.54
CPU system time (s): 29.5883
CPU usage (%): 99.1482
Max. virtual memory (cumulated for all children) (KiB): 565036
Max. memory (cumulated for all children) (KiB): 493124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.54
system time used= 29.5883
maximum resident set size= 490052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18015464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1153
involuntary context switches= 21503
# summary of solver processes directly reported to runsolver:
# pid: 68540,68551
# total CPU time (s): 3602.13
# total CPU user time (s): 3572.54
# total CPU system time (s): 29.5883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.56814 second user time and 16.6136 second system time
The end
Begin job on nodeC020 at 2025-07-02 18:09:56
IDJOB=4499999
IDBENCH=149053
IDSOLVER=3360
FILE ID=nodeC020/4499999-1751472596
RUNJOBID= nodeC020-1751472596-68485
SLURM_JOB_ID= 9598500
Free space on /tmp= 432012 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j12055_1.std.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499999-1751472596/watcher-4499999-1751472596 -o /tmp/evaluation-result-4499999-1751472596/solver-4499999-1751472596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751472596-68485 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499999-1751472596.opb PROOFDIR/proof-4499999-1751472596
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f0efccbc116c51a095a75c7835df95b0
RANDOM SEED=1597910223
nodeC020 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 : 3600.671
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.79
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.891
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.79
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 : 3600.046
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.79
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.046
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.899
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.79
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.972
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.79
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 : 3600.141
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.79
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 : 3600.263
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128279220 kB
MemAvailable: 129786480 kB
Buffers: 2128 kB
Cached: 2310084 kB
SwapCached: 8 kB
Active: 529364 kB
Inactive: 1859072 kB
Active(anon): 71760 kB
Inactive(anon): 22512 kB
Active(file): 457604 kB
Inactive(file): 1836560 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 48324 kB
Writeback: 0 kB
AnonPages: 79372 kB
Mapped: 103940 kB
Shmem: 18048 kB
KReclaimable: 104672 kB
Slab: 194356 kB
SReclaimable: 104672 kB
SUnreclaim: 89684 kB
KernelStack: 4256 kB
PageTables: 3056 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 343968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431988 MiB
End job on nodeC020 at 2025-07-02 19:10:30