0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c [STEP] parsing instance
0.00/0.06 c [STEP] solving
0.00/0.06 c #variables 4060 #constraints 4060
0.00/0.06 c SMALL=int, LARGE=long long
0.00/0.06 c bounds - >= 0 @ 0.02968
0.00/0.06 c stratification level: 0
0.20/0.29 c bounds - >= 1 @ 0.052145
0.20/0.29 c bounds - >= 2 @ 0.052761
0.20/0.29 c bounds - >= 3 @ 0.053814
0.20/0.29 c bounds - >= 4 @ 0.055108
0.20/0.29 c bounds - >= 5 @ 0.05716
0.20/0.29 c bounds - >= 6 @ 0.058432
0.20/0.29 c bounds - >= 7 @ 0.059683
0.20/0.29 c bounds - >= 8 @ 0.060976
0.20/0.29 c bounds - >= 9 @ 0.062275
0.20/0.29 c bounds - >= 10 @ 0.063551
0.20/0.29 c bounds - >= 11 @ 0.06483
0.20/0.29 c bounds - >= 12 @ 0.066054
0.20/0.29 c bounds - >= 13 @ 0.067325
0.20/0.29 c bounds - >= 14 @ 0.068577
0.20/0.29 c bounds - >= 15 @ 0.069868
0.20/0.29 c bounds - >= 16 @ 0.071155
0.20/0.29 c bounds - >= 17 @ 0.072429
0.20/0.29 c bounds - >= 18 @ 0.073651
0.20/0.29 c bounds - >= 19 @ 0.074922
0.20/0.29 c bounds - >= 20 @ 0.07619
0.20/0.29 c bounds - >= 21 @ 0.077449
0.20/0.29 c bounds - >= 22 @ 0.078733
0.20/0.29 c bounds - >= 23 @ 0.080049
0.20/0.29 c bounds - >= 24 @ 0.081356
0.20/0.29 c bounds - >= 25 @ 0.082659
0.20/0.29 c bounds - >= 26 @ 0.083953
0.20/0.29 c bounds - >= 27 @ 0.085248
0.20/0.29 c bounds - >= 28 @ 0.085783
0.20/0.29 c bounds - >= 29 @ 0.086821
0.20/0.29 c bounds - >= 30 @ 0.088126
0.20/0.29 c bounds - >= 31 @ 0.089404
0.20/0.29 c bounds - >= 32 @ 0.090698
0.20/0.29 c bounds - >= 33 @ 0.092281
0.20/0.29 c bounds - >= 34 @ 0.093555
0.20/0.29 c bounds - >= 35 @ 0.094808
0.20/0.29 c bounds - >= 36 @ 0.096084
0.20/0.29 c bounds - >= 37 @ 0.097328
0.20/0.29 c bounds - >= 38 @ 0.098595
0.20/0.29 c bounds - >= 39 @ 0.099879
0.20/0.29 c bounds - >= 40 @ 0.101175
0.20/0.29 c bounds - >= 41 @ 0.102459
0.20/0.29 c bounds - >= 42 @ 0.10369
0.20/0.29 c bounds - >= 43 @ 0.104961
0.20/0.29 c bounds - >= 44 @ 0.105587
0.20/0.29 c bounds - >= 45 @ 0.106523
0.20/0.29 c bounds - >= 46 @ 0.107774
0.20/0.29 c bounds - >= 47 @ 0.109022
0.20/0.29 c bounds - >= 48 @ 0.109561
0.20/0.29 c bounds - >= 49 @ 0.110505
0.20/0.29 c bounds - >= 50 @ 0.111776
0.20/0.29 c bounds - >= 51 @ 0.113031
0.20/0.29 c bounds - >= 52 @ 0.114264
0.20/0.29 c bounds - >= 53 @ 0.115507
0.20/0.29 c bounds - >= 54 @ 0.116758
0.20/0.29 c bounds - >= 55 @ 0.118001
0.20/0.29 c bounds - >= 56 @ 0.119221
0.20/0.29 c bounds - >= 57 @ 0.120475
0.20/0.29 c bounds - >= 58 @ 0.121729
0.20/0.29 c bounds - >= 59 @ 0.122978
0.20/0.29 c bounds - >= 60 @ 0.124222
0.20/0.29 c bounds - >= 61 @ 0.125474
0.20/0.29 c bounds - >= 62 @ 0.126721
0.20/0.29 c bounds - >= 63 @ 0.127954
0.20/0.29 c bounds - >= 64 @ 0.12921
0.20/0.29 c bounds - >= 65 @ 0.130446
0.20/0.29 c bounds - >= 66 @ 0.131701
0.20/0.29 c bounds - >= 67 @ 0.132942
0.20/0.29 c bounds - >= 68 @ 0.134186
0.20/0.29 c bounds - >= 69 @ 0.13541
0.20/0.29 c bounds - >= 70 @ 0.136641
0.20/0.29 c bounds - >= 71 @ 0.137896
0.20/0.29 c bounds - >= 72 @ 0.139137
0.20/0.29 c bounds - >= 73 @ 0.140368
0.20/0.29 c bounds - >= 74 @ 0.141611
0.20/0.29 c bounds - >= 75 @ 0.142847
0.20/0.29 c bounds - >= 76 @ 0.144082
0.20/0.29 c bounds - >= 77 @ 0.14532
0.20/0.29 c bounds - >= 78 @ 0.146573
0.20/0.29 c bounds - >= 79 @ 0.147824
0.20/0.29 c bounds - >= 80 @ 0.149063
0.20/0.29 c bounds - >= 81 @ 0.150293
0.20/0.29 c bounds - >= 82 @ 0.151534
0.20/0.29 c bounds - >= 83 @ 0.152766
0.20/0.29 c bounds - >= 84 @ 0.153985
0.20/0.29 c bounds - >= 85 @ 0.155214
0.20/0.29 c bounds - >= 86 @ 0.156471
0.20/0.29 c bounds - >= 87 @ 0.157742
0.20/0.29 c bounds - >= 88 @ 0.159002
0.20/0.29 c bounds - >= 89 @ 0.160308
0.20/0.29 c bounds - >= 90 @ 0.161555
0.20/0.29 c bounds - >= 91 @ 0.162785
0.20/0.29 c bounds - >= 92 @ 0.164057
0.20/0.29 c bounds - >= 93 @ 0.165313
0.20/0.29 c bounds - >= 94 @ 0.166534
0.20/0.29 c bounds - >= 95 @ 0.167745
0.20/0.29 c bounds - >= 96 @ 0.168992
0.20/0.29 c bounds - >= 97 @ 0.170249
0.20/0.29 c bounds - >= 98 @ 0.171493
0.20/0.29 c bounds - >= 99 @ 0.172752
0.20/0.29 c bounds - >= 100 @ 0.174033
0.20/0.29 c bounds - >= 101 @ 0.17529
0.20/0.29 c bounds - >= 102 @ 0.176563
0.20/0.29 c bounds - >= 103 @ 0.177817
0.20/0.29 c bounds - >= 104 @ 0.179071
0.20/0.29 c bounds - >= 105 @ 0.180351
0.20/0.29 c bounds - >= 106 @ 0.181619
0.20/0.29 c bounds - >= 107 @ 0.18288
0.20/0.29 c bounds - >= 108 @ 0.184119
0.20/0.29 c bounds - >= 109 @ 0.185347
0.20/0.29 c bounds - >= 110 @ 0.186557
0.20/0.29 c bounds - >= 111 @ 0.18777
0.20/0.29 c bounds - >= 112 @ 0.188966
0.20/0.29 c bounds - >= 113 @ 0.190196
0.20/0.29 c bounds - >= 114 @ 0.191434
0.20/0.29 c bounds - >= 115 @ 0.191949
0.20/0.29 c bounds - >= 116 @ 0.192886
0.20/0.29 c bounds - >= 117 @ 0.194102
0.20/0.29 c bounds - >= 118 @ 0.19531
0.20/0.29 c bounds - >= 119 @ 0.196503
0.20/0.29 c bounds - >= 120 @ 0.197726
0.20/0.29 c bounds - >= 121 @ 0.198935
0.20/0.29 c bounds - >= 122 @ 0.200153
0.20/0.29 c bounds - >= 123 @ 0.201363
0.20/0.29 c bounds - >= 124 @ 0.201891
0.20/0.29 c bounds - >= 125 @ 0.202798
0.20/0.29 c bounds - >= 126 @ 0.204011
0.20/0.29 c bounds - >= 127 @ 0.205244
0.20/0.29 c bounds - >= 128 @ 0.206459
0.20/0.29 c bounds - >= 129 @ 0.207679
0.20/0.29 c bounds - >= 130 @ 0.208915
0.20/0.29 c bounds - >= 131 @ 0.210127
0.20/0.29 c bounds - >= 132 @ 0.21133
0.20/0.29 c bounds - >= 133 @ 0.21241
0.20/0.29 c bounds - >= 134 @ 0.213387
0.20/0.29 c bounds - >= 135 @ 0.21456
0.20/0.29 c bounds - >= 136 @ 0.215765
0.20/0.29 c bounds - >= 137 @ 0.216957
0.20/0.29 c bounds - >= 138 @ 0.21816
0.20/0.29 c bounds - >= 139 @ 0.219337
0.20/0.29 c bounds - >= 140 @ 0.220534
0.20/0.29 c bounds - >= 141 @ 0.221749
0.20/0.29 c bounds - >= 142 @ 0.222988
0.20/0.29 c bounds - >= 143 @ 0.224192
0.20/0.29 c bounds - >= 144 @ 0.225387
0.20/0.29 c bounds - >= 145 @ 0.226588
0.20/0.29 c bounds - >= 146 @ 0.227794
0.39/0.45 c bounds - >= 147 @ 0.228986
0.39/0.45 c bounds - >= 148 @ 0.230188
0.39/0.45 c bounds - >= 149 @ 0.231384
0.39/0.45 c bounds - >= 150 @ 0.232589
0.39/0.45 c bounds - >= 151 @ 0.233779
0.39/0.45 c bounds - >= 152 @ 0.234967
0.39/0.45 c bounds - >= 153 @ 0.236148
0.39/0.45 c bounds - >= 154 @ 0.237335
0.39/0.45 c bounds - >= 155 @ 0.238541
0.39/0.45 c bounds - >= 156 @ 0.239742
0.39/0.45 c bounds - >= 157 @ 0.240936
0.39/0.45 c bounds - >= 158 @ 0.242129
0.39/0.45 c bounds - >= 159 @ 0.243318
0.39/0.45 c bounds - >= 160 @ 0.244508
0.39/0.45 c bounds - >= 161 @ 0.245687
0.39/0.45 c bounds - >= 162 @ 0.246918
0.39/0.45 c bounds - >= 163 @ 0.248116
0.39/0.45 c bounds - >= 164 @ 0.249309
0.39/0.45 c bounds - >= 165 @ 0.250505
0.39/0.45 c bounds - >= 166 @ 0.251692
0.39/0.45 c bounds - >= 167 @ 0.252886
0.39/0.45 c bounds - >= 168 @ 0.253425
0.39/0.45 c bounds - >= 169 @ 0.254294
0.39/0.45 c bounds - >= 170 @ 0.255479
0.39/0.45 c bounds - >= 171 @ 0.256676
0.39/0.45 c bounds - >= 172 @ 0.257869
0.39/0.45 c bounds - >= 173 @ 0.259056
0.39/0.45 c bounds - >= 174 @ 0.260247
0.39/0.45 c bounds - >= 175 @ 0.26144
0.39/0.45 c bounds - >= 176 @ 0.26265
0.39/0.45 c bounds - >= 177 @ 0.26384
0.39/0.45 c bounds - >= 178 @ 0.265021
0.39/0.45 c bounds - >= 179 @ 0.266208
0.39/0.45 c bounds - >= 180 @ 0.267382
0.39/0.45 c bounds - >= 181 @ 0.268564
0.39/0.45 c bounds - >= 182 @ 0.269741
0.39/0.45 c bounds - >= 183 @ 0.270938
0.39/0.45 c bounds - >= 184 @ 0.272112
0.39/0.45 c bounds - >= 185 @ 0.273292
0.39/0.45 c bounds - >= 186 @ 0.274471
0.39/0.45 c bounds - >= 187 @ 0.275659
0.39/0.45 c bounds - >= 188 @ 0.276829
0.39/0.45 c bounds - >= 189 @ 0.277995
0.39/0.45 c bounds - >= 190 @ 0.279187
0.39/0.45 c bounds - >= 191 @ 0.280383
0.39/0.45 c bounds - >= 192 @ 0.281552
0.39/0.45 c bounds - >= 193 @ 0.282716
0.39/0.45 c bounds - >= 194 @ 0.28388
0.39/0.45 c bounds - >= 195 @ 0.285044
0.39/0.45 c bounds - >= 196 @ 0.286197
0.39/0.45 c bounds - >= 197 @ 0.287374
0.39/0.45 c bounds - >= 198 @ 0.288564
0.39/0.45 c bounds - >= 199 @ 0.289731
0.39/0.45 c bounds - >= 200 @ 0.290207
0.39/0.45 c bounds - >= 201 @ 0.291081
0.39/0.45 c bounds - >= 202 @ 0.292238
0.39/0.45 c bounds - >= 203 @ 0.293396
0.39/0.45 c bounds - >= 204 @ 0.29457
0.39/0.45 c bounds - >= 205 @ 0.29574
0.39/0.45 c bounds - >= 206 @ 0.296906
0.39/0.45 c bounds - >= 207 @ 0.298066
0.39/0.45 c bounds - >= 208 @ 0.299234
0.39/0.45 c bounds - >= 209 @ 0.300391
0.39/0.45 c bounds - >= 210 @ 0.301554
0.39/0.45 c bounds - >= 211 @ 0.302732
0.39/0.45 c bounds - >= 212 @ 0.303892
0.39/0.45 c bounds - >= 213 @ 0.305058
0.39/0.45 c bounds - >= 214 @ 0.30623
0.39/0.45 c bounds - >= 215 @ 0.30739
0.39/0.45 c bounds - >= 216 @ 0.308549
0.39/0.45 c bounds - >= 217 @ 0.309705
0.39/0.45 c bounds - >= 218 @ 0.310887
0.39/0.45 c bounds - >= 219 @ 0.31211
0.39/0.45 c bounds - >= 220 @ 0.313268
0.39/0.45 c bounds - >= 221 @ 0.314431
0.39/0.45 c bounds - >= 222 @ 0.315584
0.39/0.45 c bounds - >= 223 @ 0.31607
0.39/0.45 c bounds - >= 224 @ 0.316897
0.39/0.45 c bounds - >= 225 @ 0.318039
0.39/0.45 c bounds - >= 226 @ 0.318323
0.39/0.45 c bounds - >= 227 @ 0.319406
0.39/0.45 c bounds - >= 228 @ 0.320528
0.39/0.45 c bounds - >= 229 @ 0.32165
0.39/0.45 c bounds - >= 230 @ 0.322789
0.39/0.45 c bounds - >= 231 @ 0.323932
0.39/0.45 c bounds - >= 232 @ 0.325089
0.39/0.45 c bounds - >= 233 @ 0.326247
0.39/0.45 c bounds - >= 234 @ 0.327399
0.39/0.45 c bounds - >= 235 @ 0.328558
0.39/0.45 c bounds - >= 236 @ 0.329007
0.39/0.45 c bounds - >= 237 @ 0.329874
0.39/0.45 c bounds - >= 238 @ 0.330992
0.39/0.45 c bounds - >= 239 @ 0.332153
0.39/0.45 c bounds - >= 240 @ 0.333298
0.39/0.45 c bounds - >= 241 @ 0.334458
0.39/0.45 c bounds - >= 242 @ 0.335605
0.39/0.45 c bounds - >= 243 @ 0.336748
0.39/0.45 c bounds - >= 244 @ 0.337884
0.39/0.45 c bounds - >= 245 @ 0.339024
0.39/0.45 c bounds - >= 246 @ 0.340181
0.39/0.45 c bounds - >= 247 @ 0.341341
0.39/0.45 c bounds - >= 248 @ 0.342489
0.39/0.45 c bounds - >= 249 @ 0.343639
0.39/0.45 c bounds - >= 250 @ 0.344787
0.39/0.45 c bounds - >= 251 @ 0.345934
0.39/0.45 c bounds - >= 252 @ 0.347076
0.39/0.45 c bounds - >= 253 @ 0.348248
0.39/0.45 c bounds - >= 254 @ 0.349413
0.39/0.45 c bounds - >= 255 @ 0.34989
0.39/0.45 c bounds - >= 256 @ 0.350749
0.39/0.45 c bounds - >= 257 @ 0.351904
0.39/0.45 c bounds - >= 258 @ 0.353103
0.39/0.45 c bounds - >= 259 @ 0.354244
0.39/0.45 c bounds - >= 260 @ 0.355408
0.39/0.45 c bounds - >= 261 @ 0.355845
0.39/0.45 c bounds - >= 262 @ 0.356907
0.39/0.45 c bounds - >= 263 @ 0.358083
0.39/0.45 c bounds - >= 264 @ 0.359233
0.39/0.45 c bounds - >= 265 @ 0.360384
0.39/0.45 c bounds - >= 266 @ 0.360818
0.39/0.45 c bounds - >= 267 @ 0.361709
0.39/0.45 c bounds - >= 268 @ 0.362862
0.39/0.45 c bounds - >= 269 @ 0.364009
0.39/0.45 c bounds - >= 270 @ 0.36516
0.39/0.45 c bounds - >= 271 @ 0.366306
0.39/0.45 c bounds - >= 272 @ 0.366782
0.39/0.45 c bounds - >= 273 @ 0.367611
0.39/0.45 c bounds - >= 274 @ 0.368774
0.39/0.45 c bounds - >= 275 @ 0.369038
0.39/0.45 c bounds - >= 276 @ 0.370129
0.39/0.45 c bounds - >= 277 @ 0.371258
0.39/0.45 c bounds - >= 278 @ 0.372382
0.39/0.45 c bounds - >= 279 @ 0.373513
0.39/0.45 c bounds - >= 280 @ 0.374651
0.39/0.45 c bounds - >= 281 @ 0.375807
0.39/0.45 c bounds - >= 282 @ 0.376964
0.39/0.45 c bounds - >= 283 @ 0.378114
0.39/0.45 c bounds - >= 284 @ 0.37926
0.39/0.45 c bounds - >= 285 @ 0.379717
0.39/0.45 c bounds - >= 286 @ 0.380597
0.39/0.45 c bounds - >= 287 @ 0.381722
0.39/0.45 c bounds - >= 288 @ 0.382875
0.58/0.61 c bounds - >= 289 @ 0.384023
0.58/0.61 c bounds - >= 290 @ 0.385165
0.58/0.61 c bounds - >= 291 @ 0.386301
0.58/0.61 c bounds - >= 292 @ 0.387444
0.58/0.61 c bounds - >= 293 @ 0.388574
0.58/0.61 c bounds - >= 294 @ 0.389696
0.58/0.61 c bounds - >= 295 @ 0.390847
0.58/0.61 c bounds - >= 296 @ 0.391985
0.58/0.61 c bounds - >= 297 @ 0.393118
0.58/0.61 c bounds - >= 298 @ 0.394252
0.58/0.61 c bounds - >= 299 @ 0.3954
0.58/0.61 c bounds - >= 300 @ 0.396536
0.58/0.61 c bounds - >= 301 @ 0.397669
0.58/0.61 c bounds - >= 302 @ 0.398836
0.58/0.61 c bounds - >= 303 @ 0.399974
0.58/0.61 c bounds - >= 304 @ 0.401101
0.58/0.61 c bounds - >= 305 @ 0.401589
0.58/0.61 c bounds - >= 306 @ 0.402405
0.58/0.61 c bounds - >= 307 @ 0.403517
0.58/0.61 c bounds - >= 308 @ 0.40464
0.58/0.61 c bounds - >= 309 @ 0.405792
0.58/0.61 c bounds - >= 310 @ 0.406935
0.58/0.61 c bounds - >= 311 @ 0.408107
0.58/0.61 c bounds - >= 312 @ 0.408556
0.58/0.61 c bounds - >= 313 @ 0.409389
0.58/0.61 c bounds - >= 314 @ 0.410499
0.58/0.61 c bounds - >= 315 @ 0.411629
0.58/0.61 c bounds - >= 316 @ 0.412776
0.58/0.61 c bounds - >= 317 @ 0.41393
0.58/0.61 c bounds - >= 318 @ 0.415057
0.58/0.61 c bounds - >= 319 @ 0.416173
0.58/0.61 c bounds - >= 320 @ 0.417304
0.58/0.61 c bounds - >= 321 @ 0.418425
0.58/0.61 c bounds - >= 322 @ 0.419544
0.58/0.61 c bounds - >= 323 @ 0.420684
0.58/0.61 c bounds - >= 324 @ 0.421814
0.58/0.61 c bounds - >= 325 @ 0.422943
0.58/0.61 c bounds - >= 326 @ 0.424069
0.58/0.61 c bounds - >= 327 @ 0.42447
0.58/0.61 c bounds - >= 328 @ 0.425347
0.58/0.61 c bounds - >= 329 @ 0.426474
0.58/0.61 c bounds - >= 330 @ 0.427608
0.58/0.61 c bounds - >= 331 @ 0.428731
0.58/0.61 c bounds - >= 332 @ 0.429865
0.58/0.61 c bounds - >= 333 @ 0.430996
0.58/0.61 c bounds - >= 334 @ 0.432102
0.58/0.61 c bounds - >= 335 @ 0.433227
0.58/0.61 c bounds - >= 336 @ 0.434345
0.58/0.61 c bounds - >= 337 @ 0.435495
0.58/0.61 c bounds - >= 338 @ 0.436647
0.58/0.61 c bounds - >= 339 @ 0.437756
0.58/0.61 c bounds - >= 340 @ 0.438876
0.58/0.61 c bounds - >= 341 @ 0.439989
0.58/0.61 c bounds - >= 342 @ 0.440381
0.58/0.61 c bounds - >= 343 @ 0.44121
0.58/0.61 c bounds - >= 344 @ 0.442314
0.58/0.61 c bounds - >= 345 @ 0.443423
0.58/0.61 c bounds - >= 346 @ 0.444525
0.58/0.61 c bounds - >= 347 @ 0.445632
0.58/0.61 c bounds - >= 348 @ 0.446734
0.58/0.61 c bounds - >= 349 @ 0.447828
0.58/0.61 c bounds - >= 350 @ 0.448916
0.58/0.61 c bounds - >= 351 @ 0.449323
0.58/0.61 c bounds - >= 352 @ 0.450153
0.58/0.61 c bounds - >= 353 @ 0.451253
0.58/0.61 c bounds - >= 354 @ 0.452344
0.58/0.61 c bounds - >= 355 @ 0.453447
0.58/0.61 c bounds - >= 356 @ 0.45454
0.58/0.61 c bounds - >= 357 @ 0.455633
0.58/0.61 c bounds - >= 358 @ 0.456733
0.58/0.61 c bounds - >= 359 @ 0.45784
0.58/0.61 c bounds - >= 360 @ 0.458275
0.58/0.61 c bounds - >= 361 @ 0.459064
0.58/0.61 c bounds - >= 362 @ 0.460205
0.58/0.61 c bounds - >= 363 @ 0.461294
0.58/0.61 c bounds - >= 364 @ 0.462392
0.58/0.61 c bounds - >= 365 @ 0.463495
0.58/0.61 c bounds - >= 366 @ 0.464569
0.58/0.61 c bounds - >= 367 @ 0.46566
0.58/0.61 c bounds - >= 368 @ 0.466752
0.58/0.61 c bounds - >= 369 @ 0.467839
0.58/0.61 c bounds - >= 370 @ 0.468214
0.58/0.61 c bounds - >= 371 @ 0.469035
0.58/0.61 c bounds - >= 372 @ 0.470125
0.58/0.61 c bounds - >= 373 @ 0.471214
0.58/0.61 c bounds - >= 374 @ 0.472306
0.58/0.61 c bounds - >= 375 @ 0.473384
0.58/0.61 c bounds - >= 376 @ 0.474461
0.58/0.61 c bounds - >= 377 @ 0.475553
0.58/0.61 c bounds - >= 378 @ 0.476625
0.58/0.61 c bounds - >= 379 @ 0.477721
0.58/0.61 c bounds - >= 380 @ 0.478809
0.58/0.61 c bounds - >= 381 @ 0.479892
0.58/0.61 c bounds - >= 382 @ 0.480969
0.58/0.61 c bounds - >= 383 @ 0.48205
0.58/0.61 c bounds - >= 384 @ 0.483128
0.58/0.61 c bounds - >= 385 @ 0.484195
0.58/0.61 c bounds - >= 386 @ 0.485281
0.58/0.61 c bounds - >= 387 @ 0.486373
0.58/0.61 c bounds - >= 388 @ 0.487454
0.58/0.61 c bounds - >= 389 @ 0.488533
0.58/0.61 c bounds - >= 390 @ 0.489607
0.58/0.61 c bounds - >= 391 @ 0.490671
0.58/0.61 c bounds - >= 392 @ 0.49174
0.58/0.61 c bounds - >= 393 @ 0.492839
0.58/0.61 c bounds - >= 394 @ 0.493916
0.58/0.61 c bounds - >= 395 @ 0.494992
0.58/0.61 c bounds - >= 396 @ 0.49606
0.58/0.61 c bounds - >= 397 @ 0.497147
0.58/0.61 c bounds - >= 398 @ 0.498229
0.58/0.61 c bounds - >= 399 @ 0.499298
0.58/0.61 c bounds - >= 400 @ 0.500387
0.58/0.61 c bounds - >= 401 @ 0.50147
0.58/0.61 c bounds - >= 402 @ 0.502548
0.58/0.61 c bounds - >= 403 @ 0.503619
0.58/0.61 c bounds - >= 404 @ 0.504018
0.58/0.61 c bounds - >= 405 @ 0.504757
0.58/0.61 c bounds - >= 406 @ 0.505806
0.58/0.61 c bounds - >= 407 @ 0.506891
0.58/0.61 c bounds - >= 408 @ 0.507966
0.58/0.61 c bounds - >= 409 @ 0.50903
0.58/0.61 c bounds - >= 410 @ 0.509454
0.58/0.61 c bounds - >= 411 @ 0.510229
0.58/0.61 c bounds - >= 412 @ 0.511283
0.58/0.61 c bounds - >= 413 @ 0.512329
0.58/0.61 c bounds - >= 414 @ 0.513393
0.58/0.61 c bounds - >= 415 @ 0.514451
0.58/0.61 c bounds - >= 416 @ 0.515513
0.58/0.61 c bounds - >= 417 @ 0.516567
0.58/0.61 c bounds - >= 418 @ 0.517639
0.58/0.61 c bounds - >= 419 @ 0.518695
0.58/0.61 c bounds - >= 420 @ 0.519749
0.58/0.61 c bounds - >= 421 @ 0.520818
0.58/0.61 c bounds - >= 422 @ 0.52188
0.58/0.61 c bounds - >= 423 @ 0.522946
0.58/0.61 c bounds - >= 424 @ 0.524011
0.58/0.61 c bounds - >= 425 @ 0.525076
0.58/0.61 c bounds - >= 426 @ 0.526132
0.58/0.61 c bounds - >= 427 @ 0.527178
0.58/0.61 c bounds - >= 428 @ 0.528256
0.58/0.61 c bounds - >= 429 @ 0.529313
0.67/0.72 c bounds - >= 430 @ 0.530385
0.67/0.72 c bounds - >= 431 @ 0.531444
0.67/0.72 c bounds - >= 432 @ 0.532503
0.67/0.72 c bounds - >= 433 @ 0.532866
0.67/0.72 c bounds - >= 434 @ 0.533723
0.67/0.72 c bounds - >= 435 @ 0.534788
0.67/0.72 c bounds - >= 436 @ 0.535857
0.67/0.72 c bounds - >= 437 @ 0.536903
0.67/0.72 c bounds - >= 438 @ 0.537962
0.67/0.72 c bounds - >= 439 @ 0.53903
0.67/0.72 c bounds - >= 440 @ 0.540087
0.67/0.72 c bounds - >= 441 @ 0.541131
0.67/0.72 c bounds - >= 442 @ 0.542218
0.67/0.72 c bounds - >= 443 @ 0.543272
0.67/0.72 c bounds - >= 444 @ 0.544329
0.67/0.72 c bounds - >= 445 @ 0.54538
0.67/0.72 c bounds - >= 446 @ 0.546429
0.67/0.72 c bounds - >= 447 @ 0.547478
0.67/0.72 c bounds - >= 448 @ 0.54854
0.67/0.72 c bounds - >= 449 @ 0.549601
0.67/0.72 c bounds - >= 450 @ 0.550662
0.67/0.72 c bounds - >= 451 @ 0.551719
0.67/0.72 c bounds - >= 452 @ 0.552765
0.67/0.72 c bounds - >= 453 @ 0.553805
0.67/0.72 c bounds - >= 454 @ 0.554846
0.67/0.72 c bounds - >= 455 @ 0.555878
0.67/0.72 c bounds - >= 456 @ 0.556944
0.67/0.72 c bounds - >= 457 @ 0.558039
0.67/0.72 c bounds - >= 458 @ 0.559078
0.67/0.72 c bounds - >= 459 @ 0.560126
0.67/0.72 c bounds - >= 460 @ 0.561171
0.67/0.72 c bounds - >= 461 @ 0.56238
0.67/0.72 c bounds - >= 462 @ 0.563088
0.67/0.72 c bounds - >= 463 @ 0.563814
0.67/0.72 c bounds - >= 464 @ 0.564527
0.67/0.72 c bounds - >= 465 @ 0.565224
0.67/0.72 c bounds - >= 466 @ 0.565929
0.67/0.72 c bounds - >= 467 @ 0.566626
0.67/0.72 c bounds - >= 468 @ 0.567322
0.67/0.72 c bounds - >= 469 @ 0.568018
0.67/0.72 c bounds - >= 470 @ 0.568732
0.67/0.72 c bounds - >= 471 @ 0.56944
0.67/0.72 c bounds - >= 472 @ 0.569659
0.67/0.72 c bounds - >= 473 @ 0.569933
0.67/0.72 c bounds - >= 474 @ 0.570562
0.67/0.72 c bounds - >= 475 @ 0.571281
0.67/0.72 c bounds - >= 476 @ 0.571974
0.67/0.72 c bounds - >= 477 @ 0.572674
0.67/0.72 c bounds - >= 478 @ 0.573371
0.67/0.72 c bounds - >= 479 @ 0.57407
0.67/0.72 c bounds - >= 480 @ 0.57479
0.67/0.72 c bounds - >= 481 @ 0.575476
0.67/0.72 c bounds - >= 482 @ 0.576168
0.67/0.72 c bounds - >= 483 @ 0.576856
0.67/0.72 c bounds - >= 484 @ 0.577563
0.67/0.72 c bounds - >= 485 @ 0.578258
0.67/0.72 c bounds - >= 486 @ 0.578956
0.67/0.72 c bounds - >= 487 @ 0.579653
0.67/0.72 c bounds - >= 488 @ 0.580346
0.67/0.72 c bounds - >= 489 @ 0.581034
0.67/0.72 c bounds - >= 490 @ 0.581726
0.67/0.72 c bounds - >= 491 @ 0.582431
0.67/0.72 c bounds - >= 492 @ 0.583132
0.67/0.72 c bounds - >= 493 @ 0.583835
0.67/0.72 c bounds - >= 494 @ 0.584523
0.67/0.72 c bounds - >= 495 @ 0.585214
0.67/0.72 c bounds - >= 496 @ 0.585901
0.67/0.72 c bounds - >= 497 @ 0.586584
0.67/0.72 c bounds - >= 498 @ 0.587281
0.67/0.72 c bounds - >= 499 @ 0.587976
0.67/0.72 c bounds - >= 500 @ 0.588226
0.67/0.72 c bounds - >= 501 @ 0.588408
0.67/0.72 c bounds - >= 502 @ 0.589102
0.67/0.72 c bounds - >= 503 @ 0.589786
0.67/0.72 c bounds - >= 504 @ 0.590458
0.67/0.72 c bounds - >= 505 @ 0.591161
0.67/0.72 c bounds - >= 506 @ 0.591855
0.67/0.72 c bounds - >= 507 @ 0.592536
0.67/0.72 c bounds - >= 508 @ 0.592536
0.67/0.72 c bounds - >= 509 @ 0.592976
0.67/0.72 c bounds - >= 510 @ 0.593646
0.67/0.72 c bounds - >= 511 @ 0.594321
0.67/0.72 c bounds - >= 512 @ 0.594542
0.67/0.72 c bounds - >= 513 @ 0.594819
0.67/0.72 c bounds - >= 514 @ 0.595432
0.67/0.72 c bounds - >= 515 @ 0.596146
0.67/0.72 c bounds - >= 516 @ 0.596827
0.67/0.72 c bounds - >= 517 @ 0.597496
0.67/0.72 c bounds - >= 518 @ 0.598171
0.67/0.72 c bounds - >= 519 @ 0.598864
0.67/0.72 c bounds - >= 520 @ 0.599554
0.67/0.72 c bounds - >= 521 @ 0.600238
0.67/0.72 c bounds - >= 522 @ 0.600923
0.67/0.72 c bounds - >= 523 @ 0.601167
0.67/0.72 c bounds - >= 524 @ 0.601314
0.67/0.72 c bounds - >= 525 @ 0.60197
0.67/0.72 c bounds - >= 526 @ 0.602659
0.67/0.72 c bounds - >= 527 @ 0.603346
0.67/0.72 c bounds - >= 528 @ 0.604032
0.67/0.72 c bounds - >= 529 @ 0.605428
0.67/0.72 c bounds - >= 530 @ 0.606094
0.67/0.72 c bounds - >= 531 @ 0.606763
0.67/0.72 c bounds - >= 532 @ 0.607421
0.67/0.72 c bounds - >= 533 @ 0.608096
0.67/0.72 c bounds - >= 534 @ 0.608768
0.67/0.72 c bounds - >= 535 @ 0.609435
0.67/0.72 c bounds - >= 536 @ 0.610105
0.67/0.72 c bounds - >= 537 @ 0.610774
0.67/0.72 c bounds - >= 538 @ 0.611438
0.67/0.72 c bounds - >= 539 @ 0.612098
0.67/0.72 c bounds - >= 540 @ 0.612774
0.67/0.72 c bounds - >= 541 @ 0.613441
0.67/0.72 c bounds - >= 542 @ 0.614111
0.67/0.72 c bounds - >= 543 @ 0.614775
0.67/0.72 c bounds - >= 544 @ 0.615439
0.67/0.72 c bounds - >= 545 @ 0.616098
0.67/0.72 c bounds - >= 546 @ 0.616755
0.67/0.72 c bounds - >= 547 @ 0.617427
0.67/0.72 c bounds - >= 548 @ 0.6181
0.67/0.72 c bounds - >= 549 @ 0.618763
0.67/0.72 c bounds - >= 550 @ 0.619434
0.67/0.72 c bounds - >= 551 @ 0.620107
0.67/0.72 c bounds - >= 552 @ 0.620771
0.67/0.72 c bounds - >= 553 @ 0.621428
0.67/0.72 c bounds - >= 554 @ 0.622098
0.67/0.72 c bounds - >= 555 @ 0.622767
0.67/0.72 c bounds - >= 556 @ 0.623437
0.67/0.72 c bounds - >= 557 @ 0.6241
0.67/0.72 c bounds - >= 558 @ 0.624765
0.67/0.72 c bounds - >= 559 @ 0.625431
0.67/0.72 c bounds - >= 560 @ 0.626088
0.67/0.72 c bounds - >= 561 @ 0.626764
0.67/0.72 c bounds - >= 562 @ 0.627433
0.67/0.72 c bounds - >= 563 @ 0.628098
0.67/0.72 c bounds - >= 564 @ 0.628763
0.67/0.72 c bounds - >= 565 @ 0.629423
0.67/0.72 c bounds - >= 566 @ 0.630084
0.67/0.72 c bounds - >= 567 @ 0.630739
0.67/0.72 c bounds - >= 568 @ 0.631409
0.67/0.72 c bounds - >= 569 @ 0.63207
0.67/0.72 c bounds - >= 570 @ 0.632733
0.67/0.72 c bounds - >= 571 @ 0.633405
0.77/0.81 c bounds - >= 572 @ 0.634064
0.77/0.81 c bounds - >= 573 @ 0.634716
0.77/0.81 c bounds - >= 574 @ 0.635444
0.77/0.81 c bounds - >= 575 @ 0.636118
0.77/0.81 c bounds - >= 576 @ 0.636349
0.77/0.81 c bounds - >= 577 @ 0.636547
0.77/0.81 c bounds - >= 578 @ 0.637139
0.77/0.81 c bounds - >= 579 @ 0.637346
0.77/0.81 c bounds - >= 580 @ 0.637548
0.77/0.81 c bounds - >= 581 @ 0.638129
0.77/0.81 c bounds - >= 582 @ 0.638768
0.77/0.81 c bounds - >= 583 @ 0.639426
0.77/0.81 c bounds - >= 584 @ 0.640082
0.77/0.81 c bounds - >= 585 @ 0.640739
0.77/0.81 c bounds - >= 586 @ 0.641391
0.77/0.81 c bounds - >= 587 @ 0.642049
0.77/0.81 c bounds - >= 588 @ 0.642695
0.77/0.81 c bounds - >= 589 @ 0.643355
0.77/0.81 c bounds - >= 590 @ 0.644007
0.77/0.81 c bounds - >= 591 @ 0.644662
0.77/0.81 c bounds - >= 592 @ 0.645309
0.77/0.81 c bounds - >= 593 @ 0.645954
0.77/0.81 c bounds - >= 594 @ 0.646598
0.77/0.81 c bounds - >= 595 @ 0.647237
0.77/0.81 c bounds - >= 596 @ 0.647887
0.77/0.81 c bounds - >= 597 @ 0.648572
0.77/0.81 c bounds - >= 598 @ 0.649231
0.77/0.81 c bounds - >= 599 @ 0.649889
0.77/0.81 c bounds - >= 600 @ 0.650541
0.77/0.81 c bounds - >= 601 @ 0.651191
0.77/0.81 c bounds - >= 602 @ 0.651838
0.77/0.81 c bounds - >= 603 @ 0.652497
0.77/0.81 c bounds - >= 604 @ 0.653146
0.77/0.81 c bounds - >= 605 @ 0.653791
0.77/0.81 c bounds - >= 606 @ 0.654435
0.77/0.81 c bounds - >= 607 @ 0.655076
0.77/0.81 c bounds - >= 608 @ 0.655264
0.77/0.81 c bounds - >= 609 @ 0.655451
0.77/0.81 c bounds - >= 610 @ 0.65604
0.77/0.81 c bounds - >= 611 @ 0.656665
0.77/0.81 c bounds - >= 612 @ 0.657301
0.77/0.81 c bounds - >= 613 @ 0.657959
0.77/0.81 c bounds - >= 614 @ 0.658615
0.77/0.81 c bounds - >= 615 @ 0.659262
0.77/0.81 c bounds - >= 616 @ 0.659902
0.77/0.81 c bounds - >= 617 @ 0.660564
0.77/0.81 c bounds - >= 618 @ 0.661217
0.77/0.81 c bounds - >= 619 @ 0.661864
0.77/0.81 c bounds - >= 620 @ 0.66251
0.77/0.81 c bounds - >= 621 @ 0.663147
0.77/0.81 c bounds - >= 622 @ 0.663785
0.77/0.81 c bounds - >= 623 @ 0.66442
0.77/0.81 c bounds - >= 624 @ 0.665081
0.77/0.81 c bounds - >= 625 @ 0.665736
0.77/0.81 c bounds - >= 626 @ 0.666388
0.77/0.81 c bounds - >= 627 @ 0.667033
0.77/0.81 c bounds - >= 628 @ 0.667675
0.77/0.81 c bounds - >= 629 @ 0.668324
0.77/0.81 c bounds - >= 630 @ 0.668963
0.77/0.81 c bounds - >= 631 @ 0.66963
0.77/0.81 c bounds - >= 632 @ 0.670284
0.77/0.81 c bounds - >= 633 @ 0.67095
0.77/0.81 c bounds - >= 634 @ 0.671609
0.77/0.81 c bounds - >= 635 @ 0.672263
0.77/0.81 c bounds - >= 636 @ 0.67291
0.77/0.81 c bounds - >= 637 @ 0.673554
0.77/0.81 c bounds - >= 638 @ 0.674234
0.77/0.81 c bounds - >= 639 @ 0.674889
0.77/0.81 c bounds - >= 640 @ 0.675538
0.77/0.81 c bounds - >= 641 @ 0.676188
0.77/0.81 c bounds - >= 642 @ 0.676834
0.77/0.81 c bounds - >= 643 @ 0.677476
0.77/0.81 c bounds - >= 644 @ 0.678116
0.77/0.81 c bounds - >= 645 @ 0.678825
0.77/0.81 c bounds - >= 646 @ 0.679538
0.77/0.81 c bounds - >= 647 @ 0.680203
0.77/0.81 c bounds - >= 648 @ 0.680881
0.77/0.81 c bounds - >= 649 @ 0.681551
0.77/0.81 c bounds - >= 650 @ 0.682215
0.77/0.81 c bounds - >= 651 @ 0.682889
0.77/0.81 c bounds - >= 652 @ 0.683561
0.77/0.81 c bounds - >= 653 @ 0.684217
0.77/0.81 c bounds - >= 654 @ 0.684854
0.77/0.81 c bounds - >= 655 @ 0.685511
0.77/0.81 c bounds - >= 656 @ 0.686185
0.77/0.81 c bounds - >= 657 @ 0.68684
0.77/0.81 c bounds - >= 658 @ 0.6875
0.77/0.81 c bounds - >= 659 @ 0.688182
0.77/0.81 c bounds - >= 660 @ 0.688861
0.77/0.81 c bounds - >= 661 @ 0.689548
0.77/0.81 c bounds - >= 662 @ 0.6902
0.77/0.81 c bounds - >= 663 @ 0.690877
0.77/0.81 c bounds - >= 664 @ 0.691554
0.77/0.81 c bounds - >= 665 @ 0.692217
0.77/0.81 c bounds - >= 666 @ 0.692922
0.77/0.81 c bounds - >= 667 @ 0.693603
0.77/0.81 c bounds - >= 668 @ 0.694282
0.77/0.81 c bounds - >= 669 @ 0.694959
0.77/0.81 c bounds - >= 670 @ 0.695637
0.77/0.81 c bounds - >= 671 @ 0.696328
0.77/0.81 c bounds - >= 672 @ 0.697012
0.77/0.81 c bounds - >= 673 @ 0.697742
0.77/0.81 c bounds - >= 674 @ 0.698447
0.77/0.81 c bounds - >= 675 @ 0.699148
0.77/0.81 c bounds - >= 676 @ 0.69983
0.77/0.81 c bounds - >= 677 @ 0.700505
0.77/0.81 c bounds - >= 678 @ 0.701188
0.77/0.81 c bounds - >= 679 @ 0.701847
0.77/0.81 c bounds - >= 680 @ 0.702539
0.77/0.81 c bounds - >= 681 @ 0.703207
0.77/0.81 c bounds - >= 682 @ 0.703864
0.77/0.81 c bounds - >= 683 @ 0.704529
0.77/0.81 c bounds - >= 684 @ 0.705181
0.77/0.81 c bounds - >= 685 @ 0.70583
0.77/0.81 c bounds - >= 686 @ 0.706464
0.77/0.81 c bounds - >= 687 @ 0.707153
0.77/0.81 c bounds - >= 688 @ 0.707816
0.77/0.81 c bounds - >= 689 @ 0.708022
0.77/0.81 c bounds - >= 690 @ 0.708022
0.77/0.81 c bounds - >= 691 @ 0.708022
0.77/0.81 c bounds - >= 692 @ 0.70846
0.77/0.81 c bounds - >= 693 @ 0.709111
0.77/0.81 c bounds - >= 694 @ 0.709786
0.77/0.81 c bounds - >= 695 @ 0.710409
0.77/0.81 c bounds - >= 696 @ 0.711062
0.77/0.81 c bounds - >= 697 @ 0.711707
0.77/0.81 c bounds - >= 698 @ 0.712338
0.77/0.81 c bounds - >= 699 @ 0.712975
0.77/0.81 c bounds - >= 700 @ 0.713598
0.77/0.81 c bounds - >= 701 @ 0.714238
0.77/0.81 c bounds - >= 702 @ 0.714865
0.77/0.81 c bounds - >= 703 @ 0.714986
0.77/0.81 c bounds - >= 704 @ 0.715196
0.77/0.81 c bounds - >= 705 @ 0.715757
0.77/0.81 c bounds - >= 706 @ 0.716357
0.77/0.81 c bounds - >= 707 @ 0.716958
0.77/0.81 c bounds - >= 708 @ 0.717586
0.77/0.81 c bounds - >= 709 @ 0.718219
0.77/0.81 c bounds - >= 710 @ 0.718841
0.77/0.81 c bounds - >= 711 @ 0.718967
0.77/0.81 c bounds - >= 712 @ 0.719173
0.77/0.81 c bounds - >= 713 @ 0.719731
0.87/0.90 c bounds - >= 714 @ 0.720322
0.87/0.90 c bounds - >= 715 @ 0.720956
0.87/0.90 c bounds - >= 716 @ 0.721568
0.87/0.90 c bounds - >= 717 @ 0.722181
0.87/0.90 c bounds - >= 718 @ 0.722823
0.87/0.90 c bounds - >= 719 @ 0.72295
0.87/0.90 c bounds - >= 720 @ 0.723131
0.87/0.90 c bounds - >= 721 @ 0.723671
0.87/0.90 c bounds - >= 722 @ 0.724401
0.87/0.90 c bounds - >= 723 @ 0.725008
0.87/0.90 c bounds - >= 724 @ 0.725618
0.87/0.90 c bounds - >= 725 @ 0.726228
0.87/0.90 c bounds - >= 726 @ 0.726839
0.87/0.90 c bounds - >= 727 @ 0.727448
0.87/0.90 c bounds - >= 728 @ 0.728049
0.87/0.90 c bounds - >= 729 @ 0.728675
0.87/0.90 c bounds - >= 730 @ 0.729298
0.87/0.90 c bounds - >= 731 @ 0.729899
0.87/0.90 c bounds - >= 732 @ 0.730503
0.87/0.90 c bounds - >= 733 @ 0.731115
0.87/0.90 c bounds - >= 734 @ 0.731722
0.87/0.90 c bounds - >= 735 @ 0.732324
0.87/0.90 c bounds - >= 736 @ 0.732951
0.87/0.90 c bounds - >= 737 @ 0.73357
0.87/0.90 c bounds - >= 738 @ 0.734174
0.87/0.90 c bounds - >= 739 @ 0.734773
0.87/0.90 c bounds - >= 740 @ 0.735373
0.87/0.90 c bounds - >= 741 @ 0.73597
0.87/0.90 c bounds - >= 742 @ 0.736569
0.87/0.90 c bounds - >= 743 @ 0.737194
0.87/0.90 c bounds - >= 744 @ 0.737789
0.87/0.90 c bounds - >= 745 @ 0.7384
0.87/0.90 c bounds - >= 746 @ 0.738999
0.87/0.90 c bounds - >= 747 @ 0.739588
0.87/0.90 c bounds - >= 748 @ 0.740182
0.87/0.90 c bounds - >= 749 @ 0.740765
0.87/0.90 c bounds - >= 750 @ 0.740869
0.87/0.90 c bounds - >= 751 @ 0.741061
0.87/0.90 c bounds - >= 752 @ 0.741601
0.87/0.90 c bounds - >= 753 @ 0.742189
0.87/0.90 c bounds - >= 754 @ 0.742784
0.87/0.90 c bounds - >= 755 @ 0.743381
0.87/0.90 c bounds - >= 756 @ 0.743973
0.87/0.90 c bounds - >= 757 @ 0.744592
0.87/0.90 c bounds - >= 758 @ 0.745196
0.87/0.90 c bounds - >= 759 @ 0.745785
0.87/0.90 c bounds - >= 760 @ 0.746375
0.87/0.90 c bounds - >= 761 @ 0.746964
0.87/0.90 c bounds - >= 762 @ 0.747554
0.87/0.90 c bounds - >= 763 @ 0.748146
0.87/0.90 c bounds - >= 764 @ 0.748746
0.87/0.90 c bounds - >= 765 @ 0.749331
0.87/0.90 c bounds - >= 766 @ 0.749914
0.87/0.90 c bounds - >= 767 @ 0.750491
0.87/0.90 c bounds - >= 768 @ 0.75107
0.87/0.90 c bounds - >= 769 @ 0.751648
0.87/0.90 c bounds - >= 770 @ 0.752229
0.87/0.90 c bounds - >= 771 @ 0.752823
0.87/0.90 c bounds - >= 772 @ 0.753411
0.87/0.90 c bounds - >= 773 @ 0.753999
0.87/0.90 c bounds - >= 774 @ 0.754581
0.87/0.90 c bounds - >= 775 @ 0.755155
0.87/0.90 c bounds - >= 776 @ 0.755731
0.87/0.90 c bounds - >= 777 @ 0.756301
0.87/0.90 c bounds - >= 778 @ 0.756889
0.87/0.90 c bounds - >= 779 @ 0.757471
0.87/0.90 c bounds - >= 780 @ 0.758049
0.87/0.90 c bounds - >= 781 @ 0.758628
0.87/0.90 c bounds - >= 782 @ 0.759207
0.87/0.90 c bounds - >= 783 @ 0.75978
0.87/0.90 c bounds - >= 784 @ 0.760355
0.87/0.90 c bounds - >= 785 @ 0.760942
0.87/0.90 c bounds - >= 786 @ 0.761293
0.87/0.90 c bounds - >= 787 @ 0.761848
0.87/0.90 c bounds - >= 788 @ 0.762416
0.87/0.90 c bounds - >= 789 @ 0.762965
0.87/0.90 c bounds - >= 790 @ 0.763526
0.87/0.90 c bounds - >= 791 @ 0.764073
0.87/0.90 c bounds - >= 792 @ 0.764648
0.87/0.90 c bounds - >= 793 @ 0.764745
0.87/0.90 c bounds - >= 794 @ 0.764783
0.87/0.90 c bounds - >= 795 @ 0.765345
0.87/0.90 c bounds - >= 796 @ 0.765909
0.87/0.90 c bounds - >= 797 @ 0.766471
0.87/0.90 c bounds - >= 798 @ 0.767033
0.87/0.90 c bounds - >= 799 @ 0.76761
0.87/0.90 c bounds - >= 800 @ 0.768179
0.87/0.90 c bounds - >= 801 @ 0.768751
0.87/0.90 c bounds - >= 802 @ 0.76933
0.87/0.90 c bounds - >= 803 @ 0.769909
0.87/0.90 c bounds - >= 804 @ 0.770479
0.87/0.90 c bounds - >= 805 @ 0.771043
0.87/0.90 c bounds - >= 806 @ 0.771629
0.87/0.90 c bounds - >= 807 @ 0.771714
0.87/0.90 c bounds - >= 808 @ 0.771858
0.87/0.90 c bounds - >= 809 @ 0.772364
0.87/0.90 c bounds - >= 810 @ 0.772916
0.87/0.90 c bounds - >= 811 @ 0.773471
0.87/0.90 c bounds - >= 812 @ 0.77401
0.87/0.90 c bounds - >= 813 @ 0.774579
0.87/0.90 c bounds - >= 814 @ 0.775128
0.87/0.90 c bounds - >= 815 @ 0.775682
0.87/0.90 c bounds - >= 816 @ 0.776244
0.87/0.90 c bounds - >= 817 @ 0.776794
0.87/0.90 c bounds - >= 818 @ 0.777348
0.87/0.90 c bounds - >= 819 @ 0.777904
0.87/0.90 c bounds - >= 820 @ 0.77847
0.87/0.90 c bounds - >= 821 @ 0.779034
0.87/0.90 c bounds - >= 822 @ 0.779589
0.87/0.90 c bounds - >= 823 @ 0.779679
0.87/0.90 c bounds - >= 824 @ 0.779717
0.87/0.90 c bounds - >= 825 @ 0.780263
0.87/0.90 c bounds - >= 826 @ 0.780817
0.87/0.90 c bounds - >= 827 @ 0.781381
0.87/0.90 c bounds - >= 828 @ 0.781934
0.87/0.90 c bounds - >= 829 @ 0.782487
0.87/0.90 c bounds - >= 830 @ 0.783037
0.87/0.90 c bounds - >= 831 @ 0.783596
0.87/0.90 c bounds - >= 832 @ 0.783661
0.87/0.90 c bounds - >= 833 @ 0.783698
0.87/0.90 c bounds - >= 834 @ 0.784265
0.87/0.90 c bounds - >= 835 @ 0.784826
0.87/0.90 c bounds - >= 836 @ 0.785381
0.87/0.90 c bounds - >= 837 @ 0.785933
0.87/0.90 c bounds - >= 838 @ 0.786484
0.87/0.90 c bounds - >= 839 @ 0.787029
0.87/0.90 c bounds - >= 840 @ 0.787566
0.87/0.90 c bounds - >= 841 @ 0.788122
0.87/0.90 c bounds - >= 842 @ 0.788674
0.87/0.90 c bounds - >= 843 @ 0.789227
0.87/0.90 c bounds - >= 844 @ 0.789782
0.87/0.90 c bounds - >= 845 @ 0.790333
0.87/0.90 c bounds - >= 846 @ 0.79088
0.87/0.90 c bounds - >= 847 @ 0.791423
0.87/0.90 c bounds - >= 848 @ 0.791993
0.87/0.90 c bounds - >= 849 @ 0.792549
0.87/0.90 c bounds - >= 850 @ 0.792622
0.87/0.90 c bounds - >= 851 @ 0.792659
0.87/0.90 c bounds - >= 852 @ 0.7932
0.87/0.90 c bounds - >= 853 @ 0.79374
0.87/0.90 c bounds - >= 854 @ 0.794276
0.87/0.90 c bounds - >= 855 @ 0.794837
0.87/0.97 c bounds - >= 856 @ 0.795388
0.87/0.97 c bounds - >= 857 @ 0.795935
0.87/0.97 c bounds - >= 858 @ 0.796482
0.87/0.97 c bounds - >= 859 @ 0.797013
0.87/0.97 c bounds - >= 860 @ 0.797549
0.87/0.97 c bounds - >= 861 @ 0.798088
0.87/0.97 c bounds - >= 862 @ 0.798636
0.87/0.97 c bounds - >= 863 @ 0.799187
0.87/0.97 c bounds - >= 864 @ 0.799741
0.87/0.97 c bounds - >= 865 @ 0.800287
0.87/0.97 c bounds - >= 866 @ 0.800827
0.87/0.97 c bounds - >= 867 @ 0.801359
0.87/0.97 c bounds - >= 868 @ 0.801895
0.87/0.97 c bounds - >= 869 @ 0.802443
0.87/0.97 c bounds - >= 870 @ 0.802991
0.87/0.97 c bounds - >= 871 @ 0.803534
0.87/0.97 c bounds - >= 872 @ 0.804071
0.87/0.97 c bounds - >= 873 @ 0.804606
0.87/0.97 c bounds - >= 874 @ 0.805142
0.87/0.97 c bounds - >= 875 @ 0.805674
0.87/0.97 c bounds - >= 876 @ 0.806222
0.87/0.97 c bounds - >= 877 @ 0.806765
0.87/0.97 c bounds - >= 878 @ 0.807302
0.87/0.97 c bounds - >= 879 @ 0.807833
0.87/0.97 c bounds - >= 880 @ 0.808361
0.87/0.97 c bounds - >= 881 @ 0.808894
0.87/0.97 c bounds - >= 882 @ 0.809423
0.87/0.97 c bounds - >= 883 @ 0.809541
0.87/0.97 c bounds - >= 884 @ 0.809541
0.87/0.97 c bounds - >= 885 @ 0.810085
0.87/0.97 c bounds - >= 886 @ 0.810623
0.87/0.97 c bounds - >= 887 @ 0.811153
0.87/0.97 c bounds - >= 888 @ 0.811681
0.87/0.97 c bounds - >= 889 @ 0.812207
0.87/0.97 c bounds - >= 890 @ 0.812753
0.87/0.97 c bounds - >= 891 @ 0.813294
0.87/0.97 c bounds - >= 892 @ 0.813822
0.87/0.97 c bounds - >= 893 @ 0.814361
0.87/0.97 c bounds - >= 894 @ 0.814875
0.87/0.97 c bounds - >= 895 @ 0.81539
0.87/0.97 c bounds - >= 896 @ 0.815902
0.87/0.97 c bounds - >= 897 @ 0.816436
0.87/0.97 c bounds - >= 898 @ 0.816506
0.87/0.97 c bounds - >= 899 @ 0.816506
0.87/0.97 c bounds - >= 900 @ 0.81703
0.87/0.97 c bounds - >= 901 @ 0.817561
0.87/0.97 c bounds - >= 902 @ 0.818089
0.87/0.97 c bounds - >= 903 @ 0.818612
0.87/0.97 c bounds - >= 904 @ 0.819146
0.87/0.97 c bounds - >= 905 @ 0.819677
0.87/0.97 c bounds - >= 906 @ 0.820211
0.87/0.97 c bounds - >= 907 @ 0.82074
0.87/0.97 c bounds - >= 908 @ 0.821259
0.87/0.97 c bounds - >= 909 @ 0.821777
0.87/0.97 c bounds - >= 910 @ 0.822294
0.87/0.97 c bounds - >= 911 @ 0.822823
0.87/0.97 c bounds - >= 912 @ 0.82336
0.87/0.97 c bounds - >= 913 @ 0.823883
0.87/0.97 c bounds - >= 914 @ 0.824409
0.87/0.97 c bounds - >= 915 @ 0.824467
0.87/0.97 c bounds - >= 916 @ 0.824467
0.87/0.97 c bounds - >= 917 @ 0.824753
0.87/0.97 c bounds - >= 918 @ 0.825227
0.87/0.97 c bounds - >= 919 @ 0.825747
0.87/0.97 c bounds - >= 920 @ 0.826268
0.87/0.97 c bounds - >= 921 @ 0.826782
0.87/0.97 c bounds - >= 922 @ 0.827295
0.87/0.97 c bounds - >= 923 @ 0.827798
0.87/0.97 c bounds - >= 924 @ 0.828302
0.87/0.97 c bounds - >= 925 @ 0.828825
0.87/0.97 c bounds - >= 926 @ 0.829352
0.87/0.97 c bounds - >= 927 @ 0.829418
0.87/0.97 c bounds - >= 928 @ 0.829428
0.87/0.97 c bounds - >= 929 @ 0.829939
0.87/0.97 c bounds - >= 930 @ 0.830448
0.87/0.97 c bounds - >= 931 @ 0.83096
0.87/0.97 c bounds - >= 932 @ 0.83149
0.87/0.97 c bounds - >= 933 @ 0.832007
0.87/0.97 c bounds - >= 934 @ 0.832528
0.87/0.97 c bounds - >= 935 @ 0.833039
0.87/0.97 c bounds - >= 936 @ 0.833553
0.87/0.97 c bounds - >= 937 @ 0.834055
0.87/0.97 c bounds - >= 938 @ 0.834556
0.87/0.97 c bounds - >= 939 @ 0.835083
0.87/0.97 c bounds - >= 940 @ 0.835604
0.87/0.97 c bounds - >= 941 @ 0.836113
0.87/0.97 c bounds - >= 942 @ 0.836635
0.87/0.97 c bounds - >= 943 @ 0.837148
0.87/0.97 c bounds - >= 944 @ 0.837651
0.87/0.97 c bounds - >= 945 @ 0.83815
0.87/0.97 c bounds - >= 946 @ 0.83867
0.87/0.97 c bounds - >= 947 @ 0.839187
0.87/0.97 c bounds - >= 948 @ 0.839701
0.87/0.97 c bounds - >= 949 @ 0.840211
0.87/0.97 c bounds - >= 950 @ 0.84072
0.87/0.97 c bounds - >= 951 @ 0.841221
0.87/0.97 c bounds - >= 952 @ 0.841722
0.87/0.97 c bounds - >= 953 @ 0.842239
0.87/0.97 c bounds - >= 954 @ 0.842757
0.87/0.97 c bounds - >= 955 @ 0.843265
0.87/0.97 c bounds - >= 956 @ 0.843784
0.87/0.97 c bounds - >= 957 @ 0.844292
0.87/0.97 c bounds - >= 958 @ 0.844801
0.87/0.97 c bounds - >= 959 @ 0.845299
0.87/0.97 c bounds - >= 960 @ 0.845814
0.87/0.97 c bounds - >= 961 @ 0.846329
0.87/0.97 c bounds - >= 962 @ 0.846846
0.87/0.97 c bounds - >= 963 @ 0.84736
0.87/0.97 c bounds - >= 964 @ 0.847864
0.87/0.97 c bounds - >= 965 @ 0.848358
0.87/0.97 c bounds - >= 966 @ 0.848854
0.87/0.97 c bounds - >= 967 @ 0.849364
0.87/0.97 c bounds - >= 968 @ 0.849889
0.87/0.97 c bounds - >= 969 @ 0.850407
0.87/0.97 c bounds - >= 970 @ 0.850921
0.87/0.97 c bounds - >= 971 @ 0.851434
0.87/0.97 c bounds - >= 972 @ 0.851942
0.87/0.97 c bounds - >= 973 @ 0.852449
0.87/0.97 c bounds - >= 974 @ 0.852981
0.87/0.97 c bounds - >= 975 @ 0.853507
0.87/0.97 c bounds - >= 976 @ 0.854011
0.87/0.97 c bounds - >= 977 @ 0.854521
0.87/0.97 c bounds - >= 978 @ 0.855051
0.87/0.97 c bounds - >= 979 @ 0.855546
0.87/0.97 c bounds - >= 980 @ 0.856036
0.87/0.97 c bounds - >= 981 @ 0.856552
0.87/0.97 c bounds - >= 982 @ 0.857058
0.87/0.97 c bounds - >= 983 @ 0.857559
0.87/0.97 c bounds - >= 984 @ 0.858061
0.87/0.97 c bounds - >= 985 @ 0.858552
0.87/0.97 c bounds - >= 986 @ 0.85904
0.87/0.97 c bounds - >= 987 @ 0.859523
0.87/0.97 c bounds - >= 988 @ 0.860031
0.87/0.97 c bounds - >= 989 @ 0.860533
0.87/0.97 c bounds - >= 990 @ 0.861036
0.87/0.97 c bounds - >= 991 @ 0.861538
0.87/0.97 c bounds - >= 992 @ 0.862032
0.87/0.97 c bounds - >= 993 @ 0.862522
0.87/0.97 c bounds - >= 994 @ 0.863006
0.87/0.97 c bounds - >= 995 @ 0.863512
0.87/0.97 c bounds - >= 996 @ 0.864008
0.87/0.99 c bounds - >= 997 @ 0.864517
0.87/0.99 c bounds - >= 998 @ 0.86501
0.87/0.99 c bounds - >= 999 @ 0.865509
0.87/0.99 c bounds - >= 1000 @ 0.865995
0.87/0.99 c bounds - >= 1001 @ 0.866476
0.87/0.99 c bounds - >= 1002 @ 0.866973
0.87/0.99 c bounds - >= 1003 @ 0.86747
0.87/0.99 c bounds - >= 1004 @ 0.86797
0.87/0.99 c bounds - >= 1005 @ 0.868457
0.87/0.99 c bounds - >= 1006 @ 0.868946
0.87/0.99 c bounds - >= 1007 @ 0.869431
0.87/0.99 c bounds - >= 1008 @ 0.869908
0.87/0.99 c finalizing WCE round: reformulating cores
125.23/125.66 c #Conflicts: 1000 | #Constraints: 6072
125.23/125.66 c #Conflicts: 2000 | #Constraints: 7074
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 3000 | #Constraints: 6151
125.23/125.66 c #Conflicts: 4000 | #Constraints: 7153
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 5000 | #Constraints: 6612
125.23/125.66 c #Conflicts: 6000 | #Constraints: 7614
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 7000 | #Constraints: 6660
125.23/125.66 c #Conflicts: 8000 | #Constraints: 7662
125.23/125.66 c #Conflicts: 9000 | #Constraints: 8666
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 10000 | #Constraints: 7403
125.23/125.66 c #Conflicts: 11000 | #Constraints: 8405
125.23/125.66 c #Conflicts: 12000 | #Constraints: 9407
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 13000 | #Constraints: 7904
125.23/125.66 c #Conflicts: 14000 | #Constraints: 8906
125.23/125.66 c #Conflicts: 15000 | #Constraints: 9908
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 16000 | #Constraints: 8150
125.23/125.66 c #Conflicts: 17000 | #Constraints: 9152
125.23/125.66 c #Conflicts: 18000 | #Constraints: 10154
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 19000 | #Constraints: 8170
125.23/125.66 c #Conflicts: 20000 | #Constraints: 9172
125.23/125.66 c #Conflicts: 21000 | #Constraints: 10174
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 22000 | #Constraints: 7982
125.23/125.66 c #Conflicts: 23000 | #Constraints: 8984
125.23/125.66 c #Conflicts: 24000 | #Constraints: 9988
125.23/125.66 c #Conflicts: 25000 | #Constraints: 10990
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 26000 | #Constraints: 8605
125.23/125.66 c #Conflicts: 27000 | #Constraints: 9607
125.23/125.66 c #Conflicts: 28000 | #Constraints: 10609
125.23/125.66 c #Conflicts: 29000 | #Constraints: 11613
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 30000 | #Constraints: 9032
125.23/125.66 c #Conflicts: 31000 | #Constraints: 10034
125.23/125.66 c #Conflicts: 32000 | #Constraints: 11036
125.23/125.66 c #Conflicts: 33000 | #Constraints: 12040
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 34000 | #Constraints: 9230
125.23/125.66 c #Conflicts: 35000 | #Constraints: 10232
125.23/125.66 c #Conflicts: 36000 | #Constraints: 11234
125.23/125.66 c #Conflicts: 37000 | #Constraints: 12238
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 38000 | #Constraints: 9243
125.23/125.66 c #Conflicts: 39000 | #Constraints: 10245
125.23/125.66 c #Conflicts: 40000 | #Constraints: 11247
125.23/125.66 c #Conflicts: 41000 | #Constraints: 12251
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 42000 | #Constraints: 9037
125.23/125.66 c #Conflicts: 43000 | #Constraints: 10039
125.23/125.66 c #Conflicts: 44000 | #Constraints: 11043
125.23/125.66 c #Conflicts: 45000 | #Constraints: 12045
125.23/125.66 c #Conflicts: 46000 | #Constraints: 13047
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 47000 | #Constraints: 9648
125.23/125.66 c #Conflicts: 48000 | #Constraints: 10650
125.23/125.66 c #Conflicts: 49000 | #Constraints: 11652
125.23/125.66 c #Conflicts: 50000 | #Constraints: 12656
125.23/125.66 c #Conflicts: 51000 | #Constraints: 13658
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 52000 | #Constraints: 10054
125.23/125.66 c #Conflicts: 53000 | #Constraints: 11056
125.23/125.66 c #Conflicts: 54000 | #Constraints: 12058
125.23/125.66 c #Conflicts: 55000 | #Constraints: 13062
125.23/125.66 c #Conflicts: 56000 | #Constraints: 14064
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 57000 | #Constraints: 10264
125.23/125.66 c #Conflicts: 58000 | #Constraints: 11266
125.23/125.66 c #Conflicts: 59000 | #Constraints: 12268
125.23/125.66 c #Conflicts: 60000 | #Constraints: 13272
125.23/125.66 c #Conflicts: 61000 | #Constraints: 14274
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 62000 | #Constraints: 10272
125.23/125.66 c #Conflicts: 63000 | #Constraints: 11274
125.23/125.66 c #Conflicts: 64000 | #Constraints: 12276
125.23/125.66 c #Conflicts: 65000 | #Constraints: 13280
125.23/125.66 c #Conflicts: 66000 | #Constraints: 14282
125.23/125.66 c INPROCESSING
125.23/125.66 c GARBAGE COLLECT
125.23/125.66 c #Conflicts: 67000 | #Constraints: 10078
125.23/125.66 c #Conflicts: 68000 | #Constraints: 11080
329.64/330.62 c #Conflicts: 69000 | #Constraints: 12084
329.64/330.62 c #Conflicts: 70000 | #Constraints: 13086
329.64/330.62 c #Conflicts: 71000 | #Constraints: 14088
329.64/330.62 c #Conflicts: 72000 | #Constraints: 15092
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 73000 | #Constraints: 10687
329.64/330.62 c #Conflicts: 74000 | #Constraints: 11689
329.64/330.62 c #Conflicts: 75000 | #Constraints: 12691
329.64/330.62 c #Conflicts: 76000 | #Constraints: 13695
329.64/330.62 c #Conflicts: 77000 | #Constraints: 14697
329.64/330.62 c #Conflicts: 78000 | #Constraints: 15699
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 79000 | #Constraints: 11116
329.64/330.62 c #Conflicts: 80000 | #Constraints: 12118
329.64/330.62 c #Conflicts: 81000 | #Constraints: 13120
329.64/330.62 c #Conflicts: 82000 | #Constraints: 14124
329.64/330.62 c #Conflicts: 83000 | #Constraints: 15126
329.64/330.62 c #Conflicts: 84000 | #Constraints: 16128
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 85000 | #Constraints: 11325
329.64/330.62 c #Conflicts: 86000 | #Constraints: 12327
329.64/330.62 c #Conflicts: 87000 | #Constraints: 13329
329.64/330.62 c #Conflicts: 88000 | #Constraints: 14333
329.64/330.62 c #Conflicts: 89000 | #Constraints: 15335
329.64/330.62 c #Conflicts: 90000 | #Constraints: 16337
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 91000 | #Constraints: 11344
329.64/330.62 c #Conflicts: 92000 | #Constraints: 12346
329.64/330.62 c #Conflicts: 93000 | #Constraints: 13348
329.64/330.62 c #Conflicts: 94000 | #Constraints: 14352
329.64/330.62 c #Conflicts: 95000 | #Constraints: 15354
329.64/330.62 c #Conflicts: 96000 | #Constraints: 16356
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 97000 | #Constraints: 11139
329.64/330.62 c #Conflicts: 98000 | #Constraints: 12141
329.64/330.62 c #Conflicts: 99000 | #Constraints: 13145
329.64/330.62 c #Conflicts: 100000 | #Constraints: 14147
329.64/330.62 c #Conflicts: 101000 | #Constraints: 15149
329.64/330.62 c #Conflicts: 102000 | #Constraints: 16153
329.64/330.62 c #Conflicts: 103000 | #Constraints: 17155
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 104000 | #Constraints: 11754
329.64/330.62 c #Conflicts: 105000 | #Constraints: 12756
329.64/330.62 c #Conflicts: 106000 | #Constraints: 13758
329.64/330.62 c #Conflicts: 107000 | #Constraints: 14762
329.64/330.62 c #Conflicts: 108000 | #Constraints: 15764
329.64/330.62 c #Conflicts: 109000 | #Constraints: 16766
329.64/330.62 c #Conflicts: 110000 | #Constraints: 17770
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 111000 | #Constraints: 12167
329.64/330.62 c #Conflicts: 112000 | #Constraints: 13169
329.64/330.62 c #Conflicts: 113000 | #Constraints: 14171
329.64/330.62 c #Conflicts: 114000 | #Constraints: 15175
329.64/330.62 c #Conflicts: 115000 | #Constraints: 16177
329.64/330.62 c #Conflicts: 116000 | #Constraints: 17179
329.64/330.62 c #Conflicts: 117000 | #Constraints: 18183
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 118000 | #Constraints: 12382
329.64/330.62 c #Conflicts: 119000 | #Constraints: 13384
329.64/330.62 c #Conflicts: 120000 | #Constraints: 14386
329.64/330.62 c #Conflicts: 121000 | #Constraints: 15390
329.64/330.62 c #Conflicts: 122000 | #Constraints: 16392
329.64/330.62 c #Conflicts: 123000 | #Constraints: 17394
329.64/330.62 c #Conflicts: 124000 | #Constraints: 18398
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 125000 | #Constraints: 12408
329.64/330.62 c #Conflicts: 126000 | #Constraints: 13410
329.64/330.62 c #Conflicts: 127000 | #Constraints: 14412
329.64/330.62 c #Conflicts: 128000 | #Constraints: 15416
329.64/330.62 c #Conflicts: 129000 | #Constraints: 16418
329.64/330.62 c #Conflicts: 130000 | #Constraints: 17420
329.64/330.62 c #Conflicts: 131000 | #Constraints: 18424
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 132000 | #Constraints: 12222
329.64/330.62 c #Conflicts: 133000 | #Constraints: 13224
329.64/330.62 c #Conflicts: 134000 | #Constraints: 14228
329.64/330.62 c #Conflicts: 135000 | #Constraints: 15230
329.64/330.62 c #Conflicts: 136000 | #Constraints: 16232
329.64/330.62 c #Conflicts: 137000 | #Constraints: 17236
329.64/330.62 c #Conflicts: 138000 | #Constraints: 18238
329.64/330.62 c #Conflicts: 139000 | #Constraints: 19240
329.64/330.62 c INPROCESSING
329.64/330.62 c GARBAGE COLLECT
329.64/330.62 c #Conflicts: 140000 | #Constraints: 12845
524.11/525.61 c #Conflicts: 141000 | #Constraints: 13847
524.11/525.61 c #Conflicts: 142000 | #Constraints: 14849
524.11/525.61 c #Conflicts: 143000 | #Constraints: 15853
524.11/525.61 c #Conflicts: 144000 | #Constraints: 16855
524.11/525.61 c #Conflicts: 145000 | #Constraints: 17857
524.11/525.61 c #Conflicts: 146000 | #Constraints: 18861
524.11/525.61 c #Conflicts: 147000 | #Constraints: 19863
524.11/525.61 c INPROCESSING
524.11/525.61 c GARBAGE COLLECT
524.11/525.61 c #Conflicts: 148000 | #Constraints: 13272
524.11/525.61 c #Conflicts: 149000 | #Constraints: 14274
524.11/525.61 c #Conflicts: 150000 | #Constraints: 15276
524.11/525.61 c #Conflicts: 151000 | #Constraints: 16280
524.11/525.61 c #Conflicts: 152000 | #Constraints: 17282
524.11/525.61 c #Conflicts: 153000 | #Constraints: 18284
524.11/525.61 c #Conflicts: 154000 | #Constraints: 19288
524.11/525.61 c #Conflicts: 155000 | #Constraints: 20290
524.11/525.61 c INPROCESSING
524.11/525.61 c GARBAGE COLLECT
524.11/525.61 c #Conflicts: 156000 | #Constraints: 13485
524.11/525.61 c #Conflicts: 157000 | #Constraints: 14487
524.11/525.61 c #Conflicts: 158000 | #Constraints: 15489
524.11/525.61 c #Conflicts: 159000 | #Constraints: 16493
524.11/525.61 c #Conflicts: 160000 | #Constraints: 17495
524.11/525.61 c #Conflicts: 161000 | #Constraints: 18497
524.11/525.61 c #Conflicts: 162000 | #Constraints: 19501
524.11/525.61 c #Conflicts: 163000 | #Constraints: 20503
524.11/525.61 c INPROCESSING
524.11/525.61 c GARBAGE COLLECT
524.11/525.61 c #Conflicts: 164000 | #Constraints: 13504
524.11/525.61 c #Conflicts: 165000 | #Constraints: 14506
524.11/525.61 c #Conflicts: 166000 | #Constraints: 15508
524.11/525.61 c #Conflicts: 167000 | #Constraints: 16512
524.11/525.61 c #Conflicts: 168000 | #Constraints: 17514
524.11/525.61 c #Conflicts: 169000 | #Constraints: 18516
524.11/525.61 c #Conflicts: 170000 | #Constraints: 19520
524.11/525.61 c #Conflicts: 171000 | #Constraints: 20522
524.11/525.61 c INPROCESSING
524.11/525.61 c GARBAGE COLLECT
524.11/525.61 c #Conflicts: 172000 | #Constraints: 13313
524.11/525.61 c #Conflicts: 173000 | #Constraints: 14315
524.11/525.61 c #Conflicts: 174000 | #Constraints: 15319
524.11/525.61 c #Conflicts: 175000 | #Constraints: 16321
524.11/525.61 c #Conflicts: 176000 | #Constraints: 17323
524.11/525.61 c #Conflicts: 177000 | #Constraints: 18327
524.11/525.61 c #Conflicts: 178000 | #Constraints: 19329
524.11/525.61 c #Conflicts: 179000 | #Constraints: 20331
524.11/525.61 c #Conflicts: 180000 | #Constraints: 21335
524.11/525.61 c INPROCESSING
524.11/525.61 c GARBAGE COLLECT
524.11/525.61 c #Conflicts: 181000 | #Constraints: 13939
524.11/525.61 c #Conflicts: 182000 | #Constraints: 14941
524.11/525.61 c #Conflicts: 183000 | #Constraints: 15943
524.11/525.61 c #Conflicts: 184000 | #Constraints: 16947
524.11/525.61 c #Conflicts: 185000 | #Constraints: 17949
524.11/525.61 c #Conflicts: 186000 | #Constraints: 18951
524.11/525.61 c #Conflicts: 187000 | #Constraints: 19955
524.11/525.61 c #Conflicts: 188000 | #Constraints: 20957
524.11/525.61 c #Conflicts: 189000 | #Constraints: 21959
524.11/525.61 c INPROCESSING
524.11/525.61 c GARBAGE COLLECT
524.11/525.61 c #Conflicts: 190000 | #Constraints: 14363
524.11/525.61 c #Conflicts: 191000 | #Constraints: 15365
524.11/525.61 c #Conflicts: 192000 | #Constraints: 16367
524.11/525.61 c #Conflicts: 193000 | #Constraints: 17371
524.11/525.61 c #Conflicts: 194000 | #Constraints: 18373
524.11/525.61 c #Conflicts: 195000 | #Constraints: 19375
524.11/525.61 c #Conflicts: 196000 | #Constraints: 20379
524.11/525.61 c #Conflicts: 197000 | #Constraints: 21381
524.11/525.61 c #Conflicts: 198000 | #Constraints: 22383
524.11/525.61 c INPROCESSING
524.11/525.61 c GARBAGE COLLECT
524.11/525.61 c #Conflicts: 199000 | #Constraints: 14593
524.11/525.61 c #Conflicts: 200000 | #Constraints: 15595
524.11/525.61 c #Conflicts: 201000 | #Constraints: 16597
524.11/525.61 c #Conflicts: 202000 | #Constraints: 17601
524.11/525.61 c #Conflicts: 203000 | #Constraints: 18603
524.11/525.61 c #Conflicts: 204000 | #Constraints: 19605
524.11/525.61 c #Conflicts: 205000 | #Constraints: 20609
524.11/525.61 c #Conflicts: 206000 | #Constraints: 21611
524.11/525.61 c #Conflicts: 207000 | #Constraints: 22613
524.11/525.61 c INPROCESSING
524.11/525.61 c GARBAGE COLLECT
524.11/525.61 c #Conflicts: 208000 | #Constraints: 14629
524.11/525.61 c #Conflicts: 209000 | #Constraints: 15631
524.11/525.61 c #Conflicts: 210000 | #Constraints: 16633
524.11/525.61 c #Conflicts: 211000 | #Constraints: 17637
524.11/525.61 c #Conflicts: 212000 | #Constraints: 18639
524.11/525.61 c #Conflicts: 213000 | #Constraints: 19641
767.62/769.89 c #Conflicts: 214000 | #Constraints: 20645
767.62/769.89 c #Conflicts: 215000 | #Constraints: 21647
767.62/769.89 c #Conflicts: 216000 | #Constraints: 22649
767.62/769.89 c INPROCESSING
767.62/769.89 c GARBAGE COLLECT
767.62/769.89 c #Conflicts: 217000 | #Constraints: 14503
767.62/769.89 c #Conflicts: 218000 | #Constraints: 15505
767.62/769.89 c #Conflicts: 219000 | #Constraints: 16509
767.62/769.89 c #Conflicts: 220000 | #Constraints: 17511
767.62/769.89 c #Conflicts: 221000 | #Constraints: 18513
767.62/769.89 c #Conflicts: 222000 | #Constraints: 19517
767.62/769.89 c #Conflicts: 223000 | #Constraints: 20519
767.62/769.89 c #Conflicts: 224000 | #Constraints: 21521
767.62/769.89 c #Conflicts: 225000 | #Constraints: 22525
767.62/769.89 c #Conflicts: 226000 | #Constraints: 23527
767.62/769.89 c INPROCESSING
767.62/769.89 c GARBAGE COLLECT
767.62/769.89 c #Conflicts: 227000 | #Constraints: 15148
767.62/769.89 c #Conflicts: 228000 | #Constraints: 16150
767.62/769.89 c #Conflicts: 229000 | #Constraints: 17152
767.62/769.89 c #Conflicts: 230000 | #Constraints: 18156
767.62/769.89 c #Conflicts: 231000 | #Constraints: 19158
767.62/769.89 c #Conflicts: 232000 | #Constraints: 20160
767.62/769.89 c #Conflicts: 233000 | #Constraints: 21164
767.62/769.89 c #Conflicts: 234000 | #Constraints: 22166
767.62/769.89 c #Conflicts: 235000 | #Constraints: 23168
767.62/769.89 c #Conflicts: 236000 | #Constraints: 24172
767.62/769.89 c INPROCESSING
767.62/769.89 c GARBAGE COLLECT
767.62/769.89 c #Conflicts: 237000 | #Constraints: 15581
767.62/769.89 c #Conflicts: 238000 | #Constraints: 16583
767.62/769.89 c #Conflicts: 239000 | #Constraints: 17585
767.62/769.89 c #Conflicts: 240000 | #Constraints: 18589
767.62/769.89 c #Conflicts: 241000 | #Constraints: 19591
767.62/769.89 c #Conflicts: 242000 | #Constraints: 20593
767.62/769.89 c #Conflicts: 243000 | #Constraints: 21597
767.62/769.89 c #Conflicts: 244000 | #Constraints: 22599
767.62/769.89 c #Conflicts: 245000 | #Constraints: 23601
767.62/769.89 c #Conflicts: 246000 | #Constraints: 24605
767.62/769.89 c INPROCESSING
767.62/769.89 c GARBAGE COLLECT
767.62/769.89 c #Conflicts: 247000 | #Constraints: 15807
767.62/769.89 c #Conflicts: 248000 | #Constraints: 16809
767.62/769.89 c #Conflicts: 249000 | #Constraints: 17811
767.62/769.89 c #Conflicts: 250000 | #Constraints: 18815
767.62/769.89 c #Conflicts: 251000 | #Constraints: 19817
767.62/769.89 c #Conflicts: 252000 | #Constraints: 20819
767.62/769.89 c #Conflicts: 253000 | #Constraints: 21823
767.62/769.89 c #Conflicts: 254000 | #Constraints: 22825
767.62/769.89 c #Conflicts: 255000 | #Constraints: 23827
767.62/769.89 c #Conflicts: 256000 | #Constraints: 24831
767.62/769.89 c INPROCESSING
767.62/769.89 c GARBAGE COLLECT
767.62/769.89 c #Conflicts: 257000 | #Constraints: 15831
767.62/769.89 c #Conflicts: 258000 | #Constraints: 16833
767.62/769.89 c #Conflicts: 259000 | #Constraints: 17835
767.62/769.89 c #Conflicts: 260000 | #Constraints: 18839
767.62/769.89 c #Conflicts: 261000 | #Constraints: 19841
767.62/769.89 c #Conflicts: 262000 | #Constraints: 20843
767.62/769.89 c #Conflicts: 263000 | #Constraints: 21847
767.62/769.89 c #Conflicts: 264000 | #Constraints: 22849
767.62/769.89 c #Conflicts: 265000 | #Constraints: 23851
767.62/769.89 c #Conflicts: 266000 | #Constraints: 24855
767.62/769.89 c INPROCESSING
767.62/769.89 c GARBAGE COLLECT
767.62/769.89 c #Conflicts: 267000 | #Constraints: 15672
767.62/769.89 c #Conflicts: 268000 | #Constraints: 16674
767.62/769.89 c #Conflicts: 269000 | #Constraints: 17678
767.62/769.89 c #Conflicts: 270000 | #Constraints: 18680
767.62/769.89 c #Conflicts: 271000 | #Constraints: 19682
767.62/769.89 c #Conflicts: 272000 | #Constraints: 20686
767.62/769.89 c #Conflicts: 273000 | #Constraints: 21688
767.62/769.89 c #Conflicts: 274000 | #Constraints: 22690
767.62/769.89 c #Conflicts: 275000 | #Constraints: 23694
767.62/769.89 c #Conflicts: 276000 | #Constraints: 24696
767.62/769.89 c #Conflicts: 277000 | #Constraints: 25698
767.62/769.89 c INPROCESSING
767.62/769.89 c GARBAGE COLLECT
767.62/769.89 c #Conflicts: 278000 | #Constraints: 16276
767.62/769.89 c #Conflicts: 279000 | #Constraints: 17278
767.62/769.89 c #Conflicts: 280000 | #Constraints: 18280
767.62/769.89 c #Conflicts: 281000 | #Constraints: 19284
767.62/769.89 c #Conflicts: 282000 | #Constraints: 20286
767.62/769.89 c #Conflicts: 283000 | #Constraints: 21288
767.62/769.89 c #Conflicts: 284000 | #Constraints: 22292
767.62/769.89 c #Conflicts: 285000 | #Constraints: 23294
767.62/769.89 c #Conflicts: 286000 | #Constraints: 24296
767.62/769.89 c #Conflicts: 287000 | #Constraints: 25300
767.62/769.89 c #Conflicts: 288000 | #Constraints: 26302
991.59/994.48 c INPROCESSING
991.59/994.48 c GARBAGE COLLECT
991.59/994.48 c #Conflicts: 289000 | #Constraints: 16702
991.59/994.48 c #Conflicts: 290000 | #Constraints: 17704
991.59/994.48 c #Conflicts: 291000 | #Constraints: 18706
991.59/994.48 c #Conflicts: 292000 | #Constraints: 19710
991.59/994.48 c #Conflicts: 293000 | #Constraints: 20712
991.59/994.48 c #Conflicts: 294000 | #Constraints: 21714
991.59/994.48 c #Conflicts: 295000 | #Constraints: 22718
991.59/994.48 c #Conflicts: 296000 | #Constraints: 23720
991.59/994.48 c #Conflicts: 297000 | #Constraints: 24722
991.59/994.48 c #Conflicts: 298000 | #Constraints: 25726
991.59/994.48 c #Conflicts: 299000 | #Constraints: 26728
991.59/994.48 c INPROCESSING
991.59/994.48 c GARBAGE COLLECT
991.59/994.48 c #Conflicts: 300000 | #Constraints: 16870
991.59/994.48 c #Conflicts: 301000 | #Constraints: 17872
991.59/994.48 c #Conflicts: 302000 | #Constraints: 18874
991.59/994.48 c #Conflicts: 303000 | #Constraints: 19878
991.59/994.48 c #Conflicts: 304000 | #Constraints: 20880
991.59/994.48 c #Conflicts: 305000 | #Constraints: 21882
991.59/994.48 c #Conflicts: 306000 | #Constraints: 22886
991.59/994.48 c #Conflicts: 307000 | #Constraints: 23888
991.59/994.48 c #Conflicts: 308000 | #Constraints: 24890
991.59/994.48 c #Conflicts: 309000 | #Constraints: 25894
991.59/994.48 c #Conflicts: 310000 | #Constraints: 26896
991.59/994.48 c INPROCESSING
991.59/994.48 c GARBAGE COLLECT
991.59/994.48 c #Conflicts: 311000 | #Constraints: 16863
991.59/994.48 c #Conflicts: 312000 | #Constraints: 17865
991.59/994.48 c #Conflicts: 313000 | #Constraints: 18867
991.59/994.48 c #Conflicts: 314000 | #Constraints: 19871
991.59/994.48 c #Conflicts: 315000 | #Constraints: 20873
991.59/994.48 c #Conflicts: 316000 | #Constraints: 21875
991.59/994.48 c #Conflicts: 317000 | #Constraints: 22879
991.59/994.48 c #Conflicts: 318000 | #Constraints: 23881
991.59/994.48 c #Conflicts: 319000 | #Constraints: 24883
991.59/994.48 c #Conflicts: 320000 | #Constraints: 25887
991.59/994.48 c #Conflicts: 321000 | #Constraints: 26889
991.59/994.48 c INPROCESSING
991.59/994.48 c GARBAGE COLLECT
991.59/994.48 c #Conflicts: 322000 | #Constraints: 16662
991.59/994.48 c #Conflicts: 323000 | #Constraints: 17664
991.59/994.48 c #Conflicts: 324000 | #Constraints: 18668
991.59/994.48 c #Conflicts: 325000 | #Constraints: 19670
991.59/994.48 c #Conflicts: 326000 | #Constraints: 20672
991.59/994.48 c #Conflicts: 327000 | #Constraints: 21676
991.59/994.48 c #Conflicts: 328000 | #Constraints: 22678
991.59/994.48 c #Conflicts: 329000 | #Constraints: 23680
991.59/994.48 c #Conflicts: 330000 | #Constraints: 24684
991.59/994.48 c #Conflicts: 331000 | #Constraints: 25686
991.59/994.48 c #Conflicts: 332000 | #Constraints: 26688
991.59/994.48 c #Conflicts: 333000 | #Constraints: 27692
991.59/994.48 c INPROCESSING
991.59/994.48 c GARBAGE COLLECT
991.59/994.48 c #Conflicts: 334000 | #Constraints: 17287
991.59/994.48 c #Conflicts: 335000 | #Constraints: 18289
991.59/994.48 c #Conflicts: 336000 | #Constraints: 19291
991.59/994.48 c #Conflicts: 337000 | #Constraints: 20295
991.59/994.48 c #Conflicts: 338000 | #Constraints: 21297
991.59/994.48 c #Conflicts: 339000 | #Constraints: 22299
991.59/994.48 c #Conflicts: 340000 | #Constraints: 23303
991.59/994.48 c #Conflicts: 341000 | #Constraints: 24305
991.59/994.48 c #Conflicts: 342000 | #Constraints: 25307
991.59/994.48 c #Conflicts: 343000 | #Constraints: 26311
991.59/994.48 c #Conflicts: 344000 | #Constraints: 27313
991.59/994.48 c #Conflicts: 345000 | #Constraints: 28315
991.59/994.48 c INPROCESSING
991.59/994.48 c GARBAGE COLLECT
991.59/994.48 c #Conflicts: 346000 | #Constraints: 17712
991.59/994.48 c #Conflicts: 347000 | #Constraints: 18714
991.59/994.48 c #Conflicts: 348000 | #Constraints: 19716
991.59/994.48 c #Conflicts: 349000 | #Constraints: 20720
991.59/994.48 c #Conflicts: 350000 | #Constraints: 21722
991.59/994.48 c #Conflicts: 351000 | #Constraints: 22724
991.59/994.48 c #Conflicts: 352000 | #Constraints: 23728
991.59/994.48 c #Conflicts: 353000 | #Constraints: 24730
991.59/994.48 c #Conflicts: 354000 | #Constraints: 25732
991.59/994.48 c #Conflicts: 355000 | #Constraints: 26736
991.59/994.48 c #Conflicts: 356000 | #Constraints: 27738
991.59/994.48 c #Conflicts: 357000 | #Constraints: 28740
991.59/994.48 c INPROCESSING
991.59/994.48 c GARBAGE COLLECT
991.59/994.48 c #Conflicts: 358000 | #Constraints: 17944
991.59/994.48 c #Conflicts: 359000 | #Constraints: 18946
991.59/994.48 c #Conflicts: 360000 | #Constraints: 19948
991.59/994.48 c #Conflicts: 361000 | #Constraints: 20952
991.59/994.48 c #Conflicts: 362000 | #Constraints: 21954
1203.04/1206.57 c #Conflicts: 363000 | #Constraints: 22956
1203.04/1206.57 c #Conflicts: 364000 | #Constraints: 23960
1203.04/1206.57 c #Conflicts: 365000 | #Constraints: 24962
1203.04/1206.57 c #Conflicts: 366000 | #Constraints: 25964
1203.04/1206.57 c #Conflicts: 367000 | #Constraints: 26968
1203.04/1206.57 c #Conflicts: 368000 | #Constraints: 27970
1203.04/1206.57 c #Conflicts: 369000 | #Constraints: 28972
1203.04/1206.57 c INPROCESSING
1203.04/1206.57 c GARBAGE COLLECT
1203.04/1206.57 c #Conflicts: 370000 | #Constraints: 17965
1203.04/1206.57 c #Conflicts: 371000 | #Constraints: 18967
1203.04/1206.57 c #Conflicts: 372000 | #Constraints: 19969
1203.04/1206.57 c #Conflicts: 373000 | #Constraints: 20973
1203.04/1206.57 c #Conflicts: 374000 | #Constraints: 21975
1203.04/1206.57 c #Conflicts: 375000 | #Constraints: 22977
1203.04/1206.57 c #Conflicts: 376000 | #Constraints: 23981
1203.04/1206.57 c #Conflicts: 377000 | #Constraints: 24983
1203.04/1206.57 c #Conflicts: 378000 | #Constraints: 25985
1203.04/1206.57 c #Conflicts: 379000 | #Constraints: 26989
1203.04/1206.57 c #Conflicts: 380000 | #Constraints: 27991
1203.04/1206.57 c #Conflicts: 381000 | #Constraints: 28993
1203.04/1206.57 c INPROCESSING
1203.04/1206.57 c GARBAGE COLLECT
1203.04/1206.57 c #Conflicts: 382000 | #Constraints: 17813
1203.04/1206.57 c #Conflicts: 383000 | #Constraints: 18815
1203.04/1206.57 c #Conflicts: 384000 | #Constraints: 19819
1203.04/1206.57 c #Conflicts: 385000 | #Constraints: 20821
1203.04/1206.57 c #Conflicts: 386000 | #Constraints: 21823
1203.04/1206.57 c #Conflicts: 387000 | #Constraints: 22827
1203.04/1206.57 c #Conflicts: 388000 | #Constraints: 23829
1203.04/1206.57 c #Conflicts: 389000 | #Constraints: 24831
1203.04/1206.57 c #Conflicts: 390000 | #Constraints: 25835
1203.04/1206.57 c #Conflicts: 391000 | #Constraints: 26837
1203.04/1206.57 c #Conflicts: 392000 | #Constraints: 27839
1203.04/1206.57 c #Conflicts: 393000 | #Constraints: 28843
1203.04/1206.57 c #Conflicts: 394000 | #Constraints: 29845
1203.04/1206.57 c INPROCESSING
1203.04/1206.57 c GARBAGE COLLECT
1203.04/1206.57 c #Conflicts: 395000 | #Constraints: 18453
1203.04/1206.57 c #Conflicts: 396000 | #Constraints: 19455
1203.04/1206.57 c #Conflicts: 397000 | #Constraints: 20457
1203.04/1206.57 c #Conflicts: 398000 | #Constraints: 21461
1203.04/1206.57 c #Conflicts: 399000 | #Constraints: 22463
1203.04/1206.57 c #Conflicts: 400000 | #Constraints: 23465
1203.04/1206.57 c #Conflicts: 401000 | #Constraints: 24469
1203.04/1206.57 c #Conflicts: 402000 | #Constraints: 25471
1203.04/1206.57 c #Conflicts: 403000 | #Constraints: 26473
1203.04/1206.57 c #Conflicts: 404000 | #Constraints: 27477
1203.04/1206.57 c #Conflicts: 405000 | #Constraints: 28479
1203.04/1206.57 c #Conflicts: 406000 | #Constraints: 29481
1203.04/1206.57 c #Conflicts: 407000 | #Constraints: 30485
1203.04/1206.57 c INPROCESSING
1203.04/1206.57 c GARBAGE COLLECT
1203.04/1206.57 c #Conflicts: 408000 | #Constraints: 18926
1203.04/1206.57 c #Conflicts: 409000 | #Constraints: 19928
1203.04/1206.57 c #Conflicts: 410000 | #Constraints: 20930
1203.04/1206.57 c #Conflicts: 411000 | #Constraints: 21934
1203.04/1206.57 c #Conflicts: 412000 | #Constraints: 22936
1203.04/1206.57 c #Conflicts: 413000 | #Constraints: 23938
1203.04/1206.57 c #Conflicts: 414000 | #Constraints: 24942
1203.04/1206.57 c #Conflicts: 415000 | #Constraints: 25944
1203.04/1206.57 c #Conflicts: 416000 | #Constraints: 26946
1203.04/1206.57 c #Conflicts: 417000 | #Constraints: 27950
1203.04/1206.57 c #Conflicts: 418000 | #Constraints: 28952
1203.04/1206.57 c #Conflicts: 419000 | #Constraints: 29954
1203.04/1206.57 c #Conflicts: 420000 | #Constraints: 30958
1203.04/1206.57 c INPROCESSING
1203.04/1206.57 c GARBAGE COLLECT
1203.04/1206.57 c #Conflicts: 421000 | #Constraints: 19163
1203.04/1206.57 c #Conflicts: 422000 | #Constraints: 20165
1203.04/1206.57 c #Conflicts: 423000 | #Constraints: 21167
1203.04/1206.57 c #Conflicts: 424000 | #Constraints: 22171
1203.04/1206.57 c #Conflicts: 425000 | #Constraints: 23173
1203.04/1206.57 c #Conflicts: 426000 | #Constraints: 24175
1203.04/1206.57 c #Conflicts: 427000 | #Constraints: 25179
1203.04/1206.57 c #Conflicts: 428000 | #Constraints: 26181
1203.04/1206.57 c #Conflicts: 429000 | #Constraints: 27183
1203.04/1206.57 c #Conflicts: 430000 | #Constraints: 28187
1203.04/1206.57 c #Conflicts: 431000 | #Constraints: 29189
1203.04/1206.57 c #Conflicts: 432000 | #Constraints: 30191
1203.04/1206.57 c #Conflicts: 433000 | #Constraints: 31195
1203.04/1206.57 c INPROCESSING
1203.04/1206.57 c GARBAGE COLLECT
1203.04/1206.57 c #Conflicts: 434000 | #Constraints: 19206
1203.04/1206.57 c #Conflicts: 435000 | #Constraints: 20208
1203.04/1206.57 c #Conflicts: 436000 | #Constraints: 21210
1203.04/1206.57 c #Conflicts: 437000 | #Constraints: 22214
1398.34/1402.46 c #Conflicts: 438000 | #Constraints: 23216
1398.34/1402.46 c #Conflicts: 439000 | #Constraints: 24218
1398.34/1402.46 c #Conflicts: 440000 | #Constraints: 25222
1398.34/1402.46 c #Conflicts: 441000 | #Constraints: 26224
1398.34/1402.46 c #Conflicts: 442000 | #Constraints: 27226
1398.34/1402.46 c #Conflicts: 443000 | #Constraints: 28230
1398.34/1402.46 c #Conflicts: 444000 | #Constraints: 29232
1398.34/1402.46 c #Conflicts: 445000 | #Constraints: 30234
1398.34/1402.46 c #Conflicts: 446000 | #Constraints: 31238
1398.34/1402.46 c INPROCESSING
1398.34/1402.46 c GARBAGE COLLECT
1398.34/1402.46 c #Conflicts: 447000 | #Constraints: 19035
1398.34/1402.46 c #Conflicts: 448000 | #Constraints: 20037
1398.34/1402.46 c #Conflicts: 449000 | #Constraints: 21041
1398.34/1402.46 c #Conflicts: 450000 | #Constraints: 22043
1398.34/1402.46 c #Conflicts: 451000 | #Constraints: 23045
1398.34/1402.46 c #Conflicts: 452000 | #Constraints: 24049
1398.34/1402.46 c #Conflicts: 453000 | #Constraints: 25051
1398.34/1402.46 c #Conflicts: 454000 | #Constraints: 26053
1398.34/1402.46 c #Conflicts: 455000 | #Constraints: 27057
1398.34/1402.46 c #Conflicts: 456000 | #Constraints: 28059
1398.34/1402.46 c #Conflicts: 457000 | #Constraints: 29061
1398.34/1402.46 c #Conflicts: 458000 | #Constraints: 30065
1398.34/1402.46 c #Conflicts: 459000 | #Constraints: 31067
1398.34/1402.46 c #Conflicts: 460000 | #Constraints: 32069
1398.34/1402.46 c INPROCESSING
1398.34/1402.46 c GARBAGE COLLECT
1398.34/1402.46 c #Conflicts: 461000 | #Constraints: 19644
1398.34/1402.46 c #Conflicts: 462000 | #Constraints: 20646
1398.34/1402.46 c #Conflicts: 463000 | #Constraints: 21648
1398.34/1402.46 c #Conflicts: 464000 | #Constraints: 22652
1398.34/1402.46 c #Conflicts: 465000 | #Constraints: 23654
1398.34/1402.46 c #Conflicts: 466000 | #Constraints: 24656
1398.34/1402.46 c #Conflicts: 467000 | #Constraints: 25660
1398.34/1402.46 c #Conflicts: 468000 | #Constraints: 26662
1398.34/1402.46 c #Conflicts: 469000 | #Constraints: 27664
1398.34/1402.46 c #Conflicts: 470000 | #Constraints: 28668
1398.34/1402.46 c #Conflicts: 471000 | #Constraints: 29670
1398.34/1402.46 c #Conflicts: 472000 | #Constraints: 30672
1398.34/1402.46 c #Conflicts: 473000 | #Constraints: 31676
1398.34/1402.46 c #Conflicts: 474000 | #Constraints: 32678
1398.34/1402.46 c INPROCESSING
1398.34/1402.46 c GARBAGE COLLECT
1398.34/1402.46 c #Conflicts: 475000 | #Constraints: 20055
1398.34/1402.46 c #Conflicts: 476000 | #Constraints: 21057
1398.34/1402.46 c #Conflicts: 477000 | #Constraints: 22059
1398.34/1402.46 c #Conflicts: 478000 | #Constraints: 23063
1398.34/1402.46 c #Conflicts: 479000 | #Constraints: 24065
1398.34/1402.46 c #Conflicts: 480000 | #Constraints: 25067
1398.34/1402.46 c #Conflicts: 481000 | #Constraints: 26071
1398.34/1402.46 c #Conflicts: 482000 | #Constraints: 27073
1398.34/1402.46 c #Conflicts: 483000 | #Constraints: 28075
1398.34/1402.46 c #Conflicts: 484000 | #Constraints: 29079
1398.34/1402.46 c #Conflicts: 485000 | #Constraints: 30081
1398.34/1402.46 c #Conflicts: 486000 | #Constraints: 31083
1398.34/1402.46 c #Conflicts: 487000 | #Constraints: 32087
1398.34/1402.46 c #Conflicts: 488000 | #Constraints: 33089
1398.34/1402.46 c INPROCESSING
1398.34/1402.46 c GARBAGE COLLECT
1398.34/1402.46 c #Conflicts: 489000 | #Constraints: 20278
1398.34/1402.46 c #Conflicts: 490000 | #Constraints: 21280
1398.34/1402.46 c #Conflicts: 491000 | #Constraints: 22282
1398.34/1402.46 c #Conflicts: 492000 | #Constraints: 23286
1398.34/1402.46 c #Conflicts: 493000 | #Constraints: 24288
1398.34/1402.46 c #Conflicts: 494000 | #Constraints: 25290
1398.34/1402.46 c #Conflicts: 495000 | #Constraints: 26294
1398.34/1402.46 c #Conflicts: 496000 | #Constraints: 27296
1398.34/1402.46 c #Conflicts: 497000 | #Constraints: 28298
1398.34/1402.46 c #Conflicts: 498000 | #Constraints: 29302
1398.34/1402.46 c #Conflicts: 499000 | #Constraints: 30304
1398.34/1402.46 c #Conflicts: 500000 | #Constraints: 31306
1398.34/1402.46 c #Conflicts: 501000 | #Constraints: 32310
1398.34/1402.46 c #Conflicts: 502000 | #Constraints: 33312
1398.34/1402.46 c INPROCESSING
1398.34/1402.46 c GARBAGE COLLECT
1398.34/1402.46 c #Conflicts: 503000 | #Constraints: 20306
1398.34/1402.46 c #Conflicts: 504000 | #Constraints: 21308
1398.34/1402.46 c #Conflicts: 505000 | #Constraints: 22310
1398.34/1402.46 c #Conflicts: 506000 | #Constraints: 23314
1398.34/1402.46 c #Conflicts: 507000 | #Constraints: 24316
1398.34/1402.46 c #Conflicts: 508000 | #Constraints: 25318
1398.34/1402.46 c #Conflicts: 509000 | #Constraints: 26322
1398.34/1402.46 c #Conflicts: 510000 | #Constraints: 27324
1398.34/1402.46 c #Conflicts: 511000 | #Constraints: 28326
1398.34/1402.46 c #Conflicts: 512000 | #Constraints: 29330
1398.34/1402.46 c #Conflicts: 513000 | #Constraints: 30332
1652.10/1656.94 c #Conflicts: 514000 | #Constraints: 31334
1652.10/1656.94 c #Conflicts: 515000 | #Constraints: 32338
1652.10/1656.94 c #Conflicts: 516000 | #Constraints: 33340
1652.10/1656.94 c INPROCESSING
1652.10/1656.94 c GARBAGE COLLECT
1652.10/1656.94 c #Conflicts: 517000 | #Constraints: 20140
1652.10/1656.94 c #Conflicts: 518000 | #Constraints: 21142
1652.10/1656.94 c #Conflicts: 519000 | #Constraints: 22146
1652.10/1656.94 c #Conflicts: 520000 | #Constraints: 23148
1652.10/1656.94 c #Conflicts: 521000 | #Constraints: 24150
1652.10/1656.94 c #Conflicts: 522000 | #Constraints: 25154
1652.10/1656.94 c #Conflicts: 523000 | #Constraints: 26156
1652.10/1656.94 c #Conflicts: 524000 | #Constraints: 27158
1652.10/1656.94 c #Conflicts: 525000 | #Constraints: 28162
1652.10/1656.94 c #Conflicts: 526000 | #Constraints: 29164
1652.10/1656.94 c #Conflicts: 527000 | #Constraints: 30166
1652.10/1656.94 c #Conflicts: 528000 | #Constraints: 31170
1652.10/1656.94 c #Conflicts: 529000 | #Constraints: 32172
1652.10/1656.94 c #Conflicts: 530000 | #Constraints: 33174
1652.10/1656.94 c #Conflicts: 531000 | #Constraints: 34178
1652.10/1656.94 c INPROCESSING
1652.10/1656.94 c GARBAGE COLLECT
1652.10/1656.94 c #Conflicts: 532000 | #Constraints: 20781
1652.10/1656.94 c #Conflicts: 533000 | #Constraints: 21783
1652.10/1656.94 c #Conflicts: 534000 | #Constraints: 22785
1652.10/1656.94 c #Conflicts: 535000 | #Constraints: 23789
1652.10/1656.94 c #Conflicts: 536000 | #Constraints: 24791
1652.10/1656.94 c #Conflicts: 537000 | #Constraints: 25793
1652.10/1656.94 c #Conflicts: 538000 | #Constraints: 26797
1652.10/1656.94 c #Conflicts: 539000 | #Constraints: 27799
1652.10/1656.94 c #Conflicts: 540000 | #Constraints: 28801
1652.10/1656.94 c #Conflicts: 541000 | #Constraints: 29805
1652.10/1656.94 c #Conflicts: 542000 | #Constraints: 30807
1652.10/1656.94 c #Conflicts: 543000 | #Constraints: 31809
1652.10/1656.94 c #Conflicts: 544000 | #Constraints: 32813
1652.10/1656.94 c #Conflicts: 545000 | #Constraints: 33815
1652.10/1656.94 c #Conflicts: 546000 | #Constraints: 34817
1652.10/1656.94 c INPROCESSING
1652.10/1656.94 c GARBAGE COLLECT
1652.10/1656.94 c #Conflicts: 547000 | #Constraints: 21220
1652.10/1656.94 c #Conflicts: 548000 | #Constraints: 22222
1652.10/1656.94 c #Conflicts: 549000 | #Constraints: 23224
1652.10/1656.94 c #Conflicts: 550000 | #Constraints: 24228
1652.10/1656.94 c #Conflicts: 551000 | #Constraints: 25230
1652.10/1656.94 c #Conflicts: 552000 | #Constraints: 26232
1652.10/1656.94 c #Conflicts: 553000 | #Constraints: 27236
1652.10/1656.94 c #Conflicts: 554000 | #Constraints: 28238
1652.10/1656.94 c #Conflicts: 555000 | #Constraints: 29240
1652.10/1656.94 c #Conflicts: 556000 | #Constraints: 30244
1652.10/1656.94 c #Conflicts: 557000 | #Constraints: 31246
1652.10/1656.94 c #Conflicts: 558000 | #Constraints: 32248
1652.10/1656.94 c #Conflicts: 559000 | #Constraints: 33252
1652.10/1656.94 c #Conflicts: 560000 | #Constraints: 34254
1652.10/1656.94 c #Conflicts: 561000 | #Constraints: 35256
1652.10/1656.94 c INPROCESSING
1652.10/1656.94 c GARBAGE COLLECT
1652.10/1656.94 c #Conflicts: 562000 | #Constraints: 21457
1652.10/1656.94 c #Conflicts: 563000 | #Constraints: 22459
1652.10/1656.94 c #Conflicts: 564000 | #Constraints: 23461
1652.10/1656.94 c #Conflicts: 565000 | #Constraints: 24465
1652.10/1656.94 c #Conflicts: 566000 | #Constraints: 25467
1652.10/1656.94 c #Conflicts: 567000 | #Constraints: 26469
1652.10/1656.94 c #Conflicts: 568000 | #Constraints: 27473
1652.10/1656.94 c #Conflicts: 569000 | #Constraints: 28475
1652.10/1656.94 c #Conflicts: 570000 | #Constraints: 29477
1652.10/1656.94 c #Conflicts: 571000 | #Constraints: 30481
1652.10/1656.94 c #Conflicts: 572000 | #Constraints: 31483
1652.10/1656.94 c #Conflicts: 573000 | #Constraints: 32485
1652.10/1656.94 c #Conflicts: 574000 | #Constraints: 33489
1652.10/1656.94 c #Conflicts: 575000 | #Constraints: 34491
1652.10/1656.94 c #Conflicts: 576000 | #Constraints: 35493
1652.10/1656.94 c INPROCESSING
1652.10/1656.94 c GARBAGE COLLECT
1652.10/1656.94 c #Conflicts: 577000 | #Constraints: 21501
1652.10/1656.94 c #Conflicts: 578000 | #Constraints: 22503
1652.10/1656.94 c #Conflicts: 579000 | #Constraints: 23505
1652.10/1656.94 c #Conflicts: 580000 | #Constraints: 24509
1652.10/1656.94 c #Conflicts: 581000 | #Constraints: 25511
1652.10/1656.94 c #Conflicts: 582000 | #Constraints: 26513
1652.10/1656.94 c #Conflicts: 583000 | #Constraints: 27517
1652.10/1656.94 c #Conflicts: 584000 | #Constraints: 28519
1652.10/1656.94 c #Conflicts: 585000 | #Constraints: 29521
1652.10/1656.94 c #Conflicts: 586000 | #Constraints: 30525
1652.10/1656.94 c #Conflicts: 587000 | #Constraints: 31527
1652.10/1656.94 c #Conflicts: 588000 | #Constraints: 32529
1842.53/1847.86 c #Conflicts: 589000 | #Constraints: 33533
1842.53/1847.86 c #Conflicts: 590000 | #Constraints: 34535
1842.53/1847.86 c #Conflicts: 591000 | #Constraints: 35537
1842.53/1847.86 c INPROCESSING
1842.53/1847.86 c GARBAGE COLLECT
1842.53/1847.86 c #Conflicts: 592000 | #Constraints: 21342
1842.53/1847.86 c #Conflicts: 593000 | #Constraints: 22344
1842.53/1847.86 c #Conflicts: 594000 | #Constraints: 23348
1842.53/1847.86 c #Conflicts: 595000 | #Constraints: 24350
1842.53/1847.86 c #Conflicts: 596000 | #Constraints: 25352
1842.53/1847.86 c #Conflicts: 597000 | #Constraints: 26356
1842.53/1847.86 c #Conflicts: 598000 | #Constraints: 27358
1842.53/1847.86 c #Conflicts: 599000 | #Constraints: 28360
1842.53/1847.86 c #Conflicts: 600000 | #Constraints: 29364
1842.53/1847.86 c #Conflicts: 601000 | #Constraints: 30366
1842.53/1847.86 c #Conflicts: 602000 | #Constraints: 31368
1842.53/1847.86 c #Conflicts: 603000 | #Constraints: 32372
1842.53/1847.86 c #Conflicts: 604000 | #Constraints: 33374
1842.53/1847.86 c #Conflicts: 605000 | #Constraints: 34376
1842.53/1847.86 c #Conflicts: 606000 | #Constraints: 35380
1842.53/1847.86 c #Conflicts: 607000 | #Constraints: 36382
1842.53/1847.86 c INPROCESSING
1842.53/1847.86 c GARBAGE COLLECT
1842.53/1847.86 c #Conflicts: 608000 | #Constraints: 21990
1842.53/1847.86 c #Conflicts: 609000 | #Constraints: 22992
1842.53/1847.86 c #Conflicts: 610000 | #Constraints: 23994
1842.53/1847.86 c #Conflicts: 611000 | #Constraints: 24998
1842.53/1847.86 c #Conflicts: 612000 | #Constraints: 26000
1842.53/1847.86 c #Conflicts: 613000 | #Constraints: 27002
1842.53/1847.86 c #Conflicts: 614000 | #Constraints: 28006
1842.53/1847.86 c #Conflicts: 615000 | #Constraints: 29008
1842.53/1847.86 c #Conflicts: 616000 | #Constraints: 30010
1842.53/1847.86 c #Conflicts: 617000 | #Constraints: 31014
1842.53/1847.86 c #Conflicts: 618000 | #Constraints: 32016
1842.53/1847.86 c #Conflicts: 619000 | #Constraints: 33018
1842.53/1847.86 c #Conflicts: 620000 | #Constraints: 34022
1842.53/1847.86 c #Conflicts: 621000 | #Constraints: 35024
1842.53/1847.86 c #Conflicts: 622000 | #Constraints: 36026
1842.53/1847.86 c #Conflicts: 623000 | #Constraints: 37030
1842.53/1847.86 c INPROCESSING
1842.53/1847.86 c GARBAGE COLLECT
1842.53/1847.86 c #Conflicts: 624000 | #Constraints: 22427
1842.53/1847.86 c #Conflicts: 625000 | #Constraints: 23429
1842.53/1847.86 c #Conflicts: 626000 | #Constraints: 24431
1842.53/1847.86 c #Conflicts: 627000 | #Constraints: 25435
1842.53/1847.86 c #Conflicts: 628000 | #Constraints: 26437
1842.53/1847.86 c #Conflicts: 629000 | #Constraints: 27439
1842.53/1847.86 c #Conflicts: 630000 | #Constraints: 28443
1842.53/1847.86 c #Conflicts: 631000 | #Constraints: 29445
1842.53/1847.86 c #Conflicts: 632000 | #Constraints: 30447
1842.53/1847.86 c #Conflicts: 633000 | #Constraints: 31451
1842.53/1847.86 c #Conflicts: 634000 | #Constraints: 32453
1842.53/1847.86 c #Conflicts: 635000 | #Constraints: 33455
1842.53/1847.86 c #Conflicts: 636000 | #Constraints: 34459
1842.53/1847.86 c #Conflicts: 637000 | #Constraints: 35461
1842.53/1847.86 c #Conflicts: 638000 | #Constraints: 36463
1842.53/1847.86 c #Conflicts: 639000 | #Constraints: 37467
1842.53/1847.86 c INPROCESSING
1842.53/1847.86 c GARBAGE COLLECT
1842.53/1847.86 c #Conflicts: 640000 | #Constraints: 22667
1842.53/1847.86 c #Conflicts: 641000 | #Constraints: 23669
1842.53/1847.86 c #Conflicts: 642000 | #Constraints: 24671
1842.53/1847.86 c #Conflicts: 643000 | #Constraints: 25675
1842.53/1847.86 c #Conflicts: 644000 | #Constraints: 26677
1842.53/1847.86 c #Conflicts: 645000 | #Constraints: 27679
1842.53/1847.86 c #Conflicts: 646000 | #Constraints: 28683
1842.53/1847.86 c #Conflicts: 647000 | #Constraints: 29685
1842.53/1847.86 c #Conflicts: 648000 | #Constraints: 30687
1842.53/1847.86 c #Conflicts: 649000 | #Constraints: 31691
1842.53/1847.86 c #Conflicts: 650000 | #Constraints: 32693
1842.53/1847.86 c #Conflicts: 651000 | #Constraints: 33695
1842.53/1847.86 c #Conflicts: 652000 | #Constraints: 34699
1842.53/1847.86 c #Conflicts: 653000 | #Constraints: 35701
1842.53/1847.86 c #Conflicts: 654000 | #Constraints: 36703
1842.53/1847.86 c #Conflicts: 655000 | #Constraints: 37707
1842.53/1847.86 c INPROCESSING
1842.53/1847.86 c GARBAGE COLLECT
1842.53/1847.86 c #Conflicts: 656000 | #Constraints: 22713
1842.53/1847.86 c #Conflicts: 657000 | #Constraints: 23715
1842.53/1847.86 c #Conflicts: 658000 | #Constraints: 24717
1842.53/1847.86 c #Conflicts: 659000 | #Constraints: 25721
1842.53/1847.86 c #Conflicts: 660000 | #Constraints: 26723
1842.53/1847.86 c #Conflicts: 661000 | #Constraints: 27725
1842.53/1847.86 c #Conflicts: 662000 | #Constraints: 28729
1842.53/1847.86 c #Conflicts: 663000 | #Constraints: 29731
1842.53/1847.86 c #Conflicts: 664000 | #Constraints: 30733
2046.01/2051.88 c #Conflicts: 665000 | #Constraints: 31737
2046.01/2051.88 c #Conflicts: 666000 | #Constraints: 32739
2046.01/2051.88 c #Conflicts: 667000 | #Constraints: 33741
2046.01/2051.88 c #Conflicts: 668000 | #Constraints: 34745
2046.01/2051.88 c #Conflicts: 669000 | #Constraints: 35747
2046.01/2051.88 c #Conflicts: 670000 | #Constraints: 36749
2046.01/2051.88 c #Conflicts: 671000 | #Constraints: 37753
2046.01/2051.88 c INPROCESSING
2046.01/2051.88 c GARBAGE COLLECT
2046.01/2051.88 c #Conflicts: 672000 | #Constraints: 22561
2046.01/2051.88 c #Conflicts: 673000 | #Constraints: 23563
2046.01/2051.88 c #Conflicts: 674000 | #Constraints: 24567
2046.01/2051.88 c #Conflicts: 675000 | #Constraints: 25569
2046.01/2051.88 c #Conflicts: 676000 | #Constraints: 26571
2046.01/2051.88 c #Conflicts: 677000 | #Constraints: 27575
2046.01/2051.88 c #Conflicts: 678000 | #Constraints: 28577
2046.01/2051.88 c #Conflicts: 679000 | #Constraints: 29579
2046.01/2051.88 c #Conflicts: 680000 | #Constraints: 30583
2046.01/2051.88 c #Conflicts: 681000 | #Constraints: 31585
2046.01/2051.88 c #Conflicts: 682000 | #Constraints: 32587
2046.01/2051.88 c #Conflicts: 683000 | #Constraints: 33591
2046.01/2051.88 c #Conflicts: 684000 | #Constraints: 34593
2046.01/2051.88 c #Conflicts: 685000 | #Constraints: 35595
2046.01/2051.88 c #Conflicts: 686000 | #Constraints: 36599
2046.01/2051.88 c #Conflicts: 687000 | #Constraints: 37601
2046.01/2051.88 c #Conflicts: 688000 | #Constraints: 38603
2046.01/2051.88 c INPROCESSING
2046.01/2051.88 c GARBAGE COLLECT
2046.01/2051.88 c #Conflicts: 689000 | #Constraints: 23204
2046.01/2051.88 c #Conflicts: 690000 | #Constraints: 24206
2046.01/2051.88 c #Conflicts: 691000 | #Constraints: 25208
2046.01/2051.88 c #Conflicts: 692000 | #Constraints: 26212
2046.01/2051.88 c #Conflicts: 693000 | #Constraints: 27214
2046.01/2051.88 c #Conflicts: 694000 | #Constraints: 28216
2046.01/2051.88 c #Conflicts: 695000 | #Constraints: 29220
2046.01/2051.88 c #Conflicts: 696000 | #Constraints: 30222
2046.01/2051.88 c #Conflicts: 697000 | #Constraints: 31224
2046.01/2051.88 c #Conflicts: 698000 | #Constraints: 32228
2046.01/2051.88 c #Conflicts: 699000 | #Constraints: 33230
2046.01/2051.88 c #Conflicts: 700000 | #Constraints: 34232
2046.01/2051.88 c #Conflicts: 701000 | #Constraints: 35236
2046.01/2051.88 c #Conflicts: 702000 | #Constraints: 36238
2046.01/2051.88 c #Conflicts: 703000 | #Constraints: 37240
2046.01/2051.88 c #Conflicts: 704000 | #Constraints: 38244
2046.01/2051.88 c #Conflicts: 705000 | #Constraints: 39246
2046.01/2051.88 c INPROCESSING
2046.01/2051.88 c GARBAGE COLLECT
2046.01/2051.88 c #Conflicts: 706000 | #Constraints: 23677
2046.01/2051.88 c #Conflicts: 707000 | #Constraints: 24679
2046.01/2051.88 c #Conflicts: 708000 | #Constraints: 25681
2046.01/2051.88 c #Conflicts: 709000 | #Constraints: 26685
2046.01/2051.88 c #Conflicts: 710000 | #Constraints: 27687
2046.01/2051.88 c #Conflicts: 711000 | #Constraints: 28689
2046.01/2051.88 c #Conflicts: 712000 | #Constraints: 29693
2046.01/2051.88 c #Conflicts: 713000 | #Constraints: 30695
2046.01/2051.88 c #Conflicts: 714000 | #Constraints: 31697
2046.01/2051.88 c #Conflicts: 715000 | #Constraints: 32701
2046.01/2051.88 c #Conflicts: 716000 | #Constraints: 33703
2046.01/2051.88 c #Conflicts: 717000 | #Constraints: 34705
2046.01/2051.88 c #Conflicts: 718000 | #Constraints: 35709
2046.01/2051.88 c #Conflicts: 719000 | #Constraints: 36711
2046.01/2051.88 c #Conflicts: 720000 | #Constraints: 37713
2046.01/2051.88 c #Conflicts: 721000 | #Constraints: 38717
2046.01/2051.88 c #Conflicts: 722000 | #Constraints: 39719
2046.01/2051.88 c INPROCESSING
2046.01/2051.88 c GARBAGE COLLECT
2046.01/2051.88 c #Conflicts: 723000 | #Constraints: 23934
2046.01/2051.88 c #Conflicts: 724000 | #Constraints: 24936
2046.01/2051.88 c #Conflicts: 725000 | #Constraints: 25938
2046.01/2051.88 c #Conflicts: 726000 | #Constraints: 26942
2046.01/2051.88 c #Conflicts: 727000 | #Constraints: 27944
2046.01/2051.88 c #Conflicts: 728000 | #Constraints: 28946
2046.01/2051.88 c #Conflicts: 729000 | #Constraints: 29950
2046.01/2051.88 c #Conflicts: 730000 | #Constraints: 30952
2046.01/2051.88 c #Conflicts: 731000 | #Constraints: 31954
2046.01/2051.88 c #Conflicts: 732000 | #Constraints: 32958
2046.01/2051.88 c #Conflicts: 733000 | #Constraints: 33960
2046.01/2051.88 c #Conflicts: 734000 | #Constraints: 34962
2046.01/2051.88 c #Conflicts: 735000 | #Constraints: 35966
2046.01/2051.88 c #Conflicts: 736000 | #Constraints: 36968
2046.01/2051.88 c #Conflicts: 737000 | #Constraints: 37970
2046.01/2051.88 c #Conflicts: 738000 | #Constraints: 38974
2046.01/2051.88 c #Conflicts: 739000 | #Constraints: 39976
2046.01/2051.88 c INPROCESSING
2046.01/2051.88 c GARBAGE COLLECT
2348.90/2355.57 c #Conflicts: 740000 | #Constraints: 23998
2348.90/2355.57 c #Conflicts: 741000 | #Constraints: 25000
2348.90/2355.57 c #Conflicts: 742000 | #Constraints: 26002
2348.90/2355.57 c #Conflicts: 743000 | #Constraints: 27006
2348.90/2355.57 c #Conflicts: 744000 | #Constraints: 28008
2348.90/2355.57 c #Conflicts: 745000 | #Constraints: 29010
2348.90/2355.57 c #Conflicts: 746000 | #Constraints: 30014
2348.90/2355.57 c #Conflicts: 747000 | #Constraints: 31016
2348.90/2355.57 c #Conflicts: 748000 | #Constraints: 32018
2348.90/2355.57 c #Conflicts: 749000 | #Constraints: 33022
2348.90/2355.57 c #Conflicts: 750000 | #Constraints: 34024
2348.90/2355.57 c #Conflicts: 751000 | #Constraints: 35026
2348.90/2355.57 c #Conflicts: 752000 | #Constraints: 36030
2348.90/2355.57 c #Conflicts: 753000 | #Constraints: 37032
2348.90/2355.57 c #Conflicts: 754000 | #Constraints: 38034
2348.90/2355.57 c #Conflicts: 755000 | #Constraints: 39038
2348.90/2355.57 c #Conflicts: 756000 | #Constraints: 40040
2348.90/2355.57 c INPROCESSING
2348.90/2355.57 c GARBAGE COLLECT
2348.90/2355.57 c #Conflicts: 757000 | #Constraints: 23851
2348.90/2355.57 c #Conflicts: 758000 | #Constraints: 24853
2348.90/2355.57 c #Conflicts: 759000 | #Constraints: 25857
2348.90/2355.57 c #Conflicts: 760000 | #Constraints: 26859
2348.90/2355.57 c #Conflicts: 761000 | #Constraints: 27861
2348.90/2355.57 c #Conflicts: 762000 | #Constraints: 28865
2348.90/2355.57 c #Conflicts: 763000 | #Constraints: 29867
2348.90/2355.57 c #Conflicts: 764000 | #Constraints: 30869
2348.90/2355.57 c #Conflicts: 765000 | #Constraints: 31873
2348.90/2355.57 c #Conflicts: 766000 | #Constraints: 32875
2348.90/2355.57 c #Conflicts: 767000 | #Constraints: 33877
2348.90/2355.57 c #Conflicts: 768000 | #Constraints: 34881
2348.90/2355.57 c #Conflicts: 769000 | #Constraints: 35883
2348.90/2355.57 c #Conflicts: 770000 | #Constraints: 36885
2348.90/2355.57 c #Conflicts: 771000 | #Constraints: 37889
2348.90/2355.57 c #Conflicts: 772000 | #Constraints: 38891
2348.90/2355.57 c #Conflicts: 773000 | #Constraints: 39893
2348.90/2355.57 c #Conflicts: 774000 | #Constraints: 40897
2348.90/2355.57 c INPROCESSING
2348.90/2355.57 c GARBAGE COLLECT
2348.90/2355.57 c #Conflicts: 775000 | #Constraints: 24507
2348.90/2355.57 c #Conflicts: 776000 | #Constraints: 25509
2348.90/2355.57 c #Conflicts: 777000 | #Constraints: 26511
2348.90/2355.57 c #Conflicts: 778000 | #Constraints: 27515
2348.90/2355.57 c #Conflicts: 779000 | #Constraints: 28517
2348.90/2355.57 c #Conflicts: 780000 | #Constraints: 29519
2348.90/2355.57 c #Conflicts: 781000 | #Constraints: 30523
2348.90/2355.57 c #Conflicts: 782000 | #Constraints: 31525
2348.90/2355.57 c #Conflicts: 783000 | #Constraints: 32527
2348.90/2355.57 c #Conflicts: 784000 | #Constraints: 33531
2348.90/2355.57 c #Conflicts: 785000 | #Constraints: 34533
2348.90/2355.57 c bounds 1036 >= 1008 @ 2197.52
2348.90/2355.57 c bounds 1036 >= 1009 @ 2198.2
2348.90/2355.57 c bounds 1036 >= 1010 @ 2198.4
2348.90/2355.57 c bounds 1036 >= 1011 @ 2198.69
2348.90/2355.57 c bounds 1036 >= 1012 @ 2198.97
2348.90/2355.57 c bounds 1036 >= 1013 @ 2199.21
2348.90/2355.57 c #Conflicts: 786000 | #Constraints: 37702
2348.90/2355.57 c #Conflicts: 787000 | #Constraints: 38702
2348.90/2355.57 c #Conflicts: 788000 | #Constraints: 39702
2348.90/2355.57 c #Conflicts: 789000 | #Constraints: 40702
2348.90/2355.57 c #Conflicts: 790000 | #Constraints: 41702
2348.90/2355.57 c #Conflicts: 791000 | #Constraints: 42702
2348.90/2355.57 c #Conflicts: 792000 | #Constraints: 43702
2348.90/2355.57 c INPROCESSING
2348.90/2355.57 c GARBAGE COLLECT
2348.90/2355.57 c #Conflicts: 793000 | #Constraints: 26541
2348.90/2355.57 c #Conflicts: 794000 | #Constraints: 27541
2348.90/2355.57 c #Conflicts: 795000 | #Constraints: 28541
2348.90/2355.57 c #Conflicts: 796000 | #Constraints: 29541
2348.90/2355.57 c #Conflicts: 797000 | #Constraints: 30541
2348.90/2355.57 c #Conflicts: 798000 | #Constraints: 31541
2348.90/2355.57 c #Conflicts: 799000 | #Constraints: 32541
2348.90/2355.57 c #Conflicts: 800000 | #Constraints: 33541
2348.90/2355.57 c #Conflicts: 801000 | #Constraints: 34541
2348.90/2355.57 c #Conflicts: 802000 | #Constraints: 35541
2348.90/2355.57 c #Conflicts: 803000 | #Constraints: 36541
2348.90/2355.57 c #Conflicts: 804000 | #Constraints: 37541
2348.90/2355.57 c #Conflicts: 805000 | #Constraints: 38541
2348.90/2355.57 c #Conflicts: 806000 | #Constraints: 39541
2348.90/2355.57 c #Conflicts: 807000 | #Constraints: 40541
2348.90/2355.57 c #Conflicts: 808000 | #Constraints: 41541
2348.90/2355.57 c #Conflicts: 809000 | #Constraints: 42541
2348.90/2355.57 c #Conflicts: 810000 | #Constraints: 43541
2348.90/2355.57 c INPROCESSING
2348.90/2355.57 c GARBAGE COLLECT
2348.90/2355.57 c #Conflicts: 811000 | #Constraints: 26394
2348.90/2355.57 c #Conflicts: 812000 | #Constraints: 27394
2908.12/2916.33 c #Conflicts: 813000 | #Constraints: 28394
2908.12/2916.33 c #Conflicts: 814000 | #Constraints: 29394
2908.12/2916.33 c #Conflicts: 815000 | #Constraints: 30394
2908.12/2916.33 c #Conflicts: 816000 | #Constraints: 31394
2908.12/2916.33 c #Conflicts: 817000 | #Constraints: 32394
2908.12/2916.33 c #Conflicts: 818000 | #Constraints: 33394
2908.12/2916.33 c #Conflicts: 819000 | #Constraints: 34394
2908.12/2916.33 c #Conflicts: 820000 | #Constraints: 35394
2908.12/2916.33 c #Conflicts: 821000 | #Constraints: 36394
2908.12/2916.33 c #Conflicts: 822000 | #Constraints: 37394
2908.12/2916.33 c #Conflicts: 823000 | #Constraints: 38394
2908.12/2916.33 c #Conflicts: 824000 | #Constraints: 39394
2908.12/2916.33 c #Conflicts: 825000 | #Constraints: 40394
2908.12/2916.33 c #Conflicts: 826000 | #Constraints: 41394
2908.12/2916.33 c #Conflicts: 827000 | #Constraints: 42394
2908.12/2916.33 c #Conflicts: 828000 | #Constraints: 43394
2908.12/2916.33 c INPROCESSING
2908.12/2916.33 c GARBAGE COLLECT
2908.12/2916.33 c #Conflicts: 829000 | #Constraints: 26203
2908.12/2916.33 c #Conflicts: 830000 | #Constraints: 27203
2908.12/2916.33 c #Conflicts: 831000 | #Constraints: 28203
2908.12/2916.33 c #Conflicts: 832000 | #Constraints: 29203
2908.12/2916.33 c #Conflicts: 833000 | #Constraints: 30203
2908.12/2916.33 c #Conflicts: 834000 | #Constraints: 31203
2908.12/2916.33 c #Conflicts: 835000 | #Constraints: 32203
2908.12/2916.33 c #Conflicts: 836000 | #Constraints: 33203
2908.12/2916.33 c #Conflicts: 837000 | #Constraints: 34203
2908.12/2916.33 c #Conflicts: 838000 | #Constraints: 35203
2908.12/2916.33 c #Conflicts: 839000 | #Constraints: 36203
2908.12/2916.33 c #Conflicts: 840000 | #Constraints: 37203
2908.12/2916.33 c #Conflicts: 841000 | #Constraints: 38203
2908.12/2916.33 c #Conflicts: 842000 | #Constraints: 39203
2908.12/2916.33 c #Conflicts: 843000 | #Constraints: 40203
2908.12/2916.33 c #Conflicts: 844000 | #Constraints: 41203
2908.12/2916.33 c #Conflicts: 845000 | #Constraints: 42203
2908.12/2916.33 c #Conflicts: 846000 | #Constraints: 43203
2908.12/2916.33 c INPROCESSING
2908.12/2916.33 c GARBAGE COLLECT
2908.12/2916.33 c #Conflicts: 847000 | #Constraints: 25899
2908.12/2916.33 c #Conflicts: 848000 | #Constraints: 26899
2908.12/2916.33 c #Conflicts: 849000 | #Constraints: 27899
2908.12/2916.33 c #Conflicts: 850000 | #Constraints: 28899
2908.12/2916.33 c #Conflicts: 851000 | #Constraints: 29899
2908.12/2916.33 c #Conflicts: 852000 | #Constraints: 30899
2908.12/2916.33 c #Conflicts: 853000 | #Constraints: 31899
2908.12/2916.33 c #Conflicts: 854000 | #Constraints: 32899
2908.12/2916.33 c #Conflicts: 855000 | #Constraints: 33899
2908.12/2916.33 c #Conflicts: 856000 | #Constraints: 34899
2908.12/2916.33 c #Conflicts: 857000 | #Constraints: 35899
2908.12/2916.33 c #Conflicts: 858000 | #Constraints: 36899
2908.12/2916.33 c #Conflicts: 859000 | #Constraints: 37899
2908.12/2916.33 c #Conflicts: 860000 | #Constraints: 38899
2908.12/2916.33 c #Conflicts: 861000 | #Constraints: 39899
2908.12/2916.33 c #Conflicts: 862000 | #Constraints: 40899
2908.12/2916.33 c #Conflicts: 863000 | #Constraints: 41899
2908.12/2916.33 c #Conflicts: 864000 | #Constraints: 42899
2908.12/2916.33 c #Conflicts: 865000 | #Constraints: 43899
2908.12/2916.33 c INPROCESSING
2908.12/2916.33 c GARBAGE COLLECT
2908.12/2916.33 c #Conflicts: 866000 | #Constraints: 26450
2908.12/2916.33 c #Conflicts: 867000 | #Constraints: 27450
2908.12/2916.33 c #Conflicts: 868000 | #Constraints: 28450
2908.12/2916.33 c #Conflicts: 869000 | #Constraints: 29450
2908.12/2916.33 c #Conflicts: 870000 | #Constraints: 30450
2908.12/2916.33 c #Conflicts: 871000 | #Constraints: 31450
2908.12/2916.33 c #Conflicts: 872000 | #Constraints: 32450
2908.12/2916.33 c #Conflicts: 873000 | #Constraints: 33450
2908.12/2916.33 c #Conflicts: 874000 | #Constraints: 34450
2908.12/2916.33 c #Conflicts: 875000 | #Constraints: 35450
2908.12/2916.33 c #Conflicts: 876000 | #Constraints: 36450
2908.12/2916.33 c #Conflicts: 877000 | #Constraints: 37450
2908.12/2916.33 c #Conflicts: 878000 | #Constraints: 38450
2908.12/2916.33 c #Conflicts: 879000 | #Constraints: 39450
2908.12/2916.33 c #Conflicts: 880000 | #Constraints: 40450
2908.12/2916.33 c #Conflicts: 881000 | #Constraints: 41450
2908.12/2916.33 c #Conflicts: 882000 | #Constraints: 42450
2908.12/2916.33 c #Conflicts: 883000 | #Constraints: 43450
2908.12/2916.33 c #Conflicts: 884000 | #Constraints: 44450
2908.12/2916.33 c INPROCESSING
2908.12/2916.33 c GARBAGE COLLECT
2908.12/2916.33 c #Conflicts: 885000 | #Constraints: 26830
2908.12/2916.33 c #Conflicts: 886000 | #Constraints: 27830
2908.12/2916.33 c #Conflicts: 887000 | #Constraints: 28830
2908.12/2916.33 c #Conflicts: 888000 | #Constraints: 29830
3600.01/3610.11 c #Conflicts: 889000 | #Constraints: 30830
3600.01/3610.11 c #Conflicts: 890000 | #Constraints: 31830
3600.01/3610.11 c #Conflicts: 891000 | #Constraints: 32830
3600.01/3610.11 c #Conflicts: 892000 | #Constraints: 33830
3600.01/3610.11 c #Conflicts: 893000 | #Constraints: 34830
3600.01/3610.11 c #Conflicts: 894000 | #Constraints: 35830
3600.01/3610.11 c #Conflicts: 895000 | #Constraints: 36830
3600.01/3610.11 c #Conflicts: 896000 | #Constraints: 37830
3600.01/3610.11 c #Conflicts: 897000 | #Constraints: 38830
3600.01/3610.11 c #Conflicts: 898000 | #Constraints: 39830
3600.01/3610.11 c #Conflicts: 899000 | #Constraints: 40830
3600.01/3610.11 c #Conflicts: 900000 | #Constraints: 41830
3600.01/3610.11 c #Conflicts: 901000 | #Constraints: 42830
3600.01/3610.11 c #Conflicts: 902000 | #Constraints: 43830
3600.01/3610.11 c #Conflicts: 903000 | #Constraints: 44830
3600.01/3610.11 c INPROCESSING
3600.01/3610.11 c GARBAGE COLLECT
3600.01/3610.11 c #Conflicts: 904000 | #Constraints: 27026
3600.01/3610.11 c #Conflicts: 905000 | #Constraints: 28026
3600.01/3610.11 c #Conflicts: 906000 | #Constraints: 29026
3600.01/3610.11 c #Conflicts: 907000 | #Constraints: 30026
3600.01/3610.11 c #Conflicts: 908000 | #Constraints: 31026
3600.01/3610.11 c #Conflicts: 909000 | #Constraints: 32026
3600.01/3610.11 c #Conflicts: 910000 | #Constraints: 33026
3600.01/3610.11 c #Conflicts: 911000 | #Constraints: 34026
3600.01/3610.11 c #Conflicts: 912000 | #Constraints: 35026
3600.01/3610.11 c #Conflicts: 913000 | #Constraints: 36026
3600.01/3610.11 c #Conflicts: 914000 | #Constraints: 37026
3600.01/3610.11 c #Conflicts: 915000 | #Constraints: 38026
3600.01/3610.11 c #Conflicts: 916000 | #Constraints: 39026
3600.01/3610.11 c #Conflicts: 917000 | #Constraints: 40026
3600.01/3610.11 c #Conflicts: 918000 | #Constraints: 41026
3600.01/3610.11 c #Conflicts: 919000 | #Constraints: 42026
3600.01/3610.11 c #Conflicts: 920000 | #Constraints: 43026
3600.01/3610.11 c #Conflicts: 921000 | #Constraints: 44026
3600.01/3610.11 c #Conflicts: 922000 | #Constraints: 45026
3600.01/3610.11 c INPROCESSING
3600.01/3610.11 c GARBAGE COLLECT
3600.01/3610.11 c #Conflicts: 923000 | #Constraints: 26971
3600.01/3610.11 c #Conflicts: 924000 | #Constraints: 27971
3600.01/3610.11 c #Conflicts: 925000 | #Constraints: 28971
3600.01/3610.11 c #Conflicts: 926000 | #Constraints: 29971
3600.01/3610.11 c #Conflicts: 927000 | #Constraints: 30971
3600.01/3610.11 c #Conflicts: 928000 | #Constraints: 31971
3600.01/3610.11 c #Conflicts: 929000 | #Constraints: 32971
3600.01/3610.11 c #Conflicts: 930000 | #Constraints: 33971
3600.01/3610.11 c #Conflicts: 931000 | #Constraints: 34971
3600.01/3610.11 c #Conflicts: 932000 | #Constraints: 35971
3600.01/3610.11 c #Conflicts: 933000 | #Constraints: 36971
3600.01/3610.11 c #Conflicts: 934000 | #Constraints: 37971
3600.01/3610.11 c Program interrupted by user.
3600.01/3610.11 c cpu time 3576.96 s
3600.01/3610.11 c deterministic time 246114426701 2.46e+11
3600.01/3610.11 c optimization time 2461.27 s
3600.01/3610.11 c total solve time 1115.67 s
3600.01/3610.11 c core-guided solve time 1115.67 s
3600.01/3610.11 c propagation time 2507.05 s
3600.01/3610.11 c conflict analysis time 594.724 s
3600.01/3610.11 c propagations 397167671
3600.01/3610.11 c resolve steps 3457823
3600.01/3610.11 c decisions 22287711
3600.01/3610.11 c conflicts 934386
3600.01/3610.11 c restarts 2042
3600.01/3610.11 c inprocessing phases 87
3600.01/3610.11 c input clauses 4781
3600.01/3610.11 c input cardinalities 2741
3600.01/3610.11 c input general constraints 1728
3600.01/3610.11 c input average constraint length 449.00
3600.01/3610.11 c input average constraint degree 57.38
3600.01/3610.11 c learned clauses 158662
3600.01/3610.11 c learned cardinalities 66934
3600.01/3610.11 c learned general constraints 708794
3600.01/3610.11 c learned average constraint length 1656.74
3600.01/3610.11 c learned average constraint degree 968779.71
3600.01/3610.11 c watched constraints 209817
3600.01/3610.11 c counting constraints 500705
3600.01/3610.11 c gcd simplifications 15817
3600.01/3610.11 c detected cardinalities 5777
3600.01/3610.11 c weakened non-implied lits 436660306
3600.01/3610.11 c weakened non-implying lits 29585
3600.01/3610.11 c original variables 4060
3600.01/3610.11 c clausal propagations 26605224
3600.01/3610.11 c cardinality propagations 39862941
3600.01/3610.11 c watched propagations 17026356
3600.01/3610.11 c counting propagations 267999784
3600.01/3610.11 c watch lookups 57996543530
3600.01/3610.11 c watch backjump lookups 56309946787
3600.01/3610.11 c watch checks 68968088983
3600.01/3610.11 c propagation checks 58072424870
3600.01/3610.11 c constraint additions 3927581163
3600.01/3610.11 c trail pops 420385985
3600.01/3610.11 c formula constraints 4060
3600.01/3610.11 c learned constraints 934390
3600.01/3610.11 c bound constraints 1014
3600.01/3610.11 c core-guided constraints 4176
3600.01/3610.11 c encountered formula constraints 2100277
3600.01/3610.11 c encountered learned constraints 2060291
3600.01/3610.11 c encountered bound constraints 8
3600.01/3610.11 c encountered core-guided constraints 231633
3600.01/3610.11 c LP total time 0 s
3600.01/3610.11 c LP solve time 0 s
3600.01/3610.11 c LP constraints added 0
3600.01/3610.11 c LP constraints removed 0
3600.01/3610.11 c LP pivots internal 0
3600.01/3610.11 c LP pivots root 0
3600.01/3610.11 c LP calls 0
3600.01/3610.11 c LP optimalities 0
3600.01/3610.11 c LP no pivot count 0
3600.01/3610.11 c LP infeasibilities 0
3600.01/3610.11 c LP valid Farkas constraints 0
3600.01/3610.11 c LP learned Farkas constraints 0
3600.01/3610.11 c LP basis resets 0
3600.01/3610.11 c LP cycling count 0
3600.01/3610.11 c LP singular count 0
3600.01/3610.11 c LP no primal count 0
3600.01/3610.11 c LP no farkas count 0
3600.01/3610.11 c LP other issue count 0
3600.01/3610.11 c LP Gomory cuts 0
3600.01/3610.11 c LP learned cuts 0
3600.01/3610.11 c LP deleted cuts 0
3600.01/3610.11 c LP encountered Gomory constraints 0
3600.01/3610.11 c LP encountered Farkas constraints 0
3600.01/3610.11 c LP encountered learned Farkas constraints 0
3600.01/3610.11 c CG auxiliary variables introduced 1728
3600.01/3610.11 c CG solutions found 1
3600.01/3610.11 c CG cores constructed 1013
3600.01/3610.11 c CG core cardinality constraints returned 0
3600.01/3610.11 c CG unit cores 0
3600.01/3610.11 c CG single cores 1013
3600.01/3610.11 c CG blocks removed during cardinality reduction 0
3600.01/3610.11 c CG first core best 0
3600.01/3610.11 c CG decision core best 0
3600.01/3610.11 c CG core reduction tie 0
3600.01/3610.11 c CG core degree average 1.00
3600.01/3610.11 c CG core slack average 3.71
3600.01/3610.11 c CG exhausted 0
3600.01/3610.11 c CG exhaust time 2094.76 s
3600.01/3610.11 c CG trimmed 0
3600.01/3610.11 c CG trim time 0.419121 s
3600.01/3610.11 c CG minimized 0
3600.01/3610.11 c CG minimize time 0 s
3600.01/3610.11 c CG am1 prop time 0.142719 s
3600.01/3610.11 c CG # am1s reformulated 0
3600.01/3610.11 c CG lower bound derived from am1s 0
3600.01/3610.11 c CG # clausal cores 1013
3600.01/3610.11 c CG # cardinality cores 0
3600.01/3610.11 c CG # pb cores 0
3600.01/3610.11 c CG # pb reforms 0
3600.01/3610.11 c CG # cores discarded because of pb reform 0
3600.01/3610.11 d LOWERBOUND 1013
3600.01/3610.11 d NCORES 1013
3600.01/3610.11 d NPBCORES 0
3600.01/3610.11 d NPBREFORM 0
3600.01/3610.11 d NTRIMMED 0
3600.01/3610.11 d NEXHAUSTED 0
3600.01/3610.11 d NAM1S 0
3600.01/3610.11 d AM1LB 0
3600.01/3610.11 o 1036
3600.01/3610.11 s SATISFIABLE
3600.01/3610.11 v -x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 x92 -x93 x94 -x95 x96 x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 x196 -x197 x198 x199 -x200 -x201 x202 -x203 x204 -x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 x228 x229 -x230 x231 -x232 x233 -x234 -x235 x236 x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 x255 -x256 -x257 x258 -x259 x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 x280 -x281 -x282 -x283 x284 x285 -x286 x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 x326 -x327 -x328 -x329 -x330 x331 x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 -x397 x398 x399 -x400 -x401 x402 x403 -x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 x428 x429 -x430 -x431 x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 x450 x451 -x452 -x453 x454 x455 -x456 -x457 x458 x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 x481 -x482 -x483 x484 x485 -x486 -x487 x488 x489 -x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 -x520 x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 x541 -x542 -x543 -x544 -x545 -x546 x547 x548 -x549 -x550 x551 x552 -x553 -x554 -x555 -x556 x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 x578 -x579 -x580 x581 x582 x583 x584 -x585 -x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 x644 -x645 -x646 -x647 -x648 -x649 x650 x651 -x652 -x653 x654 x655 -x656 -x657 -x658 x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 x677 -x678 -x679 x680 x681 -x682 -x683 x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 x702 x703 -x704 -x705 x706 x707 -x708 -x709 x710 x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 x733 -x734 -x735 x736 x737 -x738 -x739 x740 x741 -x742 x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 x763 -x764 -x765 x766 x767 -x768 -x769 -x770 -x771 -x772 x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 x793 -x794 -x795 -x796 -x797 -x798 x799 x800 -x801 -x802 x803 x804 -x805 -x806 -x807 -x808 x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 x830 -x831 -x832 x833 x834 x835 x836 -x837 -x838 x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 x856 -x857 -x858 x859 x860 -x861 -x862 -x863 -x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 x896 -x897 -x898 -x899 -x900 -x901 x902 x903 -x904 -x905 x906 x907 -x908 -x909 -x910 x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 x929 -x930 -x931 x932 x933 -x934 -x935 x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 x955 -x956 -x957 x958 x959 -x960 -x961 x962 x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 x985 -x986 -x987 x988 x989 -x990 -x991 x992 x993 -x994 x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 x1015 -x1016 -x1017 x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 -x1053 -x1054 x1055 x1056 -x1057 -x1058 -x1059 -x1060 x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 -x1083 -x1084 x1085 x1086 x1087 x1088 -x1089 -x1090 x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 x1108 -x1109 -x1110 x1111 x1112 -x1113 -x1114 -x1115 -x1116 x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 -x1157 x1158 x1159 -x1160 -x1161 -x1162 x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 x1181 -x1182 -x1183 x1184 x1185 -x1186 -x1187 x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 x1206 x1207 -x1208 -x1209 x1210 x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 x1237 -x1238 -x1239 x1240 x1241 -x1242 -x1243 x1244 x1245 -x1246 x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 x1267 -x1268 -x1269 x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 x1304 -x1305 -x1306 x1307 x1308 -x1309 -x1310 -x1311 -x1312 x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 -x1341 -x1342 x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 x1360 -x1361 -x1362 x1363 x1364 -x1365 -x1366 -x1367 -x1368 x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 x1407 -x1408 -x1409 x1410 x1411 -x1412 -x1413 -x1414 x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 x1433 -x1434 -x1435 x1436 x1437 -x1438 -x1439 x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 x1458 x1459 -x1460 -x1461 x1462 x1463 -x1464 -x1465 x1466 x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 x1489 -x1490 -x1491 x1492 x1493 -x1494 -x1495 x1496 x1497 -x1498 x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 x1519 -x1520 -x1521 x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 -x1587 -x1588 x1589 x1590 x1591 x1592 -x1593 -x1594 x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 x1612 -x1613 -x1614 x1615 x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 x1659 -x1660 -x1661 x1662 x1663 -x1664 -x1665 -x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 x1685 -x1686 -x1687 x1688 x1689 -x1690 -x1691 x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 x1710 x1711 -x1712 -x1713 x1714 x1715 -x1716 -x1717 x1718 x1719 -x1720 -x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 x1741 -x1742 -x1743 x1744 x1745 -x1746 -x1747 x1748 x1749 -x1750 x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 x1808 -x1809 -x1810 x1811 x1812 -x1813 -x1814 -x1815 -x1816 x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 x1838 -x1839 -x1840 x1841 x1842 x1843 x1844 -x1845 -x1846 x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 x1864 -x1865 -x1866 x1867 x1868 -x1869 -x1870 -x1871 -x1872 x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 x1911 -x1912 -x1913 x1914 x1915 -x1916 -x1917 -x1918 x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 x1940 x1941 -x1942 -x1943 x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 x1962 x1963 -x1964 -x1965 x1966 x1967 -x1968 -x1969 x1970 x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 x1993 -x1994 -x1995 x1996 x1997 -x1998 -x1999 x2000 x2001 -x2002 x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 x2023 -x2024 -x2025 x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 x2060 -x2061 -x2062 x2063 x2064 -x2065 -x2066 -x2067 -x2068 x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 x2090 -x2091 -x2092 x2093 x2094 x2095 x2096 -x2097 -x2098 x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 x2116 -x2117 -x2118 x2119 x2120 -x2121 -x2122 -x2123 -x2124 x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 x2163 -x2164 -x2165 x2166 x2167 -x2168 -x2169 -x2170 x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 x2189 -x2190 -x2191 x2192 x2193 -x2194 -x2195 x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 x2214 x2215 -x2216 -x2217 x2218 x2219 -x2220 -x2221 x2222 x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 x2245 -x2246 -x2247 x2248 x2249 -x2250 -x2251 x2252 x2253 -x2254 x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 x2275 -x2276 -x2277 x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 x2312 -x2313 -x2314 x2315 x2316 -x2317 -x2318 -x2319 -x2320 x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 -x2343 -x2344 x2345 x2346 x2347 x2348 -x2349 -x2350 x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 x2368 -x2369 -x2370 x2371 x2372 -x2373 -x2374 -x2375 -x2376 x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 x2415 -x2416 -x2417 x2418 x2419 -x2420 -x2421 -x2422 x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 x2441 -x2442 -x2443 x2444 x2445 -x2446 -x2447 x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 x2466 x2467 -x2468 -x2469 x2470 x2471 -x2472 -x2473 x2474 x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 x2497 -x2498 -x2499 x2500 x2501 -x2502 -x2503 x2504 x2505 -x2506 x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 x2527 -x2528 -x2529 x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 x2564 -x2565 -x2566 x2567 x2568 -x2569 -x2570 -x2571 -x2572 x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 x2594 -x2595 -x2596 x2597 x2598 x2599 x2600 -x2601 -x2602 x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 -x2627 -x2628 x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 x2667 -x2668 -x2669 x2670 x2671 -x2672 -x2673 -x2674 x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 x2693 -x2694 -x2695 x2696 x2697 -x2698 -x2699 x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 x2718 x2719 -x2720 -x2721 x2722 x2723 -x2724 -x2725 x2726 x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 x2749 -x2750 -x2751 x2752 x2753 -x2754 -x2755 x2756 x2757 -x2758 x2759 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 x2779 -x2780 -x2781 x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 x2815 x2816 -x2817 -x2818 x2819 x2820 -x2821 -x2822 -x2823 -x2824 x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 x2846 -x2847 -x2848 x2849 x2850 x2851 x2852 -x2853 -x2854 x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 x2872 -x2873 -x2874 x2875 x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 x2919 -x2920 -x2921 x2922 x2923 -x2924 -x2925 -x2926 x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 x2945 -x2946 -x2947 x2948 x2949 -x2950 -x2951 x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 x2969 x2970 x2971 -x2972 -x2973 x2974 x2975 -x2976 -x2977 x2978 x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 x3001 -x3002 -x3003 x3004 x3005 -x3006 -x3007 x3008 x3009 -x3010 x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 x3031 -x3032 -x3033 x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 x3068 -x3069 -x3070 x3071 x3072 -x3073 -x3074 -x3075 -x3076 x3077 x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 x3098 -x3099 -x3100 x3101 x3102 x3103 x3104 -x3105 -x3106 x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 x3124 -x3125 -x3126 x3127 x3128 -x3129 -x3130 -x3131 -x3132 x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 x3171 -x3172 -x3173 x3174 x3175 -x3176 -x3177 -x3178 x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 x3197 -x3198 -x3199 x3200 x3201 -x3202 -x3203 x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 x3222 x3223 -x3224 -x3225 x3226 x3227 -x3228 -x3229 x3230 x3231 -x3232 -x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 x3252 x3253 -x3254 -x3255 x3256 x3257 -x3258 -x3259 x3260 x3261 -x3262 x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 x3283 -x3284 -x3285 x3286 x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 x3303 x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 x3320 -x3321 -x3322 x3323 x3324 -x3325 -x3326 -x3327 -x3328 x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 x3349 x3350 -x3351 -x3352 x3353 x3354 x3355 x3356 -x3357 -x3358 x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 x3375 x3376 -x3377 -x3378 x3379 x3380 -x3381 -x3382 -x3383 -x3384 x3385 x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 x3415 x3416 -x3417 -x3418 -x3419 -x3420 -x3421 x3422 x3423 -x3424 -x3425 x3426 x3427 -x3428 -x3429 -x3430 x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 x3448 x3449 -x3450 -x3451 x3452 x3453 -x3454 -x3455 x3456 x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 x3474 x3475 -x3476 -x3477 x3478 x3479 -x3480 -x3481 x3482 x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 x3505 -x3506 -x3507 x3508 x3509 -x3510 -x3511 x3512 x3513 -x3514 x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 x3534 x3535 -x3536 -x3537 x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 x3564 x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 x3572 -x3573 -x3574 x3575 x3576 -x3577 -x3578 -x3579 -x3580 x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 x3602 -x3603 -x3604 x3605 x3606 x3607 x3608 -x3609 -x3610 x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 x3628 -x3629 -x3630 x3631 x3632 -x3633 -x3634 -x3635 -x3636 x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 x3667 x3668 -x3669 -x3670 -x3671 -x3672 -x3673 x3674 x3675 -x3676 -x3677 x3678 x3679 -x3680 -x3681 -x3682 x3683 x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 x3701 -x3702 -x3703 x3704 x3705 -x3706 -x3707 x3708 x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 x3725 x3726 x3727 -x3728 -x3729 x3730 x3731 -x3732 -x3733 x3734 x3735 -x3736 -x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 x3757 -x3758 -x3759 x3760 x3761 -x3762 -x3763 x3764 x3765 -x3766 x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 x3787 -x3788 -x3789 x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 x3816 x3817 -x3818 -x3819 -x3820 -x3821 -x3822 x3823 x3824 -x3825 -x3826 x3827 x3828 -x3829 -x3830 -x3831 -x3832 x3833 x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 x3854 -x3855 -x3856 x3857 x3858 x3859 x3860 -x3861 -x3862 x3863 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 x3879 x3880 -x3881 -x3882 x3883 x3884 -x3885 -x3886 -x3887 -x3888 x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 x3919 x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 x3927 -x3928 -x3929 x3930 x3931 -x3932 -x3933 -x3934 x3935 x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 x3952 x3953 -x3954 -x3955 x3956 x3957 -x3958 -x3959 x3960 x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 x3978 x3979 -x3980 -x3981 x3982 x3983 -x3984 -x3985 x3986 x3987 -x3988 -x3989 x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 x4009 -x4010 -x4011 x4012 x4013 -x4014 -x4015 x4016 x4017 -x4018 x4019 x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 x4029 -x4030 -x4031 -x4032 -x4033 x4034 -x4035 x4036 -x4037 x4038 -x4039 x4040 -x4041 x4042 -x4043 x4044 -x4045 x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63206 MiB free)
memory of node 1: 64465 MiB (62819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520752-1751575512/watcher-4520752-1751575512 -o /tmp/evaluation-result-4520752-1751575512/solver-4520752-1751575512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84437 --watchdog 3760 pb-oll-rs HOME/instance-4520752-1751575512.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=84487, runsolver pid=84479
[startup+0.100066 s]*
/proc/loadavg: 0.49 1.82 2.85 6/251 84497
/proc/meminfo: memFree=129043028/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=21716 memory=9460 CPUtime=0.08 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 895 0 0 0 5 3 0 0 20 0 1 0 73230395 22237184 2365 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 5429 2365 1280 243 0 1678 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 21716 KiB
Current children cumulated memory: 9460 KiB
[startup+0.214205 s]*
/proc/loadavg: 0.49 1.82 2.85 6/251 84497
/proc/meminfo: memFree=129040440/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=21716 memory=9460 CPUtime=0.2 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 913 0 0 0 16 4 0 0 20 0 1 0 73230395 22237184 2365 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 5429 2365 1280 243 0 1678 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21716 KiB
Current children cumulated memory: 9460 KiB
[startup+0.313381 s]*
/proc/loadavg: 0.49 1.82 2.85 6/251 84497
/proc/meminfo: memFree=129038928/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=21852 memory=11632 CPUtime=0.3 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 948 0 0 0 26 4 0 0 20 0 1 0 73230395 22376448 2908 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 5463 2908 1280 243 0 1712 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21852 KiB
Current children cumulated memory: 11632 KiB
[startup+0.700282 s]
/proc/loadavg: 0.49 1.82 2.85 6/251 84497
/proc/meminfo: memFree=129030108/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=30520 memory=19388 CPUtime=0.67 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 2367 0 0 0 61 6 0 0 20 0 1 0 73230395 31252480 4847 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 7630 4847 1280 243 0 3879 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 30520 KiB
Current children cumulated memory: 19388 KiB
[startup+1.50032 s]
/proc/loadavg: 0.49 1.82 2.85 6/251 84497
/proc/meminfo: memFree=129015744/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=60320 memory=41940 CPUtime=1.46 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 6476 0 0 0 136 10 0 0 20 0 1 0 73230395 61767680 10485 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 15080 10485 1280 243 0 11329 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 60320 KiB
Current children cumulated memory: 41940 KiB
[startup+3.11333 s]
/proc/loadavg: 0.77 1.85 2.86 6/251 84497
/proc/meminfo: memFree=128819516/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=124564 memory=104308 CPUtime=3.07 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 17475 0 0 0 291 16 0 0 20 0 1 0 73230395 127553536 26077 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 31141 26077 1280 243 0 27390 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 124564 KiB
Current children cumulated memory: 104308 KiB
[startup+6.3003 s]
/proc/loadavg: 0.77 1.85 2.86 6/252 84498
/proc/meminfo: memFree=128638124/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=208428 memory=154844 CPUtime=6.26 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 28091 0 0 0 599 27 0 0 20 0 1 0 73230395 213430272 38711 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 52107 38711 1280 243 0 48356 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 208428 KiB
Current children cumulated memory: 154844 KiB
[startup+12.7003 s]
/proc/loadavg: 1.11 1.91 2.87 6/252 84498
/proc/meminfo: memFree=128444940/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=223104 memory=207576 CPUtime=12.64 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 34623 0 0 0 1227 37 0 0 20 0 1 0 73230395 228458496 51894 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 55776 51894 1280 243 0 52025 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 223104 KiB
Current children cumulated memory: 207576 KiB
[startup+25.5003 s]
/proc/loadavg: 1.75 2.01 2.89 6/252 84499
/proc/meminfo: memFree=128271920/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=369576 memory=291452 CPUtime=25.4 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 49985 0 0 0 2484 56 0 0 20 0 1 0 73230395 378445824 72863 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 92394 72863 1280 243 0 88643 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 369576 KiB
Current children cumulated memory: 291452 KiB
[startup+51.1133 s]
/proc/loadavg: 2.52 2.17 2.92 6/252 84499
/proc/meminfo: memFree=127861520/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=513080 memory=441348 CPUtime=50.95 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 82395 0 0 0 5009 86 0 0 20 0 1 0 73230395 525393920 110337 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 128270 110337 1280 243 0 124519 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 513080 KiB
Current children cumulated memory: 441348 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 2.48 2.99 6/252 84501
/proc/meminfo: memFree=127690452/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=619924 memory=507380 CPUtime=101.99 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 92775 0 0 0 10052 147 0 0 20 0 1 0 73230395 634802176 126845 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 154981 126845 1280 243 0 151230 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 619924 KiB
Current children cumulated memory: 507380 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.78 3.06 6/252 84505
/proc/meminfo: memFree=127482492/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=752688 memory=616100 CPUtime=161.82 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 113318 0 0 0 15972 210 0 0 20 0 1 0 73230395 770752512 154025 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 188172 154025 1280 243 0 184421 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 752688 KiB
Current children cumulated memory: 616100 KiB
[startup+222.3 s]
/proc/loadavg: 3.95 3.00 3.12 6/253 84508
/proc/meminfo: memFree=127351016/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=889260 memory=686672 CPUtime=221.65 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 119732 0 0 0 21910 255 0 0 20 0 1 0 73230395 910602240 171668 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 222315 171668 1280 243 0 218564 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 889260 KiB
Current children cumulated memory: 686672 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.22 3.19 6/253 84510
/proc/meminfo: memFree=127120564/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=890248 memory=693328 CPUtime=281.48 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 121444 0 0 0 27852 296 0 0 20 0 1 0 73230395 911613952 173332 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 222562 173332 1280 243 0 218811 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 890248 KiB
Current children cumulated memory: 693328 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.38 3.25 6/252 84512
/proc/meminfo: memFree=126988608/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=892868 memory=708992 CPUtime=341.31 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 123295 0 0 0 33801 330 0 0 20 0 1 0 73230395 914296832 177248 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 223217 177248 1280 243 0 219466 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 892868 KiB
Current children cumulated memory: 708992 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.51 3.30 5/251 84559
/proc/meminfo: memFree=127144100/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=897804 memory=749112 CPUtime=401.15 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 127259 0 0 0 39742 373 0 0 20 0 1 0 73230395 919351296 187278 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 224451 187278 1280 243 0 220700 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 897804 KiB
Current children cumulated memory: 749112 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.62 3.36 5/252 84562
/proc/meminfo: memFree=127068788/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=901660 memory=763388 CPUtime=460.99 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 128770 0 0 0 45685 414 0 0 20 0 1 0 73230395 923299840 190847 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 225415 190847 1280 243 0 221664 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 1578512 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.19 4.16 5/250 84701
/proc/meminfo: memFree=124973568/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=1767688 memory=1595380 CPUtime=2914.09 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 235466 0 0 0 289392 2017 0 0 20 0 1 0 73230395 1810112512 398845 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 441922 398845 1280 243 0 438171 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 1767688 KiB
Current children cumulated memory: 1595380 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.17 4.16 5/251 84708
/proc/meminfo: memFree=124991680/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=1767688 memory=1595380 CPUtime=2973.93 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 235536 0 0 0 295351 2042 0 0 20 0 1 0 73230395 1810112512 398845 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 441922 398845 1280 243 0 438171 0
Current children cumulated CPU time: 2973.93 s
Current children cumulated vsize: 1767688 KiB
Current children cumulated memory: 1595380 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.15 4.15 5/251 84710
/proc/meminfo: memFree=124954188/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2172032 memory=1643488 CPUtime=3033.77 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 243515 0 0 0 301312 2065 0 0 20 0 1 0 73230395 2224160768 410872 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 543008 410872 1280 243 0 539257 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 2172032 KiB
Current children cumulated memory: 1643488 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.13 4.15 5/250 84712
/proc/meminfo: memFree=124877060/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2237864 memory=1721520 CPUtime=3093.6 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 254316 0 0 0 307269 2091 0 0 20 0 1 0 73230395 2291572736 430380 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 559466 430380 1280 243 0 555715 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 2237864 KiB
Current children cumulated memory: 1721520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/250 84716
/proc/meminfo: memFree=124883528/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2237864 memory=1721520 CPUtime=3153.43 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 254316 0 0 0 313220 2123 0 0 20 0 1 0 73230395 2291572736 430380 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 559466 430380 1280 243 0 555715 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 2237864 KiB
Current children cumulated memory: 1721520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/250 84718
/proc/meminfo: memFree=124875488/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2237864 memory=1721520 CPUtime=3213.26 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 254317 0 0 0 319174 2152 0 0 20 0 1 0 73230395 2291572736 430380 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 559466 430380 1280 243 0 555715 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 2237864 KiB
Current children cumulated memory: 1721520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/251 84721
/proc/meminfo: memFree=124874528/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2242076 memory=1723696 CPUtime=3273.1 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 254885 0 0 0 325137 2173 0 0 20 0 1 0 73230395 2295885824 430924 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 560519 430924 1280 243 0 556768 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 2242076 KiB
Current children cumulated memory: 1723696 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/251 84723
/proc/meminfo: memFree=124829588/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2247692 memory=1764388 CPUtime=3332.93 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 255856 0 0 0 331101 2192 0 0 20 0 1 0 73230395 2301636608 441097 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 561923 441097 1280 243 0 558172 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 2247692 KiB
Current children cumulated memory: 1764388 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/251 84725
/proc/meminfo: memFree=124803260/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2248160 memory=1764644 CPUtime=3392.76 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 255919 0 0 0 337056 2220 0 0 20 0 1 0 73230395 2302115840 441161 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 562040 441161 1280 243 0 558289 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 2248160 KiB
Current children cumulated memory: 1764644 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/251 84727
/proc/meminfo: memFree=124759520/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2248160 memory=1764644 CPUtime=3452.6 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 255920 0 0 0 343005 2255 0 0 20 0 1 0 73230395 2302115840 441161 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 562040 441161 1280 243 0 558289 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 2248160 KiB
Current children cumulated memory: 1764644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/252 84730
/proc/meminfo: memFree=124761596/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2248160 memory=1764644 CPUtime=3512.44 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 255920 0 0 0 348966 2278 0 0 20 0 1 0 73230395 2302115840 441161 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 562040 441161 1280 243 0 558289 0
Current children cumulated CPU time: 3512.44 s
Current children cumulated vsize: 2248160 KiB
Current children cumulated memory: 1764644 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/251 84736
/proc/meminfo: memFree=124762932/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2248160 memory=1764644 CPUtime=3572.27 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 255920 0 0 0 354932 2295 0 0 20 0 1 0 73230395 2302115840 441161 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 562040 441161 1280 243 0 558289 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 2248160 KiB
Current children cumulated memory: 1764644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.17 4.11 4.11 5/250 84736
/proc/meminfo: memFree=124756024/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2248160 memory=1764644 CPUtime=3600.01 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 255920 0 0 0 357696 2305 0 0 20 0 1 0 73230395 2302115840 441161 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 562040 441161 1280 243 0 558289 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2248160 KiB
Current children cumulated memory: 1764644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.15 s]
# the end of solver process 84487 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.97 s, system=23.0797 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.17 4.11 4.11 5/250 84736
/proc/meminfo: memFree=124756024/131382116 swapFree=33009904/33010684
[pid=84487] ppid=84479 vsize=2248160 memory=1764644 CPUtime=3600.01 cores=0,2
/proc/84487/stat : 84487 (pb-oll-rs) R 84479 84487 84427 0 -1 4194304 255920 0 0 0 357696 2305 0 0 20 0 1 0 73230395 2302115840 441161 18446744073709551615 4218880 5211445 140732865380768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 10366976 140732865386908 140732865386985 140732865386985 140732865392587 0
/proc/84487/statm: 562040 441161 1280 243 0 558289 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2248160 KiB
Current children cumulated memory: 1764644 KiB
Child status: 0
Real time (s): 3610.15
CPU time (s): 3600.05
CPU user time (s): 3576.97
CPU system time (s): 23.0797
CPU usage (%): 99.7203
Max. virtual memory (cumulated for all children) (KiB): 2248160
Max. memory (cumulated for all children) (KiB): 1764644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.97
system time used= 23.0797
maximum resident set size= 1765028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 343
involuntary context switches= 8296
# summary of solver processes directly reported to runsolver:
# pid: 84487
# total CPU time (s): 3600.05
# total CPU user time (s): 3576.97
# total CPU system time (s): 23.0797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5718 second user time and 35.2387 second system time
The end
Begin job on nodeC004 at 2025-07-03 22:45:12
IDJOB=4520752
IDBENCH=178124
IDSOLVER=3345
FILE ID=nodeC004/4520752-1751575512
RUNJOBID= nodeC004-1751575512-84437
SLURM_JOB_ID= 9598804
Free space on /tmp= 431680 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520752-1751575512/watcher-4520752-1751575512 -o /tmp/evaluation-result-4520752-1751575512/solver-4520752-1751575512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84437 --watchdog 3760 pb-oll-rs HOME/instance-4520752-1751575512.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae0481323a61a83bdee40ab7f1cf5730
RANDOM SEED=1604522288
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.219
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.587
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.426
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.213
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.394
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.592
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129024408 kB
MemAvailable: 129824672 kB
Buffers: 2128 kB
Cached: 1549676 kB
SwapCached: 32 kB
Active: 662364 kB
Inactive: 955684 kB
Active(anon): 73428 kB
Inactive(anon): 10748 kB
Active(file): 588936 kB
Inactive(file): 944936 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7900 kB
Writeback: 0 kB
AnonPages: 69284 kB
Mapped: 103336 kB
Shmem: 17932 kB
KReclaimable: 212036 kB
Slab: 298776 kB
SReclaimable: 212036 kB
SUnreclaim: 86740 kB
KernelStack: 3792 kB
PageTables: 2824 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 339940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431668 MiB
End job on nodeC004 at 2025-07-03 23:45:23