0.00/0.04	c RoundingSat 2
0.00/0.04	c branch 
0.00/0.04	c commit 
0.00/0.04	c with Papilo
0.00/0.04	c with SCIP
0.00/0.04	c [STEP] parsing instance
0.07/0.16	c [STEP] preprocessing with Papilo
0.07/0.20	c Papilo could not simplify the problem
0.07/0.20	c [STEP] solving with SCIP
299.16/300.31	c [STEP] preprocessing done, loading into solver
299.16/300.33	c [STEP] solving
299.16/300.33	c #variables 7931 #constraints 14604
299.16/300.33	c SMALL=int, LARGE=long long
299.16/300.33	d SCIPUB 2990
299.16/300.33	c bounds - >= 0 @ 298.896
299.16/300.33	c stratification level: 0
300.15/301.39	c bounds - >= 1 @ 298.932
300.15/301.39	c bounds - >= 2 @ 298.937
300.15/301.39	c bounds - >= 3 @ 298.939
300.15/301.39	c bounds - >= 4 @ 298.941
300.15/301.39	c bounds - >= 5 @ 298.945
300.15/301.39	c bounds - >= 6 @ 298.947
300.15/301.39	c bounds - >= 7 @ 298.95
300.15/301.39	c bounds - >= 8 @ 298.953
300.15/301.39	c bounds - >= 9 @ 298.956
300.15/301.39	c bounds - >= 10 @ 298.959
300.15/301.39	c bounds - >= 11 @ 298.961
300.15/301.39	c bounds - >= 12 @ 298.964
300.15/301.39	c bounds - >= 13 @ 298.965
300.15/301.39	c bounds - >= 14 @ 298.967
300.15/301.39	c bounds - >= 15 @ 298.971
300.15/301.39	c bounds - >= 16 @ 298.972
300.15/301.39	c bounds - >= 17 @ 298.974
300.15/301.39	c bounds - >= 18 @ 298.976
300.15/301.39	c bounds - >= 19 @ 298.978
300.15/301.39	c bounds - >= 20 @ 298.981
300.15/301.39	c bounds - >= 21 @ 298.984
300.15/301.39	c bounds - >= 22 @ 298.986
300.15/301.39	c bounds - >= 23 @ 298.987
300.15/301.39	c bounds - >= 24 @ 298.989
300.15/301.39	c bounds - >= 25 @ 298.992
300.15/301.39	c bounds - >= 26 @ 298.997
300.15/301.39	c bounds - >= 27 @ 298.998
300.15/301.39	c bounds - >= 28 @ 299.001
300.15/301.39	c bounds - >= 29 @ 299.004
300.15/301.39	c bounds - >= 30 @ 299.007
300.15/301.39	c bounds - >= 31 @ 299.009
300.15/301.39	c bounds - >= 32 @ 299.014
300.15/301.39	c bounds - >= 33 @ 299.017
300.15/301.39	c bounds - >= 34 @ 299.02
300.15/301.39	c bounds - >= 35 @ 299.021
300.15/301.39	c bounds - >= 36 @ 299.025
300.15/301.39	c bounds - >= 37 @ 299.028
300.15/301.39	c bounds - >= 38 @ 299.031
300.15/301.39	c bounds - >= 39 @ 299.033
300.15/301.39	c bounds - >= 40 @ 299.034
300.15/301.39	c bounds - >= 41 @ 299.036
300.15/301.39	c bounds - >= 42 @ 299.037
300.15/301.39	c bounds - >= 43 @ 299.04
300.15/301.39	c bounds - >= 44 @ 299.042
300.15/301.39	c bounds - >= 45 @ 299.043
300.15/301.39	c bounds - >= 46 @ 299.043
300.15/301.39	c bounds - >= 47 @ 299.045
300.15/301.39	c bounds - >= 48 @ 299.048
300.15/301.39	c bounds - >= 49 @ 299.05
300.15/301.39	c bounds - >= 50 @ 299.051
300.15/301.39	c bounds - >= 51 @ 299.054
300.15/301.39	c bounds - >= 52 @ 299.058
300.15/301.39	c bounds - >= 53 @ 299.061
300.15/301.39	c bounds - >= 54 @ 299.064
300.15/301.39	c bounds - >= 55 @ 299.067
300.15/301.39	c bounds - >= 56 @ 299.068
300.15/301.39	c bounds - >= 57 @ 299.07
300.15/301.39	c bounds - >= 58 @ 299.073
300.15/301.39	c bounds - >= 59 @ 299.074
300.15/301.39	c bounds - >= 60 @ 299.076
300.15/301.39	c bounds - >= 61 @ 299.079
300.15/301.39	c bounds - >= 62 @ 299.081
300.15/301.39	c bounds - >= 63 @ 299.084
300.15/301.39	c bounds - >= 64 @ 299.085
300.15/301.39	c bounds - >= 65 @ 299.088
300.15/301.39	c bounds - >= 66 @ 299.091
300.15/301.39	c bounds - >= 67 @ 299.094
300.15/301.39	c bounds - >= 68 @ 299.096
300.15/301.39	c bounds - >= 69 @ 299.097
300.15/301.39	c bounds - >= 70 @ 299.099
300.15/301.39	c bounds - >= 71 @ 299.1
300.15/301.39	c bounds - >= 72 @ 299.103
300.15/301.39	c bounds - >= 73 @ 299.104
300.15/301.39	c bounds - >= 74 @ 299.105
300.15/301.39	c bounds - >= 75 @ 299.107
300.15/301.39	c bounds - >= 76 @ 299.11
300.15/301.39	c bounds - >= 77 @ 299.112
300.15/301.39	c bounds - >= 78 @ 299.114
300.15/301.39	c bounds - >= 79 @ 299.117
300.15/301.39	c bounds - >= 80 @ 299.12
300.15/301.39	c bounds - >= 81 @ 299.123
300.15/301.39	c bounds - >= 82 @ 299.126
300.15/301.39	c bounds - >= 83 @ 299.128
300.15/301.39	c bounds - >= 84 @ 299.129
300.15/301.39	c bounds - >= 85 @ 299.131
300.15/301.39	c bounds - >= 86 @ 299.133
300.15/301.39	c bounds - >= 87 @ 299.133
300.15/301.39	c bounds - >= 88 @ 299.137
300.15/301.39	c bounds - >= 89 @ 299.138
300.15/301.39	c bounds - >= 90 @ 299.141
300.15/301.39	c bounds - >= 91 @ 299.144
300.15/301.39	c bounds - >= 92 @ 299.147
300.15/301.39	c bounds - >= 93 @ 299.148
300.15/301.39	c bounds - >= 94 @ 299.15
300.15/301.39	c bounds - >= 95 @ 299.151
300.15/301.39	c bounds - >= 96 @ 299.153
300.15/301.39	c bounds - >= 97 @ 299.155
300.15/301.39	c bounds - >= 98 @ 299.157
300.15/301.39	c bounds - >= 99 @ 299.159
300.15/301.39	c bounds - >= 100 @ 299.159
300.15/301.39	c bounds - >= 101 @ 299.161
300.15/301.39	c bounds - >= 102 @ 299.163
300.15/301.39	c bounds - >= 103 @ 299.166
300.15/301.39	c bounds - >= 104 @ 299.167
300.15/301.39	c bounds - >= 105 @ 299.168
300.15/301.39	c bounds - >= 106 @ 299.169
300.15/301.39	c bounds - >= 107 @ 299.174
300.15/301.39	c bounds - >= 108 @ 299.176
300.15/301.39	c bounds - >= 109 @ 299.179
300.15/301.39	c bounds - >= 110 @ 299.181
300.15/301.39	c bounds - >= 111 @ 299.185
300.15/301.39	c bounds - >= 112 @ 299.187
300.15/301.39	c bounds - >= 113 @ 299.191
300.15/301.39	c bounds - >= 114 @ 299.194
300.15/301.39	c bounds - >= 115 @ 299.195
300.15/301.39	c bounds - >= 116 @ 299.199
300.15/301.39	c bounds - >= 117 @ 299.2
300.15/301.39	c bounds - >= 118 @ 299.202
300.15/301.39	c bounds - >= 119 @ 299.204
300.15/301.39	c bounds - >= 120 @ 299.205
300.15/301.39	c bounds - >= 121 @ 299.209
300.15/301.39	c bounds - >= 122 @ 299.209
300.15/301.39	c bounds - >= 123 @ 299.211
300.15/301.39	c bounds - >= 124 @ 299.213
300.15/301.39	c bounds - >= 125 @ 299.214
300.15/301.39	c bounds - >= 126 @ 299.217
300.15/301.39	c bounds - >= 127 @ 299.218
300.15/301.39	c bounds - >= 128 @ 299.222
300.15/301.39	c bounds - >= 129 @ 299.223
300.15/301.39	c bounds - >= 130 @ 299.226
300.15/301.39	c bounds - >= 131 @ 299.228
300.15/301.39	c bounds - >= 132 @ 299.231
300.15/301.39	c bounds - >= 133 @ 299.233
300.15/301.39	c bounds - >= 134 @ 299.236
300.15/301.39	c bounds - >= 135 @ 299.238
300.15/301.39	c bounds - >= 136 @ 299.241
300.15/301.39	c bounds - >= 137 @ 299.242
300.15/301.39	c bounds - >= 138 @ 299.246
300.15/301.39	c bounds - >= 139 @ 299.247
300.15/301.39	c bounds - >= 140 @ 299.248
300.15/301.39	c bounds - >= 141 @ 299.25
300.15/301.39	c bounds - >= 142 @ 299.25
300.15/301.39	c bounds - >= 143 @ 299.253
300.15/301.39	c bounds - >= 144 @ 299.254
300.15/301.39	c bounds - >= 145 @ 299.256
300.15/301.39	c bounds - >= 146 @ 299.259
300.15/301.39	c bounds - >= 147 @ 299.26
300.15/301.39	c bounds - >= 148 @ 299.264
300.15/301.39	c bounds - >= 149 @ 299.268
300.15/301.39	c bounds - >= 150 @ 299.27
300.15/301.39	c bounds - >= 151 @ 299.271
301.15/302.30	c bounds - >= 152 @ 299.275
301.15/302.30	c bounds - >= 153 @ 299.278
301.15/302.30	c bounds - >= 154 @ 299.279
301.15/302.30	c bounds - >= 155 @ 299.282
301.15/302.30	c bounds - >= 156 @ 299.285
301.15/302.30	c bounds - >= 157 @ 299.287
301.15/302.30	c bounds - >= 158 @ 299.289
301.15/302.30	c bounds - >= 159 @ 299.291
301.15/302.30	c bounds - >= 160 @ 299.292
301.15/302.30	c bounds - >= 161 @ 299.295
301.15/302.30	c bounds - >= 162 @ 299.297
301.15/302.30	c bounds - >= 163 @ 299.299
301.15/302.30	c bounds - >= 164 @ 299.302
301.15/302.30	c bounds - >= 165 @ 299.305
301.15/302.30	c bounds - >= 166 @ 299.308
301.15/302.30	c bounds - >= 167 @ 299.311
301.15/302.30	c bounds - >= 168 @ 299.312
301.15/302.30	c bounds - >= 169 @ 299.313
301.15/302.30	c bounds - >= 170 @ 299.314
301.15/302.30	c bounds - >= 171 @ 299.317
301.15/302.30	c bounds - >= 172 @ 299.319
301.15/302.30	c bounds - >= 173 @ 299.322
301.15/302.30	c bounds - >= 174 @ 299.323
301.15/302.30	c bounds - >= 175 @ 299.326
301.15/302.30	c bounds - >= 176 @ 299.328
301.15/302.30	c bounds - >= 177 @ 299.329
301.15/302.30	c bounds - >= 178 @ 299.333
301.15/302.30	c bounds - >= 179 @ 299.335
301.15/302.30	c bounds - >= 180 @ 299.337
301.15/302.30	c bounds - >= 181 @ 299.34
301.15/302.30	c bounds - >= 182 @ 299.344
301.15/302.30	c bounds - >= 183 @ 299.346
301.15/302.30	c bounds - >= 184 @ 299.349
301.15/302.30	c bounds - >= 185 @ 299.351
301.15/302.30	c bounds - >= 186 @ 299.353
301.15/302.30	c bounds - >= 187 @ 299.357
301.15/302.30	c bounds - >= 188 @ 299.36
301.15/302.30	c bounds - >= 189 @ 299.363
301.15/302.30	c bounds - >= 190 @ 299.365
301.15/302.30	c bounds - >= 191 @ 299.367
301.15/302.30	c bounds - >= 192 @ 299.368
301.15/302.30	c bounds - >= 193 @ 299.372
301.15/302.30	c bounds - >= 194 @ 299.375
301.15/302.30	c bounds - >= 195 @ 299.379
301.15/302.30	c bounds - >= 196 @ 299.383
301.15/302.30	c bounds - >= 197 @ 299.387
301.15/302.30	c bounds - >= 198 @ 299.391
301.15/302.30	c bounds - >= 199 @ 299.393
301.15/302.30	c bounds - >= 200 @ 299.396
301.15/302.30	c bounds - >= 201 @ 299.399
301.15/302.30	c bounds - >= 202 @ 299.403
301.15/302.30	c bounds - >= 203 @ 299.405
301.15/302.30	c bounds - >= 204 @ 299.409
301.15/302.30	c bounds - >= 205 @ 299.411
301.15/302.30	c bounds - >= 206 @ 299.413
301.15/302.30	c bounds - >= 207 @ 299.415
301.15/302.30	c bounds - >= 208 @ 299.416
301.15/302.30	c bounds - >= 209 @ 299.419
301.15/302.30	c bounds - >= 210 @ 299.422
301.15/302.30	c bounds - >= 211 @ 299.423
301.15/302.30	c bounds - >= 212 @ 299.427
301.15/302.30	c bounds - >= 213 @ 299.431
301.15/302.30	c bounds - >= 214 @ 299.432
301.15/302.30	c bounds - >= 215 @ 299.434
301.15/302.30	c bounds - >= 216 @ 299.437
301.15/302.30	c bounds - >= 217 @ 299.44
301.15/302.30	c bounds - >= 218 @ 299.44
301.15/302.30	c bounds - >= 219 @ 299.442
301.15/302.30	c bounds - >= 220 @ 299.445
301.15/302.30	c bounds - >= 221 @ 299.447
301.15/302.30	c bounds - >= 222 @ 299.449
301.15/302.30	c bounds - >= 223 @ 299.451
301.15/302.30	c bounds - >= 224 @ 299.453
301.15/302.30	c bounds - >= 225 @ 299.454
301.15/302.30	c bounds - >= 226 @ 299.456
301.15/302.30	c bounds - >= 227 @ 299.457
301.15/302.30	c bounds - >= 228 @ 299.459
301.15/302.30	c bounds - >= 229 @ 299.464
301.15/302.30	c bounds - >= 230 @ 299.467
301.15/302.30	c bounds - >= 231 @ 299.469
301.15/302.30	c bounds - >= 232 @ 299.471
301.15/302.30	c bounds - >= 233 @ 299.471
301.15/302.30	c bounds - >= 234 @ 299.472
301.15/302.30	c bounds - >= 235 @ 299.474
301.15/302.30	c bounds - >= 236 @ 299.477
301.15/302.30	c bounds - >= 237 @ 299.48
301.15/302.30	c bounds - >= 238 @ 299.483
301.15/302.30	c bounds - >= 239 @ 299.483
301.15/302.30	c bounds - >= 240 @ 299.484
301.15/302.30	c bounds - >= 241 @ 299.486
301.15/302.30	c bounds - >= 242 @ 299.489
301.15/302.30	c bounds - >= 243 @ 299.49
301.15/302.30	c bounds - >= 244 @ 299.492
301.15/302.30	c bounds - >= 245 @ 299.494
301.15/302.30	c bounds - >= 246 @ 299.495
301.15/302.30	c bounds - >= 247 @ 299.495
301.15/302.30	c bounds - >= 248 @ 299.497
301.15/302.30	c bounds - >= 249 @ 299.498
301.15/302.30	c bounds - >= 250 @ 299.5
301.15/302.30	c bounds - >= 251 @ 299.504
301.15/302.30	c bounds - >= 252 @ 299.506
301.15/302.30	c bounds - >= 253 @ 299.508
301.15/302.30	c bounds - >= 254 @ 299.512
301.15/302.30	c bounds - >= 255 @ 299.515
301.15/302.30	c bounds - >= 256 @ 299.516
301.15/302.30	c bounds - >= 257 @ 299.518
301.15/302.30	c bounds - >= 258 @ 299.522
301.15/302.30	c bounds - >= 259 @ 299.524
301.15/302.30	c bounds - >= 260 @ 299.527
301.15/302.30	c bounds - >= 261 @ 299.53
301.15/302.30	c bounds - >= 262 @ 299.533
301.15/302.30	c bounds - >= 263 @ 299.535
301.15/302.30	c bounds - >= 264 @ 299.538
301.15/302.30	c bounds - >= 265 @ 299.541
301.15/302.30	c bounds - >= 266 @ 299.543
301.15/302.30	c bounds - >= 267 @ 299.544
301.15/302.30	c bounds - >= 268 @ 299.546
301.15/302.30	c bounds - >= 269 @ 299.548
301.15/302.30	c bounds - >= 270 @ 299.55
301.15/302.30	c bounds - >= 271 @ 299.55
301.15/302.30	c bounds - >= 272 @ 299.552
301.15/302.30	c bounds - >= 273 @ 299.553
301.15/302.30	c bounds - >= 274 @ 299.556
301.15/302.30	c bounds - >= 275 @ 299.558
301.15/302.30	c bounds - >= 276 @ 299.56
301.15/302.30	c bounds - >= 277 @ 299.562
301.15/302.30	c bounds - >= 278 @ 299.563
301.15/302.30	c bounds - >= 279 @ 299.564
301.15/302.30	c bounds - >= 280 @ 299.567
301.15/302.30	c bounds - >= 281 @ 299.569
301.15/302.30	c bounds - >= 282 @ 299.571
301.15/302.30	c bounds - >= 283 @ 299.573
301.15/302.30	c bounds - >= 284 @ 299.574
301.15/302.30	c bounds - >= 285 @ 299.575
301.15/302.30	c bounds - >= 286 @ 299.577
301.15/302.30	c bounds - >= 287 @ 299.578
301.15/302.30	c bounds - >= 288 @ 299.58
301.15/302.30	c bounds - >= 289 @ 299.581
301.15/302.30	c bounds - >= 290 @ 299.583
301.15/302.30	c bounds - >= 291 @ 299.586
301.15/302.30	c bounds - >= 292 @ 299.59
301.15/302.30	c bounds - >= 293 @ 299.591
301.15/302.30	c bounds - >= 294 @ 299.596
301.15/302.30	c bounds - >= 295 @ 299.598
301.15/302.30	c bounds - >= 296 @ 299.599
301.15/302.30	c bounds - >= 297 @ 299.601
301.15/302.30	c bounds - >= 298 @ 299.603
301.96/303.14	c bounds - >= 299 @ 299.606
301.96/303.14	c bounds - >= 300 @ 299.607
301.96/303.14	c bounds - >= 301 @ 299.609
301.96/303.14	c bounds - >= 302 @ 299.611
301.96/303.14	c bounds - >= 303 @ 299.614
301.96/303.14	c bounds - >= 304 @ 299.617
301.96/303.14	c bounds - >= 305 @ 299.621
301.96/303.14	c bounds - >= 306 @ 299.623
301.96/303.14	c bounds - >= 307 @ 299.624
301.96/303.14	c bounds - >= 308 @ 299.626
301.96/303.14	c bounds - >= 309 @ 299.629
301.96/303.14	c bounds - >= 310 @ 299.631
301.96/303.14	c bounds - >= 311 @ 299.632
301.96/303.14	c bounds - >= 312 @ 299.633
301.96/303.14	c bounds - >= 313 @ 299.636
301.96/303.14	c bounds - >= 314 @ 299.64
301.96/303.14	c bounds - >= 315 @ 299.64
301.96/303.14	c bounds - >= 316 @ 299.644
301.96/303.14	c bounds - >= 317 @ 299.645
301.96/303.14	c bounds - >= 318 @ 299.647
301.96/303.14	c bounds - >= 319 @ 299.651
301.96/303.14	c bounds - >= 320 @ 299.653
301.96/303.14	c bounds - >= 321 @ 299.656
301.96/303.14	c bounds - >= 322 @ 299.659
301.96/303.14	c bounds - >= 323 @ 299.662
301.96/303.14	c bounds - >= 324 @ 299.662
301.96/303.14	c bounds - >= 325 @ 299.664
301.96/303.14	c bounds - >= 326 @ 299.665
301.96/303.14	c bounds - >= 327 @ 299.667
301.96/303.14	c bounds - >= 328 @ 299.669
301.96/303.14	c bounds - >= 329 @ 299.672
301.96/303.14	c bounds - >= 330 @ 299.675
301.96/303.14	c bounds - >= 331 @ 299.676
301.96/303.14	c bounds - >= 332 @ 299.678
301.96/303.14	c bounds - >= 333 @ 299.68
301.96/303.14	c bounds - >= 334 @ 299.683
301.96/303.14	c bounds - >= 335 @ 299.688
301.96/303.14	c bounds - >= 336 @ 299.689
301.96/303.14	c bounds - >= 337 @ 299.691
301.96/303.14	c bounds - >= 338 @ 299.693
301.96/303.14	c bounds - >= 339 @ 299.696
301.96/303.14	c bounds - >= 340 @ 299.699
301.96/303.14	c bounds - >= 341 @ 299.701
301.96/303.14	c bounds - >= 342 @ 299.702
301.96/303.14	c bounds - >= 343 @ 299.705
301.96/303.14	c bounds - >= 344 @ 299.709
301.96/303.14	c bounds - >= 345 @ 299.713
301.96/303.14	c bounds - >= 346 @ 299.716
301.96/303.14	c bounds - >= 347 @ 299.719
301.96/303.14	c bounds - >= 348 @ 299.72
301.96/303.14	c bounds - >= 349 @ 299.722
301.96/303.14	c bounds - >= 350 @ 299.724
301.96/303.14	c bounds - >= 351 @ 299.728
301.96/303.14	c bounds - >= 352 @ 299.731
301.96/303.14	c bounds - >= 353 @ 299.734
301.96/303.14	c bounds - >= 354 @ 299.738
301.96/303.14	c bounds - >= 355 @ 299.74
301.96/303.14	c bounds - >= 356 @ 299.741
301.96/303.14	c bounds - >= 357 @ 299.744
301.96/303.14	c bounds - >= 358 @ 299.746
301.96/303.14	c bounds - >= 359 @ 299.748
301.96/303.14	c bounds - >= 360 @ 299.75
301.96/303.14	c bounds - >= 361 @ 299.751
301.96/303.14	c bounds - >= 362 @ 299.753
301.96/303.14	c bounds - >= 363 @ 299.755
301.96/303.14	c bounds - >= 364 @ 299.756
301.96/303.14	c bounds - >= 365 @ 299.757
301.96/303.14	c bounds - >= 366 @ 299.759
301.96/303.14	c bounds - >= 367 @ 299.761
301.96/303.14	c bounds - >= 368 @ 299.764
301.96/303.14	c bounds - >= 369 @ 299.765
301.96/303.14	c bounds - >= 370 @ 299.766
301.96/303.14	c bounds - >= 371 @ 299.768
301.96/303.14	c bounds - >= 372 @ 299.769
301.96/303.14	c bounds - >= 373 @ 299.773
301.96/303.14	c bounds - >= 374 @ 299.774
301.96/303.14	c bounds - >= 375 @ 299.776
301.96/303.14	c bounds - >= 376 @ 299.777
301.96/303.14	c bounds - >= 377 @ 299.78
301.96/303.14	c bounds - >= 378 @ 299.782
301.96/303.14	c bounds - >= 379 @ 299.784
301.96/303.14	c bounds - >= 380 @ 299.786
301.96/303.14	c bounds - >= 381 @ 299.789
301.96/303.14	c bounds - >= 382 @ 299.791
301.96/303.14	c bounds - >= 383 @ 299.792
301.96/303.14	c bounds - >= 384 @ 299.794
301.96/303.14	c bounds - >= 385 @ 299.797
301.96/303.14	c bounds - >= 386 @ 299.799
301.96/303.14	c bounds - >= 387 @ 299.801
301.96/303.14	c bounds - >= 388 @ 299.804
301.96/303.14	c bounds - >= 389 @ 299.809
301.96/303.14	c bounds - >= 390 @ 299.811
301.96/303.14	c bounds - >= 391 @ 299.814
301.96/303.14	c bounds - >= 392 @ 299.816
301.96/303.14	c bounds - >= 393 @ 299.819
301.96/303.14	c bounds - >= 394 @ 299.823
301.96/303.14	c bounds - >= 395 @ 299.825
301.96/303.14	c bounds - >= 396 @ 299.826
301.96/303.14	c bounds - >= 397 @ 299.828
301.96/303.14	c bounds - >= 398 @ 299.83
301.96/303.14	c bounds - >= 399 @ 299.831
301.96/303.14	c bounds - >= 400 @ 299.833
301.96/303.14	c bounds - >= 401 @ 299.836
301.96/303.14	c bounds - >= 402 @ 299.837
301.96/303.14	c bounds - >= 403 @ 299.839
301.96/303.14	c bounds - >= 404 @ 299.841
301.96/303.14	c bounds - >= 405 @ 299.842
301.96/303.14	c bounds - >= 406 @ 299.845
301.96/303.14	c bounds - >= 407 @ 299.847
301.96/303.14	c bounds - >= 408 @ 299.852
301.96/303.14	c bounds - >= 409 @ 299.857
301.96/303.14	c bounds - >= 410 @ 299.86
301.96/303.14	c bounds - >= 411 @ 299.862
301.96/303.14	c bounds - >= 412 @ 299.866
301.96/303.14	c bounds - >= 413 @ 299.867
301.96/303.14	c bounds - >= 414 @ 299.869
301.96/303.14	c bounds - >= 415 @ 299.87
301.96/303.14	c bounds - >= 416 @ 299.872
301.96/303.14	c bounds - >= 417 @ 299.874
301.96/303.14	c bounds - >= 418 @ 299.876
301.96/303.14	c bounds - >= 419 @ 299.877
301.96/303.14	c bounds - >= 420 @ 299.878
301.96/303.14	c bounds - >= 421 @ 299.881
301.96/303.14	c bounds - >= 422 @ 299.882
301.96/303.14	c bounds - >= 423 @ 299.884
301.96/303.14	c bounds - >= 424 @ 299.887
301.96/303.14	c bounds - >= 425 @ 299.889
301.96/303.14	c bounds - >= 426 @ 299.893
301.96/303.14	c bounds - >= 427 @ 299.895
301.96/303.14	c bounds - >= 428 @ 299.896
301.96/303.14	c bounds - >= 429 @ 299.897
301.96/303.14	c bounds - >= 430 @ 299.9
301.96/303.14	c bounds - >= 431 @ 299.902
301.96/303.14	c bounds - >= 432 @ 299.904
301.96/303.14	c bounds - >= 433 @ 299.908
301.96/303.14	c bounds - >= 434 @ 299.909
301.96/303.14	c bounds - >= 435 @ 299.911
301.96/303.14	c bounds - >= 436 @ 299.911
301.96/303.14	c #Conflicts:       1000 | #Constraints:      16040
301.96/303.14	c bounds - >= 437 @ 299.914
301.96/303.14	c bounds - >= 438 @ 299.915
301.96/303.14	c bounds - >= 439 @ 299.917
301.96/303.14	c bounds - >= 440 @ 299.92
301.96/303.14	c bounds - >= 441 @ 299.922
301.96/303.14	c bounds - >= 442 @ 299.923
301.96/303.14	c bounds - >= 443 @ 299.925
302.74/303.90	c bounds - >= 444 @ 299.926
302.74/303.90	c bounds - >= 445 @ 299.928
302.74/303.90	c bounds - >= 446 @ 299.93
302.74/303.90	c bounds - >= 447 @ 299.933
302.74/303.90	c bounds - >= 448 @ 299.934
302.74/303.90	c bounds - >= 449 @ 299.937
302.74/303.90	c bounds - >= 450 @ 299.939
302.74/303.90	c bounds - >= 451 @ 299.942
302.74/303.90	c bounds - >= 452 @ 299.944
302.74/303.90	c bounds - >= 453 @ 299.947
302.74/303.90	c bounds - >= 454 @ 299.949
302.74/303.90	c bounds - >= 455 @ 299.95
302.74/303.90	c bounds - >= 456 @ 299.953
302.74/303.90	c bounds - >= 457 @ 299.954
302.74/303.90	c bounds - >= 458 @ 299.957
302.74/303.90	c bounds - >= 459 @ 299.958
302.74/303.90	c bounds - >= 460 @ 299.96
302.74/303.90	c bounds - >= 461 @ 299.961
302.74/303.90	c bounds - >= 462 @ 299.962
302.74/303.90	c bounds - >= 463 @ 299.964
302.74/303.90	c bounds - >= 464 @ 299.967
302.74/303.90	c bounds - >= 465 @ 299.968
302.74/303.90	c bounds - >= 466 @ 299.973
302.74/303.90	c bounds - >= 467 @ 299.974
302.74/303.90	c bounds - >= 468 @ 299.978
302.74/303.90	c bounds - >= 469 @ 299.978
302.74/303.90	c bounds - >= 470 @ 299.979
302.74/303.90	c bounds - >= 471 @ 299.984
302.74/303.90	c bounds - >= 472 @ 299.984
302.74/303.90	c bounds - >= 473 @ 299.987
302.74/303.90	c bounds - >= 474 @ 299.987
302.74/303.90	c bounds - >= 475 @ 299.989
302.74/303.90	c bounds - >= 476 @ 299.993
302.74/303.90	c bounds - >= 477 @ 299.993
302.74/303.90	c bounds - >= 478 @ 299.994
302.74/303.90	c bounds - >= 479 @ 299.996
302.74/303.90	c bounds - >= 480 @ 299.997
302.74/303.90	c bounds - >= 481 @ 300.001
302.74/303.90	c bounds - >= 482 @ 300.002
302.74/303.90	c bounds - >= 483 @ 300.004
302.74/303.90	c bounds - >= 484 @ 300.008
302.74/303.90	c bounds - >= 485 @ 300.009
302.74/303.90	c bounds - >= 486 @ 300.013
302.74/303.90	c bounds - >= 487 @ 300.015
302.74/303.90	c bounds - >= 488 @ 300.018
302.74/303.90	c bounds - >= 489 @ 300.02
302.74/303.90	c bounds - >= 490 @ 300.023
302.74/303.90	c bounds - >= 491 @ 300.025
302.74/303.90	c bounds - >= 492 @ 300.026
302.74/303.90	c bounds - >= 493 @ 300.028
302.74/303.90	c bounds - >= 494 @ 300.029
302.74/303.90	c bounds - >= 495 @ 300.03
302.74/303.90	c bounds - >= 496 @ 300.032
302.74/303.90	c bounds - >= 497 @ 300.034
302.74/303.90	c bounds - >= 498 @ 300.035
302.74/303.90	c bounds - >= 499 @ 300.038
302.74/303.90	c bounds - >= 500 @ 300.041
302.74/303.90	c bounds - >= 501 @ 300.043
302.74/303.90	c bounds - >= 502 @ 300.044
302.74/303.90	c bounds - >= 503 @ 300.047
302.74/303.90	c bounds - >= 504 @ 300.05
302.74/303.90	c bounds - >= 505 @ 300.051
302.74/303.90	c bounds - >= 506 @ 300.054
302.74/303.90	c bounds - >= 507 @ 300.058
302.74/303.90	c bounds - >= 508 @ 300.061
302.74/303.90	c bounds - >= 509 @ 300.063
302.74/303.90	c bounds - >= 510 @ 300.063
302.74/303.90	c bounds - >= 511 @ 300.064
302.74/303.90	c bounds - >= 512 @ 300.065
302.74/303.90	c bounds - >= 513 @ 300.067
302.74/303.90	c bounds - >= 514 @ 300.068
302.74/303.90	c bounds - >= 515 @ 300.071
302.74/303.90	c bounds - >= 516 @ 300.073
302.74/303.90	c bounds - >= 517 @ 300.075
302.74/303.90	c bounds - >= 518 @ 300.077
302.74/303.90	c bounds - >= 519 @ 300.081
302.74/303.90	c bounds - >= 520 @ 300.083
302.74/303.90	c bounds - >= 521 @ 300.087
302.74/303.90	c bounds - >= 522 @ 300.091
302.74/303.90	c bounds - >= 523 @ 300.093
302.74/303.90	c bounds - >= 524 @ 300.097
302.74/303.90	c bounds - >= 525 @ 300.097
302.74/303.90	c bounds - >= 526 @ 300.099
302.74/303.90	c bounds - >= 527 @ 300.101
302.74/303.90	c bounds - >= 528 @ 300.104
302.74/303.90	c bounds - >= 529 @ 300.105
302.74/303.90	c bounds - >= 530 @ 300.107
302.74/303.90	c bounds - >= 531 @ 300.109
302.74/303.90	c bounds - >= 532 @ 300.112
302.74/303.90	c bounds - >= 533 @ 300.115
302.74/303.90	c bounds - >= 534 @ 300.116
302.74/303.90	c bounds - >= 535 @ 300.117
302.74/303.90	c bounds - >= 536 @ 300.119
302.74/303.90	c bounds - >= 537 @ 300.119
302.74/303.90	c bounds - >= 538 @ 300.121
302.74/303.90	c bounds - >= 539 @ 300.121
302.74/303.90	c bounds - >= 540 @ 300.124
302.74/303.90	c bounds - >= 541 @ 300.126
302.74/303.90	c bounds - >= 542 @ 300.127
302.74/303.90	c bounds - >= 543 @ 300.13
302.74/303.90	c bounds - >= 544 @ 300.132
302.74/303.90	c bounds - >= 545 @ 300.133
302.74/303.90	c bounds - >= 546 @ 300.134
302.74/303.90	c bounds - >= 547 @ 300.136
302.74/303.90	c bounds - >= 548 @ 300.138
302.74/303.90	c bounds - >= 549 @ 300.139
302.74/303.90	c bounds - >= 550 @ 300.143
302.74/303.90	c bounds - >= 551 @ 300.145
302.74/303.90	c bounds - >= 552 @ 300.148
302.74/303.90	c bounds - >= 553 @ 300.151
302.74/303.90	c bounds - >= 554 @ 300.151
302.74/303.90	c bounds - >= 555 @ 300.151
302.74/303.90	c bounds - >= 556 @ 300.151
302.74/303.90	c bounds - >= 557 @ 300.151
302.74/303.90	c bounds - >= 558 @ 300.151
302.74/303.90	c bounds - >= 559 @ 300.153
302.74/303.90	c bounds - >= 560 @ 300.156
302.74/303.90	c bounds - >= 561 @ 300.158
302.74/303.90	c bounds - >= 562 @ 300.16
302.74/303.90	c bounds - >= 563 @ 300.162
302.74/303.90	c bounds - >= 564 @ 300.164
302.74/303.90	c bounds - >= 565 @ 300.166
302.74/303.90	c bounds - >= 566 @ 300.168
302.74/303.90	c bounds - >= 567 @ 300.17
302.74/303.90	c bounds - >= 568 @ 300.171
302.74/303.90	c bounds - >= 569 @ 300.173
302.74/303.90	c bounds - >= 570 @ 300.176
302.74/303.90	c bounds - >= 571 @ 300.179
302.74/303.90	c bounds - >= 572 @ 300.182
302.74/303.90	c bounds - >= 573 @ 300.184
302.74/303.90	c bounds - >= 574 @ 300.186
302.74/303.90	c bounds - >= 575 @ 300.19
302.74/303.90	c bounds - >= 576 @ 300.191
302.74/303.90	c bounds - >= 577 @ 300.193
302.74/303.90	c bounds - >= 578 @ 300.193
302.74/303.90	c bounds - >= 579 @ 300.195
302.74/303.90	c bounds - >= 580 @ 300.196
302.74/303.90	c bounds - >= 581 @ 300.198
302.74/303.90	c bounds - >= 582 @ 300.199
302.74/303.90	c bounds - >= 583 @ 300.201
302.74/303.90	c bounds - >= 584 @ 300.202
302.74/303.90	c bounds - >= 585 @ 300.204
302.74/303.90	c bounds - >= 586 @ 300.206
302.74/303.90	c bounds - >= 587 @ 300.206
302.74/303.90	c bounds - >= 588 @ 300.209
302.74/303.90	c bounds - >= 589 @ 300.212
302.74/303.90	c bounds - >= 590 @ 300.213
303.34/304.56	c bounds - >= 591 @ 300.215
303.34/304.56	c bounds - >= 592 @ 300.216
303.34/304.56	c bounds - >= 593 @ 300.218
303.34/304.56	c bounds - >= 594 @ 300.219
303.34/304.56	c bounds - >= 595 @ 300.22
303.34/304.56	c bounds - >= 596 @ 300.221
303.34/304.56	c bounds - >= 597 @ 300.222
303.34/304.56	c bounds - >= 598 @ 300.224
303.34/304.56	c bounds - >= 599 @ 300.227
303.34/304.56	c bounds - >= 600 @ 300.228
303.34/304.56	c bounds - >= 601 @ 300.23
303.34/304.56	c bounds - >= 602 @ 300.233
303.34/304.56	c bounds - >= 603 @ 300.234
303.34/304.56	c bounds - >= 604 @ 300.236
303.34/304.56	c bounds - >= 605 @ 300.237
303.34/304.56	c bounds - >= 606 @ 300.241
303.34/304.56	c bounds - >= 607 @ 300.243
303.34/304.56	c bounds - >= 608 @ 300.244
303.34/304.56	c bounds - >= 609 @ 300.247
303.34/304.56	c bounds - >= 610 @ 300.25
303.34/304.56	c bounds - >= 611 @ 300.252
303.34/304.56	c bounds - >= 612 @ 300.254
303.34/304.56	c bounds - >= 613 @ 300.257
303.34/304.56	c bounds - >= 614 @ 300.259
303.34/304.56	c bounds - >= 615 @ 300.26
303.34/304.56	c bounds - >= 616 @ 300.261
303.34/304.56	c bounds - >= 617 @ 300.262
303.34/304.56	c bounds - >= 618 @ 300.264
303.34/304.56	c bounds - >= 619 @ 300.264
303.34/304.56	c bounds - >= 620 @ 300.267
303.34/304.56	c bounds - >= 621 @ 300.27
303.34/304.56	c bounds - >= 622 @ 300.271
303.34/304.56	c bounds - >= 623 @ 300.272
303.34/304.56	c bounds - >= 624 @ 300.273
303.34/304.56	c bounds - >= 625 @ 300.275
303.34/304.56	c bounds - >= 626 @ 300.276
303.34/304.56	c bounds - >= 627 @ 300.277
303.34/304.56	c bounds - >= 628 @ 300.279
303.34/304.56	c bounds - >= 629 @ 300.283
303.34/304.56	c bounds - >= 630 @ 300.286
303.34/304.56	c bounds - >= 631 @ 300.287
303.34/304.56	c bounds - >= 632 @ 300.289
303.34/304.56	c bounds - >= 633 @ 300.29
303.34/304.56	c bounds - >= 634 @ 300.292
303.34/304.56	c bounds - >= 635 @ 300.294
303.34/304.56	c bounds - >= 636 @ 300.296
303.34/304.56	c bounds - >= 637 @ 300.298
303.34/304.56	c bounds - >= 638 @ 300.299
303.34/304.56	c bounds - >= 639 @ 300.3
303.34/304.56	c bounds - >= 640 @ 300.302
303.34/304.56	c bounds - >= 641 @ 300.304
303.34/304.56	c bounds - >= 642 @ 300.308
303.34/304.56	c bounds - >= 643 @ 300.31
303.34/304.56	c bounds - >= 644 @ 300.313
303.34/304.56	c bounds - >= 645 @ 300.316
303.34/304.56	c bounds - >= 646 @ 300.319
303.34/304.56	c bounds - >= 647 @ 300.321
303.34/304.56	c bounds - >= 648 @ 300.324
303.34/304.56	c bounds - >= 649 @ 300.325
303.34/304.56	c bounds - >= 650 @ 300.329
303.34/304.56	c bounds - >= 651 @ 300.33
303.34/304.56	c bounds - >= 652 @ 300.331
303.34/304.56	c bounds - >= 653 @ 300.332
303.34/304.56	c bounds - >= 654 @ 300.333
303.34/304.56	c bounds - >= 655 @ 300.336
303.34/304.56	c bounds - >= 656 @ 300.339
303.34/304.56	c bounds - >= 657 @ 300.341
303.34/304.56	c bounds - >= 658 @ 300.343
303.34/304.56	c bounds - >= 659 @ 300.344
303.34/304.56	c bounds - >= 660 @ 300.346
303.34/304.56	c bounds - >= 661 @ 300.348
303.34/304.56	c bounds - >= 662 @ 300.349
303.34/304.56	c bounds - >= 663 @ 300.35
303.34/304.56	c bounds - >= 664 @ 300.35
303.34/304.56	c bounds - >= 665 @ 300.352
303.34/304.56	c bounds - >= 666 @ 300.355
303.34/304.56	c bounds - >= 667 @ 300.357
303.34/304.56	c bounds - >= 668 @ 300.358
303.34/304.56	c bounds - >= 669 @ 300.36
303.34/304.56	c bounds - >= 670 @ 300.362
303.34/304.56	c bounds - >= 671 @ 300.364
303.34/304.56	c bounds - >= 672 @ 300.366
303.34/304.56	c bounds - >= 673 @ 300.368
303.34/304.56	c bounds - >= 674 @ 300.369
303.34/304.56	c bounds - >= 675 @ 300.37
303.34/304.56	c bounds - >= 676 @ 300.372
303.34/304.56	c bounds - >= 677 @ 300.375
303.34/304.56	c bounds - >= 678 @ 300.376
303.34/304.56	c bounds - >= 679 @ 300.378
303.34/304.56	c bounds - >= 680 @ 300.379
303.34/304.56	c bounds - >= 681 @ 300.382
303.34/304.56	c bounds - >= 682 @ 300.384
303.34/304.56	c bounds - >= 683 @ 300.386
303.34/304.56	c bounds - >= 684 @ 300.388
303.34/304.56	c bounds - >= 685 @ 300.39
303.34/304.56	c bounds - >= 686 @ 300.392
303.34/304.56	c bounds - >= 687 @ 300.394
303.34/304.56	c bounds - >= 688 @ 300.396
303.34/304.56	c bounds - >= 689 @ 300.398
303.34/304.56	c bounds - >= 690 @ 300.402
303.34/304.56	c bounds - >= 691 @ 300.404
303.34/304.56	c bounds - >= 692 @ 300.407
303.34/304.56	c bounds - >= 693 @ 300.41
303.34/304.56	c bounds - >= 694 @ 300.411
303.34/304.56	c bounds - >= 695 @ 300.414
303.34/304.56	c bounds - >= 696 @ 300.415
303.34/304.56	c bounds - >= 697 @ 300.417
303.34/304.56	c bounds - >= 698 @ 300.421
303.34/304.56	c bounds - >= 699 @ 300.422
303.34/304.56	c bounds - >= 700 @ 300.423
303.34/304.56	c bounds - >= 701 @ 300.425
303.34/304.56	c bounds - >= 702 @ 300.425
303.34/304.56	c bounds - >= 703 @ 300.425
303.34/304.56	c bounds - >= 704 @ 300.427
303.34/304.56	c bounds - >= 705 @ 300.427
303.34/304.56	c bounds - >= 706 @ 300.429
303.34/304.56	c bounds - >= 707 @ 300.431
303.34/304.56	c bounds - >= 708 @ 300.431
303.34/304.56	c bounds - >= 709 @ 300.433
303.34/304.56	c bounds - >= 710 @ 300.435
303.34/304.56	c bounds - >= 711 @ 300.436
303.34/304.56	c bounds - >= 712 @ 300.438
303.34/304.56	c bounds - >= 713 @ 300.442
303.34/304.56	c bounds - >= 714 @ 300.444
303.34/304.56	c bounds - >= 715 @ 300.445
303.34/304.56	c bounds - >= 716 @ 300.446
303.34/304.56	c bounds - >= 717 @ 300.45
303.34/304.56	c bounds - >= 718 @ 300.451
303.34/304.56	c bounds - >= 719 @ 300.453
303.34/304.56	c bounds - >= 720 @ 300.453
303.34/304.56	c bounds - >= 721 @ 300.455
303.34/304.56	c bounds - >= 722 @ 300.457
303.34/304.56	c bounds - >= 723 @ 300.459
303.34/304.56	c bounds - >= 724 @ 300.461
303.34/304.56	c bounds - >= 725 @ 300.461
303.34/304.56	c bounds - >= 726 @ 300.462
303.34/304.56	c bounds - >= 727 @ 300.464
303.34/304.56	c bounds - >= 728 @ 300.465
303.34/304.56	c bounds - >= 729 @ 300.467
303.34/304.56	c bounds - >= 730 @ 300.471
303.34/304.56	c bounds - >= 731 @ 300.472
303.34/304.56	c bounds - >= 732 @ 300.473
303.34/304.56	c bounds - >= 733 @ 300.474
303.34/304.56	c bounds - >= 734 @ 300.475
303.34/304.56	c bounds - >= 735 @ 300.476
303.34/304.56	c bounds - >= 736 @ 300.476
303.95/305.12	c bounds - >= 737 @ 300.477
303.95/305.12	c bounds - >= 738 @ 300.478
303.95/305.12	c bounds - >= 739 @ 300.479
303.95/305.12	c bounds - >= 740 @ 300.482
303.95/305.12	c bounds - >= 741 @ 300.484
303.95/305.12	c bounds - >= 742 @ 300.486
303.95/305.12	c bounds - >= 743 @ 300.488
303.95/305.12	c bounds - >= 744 @ 300.49
303.95/305.12	c bounds - >= 745 @ 300.491
303.95/305.12	c bounds - >= 746 @ 300.493
303.95/305.12	c bounds - >= 747 @ 300.494
303.95/305.12	c bounds - >= 748 @ 300.497
303.95/305.12	c bounds - >= 749 @ 300.499
303.95/305.12	c bounds - >= 750 @ 300.5
303.95/305.12	c bounds - >= 751 @ 300.502
303.95/305.12	c bounds - >= 752 @ 300.502
303.95/305.12	c bounds - >= 753 @ 300.503
303.95/305.12	c bounds - >= 754 @ 300.504
303.95/305.12	c bounds - >= 755 @ 300.506
303.95/305.12	c bounds - >= 756 @ 300.509
303.95/305.12	c bounds - >= 757 @ 300.51
303.95/305.12	c bounds - >= 758 @ 300.51
303.95/305.12	c bounds - >= 759 @ 300.51
303.95/305.12	c bounds - >= 760 @ 300.512
303.95/305.12	c bounds - >= 761 @ 300.514
303.95/305.12	c bounds - >= 762 @ 300.515
303.95/305.12	c bounds - >= 763 @ 300.517
303.95/305.12	c bounds - >= 764 @ 300.519
303.95/305.12	c bounds - >= 765 @ 300.52
303.95/305.12	c bounds - >= 766 @ 300.52
303.95/305.12	c bounds - >= 767 @ 300.52
303.95/305.12	c bounds - >= 768 @ 300.52
303.95/305.12	c bounds - >= 769 @ 300.52
303.95/305.12	c bounds - >= 770 @ 300.521
303.95/305.12	c bounds - >= 771 @ 300.525
303.95/305.12	c bounds - >= 772 @ 300.526
303.95/305.12	c bounds - >= 773 @ 300.527
303.95/305.12	c bounds - >= 774 @ 300.528
303.95/305.12	c bounds - >= 775 @ 300.531
303.95/305.12	c bounds - >= 776 @ 300.534
303.95/305.12	c bounds - >= 777 @ 300.536
303.95/305.12	c bounds - >= 778 @ 300.537
303.95/305.12	c bounds - >= 779 @ 300.539
303.95/305.12	c bounds - >= 780 @ 300.54
303.95/305.12	c bounds - >= 781 @ 300.541
303.95/305.12	c bounds - >= 782 @ 300.543
303.95/305.12	c bounds - >= 783 @ 300.545
303.95/305.12	c bounds - >= 784 @ 300.547
303.95/305.12	c bounds - >= 785 @ 300.55
303.95/305.12	c bounds - >= 786 @ 300.552
303.95/305.12	c bounds - >= 787 @ 300.555
303.95/305.12	c bounds - >= 788 @ 300.557
303.95/305.12	c bounds - >= 789 @ 300.559
303.95/305.12	c bounds - >= 790 @ 300.562
303.95/305.12	c bounds - >= 791 @ 300.563
303.95/305.12	c bounds - >= 792 @ 300.564
303.95/305.12	c bounds - >= 793 @ 300.565
303.95/305.12	c bounds - >= 794 @ 300.566
303.95/305.12	c bounds - >= 795 @ 300.566
303.95/305.12	c bounds - >= 796 @ 300.569
303.95/305.12	c bounds - >= 797 @ 300.57
303.95/305.12	c bounds - >= 798 @ 300.572
303.95/305.12	c bounds - >= 799 @ 300.573
303.95/305.12	c bounds - >= 800 @ 300.574
303.95/305.12	c bounds - >= 801 @ 300.576
303.95/305.12	c bounds - >= 802 @ 300.579
303.95/305.12	c bounds - >= 803 @ 300.58
303.95/305.12	c bounds - >= 804 @ 300.581
303.95/305.12	c bounds - >= 805 @ 300.584
303.95/305.12	c bounds - >= 806 @ 300.586
303.95/305.12	c bounds - >= 807 @ 300.587
303.95/305.12	c bounds - >= 808 @ 300.589
303.95/305.12	c bounds - >= 809 @ 300.591
303.95/305.12	c bounds - >= 810 @ 300.592
303.95/305.12	c bounds - >= 811 @ 300.595
303.95/305.12	c bounds - >= 812 @ 300.595
303.95/305.12	c bounds - >= 813 @ 300.597
303.95/305.12	c bounds - >= 814 @ 300.598
303.95/305.12	c bounds - >= 815 @ 300.6
303.95/305.12	c bounds - >= 816 @ 300.602
303.95/305.12	c bounds - >= 817 @ 300.603
303.95/305.12	c bounds - >= 818 @ 300.604
303.95/305.12	c bounds - >= 819 @ 300.606
303.95/305.12	c bounds - >= 820 @ 300.607
303.95/305.12	c bounds - >= 821 @ 300.607
303.95/305.12	c bounds - >= 822 @ 300.609
303.95/305.12	c bounds - >= 823 @ 300.611
303.95/305.12	c bounds - >= 824 @ 300.612
303.95/305.12	c bounds - >= 825 @ 300.613
303.95/305.12	c bounds - >= 826 @ 300.614
303.95/305.12	c bounds - >= 827 @ 300.616
303.95/305.12	c bounds - >= 828 @ 300.618
303.95/305.12	c bounds - >= 829 @ 300.619
303.95/305.12	c bounds - >= 830 @ 300.619
303.95/305.12	c bounds - >= 831 @ 300.622
303.95/305.12	c bounds - >= 832 @ 300.624
303.95/305.12	c bounds - >= 833 @ 300.625
303.95/305.12	c bounds - >= 834 @ 300.626
303.95/305.12	c bounds - >= 835 @ 300.627
303.95/305.12	c bounds - >= 836 @ 300.629
303.95/305.12	c bounds - >= 837 @ 300.631
303.95/305.12	c bounds - >= 838 @ 300.632
303.95/305.12	c bounds - >= 839 @ 300.634
303.95/305.12	c bounds - >= 840 @ 300.634
303.95/305.12	c bounds - >= 841 @ 300.636
303.95/305.12	c bounds - >= 842 @ 300.637
303.95/305.12	c bounds - >= 843 @ 300.638
303.95/305.12	c bounds - >= 844 @ 300.639
303.95/305.12	c bounds - >= 845 @ 300.641
303.95/305.12	c bounds - >= 846 @ 300.642
303.95/305.12	c bounds - >= 847 @ 300.644
303.95/305.12	c bounds - >= 848 @ 300.647
303.95/305.12	c bounds - >= 849 @ 300.649
303.95/305.12	c bounds - >= 850 @ 300.651
303.95/305.12	c bounds - >= 851 @ 300.652
303.95/305.12	c bounds - >= 852 @ 300.652
303.95/305.12	c bounds - >= 853 @ 300.654
303.95/305.12	c bounds - >= 854 @ 300.656
303.95/305.12	c bounds - >= 855 @ 300.657
303.95/305.12	c bounds - >= 856 @ 300.659
303.95/305.12	c bounds - >= 857 @ 300.662
303.95/305.12	c bounds - >= 858 @ 300.663
303.95/305.12	c bounds - >= 859 @ 300.664
303.95/305.12	c bounds - >= 860 @ 300.666
303.95/305.12	c bounds - >= 861 @ 300.668
303.95/305.12	c bounds - >= 862 @ 300.669
303.95/305.12	c bounds - >= 863 @ 300.672
303.95/305.12	c bounds - >= 864 @ 300.672
303.95/305.12	c bounds - >= 865 @ 300.673
303.95/305.12	c bounds - >= 866 @ 300.674
303.95/305.12	c bounds - >= 867 @ 300.675
303.95/305.12	c bounds - >= 868 @ 300.677
303.95/305.12	c bounds - >= 869 @ 300.677
303.95/305.12	c bounds - >= 870 @ 300.68
303.95/305.12	c bounds - >= 871 @ 300.681
303.95/305.12	c bounds - >= 872 @ 300.682
303.95/305.12	c bounds - >= 873 @ 300.683
303.95/305.12	c bounds - >= 874 @ 300.685
303.95/305.12	c bounds - >= 875 @ 300.687
303.95/305.12	c #Conflicts:       2000 | #Constraints:      17479
303.95/305.12	c INPROCESSING
303.95/305.12	c GARBAGE COLLECT
303.95/305.12	c bounds - >= 876 @ 300.691
303.95/305.12	c bounds - >= 877 @ 300.694
303.95/305.12	c bounds - >= 878 @ 300.695
303.95/305.12	c bounds - >= 879 @ 300.697
303.95/305.12	c bounds - >= 880 @ 300.698
304.45/305.60	c bounds - >= 881 @ 300.698
304.45/305.60	c bounds - >= 882 @ 300.7
304.45/305.60	c bounds - >= 883 @ 300.702
304.45/305.60	c bounds - >= 884 @ 300.703
304.45/305.60	c bounds - >= 885 @ 300.704
304.45/305.60	c bounds - >= 886 @ 300.705
304.45/305.60	c bounds - >= 887 @ 300.706
304.45/305.60	c bounds - >= 888 @ 300.707
304.45/305.60	c bounds - >= 889 @ 300.709
304.45/305.60	c bounds - >= 890 @ 300.711
304.45/305.60	c bounds - >= 891 @ 300.713
304.45/305.60	c bounds - >= 892 @ 300.714
304.45/305.60	c bounds - >= 893 @ 300.715
304.45/305.60	c bounds - >= 894 @ 300.717
304.45/305.60	c bounds - >= 895 @ 300.718
304.45/305.60	c bounds - >= 896 @ 300.72
304.45/305.60	c bounds - >= 897 @ 300.721
304.45/305.60	c bounds - >= 898 @ 300.722
304.45/305.60	c bounds - >= 899 @ 300.725
304.45/305.60	c bounds - >= 900 @ 300.728
304.45/305.60	c bounds - >= 901 @ 300.729
304.45/305.60	c bounds - >= 902 @ 300.729
304.45/305.60	c bounds - >= 903 @ 300.73
304.45/305.60	c bounds - >= 904 @ 300.731
304.45/305.60	c bounds - >= 905 @ 300.732
304.45/305.60	c bounds - >= 906 @ 300.732
304.45/305.60	c bounds - >= 907 @ 300.733
304.45/305.60	c bounds - >= 908 @ 300.735
304.45/305.60	c bounds - >= 909 @ 300.737
304.45/305.60	c bounds - >= 910 @ 300.739
304.45/305.60	c bounds - >= 911 @ 300.74
304.45/305.60	c bounds - >= 912 @ 300.742
304.45/305.60	c bounds - >= 913 @ 300.745
304.45/305.60	c bounds - >= 914 @ 300.747
304.45/305.60	c bounds - >= 915 @ 300.748
304.45/305.60	c bounds - >= 916 @ 300.75
304.45/305.60	c bounds - >= 917 @ 300.751
304.45/305.60	c bounds - >= 918 @ 300.752
304.45/305.60	c bounds - >= 919 @ 300.753
304.45/305.60	c bounds - >= 920 @ 300.755
304.45/305.60	c bounds - >= 921 @ 300.756
304.45/305.60	c bounds - >= 922 @ 300.757
304.45/305.60	c bounds - >= 923 @ 300.758
304.45/305.60	c bounds - >= 924 @ 300.759
304.45/305.60	c bounds - >= 925 @ 300.761
304.45/305.60	c bounds - >= 926 @ 300.762
304.45/305.60	c bounds - >= 927 @ 300.763
304.45/305.60	c bounds - >= 928 @ 300.764
304.45/305.60	c bounds - >= 929 @ 300.765
304.45/305.60	c bounds - >= 930 @ 300.767
304.45/305.60	c bounds - >= 931 @ 300.769
304.45/305.60	c bounds - >= 932 @ 300.772
304.45/305.60	c bounds - >= 933 @ 300.773
304.45/305.60	c bounds - >= 934 @ 300.775
304.45/305.60	c bounds - >= 935 @ 300.776
304.45/305.60	c bounds - >= 936 @ 300.778
304.45/305.60	c bounds - >= 937 @ 300.78
304.45/305.60	c bounds - >= 938 @ 300.782
304.45/305.60	c bounds - >= 939 @ 300.784
304.45/305.60	c bounds - >= 940 @ 300.785
304.45/305.60	c bounds - >= 941 @ 300.786
304.45/305.60	c bounds - >= 942 @ 300.787
304.45/305.60	c bounds - >= 943 @ 300.789
304.45/305.60	c bounds - >= 944 @ 300.79
304.45/305.60	c bounds - >= 945 @ 300.79
304.45/305.60	c bounds - >= 946 @ 300.791
304.45/305.60	c bounds - >= 947 @ 300.794
304.45/305.60	c bounds - >= 948 @ 300.797
304.45/305.60	c bounds - >= 949 @ 300.798
304.45/305.60	c bounds - >= 950 @ 300.799
304.45/305.60	c bounds - >= 951 @ 300.799
304.45/305.60	c bounds - >= 952 @ 300.801
304.45/305.60	c bounds - >= 953 @ 300.802
304.45/305.60	c bounds - >= 954 @ 300.803
304.45/305.60	c bounds - >= 955 @ 300.805
304.45/305.60	c bounds - >= 956 @ 300.807
304.45/305.60	c bounds - >= 957 @ 300.808
304.45/305.60	c bounds - >= 958 @ 300.81
304.45/305.60	c bounds - >= 959 @ 300.811
304.45/305.60	c bounds - >= 960 @ 300.811
304.45/305.60	c bounds - >= 961 @ 300.813
304.45/305.60	c bounds - >= 962 @ 300.814
304.45/305.60	c bounds - >= 963 @ 300.815
304.45/305.60	c bounds - >= 964 @ 300.817
304.45/305.60	c bounds - >= 965 @ 300.819
304.45/305.60	c bounds - >= 966 @ 300.819
304.45/305.60	c bounds - >= 967 @ 300.819
304.45/305.60	c bounds - >= 968 @ 300.821
304.45/305.60	c bounds - >= 969 @ 300.823
304.45/305.60	c bounds - >= 970 @ 300.823
304.45/305.60	c bounds - >= 971 @ 300.824
304.45/305.60	c bounds - >= 972 @ 300.827
304.45/305.60	c bounds - >= 973 @ 300.829
304.45/305.60	c bounds - >= 974 @ 300.831
304.45/305.60	c bounds - >= 975 @ 300.831
304.45/305.60	c bounds - >= 976 @ 300.831
304.45/305.60	c bounds - >= 977 @ 300.834
304.45/305.60	c bounds - >= 978 @ 300.834
304.45/305.60	c bounds - >= 979 @ 300.835
304.45/305.60	c bounds - >= 980 @ 300.835
304.45/305.60	c bounds - >= 981 @ 300.838
304.45/305.60	c bounds - >= 982 @ 300.839
304.45/305.60	c bounds - >= 983 @ 300.839
304.45/305.60	c bounds - >= 984 @ 300.839
304.45/305.60	c bounds - >= 985 @ 300.841
304.45/305.60	c bounds - >= 986 @ 300.844
304.45/305.60	c bounds - >= 987 @ 300.846
304.45/305.60	c bounds - >= 988 @ 300.847
304.45/305.60	c bounds - >= 989 @ 300.849
304.45/305.60	c bounds - >= 990 @ 300.849
304.45/305.60	c bounds - >= 991 @ 300.851
304.45/305.60	c bounds - >= 992 @ 300.852
304.45/305.60	c bounds - >= 993 @ 300.854
304.45/305.60	c bounds - >= 994 @ 300.856
304.45/305.60	c bounds - >= 995 @ 300.857
304.45/305.60	c bounds - >= 996 @ 300.858
304.45/305.60	c bounds - >= 997 @ 300.861
304.45/305.60	c bounds - >= 998 @ 300.863
304.45/305.60	c bounds - >= 999 @ 300.864
304.45/305.60	c bounds - >= 1000 @ 300.864
304.45/305.60	c bounds - >= 1001 @ 300.866
304.45/305.60	c bounds - >= 1002 @ 300.867
304.45/305.60	c bounds - >= 1003 @ 300.869
304.45/305.60	c bounds - >= 1004 @ 300.871
304.45/305.60	c bounds - >= 1005 @ 300.873
304.45/305.60	c bounds - >= 1006 @ 300.875
304.45/305.60	c bounds - >= 1007 @ 300.876
304.45/305.60	c bounds - >= 1008 @ 300.878
304.45/305.60	c bounds - >= 1009 @ 300.88
304.45/305.60	c bounds - >= 1010 @ 300.881
304.45/305.60	c bounds - >= 1011 @ 300.883
304.45/305.60	c bounds - >= 1012 @ 300.884
304.45/305.60	c bounds - >= 1013 @ 300.885
304.45/305.60	c bounds - >= 1014 @ 300.887
304.45/305.60	c bounds - >= 1015 @ 300.889
304.45/305.60	c bounds - >= 1016 @ 300.891
304.45/305.60	c bounds - >= 1017 @ 300.893
304.45/305.60	c bounds - >= 1018 @ 300.894
304.45/305.60	c bounds - >= 1019 @ 300.895
304.45/305.60	c bounds - >= 1020 @ 300.895
304.45/305.60	c bounds - >= 1021 @ 300.895
304.45/305.60	c bounds - >= 1022 @ 300.896
304.45/305.60	c bounds - >= 1023 @ 300.896
304.45/305.60	c bounds - >= 1024 @ 300.897
304.45/305.60	c bounds - >= 1025 @ 300.897
304.45/305.60	c bounds - >= 1026 @ 300.898
304.74/306.00	c bounds - >= 1027 @ 300.898
304.74/306.00	c bounds - >= 1028 @ 300.898
304.74/306.00	c bounds - >= 1029 @ 300.899
304.74/306.00	c bounds - >= 1030 @ 300.9
304.74/306.00	c bounds - >= 1031 @ 300.9
304.74/306.00	c bounds - >= 1032 @ 300.9
304.74/306.00	c bounds - >= 1033 @ 300.9
304.74/306.00	c bounds - >= 1034 @ 300.9
304.74/306.00	c bounds - >= 1035 @ 300.901
304.74/306.00	c bounds - >= 1036 @ 300.902
304.74/306.00	c bounds - >= 1037 @ 300.903
304.74/306.00	c bounds - >= 1038 @ 300.905
304.74/306.00	c bounds - >= 1039 @ 300.906
304.74/306.00	c bounds - >= 1040 @ 300.908
304.74/306.00	c bounds - >= 1041 @ 300.91
304.74/306.00	c bounds - >= 1042 @ 300.912
304.74/306.00	c bounds - >= 1043 @ 300.914
304.74/306.00	c bounds - >= 1044 @ 300.916
304.74/306.00	c bounds - >= 1045 @ 300.917
304.74/306.00	c bounds - >= 1046 @ 300.919
304.74/306.00	c bounds - >= 1047 @ 300.921
304.74/306.00	c bounds - >= 1048 @ 300.924
304.74/306.00	c bounds - >= 1049 @ 300.925
304.74/306.00	c bounds - >= 1050 @ 300.928
304.74/306.00	c bounds - >= 1051 @ 300.931
304.74/306.00	c bounds - >= 1052 @ 300.933
304.74/306.00	c bounds - >= 1053 @ 300.934
304.74/306.00	c bounds - >= 1054 @ 300.935
304.74/306.00	c bounds - >= 1055 @ 300.936
304.74/306.00	c bounds - >= 1056 @ 300.936
304.74/306.00	c bounds - >= 1057 @ 300.937
304.74/306.00	c bounds - >= 1058 @ 300.938
304.74/306.00	c bounds - >= 1059 @ 300.939
304.74/306.00	c bounds - >= 1060 @ 300.94
304.74/306.00	c bounds - >= 1061 @ 300.943
304.74/306.00	c bounds - >= 1062 @ 300.943
304.74/306.00	c bounds - >= 1063 @ 300.944
304.74/306.00	c bounds - >= 1064 @ 300.947
304.74/306.00	c bounds - >= 1065 @ 300.948
304.74/306.00	c bounds - >= 1066 @ 300.949
304.74/306.00	c bounds - >= 1067 @ 300.949
304.74/306.00	c bounds - >= 1068 @ 300.949
304.74/306.00	c bounds - >= 1069 @ 300.949
304.74/306.00	c bounds - >= 1070 @ 300.951
304.74/306.00	c bounds - >= 1071 @ 300.952
304.74/306.00	c bounds - >= 1072 @ 300.955
304.74/306.00	c bounds - >= 1073 @ 300.956
304.74/306.00	c bounds - >= 1074 @ 300.958
304.74/306.00	c bounds - >= 1075 @ 300.96
304.74/306.00	c bounds - >= 1076 @ 300.96
304.74/306.00	c bounds - >= 1077 @ 300.96
304.74/306.00	c bounds - >= 1078 @ 300.962
304.74/306.00	c bounds - >= 1079 @ 300.963
304.74/306.00	c bounds - >= 1080 @ 300.965
304.74/306.00	c bounds - >= 1081 @ 300.967
304.74/306.00	c bounds - >= 1082 @ 300.967
304.74/306.00	c bounds - >= 1083 @ 300.969
304.74/306.00	c bounds - >= 1084 @ 300.97
304.74/306.00	c bounds - >= 1085 @ 300.971
304.74/306.00	c bounds - >= 1086 @ 300.973
304.74/306.00	c bounds - >= 1087 @ 300.973
304.74/306.00	c bounds - >= 1088 @ 300.973
304.74/306.00	c bounds - >= 1089 @ 300.974
304.74/306.00	c bounds - >= 1090 @ 300.975
304.74/306.00	c bounds - >= 1091 @ 300.977
304.74/306.00	c bounds - >= 1092 @ 300.979
304.74/306.00	c bounds - >= 1093 @ 300.98
304.74/306.00	c bounds - >= 1094 @ 300.981
304.74/306.00	c bounds - >= 1095 @ 300.982
304.74/306.00	c bounds - >= 1096 @ 300.983
304.74/306.00	c bounds - >= 1097 @ 300.985
304.74/306.00	c bounds - >= 1098 @ 300.986
304.74/306.00	c bounds - >= 1099 @ 300.986
304.74/306.00	c bounds - >= 1100 @ 300.987
304.74/306.00	c bounds - >= 1101 @ 300.988
304.74/306.00	c bounds - >= 1102 @ 300.989
304.74/306.00	c bounds - >= 1103 @ 300.989
304.74/306.00	c bounds - >= 1104 @ 300.99
304.74/306.00	c bounds - >= 1105 @ 300.992
304.74/306.00	c bounds - >= 1106 @ 300.993
304.74/306.00	c bounds - >= 1107 @ 300.994
304.74/306.00	c bounds - >= 1108 @ 300.996
304.74/306.00	c bounds - >= 1109 @ 300.996
304.74/306.00	c bounds - >= 1110 @ 300.998
304.74/306.00	c bounds - >= 1111 @ 300.999
304.74/306.00	c bounds - >= 1112 @ 301.001
304.74/306.00	c bounds - >= 1113 @ 301.002
304.74/306.00	c bounds - >= 1114 @ 301.004
304.74/306.00	c bounds - >= 1115 @ 301.005
304.74/306.00	c bounds - >= 1116 @ 301.007
304.74/306.00	c bounds - >= 1117 @ 301.007
304.74/306.00	c bounds - >= 1118 @ 301.009
304.74/306.00	c bounds - >= 1119 @ 301.01
304.74/306.00	c bounds - >= 1120 @ 301.01
304.74/306.00	c bounds - >= 1121 @ 301.012
304.74/306.00	c bounds - >= 1122 @ 301.014
304.74/306.00	c bounds - >= 1123 @ 301.016
304.74/306.00	c bounds - >= 1124 @ 301.017
304.74/306.00	c bounds - >= 1125 @ 301.018
304.74/306.00	c bounds - >= 1126 @ 301.018
304.74/306.00	c bounds - >= 1127 @ 301.02
304.74/306.00	c bounds - >= 1128 @ 301.021
304.74/306.00	c bounds - >= 1129 @ 301.021
304.74/306.00	c bounds - >= 1130 @ 301.022
304.74/306.00	c bounds - >= 1131 @ 301.024
304.74/306.00	c bounds - >= 1132 @ 301.027
304.74/306.00	c bounds - >= 1133 @ 301.027
304.74/306.00	c bounds - >= 1134 @ 301.028
304.74/306.00	c bounds - >= 1135 @ 301.029
304.74/306.00	c bounds - >= 1136 @ 301.031
304.74/306.00	c bounds - >= 1137 @ 301.033
304.74/306.00	c bounds - >= 1138 @ 301.033
304.74/306.00	c bounds - >= 1139 @ 301.035
304.74/306.00	c bounds - >= 1140 @ 301.036
304.74/306.00	c bounds - >= 1141 @ 301.037
304.74/306.00	c bounds - >= 1142 @ 301.039
304.74/306.00	c bounds - >= 1143 @ 301.039
304.74/306.00	c bounds - >= 1144 @ 301.04
304.74/306.00	c bounds - >= 1145 @ 301.041
304.74/306.00	c bounds - >= 1146 @ 301.042
304.74/306.00	c bounds - >= 1147 @ 301.044
304.74/306.00	c bounds - >= 1148 @ 301.045
304.74/306.00	c bounds - >= 1149 @ 301.046
304.74/306.00	c bounds - >= 1150 @ 301.048
304.74/306.00	c bounds - >= 1151 @ 301.049
304.74/306.00	c bounds - >= 1152 @ 301.05
304.74/306.00	c bounds - >= 1153 @ 301.051
304.74/306.00	c bounds - >= 1154 @ 301.051
304.74/306.00	c bounds - >= 1155 @ 301.052
304.74/306.00	c bounds - >= 1156 @ 301.054
304.74/306.00	c bounds - >= 1157 @ 301.056
304.74/306.00	c bounds - >= 1158 @ 301.058
304.74/306.00	c bounds - >= 1159 @ 301.061
304.74/306.00	c bounds - >= 1160 @ 301.063
304.74/306.00	c bounds - >= 1161 @ 301.064
304.74/306.00	c bounds - >= 1162 @ 301.065
304.74/306.00	c bounds - >= 1163 @ 301.067
304.74/306.00	c bounds - >= 1164 @ 301.068
304.74/306.00	c bounds - >= 1165 @ 301.07
304.74/306.00	c bounds - >= 1166 @ 301.07
304.74/306.00	c bounds - >= 1167 @ 301.072
304.74/306.00	c bounds - >= 1168 @ 301.073
305.14/306.31	c bounds - >= 1169 @ 301.075
305.14/306.31	c bounds - >= 1170 @ 301.076
305.14/306.31	c bounds - >= 1171 @ 301.077
305.14/306.31	c bounds - >= 1172 @ 301.079
305.14/306.31	c bounds - >= 1173 @ 301.081
305.14/306.31	c bounds - >= 1174 @ 301.083
305.14/306.31	c bounds - >= 1175 @ 301.084
305.14/306.31	c bounds - >= 1176 @ 301.084
305.14/306.31	c bounds - >= 1177 @ 301.085
305.14/306.31	c bounds - >= 1178 @ 301.086
305.14/306.31	c bounds - >= 1179 @ 301.088
305.14/306.31	c bounds - >= 1180 @ 301.089
305.14/306.31	c bounds - >= 1181 @ 301.091
305.14/306.31	c bounds - >= 1182 @ 301.091
305.14/306.31	c bounds - >= 1183 @ 301.092
305.14/306.31	c bounds - >= 1184 @ 301.093
305.14/306.31	c bounds - >= 1185 @ 301.095
305.14/306.31	c bounds - >= 1186 @ 301.095
305.14/306.31	c bounds - >= 1187 @ 301.096
305.14/306.31	c bounds - >= 1188 @ 301.097
305.14/306.31	c bounds - >= 1189 @ 301.097
305.14/306.31	c bounds - >= 1190 @ 301.098
305.14/306.31	c bounds - >= 1191 @ 301.099
305.14/306.31	c bounds - >= 1192 @ 301.1
305.14/306.31	c bounds - >= 1193 @ 301.101
305.14/306.31	c bounds - >= 1194 @ 301.102
305.14/306.31	c bounds - >= 1195 @ 301.103
305.14/306.31	c bounds - >= 1196 @ 301.103
305.14/306.31	c bounds - >= 1197 @ 301.104
305.14/306.31	c bounds - >= 1198 @ 301.104
305.14/306.31	c bounds - >= 1199 @ 301.105
305.14/306.31	c bounds - >= 1200 @ 301.106
305.14/306.31	c bounds - >= 1201 @ 301.107
305.14/306.31	c bounds - >= 1202 @ 301.108
305.14/306.31	c bounds - >= 1203 @ 301.109
305.14/306.31	c bounds - >= 1204 @ 301.11
305.14/306.31	c bounds - >= 1205 @ 301.111
305.14/306.31	c bounds - >= 1206 @ 301.111
305.14/306.31	c bounds - >= 1207 @ 301.113
305.14/306.31	c bounds - >= 1208 @ 301.114
305.14/306.31	c bounds - >= 1209 @ 301.115
305.14/306.31	c bounds - >= 1210 @ 301.115
305.14/306.31	c bounds - >= 1211 @ 301.116
305.14/306.31	c bounds - >= 1212 @ 301.117
305.14/306.31	c bounds - >= 1213 @ 301.118
305.14/306.31	c bounds - >= 1214 @ 301.119
305.14/306.31	c bounds - >= 1215 @ 301.12
305.14/306.31	c bounds - >= 1216 @ 301.12
305.14/306.31	c bounds - >= 1217 @ 301.121
305.14/306.31	c bounds - >= 1218 @ 301.122
305.14/306.31	c bounds - >= 1219 @ 301.122
305.14/306.31	c bounds - >= 1220 @ 301.123
305.14/306.31	c bounds - >= 1221 @ 301.124
305.14/306.31	c bounds - >= 1222 @ 301.124
305.14/306.31	c bounds - >= 1223 @ 301.125
305.14/306.31	c bounds - >= 1224 @ 301.126
305.14/306.31	c bounds - >= 1225 @ 301.126
305.14/306.31	c bounds - >= 1226 @ 301.126
305.14/306.31	c bounds - >= 1227 @ 301.128
305.14/306.31	c bounds - >= 1228 @ 301.129
305.14/306.31	c bounds - >= 1229 @ 301.129
305.14/306.31	c bounds - >= 1230 @ 301.13
305.14/306.31	c bounds - >= 1231 @ 301.131
305.14/306.31	c bounds - >= 1232 @ 301.132
305.14/306.31	c bounds - >= 1233 @ 301.133
305.14/306.31	c bounds - >= 1234 @ 301.134
305.14/306.31	c bounds - >= 1235 @ 301.135
305.14/306.31	c bounds - >= 1236 @ 301.136
305.14/306.31	c bounds - >= 1237 @ 301.138
305.14/306.31	c bounds - >= 1238 @ 301.138
305.14/306.31	c bounds - >= 1239 @ 301.139
305.14/306.31	c bounds - >= 1240 @ 301.14
305.14/306.31	c bounds - >= 1241 @ 301.14
305.14/306.31	c bounds - >= 1242 @ 301.142
305.14/306.31	c bounds - >= 1243 @ 301.143
305.14/306.31	c bounds - >= 1244 @ 301.145
305.14/306.31	c bounds - >= 1245 @ 301.146
305.14/306.31	c bounds - >= 1246 @ 301.147
305.14/306.31	c bounds - >= 1247 @ 301.148
305.14/306.31	c bounds - >= 1248 @ 301.149
305.14/306.31	c bounds - >= 1249 @ 301.149
305.14/306.31	c bounds - >= 1250 @ 301.151
305.14/306.31	c bounds - >= 1251 @ 301.152
305.14/306.31	c bounds - >= 1252 @ 301.153
305.14/306.31	c bounds - >= 1253 @ 301.154
305.14/306.31	c bounds - >= 1254 @ 301.154
305.14/306.31	c bounds - >= 1255 @ 301.156
305.14/306.31	c bounds - >= 1256 @ 301.157
305.14/306.31	c bounds - >= 1257 @ 301.158
305.14/306.31	c bounds - >= 1258 @ 301.159
305.14/306.31	c bounds - >= 1259 @ 301.159
305.14/306.31	c bounds - >= 1260 @ 301.16
305.14/306.31	c bounds - >= 1261 @ 301.161
305.14/306.31	c bounds - >= 1262 @ 301.162
305.14/306.31	c bounds - >= 1263 @ 301.164
305.14/306.31	c bounds - >= 1264 @ 301.164
305.14/306.31	c bounds - >= 1265 @ 301.165
305.14/306.31	c bounds - >= 1266 @ 301.167
305.14/306.31	c bounds - >= 1267 @ 301.168
305.14/306.31	c bounds - >= 1268 @ 301.17
305.14/306.31	c bounds - >= 1269 @ 301.171
305.14/306.31	c bounds - >= 1270 @ 301.171
305.14/306.31	c bounds - >= 1271 @ 301.172
305.14/306.31	c bounds - >= 1272 @ 301.174
305.14/306.31	c bounds - >= 1273 @ 301.176
305.14/306.31	c bounds - >= 1274 @ 301.177
305.14/306.31	c bounds - >= 1275 @ 301.179
305.14/306.31	c bounds - >= 1276 @ 301.18
305.14/306.31	c bounds - >= 1277 @ 301.181
305.14/306.31	c bounds - >= 1278 @ 301.182
305.14/306.31	c bounds - >= 1279 @ 301.183
305.14/306.31	c bounds - >= 1280 @ 301.183
305.14/306.31	c bounds - >= 1281 @ 301.184
305.14/306.31	c bounds - >= 1282 @ 301.185
305.14/306.31	c bounds - >= 1283 @ 301.186
305.14/306.31	c bounds - >= 1284 @ 301.187
305.14/306.31	c bounds - >= 1285 @ 301.187
305.14/306.31	c bounds - >= 1286 @ 301.187
305.14/306.31	c bounds - >= 1287 @ 301.187
305.14/306.31	c bounds - >= 1288 @ 301.188
305.14/306.31	c bounds - >= 1289 @ 301.19
305.14/306.31	c bounds - >= 1290 @ 301.192
305.14/306.31	c bounds - >= 1291 @ 301.193
305.14/306.31	c bounds - >= 1292 @ 301.194
305.14/306.31	c bounds - >= 1293 @ 301.195
305.14/306.31	c bounds - >= 1294 @ 301.196
305.14/306.31	c bounds - >= 1295 @ 301.197
305.14/306.31	c bounds - >= 1296 @ 301.198
305.14/306.31	c bounds - >= 1297 @ 301.198
305.14/306.31	c #Conflicts:       3000 | #Constraints:      17028
305.14/306.31	c bounds - >= 1298 @ 301.198
305.14/306.31	c bounds - >= 1299 @ 301.199
305.14/306.31	c bounds - >= 1300 @ 301.2
305.14/306.31	c bounds - >= 1301 @ 301.2
305.14/306.31	c bounds - >= 1302 @ 301.201
305.14/306.31	c bounds - >= 1303 @ 301.201
305.14/306.31	c bounds - >= 1304 @ 301.203
305.14/306.31	c bounds - >= 1305 @ 301.203
305.14/306.31	c bounds - >= 1306 @ 301.203
305.14/306.31	c bounds - >= 1307 @ 301.204
305.14/306.31	c bounds - >= 1308 @ 301.205
305.34/306.56	c bounds - >= 1309 @ 301.206
305.34/306.56	c bounds - >= 1310 @ 301.207
305.34/306.56	c bounds - >= 1311 @ 301.208
305.34/306.56	c bounds - >= 1312 @ 301.209
305.34/306.56	c bounds - >= 1313 @ 301.209
305.34/306.56	c bounds - >= 1314 @ 301.21
305.34/306.56	c bounds - >= 1315 @ 301.212
305.34/306.56	c bounds - >= 1316 @ 301.212
305.34/306.56	c bounds - >= 1317 @ 301.213
305.34/306.56	c bounds - >= 1318 @ 301.215
305.34/306.56	c bounds - >= 1319 @ 301.216
305.34/306.56	c bounds - >= 1320 @ 301.216
305.34/306.56	c bounds - >= 1321 @ 301.217
305.34/306.56	c bounds - >= 1322 @ 301.218
305.34/306.56	c bounds - >= 1323 @ 301.219
305.34/306.56	c bounds - >= 1324 @ 301.22
305.34/306.56	c bounds - >= 1325 @ 301.222
305.34/306.56	c bounds - >= 1326 @ 301.222
305.34/306.56	c bounds - >= 1327 @ 301.222
305.34/306.56	c bounds - >= 1328 @ 301.222
305.34/306.56	c bounds - >= 1329 @ 301.223
305.34/306.56	c bounds - >= 1330 @ 301.224
305.34/306.56	c bounds - >= 1331 @ 301.226
305.34/306.56	c bounds - >= 1332 @ 301.227
305.34/306.56	c bounds - >= 1333 @ 301.228
305.34/306.56	c bounds - >= 1334 @ 301.228
305.34/306.56	c bounds - >= 1335 @ 301.229
305.34/306.56	c bounds - >= 1336 @ 301.229
305.34/306.56	c bounds - >= 1337 @ 301.23
305.34/306.56	c bounds - >= 1338 @ 301.23
305.34/306.56	c bounds - >= 1339 @ 301.23
305.34/306.56	c bounds - >= 1340 @ 301.232
305.34/306.56	c bounds - >= 1341 @ 301.233
305.34/306.56	c bounds - >= 1342 @ 301.235
305.34/306.56	c bounds - >= 1343 @ 301.235
305.34/306.56	c bounds - >= 1344 @ 301.237
305.34/306.56	c bounds - >= 1345 @ 301.238
305.34/306.56	c bounds - >= 1346 @ 301.24
305.34/306.56	c bounds - >= 1347 @ 301.24
305.34/306.56	c bounds - >= 1348 @ 301.242
305.34/306.56	c bounds - >= 1349 @ 301.244
305.34/306.56	c bounds - >= 1350 @ 301.244
305.34/306.56	c bounds - >= 1351 @ 301.245
305.34/306.56	c bounds - >= 1352 @ 301.246
305.34/306.56	c bounds - >= 1353 @ 301.247
305.34/306.56	c bounds - >= 1354 @ 301.248
305.34/306.56	c bounds - >= 1355 @ 301.249
305.34/306.56	c bounds - >= 1356 @ 301.251
305.34/306.56	c bounds - >= 1357 @ 301.251
305.34/306.56	c bounds - >= 1358 @ 301.252
305.34/306.56	c bounds - >= 1359 @ 301.252
305.34/306.56	c bounds - >= 1360 @ 301.253
305.34/306.56	c bounds - >= 1361 @ 301.255
305.34/306.56	c bounds - >= 1362 @ 301.256
305.34/306.56	c bounds - >= 1363 @ 301.257
305.34/306.56	c bounds - >= 1364 @ 301.259
305.34/306.56	c bounds - >= 1365 @ 301.26
305.34/306.56	c bounds - >= 1366 @ 301.261
305.34/306.56	c bounds - >= 1367 @ 301.261
305.34/306.56	c bounds - >= 1368 @ 301.262
305.34/306.56	c bounds - >= 1369 @ 301.263
305.34/306.56	c bounds - >= 1370 @ 301.264
305.34/306.56	c bounds - >= 1371 @ 301.265
305.34/306.56	c bounds - >= 1372 @ 301.266
305.34/306.56	c bounds - >= 1373 @ 301.266
305.34/306.56	c bounds - >= 1374 @ 301.267
305.34/306.56	c bounds - >= 1375 @ 301.268
305.34/306.56	c bounds - >= 1376 @ 301.27
305.34/306.56	c bounds - >= 1377 @ 301.27
305.34/306.56	c bounds - >= 1378 @ 301.271
305.34/306.56	c bounds - >= 1379 @ 301.271
305.34/306.56	c bounds - >= 1380 @ 301.272
305.34/306.56	c bounds - >= 1381 @ 301.273
305.34/306.56	c bounds - >= 1382 @ 301.274
305.34/306.56	c bounds - >= 1383 @ 301.275
305.34/306.56	c bounds - >= 1384 @ 301.275
305.34/306.56	c bounds - >= 1385 @ 301.275
305.34/306.56	c bounds - >= 1386 @ 301.276
305.34/306.56	c bounds - >= 1387 @ 301.277
305.34/306.56	c bounds - >= 1388 @ 301.277
305.34/306.56	c bounds - >= 1389 @ 301.278
305.34/306.56	c bounds - >= 1390 @ 301.278
305.34/306.56	c bounds - >= 1391 @ 301.278
305.34/306.56	c bounds - >= 1392 @ 301.279
305.34/306.56	c bounds - >= 1393 @ 301.279
305.34/306.56	c bounds - >= 1394 @ 301.28
305.34/306.56	c bounds - >= 1395 @ 301.281
305.34/306.56	c bounds - >= 1396 @ 301.282
305.34/306.56	c bounds - >= 1397 @ 301.283
305.34/306.56	c bounds - >= 1398 @ 301.284
305.34/306.56	c bounds - >= 1399 @ 301.285
305.34/306.56	c bounds - >= 1400 @ 301.285
305.34/306.56	c bounds - >= 1401 @ 301.286
305.34/306.56	c bounds - >= 1402 @ 301.288
305.34/306.56	c bounds - >= 1403 @ 301.289
305.34/306.56	c bounds - >= 1404 @ 301.29
305.34/306.56	c bounds - >= 1405 @ 301.291
305.34/306.56	c bounds - >= 1406 @ 301.292
305.34/306.56	c bounds - >= 1407 @ 301.292
305.34/306.56	c bounds - >= 1408 @ 301.292
305.34/306.56	c bounds - >= 1409 @ 301.294
305.34/306.56	c bounds - >= 1410 @ 301.295
305.34/306.56	c bounds - >= 1411 @ 301.295
305.34/306.56	c bounds - >= 1412 @ 301.297
305.34/306.56	c bounds - >= 1413 @ 301.297
305.34/306.56	c bounds - >= 1414 @ 301.298
305.34/306.56	c bounds - >= 1415 @ 301.299
305.34/306.56	c bounds - >= 1416 @ 301.3
305.34/306.56	c bounds - >= 1417 @ 301.302
305.34/306.56	c bounds - >= 1418 @ 301.303
305.34/306.56	c bounds - >= 1419 @ 301.304
305.34/306.56	c bounds - >= 1420 @ 301.305
305.34/306.56	c bounds - >= 1421 @ 301.305
305.34/306.56	c bounds - >= 1422 @ 301.307
305.34/306.56	c bounds - >= 1423 @ 301.307
305.34/306.56	c bounds - >= 1424 @ 301.308
305.34/306.56	c bounds - >= 1425 @ 301.308
305.34/306.56	c bounds - >= 1426 @ 301.31
305.34/306.56	c bounds - >= 1427 @ 301.312
305.34/306.56	c bounds - >= 1428 @ 301.312
305.34/306.56	c bounds - >= 1429 @ 301.313
305.34/306.56	c bounds - >= 1430 @ 301.313
305.34/306.56	c bounds - >= 1431 @ 301.314
305.34/306.56	c bounds - >= 1432 @ 301.314
305.34/306.56	c bounds - >= 1433 @ 301.315
305.34/306.56	c bounds - >= 1434 @ 301.315
305.34/306.56	c bounds - >= 1435 @ 301.316
305.34/306.56	c bounds - >= 1436 @ 301.316
305.34/306.56	c bounds - >= 1437 @ 301.317
305.34/306.56	c bounds - >= 1438 @ 301.318
305.34/306.56	c bounds - >= 1439 @ 301.319
305.34/306.56	c bounds - >= 1440 @ 301.32
305.34/306.56	c bounds - >= 1441 @ 301.321
305.34/306.56	c bounds - >= 1442 @ 301.321
305.34/306.56	c bounds - >= 1443 @ 301.323
305.34/306.56	c bounds - >= 1444 @ 301.323
305.34/306.56	c bounds - >= 1445 @ 301.324
305.34/306.56	c bounds - >= 1446 @ 301.325
305.34/306.56	c bounds - >= 1447 @ 301.327
305.34/306.56	c bounds - >= 1448 @ 301.328
305.34/306.56	c bounds - >= 1449 @ 301.33
305.34/306.56	c bounds - >= 1450 @ 301.33
309.93/311.19	c bounds - >= 1451 @ 301.331
309.93/311.19	c bounds - >= 1452 @ 301.331
309.93/311.19	c bounds - >= 1453 @ 301.333
309.93/311.19	c bounds - >= 1454 @ 301.333
309.93/311.19	c bounds - >= 1455 @ 301.333
309.93/311.19	c bounds - >= 1456 @ 301.335
309.93/311.19	c bounds - >= 1457 @ 301.335
309.93/311.19	c bounds - >= 1458 @ 301.336
309.93/311.19	c bounds - >= 1459 @ 301.336
309.93/311.19	c bounds - >= 1460 @ 301.337
309.93/311.19	c bounds - >= 1461 @ 301.338
309.93/311.19	c bounds - >= 1462 @ 301.34
309.93/311.19	c bounds - >= 1463 @ 301.34
309.93/311.19	c bounds - >= 1464 @ 301.34
309.93/311.19	c bounds - >= 1465 @ 301.341
309.93/311.19	c bounds - >= 1466 @ 301.341
309.93/311.19	c bounds - >= 1467 @ 301.342
309.93/311.19	c bounds - >= 1468 @ 301.342
309.93/311.19	c bounds - >= 1469 @ 301.342
309.93/311.19	c bounds - >= 1470 @ 301.343
309.93/311.19	c bounds - >= 1471 @ 301.343
309.93/311.19	c bounds - >= 1472 @ 301.345
309.93/311.19	c bounds - >= 1473 @ 301.345
309.93/311.19	c bounds - >= 1474 @ 301.345
309.93/311.19	c bounds - >= 1475 @ 301.346
309.93/311.19	c bounds - >= 1476 @ 301.347
309.93/311.19	c bounds - >= 1477 @ 301.348
309.93/311.19	c bounds - >= 1478 @ 301.349
309.93/311.19	c bounds - >= 1479 @ 301.349
309.93/311.19	c bounds - >= 1480 @ 301.35
309.93/311.19	c bounds - >= 1481 @ 301.352
309.93/311.19	c bounds - >= 1482 @ 301.352
309.93/311.19	c bounds - >= 1483 @ 301.354
309.93/311.19	c bounds - >= 1484 @ 301.355
309.93/311.19	c bounds - >= 1485 @ 301.355
309.93/311.19	c bounds - >= 1486 @ 301.356
309.93/311.19	c bounds - >= 1487 @ 301.357
309.93/311.19	c bounds - >= 1488 @ 301.358
309.93/311.19	c bounds - >= 1489 @ 301.36
309.93/311.19	c bounds - >= 1490 @ 301.36
309.93/311.19	c bounds - >= 1491 @ 301.36
309.93/311.19	c bounds - >= 1492 @ 301.361
309.93/311.19	c bounds - >= 1493 @ 301.362
309.93/311.19	c bounds - >= 1494 @ 301.363
309.93/311.19	c bounds - >= 1495 @ 301.364
309.93/311.19	c bounds - >= 1496 @ 301.365
309.93/311.19	c bounds - >= 1497 @ 301.365
309.93/311.19	c bounds - >= 1498 @ 301.366
309.93/311.19	c bounds - >= 1499 @ 301.367
309.93/311.19	c bounds - >= 1500 @ 301.367
309.93/311.19	c bounds - >= 1501 @ 301.367
309.93/311.19	c bounds - >= 1502 @ 301.368
309.93/311.19	c bounds - >= 1503 @ 301.369
309.93/311.19	c bounds - >= 1504 @ 301.369
309.93/311.19	c bounds - >= 1505 @ 301.369
309.93/311.19	c bounds - >= 1506 @ 301.37
309.93/311.19	c bounds - >= 1507 @ 301.371
309.93/311.19	c bounds - >= 1508 @ 301.371
309.93/311.19	c bounds - >= 1509 @ 301.371
309.93/311.19	c bounds - >= 1510 @ 301.372
309.93/311.19	c bounds - >= 1511 @ 301.373
309.93/311.19	c bounds - >= 1512 @ 301.373
309.93/311.19	c bounds - >= 1513 @ 301.373
309.93/311.19	c bounds - >= 1514 @ 301.374
309.93/311.19	c bounds - >= 1515 @ 301.376
309.93/311.19	c bounds - >= 1516 @ 301.376
309.93/311.19	c bounds - >= 1517 @ 301.376
309.93/311.19	c bounds - >= 1518 @ 301.377
309.93/311.19	c bounds - >= 1519 @ 301.379
309.93/311.19	c bounds - >= 1520 @ 301.379
309.93/311.19	c bounds - >= 1521 @ 301.379
309.93/311.19	c bounds - >= 1522 @ 301.38
309.93/311.19	c bounds - >= 1523 @ 301.381
309.93/311.19	c bounds - >= 1524 @ 301.383
309.93/311.19	c bounds - >= 1525 @ 301.384
309.93/311.19	c bounds - >= 1526 @ 301.384
309.93/311.19	c bounds - >= 1527 @ 301.385
309.93/311.19	c bounds - >= 1528 @ 301.386
309.93/311.19	c bounds - >= 1529 @ 301.387
309.93/311.19	c bounds - >= 1530 @ 301.387
309.93/311.19	c bounds - >= 1531 @ 301.387
309.93/311.19	c bounds - >= 1532 @ 301.387
309.93/311.19	c bounds - >= 1533 @ 301.388
309.93/311.19	c bounds - >= 1534 @ 301.389
309.93/311.19	c bounds - >= 1535 @ 301.39
309.93/311.19	c bounds - >= 1536 @ 301.391
309.93/311.19	c bounds - >= 1537 @ 301.391
309.93/311.19	c bounds - >= 1538 @ 301.392
309.93/311.19	c bounds - >= 1539 @ 301.393
309.93/311.19	c bounds - >= 1540 @ 301.394
309.93/311.19	c bounds - >= 1541 @ 301.395
309.93/311.19	c bounds - >= 1542 @ 301.396
309.93/311.19	c bounds - >= 1543 @ 301.397
309.93/311.19	c bounds - >= 1544 @ 301.398
309.93/311.19	c bounds - >= 1545 @ 301.399
309.93/311.19	c bounds - >= 1546 @ 301.399
309.93/311.19	c bounds - >= 1547 @ 301.399
309.93/311.19	c bounds - >= 1548 @ 301.4
309.93/311.19	c bounds - >= 1549 @ 301.4
309.93/311.19	c bounds - >= 1550 @ 301.4
309.93/311.19	c bounds - >= 1551 @ 301.4
309.93/311.19	c bounds - >= 1552 @ 301.401
309.93/311.19	c bounds - >= 1553 @ 301.402
309.93/311.19	c bounds - >= 1554 @ 301.403
309.93/311.19	c bounds - >= 1555 @ 301.404
309.93/311.19	c bounds - >= 1556 @ 301.405
309.93/311.19	c bounds - >= 1557 @ 301.406
309.93/311.19	c bounds - >= 1558 @ 301.407
309.93/311.19	c bounds - >= 1559 @ 301.408
309.93/311.19	c bounds - >= 1560 @ 301.409
309.93/311.19	c bounds - >= 1561 @ 301.41
309.93/311.19	c bounds - >= 1562 @ 301.411
309.93/311.19	c bounds - >= 1563 @ 301.412
309.93/311.19	c bounds - >= 1564 @ 301.412
309.93/311.19	c bounds - >= 1565 @ 301.413
309.93/311.19	c bounds - >= 1566 @ 301.413
309.93/311.19	c bounds - >= 1567 @ 301.414
309.93/311.19	c bounds - >= 1568 @ 301.414
309.93/311.19	c bounds - >= 1569 @ 301.415
309.93/311.19	c bounds - >= 1570 @ 301.416
309.93/311.19	c bounds - >= 1571 @ 301.416
309.93/311.19	c bounds - >= 1572 @ 301.416
309.93/311.19	c bounds - >= 1573 @ 301.417
309.93/311.19	c bounds - >= 1574 @ 301.418
309.93/311.19	c bounds - >= 1575 @ 301.419
309.93/311.19	c bounds - >= 1576 @ 301.42
309.93/311.19	c bounds - >= 1577 @ 301.421
309.93/311.19	c bounds - >= 1578 @ 301.422
309.93/311.19	c bounds - >= 1579 @ 301.423
309.93/311.19	c bounds - >= 1580 @ 301.424
309.93/311.19	c bounds - >= 1581 @ 301.425
309.93/311.19	c bounds - >= 1582 @ 301.426
309.93/311.19	c bounds - >= 1583 @ 301.427
309.93/311.19	c bounds - >= 1584 @ 301.428
309.93/311.19	c bounds - >= 1585 @ 301.428
309.93/311.19	c bounds - >= 1586 @ 301.428
309.93/311.19	c bounds - >= 1587 @ 301.428
309.93/311.19	c bounds - >= 1588 @ 301.428
309.93/311.19	c bounds - >= 1589 @ 301.428
309.93/311.19	c #Conflicts:       4000 | #Constraints:      18320
309.93/311.19	c #Conflicts:       5000 | #Constraints:      19320
941.57/945.14	c #Conflicts:       6000 | #Constraints:      20320
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:       7000 | #Constraints:      18151
941.57/945.14	c #Conflicts:       8000 | #Constraints:      19151
941.57/945.14	c #Conflicts:       9000 | #Constraints:      20151
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      10000 | #Constraints:      18285
941.57/945.14	c #Conflicts:      11000 | #Constraints:      19285
941.57/945.14	c #Conflicts:      12000 | #Constraints:      20285
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      13000 | #Constraints:      18070
941.57/945.14	c #Conflicts:      14000 | #Constraints:      19070
941.57/945.14	c #Conflicts:      15000 | #Constraints:      20070
941.57/945.14	c #Conflicts:      16000 | #Constraints:      21070
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      17000 | #Constraints:      18626
941.57/945.14	c #Conflicts:      18000 | #Constraints:      19626
941.57/945.14	c #Conflicts:      19000 | #Constraints:      20626
941.57/945.14	c #Conflicts:      20000 | #Constraints:      21626
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      21000 | #Constraints:      18926
941.57/945.14	c #Conflicts:      22000 | #Constraints:      19926
941.57/945.14	c #Conflicts:      23000 | #Constraints:      20926
941.57/945.14	c #Conflicts:      24000 | #Constraints:      21926
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      25000 | #Constraints:      19038
941.57/945.14	c #Conflicts:      26000 | #Constraints:      20038
941.57/945.14	c #Conflicts:      27000 | #Constraints:      21038
941.57/945.14	c #Conflicts:      28000 | #Constraints:      22038
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      29000 | #Constraints:      18947
941.57/945.14	c #Conflicts:      30000 | #Constraints:      19947
941.57/945.14	c #Conflicts:      31000 | #Constraints:      20947
941.57/945.14	c #Conflicts:      32000 | #Constraints:      21947
941.57/945.14	c #Conflicts:      33000 | #Constraints:      22947
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      34000 | #Constraints:      19676
941.57/945.14	c #Conflicts:      35000 | #Constraints:      20676
941.57/945.14	c #Conflicts:      36000 | #Constraints:      21676
941.57/945.14	c #Conflicts:      37000 | #Constraints:      22676
941.57/945.14	c #Conflicts:      38000 | #Constraints:      23676
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      39000 | #Constraints:      20202
941.57/945.14	c #Conflicts:      40000 | #Constraints:      21202
941.57/945.14	c #Conflicts:      41000 | #Constraints:      22202
941.57/945.14	c #Conflicts:      42000 | #Constraints:      23202
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      43000 | #Constraints:      19520
941.57/945.14	c #Conflicts:      44000 | #Constraints:      20520
941.57/945.14	c #Conflicts:      45000 | #Constraints:      21520
941.57/945.14	c #Conflicts:      46000 | #Constraints:      22520
941.57/945.14	c #Conflicts:      47000 | #Constraints:      23520
941.57/945.14	c #Conflicts:      48000 | #Constraints:      24520
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      49000 | #Constraints:      20597
941.57/945.14	c #Conflicts:      50000 | #Constraints:      21597
941.57/945.14	c #Conflicts:      51000 | #Constraints:      22597
941.57/945.14	c #Conflicts:      52000 | #Constraints:      23597
941.57/945.14	c #Conflicts:      53000 | #Constraints:      24597
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      54000 | #Constraints:      20483
941.57/945.14	c #Conflicts:      55000 | #Constraints:      21483
941.57/945.14	c #Conflicts:      56000 | #Constraints:      22483
941.57/945.14	c #Conflicts:      57000 | #Constraints:      23483
941.57/945.14	c #Conflicts:      58000 | #Constraints:      24483
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      59000 | #Constraints:      20174
941.57/945.14	c #Conflicts:      60000 | #Constraints:      21174
941.57/945.14	c #Conflicts:      61000 | #Constraints:      22174
941.57/945.14	c #Conflicts:      62000 | #Constraints:      23174
941.57/945.14	c #Conflicts:      63000 | #Constraints:      24174
941.57/945.14	c #Conflicts:      64000 | #Constraints:      25174
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      65000 | #Constraints:      20689
941.57/945.14	c #Conflicts:      66000 | #Constraints:      21689
941.57/945.14	c #Conflicts:      67000 | #Constraints:      22689
941.57/945.14	c #Conflicts:      68000 | #Constraints:      23689
941.57/945.14	c #Conflicts:      69000 | #Constraints:      24689
941.57/945.14	c #Conflicts:      70000 | #Constraints:      25689
941.57/945.14	c INPROCESSING
941.57/945.14	c GARBAGE COLLECT
941.57/945.14	c #Conflicts:      71000 | #Constraints:      20981
941.57/945.14	c #Conflicts:      72000 | #Constraints:      21981
941.57/945.14	c #Conflicts:      73000 | #Constraints:      22981
941.57/945.14	c #Conflicts:      74000 | #Constraints:      23981
1900.20/1907.29	c #Conflicts:      75000 | #Constraints:      24981
1900.20/1907.29	c #Conflicts:      76000 | #Constraints:      25981
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:      77000 | #Constraints:      21074
1900.20/1907.29	c #Conflicts:      78000 | #Constraints:      22074
1900.20/1907.29	c #Conflicts:      79000 | #Constraints:      23074
1900.20/1907.29	c #Conflicts:      80000 | #Constraints:      24074
1900.20/1907.29	c #Conflicts:      81000 | #Constraints:      25074
1900.20/1907.29	c #Conflicts:      82000 | #Constraints:      26074
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:      83000 | #Constraints:      20984
1900.20/1907.29	c #Conflicts:      84000 | #Constraints:      21984
1900.20/1907.29	c #Conflicts:      85000 | #Constraints:      22984
1900.20/1907.29	c #Conflicts:      86000 | #Constraints:      23984
1900.20/1907.29	c #Conflicts:      87000 | #Constraints:      24984
1900.20/1907.29	c #Conflicts:      88000 | #Constraints:      25984
1900.20/1907.29	c #Conflicts:      89000 | #Constraints:      26984
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:      90000 | #Constraints:      21692
1900.20/1907.29	c #Conflicts:      91000 | #Constraints:      22692
1900.20/1907.29	c #Conflicts:      92000 | #Constraints:      23692
1900.20/1907.29	c #Conflicts:      93000 | #Constraints:      24692
1900.20/1907.29	c #Conflicts:      94000 | #Constraints:      25692
1900.20/1907.29	c #Conflicts:      95000 | #Constraints:      26692
1900.20/1907.29	c #Conflicts:      96000 | #Constraints:      27692
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:      97000 | #Constraints:      22214
1900.20/1907.29	c #Conflicts:      98000 | #Constraints:      23214
1900.20/1907.29	c #Conflicts:      99000 | #Constraints:      24214
1900.20/1907.29	c #Conflicts:     100000 | #Constraints:      25214
1900.20/1907.29	c #Conflicts:     101000 | #Constraints:      26214
1900.20/1907.29	c #Conflicts:     102000 | #Constraints:      27214
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:     103000 | #Constraints:      21489
1900.20/1907.29	c #Conflicts:     104000 | #Constraints:      22489
1900.20/1907.29	c #Conflicts:     105000 | #Constraints:      23489
1900.20/1907.29	c #Conflicts:     106000 | #Constraints:      24489
1900.20/1907.29	c #Conflicts:     107000 | #Constraints:      25489
1900.20/1907.29	c #Conflicts:     108000 | #Constraints:      26489
1900.20/1907.29	c #Conflicts:     109000 | #Constraints:      27489
1900.20/1907.29	c #Conflicts:     110000 | #Constraints:      28489
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:     111000 | #Constraints:      22583
1900.20/1907.29	c #Conflicts:     112000 | #Constraints:      23583
1900.20/1907.29	c #Conflicts:     113000 | #Constraints:      24583
1900.20/1907.29	c #Conflicts:     114000 | #Constraints:      25583
1900.20/1907.29	c #Conflicts:     115000 | #Constraints:      26583
1900.20/1907.29	c #Conflicts:     116000 | #Constraints:      27583
1900.20/1907.29	c #Conflicts:     117000 | #Constraints:      28583
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:     118000 | #Constraints:      22470
1900.20/1907.29	c #Conflicts:     119000 | #Constraints:      23470
1900.20/1907.29	c #Conflicts:     120000 | #Constraints:      24470
1900.20/1907.29	c #Conflicts:     121000 | #Constraints:      25470
1900.20/1907.29	c #Conflicts:     122000 | #Constraints:      26470
1900.20/1907.29	c #Conflicts:     123000 | #Constraints:      27470
1900.20/1907.29	c #Conflicts:     124000 | #Constraints:      28470
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:     125000 | #Constraints:      22168
1900.20/1907.29	c #Conflicts:     126000 | #Constraints:      23168
1900.20/1907.29	c #Conflicts:     127000 | #Constraints:      24168
1900.20/1907.29	c #Conflicts:     128000 | #Constraints:      25168
1900.20/1907.29	c #Conflicts:     129000 | #Constraints:      26168
1900.20/1907.29	c #Conflicts:     130000 | #Constraints:      27168
1900.20/1907.29	c #Conflicts:     131000 | #Constraints:      28168
1900.20/1907.29	c #Conflicts:     132000 | #Constraints:      29168
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:     133000 | #Constraints:      22667
1900.20/1907.29	c #Conflicts:     134000 | #Constraints:      23667
1900.20/1907.29	c #Conflicts:     135000 | #Constraints:      24667
1900.20/1907.29	c #Conflicts:     136000 | #Constraints:      25667
1900.20/1907.29	c #Conflicts:     137000 | #Constraints:      26667
1900.20/1907.29	c #Conflicts:     138000 | #Constraints:      27667
1900.20/1907.29	c #Conflicts:     139000 | #Constraints:      28667
1900.20/1907.29	c #Conflicts:     140000 | #Constraints:      29667
1900.20/1907.29	c INPROCESSING
1900.20/1907.29	c GARBAGE COLLECT
1900.20/1907.29	c #Conflicts:     141000 | #Constraints:      22980
1900.20/1907.29	c #Conflicts:     142000 | #Constraints:      23980
1900.20/1907.29	c #Conflicts:     143000 | #Constraints:      24980
1900.20/1907.29	c #Conflicts:     144000 | #Constraints:      25980
1900.20/1907.29	c #Conflicts:     145000 | #Constraints:      26980
1900.20/1907.29	c #Conflicts:     146000 | #Constraints:      27980
1900.20/1907.29	c #Conflicts:     147000 | #Constraints:      28980
3494.74/3507.80	c #Conflicts:     148000 | #Constraints:      29980
3494.74/3507.80	c INPROCESSING
3494.74/3507.80	c GARBAGE COLLECT
3494.74/3507.80	c #Conflicts:     149000 | #Constraints:      23100
3494.74/3507.80	c #Conflicts:     150000 | #Constraints:      24100
3494.74/3507.80	c #Conflicts:     151000 | #Constraints:      25100
3494.74/3507.80	c #Conflicts:     152000 | #Constraints:      26100
3494.74/3507.80	c #Conflicts:     153000 | #Constraints:      27100
3494.74/3507.80	c #Conflicts:     154000 | #Constraints:      28100
3494.74/3507.80	c #Conflicts:     155000 | #Constraints:      29100
3494.74/3507.80	c #Conflicts:     156000 | #Constraints:      30100
3494.74/3507.80	c INPROCESSING
3494.74/3507.80	c GARBAGE COLLECT
3494.74/3507.80	c #Conflicts:     157000 | #Constraints:      23001
3494.74/3507.80	c #Conflicts:     158000 | #Constraints:      24001
3494.74/3507.80	c #Conflicts:     159000 | #Constraints:      25001
3494.74/3507.80	c #Conflicts:     160000 | #Constraints:      26001
3494.74/3507.80	c #Conflicts:     161000 | #Constraints:      27001
3494.74/3507.80	c #Conflicts:     162000 | #Constraints:      28001
3494.74/3507.80	c #Conflicts:     163000 | #Constraints:      29001
3494.74/3507.80	c #Conflicts:     164000 | #Constraints:      30001
3494.74/3507.80	c #Conflicts:     165000 | #Constraints:      31001
3494.74/3507.80	c INPROCESSING
3494.74/3507.80	c GARBAGE COLLECT
3494.74/3507.80	c #Conflicts:     166000 | #Constraints:      23708
3494.74/3507.80	c #Conflicts:     167000 | #Constraints:      24708
3494.74/3507.80	c #Conflicts:     168000 | #Constraints:      25708
3494.74/3507.80	c #Conflicts:     169000 | #Constraints:      26708
3494.74/3507.80	c #Conflicts:     170000 | #Constraints:      27708
3494.74/3507.80	c #Conflicts:     171000 | #Constraints:      28708
3494.74/3507.80	c #Conflicts:     172000 | #Constraints:      29708
3494.74/3507.80	c #Conflicts:     173000 | #Constraints:      30708
3494.74/3507.80	c #Conflicts:     174000 | #Constraints:      31708
3494.74/3507.80	c INPROCESSING
3494.74/3507.80	c GARBAGE COLLECT
3494.74/3507.80	c #Conflicts:     175000 | #Constraints:      24205
3494.74/3507.80	c #Conflicts:     176000 | #Constraints:      25205
3494.74/3507.80	c #Conflicts:     177000 | #Constraints:      26205
3494.74/3507.80	c #Conflicts:     178000 | #Constraints:      27205
3494.74/3507.80	c #Conflicts:     179000 | #Constraints:      28205
3494.74/3507.80	c #Conflicts:     180000 | #Constraints:      29205
3494.74/3507.80	c #Conflicts:     181000 | #Constraints:      30205
3494.74/3507.80	c #Conflicts:     182000 | #Constraints:      31205
3494.74/3507.80	c INPROCESSING
3494.74/3507.80	c GARBAGE COLLECT
3494.74/3507.80	c #Conflicts:     183000 | #Constraints:      23509
3494.74/3507.80	c #Conflicts:     184000 | #Constraints:      24509
3494.74/3507.80	c #Conflicts:     185000 | #Constraints:      25509
3494.74/3507.80	c #Conflicts:     186000 | #Constraints:      26509
3494.74/3507.80	c #Conflicts:     187000 | #Constraints:      27509
3494.74/3507.80	c #Conflicts:     188000 | #Constraints:      28509
3494.74/3507.80	c #Conflicts:     189000 | #Constraints:      29509
3494.74/3507.80	c #Conflicts:     190000 | #Constraints:      30509
3494.74/3507.80	c #Conflicts:     191000 | #Constraints:      31509
3494.74/3507.80	c #Conflicts:     192000 | #Constraints:      32509
3494.74/3507.80	c INPROCESSING
3494.74/3507.80	c GARBAGE COLLECT
3494.74/3507.80	c #Conflicts:     193000 | #Constraints:      24600
3494.74/3507.80	c #Conflicts:     194000 | #Constraints:      25600
3494.74/3507.80	c #Conflicts:     195000 | #Constraints:      26600
3494.74/3507.80	c #Conflicts:     196000 | #Constraints:      27600
3494.74/3507.80	c #Conflicts:     197000 | #Constraints:      28600
3494.74/3507.80	c #Conflicts:     198000 | #Constraints:      29600
3494.74/3507.80	c #Conflicts:     199000 | #Constraints:      30600
3494.74/3507.80	c #Conflicts:     200000 | #Constraints:      31600
3494.74/3507.80	c #Conflicts:     201000 | #Constraints:      32600
3494.74/3507.80	c INPROCESSING
3494.74/3507.80	c GARBAGE COLLECT
3494.74/3507.80	c #Conflicts:     202000 | #Constraints:      24514
3494.74/3507.80	c #Conflicts:     203000 | #Constraints:      25514
3494.74/3507.80	c #Conflicts:     204000 | #Constraints:      26514
3494.74/3507.80	c #Conflicts:     205000 | #Constraints:      27514
3494.74/3507.80	c #Conflicts:     206000 | #Constraints:      28514
3494.74/3507.80	c #Conflicts:     207000 | #Constraints:      29514
3494.74/3507.80	c #Conflicts:     208000 | #Constraints:      30514
3494.74/3507.80	c #Conflicts:     209000 | #Constraints:      31514
3494.74/3507.80	c #Conflicts:     210000 | #Constraints:      32514
3494.74/3507.80	c INPROCESSING
3494.74/3507.80	c GARBAGE COLLECT
3494.74/3507.80	c #Conflicts:     211000 | #Constraints:      24202
3494.74/3507.80	c #Conflicts:     212000 | #Constraints:      25202
3494.74/3507.80	c #Conflicts:     213000 | #Constraints:      26202
3494.74/3507.80	c #Conflicts:     214000 | #Constraints:      27202
3494.74/3507.80	c #Conflicts:     215000 | #Constraints:      28202
3494.74/3507.80	c #Conflicts:     216000 | #Constraints:      29202
3494.74/3507.80	c #Conflicts:     217000 | #Constraints:      30202
3494.74/3507.80	c #Conflicts:     218000 | #Constraints:      31202
3494.74/3507.80	c #Conflicts:     219000 | #Constraints:      32202
3494.74/3507.80	c #Conflicts:     220000 | #Constraints:      33202
3600.00/3613.50	c INPROCESSING
3600.00/3613.50	c GARBAGE COLLECT
3600.00/3613.50	c #Conflicts:     221000 | #Constraints:      24727
3600.00/3613.50	c #Conflicts:     222000 | #Constraints:      25727
3600.00/3613.50	c Program interrupted by user.
3600.00/3613.50	c cpu time 3575.81 s
3600.00/3613.50	c deterministic time 347303724240 3.47e+11
3600.00/3613.50	c optimization time 89.7124 s
3600.00/3613.50	c total solve time 3187.2 s
3600.00/3613.50	c core-guided solve time 3187.2 s
3600.00/3613.50	c propagation time 1844.02 s
3600.00/3613.50	c conflict analysis time 1316.54 s
3600.00/3613.50	c propagations 554639104
3600.00/3613.50	c resolve steps 9936631
3600.00/3613.50	c decisions 38480683
3600.00/3613.50	c conflicts 222885
3600.00/3613.50	c restarts 510
3600.00/3613.50	c inprocessing phases 35
3600.00/3613.50	c input clauses 14605
3600.00/3613.50	c input cardinalities 1589
3600.00/3613.50	c input general constraints 0
3600.00/3613.50	c input average constraint length 719.65
3600.00/3613.50	c input average constraint degree 79.18
3600.00/3613.50	c learned clauses 111973
3600.00/3613.50	c learned cardinalities 81
3600.00/3613.50	c learned general constraints 110830
3600.00/3613.50	c learned average constraint length 4577.00
3600.00/3613.50	c learned average constraint degree 2379929.66
3600.00/3613.50	c watched constraints 56725
3600.00/3613.50	c counting constraints 54105
3600.00/3613.50	c gcd simplifications 55245
3600.00/3613.50	c detected cardinalities 0
3600.00/3613.50	c weakened non-implied lits 390926161
3600.00/3613.50	c weakened non-implying lits 364354
3600.00/3613.50	c original variables 7930
3600.00/3613.50	c clausal propagations 24216928
3600.00/3613.50	c cardinality propagations 137078
3600.00/3613.50	c watched propagations 26291925
3600.00/3613.50	c counting propagations 500365198
3600.00/3613.50	c watch lookups 33991692788
3600.00/3613.50	c watch backjump lookups 32006742719
3600.00/3613.50	c watch checks 254550987101
3600.00/3613.50	c propagation checks 21377295324
3600.00/3613.50	c constraint additions 4190547376
3600.00/3613.50	c trail pops 593339144
3600.00/3613.50	c formula constraints 14604
3600.00/3613.50	c learned constraints 222884
3600.00/3613.50	c bound constraints 1590
3600.00/3613.50	c core-guided constraints 0
3600.00/3613.50	c encountered formula constraints 9466994
3600.00/3613.50	c encountered learned constraints 692450
3600.00/3613.50	c encountered bound constraints 72
3600.00/3613.50	c encountered core-guided constraints 0
3600.00/3613.50	c LP total time 0 s
3600.00/3613.50	c LP solve time 0 s
3600.00/3613.50	c LP constraints added 0
3600.00/3613.50	c LP constraints removed 0
3600.00/3613.50	c LP pivots internal 0
3600.00/3613.50	c LP pivots root 0
3600.00/3613.50	c LP calls 0
3600.00/3613.50	c LP optimalities 0
3600.00/3613.50	c LP no pivot count 0
3600.00/3613.50	c LP infeasibilities 0
3600.00/3613.50	c LP valid Farkas constraints 0
3600.00/3613.50	c LP learned Farkas constraints 0
3600.00/3613.50	c LP basis resets 0
3600.00/3613.50	c LP cycling count 0
3600.00/3613.50	c LP singular count 0
3600.00/3613.50	c LP no primal count 0
3600.00/3613.50	c LP no farkas count 0
3600.00/3613.50	c LP other issue count 0
3600.00/3613.50	c LP Gomory cuts 0
3600.00/3613.50	c LP learned cuts 0
3600.00/3613.50	c LP deleted cuts 0
3600.00/3613.50	c LP encountered Gomory constraints 0
3600.00/3613.50	c LP encountered Farkas constraints 0
3600.00/3613.50	c LP encountered learned Farkas constraints 0
3600.00/3613.50	c CG auxiliary variables introduced 0
3600.00/3613.50	c CG solutions found 0
3600.00/3613.50	c CG cores constructed 1589
3600.00/3613.50	c CG core cardinality constraints returned 0
3600.00/3613.50	c CG unit cores 0
3600.00/3613.50	c CG single cores 1589
3600.00/3613.50	c CG blocks removed during cardinality reduction 0
3600.00/3613.50	c CG first core best 0
3600.00/3613.50	c CG decision core best 0
3600.00/3613.50	c CG core reduction tie 0
3600.00/3613.50	c CG core degree average 1.00
3600.00/3613.50	c CG core slack average 3.27
3600.00/3613.50	c CG exhausted 0
3600.00/3613.50	c CG exhaust time 0 s
3600.00/3613.50	c CG trimmed 1297
3600.00/3613.50	c CG trim time 0.010506 s
3600.00/3613.50	c CG minimized 0
3600.00/3613.50	c CG minimize time 0 s
3600.00/3613.50	c CG am1 prop time 0.007681 s
3600.00/3613.50	c CG # am1s reformulated 0
3600.00/3613.50	c CG lower bound derived from am1s 0
3600.00/3613.50	c CG # clausal cores 1589
3600.00/3613.50	c CG # cardinality cores 0
3600.00/3613.50	c CG # pb cores 0
3600.00/3613.50	c CG # pb reforms 0
3600.00/3613.50	c CG # cores discarded because of pb reform 0
3600.00/3613.50	d LOWERBOUND 1589
3600.00/3613.50	d NCORES 1589
3600.00/3613.50	d NPBCORES 0
3600.00/3613.50	d NPBREFORM 0
3600.00/3613.50	d NTRIMMED 1297
3600.00/3613.50	d NEXHAUSTED 0
3600.00/3613.50	d NAM1S 0
3600.00/3613.50	d AM1LB 0
3600.00/3613.50	c [Papilo Statistics]
3600.00/3613.50	c prepro time 0.0374296s
3600.00/3613.50	c # tsx applied 0
3600.00/3613.50	c # tsx conflicts 0
3600.00/3613.50	c # bound changes 0
3600.00/3613.50	c # side changes 0
3600.00/3613.50	c # coef changes 0
3600.00/3613.50	c # rounds 1
3600.00/3613.50	c # deted vars 0
3600.00/3613.50	c # deted constrs 0
3600.00/3613.50	c # consecutive rounds of only bound changes 0
3600.00/3613.50	s UNKNOWN

ERROR: no interpretation found !

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 (62508 MiB free)
  memory of node 1: 64465 MiB (63705 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502361-1751431302/watcher-4502361-1751431302 -o /tmp/evaluation-result-4502361-1751431302/solver-4502361-1751431302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751431302-61700 --watchdog 3760 mixed-bag HOME/instance-4502361-1751431302.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=61739, runsolver pid=61734

[startup+0.10007 s]*
/proc/loadavg: 0.57 1.65 2.06 5/274 61752
/proc/meminfo: memFree=129231552/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=84876 memory=12420 CPUtime=0.07 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 1696 0 1 0 6 1 0 0 20 0 1 0 58809686 86913024 3105 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 21219 3105 2144 2842 0 3452 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 84876 KiB
Current children cumulated memory: 12420 KiB

[startup+0.215905 s]*
/proc/loadavg: 0.57 1.65 2.06 5/276 61757
/proc/meminfo: memFree=129222028/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=112716 memory=37680 CPUtime=0.18 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 7396 0 1 0 15 3 0 0 20 0 1 0 58809686 115421184 9420 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 28179 9420 3680 2842 0 9873 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 112716 KiB
Current children cumulated memory: 37680 KiB

[startup+0.315454 s]*
/proc/loadavg: 0.57 1.65 2.06 4/276 61757
/proc/meminfo: memFree=129152476/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=140676 memory=64944 CPUtime=0.29 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 13892 0 1 0 23 6 0 0 20 0 1 0 58809686 144052224 16236 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 35169 16236 4032 2842 0 16863 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 140676 KiB
Current children cumulated memory: 64944 KiB

[startup+0.700345 s]
/proc/loadavg: 0.57 1.65 2.06 5/272 61765
/proc/meminfo: memFree=129132836/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=166172 memory=87788 CPUtime=0.64 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 20343 0 1 0 56 8 0 0 20 0 1 0 58809686 170160128 21947 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 41543 21947 4064 2842 0 23237 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 166172 KiB
Current children cumulated memory: 87788 KiB

[startup+1.50031 s]
/proc/loadavg: 0.84 1.69 2.07 4/272 61765
/proc/meminfo: memFree=128983224/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=307224 memory=215416 CPUtime=1.44 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 52630 0 1 0 127 17 0 0 20 0 1 0 58809686 314597376 53854 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 76806 53854 4256 2842 0 58500 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 307224 KiB
Current children cumulated memory: 215416 KiB

[startup+3.11444 s]
/proc/loadavg: 0.84 1.69 2.07 3/267 61828
/proc/meminfo: memFree=128662940/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=332424 memory=231288 CPUtime=3.03 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 56627 0 1 0 284 19 0 0 20 0 1 0 58809686 340402176 57822 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 83106 57822 4256 2842 0 64800 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 332424 KiB
Current children cumulated memory: 231288 KiB

[startup+6.30024 s]
/proc/loadavg: 0.94 1.69 2.07 3/265 61829
/proc/meminfo: memFree=128614948/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=364080 memory=247288 CPUtime=6.21 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 60695 0 1 0 601 20 0 0 20 0 1 0 58809686 372817920 61822 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 91020 61822 4256 2842 0 72714 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 364080 KiB
Current children cumulated memory: 247288 KiB

[startup+12.7003 s]
/proc/loadavg: 1.02 1.70 2.07 3/265 61829
/proc/meminfo: memFree=128486872/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=412292 memory=294604 CPUtime=12.59 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 73416 0 1 0 1237 22 0 0 20 0 1 0 58809686 422187008 73651 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 103073 73651 4256 2842 0 84767 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 412292 KiB
Current children cumulated memory: 294604 KiB

[startup+25.5003 s]
/proc/loadavg: 1.17 1.71 2.07 3/264 61843
/proc/meminfo: memFree=128893668/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=412292 memory=294604 CPUtime=25.34 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 73422 0 1 0 2512 22 0 0 20 0 1 0 58809686 422187008 73651 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 103073 73651 4256 2842 0 84767 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 412292 KiB
Current children cumulated memory: 294604 KiB

[startup+51.1129 s]
/proc/loadavg: 1.22 1.67 2.05 2/242 61866
/proc/meminfo: memFree=128906708/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=412292 memory=296396 CPUtime=50.87 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 73492 0 1 0 5064 23 0 0 20 0 1 0 58809686 422187008 74099 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 103073 74099 4256 2842 0 84767 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 412292 KiB
Current children cumulated memory: 296396 KiB

[startup+102.3 s]
/proc/loadavg: 1.10 1.57 1.99 2/241 61868
/proc/meminfo: memFree=128882836/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=436092 memory=310092 CPUtime=101.87 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 76793 0 1 0 10164 23 0 0 20 0 1 0 58809686 446558208 77523 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 109023 77523 4256 2842 0 90717 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 436092 KiB
Current children cumulated memory: 310092 KiB

[startup+162.3 s]
/proc/loadavg: 1.07 1.48 1.93 2/239 61870
/proc/meminfo: memFree=128731324/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=558828 memory=421324 CPUtime=161.65 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 99962 0 1 0 16137 28 0 0 20 0 1 0 58809686 572239872 105331 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 139707 105331 4256 2842 0 121401 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 558828 KiB
Current children cumulated memory: 421324 KiB

[startup+222.3 s]
/proc/loadavg: 1.12 1.42 1.88 2/235 61875
/proc/meminfo: memFree=128707112/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=558828 memory=444876 CPUtime=221.43 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 100405 0 1 0 22115 28 0 0 20 0 1 0 58809686 572239872 111219 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 139707 111219 4256 2842 0 121401 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 558828 KiB
Current children cumulated memory: 444876 KiB

[startup+282.3 s]
/proc/loadavg: 1.10 1.35 1.83 2/234 61877
/proc/meminfo: memFree=128643864/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=601412 memory=485708 CPUtime=281.22 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 104388 0 1 0 28093 29 0 0 20 0 1 0 58809686 615845888 121427 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 150353 121427 4256 2842 0 132047 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 601412 KiB
Current children cumulated memory: 485708 KiB

[startup+342.3 s]
/proc/loadavg: 1.11 1.30 1.78 2/236 61885
/proc/meminfo: memFree=128564856/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=682152 memory=568972 CPUtime=341.01 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 107716 0 1 0 33675 426 0 0 20 0 1 0 58809686 698523648 142243 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 170538 142243 4416 2842 0 152232 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 682152 KiB
Current children cumulated memory: 568972 KiB

[startup+402.3 s]
/proc/loadavg: 1.10 1.26 1.73 2/234 61887
/proc/meminfo: memFree=128538176/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=682152 memory=607884 CPUtime=400.81 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 107751 0 1 0 39641 440 0 0 20 0 1 0 58809686 698523648 151971 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 170538 151971 4416 2842 0 152232 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 682152 KiB
Current children cumulated memory: 607884 KiB

[startup+462.3 s]
/proc/loadavg: 1.08 1.23 1.69 2/234 61889
/proc/meminfo: memFree=128524628/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=763540 memory=626316 CPUtime=460.58 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 108281 0 1 0 45603 455 0 0 20 0 1 0 58809686 781864960 156579 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 190885 156579 4416 2842 0 172579 0

################
# More data... #
################

Current children cumulated memory: 1167060 KiB

[startup+2922.3 s]
/proc/loadavg: 1.07 1.09 1.14 2/232 62013
/proc/meminfo: memFree=127988604/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1253420 memory=1167060 CPUtime=2911.59 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 133484 0 1 0 289273 1886 0 0 20 0 1 0 58809686 1283502080 291765 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 313355 291765 4416 2842 0 295049 0
Current children cumulated CPU time: 2911.59 s
Current children cumulated vsize: 1253420 KiB
Current children cumulated memory: 1167060 KiB

[startup+2982.3 s]
/proc/loadavg: 1.16 1.10 1.14 2/231 62015
/proc/meminfo: memFree=127808356/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1811228 memory=1357020 CPUtime=2971.35 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 163106 0 1 0 295169 1966 0 0 20 0 1 0 58809686 1854697472 339255 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 452807 339255 4416 2842 0 434501 0
Current children cumulated CPU time: 2971.35 s
Current children cumulated vsize: 1811228 KiB
Current children cumulated memory: 1357020 KiB

[startup+3042.3 s]
/proc/loadavg: 1.10 1.10 1.13 2/232 62018
/proc/meminfo: memFree=127761544/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1818504 memory=1395944 CPUtime=3031.12 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 165707 0 1 0 300988 2124 0 0 20 0 1 0 58809686 1862148096 348986 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 454626 348986 4416 2842 0 436320 0
Current children cumulated CPU time: 3031.12 s
Current children cumulated vsize: 1818504 KiB
Current children cumulated memory: 1395944 KiB

[startup+3102.3 s]
/proc/loadavg: 1.14 1.11 1.13 2/232 62020
/proc/meminfo: memFree=127761796/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1818504 memory=1395944 CPUtime=3090.88 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 165707 0 1 0 306933 2155 0 0 20 0 1 0 58809686 1862148096 348986 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 454626 348986 4416 2842 0 436320 0
Current children cumulated CPU time: 3090.88 s
Current children cumulated vsize: 1818504 KiB
Current children cumulated memory: 1395944 KiB

[startup+3162.3 s]
/proc/loadavg: 1.05 1.08 1.12 2/232 62022
/proc/meminfo: memFree=127762300/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1818504 memory=1395944 CPUtime=3150.64 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 165707 0 1 0 312905 2159 0 0 20 0 1 0 58809686 1862148096 348986 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 454626 348986 4416 2842 0 436320 0
Current children cumulated CPU time: 3150.64 s
Current children cumulated vsize: 1818504 KiB
Current children cumulated memory: 1395944 KiB

[startup+3222.3 s]
/proc/loadavg: 1.14 1.10 1.12 2/233 62026
/proc/meminfo: memFree=127763308/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1818504 memory=1395944 CPUtime=3210.39 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 165707 0 1 0 318879 2160 0 0 20 0 1 0 58809686 1862148096 348986 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 454626 348986 4416 2842 0 436320 0
Current children cumulated CPU time: 3210.39 s
Current children cumulated vsize: 1818504 KiB
Current children cumulated memory: 1395944 KiB

[startup+3282.3 s]
/proc/loadavg: 1.11 1.09 1.12 2/234 62029
/proc/meminfo: memFree=127765408/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1818504 memory=1395944 CPUtime=3270.15 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 165707 0 1 0 324853 2162 0 0 20 0 1 0 58809686 1862148096 348986 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 454626 348986 4416 2842 0 436320 0
Current children cumulated CPU time: 3270.15 s
Current children cumulated vsize: 1818504 KiB
Current children cumulated memory: 1395944 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.09 1.11 2/234 62035
/proc/meminfo: memFree=127764908/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1818504 memory=1395944 CPUtime=3329.91 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 165708 0 1 0 330773 2218 0 0 20 0 1 0 58809686 1862148096 348986 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 454626 348986 4416 2842 0 436320 0
Current children cumulated CPU time: 3329.91 s
Current children cumulated vsize: 1818504 KiB
Current children cumulated memory: 1395944 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.09 1.10 2/233 62037
/proc/meminfo: memFree=127749028/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1818504 memory=1403112 CPUtime=3389.67 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 165711 0 1 0 336663 2304 0 0 20 0 1 0 58809686 1862148096 350778 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 454626 350778 4416 2842 0 436320 0
Current children cumulated CPU time: 3389.67 s
Current children cumulated vsize: 1818504 KiB
Current children cumulated memory: 1403112 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.08 1.10 2/233 62039
/proc/meminfo: memFree=127694336/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1843744 memory=1462464 CPUtime=3449.42 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 170538 0 1 0 342582 2360 0 0 20 0 1 0 58809686 1887993856 365616 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 460936 365616 4416 2842 0 442630 0
Current children cumulated CPU time: 3449.42 s
Current children cumulated vsize: 1843744 KiB
Current children cumulated memory: 1462464 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.10 1.10 2/233 62041
/proc/meminfo: memFree=127545572/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1858336 memory=1613008 CPUtime=3509.18 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 174680 0 1 0 348502 2416 0 0 20 0 1 0 58809686 1902936064 403252 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 464584 403252 4416 2842 0 446278 0
Current children cumulated CPU time: 3509.18 s
Current children cumulated vsize: 1858336 KiB
Current children cumulated memory: 1613008 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.09 1.09 2/232 62043
/proc/meminfo: memFree=127516756/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1858960 memory=1632976 CPUtime=3568.94 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 174837 0 1 0 354476 2418 0 0 20 0 1 0 58809686 1903575040 408244 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 464740 408244 4416 2842 0 446434 0
Current children cumulated CPU time: 3568.94 s
Current children cumulated vsize: 1858960 KiB
Current children cumulated memory: 1632976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.5 s]
/proc/loadavg: 1.12 1.10 1.09 2/232 62044
/proc/meminfo: memFree=127519728/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1858960 memory=1632976 CPUtime=3600 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 174860 0 1 0 357581 2419 0 0 20 0 1 0 58809686 1903575040 408244 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 464740 408244 4416 2842 0 446434 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1858960 KiB
Current children cumulated memory: 1632976 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3613.51 s]
# the end of solver process 61739 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3575.81 s, system=24.2066 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3613.5 s]
/proc/loadavg: 1.12 1.10 1.09 2/232 62044
/proc/meminfo: memFree=127519728/131382116 swapFree=33009904/33010684
[pid=61739] ppid=61734 vsize=1858960 memory=1632976 CPUtime=3600 cores=1,3
/proc/61739/stat : 61739 (mixed-bag) R 61734 61739 61662 0 -1 4194304 174860 0 1 0 357581 2419 0 0 20 0 1 0 58809686 1903575040 408244 18446744073709551615 4235264 15874749 140731832849840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24674304 140731832854940 140731832855017 140731832855017 140731832860619 0
/proc/61739/statm: 464740 408244 4416 2842 0 446434 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1858960 KiB
Current children cumulated memory: 1632976 KiB

Child status: 0

Real time (s): 3613.51
CPU time (s): 3600.02
CPU user time (s): 3575.81
CPU system time (s): 24.2066
CPU usage (%): 99.6265
Max. virtual memory (cumulated for all children) (KiB): 1858960
Max. memory (cumulated for all children) (KiB): 1632976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.81
system time used= 24.2066
maximum resident set size= 1633616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174889
page faults= 1
swaps= 0
block input operations= 16
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 296
involuntary context switches= 19013


# summary of solver processes directly reported to runsolver:
#   pid: 61739
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3575.81
#   total CPU system time (s): 24.2066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.651 second user time and 31.2068 second system time

The end

Begin job on nodeC010 at 2025-07-02 06:41:43
IDJOB=4502361
IDBENCH=155329
IDSOLVER=3340
FILE ID=nodeC010/4502361-1751431302
RUNJOBID= nodeC010-1751431302-61700
SLURM_JOB_ID= 9598378
Free space on /tmp= 432172 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-methanosarcina.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502361-1751431302/watcher-4502361-1751431302 -o /tmp/evaluation-result-4502361-1751431302/solver-4502361-1751431302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751431302-61700 --watchdog 3760  mixed-bag HOME/instance-4502361-1751431302.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= e11b87324a00f3ba152132e9cc03d5bf
RANDOM SEED=667098472

nodeC010 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.127
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.36
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.141
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.36
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.169
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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		: 3700.000
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.36
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.147
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.36
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.151
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.36
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		: 3700.000
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129268888 kB
MemAvailable:   129952596 kB
Buffers:            2128 kB
Cached:          1484320 kB
SwapCached:           24 kB
Active:           622392 kB
Inactive:         925684 kB
Active(anon):      73220 kB
Inactive(anon):     6344 kB
Active(file):     549172 kB
Inactive(file):   919340 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             64120 kB
Writeback:             0 kB
AnonPages:         64712 kB
Mapped:           103928 kB
Shmem:             17936 kB
KReclaimable:     109648 kB
Slab:             194772 kB
SReclaimable:     109648 kB
SUnreclaim:        85124 kB
KernelStack:        4228 kB
PageTables:         2544 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149656 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432116 MiB
End job on nodeC010 at 2025-07-02 07:41:57