0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.14 c #variables 7905 #constraints 32177
0.08/0.14 c objective is ce64
0.08/0.15 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.15 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.08/0.15 c GLOBAL bounds - >= 0 @ 0.092907
0.08/0.15 c GLOBAL bounds - >= 0 @ 0.095927
0.08/0.15 c GLOBAL bounds - >= 7136715 @ 0.096039
0.19/0.30 c GLOBAL bounds - >= 7136715 @ 0.23338
0.28/0.31 c GLOBAL bounds - >= 7136715 @ 0.235454
0.28/0.31 c GLOBAL bounds - >= 7136715 @ 0.235656
0.28/0.32 c GLOBAL bounds - >= 7136715 @ 0.238572
0.28/0.32 c GLOBAL bounds - >= 7136715 @ 0.238768
0.28/0.32 c GLOBAL bounds - >= 7136715 @ 0.24048
0.28/0.32 c GLOBAL bounds - >= 7136715 @ 0.240714
0.28/0.33 c GLOBAL bounds - >= 7136715 @ 0.244685
0.28/0.33 c GLOBAL bounds - >= 7136715 @ 0.24493
0.28/0.34 c GLOBAL bounds - >= 7136715 @ 0.245678
0.28/0.34 c GLOBAL bounds - >= 7136715 @ 0.246107
0.28/0.35 c GLOBAL bounds - >= 7136715 @ 0.249195
0.28/0.35 c GLOBAL bounds - >= 7136715 @ 0.249197
0.28/0.35 c GLOBAL bounds - >= 7136715 @ 0.251561
0.28/0.35 c GLOBAL bounds - >= 7136715 @ 0.252041
0.28/0.36 c GLOBAL bounds - >= 7136715 @ 0.257021
0.28/0.36 c GLOBAL bounds - >= 7136715 @ 0.257186
0.28/0.37 c GLOBAL bounds - >= 7136715 @ 0.257511
0.28/0.37 c GLOBAL bounds - >= 7136715 @ 0.258271
0.28/0.38 c GLOBAL bounds - >= 7136715 @ 0.261094
0.28/0.38 c GLOBAL bounds - >= 7136715 @ 0.263552
0.28/0.39 c GLOBAL bounds - >= 7136715 @ 0.26618
0.28/0.40 c GLOBAL bounds - >= 7136715 @ 0.270526
0.38/0.40 c GLOBAL bounds - >= 7136715 @ 0.274519
0.38/0.40 c GLOBAL bounds - >= 13509663381 @ 0.274597
0.38/0.41 c GLOBAL bounds - >= 13509663381 @ 0.275847
0.38/0.41 c GLOBAL bounds - >= 13509663381 @ 0.276196
0.38/0.41 c GLOBAL bounds - >= 13509663381 @ 0.277901
0.38/0.41 c GLOBAL bounds - >= 13509663381 @ 0.278778
0.38/0.42 c GLOBAL bounds - >= 13509663381 @ 0.279222
0.38/0.42 c GLOBAL bounds - >= 13509663381 @ 0.283168
0.38/0.42 c GLOBAL bounds - >= 13509663381 @ 0.283168
0.38/0.43 c GLOBAL bounds - >= 13509663381 @ 0.284173
0.38/0.43 c GLOBAL bounds - >= 13509663381 @ 0.284175
0.38/0.44 c GLOBAL bounds - >= 13509663381 @ 0.288268
0.38/0.44 c GLOBAL bounds - >= 13509663381 @ 0.288696
0.38/0.44 c GLOBAL bounds - >= 13509663381 @ 0.291578
0.38/0.45 c GLOBAL bounds - >= 13509663381 @ 0.292028
0.38/0.45 c GLOBAL bounds - >= 13509663381 @ 0.29479
0.38/0.45 c GLOBAL bounds - >= 13509663381 @ 0.29522
0.38/0.46 c GLOBAL bounds - >= 13509663381 @ 0.297163
0.38/0.46 c GLOBAL bounds - >= 13509663381 @ 0.29752
0.38/0.47 c GLOBAL bounds - >= 13509663381 @ 0.303331
0.38/0.47 c GLOBAL bounds - >= 13509663381 @ 0.303799
0.38/0.47 c GLOBAL bounds - >= 13509663381 @ 0.306149
0.38/0.47 c GLOBAL bounds - >= 13509663381 @ 0.306149
0.38/0.48 c GLOBAL bounds - >= 13509663381 @ 0.30815
0.38/0.49 c GLOBAL bounds - >= 13509663381 @ 0.311361
0.38/0.49 c GLOBAL bounds - >= 13545346593 @ 0.31143
0.38/0.49 c GLOBAL bounds - >= 13545346593 @ 0.314917
0.38/0.50 c GLOBAL bounds - >= 13545346593 @ 0.315141
0.38/0.50 c GLOBAL bounds - >= 13545346593 @ 0.315356
0.48/0.50 c GLOBAL bounds - >= 13545346593 @ 0.317495
0.48/0.50 c GLOBAL bounds - >= 13545346593 @ 0.317847
0.48/0.51 c GLOBAL bounds - >= 13545346593 @ 0.319586
0.48/0.51 c GLOBAL bounds - >= 13545346593 @ 0.320045
0.48/0.52 c GLOBAL bounds - >= 13545346593 @ 0.321142
0.48/0.52 c GLOBAL bounds - >= 13545346593 @ 0.321362
0.48/0.53 c GLOBAL bounds - >= 13545346593 @ 0.322889
0.48/0.53 c GLOBAL bounds - >= 13545346593 @ 0.322967
0.48/0.53 c GLOBAL bounds - >= 13545346593 @ 0.324147
0.48/0.53 c GLOBAL bounds - >= 13545346593 @ 0.324206
0.48/0.54 c GLOBAL bounds - >= 13545346593 @ 0.326892
0.48/0.54 c GLOBAL bounds - >= 13545346593 @ 0.327146
0.48/0.55 c GLOBAL bounds - >= 13545346593 @ 0.330142
0.48/0.55 c GLOBAL bounds - >= 13545346593 @ 0.330675
0.48/0.56 c GLOBAL bounds - >= 13545346593 @ 0.332461
0.48/0.56 c GLOBAL bounds - >= 13545346593 @ 0.332992
0.48/0.56 c GLOBAL bounds - >= 13545346593 @ 0.334143
0.48/0.56 c GLOBAL bounds - >= 13581029803 @ 0.334143
0.48/0.57 c GLOBAL bounds - >= 13581029803 @ 0.337824
0.48/0.57 c GLOBAL bounds - >= 13581029803 @ 0.343121
0.48/0.58 c GLOBAL bounds - >= 13581029803 @ 0.343122
0.48/0.58 c GLOBAL bounds - >= 13581029803 @ 0.347263
0.48/0.58 c GLOBAL bounds - >= 13581029803 @ 0.347884
0.48/0.59 c GLOBAL bounds - >= 13581029803 @ 0.348116
0.48/0.59 c GLOBAL bounds - >= 13581029803 @ 0.348117
0.48/0.60 c GLOBAL bounds - >= 13581029803 @ 0.3533
0.48/0.60 c GLOBAL bounds - >= 13581029803 @ 0.353915
0.57/0.61 c GLOBAL bounds - >= 13581029803 @ 0.357099
0.57/0.61 c GLOBAL bounds - >= 13581029803 @ 0.3571
0.57/0.61 c GLOBAL bounds - >= 13581029803 @ 0.357465
0.57/0.61 c GLOBAL bounds - >= 13581029803 @ 0.358071
0.57/0.62 c GLOBAL bounds - >= 13581029803 @ 0.360102
0.57/0.62 c GLOBAL bounds - >= 13581029803 @ 0.360421
0.57/0.63 c GLOBAL bounds - >= 13581029803 @ 0.36346
0.57/0.63 c GLOBAL bounds - >= 13581029803 @ 0.364196
0.57/0.64 c GLOBAL bounds - >= 13581029803 @ 0.365124
0.57/0.64 c GLOBAL bounds - >= 13581029803 @ 0.366096
0.57/0.64 c GLOBAL bounds - >= 13581029803 @ 0.368096
0.57/0.65 c GLOBAL bounds - >= 13613144693 @ 0.368096
0.57/0.65 c GLOBAL bounds - >= 13613144693 @ 0.372326
0.57/0.66 c GLOBAL bounds - >= 13613144693 @ 0.375844
0.57/0.66 c GLOBAL bounds - >= 13613144693 @ 0.376894
0.57/0.67 c GLOBAL bounds - >= 13613144693 @ 0.378078
0.57/0.67 c GLOBAL bounds - >= 13613144693 @ 0.378396
0.57/0.67 c GLOBAL bounds - >= 13613144693 @ 0.38031
0.57/0.68 c GLOBAL bounds - >= 13613144693 @ 0.381074
0.57/0.68 c GLOBAL bounds - >= 13613144693 @ 0.384071
0.57/0.68 c GLOBAL bounds - >= 13613144693 @ 0.384336
0.57/0.69 c GLOBAL bounds - >= 13613144693 @ 0.386448
0.57/0.69 c GLOBAL bounds - >= 13613144693 @ 0.387069
0.67/0.70 c GLOBAL bounds - >= 13613144693 @ 0.389067
0.67/0.70 c GLOBAL bounds - >= 13613144693 @ 0.390065
0.67/0.71 c GLOBAL bounds - >= 13613144693 @ 0.39244
0.67/0.71 c GLOBAL bounds - >= 13613144693 @ 0.393061
0.67/0.72 c GLOBAL bounds - >= 13613144693 @ 0.395641
0.67/0.72 c GLOBAL bounds - >= 13613144693 @ 0.397003
0.67/0.72 c GLOBAL bounds - >= 13613144693 @ 0.398909
0.67/0.73 c GLOBAL bounds - >= 13613144693 @ 0.399271
0.67/0.73 c GLOBAL bounds - >= 13613144693 @ 0.400418
0.67/0.74 c GLOBAL bounds - >= 13613144693 @ 0.403277
0.67/0.74 c GLOBAL bounds - >= 13616713022 @ 0.407178
0.67/0.75 c GLOBAL bounds - >= 13616713022 @ 0.410259
0.67/0.75 c GLOBAL bounds - >= 13616713022 @ 0.413021
0.67/0.75 c GLOBAL bounds - >= 13616713022 @ 0.414112
0.67/0.76 c GLOBAL bounds - >= 13616713022 @ 0.420056
0.67/0.76 c GLOBAL bounds - >= 13616713022 @ 0.421003
0.67/0.77 c GLOBAL bounds - >= 13616713022 @ 0.42436
0.67/0.77 c GLOBAL bounds - >= 13616713022 @ 0.424995
0.67/0.78 c GLOBAL bounds - >= 13616713022 @ 0.426993
0.67/0.78 c GLOBAL bounds - >= 13616713022 @ 0.426993
0.67/0.79 c GLOBAL bounds - >= 13616713022 @ 0.431875
0.67/0.79 c GLOBAL bounds - >= 13616713022 @ 0.432551
0.67/0.79 c GLOBAL bounds - >= 13616713022 @ 0.435452
0.67/0.80 c GLOBAL bounds - >= 13616713022 @ 0.436121
0.77/0.80 c GLOBAL bounds - >= 13616713022 @ 0.439791
0.77/0.80 c GLOBAL bounds - >= 13616713022 @ 0.440506
0.77/0.81 c GLOBAL bounds - >= 13616713022 @ 0.444418
0.77/0.81 c GLOBAL bounds - >= 13616713022 @ 0.44495
0.77/0.82 c GLOBAL bounds - >= 13616713022 @ 0.446975
0.77/0.82 c GLOBAL bounds - >= 13616713022 @ 0.448643
0.77/0.83 c GLOBAL bounds - >= 13616713022 @ 0.448947
0.77/0.83 c GLOBAL bounds - >= 13616713022 @ 0.451942
0.77/0.84 c GLOBAL bounds - >= 13616713031 @ 0.455794
0.77/0.84 c GLOBAL bounds - >= 13616713031 @ 0.459189
0.77/0.84 c GLOBAL bounds - >= 13616713031 @ 0.460804
0.77/0.85 c GLOBAL bounds - >= 13616713031 @ 0.467711
0.77/0.85 c GLOBAL bounds - >= 13616713031 @ 0.467903
0.77/0.86 c GLOBAL bounds - >= 13616713031 @ 0.470348
0.77/0.86 c GLOBAL bounds - >= 13616713031 @ 0.471068
0.77/0.87 c GLOBAL bounds - >= 13616713031 @ 0.47227
0.77/0.87 c GLOBAL bounds - >= 13616713031 @ 0.472899
0.77/0.88 c GLOBAL bounds - >= 13616713031 @ 0.474609
0.77/0.88 c GLOBAL bounds - >= 13616713031 @ 0.474897
0.77/0.89 c GLOBAL bounds - >= 13616713031 @ 0.477233
0.77/0.89 c GLOBAL bounds - >= 13616713031 @ 0.478939
0.77/0.89 c GLOBAL bounds - >= 13616713031 @ 0.483845
0.87/0.90 c GLOBAL bounds - >= 13616713031 @ 0.484551
0.87/0.90 c GLOBAL bounds - >= 13616713031 @ 0.487873
0.87/0.91 c GLOBAL bounds - >= 13616713031 @ 0.487874
0.87/0.91 c GLOBAL bounds - >= 13616713031 @ 0.488875
0.87/0.91 c GLOBAL bounds - >= 13616713031 @ 0.488876
0.87/0.92 c GLOBAL bounds - >= 13616713031 @ 0.489876
0.87/0.92 c GLOBAL bounds - >= 13616713031 @ 0.490883
0.87/0.93 c GLOBAL bounds - >= 13616713031 @ 0.494866
0.87/0.93 c GLOBAL bounds - >= 13616713031 @ 0.497861
0.87/0.94 c GLOBAL bounds - >= 13616713031 @ 0.499058
0.87/0.94 c GLOBAL bounds - >= 13616713031 @ 0.500854
0.87/0.95 c GLOBAL bounds - >= 13616713031 @ 0.501419
0.87/0.95 c GLOBAL bounds - >= 13616713031 @ 0.505197
0.87/0.96 c GLOBAL bounds - >= 13616713037 @ 0.509964
0.87/0.96 c GLOBAL bounds - >= 13616713037 @ 0.512826
0.87/0.97 c GLOBAL bounds - >= 13616713037 @ 0.513014
0.87/0.97 c GLOBAL bounds - >= 13616713037 @ 0.514187
0.87/0.97 c GLOBAL bounds - >= 13616713037 @ 0.515825
0.87/0.97 c GLOBAL bounds - >= 13616713037 @ 0.517448
0.87/0.98 c GLOBAL bounds - >= 13616713037 @ 0.518822
0.87/0.98 c GLOBAL bounds - >= 13616713037 @ 0.519708
0.87/0.99 c GLOBAL bounds - >= 13616713037 @ 0.52082
0.87/0.99 c GLOBAL bounds - >= 13616713037 @ 0.520956
0.87/1.00 c GLOBAL bounds - >= 13616713037 @ 0.524813
0.87/1.00 c GLOBAL bounds - >= 13616713037 @ 0.524813
0.97/1.01 c GLOBAL bounds - >= 13616713037 @ 0.527316
0.97/1.01 c GLOBAL bounds - >= 13616713037 @ 0.527789
0.97/1.02 c GLOBAL bounds - >= 13616713037 @ 0.531156
0.97/1.02 c GLOBAL bounds - >= 13616713037 @ 0.531783
0.97/1.02 c GLOBAL bounds - >= 13616713037 @ 0.536626
0.97/1.03 c GLOBAL bounds - >= 13616713037 @ 0.53777
0.97/1.03 c GLOBAL bounds - >= 13616713037 @ 0.539769
0.97/1.03 c GLOBAL bounds - >= 13616713037 @ 0.540767
0.97/1.04 c GLOBAL bounds - >= 13616713037 @ 0.544134
0.97/1.05 c GLOBAL bounds - >= 13616713037 @ 0.54576
0.97/1.06 c GLOBAL bounds - >= 13616713046 @ 0.553962
0.97/1.06 c GLOBAL bounds - >= 13616713046 @ 0.557728
0.97/1.07 c GLOBAL bounds - >= 13616713046 @ 0.560075
0.97/1.07 c GLOBAL bounds - >= 13616713046 @ 0.561771
0.97/1.08 c GLOBAL bounds - >= 13616713046 @ 0.565292
0.97/1.08 c GLOBAL bounds - >= 13616713046 @ 0.566769
0.97/1.09 c GLOBAL bounds - >= 13616713046 @ 0.571838
0.97/1.09 c GLOBAL bounds - >= 13616713046 @ 0.572713
0.97/1.09 c GLOBAL bounds - >= 13616713046 @ 0.574694
0.97/1.10 c GLOBAL bounds - >= 13616713046 @ 0.576433
1.08/1.10 c GLOBAL bounds - >= 13616713046 @ 0.58068
1.08/1.10 c GLOBAL bounds - >= 13616713046 @ 0.580681
1.08/1.11 c GLOBAL bounds - >= 13616713046 @ 0.583188
1.08/1.11 c GLOBAL bounds - >= 13616713046 @ 0.584674
1.08/1.12 c GLOBAL bounds - >= 13616713046 @ 0.587044
1.08/1.12 c GLOBAL bounds - >= 13616713046 @ 0.587669
1.08/1.13 c GLOBAL bounds - >= 13616713046 @ 0.58951
1.08/1.13 c GLOBAL bounds - >= 13616713046 @ 0.589668
1.08/1.14 c GLOBAL bounds - >= 13616713046 @ 0.592663
1.08/1.14 c GLOBAL bounds - >= 13616713046 @ 0.592663
1.08/1.15 c GLOBAL bounds - >= 13616713046 @ 0.593038
1.08/1.15 c GLOBAL bounds - >= 13616713046 @ 0.595659
1.08/1.17 c GLOBAL bounds - >= 13616713055 @ 0.610872
1.08/1.17 c GLOBAL bounds - >= 13616713055 @ 0.616115
1.08/1.18 c GLOBAL bounds - >= 13616713055 @ 0.616602
1.08/1.18 c GLOBAL bounds - >= 13616713055 @ 0.619112
1.08/1.18 c GLOBAL bounds - >= 13616713055 @ 0.619597
1.08/1.19 c GLOBAL bounds - >= 13616713055 @ 0.623958
1.08/1.19 c GLOBAL bounds - >= 13616713055 @ 0.624586
1.17/1.20 c GLOBAL bounds - >= 13616713055 @ 0.626584
1.17/1.20 c GLOBAL bounds - >= 13616713055 @ 0.6283
1.17/1.21 c GLOBAL bounds - >= 13616713055 @ 0.62958
1.17/1.21 c GLOBAL bounds - >= 13616713055 @ 0.630071
1.17/1.22 c GLOBAL bounds - >= 13616713055 @ 0.633098
1.17/1.22 c GLOBAL bounds - >= 13616713055 @ 0.634531
1.17/1.23 c GLOBAL bounds - >= 13616713055 @ 0.63557
1.17/1.23 c GLOBAL bounds - >= 13616713055 @ 0.63557
1.17/1.24 c GLOBAL bounds - >= 13616713055 @ 0.638566
1.17/1.24 c GLOBAL bounds - >= 13616713055 @ 0.639564
1.17/1.24 c GLOBAL bounds - >= 13616713055 @ 0.641562
1.17/1.25 c GLOBAL bounds - >= 13616713055 @ 0.641881
1.17/1.25 c GLOBAL bounds - >= 13616713055 @ 0.646864
1.17/1.25 c GLOBAL bounds - >= 13616713055 @ 0.64866
1.17/1.26 c GLOBAL bounds - >= 13616713055 @ 0.650925
1.17/1.27 c GLOBAL bounds - >= 13616713055 @ 0.65254
1.17/1.27 c GLOBAL bounds - >= 13616713055 @ 0.653551
1.17/1.27 c GLOBAL bounds - >= 13616713055 @ 0.655536
1.17/1.29 c GLOBAL bounds - >= 13616713063 @ 0.666482
1.17/1.29 c GLOBAL bounds - >= 13616713063 @ 0.668504
1.27/1.30 c GLOBAL bounds - >= 13616713063 @ 0.671499
1.27/1.30 c GLOBAL bounds - >= 13616713063 @ 0.671646
1.27/1.31 c GLOBAL bounds - >= 13616713063 @ 0.674494
1.27/1.31 c GLOBAL bounds - >= 13616713063 @ 0.674495
1.27/1.32 c GLOBAL bounds - >= 13616713063 @ 0.675657
1.27/1.32 c GLOBAL bounds - >= 13616713063 @ 0.676492
1.27/1.32 c GLOBAL bounds - >= 13616713063 @ 0.67849
1.27/1.33 c GLOBAL bounds - >= 13616713063 @ 0.680226
1.27/1.33 c GLOBAL bounds - >= 13616713063 @ 0.683204
1.27/1.33 c GLOBAL bounds - >= 13616713063 @ 0.684478
1.27/1.34 c GLOBAL bounds - >= 13616713063 @ 0.687343
1.27/1.35 c GLOBAL bounds - >= 13616713063 @ 0.688472
1.27/1.35 c GLOBAL bounds - >= 13616713063 @ 0.691218
1.27/1.35 c GLOBAL bounds - >= 13616713063 @ 0.692464
1.27/1.36 c GLOBAL bounds - >= 13616713063 @ 0.695026
1.27/1.36 c GLOBAL bounds - >= 13616713063 @ 0.696457
1.27/1.37 c GLOBAL bounds - >= 13616713063 @ 0.699962
1.27/1.37 c GLOBAL bounds - >= 13616713063 @ 0.700449
1.27/1.38 c GLOBAL bounds - >= 13616713063 @ 0.702817
1.36/1.41 c GLOBAL bounds - >= 13616713073 @ 0.730507
1.36/1.41 c GLOBAL bounds - >= 13616713073 @ 0.735365
1.36/1.42 c GLOBAL bounds - >= 13616713073 @ 0.73836
1.36/1.42 c GLOBAL bounds - >= 13616713073 @ 0.739358
1.36/1.43 c GLOBAL bounds - >= 13616713073 @ 0.742353
1.36/1.43 c GLOBAL bounds - >= 13616713073 @ 0.742355
1.36/1.44 c GLOBAL bounds - >= 13616713073 @ 0.746882
1.36/1.44 c GLOBAL bounds - >= 13616713073 @ 0.747342
1.36/1.45 c GLOBAL bounds - >= 13616713073 @ 0.748733
1.36/1.45 c GLOBAL bounds - >= 13616713073 @ 0.750566
1.36/1.45 c GLOBAL bounds - >= 13616713073 @ 0.753709
1.36/1.46 c GLOBAL bounds - >= 13616713073 @ 0.754481
1.36/1.46 c GLOBAL bounds - >= 13616713073 @ 0.755704
1.36/1.47 c GLOBAL bounds - >= 13616713073 @ 0.756327
1.36/1.47 c GLOBAL bounds - >= 13616713073 @ 0.759359
1.36/1.47 c GLOBAL bounds - >= 13616713073 @ 0.760315
1.36/1.48 c GLOBAL bounds - >= 13616713073 @ 0.765204
1.36/1.48 c GLOBAL bounds - >= 13616713073 @ 0.766302
1.36/1.49 c GLOBAL bounds - >= 13616713073 @ 0.768749
1.36/1.49 c GLOBAL bounds - >= 13616713073 @ 0.770295
1.47/1.50 c GLOBAL bounds - >= 13616713073 @ 0.771678
1.47/1.51 c GLOBAL bounds - >= 13616713073 @ 0.781272
1.47/1.54 c GLOBAL bounds - >= 13616713082 @ 0.812443
1.47/1.55 c GLOBAL bounds - >= 13616713082 @ 0.818095
1.47/1.56 c GLOBAL bounds - >= 13616713082 @ 0.821165
1.47/1.56 c GLOBAL bounds - >= 13616713082 @ 0.822164
1.47/1.56 c GLOBAL bounds - >= 13616713082 @ 0.824826
1.47/1.57 c GLOBAL bounds - >= 13616713082 @ 0.82571
1.47/1.57 c GLOBAL bounds - >= 13616713082 @ 0.830764
1.47/1.58 c GLOBAL bounds - >= 13616713082 @ 0.832138
1.47/1.58 c GLOBAL bounds - >= 13616713082 @ 0.834706
1.47/1.58 c GLOBAL bounds - >= 13616713082 @ 0.83613
1.47/1.59 c GLOBAL bounds - >= 13616713082 @ 0.837684
1.47/1.59 c GLOBAL bounds - >= 13616713082 @ 0.83853
1.57/1.60 c GLOBAL bounds - >= 13616713082 @ 0.842692
1.57/1.60 c GLOBAL bounds - >= 13616713082 @ 0.844115
1.57/1.61 c GLOBAL bounds - >= 13616713082 @ 0.848966
1.57/1.61 c GLOBAL bounds - >= 13616713082 @ 0.849751
1.57/1.62 c GLOBAL bounds - >= 13616713082 @ 0.850839
1.57/1.62 c GLOBAL bounds - >= 13616713082 @ 0.851714
1.57/1.63 c GLOBAL bounds - >= 13616713082 @ 0.852833
1.57/1.63 c GLOBAL bounds - >= 13616713082 @ 0.853274
1.57/1.64 c GLOBAL bounds - >= 13616713082 @ 0.856359
1.67/1.77 c GLOBAL bounds - >= 13616713082 @ 0.982238
1.67/1.78 c GLOBAL bounds - >= 13616713082 @ 0.986769
1.67/1.78 c GLOBAL bounds - >= 13616713082 @ 0.990012
1.67/1.79 c GLOBAL bounds - >= 13616713082 @ 0.994006
1.67/1.79 c GLOBAL bounds - >= 13616713082 @ 0.995751
1.67/1.80 c GLOBAL bounds - >= 13616713082 @ 0.997747
1.76/1.80 c GLOBAL bounds - >= 13616713082 @ 1.00046
1.76/1.82 c GLOBAL bounds - >= 13616713085 @ 1.02423
1.76/1.83 c GLOBAL bounds - >= 13616713085 @ 1.02668
1.76/1.83 c GLOBAL bounds - >= 13616713085 @ 1.02685
1.76/1.83 c GLOBAL bounds - >= 13616713085 @ 1.0286
1.76/1.84 c GLOBAL bounds - >= 13616713085 @ 1.03093
1.76/1.84 c GLOBAL bounds - >= 13616713085 @ 1.03167
1.76/1.85 c GLOBAL bounds - >= 13616713085 @ 1.03479
1.76/1.85 c GLOBAL bounds - >= 13616713085 @ 1.03566
1.76/1.86 c GLOBAL bounds - >= 13616713085 @ 1.04035
1.76/1.86 c GLOBAL bounds - >= 13616713085 @ 1.04078
1.76/1.86 c GLOBAL bounds - >= 13616713085 @ 1.04464
1.76/1.87 c GLOBAL bounds - >= 13616713085 @ 1.04464
1.76/1.87 c GLOBAL bounds - >= 13616713085 @ 1.04863
1.76/1.87 c GLOBAL bounds - >= 13616713085 @ 1.04863
1.76/1.88 c GLOBAL bounds - >= 13616713085 @ 1.05071
1.76/1.88 c GLOBAL bounds - >= 13616713085 @ 1.05163
1.76/1.89 c GLOBAL bounds - >= 13616713085 @ 1.05363
1.76/1.89 c GLOBAL bounds - >= 13616713085 @ 1.05363
1.87/1.90 c GLOBAL bounds - >= 13616713085 @ 1.05554
1.87/1.90 c GLOBAL bounds - >= 13616713085 @ 1.05709
1.87/1.91 c GLOBAL bounds - >= 13616713085 @ 1.05754
1.87/1.91 c GLOBAL bounds - >= 13616713085 @ 1.05754
1.87/1.92 c GLOBAL bounds - >= 13616713085 @ 1.05858
1.87/1.92 c GLOBAL bounds - >= 13616713085 @ 1.06018
1.87/1.93 c GLOBAL bounds - >= 13616713085 @ 1.06154
1.87/2.00 c GLOBAL bounds - >= 13616713085 @ 1.12904
1.97/2.02 c GLOBAL bounds - >= 13616713093 @ 1.14822
1.97/2.03 c GLOBAL bounds - >= 13616713093 @ 1.15328
1.97/2.03 c GLOBAL bounds - >= 13616713093 @ 1.15428
1.97/2.03 c GLOBAL bounds - >= 13616713093 @ 1.15549
1.97/2.04 c GLOBAL bounds - >= 13616713093 @ 1.15756
1.97/2.04 c GLOBAL bounds - >= 13616713093 @ 1.1583
1.97/2.05 c GLOBAL bounds - >= 13616713093 @ 1.15928
1.97/2.05 c GLOBAL bounds - >= 13616713093 @ 1.16027
1.97/2.06 c GLOBAL bounds - >= 13616713093 @ 1.16377
1.97/2.06 c GLOBAL bounds - >= 13616713093 @ 1.16551
1.97/2.07 c GLOBAL bounds - >= 13616713093 @ 1.16994
1.97/2.07 c GLOBAL bounds - >= 13616713093 @ 1.17025
1.97/2.08 c GLOBAL bounds - >= 13616713093 @ 1.17424
1.97/2.08 c GLOBAL bounds - >= 13616713093 @ 1.17439
1.97/2.09 c GLOBAL bounds - >= 13616713093 @ 1.1789
1.97/2.09 c GLOBAL bounds - >= 13616713093 @ 1.17923
1.97/2.10 c GLOBAL bounds - >= 13616713093 @ 1.18023
1.97/2.10 c GLOBAL bounds - >= 13616713093 @ 1.18183
2.07/2.10 c GLOBAL bounds - >= 13616713093 @ 1.18423
2.07/2.11 c GLOBAL bounds - >= 13616713093 @ 1.18423
2.07/2.11 c GLOBAL bounds - >= 13616713093 @ 1.18645
2.17/2.20 c GLOBAL bounds - >= 13616713104 @ 1.26685
2.17/2.20 c GLOBAL bounds - >= 13616713104 @ 1.27292
2.17/2.21 c GLOBAL bounds - >= 13616713104 @ 1.27971
2.17/2.21 c GLOBAL bounds - >= 13616713104 @ 1.28148
2.17/2.22 c GLOBAL bounds - >= 13616713104 @ 1.28697
2.17/2.22 c GLOBAL bounds - >= 13616713104 @ 1.28697
2.17/2.23 c GLOBAL bounds - >= 13616713104 @ 1.28935
2.17/2.23 c GLOBAL bounds - >= 13616713104 @ 1.29096
2.17/2.24 c GLOBAL bounds - >= 13616713104 @ 1.29395
2.17/2.24 c GLOBAL bounds - >= 13616713104 @ 1.29395
2.17/2.25 c GLOBAL bounds - >= 13616713104 @ 1.29734
2.17/2.25 c GLOBAL bounds - >= 13616713104 @ 1.29813
2.17/2.26 c GLOBAL bounds - >= 13616713104 @ 1.30264
2.17/2.26 c GLOBAL bounds - >= 13616713104 @ 1.30393
2.17/2.27 c GLOBAL bounds - >= 13616713104 @ 1.30697
2.17/2.27 c GLOBAL bounds - >= 13616713104 @ 1.30892
2.17/2.28 c GLOBAL bounds - >= 13616713104 @ 1.31162
2.17/2.28 c GLOBAL bounds - >= 13616713104 @ 1.31235
2.17/2.29 c GLOBAL bounds - >= 13616713104 @ 1.31491
2.17/2.29 c GLOBAL bounds - >= 13616713104 @ 1.31491
2.26/2.30 c GLOBAL bounds - >= 13616713104 @ 1.31857
2.26/2.30 c GLOBAL bounds - >= 13616713104 @ 1.3219
2.26/2.31 c GLOBAL bounds - >= 13616713104 @ 1.32589
2.26/2.31 c GLOBAL bounds - >= 13616713104 @ 1.32789
2.26/2.35 c GLOBAL bounds - >= 13616713104 @ 1.36944
2.26/2.36 c GLOBAL bounds - >= 13616713104 @ 1.37233
2.26/2.37 c GLOBAL bounds - >= 13616713104 @ 1.37577
2.26/2.38 c GLOBAL bounds - >= 13616713104 @ 1.39074
2.37/2.40 c GLOBAL bounds - >= 13616713107 @ 1.40887
2.37/2.41 c GLOBAL bounds - >= 13616713107 @ 1.41387
2.37/2.41 c GLOBAL bounds - >= 13616713107 @ 1.4147
2.37/2.41 c GLOBAL bounds - >= 13616713107 @ 1.41661
2.37/2.42 c GLOBAL bounds - >= 13616713107 @ 1.4199
2.37/2.42 c GLOBAL bounds - >= 13616713107 @ 1.42178
2.37/2.43 c GLOBAL bounds - >= 13616713107 @ 1.42466
2.37/2.43 c GLOBAL bounds - >= 13616713107 @ 1.42491
2.37/2.44 c GLOBAL bounds - >= 13616713107 @ 1.42865
2.37/2.44 c GLOBAL bounds - >= 13616713107 @ 1.42965
2.37/2.45 c GLOBAL bounds - >= 13616713107 @ 1.43264
2.37/2.45 c GLOBAL bounds - >= 13616713107 @ 1.43308
2.37/2.46 c GLOBAL bounds - >= 13616713107 @ 1.43664
2.37/2.46 c GLOBAL bounds - >= 13616713107 @ 1.43763
2.37/2.47 c GLOBAL bounds - >= 13616713107 @ 1.44063
2.37/2.47 c GLOBAL bounds - >= 13616713107 @ 1.44063
2.37/2.48 c GLOBAL bounds - >= 13616713107 @ 1.44509
2.37/2.48 c GLOBAL bounds - >= 13616713107 @ 1.44581
2.37/2.49 c GLOBAL bounds - >= 13616713107 @ 1.44936
2.37/2.49 c GLOBAL bounds - >= 13616713107 @ 1.45061
2.37/2.49 c GLOBAL bounds - >= 13616713107 @ 1.45399
2.47/2.50 c GLOBAL bounds - >= 13616713107 @ 1.45479
2.47/2.50 c GLOBAL bounds - >= 13616713107 @ 1.45836
2.47/2.51 c GLOBAL bounds - >= 13616713107 @ 1.46059
2.47/2.51 c GLOBAL bounds - >= 13616713107 @ 1.46259
2.47/2.52 c GLOBAL bounds - >= 13616713107 @ 1.46587
2.47/2.52 c GLOBAL bounds - >= 13616713107 @ 1.46977
2.47/2.53 c GLOBAL bounds - >= 13616713107 @ 1.47193
2.47/2.53 c GLOBAL bounds - >= 13616713107 @ 1.47355
2.47/2.57 c GLOBAL bounds - >= 13616713112 @ 1.50668
2.47/2.57 c GLOBAL bounds - >= 13616713112 @ 1.50946
2.47/2.58 c GLOBAL bounds - >= 13616713112 @ 1.51269
2.47/2.58 c GLOBAL bounds - >= 13616713112 @ 1.51371
2.47/2.59 c GLOBAL bounds - >= 13616713112 @ 1.51644
2.47/2.59 c GLOBAL bounds - >= 13616713112 @ 1.51645
2.56/2.60 c GLOBAL bounds - >= 13616713112 @ 1.51645
2.56/2.60 c GLOBAL bounds - >= 13616713112 @ 1.51702
2.56/2.61 c GLOBAL bounds - >= 13616713112 @ 1.52025
2.56/2.61 c GLOBAL bounds - >= 13616713112 @ 1.52044
2.56/2.62 c GLOBAL bounds - >= 13616713112 @ 1.52244
2.56/2.62 c GLOBAL bounds - >= 13616713112 @ 1.52344
2.56/2.63 c GLOBAL bounds - >= 13616713112 @ 1.52682
2.56/2.63 c GLOBAL bounds - >= 13616713112 @ 1.52762
2.56/2.64 c GLOBAL bounds - >= 13616713112 @ 1.53027
2.56/2.64 c GLOBAL bounds - >= 13616713112 @ 1.53042
2.56/2.65 c GLOBAL bounds - >= 13616713112 @ 1.53481
2.56/2.65 c GLOBAL bounds - >= 13616713112 @ 1.53541
2.56/2.66 c GLOBAL bounds - >= 13616713112 @ 1.54031
2.56/2.66 c GLOBAL bounds - >= 13616713112 @ 1.5404
2.56/2.66 c GLOBAL bounds - >= 13616713112 @ 1.54279
2.67/2.78 c GLOBAL bounds - >= 13616713122 @ 1.65534
2.67/2.79 c GLOBAL bounds - >= 13616713122 @ 1.66202
2.67/2.79 c GLOBAL bounds - >= 13616713122 @ 1.66503
2.67/2.80 c GLOBAL bounds - >= 13616713122 @ 1.66702
2.76/2.80 c GLOBAL bounds - >= 13616713122 @ 1.66889
2.76/2.81 c GLOBAL bounds - >= 13616713122 @ 1.66907
2.76/2.81 c GLOBAL bounds - >= 13616713122 @ 1.67077
2.76/2.81 c GLOBAL bounds - >= 13616713122 @ 1.67107
2.76/2.82 c GLOBAL bounds - >= 13616713122 @ 1.67339
2.76/2.82 c GLOBAL bounds - >= 13616713122 @ 1.67406
2.76/2.83 c GLOBAL bounds - >= 13616713122 @ 1.67918
2.76/2.83 c GLOBAL bounds - >= 13616713122 @ 1.68026
2.76/2.84 c GLOBAL bounds - >= 13616713122 @ 1.68105
2.76/2.84 c GLOBAL bounds - >= 13616713122 @ 1.68305
2.76/2.85 c GLOBAL bounds - >= 13616713122 @ 1.68589
2.76/2.85 c GLOBAL bounds - >= 13616713122 @ 1.68704
2.76/2.86 c GLOBAL bounds - >= 13616713122 @ 1.69183
2.76/2.86 c GLOBAL bounds - >= 13616713122 @ 1.69275
2.76/2.87 c GLOBAL bounds - >= 13616713122 @ 1.6977
2.76/2.87 c GLOBAL bounds - >= 13616713122 @ 1.69954
2.76/2.88 c GLOBAL bounds - >= 13616713122 @ 1.70333
2.76/2.89 c GLOBAL bounds - >= 13616713122 @ 1.70646
2.76/2.89 c GLOBAL bounds - >= 13616713122 @ 1.70799
2.87/2.90 c GLOBAL bounds - >= 13616713122 @ 1.71245
2.87/2.90 c GLOBAL bounds - >= 13616713122 @ 1.71597
3.16/3.29 c #Conflicts: 1000 | #Constraints: 2404
3.16/3.29 c GLOBAL bounds - >= 13616713128 @ 2.08837
3.16/3.29 c GLOBAL bounds - >= 13616713128 @ 2.0939
3.26/3.30 c GLOBAL bounds - >= 13616713128 @ 2.09587
3.26/3.30 c GLOBAL bounds - >= 13616713128 @ 2.09601
3.26/3.31 c GLOBAL bounds - >= 13616713128 @ 2.10164
3.26/3.31 c GLOBAL bounds - >= 13616713128 @ 2.10265
3.26/3.32 c GLOBAL bounds - >= 13616713128 @ 2.10556
3.26/3.32 c GLOBAL bounds - >= 13616713128 @ 2.10599
3.26/3.33 c GLOBAL bounds - >= 13616713128 @ 2.11164
3.26/3.33 c GLOBAL bounds - >= 13616713128 @ 2.11297
3.26/3.34 c GLOBAL bounds - >= 13616713128 @ 2.11489
3.26/3.34 c GLOBAL bounds - >= 13616713128 @ 2.11597
3.26/3.35 c GLOBAL bounds - >= 13616713128 @ 2.11935
3.26/3.35 c GLOBAL bounds - >= 13616713128 @ 2.12016
3.26/3.36 c GLOBAL bounds - >= 13616713128 @ 2.12529
3.26/3.36 c GLOBAL bounds - >= 13616713128 @ 2.12634
3.26/3.37 c GLOBAL bounds - >= 13616713128 @ 2.12966
3.26/3.37 c GLOBAL bounds - >= 13616713128 @ 2.13057
3.26/3.38 c GLOBAL bounds - >= 13616713128 @ 2.13477
3.26/3.38 c GLOBAL bounds - >= 13616713128 @ 2.13579
3.26/3.39 c GLOBAL bounds - >= 13616713128 @ 2.14225
3.26/3.39 c GLOBAL bounds - >= 13616713128 @ 2.14309
3.36/3.40 c GLOBAL bounds - >= 13616713128 @ 2.14625
3.36/3.46 c GLOBAL bounds - >= 13616713128 @ 2.20452
3.36/3.47 c GLOBAL bounds - >= 13616713128 @ 2.20833
3.36/3.47 c GLOBAL bounds - >= 13616713128 @ 2.2127
3.46/3.51 c GLOBAL bounds - >= 13616713137 @ 2.25328
3.46/3.52 c GLOBAL bounds - >= 13616713137 @ 2.26065
3.46/3.52 c GLOBAL bounds - >= 13616713137 @ 2.26257
3.46/3.53 c GLOBAL bounds - >= 13616713137 @ 2.26461
3.46/3.53 c GLOBAL bounds - >= 13616713137 @ 2.26894
3.46/3.54 c GLOBAL bounds - >= 13616713137 @ 2.2698
3.46/3.54 c GLOBAL bounds - >= 13616713137 @ 2.27354
3.46/3.55 c GLOBAL bounds - >= 13616713137 @ 2.27457
3.46/3.55 c GLOBAL bounds - >= 13616713137 @ 2.27798
3.46/3.56 c GLOBAL bounds - >= 13616713137 @ 2.28008
3.46/3.57 c GLOBAL bounds - >= 13616713137 @ 2.28442
3.46/3.57 c GLOBAL bounds - >= 13616713137 @ 2.28546
3.46/3.58 c GLOBAL bounds - >= 13616713137 @ 2.28892
3.46/3.58 c GLOBAL bounds - >= 13616713137 @ 2.28986
3.46/3.59 c GLOBAL bounds - >= 13616713137 @ 2.29329
3.46/3.59 c GLOBAL bounds - >= 13616713137 @ 2.29529
3.56/3.60 c GLOBAL bounds - >= 13616713137 @ 2.29962
3.56/3.60 c GLOBAL bounds - >= 13616713137 @ 2.30075
3.56/3.61 c GLOBAL bounds - >= 13616713137 @ 2.30423
3.56/3.61 c GLOBAL bounds - >= 13616713137 @ 2.3062
3.56/3.62 c GLOBAL bounds - >= 13616713137 @ 2.30954
3.56/3.62 c GLOBAL bounds - >= 13616713137 @ 2.31164
3.56/3.63 c GLOBAL bounds - >= 13616713137 @ 2.31716
3.56/3.63 c GLOBAL bounds - >= 13616713137 @ 2.32047
3.56/3.64 c GLOBAL bounds - >= 13616713137 @ 2.32292
3.56/3.65 c GLOBAL bounds - >= 13616713137 @ 2.32743
3.56/3.65 c GLOBAL bounds - >= 13616713137 @ 2.33198
3.56/3.66 c GLOBAL bounds - >= 13616713137 @ 2.33445
3.56/3.66 c GLOBAL bounds - >= 13616713137 @ 2.33744
3.56/3.67 c GLOBAL bounds - >= 13616713137 @ 2.34231
3.66/3.74 c GLOBAL bounds - >= 13616713141 @ 2.40649
3.66/3.74 c GLOBAL bounds - >= 13616713141 @ 2.41154
3.66/3.75 c GLOBAL bounds - >= 13616713141 @ 2.41561
3.66/3.75 c GLOBAL bounds - >= 13616713141 @ 2.41625
3.66/3.76 c GLOBAL bounds - >= 13616713141 @ 2.42174
3.66/3.76 c GLOBAL bounds - >= 13616713141 @ 2.42324
3.66/3.77 c GLOBAL bounds - >= 13616713141 @ 2.42493
3.66/3.77 c GLOBAL bounds - >= 13616713141 @ 2.42692
3.66/3.78 c GLOBAL bounds - >= 13616713141 @ 2.43289
3.66/3.78 c GLOBAL bounds - >= 13616713141 @ 2.43421
3.66/3.79 c GLOBAL bounds - >= 13616713141 @ 2.43901
3.66/3.79 c GLOBAL bounds - >= 13616713141 @ 2.44107
3.76/3.80 c GLOBAL bounds - >= 13616713141 @ 2.44319
3.76/3.80 c GLOBAL bounds - >= 13616713141 @ 2.44414
3.76/3.81 c GLOBAL bounds - >= 13616713141 @ 2.44814
3.76/3.81 c GLOBAL bounds - >= 13616713141 @ 2.44921
3.76/3.82 c GLOBAL bounds - >= 13616713141 @ 2.45477
3.76/3.82 c GLOBAL bounds - >= 13616713141 @ 2.45597
3.76/3.83 c GLOBAL bounds - >= 13616713141 @ 2.45935
3.76/3.83 c GLOBAL bounds - >= 13616713141 @ 2.46048
3.76/3.84 c GLOBAL bounds - >= 13616713141 @ 2.46497
3.76/3.85 c GLOBAL bounds - >= 13616713141 @ 2.4706
3.76/3.86 c GLOBAL bounds - >= 13616713141 @ 2.47214
3.76/3.86 c GLOBAL bounds - >= 13616713141 @ 2.47613
3.76/3.89 c GLOBAL bounds - >= 13616713141 @ 2.50355
3.86/3.95 c GLOBAL bounds - >= 13616713147 @ 2.56446
3.86/3.96 c GLOBAL bounds - >= 13616713147 @ 2.57028
3.86/3.96 c GLOBAL bounds - >= 13616713147 @ 2.57069
3.86/3.97 c GLOBAL bounds - >= 13616713147 @ 2.57169
3.86/3.97 c GLOBAL bounds - >= 13616713147 @ 2.5725
3.86/3.98 c GLOBAL bounds - >= 13616713147 @ 2.57666
3.86/3.98 c GLOBAL bounds - >= 13616713147 @ 2.57768
3.86/3.99 c GLOBAL bounds - >= 13616713147 @ 2.58305
3.86/3.99 c GLOBAL bounds - >= 13616713147 @ 2.58386
3.86/4.00 c GLOBAL bounds - >= 13616713147 @ 2.59044
3.86/4.00 c GLOBAL bounds - >= 13616713147 @ 2.59063
3.97/4.01 c GLOBAL bounds - >= 13616713147 @ 2.59426
3.97/4.01 c GLOBAL bounds - >= 13616713147 @ 2.59524
3.97/4.02 c GLOBAL bounds - >= 13616713147 @ 2.599
3.97/4.02 c GLOBAL bounds - >= 13616713147 @ 2.59961
3.97/4.03 c GLOBAL bounds - >= 13616713147 @ 2.60345
3.97/4.03 c GLOBAL bounds - >= 13616713147 @ 2.6036
3.97/4.04 c GLOBAL bounds - >= 13616713147 @ 2.60804
3.97/4.04 c GLOBAL bounds - >= 13616713147 @ 2.60917
3.97/4.05 c GLOBAL bounds - >= 13616713147 @ 2.61231
3.97/4.05 c GLOBAL bounds - >= 13616713147 @ 2.61286
3.97/4.06 c GLOBAL bounds - >= 13616713147 @ 2.61845
3.97/4.06 c GLOBAL bounds - >= 13616713147 @ 2.61929
3.97/4.07 c GLOBAL bounds - >= 13616713147 @ 2.62295
3.97/4.08 c GLOBAL bounds - >= 13616713147 @ 2.62507
3.97/4.08 c GLOBAL bounds - >= 13616713147 @ 2.62774
3.97/4.09 c GLOBAL bounds - >= 13616713147 @ 2.63067
3.97/4.10 c GLOBAL bounds - >= 13616713147 @ 2.63595
4.07/4.15 c GLOBAL bounds - >= 13616713147 @ 2.69084
4.16/4.20 c GLOBAL bounds - >= 13616713155 @ 2.73633
4.16/4.21 c GLOBAL bounds - >= 13616713155 @ 2.74408
4.16/4.21 c GLOBAL bounds - >= 13616713155 @ 2.74508
4.16/4.21 c GLOBAL bounds - >= 13616713155 @ 2.74626
4.16/4.21 c GLOBAL bounds - >= 13616713155 @ 2.74626
4.16/4.22 c GLOBAL bounds - >= 13616713155 @ 2.75089
4.16/4.23 c GLOBAL bounds - >= 13616713155 @ 2.75225
4.16/4.23 c GLOBAL bounds - >= 13616713155 @ 2.75563
4.16/4.24 c GLOBAL bounds - >= 13616713155 @ 2.75745
4.16/4.24 c GLOBAL bounds - >= 13616713155 @ 2.76289
4.16/4.25 c GLOBAL bounds - >= 13616713155 @ 2.76485
4.16/4.25 c GLOBAL bounds - >= 13616713155 @ 2.76915
4.16/4.26 c GLOBAL bounds - >= 13616713155 @ 2.77045
4.16/4.26 c GLOBAL bounds - >= 13616713155 @ 2.77379
4.16/4.27 c GLOBAL bounds - >= 13616713155 @ 2.7742
4.16/4.28 c GLOBAL bounds - >= 13616713155 @ 2.77779
4.16/4.28 c GLOBAL bounds - >= 13616713155 @ 2.77819
4.16/4.29 c GLOBAL bounds - >= 13616713155 @ 2.78257
4.16/4.29 c GLOBAL bounds - >= 13616713155 @ 2.78318
4.26/4.30 c GLOBAL bounds - >= 13616713155 @ 2.78656
4.26/4.30 c GLOBAL bounds - >= 13616713155 @ 2.78754
4.26/4.31 c GLOBAL bounds - >= 13616713155 @ 2.79337
4.26/4.31 c GLOBAL bounds - >= 13616713155 @ 2.79449
4.26/4.32 c GLOBAL bounds - >= 13616713155 @ 2.80014
4.26/4.33 c GLOBAL bounds - >= 13616713155 @ 2.80492
4.46/4.50 c GLOBAL bounds - >= 13616713164 @ 2.97793
4.46/4.51 c GLOBAL bounds - >= 13616713164 @ 2.98504
4.46/4.51 c GLOBAL bounds - >= 13616713164 @ 2.98602
4.46/4.52 c GLOBAL bounds - >= 13616713164 @ 2.99186
4.46/4.52 c GLOBAL bounds - >= 13616713164 @ 2.99336
4.46/4.53 c GLOBAL bounds - >= 13616713164 @ 2.99712
4.46/4.54 c GLOBAL bounds - >= 13616713164 @ 2.99868
4.46/4.54 c GLOBAL bounds - >= 13616713164 @ 3.00612
4.46/4.55 c GLOBAL bounds - >= 13616713164 @ 3.00761
4.46/4.56 c GLOBAL bounds - >= 13616713164 @ 3.01485
4.46/4.56 c GLOBAL bounds - >= 13616713164 @ 3.01563
4.46/4.57 c GLOBAL bounds - >= 13616713164 @ 3.02358
4.46/4.57 c GLOBAL bounds - >= 13616713164 @ 3.02618
4.46/4.58 c GLOBAL bounds - >= 13616713164 @ 3.03293
4.46/4.58 c GLOBAL bounds - >= 13616713164 @ 3.03447
4.46/4.59 c GLOBAL bounds - >= 13616713164 @ 3.04017
4.56/4.60 c GLOBAL bounds - >= 13616713164 @ 3.04181
4.56/4.61 c GLOBAL bounds - >= 13616713164 @ 3.04635
4.56/4.61 c GLOBAL bounds - >= 13616713164 @ 3.04655
4.56/4.62 c GLOBAL bounds - >= 13616713164 @ 3.05299
4.56/4.62 c GLOBAL bounds - >= 13616713164 @ 3.05483
4.56/4.63 c GLOBAL bounds - >= 13616713164 @ 3.06028
4.56/4.64 c GLOBAL bounds - >= 13616713164 @ 3.06492
4.56/4.64 c GLOBAL bounds - >= 13616713164 @ 3.07384
4.56/4.65 c GLOBAL bounds - >= 13616713164 @ 3.07987
4.56/4.66 c GLOBAL bounds - >= 13616713164 @ 3.08625
4.66/4.71 c GLOBAL bounds - >= 13620281490 @ 3.13487
4.66/4.73 c GLOBAL bounds - >= 13620281490 @ 3.14919
4.66/4.73 c GLOBAL bounds - >= 13620281490 @ 3.15565
4.66/4.74 c GLOBAL bounds - >= 13620281490 @ 3.15726
4.66/4.75 c GLOBAL bounds - >= 13620281490 @ 3.16431
4.66/4.75 c GLOBAL bounds - >= 13620281490 @ 3.16697
4.66/4.76 c GLOBAL bounds - >= 13620281490 @ 3.17289
4.66/4.76 c GLOBAL bounds - >= 13620281490 @ 3.17301
4.66/4.77 c GLOBAL bounds - >= 13620281490 @ 3.1759
4.66/4.77 c GLOBAL bounds - >= 13620281490 @ 3.17756
4.66/4.78 c GLOBAL bounds - >= 13620281490 @ 3.1818
4.66/4.78 c GLOBAL bounds - >= 13620281490 @ 3.18346
4.66/4.79 c GLOBAL bounds - >= 13620281490 @ 3.1881
4.66/4.79 c GLOBAL bounds - >= 13620281490 @ 3.18919
4.76/4.80 c GLOBAL bounds - >= 13620281490 @ 3.19428
4.76/4.81 c GLOBAL bounds - >= 13620281490 @ 3.19617
4.76/4.82 c GLOBAL bounds - >= 13620281490 @ 3.20431
4.76/4.82 c GLOBAL bounds - >= 13620281490 @ 3.20615
4.76/4.83 c GLOBAL bounds - >= 13620281490 @ 3.21145
4.76/4.83 c GLOBAL bounds - >= 13620281490 @ 3.21214
4.76/4.84 c GLOBAL bounds - >= 13620281490 @ 3.21749
4.97/5.02 c GLOBAL bounds - >= 13620281500 @ 3.38921
4.97/5.03 c GLOBAL bounds - >= 13620281500 @ 3.39882
4.97/5.04 c GLOBAL bounds - >= 13620281500 @ 3.40349
4.97/5.04 c GLOBAL bounds - >= 13620281500 @ 3.40399
4.97/5.05 c GLOBAL bounds - >= 13620281500 @ 3.41027
4.97/5.05 c GLOBAL bounds - >= 13620281500 @ 3.41199
4.97/5.06 c GLOBAL bounds - >= 13620281500 @ 3.41534
4.97/5.07 c GLOBAL bounds - >= 13620281500 @ 3.41655
4.97/5.08 c GLOBAL bounds - >= 13620281500 @ 3.42295
4.97/5.08 c GLOBAL bounds - >= 13620281500 @ 3.42539
4.97/5.09 c GLOBAL bounds - >= 13620281500 @ 3.43174
4.97/5.09 c GLOBAL bounds - >= 13620281500 @ 3.43416
4.97/5.10 c GLOBAL bounds - >= 13620281500 @ 3.43761
5.06/5.10 c GLOBAL bounds - >= 13620281500 @ 3.43862
5.06/5.11 c GLOBAL bounds - >= 13620281500 @ 3.44257
5.06/5.11 c GLOBAL bounds - >= 13620281500 @ 3.444
5.06/5.12 c GLOBAL bounds - >= 13620281500 @ 3.44749
5.06/5.13 c GLOBAL bounds - >= 13620281500 @ 3.44884
5.06/5.13 c GLOBAL bounds - >= 13620281500 @ 3.45535
5.06/5.14 c GLOBAL bounds - >= 13620281500 @ 3.45588
5.06/5.15 c GLOBAL bounds - >= 13620281500 @ 3.45825
5.06/5.16 c GLOBAL bounds - >= 13620281500 @ 3.46237
5.06/5.16 c GLOBAL bounds - >= 13620281500 @ 3.46748
5.06/5.17 c GLOBAL bounds - >= 13620281500 @ 3.47352
5.06/5.18 c GLOBAL bounds - >= 13620281500 @ 3.47833
5.06/5.19 c GLOBAL bounds - >= 13620281500 @ 3.48312
5.36/5.40 c #Conflicts: 2000 | #Constraints: 3672
5.36/5.40 c INPROCESSING
5.36/5.40 c GARBAGE COLLECT
5.36/5.40 c GLOBAL bounds - >= 13620281500 @ 3.69703
5.36/5.41 c GLOBAL bounds - >= 13620281500 @ 3.70002
7.06/7.17 c #Conflicts: 3000 | #Constraints: 3484
7.06/7.17 c GLOBAL bounds - >= 13620281503 @ 5.43809
7.06/7.18 c GLOBAL bounds - >= 13620281503 @ 5.44588
7.06/7.19 c GLOBAL bounds - >= 13620281503 @ 5.45213
7.06/7.19 c GLOBAL bounds - >= 13620281503 @ 5.45283
7.15/7.20 c GLOBAL bounds - >= 13620281503 @ 5.46033
7.15/7.20 c GLOBAL bounds - >= 13620281503 @ 5.46286
7.15/7.21 c GLOBAL bounds - >= 13620281503 @ 5.46772
7.15/7.21 c GLOBAL bounds - >= 13620281503 @ 5.4678
7.15/7.22 c GLOBAL bounds - >= 13620281503 @ 5.47519
7.15/7.23 c GLOBAL bounds - >= 13620281503 @ 5.47679
7.15/7.24 c GLOBAL bounds - >= 13620281503 @ 5.48354
7.15/7.24 c GLOBAL bounds - >= 13620281503 @ 5.48496
7.15/7.25 c GLOBAL bounds - >= 13620281503 @ 5.49067
7.15/7.25 c GLOBAL bounds - >= 13620281503 @ 5.49206
7.15/7.26 c GLOBAL bounds - >= 13620281503 @ 5.49707
7.15/7.26 c GLOBAL bounds - >= 13620281503 @ 5.49774
7.15/7.27 c GLOBAL bounds - >= 13620281503 @ 5.50163
7.15/7.28 c GLOBAL bounds - >= 13620281503 @ 5.50309
7.15/7.29 c GLOBAL bounds - >= 13620281503 @ 5.50942
7.15/7.29 c GLOBAL bounds - >= 13620281503 @ 5.51198
7.25/7.30 c GLOBAL bounds - >= 13620281503 @ 5.51848
7.25/7.31 c GLOBAL bounds - >= 13620281503 @ 5.52303
7.35/7.49 c GLOBAL bounds - >= 13620281512 @ 5.69755
7.45/7.50 c GLOBAL bounds - >= 13620281512 @ 5.70826
7.45/7.51 c GLOBAL bounds - >= 13620281512 @ 5.71396
7.45/7.51 c GLOBAL bounds - >= 13620281512 @ 5.71558
7.45/7.52 c GLOBAL bounds - >= 13620281512 @ 5.72107
7.45/7.52 c GLOBAL bounds - >= 13620281512 @ 5.72124
7.45/7.54 c GLOBAL bounds - >= 13620281512 @ 5.72932
7.45/7.54 c GLOBAL bounds - >= 13620281512 @ 5.73122
7.45/7.55 c GLOBAL bounds - >= 13620281512 @ 5.73934
7.45/7.55 c GLOBAL bounds - >= 13620281512 @ 5.7409
7.45/7.56 c GLOBAL bounds - >= 13620281512 @ 5.74739
7.45/7.56 c GLOBAL bounds - >= 13620281512 @ 5.74818
7.45/7.57 c GLOBAL bounds - >= 13620281512 @ 5.75357
7.45/7.58 c GLOBAL bounds - >= 13620281512 @ 5.7552
7.45/7.59 c GLOBAL bounds - >= 13620281512 @ 5.75983
7.45/7.59 c GLOBAL bounds - >= 13620281512 @ 5.7615
7.55/7.60 c GLOBAL bounds - >= 13620281512 @ 5.76791
7.55/7.60 c GLOBAL bounds - >= 13620281512 @ 5.76945
7.55/7.61 c GLOBAL bounds - >= 13620281512 @ 5.777
7.55/7.62 c GLOBAL bounds - >= 13620281512 @ 5.77713
7.55/7.63 c GLOBAL bounds - >= 13620281512 @ 5.78326
7.55/7.64 c GLOBAL bounds - >= 13620281512 @ 5.7894
7.55/7.66 c GLOBAL bounds - >= 13620281512 @ 5.81237
7.55/7.67 c GLOBAL bounds - >= 13620281512 @ 5.82134
7.65/7.75 c GLOBAL bounds - >= 13620281512 @ 5.89634
7.96/8.02 c GLOBAL bounds - >= 13620281518 @ 6.15926
7.96/8.03 c GLOBAL bounds - >= 13620281518 @ 6.16998
7.96/8.03 c GLOBAL bounds - >= 13620281518 @ 6.17184
7.96/8.04 c GLOBAL bounds - >= 13620281518 @ 6.1785
7.96/8.04 c GLOBAL bounds - >= 13620281518 @ 6.17955
7.96/8.05 c GLOBAL bounds - >= 13620281518 @ 6.18784
7.96/8.05 c GLOBAL bounds - >= 13620281518 @ 6.18957
7.96/8.07 c GLOBAL bounds - >= 13620281518 @ 6.19968
7.96/8.07 c GLOBAL bounds - >= 13620281518 @ 6.20034
7.96/8.08 c GLOBAL bounds - >= 13620281518 @ 6.20674
7.96/8.08 c GLOBAL bounds - >= 13620281518 @ 6.2084
7.96/8.09 c GLOBAL bounds - >= 13620281518 @ 6.2157
7.96/8.10 c GLOBAL bounds - >= 13620281518 @ 6.21589
8.05/8.11 c GLOBAL bounds - >= 13620281518 @ 6.22271
8.05/8.11 c GLOBAL bounds - >= 13620281518 @ 6.22328
8.05/8.12 c GLOBAL bounds - >= 13620281518 @ 6.23058
8.05/8.12 c GLOBAL bounds - >= 13620281518 @ 6.23318
8.05/8.14 c GLOBAL bounds - >= 13620281518 @ 6.23962
8.05/8.14 c GLOBAL bounds - >= 13620281518 @ 6.23985
8.05/8.15 c GLOBAL bounds - >= 13620281518 @ 6.24898
8.05/8.15 c GLOBAL bounds - >= 13620281518 @ 6.25081
8.05/8.16 c GLOBAL bounds - >= 13620281518 @ 6.25923
8.05/8.18 c GLOBAL bounds - >= 13620281518 @ 6.26714
8.05/8.19 c GLOBAL bounds - >= 13620281518 @ 6.27458
8.16/8.20 c GLOBAL bounds - >= 13620281518 @ 6.28326
8.16/8.21 c GLOBAL bounds - >= 13620281518 @ 6.29132
8.16/8.22 c GLOBAL bounds - >= 13620281518 @ 6.30126
8.25/8.35 c GLOBAL bounds - >= 13620281518 @ 6.42185
8.75/8.88 c #Conflicts: 4000 | #Constraints: 4575
8.75/8.88 c GLOBAL bounds - >= 13623849843 @ 6.9449
8.85/8.90 c GLOBAL bounds - >= 13623849843 @ 6.96305
8.85/8.91 c GLOBAL bounds - >= 13623849843 @ 6.97363
8.85/8.91 c GLOBAL bounds - >= 13623849843 @ 6.97628
8.85/8.93 c GLOBAL bounds - >= 13623849843 @ 6.98661
8.85/8.93 c GLOBAL bounds - >= 13623849843 @ 6.9892
8.85/8.95 c GLOBAL bounds - >= 13623849843 @ 7.0005
8.85/8.95 c GLOBAL bounds - >= 13623849843 @ 7.0031
8.85/8.96 c GLOBAL bounds - >= 13623849843 @ 7.0143
8.85/8.97 c GLOBAL bounds - >= 13623849843 @ 7.01603
8.85/8.98 c GLOBAL bounds - >= 13623849843 @ 7.02542
8.85/8.98 c GLOBAL bounds - >= 13623849843 @ 7.02601
8.85/8.99 c GLOBAL bounds - >= 13623849843 @ 7.03858
8.85/9.00 c GLOBAL bounds - >= 13623849843 @ 7.04033
8.96/9.01 c GLOBAL bounds - >= 13623849843 @ 7.05129
8.96/9.02 c GLOBAL bounds - >= 13623849843 @ 7.05317
8.96/9.03 c GLOBAL bounds - >= 13623849843 @ 7.06291
8.96/9.03 c GLOBAL bounds - >= 13623849843 @ 7.06393
8.96/9.05 c GLOBAL bounds - >= 13623849843 @ 7.07366
8.96/9.05 c GLOBAL bounds - >= 13623849843 @ 7.07491
8.96/9.07 c GLOBAL bounds - >= 13623849843 @ 7.08629
8.96/9.08 c GLOBAL bounds - >= 13623849843 @ 7.09748
8.96/9.09 c GLOBAL bounds - >= 13623849843 @ 7.10958
9.25/9.31 c GLOBAL bounds - >= 13623849851 @ 7.31969
9.25/9.33 c GLOBAL bounds - >= 13623849851 @ 7.33473
9.25/9.34 c GLOBAL bounds - >= 13623849851 @ 7.34284
9.25/9.34 c GLOBAL bounds - >= 13623849851 @ 7.34469
9.25/9.35 c GLOBAL bounds - >= 13623849851 @ 7.35377
9.25/9.36 c GLOBAL bounds - >= 13623849851 @ 7.35565
9.25/9.37 c GLOBAL bounds - >= 13623849851 @ 7.36223
9.25/9.37 c GLOBAL bounds - >= 13623849851 @ 7.36515
9.25/9.38 c GLOBAL bounds - >= 13623849851 @ 7.37101
9.25/9.39 c GLOBAL bounds - >= 13623849851 @ 7.37304
9.35/9.40 c GLOBAL bounds - >= 13623849851 @ 7.38106
9.35/9.40 c GLOBAL bounds - >= 13623849851 @ 7.38311
9.35/9.42 c GLOBAL bounds - >= 13623849851 @ 7.39102
9.35/9.42 c GLOBAL bounds - >= 13623849851 @ 7.39219
9.35/9.43 c GLOBAL bounds - >= 13623849851 @ 7.40101
9.35/9.44 c GLOBAL bounds - >= 13623849851 @ 7.40317
9.35/9.45 c GLOBAL bounds - >= 13623849851 @ 7.41289
9.35/9.45 c GLOBAL bounds - >= 13623849851 @ 7.41414
9.35/9.47 c GLOBAL bounds - >= 13623849851 @ 7.42166
9.35/9.47 c GLOBAL bounds - >= 13623849851 @ 7.42465
9.35/9.48 c GLOBAL bounds - >= 13623849851 @ 7.43369
9.84/9.91 c GLOBAL bounds - >= 13623849861 @ 7.83704
9.84/9.92 c GLOBAL bounds - >= 13623849861 @ 7.85446
9.84/9.94 c GLOBAL bounds - >= 13623849861 @ 7.86297
9.84/9.94 c GLOBAL bounds - >= 13623849861 @ 7.86491
9.84/9.95 c GLOBAL bounds - >= 13623849861 @ 7.87443
9.84/9.95 c GLOBAL bounds - >= 13623849861 @ 7.87631
9.84/9.97 c GLOBAL bounds - >= 13623849861 @ 7.88378
9.84/9.97 c GLOBAL bounds - >= 13623849861 @ 7.88568
9.84/9.98 c GLOBAL bounds - >= 13623849861 @ 7.89522
9.84/9.99 c GLOBAL bounds - >= 13623849861 @ 7.89617
9.84/10.00 c GLOBAL bounds - >= 13623849861 @ 7.90459
9.95/10.00 c GLOBAL bounds - >= 13623849861 @ 7.90644
9.95/10.01 c GLOBAL bounds - >= 13623849861 @ 7.91791
9.95/10.02 c GLOBAL bounds - >= 13623849861 @ 7.91883
9.95/10.03 c GLOBAL bounds - >= 13623849861 @ 7.9266
9.95/10.03 c GLOBAL bounds - >= 13623849861 @ 7.92771
9.95/10.05 c GLOBAL bounds - >= 13623849861 @ 7.93824
9.95/10.05 c GLOBAL bounds - >= 13623849861 @ 7.94132
9.95/10.06 c GLOBAL bounds - >= 13623849861 @ 7.95
9.95/10.07 c GLOBAL bounds - >= 13623849861 @ 7.95306
9.95/10.08 c GLOBAL bounds - >= 13623849861 @ 7.96267
10.34/10.41 c #Conflicts: 5000 | #Constraints: 5668
10.34/10.41 c GLOBAL bounds - >= 13623849871 @ 8.27927
10.34/10.42 c GLOBAL bounds - >= 13623849871 @ 8.29679
10.34/10.44 c GLOBAL bounds - >= 13623849871 @ 8.30557
10.34/10.44 c GLOBAL bounds - >= 13623849871 @ 8.30773
10.34/10.46 c GLOBAL bounds - >= 13623849871 @ 8.31599
10.34/10.46 c GLOBAL bounds - >= 13623849871 @ 8.31812
10.34/10.47 c GLOBAL bounds - >= 13623849871 @ 8.32629
10.34/10.48 c GLOBAL bounds - >= 13623849871 @ 8.3275
10.34/10.49 c GLOBAL bounds - >= 13623849871 @ 8.33772
10.34/10.49 c GLOBAL bounds - >= 13623849871 @ 8.33909
10.45/10.51 c GLOBAL bounds - >= 13623849871 @ 8.34927
10.45/10.51 c GLOBAL bounds - >= 13623849871 @ 8.35146
10.45/10.53 c GLOBAL bounds - >= 13623849871 @ 8.36054
10.45/10.53 c GLOBAL bounds - >= 13623849871 @ 8.3627
10.45/10.54 c GLOBAL bounds - >= 13623849871 @ 8.37063
10.45/10.55 c GLOBAL bounds - >= 13623849871 @ 8.37377
10.45/10.56 c GLOBAL bounds - >= 13623849871 @ 8.38283
10.45/10.56 c GLOBAL bounds - >= 13623849871 @ 8.38588
10.45/10.58 c GLOBAL bounds - >= 13623849871 @ 8.39488
10.45/10.58 c GLOBAL bounds - >= 13623849871 @ 8.39597
10.45/10.59 c GLOBAL bounds - >= 13623849871 @ 8.406
10.54/10.61 c GLOBAL bounds - >= 13623849871 @ 8.41698
11.94/12.02 c #Conflicts: 6000 | #Constraints: 6707
11.94/12.02 c INPROCESSING
11.94/12.02 c GARBAGE COLLECT
11.94/12.02 c GLOBAL bounds - >= 13623849880 @ 9.80866
11.94/12.04 c GLOBAL bounds - >= 13623849880 @ 9.823
11.94/12.04 c GLOBAL bounds - >= 13623849880 @ 9.82574
11.94/12.05 c GLOBAL bounds - >= 13623849880 @ 9.83289
11.94/12.05 c GLOBAL bounds - >= 13623849880 @ 9.83474
11.94/12.07 c GLOBAL bounds - >= 13623849880 @ 9.8422
11.94/12.07 c GLOBAL bounds - >= 13623849880 @ 9.84444
11.94/12.08 c GLOBAL bounds - >= 13623849880 @ 9.85267
11.94/12.08 c GLOBAL bounds - >= 13623849880 @ 9.85574
11.94/12.10 c GLOBAL bounds - >= 13623849880 @ 9.86222
11.94/12.10 c GLOBAL bounds - >= 13623849880 @ 9.86339
12.05/12.11 c GLOBAL bounds - >= 13623849880 @ 9.86995
12.05/12.11 c GLOBAL bounds - >= 13623849880 @ 9.87237
12.05/12.12 c GLOBAL bounds - >= 13623849880 @ 9.88064
12.05/12.13 c GLOBAL bounds - >= 13623849880 @ 9.88275
12.05/12.14 c GLOBAL bounds - >= 13623849880 @ 9.89032
12.05/12.14 c GLOBAL bounds - >= 13623849880 @ 9.89154
12.05/12.15 c GLOBAL bounds - >= 13623849880 @ 9.89806
12.05/12.16 c GLOBAL bounds - >= 13623849880 @ 9.90012
12.05/12.17 c GLOBAL bounds - >= 13623849880 @ 9.90823
12.05/12.17 c GLOBAL bounds - >= 13623849880 @ 9.91108
12.14/12.25 c GLOBAL bounds - >= 13623849880 @ 9.93913
12.34/12.43 c GLOBAL bounds - >= 13623849890 @ 10.1099
12.34/12.46 c GLOBAL bounds - >= 13623849890 @ 10.1341
12.34/12.47 c GLOBAL bounds - >= 13623849890 @ 10.142
12.34/12.48 c GLOBAL bounds - >= 13623849890 @ 10.1441
12.34/12.49 c GLOBAL bounds - >= 13623849890 @ 10.1528
12.34/12.49 c GLOBAL bounds - >= 13623849890 @ 10.1549
12.44/12.51 c GLOBAL bounds - >= 13623849890 @ 10.1616
12.44/12.51 c GLOBAL bounds - >= 13623849890 @ 10.1648
12.44/12.52 c GLOBAL bounds - >= 13623849890 @ 10.1736
12.44/12.53 c GLOBAL bounds - >= 13623849890 @ 10.1759
12.44/12.54 c GLOBAL bounds - >= 13623849890 @ 10.1857
12.44/12.54 c GLOBAL bounds - >= 13623849890 @ 10.1889
12.44/12.56 c GLOBAL bounds - >= 13623849890 @ 10.2006
12.44/12.56 c GLOBAL bounds - >= 13623849890 @ 10.2029
12.44/12.58 c GLOBAL bounds - >= 13623849890 @ 10.2125
12.44/12.58 c GLOBAL bounds - >= 13623849890 @ 10.2157
12.44/12.59 c GLOBAL bounds - >= 13623849890 @ 10.2255
12.54/12.60 c GLOBAL bounds - >= 13623849890 @ 10.2278
12.54/12.61 c GLOBAL bounds - >= 13623849890 @ 10.2376
12.54/12.61 c GLOBAL bounds - >= 13623849890 @ 10.2408
12.54/12.63 c GLOBAL bounds - >= 13623849890 @ 10.2517
17.73/17.82 c #Conflicts: 7000 | #Constraints: 5253
17.73/17.82 c #Conflicts: 8000 | #Constraints: 6253
17.73/17.82 c GLOBAL bounds - >= 13623849900 @ 15.3919
17.73/17.84 c GLOBAL bounds - >= 13623849900 @ 15.4122
17.73/17.85 c GLOBAL bounds - >= 13623849900 @ 15.4225
17.73/17.86 c GLOBAL bounds - >= 13623849900 @ 15.4248
17.73/17.87 c GLOBAL bounds - >= 13623849900 @ 15.4359
17.73/17.88 c GLOBAL bounds - >= 13623849900 @ 15.4382
17.73/17.89 c GLOBAL bounds - >= 13623849900 @ 15.4502
17.73/17.90 c GLOBAL bounds - >= 13623849900 @ 15.4526
17.83/17.91 c GLOBAL bounds - >= 13623849900 @ 15.4637
17.83/17.92 c GLOBAL bounds - >= 13623849900 @ 15.4661
17.83/17.93 c GLOBAL bounds - >= 13623849900 @ 15.4782
17.83/17.93 c GLOBAL bounds - >= 13623849900 @ 15.4816
17.83/17.95 c GLOBAL bounds - >= 13623849900 @ 15.4936
17.83/17.95 c GLOBAL bounds - >= 13623849900 @ 15.497
17.83/17.97 c GLOBAL bounds - >= 13623849900 @ 15.508
17.83/17.97 c GLOBAL bounds - >= 13623849900 @ 15.5094
17.83/17.99 c GLOBAL bounds - >= 13623849900 @ 15.5213
17.83/17.99 c GLOBAL bounds - >= 13623849900 @ 15.5237
17.93/18.01 c GLOBAL bounds - >= 13623849900 @ 15.5368
17.93/18.01 c GLOBAL bounds - >= 13623849900 @ 15.5392
17.93/18.03 c GLOBAL bounds - >= 13623849900 @ 15.5502
17.93/18.05 c GLOBAL bounds - >= 13623849900 @ 15.5639
17.93/18.06 c GLOBAL bounds - >= 13623849900 @ 15.5774
26.20/26.39 c #Conflicts: 9000 | #Constraints: 7292
26.20/26.39 c #Conflicts: 10000 | #Constraints: 8292
26.20/26.39 c #Conflicts: 11000 | #Constraints: 9292
26.20/26.39 c GLOBAL bounds - >= 13623849908 @ 23.7943
26.30/26.42 c GLOBAL bounds - >= 13623849908 @ 23.8237
26.30/26.43 c GLOBAL bounds - >= 13623849908 @ 23.8258
26.30/26.43 c GLOBAL bounds - >= 13623849908 @ 23.8288
26.30/26.45 c GLOBAL bounds - >= 13623849908 @ 23.8477
26.30/26.46 c GLOBAL bounds - >= 13623849908 @ 23.8494
26.30/26.48 c GLOBAL bounds - >= 13623849908 @ 23.867
26.30/26.48 c GLOBAL bounds - >= 13623849908 @ 23.8676
26.41/26.51 c GLOBAL bounds - >= 13623849908 @ 23.8882
26.41/26.51 c GLOBAL bounds - >= 13623849908 @ 23.8906
26.41/26.53 c GLOBAL bounds - >= 13623849908 @ 23.9088
26.41/26.54 c GLOBAL bounds - >= 13623849908 @ 23.9093
26.41/26.56 c GLOBAL bounds - >= 13623849908 @ 23.9297
26.41/26.56 c GLOBAL bounds - >= 13623849908 @ 23.9312
26.41/26.59 c GLOBAL bounds - >= 13623849908 @ 23.9507
26.41/26.59 c GLOBAL bounds - >= 13623849908 @ 23.9531
26.50/26.61 c GLOBAL bounds - >= 13623849908 @ 23.9718
26.50/26.62 c GLOBAL bounds - >= 13623849908 @ 23.9743
26.50/26.64 c GLOBAL bounds - >= 13623849908 @ 23.9952
26.50/26.64 c GLOBAL bounds - >= 13623849908 @ 23.9976
26.50/26.67 c GLOBAL bounds - >= 13623849908 @ 24.0163
26.50/26.67 c GLOBAL bounds - >= 13623849908 @ 24.0187
26.50/26.69 c GLOBAL bounds - >= 13623849908 @ 24.0402
26.60/26.73 c GLOBAL bounds - >= 13623849908 @ 24.07
26.60/26.78 c GLOBAL bounds - >= 13623849908 @ 24.1179
26.70/26.81 c GLOBAL bounds - >= 13623849908 @ 24.145
26.70/26.84 c GLOBAL bounds - >= 13623849908 @ 24.1751
26.70/26.87 c GLOBAL bounds - >= 13623849908 @ 24.2033
26.80/26.91 c GLOBAL bounds - >= 13623849908 @ 24.2313
26.80/26.94 c GLOBAL bounds - >= 13623849908 @ 24.2591
26.80/26.97 c GLOBAL bounds - >= 13623849908 @ 24.2878
26.80/27.00 c GLOBAL bounds - >= 13623849908 @ 24.3153
26.90/27.03 c GLOBAL bounds - >= 13623849908 @ 24.3437
26.90/27.06 c GLOBAL bounds - >= 13623849908 @ 24.3707
26.90/27.09 c GLOBAL bounds - >= 13623849908 @ 24.3997
27.01/27.12 c GLOBAL bounds - >= 13623849908 @ 24.4275
27.01/27.15 c GLOBAL bounds - >= 13623849908 @ 24.454
27.01/27.18 c GLOBAL bounds - >= 13623849908 @ 24.4805
27.10/27.21 c GLOBAL bounds - >= 13623849908 @ 24.5065
27.10/27.24 c GLOBAL bounds - >= 13623849908 @ 24.5346
27.10/27.27 c GLOBAL bounds - >= 13623849908 @ 24.5623
27.10/27.29 c GLOBAL bounds - >= 13623849908 @ 24.588
27.19/27.32 c GLOBAL bounds - >= 13623849908 @ 24.6134
27.19/27.35 c GLOBAL bounds - >= 13623849908 @ 24.6378
27.19/27.38 c GLOBAL bounds - >= 13623849908 @ 24.6637
27.30/27.41 c GLOBAL bounds - >= 13623849908 @ 24.6884
27.30/27.43 c GLOBAL bounds - >= 13623849908 @ 24.7141
27.30/27.46 c GLOBAL bounds - >= 13623849908 @ 24.7376
27.30/27.49 c GLOBAL bounds - >= 13623849908 @ 24.7608
27.50/27.60 c GLOBAL bounds - >= 13623849908 @ 24.868
27.50/27.62 c GLOBAL bounds - >= 13623849908 @ 24.8845
27.50/27.64 c GLOBAL bounds - >= 13623849908 @ 24.8994
27.50/27.67 c GLOBAL bounds - >= 13623849908 @ 24.9223
27.59/27.70 c GLOBAL bounds - >= 13623849908 @ 24.9498
27.59/27.72 c GLOBAL bounds - >= 13623849908 @ 24.9667
31.79/31.97 c #Conflicts: 12000 | #Constraints: 10414
31.79/31.97 c INPROCESSING
31.79/31.97 c GARBAGE COLLECT
31.79/31.97 c #Conflicts: 13000 | #Constraints: 7115
31.79/31.97 c #Conflicts: 14000 | #Constraints: 8115
31.79/31.97 c GLOBAL bounds - >= 13623849913 @ 29.1918
31.79/31.99 c GLOBAL bounds - >= 13623849913 @ 29.213
31.79/31.99 c GLOBAL bounds - >= 13623849913 @ 29.213
31.79/31.99 c GLOBAL bounds - >= 13623849913 @ 29.2152
31.79/32.00 c GLOBAL bounds - >= 13623849913 @ 29.218
31.89/32.02 c GLOBAL bounds - >= 13623849913 @ 29.2321
31.89/32.02 c GLOBAL bounds - >= 13623849913 @ 29.2335
31.89/32.04 c GLOBAL bounds - >= 13623849913 @ 29.2464
31.89/32.04 c GLOBAL bounds - >= 13623849913 @ 29.2479
31.89/32.06 c GLOBAL bounds - >= 13623849913 @ 29.2609
31.89/32.06 c GLOBAL bounds - >= 13623849913 @ 29.2633
31.89/32.08 c GLOBAL bounds - >= 13623849913 @ 29.2802
31.89/32.09 c GLOBAL bounds - >= 13623849913 @ 29.2836
31.99/32.11 c GLOBAL bounds - >= 13623849913 @ 29.2961
31.99/32.11 c GLOBAL bounds - >= 13623849913 @ 29.2995
31.99/32.13 c GLOBAL bounds - >= 13623849913 @ 29.3132
31.99/32.13 c GLOBAL bounds - >= 13623849913 @ 29.3166
31.99/32.15 c GLOBAL bounds - >= 13623849913 @ 29.3314
31.99/32.16 c GLOBAL bounds - >= 13623849913 @ 29.3328
31.99/32.18 c GLOBAL bounds - >= 13623849913 @ 29.3495
31.99/32.18 c GLOBAL bounds - >= 13623849913 @ 29.3519
32.09/32.20 c GLOBAL bounds - >= 13623849913 @ 29.3658
32.09/32.20 c GLOBAL bounds - >= 13623849913 @ 29.3676
32.09/32.22 c GLOBAL bounds - >= 13623849913 @ 29.386
32.09/32.25 c GLOBAL bounds - >= 13623849913 @ 29.4089
32.09/32.27 c GLOBAL bounds - >= 13623849913 @ 29.431
32.19/32.30 c GLOBAL bounds - >= 13623849913 @ 29.4566
32.19/32.33 c GLOBAL bounds - >= 13623849913 @ 29.4794
32.19/32.35 c GLOBAL bounds - >= 13623849913 @ 29.5011
32.19/32.38 c GLOBAL bounds - >= 13623849913 @ 29.5257
32.29/32.41 c GLOBAL bounds - >= 13623849913 @ 29.5472
32.29/32.43 c GLOBAL bounds - >= 13623849913 @ 29.5725
32.29/32.46 c GLOBAL bounds - >= 13623849913 @ 29.5954
32.29/32.48 c GLOBAL bounds - >= 13623849913 @ 29.6175
32.39/32.51 c GLOBAL bounds - >= 13623849913 @ 29.6402
32.39/32.53 c GLOBAL bounds - >= 13623849913 @ 29.6619
32.39/32.56 c GLOBAL bounds - >= 13623849913 @ 29.6824
32.39/32.58 c GLOBAL bounds - >= 13623849913 @ 29.7036
32.48/32.60 c GLOBAL bounds - >= 13623849913 @ 29.7237
32.48/32.63 c GLOBAL bounds - >= 13623849913 @ 29.7448
32.48/32.65 c GLOBAL bounds - >= 13623849913 @ 29.7657
32.48/32.68 c GLOBAL bounds - >= 13623849913 @ 29.7863
32.59/32.70 c GLOBAL bounds - >= 13623849913 @ 29.8068
32.59/32.72 c GLOBAL bounds - >= 13623849913 @ 29.8272
32.59/32.75 c GLOBAL bounds - >= 13623849913 @ 29.8475
32.59/32.77 c GLOBAL bounds - >= 13623849913 @ 29.8674
32.59/32.79 c GLOBAL bounds - >= 13623849913 @ 29.8885
32.69/32.82 c GLOBAL bounds - >= 13623849913 @ 29.9091
32.69/32.84 c GLOBAL bounds - >= 13623849913 @ 29.9289
32.69/32.86 c GLOBAL bounds - >= 13623849913 @ 29.9505
33.08/33.21 c GLOBAL bounds - >= 13623849913 @ 30.2897
33.08/33.23 c GLOBAL bounds - >= 13623849913 @ 30.3082
33.08/33.26 c GLOBAL bounds - >= 13623849913 @ 30.3333
33.08/33.28 c GLOBAL bounds - >= 13623849913 @ 30.3503
33.18/33.30 c GLOBAL bounds - >= 13623849913 @ 30.3663
44.05/44.21 c #Conflicts: 15000 | #Constraints: 9163
44.05/44.21 c #Conflicts: 16000 | #Constraints: 10163
44.05/44.21 c INPROCESSING
44.05/44.21 c GARBAGE COLLECT
44.05/44.21 c #Conflicts: 17000 | #Constraints: 6835
44.05/44.21 c #Conflicts: 18000 | #Constraints: 7835
44.05/44.21 c GLOBAL bounds - >= 13623849916 @ 41.2175
44.05/44.23 c GLOBAL bounds - >= 13623849916 @ 41.2394
44.05/44.25 c GLOBAL bounds - >= 13623849916 @ 41.2536
44.05/44.25 c GLOBAL bounds - >= 13623849916 @ 41.2571
44.05/44.27 c GLOBAL bounds - >= 13623849916 @ 41.2722
44.05/44.27 c GLOBAL bounds - >= 13623849916 @ 41.2747
44.05/44.29 c GLOBAL bounds - >= 13623849916 @ 41.2894
44.05/44.30 c GLOBAL bounds - >= 13623849916 @ 41.2919
44.15/44.31 c GLOBAL bounds - >= 13623849916 @ 41.3068
44.15/44.32 c GLOBAL bounds - >= 13623849916 @ 41.3093
44.15/44.34 c GLOBAL bounds - >= 13623849916 @ 41.3221
44.15/44.34 c GLOBAL bounds - >= 13623849916 @ 41.3221
44.15/44.36 c GLOBAL bounds - >= 13623849916 @ 41.3386
44.15/44.36 c GLOBAL bounds - >= 13623849916 @ 41.3411
44.15/44.38 c GLOBAL bounds - >= 13623849916 @ 41.3569
44.15/44.38 c GLOBAL bounds - >= 13623849916 @ 41.3585
44.25/44.40 c GLOBAL bounds - >= 13623849916 @ 41.3713
44.25/44.41 c GLOBAL bounds - >= 13623849916 @ 41.3738
44.25/44.43 c GLOBAL bounds - >= 13623849916 @ 41.3897
44.25/44.43 c GLOBAL bounds - >= 13623849916 @ 41.3923
44.25/44.45 c GLOBAL bounds - >= 13623849916 @ 41.4062
44.25/44.47 c GLOBAL bounds - >= 13623849916 @ 41.4187
44.25/44.49 c GLOBAL bounds - >= 13623849916 @ 41.4341
48.24/48.40 c #Conflicts: 19000 | #Constraints: 8868
48.24/48.40 c #Conflicts: 20000 | #Constraints: 9868
48.24/48.40 c GLOBAL bounds - >= 13623849924 @ 45.3211
48.24/48.43 c GLOBAL bounds - >= 13623849924 @ 45.3496
48.24/48.43 c GLOBAL bounds - >= 13623849924 @ 45.3506
48.24/48.45 c GLOBAL bounds - >= 13623849924 @ 45.3698
48.24/48.46 c GLOBAL bounds - >= 13623849924 @ 45.3714
48.24/48.48 c GLOBAL bounds - >= 13623849924 @ 45.3891
48.24/48.48 c GLOBAL bounds - >= 13623849924 @ 45.3917
48.34/48.51 c GLOBAL bounds - >= 13623849924 @ 45.4085
48.34/48.51 c GLOBAL bounds - >= 13623849924 @ 45.4121
48.34/48.53 c GLOBAL bounds - >= 13623849924 @ 45.4334
48.34/48.54 c GLOBAL bounds - >= 13623849924 @ 45.437
48.34/48.56 c GLOBAL bounds - >= 13623849924 @ 45.4587
48.34/48.56 c GLOBAL bounds - >= 13623849924 @ 45.4613
48.34/48.59 c GLOBAL bounds - >= 13623849924 @ 45.4809
48.34/48.59 c GLOBAL bounds - >= 13623849924 @ 45.4836
48.43/48.61 c GLOBAL bounds - >= 13623849924 @ 45.5023
48.43/48.62 c GLOBAL bounds - >= 13623849924 @ 45.5049
48.43/48.64 c GLOBAL bounds - >= 13623849924 @ 45.5256
48.43/48.65 c GLOBAL bounds - >= 13623849924 @ 45.5292
48.43/48.67 c GLOBAL bounds - >= 13623849924 @ 45.5479
48.43/48.67 c GLOBAL bounds - >= 13623849924 @ 45.5506
48.54/48.70 c GLOBAL bounds - >= 13623849924 @ 45.5722
48.54/48.72 c GLOBAL bounds - >= 13623849924 @ 45.5919
48.54/48.75 c GLOBAL bounds - >= 13623849924 @ 45.6127
48.54/48.77 c GLOBAL bounds - >= 13623849924 @ 45.6343
48.54/48.79 c GLOBAL bounds - >= 13623849924 @ 45.6541
48.64/48.82 c GLOBAL bounds - >= 13623849924 @ 45.675
48.64/48.84 c GLOBAL bounds - >= 13623849924 @ 45.696
48.85/49.07 c GLOBAL bounds - >= 13623849924 @ 45.9195
50.14/50.39 c #Conflicts: 21000 | #Constraints: 10914
50.14/50.39 c INPROCESSING
50.14/50.39 c GARBAGE COLLECT
50.14/50.39 c GLOBAL bounds - >= 13623849928 @ 47.2266
50.23/50.41 c GLOBAL bounds - >= 13623849928 @ 47.2447
50.23/50.42 c GLOBAL bounds - >= 13623849928 @ 47.2478
50.23/50.43 c GLOBAL bounds - >= 13623849928 @ 47.2628
50.23/50.43 c GLOBAL bounds - >= 13623849928 @ 47.2654
50.23/50.45 c GLOBAL bounds - >= 13623849928 @ 47.2764
50.23/50.45 c GLOBAL bounds - >= 13623849928 @ 47.2789
50.23/50.47 c GLOBAL bounds - >= 13623849928 @ 47.2919
50.23/50.47 c GLOBAL bounds - >= 13623849928 @ 47.2956
50.23/50.49 c GLOBAL bounds - >= 13623849928 @ 47.3086
50.23/50.49 c GLOBAL bounds - >= 13623849928 @ 47.3113
50.33/50.51 c GLOBAL bounds - >= 13623849928 @ 47.3242
50.33/50.51 c GLOBAL bounds - >= 13623849928 @ 47.3259
50.33/50.53 c GLOBAL bounds - >= 13623849928 @ 47.3358
50.33/50.53 c GLOBAL bounds - >= 13623849928 @ 47.3394
50.33/50.55 c GLOBAL bounds - >= 13623849928 @ 47.3534
50.33/50.55 c GLOBAL bounds - >= 13623849928 @ 47.3551
50.33/50.57 c GLOBAL bounds - >= 13623849928 @ 47.3671
50.33/50.57 c GLOBAL bounds - >= 13623849928 @ 47.3697
50.33/50.59 c GLOBAL bounds - >= 13623849928 @ 47.3828
50.33/50.59 c GLOBAL bounds - >= 13623849928 @ 47.3854
50.43/50.61 c GLOBAL bounds - >= 13623849928 @ 47.4005
50.43/50.62 c GLOBAL bounds - >= 13623849928 @ 47.4127
50.43/50.64 c GLOBAL bounds - >= 13623849928 @ 47.4251
54.93/55.14 c #Conflicts: 22000 | #Constraints: 7474
54.93/55.14 c #Conflicts: 23000 | #Constraints: 8474
54.93/55.14 c GLOBAL bounds - >= 13623849937 @ 51.902
54.93/55.17 c GLOBAL bounds - >= 13623849937 @ 51.9283
54.93/55.19 c GLOBAL bounds - >= 13623849937 @ 51.9442
54.93/55.19 c GLOBAL bounds - >= 13623849937 @ 51.9468
55.02/55.21 c GLOBAL bounds - >= 13623849937 @ 51.9628
55.02/55.22 c GLOBAL bounds - >= 13623849937 @ 51.9655
55.02/55.24 c GLOBAL bounds - >= 13623849937 @ 51.9828
55.02/55.24 c GLOBAL bounds - >= 13623849937 @ 51.9855
55.02/55.26 c GLOBAL bounds - >= 13623849937 @ 52.0029
55.02/55.26 c GLOBAL bounds - >= 13623849937 @ 52.0038
55.02/55.28 c GLOBAL bounds - >= 13623849937 @ 52.0171
55.02/55.29 c GLOBAL bounds - >= 13623849937 @ 52.0208
55.12/55.31 c GLOBAL bounds - >= 13623849937 @ 52.0353
55.12/55.31 c GLOBAL bounds - >= 13623849937 @ 52.0384
55.12/55.33 c GLOBAL bounds - >= 13623849937 @ 52.0554
55.12/55.34 c GLOBAL bounds - >= 13623849937 @ 52.0572
55.12/55.36 c GLOBAL bounds - >= 13623849937 @ 52.0746
55.12/55.36 c GLOBAL bounds - >= 13623849937 @ 52.0783
55.12/55.38 c GLOBAL bounds - >= 13623849937 @ 52.0928
55.12/55.39 c GLOBAL bounds - >= 13623849937 @ 52.0937
55.22/55.41 c GLOBAL bounds - >= 13623849937 @ 52.1091
55.22/55.43 c GLOBAL bounds - >= 13623849937 @ 52.1267
57.61/57.84 c #Conflicts: 24000 | #Constraints: 9507
57.61/57.84 c GLOBAL bounds - >= 13623849946 @ 54.5236
57.61/57.87 c GLOBAL bounds - >= 13623849946 @ 54.5548
57.61/57.88 c GLOBAL bounds - >= 13623849946 @ 54.5561
57.72/57.90 c GLOBAL bounds - >= 13623849946 @ 54.5746
57.72/57.90 c GLOBAL bounds - >= 13623849946 @ 54.5754
57.72/57.93 c GLOBAL bounds - >= 13623849946 @ 54.5928
57.72/57.93 c GLOBAL bounds - >= 13623849946 @ 54.5946
57.72/57.95 c GLOBAL bounds - >= 13623849946 @ 54.614
57.72/57.96 c GLOBAL bounds - >= 13623849946 @ 54.6168
57.72/57.98 c GLOBAL bounds - >= 13623849946 @ 54.6352
57.72/57.98 c GLOBAL bounds - >= 13623849946 @ 54.6369
57.82/58.01 c GLOBAL bounds - >= 13623849946 @ 54.6555
57.82/58.01 c GLOBAL bounds - >= 13623849946 @ 54.6582
57.82/58.04 c GLOBAL bounds - >= 13623849946 @ 54.6776
57.82/58.04 c GLOBAL bounds - >= 13623849946 @ 54.6794
57.82/58.06 c GLOBAL bounds - >= 13623849946 @ 54.6998
57.82/58.07 c GLOBAL bounds - >= 13623849946 @ 54.7036
57.82/58.09 c GLOBAL bounds - >= 13623849946 @ 54.7232
57.82/58.09 c GLOBAL bounds - >= 13623849946 @ 54.725
57.92/58.12 c GLOBAL bounds - >= 13623849946 @ 54.7436
57.92/58.12 c GLOBAL bounds - >= 13623849946 @ 54.7464
57.92/58.15 c GLOBAL bounds - >= 13623849946 @ 54.7655
57.92/58.18 c GLOBAL bounds - >= 13623849946 @ 54.7966
58.01/58.21 c GLOBAL bounds - >= 13623849946 @ 54.8266
58.01/58.25 c GLOBAL bounds - >= 13623849946 @ 54.8595
58.01/58.28 c GLOBAL bounds - >= 13623849946 @ 54.8906
58.11/58.32 c GLOBAL bounds - >= 13623849946 @ 54.9227
58.11/58.35 c GLOBAL bounds - >= 13623849946 @ 54.9544
58.11/58.38 c GLOBAL bounds - >= 13623849946 @ 54.9847
58.31/58.52 c GLOBAL bounds - >= 13623849946 @ 55.1185
58.31/58.54 c GLOBAL bounds - >= 13623849946 @ 55.139
58.31/58.56 c GLOBAL bounds - >= 13623849946 @ 55.1584
62.81/63.01 c #Conflicts: 25000 | #Constraints: 10568
62.81/63.01 c INPROCESSING
62.81/63.01 c GARBAGE COLLECT
62.81/63.01 c #Conflicts: 26000 | #Constraints: 6907
62.81/63.01 c #Conflicts: 27000 | #Constraints: 7907
62.81/63.01 c GLOBAL bounds - >= 13623849948 @ 59.585
62.81/63.04 c GLOBAL bounds - >= 13623849948 @ 59.608
62.81/63.06 c GLOBAL bounds - >= 13623849948 @ 59.6213
62.81/63.06 c GLOBAL bounds - >= 13623849948 @ 59.6231
62.81/63.08 c GLOBAL bounds - >= 13623849948 @ 59.6372
62.81/63.08 c GLOBAL bounds - >= 13623849948 @ 59.639
62.91/63.10 c GLOBAL bounds - >= 13623849948 @ 59.654
62.91/63.11 c GLOBAL bounds - >= 13623849948 @ 59.6558
62.91/63.13 c GLOBAL bounds - >= 13623849948 @ 59.6719
62.91/63.13 c GLOBAL bounds - >= 13623849948 @ 59.6747
62.91/63.15 c GLOBAL bounds - >= 13623849948 @ 59.6889
62.91/63.15 c GLOBAL bounds - >= 13623849948 @ 59.6897
62.91/63.17 c GLOBAL bounds - >= 13623849948 @ 59.7048
62.91/63.18 c GLOBAL bounds - >= 13623849948 @ 59.7085
62.91/63.19 c GLOBAL bounds - >= 13623849948 @ 59.7228
63.00/63.20 c GLOBAL bounds - >= 13623849948 @ 59.7255
63.00/63.22 c GLOBAL bounds - >= 13623849948 @ 59.7387
63.00/63.22 c GLOBAL bounds - >= 13623849948 @ 59.7425
63.00/63.24 c GLOBAL bounds - >= 13623849948 @ 59.7591
63.00/63.25 c GLOBAL bounds - >= 13623849948 @ 59.762
63.00/63.26 c GLOBAL bounds - >= 13623849948 @ 59.7766
63.00/63.28 c GLOBAL bounds - >= 13623849948 @ 59.7903
63.10/63.30 c GLOBAL bounds - >= 13623849948 @ 59.8047
63.29/63.51 c GLOBAL bounds - >= 13623849948 @ 60.0083
66.79/67.01 c #Conflicts: 28000 | #Constraints: 8922
66.79/67.01 c #Conflicts: 29000 | #Constraints: 9922
66.79/67.01 c GLOBAL bounds - >= 13623849955 @ 63.4934
66.79/67.04 c GLOBAL bounds - >= 13623849955 @ 63.523
66.79/67.05 c GLOBAL bounds - >= 13623849955 @ 63.5243
66.79/67.07 c GLOBAL bounds - >= 13623849955 @ 63.5442
66.79/67.07 c GLOBAL bounds - >= 13623849955 @ 63.547
66.79/67.10 c GLOBAL bounds - >= 13623849955 @ 63.5648
66.89/67.10 c GLOBAL bounds - >= 13623849955 @ 63.5677
66.89/67.13 c GLOBAL bounds - >= 13623849955 @ 63.5886
66.89/67.13 c GLOBAL bounds - >= 13623849955 @ 63.5908
66.89/67.15 c GLOBAL bounds - >= 13623849955 @ 63.6123
66.89/67.16 c GLOBAL bounds - >= 13623849955 @ 63.6153
66.89/67.18 c GLOBAL bounds - >= 13623849955 @ 63.6343
66.89/67.19 c GLOBAL bounds - >= 13623849955 @ 63.6362
66.98/67.21 c GLOBAL bounds - >= 13623849955 @ 63.6562
66.98/67.21 c GLOBAL bounds - >= 13623849955 @ 63.6582
66.98/67.24 c GLOBAL bounds - >= 13623849955 @ 63.6781
66.98/67.24 c GLOBAL bounds - >= 13623849955 @ 63.681
66.98/67.27 c GLOBAL bounds - >= 13623849955 @ 63.699
66.98/67.27 c GLOBAL bounds - >= 13623849955 @ 63.701
66.98/67.29 c GLOBAL bounds - >= 13623849955 @ 63.7208
67.09/67.30 c GLOBAL bounds - >= 13623849955 @ 63.7247
67.09/67.32 c GLOBAL bounds - >= 13623849955 @ 63.7468
67.58/67.82 c GLOBAL bounds - >= 13623849955 @ 64.237
67.58/67.85 c GLOBAL bounds - >= 13623849955 @ 64.2681
67.58/67.88 c GLOBAL bounds - >= 13623849955 @ 64.2958
67.68/67.92 c GLOBAL bounds - >= 13623849955 @ 64.3321
67.68/67.95 c GLOBAL bounds - >= 13623849955 @ 64.3557
67.79/68.03 c GLOBAL bounds - >= 13623849955 @ 64.4345
85.73/86.01 c #Conflicts: 30000 | #Constraints: 10968
85.73/86.01 c #Conflicts: 31000 | #Constraints: 11968
85.73/86.01 c #Conflicts: 32000 | #Constraints: 12968
85.73/86.01 c #Conflicts: 33000 | #Constraints: 13968
85.73/86.01 c GLOBAL bounds - >= 13623849964 @ 82.2062
85.73/86.05 c GLOBAL bounds - >= 13623849964 @ 82.2502
85.73/86.09 c GLOBAL bounds - >= 13623849964 @ 82.2788
85.73/86.09 c GLOBAL bounds - >= 13623849964 @ 82.2818
85.84/86.13 c GLOBAL bounds - >= 13623849964 @ 82.3107
85.84/86.13 c GLOBAL bounds - >= 13623849964 @ 82.3126
85.84/86.16 c GLOBAL bounds - >= 13623849964 @ 82.3428
85.84/86.17 c GLOBAL bounds - >= 13623849964 @ 82.3468
85.93/86.20 c GLOBAL bounds - >= 13623849964 @ 82.3761
85.93/86.21 c GLOBAL bounds - >= 13623849964 @ 82.3791
85.93/86.24 c GLOBAL bounds - >= 13623849964 @ 82.4085
85.93/86.25 c GLOBAL bounds - >= 13623849964 @ 82.4125
85.93/86.28 c GLOBAL bounds - >= 13623849964 @ 82.4441
85.93/86.28 c GLOBAL bounds - >= 13623849964 @ 82.4471
86.03/86.32 c GLOBAL bounds - >= 13623849964 @ 82.4786
86.03/86.32 c GLOBAL bounds - >= 13623849964 @ 82.4816
86.03/86.36 c GLOBAL bounds - >= 13623849964 @ 82.5099
86.03/86.36 c GLOBAL bounds - >= 13623849964 @ 82.513
86.03/86.40 c GLOBAL bounds - >= 13623849964 @ 82.5423
86.13/86.40 c GLOBAL bounds - >= 13623849964 @ 82.5463
86.13/86.43 c GLOBAL bounds - >= 13623849964 @ 82.5758
86.13/86.47 c GLOBAL bounds - >= 13623849964 @ 82.6098
86.23/86.53 c GLOBAL bounds - >= 13623849964 @ 82.6683
86.33/86.62 c GLOBAL bounds - >= 13623849964 @ 82.7527
86.33/86.66 c GLOBAL bounds - >= 13623849964 @ 82.7829
86.33/86.69 c GLOBAL bounds - >= 13623849964 @ 82.8168
141.07/141.52 c #Conflicts: 34000 | #Constraints: 15001
141.07/141.52 c #Conflicts: 35000 | #Constraints: 16001
141.07/141.52 c #Conflicts: 36000 | #Constraints: 17001
141.07/141.52 c #Conflicts: 37000 | #Constraints: 18001
141.07/141.52 c INPROCESSING
141.07/141.52 c GARBAGE COLLECT
141.07/141.52 c #Conflicts: 38000 | #Constraints: 11017
141.07/141.52 c #Conflicts: 39000 | #Constraints: 12017
141.07/141.52 c #Conflicts: 40000 | #Constraints: 13017
141.07/141.52 c #Conflicts: 41000 | #Constraints: 14017
141.07/141.52 c #Conflicts: 42000 | #Constraints: 15017
141.07/141.52 c #Conflicts: 43000 | #Constraints: 16017
141.07/141.52 c INPROCESSING
141.07/141.52 c GARBAGE COLLECT
141.07/141.52 c #Conflicts: 44000 | #Constraints: 9985
141.07/141.52 c GLOBAL bounds - >= 13623849969 @ 137.371
141.07/141.55 c GLOBAL bounds - >= 13623849969 @ 137.403
141.07/141.56 c GLOBAL bounds - >= 13623849969 @ 137.405
141.07/141.56 c GLOBAL bounds - >= 13623849969 @ 137.408
141.07/141.56 c GLOBAL bounds - >= 13623849969 @ 137.411
141.07/141.59 c GLOBAL bounds - >= 13623849969 @ 137.431
141.07/141.60 c GLOBAL bounds - >= 13623849969 @ 137.433
141.17/141.62 c GLOBAL bounds - >= 13623849969 @ 137.455
141.17/141.63 c GLOBAL bounds - >= 13623849969 @ 137.458
141.17/141.65 c GLOBAL bounds - >= 13623849969 @ 137.48
141.17/141.66 c GLOBAL bounds - >= 13623849969 @ 137.483
141.17/141.68 c GLOBAL bounds - >= 13623849969 @ 137.505
141.17/141.69 c GLOBAL bounds - >= 13623849969 @ 137.509
141.27/141.72 c GLOBAL bounds - >= 13623849969 @ 137.534
141.27/141.72 c GLOBAL bounds - >= 13623849969 @ 137.536
141.27/141.75 c GLOBAL bounds - >= 13623849969 @ 137.563
141.27/141.75 c GLOBAL bounds - >= 13623849969 @ 137.565
141.27/141.78 c GLOBAL bounds - >= 13623849969 @ 137.589
141.27/141.78 c GLOBAL bounds - >= 13623849969 @ 137.593
141.37/141.81 c GLOBAL bounds - >= 13623849969 @ 137.617
141.37/141.81 c GLOBAL bounds - >= 13623849969 @ 137.619
141.37/141.84 c GLOBAL bounds - >= 13623849969 @ 137.642
141.37/141.84 c GLOBAL bounds - >= 13623849969 @ 137.645
141.37/141.87 c GLOBAL bounds - >= 13623849969 @ 137.671
141.47/141.90 c GLOBAL bounds - >= 13623849969 @ 137.692
141.47/141.93 c GLOBAL bounds - >= 13623849969 @ 137.716
141.47/141.95 c GLOBAL bounds - >= 13623849969 @ 137.739
141.47/141.98 c GLOBAL bounds - >= 13623849969 @ 137.763
141.57/142.00 c GLOBAL bounds - >= 13623849969 @ 137.788
141.57/142.03 c GLOBAL bounds - >= 13623849969 @ 137.814
141.57/142.06 c GLOBAL bounds - >= 13623849969 @ 137.836
158.42/158.97 c #Conflicts: 45000 | #Constraints: 11015
158.42/158.97 c #Conflicts: 46000 | #Constraints: 12015
158.42/158.97 c #Conflicts: 47000 | #Constraints: 13015
158.42/158.97 c #Conflicts: 48000 | #Constraints: 14015
158.42/158.97 c #Conflicts: 49000 | #Constraints: 15015
158.42/158.97 c GLOBAL bounds - >= 13623849973 @ 154.676
158.53/159.02 c GLOBAL bounds - >= 13623849973 @ 154.722
158.53/159.02 c GLOBAL bounds - >= 13623849973 @ 154.724
158.53/159.03 c GLOBAL bounds - >= 13623849973 @ 154.727
158.53/159.03 c GLOBAL bounds - >= 13623849973 @ 154.729
158.53/159.04 c GLOBAL bounds - >= 13623849973 @ 154.732
158.53/159.04 c GLOBAL bounds - >= 13623849973 @ 154.733
158.53/159.04 c GLOBAL bounds - >= 13623849973 @ 154.736
158.53/159.08 c GLOBAL bounds - >= 13623849973 @ 154.768
158.53/159.08 c GLOBAL bounds - >= 13623849973 @ 154.77
158.62/159.12 c GLOBAL bounds - >= 13623849973 @ 154.8
158.62/159.12 c GLOBAL bounds - >= 13623849973 @ 154.802
158.62/159.16 c GLOBAL bounds - >= 13623849973 @ 154.833
158.62/159.16 c GLOBAL bounds - >= 13623849973 @ 154.836
158.62/159.20 c GLOBAL bounds - >= 13623849973 @ 154.866
158.72/159.20 c GLOBAL bounds - >= 13623849973 @ 154.868
158.72/159.24 c GLOBAL bounds - >= 13623849973 @ 154.9
158.72/159.24 c GLOBAL bounds - >= 13623849973 @ 154.903
158.72/159.27 c GLOBAL bounds - >= 13623849973 @ 154.935
158.72/159.28 c GLOBAL bounds - >= 13623849973 @ 154.938
158.82/159.31 c GLOBAL bounds - >= 13623849973 @ 154.97
158.82/159.32 c GLOBAL bounds - >= 13623849973 @ 154.974
158.82/159.35 c GLOBAL bounds - >= 13623849973 @ 155.005
158.82/159.36 c GLOBAL bounds - >= 13623849973 @ 155.008
158.82/159.40 c GLOBAL bounds - >= 13623849973 @ 155.044
158.92/159.40 c GLOBAL bounds - >= 13623849973 @ 155.046
158.92/159.44 c GLOBAL bounds - >= 13623849973 @ 155.078
158.92/159.48 c GLOBAL bounds - >= 13623849973 @ 155.114
159.02/159.51 c GLOBAL bounds - >= 13623849973 @ 155.151
159.02/159.55 c GLOBAL bounds - >= 13623849973 @ 155.186
159.02/159.59 c GLOBAL bounds - >= 13623849973 @ 155.221
159.12/159.63 c GLOBAL bounds - >= 13623849973 @ 155.258
159.12/159.67 c GLOBAL bounds - >= 13623849973 @ 155.295
159.22/159.72 c GLOBAL bounds - >= 13623849973 @ 155.345
159.22/159.78 c GLOBAL bounds - >= 13623849973 @ 155.403
159.32/159.88 c GLOBAL bounds - >= 13623849973 @ 155.503
159.72/160.21 c GLOBAL bounds - >= 13623849973 @ 155.824
176.68/177.28 c #Conflicts: 50000 | #Constraints: 16063
176.68/177.28 c #Conflicts: 51000 | #Constraints: 17063
176.68/177.28 c #Conflicts: 52000 | #Constraints: 18063
176.68/177.28 c #Conflicts: 53000 | #Constraints: 19063
176.68/177.28 c #Conflicts: 54000 | #Constraints: 20063
176.68/177.28 c GLOBAL bounds - >= 13623849974 @ 172.783
176.78/177.34 c GLOBAL bounds - >= 13623849974 @ 172.842
176.78/177.34 c GLOBAL bounds - >= 13623849974 @ 172.844
176.78/177.39 c GLOBAL bounds - >= 13623849974 @ 172.886
176.78/177.39 c GLOBAL bounds - >= 13623849974 @ 172.889
176.88/177.44 c GLOBAL bounds - >= 13623849974 @ 172.931
176.88/177.44 c GLOBAL bounds - >= 13623849974 @ 172.933
176.88/177.49 c GLOBAL bounds - >= 13623849974 @ 172.976
176.88/177.49 c GLOBAL bounds - >= 13623849974 @ 172.979
176.98/177.54 c GLOBAL bounds - >= 13623849974 @ 173.022
176.98/177.54 c GLOBAL bounds - >= 13623849974 @ 173.025
176.98/177.59 c GLOBAL bounds - >= 13623849974 @ 173.065
176.98/177.59 c GLOBAL bounds - >= 13623849974 @ 173.067
177.07/177.64 c GLOBAL bounds - >= 13623849974 @ 173.11
177.07/177.64 c GLOBAL bounds - >= 13623849974 @ 173.113
177.07/177.69 c GLOBAL bounds - >= 13623849974 @ 173.154
177.07/177.69 c GLOBAL bounds - >= 13623849974 @ 173.156
177.17/177.74 c GLOBAL bounds - >= 13623849974 @ 173.198
177.17/177.74 c GLOBAL bounds - >= 13623849974 @ 173.202
177.17/177.79 c GLOBAL bounds - >= 13623849974 @ 173.244
177.17/177.80 c GLOBAL bounds - >= 13623849974 @ 173.248
177.27/177.84 c GLOBAL bounds - >= 13623849974 @ 173.29
177.27/177.89 c GLOBAL bounds - >= 13623849974 @ 173.335
177.38/177.94 c GLOBAL bounds - >= 13623849974 @ 173.38
177.38/177.99 c GLOBAL bounds - >= 13623849974 @ 173.424
178.17/178.70 c #Conflicts: 55000 | #Constraints: 21085
178.17/178.70 c GLOBAL bounds - >= 13623849974 @ 174.126
187.34/187.93 c #Conflicts: 56000 | #Constraints: 22085
187.34/187.93 c #Conflicts: 57000 | #Constraints: 23085
187.34/187.93 c INPROCESSING
187.34/187.93 c GARBAGE COLLECT
187.34/187.93 c #Conflicts: 58000 | #Constraints: 13354
187.34/187.93 c GLOBAL bounds - >= 13623849981 @ 183.222
187.34/187.97 c GLOBAL bounds - >= 13623849981 @ 183.264
187.45/188.01 c GLOBAL bounds - >= 13623849981 @ 183.291
187.45/188.01 c GLOBAL bounds - >= 13623849981 @ 183.295
187.45/188.04 c GLOBAL bounds - >= 13623849981 @ 183.322
187.45/188.04 c GLOBAL bounds - >= 13623849981 @ 183.324
187.45/188.08 c GLOBAL bounds - >= 13623849981 @ 183.352
187.45/188.08 c GLOBAL bounds - >= 13623849981 @ 183.355
187.55/188.11 c GLOBAL bounds - >= 13623849981 @ 183.381
187.55/188.12 c GLOBAL bounds - >= 13623849981 @ 183.384
187.55/188.15 c GLOBAL bounds - >= 13623849981 @ 183.411
187.55/188.15 c GLOBAL bounds - >= 13623849981 @ 183.415
187.55/188.18 c GLOBAL bounds - >= 13623849981 @ 183.444
187.55/188.19 c GLOBAL bounds - >= 13623849981 @ 183.447
187.65/188.22 c GLOBAL bounds - >= 13623849981 @ 183.472
187.65/188.23 c GLOBAL bounds - >= 13623849981 @ 183.474
187.65/188.26 c GLOBAL bounds - >= 13623849981 @ 183.501
187.65/188.26 c GLOBAL bounds - >= 13623849981 @ 183.502
187.65/188.29 c GLOBAL bounds - >= 13623849981 @ 183.529
187.75/188.30 c GLOBAL bounds - >= 13623849981 @ 183.533
187.75/188.33 c GLOBAL bounds - >= 13623849981 @ 183.563
187.75/188.36 c GLOBAL bounds - >= 13623849981 @ 183.596
188.75/189.31 c #Conflicts: 59000 | #Constraints: 14381
188.75/189.31 c GLOBAL bounds - >= 13623849981 @ 184.53
188.94/189.57 c GLOBAL bounds - >= 13623849981 @ 184.791
207.90/208.50 c #Conflicts: 60000 | #Constraints: 15381
207.90/208.50 c #Conflicts: 61000 | #Constraints: 16381
207.90/208.50 c #Conflicts: 62000 | #Constraints: 17381
207.90/208.50 c #Conflicts: 63000 | #Constraints: 18381
207.90/208.50 c #Conflicts: 64000 | #Constraints: 19381
207.90/208.50 c GLOBAL bounds - >= 13623849981 @ 203.644
221.47/222.17 c #Conflicts: 65000 | #Constraints: 20381
221.47/222.17 c INPROCESSING
221.47/222.17 c GARBAGE COLLECT
221.47/222.17 c #Conflicts: 66000 | #Constraints: 12319
221.47/222.17 c #Conflicts: 67000 | #Constraints: 13319
221.47/222.17 c GLOBAL bounds - >= 13623849987 @ 217.248
221.56/222.21 c GLOBAL bounds - >= 13623849987 @ 217.287
221.56/222.21 c GLOBAL bounds - >= 13623849987 @ 217.29
221.56/222.22 c GLOBAL bounds - >= 13623849987 @ 217.293
221.56/222.22 c GLOBAL bounds - >= 13623849987 @ 217.295
221.56/222.22 c GLOBAL bounds - >= 13623849987 @ 217.297
221.56/222.26 c GLOBAL bounds - >= 13623849987 @ 217.323
221.56/222.26 c GLOBAL bounds - >= 13623849987 @ 217.327
221.56/222.29 c GLOBAL bounds - >= 13623849987 @ 217.353
221.56/222.30 c GLOBAL bounds - >= 13623849987 @ 217.356
221.66/222.33 c GLOBAL bounds - >= 13623849987 @ 217.385
221.66/222.33 c GLOBAL bounds - >= 13623849987 @ 217.386
221.66/222.36 c GLOBAL bounds - >= 13623849987 @ 217.414
221.66/222.37 c GLOBAL bounds - >= 13623849987 @ 217.416
221.75/222.40 c GLOBAL bounds - >= 13623849987 @ 217.444
221.75/222.41 c GLOBAL bounds - >= 13623849987 @ 217.448
221.75/222.44 c GLOBAL bounds - >= 13623849987 @ 217.474
221.75/222.44 c GLOBAL bounds - >= 13623849987 @ 217.477
221.75/222.47 c GLOBAL bounds - >= 13623849987 @ 217.506
221.75/222.48 c GLOBAL bounds - >= 13623849987 @ 217.508
221.86/222.51 c GLOBAL bounds - >= 13623849987 @ 217.535
221.86/222.52 c GLOBAL bounds - >= 13623849987 @ 217.54
221.86/222.55 c GLOBAL bounds - >= 13623849987 @ 217.566
221.86/222.55 c GLOBAL bounds - >= 13623849987 @ 217.569
221.86/222.58 c GLOBAL bounds - >= 13623849987 @ 217.597
221.96/222.62 c GLOBAL bounds - >= 13623849987 @ 217.627
221.96/222.65 c GLOBAL bounds - >= 13623849987 @ 217.659
221.96/222.69 c GLOBAL bounds - >= 13623849987 @ 217.689
222.75/223.45 c #Conflicts: 68000 | #Constraints: 14356
222.75/223.45 c GLOBAL bounds - >= 13623849987 @ 218.444
222.75/223.48 c GLOBAL bounds - >= 13623849987 @ 218.482
222.86/223.52 c GLOBAL bounds - >= 13623849987 @ 218.518
222.86/223.56 c GLOBAL bounds - >= 13623849987 @ 218.553
232.93/233.67 c #Conflicts: 69000 | #Constraints: 15356
232.93/233.67 c #Conflicts: 70000 | #Constraints: 16356
232.93/233.67 c #Conflicts: 71000 | #Constraints: 17356
232.93/233.67 c #Conflicts: 72000 | #Constraints: 18356
232.93/233.67 c GLOBAL bounds - >= 13623849987 @ 228.607
271.53/272.39 c INPROCESSING
271.53/272.39 c GARBAGE COLLECT
271.53/272.39 c #Conflicts: 73000 | #Constraints: 11015
271.53/272.39 c #Conflicts: 74000 | #Constraints: 12015
271.53/272.39 c #Conflicts: 75000 | #Constraints: 13015
271.53/272.39 c #Conflicts: 76000 | #Constraints: 14015
271.53/272.39 c #Conflicts: 77000 | #Constraints: 15015
271.53/272.39 c #Conflicts: 78000 | #Constraints: 16015
271.53/272.39 c #Conflicts: 79000 | #Constraints: 17015
271.53/272.39 c #Conflicts: 80000 | #Constraints: 18015
271.53/272.39 c GLOBAL bounds - >= 13623849991 @ 267.17
271.63/272.44 c GLOBAL bounds - >= 13623849991 @ 267.224
271.63/272.45 c GLOBAL bounds - >= 13623849991 @ 267.227
271.63/272.45 c GLOBAL bounds - >= 13623849991 @ 267.229
271.63/272.49 c GLOBAL bounds - >= 13623849991 @ 267.27
271.63/272.49 c GLOBAL bounds - >= 13623849991 @ 267.273
271.74/272.54 c GLOBAL bounds - >= 13623849991 @ 267.31
271.74/272.54 c GLOBAL bounds - >= 13623849991 @ 267.311
271.74/272.58 c GLOBAL bounds - >= 13623849991 @ 267.35
271.74/272.59 c GLOBAL bounds - >= 13623849991 @ 267.352
271.84/272.63 c GLOBAL bounds - >= 13623849991 @ 267.387
271.84/272.63 c GLOBAL bounds - >= 13623849991 @ 267.39
271.84/272.67 c GLOBAL bounds - >= 13623849991 @ 267.426
271.84/272.68 c GLOBAL bounds - >= 13623849991 @ 267.429
271.93/272.72 c GLOBAL bounds - >= 13623849991 @ 267.467
271.93/272.72 c GLOBAL bounds - >= 13623849991 @ 267.471
271.93/272.77 c GLOBAL bounds - >= 13623849991 @ 267.506
271.93/272.77 c GLOBAL bounds - >= 13623849991 @ 267.51
272.03/272.81 c GLOBAL bounds - >= 13623849991 @ 267.551
272.03/272.82 c GLOBAL bounds - >= 13623849991 @ 267.552
272.03/272.86 c GLOBAL bounds - >= 13623849991 @ 267.593
272.03/272.86 c GLOBAL bounds - >= 13623849991 @ 267.596
272.14/272.91 c GLOBAL bounds - >= 13623849991 @ 267.635
272.14/272.97 c GLOBAL bounds - >= 13623849991 @ 267.691
272.24/273.01 c GLOBAL bounds - >= 13623849991 @ 267.732
272.24/273.05 c GLOBAL bounds - >= 13623849991 @ 267.77
272.24/273.09 c GLOBAL bounds - >= 13623849991 @ 267.811
272.34/273.14 c GLOBAL bounds - >= 13623849991 @ 267.854
272.34/273.19 c GLOBAL bounds - >= 13623849991 @ 267.9
272.43/273.23 c GLOBAL bounds - >= 13623849991 @ 267.938
272.43/273.27 c GLOBAL bounds - >= 13623849991 @ 267.977
272.54/273.32 c GLOBAL bounds - >= 13623849991 @ 268.018
396.72/397.83 c #Conflicts: 81000 | #Constraints: 19032
396.72/397.83 c #Conflicts: 82000 | #Constraints: 20032
396.72/397.83 c #Conflicts: 83000 | #Constraints: 21032
396.72/397.83 c #Conflicts: 84000 | #Constraints: 22032
396.72/397.83 c #Conflicts: 85000 | #Constraints: 23032
396.72/397.83 c #Conflicts: 86000 | #Constraints: 24032
396.72/397.83 c #Conflicts: 87000 | #Constraints: 25032
396.72/397.83 c #Conflicts: 88000 | #Constraints: 26032
396.72/397.83 c #Conflicts: 89000 | #Constraints: 27032
396.72/397.83 c #Conflicts: 90000 | #Constraints: 28032
396.72/397.83 c #Conflicts: 91000 | #Constraints: 29032
396.72/397.83 c INPROCESSING
396.72/397.83 c GARBAGE COLLECT
396.72/397.83 c #Conflicts: 92000 | #Constraints: 16567
396.72/397.83 c #Conflicts: 93000 | #Constraints: 17567
396.72/397.83 c #Conflicts: 94000 | #Constraints: 18567
396.72/397.83 c #Conflicts: 95000 | #Constraints: 19567
396.72/397.83 c #Conflicts: 96000 | #Constraints: 20567
396.72/397.83 c #Conflicts: 97000 | #Constraints: 21567
396.72/397.83 c #Conflicts: 98000 | #Constraints: 22567
396.72/397.83 c #Conflicts: 99000 | #Constraints: 23567
396.72/397.83 c #Conflicts: 100000 | #Constraints: 24567
396.72/397.83 c INPROCESSING
396.72/397.83 c GARBAGE COLLECT
396.72/397.83 c #Conflicts: 101000 | #Constraints: 14388
396.72/397.83 c #Conflicts: 102000 | #Constraints: 15388
396.72/397.83 c #Conflicts: 103000 | #Constraints: 16388
396.72/397.83 c #Conflicts: 104000 | #Constraints: 17388
396.72/397.83 c #Conflicts: 105000 | #Constraints: 18388
396.72/397.83 c #Conflicts: 106000 | #Constraints: 19388
396.72/397.83 c #Conflicts: 107000 | #Constraints: 20388
396.72/397.83 c GLOBAL bounds - >= 13623849992 @ 391.933
396.72/397.89 c GLOBAL bounds - >= 13623849992 @ 391.995
396.72/397.89 c GLOBAL bounds - >= 13623849992 @ 391.998
396.83/397.90 c GLOBAL bounds - >= 13623849992 @ 392
396.83/397.94 c GLOBAL bounds - >= 13623849992 @ 392.043
396.83/397.95 c GLOBAL bounds - >= 13623849992 @ 392.047
396.83/398.00 c GLOBAL bounds - >= 13623849992 @ 392.09
396.83/398.00 c GLOBAL bounds - >= 13623849992 @ 392.093
396.93/398.05 c GLOBAL bounds - >= 13623849992 @ 392.135
396.93/398.05 c GLOBAL bounds - >= 13623849992 @ 392.137
397.03/398.10 c GLOBAL bounds - >= 13623849992 @ 392.182
397.03/398.11 c GLOBAL bounds - >= 13623849992 @ 392.185
397.03/398.15 c GLOBAL bounds - >= 13623849992 @ 392.228
397.03/398.16 c GLOBAL bounds - >= 13623849992 @ 392.229
397.12/398.21 c GLOBAL bounds - >= 13623849992 @ 392.27
397.12/398.21 c GLOBAL bounds - >= 13623849992 @ 392.272
397.12/398.26 c GLOBAL bounds - >= 13623849992 @ 392.316
397.12/398.26 c GLOBAL bounds - >= 13623849992 @ 392.319
397.22/398.31 c GLOBAL bounds - >= 13623849992 @ 392.361
397.22/398.31 c GLOBAL bounds - >= 13623849992 @ 392.364
397.22/398.36 c GLOBAL bounds - >= 13623849992 @ 392.407
397.22/398.36 c GLOBAL bounds - >= 13623849992 @ 392.41
397.32/398.41 c GLOBAL bounds - >= 13623849992 @ 392.454
397.32/398.46 c GLOBAL bounds - >= 13623849992 @ 392.498
397.42/398.51 c GLOBAL bounds - >= 13623849992 @ 392.546
397.42/398.56 c GLOBAL bounds - >= 13623849992 @ 392.595
400.60/401.70 c #Conflicts: 108000 | #Constraints: 21402
400.60/401.70 c #Conflicts: 109000 | #Constraints: 22402
400.60/401.70 c INPROCESSING
400.60/401.70 c GARBAGE COLLECT
400.60/401.70 c GLOBAL bounds - >= 13623849992 @ 395.711
400.60/401.73 c GLOBAL bounds - >= 13623849992 @ 395.736
501.34/502.79 c #Conflicts: 110000 | #Constraints: 13263
501.34/502.79 c #Conflicts: 111000 | #Constraints: 14263
501.34/502.79 c #Conflicts: 112000 | #Constraints: 15263
501.34/502.79 c #Conflicts: 113000 | #Constraints: 16263
501.34/502.79 c #Conflicts: 114000 | #Constraints: 17263
501.34/502.79 c #Conflicts: 115000 | #Constraints: 18263
501.34/502.79 c #Conflicts: 116000 | #Constraints: 19263
501.34/502.79 c #Conflicts: 117000 | #Constraints: 20263
501.34/502.79 c #Conflicts: 118000 | #Constraints: 21263
501.34/502.79 c INPROCESSING
501.34/502.79 c GARBAGE COLLECT
501.34/502.79 c #Conflicts: 119000 | #Constraints: 12547
501.34/502.79 c #Conflicts: 120000 | #Constraints: 13547
501.34/502.79 c #Conflicts: 121000 | #Constraints: 14547
501.34/502.79 c #Conflicts: 122000 | #Constraints: 15547
501.34/502.79 c #Conflicts: 123000 | #Constraints: 16547
501.34/502.79 c #Conflicts: 124000 | #Constraints: 17547
501.34/502.79 c #Conflicts: 125000 | #Constraints: 18547
501.34/502.79 c #Conflicts: 126000 | #Constraints: 19547
501.34/502.79 c #Conflicts: 127000 | #Constraints: 20547
501.34/502.79 c #Conflicts: 128000 | #Constraints: 21547
501.34/502.79 c INPROCESSING
501.34/502.79 c GARBAGE COLLECT
501.34/502.79 c #Conflicts: 129000 | #Constraints: 12932
501.34/502.79 c #Conflicts: 130000 | #Constraints: 13932
501.34/502.79 c #Conflicts: 131000 | #Constraints: 14932
501.34/502.79 c #Conflicts: 132000 | #Constraints: 15932
501.34/502.79 c GLOBAL bounds - >= 13623849997 @ 496.383
501.44/502.84 c GLOBAL bounds - >= 13623849997 @ 496.433
501.44/502.85 c GLOBAL bounds - >= 13623849997 @ 496.435
501.44/502.85 c GLOBAL bounds - >= 13623849997 @ 496.437
501.44/502.89 c GLOBAL bounds - >= 13623849997 @ 496.471
501.44/502.89 c GLOBAL bounds - >= 13623849997 @ 496.474
501.54/502.93 c GLOBAL bounds - >= 13623849997 @ 496.508
501.54/502.94 c GLOBAL bounds - >= 13623849997 @ 496.512
501.54/502.97 c GLOBAL bounds - >= 13623849997 @ 496.543
501.54/502.98 c GLOBAL bounds - >= 13623849997 @ 496.545
501.64/503.02 c GLOBAL bounds - >= 13623849997 @ 496.578
501.64/503.02 c GLOBAL bounds - >= 13623849997 @ 496.581
501.64/503.06 c GLOBAL bounds - >= 13623849997 @ 496.614
501.64/503.06 c GLOBAL bounds - >= 13623849997 @ 496.617
501.75/503.10 c GLOBAL bounds - >= 13623849997 @ 496.651
501.75/503.11 c GLOBAL bounds - >= 13623849997 @ 496.655
501.75/503.14 c GLOBAL bounds - >= 13623849997 @ 496.688
501.75/503.15 c GLOBAL bounds - >= 13623849997 @ 496.69
501.75/503.18 c GLOBAL bounds - >= 13623849997 @ 496.724
501.75/503.19 c GLOBAL bounds - >= 13623849997 @ 496.726
501.84/503.23 c GLOBAL bounds - >= 13623849997 @ 496.76
501.84/503.23 c GLOBAL bounds - >= 13623849997 @ 496.762
501.84/503.27 c GLOBAL bounds - >= 13623849997 @ 496.796
501.94/503.31 c GLOBAL bounds - >= 13623849997 @ 496.83
501.94/503.34 c GLOBAL bounds - >= 13623849997 @ 496.863
502.74/504.16 c GLOBAL bounds - >= 13623849997 @ 497.674
851.67/853.99 c #Conflicts: 133000 | #Constraints: 16961
851.67/853.99 c #Conflicts: 134000 | #Constraints: 17961
851.67/853.99 c #Conflicts: 135000 | #Constraints: 18961
851.67/853.99 c #Conflicts: 136000 | #Constraints: 19961
851.67/853.99 c #Conflicts: 137000 | #Constraints: 20961
851.67/853.99 c #Conflicts: 138000 | #Constraints: 21961
851.67/853.99 c #Conflicts: 139000 | #Constraints: 22961
851.67/853.99 c #Conflicts: 140000 | #Constraints: 23961
851.67/853.99 c #Conflicts: 141000 | #Constraints: 24961
851.67/853.99 c #Conflicts: 142000 | #Constraints: 25961
851.67/853.99 c #Conflicts: 143000 | #Constraints: 26961
851.67/853.99 c #Conflicts: 144000 | #Constraints: 27961
851.67/853.99 c #Conflicts: 145000 | #Constraints: 28961
851.67/853.99 c #Conflicts: 146000 | #Constraints: 29961
851.67/853.99 c #Conflicts: 147000 | #Constraints: 30961
851.67/853.99 c #Conflicts: 148000 | #Constraints: 31961
851.67/853.99 c #Conflicts: 149000 | #Constraints: 32961
851.67/853.99 c #Conflicts: 150000 | #Constraints: 33961
851.67/853.99 c #Conflicts: 151000 | #Constraints: 34961
851.67/853.99 c #Conflicts: 152000 | #Constraints: 35961
851.67/853.99 c #Conflicts: 153000 | #Constraints: 36961
851.67/853.99 c INPROCESSING
851.67/853.99 c GARBAGE COLLECT
851.67/853.99 c #Conflicts: 154000 | #Constraints: 20655
851.67/853.99 c #Conflicts: 155000 | #Constraints: 21655
851.67/853.99 c #Conflicts: 156000 | #Constraints: 22655
851.67/853.99 c #Conflicts: 157000 | #Constraints: 23655
851.67/853.99 c #Conflicts: 158000 | #Constraints: 24655
851.67/853.99 c #Conflicts: 159000 | #Constraints: 25655
851.67/853.99 c #Conflicts: 160000 | #Constraints: 26655
851.67/853.99 c #Conflicts: 161000 | #Constraints: 27655
851.67/853.99 c #Conflicts: 162000 | #Constraints: 28655
851.67/853.99 c #Conflicts: 163000 | #Constraints: 29655
851.67/853.99 c INPROCESSING
851.67/853.99 c GARBAGE COLLECT
851.67/853.99 c #Conflicts: 164000 | #Constraints: 16604
851.67/853.99 c #Conflicts: 165000 | #Constraints: 17604
851.67/853.99 c #Conflicts: 166000 | #Constraints: 18604
851.67/853.99 c #Conflicts: 167000 | #Constraints: 19604
851.67/853.99 c #Conflicts: 168000 | #Constraints: 20604
851.67/853.99 c #Conflicts: 169000 | #Constraints: 21604
851.67/853.99 c #Conflicts: 170000 | #Constraints: 22604
851.67/853.99 c #Conflicts: 171000 | #Constraints: 23604
851.67/853.99 c GLOBAL bounds - >= 13623850005 @ 846.216
851.77/854.06 c GLOBAL bounds - >= 13623850005 @ 846.287
851.86/854.12 c GLOBAL bounds - >= 13623850005 @ 846.336
851.86/854.12 c GLOBAL bounds - >= 13623850005 @ 846.339
851.86/854.18 c GLOBAL bounds - >= 13623850005 @ 846.389
851.86/854.18 c GLOBAL bounds - >= 13623850005 @ 846.393
851.96/854.23 c GLOBAL bounds - >= 13623850005 @ 846.439
851.96/854.24 c GLOBAL bounds - >= 13623850005 @ 846.442
851.96/854.29 c GLOBAL bounds - >= 13623850005 @ 846.492
852.06/854.30 c GLOBAL bounds - >= 13623850005 @ 846.495
852.06/854.35 c GLOBAL bounds - >= 13623850005 @ 846.543
852.06/854.36 c GLOBAL bounds - >= 13623850005 @ 846.546
852.16/854.41 c GLOBAL bounds - >= 13623850005 @ 846.595
852.16/854.42 c GLOBAL bounds - >= 13623850005 @ 846.597
852.16/854.47 c GLOBAL bounds - >= 13623850005 @ 846.649
852.16/854.48 c GLOBAL bounds - >= 13623850005 @ 846.652
852.27/854.53 c GLOBAL bounds - >= 13623850005 @ 846.702
852.27/854.53 c GLOBAL bounds - >= 13623850005 @ 846.704
852.27/854.59 c GLOBAL bounds - >= 13623850005 @ 846.755
852.27/854.59 c GLOBAL bounds - >= 13623850005 @ 846.758
852.37/854.65 c GLOBAL bounds - >= 13623850005 @ 846.808
852.47/854.70 c GLOBAL bounds - >= 13623850005 @ 846.86
852.47/854.76 c GLOBAL bounds - >= 13623850005 @ 846.911
852.56/854.81 c GLOBAL bounds - >= 13623850005 @ 846.963
1514.29/1518.30 c #Conflicts: 172000 | #Constraints: 24634
1514.29/1518.30 c #Conflicts: 173000 | #Constraints: 25634
1514.29/1518.30 c #Conflicts: 174000 | #Constraints: 26634
1514.29/1518.30 c INPROCESSING
1514.29/1518.30 c GARBAGE COLLECT
1514.29/1518.30 c #Conflicts: 175000 | #Constraints: 15093
1514.29/1518.30 c #Conflicts: 176000 | #Constraints: 16093
1514.29/1518.30 c #Conflicts: 177000 | #Constraints: 17093
1514.29/1518.30 c #Conflicts: 178000 | #Constraints: 18093
1514.29/1518.30 c #Conflicts: 179000 | #Constraints: 19093
1514.29/1518.30 c #Conflicts: 180000 | #Constraints: 20093
1514.29/1518.30 c #Conflicts: 181000 | #Constraints: 21093
1514.29/1518.30 c #Conflicts: 182000 | #Constraints: 22093
1514.29/1518.30 c #Conflicts: 183000 | #Constraints: 23093
1514.29/1518.30 c #Conflicts: 184000 | #Constraints: 24093
1514.29/1518.30 c #Conflicts: 185000 | #Constraints: 25093
1514.29/1518.30 c #Conflicts: 186000 | #Constraints: 26093
1514.29/1518.30 c INPROCESSING
1514.29/1518.30 c GARBAGE COLLECT
1514.29/1518.30 c #Conflicts: 187000 | #Constraints: 15236
1514.29/1518.30 c #Conflicts: 188000 | #Constraints: 16236
1514.29/1518.30 c #Conflicts: 189000 | #Constraints: 17236
1514.29/1518.30 c #Conflicts: 190000 | #Constraints: 18236
1514.29/1518.30 c #Conflicts: 191000 | #Constraints: 19236
1514.29/1518.30 c #Conflicts: 192000 | #Constraints: 20236
1514.29/1518.30 c #Conflicts: 193000 | #Constraints: 21236
1514.29/1518.30 c #Conflicts: 194000 | #Constraints: 22236
1514.29/1518.30 c #Conflicts: 195000 | #Constraints: 23236
1514.29/1518.30 c #Conflicts: 196000 | #Constraints: 24236
1514.29/1518.30 c #Conflicts: 197000 | #Constraints: 25236
1514.29/1518.30 c INPROCESSING
1514.29/1518.30 c GARBAGE COLLECT
1514.29/1518.30 c #Conflicts: 198000 | #Constraints: 14605
1514.29/1518.30 c #Conflicts: 199000 | #Constraints: 15605
1514.29/1518.30 c #Conflicts: 200000 | #Constraints: 16605
1514.29/1518.30 c #Conflicts: 201000 | #Constraints: 17605
1514.29/1518.30 c #Conflicts: 202000 | #Constraints: 18605
1514.29/1518.30 c #Conflicts: 203000 | #Constraints: 19605
1514.29/1518.30 c #Conflicts: 204000 | #Constraints: 20605
1514.29/1518.30 c #Conflicts: 205000 | #Constraints: 21605
1514.29/1518.30 c #Conflicts: 206000 | #Constraints: 22605
1514.29/1518.30 c #Conflicts: 207000 | #Constraints: 23605
1514.29/1518.30 c #Conflicts: 208000 | #Constraints: 24605
1514.29/1518.30 c #Conflicts: 209000 | #Constraints: 25605
1514.29/1518.30 c #Conflicts: 210000 | #Constraints: 26605
1514.29/1518.30 c #Conflicts: 211000 | #Constraints: 27605
1514.29/1518.30 c #Conflicts: 212000 | #Constraints: 28605
1514.29/1518.30 c #Conflicts: 213000 | #Constraints: 29605
1514.29/1518.30 c #Conflicts: 214000 | #Constraints: 30605
1514.29/1518.30 c #Conflicts: 215000 | #Constraints: 31605
1514.29/1518.30 c #Conflicts: 216000 | #Constraints: 32605
1514.29/1518.30 c #Conflicts: 217000 | #Constraints: 33605
1514.29/1518.30 c #Conflicts: 218000 | #Constraints: 34605
1514.29/1518.30 c #Conflicts: 219000 | #Constraints: 35605
1514.29/1518.30 c #Conflicts: 220000 | #Constraints: 36605
1514.29/1518.30 c #Conflicts: 221000 | #Constraints: 37605
1514.29/1518.30 c #Conflicts: 222000 | #Constraints: 38605
1514.29/1518.30 c #Conflicts: 223000 | #Constraints: 39605
1514.29/1518.30 c #Conflicts: 224000 | #Constraints: 40605
1514.29/1518.30 c #Conflicts: 225000 | #Constraints: 41605
1514.29/1518.30 c #Conflicts: 226000 | #Constraints: 42605
1514.29/1518.30 c #Conflicts: 227000 | #Constraints: 43605
1514.29/1518.30 c #Conflicts: 228000 | #Constraints: 44605
1514.29/1518.30 c INPROCESSING
1514.29/1518.30 c GARBAGE COLLECT
1514.29/1518.30 c #Conflicts: 229000 | #Constraints: 24086
1514.29/1518.30 c #Conflicts: 230000 | #Constraints: 25086
1514.29/1518.30 c #Conflicts: 231000 | #Constraints: 26086
1514.29/1518.30 c #Conflicts: 232000 | #Constraints: 27086
1514.29/1518.30 c #Conflicts: 233000 | #Constraints: 28086
1514.29/1518.30 c GLOBAL bounds - >= 13623850012 @ 1508.13
1514.29/1518.39 c GLOBAL bounds - >= 13623850012 @ 1508.21
1514.29/1518.39 c GLOBAL bounds - >= 13623850012 @ 1508.22
1514.39/1518.40 c GLOBAL bounds - >= 13623850012 @ 1508.22
1514.39/1518.40 c GLOBAL bounds - >= 13623850012 @ 1508.22
1514.39/1518.47 c GLOBAL bounds - >= 13623850012 @ 1508.28
1514.39/1518.47 c GLOBAL bounds - >= 13623850012 @ 1508.29
1514.50/1518.54 c GLOBAL bounds - >= 13623850012 @ 1508.35
1514.50/1518.54 c GLOBAL bounds - >= 13623850012 @ 1508.35
1514.59/1518.61 c GLOBAL bounds - >= 13623850012 @ 1508.41
1514.59/1518.61 c GLOBAL bounds - >= 13623850012 @ 1508.41
1514.59/1518.68 c GLOBAL bounds - >= 13623850012 @ 1508.47
1514.59/1518.68 c GLOBAL bounds - >= 13623850012 @ 1508.48
1514.69/1518.75 c GLOBAL bounds - >= 13623850012 @ 1508.54
1514.69/1518.75 c GLOBAL bounds - >= 13623850012 @ 1508.54
1514.79/1518.82 c GLOBAL bounds - >= 13623850012 @ 1508.6
1514.79/1518.82 c GLOBAL bounds - >= 13623850012 @ 1508.61
1514.79/1518.89 c GLOBAL bounds - >= 13623850012 @ 1508.67
1514.79/1518.89 c GLOBAL bounds - >= 13623850012 @ 1508.67
1514.89/1518.96 c GLOBAL bounds - >= 13623850012 @ 1508.73
1514.89/1518.96 c GLOBAL bounds - >= 13623850012 @ 1508.74
1515.00/1519.03 c GLOBAL bounds - >= 13623850012 @ 1508.8
1515.00/1519.03 c GLOBAL bounds - >= 13623850012 @ 1508.8
1515.00/1519.10 c GLOBAL bounds - >= 13623850012 @ 1508.86
1515.10/1519.17 c GLOBAL bounds - >= 13623850012 @ 1508.93
1964.50/1969.83 c #Conflicts: 234000 | #Constraints: 29119
1964.50/1969.83 c #Conflicts: 235000 | #Constraints: 30119
1964.50/1969.83 c #Conflicts: 236000 | #Constraints: 31119
1964.50/1969.83 c #Conflicts: 237000 | #Constraints: 32119
1964.50/1969.83 c #Conflicts: 238000 | #Constraints: 33119
1964.50/1969.83 c #Conflicts: 239000 | #Constraints: 34119
1964.50/1969.83 c #Conflicts: 240000 | #Constraints: 35119
1964.50/1969.83 c #Conflicts: 241000 | #Constraints: 36119
1964.50/1969.83 c INPROCESSING
1964.50/1969.83 c GARBAGE COLLECT
1964.50/1969.83 c #Conflicts: 242000 | #Constraints: 20007
1964.50/1969.83 c #Conflicts: 243000 | #Constraints: 21007
1964.50/1969.83 c #Conflicts: 244000 | #Constraints: 22007
1964.50/1969.83 c #Conflicts: 245000 | #Constraints: 23007
1964.50/1969.83 c #Conflicts: 246000 | #Constraints: 24007
1964.50/1969.83 c #Conflicts: 247000 | #Constraints: 25007
1964.50/1969.83 c #Conflicts: 248000 | #Constraints: 26007
1964.50/1969.83 c #Conflicts: 249000 | #Constraints: 27007
1964.50/1969.83 c #Conflicts: 250000 | #Constraints: 28007
1964.50/1969.83 c #Conflicts: 251000 | #Constraints: 29007
1964.50/1969.83 c #Conflicts: 252000 | #Constraints: 30007
1964.50/1969.83 c #Conflicts: 253000 | #Constraints: 31007
1964.50/1969.83 c #Conflicts: 254000 | #Constraints: 32007
1964.50/1969.83 c INPROCESSING
1964.50/1969.83 c GARBAGE COLLECT
1964.50/1969.83 c #Conflicts: 255000 | #Constraints: 17999
1964.50/1969.83 c #Conflicts: 256000 | #Constraints: 18999
1964.50/1969.83 c #Conflicts: 257000 | #Constraints: 19999
1964.50/1969.83 c #Conflicts: 258000 | #Constraints: 20999
1964.50/1969.83 c #Conflicts: 259000 | #Constraints: 21999
1964.50/1969.83 c #Conflicts: 260000 | #Constraints: 22999
1964.50/1969.83 c #Conflicts: 261000 | #Constraints: 23999
1964.50/1969.83 c #Conflicts: 262000 | #Constraints: 24999
1964.50/1969.83 c #Conflicts: 263000 | #Constraints: 25999
1964.50/1969.83 c #Conflicts: 264000 | #Constraints: 26999
1964.50/1969.83 c #Conflicts: 265000 | #Constraints: 27999
1964.50/1969.83 c #Conflicts: 266000 | #Constraints: 28999
1964.50/1969.83 c #Conflicts: 267000 | #Constraints: 29999
1964.50/1969.83 c #Conflicts: 268000 | #Constraints: 30999
1964.50/1969.83 c #Conflicts: 269000 | #Constraints: 31999
1964.50/1969.83 c #Conflicts: 270000 | #Constraints: 32999
1964.50/1969.83 c #Conflicts: 271000 | #Constraints: 33999
1964.50/1969.83 c #Conflicts: 272000 | #Constraints: 34999
1964.50/1969.83 c #Conflicts: 273000 | #Constraints: 35999
1964.50/1969.83 c #Conflicts: 274000 | #Constraints: 36999
1964.50/1969.83 c #Conflicts: 275000 | #Constraints: 37999
1964.50/1969.83 c #Conflicts: 276000 | #Constraints: 38999
1964.50/1969.83 c #Conflicts: 277000 | #Constraints: 39999
1964.50/1969.83 c #Conflicts: 278000 | #Constraints: 40999
1964.50/1969.83 c #Conflicts: 279000 | #Constraints: 41999
1964.50/1969.83 c #Conflicts: 280000 | #Constraints: 42999
1964.50/1969.83 c GLOBAL bounds - >= 13623850021 @ 1957.97
1964.60/1969.97 c GLOBAL bounds - >= 13623850021 @ 1958.1
1964.60/1969.97 c GLOBAL bounds - >= 13623850021 @ 1958.1
1964.70/1970.07 c GLOBAL bounds - >= 13623850021 @ 1958.2
1964.70/1970.08 c GLOBAL bounds - >= 13623850021 @ 1958.21
1964.81/1970.18 c GLOBAL bounds - >= 13623850021 @ 1958.3
1964.81/1970.18 c GLOBAL bounds - >= 13623850021 @ 1958.3
1964.90/1970.28 c GLOBAL bounds - >= 13623850021 @ 1958.4
1964.90/1970.28 c GLOBAL bounds - >= 13623850021 @ 1958.4
1965.00/1970.38 c GLOBAL bounds - >= 13623850021 @ 1958.5
1965.00/1970.39 c GLOBAL bounds - >= 13623850021 @ 1958.5
1965.09/1970.49 c GLOBAL bounds - >= 13623850021 @ 1958.59
1965.09/1970.49 c GLOBAL bounds - >= 13623850021 @ 1958.6
1965.20/1970.59 c GLOBAL bounds - >= 13623850021 @ 1958.69
1965.30/1970.60 c GLOBAL bounds - >= 13623850021 @ 1958.69
1965.40/1970.70 c GLOBAL bounds - >= 13623850021 @ 1958.79
1965.40/1970.70 c GLOBAL bounds - >= 13623850021 @ 1958.8
1965.50/1970.80 c GLOBAL bounds - >= 13623850021 @ 1958.89
1965.50/1970.81 c GLOBAL bounds - >= 13623850021 @ 1958.9
1965.59/1970.91 c GLOBAL bounds - >= 13623850021 @ 1958.99
1965.59/1970.91 c GLOBAL bounds - >= 13623850021 @ 1958.99
1965.70/1971.02 c GLOBAL bounds - >= 13623850021 @ 1959.09
1965.90/1971.27 c GLOBAL bounds - >= 13623850021 @ 1959.34
1966.19/1971.51 c GLOBAL bounds - >= 13623850021 @ 1959.58
1966.79/1972.15 c GLOBAL bounds - >= 13623850021 @ 1960.22
2672.51/2679.81 c #Conflicts: 281000 | #Constraints: 44048
2672.51/2679.81 c #Conflicts: 282000 | #Constraints: 45048
2672.51/2679.81 c #Conflicts: 283000 | #Constraints: 46048
2672.51/2679.81 c #Conflicts: 284000 | #Constraints: 47048
2672.51/2679.81 c #Conflicts: 285000 | #Constraints: 48048
2672.51/2679.81 c #Conflicts: 286000 | #Constraints: 49048
2672.51/2679.81 c #Conflicts: 287000 | #Constraints: 50048
2672.51/2679.81 c #Conflicts: 288000 | #Constraints: 51048
2672.51/2679.81 c #Conflicts: 289000 | #Constraints: 52048
2672.51/2679.81 c #Conflicts: 290000 | #Constraints: 53048
2672.51/2679.81 c INPROCESSING
2672.51/2679.81 c GARBAGE COLLECT
2672.51/2679.81 c #Conflicts: 291000 | #Constraints: 28746
2672.51/2679.81 c #Conflicts: 292000 | #Constraints: 29746
2672.51/2679.81 c #Conflicts: 293000 | #Constraints: 30746
2672.51/2679.81 c #Conflicts: 294000 | #Constraints: 31746
2672.51/2679.81 c #Conflicts: 295000 | #Constraints: 32746
2672.51/2679.81 c #Conflicts: 296000 | #Constraints: 33746
2672.51/2679.81 c #Conflicts: 297000 | #Constraints: 34746
2672.51/2679.81 c #Conflicts: 298000 | #Constraints: 35746
2672.51/2679.81 c #Conflicts: 299000 | #Constraints: 36746
2672.51/2679.81 c #Conflicts: 300000 | #Constraints: 37746
2672.51/2679.81 c #Conflicts: 301000 | #Constraints: 38746
2672.51/2679.81 c #Conflicts: 302000 | #Constraints: 39746
2672.51/2679.81 c #Conflicts: 303000 | #Constraints: 40746
2672.51/2679.81 c #Conflicts: 304000 | #Constraints: 41746
2672.51/2679.81 c INPROCESSING
2672.51/2679.81 c GARBAGE COLLECT
2672.51/2679.81 c #Conflicts: 305000 | #Constraints: 23001
2672.51/2679.81 c #Conflicts: 306000 | #Constraints: 24001
2672.51/2679.81 c #Conflicts: 307000 | #Constraints: 25001
2672.51/2679.81 c #Conflicts: 308000 | #Constraints: 26001
2672.51/2679.81 c #Conflicts: 309000 | #Constraints: 27001
2672.51/2679.81 c #Conflicts: 310000 | #Constraints: 28001
2672.51/2679.81 c #Conflicts: 311000 | #Constraints: 29001
2672.51/2679.81 c #Conflicts: 312000 | #Constraints: 30001
2672.51/2679.81 c #Conflicts: 313000 | #Constraints: 31001
2672.51/2679.81 c #Conflicts: 314000 | #Constraints: 32001
2672.51/2679.81 c #Conflicts: 315000 | #Constraints: 33001
2672.51/2679.81 c #Conflicts: 316000 | #Constraints: 34001
2672.51/2679.81 c #Conflicts: 317000 | #Constraints: 35001
2672.51/2679.81 c #Conflicts: 318000 | #Constraints: 36001
2672.51/2679.81 c INPROCESSING
2672.51/2679.81 c GARBAGE COLLECT
2672.51/2679.81 c #Conflicts: 319000 | #Constraints: 19929
2672.51/2679.81 c #Conflicts: 320000 | #Constraints: 20929
2672.51/2679.81 c #Conflicts: 321000 | #Constraints: 21929
2672.51/2679.81 c #Conflicts: 322000 | #Constraints: 22929
2672.51/2679.81 c #Conflicts: 323000 | #Constraints: 23929
2672.51/2679.81 c #Conflicts: 324000 | #Constraints: 24929
2672.51/2679.81 c #Conflicts: 325000 | #Constraints: 25929
2672.51/2679.81 c #Conflicts: 326000 | #Constraints: 26929
2672.51/2679.81 c #Conflicts: 327000 | #Constraints: 27929
2672.51/2679.81 c #Conflicts: 328000 | #Constraints: 28929
2672.51/2679.81 c #Conflicts: 329000 | #Constraints: 29929
2672.51/2679.81 c #Conflicts: 330000 | #Constraints: 30929
2672.51/2679.81 c #Conflicts: 331000 | #Constraints: 31929
2672.51/2679.81 c #Conflicts: 332000 | #Constraints: 32929
2672.51/2679.81 c #Conflicts: 333000 | #Constraints: 33929
2672.51/2679.81 c INPROCESSING
2672.51/2679.81 c GARBAGE COLLECT
2672.51/2679.81 c #Conflicts: 334000 | #Constraints: 19095
2672.51/2679.81 c #Conflicts: 335000 | #Constraints: 20095
2672.51/2679.81 c #Conflicts: 336000 | #Constraints: 21095
2672.51/2679.81 c #Conflicts: 337000 | #Constraints: 22095
2672.51/2679.81 c #Conflicts: 338000 | #Constraints: 23095
2672.51/2679.81 c #Conflicts: 339000 | #Constraints: 24095
2672.51/2679.81 c #Conflicts: 340000 | #Constraints: 25095
2672.51/2679.81 c #Conflicts: 341000 | #Constraints: 26095
2672.51/2679.81 c #Conflicts: 342000 | #Constraints: 27095
2672.51/2679.81 c #Conflicts: 343000 | #Constraints: 28095
2672.51/2679.81 c #Conflicts: 344000 | #Constraints: 29095
2672.51/2679.81 c #Conflicts: 345000 | #Constraints: 30095
2672.51/2679.81 c #Conflicts: 346000 | #Constraints: 31095
2672.51/2679.81 c #Conflicts: 347000 | #Constraints: 32095
2672.51/2679.81 c #Conflicts: 348000 | #Constraints: 33095
2672.51/2679.81 c #Conflicts: 349000 | #Constraints: 34095
2672.51/2679.81 c #Conflicts: 350000 | #Constraints: 35095
2672.51/2679.81 c #Conflicts: 351000 | #Constraints: 36095
2672.51/2679.81 c #Conflicts: 352000 | #Constraints: 37095
2672.51/2679.81 c #Conflicts: 353000 | #Constraints: 38095
2672.51/2679.81 c #Conflicts: 354000 | #Constraints: 39095
2672.51/2679.81 c #Conflicts: 355000 | #Constraints: 40095
2672.51/2679.81 c #Conflicts: 356000 | #Constraints: 41095
2672.51/2679.81 c #Conflicts: 357000 | #Constraints: 42095
3600.04/3609.90 c #Conflicts: 358000 | #Constraints: 43095
3600.04/3609.90 c #Conflicts: 359000 | #Constraints: 44095
3600.04/3609.90 c #Conflicts: 360000 | #Constraints: 45095
3600.04/3609.90 c #Conflicts: 361000 | #Constraints: 46095
3600.04/3609.90 c #Conflicts: 362000 | #Constraints: 47095
3600.04/3609.90 c #Conflicts: 363000 | #Constraints: 48095
3600.04/3609.90 c #Conflicts: 364000 | #Constraints: 49095
3600.04/3609.90 c #Conflicts: 365000 | #Constraints: 50095
3600.04/3609.90 c #Conflicts: 366000 | #Constraints: 51095
3600.04/3609.90 c #Conflicts: 367000 | #Constraints: 52095
3600.04/3609.90 c #Conflicts: 368000 | #Constraints: 53095
3600.04/3609.90 c #Conflicts: 369000 | #Constraints: 54095
3600.04/3609.90 c #Conflicts: 370000 | #Constraints: 55095
3600.04/3609.90 c #Conflicts: 371000 | #Constraints: 56095
3600.04/3609.90 c #Conflicts: 372000 | #Constraints: 57095
3600.04/3609.90 c #Conflicts: 373000 | #Constraints: 58095
3600.04/3609.90 c #Conflicts: 374000 | #Constraints: 59095
3600.04/3609.90 c INPROCESSING
3600.04/3609.90 c GARBAGE COLLECT
3600.04/3609.90 c #Conflicts: 375000 | #Constraints: 31728
3600.04/3609.90 c #Conflicts: 376000 | #Constraints: 32728
3600.04/3609.90 c #Conflicts: 377000 | #Constraints: 33728
3600.04/3609.90 c #Conflicts: 378000 | #Constraints: 34728
3600.04/3609.90 c #Conflicts: 379000 | #Constraints: 35728
3600.04/3609.90 c #Conflicts: 380000 | #Constraints: 36728
3600.04/3609.90 c #Conflicts: 381000 | #Constraints: 37728
3600.04/3609.90 c #Conflicts: 382000 | #Constraints: 38728
3600.04/3609.90 c #Conflicts: 383000 | #Constraints: 39728
3600.04/3609.90 c #Conflicts: 384000 | #Constraints: 40728
3600.04/3609.90 c #Conflicts: 385000 | #Constraints: 41728
3600.04/3609.90 c #Conflicts: 386000 | #Constraints: 42728
3600.04/3609.90 c cpu time 3592.18 s
3600.04/3609.90 c deterministic time 38160657 3.82e+07
3600.04/3609.90 c optimization time 3590.92 s
3600.04/3609.90 c total solve time 1.16971 s
3600.04/3609.90 c core-guided solve time 0 s
3600.04/3609.90 c propagation time 0.705783 s
3600.04/3609.90 c conflict analysis time 0.154988 s
3600.04/3609.90 c propagations 1542451
3600.04/3609.90 c resolve steps 0
3600.04/3609.90 c decisions 2226590
3600.04/3609.90 c conflicts 479
3600.04/3609.90 c restarts 4
3600.04/3609.90 c inprocessing phases 0
3600.04/3609.90 c garbage collections 0 ,( -nan )
3600.04/3609.90 c input clauses 32804 ,( 97.62 )
3600.04/3609.90 c input cardinalities 314 ,( 0.93 )
3600.04/3609.90 c input general constraints 485 ,( 1.44 )
3600.04/3609.90 c input average constraint length 41.45
3600.04/3609.90 c input average constraint degree 41842717829.43
3600.04/3609.90 c learned clauses 484 ,( 99.79 )
3600.04/3609.90 c learned cardinalities 0 ,( 0.00 )
3600.04/3609.90 c learned general constraints 1 ,( 0.21 )
3600.04/3609.90 c learned average constraint length 3.94
3600.04/3609.90 c learned average constraint degree 1.00
3600.04/3609.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3609.90 c counting CF 32, 64, 128, Arb: 94 , 393 , 0 , 0
3600.04/3609.90 c watched constraints 0 ,( 0.00 )
3600.04/3609.90 c counting constraints 486 ,( 100.00 )
3600.04/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 706908 , 4175 , 17040006 ,( 0 , 17040006 )
3600.04/3609.90 c gcd simplifications 0
3600.04/3609.90 c detected cardinalities 0
3600.04/3609.90 c weakened non-implied lits 0
3600.04/3609.90 c weakened non-implying lits 0
3600.04/3609.90 c original variables 7905
3600.04/3609.90 c clausal propagations 696828
3600.04/3609.90 c cardinality propagations 1292
3600.04/3609.90 c watched propagations 0
3600.04/3609.90 c counting propagations 137563
3600.04/3609.90 c watch lookups 29501232
3600.04/3609.90 c watch backjump lookups 0
3600.04/3609.90 c watch checks 235782
3600.04/3609.90 c propagation checks 871050
3600.04/3609.90 c constraint additions 12119
3600.04/3609.90 c trail pops 3768432
3600.04/3609.90 c formula constraints 32177
3600.04/3609.90 c learned constraints 485
3600.04/3609.90 c bound constraints 0
3600.04/3609.90 c core-guided constraints 0
3600.04/3609.90 c encountered formula constraints 479
3600.04/3609.90 c encountered learned constraints 0
3600.04/3609.90 c encountered bound constraints 0
3600.04/3609.90 c encountered core-guided constraints 0
3600.04/3609.90 c LP total time 0.136588 s
3600.04/3609.90 c LP solve time 0.12 s
3600.04/3609.90 c LP constraints added 32177
3600.04/3609.90 c LP constraints removed 0
3600.04/3609.90 c LP pivots internal 2000
3600.04/3609.90 c LP pivots root 1000
3600.04/3609.90 c LP calls 2
3600.04/3609.90 c LP optimalities 0
3600.04/3609.90 c LP no pivot count 0
3600.04/3609.90 c LP infeasibilities 0
3600.04/3609.90 c LP valid Farkas constraints 0
3600.04/3609.90 c LP learned Farkas constraints 0
3600.04/3609.90 c LP basis resets 0
3600.04/3609.90 c LP cycling count 0
3600.04/3609.90 c LP singular count 0
3600.04/3609.90 c LP no primal count 0
3600.04/3609.90 c LP no farkas count 0
3600.04/3609.90 c LP other issue count 0
3600.04/3609.90 c LP Gomory cuts 0
3600.04/3609.90 c LP learned cuts 0
3600.04/3609.90 c LP deleted cuts 0
3600.04/3609.90 c LP encountered Gomory constraints 0
3600.04/3609.90 c LP encountered Farkas constraints 0
3600.04/3609.90 c LP encountered learned Farkas constraints 0
3600.04/3609.90 c CG auxiliary variables introduced 500
3600.04/3609.90 c CG solutions found 0
3600.04/3609.90 c CG cores constructed 634
3600.04/3609.90 c CG core cardinality constraints returned 0
3600.04/3609.90 c CG unit cores 149
3600.04/3609.90 c CG single cores 0
3600.04/3609.90 c CG blocks removed during cardinality reduction 0
3600.04/3609.90 c CG first core best 0
3600.04/3609.90 c CG decision core best 0
3600.04/3609.90 c CG core reduction tie 0
3600.04/3609.90 c CG core degree average 0.00
3600.04/3609.90 c CG core slack average 0.00
3600.04/3609.90 c CG core upper bound improvements 0
3600.04/3609.90 c STR number of successful calls 0
3600.04/3609.90 c STR number of unsuccessful calls 0
3600.04/3609.90 c STR number of inconclusive calls 0
3600.04/3609.90 c STR number of successful attempts 0
3600.04/3609.90 c STR number of unsuccessful attempts 0
3600.04/3609.90 c STR number of inconclusive attempts 0
3600.04/3609.90 c STR average degree increase per successful call inf
3600.04/3609.90 c STR average degree increase per successful attempt inf
3600.04/3609.90 c STR total number of conflicts for successful attempts 0
3600.04/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.90 c STR average number of conflicts per successful attempt inf
3600.04/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.90 c AVG.sumWPerc 100.00
3600.04/3609.90 c bigint constraints 393
3600.04/3609.90 s UNKNOWN
3600.04/3609.90 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 (62251 MiB free)
memory of node 1: 64465 MiB (62480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500500-1751470034/watcher-4500500-1751470034 -o /tmp/evaluation-result-4500500-1751470034/solver-4500500-1751470034 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66043 --watchdog 3760 run-opt.sh HOME/instance-4500500-1751470034.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=66644, runsolver pid=66641
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.11 4.08 5/268 66656
/proc/meminfo: memFree=127734244/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=64012 memory=18264 CPUtime=0.08 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 2497 0 0 0 5 3 0 0 20 0 1 0 62679987 65548288 4566 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 16003 4566 2240 1147 0 3430 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68204 KiB
Current children cumulated memory: 21336 KiB
[startup+0.205378 s]*
/proc/loadavg: 4.11 4.11 4.08 5/268 66656
/proc/meminfo: memFree=127705276/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=102020 memory=53096 CPUtime=0.19 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 8509 0 0 0 14 5 0 0 20 0 1 0 62679987 104468480 13274 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 25505 13274 2368 1147 0 12932 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106212 KiB
Current children cumulated memory: 56168 KiB
[startup+0.305585 s]*
/proc/loadavg: 4.11 4.11 4.08 5/268 66656
/proc/meminfo: memFree=127697212/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=102624 memory=53224 CPUtime=0.28 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 8568 0 0 0 23 5 0 0 20 0 1 0 62679987 105086976 13306 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 25656 13306 2368 1147 0 13083 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 106816 KiB
Current children cumulated memory: 56296 KiB
[startup+0.700166 s]
/proc/loadavg: 4.11 4.11 4.08 5/268 66656
/proc/meminfo: memFree=127689148/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=111568 memory=62496 CPUtime=0.67 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 10938 0 0 0 38 29 0 0 20 0 1 0 62679987 114245632 15624 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 27892 15624 2400 1147 0 15319 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115760 KiB
Current children cumulated memory: 65568 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.11 4.08 5/268 66656
/proc/meminfo: memFree=127649080/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=127424 memory=80912 CPUtime=1.47 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 15010 0 0 0 77 70 0 0 20 0 1 0 62679987 130482176 20228 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 31856 20228 2400 1147 0 19283 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 131616 KiB
Current children cumulated memory: 83984 KiB
[startup+3.10453 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 66706
/proc/meminfo: memFree=127637360/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=189128 memory=134408 CPUtime=3.06 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 24824 0 0 0 190 116 0 0 20 0 1 0 62679987 193667072 33602 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 47282 33602 2400 1147 0 34709 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 193320 KiB
Current children cumulated memory: 137480 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.11 4.08 5/268 66748
/proc/meminfo: memFree=127493028/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=251224 memory=194308 CPUtime=6.26 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 37247 0 0 0 458 168 0 0 20 0 1 0 62679987 257253376 48577 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 62806 48577 2400 1147 0 50233 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 255416 KiB
Current children cumulated memory: 197380 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 66748
/proc/meminfo: memFree=127040816/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=678424 memory=542372 CPUtime=12.64 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 114667 0 0 0 1031 233 0 0 20 0 1 0 62679987 694706176 135593 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 169606 135593 2400 1147 0 157033 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 682616 KiB
Current children cumulated memory: 545444 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 66748
/proc/meminfo: memFree=126456224/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=904628 memory=766012 CPUtime=25.41 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 158824 0 0 0 2290 251 0 0 20 0 1 0 62679987 926339072 191503 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 226157 191503 2400 1147 0 213584 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 908820 KiB
Current children cumulated memory: 769084 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.11 4.08 5/268 66749
/proc/meminfo: memFree=126338956/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=910260 memory=793736 CPUtime=50.94 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 162681 0 0 0 4788 306 0 0 20 0 1 0 62679987 932106240 198434 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 227565 198434 2400 1147 0 214992 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 914452 KiB
Current children cumulated memory: 796808 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/268 66797
/proc/meminfo: memFree=125056352/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=1484940 memory=1194136 CPUtime=101.99 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 239797 0 0 0 9830 369 0 0 20 0 1 0 62679987 1520578560 298534 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 371235 298534 2400 1147 0 358662 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1489132 KiB
Current children cumulated memory: 1197208 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/269 66800
/proc/meminfo: memFree=124611908/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=1484940 memory=1194136 CPUtime=161.82 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 239802 0 0 0 15790 392 0 0 20 0 1 0 62679987 1520578560 298534 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 371235 298534 2400 1147 0 358662 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1489132 KiB
Current children cumulated memory: 1197208 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/269 66803
/proc/meminfo: memFree=124068804/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=1934208 memory=1592680 CPUtime=221.66 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 318695 0 0 0 21735 431 0 0 20 0 1 0 62679987 1980628992 398170 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 483552 398170 2400 1147 0 470979 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/66646/statm: 1026184 853557 2400 1147 0 1013611 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 4108928 KiB
Current children cumulated memory: 3417300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/267 66999
/proc/meminfo: memFree=116849860/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4105880 memory=3443232 CPUtime=3153.66 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 628154 0 0 0 314602 764 0 0 20 0 1 0 62679987 4204421120 860808 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1026470 860808 2400 1147 0 1013897 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 4110072 KiB
Current children cumulated memory: 3446304 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/268 67002
/proc/meminfo: memFree=116790308/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4107024 memory=3478116 CPUtime=3213.49 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 632776 0 0 0 320582 767 0 0 20 0 1 0 62679987 4205592576 869529 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1026756 869529 2400 1147 0 1014183 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 4111216 KiB
Current children cumulated memory: 3481188 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/268 67004
/proc/meminfo: memFree=116744224/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4108348 memory=3525172 CPUtime=3273.33 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 639586 0 0 0 326560 773 0 0 20 0 1 0 62679987 4206948352 881293 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1027087 881293 2400 1147 0 1014514 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 4112540 KiB
Current children cumulated memory: 3528244 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/268 67006
/proc/meminfo: memFree=116518100/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4108348 memory=3548488 CPUtime=3333.16 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 642729 0 0 0 332540 776 0 0 20 0 1 0 62679987 4206948352 887122 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1027087 887122 2400 1147 0 1014514 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 4112540 KiB
Current children cumulated memory: 3551560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.22 4.16 5/268 67008
/proc/meminfo: memFree=116477044/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4108348 memory=3548488 CPUtime=3393 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 642886 0 0 0 338522 778 0 0 20 0 1 0 62679987 4206948352 887122 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1027087 887122 2400 1147 0 1014514 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 4112540 KiB
Current children cumulated memory: 3551560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.21 4.16 5/268 67010
/proc/meminfo: memFree=114764232/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4108348 memory=3548488 CPUtime=3452.84 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 643509 0 0 0 344503 781 0 0 20 0 1 0 62679987 4206948352 887122 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1027087 887122 2400 1147 0 1014514 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 4112540 KiB
Current children cumulated memory: 3551560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.16 5/268 67013
/proc/meminfo: memFree=114769704/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4108348 memory=3548488 CPUtime=3512.67 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 643519 0 0 0 350485 782 0 0 20 0 1 0 62679987 4206948352 887122 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1027087 887122 2400 1147 0 1014514 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 4112540 KiB
Current children cumulated memory: 3551560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.15 4.14 5/267 67021
/proc/meminfo: memFree=114742980/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4108348 memory=3548488 CPUtime=3572.51 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 644308 0 0 0 356466 785 0 0 20 0 1 0 62679987 4206948352 887122 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1027087 887122 2400 1147 0 1014514 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 4112540 KiB
Current children cumulated memory: 3551560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.09 4.15 4.15 5/267 67023
/proc/meminfo: memFree=114684152/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4108348 memory=3548488 CPUtime=3600.04 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 644319 0 0 0 359218 786 0 0 20 0 1 0 62679987 4206948352 887122 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1027087 887122 2400 1147 0 1014514 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4112540 KiB
Current children cumulated memory: 3551560 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 66644 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002093 s
Sleeping 2 seconds
[startup+3609.97 s]
# the end of solver process 66646 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.19 s, system=7.92858 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.09 4.15 4.15 5/267 67023
/proc/meminfo: memFree=114684152/131250000 swapFree=33010672/33010684
[pid=66644] ppid=66641 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66644/stat : 66644 (run-opt.sh) S 66641 66644 66032 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62679987 4292608 768 18446744073709551615 94714167631872 94714168526405 140734738366256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94714168765456 94714168813200 94714197782528 140734738368877 140734738369000 140734738369000 140734738374602 0
/proc/66644/statm: 1048 768 704 219 0 110 0
[pid=66646] ppid=66644 vsize=4108348 memory=3548488 CPUtime=3600.04 cores=4,6
/proc/66646/stat : 66646 (roundingsat) R 66644 66644 66032 0 -1 4194304 644319 0 0 0 359218 786 0 0 20 0 1 0 62679987 4206948352 887122 18446744073709551615 4227072 8923433 140727378077824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36552704 140727378086306 140727378086440 140727378086440 140727378092010 0
/proc/66646/statm: 1027087 887122 2400 1147 0 1014514 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4112540 KiB
Current children cumulated memory: 3551560 KiB
Child status: 2
Real time (s): 3609.97
CPU time (s): 3600.12
CPU user time (s): 3592.19
CPU system time (s): 7.92858
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 4112540
Max. memory (cumulated for all children) (KiB): 3551560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.19
system time used= 7.92858
maximum resident set size= 3548872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644652
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= 266
involuntary context switches= 3288
# summary of solver processes directly reported to runsolver:
# pid: 66644,66646
# total CPU time (s): 3600.12
# total CPU user time (s): 3592.19
# total CPU system time (s): 7.92858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10589 second user time and 16.8201 second system time
The end
Begin job on nodeC014 at 2025-07-02 17:27:14
IDJOB=4500500
IDBENCH=150908
IDSOLVER=3350
FILE ID=nodeC014/4500500-1751470034
RUNJOBID= nodeC014-1751466415-66043
SLURM_JOB_ID= 9598484
Free space on /tmp= 430520 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500500-1751470034/watcher-4500500-1751470034 -o /tmp/evaluation-result-4500500-1751470034/solver-4500500-1751470034 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66043 --watchdog 3760 run-opt.sh HOME/instance-4500500-1751470034.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a14bf61ad1111286a795cfd2913f06d2
RANDOM SEED=860017912
nodeC014 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.323
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.23
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 : 3600.105
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.23
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.042
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.23
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 : 3788.320
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.23
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.592
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.23
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 : 3600.132
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.23
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 : 3675.297
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.23
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127726336 kB
MemAvailable: 129451588 kB
Buffers: 2508 kB
Cached: 2521040 kB
SwapCached: 4 kB
Active: 814876 kB
Inactive: 1973624 kB
Active(anon): 279164 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1969772 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11080 kB
Writeback: 0 kB
AnonPages: 268092 kB
Mapped: 113840 kB
Shmem: 18064 kB
KReclaimable: 118016 kB
Slab: 208388 kB
SReclaimable: 118016 kB
SUnreclaim: 90372 kB
KernelStack: 4240 kB
PageTables: 3616 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 596584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 122880 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430500 MiB
End job on nodeC014 at 2025-07-02 18:27:24