0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.35/1.46 c #variables 5048 #constraints 65280
1.35/1.46 c objective is ce32
1.75/1.81 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.75/1.81 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.75/1.81 c GLOBAL bounds - >= 0 @ 1.54947
1.85/1.94 c GLOBAL bounds - >= 0 @ 1.68196
1.85/1.95 c GLOBAL bounds - >= 0 @ 1.68779
1.85/1.96 c GLOBAL bounds - >= 0 @ 1.69447
1.85/1.96 c GLOBAL bounds - >= 0 @ 1.69998
1.85/1.98 c GLOBAL bounds - >= 0 @ 1.71441
1.85/1.99 c GLOBAL bounds - >= 0 @ 1.72458
1.85/2.01 c GLOBAL bounds - >= 0 @ 1.73405
1.96/2.02 c GLOBAL bounds - >= 0 @ 1.74109
1.96/2.04 c GLOBAL bounds - >= 0 @ 1.76441
1.96/2.05 c GLOBAL bounds - >= 0 @ 1.77315
1.96/2.07 c GLOBAL bounds - >= 0 @ 1.78672
1.96/2.09 c GLOBAL bounds - >= 0 @ 1.80876
2.06/2.11 c GLOBAL bounds - >= 0 @ 1.8248
2.06/2.13 c GLOBAL bounds - >= 0 @ 1.83767
2.06/2.14 c GLOBAL bounds - >= 0 @ 1.84773
2.06/2.15 c GLOBAL bounds - >= 0 @ 1.85542
2.06/2.17 c GLOBAL bounds - >= 0 @ 1.87315
2.06/2.19 c GLOBAL bounds - >= 0 @ 1.88471
2.15/2.21 c GLOBAL bounds - >= 0 @ 1.90146
2.15/2.22 c GLOBAL bounds - >= 0 @ 1.90989
2.15/2.24 c GLOBAL bounds - >= 0 @ 1.92291
2.15/2.25 c GLOBAL bounds - >= 0 @ 1.93568
2.15/2.27 c GLOBAL bounds - >= 0 @ 1.95126
2.15/2.28 c GLOBAL bounds - >= 0 @ 1.9618
2.15/2.29 c GLOBAL bounds - >= 0 @ 1.97266
2.24/2.31 c GLOBAL bounds - >= 0 @ 1.98565
2.24/2.32 c GLOBAL bounds - >= 0 @ 1.9982
2.24/2.33 c GLOBAL bounds - >= 0 @ 2.00567
2.24/2.35 c GLOBAL bounds - >= 0 @ 2.01959
2.24/2.36 c GLOBAL bounds - >= 0 @ 2.02506
2.24/2.37 c GLOBAL bounds - >= 0 @ 2.03301
2.24/2.39 c GLOBAL bounds - >= 0 @ 2.04394
2.35/2.40 c GLOBAL bounds - >= 0 @ 2.05123
2.35/2.41 c GLOBAL bounds - >= 0 @ 2.06225
2.35/2.42 c GLOBAL bounds - >= 0 @ 2.06941
2.35/2.43 c GLOBAL bounds - >= 0 @ 2.07874
2.35/2.44 c GLOBAL bounds - >= 0 @ 2.08673
2.35/2.45 c GLOBAL bounds - >= 0 @ 2.09465
2.35/2.46 c GLOBAL bounds - >= 0 @ 2.09957
2.35/2.47 c GLOBAL bounds - >= 0 @ 2.10767
2.35/2.48 c GLOBAL bounds - >= 0 @ 2.11363
2.35/2.49 c GLOBAL bounds - >= 0 @ 2.1218
2.45/2.50 c GLOBAL bounds - >= 0 @ 2.13028
2.45/2.51 c GLOBAL bounds - >= 0 @ 2.14048
2.45/2.53 c GLOBAL bounds - >= 0 @ 2.15121
2.45/2.54 c GLOBAL bounds - >= 0 @ 2.16562
2.45/2.56 c GLOBAL bounds - >= 0 @ 2.18143
2.45/2.57 c GLOBAL bounds - >= 0 @ 2.19152
2.45/2.59 c GLOBAL bounds - >= 0 @ 2.20102
2.55/2.60 c GLOBAL bounds - >= 0 @ 2.21155
2.55/2.61 c GLOBAL bounds - >= 0 @ 2.21985
2.55/2.62 c GLOBAL bounds - >= 0 @ 2.23029
2.55/2.64 c GLOBAL bounds - >= 0 @ 2.2376
2.55/2.65 c GLOBAL bounds - >= 0 @ 2.24507
2.55/2.66 c GLOBAL bounds - >= 0 @ 2.25308
2.55/2.67 c GLOBAL bounds - >= 0 @ 2.26049
2.55/2.68 c GLOBAL bounds - >= 0 @ 2.26906
2.55/2.69 c GLOBAL bounds - >= 0 @ 2.27732
2.65/2.70 c GLOBAL bounds - >= 0 @ 2.28557
2.65/2.72 c GLOBAL bounds - >= 0 @ 2.30229
2.65/2.74 c GLOBAL bounds - >= 0 @ 2.31533
2.65/2.76 c GLOBAL bounds - >= 0 @ 2.33039
2.65/2.77 c GLOBAL bounds - >= 0 @ 2.34037
2.65/2.79 c GLOBAL bounds - >= 0 @ 2.35124
2.75/2.80 c GLOBAL bounds - >= 0 @ 2.36094
2.75/2.81 c GLOBAL bounds - >= 0 @ 2.36965
2.75/2.82 c GLOBAL bounds - >= 0 @ 2.37853
2.75/2.83 c GLOBAL bounds - >= 0 @ 2.38522
2.75/2.84 c GLOBAL bounds - >= 0 @ 2.39488
2.75/2.85 c GLOBAL bounds - >= 0 @ 2.40264
2.75/2.86 c GLOBAL bounds - >= 0 @ 2.41032
2.75/2.87 c GLOBAL bounds - >= 0 @ 2.41702
2.75/2.88 c GLOBAL bounds - >= 0 @ 2.42664
2.75/2.90 c GLOBAL bounds - >= 0 @ 2.43343
2.84/2.91 c GLOBAL bounds - >= 0 @ 2.44101
2.84/2.92 c GLOBAL bounds - >= 0 @ 2.44698
2.84/2.93 c GLOBAL bounds - >= 0 @ 2.45267
2.84/2.94 c GLOBAL bounds - >= 0 @ 2.46363
2.84/2.95 c GLOBAL bounds - >= 0 @ 2.47484
2.84/2.97 c GLOBAL bounds - >= 0 @ 2.48536
2.84/2.98 c GLOBAL bounds - >= 0 @ 2.49678
2.84/3.00 c GLOBAL bounds - >= 0 @ 2.50995
2.96/3.03 c GLOBAL bounds - >= 0 @ 2.53235
2.96/3.04 c GLOBAL bounds - >= 0 @ 2.54561
2.96/3.06 c GLOBAL bounds - >= 0 @ 2.55969
2.96/3.08 c GLOBAL bounds - >= 0 @ 2.57635
2.96/3.10 c GLOBAL bounds - >= 0 @ 2.59089
3.06/3.12 c GLOBAL bounds - >= 0 @ 2.60645
3.06/3.14 c GLOBAL bounds - >= 0 @ 2.62214
3.06/3.15 c GLOBAL bounds - >= 0 @ 2.63271
3.06/3.17 c GLOBAL bounds - >= 0 @ 2.64477
3.06/3.19 c GLOBAL bounds - >= 0 @ 2.65753
3.14/3.20 c GLOBAL bounds - >= 0 @ 2.66919
3.14/3.22 c GLOBAL bounds - >= 0 @ 2.68161
3.14/3.23 c GLOBAL bounds - >= 0 @ 2.69121
3.14/3.26 c GLOBAL bounds - >= 0 @ 2.71226
3.14/3.27 c GLOBAL bounds - >= 0 @ 2.72507
3.14/3.29 c GLOBAL bounds - >= 0 @ 2.73685
3.24/3.30 c GLOBAL bounds - >= 0 @ 2.7488
3.24/3.32 c GLOBAL bounds - >= 0 @ 2.76053
3.24/3.33 c GLOBAL bounds - >= 0 @ 2.7722
3.24/3.34 c GLOBAL bounds - >= 0 @ 2.78493
3.24/3.36 c GLOBAL bounds - >= 0 @ 2.79656
3.24/3.37 c GLOBAL bounds - >= 0 @ 2.80795
3.24/3.38 c GLOBAL bounds - >= 0 @ 2.81627
3.24/3.39 c GLOBAL bounds - >= 0 @ 2.82562
3.35/3.41 c GLOBAL bounds - >= 0 @ 2.83491
3.35/3.42 c GLOBAL bounds - >= 0 @ 2.84624
3.35/3.43 c GLOBAL bounds - >= 0 @ 2.85457
3.35/3.44 c GLOBAL bounds - >= 0 @ 2.86391
3.35/3.46 c GLOBAL bounds - >= 0 @ 2.87382
3.35/3.48 c GLOBAL bounds - >= 0 @ 2.89167
3.44/3.50 c GLOBAL bounds - >= 0 @ 2.90555
3.44/3.52 c GLOBAL bounds - >= 0 @ 2.92184
3.44/3.55 c GLOBAL bounds - >= 0 @ 2.95273
3.44/3.57 c GLOBAL bounds - >= 0 @ 2.96701
3.44/3.58 c GLOBAL bounds - >= 0 @ 2.979
3.44/3.60 c GLOBAL bounds - >= 0 @ 2.99295
3.54/3.61 c GLOBAL bounds - >= 0 @ 3.00514
3.54/3.63 c GLOBAL bounds - >= 0 @ 3.01982
3.54/3.64 c GLOBAL bounds - >= 0 @ 3.03268
3.54/3.66 c GLOBAL bounds - >= 0 @ 3.04537
3.54/3.67 c GLOBAL bounds - >= 0 @ 3.05919
3.54/3.69 c GLOBAL bounds - >= 0 @ 3.07249
3.65/3.71 c GLOBAL bounds - >= 0 @ 3.08434
3.65/3.72 c GLOBAL bounds - >= 0 @ 3.09506
3.65/3.73 c GLOBAL bounds - >= 0 @ 3.10873
3.65/3.75 c GLOBAL bounds - >= 0 @ 3.11915
3.65/3.76 c GLOBAL bounds - >= 0 @ 3.13036
3.65/3.77 c GLOBAL bounds - >= 0 @ 3.14265
3.65/3.79 c GLOBAL bounds - >= 0 @ 3.15388
3.75/3.80 c GLOBAL bounds - >= 0 @ 3.16742
3.75/3.82 c GLOBAL bounds - >= 0 @ 3.18035
3.75/3.83 c GLOBAL bounds - >= 0 @ 3.19552
3.75/3.85 c GLOBAL bounds - >= 0 @ 3.20975
3.75/3.89 c GLOBAL bounds - >= 0 @ 3.23792
3.84/3.90 c GLOBAL bounds - >= 0 @ 3.25058
3.84/3.92 c GLOBAL bounds - >= 0 @ 3.26156
3.84/3.94 c GLOBAL bounds - >= 0 @ 3.27522
3.84/3.95 c GLOBAL bounds - >= 0 @ 3.28805
3.84/3.97 c GLOBAL bounds - >= 0 @ 3.30137
3.84/3.98 c GLOBAL bounds - >= 0 @ 3.31456
3.84/4.00 c GLOBAL bounds - >= 0 @ 3.32472
3.95/4.01 c GLOBAL bounds - >= 0 @ 3.33692
3.95/4.03 c GLOBAL bounds - >= 0 @ 3.35055
3.95/4.04 c GLOBAL bounds - >= 0 @ 3.36376
3.95/4.06 c GLOBAL bounds - >= 0 @ 3.37602
3.95/4.07 c GLOBAL bounds - >= 0 @ 3.3872
3.95/4.09 c GLOBAL bounds - >= 0 @ 3.40082
3.95/4.11 c GLOBAL bounds - >= 0 @ 3.41425
4.05/4.13 c GLOBAL bounds - >= 0 @ 3.42826
4.05/4.14 c GLOBAL bounds - >= 0 @ 3.44229
4.05/4.17 c GLOBAL bounds - >= 0 @ 3.46734
4.05/4.19 c GLOBAL bounds - >= 0 @ 3.48132
4.14/4.21 c GLOBAL bounds - >= 0 @ 3.49761
4.14/4.22 c GLOBAL bounds - >= 0 @ 3.51065
4.14/4.24 c GLOBAL bounds - >= 0 @ 3.52583
4.14/4.26 c GLOBAL bounds - >= 0 @ 3.53808
4.14/4.28 c GLOBAL bounds - >= 0 @ 3.55212
4.14/4.29 c GLOBAL bounds - >= 0 @ 3.56409
4.24/4.31 c GLOBAL bounds - >= 0 @ 3.57866
4.24/4.33 c GLOBAL bounds - >= 0 @ 3.59307
4.24/4.35 c GLOBAL bounds - >= 0 @ 3.60869
4.24/4.37 c GLOBAL bounds - >= 0 @ 3.62345
4.24/4.38 c GLOBAL bounds - >= 0 @ 3.63744
4.34/4.40 c GLOBAL bounds - >= 0 @ 3.65004
4.34/4.42 c GLOBAL bounds - >= 0 @ 3.66439
4.34/4.44 c GLOBAL bounds - >= 0 @ 3.67914
4.34/4.46 c GLOBAL bounds - >= 0 @ 3.69616
4.34/4.47 c GLOBAL bounds - >= 0 @ 3.7129
4.34/4.49 c GLOBAL bounds - >= 0 @ 3.72845
4.44/4.51 c GLOBAL bounds - >= 0 @ 3.74235
4.44/4.52 c GLOBAL bounds - >= 0 @ 3.75444
4.44/4.54 c GLOBAL bounds - >= 0 @ 3.7669
4.44/4.55 c GLOBAL bounds - >= 0 @ 3.77894
4.44/4.57 c GLOBAL bounds - >= 0 @ 3.79007
4.44/4.59 c GLOBAL bounds - >= 0 @ 3.80663
4.54/4.60 c GLOBAL bounds - >= 0 @ 3.81976
4.54/4.62 c GLOBAL bounds - >= 0 @ 3.83351
4.54/4.63 c GLOBAL bounds - >= 0 @ 3.84731
4.54/4.65 c GLOBAL bounds - >= 0 @ 3.86086
4.54/4.67 c GLOBAL bounds - >= 0 @ 3.876
4.54/4.69 c GLOBAL bounds - >= 0 @ 3.89312
4.64/4.71 c GLOBAL bounds - >= 0 @ 3.90835
4.64/4.72 c GLOBAL bounds - >= 0 @ 3.92384
4.64/4.76 c GLOBAL bounds - >= 0 @ 3.95044
4.64/4.78 c GLOBAL bounds - >= 0 @ 3.96698
4.64/4.79 c GLOBAL bounds - >= 0 @ 3.98238
4.74/4.81 c GLOBAL bounds - >= 0 @ 3.99795
4.74/4.83 c GLOBAL bounds - >= 0 @ 4.0117
4.74/4.85 c GLOBAL bounds - >= 0 @ 4.02911
4.74/4.87 c GLOBAL bounds - >= 0 @ 4.04252
4.74/4.88 c GLOBAL bounds - >= 0 @ 4.05624
4.84/4.90 c GLOBAL bounds - >= 0 @ 4.07031
4.84/4.92 c GLOBAL bounds - >= 0 @ 4.08582
4.84/4.93 c GLOBAL bounds - >= 0 @ 4.09668
4.84/4.95 c GLOBAL bounds - >= 0 @ 4.11167
4.84/4.97 c GLOBAL bounds - >= 0 @ 4.12468
4.84/4.98 c GLOBAL bounds - >= 0 @ 4.13862
4.84/5.00 c GLOBAL bounds - >= 0 @ 4.15422
4.95/5.02 c GLOBAL bounds - >= 0 @ 4.1682
4.95/5.03 c GLOBAL bounds - >= 0 @ 4.1793
4.95/5.05 c GLOBAL bounds - >= 0 @ 4.1934
4.95/5.06 c GLOBAL bounds - >= 0 @ 4.20673
4.95/5.08 c GLOBAL bounds - >= 0 @ 4.22043
4.95/5.10 c GLOBAL bounds - >= 0 @ 4.23475
5.05/5.11 c GLOBAL bounds - >= 0 @ 4.24699
5.05/5.13 c GLOBAL bounds - >= 0 @ 4.26018
5.05/5.15 c GLOBAL bounds - >= 0 @ 4.27428
5.05/5.16 c GLOBAL bounds - >= 0 @ 4.28883
5.05/5.18 c GLOBAL bounds - >= 0 @ 4.30304
5.14/5.20 c GLOBAL bounds - >= 0 @ 4.31621
5.14/5.22 c GLOBAL bounds - >= 0 @ 4.33125
5.14/5.23 c GLOBAL bounds - >= 0 @ 4.34543
5.14/5.25 c GLOBAL bounds - >= 0 @ 4.35748
5.14/5.26 c GLOBAL bounds - >= 0 @ 4.37079
5.14/5.28 c GLOBAL bounds - >= 0 @ 4.38475
5.24/5.30 c GLOBAL bounds - >= 0 @ 4.39892
5.24/5.31 c GLOBAL bounds - >= 0 @ 4.41141
5.24/5.33 c GLOBAL bounds - >= 0 @ 4.42665
5.24/5.35 c GLOBAL bounds - >= 0 @ 4.44082
5.24/5.36 c GLOBAL bounds - >= 0 @ 4.45588
5.24/5.38 c GLOBAL bounds - >= 0 @ 4.47162
5.34/5.40 c GLOBAL bounds - >= 0 @ 4.48668
5.34/5.41 c GLOBAL bounds - >= 0 @ 4.49878
5.34/5.43 c GLOBAL bounds - >= 0 @ 4.51092
5.34/5.44 c GLOBAL bounds - >= 0 @ 4.52416
5.34/5.46 c GLOBAL bounds - >= 0 @ 4.54006
5.34/5.48 c GLOBAL bounds - >= 0 @ 4.55466
5.44/5.50 c GLOBAL bounds - >= 0 @ 4.57453
5.44/5.52 c GLOBAL bounds - >= 0 @ 4.5916
5.44/5.54 c GLOBAL bounds - >= 0 @ 4.6056
5.44/5.56 c GLOBAL bounds - >= 0 @ 4.62448
5.44/5.59 c GLOBAL bounds - >= 0 @ 4.65282
5.54/5.61 c GLOBAL bounds - >= 0 @ 4.66462
5.54/5.62 c GLOBAL bounds - >= 0 @ 4.67935
5.54/5.64 c GLOBAL bounds - >= 0 @ 4.69199
5.54/5.66 c GLOBAL bounds - >= 0 @ 4.70682
5.54/5.67 c GLOBAL bounds - >= 0 @ 4.71997
5.54/5.69 c GLOBAL bounds - >= 0 @ 4.73617
5.64/5.70 c GLOBAL bounds - >= 0 @ 4.74849
5.64/5.72 c GLOBAL bounds - >= 0 @ 4.76051
5.64/5.73 c GLOBAL bounds - >= 0 @ 4.77359
5.64/5.75 c GLOBAL bounds - >= 0 @ 4.78834
5.64/5.77 c GLOBAL bounds - >= 0 @ 4.8009
5.64/5.78 c GLOBAL bounds - >= 0 @ 4.81587
5.74/5.80 c GLOBAL bounds - >= 0 @ 4.82832
5.74/5.82 c GLOBAL bounds - >= 0 @ 4.8417
5.74/5.83 c GLOBAL bounds - >= 0 @ 4.85364
5.74/5.85 c GLOBAL bounds - >= 0 @ 4.86878
5.74/5.87 c GLOBAL bounds - >= 0 @ 4.88763
5.74/5.89 c GLOBAL bounds - >= 0 @ 4.90845
5.84/5.91 c GLOBAL bounds - >= 0 @ 4.92229
5.84/5.93 c GLOBAL bounds - >= 0 @ 4.93674
5.84/5.95 c GLOBAL bounds - >= 0 @ 4.95305
5.84/5.96 c GLOBAL bounds - >= 0 @ 4.9701
5.84/5.98 c GLOBAL bounds - >= 0 @ 4.98251
5.84/6.00 c GLOBAL bounds - >= 0 @ 4.99606
5.96/6.01 c GLOBAL bounds - >= 0 @ 5.00991
5.96/6.03 c GLOBAL bounds - >= 0 @ 5.02224
5.96/6.04 c GLOBAL bounds - >= 0 @ 5.03708
5.96/6.06 c GLOBAL bounds - >= 0 @ 5.04978
5.96/6.08 c GLOBAL bounds - >= 0 @ 5.06305
5.96/6.10 c GLOBAL bounds - >= 0 @ 5.08078
6.05/6.12 c GLOBAL bounds - >= 0 @ 5.09786
6.05/6.14 c GLOBAL bounds - >= 0 @ 5.1171
6.05/6.16 c GLOBAL bounds - >= 0 @ 5.13493
6.05/6.18 c GLOBAL bounds - >= 0 @ 5.15385
6.05/6.20 c GLOBAL bounds - >= 0 @ 5.16952
6.14/6.21 c GLOBAL bounds - >= 0 @ 5.18625
6.14/6.23 c GLOBAL bounds - >= 0 @ 5.20019
6.14/6.24 c GLOBAL bounds - >= 0 @ 5.21619
6.14/6.26 c GLOBAL bounds - >= 0 @ 5.234
6.14/6.28 c GLOBAL bounds - >= 0 @ 5.25169
6.24/6.30 c GLOBAL bounds - >= 0 @ 5.2697
6.24/6.32 c GLOBAL bounds - >= 0 @ 5.28561
6.24/6.34 c GLOBAL bounds - >= 0 @ 5.30861
6.24/6.37 c GLOBAL bounds - >= 0 @ 5.32807
6.24/6.39 c GLOBAL bounds - >= 0 @ 5.3458
6.34/6.41 c GLOBAL bounds - >= 0 @ 5.36234
6.34/6.43 c GLOBAL bounds - >= 0 @ 5.38128
6.34/6.45 c GLOBAL bounds - >= 0 @ 5.39965
6.34/6.47 c GLOBAL bounds - >= 0 @ 5.41585
6.34/6.49 c GLOBAL bounds - >= 0 @ 5.4309
6.44/6.50 c GLOBAL bounds - >= 0 @ 5.44842
6.44/6.52 c GLOBAL bounds - >= 0 @ 5.46443
6.44/6.54 c GLOBAL bounds - >= 0 @ 5.48059
6.44/6.56 c GLOBAL bounds - >= 0 @ 5.49703
6.44/6.58 c GLOBAL bounds - >= 0 @ 5.51234
6.44/6.59 c GLOBAL bounds - >= 0 @ 5.52823
6.54/6.61 c GLOBAL bounds - >= 0 @ 5.54183
6.54/6.63 c GLOBAL bounds - >= 0 @ 5.55753
6.54/6.64 c GLOBAL bounds - >= 0 @ 5.57417
6.54/6.66 c GLOBAL bounds - >= 0 @ 5.59083
6.54/6.68 c GLOBAL bounds - >= 0 @ 5.60556
6.64/6.70 c GLOBAL bounds - >= 0 @ 5.62052
6.64/6.71 c GLOBAL bounds - >= 0 @ 5.63615
6.64/6.73 c GLOBAL bounds - >= 0 @ 5.65169
6.64/6.75 c GLOBAL bounds - >= 0 @ 5.66622
6.64/6.76 c GLOBAL bounds - >= 0 @ 5.6843
6.64/6.78 c GLOBAL bounds - >= 0 @ 5.70087
6.73/6.80 c GLOBAL bounds - >= 0 @ 5.71556
6.73/6.81 c GLOBAL bounds - >= 0 @ 5.7292
6.73/6.83 c GLOBAL bounds - >= 0 @ 5.74435
6.73/6.85 c GLOBAL bounds - >= 0 @ 5.75795
6.73/6.87 c GLOBAL bounds - >= 0 @ 5.77259
6.73/6.88 c GLOBAL bounds - >= 0 @ 5.78812
6.84/6.90 c GLOBAL bounds - >= 0 @ 5.80076
6.84/6.92 c GLOBAL bounds - >= 0 @ 5.81539
6.84/6.93 c GLOBAL bounds - >= 0 @ 5.82908
6.84/6.95 c GLOBAL bounds - >= 0 @ 5.84361
6.84/6.97 c GLOBAL bounds - >= 0 @ 5.86087
6.84/6.99 c GLOBAL bounds - >= 0 @ 5.88057
6.84/7.01 c GLOBAL bounds - >= 0 @ 5.89913
6.95/7.03 c GLOBAL bounds - >= 0 @ 5.91741
6.95/7.05 c GLOBAL bounds - >= 0 @ 5.93462
6.95/7.06 c GLOBAL bounds - >= 0 @ 5.95128
6.95/7.08 c GLOBAL bounds - >= 0 @ 5.97093
6.95/7.10 c GLOBAL bounds - >= 0 @ 5.98643
7.05/7.12 c GLOBAL bounds - >= 0 @ 6.00234
7.05/7.14 c GLOBAL bounds - >= 0 @ 6.01883
7.05/7.16 c GLOBAL bounds - >= 0 @ 6.03539
7.05/7.17 c GLOBAL bounds - >= 0 @ 6.05256
7.05/7.19 c GLOBAL bounds - >= 0 @ 6.07043
7.13/7.21 c GLOBAL bounds - >= 0 @ 6.08808
7.13/7.23 c GLOBAL bounds - >= 0 @ 6.10304
7.13/7.25 c GLOBAL bounds - >= 0 @ 6.11979
7.13/7.27 c GLOBAL bounds - >= 0 @ 6.13701
7.13/7.28 c GLOBAL bounds - >= 0 @ 6.15117
7.23/7.30 c GLOBAL bounds - >= 0 @ 6.16722
7.23/7.32 c GLOBAL bounds - >= 0 @ 6.18424
7.23/7.33 c GLOBAL bounds - >= 0 @ 6.19722
7.23/7.35 c GLOBAL bounds - >= 0 @ 6.2115
7.23/7.37 c GLOBAL bounds - >= 0 @ 6.22904
7.23/7.39 c GLOBAL bounds - >= 0 @ 6.24417
7.33/7.40 c GLOBAL bounds - >= 0 @ 6.26133
7.33/7.42 c GLOBAL bounds - >= 0 @ 6.27325
7.33/7.44 c GLOBAL bounds - >= 0 @ 6.28442
7.33/7.46 c GLOBAL bounds - >= 0 @ 6.3021
7.33/7.47 c GLOBAL bounds - >= 0 @ 6.31735
7.33/7.49 c GLOBAL bounds - >= 0 @ 6.33163
7.43/7.51 c GLOBAL bounds - >= 0 @ 6.34703
7.43/7.53 c GLOBAL bounds - >= 0 @ 6.36216
7.43/7.54 c GLOBAL bounds - >= 0 @ 6.37809
7.43/7.56 c GLOBAL bounds - >= 0 @ 6.39411
7.43/7.58 c GLOBAL bounds - >= 0 @ 6.40719
7.53/7.60 c GLOBAL bounds - >= 0 @ 6.42495
7.53/7.62 c GLOBAL bounds - >= 0 @ 6.44075
7.53/7.63 c GLOBAL bounds - >= 0 @ 6.45713
7.53/7.65 c GLOBAL bounds - >= 0 @ 6.47364
7.53/7.67 c GLOBAL bounds - >= 0 @ 6.48961
7.53/7.69 c GLOBAL bounds - >= 0 @ 6.50991
7.63/7.72 c GLOBAL bounds - >= 0 @ 6.52713
7.63/7.73 c GLOBAL bounds - >= 0 @ 6.54564
7.63/7.75 c GLOBAL bounds - >= 0 @ 6.56302
7.63/7.77 c GLOBAL bounds - >= 0 @ 6.58175
7.63/7.79 c GLOBAL bounds - >= 0 @ 6.59823
7.73/7.81 c GLOBAL bounds - >= 0 @ 6.61664
7.73/7.83 c GLOBAL bounds - >= 0 @ 6.6319
7.73/7.85 c GLOBAL bounds - >= 0 @ 6.64923
7.73/7.87 c GLOBAL bounds - >= 0 @ 6.66574
7.73/7.89 c GLOBAL bounds - >= 0 @ 6.68495
7.84/7.91 c GLOBAL bounds - >= 0 @ 6.70244
7.84/7.93 c GLOBAL bounds - >= 0 @ 6.71805
7.84/7.95 c GLOBAL bounds - >= 0 @ 6.73581
7.84/7.97 c GLOBAL bounds - >= 0 @ 6.7571
7.84/7.99 c GLOBAL bounds - >= 0 @ 6.77257
7.84/8.01 c GLOBAL bounds - >= 0 @ 6.78944
7.95/8.03 c GLOBAL bounds - >= 0 @ 6.80705
7.95/8.05 c GLOBAL bounds - >= 0 @ 6.82677
7.95/8.07 c GLOBAL bounds - >= 0 @ 6.84434
7.95/8.09 c GLOBAL bounds - >= 0 @ 6.85914
8.04/8.11 c GLOBAL bounds - >= 0 @ 6.87599
8.04/8.13 c GLOBAL bounds - >= 0 @ 6.89237
8.04/8.15 c GLOBAL bounds - >= 0 @ 6.91066
8.04/8.17 c GLOBAL bounds - >= 0 @ 6.92923
8.04/8.20 c GLOBAL bounds - >= 0 @ 6.94711
8.14/8.21 c GLOBAL bounds - >= 0 @ 6.96219
8.14/8.23 c GLOBAL bounds - >= 0 @ 6.97741
8.14/8.25 c GLOBAL bounds - >= 0 @ 6.99258
8.14/8.27 c GLOBAL bounds - >= 0 @ 7.01093
8.14/8.30 c GLOBAL bounds - >= 0 @ 7.03177
8.23/8.32 c GLOBAL bounds - >= 0 @ 7.05036
8.23/8.35 c GLOBAL bounds - >= 0 @ 7.07203
8.23/8.38 c GLOBAL bounds - >= 0 @ 7.09397
8.33/8.40 c GLOBAL bounds - >= 0 @ 7.11096
8.33/8.42 c GLOBAL bounds - >= 0 @ 7.13
8.33/8.44 c GLOBAL bounds - >= 0 @ 7.14643
8.33/8.46 c GLOBAL bounds - >= 0 @ 7.16473
8.33/8.48 c GLOBAL bounds - >= 0 @ 7.1816
8.43/8.50 c GLOBAL bounds - >= 0 @ 7.20022
8.43/8.52 c GLOBAL bounds - >= 0 @ 7.21699
8.43/8.54 c GLOBAL bounds - >= 0 @ 7.23367
8.43/8.56 c GLOBAL bounds - >= 0 @ 7.25015
8.43/8.58 c GLOBAL bounds - >= 0 @ 7.26945
8.43/8.60 c GLOBAL bounds - >= 0 @ 7.28778
8.54/8.62 c GLOBAL bounds - >= 0 @ 7.30615
8.54/8.63 c GLOBAL bounds - >= 0 @ 7.32354
8.54/8.66 c GLOBAL bounds - >= 0 @ 7.34268
8.54/8.68 c GLOBAL bounds - >= 0 @ 7.36095
8.63/8.70 c GLOBAL bounds - >= 0 @ 7.37952
8.63/8.72 c GLOBAL bounds - >= 0 @ 7.40136
8.63/8.74 c GLOBAL bounds - >= 0 @ 7.42379
8.63/8.76 c GLOBAL bounds - >= 0 @ 7.44307
8.63/8.78 c GLOBAL bounds - >= 0 @ 7.45942
8.74/8.81 c GLOBAL bounds - >= 0 @ 7.47544
8.74/8.83 c GLOBAL bounds - >= 0 @ 7.49361
8.74/8.85 c GLOBAL bounds - >= 0 @ 7.51105
8.74/8.87 c GLOBAL bounds - >= 0 @ 7.52833
8.74/8.88 c GLOBAL bounds - >= 0 @ 7.54257
8.83/8.90 c GLOBAL bounds - >= 0 @ 7.56082
8.83/8.92 c GLOBAL bounds - >= 0 @ 7.58012
8.83/8.94 c GLOBAL bounds - >= 0 @ 7.59733
8.83/8.96 c GLOBAL bounds - >= 0 @ 7.61459
8.83/8.98 c GLOBAL bounds - >= 0 @ 7.63085
8.83/9.00 c GLOBAL bounds - >= 0 @ 7.64826
8.95/9.02 c GLOBAL bounds - >= 0 @ 7.66678
8.95/9.04 c GLOBAL bounds - >= 0 @ 7.6841
8.95/9.06 c GLOBAL bounds - >= 0 @ 7.7013
8.95/9.08 c GLOBAL bounds - >= 0 @ 7.71938
8.95/9.10 c GLOBAL bounds - >= 0 @ 7.73732
9.05/9.12 c GLOBAL bounds - >= 0 @ 7.75438
9.05/9.14 c GLOBAL bounds - >= 0 @ 7.77428
9.05/9.16 c GLOBAL bounds - >= 0 @ 7.79607
9.05/9.19 c GLOBAL bounds - >= 0 @ 7.81826
9.13/9.21 c GLOBAL bounds - >= 0 @ 7.84207
9.13/9.23 c GLOBAL bounds - >= 0 @ 7.85973
9.13/9.25 c GLOBAL bounds - >= 0 @ 7.87888
9.13/9.28 c GLOBAL bounds - >= 0 @ 7.90031
9.23/9.30 c GLOBAL bounds - >= 0 @ 7.92094
9.23/9.32 c GLOBAL bounds - >= 0 @ 7.94034
9.23/9.34 c GLOBAL bounds - >= 0 @ 7.96023
9.23/9.36 c GLOBAL bounds - >= 0 @ 7.97847
9.23/9.38 c GLOBAL bounds - >= 0 @ 7.99578
9.33/9.40 c GLOBAL bounds - >= 0 @ 8.01219
9.33/9.42 c GLOBAL bounds - >= 0 @ 8.03063
9.33/9.44 c GLOBAL bounds - >= 0 @ 8.04998
9.33/9.46 c GLOBAL bounds - >= 0 @ 8.06822
9.33/9.48 c GLOBAL bounds - >= 0 @ 8.08372
9.43/9.50 c GLOBAL bounds - >= 0 @ 8.10233
9.43/9.52 c GLOBAL bounds - >= 0 @ 8.12053
9.43/9.54 c GLOBAL bounds - >= 0 @ 8.13679
9.43/9.56 c GLOBAL bounds - >= 0 @ 8.15303
9.43/9.58 c GLOBAL bounds - >= 0 @ 8.17461
9.53/9.60 c GLOBAL bounds - >= 0 @ 8.19365
9.53/9.62 c GLOBAL bounds - >= 0 @ 8.21202
9.53/9.65 c GLOBAL bounds - >= 0 @ 8.23
9.53/9.67 c GLOBAL bounds - >= 0 @ 8.24922
9.53/9.69 c GLOBAL bounds - >= 0 @ 8.26731
9.63/9.71 c GLOBAL bounds - >= 0 @ 8.28654
9.63/9.73 c GLOBAL bounds - >= 0 @ 8.30831
9.63/9.75 c GLOBAL bounds - >= 0 @ 8.32875
9.63/9.77 c GLOBAL bounds - >= 0 @ 8.34871
9.63/9.79 c GLOBAL bounds - >= 0 @ 8.36608
9.73/9.81 c GLOBAL bounds - >= 0 @ 8.38642
9.73/9.83 c GLOBAL bounds - >= 0 @ 8.40347
9.73/9.85 c GLOBAL bounds - >= 0 @ 8.42203
9.73/9.87 c GLOBAL bounds - >= 0 @ 8.44172
9.73/9.89 c GLOBAL bounds - >= 0 @ 8.45829
9.83/9.91 c GLOBAL bounds - >= 0 @ 8.47489
9.83/9.93 c GLOBAL bounds - >= 0 @ 8.49328
9.83/9.95 c GLOBAL bounds - >= 0 @ 8.51063
9.83/9.97 c GLOBAL bounds - >= 0 @ 8.52596
9.83/9.99 c GLOBAL bounds - >= 0 @ 8.54273
9.95/10.01 c GLOBAL bounds - >= 0 @ 8.55934
9.95/10.03 c GLOBAL bounds - >= 0 @ 8.57572
9.95/10.06 c GLOBAL bounds - >= 0 @ 8.59857
9.95/10.08 c GLOBAL bounds - >= 0 @ 8.62159
9.95/10.10 c GLOBAL bounds - >= 0 @ 8.64351
10.05/10.13 c GLOBAL bounds - >= 0 @ 8.6618
10.05/10.15 c GLOBAL bounds - >= 0 @ 8.68102
10.05/10.19 c GLOBAL bounds - >= 0 @ 8.7169
10.13/10.21 c GLOBAL bounds - >= 0 @ 8.7363
10.13/10.23 c GLOBAL bounds - >= 0 @ 8.75588
10.13/10.25 c GLOBAL bounds - >= 0 @ 8.77347
10.13/10.27 c GLOBAL bounds - >= 0 @ 8.79089
10.13/10.29 c GLOBAL bounds - >= 0 @ 8.81117
10.23/10.31 c GLOBAL bounds - >= 0 @ 8.83144
10.23/10.34 c GLOBAL bounds - >= 0 @ 8.84865
10.23/10.36 c GLOBAL bounds - >= 0 @ 8.86425
10.23/10.38 c GLOBAL bounds - >= 0 @ 8.88368
10.23/10.39 c GLOBAL bounds - >= 0 @ 8.90134
10.33/10.41 c GLOBAL bounds - >= 0 @ 8.91707
10.33/10.43 c GLOBAL bounds - >= 0 @ 8.93284
10.33/10.45 c GLOBAL bounds - >= 0 @ 8.94921
10.33/10.47 c GLOBAL bounds - >= 0 @ 8.96576
10.33/10.49 c GLOBAL bounds - >= 0 @ 8.98356
10.42/10.51 c GLOBAL bounds - >= 0 @ 9.00073
10.42/10.53 c GLOBAL bounds - >= 0 @ 9.01956
10.42/10.55 c GLOBAL bounds - >= 0 @ 9.0354
10.42/10.57 c GLOBAL bounds - >= 0 @ 9.05569
10.42/10.59 c GLOBAL bounds - >= 0 @ 9.07156
10.53/10.61 c GLOBAL bounds - >= 0 @ 9.08951
10.53/10.63 c GLOBAL bounds - >= 0 @ 9.10583
10.53/10.65 c GLOBAL bounds - >= 0 @ 9.12428
10.53/10.67 c GLOBAL bounds - >= 0 @ 9.14369
10.53/10.69 c GLOBAL bounds - >= 0 @ 9.16367
10.63/10.71 c GLOBAL bounds - >= 0 @ 9.18134
10.63/10.73 c GLOBAL bounds - >= 0 @ 9.20136
10.63/10.75 c GLOBAL bounds - >= 0 @ 9.2196
10.63/10.77 c GLOBAL bounds - >= 0 @ 9.24068
10.63/10.79 c GLOBAL bounds - >= 0 @ 9.25788
10.72/10.81 c GLOBAL bounds - >= 0 @ 9.27693
10.72/10.83 c GLOBAL bounds - >= 0 @ 9.29401
10.72/10.85 c GLOBAL bounds - >= 0 @ 9.30981
10.72/10.87 c GLOBAL bounds - >= 0 @ 9.32649
10.72/10.89 c GLOBAL bounds - >= 0 @ 9.34565
10.83/10.91 c GLOBAL bounds - >= 0 @ 9.3661
10.83/10.94 c GLOBAL bounds - >= 0 @ 9.38523
10.83/10.95 c GLOBAL bounds - >= 0 @ 9.40066
10.83/10.97 c GLOBAL bounds - >= 0 @ 9.41971
10.83/10.99 c GLOBAL bounds - >= 0 @ 9.43573
10.94/11.02 c GLOBAL bounds - >= 0 @ 9.45514
10.94/11.04 c GLOBAL bounds - >= 0 @ 9.4754
10.94/11.06 c GLOBAL bounds - >= 0 @ 9.49357
10.94/11.08 c GLOBAL bounds - >= 0 @ 9.51097
10.94/11.09 c GLOBAL bounds - >= 0 @ 9.52605
11.04/11.11 c GLOBAL bounds - >= 0 @ 9.54047
11.04/11.13 c GLOBAL bounds - >= 0 @ 9.55879
11.04/11.15 c GLOBAL bounds - >= 0 @ 9.57762
11.04/11.17 c GLOBAL bounds - >= 0 @ 9.59588
11.04/11.19 c GLOBAL bounds - >= 0 @ 9.61327
11.12/11.21 c GLOBAL bounds - >= 0 @ 9.63157
11.12/11.23 c GLOBAL bounds - >= 0 @ 9.64802
11.12/11.25 c GLOBAL bounds - >= 0 @ 9.6662
11.12/11.27 c GLOBAL bounds - >= 0 @ 9.68418
11.12/11.29 c GLOBAL bounds - >= 0 @ 9.69946
11.22/11.31 c GLOBAL bounds - >= 0 @ 9.71573
11.22/11.33 c GLOBAL bounds - >= 0 @ 9.73597
11.22/11.35 c GLOBAL bounds - >= 0 @ 9.7552
11.22/11.38 c GLOBAL bounds - >= 0 @ 9.77765
11.32/11.40 c GLOBAL bounds - >= 0 @ 9.79722
11.32/11.42 c GLOBAL bounds - >= 0 @ 9.81235
11.32/11.43 c GLOBAL bounds - >= 0 @ 9.83053
11.32/11.45 c GLOBAL bounds - >= 0 @ 9.84779
11.32/11.47 c GLOBAL bounds - >= 0 @ 9.86401
11.32/11.49 c GLOBAL bounds - >= 0 @ 9.88208
11.42/11.51 c GLOBAL bounds - >= 0 @ 9.90036
11.42/11.53 c GLOBAL bounds - >= 0 @ 9.92018
11.42/11.55 c GLOBAL bounds - >= 0 @ 9.93619
11.42/11.57 c GLOBAL bounds - >= 0 @ 9.95342
11.42/11.59 c GLOBAL bounds - >= 0 @ 9.97109
11.52/11.61 c GLOBAL bounds - >= 0 @ 9.98981
11.52/11.63 c GLOBAL bounds - >= 0 @ 10.008
11.52/11.65 c GLOBAL bounds - >= 0 @ 10.0279
11.52/11.67 c GLOBAL bounds - >= 0 @ 10.045
11.52/11.69 c GLOBAL bounds - >= 0 @ 10.0625
11.62/11.72 c GLOBAL bounds - >= 0 @ 10.0822
11.62/11.73 c GLOBAL bounds - >= 0 @ 10.099
11.62/11.75 c GLOBAL bounds - >= 0 @ 10.1182
11.62/11.77 c GLOBAL bounds - >= 0 @ 10.1387
11.62/11.79 c GLOBAL bounds - >= 0 @ 10.1562
11.73/11.82 c GLOBAL bounds - >= 0 @ 10.174
11.73/11.83 c GLOBAL bounds - >= 0 @ 10.19
11.73/11.85 c GLOBAL bounds - >= 0 @ 10.2097
11.73/11.87 c GLOBAL bounds - >= 0 @ 10.2278
11.73/11.90 c GLOBAL bounds - >= 0 @ 10.2457
11.82/11.92 c GLOBAL bounds - >= 0 @ 10.2646
11.82/11.94 c GLOBAL bounds - >= 0 @ 10.2835
11.82/11.96 c GLOBAL bounds - >= 0 @ 10.3033
11.82/11.98 c GLOBAL bounds - >= 0 @ 10.3185
11.82/12.00 c GLOBAL bounds - >= 0 @ 10.3341
11.93/12.02 c GLOBAL bounds - >= 0 @ 10.3512
11.93/12.04 c GLOBAL bounds - >= 0 @ 10.3682
11.93/12.06 c GLOBAL bounds - >= 0 @ 10.3874
11.93/12.08 c GLOBAL bounds - >= 0 @ 10.4064
11.93/12.10 c GLOBAL bounds - >= 0 @ 10.4252
12.04/12.12 c GLOBAL bounds - >= 0 @ 10.4422
12.04/12.14 c GLOBAL bounds - >= 0 @ 10.4584
12.04/12.16 c GLOBAL bounds - >= 0 @ 10.4743
12.04/12.18 c GLOBAL bounds - >= 0 @ 10.4911
12.12/12.20 c GLOBAL bounds - >= 0 @ 10.5073
12.12/12.22 c GLOBAL bounds - >= 0 @ 10.523
12.12/12.24 c GLOBAL bounds - >= 0 @ 10.5369
12.12/12.26 c GLOBAL bounds - >= 0 @ 10.5555
12.12/12.28 c GLOBAL bounds - >= 0 @ 10.5721
12.22/12.30 c GLOBAL bounds - >= 0 @ 10.5882
12.22/12.32 c GLOBAL bounds - >= 0 @ 10.6022
12.22/12.34 c GLOBAL bounds - >= 0 @ 10.6202
12.22/12.36 c GLOBAL bounds - >= 0 @ 10.6382
12.22/12.37 c GLOBAL bounds - >= 0 @ 10.6532
12.22/12.40 c GLOBAL bounds - >= 0 @ 10.6739
12.32/12.41 c GLOBAL bounds - >= 0 @ 10.6906
12.32/12.43 c GLOBAL bounds - >= 0 @ 10.7073
12.32/12.45 c GLOBAL bounds - >= 0 @ 10.724
12.32/12.47 c GLOBAL bounds - >= 0 @ 10.7409
12.32/12.49 c GLOBAL bounds - >= 0 @ 10.7556
12.42/12.51 c GLOBAL bounds - >= 0 @ 10.7725
12.42/12.53 c GLOBAL bounds - >= 0 @ 10.7872
12.42/12.55 c GLOBAL bounds - >= 0 @ 10.802
12.42/12.56 c GLOBAL bounds - >= 0 @ 10.8167
12.42/12.58 c GLOBAL bounds - >= 0 @ 10.835
12.52/12.61 c GLOBAL bounds - >= 0 @ 10.8553
12.52/12.63 c GLOBAL bounds - >= 0 @ 10.8725
12.52/12.65 c GLOBAL bounds - >= 0 @ 10.8897
12.52/12.67 c GLOBAL bounds - >= 0 @ 10.9044
12.52/12.68 c GLOBAL bounds - >= 0 @ 10.921
12.62/12.70 c GLOBAL bounds - >= 0 @ 10.9393
12.62/12.72 c GLOBAL bounds - >= 0 @ 10.9559
12.62/12.74 c GLOBAL bounds - >= 0 @ 10.9726
12.62/12.76 c GLOBAL bounds - >= 0 @ 10.9889
12.62/12.78 c GLOBAL bounds - >= 0 @ 11.0057
12.72/12.80 c GLOBAL bounds - >= 0 @ 11.02
12.72/12.82 c GLOBAL bounds - >= 0 @ 11.0354
12.72/12.84 c GLOBAL bounds - >= 0 @ 11.0501
12.72/12.86 c GLOBAL bounds - >= 0 @ 11.0656
12.72/12.88 c GLOBAL bounds - >= 0 @ 11.079
12.81/12.90 c GLOBAL bounds - >= 0 @ 11.0998
12.81/12.92 c GLOBAL bounds - >= 0 @ 11.1203
12.81/12.95 c GLOBAL bounds - >= 0 @ 11.1395
12.81/12.97 c GLOBAL bounds - >= 0 @ 11.1612
12.81/12.99 c GLOBAL bounds - >= 0 @ 11.1772
12.93/13.01 c GLOBAL bounds - >= 0 @ 11.1959
12.93/13.04 c GLOBAL bounds - >= 0 @ 11.2174
12.93/13.06 c GLOBAL bounds - >= 0 @ 11.2398
12.93/13.09 c GLOBAL bounds - >= 0 @ 11.2665
13.03/13.12 c GLOBAL bounds - >= 0 @ 11.2938
13.03/13.15 c GLOBAL bounds - >= 0 @ 11.3172
13.03/13.17 c GLOBAL bounds - >= 0 @ 11.3382
13.12/13.20 c GLOBAL bounds - >= 0 @ 11.3594
13.12/13.22 c GLOBAL bounds - >= 0 @ 11.38
13.12/13.24 c GLOBAL bounds - >= 0 @ 11.4017
13.12/13.27 c GLOBAL bounds - >= 0 @ 11.4217
13.12/13.29 c GLOBAL bounds - >= 0 @ 11.4445
13.22/13.31 c GLOBAL bounds - >= 0 @ 11.4643
13.22/13.34 c GLOBAL bounds - >= 0 @ 11.4838
13.22/13.36 c GLOBAL bounds - >= 0 @ 11.5042
13.22/13.38 c GLOBAL bounds - >= 0 @ 11.5236
13.32/13.40 c GLOBAL bounds - >= 0 @ 11.5402
13.32/13.43 c GLOBAL bounds - >= 0 @ 11.563
13.32/13.45 c GLOBAL bounds - >= 0 @ 11.5826
13.32/13.47 c GLOBAL bounds - >= 0 @ 11.6031
13.32/13.49 c GLOBAL bounds - >= 0 @ 11.6224
13.42/13.51 c GLOBAL bounds - >= 0 @ 11.6437
13.42/13.53 c GLOBAL bounds - >= 0 @ 11.66
13.42/13.55 c GLOBAL bounds - >= 0 @ 11.6797
13.42/13.57 c GLOBAL bounds - >= 0 @ 11.6954
13.52/13.60 c GLOBAL bounds - >= 0 @ 11.7114
13.52/13.62 c GLOBAL bounds - >= 0 @ 11.731
13.52/13.64 c GLOBAL bounds - >= 0 @ 11.7543
13.52/13.67 c GLOBAL bounds - >= 0 @ 11.7775
13.52/13.70 c GLOBAL bounds - >= 0 @ 11.8
13.62/13.72 c GLOBAL bounds - >= 0 @ 11.8258
13.62/13.75 c GLOBAL bounds - >= 0 @ 11.8475
13.62/13.77 c GLOBAL bounds - >= 0 @ 11.8656
13.71/13.80 c GLOBAL bounds - >= 0 @ 11.8846
13.71/13.82 c GLOBAL bounds - >= 0 @ 11.9078
13.71/13.85 c GLOBAL bounds - >= 0 @ 11.9276
13.71/13.87 c GLOBAL bounds - >= 0 @ 11.951
13.71/13.89 c GLOBAL bounds - >= 0 @ 11.9678
13.82/13.91 c GLOBAL bounds - >= 0 @ 11.9873
13.82/13.93 c GLOBAL bounds - >= 0 @ 12.0058
13.82/13.95 c GLOBAL bounds - >= 0 @ 12.0252
13.82/13.97 c GLOBAL bounds - >= 0 @ 12.0446
13.82/13.99 c GLOBAL bounds - >= 0 @ 12.0649
13.93/14.01 c GLOBAL bounds - >= 0 @ 12.0836
13.93/14.03 c GLOBAL bounds - >= 0 @ 12.1003
13.93/14.05 c GLOBAL bounds - >= 0 @ 12.1159
13.93/14.07 c GLOBAL bounds - >= 0 @ 12.1342
13.93/14.09 c GLOBAL bounds - >= 0 @ 12.1506
14.03/14.11 c GLOBAL bounds - >= 0 @ 12.167
14.03/14.13 c GLOBAL bounds - >= 0 @ 12.1864
14.03/14.15 c GLOBAL bounds - >= 0 @ 12.2028
14.03/14.17 c GLOBAL bounds - >= 0 @ 12.2212
14.03/14.19 c GLOBAL bounds - >= 0 @ 12.2379
14.12/14.21 c GLOBAL bounds - >= 0 @ 12.2554
14.12/14.23 c GLOBAL bounds - >= 0 @ 12.2725
14.12/14.25 c GLOBAL bounds - >= 0 @ 12.291
14.12/14.27 c GLOBAL bounds - >= 0 @ 12.3065
14.12/14.29 c GLOBAL bounds - >= 0 @ 12.3261
14.22/14.31 c GLOBAL bounds - >= 0 @ 12.3454
14.22/14.33 c GLOBAL bounds - >= 0 @ 12.3634
14.22/14.35 c GLOBAL bounds - >= 0 @ 12.3837
14.22/14.37 c GLOBAL bounds - >= 0 @ 12.4043
14.31/14.40 c GLOBAL bounds - >= 0 @ 12.4293
14.31/14.43 c GLOBAL bounds - >= 0 @ 12.4585
14.31/14.46 c GLOBAL bounds - >= 0 @ 12.4858
14.41/14.50 c GLOBAL bounds - >= 0 @ 12.5186
14.41/14.53 c GLOBAL bounds - >= 0 @ 12.5452
14.41/14.56 c GLOBAL bounds - >= 0 @ 12.5715
14.41/14.59 c GLOBAL bounds - >= 0 @ 12.5984
14.52/14.61 c GLOBAL bounds - >= 0 @ 12.6209
14.52/14.63 c GLOBAL bounds - >= 0 @ 12.6396
14.52/14.67 c GLOBAL bounds - >= 0 @ 12.6704
14.52/14.69 c GLOBAL bounds - >= 0 @ 12.6895
14.61/14.71 c GLOBAL bounds - >= 0 @ 12.7103
14.61/14.73 c #Conflicts: 1000 | #Constraints: 67650
14.61/14.73 c GLOBAL bounds - >= 0 @ 12.7316
14.61/14.76 c GLOBAL bounds - >= 0 @ 12.7552
14.61/14.79 c GLOBAL bounds - >= 0 @ 12.7768
14.71/14.81 c GLOBAL bounds - >= 0 @ 12.7992
14.71/14.84 c GLOBAL bounds - >= 0 @ 12.8201
14.71/14.86 c GLOBAL bounds - >= 0 @ 12.8389
14.71/14.88 c GLOBAL bounds - >= 0 @ 12.8598
14.81/14.90 c GLOBAL bounds - >= 0 @ 12.881
14.81/14.93 c GLOBAL bounds - >= 0 @ 12.9
14.81/14.95 c GLOBAL bounds - >= 0 @ 12.9157
14.81/14.98 c GLOBAL bounds - >= 0 @ 12.9441
14.81/15.00 c GLOBAL bounds - >= 0 @ 12.9654
14.93/15.02 c GLOBAL bounds - >= 0 @ 12.9861
14.93/15.05 c GLOBAL bounds - >= 0 @ 13.0059
14.93/15.07 c GLOBAL bounds - >= 0 @ 13.0236
14.93/15.09 c GLOBAL bounds - >= 0 @ 13.0408
15.03/15.11 c GLOBAL bounds - >= 0 @ 13.0603
15.03/15.13 c GLOBAL bounds - >= 0 @ 13.0804
15.03/15.15 c GLOBAL bounds - >= 0 @ 13.0999
15.03/15.18 c GLOBAL bounds - >= 0 @ 13.1207
15.12/15.20 c GLOBAL bounds - >= 0 @ 13.1419
15.12/15.22 c GLOBAL bounds - >= 0 @ 13.1602
15.12/15.24 c GLOBAL bounds - >= 0 @ 13.1799
15.12/15.26 c GLOBAL bounds - >= 0 @ 13.1956
15.12/15.28 c GLOBAL bounds - >= 0 @ 13.2133
15.22/15.30 c GLOBAL bounds - >= 0 @ 13.2294
15.22/15.32 c GLOBAL bounds - >= 0 @ 13.2453
15.22/15.33 c GLOBAL bounds - >= 0 @ 13.2604
15.22/15.35 c GLOBAL bounds - >= 0 @ 13.2763
15.22/15.37 c GLOBAL bounds - >= 0 @ 13.2924
15.22/15.39 c GLOBAL bounds - >= 0 @ 13.3125
15.32/15.41 c GLOBAL bounds - >= 0 @ 13.3323
15.32/15.43 c GLOBAL bounds - >= 0 @ 13.3475
15.32/15.45 c GLOBAL bounds - >= 0 @ 13.3634
15.32/15.47 c GLOBAL bounds - >= 0 @ 13.38
15.32/15.48 c GLOBAL bounds - >= 0 @ 13.3937
15.41/15.50 c GLOBAL bounds - >= 0 @ 13.4125
15.41/15.52 c GLOBAL bounds - >= 0 @ 13.4303
15.41/15.54 c GLOBAL bounds - >= 0 @ 13.448
15.41/15.56 c GLOBAL bounds - >= 0 @ 13.4652
15.41/15.57 c GLOBAL bounds - >= 0 @ 13.48
15.41/15.59 c GLOBAL bounds - >= 0 @ 13.4975
15.51/15.61 c GLOBAL bounds - >= 0 @ 13.5165
15.51/15.63 c GLOBAL bounds - >= 0 @ 13.5343
15.51/15.65 c GLOBAL bounds - >= 0 @ 13.5529
15.51/15.67 c GLOBAL bounds - >= 0 @ 13.5689
15.51/15.69 c GLOBAL bounds - >= 0 @ 13.5862
15.61/15.70 c GLOBAL bounds - >= 0 @ 13.6006
15.61/15.72 c GLOBAL bounds - >= 0 @ 13.6148
15.61/15.74 c GLOBAL bounds - >= 0 @ 13.6291
15.61/15.76 c GLOBAL bounds - >= 0 @ 13.6473
15.61/15.78 c GLOBAL bounds - >= 0 @ 13.6617
15.61/15.79 c GLOBAL bounds - >= 0 @ 13.6737
15.71/15.81 c GLOBAL bounds - >= 0 @ 13.6898
15.71/15.83 c GLOBAL bounds - >= 0 @ 13.7076
15.71/15.85 c GLOBAL bounds - >= 0 @ 13.7254
15.71/15.87 c GLOBAL bounds - >= 0 @ 13.7395
15.71/15.88 c GLOBAL bounds - >= 0 @ 13.7551
15.81/15.90 c GLOBAL bounds - >= 0 @ 13.7707
15.81/15.92 c GLOBAL bounds - >= 0 @ 13.7874
15.81/15.94 c GLOBAL bounds - >= 0 @ 13.8023
15.81/15.95 c GLOBAL bounds - >= 0 @ 13.8175
15.81/15.97 c GLOBAL bounds - >= 0 @ 13.8327
15.81/15.99 c GLOBAL bounds - >= 0 @ 13.8492
15.92/16.01 c GLOBAL bounds - >= 0 @ 13.8696
15.92/16.04 c GLOBAL bounds - >= 0 @ 13.8898
15.92/16.06 c GLOBAL bounds - >= 0 @ 13.9089
15.92/16.08 c GLOBAL bounds - >= 0 @ 13.928
15.92/16.09 c GLOBAL bounds - >= 0 @ 13.9418
16.02/16.11 c GLOBAL bounds - >= 0 @ 13.9578
16.02/16.13 c GLOBAL bounds - >= 0 @ 13.9767
16.02/16.15 c GLOBAL bounds - >= 0 @ 13.9936
16.02/16.17 c GLOBAL bounds - >= 0 @ 14.0118
16.02/16.19 c GLOBAL bounds - >= 0 @ 14.0272
16.11/16.21 c GLOBAL bounds - >= 0 @ 14.0425
16.11/16.23 c GLOBAL bounds - >= 0 @ 14.0622
16.11/16.25 c GLOBAL bounds - >= 0 @ 14.0788
16.11/16.29 c GLOBAL bounds - >= 0 @ 14.1111
16.21/16.31 c GLOBAL bounds - >= 0 @ 14.1358
16.21/16.34 c GLOBAL bounds - >= 0 @ 14.1571
16.21/16.36 c GLOBAL bounds - >= 0 @ 14.1795
16.31/16.40 c GLOBAL bounds - >= 0 @ 14.2111
16.31/16.42 c GLOBAL bounds - >= 0 @ 14.2309
16.31/16.44 c GLOBAL bounds - >= 0 @ 14.2502
16.31/16.46 c GLOBAL bounds - >= 0 @ 14.2712
16.31/16.48 c GLOBAL bounds - >= 0 @ 14.2896
16.41/16.51 c GLOBAL bounds - >= 0 @ 14.3094
16.41/16.53 c GLOBAL bounds - >= 0 @ 14.3281
16.41/16.56 c GLOBAL bounds - >= 0 @ 14.3562
16.41/16.58 c GLOBAL bounds - >= 0 @ 14.3794
16.51/16.60 c GLOBAL bounds - >= 0 @ 14.3958
16.51/16.62 c GLOBAL bounds - >= 0 @ 14.4137
16.51/16.64 c GLOBAL bounds - >= 0 @ 14.4358
16.51/16.66 c GLOBAL bounds - >= 0 @ 14.4545
16.51/16.69 c GLOBAL bounds - >= 0 @ 14.4749
16.61/16.71 c GLOBAL bounds - >= 0 @ 14.4927
16.61/16.73 c GLOBAL bounds - >= 0 @ 14.5118
16.61/16.74 c GLOBAL bounds - >= 0 @ 14.531
16.61/16.76 c GLOBAL bounds - >= 0 @ 14.5462
16.61/16.78 c GLOBAL bounds - >= 0 @ 14.5624
16.71/16.80 c GLOBAL bounds - >= 0 @ 14.5793
16.71/16.82 c GLOBAL bounds - >= 0 @ 14.5962
16.71/16.85 c GLOBAL bounds - >= 0 @ 14.6232
16.71/16.87 c GLOBAL bounds - >= 0 @ 14.6389
16.71/16.89 c GLOBAL bounds - >= 0 @ 14.6533
16.81/16.91 c GLOBAL bounds - >= 0 @ 14.6716
16.81/16.92 c GLOBAL bounds - >= 0 @ 14.6866
16.81/16.94 c GLOBAL bounds - >= 0 @ 14.7031
16.81/16.96 c GLOBAL bounds - >= 0 @ 14.7188
16.81/16.99 c GLOBAL bounds - >= 0 @ 14.7417
16.92/17.01 c GLOBAL bounds - >= 0 @ 14.7656
16.92/17.04 c GLOBAL bounds - >= 0 @ 14.7838
16.92/17.06 c GLOBAL bounds - >= 0 @ 14.805
16.92/17.08 c GLOBAL bounds - >= 0 @ 14.8228
16.92/17.10 c GLOBAL bounds - >= 0 @ 14.8429
17.02/17.15 c GLOBAL bounds - >= 0 @ 14.8707
17.02/17.18 c GLOBAL bounds - >= 0 @ 14.8991
17.11/17.21 c GLOBAL bounds - >= 0 @ 14.9205
17.11/17.23 c GLOBAL bounds - >= 0 @ 14.9381
17.11/17.25 c GLOBAL bounds - >= 0 @ 14.9543
17.11/17.27 c GLOBAL bounds - >= 0 @ 14.9726
17.11/17.29 c GLOBAL bounds - >= 0 @ 14.9879
17.21/17.31 c GLOBAL bounds - >= 0 @ 15.0038
17.21/17.33 c GLOBAL bounds - >= 0 @ 15.021
17.21/17.35 c GLOBAL bounds - >= 0 @ 15.0393
17.21/17.36 c GLOBAL bounds - >= 0 @ 15.0544
17.21/17.38 c GLOBAL bounds - >= 0 @ 15.0671
17.30/17.40 c GLOBAL bounds - >= 0 @ 15.084
17.30/17.42 c GLOBAL bounds - >= 0 @ 15.1021
17.30/17.44 c GLOBAL bounds - >= 0 @ 15.1159
17.30/17.45 c GLOBAL bounds - >= 0 @ 15.1296
17.30/17.47 c GLOBAL bounds - >= 0 @ 15.141
17.30/17.49 c GLOBAL bounds - >= 0 @ 15.1582
17.40/17.51 c GLOBAL bounds - >= 0 @ 15.1783
17.40/17.53 c GLOBAL bounds - >= 0 @ 15.1953
17.40/17.55 c GLOBAL bounds - >= 0 @ 15.2114
17.40/17.56 c GLOBAL bounds - >= 0 @ 15.2285
17.40/17.58 c GLOBAL bounds - >= 0 @ 15.2422
17.50/17.60 c GLOBAL bounds - >= 0 @ 15.2575
17.50/17.61 c GLOBAL bounds - >= 0 @ 15.2737
17.50/17.63 c GLOBAL bounds - >= 0 @ 15.2906
17.50/17.65 c GLOBAL bounds - >= 0 @ 15.3056
17.50/17.67 c GLOBAL bounds - >= 0 @ 15.3259
17.50/17.69 c GLOBAL bounds - >= 0 @ 15.3413
17.60/17.71 c GLOBAL bounds - >= 0 @ 15.3568
17.60/17.73 c GLOBAL bounds - >= 0 @ 15.3744
17.60/17.75 c GLOBAL bounds - >= 0 @ 15.3931
17.60/17.76 c GLOBAL bounds - >= 0 @ 15.4058
17.60/17.78 c GLOBAL bounds - >= 0 @ 15.4163
17.60/17.79 c GLOBAL bounds - >= 0 @ 15.4295
17.70/17.81 c GLOBAL bounds - >= 0 @ 15.4435
17.70/17.82 c GLOBAL bounds - >= 0 @ 15.4549
17.70/17.84 c GLOBAL bounds - >= 0 @ 15.4663
17.70/17.85 c GLOBAL bounds - >= 0 @ 15.4784
17.70/17.87 c GLOBAL bounds - >= 0 @ 15.4914
17.70/17.88 c GLOBAL bounds - >= 0 @ 15.5056
17.81/17.90 c GLOBAL bounds - >= 0 @ 15.5177
17.81/17.91 c GLOBAL bounds - >= 0 @ 15.5297
17.81/17.92 c GLOBAL bounds - >= 0 @ 15.5417
17.81/17.94 c GLOBAL bounds - >= 0 @ 15.5535
17.81/17.95 c GLOBAL bounds - >= 0 @ 15.5673
17.81/17.97 c GLOBAL bounds - >= 0 @ 15.5788
17.81/17.98 c GLOBAL bounds - >= 0 @ 15.5913
17.81/17.99 c GLOBAL bounds - >= 0 @ 15.6051
17.81/18.01 c GLOBAL bounds - >= 0 @ 15.6181
17.92/18.04 c GLOBAL bounds - >= 0 @ 15.646
17.92/18.06 c GLOBAL bounds - >= 0 @ 15.6675
17.92/18.09 c GLOBAL bounds - >= 0 @ 15.6869
17.92/18.11 c GLOBAL bounds - >= 0 @ 15.7053
18.02/18.13 c GLOBAL bounds - >= 0 @ 15.7217
18.02/18.14 c GLOBAL bounds - >= 0 @ 15.7367
18.02/18.16 c GLOBAL bounds - >= 0 @ 15.7507
18.02/18.18 c GLOBAL bounds - >= 0 @ 15.7651
18.02/18.19 c GLOBAL bounds - >= 0 @ 15.7785
18.11/18.21 c GLOBAL bounds - >= 0 @ 15.7931
18.11/18.23 c GLOBAL bounds - >= 0 @ 15.8067
18.11/18.24 c GLOBAL bounds - >= 0 @ 15.8195
18.11/18.26 c GLOBAL bounds - >= 0 @ 15.8333
18.11/18.27 c GLOBAL bounds - >= 0 @ 15.851
18.11/18.29 c GLOBAL bounds - >= 0 @ 15.8672
18.21/18.32 c GLOBAL bounds - >= 0 @ 15.8871
18.21/18.33 c GLOBAL bounds - >= 0 @ 15.9025
18.21/18.35 c GLOBAL bounds - >= 0 @ 15.9174
18.21/18.36 c GLOBAL bounds - >= 0 @ 15.93
18.21/18.38 c GLOBAL bounds - >= 0 @ 15.9498
18.31/18.41 c GLOBAL bounds - >= 0 @ 15.9704
18.31/18.43 c GLOBAL bounds - >= 0 @ 15.9925
18.31/18.45 c GLOBAL bounds - >= 0 @ 16.01
18.31/18.47 c GLOBAL bounds - >= 0 @ 16.0258
18.31/18.49 c GLOBAL bounds - >= 0 @ 16.0431
18.41/18.52 c GLOBAL bounds - >= 0 @ 16.0732
18.41/18.56 c GLOBAL bounds - >= 0 @ 16.1083
18.41/18.59 c GLOBAL bounds - >= 0 @ 16.1367
18.51/18.62 c GLOBAL bounds - >= 0 @ 16.1631
18.51/18.66 c GLOBAL bounds - >= 0 @ 16.1996
18.60/18.71 c GLOBAL bounds - >= 0 @ 16.244
18.60/18.76 c GLOBAL bounds - >= 0 @ 16.2923
18.70/18.81 c GLOBAL bounds - >= 0 @ 16.3387
18.70/18.85 c GLOBAL bounds - >= 0 @ 16.3721
18.70/18.87 c GLOBAL bounds - >= 0 @ 16.3927
18.80/18.90 c GLOBAL bounds - >= 0 @ 16.4142
18.80/18.92 c GLOBAL bounds - >= 0 @ 16.4377
18.80/18.95 c GLOBAL bounds - >= 0 @ 16.4661
18.80/18.98 c GLOBAL bounds - >= 0 @ 16.4927
18.80/19.00 c GLOBAL bounds - >= 0 @ 16.5106
18.91/19.02 c GLOBAL bounds - >= 0 @ 16.5245
18.91/19.04 c GLOBAL bounds - >= 0 @ 16.5396
18.91/19.06 c GLOBAL bounds - >= 0 @ 16.5576
18.91/19.08 c GLOBAL bounds - >= 0 @ 16.5746
18.91/19.09 c GLOBAL bounds - >= 0 @ 16.5936
19.02/19.11 c GLOBAL bounds - >= 0 @ 16.6101
19.02/19.13 c GLOBAL bounds - >= 0 @ 16.6253
19.02/19.15 c GLOBAL bounds - >= 0 @ 16.6415
19.02/19.16 c GLOBAL bounds - >= 0 @ 16.6556
19.02/19.18 c GLOBAL bounds - >= 0 @ 16.6694
19.02/19.19 c GLOBAL bounds - >= 0 @ 16.6817
19.10/19.21 c GLOBAL bounds - >= 0 @ 16.6989
19.10/19.23 c GLOBAL bounds - >= 0 @ 16.7205
19.10/19.25 c GLOBAL bounds - >= 0 @ 16.7327
19.10/19.26 c GLOBAL bounds - >= 0 @ 16.7483
19.10/19.28 c GLOBAL bounds - >= 0 @ 16.7601
19.10/19.29 c GLOBAL bounds - >= 0 @ 16.7726
19.20/19.30 c GLOBAL bounds - >= 0 @ 16.7844
19.20/19.32 c GLOBAL bounds - >= 0 @ 16.7932
19.20/19.33 c GLOBAL bounds - >= 0 @ 16.8061
19.20/19.34 c GLOBAL bounds - >= 0 @ 16.8206
19.20/19.36 c GLOBAL bounds - >= 0 @ 16.8292
19.20/19.37 c GLOBAL bounds - >= 0 @ 16.8405
19.20/19.38 c GLOBAL bounds - >= 0 @ 16.8512
19.20/19.39 c GLOBAL bounds - >= 0 @ 16.8626
19.30/19.40 c GLOBAL bounds - >= 0 @ 16.8694
19.30/19.42 c GLOBAL bounds - >= 0 @ 16.8778
19.30/19.43 c GLOBAL bounds - >= 0 @ 16.8919
19.30/19.44 c GLOBAL bounds - >= 0 @ 16.9033
19.30/19.45 c GLOBAL bounds - >= 0 @ 16.9136
19.30/19.46 c GLOBAL bounds - >= 0 @ 16.9225
19.30/19.47 c GLOBAL bounds - >= 0 @ 16.9304
19.30/19.48 c GLOBAL bounds - >= 0 @ 16.9401
19.30/19.49 c GLOBAL bounds - >= 0 @ 16.95
19.40/19.50 c GLOBAL bounds - >= 0 @ 16.9592
19.40/19.52 c GLOBAL bounds - >= 0 @ 16.9709
19.40/19.53 c GLOBAL bounds - >= 0 @ 16.982
19.40/19.54 c GLOBAL bounds - >= 0 @ 16.9905
19.40/19.55 c GLOBAL bounds - >= 0 @ 16.9984
19.40/19.56 c GLOBAL bounds - >= 0 @ 17.0062
19.40/19.57 c GLOBAL bounds - >= 0 @ 17.0154
19.40/19.58 c GLOBAL bounds - >= 0 @ 17.0235
19.40/19.59 c GLOBAL bounds - >= 0 @ 17.0328
19.50/19.60 c GLOBAL bounds - >= 0 @ 17.0446
19.50/19.61 c GLOBAL bounds - >= 0 @ 17.0559
19.50/19.63 c GLOBAL bounds - >= 0 @ 17.0662
19.50/19.64 c GLOBAL bounds - >= 0 @ 17.0781
19.50/19.65 c GLOBAL bounds - >= 0 @ 17.0891
19.50/19.66 c GLOBAL bounds - >= 0 @ 17.0993
19.50/19.67 c GLOBAL bounds - >= 0 @ 17.1054
19.50/19.68 c GLOBAL bounds - >= 0 @ 17.1149
19.50/19.69 c GLOBAL bounds - >= 0 @ 17.1272
19.60/19.70 c GLOBAL bounds - >= 0 @ 17.1377
19.60/19.71 c GLOBAL bounds - >= 0 @ 17.1465
19.60/19.72 c GLOBAL bounds - >= 0 @ 17.154
19.60/19.78 c GLOBAL bounds - >= 0 @ 17.2093
19.92/20.08 c GLOBAL bounds - >= 0 @ 17.4975
20.01/20.14 c GLOBAL bounds - >= 0 @ 17.5513
20.59/20.75 c #Conflicts: 2000 | #Constraints: 69176
20.59/20.75 c INPROCESSING
20.59/20.75 c GARBAGE COLLECT
20.59/20.75 c GLOBAL bounds - >= 0 @ 18.1486
20.90/21.04 c GLOBAL bounds - >= 0 @ 18.4192
23.19/23.33 c #Conflicts: 3000 | #Constraints: 69192
23.19/23.33 c GLOBAL bounds - >= 0 @ 20.6328
23.29/23.41 c GLOBAL bounds - >= 0 @ 20.7015
23.29/23.46 c GLOBAL bounds - >= 0 @ 20.7435
23.39/23.51 c GLOBAL bounds - >= 0 @ 20.7915
23.39/23.53 c GLOBAL bounds - >= 0 @ 20.8131
23.39/23.55 c GLOBAL bounds - >= 0 @ 20.8355
23.39/23.59 c GLOBAL bounds - >= 0 @ 20.874
23.48/23.61 c GLOBAL bounds - >= 0 @ 20.8906
23.48/23.63 c GLOBAL bounds - >= 0 @ 20.9074
23.48/23.65 c GLOBAL bounds - >= 0 @ 20.9181
23.48/23.66 c GLOBAL bounds - >= 0 @ 20.9349
23.48/23.68 c GLOBAL bounds - >= 0 @ 20.9503
23.48/23.69 c GLOBAL bounds - >= 0 @ 20.9619
23.58/23.79 c GLOBAL bounds - >= 0 @ 21.0512
23.90/24.08 c GLOBAL bounds - >= 0 @ 21.3319
24.39/24.51 c GLOBAL bounds - >= 0 @ 21.7521
25.78/26.00 c #Conflicts: 4000 | #Constraints: 70224
25.78/26.00 c INPROCESSING
25.78/26.00 c GARBAGE COLLECT
25.78/26.00 c GLOBAL bounds - >= 0 @ 23.2018
27.08/27.22 c GLOBAL bounds - >= 0 @ 24.3835
254.95/255.80 c #Conflicts: 5000 | #Constraints: 69635
254.95/255.80 c #Conflicts: 6000 | #Constraints: 70635
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 7000 | #Constraints: 69647
254.95/255.80 c #Conflicts: 8000 | #Constraints: 70647
254.95/255.80 c #Conflicts: 9000 | #Constraints: 71647
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 10000 | #Constraints: 70351
254.95/255.80 c #Conflicts: 11000 | #Constraints: 71351
254.95/255.80 c #Conflicts: 12000 | #Constraints: 72351
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 13000 | #Constraints: 70807
254.95/255.80 c #Conflicts: 14000 | #Constraints: 71807
254.95/255.80 c #Conflicts: 15000 | #Constraints: 72807
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 16000 | #Constraints: 71034
254.95/255.80 c #Conflicts: 17000 | #Constraints: 72034
254.95/255.80 c #Conflicts: 18000 | #Constraints: 73034
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 19000 | #Constraints: 71049
254.95/255.80 c #Conflicts: 20000 | #Constraints: 72049
254.95/255.80 c #Conflicts: 21000 | #Constraints: 73049
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 22000 | #Constraints: 70851
254.95/255.80 c #Conflicts: 23000 | #Constraints: 71851
254.95/255.80 c #Conflicts: 24000 | #Constraints: 72851
254.95/255.80 c #Conflicts: 25000 | #Constraints: 73851
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 26000 | #Constraints: 71449
254.95/255.80 c #Conflicts: 27000 | #Constraints: 72449
254.95/255.80 c #Conflicts: 28000 | #Constraints: 73449
254.95/255.80 c #Conflicts: 29000 | #Constraints: 74449
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 30000 | #Constraints: 71857
254.95/255.80 c #Conflicts: 31000 | #Constraints: 72857
254.95/255.80 c #Conflicts: 32000 | #Constraints: 73857
254.95/255.80 c #Conflicts: 33000 | #Constraints: 74857
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 34000 | #Constraints: 72051
254.95/255.80 c #Conflicts: 35000 | #Constraints: 73051
254.95/255.80 c #Conflicts: 36000 | #Constraints: 74051
254.95/255.80 c #Conflicts: 37000 | #Constraints: 75051
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 38000 | #Constraints: 72062
254.95/255.80 c #Conflicts: 39000 | #Constraints: 73062
254.95/255.80 c #Conflicts: 40000 | #Constraints: 74062
254.95/255.80 c #Conflicts: 41000 | #Constraints: 75062
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 42000 | #Constraints: 71859
254.95/255.80 c #Conflicts: 43000 | #Constraints: 72859
254.95/255.80 c #Conflicts: 44000 | #Constraints: 73859
254.95/255.80 c #Conflicts: 45000 | #Constraints: 74859
254.95/255.80 c #Conflicts: 46000 | #Constraints: 75859
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 47000 | #Constraints: 72454
254.95/255.80 c #Conflicts: 48000 | #Constraints: 73454
254.95/255.80 c #Conflicts: 49000 | #Constraints: 74454
254.95/255.80 c #Conflicts: 50000 | #Constraints: 75454
254.95/255.80 c #Conflicts: 51000 | #Constraints: 76454
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 52000 | #Constraints: 72852
254.95/255.80 c #Conflicts: 53000 | #Constraints: 73852
254.95/255.80 c #Conflicts: 54000 | #Constraints: 74852
254.95/255.80 c #Conflicts: 55000 | #Constraints: 75852
254.95/255.80 c #Conflicts: 56000 | #Constraints: 76852
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 57000 | #Constraints: 73055
254.95/255.80 c #Conflicts: 58000 | #Constraints: 74055
254.95/255.80 c #Conflicts: 59000 | #Constraints: 75055
254.95/255.80 c #Conflicts: 60000 | #Constraints: 76055
254.95/255.80 c #Conflicts: 61000 | #Constraints: 77055
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 62000 | #Constraints: 73059
254.95/255.80 c #Conflicts: 63000 | #Constraints: 74059
254.95/255.80 c #Conflicts: 64000 | #Constraints: 75059
254.95/255.80 c #Conflicts: 65000 | #Constraints: 76059
254.95/255.80 c #Conflicts: 66000 | #Constraints: 77059
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
254.95/255.80 c #Conflicts: 67000 | #Constraints: 72866
254.95/255.80 c #Conflicts: 68000 | #Constraints: 73866
254.95/255.80 c #Conflicts: 69000 | #Constraints: 74866
254.95/255.80 c #Conflicts: 70000 | #Constraints: 75866
254.95/255.80 c #Conflicts: 71000 | #Constraints: 76866
254.95/255.80 c #Conflicts: 72000 | #Constraints: 77866
254.95/255.80 c INPROCESSING
254.95/255.80 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 73000 | #Constraints: 73465
516.22/518.01 c #Conflicts: 74000 | #Constraints: 74465
516.22/518.01 c #Conflicts: 75000 | #Constraints: 75465
516.22/518.01 c #Conflicts: 76000 | #Constraints: 76465
516.22/518.01 c #Conflicts: 77000 | #Constraints: 77465
516.22/518.01 c #Conflicts: 78000 | #Constraints: 78465
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 79000 | #Constraints: 73859
516.22/518.01 c #Conflicts: 80000 | #Constraints: 74859
516.22/518.01 c #Conflicts: 81000 | #Constraints: 75859
516.22/518.01 c #Conflicts: 82000 | #Constraints: 76859
516.22/518.01 c #Conflicts: 83000 | #Constraints: 77859
516.22/518.01 c #Conflicts: 84000 | #Constraints: 78859
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 85000 | #Constraints: 74059
516.22/518.01 c #Conflicts: 86000 | #Constraints: 75059
516.22/518.01 c #Conflicts: 87000 | #Constraints: 76059
516.22/518.01 c #Conflicts: 88000 | #Constraints: 77059
516.22/518.01 c #Conflicts: 89000 | #Constraints: 78059
516.22/518.01 c #Conflicts: 90000 | #Constraints: 79059
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 91000 | #Constraints: 74057
516.22/518.01 c #Conflicts: 92000 | #Constraints: 75057
516.22/518.01 c #Conflicts: 93000 | #Constraints: 76057
516.22/518.01 c #Conflicts: 94000 | #Constraints: 77057
516.22/518.01 c #Conflicts: 95000 | #Constraints: 78057
516.22/518.01 c #Conflicts: 96000 | #Constraints: 79057
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 97000 | #Constraints: 73853
516.22/518.01 c #Conflicts: 98000 | #Constraints: 74853
516.22/518.01 c #Conflicts: 99000 | #Constraints: 75853
516.22/518.01 c #Conflicts: 100000 | #Constraints: 76853
516.22/518.01 c #Conflicts: 101000 | #Constraints: 77853
516.22/518.01 c #Conflicts: 102000 | #Constraints: 78853
516.22/518.01 c #Conflicts: 103000 | #Constraints: 79853
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 104000 | #Constraints: 74451
516.22/518.01 c #Conflicts: 105000 | #Constraints: 75451
516.22/518.01 c #Conflicts: 106000 | #Constraints: 76451
516.22/518.01 c #Conflicts: 107000 | #Constraints: 77451
516.22/518.01 c #Conflicts: 108000 | #Constraints: 78451
516.22/518.01 c #Conflicts: 109000 | #Constraints: 79451
516.22/518.01 c #Conflicts: 110000 | #Constraints: 80451
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 111000 | #Constraints: 74866
516.22/518.01 c #Conflicts: 112000 | #Constraints: 75866
516.22/518.01 c #Conflicts: 113000 | #Constraints: 76866
516.22/518.01 c #Conflicts: 114000 | #Constraints: 77866
516.22/518.01 c #Conflicts: 115000 | #Constraints: 78866
516.22/518.01 c #Conflicts: 116000 | #Constraints: 79866
516.22/518.01 c #Conflicts: 117000 | #Constraints: 80866
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 118000 | #Constraints: 75061
516.22/518.01 c #Conflicts: 119000 | #Constraints: 76061
516.22/518.01 c #Conflicts: 120000 | #Constraints: 77061
516.22/518.01 c #Conflicts: 121000 | #Constraints: 78061
516.22/518.01 c #Conflicts: 122000 | #Constraints: 79061
516.22/518.01 c #Conflicts: 123000 | #Constraints: 80061
516.22/518.01 c #Conflicts: 124000 | #Constraints: 81061
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 125000 | #Constraints: 75065
516.22/518.01 c #Conflicts: 126000 | #Constraints: 76065
516.22/518.01 c #Conflicts: 127000 | #Constraints: 77065
516.22/518.01 c #Conflicts: 128000 | #Constraints: 78065
516.22/518.01 c #Conflicts: 129000 | #Constraints: 79065
516.22/518.01 c #Conflicts: 130000 | #Constraints: 80065
516.22/518.01 c #Conflicts: 131000 | #Constraints: 81065
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 132000 | #Constraints: 74858
516.22/518.01 c #Conflicts: 133000 | #Constraints: 75858
516.22/518.01 c #Conflicts: 134000 | #Constraints: 76858
516.22/518.01 c #Conflicts: 135000 | #Constraints: 77858
516.22/518.01 c #Conflicts: 136000 | #Constraints: 78858
516.22/518.01 c #Conflicts: 137000 | #Constraints: 79858
516.22/518.01 c #Conflicts: 138000 | #Constraints: 80858
516.22/518.01 c #Conflicts: 139000 | #Constraints: 81858
516.22/518.01 c INPROCESSING
516.22/518.01 c GARBAGE COLLECT
516.22/518.01 c #Conflicts: 140000 | #Constraints: 75456
516.22/518.01 c #Conflicts: 141000 | #Constraints: 76456
516.22/518.01 c #Conflicts: 142000 | #Constraints: 77456
516.22/518.01 c #Conflicts: 143000 | #Constraints: 78456
516.22/518.01 c #Conflicts: 144000 | #Constraints: 79456
516.22/518.01 c #Conflicts: 145000 | #Constraints: 80456
797.53/800.15 c #Conflicts: 146000 | #Constraints: 81456
797.53/800.15 c #Conflicts: 147000 | #Constraints: 82456
797.53/800.15 c INPROCESSING
797.53/800.15 c GARBAGE COLLECT
797.53/800.15 c #Conflicts: 148000 | #Constraints: 75858
797.53/800.15 c #Conflicts: 149000 | #Constraints: 76858
797.53/800.15 c #Conflicts: 150000 | #Constraints: 77858
797.53/800.15 c #Conflicts: 151000 | #Constraints: 78858
797.53/800.15 c #Conflicts: 152000 | #Constraints: 79858
797.53/800.15 c #Conflicts: 153000 | #Constraints: 80858
797.53/800.15 c #Conflicts: 154000 | #Constraints: 81858
797.53/800.15 c #Conflicts: 155000 | #Constraints: 82858
797.53/800.15 c INPROCESSING
797.53/800.15 c GARBAGE COLLECT
797.53/800.15 c #Conflicts: 156000 | #Constraints: 76059
797.53/800.15 c #Conflicts: 157000 | #Constraints: 77059
797.53/800.15 c #Conflicts: 158000 | #Constraints: 78059
797.53/800.15 c #Conflicts: 159000 | #Constraints: 79059
797.53/800.15 c #Conflicts: 160000 | #Constraints: 80059
797.53/800.15 c #Conflicts: 161000 | #Constraints: 81059
797.53/800.15 c #Conflicts: 162000 | #Constraints: 82059
797.53/800.15 c #Conflicts: 163000 | #Constraints: 83059
797.53/800.15 c INPROCESSING
797.53/800.15 c GARBAGE COLLECT
797.53/800.15 c #Conflicts: 164000 | #Constraints: 76063
797.53/800.15 c #Conflicts: 165000 | #Constraints: 77063
797.53/800.15 c #Conflicts: 166000 | #Constraints: 78063
797.53/800.15 c #Conflicts: 167000 | #Constraints: 79063
797.53/800.15 c #Conflicts: 168000 | #Constraints: 80063
797.53/800.15 c #Conflicts: 169000 | #Constraints: 81063
797.53/800.15 c #Conflicts: 170000 | #Constraints: 82063
797.53/800.15 c #Conflicts: 171000 | #Constraints: 83063
797.53/800.15 c INPROCESSING
797.53/800.15 c GARBAGE COLLECT
797.53/800.15 c #Conflicts: 172000 | #Constraints: 75858
797.53/800.15 c #Conflicts: 173000 | #Constraints: 76858
797.53/800.15 c #Conflicts: 174000 | #Constraints: 77858
797.53/800.15 c #Conflicts: 175000 | #Constraints: 78858
797.53/800.15 c #Conflicts: 176000 | #Constraints: 79858
797.53/800.15 c #Conflicts: 177000 | #Constraints: 80858
797.53/800.15 c #Conflicts: 178000 | #Constraints: 81858
797.53/800.15 c #Conflicts: 179000 | #Constraints: 82858
797.53/800.15 c #Conflicts: 180000 | #Constraints: 83858
797.53/800.15 c INPROCESSING
797.53/800.15 c GARBAGE COLLECT
797.53/800.15 c #Conflicts: 181000 | #Constraints: 76461
797.53/800.15 c #Conflicts: 182000 | #Constraints: 77461
797.53/800.15 c #Conflicts: 183000 | #Constraints: 78461
797.53/800.15 c #Conflicts: 184000 | #Constraints: 79461
797.53/800.15 c #Conflicts: 185000 | #Constraints: 80461
797.53/800.15 c #Conflicts: 186000 | #Constraints: 81461
797.53/800.15 c #Conflicts: 187000 | #Constraints: 82461
797.53/800.15 c #Conflicts: 188000 | #Constraints: 83461
797.53/800.15 c #Conflicts: 189000 | #Constraints: 84461
797.53/800.15 c INPROCESSING
797.53/800.15 c GARBAGE COLLECT
797.53/800.15 c #Conflicts: 190000 | #Constraints: 76859
797.53/800.15 c #Conflicts: 191000 | #Constraints: 77859
797.53/800.15 c #Conflicts: 192000 | #Constraints: 78859
797.53/800.15 c #Conflicts: 193000 | #Constraints: 79859
797.53/800.15 c #Conflicts: 194000 | #Constraints: 80859
797.53/800.15 c #Conflicts: 195000 | #Constraints: 81859
797.53/800.15 c #Conflicts: 196000 | #Constraints: 82859
797.53/800.15 c #Conflicts: 197000 | #Constraints: 83859
797.53/800.15 c #Conflicts: 198000 | #Constraints: 84859
797.53/800.15 c INPROCESSING
797.53/800.15 c GARBAGE COLLECT
797.53/800.15 c #Conflicts: 199000 | #Constraints: 77063
797.53/800.15 c #Conflicts: 200000 | #Constraints: 78063
797.53/800.15 c #Conflicts: 201000 | #Constraints: 79063
797.53/800.15 c #Conflicts: 202000 | #Constraints: 80063
797.53/800.15 c #Conflicts: 203000 | #Constraints: 81063
797.53/800.15 c #Conflicts: 204000 | #Constraints: 82063
797.53/800.15 c #Conflicts: 205000 | #Constraints: 83063
797.53/800.15 c #Conflicts: 206000 | #Constraints: 84063
797.53/800.15 c #Conflicts: 207000 | #Constraints: 85063
797.53/800.15 c INPROCESSING
797.53/800.15 c GARBAGE COLLECT
797.53/800.15 c #Conflicts: 208000 | #Constraints: 77062
797.53/800.15 c #Conflicts: 209000 | #Constraints: 78062
797.53/800.15 c #Conflicts: 210000 | #Constraints: 79062
797.53/800.15 c #Conflicts: 211000 | #Constraints: 80062
797.53/800.15 c #Conflicts: 212000 | #Constraints: 81062
797.53/800.15 c #Conflicts: 213000 | #Constraints: 82062
797.53/800.15 c #Conflicts: 214000 | #Constraints: 83062
797.53/800.15 c #Conflicts: 215000 | #Constraints: 84062
797.53/800.15 c #Conflicts: 216000 | #Constraints: 85062
797.53/800.15 c INPROCESSING
797.53/800.15 c GARBAGE COLLECT
797.53/800.15 c #Conflicts: 217000 | #Constraints: 76862
797.53/800.15 c #Conflicts: 218000 | #Constraints: 77862
1111.93/1115.55 c #Conflicts: 219000 | #Constraints: 78862
1111.93/1115.55 c #Conflicts: 220000 | #Constraints: 79862
1111.93/1115.55 c #Conflicts: 221000 | #Constraints: 80862
1111.93/1115.55 c #Conflicts: 222000 | #Constraints: 81862
1111.93/1115.55 c #Conflicts: 223000 | #Constraints: 82862
1111.93/1115.55 c #Conflicts: 224000 | #Constraints: 83862
1111.93/1115.55 c #Conflicts: 225000 | #Constraints: 84862
1111.93/1115.55 c #Conflicts: 226000 | #Constraints: 85862
1111.93/1115.55 c INPROCESSING
1111.93/1115.55 c GARBAGE COLLECT
1111.93/1115.55 c #Conflicts: 227000 | #Constraints: 77459
1111.93/1115.55 c #Conflicts: 228000 | #Constraints: 78459
1111.93/1115.55 c #Conflicts: 229000 | #Constraints: 79459
1111.93/1115.55 c #Conflicts: 230000 | #Constraints: 80459
1111.93/1115.55 c #Conflicts: 231000 | #Constraints: 81459
1111.93/1115.55 c #Conflicts: 232000 | #Constraints: 82459
1111.93/1115.55 c #Conflicts: 233000 | #Constraints: 83459
1111.93/1115.55 c #Conflicts: 234000 | #Constraints: 84459
1111.93/1115.55 c #Conflicts: 235000 | #Constraints: 85459
1111.93/1115.55 c #Conflicts: 236000 | #Constraints: 86459
1111.93/1115.55 c INPROCESSING
1111.93/1115.55 c GARBAGE COLLECT
1111.93/1115.55 c #Conflicts: 237000 | #Constraints: 77862
1111.93/1115.55 c #Conflicts: 238000 | #Constraints: 78862
1111.93/1115.55 c #Conflicts: 239000 | #Constraints: 79862
1111.93/1115.55 c #Conflicts: 240000 | #Constraints: 80862
1111.93/1115.55 c #Conflicts: 241000 | #Constraints: 81862
1111.93/1115.55 c #Conflicts: 242000 | #Constraints: 82862
1111.93/1115.55 c #Conflicts: 243000 | #Constraints: 83862
1111.93/1115.55 c #Conflicts: 244000 | #Constraints: 84862
1111.93/1115.55 c #Conflicts: 245000 | #Constraints: 85862
1111.93/1115.55 c #Conflicts: 246000 | #Constraints: 86862
1111.93/1115.55 c INPROCESSING
1111.93/1115.55 c GARBAGE COLLECT
1111.93/1115.55 c #Conflicts: 247000 | #Constraints: 78065
1111.93/1115.55 c #Conflicts: 248000 | #Constraints: 79065
1111.93/1115.55 c #Conflicts: 249000 | #Constraints: 80065
1111.93/1115.55 c #Conflicts: 250000 | #Constraints: 81065
1111.93/1115.55 c #Conflicts: 251000 | #Constraints: 82065
1111.93/1115.55 c #Conflicts: 252000 | #Constraints: 83065
1111.93/1115.55 c #Conflicts: 253000 | #Constraints: 84065
1111.93/1115.55 c #Conflicts: 254000 | #Constraints: 85065
1111.93/1115.55 c #Conflicts: 255000 | #Constraints: 86065
1111.93/1115.55 c #Conflicts: 256000 | #Constraints: 87065
1111.93/1115.55 c INPROCESSING
1111.93/1115.55 c GARBAGE COLLECT
1111.93/1115.55 c #Conflicts: 257000 | #Constraints: 78068
1111.93/1115.55 c #Conflicts: 258000 | #Constraints: 79068
1111.93/1115.55 c #Conflicts: 259000 | #Constraints: 80068
1111.93/1115.55 c #Conflicts: 260000 | #Constraints: 81068
1111.93/1115.55 c #Conflicts: 261000 | #Constraints: 82068
1111.93/1115.55 c #Conflicts: 262000 | #Constraints: 83068
1111.93/1115.55 c #Conflicts: 263000 | #Constraints: 84068
1111.93/1115.55 c #Conflicts: 264000 | #Constraints: 85068
1111.93/1115.55 c #Conflicts: 265000 | #Constraints: 86068
1111.93/1115.55 c #Conflicts: 266000 | #Constraints: 87068
1111.93/1115.55 c INPROCESSING
1111.93/1115.55 c GARBAGE COLLECT
1111.93/1115.55 c #Conflicts: 267000 | #Constraints: 77862
1111.93/1115.55 c #Conflicts: 268000 | #Constraints: 78862
1111.93/1115.55 c #Conflicts: 269000 | #Constraints: 79862
1111.93/1115.55 c #Conflicts: 270000 | #Constraints: 80862
1111.93/1115.55 c #Conflicts: 271000 | #Constraints: 81862
1111.93/1115.55 c #Conflicts: 272000 | #Constraints: 82862
1111.93/1115.55 c #Conflicts: 273000 | #Constraints: 83862
1111.93/1115.55 c #Conflicts: 274000 | #Constraints: 84862
1111.93/1115.55 c #Conflicts: 275000 | #Constraints: 85862
1111.93/1115.55 c #Conflicts: 276000 | #Constraints: 86862
1111.93/1115.55 c #Conflicts: 277000 | #Constraints: 87862
1111.93/1115.55 c INPROCESSING
1111.93/1115.55 c GARBAGE COLLECT
1111.93/1115.55 c #Conflicts: 278000 | #Constraints: 78462
1111.93/1115.55 c #Conflicts: 279000 | #Constraints: 79462
1111.93/1115.55 c #Conflicts: 280000 | #Constraints: 80462
1111.93/1115.55 c #Conflicts: 281000 | #Constraints: 81462
1111.93/1115.55 c #Conflicts: 282000 | #Constraints: 82462
1111.93/1115.55 c #Conflicts: 283000 | #Constraints: 83462
1111.93/1115.55 c #Conflicts: 284000 | #Constraints: 84462
1111.93/1115.55 c #Conflicts: 285000 | #Constraints: 85462
1111.93/1115.55 c #Conflicts: 286000 | #Constraints: 86462
1111.93/1115.55 c #Conflicts: 287000 | #Constraints: 87462
1111.93/1115.55 c #Conflicts: 288000 | #Constraints: 88462
1111.93/1115.55 c INPROCESSING
1111.93/1115.55 c GARBAGE COLLECT
1111.93/1115.55 c #Conflicts: 289000 | #Constraints: 78862
1111.93/1115.55 c #Conflicts: 290000 | #Constraints: 79862
1111.93/1115.55 c #Conflicts: 291000 | #Constraints: 80862
1111.93/1115.55 c #Conflicts: 292000 | #Constraints: 81862
1434.90/1439.53 c #Conflicts: 293000 | #Constraints: 82862
1434.90/1439.53 c #Conflicts: 294000 | #Constraints: 83862
1434.90/1439.53 c #Conflicts: 295000 | #Constraints: 84862
1434.90/1439.53 c #Conflicts: 296000 | #Constraints: 85862
1434.90/1439.53 c #Conflicts: 297000 | #Constraints: 86862
1434.90/1439.53 c #Conflicts: 298000 | #Constraints: 87862
1434.90/1439.53 c #Conflicts: 299000 | #Constraints: 88862
1434.90/1439.53 c INPROCESSING
1434.90/1439.53 c GARBAGE COLLECT
1434.90/1439.53 c #Conflicts: 300000 | #Constraints: 79062
1434.90/1439.53 c #Conflicts: 301000 | #Constraints: 80062
1434.90/1439.53 c #Conflicts: 302000 | #Constraints: 81062
1434.90/1439.53 c #Conflicts: 303000 | #Constraints: 82062
1434.90/1439.53 c #Conflicts: 304000 | #Constraints: 83062
1434.90/1439.53 c #Conflicts: 305000 | #Constraints: 84062
1434.90/1439.53 c #Conflicts: 306000 | #Constraints: 85062
1434.90/1439.53 c #Conflicts: 307000 | #Constraints: 86062
1434.90/1439.53 c #Conflicts: 308000 | #Constraints: 87062
1434.90/1439.53 c #Conflicts: 309000 | #Constraints: 88062
1434.90/1439.53 c #Conflicts: 310000 | #Constraints: 89062
1434.90/1439.53 c INPROCESSING
1434.90/1439.53 c GARBAGE COLLECT
1434.90/1439.53 c #Conflicts: 311000 | #Constraints: 79061
1434.90/1439.53 c #Conflicts: 312000 | #Constraints: 80061
1434.90/1439.53 c #Conflicts: 313000 | #Constraints: 81061
1434.90/1439.53 c #Conflicts: 314000 | #Constraints: 82061
1434.90/1439.53 c #Conflicts: 315000 | #Constraints: 83061
1434.90/1439.53 c #Conflicts: 316000 | #Constraints: 84061
1434.90/1439.53 c #Conflicts: 317000 | #Constraints: 85061
1434.90/1439.53 c #Conflicts: 318000 | #Constraints: 86061
1434.90/1439.53 c #Conflicts: 319000 | #Constraints: 87061
1434.90/1439.53 c #Conflicts: 320000 | #Constraints: 88061
1434.90/1439.53 c #Conflicts: 321000 | #Constraints: 89061
1434.90/1439.53 c INPROCESSING
1434.90/1439.53 c GARBAGE COLLECT
1434.90/1439.53 c #Conflicts: 322000 | #Constraints: 78859
1434.90/1439.53 c #Conflicts: 323000 | #Constraints: 79859
1434.90/1439.53 c #Conflicts: 324000 | #Constraints: 80859
1434.90/1439.53 c #Conflicts: 325000 | #Constraints: 81859
1434.90/1439.53 c #Conflicts: 326000 | #Constraints: 82859
1434.90/1439.53 c #Conflicts: 327000 | #Constraints: 83859
1434.90/1439.53 c #Conflicts: 328000 | #Constraints: 84859
1434.90/1439.53 c #Conflicts: 329000 | #Constraints: 85859
1434.90/1439.53 c #Conflicts: 330000 | #Constraints: 86859
1434.90/1439.53 c #Conflicts: 331000 | #Constraints: 87859
1434.90/1439.53 c #Conflicts: 332000 | #Constraints: 88859
1434.90/1439.53 c #Conflicts: 333000 | #Constraints: 89859
1434.90/1439.53 c INPROCESSING
1434.90/1439.53 c GARBAGE COLLECT
1434.90/1439.53 c #Conflicts: 334000 | #Constraints: 79466
1434.90/1439.53 c #Conflicts: 335000 | #Constraints: 80466
1434.90/1439.53 c #Conflicts: 336000 | #Constraints: 81466
1434.90/1439.53 c #Conflicts: 337000 | #Constraints: 82466
1434.90/1439.53 c #Conflicts: 338000 | #Constraints: 83466
1434.90/1439.53 c #Conflicts: 339000 | #Constraints: 84466
1434.90/1439.53 c #Conflicts: 340000 | #Constraints: 85466
1434.90/1439.53 c #Conflicts: 341000 | #Constraints: 86466
1434.90/1439.53 c #Conflicts: 342000 | #Constraints: 87466
1434.90/1439.53 c #Conflicts: 343000 | #Constraints: 88466
1434.90/1439.53 c #Conflicts: 344000 | #Constraints: 89466
1434.90/1439.53 c #Conflicts: 345000 | #Constraints: 90466
1434.90/1439.53 c INPROCESSING
1434.90/1439.53 c GARBAGE COLLECT
1434.90/1439.53 c #Conflicts: 346000 | #Constraints: 79862
1434.90/1439.53 c #Conflicts: 347000 | #Constraints: 80862
1434.90/1439.53 c #Conflicts: 348000 | #Constraints: 81862
1434.90/1439.53 c #Conflicts: 349000 | #Constraints: 82862
1434.90/1439.53 c #Conflicts: 350000 | #Constraints: 83862
1434.90/1439.53 c #Conflicts: 351000 | #Constraints: 84862
1434.90/1439.53 c #Conflicts: 352000 | #Constraints: 85862
1434.90/1439.53 c #Conflicts: 353000 | #Constraints: 86862
1434.90/1439.53 c #Conflicts: 354000 | #Constraints: 87862
1434.90/1439.53 c #Conflicts: 355000 | #Constraints: 88862
1434.90/1439.53 c #Conflicts: 356000 | #Constraints: 89862
1434.90/1439.53 c #Conflicts: 357000 | #Constraints: 90862
1434.90/1439.53 c INPROCESSING
1434.90/1439.53 c GARBAGE COLLECT
1434.90/1439.53 c #Conflicts: 358000 | #Constraints: 80065
1434.90/1439.53 c #Conflicts: 359000 | #Constraints: 81065
1434.90/1439.53 c #Conflicts: 360000 | #Constraints: 82065
1434.90/1439.53 c #Conflicts: 361000 | #Constraints: 83065
1434.90/1439.53 c #Conflicts: 362000 | #Constraints: 84065
1434.90/1439.53 c #Conflicts: 363000 | #Constraints: 85065
1434.90/1439.53 c #Conflicts: 364000 | #Constraints: 86065
1434.90/1439.53 c #Conflicts: 365000 | #Constraints: 87065
1434.90/1439.53 c #Conflicts: 366000 | #Constraints: 88065
1434.90/1439.53 c #Conflicts: 367000 | #Constraints: 89065
1766.56/1772.21 c #Conflicts: 368000 | #Constraints: 90065
1766.56/1772.21 c #Conflicts: 369000 | #Constraints: 91065
1766.56/1772.21 c INPROCESSING
1766.56/1772.21 c GARBAGE COLLECT
1766.56/1772.21 c #Conflicts: 370000 | #Constraints: 80074
1766.56/1772.21 c #Conflicts: 371000 | #Constraints: 81074
1766.56/1772.21 c #Conflicts: 372000 | #Constraints: 82074
1766.56/1772.21 c #Conflicts: 373000 | #Constraints: 83074
1766.56/1772.21 c #Conflicts: 374000 | #Constraints: 84074
1766.56/1772.21 c #Conflicts: 375000 | #Constraints: 85074
1766.56/1772.21 c #Conflicts: 376000 | #Constraints: 86074
1766.56/1772.21 c #Conflicts: 377000 | #Constraints: 87074
1766.56/1772.21 c #Conflicts: 378000 | #Constraints: 88074
1766.56/1772.21 c #Conflicts: 379000 | #Constraints: 89074
1766.56/1772.21 c #Conflicts: 380000 | #Constraints: 90074
1766.56/1772.21 c #Conflicts: 381000 | #Constraints: 91074
1766.56/1772.21 c INPROCESSING
1766.56/1772.21 c GARBAGE COLLECT
1766.56/1772.21 c #Conflicts: 382000 | #Constraints: 79868
1766.56/1772.21 c #Conflicts: 383000 | #Constraints: 80868
1766.56/1772.21 c #Conflicts: 384000 | #Constraints: 81868
1766.56/1772.21 c #Conflicts: 385000 | #Constraints: 82868
1766.56/1772.21 c #Conflicts: 386000 | #Constraints: 83868
1766.56/1772.21 c #Conflicts: 387000 | #Constraints: 84868
1766.56/1772.21 c #Conflicts: 388000 | #Constraints: 85868
1766.56/1772.21 c #Conflicts: 389000 | #Constraints: 86868
1766.56/1772.21 c #Conflicts: 390000 | #Constraints: 87868
1766.56/1772.21 c #Conflicts: 391000 | #Constraints: 88868
1766.56/1772.21 c #Conflicts: 392000 | #Constraints: 89868
1766.56/1772.21 c #Conflicts: 393000 | #Constraints: 90868
1766.56/1772.21 c #Conflicts: 394000 | #Constraints: 91868
1766.56/1772.21 c INPROCESSING
1766.56/1772.21 c GARBAGE COLLECT
1766.56/1772.21 c #Conflicts: 395000 | #Constraints: 80472
1766.56/1772.21 c #Conflicts: 396000 | #Constraints: 81472
1766.56/1772.21 c #Conflicts: 397000 | #Constraints: 82472
1766.56/1772.21 c #Conflicts: 398000 | #Constraints: 83472
1766.56/1772.21 c #Conflicts: 399000 | #Constraints: 84472
1766.56/1772.21 c #Conflicts: 400000 | #Constraints: 85472
1766.56/1772.21 c #Conflicts: 401000 | #Constraints: 86472
1766.56/1772.21 c #Conflicts: 402000 | #Constraints: 87472
1766.56/1772.21 c #Conflicts: 403000 | #Constraints: 88472
1766.56/1772.21 c #Conflicts: 404000 | #Constraints: 89472
1766.56/1772.21 c #Conflicts: 405000 | #Constraints: 90472
1766.56/1772.22 c #Conflicts: 406000 | #Constraints: 91472
1766.56/1772.22 c #Conflicts: 407000 | #Constraints: 92472
1766.56/1772.22 c INPROCESSING
1766.56/1772.22 c GARBAGE COLLECT
1766.56/1772.22 c #Conflicts: 408000 | #Constraints: 80863
1766.56/1772.22 c #Conflicts: 409000 | #Constraints: 81863
1766.56/1772.22 c #Conflicts: 410000 | #Constraints: 82863
1766.56/1772.22 c #Conflicts: 411000 | #Constraints: 83863
1766.56/1772.22 c #Conflicts: 412000 | #Constraints: 84863
1766.56/1772.22 c #Conflicts: 413000 | #Constraints: 85863
1766.56/1772.22 c #Conflicts: 414000 | #Constraints: 86863
1766.56/1772.22 c #Conflicts: 415000 | #Constraints: 87863
1766.56/1772.22 c #Conflicts: 416000 | #Constraints: 88863
1766.56/1772.22 c #Conflicts: 417000 | #Constraints: 89863
1766.56/1772.22 c #Conflicts: 418000 | #Constraints: 90863
1766.56/1772.22 c #Conflicts: 419000 | #Constraints: 91863
1766.56/1772.22 c #Conflicts: 420000 | #Constraints: 92863
1766.56/1772.22 c INPROCESSING
1766.56/1772.22 c GARBAGE COLLECT
1766.56/1772.22 c #Conflicts: 421000 | #Constraints: 81063
1766.56/1772.22 c #Conflicts: 422000 | #Constraints: 82063
1766.56/1772.22 c #Conflicts: 423000 | #Constraints: 83063
1766.56/1772.22 c #Conflicts: 424000 | #Constraints: 84063
1766.56/1772.22 c #Conflicts: 425000 | #Constraints: 85063
1766.56/1772.22 c #Conflicts: 426000 | #Constraints: 86063
1766.56/1772.22 c #Conflicts: 427000 | #Constraints: 87063
1766.56/1772.22 c #Conflicts: 428000 | #Constraints: 88063
1766.56/1772.22 c #Conflicts: 429000 | #Constraints: 89063
1766.56/1772.22 c #Conflicts: 430000 | #Constraints: 90063
1766.56/1772.22 c #Conflicts: 431000 | #Constraints: 91063
1766.56/1772.22 c #Conflicts: 432000 | #Constraints: 92063
1766.56/1772.22 c #Conflicts: 433000 | #Constraints: 93063
1766.56/1772.22 c INPROCESSING
1766.56/1772.22 c GARBAGE COLLECT
1766.56/1772.22 c #Conflicts: 434000 | #Constraints: 81071
1766.56/1772.22 c #Conflicts: 435000 | #Constraints: 82071
1766.56/1772.22 c #Conflicts: 436000 | #Constraints: 83071
1766.56/1772.22 c #Conflicts: 437000 | #Constraints: 84071
1766.56/1772.22 c #Conflicts: 438000 | #Constraints: 85071
1766.56/1772.22 c #Conflicts: 439000 | #Constraints: 86071
1766.56/1772.22 c #Conflicts: 440000 | #Constraints: 87071
1766.56/1772.22 c #Conflicts: 441000 | #Constraints: 88071
1766.56/1772.22 c #Conflicts: 442000 | #Constraints: 89071
2101.86/2108.68 c #Conflicts: 443000 | #Constraints: 90071
2101.86/2108.68 c #Conflicts: 444000 | #Constraints: 91071
2101.86/2108.68 c #Conflicts: 445000 | #Constraints: 92071
2101.86/2108.68 c #Conflicts: 446000 | #Constraints: 93071
2101.86/2108.68 c INPROCESSING
2101.86/2108.68 c GARBAGE COLLECT
2101.86/2108.68 c #Conflicts: 447000 | #Constraints: 80866
2101.86/2108.68 c #Conflicts: 448000 | #Constraints: 81866
2101.86/2108.68 c #Conflicts: 449000 | #Constraints: 82866
2101.86/2108.68 c #Conflicts: 450000 | #Constraints: 83866
2101.86/2108.68 c #Conflicts: 451000 | #Constraints: 84866
2101.86/2108.68 c #Conflicts: 452000 | #Constraints: 85866
2101.86/2108.68 c #Conflicts: 453000 | #Constraints: 86866
2101.86/2108.68 c #Conflicts: 454000 | #Constraints: 87866
2101.86/2108.68 c #Conflicts: 455000 | #Constraints: 88866
2101.86/2108.68 c #Conflicts: 456000 | #Constraints: 89866
2101.86/2108.68 c #Conflicts: 457000 | #Constraints: 90866
2101.86/2108.68 c #Conflicts: 458000 | #Constraints: 91866
2101.86/2108.68 c #Conflicts: 459000 | #Constraints: 92866
2101.86/2108.68 c #Conflicts: 460000 | #Constraints: 93866
2101.86/2108.68 c INPROCESSING
2101.86/2108.68 c GARBAGE COLLECT
2101.86/2108.68 c #Conflicts: 461000 | #Constraints: 81466
2101.86/2108.68 c #Conflicts: 462000 | #Constraints: 82466
2101.86/2108.68 c #Conflicts: 463000 | #Constraints: 83466
2101.86/2108.68 c #Conflicts: 464000 | #Constraints: 84466
2101.86/2108.68 c #Conflicts: 465000 | #Constraints: 85466
2101.86/2108.68 c #Conflicts: 466000 | #Constraints: 86466
2101.86/2108.68 c #Conflicts: 467000 | #Constraints: 87466
2101.86/2108.68 c #Conflicts: 468000 | #Constraints: 88466
2101.86/2108.68 c #Conflicts: 469000 | #Constraints: 89466
2101.86/2108.68 c #Conflicts: 470000 | #Constraints: 90466
2101.86/2108.68 c #Conflicts: 471000 | #Constraints: 91466
2101.86/2108.68 c #Conflicts: 472000 | #Constraints: 92466
2101.86/2108.68 c #Conflicts: 473000 | #Constraints: 93466
2101.86/2108.68 c #Conflicts: 474000 | #Constraints: 94466
2101.86/2108.68 c INPROCESSING
2101.86/2108.68 c GARBAGE COLLECT
2101.86/2108.68 c #Conflicts: 475000 | #Constraints: 81873
2101.86/2108.68 c #Conflicts: 476000 | #Constraints: 82873
2101.86/2108.68 c #Conflicts: 477000 | #Constraints: 83873
2101.86/2108.68 c #Conflicts: 478000 | #Constraints: 84873
2101.86/2108.68 c #Conflicts: 479000 | #Constraints: 85873
2101.86/2108.68 c #Conflicts: 480000 | #Constraints: 86873
2101.86/2108.68 c #Conflicts: 481000 | #Constraints: 87873
2101.86/2108.68 c #Conflicts: 482000 | #Constraints: 88873
2101.86/2108.68 c #Conflicts: 483000 | #Constraints: 89873
2101.86/2108.68 c #Conflicts: 484000 | #Constraints: 90873
2101.86/2108.68 c #Conflicts: 485000 | #Constraints: 91873
2101.86/2108.68 c #Conflicts: 486000 | #Constraints: 92873
2101.86/2108.68 c #Conflicts: 487000 | #Constraints: 93873
2101.86/2108.68 c #Conflicts: 488000 | #Constraints: 94873
2101.86/2108.68 c INPROCESSING
2101.86/2108.68 c GARBAGE COLLECT
2101.86/2108.68 c #Conflicts: 489000 | #Constraints: 82066
2101.86/2108.68 c #Conflicts: 490000 | #Constraints: 83066
2101.86/2108.68 c #Conflicts: 491000 | #Constraints: 84066
2101.86/2108.68 c #Conflicts: 492000 | #Constraints: 85066
2101.86/2108.68 c #Conflicts: 493000 | #Constraints: 86066
2101.86/2108.68 c #Conflicts: 494000 | #Constraints: 87066
2101.86/2108.68 c #Conflicts: 495000 | #Constraints: 88066
2101.86/2108.68 c #Conflicts: 496000 | #Constraints: 89066
2101.86/2108.68 c #Conflicts: 497000 | #Constraints: 90066
2101.86/2108.68 c #Conflicts: 498000 | #Constraints: 91066
2101.86/2108.68 c #Conflicts: 499000 | #Constraints: 92066
2101.86/2108.68 c #Conflicts: 500000 | #Constraints: 93066
2101.86/2108.68 c #Conflicts: 501000 | #Constraints: 94066
2101.86/2108.68 c #Conflicts: 502000 | #Constraints: 95066
2101.86/2108.68 c INPROCESSING
2101.86/2108.68 c GARBAGE COLLECT
2101.86/2108.68 c #Conflicts: 503000 | #Constraints: 82067
2101.86/2108.68 c #Conflicts: 504000 | #Constraints: 83067
2101.86/2108.68 c #Conflicts: 505000 | #Constraints: 84067
2101.86/2108.68 c #Conflicts: 506000 | #Constraints: 85067
2101.86/2108.68 c #Conflicts: 507000 | #Constraints: 86067
2101.86/2108.68 c #Conflicts: 508000 | #Constraints: 87067
2101.86/2108.68 c #Conflicts: 509000 | #Constraints: 88067
2101.86/2108.68 c #Conflicts: 510000 | #Constraints: 89067
2101.86/2108.68 c #Conflicts: 511000 | #Constraints: 90067
2101.86/2108.68 c #Conflicts: 512000 | #Constraints: 91067
2101.86/2108.68 c #Conflicts: 513000 | #Constraints: 92067
2101.86/2108.68 c #Conflicts: 514000 | #Constraints: 93067
2101.86/2108.68 c #Conflicts: 515000 | #Constraints: 94067
2101.86/2108.68 c #Conflicts: 516000 | #Constraints: 95067
2101.86/2108.68 c INPROCESSING
2101.86/2108.68 c GARBAGE COLLECT
2101.86/2108.68 c #Conflicts: 517000 | #Constraints: 81876
2465.79/2473.87 c #Conflicts: 518000 | #Constraints: 82876
2465.79/2473.87 c #Conflicts: 519000 | #Constraints: 83876
2465.79/2473.87 c #Conflicts: 520000 | #Constraints: 84876
2465.79/2473.87 c #Conflicts: 521000 | #Constraints: 85876
2465.79/2473.87 c #Conflicts: 522000 | #Constraints: 86876
2465.79/2473.87 c #Conflicts: 523000 | #Constraints: 87876
2465.79/2473.87 c #Conflicts: 524000 | #Constraints: 88876
2465.79/2473.87 c #Conflicts: 525000 | #Constraints: 89876
2465.79/2473.87 c #Conflicts: 526000 | #Constraints: 90876
2465.79/2473.87 c #Conflicts: 527000 | #Constraints: 91876
2465.79/2473.87 c #Conflicts: 528000 | #Constraints: 92876
2465.79/2473.87 c #Conflicts: 529000 | #Constraints: 93876
2465.79/2473.87 c #Conflicts: 530000 | #Constraints: 94876
2465.79/2473.87 c #Conflicts: 531000 | #Constraints: 95876
2465.79/2473.87 c INPROCESSING
2465.79/2473.87 c GARBAGE COLLECT
2465.79/2473.87 c #Conflicts: 532000 | #Constraints: 82477
2465.79/2473.87 c #Conflicts: 533000 | #Constraints: 83477
2465.79/2473.87 c #Conflicts: 534000 | #Constraints: 84477
2465.79/2473.87 c #Conflicts: 535000 | #Constraints: 85477
2465.79/2473.87 c #Conflicts: 536000 | #Constraints: 86477
2465.79/2473.87 c #Conflicts: 537000 | #Constraints: 87477
2465.79/2473.87 c #Conflicts: 538000 | #Constraints: 88477
2465.79/2473.87 c #Conflicts: 539000 | #Constraints: 89477
2465.79/2473.87 c #Conflicts: 540000 | #Constraints: 90477
2465.79/2473.87 c #Conflicts: 541000 | #Constraints: 91477
2465.79/2473.87 c #Conflicts: 542000 | #Constraints: 92477
2465.79/2473.87 c #Conflicts: 543000 | #Constraints: 93477
2465.79/2473.87 c #Conflicts: 544000 | #Constraints: 94477
2465.79/2473.87 c #Conflicts: 545000 | #Constraints: 95477
2465.79/2473.87 c #Conflicts: 546000 | #Constraints: 96477
2465.79/2473.87 c INPROCESSING
2465.79/2473.87 c GARBAGE COLLECT
2465.79/2473.87 c #Conflicts: 547000 | #Constraints: 82867
2465.79/2473.87 c #Conflicts: 548000 | #Constraints: 83867
2465.79/2473.87 c #Conflicts: 549000 | #Constraints: 84867
2465.79/2473.87 c #Conflicts: 550000 | #Constraints: 85867
2465.79/2473.87 c #Conflicts: 551000 | #Constraints: 86867
2465.79/2473.87 c #Conflicts: 552000 | #Constraints: 87867
2465.79/2473.87 c #Conflicts: 553000 | #Constraints: 88867
2465.79/2473.87 c #Conflicts: 554000 | #Constraints: 89867
2465.79/2473.87 c #Conflicts: 555000 | #Constraints: 90867
2465.79/2473.87 c #Conflicts: 556000 | #Constraints: 91867
2465.79/2473.87 c #Conflicts: 557000 | #Constraints: 92867
2465.79/2473.87 c #Conflicts: 558000 | #Constraints: 93867
2465.79/2473.87 c #Conflicts: 559000 | #Constraints: 94867
2465.79/2473.87 c #Conflicts: 560000 | #Constraints: 95867
2465.79/2473.87 c #Conflicts: 561000 | #Constraints: 96867
2465.79/2473.87 c INPROCESSING
2465.79/2473.87 c GARBAGE COLLECT
2465.79/2473.87 c #Conflicts: 562000 | #Constraints: 83063
2465.79/2473.87 c #Conflicts: 563000 | #Constraints: 84063
2465.79/2473.87 c #Conflicts: 564000 | #Constraints: 85063
2465.79/2473.87 c #Conflicts: 565000 | #Constraints: 86063
2465.79/2473.87 c #Conflicts: 566000 | #Constraints: 87063
2465.79/2473.87 c #Conflicts: 567000 | #Constraints: 88063
2465.79/2473.87 c #Conflicts: 568000 | #Constraints: 89063
2465.79/2473.87 c #Conflicts: 569000 | #Constraints: 90063
2465.79/2473.87 c #Conflicts: 570000 | #Constraints: 91063
2465.79/2473.87 c #Conflicts: 571000 | #Constraints: 92063
2465.79/2473.87 c #Conflicts: 572000 | #Constraints: 93063
2465.79/2473.87 c #Conflicts: 573000 | #Constraints: 94063
2465.79/2473.87 c #Conflicts: 574000 | #Constraints: 95063
2465.79/2473.87 c #Conflicts: 575000 | #Constraints: 96063
2465.79/2473.87 c #Conflicts: 576000 | #Constraints: 97063
2465.79/2473.87 c INPROCESSING
2465.79/2473.87 c GARBAGE COLLECT
2465.79/2473.87 c #Conflicts: 577000 | #Constraints: 83070
2465.79/2473.87 c #Conflicts: 578000 | #Constraints: 84070
2465.79/2473.87 c #Conflicts: 579000 | #Constraints: 85070
2465.79/2473.87 c #Conflicts: 580000 | #Constraints: 86070
2465.79/2473.87 c #Conflicts: 581000 | #Constraints: 87070
2465.79/2473.87 c #Conflicts: 582000 | #Constraints: 88070
2465.79/2473.87 c #Conflicts: 583000 | #Constraints: 89070
2465.79/2473.87 c #Conflicts: 584000 | #Constraints: 90070
2465.79/2473.87 c #Conflicts: 585000 | #Constraints: 91070
2465.79/2473.87 c #Conflicts: 586000 | #Constraints: 92070
2465.79/2473.87 c #Conflicts: 587000 | #Constraints: 93070
2465.79/2473.87 c #Conflicts: 588000 | #Constraints: 94070
2465.79/2473.87 c #Conflicts: 589000 | #Constraints: 95070
2465.79/2473.87 c #Conflicts: 590000 | #Constraints: 96070
2465.79/2473.87 c #Conflicts: 591000 | #Constraints: 97070
2465.79/2473.87 c INPROCESSING
2465.79/2473.87 c GARBAGE COLLECT
2465.79/2473.87 c #Conflicts: 592000 | #Constraints: 82867
2465.79/2473.87 c #Conflicts: 593000 | #Constraints: 83867
2824.85/2834.14 c #Conflicts: 594000 | #Constraints: 84867
2824.85/2834.14 c #Conflicts: 595000 | #Constraints: 85867
2824.85/2834.14 c #Conflicts: 596000 | #Constraints: 86867
2824.85/2834.14 c #Conflicts: 597000 | #Constraints: 87867
2824.85/2834.14 c #Conflicts: 598000 | #Constraints: 88867
2824.85/2834.14 c #Conflicts: 599000 | #Constraints: 89867
2824.85/2834.14 c #Conflicts: 600000 | #Constraints: 90867
2824.85/2834.14 c #Conflicts: 601000 | #Constraints: 91867
2824.85/2834.14 c #Conflicts: 602000 | #Constraints: 92867
2824.85/2834.14 c #Conflicts: 603000 | #Constraints: 93867
2824.85/2834.14 c #Conflicts: 604000 | #Constraints: 94867
2824.85/2834.14 c #Conflicts: 605000 | #Constraints: 95867
2824.85/2834.14 c #Conflicts: 606000 | #Constraints: 96867
2824.85/2834.14 c #Conflicts: 607000 | #Constraints: 97867
2824.85/2834.14 c INPROCESSING
2824.85/2834.14 c GARBAGE COLLECT
2824.85/2834.14 c #Conflicts: 608000 | #Constraints: 83471
2824.85/2834.14 c #Conflicts: 609000 | #Constraints: 84471
2824.85/2834.14 c #Conflicts: 610000 | #Constraints: 85471
2824.85/2834.14 c #Conflicts: 611000 | #Constraints: 86471
2824.85/2834.14 c #Conflicts: 612000 | #Constraints: 87471
2824.85/2834.14 c #Conflicts: 613000 | #Constraints: 88471
2824.85/2834.14 c #Conflicts: 614000 | #Constraints: 89471
2824.85/2834.14 c #Conflicts: 615000 | #Constraints: 90471
2824.85/2834.14 c #Conflicts: 616000 | #Constraints: 91471
2824.85/2834.14 c #Conflicts: 617000 | #Constraints: 92471
2824.85/2834.14 c #Conflicts: 618000 | #Constraints: 93471
2824.85/2834.14 c #Conflicts: 619000 | #Constraints: 94471
2824.85/2834.14 c #Conflicts: 620000 | #Constraints: 95471
2824.85/2834.14 c #Conflicts: 621000 | #Constraints: 96471
2824.85/2834.14 c #Conflicts: 622000 | #Constraints: 97471
2824.85/2834.14 c #Conflicts: 623000 | #Constraints: 98471
2824.85/2834.14 c INPROCESSING
2824.85/2834.14 c GARBAGE COLLECT
2824.85/2834.14 c #Conflicts: 624000 | #Constraints: 83874
2824.85/2834.14 c #Conflicts: 625000 | #Constraints: 84874
2824.85/2834.14 c #Conflicts: 626000 | #Constraints: 85874
2824.85/2834.14 c #Conflicts: 627000 | #Constraints: 86874
2824.85/2834.14 c #Conflicts: 628000 | #Constraints: 87874
2824.85/2834.14 c #Conflicts: 629000 | #Constraints: 88874
2824.85/2834.14 c #Conflicts: 630000 | #Constraints: 89874
2824.85/2834.14 c #Conflicts: 631000 | #Constraints: 90874
2824.85/2834.14 c #Conflicts: 632000 | #Constraints: 91874
2824.85/2834.14 c #Conflicts: 633000 | #Constraints: 92874
2824.85/2834.14 c #Conflicts: 634000 | #Constraints: 93874
2824.85/2834.14 c #Conflicts: 635000 | #Constraints: 94874
2824.85/2834.14 c #Conflicts: 636000 | #Constraints: 95874
2824.85/2834.14 c #Conflicts: 637000 | #Constraints: 96874
2824.85/2834.14 c #Conflicts: 638000 | #Constraints: 97874
2824.85/2834.14 c #Conflicts: 639000 | #Constraints: 98874
2824.85/2834.14 c INPROCESSING
2824.85/2834.14 c GARBAGE COLLECT
2824.85/2834.14 c #Conflicts: 640000 | #Constraints: 84070
2824.85/2834.14 c #Conflicts: 641000 | #Constraints: 85070
2824.85/2834.14 c #Conflicts: 642000 | #Constraints: 86070
2824.85/2834.14 c #Conflicts: 643000 | #Constraints: 87070
2824.85/2834.14 c #Conflicts: 644000 | #Constraints: 88070
2824.85/2834.14 c #Conflicts: 645000 | #Constraints: 89070
2824.85/2834.14 c #Conflicts: 646000 | #Constraints: 90070
2824.85/2834.14 c #Conflicts: 647000 | #Constraints: 91070
2824.85/2834.14 c #Conflicts: 648000 | #Constraints: 92070
2824.85/2834.14 c #Conflicts: 649000 | #Constraints: 93070
2824.85/2834.14 c #Conflicts: 650000 | #Constraints: 94070
2824.85/2834.14 c #Conflicts: 651000 | #Constraints: 95070
2824.85/2834.14 c #Conflicts: 652000 | #Constraints: 96070
2824.85/2834.14 c #Conflicts: 653000 | #Constraints: 97070
2824.85/2834.14 c #Conflicts: 654000 | #Constraints: 98070
2824.85/2834.14 c #Conflicts: 655000 | #Constraints: 99070
2824.85/2834.14 c INPROCESSING
2824.85/2834.14 c GARBAGE COLLECT
2824.85/2834.14 c #Conflicts: 656000 | #Constraints: 84069
2824.85/2834.14 c #Conflicts: 657000 | #Constraints: 85069
2824.85/2834.14 c #Conflicts: 658000 | #Constraints: 86069
2824.85/2834.14 c #Conflicts: 659000 | #Constraints: 87069
2824.85/2834.14 c #Conflicts: 660000 | #Constraints: 88069
2824.85/2834.14 c #Conflicts: 661000 | #Constraints: 89069
2824.85/2834.14 c #Conflicts: 662000 | #Constraints: 90069
2824.85/2834.14 c #Conflicts: 663000 | #Constraints: 91069
2824.85/2834.14 c #Conflicts: 664000 | #Constraints: 92069
2824.85/2834.14 c #Conflicts: 665000 | #Constraints: 93069
2824.85/2834.14 c #Conflicts: 666000 | #Constraints: 94069
2824.85/2834.14 c #Conflicts: 667000 | #Constraints: 95069
2824.85/2834.14 c #Conflicts: 668000 | #Constraints: 96069
2824.85/2834.14 c #Conflicts: 669000 | #Constraints: 97069
3182.71/3193.20 c #Conflicts: 670000 | #Constraints: 98069
3182.71/3193.20 c #Conflicts: 671000 | #Constraints: 99069
3182.71/3193.20 c INPROCESSING
3182.71/3193.20 c GARBAGE COLLECT
3182.71/3193.20 c #Conflicts: 672000 | #Constraints: 83865
3182.71/3193.20 c #Conflicts: 673000 | #Constraints: 84865
3182.71/3193.20 c #Conflicts: 674000 | #Constraints: 85865
3182.71/3193.20 c #Conflicts: 675000 | #Constraints: 86865
3182.71/3193.20 c #Conflicts: 676000 | #Constraints: 87865
3182.71/3193.20 c #Conflicts: 677000 | #Constraints: 88865
3182.71/3193.20 c #Conflicts: 678000 | #Constraints: 89865
3182.71/3193.20 c #Conflicts: 679000 | #Constraints: 90865
3182.71/3193.20 c #Conflicts: 680000 | #Constraints: 91865
3182.71/3193.20 c #Conflicts: 681000 | #Constraints: 92865
3182.71/3193.20 c #Conflicts: 682000 | #Constraints: 93865
3182.71/3193.20 c #Conflicts: 683000 | #Constraints: 94865
3182.71/3193.20 c #Conflicts: 684000 | #Constraints: 95865
3182.71/3193.20 c #Conflicts: 685000 | #Constraints: 96865
3182.71/3193.20 c #Conflicts: 686000 | #Constraints: 97865
3182.71/3193.20 c #Conflicts: 687000 | #Constraints: 98865
3182.71/3193.20 c #Conflicts: 688000 | #Constraints: 99865
3182.71/3193.20 c INPROCESSING
3182.71/3193.20 c GARBAGE COLLECT
3182.71/3193.20 c #Conflicts: 689000 | #Constraints: 84461
3182.71/3193.20 c #Conflicts: 690000 | #Constraints: 85461
3182.71/3193.20 c #Conflicts: 691000 | #Constraints: 86461
3182.71/3193.20 c #Conflicts: 692000 | #Constraints: 87461
3182.71/3193.20 c #Conflicts: 693000 | #Constraints: 88461
3182.71/3193.20 c #Conflicts: 694000 | #Constraints: 89461
3182.71/3193.20 c #Conflicts: 695000 | #Constraints: 90461
3182.71/3193.20 c #Conflicts: 696000 | #Constraints: 91461
3182.71/3193.20 c #Conflicts: 697000 | #Constraints: 92461
3182.71/3193.20 c #Conflicts: 698000 | #Constraints: 93461
3182.71/3193.20 c #Conflicts: 699000 | #Constraints: 94461
3182.71/3193.20 c #Conflicts: 700000 | #Constraints: 95461
3182.71/3193.20 c #Conflicts: 701000 | #Constraints: 96461
3182.71/3193.20 c #Conflicts: 702000 | #Constraints: 97461
3182.71/3193.20 c #Conflicts: 703000 | #Constraints: 98461
3182.71/3193.20 c #Conflicts: 704000 | #Constraints: 99461
3182.71/3193.20 c #Conflicts: 705000 | #Constraints: 100461
3182.71/3193.20 c INPROCESSING
3182.71/3193.20 c GARBAGE COLLECT
3182.71/3193.20 c #Conflicts: 706000 | #Constraints: 84862
3182.71/3193.20 c #Conflicts: 707000 | #Constraints: 85862
3182.71/3193.20 c #Conflicts: 708000 | #Constraints: 86862
3182.71/3193.20 c #Conflicts: 709000 | #Constraints: 87862
3182.71/3193.20 c #Conflicts: 710000 | #Constraints: 88862
3182.71/3193.20 c #Conflicts: 711000 | #Constraints: 89862
3182.71/3193.20 c #Conflicts: 712000 | #Constraints: 90862
3182.71/3193.20 c #Conflicts: 713000 | #Constraints: 91862
3182.71/3193.20 c #Conflicts: 714000 | #Constraints: 92862
3182.71/3193.20 c #Conflicts: 715000 | #Constraints: 93862
3182.71/3193.20 c #Conflicts: 716000 | #Constraints: 94862
3182.71/3193.20 c #Conflicts: 717000 | #Constraints: 95862
3182.71/3193.20 c #Conflicts: 718000 | #Constraints: 96862
3182.71/3193.20 c #Conflicts: 719000 | #Constraints: 97862
3182.71/3193.20 c #Conflicts: 720000 | #Constraints: 98862
3182.71/3193.20 c #Conflicts: 721000 | #Constraints: 99862
3182.71/3193.20 c #Conflicts: 722000 | #Constraints: 100862
3182.71/3193.20 c INPROCESSING
3182.71/3193.20 c GARBAGE COLLECT
3182.71/3193.20 c #Conflicts: 723000 | #Constraints: 85063
3182.71/3193.20 c #Conflicts: 724000 | #Constraints: 86063
3182.71/3193.20 c #Conflicts: 725000 | #Constraints: 87063
3182.71/3193.20 c #Conflicts: 726000 | #Constraints: 88063
3182.71/3193.20 c #Conflicts: 727000 | #Constraints: 89063
3182.71/3193.20 c #Conflicts: 728000 | #Constraints: 90063
3182.71/3193.20 c #Conflicts: 729000 | #Constraints: 91063
3182.71/3193.20 c #Conflicts: 730000 | #Constraints: 92063
3182.71/3193.20 c #Conflicts: 731000 | #Constraints: 93063
3182.71/3193.20 c #Conflicts: 732000 | #Constraints: 94063
3182.71/3193.20 c #Conflicts: 733000 | #Constraints: 95063
3182.71/3193.20 c #Conflicts: 734000 | #Constraints: 96063
3182.71/3193.20 c #Conflicts: 735000 | #Constraints: 97063
3182.71/3193.20 c #Conflicts: 736000 | #Constraints: 98063
3182.71/3193.20 c #Conflicts: 737000 | #Constraints: 99063
3182.71/3193.20 c #Conflicts: 738000 | #Constraints: 100063
3182.71/3193.20 c #Conflicts: 739000 | #Constraints: 101063
3182.71/3193.20 c INPROCESSING
3182.71/3193.20 c GARBAGE COLLECT
3182.71/3193.20 c #Conflicts: 740000 | #Constraints: 85063
3182.71/3193.20 c #Conflicts: 741000 | #Constraints: 86063
3182.71/3193.20 c #Conflicts: 742000 | #Constraints: 87063
3182.71/3193.20 c #Conflicts: 743000 | #Constraints: 88063
3182.71/3193.20 c #Conflicts: 744000 | #Constraints: 89063
3182.71/3193.20 c #Conflicts: 745000 | #Constraints: 90063
3563.89/3575.78 c #Conflicts: 746000 | #Constraints: 91063
3563.89/3575.78 c #Conflicts: 747000 | #Constraints: 92063
3563.89/3575.78 c #Conflicts: 748000 | #Constraints: 93063
3563.89/3575.78 c #Conflicts: 749000 | #Constraints: 94063
3563.89/3575.78 c #Conflicts: 750000 | #Constraints: 95063
3563.89/3575.78 c #Conflicts: 751000 | #Constraints: 96063
3563.89/3575.78 c #Conflicts: 752000 | #Constraints: 97063
3563.89/3575.78 c #Conflicts: 753000 | #Constraints: 98063
3563.89/3575.78 c #Conflicts: 754000 | #Constraints: 99063
3563.89/3575.78 c #Conflicts: 755000 | #Constraints: 100063
3563.89/3575.78 c #Conflicts: 756000 | #Constraints: 101063
3563.89/3575.78 c INPROCESSING
3563.89/3575.78 c GARBAGE COLLECT
3563.89/3575.78 c #Conflicts: 757000 | #Constraints: 84861
3563.89/3575.78 c #Conflicts: 758000 | #Constraints: 85861
3563.89/3575.78 c #Conflicts: 759000 | #Constraints: 86861
3563.89/3575.78 c #Conflicts: 760000 | #Constraints: 87861
3563.89/3575.78 c #Conflicts: 761000 | #Constraints: 88861
3563.89/3575.78 c #Conflicts: 762000 | #Constraints: 89861
3563.89/3575.78 c #Conflicts: 763000 | #Constraints: 90861
3563.89/3575.78 c #Conflicts: 764000 | #Constraints: 91861
3563.89/3575.78 c #Conflicts: 765000 | #Constraints: 92861
3563.89/3575.78 c #Conflicts: 766000 | #Constraints: 93861
3563.89/3575.78 c #Conflicts: 767000 | #Constraints: 94861
3563.89/3575.78 c #Conflicts: 768000 | #Constraints: 95861
3563.89/3575.78 c #Conflicts: 769000 | #Constraints: 96861
3563.89/3575.78 c #Conflicts: 770000 | #Constraints: 97861
3563.89/3575.78 c #Conflicts: 771000 | #Constraints: 98861
3563.89/3575.78 c #Conflicts: 772000 | #Constraints: 99861
3563.89/3575.78 c #Conflicts: 773000 | #Constraints: 100861
3563.89/3575.78 c #Conflicts: 774000 | #Constraints: 101861
3563.89/3575.78 c INPROCESSING
3563.89/3575.78 c GARBAGE COLLECT
3563.89/3575.78 c #Conflicts: 775000 | #Constraints: 85467
3563.89/3575.78 c #Conflicts: 776000 | #Constraints: 86467
3563.89/3575.78 c #Conflicts: 777000 | #Constraints: 87467
3563.89/3575.78 c #Conflicts: 778000 | #Constraints: 88467
3563.89/3575.78 c #Conflicts: 779000 | #Constraints: 89467
3563.89/3575.78 c #Conflicts: 780000 | #Constraints: 90467
3563.89/3575.78 c #Conflicts: 781000 | #Constraints: 91467
3563.89/3575.78 c #Conflicts: 782000 | #Constraints: 92467
3563.89/3575.78 c #Conflicts: 783000 | #Constraints: 93467
3563.89/3575.78 c #Conflicts: 784000 | #Constraints: 94467
3563.89/3575.78 c #Conflicts: 785000 | #Constraints: 95467
3563.89/3575.78 c #Conflicts: 786000 | #Constraints: 96467
3563.89/3575.78 c #Conflicts: 787000 | #Constraints: 97467
3563.89/3575.78 c #Conflicts: 788000 | #Constraints: 98467
3563.89/3575.78 c #Conflicts: 789000 | #Constraints: 99467
3563.89/3575.78 c #Conflicts: 790000 | #Constraints: 100467
3563.89/3575.78 c #Conflicts: 791000 | #Constraints: 101467
3563.89/3575.78 c #Conflicts: 792000 | #Constraints: 102467
3563.89/3575.78 c INPROCESSING
3563.89/3575.78 c GARBAGE COLLECT
3563.89/3575.78 c #Conflicts: 793000 | #Constraints: 85875
3563.89/3575.78 c #Conflicts: 794000 | #Constraints: 86875
3563.89/3575.78 c #Conflicts: 795000 | #Constraints: 87875
3563.89/3575.78 c #Conflicts: 796000 | #Constraints: 88875
3563.89/3575.78 c #Conflicts: 797000 | #Constraints: 89875
3563.89/3575.78 c #Conflicts: 798000 | #Constraints: 90875
3563.89/3575.78 c #Conflicts: 799000 | #Constraints: 91875
3563.89/3575.78 c #Conflicts: 800000 | #Constraints: 92875
3563.89/3575.78 c #Conflicts: 801000 | #Constraints: 93875
3563.89/3575.78 c #Conflicts: 802000 | #Constraints: 94875
3563.89/3575.78 c #Conflicts: 803000 | #Constraints: 95875
3563.89/3575.78 c #Conflicts: 804000 | #Constraints: 96875
3563.89/3575.78 c #Conflicts: 805000 | #Constraints: 97875
3563.89/3575.78 c #Conflicts: 806000 | #Constraints: 98875
3563.89/3575.78 c #Conflicts: 807000 | #Constraints: 99875
3563.89/3575.78 c #Conflicts: 808000 | #Constraints: 100875
3563.89/3575.78 c #Conflicts: 809000 | #Constraints: 101875
3563.89/3575.78 c #Conflicts: 810000 | #Constraints: 102875
3563.89/3575.78 c INPROCESSING
3563.89/3575.78 c GARBAGE COLLECT
3563.89/3575.78 c #Conflicts: 811000 | #Constraints: 86074
3563.89/3575.78 c #Conflicts: 812000 | #Constraints: 87074
3563.89/3575.78 c #Conflicts: 813000 | #Constraints: 88074
3563.89/3575.78 c #Conflicts: 814000 | #Constraints: 89074
3563.89/3575.78 c #Conflicts: 815000 | #Constraints: 90074
3563.89/3575.78 c #Conflicts: 816000 | #Constraints: 91074
3563.89/3575.78 c #Conflicts: 817000 | #Constraints: 92074
3563.89/3575.78 c #Conflicts: 818000 | #Constraints: 93074
3563.89/3575.78 c #Conflicts: 819000 | #Constraints: 94074
3563.89/3575.78 c #Conflicts: 820000 | #Constraints: 95074
3563.89/3575.78 c #Conflicts: 821000 | #Constraints: 96074
3600.07/3612.03 c #Conflicts: 822000 | #Constraints: 97074
3600.07/3612.03 c #Conflicts: 823000 | #Constraints: 98074
3600.07/3612.03 c #Conflicts: 824000 | #Constraints: 99074
3600.07/3612.03 c #Conflicts: 825000 | #Constraints: 100074
3600.07/3612.03 c #Conflicts: 826000 | #Constraints: 101074
3600.07/3612.03 c #Conflicts: 827000 | #Constraints: 102074
3600.07/3612.03 c cpu time 3521.93 s
3600.07/3612.03 c deterministic time 1 1.00e+00
3600.07/3612.03 c optimization time 3520.65 s
3600.07/3612.03 c total solve time 0 s
3600.07/3612.03 c core-guided solve time 0 s
3600.07/3612.03 c propagation time 0.04547 s
3600.07/3612.03 c conflict analysis time 0 s
3600.07/3612.03 c propagations 0
3600.07/3612.03 c resolve steps 0
3600.07/3612.03 c decisions 0
3600.07/3612.03 c conflicts 0
3600.07/3612.03 c restarts 0
3600.07/3612.03 c inprocessing phases 0
3600.07/3612.03 c garbage collections 0 ,( -nan )
3600.07/3612.03 c input clauses 65280 ,( 100.00 )
3600.07/3612.03 c input cardinalities 0 ,( 0.00 )
3600.07/3612.03 c input general constraints 0 ,( 0.00 )
3600.07/3612.03 c input average constraint length 37.65
3600.07/3612.03 c input average constraint degree 1.00
3600.07/3612.03 c learned clauses 0 ,( 0.00 )
3600.07/3612.03 c learned cardinalities 0 ,( 0.00 )
3600.07/3612.03 c learned general constraints 0 ,( 0.00 )
3600.07/3612.03 c learned average constraint length 0.00
3600.07/3612.03 c learned average constraint degree 0.00
3600.07/3612.03 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3612.03 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3612.03 c watched constraints 0 ,( -nan )
3600.07/3612.03 c counting constraints 0 ,( -nan )
3600.07/3612.03 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3612.03 c gcd simplifications 0
3600.07/3612.03 c detected cardinalities 0
3600.07/3612.03 c weakened non-implied lits 0
3600.07/3612.03 c weakened non-implying lits 0
3600.07/3612.03 c original variables 5048
3600.07/3612.03 c clausal propagations 0
3600.07/3612.03 c cardinality propagations 0
3600.07/3612.03 c watched propagations 0
3600.07/3612.03 c counting propagations 0
3600.07/3612.03 c watch lookups 0
3600.07/3612.03 c watch backjump lookups 0
3600.07/3612.03 c watch checks 0
3600.07/3612.03 c propagation checks 0
3600.07/3612.03 c constraint additions 0
3600.07/3612.03 c trail pops 0
3600.07/3612.03 c formula constraints 65280
3600.07/3612.03 c learned constraints 0
3600.07/3612.03 c bound constraints 0
3600.07/3612.03 c core-guided constraints 0
3600.07/3612.03 c encountered formula constraints 0
3600.07/3612.03 c encountered learned constraints 0
3600.07/3612.03 c encountered bound constraints 0
3600.07/3612.03 c encountered core-guided constraints 0
3600.07/3612.03 c LP total time 0 s
3600.07/3612.03 c LP solve time 0 s
3600.07/3612.03 c LP constraints added 0
3600.07/3612.03 c LP constraints removed 0
3600.07/3612.03 c LP pivots internal 0
3600.07/3612.03 c LP pivots root 0
3600.07/3612.03 c LP calls 0
3600.07/3612.03 c LP optimalities 0
3600.07/3612.03 c LP no pivot count 0
3600.07/3612.03 c LP infeasibilities 0
3600.07/3612.03 c LP valid Farkas constraints 0
3600.07/3612.03 c LP learned Farkas constraints 0
3600.07/3612.03 c LP basis resets 0
3600.07/3612.03 c LP cycling count 0
3600.07/3612.03 c LP singular count 0
3600.07/3612.03 c LP no primal count 0
3600.07/3612.03 c LP no farkas count 0
3600.07/3612.03 c LP other issue count 0
3600.07/3612.03 c LP Gomory cuts 0
3600.07/3612.03 c LP learned cuts 0
3600.07/3612.03 c LP deleted cuts 0
3600.07/3612.03 c LP encountered Gomory constraints 0
3600.07/3612.03 c LP encountered Farkas constraints 0
3600.07/3612.03 c LP encountered learned Farkas constraints 0
3600.07/3612.03 c CG auxiliary variables introduced 0
3600.07/3612.03 c CG solutions found 0
3600.07/3612.03 c CG cores constructed 0
3600.07/3612.03 c CG core cardinality constraints returned 0
3600.07/3612.03 c CG unit cores 0
3600.07/3612.03 c CG single cores 0
3600.07/3612.03 c CG blocks removed during cardinality reduction 0
3600.07/3612.03 c CG first core best 0
3600.07/3612.03 c CG decision core best 0
3600.07/3612.03 c CG core reduction tie 0
3600.07/3612.03 c CG core degree average 0.00
3600.07/3612.03 c CG core slack average 0.00
3600.07/3612.03 c CG core upper bound improvements 0
3600.07/3612.03 c STR number of successful calls 0
3600.07/3612.03 c STR number of unsuccessful calls 0
3600.07/3612.03 c STR number of inconclusive calls 0
3600.07/3612.03 c STR number of successful attempts 0
3600.07/3612.03 c STR number of unsuccessful attempts 0
3600.07/3612.03 c STR number of inconclusive attempts 0
3600.07/3612.03 c STR average degree increase per successful call inf
3600.07/3612.03 c STR average degree increase per successful attempt inf
3600.07/3612.03 c STR total number of conflicts for successful attempts 0
3600.07/3612.03 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3612.03 c STR total number of conflicts for inconclusive attempts 0
3600.07/3612.03 c STR average number of conflicts per successful attempt inf
3600.07/3612.03 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3612.03 c STR average number of conflicts per inconclusive attempt inf
3600.07/3612.03 c AVG.sumWPerc -nan
3600.07/3612.03 c bigint constraints 0
3600.07/3612.03 s UNKNOWN
3600.07/3612.03 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: 63837 MiB (62927 MiB free)
memory of node 1: 64465 MiB (63519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503015-1751454530/watcher-4503015-1751454530 -o /tmp/evaluation-result-4503015-1751454530/solver-4503015-1751454530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751454530-66336 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4503015-1751454530.opb PROOFDIR/proof-4503015-1751454530
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=66385, runsolver pid=66382
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 0.80 1.55 2.81 5/257 66387
/proc/meminfo: memFree=129458712/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=56628 memory=12144 CPUtime=0.06 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 887 0 0 0 6 0 0 0 20 0 1 0 61132410 57987072 3036 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 14157 3036 2016 1147 0 1584 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 60820 KiB
Current children cumulated memory: 15216 KiB
[startup+0.213618 s]*
/proc/loadavg: 0.80 1.55 2.81 4/258 66388
/proc/meminfo: memFree=129434392/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=57028 memory=12528 CPUtime=0.18 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 990 0 0 0 17 1 0 0 20 0 1 0 61132410 58396672 3132 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 14257 3132 2016 1147 0 1684 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61220 KiB
Current children cumulated memory: 15600 KiB
[startup+0.313233 s]*
/proc/loadavg: 0.80 1.55 2.81 4/260 66392
/proc/meminfo: memFree=129426328/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=57608 memory=13040 CPUtime=0.28 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 1111 0 0 0 27 1 0 0 20 0 1 0 61132410 58990592 3260 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 14402 3260 2016 1147 0 1829 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61800 KiB
Current children cumulated memory: 16112 KiB
[startup+0.700343 s]
/proc/loadavg: 0.80 1.55 2.81 4/263 66398
/proc/meminfo: memFree=129424564/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=62020 memory=17656 CPUtime=0.65 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 1770 0 0 0 60 5 0 0 20 0 1 0 61132410 63508480 4414 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 15505 4414 2016 1147 0 2932 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 66212 KiB
Current children cumulated memory: 20728 KiB
[startup+1.50041 s]
/proc/loadavg: 0.80 1.55 2.81 5/263 66398
/proc/meminfo: memFree=129380428/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=174956 memory=122292 CPUtime=1.45 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 21713 0 0 0 131 14 0 0 20 0 1 0 61132410 179154944 30573 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 43739 30573 2368 1147 0 31166 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 179148 KiB
Current children cumulated memory: 125364 KiB
[startup+3.11374 s]
/proc/loadavg: 0.80 1.55 2.81 5/263 66398
/proc/meminfo: memFree=128841212/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=270952 memory=218784 CPUtime=3.06 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 35715 0 0 0 259 47 0 0 20 0 1 0 61132410 277454848 54696 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 67738 54696 2400 1147 0 55165 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 275144 KiB
Current children cumulated memory: 221856 KiB
[startup+6.30038 s]
/proc/loadavg: 1.14 1.61 2.82 5/263 66398
/proc/meminfo: memFree=128390536/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=334540 memory=282096 CPUtime=6.24 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 47451 0 0 0 526 98 0 0 20 0 1 0 61132410 342568960 70524 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 83635 70524 2400 1147 0 71062 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 338732 KiB
Current children cumulated memory: 285168 KiB
[startup+12.7004 s]
/proc/loadavg: 1.37 1.65 2.83 5/263 66398
/proc/meminfo: memFree=127743568/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=455240 memory=373856 CPUtime=12.62 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 65291 0 0 0 1093 169 0 0 20 0 1 0 61132410 466165760 93464 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 113810 93464 2400 1147 0 101237 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 459432 KiB
Current children cumulated memory: 376928 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 1.76 2.85 5/263 66398
/proc/meminfo: memFree=126552900/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=774772 memory=624964 CPUtime=25.38 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 111197 0 0 0 2270 268 0 0 20 0 1 0 61132410 793366528 156241 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 193693 156241 2400 1147 0 181120 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 778964 KiB
Current children cumulated memory: 628036 KiB
[startup+51.1138 s]
/proc/loadavg: 2.73 1.96 2.89 5/263 66399
/proc/meminfo: memFree=124601236/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=1022504 memory=823928 CPUtime=50.92 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 153804 0 0 0 4748 344 0 0 20 0 1 0 61132410 1047044096 205982 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 255626 205982 2400 1147 0 243053 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1026696 KiB
Current children cumulated memory: 827000 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.29 2.95 5/262 66402
/proc/meminfo: memFree=121593856/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=1187552 memory=941056 CPUtime=101.94 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 171867 0 0 0 9735 459 0 0 20 0 1 0 61132410 1216053248 235264 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 296888 235264 2400 1147 0 284315 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1191744 KiB
Current children cumulated memory: 944128 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.67 3.04 5/263 66407
/proc/meminfo: memFree=118712932/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=1207708 memory=1002196 CPUtime=161.75 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 181540 0 0 0 15593 582 0 0 20 0 1 0 61132410 1236692992 250549 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 301927 250549 2400 1147 0 289354 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1211900 KiB
Current children cumulated memory: 1005268 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 2.94 3.11 5/263 66408
/proc/meminfo: memFree=116010296/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=1482100 memory=1214416 CPUtime=221.56 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 225955 0 0 0 21433 723 0 0 20 0 1 0 61132410 1517670400 303604 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 370525 303604 2400 1147 0 357952 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/260 66597
/proc/meminfo: memFree=1948952/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=3478364 memory=3012828 CPUtime=3271.52 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 530546 0 0 0 319964 7188 0 0 20 0 1 0 61132410 3561844736 753207 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 869591 753207 2400 1147 0 857018 0
Current children cumulated CPU time: 3271.52 s
Current children cumulated vsize: 3482556 KiB
Current children cumulated memory: 3015900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/259 66599
/proc/meminfo: memFree=1784516/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=3484660 memory=3044700 CPUtime=3331.31 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 532309 0 0 0 325832 7299 0 0 20 0 1 0 61132410 3568291840 761175 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 871165 761175 2400 1147 0 858592 0
Current children cumulated CPU time: 3331.31 s
Current children cumulated vsize: 3488852 KiB
Current children cumulated memory: 3047772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.20 4.18 5/262 66604
/proc/meminfo: memFree=1779792/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=3484660 memory=3077084 CPUtime=3391.1 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 532323 0 0 0 331702 7408 0 0 20 0 1 0 61132410 3568291840 769271 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 871165 769271 2400 1147 0 858592 0
Current children cumulated CPU time: 3391.1 s
Current children cumulated vsize: 3488852 KiB
Current children cumulated memory: 3080156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.29 4.21 4.19 6/262 66606
/proc/meminfo: memFree=1850992/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=3484660 memory=3111004 CPUtime=3450.88 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 532610 0 0 0 337559 7529 0 0 20 0 1 0 61132410 3568291840 777751 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 871165 777751 2400 1147 0 858592 0
Current children cumulated CPU time: 3450.88 s
Current children cumulated vsize: 3488852 KiB
Current children cumulated memory: 3114076 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/262 66608
/proc/meminfo: memFree=1996784/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=3487580 memory=3154168 CPUtime=3510.68 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 533486 0 0 0 343428 7640 0 0 20 0 1 0 61132410 3571281920 788542 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 871895 788542 2400 1147 0 859322 0
Current children cumulated CPU time: 3510.68 s
Current children cumulated vsize: 3491772 KiB
Current children cumulated memory: 3157240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/262 66610
/proc/meminfo: memFree=1978096/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=3488244 memory=3191672 CPUtime=3570.46 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 533808 0 0 0 349284 7762 0 0 20 0 1 0 61132410 3571961856 797918 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 872061 797918 2400 1147 0 859488 0
Current children cumulated CPU time: 3570.46 s
Current children cumulated vsize: 3492436 KiB
Current children cumulated memory: 3194744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.10 4.16 4.17 3/260 66612
/proc/meminfo: memFree=1962448/131382112 swapFree=33010416/33010684
[pid=66385] ppid=66382 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66385/stat : 66385 (run-opt-log.sh) S 66382 66385 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132409 4292608 768 18446744073709551615 93994192719872 93994193614405 140728677044672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93994193853456 93994193901200 93994195353600 140728677046561 140728677046756 140728677046756 140728677052358 0
/proc/66385/statm: 1048 768 704 219 0 110 0
[pid=66387] ppid=66385 vsize=3489116 memory=3211256 CPUtime=3600.07 cores=4,6
/proc/66387/stat : 66387 (roundingsat) R 66385 66385 66325 0 -1 4194304 533947 0 0 0 352193 7814 0 0 20 0 1 0 61132410 3572854784 802814 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 872279 802814 2400 1147 0 859706 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3493308 KiB
Current children cumulated memory: 3214328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.02 s]
# the end of solver process 66385 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001065 s, system=0.004251 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.18 4.18 4.18 1/256 66612
/proc/meminfo: memFree=1834840/131382112 swapFree=33010416/33010684
[pid=66387] ppid=66382 vsize=3489116 memory=3211640 CPUtime=3600.75 cores=4,6
/proc/66387/stat : 66387 (roundingsat) D 66382 66385 66325 0 -1 4194304 533952 0 1 0 352193 7882 0 0 20 0 1 0 61132410 3572854784 802910 18446744073709551615 4227072 8923433 140731738421696 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 9
/proc/66387/statm: 872279 802910 2496 1147 0 859706 0
??? kill 66387 sig 9
??? end of watcher thread
[startup+3628.16 s]
# the end of solver process 66387 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3522.01 s, system=79.9151 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.10 4.16 4.17 3/259 66612
/proc/meminfo: memFree=1941124/131382112 swapFree=33010416/33010684
[pid=66387] ppid=66382 vsize=3489116 memory=3211640 CPUtime=3600.75 cores=4,6
/proc/66387/stat : 66387 (roundingsat) D 66382 66385 66325 0 -1 4194304 533952 0 1 0 352193 7882 0 0 20 0 1 0 61132410 3572854784 802910 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 872279 802910 2496 1147 0 859706 0
Current cumulated CPU time of completed processes: 0.005316 s
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 3489116 KiB
Current children cumulated memory: 3211640 KiB
[startup+3613.6 s]
/proc/loadavg: 4.10 4.16 4.17 2/258 66612
/proc/meminfo: memFree=1870460/131382112 swapFree=33010416/33010684
[pid=66387] ppid=66382 vsize=3489116 memory=3211640 CPUtime=3600.75 cores=4,6
/proc/66387/stat : 66387 (roundingsat) D 66382 66385 66325 0 -1 4194304 533952 0 1 0 352193 7882 0 0 20 0 1 0 61132410 3572854784 802910 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 872279 802910 2496 1147 0 859706 0
Current cumulated CPU time of completed processes: 0.005316 s
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 3489116 KiB
Current children cumulated memory: 3211640 KiB
[startup+3614 s]*
/proc/loadavg: 4.18 4.18 4.18 1/256 66612
/proc/meminfo: memFree=1835064/131382112 swapFree=33010416/33010684
[pid=66387] ppid=66382 vsize=3489116 memory=3211640 CPUtime=3600.75 cores=4,6
/proc/66387/stat : 66387 (roundingsat) D 66382 66385 66325 0 -1 4194304 533952 0 1 0 352193 7882 0 0 20 0 1 0 61132410 3572854784 802910 18446744073709551615 4227072 8923433 140731738421696 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 10473472 140731738429778 140731738429992 140731738429992 140731738435562 0
/proc/66387/statm: 872279 802910 2496 1147 0 859706 0
Current cumulated CPU time of completed processes: 0.005316 s
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 3489116 KiB
Current children cumulated memory: 3211640 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3628.16
CPU time (s): 3601.93
CPU user time (s): 3522.01
CPU system time (s): 79.9151
CPU usage (%): 99.2771
Max. virtual memory (cumulated for all children) (KiB): 3493308
Max. memory (cumulated for all children) (KiB): 3214328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3522.01
system time used= 79.9151
maximum resident set size= 3224952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534161
page faults= 1
swaps= 0
block input operations= 4168
block output operations= 109920312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 229981
involuntary context switches= 22678
# summary of solver processes directly reported to runsolver:
# pid: 66385,66387
# total CPU time (s): 3601.93
# total CPU user time (s): 3522.01
# total CPU system time (s): 79.9151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8964 second user time and 37.6536 second system time
The end
Begin job on nodeC005 at 2025-07-02 13:08:50
IDJOB=4503015
IDBENCH=155403
IDSOLVER=3351
FILE ID=nodeC005/4503015-1751454530
RUNJOBID= nodeC005-1751454530-66336
SLURM_JOB_ID= 9598448
Free space on /tmp= 429420 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503015-1751454530/watcher-4503015-1751454530 -o /tmp/evaluation-result-4503015-1751454530/solver-4503015-1751454530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751454530-66336 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4503015-1751454530.opb PROOFDIR/proof-4503015-1751454530
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=548371877
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.246
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.648
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.294
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.235
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.244
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.241
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.246
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129503984 kB
MemAvailable: 129902872 kB
Buffers: 2128 kB
Cached: 1188780 kB
SwapCached: 24 kB
Active: 745568 kB
Inactive: 542304 kB
Active(anon): 111808 kB
Inactive(anon): 3164 kB
Active(file): 633760 kB
Inactive(file): 539140 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 81108 kB
Writeback: 0 kB
AnonPages: 100148 kB
Mapped: 111468 kB
Shmem: 17936 kB
KReclaimable: 131228 kB
Slab: 218396 kB
SReclaimable: 131228 kB
SUnreclaim: 87168 kB
KernelStack: 4160 kB
PageTables: 3176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 423492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429388 MiB
End job on nodeC005 at 2025-07-02 14:09:19