0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.29/0.39 c #variables 4356 #constraints 100680
0.29/0.39 c objective is ce32
0.48/0.58 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.48/0.58 c initial counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
0.48/0.58 c GLOBAL bounds - >= -300660 @ 0.377449
0.48/0.58 c GLOBAL bounds - >= -300660 @ 0.380464
0.48/0.59 c GLOBAL bounds - >= -300660 @ 0.38235
0.48/0.59 c GLOBAL bounds - >= -300660 @ 0.383488
0.48/0.59 c GLOBAL bounds - >= -300660 @ 0.385976
0.48/0.59 c GLOBAL bounds - >= -300660 @ 0.388262
0.48/0.60 c GLOBAL bounds - >= -300660 @ 0.390758
0.48/0.60 c GLOBAL bounds - >= -300660 @ 0.393497
0.57/0.60 c GLOBAL bounds - >= -300660 @ 0.395516
0.57/0.60 c GLOBAL bounds - >= -300660 @ 0.39722
0.57/0.61 c GLOBAL bounds - >= -300660 @ 0.398643
0.57/0.61 c GLOBAL bounds - >= -300660 @ 0.401004
0.57/0.61 c GLOBAL bounds - >= -300660 @ 0.403799
0.57/0.61 c GLOBAL bounds - >= -300660 @ 0.406317
0.57/0.62 c GLOBAL bounds - >= -300660 @ 0.408295
0.57/0.62 c GLOBAL bounds - >= -300660 @ 0.409668
0.57/0.62 c GLOBAL bounds - >= -300660 @ 0.410574
0.57/0.63 c GLOBAL bounds - >= -300660 @ 0.413292
0.57/0.63 c GLOBAL bounds - >= -300660 @ 0.416189
0.57/0.63 c GLOBAL bounds - >= -300660 @ 0.418882
0.57/0.63 c GLOBAL bounds - >= -300660 @ 0.421921
0.57/0.64 c GLOBAL bounds - >= -300660 @ 0.424703
0.57/0.64 c GLOBAL bounds - >= -300660 @ 0.426715
0.57/0.64 c GLOBAL bounds - >= -300660 @ 0.429546
0.57/0.65 c GLOBAL bounds - >= -300660 @ 0.431729
0.57/0.65 c GLOBAL bounds - >= -300660 @ 0.434687
0.57/0.65 c GLOBAL bounds - >= -300660 @ 0.437865
0.57/0.66 c GLOBAL bounds - >= -300660 @ 0.441328
0.57/0.66 c GLOBAL bounds - >= -300660 @ 0.444802
0.57/0.66 c GLOBAL bounds - >= -300660 @ 0.447258
0.57/0.67 c GLOBAL bounds - >= -300660 @ 0.449791
0.57/0.67 c GLOBAL bounds - >= -300660 @ 0.453361
0.57/0.67 c GLOBAL bounds - >= -300660 @ 0.456127
0.57/0.68 c GLOBAL bounds - >= -300660 @ 0.458612
0.57/0.68 c GLOBAL bounds - >= -300660 @ 0.461245
0.57/0.68 c GLOBAL bounds - >= -300660 @ 0.463887
0.57/0.69 c GLOBAL bounds - >= -300660 @ 0.467611
0.57/0.69 c GLOBAL bounds - >= -300660 @ 0.469437
0.67/0.70 c GLOBAL bounds - >= -300660 @ 0.472175
0.67/0.70 c GLOBAL bounds - >= -300660 @ 0.475081
0.67/0.70 c GLOBAL bounds - >= -300660 @ 0.477869
0.67/0.71 c GLOBAL bounds - >= -300660 @ 0.481735
0.67/0.71 c GLOBAL bounds - >= -300660 @ 0.485642
0.67/0.72 c GLOBAL bounds - >= -300660 @ 0.48883
0.67/0.72 c GLOBAL bounds - >= -300660 @ 0.491876
0.67/0.72 c GLOBAL bounds - >= -300660 @ 0.493874
0.67/0.73 c GLOBAL bounds - >= -300660 @ 0.495886
0.67/0.73 c GLOBAL bounds - >= -300660 @ 0.498894
0.67/0.74 c GLOBAL bounds - >= -300660 @ 0.502014
0.67/0.74 c GLOBAL bounds - >= -300660 @ 0.506032
0.67/0.74 c GLOBAL bounds - >= -300660 @ 0.509289
0.67/0.75 c GLOBAL bounds - >= -300660 @ 0.511823
0.67/0.75 c GLOBAL bounds - >= -300660 @ 0.515955
0.67/0.76 c GLOBAL bounds - >= -300660 @ 0.517298
0.67/0.76 c GLOBAL bounds - >= -300660 @ 0.521524
0.67/0.77 c GLOBAL bounds - >= -300660 @ 0.524881
0.67/0.77 c GLOBAL bounds - >= -300660 @ 0.528182
0.67/0.77 c GLOBAL bounds - >= -300660 @ 0.530796
0.67/0.78 c GLOBAL bounds - >= -300660 @ 0.53505
0.67/0.78 c GLOBAL bounds - >= -300660 @ 0.538685
0.67/0.79 c GLOBAL bounds - >= -300660 @ 0.543161
0.67/0.79 c GLOBAL bounds - >= -300660 @ 0.546764
0.78/0.80 c GLOBAL bounds - >= -300660 @ 0.551146
0.78/0.80 c GLOBAL bounds - >= -300660 @ 0.554796
0.78/0.81 c GLOBAL bounds - >= -300660 @ 0.558632
0.78/0.81 c GLOBAL bounds - >= -300660 @ 0.563021
0.78/0.82 c GLOBAL bounds - >= -300660 @ 0.566713
0.78/0.82 c GLOBAL bounds - >= -300660 @ 0.571367
0.78/0.83 c GLOBAL bounds - >= -300660 @ 0.576043
0.78/0.83 c GLOBAL bounds - >= -300660 @ 0.579825
0.78/0.83 c GLOBAL bounds - >= -300660 @ 0.583661
0.78/0.84 c GLOBAL bounds - >= -300660 @ 0.588389
0.78/0.84 c GLOBAL bounds - >= -300660 @ 0.593316
0.78/0.85 c GLOBAL bounds - >= -300660 @ 0.598201
0.78/0.85 c GLOBAL bounds - >= -300660 @ 0.602165
0.78/0.86 c GLOBAL bounds - >= -300660 @ 0.606069
0.78/0.86 c GLOBAL bounds - >= -300660 @ 0.610999
0.78/0.87 c GLOBAL bounds - >= -300660 @ 0.615968
0.78/0.87 c GLOBAL bounds - >= -300660 @ 0.620948
0.78/0.88 c GLOBAL bounds - >= -300660 @ 0.625172
0.78/0.88 c GLOBAL bounds - >= -300660 @ 0.630395
0.78/0.89 c GLOBAL bounds - >= -300660 @ 0.6356
0.78/0.90 c GLOBAL bounds - >= -300660 @ 0.639742
0.87/0.90 c GLOBAL bounds - >= -300660 @ 0.644896
0.87/0.91 c GLOBAL bounds - >= -300660 @ 0.648034
0.87/0.91 c GLOBAL bounds - >= -300660 @ 0.653156
0.87/0.92 c GLOBAL bounds - >= -300660 @ 0.658338
0.87/0.92 c GLOBAL bounds - >= -300660 @ 0.66455
0.87/0.93 c GLOBAL bounds - >= -300660 @ 0.670443
0.87/0.93 c GLOBAL bounds - >= -300660 @ 0.675857
0.87/0.94 c GLOBAL bounds - >= -300660 @ 0.680373
0.87/0.94 c GLOBAL bounds - >= -300660 @ 0.685653
0.87/0.95 c GLOBAL bounds - >= -300660 @ 0.69099
0.87/0.96 c GLOBAL bounds - >= -300660 @ 0.69652
0.87/0.96 c GLOBAL bounds - >= -300660 @ 0.701117
0.87/0.97 c GLOBAL bounds - >= -300660 @ 0.70574
0.87/0.97 c GLOBAL bounds - >= -300660 @ 0.711358
0.87/0.98 c GLOBAL bounds - >= -300660 @ 0.7161
0.87/0.98 c GLOBAL bounds - >= -300660 @ 0.720606
0.87/0.99 c GLOBAL bounds - >= -300660 @ 0.726145
0.87/0.99 c GLOBAL bounds - >= -300660 @ 0.729765
0.87/1.00 c GLOBAL bounds - >= -300660 @ 0.733643
0.98/1.01 c GLOBAL bounds - >= -300660 @ 0.739501
0.98/1.01 c GLOBAL bounds - >= -300660 @ 0.74434
0.98/1.02 c GLOBAL bounds - >= -300660 @ 0.749183
0.98/1.02 c GLOBAL bounds - >= -300660 @ 0.754874
0.98/1.03 c GLOBAL bounds - >= -300660 @ 0.760667
0.98/1.04 c GLOBAL bounds - >= -300660 @ 0.765616
0.98/1.04 c GLOBAL bounds - >= -300660 @ 0.768679
0.98/1.05 c GLOBAL bounds - >= -300660 @ 0.774677
0.98/1.05 c GLOBAL bounds - >= -300660 @ 0.780621
0.98/1.06 c GLOBAL bounds - >= -300660 @ 0.78661
0.98/1.07 c GLOBAL bounds - >= -300660 @ 0.792621
0.98/1.07 c GLOBAL bounds - >= -300660 @ 0.798575
0.98/1.08 c GLOBAL bounds - >= -300660 @ 0.804669
0.98/1.08 c GLOBAL bounds - >= -300660 @ 0.81015
0.98/1.09 c GLOBAL bounds - >= -300660 @ 0.816474
0.98/1.10 c GLOBAL bounds - >= -300660 @ 0.822734
1.07/1.10 c GLOBAL bounds - >= -300660 @ 0.828082
1.07/1.11 c GLOBAL bounds - >= -300660 @ 0.833364
1.07/1.12 c GLOBAL bounds - >= -300660 @ 0.839532
1.07/1.12 c GLOBAL bounds - >= -300660 @ 0.845919
1.07/1.13 c GLOBAL bounds - >= -300660 @ 0.852454
1.07/1.14 c GLOBAL bounds - >= -300660 @ 0.859072
1.07/1.14 c GLOBAL bounds - >= -300660 @ 0.865575
1.07/1.15 c GLOBAL bounds - >= -300660 @ 0.871069
1.07/1.15 c GLOBAL bounds - >= -300660 @ 0.876746
1.07/1.16 c GLOBAL bounds - >= -300660 @ 0.883147
1.07/1.17 c GLOBAL bounds - >= -300660 @ 0.888939
1.07/1.18 c GLOBAL bounds - >= -300660 @ 0.894635
1.07/1.18 c GLOBAL bounds - >= -300660 @ 0.900562
1.07/1.19 c GLOBAL bounds - >= -300660 @ 0.906222
1.07/1.20 c GLOBAL bounds - >= -300660 @ 0.912958
1.17/1.20 c GLOBAL bounds - >= -300660 @ 0.91972
1.17/1.21 c GLOBAL bounds - >= -300660 @ 0.926553
1.17/1.22 c GLOBAL bounds - >= -300660 @ 0.933533
1.17/1.22 c GLOBAL bounds - >= -300660 @ 0.940463
1.17/1.23 c GLOBAL bounds - >= -300660 @ 0.946452
1.17/1.24 c GLOBAL bounds - >= -300660 @ 0.952499
1.17/1.24 c GLOBAL bounds - >= -300660 @ 0.959368
1.17/1.25 c GLOBAL bounds - >= -300660 @ 0.965491
1.17/1.26 c GLOBAL bounds - >= -300660 @ 0.971581
1.17/1.27 c GLOBAL bounds - >= -300660 @ 0.978683
1.17/1.27 c GLOBAL bounds - >= -300660 @ 0.985797
1.17/1.28 c GLOBAL bounds - >= -300660 @ 0.992007
1.17/1.29 c GLOBAL bounds - >= -300660 @ 0.998198
1.17/1.29 c GLOBAL bounds - >= -300660 @ 1.00442
1.27/1.30 c GLOBAL bounds - >= -300660 @ 1.00972
1.27/1.31 c GLOBAL bounds - >= -300660 @ 1.01704
1.27/1.32 c GLOBAL bounds - >= -300660 @ 1.02335
1.27/1.32 c GLOBAL bounds - >= -300660 @ 1.03068
1.27/1.33 c GLOBAL bounds - >= -300660 @ 1.03617
1.27/1.34 c GLOBAL bounds - >= -300660 @ 1.04255
1.27/1.35 c GLOBAL bounds - >= -300660 @ 1.05008
1.27/1.35 c GLOBAL bounds - >= -300660 @ 1.05762
1.27/1.36 c GLOBAL bounds - >= -300660 @ 1.06513
1.27/1.37 c GLOBAL bounds - >= -300660 @ 1.07167
1.27/1.38 c GLOBAL bounds - >= -300660 @ 1.07812
1.27/1.38 c GLOBAL bounds - >= -300660 @ 1.08573
1.27/1.39 c GLOBAL bounds - >= -300660 @ 1.0934
1.37/1.40 c GLOBAL bounds - >= -300660 @ 1.10016
1.37/1.41 c GLOBAL bounds - >= -300660 @ 1.10779
1.37/1.41 c GLOBAL bounds - >= -300660 @ 1.11562
1.37/1.42 c GLOBAL bounds - >= -300660 @ 1.12235
1.37/1.43 c GLOBAL bounds - >= -300660 @ 1.12998
1.37/1.44 c GLOBAL bounds - >= -300660 @ 1.13786
1.37/1.45 c GLOBAL bounds - >= -300660 @ 1.14386
1.37/1.45 c GLOBAL bounds - >= -300660 @ 1.15165
1.37/1.46 c GLOBAL bounds - >= -300660 @ 1.15858
1.37/1.47 c GLOBAL bounds - >= -300660 @ 1.16544
1.37/1.48 c GLOBAL bounds - >= -300660 @ 1.17348
1.37/1.49 c GLOBAL bounds - >= -300660 @ 1.18154
1.37/1.49 c GLOBAL bounds - >= -300660 @ 1.18962
1.47/1.50 c GLOBAL bounds - >= -300660 @ 1.19672
1.47/1.51 c GLOBAL bounds - >= -300660 @ 1.20485
1.47/1.52 c GLOBAL bounds - >= -300660 @ 1.21293
1.47/1.53 c GLOBAL bounds - >= -300660 @ 1.22015
1.47/1.53 c GLOBAL bounds - >= -300660 @ 1.22641
1.47/1.54 c GLOBAL bounds - >= -300660 @ 1.23375
1.47/1.55 c GLOBAL bounds - >= -300660 @ 1.24192
1.47/1.56 c GLOBAL bounds - >= -300660 @ 1.24924
1.47/1.57 c GLOBAL bounds - >= -300660 @ 1.25764
1.47/1.58 c GLOBAL bounds - >= -300660 @ 1.26615
1.47/1.58 c GLOBAL bounds - >= -300660 @ 1.27452
1.47/1.59 c GLOBAL bounds - >= -300660 @ 1.28294
1.57/1.60 c GLOBAL bounds - >= -300660 @ 1.28823
1.57/1.61 c GLOBAL bounds - >= -300660 @ 1.29478
1.57/1.62 c GLOBAL bounds - >= -300660 @ 1.30332
1.57/1.63 c GLOBAL bounds - >= -300660 @ 1.31186
1.57/1.64 c GLOBAL bounds - >= -300660 @ 1.31944
1.57/1.64 c GLOBAL bounds - >= -300660 @ 1.32791
1.57/1.65 c GLOBAL bounds - >= -300660 @ 1.33563
1.57/1.66 c GLOBAL bounds - >= -300660 @ 1.34437
1.57/1.67 c GLOBAL bounds - >= -300660 @ 1.35207
1.57/1.68 c GLOBAL bounds - >= -300660 @ 1.36081
1.57/1.69 c GLOBAL bounds - >= -300660 @ 1.36946
1.67/1.70 c GLOBAL bounds - >= -300660 @ 1.37823
1.67/1.71 c GLOBAL bounds - >= -300660 @ 1.3862
1.67/1.71 c GLOBAL bounds - >= -300660 @ 1.39509
1.67/1.72 c GLOBAL bounds - >= -300660 @ 1.40409
1.67/1.73 c GLOBAL bounds - >= -300660 @ 1.41326
1.67/1.74 c GLOBAL bounds - >= -300660 @ 1.42228
1.67/1.75 c GLOBAL bounds - >= -300660 @ 1.43142
1.67/1.76 c GLOBAL bounds - >= -300660 @ 1.44037
1.67/1.77 c GLOBAL bounds - >= -300660 @ 1.44747
1.67/1.78 c GLOBAL bounds - >= -300660 @ 1.45642
1.67/1.79 c GLOBAL bounds - >= -300660 @ 1.46542
1.77/1.80 c GLOBAL bounds - >= -300660 @ 1.47492
1.77/1.81 c GLOBAL bounds - >= -300660 @ 1.48449
1.77/1.82 c GLOBAL bounds - >= -300660 @ 1.49287
1.77/1.83 c GLOBAL bounds - >= -300660 @ 1.5012
1.77/1.83 c GLOBAL bounds - >= -300660 @ 1.50949
1.77/1.84 c GLOBAL bounds - >= -300660 @ 1.51681
1.77/1.85 c GLOBAL bounds - >= -300660 @ 1.52517
1.77/1.86 c GLOBAL bounds - >= -300660 @ 1.5335
1.77/1.87 c GLOBAL bounds - >= -300660 @ 1.54194
1.77/1.88 c GLOBAL bounds - >= -300660 @ 1.55157
1.77/1.89 c GLOBAL bounds - >= -300660 @ 1.5612
1.87/1.90 c GLOBAL bounds - >= -300660 @ 1.57229
1.87/1.91 c GLOBAL bounds - >= -300660 @ 1.58233
1.87/1.92 c GLOBAL bounds - >= -300660 @ 1.5911
1.87/1.93 c GLOBAL bounds - >= -300660 @ 1.59873
1.87/1.94 c GLOBAL bounds - >= -300660 @ 1.60744
1.87/1.95 c GLOBAL bounds - >= -300660 @ 1.61709
1.87/1.96 c GLOBAL bounds - >= -300660 @ 1.62715
1.87/1.97 c GLOBAL bounds - >= -300660 @ 1.63512
1.87/1.98 c GLOBAL bounds - >= -300660 @ 1.64399
1.87/1.99 c GLOBAL bounds - >= -300660 @ 1.65378
1.97/2.00 c GLOBAL bounds - >= -300660 @ 1.66282
1.97/2.01 c GLOBAL bounds - >= -300660 @ 1.67175
1.97/2.02 c GLOBAL bounds - >= -300660 @ 1.68141
1.97/2.03 c GLOBAL bounds - >= -300660 @ 1.69141
1.97/2.04 c GLOBAL bounds - >= -300660 @ 1.70041
1.97/2.05 c GLOBAL bounds - >= -300660 @ 1.71028
1.97/2.06 c GLOBAL bounds - >= -300660 @ 1.71849
1.97/2.07 c GLOBAL bounds - >= -300660 @ 1.72866
1.97/2.08 c GLOBAL bounds - >= -300660 @ 1.73902
1.97/2.09 c GLOBAL bounds - >= -300660 @ 1.74818
2.07/2.10 c GLOBAL bounds - >= -300660 @ 1.75824
2.07/2.11 c GLOBAL bounds - >= -300660 @ 1.76753
2.07/2.12 c GLOBAL bounds - >= -300660 @ 1.77779
2.07/2.13 c GLOBAL bounds - >= -300660 @ 1.78804
2.07/2.14 c GLOBAL bounds - >= -300660 @ 1.79723
2.07/2.15 c GLOBAL bounds - >= -300660 @ 1.80772
2.07/2.17 c GLOBAL bounds - >= -300660 @ 1.81781
2.07/2.18 c GLOBAL bounds - >= -300660 @ 1.8284
2.07/2.19 c GLOBAL bounds - >= -300660 @ 1.83893
2.16/2.20 c GLOBAL bounds - >= -300660 @ 1.8484
2.16/2.21 c GLOBAL bounds - >= -300660 @ 1.85813
2.16/2.22 c GLOBAL bounds - >= -300660 @ 1.8679
2.16/2.23 c GLOBAL bounds - >= -300660 @ 1.87862
2.16/2.24 c GLOBAL bounds - >= -300660 @ 1.8895
2.16/2.25 c GLOBAL bounds - >= -300660 @ 1.90027
2.16/2.26 c GLOBAL bounds - >= -300660 @ 1.91012
2.16/2.27 c GLOBAL bounds - >= -300660 @ 1.92004
2.16/2.28 c GLOBAL bounds - >= -300660 @ 1.93076
2.16/2.30 c GLOBAL bounds - >= -300660 @ 1.93986
2.27/2.31 c GLOBAL bounds - >= -300660 @ 1.94971
2.27/2.32 c GLOBAL bounds - >= -300660 @ 1.95959
2.27/2.33 c GLOBAL bounds - >= -300660 @ 1.97029
2.27/2.34 c GLOBAL bounds - >= -300660 @ 1.98033
2.27/2.35 c GLOBAL bounds - >= -300660 @ 1.99041
2.27/2.36 c GLOBAL bounds - >= -300660 @ 1.99945
2.27/2.37 c GLOBAL bounds - >= -300660 @ 2.00944
2.27/2.38 c GLOBAL bounds - >= -300660 @ 2.02066
2.27/2.39 c GLOBAL bounds - >= -300660 @ 2.0317
2.37/2.41 c GLOBAL bounds - >= -300660 @ 2.04285
2.37/2.42 c GLOBAL bounds - >= -300660 @ 2.054
2.37/2.43 c GLOBAL bounds - >= -300660 @ 2.06519
2.37/2.44 c GLOBAL bounds - >= -300660 @ 2.07534
2.37/2.45 c GLOBAL bounds - >= -300660 @ 2.08573
2.37/2.46 c GLOBAL bounds - >= -300660 @ 2.0979
2.37/2.48 c GLOBAL bounds - >= -300660 @ 2.11038
2.37/2.49 c GLOBAL bounds - >= -300660 @ 2.12085
2.46/2.50 c GLOBAL bounds - >= -300660 @ 2.13262
2.46/2.51 c GLOBAL bounds - >= -300660 @ 2.14417
2.46/2.52 c GLOBAL bounds - >= -300660 @ 2.15705
2.46/2.54 c GLOBAL bounds - >= -300660 @ 2.16855
2.46/2.55 c GLOBAL bounds - >= -300660 @ 2.1781
2.46/2.56 c GLOBAL bounds - >= -300660 @ 2.19056
2.46/2.57 c GLOBAL bounds - >= -300660 @ 2.20389
2.46/2.59 c GLOBAL bounds - >= -300660 @ 2.21485
2.56/2.60 c GLOBAL bounds - >= -300660 @ 2.2263
2.56/2.61 c GLOBAL bounds - >= -300660 @ 2.24239
2.56/2.63 c GLOBAL bounds - >= -300660 @ 2.2553
2.56/2.64 c GLOBAL bounds - >= -300660 @ 2.2672
2.56/2.65 c GLOBAL bounds - >= -300660 @ 2.28023
2.56/2.67 c GLOBAL bounds - >= -300660 @ 2.29376
2.56/2.68 c GLOBAL bounds - >= -300660 @ 2.3071
2.56/2.69 c GLOBAL bounds - >= -300660 @ 2.32056
2.67/2.71 c GLOBAL bounds - >= -300660 @ 2.33192
2.67/2.72 c GLOBAL bounds - >= -300660 @ 2.3432
2.67/2.73 c GLOBAL bounds - >= -300660 @ 2.35663
2.67/2.74 c GLOBAL bounds - >= -300660 @ 2.37024
2.67/2.76 c GLOBAL bounds - >= -300660 @ 2.38286
2.67/2.77 c GLOBAL bounds - >= -300660 @ 2.39754
2.67/2.79 c GLOBAL bounds - >= -300660 @ 2.41005
2.77/2.80 c GLOBAL bounds - >= -300660 @ 2.42276
2.77/2.81 c GLOBAL bounds - >= -300660 @ 2.43277
2.77/2.83 c GLOBAL bounds - >= -300660 @ 2.4446
2.77/2.84 c GLOBAL bounds - >= -300660 @ 2.45743
2.77/2.85 c GLOBAL bounds - >= -300660 @ 2.47124
2.77/2.87 c GLOBAL bounds - >= -300660 @ 2.48529
2.77/2.88 c GLOBAL bounds - >= -300660 @ 2.49727
2.77/2.90 c GLOBAL bounds - >= -300660 @ 2.51148
2.87/2.91 c GLOBAL bounds - >= -300660 @ 2.52564
2.87/2.92 c GLOBAL bounds - >= -300660 @ 2.53993
2.87/2.94 c GLOBAL bounds - >= -300660 @ 2.55421
2.87/2.95 c GLOBAL bounds - >= -300660 @ 2.56847
2.87/2.97 c GLOBAL bounds - >= -300660 @ 2.58354
2.87/2.98 c GLOBAL bounds - >= -300660 @ 2.59601
2.87/3.00 c GLOBAL bounds - >= -300660 @ 2.60653
2.97/3.01 c GLOBAL bounds - >= -300660 @ 2.62025
2.97/3.02 c GLOBAL bounds - >= -300660 @ 2.63466
2.97/3.04 c GLOBAL bounds - >= -300660 @ 2.64836
2.97/3.05 c GLOBAL bounds - >= -300660 @ 2.66203
2.97/3.07 c GLOBAL bounds - >= -300660 @ 2.6771
2.97/3.08 c GLOBAL bounds - >= -300660 @ 2.6909
2.97/3.10 c GLOBAL bounds - >= -300660 @ 2.70584
3.07/3.11 c GLOBAL bounds - >= -300660 @ 2.72099
3.07/3.13 c GLOBAL bounds - >= -300660 @ 2.73506
3.07/3.14 c GLOBAL bounds - >= -300660 @ 2.75056
3.07/3.16 c GLOBAL bounds - >= -300660 @ 2.76375
3.07/3.17 c GLOBAL bounds - >= -300660 @ 2.77912
3.07/3.19 c GLOBAL bounds - >= -300660 @ 2.79694
3.17/3.21 c GLOBAL bounds - >= -300660 @ 2.81273
3.17/3.23 c GLOBAL bounds - >= -300660 @ 2.83362
3.17/3.26 c GLOBAL bounds - >= -300660 @ 2.86548
3.17/3.28 c GLOBAL bounds - >= -300660 @ 2.87927
3.17/3.29 c GLOBAL bounds - >= -300660 @ 2.89448
3.26/3.31 c GLOBAL bounds - >= -300660 @ 2.90948
3.26/3.32 c GLOBAL bounds - >= -300660 @ 2.92433
3.26/3.34 c GLOBAL bounds - >= -300660 @ 2.94051
3.26/3.36 c GLOBAL bounds - >= -300660 @ 2.9566
3.26/3.37 c GLOBAL bounds - >= -300660 @ 2.97285
3.26/3.39 c GLOBAL bounds - >= -300660 @ 2.98923
3.36/3.40 c GLOBAL bounds - >= -300660 @ 3.00318
3.36/3.42 c GLOBAL bounds - >= -300660 @ 3.01858
3.36/3.44 c GLOBAL bounds - >= -300660 @ 3.03496
3.36/3.45 c GLOBAL bounds - >= -300660 @ 3.05015
3.36/3.47 c GLOBAL bounds - >= -300660 @ 3.06706
3.46/3.50 c GLOBAL bounds - >= -300660 @ 3.09428
3.46/3.51 c GLOBAL bounds - >= -300660 @ 3.11149
3.46/3.53 c GLOBAL bounds - >= -300660 @ 3.12771
3.46/3.55 c GLOBAL bounds - >= -300660 @ 3.14369
3.46/3.57 c GLOBAL bounds - >= -300660 @ 3.15969
3.46/3.58 c GLOBAL bounds - >= -300660 @ 3.17267
3.56/3.60 c GLOBAL bounds - >= -300660 @ 3.18905
3.56/3.62 c GLOBAL bounds - >= -300660 @ 3.20653
3.56/3.63 c GLOBAL bounds - >= -300660 @ 3.22392
3.56/3.65 c GLOBAL bounds - >= -300660 @ 3.23925
3.56/3.67 c GLOBAL bounds - >= -300660 @ 3.25682
3.56/3.69 c GLOBAL bounds - >= -300660 @ 3.27401
3.66/3.70 c GLOBAL bounds - >= -300660 @ 3.29035
3.66/3.72 c GLOBAL bounds - >= -300660 @ 3.30911
3.66/3.74 c GLOBAL bounds - >= -300660 @ 3.32671
3.66/3.76 c GLOBAL bounds - >= -300660 @ 3.34314
3.66/3.78 c GLOBAL bounds - >= -300660 @ 3.36366
3.66/3.79 c GLOBAL bounds - >= -300660 @ 3.38117
3.76/3.81 c GLOBAL bounds - >= -300660 @ 3.39832
3.76/3.83 c GLOBAL bounds - >= -300660 @ 3.41475
3.76/3.87 c GLOBAL bounds - >= -300660 @ 3.44844
3.76/3.89 c GLOBAL bounds - >= -300660 @ 3.46733
3.86/3.91 c GLOBAL bounds - >= -300660 @ 3.48368
3.86/3.92 c GLOBAL bounds - >= -300660 @ 3.49999
3.86/3.94 c GLOBAL bounds - >= -300660 @ 3.51631
3.86/3.96 c GLOBAL bounds - >= -300660 @ 3.53341
3.86/3.98 c GLOBAL bounds - >= -300660 @ 3.55005
3.86/4.00 c GLOBAL bounds - >= -300660 @ 3.56854
3.97/4.02 c GLOBAL bounds - >= -300660 @ 3.59085
3.97/4.04 c GLOBAL bounds - >= -300660 @ 3.60809
3.97/4.05 c GLOBAL bounds - >= -300660 @ 3.62435
3.97/4.07 c GLOBAL bounds - >= -300660 @ 3.64101
4.07/4.10 c GLOBAL bounds - >= -300660 @ 3.66981
4.07/4.12 c GLOBAL bounds - >= -300660 @ 3.6882
4.07/4.14 c GLOBAL bounds - >= -300660 @ 3.70625
4.07/4.16 c GLOBAL bounds - >= -300660 @ 3.72652
4.07/4.18 c GLOBAL bounds - >= -300660 @ 3.7452
4.07/4.19 c GLOBAL bounds - >= -300660 @ 3.76134
4.16/4.21 c GLOBAL bounds - >= -300660 @ 3.77991
4.16/4.23 c GLOBAL bounds - >= -300660 @ 3.79765
4.16/4.25 c GLOBAL bounds - >= -300660 @ 3.81508
4.16/4.27 c GLOBAL bounds - >= -300660 @ 3.83139
4.16/4.29 c GLOBAL bounds - >= -300660 @ 3.85276
4.26/4.31 c GLOBAL bounds - >= -300660 @ 3.87423
4.26/4.33 c GLOBAL bounds - >= -300660 @ 3.8937
4.26/4.35 c GLOBAL bounds - >= -300660 @ 3.91427
4.26/4.37 c GLOBAL bounds - >= -300660 @ 3.93479
4.26/4.39 c GLOBAL bounds - >= -300660 @ 3.95332
4.36/4.42 c GLOBAL bounds - >= -300660 @ 3.97777
4.85/4.99 c GLOBAL bounds - >= -300660 @ 4.53796
4.96/5.05 c GLOBAL bounds - >= -300660 @ 4.6005
4.96/5.08 c GLOBAL bounds - >= -300660 @ 4.62743
5.06/5.11 c GLOBAL bounds - >= -300660 @ 4.66145
5.06/5.14 c GLOBAL bounds - >= -300660 @ 4.68838
5.06/5.17 c GLOBAL bounds - >= -300660 @ 4.71594
5.16/5.20 c GLOBAL bounds - >= -300660 @ 4.74349
5.16/5.23 c GLOBAL bounds - >= -300660 @ 4.77276
5.16/5.26 c GLOBAL bounds - >= -300660 @ 4.80297
5.16/5.29 c GLOBAL bounds - >= -300660 @ 4.83197
5.26/5.32 c GLOBAL bounds - >= -300660 @ 4.86045
5.26/5.34 c GLOBAL bounds - >= -300660 @ 4.89019
5.26/5.37 c GLOBAL bounds - >= -300660 @ 4.91826
5.36/5.40 c GLOBAL bounds - >= -300660 @ 4.94735
5.36/5.43 c GLOBAL bounds - >= -300660 @ 4.97697
5.36/5.46 c GLOBAL bounds - >= -300660 @ 5.00562
5.36/5.49 c GLOBAL bounds - >= -300660 @ 5.03508
5.46/5.52 c GLOBAL bounds - >= -300660 @ 5.06447
5.46/5.55 c GLOBAL bounds - >= -300660 @ 5.09393
5.46/5.58 c GLOBAL bounds - >= -300660 @ 5.12237
5.55/5.61 c GLOBAL bounds - >= -300660 @ 5.15256
5.55/5.64 c GLOBAL bounds - >= -300660 @ 5.18345
5.55/5.67 c GLOBAL bounds - >= -300660 @ 5.21217
5.66/5.70 c GLOBAL bounds - >= -300660 @ 5.2399
5.66/5.73 c GLOBAL bounds - >= -300660 @ 5.27023
5.66/5.77 c GLOBAL bounds - >= -300660 @ 5.30435
5.76/5.80 c GLOBAL bounds - >= -300660 @ 5.33836
5.76/5.83 c GLOBAL bounds - >= -300660 @ 5.36905
5.76/5.86 c GLOBAL bounds - >= -300660 @ 5.3987
5.76/5.89 c GLOBAL bounds - >= -300660 @ 5.4286
5.86/5.92 c GLOBAL bounds - >= -300660 @ 5.45966
5.86/5.95 c GLOBAL bounds - >= -300660 @ 5.48909
5.86/5.98 c GLOBAL bounds - >= -300660 @ 5.51745
5.96/6.01 c GLOBAL bounds - >= -300660 @ 5.54647
5.96/6.04 c GLOBAL bounds - >= -300660 @ 5.57593
5.96/6.07 c GLOBAL bounds - >= -300660 @ 5.60525
6.06/6.10 c GLOBAL bounds - >= -300660 @ 5.635
6.06/6.13 c GLOBAL bounds - >= -300660 @ 5.66581
6.06/6.17 c GLOBAL bounds - >= -300660 @ 5.69607
6.15/6.20 c GLOBAL bounds - >= -300660 @ 5.72605
6.15/6.23 c GLOBAL bounds - >= -300660 @ 5.75689
6.15/6.26 c GLOBAL bounds - >= -300660 @ 5.78519
6.15/6.29 c GLOBAL bounds - >= -300660 @ 5.81515
6.26/6.33 c GLOBAL bounds - >= -300660 @ 5.85503
6.26/6.37 c GLOBAL bounds - >= -300660 @ 5.88979
6.35/6.40 c GLOBAL bounds - >= -300660 @ 5.91887
6.35/6.43 c GLOBAL bounds - >= -300660 @ 5.95099
6.35/6.47 c GLOBAL bounds - >= -300660 @ 5.98459
6.45/6.50 c GLOBAL bounds - >= -300660 @ 6.01679
6.45/6.53 c GLOBAL bounds - >= -300660 @ 6.04779
6.45/6.56 c GLOBAL bounds - >= -300660 @ 6.08126
6.45/6.60 c GLOBAL bounds - >= -300660 @ 6.11341
6.55/6.63 c GLOBAL bounds - >= -300660 @ 6.14817
6.65/6.70 c GLOBAL bounds - >= -300660 @ 6.21507
6.65/6.73 c GLOBAL bounds - >= -300660 @ 6.24994
6.65/6.77 c GLOBAL bounds - >= -300660 @ 6.28254
6.75/6.80 c GLOBAL bounds - >= -300660 @ 6.31665
6.75/6.83 c GLOBAL bounds - >= -300660 @ 6.34862
6.75/6.87 c GLOBAL bounds - >= -300660 @ 6.38175
6.86/6.90 c GLOBAL bounds - >= -300660 @ 6.41356
6.86/6.93 c GLOBAL bounds - >= -300660 @ 6.44623
6.86/6.97 c GLOBAL bounds - >= -300660 @ 6.4802
6.86/7.00 c GLOBAL bounds - >= -300660 @ 6.51243
6.96/7.04 c GLOBAL bounds - >= -300660 @ 6.54676
6.96/7.07 c GLOBAL bounds - >= -300660 @ 6.57977
6.96/7.10 c GLOBAL bounds - >= -300660 @ 6.61255
7.06/7.14 c GLOBAL bounds - >= -300660 @ 6.64684
7.06/7.17 c GLOBAL bounds - >= -300660 @ 6.68173
7.15/7.20 c GLOBAL bounds - >= -300660 @ 6.71402
7.15/7.24 c GLOBAL bounds - >= -300660 @ 6.74741
7.15/7.27 c GLOBAL bounds - >= -300660 @ 6.78117
7.25/7.31 c GLOBAL bounds - >= -300660 @ 6.81478
7.25/7.34 c GLOBAL bounds - >= -300660 @ 6.84936
7.25/7.38 c GLOBAL bounds - >= -300660 @ 6.88439
7.35/7.41 c GLOBAL bounds - >= -300660 @ 6.91948
7.35/7.45 c GLOBAL bounds - >= -300660 @ 6.95368
7.35/7.48 c GLOBAL bounds - >= -300660 @ 6.98746
7.46/7.52 c GLOBAL bounds - >= -300660 @ 7.02219
7.46/7.55 c GLOBAL bounds - >= -300660 @ 7.05608
7.46/7.59 c GLOBAL bounds - >= -300660 @ 7.08829
7.55/7.62 c GLOBAL bounds - >= -300660 @ 7.12114
7.55/7.66 c GLOBAL bounds - >= -300660 @ 7.15519
7.55/7.69 c GLOBAL bounds - >= -300660 @ 7.18903
7.65/7.73 c GLOBAL bounds - >= -300660 @ 7.22455
7.65/7.77 c GLOBAL bounds - >= -300660 @ 7.26654
7.75/7.81 c GLOBAL bounds - >= -300660 @ 7.30152
7.75/7.84 c GLOBAL bounds - >= -300660 @ 7.33636
7.75/7.88 c GLOBAL bounds - >= -300660 @ 7.37374
7.85/7.92 c GLOBAL bounds - >= -300660 @ 7.40825
7.85/7.95 c GLOBAL bounds - >= -300660 @ 7.444
7.85/7.99 c GLOBAL bounds - >= -300660 @ 7.47862
7.96/8.02 c GLOBAL bounds - >= -300660 @ 7.51308
7.96/8.06 c GLOBAL bounds - >= -300660 @ 7.54866
7.96/8.10 c GLOBAL bounds - >= -300660 @ 7.58438
8.06/8.13 c GLOBAL bounds - >= -300660 @ 7.62005
8.06/8.17 c GLOBAL bounds - >= -300660 @ 7.65488
8.15/8.20 c GLOBAL bounds - >= -300660 @ 7.69098
8.15/8.24 c GLOBAL bounds - >= -300660 @ 7.72568
8.15/8.27 c GLOBAL bounds - >= -300660 @ 7.75955
8.25/8.31 c GLOBAL bounds - >= -300660 @ 7.79137
8.25/8.35 c GLOBAL bounds - >= -300660 @ 7.82628
8.25/8.38 c GLOBAL bounds - >= -300660 @ 7.86274
8.35/8.42 c GLOBAL bounds - >= -300660 @ 7.89759
8.35/8.45 c GLOBAL bounds - >= -300660 @ 7.93501
8.35/8.49 c GLOBAL bounds - >= -300660 @ 7.96887
8.45/8.53 c GLOBAL bounds - >= -300660 @ 8.00269
8.45/8.56 c GLOBAL bounds - >= -300660 @ 8.03759
8.55/8.60 c GLOBAL bounds - >= -300660 @ 8.07262
9.84/9.92 c #Conflicts: 1000 | #Constraints: 100573
9.84/9.92 c GLOBAL bounds - >= -300660 @ 9.37359
9.84/9.99 c GLOBAL bounds - >= -300660 @ 9.44165
9.95/10.06 c GLOBAL bounds - >= -300660 @ 9.50822
10.05/10.12 c GLOBAL bounds - >= -300660 @ 9.56713
10.05/10.18 c GLOBAL bounds - >= -300660 @ 9.62455
10.14/10.24 c GLOBAL bounds - >= -300660 @ 9.68311
10.14/10.30 c GLOBAL bounds - >= -300660 @ 9.74205
10.35/10.44 c GLOBAL bounds - >= -300660 @ 9.88529
10.54/10.63 c GLOBAL bounds - >= -300660 @ 10.0739
10.64/10.73 c GLOBAL bounds - >= -300660 @ 10.1695
10.74/10.81 c GLOBAL bounds - >= -300660 @ 10.2478
10.74/10.88 c GLOBAL bounds - >= -300660 @ 10.3197
10.84/10.96 c GLOBAL bounds - >= -300660 @ 10.3979
10.95/11.04 c GLOBAL bounds - >= -300660 @ 10.474
11.05/11.11 c GLOBAL bounds - >= -300660 @ 10.5462
11.05/11.18 c GLOBAL bounds - >= -300660 @ 10.6171
11.14/11.26 c GLOBAL bounds - >= -300660 @ 10.6962
11.24/11.33 c GLOBAL bounds - >= -300660 @ 10.7692
11.64/11.74 c GLOBAL bounds - >= -300660 @ 11.178
11.74/11.82 c GLOBAL bounds - >= -300660 @ 11.2528
11.74/11.89 c GLOBAL bounds - >= -300660 @ 11.3271
11.83/11.97 c GLOBAL bounds - >= -300660 @ 11.4008
11.94/12.04 c GLOBAL bounds - >= -300660 @ 11.4741
12.05/12.12 c GLOBAL bounds - >= -300660 @ 11.5481
12.05/12.19 c GLOBAL bounds - >= -300660 @ 11.6207
12.14/12.27 c GLOBAL bounds - >= -300660 @ 11.7016
12.24/12.35 c GLOBAL bounds - >= -300660 @ 11.7782
12.34/12.42 c GLOBAL bounds - >= -300660 @ 11.8518
12.44/12.50 c GLOBAL bounds - >= -300660 @ 11.9244
12.44/12.57 c GLOBAL bounds - >= -300660 @ 11.9968
12.53/12.65 c GLOBAL bounds - >= -300660 @ 12.0728
12.63/12.72 c GLOBAL bounds - >= -300660 @ 12.147
12.73/12.80 c GLOBAL bounds - >= -300660 @ 12.2262
12.73/12.88 c GLOBAL bounds - >= -300660 @ 12.3014
12.83/12.96 c GLOBAL bounds - >= -300660 @ 12.3779
12.94/13.03 c GLOBAL bounds - >= -300660 @ 12.4535
13.05/13.11 c GLOBAL bounds - >= -300660 @ 12.5271
13.05/13.18 c GLOBAL bounds - >= -300660 @ 12.6024
13.14/13.26 c GLOBAL bounds - >= -300660 @ 12.6806
13.34/13.42 c GLOBAL bounds - >= -300660 @ 12.8358
13.43/13.50 c GLOBAL bounds - >= -300660 @ 12.9158
16.73/16.87 c #Conflicts: 2000 | #Constraints: 101655
16.73/16.87 c INPROCESSING
16.73/16.87 c GARBAGE COLLECT
16.73/16.87 c #Conflicts: 3000 | #Constraints: 101666
16.73/16.87 c GLOBAL bounds - >= -300660 @ 16.2279
16.82/16.96 c GLOBAL bounds - >= -300660 @ 16.3194
16.93/17.06 c GLOBAL bounds - >= -300660 @ 16.4239
17.03/17.18 c GLOBAL bounds - >= -300660 @ 16.5391
17.43/17.53 c GLOBAL bounds - >= -300660 @ 16.8833
17.53/17.67 c GLOBAL bounds - >= -300660 @ 17.0264
17.62/17.77 c GLOBAL bounds - >= -300660 @ 17.1256
17.72/17.87 c GLOBAL bounds - >= -300660 @ 17.2202
17.82/17.97 c GLOBAL bounds - >= -300660 @ 17.3188
17.93/18.06 c GLOBAL bounds - >= -300660 @ 17.4149
18.03/18.18 c GLOBAL bounds - >= -300660 @ 17.5282
18.12/18.28 c GLOBAL bounds - >= -300660 @ 17.6305
18.22/18.38 c GLOBAL bounds - >= -300660 @ 17.7316
18.42/18.57 c GLOBAL bounds - >= -300660 @ 17.9121
18.52/18.68 c GLOBAL bounds - >= -300660 @ 18.0256
18.62/18.78 c GLOBAL bounds - >= -300660 @ 18.129
18.72/18.89 c GLOBAL bounds - >= -300660 @ 18.2369
18.93/19.01 c GLOBAL bounds - >= -300660 @ 18.3529
19.12/19.23 c GLOBAL bounds - >= -300660 @ 18.5663
19.22/19.37 c GLOBAL bounds - >= -300660 @ 18.71
19.42/19.52 c GLOBAL bounds - >= -300660 @ 18.8558
19.52/19.68 c GLOBAL bounds - >= -300660 @ 19.0114
19.71/19.83 c GLOBAL bounds - >= -300660 @ 19.1565
19.81/19.93 c GLOBAL bounds - >= -300660 @ 19.2596
20.02/20.14 c GLOBAL bounds - >= -300660 @ 19.4689
20.12/20.25 c GLOBAL bounds - >= -300660 @ 19.573
20.22/20.35 c GLOBAL bounds - >= -300660 @ 19.6773
20.31/20.46 c GLOBAL bounds - >= -300660 @ 19.7789
20.41/20.56 c GLOBAL bounds - >= -300660 @ 19.885
20.61/20.72 c GLOBAL bounds - >= -300660 @ 20.0408
20.71/20.85 c GLOBAL bounds - >= -300660 @ 20.1683
20.81/20.96 c GLOBAL bounds - >= -300660 @ 20.2802
20.91/21.07 c GLOBAL bounds - >= -300660 @ 20.3861
21.01/21.18 c GLOBAL bounds - >= -300660 @ 20.4919
21.22/21.30 c GLOBAL bounds - >= -300660 @ 20.6112
21.31/21.41 c GLOBAL bounds - >= -300660 @ 20.7189
21.41/21.55 c GLOBAL bounds - >= -300660 @ 20.8563
21.51/21.67 c GLOBAL bounds - >= -300660 @ 20.9771
21.91/22.08 c GLOBAL bounds - >= -300660 @ 21.3823
22.11/22.25 c GLOBAL bounds - >= -300660 @ 21.5557
22.21/22.36 c GLOBAL bounds - >= -300660 @ 21.6597
22.40/22.59 c GLOBAL bounds - >= -300660 @ 21.8923
22.61/22.74 c GLOBAL bounds - >= -300660 @ 22.0371
22.71/22.85 c GLOBAL bounds - >= -300660 @ 22.1523
22.81/22.99 c GLOBAL bounds - >= -300660 @ 22.2822
23.01/23.12 c GLOBAL bounds - >= -300660 @ 22.4187
23.10/23.25 c GLOBAL bounds - >= -300660 @ 22.5465
23.30/23.40 c GLOBAL bounds - >= -300660 @ 22.6904
23.40/23.52 c GLOBAL bounds - >= -300660 @ 22.8125
23.50/23.65 c GLOBAL bounds - >= -300660 @ 22.9359
23.61/23.77 c GLOBAL bounds - >= -300660 @ 23.0585
24.01/24.13 c GLOBAL bounds - >= -300660 @ 23.4184
24.21/24.38 c GLOBAL bounds - >= -300660 @ 23.6584
24.40/24.52 c GLOBAL bounds - >= -300660 @ 23.7985
24.50/24.66 c GLOBAL bounds - >= -300660 @ 23.9373
24.60/24.78 c GLOBAL bounds - >= -300660 @ 24.0601
24.80/24.93 c GLOBAL bounds - >= -300660 @ 24.2062
24.90/25.06 c GLOBAL bounds - >= -300660 @ 24.3315
25.20/25.39 c GLOBAL bounds - >= -300660 @ 24.6615
25.40/25.52 c GLOBAL bounds - >= -300660 @ 24.7917
25.50/25.67 c GLOBAL bounds - >= -300660 @ 24.9358
25.70/25.80 c GLOBAL bounds - >= -300660 @ 25.0628
25.80/25.93 c GLOBAL bounds - >= -300660 @ 25.1955
25.90/26.06 c GLOBAL bounds - >= -300660 @ 25.3221
26.30/26.50 c GLOBAL bounds - >= -300660 @ 25.7522
26.50/26.62 c GLOBAL bounds - >= -300660 @ 25.88
26.60/26.75 c GLOBAL bounds - >= -300660 @ 26.0039
26.70/26.87 c GLOBAL bounds - >= -300660 @ 26.1276
26.90/27.02 c GLOBAL bounds - >= -300660 @ 26.2709
27.00/27.17 c GLOBAL bounds - >= -300660 @ 26.4227
27.20/27.32 c GLOBAL bounds - >= -300660 @ 26.5736
27.59/27.74 c GLOBAL bounds - >= -300660 @ 26.9884
27.69/27.88 c GLOBAL bounds - >= -300660 @ 27.1234
27.89/28.01 c GLOBAL bounds - >= -300660 @ 27.2558
27.99/28.16 c GLOBAL bounds - >= -300660 @ 27.407
28.20/28.39 c GLOBAL bounds - >= -300660 @ 27.6289
28.40/28.52 c GLOBAL bounds - >= -300660 @ 27.7677
28.49/28.65 c GLOBAL bounds - >= -300660 @ 27.8929
28.59/28.79 c GLOBAL bounds - >= -300660 @ 28.0332
28.79/28.92 c GLOBAL bounds - >= -300660 @ 28.1582
28.90/29.08 c GLOBAL bounds - >= -300660 @ 28.3186
29.09/29.22 c GLOBAL bounds - >= -300660 @ 28.4564
29.19/29.35 c GLOBAL bounds - >= -300660 @ 28.5842
29.58/29.79 c #Conflicts: 4000 | #Constraints: 102832
29.58/29.79 c GLOBAL bounds - >= -300660 @ 29.0258
30.69/30.86 c INPROCESSING
30.69/30.86 c GARBAGE COLLECT
30.69/30.86 c GLOBAL bounds - >= -300660 @ 30.0922
30.79/30.96 c GLOBAL bounds - >= -300660 @ 30.1829
30.89/31.04 c GLOBAL bounds - >= -300660 @ 30.2694
31.39/31.57 c GLOBAL bounds - >= -300660 @ 30.7959
31.49/31.67 c GLOBAL bounds - >= -300660 @ 30.8977
32.08/32.26 c GLOBAL bounds - >= -300660 @ 31.4771
32.18/32.36 c GLOBAL bounds - >= -300660 @ 31.5723
32.38/32.52 c GLOBAL bounds - >= -300660 @ 31.7319
32.48/32.61 c GLOBAL bounds - >= -300660 @ 31.826
32.58/32.74 c GLOBAL bounds - >= -300660 @ 31.9472
32.78/32.98 c GLOBAL bounds - >= -300660 @ 32.1881
33.08/33.26 c GLOBAL bounds - >= -300660 @ 32.4727
36.17/36.34 c #Conflicts: 5000 | #Constraints: 102258
36.17/36.34 c GLOBAL bounds - >= -300660 @ 35.52
36.57/36.78 c GLOBAL bounds - >= -300660 @ 35.9557
36.77/36.90 c GLOBAL bounds - >= -300660 @ 36.0774
37.17/37.37 c GLOBAL bounds - >= -300660 @ 36.5437
37.37/37.51 c GLOBAL bounds - >= -300660 @ 36.6809
37.66/37.87 c GLOBAL bounds - >= -300660 @ 37.0427
37.77/37.99 c GLOBAL bounds - >= -300660 @ 37.1602
37.97/38.12 c GLOBAL bounds - >= -300660 @ 37.2867
38.07/38.24 c GLOBAL bounds - >= -300660 @ 37.4099
38.17/38.37 c GLOBAL bounds - >= -300660 @ 37.5327
38.36/38.52 c GLOBAL bounds - >= -300660 @ 37.679
38.46/38.68 c GLOBAL bounds - >= -300660 @ 37.8452
38.76/38.97 c GLOBAL bounds - >= -300660 @ 38.1294
39.76/39.94 c GLOBAL bounds - >= -300660 @ 39.0868
40.26/40.42 c GLOBAL bounds - >= -300660 @ 39.567
40.65/40.84 c GLOBAL bounds - >= -300660 @ 39.98
40.86/41.02 c GLOBAL bounds - >= -300660 @ 40.1563
41.05/41.23 c GLOBAL bounds - >= -300660 @ 40.371
41.15/41.39 c GLOBAL bounds - >= -300660 @ 40.5294
41.35/41.53 c GLOBAL bounds - >= -300660 @ 40.6719
41.55/41.72 c GLOBAL bounds - >= -300660 @ 40.8568
41.76/41.91 c GLOBAL bounds - >= -300660 @ 41.04
41.86/42.08 c GLOBAL bounds - >= -300660 @ 41.2086
42.05/42.27 c GLOBAL bounds - >= -300660 @ 41.3986
42.55/42.76 c #Conflicts: 6000 | #Constraints: 103306
42.55/42.76 c GLOBAL bounds - >= -300660 @ 41.8838
43.45/43.69 c GLOBAL bounds - >= -300660 @ 42.8071
44.34/44.59 c GLOBAL bounds - >= -300660 @ 43.6973
44.55/44.74 c GLOBAL bounds - >= -300660 @ 43.8494
44.65/44.89 c GLOBAL bounds - >= -300660 @ 43.991
44.85/45.07 c GLOBAL bounds - >= -300660 @ 44.1723
45.14/45.34 c GLOBAL bounds - >= -300660 @ 44.4404
45.24/45.49 c GLOBAL bounds - >= -300660 @ 44.5831
45.44/45.63 c GLOBAL bounds - >= -300660 @ 44.7262
45.64/45.83 c GLOBAL bounds - >= -300660 @ 44.9194
45.85/46.04 c GLOBAL bounds - >= -300660 @ 45.1321
46.04/46.21 c GLOBAL bounds - >= -300660 @ 45.2998
46.14/46.37 c GLOBAL bounds - >= -300660 @ 45.4568
46.34/46.52 c GLOBAL bounds - >= -300660 @ 45.6042
46.54/46.73 c GLOBAL bounds - >= -300660 @ 45.8124
46.74/46.99 c GLOBAL bounds - >= -300660 @ 46.0765
47.13/47.32 c GLOBAL bounds - >= -300660 @ 46.3989
47.84/48.02 c INPROCESSING
47.84/48.02 c GARBAGE COLLECT
47.84/48.02 c GLOBAL bounds - >= -300660 @ 47.0902
47.94/48.11 c GLOBAL bounds - >= -300660 @ 47.1772
48.23/48.49 c GLOBAL bounds - >= -300660 @ 47.5651
48.43/48.60 c GLOBAL bounds - >= -300660 @ 47.6665
48.53/48.76 c GLOBAL bounds - >= -300660 @ 47.8239
48.83/49.02 c GLOBAL bounds - >= -300660 @ 48.0902
49.83/50.02 c #Conflicts: 7000 | #Constraints: 102354
49.83/50.02 c GLOBAL bounds - >= -300660 @ 49.0759
50.03/50.22 c GLOBAL bounds - >= -300660 @ 49.2794
50.13/50.36 c GLOBAL bounds - >= -300660 @ 49.4155
50.62/50.80 c GLOBAL bounds - >= -300660 @ 49.8559
51.22/51.44 c GLOBAL bounds - >= -300660 @ 50.4842
51.32/51.56 c GLOBAL bounds - >= -300660 @ 50.6055
51.42/51.68 c GLOBAL bounds - >= -300660 @ 50.7237
51.62/51.80 c GLOBAL bounds - >= -300660 @ 50.8481
54.72/54.95 c #Conflicts: 8000 | #Constraints: 103370
54.72/54.95 c GLOBAL bounds - >= -300660 @ 53.9778
55.32/55.51 c GLOBAL bounds - >= -300660 @ 54.5319
55.42/55.66 c GLOBAL bounds - >= -300660 @ 54.6805
56.31/56.54 c GLOBAL bounds - >= -300660 @ 55.5532
56.41/56.69 c GLOBAL bounds - >= -300660 @ 55.7064
56.92/57.16 c GLOBAL bounds - >= -300660 @ 56.1697
57.21/57.41 c GLOBAL bounds - >= -300660 @ 56.4155
57.31/57.56 c GLOBAL bounds - >= -300660 @ 56.5707
58.00/58.21 c GLOBAL bounds - >= -300660 @ 57.2135
58.20/58.44 c GLOBAL bounds - >= -300660 @ 57.4377
58.40/58.69 c GLOBAL bounds - >= -300660 @ 57.6913
60.29/60.55 c #Conflicts: 9000 | #Constraints: 104392
60.29/60.55 c GLOBAL bounds - >= -300660 @ 59.5204
60.50/60.75 c GLOBAL bounds - >= -300660 @ 59.7196
60.70/60.96 c GLOBAL bounds - >= -300660 @ 59.9274
61.00/61.20 c GLOBAL bounds - >= -300660 @ 60.1657
62.80/63.09 c INPROCESSING
62.80/63.09 c GARBAGE COLLECT
62.80/63.09 c GLOBAL bounds - >= -300660 @ 62.0382
62.99/63.21 c GLOBAL bounds - >= -300660 @ 62.1555
63.09/63.35 c GLOBAL bounds - >= -300660 @ 62.2918
63.19/63.44 c GLOBAL bounds - >= -300660 @ 62.3819
63.29/63.53 c GLOBAL bounds - >= -300660 @ 62.4784
63.38/63.65 c GLOBAL bounds - >= -300660 @ 62.5932
63.59/63.81 c GLOBAL bounds - >= -300660 @ 62.7485
63.69/63.90 c GLOBAL bounds - >= -300660 @ 62.8415
64.19/64.41 c GLOBAL bounds - >= -300660 @ 63.3398
64.58/64.89 c GLOBAL bounds - >= -300660 @ 63.8205
64.79/65.06 c GLOBAL bounds - >= -300660 @ 63.9851
64.89/65.18 c GLOBAL bounds - >= -300660 @ 64.1118
65.08/65.35 c GLOBAL bounds - >= -300660 @ 64.275
67.18/67.43 c #Conflicts: 10000 | #Constraints: 103128
67.18/67.43 c GLOBAL bounds - >= -300660 @ 66.3372
74.76/75.09 c #Conflicts: 11000 | #Constraints: 104130
74.76/75.09 c GLOBAL bounds - >= -300660 @ 73.9359
74.95/75.27 c GLOBAL bounds - >= -300660 @ 74.115
75.45/75.74 c GLOBAL bounds - >= -300660 @ 74.5806
78.75/79.03 c GLOBAL bounds - >= -300660 @ 77.8487
80.85/81.14 c GLOBAL bounds - >= -300660 @ 79.939
81.74/82.07 c #Conflicts: 12000 | #Constraints: 105140
81.74/82.07 c INPROCESSING
81.74/82.07 c GARBAGE COLLECT
81.74/82.07 c GLOBAL bounds - >= -300660 @ 80.8571
81.84/82.13 c GLOBAL bounds - >= -300660 @ 80.9172
81.93/82.20 c GLOBAL bounds - >= -300660 @ 80.9889
82.03/82.31 c GLOBAL bounds - >= -300660 @ 81.0994
82.44/82.72 c GLOBAL bounds - >= -300660 @ 81.5074
82.84/83.18 c GLOBAL bounds - >= -300660 @ 81.9612
85.42/85.72 c GLOBAL bounds - >= -300660 @ 84.4805
85.52/85.81 c GLOBAL bounds - >= -300660 @ 84.572
85.62/85.90 c GLOBAL bounds - >= -300660 @ 84.6585
85.62/85.99 c GLOBAL bounds - >= -300660 @ 84.7532
86.23/86.58 c #Conflicts: 13000 | #Constraints: 103624
86.23/86.58 c GLOBAL bounds - >= -300660 @ 85.3294
86.83/87.16 c GLOBAL bounds - >= -300660 @ 85.9135
87.02/87.35 c GLOBAL bounds - >= -300660 @ 86.097
87.12/87.46 c GLOBAL bounds - >= -300660 @ 86.2091
87.22/87.56 c GLOBAL bounds - >= -300660 @ 86.315
87.32/87.69 c GLOBAL bounds - >= -300660 @ 86.4381
87.62/87.91 c GLOBAL bounds - >= -300660 @ 86.658
87.73/88.03 c GLOBAL bounds - >= -300660 @ 86.7784
87.83/88.15 c GLOBAL bounds - >= -300660 @ 86.896
88.42/88.70 c GLOBAL bounds - >= -300660 @ 87.4473
88.52/88.86 c GLOBAL bounds - >= -300660 @ 87.6025
88.73/89.01 c GLOBAL bounds - >= -300660 @ 87.7525
88.83/89.17 c GLOBAL bounds - >= -300660 @ 87.9105
89.42/89.79 c GLOBAL bounds - >= -300660 @ 88.5259
92.31/92.65 c #Conflicts: 14000 | #Constraints: 104652
92.31/92.65 c GLOBAL bounds - >= -300660 @ 91.3772
92.51/92.84 c GLOBAL bounds - >= -300660 @ 91.5628
92.71/93.03 c GLOBAL bounds - >= -300660 @ 91.7465
93.11/93.43 c GLOBAL bounds - >= -300660 @ 92.1521
94.00/94.32 c GLOBAL bounds - >= -300660 @ 93.0264
94.10/94.46 c GLOBAL bounds - >= -300660 @ 93.1734
94.40/94.71 c GLOBAL bounds - >= -300660 @ 93.4178
95.50/95.86 c GLOBAL bounds - >= -300660 @ 94.5624
95.71/96.01 c GLOBAL bounds - >= -300660 @ 94.709
95.81/96.17 c GLOBAL bounds - >= -300660 @ 94.8686
96.20/96.51 c GLOBAL bounds - >= -300660 @ 95.208
96.40/96.75 c GLOBAL bounds - >= -300660 @ 95.4497
96.60/96.96 c GLOBAL bounds - >= -300660 @ 95.6539
96.80/97.11 c GLOBAL bounds - >= -300660 @ 95.8078
96.89/97.26 c GLOBAL bounds - >= -300660 @ 95.9566
97.09/97.42 c GLOBAL bounds - >= -300660 @ 96.1133
97.19/97.58 c GLOBAL bounds - >= -300660 @ 96.266
97.59/97.98 c GLOBAL bounds - >= -300660 @ 96.6651
97.79/98.13 c GLOBAL bounds - >= -300660 @ 96.8186
101.88/102.20 c #Conflicts: 15000 | #Constraints: 105690
101.88/102.20 c INPROCESSING
101.88/102.20 c GARBAGE COLLECT
101.88/102.20 c GLOBAL bounds - >= -300660 @ 100.839
101.88/102.27 c GLOBAL bounds - >= -300660 @ 100.911
101.98/102.35 c GLOBAL bounds - >= -300660 @ 100.985
102.08/102.43 c GLOBAL bounds - >= -300660 @ 101.067
102.18/102.51 c GLOBAL bounds - >= -300660 @ 101.143
102.18/102.58 c GLOBAL bounds - >= -300660 @ 101.213
102.28/102.65 c GLOBAL bounds - >= -300660 @ 101.285
102.68/103.07 c GLOBAL bounds - >= -300660 @ 101.7
102.78/103.17 c GLOBAL bounds - >= -300660 @ 101.8
103.38/103.72 c #Conflicts: 16000 | #Constraints: 103936
103.38/103.72 c GLOBAL bounds - >= -300660 @ 102.343
103.87/104.28 c GLOBAL bounds - >= -300660 @ 102.903
104.47/104.83 c GLOBAL bounds - >= -300660 @ 103.441
104.68/105.00 c GLOBAL bounds - >= -300660 @ 103.617
106.26/106.67 c GLOBAL bounds - >= -300660 @ 105.258
110.66/111.02 c #Conflicts: 17000 | #Constraints: 104946
110.66/111.02 c #Conflicts: 18000 | #Constraints: 105946
110.66/111.02 c INPROCESSING
110.66/111.02 c GARBAGE COLLECT
110.66/111.02 c GLOBAL bounds - >= -300660 @ 109.586
110.66/111.09 c GLOBAL bounds - >= -300660 @ 109.651
110.76/111.17 c GLOBAL bounds - >= -300660 @ 109.738
111.05/111.44 c GLOBAL bounds - >= -300660 @ 110.004
111.65/112.03 c GLOBAL bounds - >= -300660 @ 110.582
115.34/115.75 c #Conflicts: 19000 | #Constraints: 103970
115.34/115.75 c GLOBAL bounds - >= -300660 @ 114.264
118.03/118.45 c #Conflicts: 20000 | #Constraints: 104972
118.03/118.45 c GLOBAL bounds - >= -300660 @ 116.941
138.27/138.74 c #Conflicts: 21000 | #Constraints: 105974
138.27/138.74 c INPROCESSING
138.27/138.74 c GARBAGE COLLECT
138.27/138.74 c #Conflicts: 22000 | #Constraints: 103775
138.27/138.74 c #Conflicts: 23000 | #Constraints: 104775
138.27/138.74 c #Conflicts: 24000 | #Constraints: 105775
138.27/138.74 c GLOBAL bounds - >= -300660 @ 137.05
138.68/139.15 c GLOBAL bounds - >= -300660 @ 137.464
138.87/139.30 c GLOBAL bounds - >= -300660 @ 137.608
138.97/139.48 c GLOBAL bounds - >= -300660 @ 137.786
139.17/139.62 c GLOBAL bounds - >= -300660 @ 137.93
140.46/140.98 c GLOBAL bounds - >= -300660 @ 139.278
140.96/141.49 c GLOBAL bounds - >= -300660 @ 139.79
147.64/148.16 c #Conflicts: 25000 | #Constraints: 106789
147.64/148.16 c INPROCESSING
147.64/148.16 c GARBAGE COLLECT
147.64/148.16 c #Conflicts: 26000 | #Constraints: 104395
147.64/148.16 c GLOBAL bounds - >= -300660 @ 146.42
176.85/177.49 c #Conflicts: 27000 | #Constraints: 105397
176.85/177.49 c #Conflicts: 28000 | #Constraints: 106397
176.85/177.49 c #Conflicts: 29000 | #Constraints: 107397
176.85/177.49 c INPROCESSING
176.85/177.49 c GARBAGE COLLECT
176.85/177.49 c #Conflicts: 30000 | #Constraints: 104788
176.85/177.49 c #Conflicts: 31000 | #Constraints: 105788
176.85/177.49 c #Conflicts: 32000 | #Constraints: 106788
176.85/177.49 c GLOBAL bounds - >= -300660 @ 175.578
177.85/178.44 c #Conflicts: 33000 | #Constraints: 107790
177.85/178.44 c INPROCESSING
177.85/178.44 c GARBAGE COLLECT
177.85/178.44 c GLOBAL bounds - >= -300660 @ 176.517
179.65/180.29 c GLOBAL bounds - >= -300660 @ 178.354
179.85/180.46 c GLOBAL bounds - >= -300660 @ 178.527
179.95/180.55 c GLOBAL bounds - >= -300660 @ 178.612
183.83/184.50 c #Conflicts: 34000 | #Constraints: 104994
183.83/184.50 c #Conflicts: 35000 | #Constraints: 105994
183.83/184.50 c GLOBAL bounds - >= -300660 @ 182.538
227.41/228.13 c #Conflicts: 36000 | #Constraints: 106996
227.41/228.13 c #Conflicts: 37000 | #Constraints: 107996
227.41/228.13 c INPROCESSING
227.41/228.13 c GARBAGE COLLECT
227.41/228.13 c #Conflicts: 38000 | #Constraints: 104996
227.41/228.13 c #Conflicts: 39000 | #Constraints: 105996
227.41/228.13 c #Conflicts: 40000 | #Constraints: 106996
227.41/228.13 c #Conflicts: 41000 | #Constraints: 107996
227.41/228.13 c INPROCESSING
227.41/228.13 c GARBAGE COLLECT
227.41/228.13 c #Conflicts: 42000 | #Constraints: 104803
227.41/228.13 c #Conflicts: 43000 | #Constraints: 105803
227.41/228.13 c #Conflicts: 44000 | #Constraints: 106803
227.41/228.13 c GLOBAL bounds - >= -300660 @ 225.905
229.30/230.05 c #Conflicts: 45000 | #Constraints: 107805
229.30/230.05 c GLOBAL bounds - >= -300660 @ 227.806
251.73/252.51 c #Conflicts: 46000 | #Constraints: 108807
251.73/252.51 c INPROCESSING
251.73/252.51 c GARBAGE COLLECT
251.73/252.51 c #Conflicts: 47000 | #Constraints: 105401
251.73/252.51 c #Conflicts: 48000 | #Constraints: 106401
251.73/252.51 c #Conflicts: 49000 | #Constraints: 107401
251.73/252.51 c GLOBAL bounds - >= -300660 @ 250.106
251.93/252.71 c GLOBAL bounds - >= -300660 @ 250.297
252.03/252.88 c GLOBAL bounds - >= -300660 @ 250.471
254.72/255.52 c #Conflicts: 50000 | #Constraints: 108407
254.72/255.52 c GLOBAL bounds - >= -300660 @ 253.099
254.92/255.74 c GLOBAL bounds - >= -300660 @ 253.312
255.12/255.93 c GLOBAL bounds - >= -300660 @ 253.506
256.72/257.52 c GLOBAL bounds - >= -300660 @ 255.088
256.91/257.75 c GLOBAL bounds - >= -300660 @ 255.317
257.11/257.95 c GLOBAL bounds - >= -300660 @ 255.511
257.32/258.14 c GLOBAL bounds - >= -300660 @ 255.704
257.51/258.34 c GLOBAL bounds - >= -300660 @ 255.899
257.71/258.55 c GLOBAL bounds - >= -300660 @ 256.112
257.91/258.75 c GLOBAL bounds - >= -300660 @ 256.307
258.31/259.11 c GLOBAL bounds - >= -300660 @ 256.665
258.50/259.32 c GLOBAL bounds - >= -300660 @ 256.875
258.70/259.52 c GLOBAL bounds - >= -300660 @ 257.07
258.90/259.72 c GLOBAL bounds - >= -300660 @ 257.277
259.10/259.92 c GLOBAL bounds - >= -300660 @ 257.47
259.60/260.49 c #Conflicts: 51000 | #Constraints: 109437
259.60/260.49 c INPROCESSING
259.60/260.49 c GARBAGE COLLECT
259.60/260.49 c GLOBAL bounds - >= -300660 @ 258.043
276.95/277.85 c #Conflicts: 52000 | #Constraints: 105837
276.95/277.85 c #Conflicts: 53000 | #Constraints: 106837
276.95/277.85 c #Conflicts: 54000 | #Constraints: 107837
276.95/277.85 c GLOBAL bounds - >= -300660 @ 275.27
280.65/281.54 c #Conflicts: 55000 | #Constraints: 108839
280.65/281.54 c GLOBAL bounds - >= -300660 @ 278.944
280.84/281.73 c GLOBAL bounds - >= -300660 @ 279.133
281.04/281.91 c GLOBAL bounds - >= -300660 @ 279.308
281.25/282.13 c GLOBAL bounds - >= -300660 @ 279.531
281.44/282.31 c GLOBAL bounds - >= -300660 @ 279.708
281.54/282.47 c GLOBAL bounds - >= -300660 @ 279.87
281.84/282.79 c GLOBAL bounds - >= -300660 @ 280.191
282.74/283.68 c GLOBAL bounds - >= -300660 @ 281.075
292.71/293.65 c #Conflicts: 56000 | #Constraints: 109855
292.71/293.65 c INPROCESSING
292.71/293.65 c GARBAGE COLLECT
292.71/293.65 c #Conflicts: 57000 | #Constraints: 106055
292.71/293.65 c GLOBAL bounds - >= -300660 @ 290.981
292.81/293.78 c GLOBAL bounds - >= -300660 @ 291.103
293.70/294.68 c #Conflicts: 58000 | #Constraints: 107059
293.70/294.68 c GLOBAL bounds - >= -300660 @ 292.005
294.10/295.09 c GLOBAL bounds - >= -300660 @ 292.405
294.30/295.21 c GLOBAL bounds - >= -300660 @ 292.524
294.41/295.33 c GLOBAL bounds - >= -300660 @ 292.64
294.50/295.45 c GLOBAL bounds - >= -300660 @ 292.758
294.60/295.59 c GLOBAL bounds - >= -300660 @ 292.897
294.80/295.73 c GLOBAL bounds - >= -300660 @ 293.041
295.00/295.90 c GLOBAL bounds - >= -300660 @ 293.207
295.11/296.05 c GLOBAL bounds - >= -300660 @ 293.363
295.30/296.28 c GLOBAL bounds - >= -300660 @ 293.586
295.50/296.41 c GLOBAL bounds - >= -300660 @ 293.716
295.60/296.53 c GLOBAL bounds - >= -300660 @ 293.841
296.00/296.98 c GLOBAL bounds - >= -300660 @ 294.286
298.19/299.13 c GLOBAL bounds - >= -300660 @ 296.419
298.29/299.28 c GLOBAL bounds - >= -300660 @ 296.57
299.09/300.01 c GLOBAL bounds - >= -300660 @ 297.291
299.19/300.16 c GLOBAL bounds - >= -300660 @ 297.438
299.58/300.56 c GLOBAL bounds - >= -300660 @ 297.843
313.44/314.47 c #Conflicts: 59000 | #Constraints: 108095
313.44/314.47 c #Conflicts: 60000 | #Constraints: 109095
313.44/314.47 c #Conflicts: 61000 | #Constraints: 110095
313.44/314.47 c INPROCESSING
313.44/314.47 c GARBAGE COLLECT
313.44/314.47 c GLOBAL bounds - >= -300660 @ 311.663
313.54/314.56 c GLOBAL bounds - >= -300660 @ 311.753
313.64/314.65 c GLOBAL bounds - >= -300660 @ 311.84
313.84/314.86 c GLOBAL bounds - >= -300660 @ 312.051
313.94/314.93 c GLOBAL bounds - >= -300660 @ 312.12
314.04/315.09 c GLOBAL bounds - >= -300660 @ 312.273
314.14/315.16 c GLOBAL bounds - >= -300660 @ 312.347
314.25/315.26 c GLOBAL bounds - >= -300660 @ 312.447
314.34/315.34 c GLOBAL bounds - >= -300660 @ 312.52
314.44/315.41 c GLOBAL bounds - >= -300660 @ 312.597
314.44/315.49 c GLOBAL bounds - >= -300660 @ 312.668
314.54/315.56 c GLOBAL bounds - >= -300660 @ 312.74
325.51/326.51 c #Conflicts: 62000 | #Constraints: 106115
325.51/326.51 c #Conflicts: 63000 | #Constraints: 107115
325.51/326.51 c #Conflicts: 64000 | #Constraints: 108115
325.51/326.51 c GLOBAL bounds - >= -300660 @ 323.619
325.81/326.83 c GLOBAL bounds - >= -300660 @ 323.931
326.90/327.93 c GLOBAL bounds - >= -300660 @ 325.033
331.19/332.29 c #Conflicts: 65000 | #Constraints: 109121
331.19/332.29 c GLOBAL bounds - >= -300660 @ 329.368
331.79/332.83 c GLOBAL bounds - >= -300660 @ 329.905
338.07/339.15 c #Conflicts: 66000 | #Constraints: 110125
338.07/339.15 c GLOBAL bounds - >= -300660 @ 336.181
351.83/352.96 c INPROCESSING
351.83/352.96 c GARBAGE COLLECT
351.83/352.96 c #Conflicts: 67000 | #Constraints: 105928
351.83/352.96 c #Conflicts: 68000 | #Constraints: 106928
351.83/352.96 c #Conflicts: 69000 | #Constraints: 107928
351.83/352.96 c GLOBAL bounds - >= -300660 @ 349.895
352.52/353.68 c GLOBAL bounds - >= -300660 @ 350.613
354.42/355.57 c GLOBAL bounds - >= -300660 @ 352.491
357.31/358.49 c #Conflicts: 70000 | #Constraints: 108934
357.31/358.49 c GLOBAL bounds - >= -300660 @ 355.393
358.11/359.27 c GLOBAL bounds - >= -300660 @ 356.166
361.01/362.11 c GLOBAL bounds - >= -300660 @ 358.983
361.70/362.89 c GLOBAL bounds - >= -300660 @ 359.757
362.01/363.10 c GLOBAL bounds - >= -300660 @ 359.974
362.20/363.31 c GLOBAL bounds - >= -300660 @ 360.175
362.40/363.52 c GLOBAL bounds - >= -300660 @ 360.382
362.70/363.83 c GLOBAL bounds - >= -300660 @ 360.698
362.90/364.03 c GLOBAL bounds - >= -300660 @ 360.891
363.10/364.23 c GLOBAL bounds - >= -300660 @ 361.086
363.40/364.55 c GLOBAL bounds - >= -300660 @ 361.409
363.70/364.87 c GLOBAL bounds - >= -300660 @ 361.727
363.90/365.05 c GLOBAL bounds - >= -300660 @ 361.903
366.39/367.58 c #Conflicts: 71000 | #Constraints: 109960
366.39/367.58 c GLOBAL bounds - >= -300660 @ 364.418
366.79/367.94 c GLOBAL bounds - >= -300660 @ 364.775
375.66/376.80 c #Conflicts: 72000 | #Constraints: 110964
375.66/376.80 c INPROCESSING
375.66/376.80 c GARBAGE COLLECT
375.66/376.80 c #Conflicts: 73000 | #Constraints: 106565
375.66/376.80 c GLOBAL bounds - >= -300660 @ 373.565
375.76/376.90 c GLOBAL bounds - >= -300660 @ 373.658
375.87/377.04 c GLOBAL bounds - >= -300660 @ 373.803
381.74/382.93 c #Conflicts: 74000 | #Constraints: 107571
381.74/382.93 c GLOBAL bounds - >= -300660 @ 379.649
381.85/383.06 c GLOBAL bounds - >= -300660 @ 379.782
381.95/383.19 c GLOBAL bounds - >= -300660 @ 379.911
382.14/383.37 c GLOBAL bounds - >= -300660 @ 380.085
382.34/383.50 c GLOBAL bounds - >= -300660 @ 380.214
382.44/383.67 c GLOBAL bounds - >= -300660 @ 380.386
382.64/383.85 c GLOBAL bounds - >= -300660 @ 380.561
382.73/383.98 c GLOBAL bounds - >= -300660 @ 380.697
385.43/386.60 c #Conflicts: 75000 | #Constraints: 108587
385.43/386.60 c GLOBAL bounds - >= -300660 @ 383.291
385.73/386.96 c GLOBAL bounds - >= -300660 @ 383.644
385.93/387.11 c GLOBAL bounds - >= -300660 @ 383.795
386.03/387.27 c GLOBAL bounds - >= -300660 @ 383.954
386.23/387.43 c GLOBAL bounds - >= -300660 @ 384.117
389.22/390.47 c GLOBAL bounds - >= -300660 @ 387.138
397.39/398.63 c #Conflicts: 76000 | #Constraints: 109599
397.39/398.63 c GLOBAL bounds - >= -300660 @ 395.229
397.90/399.18 c GLOBAL bounds - >= -300660 @ 395.775
398.10/399.36 c GLOBAL bounds - >= -300660 @ 395.951
398.29/399.53 c GLOBAL bounds - >= -300660 @ 396.123
398.69/399.91 c GLOBAL bounds - >= -300660 @ 396.497
398.80/400.09 c GLOBAL bounds - >= -300660 @ 396.68
398.99/400.26 c GLOBAL bounds - >= -300660 @ 396.855
399.19/400.44 c GLOBAL bounds - >= -300660 @ 397.029
419.83/421.14 c #Conflicts: 77000 | #Constraints: 110615
419.83/421.14 c #Conflicts: 78000 | #Constraints: 111615
419.83/421.14 c INPROCESSING
419.83/421.14 c GARBAGE COLLECT
419.83/421.14 c #Conflicts: 79000 | #Constraints: 107019
419.83/421.14 c #Conflicts: 80000 | #Constraints: 108019
419.83/421.14 c GLOBAL bounds - >= -300660 @ 417.591
420.02/421.30 c GLOBAL bounds - >= -300660 @ 417.758
420.12/421.47 c GLOBAL bounds - >= -300660 @ 417.923
420.42/421.73 c GLOBAL bounds - >= -300660 @ 418.178
430.70/432.03 c #Conflicts: 81000 | #Constraints: 109027
430.70/432.03 c #Conflicts: 82000 | #Constraints: 110027
430.70/432.03 c #Conflicts: 83000 | #Constraints: 111027
430.70/432.03 c GLOBAL bounds - >= -300660 @ 428.432
431.19/432.57 c GLOBAL bounds - >= -300660 @ 428.971
434.28/435.69 c GLOBAL bounds - >= -300660 @ 432.07
434.69/436.06 c GLOBAL bounds - >= -300660 @ 432.443
438.97/440.39 c #Conflicts: 84000 | #Constraints: 112035
438.97/440.39 c INPROCESSING
438.97/440.39 c GARBAGE COLLECT
438.97/440.39 c GLOBAL bounds - >= -300660 @ 436.736
439.87/441.27 c GLOBAL bounds - >= -300660 @ 437.602
439.97/441.34 c GLOBAL bounds - >= -300660 @ 437.67
440.06/441.41 c GLOBAL bounds - >= -300660 @ 437.741
440.06/441.49 c GLOBAL bounds - >= -300660 @ 437.818
446.75/448.14 c #Conflicts: 85000 | #Constraints: 107265
446.75/448.14 c #Conflicts: 86000 | #Constraints: 108265
446.75/448.14 c GLOBAL bounds - >= -300660 @ 444.416
446.94/448.35 c GLOBAL bounds - >= -300660 @ 444.622
447.04/448.47 c GLOBAL bounds - >= -300660 @ 444.742
457.62/459.09 c #Conflicts: 87000 | #Constraints: 109271
457.62/459.09 c #Conflicts: 88000 | #Constraints: 110271
457.62/459.09 c #Conflicts: 89000 | #Constraints: 111271
457.62/459.09 c #Conflicts: 90000 | #Constraints: 112271
457.62/459.09 c GLOBAL bounds - >= -300660 @ 455.295
517.03/518.61 c INPROCESSING
517.03/518.61 c GARBAGE COLLECT
517.03/518.61 c #Conflicts: 91000 | #Constraints: 107265
517.03/518.61 c #Conflicts: 92000 | #Constraints: 108265
517.03/518.61 c #Conflicts: 93000 | #Constraints: 109265
517.03/518.61 c #Conflicts: 94000 | #Constraints: 110265
517.03/518.61 c #Conflicts: 95000 | #Constraints: 111265
517.03/518.61 c #Conflicts: 96000 | #Constraints: 112265
517.03/518.61 c INPROCESSING
517.03/518.61 c GARBAGE COLLECT
517.03/518.61 c #Conflicts: 97000 | #Constraints: 107055
517.03/518.61 c #Conflicts: 98000 | #Constraints: 108055
517.03/518.61 c #Conflicts: 99000 | #Constraints: 109055
517.03/518.61 c #Conflicts: 100000 | #Constraints: 110055
517.03/518.61 c #Conflicts: 101000 | #Constraints: 111055
517.03/518.61 c #Conflicts: 102000 | #Constraints: 112055
517.03/518.61 c #Conflicts: 103000 | #Constraints: 113055
517.03/518.61 c INPROCESSING
517.03/518.61 c GARBAGE COLLECT
517.03/518.61 c GLOBAL bounds - >= -300660 @ 514.417
527.51/529.11 c #Conflicts: 104000 | #Constraints: 107658
527.51/529.11 c #Conflicts: 105000 | #Constraints: 108658
527.51/529.11 c #Conflicts: 106000 | #Constraints: 109658
527.51/529.11 c GLOBAL bounds - >= -300660 @ 524.833
527.60/529.27 c GLOBAL bounds - >= -300660 @ 524.992
534.08/535.79 c #Conflicts: 107000 | #Constraints: 110662
534.08/535.79 c GLOBAL bounds - >= -300660 @ 531.467
562.99/564.77 c #Conflicts: 108000 | #Constraints: 111664
562.99/564.77 c #Conflicts: 109000 | #Constraints: 112664
562.99/564.77 c #Conflicts: 110000 | #Constraints: 113664
562.99/564.77 c INPROCESSING
562.99/564.77 c GARBAGE COLLECT
562.99/564.77 c #Conflicts: 111000 | #Constraints: 108064
562.99/564.77 c #Conflicts: 112000 | #Constraints: 109064
562.99/564.77 c #Conflicts: 113000 | #Constraints: 110064
562.99/564.77 c #Conflicts: 114000 | #Constraints: 111064
562.99/564.77 c GLOBAL bounds - >= -300660 @ 560.268
563.19/564.99 c GLOBAL bounds - >= -300660 @ 560.489
563.40/565.19 c GLOBAL bounds - >= -300660 @ 560.689
563.79/565.52 c GLOBAL bounds - >= -300660 @ 561.023
563.99/565.79 c GLOBAL bounds - >= -300660 @ 561.283
564.29/566.02 c GLOBAL bounds - >= -300660 @ 561.519
564.49/566.23 c GLOBAL bounds - >= -300660 @ 561.721
564.68/566.49 c GLOBAL bounds - >= -300660 @ 561.982
564.99/566.73 c GLOBAL bounds - >= -300660 @ 562.217
565.19/566.94 c GLOBAL bounds - >= -300660 @ 562.427
565.49/567.26 c GLOBAL bounds - >= -300660 @ 562.751
578.95/580.76 c #Conflicts: 115000 | #Constraints: 112086
578.95/580.76 c GLOBAL bounds - >= -300660 @ 576.159
579.35/581.12 c GLOBAL bounds - >= -300660 @ 576.52
580.84/582.63 c GLOBAL bounds - >= -300660 @ 578.027
581.13/582.91 c GLOBAL bounds - >= -300660 @ 578.308
581.34/583.19 c GLOBAL bounds - >= -300660 @ 578.584
581.73/583.51 c GLOBAL bounds - >= -300660 @ 578.901
581.94/583.80 c GLOBAL bounds - >= -300660 @ 579.182
653.31/655.33 c #Conflicts: 116000 | #Constraints: 113100
653.31/655.33 c #Conflicts: 117000 | #Constraints: 114100
653.31/655.33 c INPROCESSING
653.31/655.33 c GARBAGE COLLECT
653.31/655.33 c #Conflicts: 118000 | #Constraints: 108297
653.31/655.33 c #Conflicts: 119000 | #Constraints: 109297
653.31/655.33 c #Conflicts: 120000 | #Constraints: 110297
653.31/655.33 c #Conflicts: 121000 | #Constraints: 111297
653.31/655.33 c #Conflicts: 122000 | #Constraints: 112297
653.31/655.33 c #Conflicts: 123000 | #Constraints: 113297
653.31/655.33 c #Conflicts: 124000 | #Constraints: 114297
653.31/655.33 c INPROCESSING
653.31/655.33 c GARBAGE COLLECT
653.31/655.33 c #Conflicts: 125000 | #Constraints: 108297
653.31/655.33 c #Conflicts: 126000 | #Constraints: 109297
653.31/655.33 c GLOBAL bounds - >= -300660 @ 650.316
653.71/655.75 c GLOBAL bounds - >= -300660 @ 650.734
714.73/717.00 c #Conflicts: 127000 | #Constraints: 110301
714.73/717.00 c #Conflicts: 128000 | #Constraints: 111301
714.73/717.00 c #Conflicts: 129000 | #Constraints: 112301
714.73/717.00 c #Conflicts: 130000 | #Constraints: 113301
714.73/717.00 c #Conflicts: 131000 | #Constraints: 114301
714.73/717.00 c INPROCESSING
714.73/717.00 c GARBAGE COLLECT
714.73/717.00 c #Conflicts: 132000 | #Constraints: 108101
714.73/717.00 c #Conflicts: 133000 | #Constraints: 109101
714.73/717.00 c #Conflicts: 134000 | #Constraints: 110101
714.73/717.00 c #Conflicts: 135000 | #Constraints: 111101
714.73/717.00 c GLOBAL bounds - >= -300660 @ 711.662
715.02/717.21 c GLOBAL bounds - >= -300660 @ 711.871
715.22/717.41 c GLOBAL bounds - >= -300660 @ 712.072
778.83/781.23 c #Conflicts: 136000 | #Constraints: 112107
778.83/781.23 c #Conflicts: 137000 | #Constraints: 113107
778.83/781.23 c #Conflicts: 138000 | #Constraints: 114107
778.83/781.23 c #Conflicts: 139000 | #Constraints: 115107
778.83/781.23 c INPROCESSING
778.83/781.23 c GARBAGE COLLECT
778.83/781.23 c #Conflicts: 140000 | #Constraints: 108713
778.83/781.23 c #Conflicts: 141000 | #Constraints: 109713
778.83/781.23 c #Conflicts: 142000 | #Constraints: 110713
778.83/781.23 c #Conflicts: 143000 | #Constraints: 111713
778.83/781.23 c #Conflicts: 144000 | #Constraints: 112713
778.83/781.23 c #Conflicts: 145000 | #Constraints: 113713
778.83/781.23 c #Conflicts: 146000 | #Constraints: 114713
778.83/781.23 c #Conflicts: 147000 | #Constraints: 115713
778.83/781.23 c INPROCESSING
778.83/781.23 c GARBAGE COLLECT
778.83/781.23 c #Conflicts: 148000 | #Constraints: 109122
778.83/781.23 c GLOBAL bounds - >= -300660 @ 775.545
778.93/781.35 c GLOBAL bounds - >= -300660 @ 775.663
779.03/781.46 c GLOBAL bounds - >= -300660 @ 775.776
779.12/781.59 c GLOBAL bounds - >= -300660 @ 775.896
779.32/781.73 c GLOBAL bounds - >= -300660 @ 776.043
779.42/781.85 c GLOBAL bounds - >= -300660 @ 776.161
779.53/781.97 c GLOBAL bounds - >= -300660 @ 776.274
779.63/782.08 c GLOBAL bounds - >= -300660 @ 776.389
779.83/782.24 c GLOBAL bounds - >= -300660 @ 776.542
780.22/782.62 c GLOBAL bounds - >= -300660 @ 776.919
782.62/785.05 c GLOBAL bounds - >= -300660 @ 779.332
783.81/786.23 c #Conflicts: 149000 | #Constraints: 110144
783.81/786.23 c GLOBAL bounds - >= -300660 @ 780.504
783.91/786.38 c GLOBAL bounds - >= -300660 @ 780.656
793.29/795.74 c #Conflicts: 150000 | #Constraints: 111148
793.29/795.74 c GLOBAL bounds - >= -300660 @ 789.949
793.49/795.97 c GLOBAL bounds - >= -300660 @ 790.175
793.78/796.20 c GLOBAL bounds - >= -300660 @ 790.406
797.57/800.02 c GLOBAL bounds - >= -300660 @ 794.195
797.87/800.31 c GLOBAL bounds - >= -300660 @ 794.482
799.17/801.69 c #Conflicts: 151000 | #Constraints: 112158
799.17/801.69 c GLOBAL bounds - >= -300660 @ 795.854
799.76/802.28 c GLOBAL bounds - >= -300660 @ 796.444
800.06/802.59 c GLOBAL bounds - >= -300660 @ 796.751
800.46/802.90 c GLOBAL bounds - >= -300660 @ 797.057
806.05/808.50 c GLOBAL bounds - >= -300660 @ 802.632
806.25/808.73 c GLOBAL bounds - >= -300660 @ 802.852
808.83/811.32 c GLOBAL bounds - >= -300660 @ 805.427
809.04/811.56 c GLOBAL bounds - >= -300660 @ 805.665
809.34/811.80 c GLOBAL bounds - >= -300660 @ 805.903
809.83/812.32 c GLOBAL bounds - >= -300660 @ 806.421
831.66/834.28 c #Conflicts: 152000 | #Constraints: 113178
831.66/834.28 c #Conflicts: 153000 | #Constraints: 114178
831.66/834.28 c #Conflicts: 154000 | #Constraints: 115178
831.66/834.28 c GLOBAL bounds - >= -300660 @ 828.255
832.96/835.52 c GLOBAL bounds - >= -300660 @ 829.491
833.36/835.91 c GLOBAL bounds - >= -300660 @ 829.88
849.01/851.63 c #Conflicts: 155000 | #Constraints: 116184
849.01/851.63 c INPROCESSING
849.01/851.63 c GARBAGE COLLECT
849.01/851.63 c #Conflicts: 156000 | #Constraints: 109403
849.01/851.63 c #Conflicts: 157000 | #Constraints: 110403
849.01/851.63 c GLOBAL bounds - >= -300660 @ 845.487
864.27/866.99 c #Conflicts: 158000 | #Constraints: 111405
864.27/866.99 c #Conflicts: 159000 | #Constraints: 112405
864.27/866.99 c GLOBAL bounds - >= -300660 @ 860.733
864.47/867.18 c GLOBAL bounds - >= -300660 @ 860.919
864.76/867.40 c GLOBAL bounds - >= -300660 @ 861.143
864.96/867.61 c GLOBAL bounds - >= -300660 @ 861.346
865.17/867.82 c GLOBAL bounds - >= -300660 @ 861.559
865.37/868.01 c GLOBAL bounds - >= -300660 @ 861.746
866.06/868.80 c GLOBAL bounds - >= -300660 @ 862.528
867.06/869.73 c GLOBAL bounds - >= -300660 @ 863.453
871.25/873.93 c GLOBAL bounds - >= -300660 @ 867.626
871.46/874.12 c GLOBAL bounds - >= -300660 @ 867.818
877.63/880.37 c #Conflicts: 160000 | #Constraints: 113425
877.63/880.37 c GLOBAL bounds - >= -300660 @ 874.034
877.92/880.63 c GLOBAL bounds - >= -300660 @ 874.292
878.12/880.86 c GLOBAL bounds - >= -300660 @ 874.52
879.52/882.29 c GLOBAL bounds - >= -300660 @ 875.946
881.72/884.45 c GLOBAL bounds - >= -300660 @ 878.084
899.66/902.43 c #Conflicts: 161000 | #Constraints: 114435
899.66/902.43 c #Conflicts: 162000 | #Constraints: 115435
899.66/902.43 c #Conflicts: 163000 | #Constraints: 116435
899.66/902.43 c INPROCESSING
899.66/902.43 c GARBAGE COLLECT
899.66/902.43 c #Conflicts: 164000 | #Constraints: 109421
899.66/902.43 c GLOBAL bounds - >= -300660 @ 895.979
899.86/902.62 c GLOBAL bounds - >= -300660 @ 896.167
899.96/902.76 c GLOBAL bounds - >= -300660 @ 896.304
900.27/903.07 c GLOBAL bounds - >= -300660 @ 896.609
904.35/907.16 c #Conflicts: 165000 | #Constraints: 110429
904.35/907.16 c GLOBAL bounds - >= -300660 @ 900.672
904.54/907.33 c GLOBAL bounds - >= -300660 @ 900.838
905.14/907.92 c GLOBAL bounds - >= -300660 @ 901.424
905.25/908.09 c GLOBAL bounds - >= -300660 @ 901.599
905.55/908.39 c GLOBAL bounds - >= -300660 @ 901.893
925.48/928.33 c #Conflicts: 166000 | #Constraints: 111439
925.48/928.33 c #Conflicts: 167000 | #Constraints: 112439
925.48/928.33 c #Conflicts: 168000 | #Constraints: 113439
925.48/928.33 c GLOBAL bounds - >= -300660 @ 921.724
932.56/935.47 c GLOBAL bounds - >= -300660 @ 928.815
932.86/935.72 c GLOBAL bounds - >= -300660 @ 929.067
933.06/935.96 c GLOBAL bounds - >= -300660 @ 929.307
934.65/937.55 c #Conflicts: 169000 | #Constraints: 114447
934.65/937.55 c GLOBAL bounds - >= -300660 @ 930.89
935.25/938.17 c GLOBAL bounds - >= -300660 @ 931.507
935.55/938.45 c GLOBAL bounds - >= -300660 @ 931.782
935.85/938.75 c GLOBAL bounds - >= -300660 @ 932.078
936.16/939.02 c GLOBAL bounds - >= -300660 @ 932.353
936.45/939.32 c GLOBAL bounds - >= -300660 @ 932.643
936.75/939.60 c GLOBAL bounds - >= -300660 @ 932.924
939.14/942.08 c GLOBAL bounds - >= -300660 @ 935.398
941.43/944.38 c GLOBAL bounds - >= -300660 @ 937.678
943.02/945.93 c #Conflicts: 170000 | #Constraints: 115465
943.02/945.93 c GLOBAL bounds - >= -300660 @ 939.226
951.40/954.30 c GLOBAL bounds - >= -300660 @ 947.551
973.33/976.32 c #Conflicts: 171000 | #Constraints: 116469
973.33/976.32 c INPROCESSING
973.33/976.32 c GARBAGE COLLECT
973.33/976.32 c GLOBAL bounds - >= -300660 @ 969.423
984.70/987.73 c #Conflicts: 172000 | #Constraints: 109267
984.70/987.73 c #Conflicts: 173000 | #Constraints: 110267
984.70/987.73 c #Conflicts: 174000 | #Constraints: 111267
984.70/987.73 c GLOBAL bounds - >= -300660 @ 980.776
1059.27/1062.50 c #Conflicts: 175000 | #Constraints: 112269
1059.27/1062.50 c #Conflicts: 176000 | #Constraints: 113269
1059.27/1062.50 c #Conflicts: 177000 | #Constraints: 114269
1059.27/1062.50 c #Conflicts: 178000 | #Constraints: 115269
1059.27/1062.50 c #Conflicts: 179000 | #Constraints: 116269
1059.27/1062.50 c #Conflicts: 180000 | #Constraints: 117269
1059.27/1062.50 c INPROCESSING
1059.27/1062.50 c GARBAGE COLLECT
1059.27/1062.50 c #Conflicts: 181000 | #Constraints: 109869
1059.27/1062.50 c #Conflicts: 182000 | #Constraints: 110869
1059.27/1062.50 c GLOBAL bounds - >= -300660 @ 1055.13
1059.37/1062.67 c GLOBAL bounds - >= -300660 @ 1055.3
1059.57/1062.83 c GLOBAL bounds - >= -300660 @ 1055.45
1059.78/1063.01 c GLOBAL bounds - >= -300660 @ 1055.63
1060.17/1063.46 c GLOBAL bounds - >= -300660 @ 1056.08
1060.36/1063.69 c GLOBAL bounds - >= -300660 @ 1056.3
1113.61/1117.03 c #Conflicts: 183000 | #Constraints: 111881
1113.61/1117.03 c #Conflicts: 184000 | #Constraints: 112881
1113.61/1117.03 c #Conflicts: 185000 | #Constraints: 113881
1113.61/1117.03 c #Conflicts: 186000 | #Constraints: 114881
1113.61/1117.03 c #Conflicts: 187000 | #Constraints: 115881
1113.61/1117.03 c #Conflicts: 188000 | #Constraints: 116881
1113.61/1117.03 c #Conflicts: 189000 | #Constraints: 117881
1113.61/1117.03 c INPROCESSING
1113.61/1117.03 c GARBAGE COLLECT
1113.61/1117.03 c #Conflicts: 190000 | #Constraints: 110278
1113.61/1117.03 c #Conflicts: 191000 | #Constraints: 111278
1113.61/1117.03 c GLOBAL bounds - >= -300660 @ 1109.35
1113.80/1117.22 c GLOBAL bounds - >= -300660 @ 1109.54
1113.90/1117.37 c GLOBAL bounds - >= -300660 @ 1109.68
1114.11/1117.52 c GLOBAL bounds - >= -300660 @ 1109.83
1125.77/1129.26 c #Conflicts: 192000 | #Constraints: 112286
1125.77/1129.26 c #Conflicts: 193000 | #Constraints: 113286
1125.77/1129.26 c #Conflicts: 194000 | #Constraints: 114286
1125.77/1129.26 c GLOBAL bounds - >= -300660 @ 1121.5
1126.07/1129.56 c GLOBAL bounds - >= -300660 @ 1121.8
1126.37/1129.81 c GLOBAL bounds - >= -300660 @ 1122.05
1126.57/1130.06 c GLOBAL bounds - >= -300660 @ 1122.3
1126.97/1130.40 c GLOBAL bounds - >= -300660 @ 1122.64
1127.76/1131.20 c GLOBAL bounds - >= -300660 @ 1123.43
1153.89/1157.48 c #Conflicts: 195000 | #Constraints: 115298
1153.89/1157.48 c #Conflicts: 196000 | #Constraints: 116298
1153.89/1157.48 c #Conflicts: 197000 | #Constraints: 117298
1153.89/1157.48 c #Conflicts: 198000 | #Constraints: 118298
1153.89/1157.48 c INPROCESSING
1153.89/1157.48 c GARBAGE COLLECT
1153.89/1157.48 c GLOBAL bounds - >= -300660 @ 1149.58
1153.99/1157.56 c GLOBAL bounds - >= -300660 @ 1149.66
1167.25/1170.83 c #Conflicts: 199000 | #Constraints: 110517
1167.25/1170.83 c #Conflicts: 200000 | #Constraints: 111517
1167.25/1170.83 c #Conflicts: 201000 | #Constraints: 112517
1167.25/1170.83 c GLOBAL bounds - >= -300660 @ 1162.85
1202.34/1206.05 c #Conflicts: 202000 | #Constraints: 113519
1202.34/1206.05 c #Conflicts: 203000 | #Constraints: 114519
1202.34/1206.05 c #Conflicts: 204000 | #Constraints: 115519
1202.34/1206.05 c #Conflicts: 205000 | #Constraints: 116519
1202.34/1206.05 c #Conflicts: 206000 | #Constraints: 117519
1202.34/1206.05 c #Conflicts: 207000 | #Constraints: 118519
1202.34/1206.05 c INPROCESSING
1202.34/1206.05 c GARBAGE COLLECT
1202.34/1206.05 c #Conflicts: 208000 | #Constraints: 110508
1202.34/1206.05 c GLOBAL bounds - >= -300660 @ 1197.9
1204.44/1208.14 c #Conflicts: 209000 | #Constraints: 111510
1204.44/1208.14 c GLOBAL bounds - >= -300660 @ 1199.98
1239.13/1242.92 c #Conflicts: 210000 | #Constraints: 112512
1239.13/1242.92 c #Conflicts: 211000 | #Constraints: 113512
1239.13/1242.92 c #Conflicts: 212000 | #Constraints: 114512
1239.13/1242.92 c #Conflicts: 213000 | #Constraints: 115512
1239.13/1242.92 c #Conflicts: 214000 | #Constraints: 116512
1239.13/1242.92 c #Conflicts: 215000 | #Constraints: 117512
1239.13/1242.92 c #Conflicts: 216000 | #Constraints: 118512
1239.13/1242.92 c INPROCESSING
1239.13/1242.92 c GARBAGE COLLECT
1239.13/1242.92 c GLOBAL bounds - >= -300660 @ 1234.56
1239.13/1243.00 c GLOBAL bounds - >= -300660 @ 1234.64
1239.33/1243.10 c GLOBAL bounds - >= -300660 @ 1234.74
1239.52/1243.39 c #Conflicts: 217000 | #Constraints: 110319
1239.52/1243.39 c GLOBAL bounds - >= -300660 @ 1235.03
1239.62/1243.46 c GLOBAL bounds - >= -300660 @ 1235.1
1239.72/1243.55 c GLOBAL bounds - >= -300660 @ 1235.18
1239.82/1243.62 c GLOBAL bounds - >= -300660 @ 1235.25
1239.82/1243.69 c GLOBAL bounds - >= -300660 @ 1235.33
1239.92/1243.79 c GLOBAL bounds - >= -300660 @ 1235.42
1240.03/1243.89 c GLOBAL bounds - >= -300660 @ 1235.53
1270.93/1274.87 c #Conflicts: 218000 | #Constraints: 111333
1270.93/1274.87 c #Conflicts: 219000 | #Constraints: 112333
1270.93/1274.87 c #Conflicts: 220000 | #Constraints: 113333
1270.93/1274.87 c #Conflicts: 221000 | #Constraints: 114333
1270.93/1274.87 c #Conflicts: 222000 | #Constraints: 115333
1270.93/1274.87 c #Conflicts: 223000 | #Constraints: 116333
1270.93/1274.87 c GLOBAL bounds - >= -300660 @ 1266.34
1278.10/1282.05 c GLOBAL bounds - >= -300660 @ 1273.5
1278.80/1282.71 c GLOBAL bounds - >= -300660 @ 1274.16
1334.83/1338.93 c #Conflicts: 224000 | #Constraints: 117339
1334.83/1338.93 c #Conflicts: 225000 | #Constraints: 118339
1334.83/1338.93 c #Conflicts: 226000 | #Constraints: 119339
1334.83/1338.93 c INPROCESSING
1334.83/1338.93 c GARBAGE COLLECT
1334.83/1338.93 c #Conflicts: 227000 | #Constraints: 110937
1334.83/1338.93 c #Conflicts: 228000 | #Constraints: 111937
1334.83/1338.93 c #Conflicts: 229000 | #Constraints: 112937
1334.83/1338.93 c #Conflicts: 230000 | #Constraints: 113937
1334.83/1338.93 c #Conflicts: 231000 | #Constraints: 114937
1334.83/1338.93 c GLOBAL bounds - >= -300660 @ 1330.1
1335.12/1339.23 c GLOBAL bounds - >= -300660 @ 1330.4
1337.72/1341.80 c #Conflicts: 232000 | #Constraints: 115941
1337.72/1341.80 c GLOBAL bounds - >= -300660 @ 1332.96
1339.51/1343.68 c GLOBAL bounds - >= -300660 @ 1334.83
1339.92/1344.02 c GLOBAL bounds - >= -300660 @ 1335.16
1340.21/1344.33 c GLOBAL bounds - >= -300660 @ 1335.48
1340.51/1344.65 c GLOBAL bounds - >= -300660 @ 1335.8
1340.81/1344.96 c GLOBAL bounds - >= -300660 @ 1336.1
1341.10/1345.27 c GLOBAL bounds - >= -300660 @ 1336.41
1341.41/1345.60 c GLOBAL bounds - >= -300660 @ 1336.73
1341.71/1345.89 c GLOBAL bounds - >= -300660 @ 1337.03
1342.11/1346.21 c GLOBAL bounds - >= -300660 @ 1337.35
1342.40/1346.54 c GLOBAL bounds - >= -300660 @ 1337.67
1342.70/1346.87 c GLOBAL bounds - >= -300660 @ 1338
1343.10/1347.23 c GLOBAL bounds - >= -300660 @ 1338.35
1343.50/1347.60 c GLOBAL bounds - >= -300660 @ 1338.73
1344.80/1348.95 c GLOBAL bounds - >= -300660 @ 1340.07
1368.13/1372.39 c #Conflicts: 233000 | #Constraints: 116971
1368.13/1372.39 c #Conflicts: 234000 | #Constraints: 117971
1368.13/1372.39 c GLOBAL bounds - >= -300660 @ 1363.38
1427.75/1432.12 c #Conflicts: 235000 | #Constraints: 118973
1427.75/1432.12 c #Conflicts: 236000 | #Constraints: 119973
1427.75/1432.12 c INPROCESSING
1427.75/1432.12 c GARBAGE COLLECT
1427.75/1432.12 c #Conflicts: 237000 | #Constraints: 111365
1427.75/1432.12 c #Conflicts: 238000 | #Constraints: 112365
1427.75/1432.12 c #Conflicts: 239000 | #Constraints: 113365
1427.75/1432.12 c #Conflicts: 240000 | #Constraints: 114365
1427.75/1432.12 c #Conflicts: 241000 | #Constraints: 115365
1427.75/1432.12 c GLOBAL bounds - >= -300660 @ 1422.76
1427.95/1432.39 c GLOBAL bounds - >= -300660 @ 1423.04
1428.24/1432.69 c GLOBAL bounds - >= -300660 @ 1423.33
1428.84/1433.23 c GLOBAL bounds - >= -300660 @ 1423.87
1447.09/1451.50 c #Conflicts: 242000 | #Constraints: 116373
1447.09/1451.50 c #Conflicts: 243000 | #Constraints: 117373
1447.09/1451.50 c GLOBAL bounds - >= -300660 @ 1442.04
1447.39/1451.82 c GLOBAL bounds - >= -300660 @ 1442.36
1447.69/1452.14 c GLOBAL bounds - >= -300660 @ 1442.68
1448.09/1452.50 c GLOBAL bounds - >= -300660 @ 1443.04
1448.39/1452.87 c GLOBAL bounds - >= -300660 @ 1443.4
1448.79/1453.25 c GLOBAL bounds - >= -300660 @ 1443.79
1449.18/1453.60 c GLOBAL bounds - >= -300660 @ 1444.13
1449.48/1453.92 c GLOBAL bounds - >= -300660 @ 1444.46
1449.78/1454.26 c GLOBAL bounds - >= -300660 @ 1444.79
1450.18/1454.68 c GLOBAL bounds - >= -300660 @ 1445.2
1450.48/1455.00 c GLOBAL bounds - >= -300660 @ 1445.52
1450.98/1455.41 c GLOBAL bounds - >= -300660 @ 1445.93
1460.75/1465.23 c #Conflicts: 244000 | #Constraints: 118397
1460.75/1465.23 c GLOBAL bounds - >= -300660 @ 1455.69
1465.54/1470.05 c GLOBAL bounds - >= -300660 @ 1460.49
1465.93/1470.41 c GLOBAL bounds - >= -300660 @ 1460.85
1467.23/1471.77 c GLOBAL bounds - >= -300660 @ 1462.2
1467.64/1472.15 c GLOBAL bounds - >= -300660 @ 1462.57
1470.22/1474.74 c GLOBAL bounds - >= -300660 @ 1465.15
1470.53/1475.08 c GLOBAL bounds - >= -300660 @ 1465.49
1470.92/1475.41 c GLOBAL bounds - >= -300660 @ 1465.82
1482.08/1486.67 c #Conflicts: 245000 | #Constraints: 119413
1482.08/1486.67 c #Conflicts: 246000 | #Constraints: 120413
1482.08/1486.67 c INPROCESSING
1482.08/1486.67 c GARBAGE COLLECT
1482.08/1486.67 c GLOBAL bounds - >= -300660 @ 1476.99
1485.37/1489.93 c GLOBAL bounds - >= -300660 @ 1480.2
1485.48/1490.07 c GLOBAL bounds - >= -300660 @ 1480.34
1485.58/1490.15 c GLOBAL bounds - >= -300660 @ 1480.42
1485.67/1490.22 c GLOBAL bounds - >= -300660 @ 1480.49
1485.78/1490.30 c GLOBAL bounds - >= -300660 @ 1480.57
1485.78/1490.37 c GLOBAL bounds - >= -300660 @ 1480.64
1485.88/1490.44 c GLOBAL bounds - >= -300660 @ 1480.71
1485.98/1490.53 c GLOBAL bounds - >= -300660 @ 1480.79
1487.86/1492.46 c #Conflicts: 247000 | #Constraints: 111635
1487.86/1492.46 c GLOBAL bounds - >= -300660 @ 1482.71
1488.36/1492.98 c GLOBAL bounds - >= -300660 @ 1483.23
1522.26/1526.99 c #Conflicts: 248000 | #Constraints: 112639
1522.26/1526.99 c #Conflicts: 249000 | #Constraints: 113639
1522.26/1526.99 c #Conflicts: 250000 | #Constraints: 114639
1522.26/1526.99 c #Conflicts: 251000 | #Constraints: 115639
1522.26/1526.99 c #Conflicts: 252000 | #Constraints: 116639
1522.26/1526.99 c #Conflicts: 253000 | #Constraints: 117639
1522.26/1526.99 c GLOBAL bounds - >= -300660 @ 1517.06
1537.02/1541.76 c #Conflicts: 254000 | #Constraints: 118641
1537.02/1541.76 c GLOBAL bounds - >= -300660 @ 1531.76
1593.26/1598.12 c #Conflicts: 255000 | #Constraints: 119643
1593.26/1598.12 c #Conflicts: 256000 | #Constraints: 120643
1593.26/1598.12 c INPROCESSING
1593.26/1598.12 c GARBAGE COLLECT
1593.26/1598.12 c #Conflicts: 257000 | #Constraints: 111680
1593.26/1598.12 c #Conflicts: 258000 | #Constraints: 112680
1593.26/1598.12 c #Conflicts: 259000 | #Constraints: 113680
1593.26/1598.12 c #Conflicts: 260000 | #Constraints: 114680
1593.26/1598.12 c #Conflicts: 261000 | #Constraints: 115680
1593.26/1598.12 c #Conflicts: 262000 | #Constraints: 116680
1593.26/1598.12 c GLOBAL bounds - >= -300660 @ 1587.83
1593.55/1598.46 c GLOBAL bounds - >= -300660 @ 1588.16
1593.85/1598.73 c GLOBAL bounds - >= -300660 @ 1588.43
1594.16/1599.02 c GLOBAL bounds - >= -300660 @ 1588.72
1594.45/1599.31 c GLOBAL bounds - >= -300660 @ 1589.01
1595.34/1600.27 c GLOBAL bounds - >= -300660 @ 1589.96
1604.72/1609.65 c GLOBAL bounds - >= -300660 @ 1599.29
1605.02/1609.90 c GLOBAL bounds - >= -300660 @ 1599.54
1605.22/1610.18 c GLOBAL bounds - >= -300660 @ 1599.82
1605.52/1610.43 c GLOBAL bounds - >= -300660 @ 1600.07
1605.81/1610.76 c GLOBAL bounds - >= -300660 @ 1600.41
1606.51/1611.43 c GLOBAL bounds - >= -300660 @ 1601.07
1641.12/1646.15 c #Conflicts: 263000 | #Constraints: 117704
1641.12/1646.15 c #Conflicts: 264000 | #Constraints: 118704
1641.12/1646.15 c #Conflicts: 265000 | #Constraints: 119704
1641.12/1646.15 c #Conflicts: 266000 | #Constraints: 120704
1641.12/1646.15 c INPROCESSING
1641.12/1646.15 c GARBAGE COLLECT
1641.12/1646.15 c #Conflicts: 267000 | #Constraints: 111482
1641.12/1646.15 c #Conflicts: 268000 | #Constraints: 112482
1641.12/1646.15 c GLOBAL bounds - >= -300660 @ 1635.62
1708.51/1713.73 c #Conflicts: 269000 | #Constraints: 113484
1708.51/1713.73 c #Conflicts: 270000 | #Constraints: 114484
1708.51/1713.73 c #Conflicts: 271000 | #Constraints: 115484
1708.51/1713.73 c #Conflicts: 272000 | #Constraints: 116484
1708.51/1713.73 c #Conflicts: 273000 | #Constraints: 117484
1708.51/1713.73 c #Conflicts: 274000 | #Constraints: 118484
1708.51/1713.73 c #Conflicts: 275000 | #Constraints: 119484
1708.51/1713.73 c #Conflicts: 276000 | #Constraints: 120484
1708.51/1713.73 c #Conflicts: 277000 | #Constraints: 121484
1708.51/1713.73 c INPROCESSING
1708.51/1713.73 c GARBAGE COLLECT
1708.51/1713.73 c #Conflicts: 278000 | #Constraints: 112083
1708.51/1713.73 c #Conflicts: 279000 | #Constraints: 113083
1708.51/1713.73 c #Conflicts: 280000 | #Constraints: 114083
1708.51/1713.73 c GLOBAL bounds - >= -300660 @ 1702.82
1768.83/1774.22 c #Conflicts: 281000 | #Constraints: 115085
1768.83/1774.22 c #Conflicts: 282000 | #Constraints: 116085
1768.83/1774.22 c #Conflicts: 283000 | #Constraints: 117085
1768.83/1774.22 c #Conflicts: 284000 | #Constraints: 118085
1768.83/1774.22 c #Conflicts: 285000 | #Constraints: 119085
1768.83/1774.22 c #Conflicts: 286000 | #Constraints: 120085
1768.83/1774.22 c #Conflicts: 287000 | #Constraints: 121085
1768.83/1774.22 c GLOBAL bounds - >= -300660 @ 1762.95
1868.12/1873.84 c #Conflicts: 288000 | #Constraints: 122087
1868.12/1873.84 c INPROCESSING
1868.12/1873.84 c GARBAGE COLLECT
1868.12/1873.84 c #Conflicts: 289000 | #Constraints: 112473
1868.12/1873.84 c #Conflicts: 290000 | #Constraints: 113473
1868.12/1873.84 c #Conflicts: 291000 | #Constraints: 114473
1868.12/1873.84 c #Conflicts: 292000 | #Constraints: 115473
1868.12/1873.84 c #Conflicts: 293000 | #Constraints: 116473
1868.12/1873.84 c #Conflicts: 294000 | #Constraints: 117473
1868.12/1873.84 c #Conflicts: 295000 | #Constraints: 118473
1868.12/1873.84 c #Conflicts: 296000 | #Constraints: 119473
1868.12/1873.84 c #Conflicts: 297000 | #Constraints: 120473
1868.12/1873.84 c #Conflicts: 298000 | #Constraints: 121473
1868.12/1873.84 c GLOBAL bounds - >= -300660 @ 1862.01
1869.62/1875.30 c GLOBAL bounds - >= -300660 @ 1863.47
1871.51/1877.29 c GLOBAL bounds - >= -300660 @ 1865.45
1874.80/1880.59 c #Conflicts: 299000 | #Constraints: 122479
1874.80/1880.59 c INPROCESSING
1874.80/1880.59 c GARBAGE COLLECT
1874.80/1880.59 c GLOBAL bounds - >= -300660 @ 1868.72
2385.05/2392.39 c #Conflicts: 300000 | #Constraints: 112690
2385.05/2392.39 c #Conflicts: 301000 | #Constraints: 113690
2385.05/2392.39 c #Conflicts: 302000 | #Constraints: 114690
2385.05/2392.39 c #Conflicts: 303000 | #Constraints: 115690
2385.05/2392.39 c #Conflicts: 304000 | #Constraints: 116690
2385.05/2392.39 c #Conflicts: 305000 | #Constraints: 117690
2385.05/2392.39 c #Conflicts: 306000 | #Constraints: 118690
2385.05/2392.39 c #Conflicts: 307000 | #Constraints: 119690
2385.05/2392.39 c #Conflicts: 308000 | #Constraints: 120690
2385.05/2392.39 c #Conflicts: 309000 | #Constraints: 121690
2385.05/2392.39 c #Conflicts: 310000 | #Constraints: 122690
2385.05/2392.39 c INPROCESSING
2385.05/2392.39 c GARBAGE COLLECT
2385.05/2392.39 c #Conflicts: 311000 | #Constraints: 112677
2385.05/2392.39 c #Conflicts: 312000 | #Constraints: 113677
2385.05/2392.39 c #Conflicts: 313000 | #Constraints: 114677
2385.05/2392.39 c #Conflicts: 314000 | #Constraints: 115677
2385.05/2392.39 c #Conflicts: 315000 | #Constraints: 116677
2385.05/2392.39 c #Conflicts: 316000 | #Constraints: 117677
2385.05/2392.39 c #Conflicts: 317000 | #Constraints: 118677
2385.05/2392.39 c #Conflicts: 318000 | #Constraints: 119677
2385.05/2392.39 c #Conflicts: 319000 | #Constraints: 120677
2385.05/2392.39 c #Conflicts: 320000 | #Constraints: 121677
2385.05/2392.39 c #Conflicts: 321000 | #Constraints: 122677
2385.05/2392.39 c INPROCESSING
2385.05/2392.39 c GARBAGE COLLECT
2385.05/2392.39 c #Conflicts: 322000 | #Constraints: 112480
2385.05/2392.39 c #Conflicts: 323000 | #Constraints: 113480
2385.05/2392.39 c #Conflicts: 324000 | #Constraints: 114480
2385.05/2392.39 c #Conflicts: 325000 | #Constraints: 115480
2385.05/2392.39 c #Conflicts: 326000 | #Constraints: 116480
2385.05/2392.39 c #Conflicts: 327000 | #Constraints: 117480
2385.05/2392.39 c #Conflicts: 328000 | #Constraints: 118480
2385.05/2392.39 c #Conflicts: 329000 | #Constraints: 119480
2385.05/2392.39 c #Conflicts: 330000 | #Constraints: 120480
2385.05/2392.39 c #Conflicts: 331000 | #Constraints: 121480
2385.05/2392.39 c #Conflicts: 332000 | #Constraints: 122480
2385.05/2392.39 c #Conflicts: 333000 | #Constraints: 123480
2385.05/2392.39 c INPROCESSING
2385.05/2392.39 c GARBAGE COLLECT
2385.05/2392.39 c #Conflicts: 334000 | #Constraints: 113079
2385.05/2392.39 c #Conflicts: 335000 | #Constraints: 114079
2385.05/2392.39 c #Conflicts: 336000 | #Constraints: 115079
2385.05/2392.39 c #Conflicts: 337000 | #Constraints: 116079
2385.05/2392.39 c #Conflicts: 338000 | #Constraints: 117079
2385.05/2392.39 c #Conflicts: 339000 | #Constraints: 118079
2385.05/2392.39 c #Conflicts: 340000 | #Constraints: 119079
2385.05/2392.39 c #Conflicts: 341000 | #Constraints: 120079
2385.05/2392.39 c #Conflicts: 342000 | #Constraints: 121079
2385.05/2392.39 c #Conflicts: 343000 | #Constraints: 122079
2385.05/2392.39 c #Conflicts: 344000 | #Constraints: 123079
2385.05/2392.39 c #Conflicts: 345000 | #Constraints: 124079
2385.05/2392.39 c INPROCESSING
2385.05/2392.39 c GARBAGE COLLECT
2385.05/2392.39 c #Conflicts: 346000 | #Constraints: 113474
2385.05/2392.39 c #Conflicts: 347000 | #Constraints: 114474
2385.05/2392.39 c #Conflicts: 348000 | #Constraints: 115474
2385.05/2392.39 c #Conflicts: 349000 | #Constraints: 116474
2385.05/2392.39 c #Conflicts: 350000 | #Constraints: 117474
2385.05/2392.39 c #Conflicts: 351000 | #Constraints: 118474
2385.05/2392.39 c #Conflicts: 352000 | #Constraints: 119474
2385.05/2392.39 c #Conflicts: 353000 | #Constraints: 120474
2385.05/2392.39 c #Conflicts: 354000 | #Constraints: 121474
2385.05/2392.39 c #Conflicts: 355000 | #Constraints: 122474
2385.05/2392.39 c #Conflicts: 356000 | #Constraints: 123474
2385.05/2392.39 c #Conflicts: 357000 | #Constraints: 124474
2385.05/2392.39 c INPROCESSING
2385.05/2392.39 c GARBAGE COLLECT
2385.05/2392.39 c #Conflicts: 358000 | #Constraints: 113675
2385.05/2392.39 c #Conflicts: 359000 | #Constraints: 114675
2385.05/2392.39 c #Conflicts: 360000 | #Constraints: 115675
2385.05/2392.39 c #Conflicts: 361000 | #Constraints: 116675
2385.05/2392.39 c #Conflicts: 362000 | #Constraints: 117675
2385.05/2392.39 c #Conflicts: 363000 | #Constraints: 118675
2385.05/2392.39 c #Conflicts: 364000 | #Constraints: 119675
2385.05/2392.39 c #Conflicts: 365000 | #Constraints: 120675
2385.05/2392.39 c #Conflicts: 366000 | #Constraints: 121675
2385.05/2392.39 c #Conflicts: 367000 | #Constraints: 122675
2385.05/2392.39 c #Conflicts: 368000 | #Constraints: 123675
2385.05/2392.39 c #Conflicts: 369000 | #Constraints: 124675
2385.05/2392.39 c INPROCESSING
2385.05/2392.39 c GARBAGE COLLECT
2385.05/2392.39 c #Conflicts: 370000 | #Constraints: 113680
2385.05/2392.39 c #Conflicts: 371000 | #Constraints: 114680
2385.05/2392.39 c #Conflicts: 372000 | #Constraints: 115680
2385.05/2392.39 c #Conflicts: 373000 | #Constraints: 116680
2385.05/2392.39 c #Conflicts: 374000 | #Constraints: 117680
2755.53/2763.97 c #Conflicts: 375000 | #Constraints: 118680
2755.53/2763.97 c #Conflicts: 376000 | #Constraints: 119680
2755.53/2763.97 c #Conflicts: 377000 | #Constraints: 120680
2755.53/2763.97 c #Conflicts: 378000 | #Constraints: 121680
2755.53/2763.97 c #Conflicts: 379000 | #Constraints: 122680
2755.53/2763.97 c #Conflicts: 380000 | #Constraints: 123680
2755.53/2763.97 c #Conflicts: 381000 | #Constraints: 124680
2755.53/2763.97 c INPROCESSING
2755.53/2763.97 c GARBAGE COLLECT
2755.53/2763.97 c #Conflicts: 382000 | #Constraints: 113478
2755.53/2763.97 c #Conflicts: 383000 | #Constraints: 114478
2755.53/2763.97 c #Conflicts: 384000 | #Constraints: 115478
2755.53/2763.97 c #Conflicts: 385000 | #Constraints: 116478
2755.53/2763.97 c #Conflicts: 386000 | #Constraints: 117478
2755.53/2763.97 c #Conflicts: 387000 | #Constraints: 118478
2755.53/2763.97 c #Conflicts: 388000 | #Constraints: 119478
2755.53/2763.97 c #Conflicts: 389000 | #Constraints: 120478
2755.53/2763.97 c #Conflicts: 390000 | #Constraints: 121478
2755.53/2763.97 c #Conflicts: 391000 | #Constraints: 122478
2755.53/2763.97 c #Conflicts: 392000 | #Constraints: 123478
2755.53/2763.97 c #Conflicts: 393000 | #Constraints: 124478
2755.53/2763.97 c #Conflicts: 394000 | #Constraints: 125478
2755.53/2763.97 c INPROCESSING
2755.53/2763.97 c GARBAGE COLLECT
2755.53/2763.97 c #Conflicts: 395000 | #Constraints: 114082
2755.53/2763.97 c #Conflicts: 396000 | #Constraints: 115082
2755.53/2763.97 c #Conflicts: 397000 | #Constraints: 116082
2755.53/2763.97 c #Conflicts: 398000 | #Constraints: 117082
2755.53/2763.97 c #Conflicts: 399000 | #Constraints: 118082
2755.53/2763.97 c #Conflicts: 400000 | #Constraints: 119082
2755.53/2763.97 c #Conflicts: 401000 | #Constraints: 120082
2755.53/2763.97 c #Conflicts: 402000 | #Constraints: 121082
2755.53/2763.97 c #Conflicts: 403000 | #Constraints: 122082
2755.53/2763.97 c #Conflicts: 404000 | #Constraints: 123082
2755.53/2763.97 c #Conflicts: 405000 | #Constraints: 124082
2755.53/2763.97 c #Conflicts: 406000 | #Constraints: 125082
2755.53/2763.97 c #Conflicts: 407000 | #Constraints: 126082
2755.53/2763.97 c INPROCESSING
2755.53/2763.97 c GARBAGE COLLECT
2755.53/2763.97 c #Conflicts: 408000 | #Constraints: 114483
2755.53/2763.97 c #Conflicts: 409000 | #Constraints: 115483
2755.53/2763.97 c #Conflicts: 410000 | #Constraints: 116483
2755.53/2763.97 c #Conflicts: 411000 | #Constraints: 117483
2755.53/2763.97 c #Conflicts: 412000 | #Constraints: 118483
2755.53/2763.97 c #Conflicts: 413000 | #Constraints: 119483
2755.53/2763.97 c #Conflicts: 414000 | #Constraints: 120483
2755.53/2763.97 c #Conflicts: 415000 | #Constraints: 121483
2755.53/2763.97 c #Conflicts: 416000 | #Constraints: 122483
2755.53/2763.97 c #Conflicts: 417000 | #Constraints: 123483
2755.53/2763.97 c #Conflicts: 418000 | #Constraints: 124483
2755.53/2763.97 c #Conflicts: 419000 | #Constraints: 125483
2755.53/2763.97 c #Conflicts: 420000 | #Constraints: 126483
2755.53/2763.97 c INPROCESSING
2755.53/2763.97 c GARBAGE COLLECT
2755.53/2763.97 c #Conflicts: 421000 | #Constraints: 114683
2755.53/2763.97 c #Conflicts: 422000 | #Constraints: 115683
2755.53/2763.97 c #Conflicts: 423000 | #Constraints: 116683
2755.53/2763.97 c #Conflicts: 424000 | #Constraints: 117683
2755.53/2763.97 c #Conflicts: 425000 | #Constraints: 118683
2755.53/2763.97 c #Conflicts: 426000 | #Constraints: 119683
2755.53/2763.97 c #Conflicts: 427000 | #Constraints: 120683
2755.53/2763.97 c #Conflicts: 428000 | #Constraints: 121683
2755.53/2763.97 c #Conflicts: 429000 | #Constraints: 122683
2755.53/2763.97 c #Conflicts: 430000 | #Constraints: 123683
2755.53/2763.97 c #Conflicts: 431000 | #Constraints: 124683
2755.53/2763.97 c #Conflicts: 432000 | #Constraints: 125683
2755.53/2763.97 c #Conflicts: 433000 | #Constraints: 126683
2755.53/2763.97 c INPROCESSING
2755.53/2763.97 c GARBAGE COLLECT
2755.53/2763.97 c #Conflicts: 434000 | #Constraints: 114682
2755.53/2763.97 c #Conflicts: 435000 | #Constraints: 115682
2755.53/2763.97 c #Conflicts: 436000 | #Constraints: 116682
2755.53/2763.97 c #Conflicts: 437000 | #Constraints: 117682
2755.53/2763.97 c #Conflicts: 438000 | #Constraints: 118682
2755.53/2763.97 c #Conflicts: 439000 | #Constraints: 119682
2755.53/2763.97 c #Conflicts: 440000 | #Constraints: 120682
2755.53/2763.97 c #Conflicts: 441000 | #Constraints: 121682
2755.53/2763.97 c #Conflicts: 442000 | #Constraints: 122682
2755.53/2763.97 c #Conflicts: 443000 | #Constraints: 123682
2755.53/2763.97 c #Conflicts: 444000 | #Constraints: 124682
2755.53/2763.97 c #Conflicts: 445000 | #Constraints: 125682
2755.53/2763.97 c #Conflicts: 446000 | #Constraints: 126682
2755.53/2763.97 c INPROCESSING
2755.53/2763.97 c GARBAGE COLLECT
2755.53/2763.97 c #Conflicts: 447000 | #Constraints: 114486
2755.53/2763.97 c #Conflicts: 448000 | #Constraints: 115486
2755.53/2763.97 c #Conflicts: 449000 | #Constraints: 116486
3087.34/3096.78 c #Conflicts: 450000 | #Constraints: 117486
3087.34/3096.78 c #Conflicts: 451000 | #Constraints: 118486
3087.34/3096.78 c #Conflicts: 452000 | #Constraints: 119486
3087.34/3096.78 c #Conflicts: 453000 | #Constraints: 120486
3087.34/3096.78 c #Conflicts: 454000 | #Constraints: 121486
3087.34/3096.78 c #Conflicts: 455000 | #Constraints: 122486
3087.34/3096.78 c #Conflicts: 456000 | #Constraints: 123486
3087.34/3096.78 c #Conflicts: 457000 | #Constraints: 124486
3087.34/3096.78 c #Conflicts: 458000 | #Constraints: 125486
3087.34/3096.78 c #Conflicts: 459000 | #Constraints: 126486
3087.34/3096.78 c #Conflicts: 460000 | #Constraints: 127486
3087.34/3096.78 c INPROCESSING
3087.34/3096.78 c GARBAGE COLLECT
3087.34/3096.78 c #Conflicts: 461000 | #Constraints: 115080
3087.34/3096.78 c #Conflicts: 462000 | #Constraints: 116080
3087.34/3096.78 c #Conflicts: 463000 | #Constraints: 117080
3087.34/3096.78 c #Conflicts: 464000 | #Constraints: 118080
3087.34/3096.78 c #Conflicts: 465000 | #Constraints: 119080
3087.34/3096.78 c #Conflicts: 466000 | #Constraints: 120080
3087.34/3096.78 c #Conflicts: 467000 | #Constraints: 121080
3087.34/3096.78 c #Conflicts: 468000 | #Constraints: 122080
3087.34/3096.78 c #Conflicts: 469000 | #Constraints: 123080
3087.34/3096.78 c #Conflicts: 470000 | #Constraints: 124080
3087.34/3096.78 c #Conflicts: 471000 | #Constraints: 125080
3087.34/3096.78 c #Conflicts: 472000 | #Constraints: 126080
3087.34/3096.78 c #Conflicts: 473000 | #Constraints: 127080
3087.34/3096.78 c #Conflicts: 474000 | #Constraints: 128080
3087.34/3096.78 c INPROCESSING
3087.34/3096.78 c GARBAGE COLLECT
3087.34/3096.78 c #Conflicts: 475000 | #Constraints: 115482
3087.34/3096.78 c #Conflicts: 476000 | #Constraints: 116482
3087.34/3096.78 c #Conflicts: 477000 | #Constraints: 117482
3087.34/3096.78 c #Conflicts: 478000 | #Constraints: 118482
3087.34/3096.78 c #Conflicts: 479000 | #Constraints: 119482
3087.34/3096.78 c #Conflicts: 480000 | #Constraints: 120482
3087.34/3096.78 c #Conflicts: 481000 | #Constraints: 121482
3087.34/3096.78 c #Conflicts: 482000 | #Constraints: 122482
3087.34/3096.78 c #Conflicts: 483000 | #Constraints: 123482
3087.34/3096.78 c #Conflicts: 484000 | #Constraints: 124482
3087.34/3096.78 c #Conflicts: 485000 | #Constraints: 125482
3087.34/3096.78 c #Conflicts: 486000 | #Constraints: 126482
3087.34/3096.78 c #Conflicts: 487000 | #Constraints: 127482
3087.34/3096.78 c #Conflicts: 488000 | #Constraints: 128482
3087.34/3096.78 c INPROCESSING
3087.34/3096.78 c GARBAGE COLLECT
3087.34/3096.78 c #Conflicts: 489000 | #Constraints: 115682
3087.34/3096.78 c #Conflicts: 490000 | #Constraints: 116682
3087.34/3096.78 c #Conflicts: 491000 | #Constraints: 117682
3087.34/3096.78 c #Conflicts: 492000 | #Constraints: 118682
3087.34/3096.78 c #Conflicts: 493000 | #Constraints: 119682
3087.34/3096.78 c #Conflicts: 494000 | #Constraints: 120682
3087.34/3096.78 c #Conflicts: 495000 | #Constraints: 121682
3087.34/3096.78 c #Conflicts: 496000 | #Constraints: 122682
3087.34/3096.78 c #Conflicts: 497000 | #Constraints: 123682
3087.34/3096.78 c #Conflicts: 498000 | #Constraints: 124682
3087.34/3096.78 c #Conflicts: 499000 | #Constraints: 125682
3087.34/3096.78 c #Conflicts: 500000 | #Constraints: 126682
3087.34/3096.78 c #Conflicts: 501000 | #Constraints: 127682
3087.34/3096.78 c #Conflicts: 502000 | #Constraints: 128682
3087.34/3096.78 c INPROCESSING
3087.34/3096.78 c GARBAGE COLLECT
3087.34/3096.78 c #Conflicts: 503000 | #Constraints: 115684
3087.34/3096.78 c #Conflicts: 504000 | #Constraints: 116684
3087.34/3096.78 c #Conflicts: 505000 | #Constraints: 117684
3087.34/3096.78 c #Conflicts: 506000 | #Constraints: 118684
3087.34/3096.78 c #Conflicts: 507000 | #Constraints: 119684
3087.34/3096.78 c #Conflicts: 508000 | #Constraints: 120684
3087.34/3096.78 c #Conflicts: 509000 | #Constraints: 121684
3087.34/3096.78 c #Conflicts: 510000 | #Constraints: 122684
3087.34/3096.78 c #Conflicts: 511000 | #Constraints: 123684
3087.34/3096.78 c #Conflicts: 512000 | #Constraints: 124684
3087.34/3096.78 c #Conflicts: 513000 | #Constraints: 125684
3087.34/3096.78 c #Conflicts: 514000 | #Constraints: 126684
3087.34/3096.78 c #Conflicts: 515000 | #Constraints: 127684
3087.34/3096.78 c #Conflicts: 516000 | #Constraints: 128684
3087.34/3096.78 c INPROCESSING
3087.34/3096.78 c GARBAGE COLLECT
3087.34/3096.78 c #Conflicts: 517000 | #Constraints: 115482
3087.34/3096.78 c #Conflicts: 518000 | #Constraints: 116482
3087.34/3096.78 c #Conflicts: 519000 | #Constraints: 117482
3087.34/3096.78 c #Conflicts: 520000 | #Constraints: 118482
3087.34/3096.78 c #Conflicts: 521000 | #Constraints: 119482
3087.34/3096.78 c #Conflicts: 522000 | #Constraints: 120482
3087.34/3096.78 c #Conflicts: 523000 | #Constraints: 121482
3087.34/3096.78 c #Conflicts: 524000 | #Constraints: 122482
3087.34/3096.78 c #Conflicts: 525000 | #Constraints: 123482
3405.88/3416.24 c #Conflicts: 526000 | #Constraints: 124482
3405.88/3416.24 c #Conflicts: 527000 | #Constraints: 125482
3405.88/3416.24 c #Conflicts: 528000 | #Constraints: 126482
3405.88/3416.24 c #Conflicts: 529000 | #Constraints: 127482
3405.88/3416.24 c #Conflicts: 530000 | #Constraints: 128482
3405.88/3416.24 c #Conflicts: 531000 | #Constraints: 129482
3405.88/3416.24 c INPROCESSING
3405.88/3416.24 c GARBAGE COLLECT
3405.88/3416.24 c #Conflicts: 532000 | #Constraints: 116092
3405.88/3416.24 c #Conflicts: 533000 | #Constraints: 117092
3405.88/3416.24 c #Conflicts: 534000 | #Constraints: 118092
3405.88/3416.24 c #Conflicts: 535000 | #Constraints: 119092
3405.88/3416.24 c #Conflicts: 536000 | #Constraints: 120092
3405.88/3416.24 c #Conflicts: 537000 | #Constraints: 121092
3405.88/3416.24 c #Conflicts: 538000 | #Constraints: 122092
3405.88/3416.24 c #Conflicts: 539000 | #Constraints: 123092
3405.88/3416.24 c #Conflicts: 540000 | #Constraints: 124092
3405.88/3416.24 c #Conflicts: 541000 | #Constraints: 125092
3405.88/3416.24 c #Conflicts: 542000 | #Constraints: 126092
3405.88/3416.24 c #Conflicts: 543000 | #Constraints: 127092
3405.88/3416.24 c #Conflicts: 544000 | #Constraints: 128092
3405.88/3416.24 c #Conflicts: 545000 | #Constraints: 129092
3405.88/3416.24 c #Conflicts: 546000 | #Constraints: 130092
3405.88/3416.24 c INPROCESSING
3405.88/3416.24 c GARBAGE COLLECT
3405.88/3416.24 c #Conflicts: 547000 | #Constraints: 116481
3405.88/3416.24 c #Conflicts: 548000 | #Constraints: 117481
3405.88/3416.24 c #Conflicts: 549000 | #Constraints: 118481
3405.88/3416.24 c #Conflicts: 550000 | #Constraints: 119481
3405.88/3416.24 c #Conflicts: 551000 | #Constraints: 120481
3405.88/3416.24 c #Conflicts: 552000 | #Constraints: 121481
3405.88/3416.24 c #Conflicts: 553000 | #Constraints: 122481
3405.88/3416.24 c #Conflicts: 554000 | #Constraints: 123481
3405.88/3416.24 c #Conflicts: 555000 | #Constraints: 124481
3405.88/3416.24 c #Conflicts: 556000 | #Constraints: 125481
3405.88/3416.24 c #Conflicts: 557000 | #Constraints: 126481
3405.88/3416.24 c #Conflicts: 558000 | #Constraints: 127481
3405.88/3416.24 c #Conflicts: 559000 | #Constraints: 128481
3405.88/3416.24 c #Conflicts: 560000 | #Constraints: 129481
3405.88/3416.24 c #Conflicts: 561000 | #Constraints: 130481
3405.88/3416.24 c INPROCESSING
3405.88/3416.24 c GARBAGE COLLECT
3405.88/3416.24 c #Conflicts: 562000 | #Constraints: 116682
3405.88/3416.24 c #Conflicts: 563000 | #Constraints: 117682
3405.88/3416.24 c #Conflicts: 564000 | #Constraints: 118682
3405.88/3416.24 c #Conflicts: 565000 | #Constraints: 119682
3405.88/3416.24 c #Conflicts: 566000 | #Constraints: 120682
3405.88/3416.24 c #Conflicts: 567000 | #Constraints: 121682
3405.88/3416.24 c #Conflicts: 568000 | #Constraints: 122682
3405.88/3416.24 c #Conflicts: 569000 | #Constraints: 123682
3405.88/3416.24 c #Conflicts: 570000 | #Constraints: 124682
3405.88/3416.24 c #Conflicts: 571000 | #Constraints: 125682
3405.88/3416.24 c #Conflicts: 572000 | #Constraints: 126682
3405.88/3416.24 c #Conflicts: 573000 | #Constraints: 127682
3405.88/3416.24 c #Conflicts: 574000 | #Constraints: 128682
3405.88/3416.24 c #Conflicts: 575000 | #Constraints: 129682
3405.88/3416.24 c #Conflicts: 576000 | #Constraints: 130682
3405.88/3416.24 c INPROCESSING
3405.88/3416.24 c GARBAGE COLLECT
3405.88/3416.24 c #Conflicts: 577000 | #Constraints: 116684
3405.88/3416.24 c #Conflicts: 578000 | #Constraints: 117684
3405.88/3416.24 c #Conflicts: 579000 | #Constraints: 118684
3405.88/3416.24 c #Conflicts: 580000 | #Constraints: 119684
3405.88/3416.24 c #Conflicts: 581000 | #Constraints: 120684
3405.88/3416.24 c #Conflicts: 582000 | #Constraints: 121684
3405.88/3416.24 c GLOBAL bounds - >= -300660 @ 3396.77
3600.10/3611.00 c #Conflicts: 583000 | #Constraints: 122686
3600.10/3611.00 c #Conflicts: 584000 | #Constraints: 123686
3600.10/3611.00 c #Conflicts: 585000 | #Constraints: 124686
3600.10/3611.00 c #Conflicts: 586000 | #Constraints: 125686
3600.10/3611.00 c #Conflicts: 587000 | #Constraints: 126686
3600.10/3611.00 c #Conflicts: 588000 | #Constraints: 127686
3600.10/3611.00 c #Conflicts: 589000 | #Constraints: 128686
3600.10/3611.00 c #Conflicts: 590000 | #Constraints: 129686
3600.10/3611.00 c #Conflicts: 591000 | #Constraints: 130686
3600.10/3611.00 c INPROCESSING
3600.10/3611.00 c GARBAGE COLLECT
3600.10/3611.00 c #Conflicts: 592000 | #Constraints: 116479
3600.10/3611.00 c #Conflicts: 593000 | #Constraints: 117479
3600.10/3611.00 c #Conflicts: 594000 | #Constraints: 118479
3600.10/3611.00 c #Conflicts: 595000 | #Constraints: 119479
3600.10/3611.00 c #Conflicts: 596000 | #Constraints: 120479
3600.10/3611.00 c #Conflicts: 597000 | #Constraints: 121479
3600.10/3611.00 c #Conflicts: 598000 | #Constraints: 122479
3600.10/3611.00 c #Conflicts: 599000 | #Constraints: 123479
3600.10/3611.00 c #Conflicts: 600000 | #Constraints: 124479
3600.10/3611.00 c #Conflicts: 601000 | #Constraints: 125479
3600.10/3611.00 c #Conflicts: 602000 | #Constraints: 126479
3600.10/3611.00 c #Conflicts: 603000 | #Constraints: 127479
3600.10/3611.00 c #Conflicts: 604000 | #Constraints: 128479
3600.10/3611.00 c #Conflicts: 605000 | #Constraints: 129479
3600.10/3611.00 c #Conflicts: 606000 | #Constraints: 130479
3600.10/3611.00 c #Conflicts: 607000 | #Constraints: 131479
3600.10/3611.00 c INPROCESSING
3600.10/3611.00 c GARBAGE COLLECT
3600.10/3611.00 c #Conflicts: 608000 | #Constraints: 117083
3600.10/3611.00 c #Conflicts: 609000 | #Constraints: 118083
3600.10/3611.00 c #Conflicts: 610000 | #Constraints: 119083
3600.10/3611.00 c #Conflicts: 611000 | #Constraints: 120083
3600.10/3611.00 c cpu time 3590.58 s
3600.10/3611.00 c deterministic time 1 1.00e+00
3600.10/3611.00 c optimization time 3590.3 s
3600.10/3611.00 c total solve time 0 s
3600.10/3611.00 c core-guided solve time 0 s
3600.10/3611.00 c propagation time 0.02883 s
3600.10/3611.00 c conflict analysis time 0 s
3600.10/3611.00 c propagations 0
3600.10/3611.00 c resolve steps 0
3600.10/3611.00 c decisions 0
3600.10/3611.00 c conflicts 0
3600.10/3611.00 c restarts 0
3600.10/3611.00 c inprocessing phases 0
3600.10/3611.00 c garbage collections 0 ,( -nan )
3600.10/3611.00 c input clauses 100672 ,( 99.99 )
3600.10/3611.00 c input cardinalities 0 ,( 0.00 )
3600.10/3611.00 c input general constraints 8 ,( 0.01 )
3600.10/3611.00 c input average constraint length 2.35
3600.10/3611.00 c input average constraint degree 583.27
3600.10/3611.00 c learned clauses 0 ,( 0.00 )
3600.10/3611.00 c learned cardinalities 0 ,( 0.00 )
3600.10/3611.00 c learned general constraints 0 ,( 0.00 )
3600.10/3611.00 c learned average constraint length 0.00
3600.10/3611.00 c learned average constraint degree 0.00
3600.10/3611.00 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.10/3611.00 c counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
3600.10/3611.00 c watched constraints 0 ,( 0.00 )
3600.10/3611.00 c counting constraints 8 ,( 100.00 )
3600.10/3611.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.10/3611.00 c gcd simplifications 0
3600.10/3611.00 c detected cardinalities 0
3600.10/3611.00 c weakened non-implied lits 0
3600.10/3611.00 c weakened non-implying lits 0
3600.10/3611.00 c original variables 4356
3600.10/3611.00 c clausal propagations 0
3600.10/3611.00 c cardinality propagations 0
3600.10/3611.00 c watched propagations 0
3600.10/3611.00 c counting propagations 0
3600.10/3611.00 c watch lookups 0
3600.10/3611.00 c watch backjump lookups 0
3600.10/3611.00 c watch checks 0
3600.10/3611.00 c propagation checks 0
3600.10/3611.00 c constraint additions 0
3600.10/3611.00 c trail pops 0
3600.10/3611.00 c formula constraints 100680
3600.10/3611.00 c learned constraints 0
3600.10/3611.00 c bound constraints 0
3600.10/3611.00 c core-guided constraints 0
3600.10/3611.00 c encountered formula constraints 0
3600.10/3611.00 c encountered learned constraints 0
3600.10/3611.00 c encountered bound constraints 0
3600.10/3611.00 c encountered core-guided constraints 0
3600.10/3611.00 c LP total time 0 s
3600.10/3611.00 c LP solve time 0 s
3600.10/3611.00 c LP constraints added 0
3600.10/3611.00 c LP constraints removed 0
3600.10/3611.00 c LP pivots internal 0
3600.10/3611.00 c LP pivots root 0
3600.10/3611.00 c LP calls 0
3600.10/3611.00 c LP optimalities 0
3600.10/3611.00 c LP no pivot count 0
3600.10/3611.00 c LP infeasibilities 0
3600.10/3611.00 c LP valid Farkas constraints 0
3600.10/3611.00 c LP learned Farkas constraints 0
3600.10/3611.00 c LP basis resets 0
3600.10/3611.00 c LP cycling count 0
3600.10/3611.00 c LP singular count 0
3600.10/3611.00 c LP no primal count 0
3600.10/3611.00 c LP no farkas count 0
3600.10/3611.00 c LP other issue count 0
3600.10/3611.00 c LP Gomory cuts 0
3600.10/3611.00 c LP learned cuts 0
3600.10/3611.00 c LP deleted cuts 0
3600.10/3611.00 c LP encountered Gomory constraints 0
3600.10/3611.00 c LP encountered Farkas constraints 0
3600.10/3611.00 c LP encountered learned Farkas constraints 0
3600.10/3611.00 c CG auxiliary variables introduced 0
3600.10/3611.00 c CG solutions found 0
3600.10/3611.00 c CG cores constructed 0
3600.10/3611.00 c CG core cardinality constraints returned 0
3600.10/3611.00 c CG unit cores 0
3600.10/3611.00 c CG single cores 0
3600.10/3611.00 c CG blocks removed during cardinality reduction 0
3600.10/3611.00 c CG first core best 0
3600.10/3611.00 c CG decision core best 0
3600.10/3611.00 c CG core reduction tie 0
3600.10/3611.00 c CG core degree average 0.00
3600.10/3611.00 c CG core slack average 0.00
3600.10/3611.00 c CG core upper bound improvements 0
3600.10/3611.00 c STR number of successful calls 0
3600.10/3611.00 c STR number of unsuccessful calls 0
3600.10/3611.00 c STR number of inconclusive calls 0
3600.10/3611.00 c STR number of successful attempts 0
3600.10/3611.00 c STR number of unsuccessful attempts 0
3600.10/3611.00 c STR number of inconclusive attempts 0
3600.10/3611.00 c STR average degree increase per successful call inf
3600.10/3611.00 c STR average degree increase per successful attempt inf
3600.10/3611.00 c STR total number of conflicts for successful attempts 0
3600.10/3611.00 c STR total number of conflicts for unsuccessful attempts 0
3600.10/3611.00 c STR total number of conflicts for inconclusive attempts 0
3600.10/3611.00 c STR average number of conflicts per successful attempt inf
3600.10/3611.00 c STR average number of conflicts per unsuccessful attempt inf
3600.10/3611.00 c STR average number of conflicts per inconclusive attempt inf
3600.10/3611.00 c AVG.sumWPerc 90.83
3600.10/3611.00 c bigint constraints 0
3600.10/3611.00 s UNKNOWN
3600.10/3611.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62479 MiB free)
memory of node 1: 64465 MiB (63871 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502508-1751433211/watcher-4502508-1751433211 -o /tmp/evaluation-result-4502508-1751433211/solver-4502508-1751433211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751433211-62782 --watchdog 3760 run-opt.sh HOME/instance-4502508-1751433211.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=62841, runsolver pid=62834
[startup+0.100056 s]*
/proc/loadavg: 0.61 2.11 2.70 5/268 62844
/proc/meminfo: memFree=129359140/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=59928 memory=14416 CPUtime=0.08 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 1884 0 0 0 6 2 0 0 20 0 1 0 58998568 61366272 3604 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 14982 3604 1888 1147 0 2409 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64120 KiB
Current children cumulated memory: 17360 KiB
[startup+0.205054 s]*
/proc/loadavg: 0.61 2.11 2.70 5/268 62844
/proc/meminfo: memFree=129321920/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=62540 memory=18512 CPUtime=0.18 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 2887 0 0 0 13 5 0 0 20 0 1 0 58998568 64040960 4628 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 15635 4628 1888 1147 0 3062 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 66732 KiB
Current children cumulated memory: 21456 KiB
[startup+0.305216 s]*
/proc/loadavg: 0.61 2.11 2.70 5/268 62844
/proc/meminfo: memFree=129266476/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=102980 memory=49964 CPUtime=0.29 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 7530 0 0 0 21 8 0 0 20 0 1 0 58998568 105451520 12491 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 25745 12491 2208 1147 0 13172 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 107172 KiB
Current children cumulated memory: 52908 KiB
[startup+0.700195 s]
/proc/loadavg: 0.61 2.11 2.70 5/268 62844
/proc/meminfo: memFree=129153508/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=209624 memory=153284 CPUtime=0.67 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 26096 0 0 0 47 20 0 0 20 0 1 0 58998568 214654976 38321 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 52406 38321 2304 1147 0 39833 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 213816 KiB
Current children cumulated memory: 156228 KiB
[startup+1.50019 s]
/proc/loadavg: 0.61 2.11 2.70 5/268 62844
/proc/meminfo: memFree=129106256/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=209624 memory=153412 CPUtime=1.47 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 26097 0 0 0 119 28 0 0 20 0 1 0 58998568 214654976 38353 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 52406 38353 2304 1147 0 39833 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 213816 KiB
Current children cumulated memory: 156356 KiB
[startup+3.10562 s]
/proc/loadavg: 0.88 2.14 2.71 5/268 62844
/proc/meminfo: memFree=128945808/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=209624 memory=153540 CPUtime=3.07 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 26159 0 0 0 271 36 0 0 20 0 1 0 58998568 214654976 38385 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 52406 38385 2304 1147 0 39833 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 213816 KiB
Current children cumulated memory: 156484 KiB
[startup+6.30019 s]
/proc/loadavg: 0.88 2.14 2.71 5/268 62844
/proc/meminfo: memFree=128586872/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=248984 memory=192552 CPUtime=6.26 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 28712 0 0 0 582 44 0 0 20 0 1 0 58998568 254959616 48138 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 62246 48138 2336 1147 0 49673 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 253176 KiB
Current children cumulated memory: 195496 KiB
[startup+12.7002 s]
/proc/loadavg: 1.13 2.17 2.72 5/268 62844
/proc/meminfo: memFree=128079260/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=361168 memory=280748 CPUtime=12.63 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 44633 0 0 0 1211 52 0 0 20 0 1 0 58998568 369836032 70187 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 90292 70187 2336 1147 0 77719 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 365360 KiB
Current children cumulated memory: 283692 KiB
[startup+25.5002 s]
/proc/loadavg: 1.77 2.26 2.74 5/269 62845
/proc/meminfo: memFree=127386840/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=520412 memory=391816 CPUtime=25.4 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 66280 0 0 0 2476 64 0 0 20 0 1 0 58998568 532901888 97954 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 130103 97954 2336 1147 0 117530 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 524604 KiB
Current children cumulated memory: 394760 KiB
[startup+51.1057 s]
/proc/loadavg: 2.60 2.42 2.78 5/270 62847
/proc/meminfo: memFree=126624852/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=542956 memory=446192 CPUtime=50.93 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 74254 0 0 0 5015 78 0 0 20 0 1 0 58998568 555986944 111548 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 135739 111548 2336 1147 0 123166 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 547148 KiB
Current children cumulated memory: 449136 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 2.68 2.85 5/271 62854
/proc/meminfo: memFree=125949756/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=595980 memory=503144 CPUtime=101.98 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 84912 0 0 0 10093 105 0 0 20 0 1 0 58998568 610283520 125786 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 148995 125786 2336 1147 0 136422 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 600172 KiB
Current children cumulated memory: 506088 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.94 2.93 5/271 62856
/proc/meminfo: memFree=125383532/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=597152 memory=509212 CPUtime=161.81 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 85431 0 0 0 16047 134 0 0 20 0 1 0 58998568 611483648 127303 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 149288 127303 2336 1147 0 136715 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 601344 KiB
Current children cumulated memory: 512156 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 3.15 3.00 5/272 62859
/proc/meminfo: memFree=124492524/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=737692 memory=579988 CPUtime=221.62 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 96987 0 0 0 22012 150 0 0 20 0 1 0 58998568 755396608 144997 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 184423 144997 2336 1147 0 171850 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
/proc/62844/statm: 453441 383607 2336 1147 0 440868 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 1817956 KiB
Current children cumulated memory: 1537372 KiB
[startup+3102.3 s]
/proc/loadavg: 4.39 4.23 4.11 5/267 63013
/proc/meminfo: memFree=116596868/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1813764 memory=1538396 CPUtime=3092.92 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 268696 0 0 0 308437 855 0 0 20 0 1 0 58998568 1857294336 384599 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 453441 384599 2336 1147 0 440868 0
Current children cumulated CPU time: 3092.92 s
Current children cumulated vsize: 1817956 KiB
Current children cumulated memory: 1541340 KiB
[startup+3162.3 s]
/proc/loadavg: 4.61 4.33 4.15 5/267 63015
/proc/meminfo: memFree=116334960/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1814280 memory=1539292 CPUtime=3152.75 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 268910 0 0 0 314406 869 0 0 20 0 1 0 58998568 1857822720 384823 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 453570 384823 2336 1147 0 440997 0
Current children cumulated CPU time: 3152.75 s
Current children cumulated vsize: 1818472 KiB
Current children cumulated memory: 1542236 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.28 4.14 5/267 63016
/proc/meminfo: memFree=116330456/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1814280 memory=1539292 CPUtime=3212.56 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 268923 0 0 0 320377 879 0 0 20 0 1 0 58998568 1857822720 384823 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 453570 384823 2336 1147 0 440997 0
Current children cumulated CPU time: 3212.56 s
Current children cumulated vsize: 1818472 KiB
Current children cumulated memory: 1542236 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.24 4.14 5/267 63018
/proc/meminfo: memFree=116334020/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1815308 memory=1540572 CPUtime=3272.38 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 269297 0 0 0 326345 893 0 0 20 0 1 0 58998568 1858875392 385143 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 453827 385143 2336 1147 0 441254 0
Current children cumulated CPU time: 3272.38 s
Current children cumulated vsize: 1819500 KiB
Current children cumulated memory: 1543516 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.21 4.13 5/268 63021
/proc/meminfo: memFree=116321768/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1815308 memory=1540572 CPUtime=3332.2 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 269334 0 0 0 332316 904 0 0 20 0 1 0 58998568 1858875392 385143 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 453827 385143 2336 1147 0 441254 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 1819500 KiB
Current children cumulated memory: 1543516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.19 4.12 5/269 63027
/proc/meminfo: memFree=116192020/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1820948 memory=1551324 CPUtime=3392.02 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 270498 0 0 0 338288 914 0 0 20 0 1 0 58998568 1864650752 387831 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 455237 387831 2336 1147 0 442664 0
Current children cumulated CPU time: 3392.02 s
Current children cumulated vsize: 1825140 KiB
Current children cumulated memory: 1554268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.20 4.13 5/269 63029
/proc/meminfo: memFree=116188052/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1820948 memory=1551324 CPUtime=3451.84 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 270498 0 0 0 344259 925 0 0 20 0 1 0 58998568 1864650752 387831 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 455237 387831 2336 1147 0 442664 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 1825140 KiB
Current children cumulated memory: 1554268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.16 4.12 5/269 63031
/proc/meminfo: memFree=116137912/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1838032 memory=1588152 CPUtime=3511.66 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 274590 0 0 0 350231 935 0 0 20 0 1 0 58998568 1882144768 397038 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 459508 397038 2336 1147 0 446935 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 1842224 KiB
Current children cumulated memory: 1591096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/269 63033
/proc/meminfo: memFree=116059796/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1838032 memory=1592120 CPUtime=3571.47 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 275684 0 0 0 356206 941 0 0 20 0 1 0 58998568 1882144768 398030 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 459508 398030 2336 1147 0 446935 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 1842224 KiB
Current children cumulated memory: 1595064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.08 4.14 4.11 2/256 63112
/proc/meminfo: memFree=127672460/131249996 swapFree=33006296/33010684
[pid=62841] ppid=62834 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62841/stat : 62841 (run-opt.sh) S 62834 62841 62332 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 58998567 4292608 736 18446744073709551615 94520963006464 94520963900997 140722428435824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520964140048 94520964187792 94520968257536 140722428442989 140722428443112 140722428443112 140722428448714 0
/proc/62841/statm: 1048 736 672 219 0 110 0
[pid=62844] ppid=62841 vsize=1939412 memory=1693156 CPUtime=3600.1 cores=4,6
/proc/62844/stat : 62844 (roundingsat) R 62841 62841 62332 0 -1 4194304 294331 0 0 0 359057 953 0 0 20 0 1 0 58998568 1985957888 423289 18446744073709551615 4227072 8923433 140720547548784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28778496 140720547551650 140720547551784 140720547551784 140720547557354 0
/proc/62844/statm: 484853 423289 2336 1147 0 472280 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1943604 KiB
Current children cumulated memory: 1696100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 62841 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000629 s, system=0.001466 s
[startup+3611.08 s]
# the end of solver process 62844 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3590.59 s, system=9.58996 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.08
CPU time (s): 3600.18
CPU user time (s): 3590.59
CPU system time (s): 9.58996
CPU usage (%): 99.6982
Max. virtual memory (cumulated for all children) (KiB): 1943604
Max. memory (cumulated for all children) (KiB): 1696100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.59
system time used= 9.58996
maximum resident set size= 1693540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157
involuntary context switches= 3811
# summary of solver processes directly reported to runsolver:
# pid: 62841,62844
# total CPU time (s): 3600.18
# total CPU user time (s): 3590.59
# total CPU system time (s): 9.58996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39579 second user time and 18.1801 second system time
The end
Begin job on nodeC015 at 2025-07-02 07:13:31
IDJOB=4502508
IDBENCH=155347
IDSOLVER=3350
FILE ID=nodeC015/4502508-1751433211
RUNJOBID= nodeC015-1751433211-62782
SLURM_JOB_ID= 9598367
Free space on /tmp= 432456 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z9-s14.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502508-1751433211/watcher-4502508-1751433211 -o /tmp/evaluation-result-4502508-1751433211/solver-4502508-1751433211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751433211-62782 --watchdog 3760 run-opt.sh HOME/instance-4502508-1751433211.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 72ec871846abb3454e8801b7da208130
RANDOM SEED=2058429471
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.511
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2164.227
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1400.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.176
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1529.355
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.102
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1686.741
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129395992 kB
MemAvailable: 129755856 kB
Buffers: 1508 kB
Cached: 1144604 kB
SwapCached: 3880 kB
Active: 319972 kB
Inactive: 906840 kB
Active(anon): 45988 kB
Inactive(anon): 48864 kB
Active(file): 273984 kB
Inactive(file): 857976 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35316 kB
Writeback: 0 kB
AnonPages: 79892 kB
Mapped: 100532 kB
Shmem: 14152 kB
KReclaimable: 134284 kB
Slab: 224268 kB
SReclaimable: 134284 kB
SUnreclaim: 89984 kB
KernelStack: 4036 kB
PageTables: 2556 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 344452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432424 MiB
End job on nodeC015 at 2025-07-02 08:13:42