0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.13 c #variables 1289 #constraints 1095
0.08/0.13 c objective is ce32
0.08/0.14 c initial watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
0.08/0.14 c initial counting CF 32, 64, 128, Arb: 1077 , 0 , 0 , 0
0.08/0.14 c GLOBAL bounds - >= -15502 @ 0.117017
0.08/0.14 c GLOBAL bounds - >= -15502 @ 0.11824
0.08/0.14 c GLOBAL bounds - >= -15502 @ 0.118843
0.08/0.14 c GLOBAL bounds - >= -15502 @ 0.119793
0.08/0.14 c GLOBAL bounds - >= -15502 @ 0.120053
0.08/0.14 c GLOBAL bounds - >= -15502 @ 0.120836
0.08/0.15 c GLOBAL bounds - >= -15502 @ 0.120836
0.08/0.15 c GLOBAL bounds - >= -15502 @ 0.120957
0.08/0.15 c GLOBAL bounds - >= -15502 @ 0.121832
0.08/0.15 c GLOBAL bounds - >= -15502 @ 0.121833
0.08/0.15 c GLOBAL bounds - >= -15502 @ 0.12194
0.08/0.15 c GLOBAL bounds - >= -15502 @ 0.12281
0.08/0.15 c GLOBAL bounds - >= -15502 @ 0.122812
0.08/0.15 c GLOBAL bounds - >= -15502 @ 0.123752
0.08/0.16 c GLOBAL bounds - >= -15502 @ 0.124968
0.08/0.16 c GLOBAL bounds - >= -15502 @ 0.125803
0.08/0.16 c GLOBAL bounds - >= -15502 @ 0.125804
0.08/0.16 c GLOBAL bounds - >= -15502 @ 0.125978
0.08/0.16 c GLOBAL bounds - >= -15502 @ 0.126801
0.08/0.16 c GLOBAL bounds - >= -15502 @ 0.126802
0.08/0.16 c GLOBAL bounds - >= -15502 @ 0.126907
0.08/0.17 c GLOBAL bounds - >= -15502 @ 0.128211
0.08/0.17 c GLOBAL bounds - >= -15502 @ 0.128796
0.08/0.17 c GLOBAL bounds - >= -15502 @ 0.128904
0.08/0.17 c GLOBAL bounds - >= -15502 @ 0.129793
0.08/0.17 c GLOBAL bounds - >= -15502 @ 0.129793
0.08/0.17 c GLOBAL bounds - >= -15502 @ 0.130808
0.08/0.17 c GLOBAL bounds - >= -15502 @ 0.131789
0.08/0.17 c GLOBAL bounds - >= -15502 @ 0.132433
0.08/0.18 c GLOBAL bounds - >= -15502 @ 0.132786
0.08/0.18 c GLOBAL bounds - >= -15502 @ 0.133783
0.08/0.18 c GLOBAL bounds - >= -15502 @ 0.134311
0.08/0.18 c GLOBAL bounds - >= -15502 @ 0.134781
0.08/0.18 c GLOBAL bounds - >= -15502 @ 0.135778
0.08/0.18 c GLOBAL bounds - >= -15502 @ 0.135778
0.08/0.18 c GLOBAL bounds - >= -15502 @ 0.135778
0.08/0.19 c GLOBAL bounds - >= -15502 @ 0.136775
0.08/0.19 c GLOBAL bounds - >= -15502 @ 0.136775
0.08/0.19 c GLOBAL bounds - >= -15502 @ 0.136775
0.08/0.19 c GLOBAL bounds - >= -15502 @ 0.136775
0.08/0.19 c GLOBAL bounds - >= -15502 @ 0.137379
0.08/0.19 c GLOBAL bounds - >= -15502 @ 0.137773
0.08/0.19 c GLOBAL bounds - >= -15502 @ 0.13805
0.08/0.19 c GLOBAL bounds - >= -15502 @ 0.139383
0.08/0.20 c GLOBAL bounds - >= -15502 @ 0.139768
0.08/0.20 c GLOBAL bounds - >= -15502 @ 0.140054
0.08/0.20 c GLOBAL bounds - >= -15502 @ 0.140766
0.08/0.20 c GLOBAL bounds - >= -15502 @ 0.140766
0.08/0.20 c GLOBAL bounds - >= -15502 @ 0.140766
0.08/0.20 c GLOBAL bounds - >= -15502 @ 0.140766
0.08/0.20 c GLOBAL bounds - >= -15502 @ 0.140878
0.08/0.21 c GLOBAL bounds - >= -15502 @ 0.142122
0.19/0.21 c GLOBAL bounds - >= -15502 @ 0.143471
0.19/0.21 c GLOBAL bounds - >= -15502 @ 0.144819
0.19/0.21 c GLOBAL bounds - >= -15502 @ 0.145705
0.19/0.21 c GLOBAL bounds - >= -15502 @ 0.14651
0.19/0.21 c GLOBAL bounds - >= -15502 @ 0.147837
0.19/0.21 c GLOBAL bounds - >= -15502 @ 0.1487
0.19/0.21 c GLOBAL bounds - >= -15502 @ 0.1487
0.19/0.22 c GLOBAL bounds - >= -15502 @ 0.1487
0.19/0.22 c GLOBAL bounds - >= -15502 @ 0.1487
0.19/0.22 c GLOBAL bounds - >= -15502 @ 0.149584
0.19/0.22 c GLOBAL bounds - >= -15502 @ 0.150694
0.19/0.22 c GLOBAL bounds - >= -15502 @ 0.15129
0.19/0.22 c GLOBAL bounds - >= -15502 @ 0.151692
0.19/0.22 c GLOBAL bounds - >= -15502 @ 0.151693
0.19/0.23 c GLOBAL bounds - >= -15502 @ 0.151693
0.19/0.23 c GLOBAL bounds - >= -15502 @ 0.151693
0.19/0.23 c GLOBAL bounds - >= -15502 @ 0.151693
0.19/0.23 c GLOBAL bounds - >= -15502 @ 0.152585
0.19/0.23 c GLOBAL bounds - >= -15502 @ 0.153688
0.19/0.23 c GLOBAL bounds - >= -15502 @ 0.153688
0.19/0.23 c GLOBAL bounds - >= -15502 @ 0.154619
0.19/0.24 c GLOBAL bounds - >= -15502 @ 0.154967
0.19/0.24 c GLOBAL bounds - >= -15502 @ 0.155685
0.19/0.24 c GLOBAL bounds - >= -15502 @ 0.155685
0.19/0.24 c GLOBAL bounds - >= -15502 @ 0.156008
0.19/0.24 c GLOBAL bounds - >= -15502 @ 0.157349
0.19/0.24 c GLOBAL bounds - >= -15502 @ 0.158689
0.19/0.24 c GLOBAL bounds - >= -15502 @ 0.159676
0.19/0.24 c GLOBAL bounds - >= -15502 @ 0.159676
0.19/0.25 c GLOBAL bounds - >= -15502 @ 0.159676
0.19/0.25 c GLOBAL bounds - >= -15502 @ 0.160674
0.19/0.25 c GLOBAL bounds - >= -15502 @ 0.160674
0.19/0.25 c GLOBAL bounds - >= -15502 @ 0.161648
0.19/0.25 c GLOBAL bounds - >= -15502 @ 0.161673
0.19/0.25 c GLOBAL bounds - >= -15502 @ 0.161673
0.19/0.25 c GLOBAL bounds - >= -15502 @ 0.161673
0.19/0.26 c GLOBAL bounds - >= -15502 @ 0.162671
0.19/0.26 c GLOBAL bounds - >= -15502 @ 0.162671
0.19/0.26 c GLOBAL bounds - >= -15502 @ 0.162671
0.19/0.26 c GLOBAL bounds - >= -15502 @ 0.162672
0.19/0.26 c GLOBAL bounds - >= -15502 @ 0.162672
0.19/0.26 c GLOBAL bounds - >= -15502 @ 0.162672
0.19/0.26 c GLOBAL bounds - >= -15502 @ 0.163667
0.19/0.26 c GLOBAL bounds - >= -15502 @ 0.164308
0.19/0.27 c GLOBAL bounds - >= -15502 @ 0.164665
0.19/0.27 c GLOBAL bounds - >= -15502 @ 0.164985
0.19/0.27 c GLOBAL bounds - >= -15502 @ 0.165662
0.19/0.27 c GLOBAL bounds - >= -15502 @ 0.166604
0.19/0.27 c GLOBAL bounds - >= -15502 @ 0.166904
0.19/0.27 c GLOBAL bounds - >= -15502 @ 0.167658
0.19/0.27 c GLOBAL bounds - >= -15502 @ 0.167658
0.19/0.28 c GLOBAL bounds - >= -15502 @ 0.167919
0.19/0.28 c GLOBAL bounds - >= -15502 @ 0.169243
0.19/0.28 c GLOBAL bounds - >= -15502 @ 0.169653
0.19/0.28 c GLOBAL bounds - >= -15502 @ 0.170652
0.19/0.28 c GLOBAL bounds - >= -15502 @ 0.170652
0.19/0.28 c GLOBAL bounds - >= -15502 @ 0.170652
0.19/0.28 c GLOBAL bounds - >= -15502 @ 0.170652
0.19/0.28 c GLOBAL bounds - >= -15502 @ 0.170652
0.19/0.29 c GLOBAL bounds - >= -15502 @ 0.170652
0.19/0.29 c GLOBAL bounds - >= -15502 @ 0.170765
0.19/0.29 c GLOBAL bounds - >= -15502 @ 0.17165
0.19/0.29 c GLOBAL bounds - >= -15502 @ 0.17165
0.19/0.29 c GLOBAL bounds - >= -15502 @ 0.172627
0.19/0.29 c GLOBAL bounds - >= -15502 @ 0.173645
0.19/0.29 c GLOBAL bounds - >= -15502 @ 0.174229
0.19/0.29 c GLOBAL bounds - >= -15502 @ 0.175499
0.19/0.30 c GLOBAL bounds - >= -15502 @ 0.17564
0.19/0.30 c GLOBAL bounds - >= -15502 @ 0.176139
0.19/0.30 c GLOBAL bounds - >= -15502 @ 0.176639
0.19/0.30 c GLOBAL bounds - >= -15502 @ 0.176755
0.19/0.30 c GLOBAL bounds - >= -15502 @ 0.177636
0.19/0.30 c GLOBAL bounds - >= -15502 @ 0.177636
0.19/0.30 c GLOBAL bounds - >= -15502 @ 0.177765
0.19/0.31 c GLOBAL bounds - >= -15502 @ 0.178975
0.29/0.31 c GLOBAL bounds - >= -15502 @ 0.180287
0.29/0.31 c GLOBAL bounds - >= -15502 @ 0.181509
0.29/0.31 c GLOBAL bounds - >= -15502 @ 0.182582
0.29/0.31 c GLOBAL bounds - >= -15502 @ 0.183582
0.29/0.31 c GLOBAL bounds - >= -15502 @ 0.184105
0.29/0.31 c GLOBAL bounds - >= -15502 @ 0.185236
0.29/0.31 c GLOBAL bounds - >= -15502 @ 0.18644
0.29/0.32 c GLOBAL bounds - >= -15502 @ 0.187476
0.29/0.32 c GLOBAL bounds - >= -15502 @ 0.187573
0.29/0.32 c GLOBAL bounds - >= 0 @ 0.187573
0.29/0.39 c rational objective 0
1.48/1.53 c GLOBAL bounds - >= 0 @ 1.37675
1.48/1.55 c GLOBAL bounds - >= 0 @ 1.39531
1.48/1.57 c GLOBAL bounds - >= 0 @ 1.41356
1.48/1.59 c GLOBAL bounds - >= 0 @ 1.43447
2.08/2.14 c GLOBAL bounds - >= 0 @ 1.97667
2.27/2.30 c GLOBAL bounds - >= 0 @ 2.12933
2.27/2.37 c GLOBAL bounds - >= 0 @ 2.20272
2.58/2.60 c GLOBAL bounds - >= 0 @ 2.42128
2.77/2.84 c GLOBAL bounds - >= 0 @ 2.66405
3.97/4.09 c GLOBAL bounds - >= 0 @ 3.9068
5.27/5.39 c #Conflicts: 1000 | #Constraints: 2223
5.27/5.39 c GLOBAL bounds - >= 0 @ 5.19442
10.26/10.35 c #Conflicts: 2000 | #Constraints: 3226
10.26/10.35 c INPROCESSING
10.26/10.35 c GARBAGE COLLECT
10.26/10.35 c #Conflicts: 3000 | #Constraints: 3368
10.26/10.35 c GLOBAL bounds - >= 0 @ 10.1041
10.96/11.05 c #Conflicts: 4000 | #Constraints: 4373
10.96/11.05 c INPROCESSING
10.96/11.05 c GARBAGE COLLECT
10.96/11.05 c rational objective 3.96829
16.24/16.39 c #Conflicts: 5000 | #Constraints: 3645
16.24/16.39 c #Conflicts: 6000 | #Constraints: 5074
16.24/16.39 c INPROCESSING
16.24/16.39 c GARBAGE COLLECT
16.24/16.39 c rational objective 3.97424
22.52/22.64 c #Conflicts: 7000 | #Constraints: 3958
22.52/22.64 c #Conflicts: 8000 | #Constraints: 4984
22.52/22.64 c #Conflicts: 9000 | #Constraints: 5987
22.52/22.64 c INPROCESSING
22.52/22.64 c GARBAGE COLLECT
22.52/22.64 c rational objective 0
27.01/27.15 c #Conflicts: 10000 | #Constraints: 4486
27.01/27.15 c #Conflicts: 11000 | #Constraints: 5491
27.01/27.15 c GLOBAL bounds - >= 0 @ 26.7553
27.81/27.99 c #Conflicts: 12000 | #Constraints: 6492
27.81/27.99 c INPROCESSING
27.81/27.99 c GARBAGE COLLECT
27.81/27.99 c rational objective 0
29.10/29.24 c GLOBAL bounds 591 >= 0 @ 28.8262
29.10/29.24 c GLOBAL bounds 591 >= 0 @ 28.8276
29.10/29.26 c GLOBAL bounds 591 >= 0 @ 28.8451
29.10/29.26 c GLOBAL bounds 591 >= 0 @ 28.8454
29.10/29.28 c GLOBAL bounds 591 >= 0 @ 28.865
29.10/29.28 c GLOBAL bounds 591 >= 0 @ 28.8663
29.21/29.31 c GLOBAL bounds 591 >= 0 @ 28.8944
29.21/29.31 c GLOBAL bounds 591 >= 0 @ 28.8958
29.21/29.36 c GLOBAL bounds 591 >= 0 @ 28.9412
29.21/29.36 c GLOBAL bounds 591 >= 0 @ 28.9426
29.31/29.41 c GLOBAL bounds 7 >= 0 @ 28.9977
29.31/29.41 c GLOBAL bounds 7 >= 0 @ 28.9984
29.31/29.43 c GLOBAL bounds 7 >= 0 @ 29.0169
29.31/29.43 c GLOBAL bounds 7 >= 0 @ 29.0177
29.31/29.47 c GLOBAL bounds 7 >= 0 @ 29.0556
29.31/29.47 c GLOBAL bounds 7 >= 0 @ 29.0558
29.40/29.51 c GLOBAL bounds 7 >= 0 @ 29.0884
29.40/29.51 c GLOBAL bounds 7 >= 0 @ 29.0887
29.40/29.53 c GLOBAL bounds 7 >= 0 @ 29.1072
29.40/29.53 c GLOBAL bounds 7 >= 0 @ 29.1081
29.40/29.55 c GLOBAL bounds 7 >= 0 @ 29.1275
29.40/29.55 c GLOBAL bounds 7 >= 0 @ 29.1276
29.40/29.55 c GLOBAL bounds 7 >= 0 @ 29.1281
29.40/29.55 c GLOBAL bounds 7 >= 0 @ 29.129
29.40/29.55 c GLOBAL bounds 7 >= 0 @ 29.1296
29.40/29.55 c GLOBAL bounds 7 >= 0 @ 29.1296
29.40/29.55 c GLOBAL bounds 7 >= 1 @ 29.1296
29.40/29.57 c GLOBAL bounds 7 >= 1 @ 29.1484
29.40/29.59 c GLOBAL bounds 7 >= 1 @ 29.1667
29.50/29.61 c GLOBAL bounds 7 >= 1 @ 29.1844
29.50/29.62 c GLOBAL bounds 7 >= 1 @ 29.1983
29.50/29.64 c GLOBAL bounds 7 >= 1 @ 29.2163
29.50/29.66 c GLOBAL bounds 7 >= 1 @ 29.2332
29.50/29.66 c GLOBAL bounds 7 >= 1 @ 29.2333
29.50/29.68 c GLOBAL bounds 7 >= 1 @ 29.25
29.50/29.68 c GLOBAL bounds 7 >= 1 @ 29.2503
29.60/29.70 c GLOBAL bounds 7 >= 1 @ 29.2705
29.60/29.70 c GLOBAL bounds 7 >= 1 @ 29.2712
29.60/29.73 c GLOBAL bounds 7 >= 1 @ 29.2981
29.60/29.73 c GLOBAL bounds 7 >= 1 @ 29.2989
29.60/29.74 c GLOBAL bounds 4 >= 1 @ 29.308
29.60/29.74 c GLOBAL bounds 4 >= 1 @ 29.3087
29.60/29.76 c GLOBAL bounds 4 >= 1 @ 29.3229
29.60/29.76 c GLOBAL bounds 4 >= 1 @ 29.3231
29.60/29.78 c GLOBAL bounds 4 >= 1 @ 29.3412
29.60/29.78 c GLOBAL bounds 4 >= 1 @ 29.3421
29.70/29.80 c GLOBAL bounds 4 >= 1 @ 29.3595
29.70/29.80 c GLOBAL bounds 4 >= 1 @ 29.3602
29.70/29.82 c GLOBAL bounds 4 >= 1 @ 29.3774
29.70/29.82 c GLOBAL bounds 4 >= 1 @ 29.3782
29.70/29.85 c GLOBAL bounds 4 >= 1 @ 29.4114
29.70/29.85 c GLOBAL bounds 4 >= 1 @ 29.4122
29.70/29.87 c GLOBAL bounds 4 >= 1 @ 29.4337
29.70/29.87 c GLOBAL bounds 4 >= 1 @ 29.4338
29.70/29.88 c GLOBAL bounds 4 >= 1 @ 29.4338
29.70/29.88 c GLOBAL bounds 4 >= 1 @ 29.4338
29.70/29.88 c GLOBAL bounds 4 >= 1 @ 29.4339
29.70/29.89 c GLOBAL bounds 4 >= 1 @ 29.4516
29.80/29.91 c GLOBAL bounds 4 >= 1 @ 29.4687
29.80/29.93 c GLOBAL bounds 4 >= 1 @ 29.486
29.80/29.95 c GLOBAL bounds 4 >= 1 @ 29.5044
29.80/29.95 c GLOBAL bounds 4 >= 1 @ 29.5047
29.80/29.97 c GLOBAL bounds 4 >= 1 @ 29.523
29.80/29.97 c GLOBAL bounds 4 >= 1 @ 29.5237
29.80/29.99 c GLOBAL bounds 4 >= 1 @ 29.5456
29.80/29.99 c GLOBAL bounds 4 >= 1 @ 29.5463
29.91/30.01 c GLOBAL bounds 4 >= 1 @ 29.5668
29.91/30.02 c GLOBAL bounds 4 >= 1 @ 29.5675
29.91/30.03 c GLOBAL bounds 4 >= 1 @ 29.5855
29.91/30.03 c GLOBAL bounds 4 >= 1 @ 29.5862
29.91/30.06 c GLOBAL bounds 4 >= 1 @ 29.6084
29.91/30.06 c GLOBAL bounds 4 >= 1 @ 29.6092
29.91/30.08 c GLOBAL bounds 4 >= 1 @ 29.628
29.91/30.08 c GLOBAL bounds 4 >= 1 @ 29.6287
29.91/30.10 c GLOBAL bounds 4 >= 1 @ 29.6473
29.91/30.10 c GLOBAL bounds 4 >= 1 @ 29.648
30.01/30.11 c GLOBAL bounds 4 >= 1 @ 29.6664
30.01/30.11 c GLOBAL bounds 4 >= 1 @ 29.6672
30.01/30.13 c GLOBAL bounds 4 >= 1 @ 29.6856
30.01/30.13 c GLOBAL bounds 4 >= 1 @ 29.6863
30.01/30.13 c GLOBAL bounds 4 >= 1 @ 29.6869
30.01/30.14 c GLOBAL bounds 4 >= 1 @ 29.6872
30.01/30.14 c GLOBAL bounds 4 >= 1 @ 29.6872
30.01/30.16 c GLOBAL bounds 4 >= 1 @ 29.7056
30.01/30.17 c GLOBAL bounds 4 >= 1 @ 29.7231
30.01/30.19 c GLOBAL bounds 4 >= 1 @ 29.7409
30.10/30.21 c GLOBAL bounds 4 >= 1 @ 29.7602
30.10/30.21 c GLOBAL bounds 4 >= 1 @ 29.7609
30.10/30.23 c GLOBAL bounds 4 >= 1 @ 29.7783
30.10/30.23 c GLOBAL bounds 4 >= 1 @ 29.7789
30.10/30.25 c GLOBAL bounds 4 >= 1 @ 29.7997
30.10/30.26 c GLOBAL bounds 4 >= 1 @ 29.7999
30.20/30.31 c GLOBAL bounds 4 >= 1 @ 29.8527
30.20/30.31 c GLOBAL bounds 4 >= 1 @ 29.8527
30.20/30.33 c GLOBAL bounds 4 >= 1 @ 29.8706
30.20/30.33 c GLOBAL bounds 4 >= 1 @ 29.8714
30.20/30.35 c GLOBAL bounds 4 >= 1 @ 29.8931
30.20/30.35 c GLOBAL bounds 4 >= 1 @ 29.8936
30.20/30.37 c GLOBAL bounds 4 >= 1 @ 29.9112
30.20/30.37 c GLOBAL bounds 4 >= 1 @ 29.9116
30.20/30.39 c GLOBAL bounds 4 >= 1 @ 29.9291
30.20/30.39 c GLOBAL bounds 4 >= 1 @ 29.9298
30.30/30.41 c GLOBAL bounds 4 >= 1 @ 29.9487
30.30/30.41 c GLOBAL bounds 4 >= 1 @ 29.9495
30.30/30.43 c GLOBAL bounds 4 >= 1 @ 29.9671
30.30/30.43 c GLOBAL bounds 4 >= 1 @ 29.9678
30.30/30.43 c GLOBAL bounds 4 >= 1 @ 29.9685
30.30/30.43 c GLOBAL bounds 4 >= 1 @ 29.9693
30.30/30.43 c GLOBAL bounds 4 >= 1 @ 29.9693
30.30/30.45 c GLOBAL bounds 4 >= 1 @ 29.9881
30.30/30.47 c GLOBAL bounds 4 >= 1 @ 30.0053
30.30/30.49 c GLOBAL bounds 4 >= 1 @ 30.0244
30.40/30.51 c GLOBAL bounds 4 >= 1 @ 30.0427
30.40/30.51 c GLOBAL bounds 4 >= 1 @ 30.0433
30.40/30.53 c GLOBAL bounds 4 >= 1 @ 30.0609
30.40/30.53 c GLOBAL bounds 4 >= 1 @ 30.0612
30.40/30.55 c GLOBAL bounds 4 >= 1 @ 30.0789
30.40/30.55 c GLOBAL bounds 4 >= 1 @ 30.0796
30.40/30.57 c GLOBAL bounds 4 >= 1 @ 30.102
30.40/30.57 c GLOBAL bounds 4 >= 1 @ 30.1021
30.40/30.59 c GLOBAL bounds 4 >= 1 @ 30.12
30.40/30.59 c GLOBAL bounds 4 >= 1 @ 30.1201
30.50/30.61 c GLOBAL bounds 4 >= 1 @ 30.1413
30.50/30.61 c GLOBAL bounds 4 >= 1 @ 30.142
30.50/30.63 c GLOBAL bounds 4 >= 1 @ 30.1594
30.50/30.63 c GLOBAL bounds 4 >= 1 @ 30.1601
30.50/30.65 c GLOBAL bounds 4 >= 1 @ 30.1787
30.50/30.65 c GLOBAL bounds 4 >= 1 @ 30.1794
30.50/30.67 c GLOBAL bounds 4 >= 1 @ 30.1979
30.50/30.67 c GLOBAL bounds 4 >= 1 @ 30.1987
30.50/30.69 c GLOBAL bounds 4 >= 1 @ 30.2189
30.50/30.69 c GLOBAL bounds 4 >= 1 @ 30.2196
30.50/30.69 c GLOBAL bounds 4 >= 1 @ 30.2199
30.50/30.69 c GLOBAL bounds 4 >= 1 @ 30.2199
30.50/30.69 c GLOBAL bounds 4 >= 1 @ 30.2199
30.60/30.71 c GLOBAL bounds 4 >= 1 @ 30.2378
30.60/30.73 c GLOBAL bounds 4 >= 1 @ 30.2561
30.60/30.75 c GLOBAL bounds 4 >= 1 @ 30.2748
30.60/30.77 c GLOBAL bounds 4 >= 1 @ 30.2933
30.60/30.77 c GLOBAL bounds 4 >= 1 @ 30.2937
30.60/30.79 c GLOBAL bounds 4 >= 1 @ 30.3103
30.60/30.79 c GLOBAL bounds 4 >= 1 @ 30.3107
30.70/30.81 c GLOBAL bounds 4 >= 1 @ 30.3299
30.70/30.81 c GLOBAL bounds 4 >= 1 @ 30.3306
30.70/30.83 c GLOBAL bounds 4 >= 1 @ 30.3527
30.70/30.83 c GLOBAL bounds 4 >= 1 @ 30.3534
30.70/30.85 c GLOBAL bounds 4 >= 1 @ 30.3715
30.70/30.85 c GLOBAL bounds 4 >= 1 @ 30.3715
30.70/30.87 c GLOBAL bounds 4 >= 1 @ 30.3916
30.70/30.87 c GLOBAL bounds 4 >= 1 @ 30.3923
30.70/30.89 c GLOBAL bounds 4 >= 1 @ 30.4108
30.70/30.89 c GLOBAL bounds 4 >= 1 @ 30.4115
30.80/30.91 c GLOBAL bounds 4 >= 1 @ 30.4299
30.80/30.91 c GLOBAL bounds 4 >= 1 @ 30.4304
30.80/30.93 c GLOBAL bounds 4 >= 1 @ 30.4525
30.80/30.93 c GLOBAL bounds 4 >= 1 @ 30.4532
30.80/30.95 c GLOBAL bounds 4 >= 1 @ 30.4706
30.80/30.95 c GLOBAL bounds 4 >= 1 @ 30.4713
30.80/30.95 c GLOBAL bounds 4 >= 1 @ 30.4713
30.80/30.96 c GLOBAL bounds 4 >= 1 @ 30.4718
30.80/30.96 c GLOBAL bounds 4 >= 1 @ 30.4718
30.80/30.98 c GLOBAL bounds 4 >= 1 @ 30.4905
30.80/30.99 c GLOBAL bounds 4 >= 1 @ 30.5091
30.90/31.01 c GLOBAL bounds 4 >= 1 @ 30.5287
30.90/31.03 c GLOBAL bounds 4 >= 1 @ 30.5461
30.90/31.03 c GLOBAL bounds 4 >= 1 @ 30.5468
30.90/31.05 c GLOBAL bounds 4 >= 1 @ 30.5637
30.90/31.05 c GLOBAL bounds 4 >= 1 @ 30.564
30.90/31.07 c GLOBAL bounds 4 >= 1 @ 30.5843
30.90/31.08 c GLOBAL bounds 4 >= 1 @ 30.585
30.90/31.10 c GLOBAL bounds 4 >= 1 @ 30.6061
30.90/31.10 c GLOBAL bounds 4 >= 1 @ 30.6068
31.00/31.12 c GLOBAL bounds 4 >= 1 @ 30.6229
31.00/31.12 c GLOBAL bounds 4 >= 1 @ 30.6229
31.00/31.14 c GLOBAL bounds 4 >= 1 @ 30.6451
31.00/31.14 c GLOBAL bounds 4 >= 1 @ 30.6458
31.00/31.16 c GLOBAL bounds 4 >= 1 @ 30.6631
31.00/31.16 c GLOBAL bounds 4 >= 1 @ 30.6638
31.00/31.18 c GLOBAL bounds 4 >= 1 @ 30.6822
31.00/31.18 c GLOBAL bounds 4 >= 1 @ 30.6827
31.10/31.20 c GLOBAL bounds 4 >= 1 @ 30.705
31.10/31.20 c GLOBAL bounds 4 >= 1 @ 30.7057
31.10/31.22 c GLOBAL bounds 4 >= 1 @ 30.7219
31.10/31.22 c GLOBAL bounds 4 >= 1 @ 30.7226
31.10/31.22 c GLOBAL bounds 4 >= 1 @ 30.7226
31.10/31.22 c GLOBAL bounds 4 >= 1 @ 30.7231
31.10/31.22 c GLOBAL bounds 4 >= 1 @ 30.7232
31.10/31.24 c GLOBAL bounds 4 >= 1 @ 30.7421
31.10/31.26 c GLOBAL bounds 4 >= 1 @ 30.7606
31.10/31.28 c GLOBAL bounds 4 >= 1 @ 30.7794
31.20/31.30 c GLOBAL bounds 4 >= 1 @ 30.7978
31.20/31.30 c GLOBAL bounds 4 >= 1 @ 30.7984
31.20/31.32 c GLOBAL bounds 4 >= 1 @ 30.8161
31.20/31.32 c GLOBAL bounds 4 >= 1 @ 30.8164
31.20/31.34 c GLOBAL bounds 4 >= 1 @ 30.8367
31.20/31.34 c GLOBAL bounds 4 >= 1 @ 30.8373
31.20/31.36 c GLOBAL bounds 4 >= 1 @ 30.8594
31.20/31.36 c GLOBAL bounds 4 >= 1 @ 30.8601
31.20/31.38 c GLOBAL bounds 4 >= 1 @ 30.8782
31.20/31.38 c GLOBAL bounds 4 >= 1 @ 30.8782
31.30/31.41 c GLOBAL bounds 4 >= 1 @ 30.9014
31.30/31.41 c GLOBAL bounds 4 >= 1 @ 30.9021
31.30/31.42 c GLOBAL bounds 4 >= 1 @ 30.9194
31.30/31.43 c GLOBAL bounds 4 >= 1 @ 30.9201
31.30/31.44 c GLOBAL bounds 4 >= 1 @ 30.9374
31.30/31.44 c GLOBAL bounds 4 >= 1 @ 30.9381
31.30/31.46 c GLOBAL bounds 4 >= 1 @ 30.9555
31.30/31.46 c GLOBAL bounds 4 >= 1 @ 30.956
31.30/31.48 c GLOBAL bounds 4 >= 1 @ 30.9736
31.30/31.48 c GLOBAL bounds 4 >= 1 @ 30.974
31.30/31.48 c GLOBAL bounds 4 >= 1 @ 30.974
31.30/31.48 c GLOBAL bounds 4 >= 1 @ 30.9748
31.30/31.48 c GLOBAL bounds 4 >= 1 @ 30.9748
31.40/31.50 c GLOBAL bounds 4 >= 1 @ 30.9931
31.40/31.52 c GLOBAL bounds 4 >= 1 @ 31.0115
31.40/31.54 c GLOBAL bounds 4 >= 1 @ 31.029
31.40/31.56 c GLOBAL bounds 4 >= 1 @ 31.0473
31.40/31.56 c GLOBAL bounds 4 >= 1 @ 31.0478
31.40/31.58 c GLOBAL bounds 4 >= 1 @ 31.066
31.40/31.58 c GLOBAL bounds 4 >= 1 @ 31.0666
31.50/31.60 c GLOBAL bounds 4 >= 1 @ 31.0892
31.50/31.60 c GLOBAL bounds 4 >= 1 @ 31.0897
31.50/31.62 c GLOBAL bounds 4 >= 1 @ 31.1096
31.50/31.62 c GLOBAL bounds 4 >= 1 @ 31.1097
31.50/31.64 c GLOBAL bounds 4 >= 1 @ 31.1267
31.50/31.64 c GLOBAL bounds 4 >= 1 @ 31.1274
31.50/31.67 c GLOBAL bounds 4 >= 1 @ 31.1472
31.50/31.67 c GLOBAL bounds 4 >= 1 @ 31.1476
31.59/31.72 c GLOBAL bounds 4 >= 1 @ 31.2039
31.59/31.72 c GLOBAL bounds 4 >= 1 @ 31.2046
31.59/31.74 c GLOBAL bounds 4 >= 1 @ 31.2218
31.59/31.74 c GLOBAL bounds 4 >= 1 @ 31.2224
31.59/31.76 c GLOBAL bounds 4 >= 1 @ 31.239
31.59/31.76 c GLOBAL bounds 4 >= 1 @ 31.2393
31.59/31.78 c GLOBAL bounds 4 >= 1 @ 31.2562
31.59/31.78 c GLOBAL bounds 4 >= 1 @ 31.2563
31.59/31.78 c GLOBAL bounds 4 >= 1 @ 31.2567
31.59/31.78 c GLOBAL bounds 4 >= 1 @ 31.2573
31.59/31.78 c GLOBAL bounds 4 >= 1 @ 31.2573
31.70/31.80 c GLOBAL bounds 4 >= 1 @ 31.2757
31.70/31.82 c GLOBAL bounds 4 >= 1 @ 31.2944
31.70/31.84 c GLOBAL bounds 4 >= 1 @ 31.3137
31.70/31.86 c GLOBAL bounds 4 >= 1 @ 31.3303
31.70/31.86 c GLOBAL bounds 4 >= 1 @ 31.331
31.70/31.88 c GLOBAL bounds 4 >= 1 @ 31.3482
31.70/31.88 c GLOBAL bounds 4 >= 1 @ 31.3489
31.80/31.90 c GLOBAL bounds 4 >= 1 @ 31.3715
31.80/31.90 c GLOBAL bounds 4 >= 1 @ 31.3721
31.80/31.92 c GLOBAL bounds 4 >= 1 @ 31.3937
31.80/31.93 c GLOBAL bounds 4 >= 1 @ 31.394
31.80/31.94 c GLOBAL bounds 4 >= 1 @ 31.4111
31.80/31.94 c GLOBAL bounds 4 >= 1 @ 31.4118
31.80/31.97 c GLOBAL bounds 4 >= 1 @ 31.433
31.80/31.97 c GLOBAL bounds 4 >= 1 @ 31.4338
31.80/31.99 c GLOBAL bounds 4 >= 1 @ 31.4514
31.80/31.99 c GLOBAL bounds 4 >= 1 @ 31.4518
31.90/32.00 c GLOBAL bounds 4 >= 1 @ 31.4695
31.90/32.01 c GLOBAL bounds 4 >= 1 @ 31.4703
31.90/32.03 c GLOBAL bounds 4 >= 1 @ 31.4899
31.90/32.03 c GLOBAL bounds 4 >= 1 @ 31.4906
31.90/32.05 c GLOBAL bounds 4 >= 1 @ 31.5079
31.90/32.05 c GLOBAL bounds 4 >= 1 @ 31.5086
31.90/32.05 c GLOBAL bounds 4 >= 1 @ 31.5094
31.90/32.05 c GLOBAL bounds 4 >= 1 @ 31.5102
31.90/32.05 c GLOBAL bounds 4 >= 1 @ 31.5102
31.90/32.07 c GLOBAL bounds 4 >= 1 @ 31.5284
31.90/32.09 c GLOBAL bounds 4 >= 1 @ 31.5466
32.00/32.11 c GLOBAL bounds 4 >= 1 @ 31.5645
32.00/32.12 c GLOBAL bounds 4 >= 1 @ 31.582
32.00/32.12 c GLOBAL bounds 4 >= 1 @ 31.5825
32.00/32.14 c GLOBAL bounds 4 >= 1 @ 31.5983
32.00/32.14 c GLOBAL bounds 4 >= 1 @ 31.599
32.00/32.17 c GLOBAL bounds 4 >= 1 @ 31.6197
32.00/32.17 c GLOBAL bounds 4 >= 1 @ 31.6203
32.10/32.20 c GLOBAL bounds 4 >= 1 @ 31.6572
32.10/32.20 c GLOBAL bounds 4 >= 1 @ 31.6573
32.10/32.22 c GLOBAL bounds 4 >= 1 @ 31.673
32.10/32.22 c GLOBAL bounds 4 >= 1 @ 31.6737
32.10/32.28 c GLOBAL bounds 4 >= 1 @ 31.7336
32.10/32.28 c GLOBAL bounds 4 >= 1 @ 31.7341
32.20/32.30 c GLOBAL bounds 4 >= 1 @ 31.7497
32.20/32.30 c GLOBAL bounds 4 >= 1 @ 31.75
32.20/32.32 c GLOBAL bounds 4 >= 1 @ 31.7679
32.20/32.32 c GLOBAL bounds 4 >= 1 @ 31.7687
32.20/32.37 c GLOBAL bounds 4 >= 1 @ 31.8139
32.20/32.37 c GLOBAL bounds 4 >= 1 @ 31.8139
32.20/32.39 c GLOBAL bounds 4 >= 1 @ 31.8321
32.20/32.39 c GLOBAL bounds 4 >= 1 @ 31.8328
32.20/32.39 c GLOBAL bounds 4 >= 1 @ 31.8336
32.20/32.39 c GLOBAL bounds 4 >= 1 @ 31.8338
32.20/32.39 c GLOBAL bounds 4 >= 1 @ 31.8338
32.29/32.41 c GLOBAL bounds 4 >= 1 @ 31.8527
32.29/32.43 c GLOBAL bounds 4 >= 1 @ 31.8714
32.29/32.45 c GLOBAL bounds 4 >= 1 @ 31.889
32.29/32.47 c GLOBAL bounds 4 >= 1 @ 31.9072
32.29/32.47 c GLOBAL bounds 4 >= 1 @ 31.9077
32.29/32.49 c GLOBAL bounds 4 >= 1 @ 31.9256
32.29/32.49 c GLOBAL bounds 4 >= 1 @ 31.9263
32.39/32.51 c GLOBAL bounds 4 >= 1 @ 31.949
32.39/32.51 c GLOBAL bounds 4 >= 1 @ 31.9496
32.39/32.53 c GLOBAL bounds 4 >= 1 @ 31.9672
32.39/32.53 c GLOBAL bounds 4 >= 1 @ 31.9675
32.39/32.55 c GLOBAL bounds 4 >= 1 @ 31.9851
32.39/32.55 c GLOBAL bounds 4 >= 1 @ 31.9859
32.39/32.57 c GLOBAL bounds 4 >= 1 @ 32.0095
32.39/32.57 c GLOBAL bounds 4 >= 1 @ 32.0103
32.39/32.59 c GLOBAL bounds 4 >= 1 @ 32.0275
32.39/32.59 c GLOBAL bounds 4 >= 1 @ 32.0283
32.50/32.61 c GLOBAL bounds 4 >= 1 @ 32.047
32.50/32.61 c GLOBAL bounds 4 >= 1 @ 32.0478
32.50/32.63 c GLOBAL bounds 4 >= 1 @ 32.0697
32.50/32.64 c GLOBAL bounds 4 >= 1 @ 32.0705
32.50/32.65 c GLOBAL bounds 4 >= 1 @ 32.0876
32.50/32.65 c GLOBAL bounds 4 >= 1 @ 32.0883
32.50/32.65 c GLOBAL bounds 4 >= 1 @ 32.089
32.50/32.66 c GLOBAL bounds 4 >= 1 @ 32.0899
32.50/32.66 c GLOBAL bounds 4 >= 1 @ 32.0899
32.50/32.68 c GLOBAL bounds 4 >= 1 @ 32.1095
32.50/32.69 c GLOBAL bounds 4 >= 1 @ 32.126
32.59/32.71 c GLOBAL bounds 4 >= 1 @ 32.1442
32.59/32.73 c GLOBAL bounds 4 >= 1 @ 32.1615
32.59/32.73 c GLOBAL bounds 4 >= 1 @ 32.162
32.59/32.75 c GLOBAL bounds 4 >= 1 @ 32.1801
32.59/32.75 c GLOBAL bounds 4 >= 1 @ 32.1808
32.59/32.77 c GLOBAL bounds 4 >= 1 @ 32.2009
32.59/32.77 c GLOBAL bounds 4 >= 1 @ 32.2009
32.70/32.80 c GLOBAL bounds 4 >= 1 @ 32.2237
32.70/32.80 c GLOBAL bounds 4 >= 1 @ 32.2239
32.70/32.82 c GLOBAL bounds 4 >= 1 @ 32.2406
32.70/32.82 c GLOBAL bounds 4 >= 1 @ 32.2413
32.70/32.84 c GLOBAL bounds 4 >= 1 @ 32.2634
32.70/32.84 c GLOBAL bounds 4 >= 1 @ 32.2638
32.70/32.86 c GLOBAL bounds 4 >= 1 @ 32.2816
32.70/32.86 c GLOBAL bounds 4 >= 1 @ 32.2817
32.70/32.88 c GLOBAL bounds 4 >= 1 @ 32.2986
32.70/32.88 c GLOBAL bounds 4 >= 1 @ 32.2993
32.79/32.90 c GLOBAL bounds 4 >= 1 @ 32.3203
32.79/32.90 c GLOBAL bounds 4 >= 1 @ 32.3206
32.79/32.92 c GLOBAL bounds 4 >= 1 @ 32.3376
32.79/32.92 c GLOBAL bounds 4 >= 1 @ 32.3376
32.79/32.92 c GLOBAL bounds 4 >= 1 @ 32.338
32.79/32.92 c GLOBAL bounds 4 >= 1 @ 32.3389
32.79/32.92 c GLOBAL bounds 4 >= 1 @ 32.3389
32.79/32.94 c GLOBAL bounds 4 >= 1 @ 32.3588
32.79/32.96 c GLOBAL bounds 4 >= 1 @ 32.3773
32.79/32.98 c GLOBAL bounds 4 >= 1 @ 32.3969
32.79/33.00 c GLOBAL bounds 4 >= 1 @ 32.4134
32.79/33.00 c GLOBAL bounds 4 >= 1 @ 32.4141
32.90/33.02 c GLOBAL bounds 4 >= 1 @ 32.4311
32.90/33.02 c GLOBAL bounds 4 >= 1 @ 32.4318
32.90/33.04 c GLOBAL bounds 4 >= 1 @ 32.4544
32.90/33.04 c GLOBAL bounds 4 >= 1 @ 32.455
32.90/33.06 c GLOBAL bounds 4 >= 1 @ 32.4747
32.90/33.07 c GLOBAL bounds 4 >= 1 @ 32.4753
32.90/33.08 c GLOBAL bounds 4 >= 1 @ 32.4925
32.90/33.08 c GLOBAL bounds 4 >= 1 @ 32.4932
33.00/33.11 c GLOBAL bounds 4 >= 1 @ 32.5151
33.00/33.11 c GLOBAL bounds 4 >= 1 @ 32.5159
33.00/33.13 c GLOBAL bounds 4 >= 1 @ 32.5346
33.00/33.13 c GLOBAL bounds 4 >= 1 @ 32.5351
33.00/33.14 c GLOBAL bounds 4 >= 1 @ 32.5528
33.00/33.15 c GLOBAL bounds 4 >= 1 @ 32.5536
33.00/33.17 c GLOBAL bounds 4 >= 1 @ 32.5743
33.00/33.17 c GLOBAL bounds 4 >= 1 @ 32.5752
33.00/33.19 c GLOBAL bounds 4 >= 1 @ 32.5925
33.00/33.19 c GLOBAL bounds 4 >= 1 @ 32.593
33.00/33.19 c GLOBAL bounds 4 >= 1 @ 32.5931
33.00/33.19 c GLOBAL bounds 4 >= 1 @ 32.5939
33.00/33.19 c GLOBAL bounds 4 >= 1 @ 32.5939
33.10/33.21 c GLOBAL bounds 4 >= 1 @ 32.6134
33.10/33.23 c GLOBAL bounds 4 >= 1 @ 32.6322
33.10/33.25 c GLOBAL bounds 4 >= 1 @ 32.6512
33.10/33.27 c GLOBAL bounds 4 >= 1 @ 32.6688
33.10/33.27 c GLOBAL bounds 4 >= 1 @ 32.6696
33.10/33.29 c GLOBAL bounds 4 >= 1 @ 32.6868
33.10/33.29 c GLOBAL bounds 4 >= 1 @ 32.6875
33.19/33.31 c GLOBAL bounds 4 >= 1 @ 32.709
33.19/33.31 c GLOBAL bounds 4 >= 1 @ 32.7096
33.19/33.34 c GLOBAL bounds 4 >= 1 @ 32.7378
33.19/33.34 c GLOBAL bounds 4 >= 1 @ 32.7385
33.19/33.36 c GLOBAL bounds 4 >= 1 @ 32.757
33.19/33.36 c GLOBAL bounds 4 >= 1 @ 32.7575
33.19/33.38 c GLOBAL bounds 4 >= 1 @ 32.7788
33.19/33.38 c GLOBAL bounds 4 >= 1 @ 32.7795
33.29/33.40 c GLOBAL bounds 4 >= 1 @ 32.7973
33.29/33.40 c GLOBAL bounds 4 >= 1 @ 32.7974
33.29/33.42 c GLOBAL bounds 4 >= 1 @ 32.8141
33.29/33.42 c GLOBAL bounds 4 >= 1 @ 32.8144
33.29/33.44 c GLOBAL bounds 4 >= 1 @ 32.8382
33.29/33.44 c GLOBAL bounds 4 >= 1 @ 32.8383
33.29/33.46 c GLOBAL bounds 4 >= 1 @ 32.8563
33.29/33.46 c GLOBAL bounds 4 >= 1 @ 32.857
33.29/33.46 c GLOBAL bounds 4 >= 1 @ 32.8578
33.29/33.47 c GLOBAL bounds 4 >= 1 @ 32.8586
33.29/33.47 c GLOBAL bounds 4 >= 1 @ 32.8587
33.29/33.48 c GLOBAL bounds 4 >= 1 @ 32.8779
33.39/33.50 c GLOBAL bounds 4 >= 1 @ 32.8963
33.39/33.52 c GLOBAL bounds 4 >= 1 @ 32.916
33.39/33.54 c GLOBAL bounds 4 >= 1 @ 32.9335
33.39/33.54 c GLOBAL bounds 4 >= 1 @ 32.9341
33.39/33.56 c GLOBAL bounds 4 >= 1 @ 32.9522
33.39/33.56 c GLOBAL bounds 4 >= 1 @ 32.9529
33.39/33.58 c GLOBAL bounds 4 >= 1 @ 32.9755
33.39/33.59 c GLOBAL bounds 4 >= 1 @ 32.976
33.49/33.61 c GLOBAL bounds 4 >= 1 @ 32.998
33.49/33.61 c GLOBAL bounds 4 >= 1 @ 32.9987
33.49/33.63 c GLOBAL bounds 4 >= 1 @ 33.0164
33.49/33.63 c GLOBAL bounds 4 >= 1 @ 33.0169
33.49/33.65 c GLOBAL bounds 4 >= 1 @ 33.0343
33.49/33.65 c GLOBAL bounds 4 >= 1 @ 33.0348
33.49/33.67 c GLOBAL bounds 4 >= 1 @ 33.0524
33.49/33.67 c GLOBAL bounds 4 >= 1 @ 33.0528
33.49/33.68 c GLOBAL bounds 4 >= 1 @ 33.0696
33.49/33.69 c GLOBAL bounds 4 >= 1 @ 33.0704
33.60/33.71 c GLOBAL bounds 4 >= 1 @ 33.0923
33.60/33.71 c GLOBAL bounds 4 >= 1 @ 33.0927
33.60/33.73 c GLOBAL bounds 4 >= 1 @ 33.1094
33.60/33.73 c GLOBAL bounds 4 >= 1 @ 33.1101
33.60/33.73 c GLOBAL bounds 4 >= 1 @ 33.1107
33.60/33.73 c GLOBAL bounds 4 >= 1 @ 33.1107
33.60/33.73 c GLOBAL bounds 4 >= 1 @ 33.1108
33.60/33.75 c GLOBAL bounds 4 >= 1 @ 33.1294
33.60/33.77 c GLOBAL bounds 4 >= 1 @ 33.1481
33.60/33.79 c GLOBAL bounds 4 >= 1 @ 33.1675
33.69/33.81 c GLOBAL bounds 4 >= 1 @ 33.1859
33.69/33.81 c GLOBAL bounds 4 >= 1 @ 33.1865
33.69/33.83 c GLOBAL bounds 4 >= 1 @ 33.205
33.69/33.83 c GLOBAL bounds 4 >= 1 @ 33.2054
33.69/33.85 c GLOBAL bounds 4 >= 1 @ 33.2264
33.69/33.85 c GLOBAL bounds 4 >= 1 @ 33.2271
33.69/33.87 c GLOBAL bounds 4 >= 1 @ 33.25
33.69/33.87 c GLOBAL bounds 4 >= 1 @ 33.2503
33.69/33.89 c GLOBAL bounds 4 >= 1 @ 33.2679
33.69/33.89 c GLOBAL bounds 4 >= 1 @ 33.2683
33.79/33.91 c GLOBAL bounds 4 >= 1 @ 33.2899
33.79/33.92 c GLOBAL bounds 4 >= 1 @ 33.2902
33.79/33.93 c GLOBAL bounds 4 >= 1 @ 33.3072
33.79/33.93 c GLOBAL bounds 4 >= 1 @ 33.308
33.79/33.95 c GLOBAL bounds 4 >= 1 @ 33.3263
33.79/33.95 c GLOBAL bounds 4 >= 1 @ 33.3271
33.79/33.98 c GLOBAL bounds 4 >= 1 @ 33.349
33.79/33.98 c GLOBAL bounds 4 >= 1 @ 33.3498
33.79/34.00 c GLOBAL bounds 4 >= 1 @ 33.3681
33.79/34.00 c GLOBAL bounds 4 >= 1 @ 33.3688
33.79/34.00 c GLOBAL bounds 4 >= 1 @ 33.3696
33.79/34.00 c GLOBAL bounds 4 >= 1 @ 33.3705
33.79/34.00 c GLOBAL bounds 4 >= 1 @ 33.3705
33.90/34.02 c GLOBAL bounds 4 >= 1 @ 33.3885
33.90/34.04 c GLOBAL bounds 4 >= 1 @ 33.407
33.90/34.05 c GLOBAL bounds 4 >= 1 @ 33.4254
33.90/34.07 c GLOBAL bounds 4 >= 1 @ 33.4417
33.90/34.07 c GLOBAL bounds 4 >= 1 @ 33.4418
33.90/34.09 c GLOBAL bounds 4 >= 1 @ 33.4593
33.90/34.09 c GLOBAL bounds 4 >= 1 @ 33.4598
33.99/34.11 c GLOBAL bounds 4 >= 1 @ 33.4806
33.99/34.11 c GLOBAL bounds 4 >= 1 @ 33.4813
33.99/34.14 c GLOBAL bounds 4 >= 1 @ 33.5025
33.99/34.14 c GLOBAL bounds 4 >= 1 @ 33.5032
33.99/34.16 c GLOBAL bounds 4 >= 1 @ 33.5206
33.99/34.16 c GLOBAL bounds 4 >= 1 @ 33.5214
33.99/34.18 c GLOBAL bounds 4 >= 1 @ 33.5433
33.99/34.18 c GLOBAL bounds 4 >= 1 @ 33.5436
34.09/34.20 c GLOBAL bounds 4 >= 1 @ 33.5606
34.09/34.20 c GLOBAL bounds 4 >= 1 @ 33.5614
34.09/34.22 c GLOBAL bounds 4 >= 1 @ 33.5787
34.09/34.22 c GLOBAL bounds 4 >= 1 @ 33.5796
34.09/34.24 c GLOBAL bounds 4 >= 1 @ 33.6008
34.09/34.24 c GLOBAL bounds 4 >= 1 @ 33.6014
34.09/34.26 c GLOBAL bounds 4 >= 1 @ 33.6191
34.09/34.26 c GLOBAL bounds 4 >= 1 @ 33.6194
34.09/34.26 c GLOBAL bounds 4 >= 1 @ 33.6196
34.09/34.26 c GLOBAL bounds 4 >= 1 @ 33.6204
34.09/34.26 c GLOBAL bounds 4 >= 1 @ 33.6204
34.09/34.28 c GLOBAL bounds 4 >= 1 @ 33.6372
34.20/34.30 c GLOBAL bounds 4 >= 1 @ 33.655
34.20/34.32 c GLOBAL bounds 4 >= 1 @ 33.674
34.20/34.34 c GLOBAL bounds 4 >= 1 @ 33.6926
34.20/34.34 c GLOBAL bounds 4 >= 1 @ 33.6934
34.20/34.36 c GLOBAL bounds 4 >= 1 @ 33.7126
34.20/34.36 c GLOBAL bounds 4 >= 1 @ 33.7133
34.20/34.38 c GLOBAL bounds 4 >= 1 @ 33.7342
34.20/34.38 c GLOBAL bounds 4 >= 1 @ 33.7349
34.29/34.41 c GLOBAL bounds 4 >= 1 @ 33.756
34.29/34.41 c GLOBAL bounds 4 >= 1 @ 33.7568
34.29/34.43 c GLOBAL bounds 4 >= 1 @ 33.7758
34.29/34.43 c GLOBAL bounds 4 >= 1 @ 33.7759
34.29/34.45 c GLOBAL bounds 4 >= 1 @ 33.7969
34.29/34.45 c GLOBAL bounds 4 >= 1 @ 33.7969
34.29/34.47 c GLOBAL bounds 4 >= 1 @ 33.8145
34.29/34.47 c GLOBAL bounds 4 >= 1 @ 33.8148
34.29/34.49 c GLOBAL bounds 4 >= 1 @ 33.8315
34.29/34.49 c GLOBAL bounds 4 >= 1 @ 33.8324
34.39/34.51 c GLOBAL bounds 4 >= 1 @ 33.8541
34.39/34.51 c GLOBAL bounds 4 >= 1 @ 33.8547
34.39/34.53 c GLOBAL bounds 4 >= 1 @ 33.8722
34.39/34.53 c GLOBAL bounds 4 >= 1 @ 33.8727
34.39/34.53 c GLOBAL bounds 4 >= 1 @ 33.8729
34.39/34.53 c GLOBAL bounds 4 >= 1 @ 33.8739
34.39/34.53 c GLOBAL bounds 4 >= 1 @ 33.8739
34.39/34.55 c GLOBAL bounds 4 >= 1 @ 33.8935
34.39/34.57 c GLOBAL bounds 4 >= 1 @ 33.9104
34.39/34.59 c GLOBAL bounds 4 >= 1 @ 33.9308
34.49/34.61 c GLOBAL bounds 4 >= 1 @ 33.9491
34.49/34.61 c GLOBAL bounds 4 >= 1 @ 33.9495
34.49/34.63 c GLOBAL bounds 4 >= 1 @ 33.968
34.49/34.63 c GLOBAL bounds 4 >= 1 @ 33.9685
34.49/34.65 c GLOBAL bounds 4 >= 1 @ 33.9892
34.49/34.65 c GLOBAL bounds 4 >= 1 @ 33.9894
34.49/34.68 c GLOBAL bounds 4 >= 1 @ 34.011
34.49/34.68 c GLOBAL bounds 4 >= 1 @ 34.0113
34.59/34.70 c GLOBAL bounds 4 >= 1 @ 34.0283
34.59/34.70 c GLOBAL bounds 4 >= 1 @ 34.0291
34.59/34.72 c GLOBAL bounds 4 >= 1 @ 34.0497
34.59/34.72 c GLOBAL bounds 4 >= 1 @ 34.0502
34.59/34.74 c GLOBAL bounds 4 >= 1 @ 34.0671
34.59/34.74 c GLOBAL bounds 4 >= 1 @ 34.0672
34.59/34.76 c GLOBAL bounds 4 >= 1 @ 34.0835
34.59/34.76 c GLOBAL bounds 4 >= 1 @ 34.0843
34.59/34.78 c GLOBAL bounds 4 >= 1 @ 34.1061
34.59/34.78 c GLOBAL bounds 4 >= 1 @ 34.1069
34.69/34.80 c GLOBAL bounds 4 >= 1 @ 34.1254
34.69/34.80 c GLOBAL bounds 4 >= 1 @ 34.1261
34.69/34.80 c GLOBAL bounds 4 >= 1 @ 34.1261
34.69/34.80 c GLOBAL bounds 4 >= 1 @ 34.127
34.69/34.80 c GLOBAL bounds 4 >= 1 @ 34.127
34.69/34.82 c GLOBAL bounds 4 >= 1 @ 34.1457
34.69/34.84 c GLOBAL bounds 4 >= 1 @ 34.1634
34.69/34.86 c GLOBAL bounds 4 >= 1 @ 34.1811
34.69/34.88 c GLOBAL bounds 4 >= 1 @ 34.1992
34.69/34.88 c GLOBAL bounds 4 >= 1 @ 34.1999
34.79/34.90 c GLOBAL bounds 4 >= 1 @ 34.2184
34.79/34.90 c GLOBAL bounds 4 >= 1 @ 34.2188
34.79/34.92 c GLOBAL bounds 4 >= 1 @ 34.2394
34.79/34.92 c GLOBAL bounds 4 >= 1 @ 34.2402
34.79/34.94 c GLOBAL bounds 4 >= 1 @ 34.2633
34.79/34.95 c GLOBAL bounds 4 >= 1 @ 34.2637
34.79/34.96 c GLOBAL bounds 4 >= 1 @ 34.2818
34.79/34.97 c GLOBAL bounds 4 >= 1 @ 34.2827
34.79/34.99 c GLOBAL bounds 4 >= 1 @ 34.3049
34.79/34.99 c GLOBAL bounds 4 >= 1 @ 34.3056
34.89/35.01 c GLOBAL bounds 4 >= 1 @ 34.3221
34.89/35.01 c GLOBAL bounds 4 >= 1 @ 34.3226
34.89/35.03 c GLOBAL bounds 4 >= 1 @ 34.3391
34.89/35.03 c GLOBAL bounds 4 >= 1 @ 34.3395
34.89/35.05 c GLOBAL bounds 4 >= 1 @ 34.3603
34.89/35.05 c GLOBAL bounds 4 >= 1 @ 34.3612
34.89/35.07 c GLOBAL bounds 4 >= 1 @ 34.3799
34.89/35.07 c GLOBAL bounds 4 >= 1 @ 34.3807
34.89/35.07 c GLOBAL bounds 4 >= 1 @ 34.3814
34.89/35.07 c GLOBAL bounds 4 >= 1 @ 34.3824
34.89/35.07 c GLOBAL bounds 4 >= 1 @ 34.3824
34.89/35.09 c GLOBAL bounds 4 >= 1 @ 34.4008
35.00/35.11 c GLOBAL bounds 4 >= 1 @ 34.4195
35.00/35.13 c GLOBAL bounds 4 >= 1 @ 34.4374
35.00/35.15 c GLOBAL bounds 4 >= 1 @ 34.4549
35.00/35.15 c GLOBAL bounds 4 >= 1 @ 34.4552
35.00/35.17 c GLOBAL bounds 4 >= 1 @ 34.4727
35.00/35.17 c GLOBAL bounds 4 >= 1 @ 34.4732
35.00/35.19 c GLOBAL bounds 4 >= 1 @ 34.4948
35.00/35.19 c GLOBAL bounds 4 >= 1 @ 34.4951
35.08/35.21 c GLOBAL bounds 4 >= 1 @ 34.5154
35.08/35.21 c GLOBAL bounds 4 >= 1 @ 34.516
35.08/35.23 c GLOBAL bounds 4 >= 1 @ 34.5337
35.08/35.23 c GLOBAL bounds 4 >= 1 @ 34.5346
35.08/35.27 c GLOBAL bounds 4 >= 1 @ 34.5702
35.08/35.27 c GLOBAL bounds 4 >= 1 @ 34.5709
35.08/35.29 c GLOBAL bounds 4 >= 1 @ 34.5886
35.08/35.29 c GLOBAL bounds 4 >= 1 @ 34.5889
35.19/35.31 c GLOBAL bounds 4 >= 1 @ 34.6066
35.19/35.31 c GLOBAL bounds 4 >= 1 @ 34.6068
35.19/35.33 c GLOBAL bounds 4 >= 1 @ 34.6273
35.19/35.33 c GLOBAL bounds 4 >= 1 @ 34.6282
35.19/35.35 c GLOBAL bounds 4 >= 1 @ 34.6467
35.19/35.35 c GLOBAL bounds 4 >= 1 @ 34.6475
35.19/35.35 c GLOBAL bounds 4 >= 1 @ 34.6484
35.19/35.36 c GLOBAL bounds 4 >= 1 @ 34.6491
35.19/35.36 c GLOBAL bounds 4 >= 1 @ 34.6491
35.19/35.38 c GLOBAL bounds 4 >= 1 @ 34.6695
35.19/35.39 c GLOBAL bounds 4 >= 1 @ 34.6873
35.28/35.41 c GLOBAL bounds 4 >= 1 @ 34.7056
35.28/35.43 c GLOBAL bounds 4 >= 1 @ 34.7232
35.28/35.43 c GLOBAL bounds 4 >= 1 @ 34.724
35.28/35.45 c GLOBAL bounds 4 >= 1 @ 34.742
35.28/35.45 c GLOBAL bounds 4 >= 1 @ 34.7425
35.28/35.48 c GLOBAL bounds 4 >= 1 @ 34.7631
35.28/35.48 c GLOBAL bounds 4 >= 1 @ 34.7634
35.39/35.50 c GLOBAL bounds 4 >= 1 @ 34.7841
35.39/35.50 c GLOBAL bounds 4 >= 1 @ 34.7849
35.39/35.52 c GLOBAL bounds 4 >= 1 @ 34.8033
35.39/35.52 c GLOBAL bounds 4 >= 1 @ 34.8033
35.39/35.54 c GLOBAL bounds 4 >= 1 @ 34.8228
35.39/35.54 c GLOBAL bounds 4 >= 1 @ 34.8237
35.39/35.56 c GLOBAL bounds 4 >= 1 @ 34.8419
35.39/35.56 c GLOBAL bounds 4 >= 1 @ 34.8426
35.39/35.58 c GLOBAL bounds 4 >= 1 @ 34.8602
35.39/35.58 c GLOBAL bounds 4 >= 1 @ 34.8611
35.48/35.60 c GLOBAL bounds 4 >= 1 @ 34.8836
35.48/35.60 c GLOBAL bounds 4 >= 1 @ 34.8841
35.48/35.62 c GLOBAL bounds 4 >= 1 @ 34.9019
35.48/35.62 c GLOBAL bounds 4 >= 1 @ 34.9021
35.48/35.62 c GLOBAL bounds 4 >= 1 @ 34.9021
35.48/35.62 c GLOBAL bounds 4 >= 1 @ 34.9024
35.48/35.62 c GLOBAL bounds 4 >= 1 @ 34.9025
35.48/35.64 c GLOBAL bounds 4 >= 1 @ 34.9229
35.48/35.66 c GLOBAL bounds 4 >= 1 @ 34.9406
35.48/35.68 c GLOBAL bounds 4 >= 1 @ 34.9599
35.59/35.70 c GLOBAL bounds 4 >= 1 @ 34.9782
35.59/35.70 c GLOBAL bounds 4 >= 1 @ 34.9789
35.59/35.72 c GLOBAL bounds 4 >= 1 @ 34.9969
35.59/35.72 c GLOBAL bounds 4 >= 1 @ 34.9976
35.59/35.75 c GLOBAL bounds 4 >= 1 @ 35.0203
35.59/35.75 c GLOBAL bounds 4 >= 1 @ 35.0208
35.59/35.77 c GLOBAL bounds 4 >= 1 @ 35.0421
35.59/35.77 c GLOBAL bounds 4 >= 1 @ 35.0429
35.59/35.79 c GLOBAL bounds 4 >= 1 @ 35.06
35.59/35.79 c GLOBAL bounds 4 >= 1 @ 35.0607
35.68/35.81 c GLOBAL bounds 4 >= 1 @ 35.0823
35.68/35.81 c GLOBAL bounds 4 >= 1 @ 35.0831
35.68/35.83 c GLOBAL bounds 4 >= 1 @ 35.1014
35.68/35.83 c GLOBAL bounds 4 >= 1 @ 35.1022
35.68/35.85 c GLOBAL bounds 4 >= 1 @ 35.1194
35.68/35.85 c GLOBAL bounds 4 >= 1 @ 35.1203
35.68/35.87 c GLOBAL bounds 4 >= 1 @ 35.1427
35.68/35.87 c GLOBAL bounds 4 >= 1 @ 35.1435
35.78/35.90 c GLOBAL bounds 4 >= 1 @ 35.1679
35.78/35.90 c GLOBAL bounds 4 >= 1 @ 35.1687
35.78/35.90 c GLOBAL bounds 4 >= 1 @ 35.1696
35.78/35.90 c GLOBAL bounds 4 >= 1 @ 35.1706
35.78/35.90 c GLOBAL bounds 4 >= 1 @ 35.1706
35.78/35.92 c GLOBAL bounds 4 >= 1 @ 35.1896
35.78/35.94 c GLOBAL bounds 4 >= 1 @ 35.2084
35.78/35.96 c GLOBAL bounds 4 >= 1 @ 35.227
35.78/35.98 c GLOBAL bounds 4 >= 1 @ 35.2454
35.78/35.98 c GLOBAL bounds 4 >= 1 @ 35.2462
35.78/36.00 c GLOBAL bounds 4 >= 1 @ 35.2652
35.78/36.00 c GLOBAL bounds 4 >= 1 @ 35.266
35.89/36.02 c GLOBAL bounds 4 >= 1 @ 35.2869
35.89/36.02 c GLOBAL bounds 4 >= 1 @ 35.2877
35.89/36.04 c GLOBAL bounds 4 >= 1 @ 35.31
35.89/36.04 c GLOBAL bounds 4 >= 1 @ 35.3108
35.89/36.06 c GLOBAL bounds 4 >= 1 @ 35.3286
35.89/36.06 c GLOBAL bounds 4 >= 1 @ 35.3294
35.89/36.09 c GLOBAL bounds 4 >= 1 @ 35.3513
35.89/36.09 c GLOBAL bounds 4 >= 1 @ 35.3519
35.99/36.11 c GLOBAL bounds 4 >= 1 @ 35.3723
35.99/36.11 c GLOBAL bounds 4 >= 1 @ 35.3729
35.99/36.13 c GLOBAL bounds 4 >= 1 @ 35.3943
35.99/36.13 c GLOBAL bounds 4 >= 1 @ 35.3948
35.99/36.16 c GLOBAL bounds 4 >= 1 @ 35.4204
35.99/36.16 c GLOBAL bounds 4 >= 1 @ 35.4213
35.99/36.18 c GLOBAL bounds 4 >= 1 @ 35.4437
35.99/36.18 c GLOBAL bounds 4 >= 1 @ 35.4437
35.99/36.18 c GLOBAL bounds 4 >= 1 @ 35.4437
35.99/36.18 c GLOBAL bounds 4 >= 1 @ 35.4446
35.99/36.19 c GLOBAL bounds 4 >= 1 @ 35.4446
36.09/36.21 c GLOBAL bounds 4 >= 1 @ 35.4669
36.09/36.23 c GLOBAL bounds 4 >= 1 @ 35.4892
36.09/36.26 c GLOBAL bounds 4 >= 1 @ 35.5138
36.09/36.28 c GLOBAL bounds 4 >= 1 @ 35.535
36.09/36.28 c GLOBAL bounds 4 >= 1 @ 35.5355
36.19/36.30 c GLOBAL bounds 4 >= 1 @ 35.558
36.19/36.30 c GLOBAL bounds 4 >= 1 @ 35.5588
36.19/36.33 c GLOBAL bounds 4 >= 1 @ 35.5844
36.19/36.33 c GLOBAL bounds 4 >= 1 @ 35.5852
36.19/36.35 c GLOBAL bounds 4 >= 1 @ 35.611
36.19/36.36 c GLOBAL bounds 4 >= 1 @ 35.6113
36.19/36.38 c GLOBAL bounds 4 >= 1 @ 35.6327
36.19/36.38 c GLOBAL bounds 4 >= 1 @ 35.6336
36.29/36.42 c GLOBAL bounds 4 >= 1 @ 35.6773
36.29/36.42 c GLOBAL bounds 4 >= 1 @ 35.6781
36.29/36.44 c GLOBAL bounds 4 >= 1 @ 35.6956
36.29/36.44 c GLOBAL bounds 4 >= 1 @ 35.6964
36.29/36.46 c GLOBAL bounds 4 >= 1 @ 35.7136
36.29/36.46 c GLOBAL bounds 4 >= 1 @ 35.7145
36.29/36.48 c GLOBAL bounds 4 >= 1 @ 35.7355
36.29/36.49 c GLOBAL bounds 4 >= 1 @ 35.7364
36.38/36.50 c GLOBAL bounds 4 >= 1 @ 35.7537
36.38/36.50 c GLOBAL bounds 4 >= 1 @ 35.7545
36.38/36.51 c GLOBAL bounds 4 >= 1 @ 35.7549
36.38/36.51 c GLOBAL bounds 4 >= 1 @ 35.7549
36.38/36.51 c GLOBAL bounds 4 >= 1 @ 35.7549
36.38/36.53 c GLOBAL bounds 4 >= 1 @ 35.7746
36.38/36.55 c GLOBAL bounds 4 >= 1 @ 35.7936
36.38/36.57 c GLOBAL bounds 4 >= 1 @ 35.8118
36.38/36.58 c GLOBAL bounds 4 >= 1 @ 35.8302
36.38/36.58 c GLOBAL bounds 4 >= 1 @ 35.8307
36.49/36.60 c GLOBAL bounds 4 >= 1 @ 35.8496
36.49/36.60 c GLOBAL bounds 4 >= 1 @ 35.8496
36.49/36.63 c GLOBAL bounds 4 >= 1 @ 35.8713
36.49/36.63 c GLOBAL bounds 4 >= 1 @ 35.8716
36.49/36.65 c GLOBAL bounds 4 >= 1 @ 35.8937
36.49/36.65 c GLOBAL bounds 4 >= 1 @ 35.8944
36.49/36.67 c GLOBAL bounds 4 >= 1 @ 35.9132
36.49/36.67 c GLOBAL bounds 4 >= 1 @ 35.9135
36.49/36.69 c GLOBAL bounds 4 >= 1 @ 35.9353
36.49/36.69 c GLOBAL bounds 4 >= 1 @ 35.9362
36.58/36.72 c GLOBAL bounds 4 >= 1 @ 35.9605
36.58/36.72 c GLOBAL bounds 4 >= 1 @ 35.9613
36.58/36.74 c GLOBAL bounds 4 >= 1 @ 35.9783
36.58/36.74 c GLOBAL bounds 4 >= 1 @ 35.9792
36.58/36.76 c GLOBAL bounds 4 >= 1 @ 36.0001
36.58/36.76 c GLOBAL bounds 4 >= 1 @ 36.0003
36.58/36.78 c GLOBAL bounds 4 >= 1 @ 36.0163
36.58/36.78 c GLOBAL bounds 4 >= 1 @ 36.0171
36.58/36.78 c GLOBAL bounds 4 >= 1 @ 36.018
36.58/36.78 c GLOBAL bounds 4 >= 1 @ 36.0183
36.58/36.78 c GLOBAL bounds 4 >= 1 @ 36.0183
36.69/36.80 c GLOBAL bounds 4 >= 1 @ 36.038
36.69/36.82 c GLOBAL bounds 4 >= 1 @ 36.0569
36.69/36.84 c GLOBAL bounds 4 >= 1 @ 36.076
36.69/36.86 c GLOBAL bounds 4 >= 1 @ 36.0935
36.69/36.86 c GLOBAL bounds 4 >= 1 @ 36.0943
36.69/36.88 c GLOBAL bounds 4 >= 1 @ 36.1142
36.69/36.88 c GLOBAL bounds 4 >= 1 @ 36.115
36.79/36.92 c GLOBAL bounds 4 >= 1 @ 36.1497
36.79/36.92 c GLOBAL bounds 4 >= 1 @ 36.1505
36.79/36.94 c GLOBAL bounds 4 >= 1 @ 36.1726
36.79/36.94 c GLOBAL bounds 4 >= 1 @ 36.1729
36.79/36.96 c GLOBAL bounds 4 >= 1 @ 36.1908
36.79/36.96 c GLOBAL bounds 4 >= 1 @ 36.1916
36.79/36.98 c GLOBAL bounds 4 >= 1 @ 36.2126
36.79/36.98 c GLOBAL bounds 4 >= 1 @ 36.2128
36.79/37.00 c GLOBAL bounds 4 >= 1 @ 36.23
36.89/37.00 c GLOBAL bounds 4 >= 1 @ 36.2308
36.89/37.02 c GLOBAL bounds 4 >= 1 @ 36.2482
36.89/37.02 c GLOBAL bounds 4 >= 1 @ 36.2486
36.89/37.05 c GLOBAL bounds 4 >= 1 @ 36.2752
36.89/37.05 c GLOBAL bounds 4 >= 1 @ 36.2756
36.89/37.07 c GLOBAL bounds 4 >= 1 @ 36.2925
36.89/37.07 c GLOBAL bounds 4 >= 1 @ 36.2925
36.89/37.07 c GLOBAL bounds 4 >= 1 @ 36.2932
36.89/37.07 c GLOBAL bounds 4 >= 1 @ 36.2942
36.89/37.07 c GLOBAL bounds 4 >= 1 @ 36.2942
36.89/37.09 c GLOBAL bounds 4 >= 1 @ 36.3144
36.99/37.11 c GLOBAL bounds 4 >= 1 @ 36.3323
36.99/37.13 c GLOBAL bounds 4 >= 1 @ 36.3512
36.99/37.15 c GLOBAL bounds 4 >= 1 @ 36.3677
36.99/37.15 c GLOBAL bounds 4 >= 1 @ 36.3685
36.99/37.17 c GLOBAL bounds 4 >= 1 @ 36.388
36.99/37.17 c GLOBAL bounds 4 >= 1 @ 36.3883
36.99/37.19 c GLOBAL bounds 4 >= 1 @ 36.41
36.99/37.19 c GLOBAL bounds 4 >= 1 @ 36.4108
37.08/37.22 c GLOBAL bounds 4 >= 1 @ 36.4371
37.08/37.22 c GLOBAL bounds 4 >= 1 @ 36.4379
37.08/37.24 c GLOBAL bounds 4 >= 1 @ 36.46
37.08/37.24 c GLOBAL bounds 4 >= 1 @ 36.4608
37.08/37.27 c GLOBAL bounds 4 >= 1 @ 36.487
37.08/37.27 c GLOBAL bounds 4 >= 1 @ 36.4871
37.08/37.29 c GLOBAL bounds 4 >= 1 @ 36.5091
37.08/37.29 c GLOBAL bounds 4 >= 1 @ 36.51
37.18/37.32 c GLOBAL bounds 4 >= 1 @ 36.5312
37.18/37.32 c GLOBAL bounds 4 >= 1 @ 36.5319
37.18/37.35 c GLOBAL bounds 4 >= 1 @ 36.5602
37.18/37.35 c GLOBAL bounds 4 >= 1 @ 36.5611
37.18/37.37 c GLOBAL bounds 4 >= 1 @ 36.5795
37.18/37.37 c GLOBAL bounds 4 >= 1 @ 36.5798
37.18/37.37 c GLOBAL bounds 4 >= 1 @ 36.5801
37.18/37.37 c GLOBAL bounds 4 >= 1 @ 36.5808
37.18/37.37 c GLOBAL bounds 4 >= 1 @ 36.5808
37.18/37.39 c GLOBAL bounds 4 >= 1 @ 36.6007
37.28/37.41 c GLOBAL bounds 4 >= 1 @ 36.6175
37.28/37.43 c GLOBAL bounds 4 >= 1 @ 36.636
37.28/37.45 c GLOBAL bounds 4 >= 1 @ 36.6531
37.28/37.45 c GLOBAL bounds 4 >= 1 @ 36.6536
37.28/37.47 c GLOBAL bounds 4 >= 1 @ 36.67
37.28/37.47 c GLOBAL bounds 4 >= 1 @ 36.6707
37.28/37.49 c GLOBAL bounds 4 >= 1 @ 36.6922
37.28/37.49 c GLOBAL bounds 4 >= 1 @ 36.6929
37.78/37.96 c #Conflicts: 13000 | #Constraints: 5207
37.78/37.96 c #Conflicts: 14000 | #Constraints: 6242
37.78/37.96 c GLOBAL bounds 4 >= 1 @ 37.1541
37.78/37.96 c GLOBAL bounds 4 >= 1 @ 37.1542
37.78/37.98 c GLOBAL bounds 4 >= 1 @ 37.1716
37.78/37.98 c GLOBAL bounds 4 >= 1 @ 37.1721
38.08/38.29 c #Conflicts: 15000 | #Constraints: 7274
38.08/38.29 c INPROCESSING
38.08/38.29 c GARBAGE COLLECT
38.08/38.29 c rational objective 0
39.18/39.40 c #Conflicts: 16000 | #Constraints: 5428
39.18/39.40 c #Conflicts: 17000 | #Constraints: 6463
39.18/39.40 c GLOBAL bounds 4 >= 1 @ 38.5565
39.27/39.40 c GLOBAL bounds 4 >= 1 @ 38.5574
39.27/39.42 c GLOBAL bounds 4 >= 1 @ 38.5765
39.27/39.42 c GLOBAL bounds 4 >= 1 @ 38.5773
39.27/39.44 c GLOBAL bounds 4 >= 1 @ 38.6006
39.27/39.44 c GLOBAL bounds 4 >= 1 @ 38.6012
39.27/39.48 c GLOBAL bounds 4 >= 1 @ 38.6342
39.27/39.48 c GLOBAL bounds 4 >= 1 @ 38.6351
39.38/39.50 c GLOBAL bounds 4 >= 1 @ 38.6531
39.38/39.50 c GLOBAL bounds 4 >= 1 @ 38.654
39.38/39.50 c GLOBAL bounds 4 >= 1 @ 38.6547
39.38/39.50 c GLOBAL bounds 4 >= 1 @ 38.6557
39.38/39.50 c GLOBAL bounds 4 >= 1 @ 38.6558
39.38/39.52 c GLOBAL bounds 4 >= 1 @ 38.6746
39.38/39.54 c GLOBAL bounds 4 >= 1 @ 38.6935
39.38/39.56 c #Conflicts: 18000 | #Constraints: 7490
39.38/39.56 c GLOBAL bounds 4 >= 1 @ 38.7133
39.38/39.58 c GLOBAL bounds 4 >= 1 @ 38.7324
39.38/39.58 c GLOBAL bounds 4 >= 1 @ 38.7332
39.48/39.60 c GLOBAL bounds 4 >= 1 @ 38.7533
39.48/39.60 c GLOBAL bounds 4 >= 1 @ 38.7538
39.48/39.69 c INPROCESSING
39.48/39.69 c GARBAGE COLLECT
39.48/39.69 c rational objective 0.473684
40.47/40.63 c #Conflicts: 19000 | #Constraints: 5426
40.47/40.63 c #Conflicts: 20000 | #Constraints: 6465
40.47/40.63 c GLOBAL bounds 4 >= 1 @ 39.7645
40.47/40.63 c GLOBAL bounds 4 >= 1 @ 39.7651
41.57/41.75 c #Conflicts: 21000 | #Constraints: 7552
41.57/41.75 c INPROCESSING
41.57/41.75 c GARBAGE COLLECT
41.57/41.75 c rational objective 1
42.97/43.12 c #Conflicts: 22000 | #Constraints: 5309
42.97/43.12 c #Conflicts: 23000 | #Constraints: 6332
42.97/43.12 c GLOBAL bounds 4 >= 1 @ 42.1801
42.97/43.12 c GLOBAL bounds 4 >= 1 @ 42.1805
42.97/43.14 c GLOBAL bounds 4 >= 1 @ 42.1977
42.97/43.14 c GLOBAL bounds 4 >= 1 @ 42.1985
43.06/43.20 c GLOBAL bounds 4 >= 1 @ 42.2605
43.06/43.20 c GLOBAL bounds 4 >= 1 @ 42.2613
43.06/43.22 c GLOBAL bounds 4 >= 1 @ 42.2796
43.06/43.22 c GLOBAL bounds 4 >= 1 @ 42.2799
43.06/43.24 c GLOBAL bounds 4 >= 1 @ 42.2956
43.06/43.24 c GLOBAL bounds 4 >= 1 @ 42.2965
43.46/43.67 c #Conflicts: 24000 | #Constraints: 7355
43.46/43.67 c GLOBAL bounds 4 >= 1 @ 42.7127
43.46/43.67 c GLOBAL bounds 4 >= 1 @ 42.7136
43.46/43.69 c GLOBAL bounds 4 >= 1 @ 42.732
43.46/43.69 c GLOBAL bounds 4 >= 1 @ 42.7326
43.46/43.69 c GLOBAL bounds 4 >= 1 @ 42.7328
43.46/43.69 c GLOBAL bounds 4 >= 1 @ 42.7336
43.46/43.69 c GLOBAL bounds 4 >= 1 @ 42.7336
43.56/43.71 c GLOBAL bounds 4 >= 1 @ 42.7516
43.56/43.73 c GLOBAL bounds 4 >= 1 @ 42.7702
43.56/43.75 c GLOBAL bounds 4 >= 1 @ 42.7899
43.56/43.77 c GLOBAL bounds 4 >= 1 @ 42.8081
43.56/43.77 c GLOBAL bounds 4 >= 1 @ 42.8089
43.56/43.79 c GLOBAL bounds 4 >= 1 @ 42.8281
43.56/43.79 c GLOBAL bounds 4 >= 1 @ 42.8284
43.66/43.82 c GLOBAL bounds 4 >= 1 @ 42.8559
43.66/43.82 c GLOBAL bounds 4 >= 1 @ 42.8563
43.66/43.85 c GLOBAL bounds 4 >= 1 @ 42.8824
43.66/43.85 c GLOBAL bounds 4 >= 1 @ 42.8831
43.66/43.87 c GLOBAL bounds 4 >= 1 @ 42.9014
43.66/43.87 c GLOBAL bounds 4 >= 1 @ 42.9022
43.66/43.89 c GLOBAL bounds 4 >= 1 @ 42.9233
43.66/43.89 c GLOBAL bounds 4 >= 1 @ 42.9241
43.76/43.91 c GLOBAL bounds 4 >= 1 @ 42.947
43.76/43.91 c GLOBAL bounds 4 >= 1 @ 42.947
43.76/43.94 c GLOBAL bounds 4 >= 1 @ 42.9692
43.76/43.94 c GLOBAL bounds 4 >= 1 @ 42.97
43.76/43.97 c GLOBAL bounds 4 >= 1 @ 43.002
43.76/43.97 c GLOBAL bounds 4 >= 1 @ 43.0029
43.76/43.99 c GLOBAL bounds 4 >= 1 @ 43.0207
43.76/43.99 c GLOBAL bounds 4 >= 1 @ 43.0209
43.76/43.99 c GLOBAL bounds 4 >= 1 @ 43.0209
43.76/43.99 c GLOBAL bounds 4 >= 1 @ 43.0209
43.76/43.99 c GLOBAL bounds 4 >= 1 @ 43.0209
43.86/44.01 c GLOBAL bounds 4 >= 1 @ 43.0382
43.86/44.03 c GLOBAL bounds 4 >= 1 @ 43.0571
43.86/44.05 c GLOBAL bounds 4 >= 1 @ 43.0765
43.86/44.07 c GLOBAL bounds 4 >= 1 @ 43.0952
43.86/44.07 c GLOBAL bounds 4 >= 1 @ 43.0957
43.86/44.09 c GLOBAL bounds 4 >= 1 @ 43.1158
43.86/44.09 c GLOBAL bounds 4 >= 1 @ 43.1165
43.96/44.11 c GLOBAL bounds 4 >= 1 @ 43.1394
43.96/44.12 c GLOBAL bounds 4 >= 1 @ 43.1401
43.96/44.14 c GLOBAL bounds 4 >= 1 @ 43.1626
43.96/44.14 c GLOBAL bounds 4 >= 1 @ 43.1634
43.96/44.16 c GLOBAL bounds 4 >= 1 @ 43.1811
43.96/44.16 c GLOBAL bounds 4 >= 1 @ 43.1819
43.96/44.18 c GLOBAL bounds 4 >= 1 @ 43.2047
43.96/44.18 c GLOBAL bounds 4 >= 1 @ 43.2054
44.06/44.20 c GLOBAL bounds 4 >= 1 @ 43.2226
44.06/44.20 c GLOBAL bounds 4 >= 1 @ 43.2234
44.06/44.22 c GLOBAL bounds 4 >= 1 @ 43.2411
44.06/44.22 c GLOBAL bounds 4 >= 1 @ 43.2414
44.06/44.24 c GLOBAL bounds 4 >= 1 @ 43.2622
44.06/44.24 c GLOBAL bounds 4 >= 1 @ 43.2631
44.06/44.26 c GLOBAL bounds 4 >= 1 @ 43.2808
44.06/44.26 c GLOBAL bounds 4 >= 1 @ 43.2816
44.06/44.27 c GLOBAL bounds 4 >= 1 @ 43.2826
44.06/44.27 c GLOBAL bounds 4 >= 1 @ 43.2832
44.06/44.27 c GLOBAL bounds 4 >= 1 @ 43.2832
44.06/44.29 c GLOBAL bounds 4 >= 1 @ 43.3028
44.16/44.31 c GLOBAL bounds 4 >= 1 @ 43.3219
44.16/44.33 c GLOBAL bounds 4 >= 1 @ 43.3407
44.16/44.34 c GLOBAL bounds 4 >= 1 @ 43.3599
44.16/44.35 c GLOBAL bounds 4 >= 1 @ 43.3607
44.16/44.37 c GLOBAL bounds 4 >= 1 @ 43.3808
44.16/44.37 c GLOBAL bounds 4 >= 1 @ 43.3815
44.16/44.39 c GLOBAL bounds 4 >= 1 @ 43.4033
44.16/44.39 c GLOBAL bounds 4 >= 1 @ 43.4039
44.26/44.41 c GLOBAL bounds 4 >= 1 @ 43.4254
44.26/44.41 c GLOBAL bounds 4 >= 1 @ 43.4262
44.26/44.43 c GLOBAL bounds 4 >= 1 @ 43.445
44.26/44.43 c GLOBAL bounds 4 >= 1 @ 43.4458
44.26/44.46 c GLOBAL bounds 4 >= 1 @ 43.4676
44.26/44.46 c GLOBAL bounds 4 >= 1 @ 43.4685
44.26/44.48 c GLOBAL bounds 4 >= 1 @ 43.4874
44.26/44.48 c GLOBAL bounds 4 >= 1 @ 43.4877
44.26/44.50 c GLOBAL bounds 4 >= 1 @ 43.506
44.36/44.50 c GLOBAL bounds 4 >= 1 @ 43.5067
44.36/44.52 c GLOBAL bounds 4 >= 1 @ 43.5271
44.36/44.52 c GLOBAL bounds 4 >= 1 @ 43.5276
44.36/44.54 c GLOBAL bounds 4 >= 1 @ 43.5458
44.36/44.54 c GLOBAL bounds 4 >= 1 @ 43.5466
44.36/44.54 c GLOBAL bounds 4 >= 1 @ 43.5476
44.36/44.54 c GLOBAL bounds 4 >= 1 @ 43.5486
44.36/44.54 c GLOBAL bounds 4 >= 1 @ 43.5486
44.36/44.56 c GLOBAL bounds 4 >= 1 @ 43.5676
44.36/44.58 c GLOBAL bounds 4 >= 1 @ 43.5865
44.46/44.60 c GLOBAL bounds 4 >= 1 @ 43.6051
44.46/44.62 c GLOBAL bounds 4 >= 1 @ 43.6228
44.46/44.62 c GLOBAL bounds 4 >= 1 @ 43.6234
44.46/44.64 c GLOBAL bounds 4 >= 1 @ 43.6468
44.46/44.65 c GLOBAL bounds 4 >= 1 @ 43.6475
44.46/44.67 c GLOBAL bounds 4 >= 1 @ 43.6699
44.46/44.67 c GLOBAL bounds 4 >= 1 @ 43.6703
44.46/44.69 c GLOBAL bounds 4 >= 1 @ 43.6922
44.46/44.69 c GLOBAL bounds 4 >= 1 @ 43.693
44.56/44.72 c GLOBAL bounds 4 >= 1 @ 43.7152
44.56/44.72 c GLOBAL bounds 4 >= 1 @ 43.716
44.56/44.75 c GLOBAL bounds 4 >= 1 @ 43.7481
44.56/44.75 c GLOBAL bounds 4 >= 1 @ 43.749
44.56/44.77 c GLOBAL bounds 4 >= 1 @ 43.7677
44.56/44.77 c GLOBAL bounds 4 >= 1 @ 43.7681
44.56/44.79 c GLOBAL bounds 4 >= 1 @ 43.7844
44.56/44.79 c GLOBAL bounds 4 >= 1 @ 43.7853
44.66/44.81 c GLOBAL bounds 4 >= 1 @ 43.8074
44.66/44.81 c GLOBAL bounds 4 >= 1 @ 43.8083
44.66/44.83 c GLOBAL bounds 4 >= 1 @ 43.8258
44.66/44.83 c GLOBAL bounds 4 >= 1 @ 43.8267
44.66/44.83 c GLOBAL bounds 4 >= 1 @ 43.8275
44.66/44.84 c GLOBAL bounds 4 >= 1 @ 43.8279
44.66/44.84 c GLOBAL bounds 4 >= 1 @ 43.8279
44.66/44.86 c GLOBAL bounds 4 >= 1 @ 43.8465
44.66/44.87 c GLOBAL bounds 4 >= 1 @ 43.8653
44.66/44.89 c GLOBAL bounds 4 >= 1 @ 43.883
44.76/44.91 c GLOBAL bounds 4 >= 1 @ 43.9018
44.76/44.91 c GLOBAL bounds 4 >= 1 @ 43.9026
44.76/44.93 c GLOBAL bounds 4 >= 1 @ 43.9215
44.76/44.93 c GLOBAL bounds 4 >= 1 @ 43.9216
44.76/44.96 c GLOBAL bounds 4 >= 1 @ 43.9445
44.76/44.96 c GLOBAL bounds 4 >= 1 @ 43.9446
44.76/44.99 c GLOBAL bounds 4 >= 1 @ 43.9701
44.76/44.99 c GLOBAL bounds 4 >= 1 @ 43.9705
44.86/45.01 c GLOBAL bounds 4 >= 1 @ 43.9865
44.86/45.01 c GLOBAL bounds 4 >= 1 @ 43.9874
44.86/45.03 c GLOBAL bounds 4 >= 1 @ 44.008
44.86/45.03 c GLOBAL bounds 4 >= 1 @ 44.0089
44.86/45.05 c GLOBAL bounds 4 >= 1 @ 44.0276
44.86/45.05 c GLOBAL bounds 4 >= 1 @ 44.0284
44.86/45.07 c GLOBAL bounds 4 >= 1 @ 44.0461
44.86/45.07 c GLOBAL bounds 4 >= 1 @ 44.0463
44.86/45.09 c GLOBAL bounds 4 >= 1 @ 44.0644
44.86/45.09 c GLOBAL bounds 4 >= 1 @ 44.0653
44.96/45.11 c GLOBAL bounds 4 >= 1 @ 44.088
44.96/45.11 c GLOBAL bounds 4 >= 1 @ 44.0882
44.96/45.11 c GLOBAL bounds 4 >= 1 @ 44.0888
44.96/45.11 c GLOBAL bounds 4 >= 1 @ 44.0899
44.96/45.11 c GLOBAL bounds 4 >= 1 @ 44.0899
44.96/45.14 c GLOBAL bounds 4 >= 1 @ 44.1126
44.96/45.16 c GLOBAL bounds 4 >= 1 @ 44.1333
44.96/45.18 c GLOBAL bounds 4 >= 1 @ 44.1565
45.05/45.21 c GLOBAL bounds 4 >= 1 @ 44.1792
45.05/45.21 c GLOBAL bounds 4 >= 1 @ 44.18
45.05/45.23 c GLOBAL bounds 4 >= 1 @ 44.2017
45.05/45.23 c GLOBAL bounds 4 >= 1 @ 44.2025
45.05/45.26 c GLOBAL bounds 4 >= 1 @ 44.2289
45.05/45.26 c GLOBAL bounds 4 >= 1 @ 44.2297
45.05/45.29 c GLOBAL bounds 4 >= 1 @ 44.2604
45.05/45.29 c GLOBAL bounds 4 >= 1 @ 44.2608
45.16/45.31 c GLOBAL bounds 4 >= 1 @ 44.2779
45.16/45.31 c GLOBAL bounds 4 >= 1 @ 44.2787
45.16/45.33 c GLOBAL bounds 4 >= 1 @ 44.3012
45.16/45.33 c GLOBAL bounds 4 >= 1 @ 44.3021
45.16/45.35 c GLOBAL bounds 4 >= 1 @ 44.3211
45.16/45.35 c GLOBAL bounds 4 >= 1 @ 44.3217
45.16/45.37 c GLOBAL bounds 4 >= 1 @ 44.3396
45.16/45.37 c GLOBAL bounds 4 >= 1 @ 44.3406
45.26/45.40 c GLOBAL bounds 4 >= 1 @ 44.3634
45.26/45.40 c GLOBAL bounds 4 >= 1 @ 44.3643
45.26/45.42 c GLOBAL bounds 4 >= 1 @ 44.3825
45.26/45.42 c GLOBAL bounds 4 >= 1 @ 44.3833
45.26/45.42 c GLOBAL bounds 4 >= 1 @ 44.3841
45.26/45.42 c GLOBAL bounds 4 >= 1 @ 44.3852
45.26/45.42 c GLOBAL bounds 4 >= 1 @ 44.3853
45.26/45.44 c GLOBAL bounds 4 >= 1 @ 44.4052
45.26/45.46 c GLOBAL bounds 4 >= 1 @ 44.4232
45.26/45.48 c GLOBAL bounds 4 >= 1 @ 44.4418
45.36/45.50 c GLOBAL bounds 4 >= 1 @ 44.4605
45.36/45.50 c GLOBAL bounds 4 >= 1 @ 44.4613
45.36/45.52 c GLOBAL bounds 4 >= 1 @ 44.4791
45.36/45.52 c GLOBAL bounds 4 >= 1 @ 44.4793
45.36/45.54 c GLOBAL bounds 4 >= 1 @ 44.5003
45.36/45.54 c GLOBAL bounds 4 >= 1 @ 44.5011
45.36/45.57 c GLOBAL bounds 4 >= 1 @ 44.5315
45.36/45.57 c GLOBAL bounds 4 >= 1 @ 44.5321
45.36/45.59 c GLOBAL bounds 4 >= 1 @ 44.5529
45.46/45.60 c GLOBAL bounds 4 >= 1 @ 44.5537
45.46/45.63 c GLOBAL bounds 4 >= 1 @ 44.5855
45.46/45.63 c GLOBAL bounds 4 >= 1 @ 44.5864
45.46/45.65 c GLOBAL bounds 4 >= 1 @ 44.6051
45.46/45.65 c GLOBAL bounds 4 >= 1 @ 44.6059
45.46/45.67 c GLOBAL bounds 4 >= 1 @ 44.6247
45.46/45.67 c GLOBAL bounds 4 >= 1 @ 44.6256
45.46/45.69 c GLOBAL bounds 4 >= 1 @ 44.6481
45.46/45.69 c GLOBAL bounds 4 >= 1 @ 44.6488
45.56/45.71 c GLOBAL bounds 4 >= 1 @ 44.6657
45.56/45.71 c GLOBAL bounds 4 >= 1 @ 44.6658
45.56/45.71 c GLOBAL bounds 4 >= 1 @ 44.6665
45.56/45.71 c GLOBAL bounds 4 >= 1 @ 44.6676
45.56/45.71 c GLOBAL bounds 4 >= 1 @ 44.6677
45.56/45.74 c GLOBAL bounds 4 >= 1 @ 44.6878
45.56/45.75 c GLOBAL bounds 4 >= 1 @ 44.7071
45.56/45.77 c GLOBAL bounds 4 >= 1 @ 44.7257
45.56/45.79 c GLOBAL bounds 4 >= 1 @ 44.7436
45.56/45.79 c GLOBAL bounds 4 >= 1 @ 44.7444
45.65/45.81 c GLOBAL bounds 4 >= 1 @ 44.7633
45.65/45.81 c GLOBAL bounds 4 >= 1 @ 44.7641
45.65/45.84 c GLOBAL bounds 4 >= 1 @ 44.7863
45.65/45.84 c GLOBAL bounds 4 >= 1 @ 44.787
45.65/45.86 c GLOBAL bounds 4 >= 1 @ 44.8096
45.65/45.86 c GLOBAL bounds 4 >= 1 @ 44.8104
45.65/45.89 c GLOBAL bounds 4 >= 1 @ 44.8337
45.65/45.89 c GLOBAL bounds 4 >= 1 @ 44.8344
45.76/45.91 c GLOBAL bounds 4 >= 1 @ 44.8561
45.76/45.91 c GLOBAL bounds 4 >= 1 @ 44.857
45.76/45.93 c GLOBAL bounds 4 >= 1 @ 44.8763
45.76/45.93 c GLOBAL bounds 4 >= 1 @ 44.8771
45.76/45.95 c GLOBAL bounds 4 >= 1 @ 44.8938
45.76/45.95 c GLOBAL bounds 4 >= 1 @ 44.8942
45.76/45.97 c GLOBAL bounds 4 >= 1 @ 44.9161
45.76/45.97 c GLOBAL bounds 4 >= 1 @ 44.917
45.76/45.99 c GLOBAL bounds 4 >= 1 @ 44.9346
45.76/45.99 c GLOBAL bounds 4 >= 1 @ 44.9355
45.76/45.99 c GLOBAL bounds 4 >= 1 @ 44.9361
45.76/45.99 c GLOBAL bounds 4 >= 1 @ 44.9366
45.76/45.99 c GLOBAL bounds 4 >= 1 @ 44.9366
45.86/46.01 c GLOBAL bounds 4 >= 1 @ 44.9559
45.86/46.04 c GLOBAL bounds 4 >= 1 @ 44.9778
45.86/46.06 c GLOBAL bounds 4 >= 1 @ 45.0003
45.86/46.08 c GLOBAL bounds 4 >= 1 @ 45.023
45.86/46.08 c GLOBAL bounds 4 >= 1 @ 45.0238
45.96/46.11 c GLOBAL bounds 4 >= 1 @ 45.0471
45.96/46.11 c GLOBAL bounds 4 >= 1 @ 45.0478
45.96/46.14 c GLOBAL bounds 4 >= 1 @ 45.0824
45.96/46.15 c GLOBAL bounds 4 >= 1 @ 45.0832
45.96/46.16 c GLOBAL bounds 4 >= 1 @ 45.1015
45.96/46.16 c GLOBAL bounds 4 >= 1 @ 45.1017
45.96/46.18 c GLOBAL bounds 4 >= 1 @ 45.1191
45.96/46.18 c GLOBAL bounds 4 >= 1 @ 45.1196
46.06/46.21 c GLOBAL bounds 4 >= 1 @ 45.1438
46.06/46.21 c GLOBAL bounds 4 >= 1 @ 45.1446
46.06/46.23 c GLOBAL bounds 4 >= 1 @ 45.1624
46.06/46.23 c GLOBAL bounds 4 >= 1 @ 45.1632
46.06/46.25 c GLOBAL bounds 4 >= 1 @ 45.1819
46.06/46.25 c GLOBAL bounds 4 >= 1 @ 45.1825
46.06/46.27 c GLOBAL bounds 4 >= 1 @ 45.2045
46.06/46.27 c GLOBAL bounds 4 >= 1 @ 45.2054
46.06/46.29 c GLOBAL bounds 4 >= 1 @ 45.2245
46.06/46.29 c GLOBAL bounds 4 >= 1 @ 45.2253
46.06/46.29 c GLOBAL bounds 4 >= 1 @ 45.2263
46.06/46.30 c GLOBAL bounds 4 >= 1 @ 45.2274
46.06/46.30 c GLOBAL bounds 4 >= 1 @ 45.2275
46.15/46.32 c GLOBAL bounds 4 >= 1 @ 45.2479
46.15/46.33 c GLOBAL bounds 4 >= 1 @ 45.2672
46.15/46.36 c GLOBAL bounds 4 >= 1 @ 45.2927
46.15/46.38 c GLOBAL bounds 4 >= 1 @ 45.3117
46.15/46.38 c GLOBAL bounds 4 >= 1 @ 45.3122
46.25/46.40 c GLOBAL bounds 4 >= 1 @ 45.3293
46.25/46.40 c GLOBAL bounds 4 >= 1 @ 45.3301
46.25/46.43 c GLOBAL bounds 4 >= 1 @ 45.3577
46.25/46.43 c GLOBAL bounds 4 >= 1 @ 45.3585
46.25/46.45 c GLOBAL bounds 4 >= 1 @ 45.3803
46.25/46.45 c GLOBAL bounds 4 >= 1 @ 45.3811
46.25/46.47 c GLOBAL bounds 4 >= 1 @ 45.4001
46.25/46.47 c GLOBAL bounds 4 >= 1 @ 45.401
46.35/46.50 c GLOBAL bounds 4 >= 1 @ 45.4234
46.35/46.50 c GLOBAL bounds 4 >= 1 @ 45.4239
46.35/46.52 c GLOBAL bounds 4 >= 1 @ 45.4427
46.35/46.52 c GLOBAL bounds 4 >= 1 @ 45.4428
46.35/46.54 c GLOBAL bounds 4 >= 1 @ 45.4614
46.35/46.54 c GLOBAL bounds 4 >= 1 @ 45.4618
46.35/46.56 c GLOBAL bounds 4 >= 1 @ 45.4837
46.35/46.56 c GLOBAL bounds 4 >= 1 @ 45.4837
46.35/46.58 c GLOBAL bounds 4 >= 1 @ 45.5026
46.35/46.58 c GLOBAL bounds 4 >= 1 @ 45.5034
46.35/46.58 c GLOBAL bounds 4 >= 1 @ 45.5044
46.35/46.58 c GLOBAL bounds 4 >= 1 @ 45.5055
46.35/46.58 c GLOBAL bounds 4 >= 1 @ 45.5056
46.45/46.60 c GLOBAL bounds 4 >= 1 @ 45.5259
46.45/46.62 c GLOBAL bounds 4 >= 1 @ 45.5441
46.45/46.64 c GLOBAL bounds 4 >= 1 @ 45.5623
46.45/46.67 c GLOBAL bounds 4 >= 1 @ 45.5864
46.45/46.67 c GLOBAL bounds 4 >= 1 @ 45.5864
46.45/46.69 c GLOBAL bounds 4 >= 1 @ 45.6058
46.45/46.69 c GLOBAL bounds 4 >= 1 @ 45.6063
46.56/46.71 c GLOBAL bounds 4 >= 1 @ 45.6285
46.56/46.71 c GLOBAL bounds 4 >= 1 @ 45.6293
46.56/46.74 c GLOBAL bounds 4 >= 1 @ 45.6555
46.56/46.74 c GLOBAL bounds 4 >= 1 @ 45.6562
46.56/46.76 c GLOBAL bounds 4 >= 1 @ 45.677
46.56/46.76 c GLOBAL bounds 4 >= 1 @ 45.6772
46.56/46.79 c GLOBAL bounds 4 >= 1 @ 45.7029
46.56/46.79 c GLOBAL bounds 4 >= 1 @ 45.7039
46.65/46.81 c GLOBAL bounds 4 >= 1 @ 45.7265
46.65/46.82 c GLOBAL bounds 4 >= 1 @ 45.727
46.65/46.84 c GLOBAL bounds 4 >= 1 @ 45.749
46.65/46.84 c GLOBAL bounds 4 >= 1 @ 45.7499
46.65/46.87 c GLOBAL bounds 4 >= 1 @ 45.7811
46.65/46.87 c GLOBAL bounds 4 >= 1 @ 45.782
46.65/46.89 c GLOBAL bounds 4 >= 1 @ 45.8009
46.65/46.89 c GLOBAL bounds 4 >= 1 @ 45.8018
46.65/46.89 c GLOBAL bounds 4 >= 1 @ 45.8028
46.65/46.89 c GLOBAL bounds 4 >= 1 @ 45.8038
46.65/46.89 c GLOBAL bounds 4 >= 1 @ 45.8039
46.75/46.91 c GLOBAL bounds 4 >= 1 @ 45.8242
46.75/46.94 c GLOBAL bounds 4 >= 1 @ 45.8477
46.75/46.96 c #Conflicts: 25000 | #Constraints: 8537
46.75/46.96 c GLOBAL bounds 4 >= 1 @ 45.8681
46.75/46.98 c GLOBAL bounds 4 >= 1 @ 45.8869
46.75/46.98 c GLOBAL bounds 4 >= 1 @ 45.8878
46.75/47.00 c GLOBAL bounds 4 >= 1 @ 45.9075
46.75/47.00 c GLOBAL bounds 4 >= 1 @ 45.9084
46.86/47.02 c GLOBAL bounds 4 >= 1 @ 45.9314
46.86/47.02 c GLOBAL bounds 4 >= 1 @ 45.9314
46.86/47.06 c GLOBAL bounds 4 >= 1 @ 45.9633
46.86/47.06 c GLOBAL bounds 4 >= 1 @ 45.9642
46.86/47.08 c GLOBAL bounds 4 >= 1 @ 45.9831
46.86/47.08 c GLOBAL bounds 4 >= 1 @ 45.9833
46.86/47.10 c GLOBAL bounds 4 >= 1 @ 46.0046
46.96/47.10 c GLOBAL bounds 4 >= 1 @ 46.0052
46.96/47.12 c GLOBAL bounds 4 >= 1 @ 46.0239
46.96/47.12 c GLOBAL bounds 4 >= 1 @ 46.0247
46.96/47.14 c GLOBAL bounds 4 >= 1 @ 46.0434
46.96/47.14 c GLOBAL bounds 4 >= 1 @ 46.0441
46.96/47.16 c GLOBAL bounds 4 >= 1 @ 46.0662
46.96/47.17 c GLOBAL bounds 4 >= 1 @ 46.0671
46.96/47.18 c GLOBAL bounds 4 >= 1 @ 46.0838
46.96/47.18 c GLOBAL bounds 4 >= 1 @ 46.0846
46.96/47.19 c GLOBAL bounds 4 >= 1 @ 46.085
46.96/47.19 c GLOBAL bounds 4 >= 1 @ 46.0856
46.96/47.19 c GLOBAL bounds 4 >= 1 @ 46.0857
47.05/47.21 c GLOBAL bounds 4 >= 1 @ 46.1066
47.05/47.23 c GLOBAL bounds 4 >= 1 @ 46.125
47.05/47.25 c GLOBAL bounds 4 >= 1 @ 46.1447
47.05/47.27 c GLOBAL bounds 4 >= 1 @ 46.1637
47.05/47.27 c GLOBAL bounds 4 >= 1 @ 46.1646
47.05/47.29 c GLOBAL bounds 4 >= 1 @ 46.1844
47.05/47.29 c GLOBAL bounds 4 >= 1 @ 46.1852
47.15/47.31 c GLOBAL bounds 4 >= 1 @ 46.2077
47.15/47.31 c GLOBAL bounds 4 >= 1 @ 46.2086
47.15/47.34 c GLOBAL bounds 4 >= 1 @ 46.2326
47.15/47.34 c GLOBAL bounds 4 >= 1 @ 46.2335
47.15/47.35 c GLOBAL bounds 4 >= 1 @ 46.2521
47.15/47.36 c GLOBAL bounds 4 >= 1 @ 46.253
47.15/47.38 c GLOBAL bounds 4 >= 1 @ 46.2809
47.15/47.38 c GLOBAL bounds 4 >= 1 @ 46.2815
47.25/47.40 c GLOBAL bounds 4 >= 1 @ 46.2976
47.25/47.40 c GLOBAL bounds 4 >= 1 @ 46.2984
47.25/47.43 c GLOBAL bounds 4 >= 1 @ 46.3201
47.25/47.43 c GLOBAL bounds 4 >= 1 @ 46.3211
47.25/47.45 c GLOBAL bounds 4 >= 1 @ 46.3475
47.25/47.46 c GLOBAL bounds 4 >= 1 @ 46.3483
47.25/47.48 c GLOBAL bounds 4 >= 1 @ 46.3689
47.25/47.48 c GLOBAL bounds 4 >= 1 @ 46.3693
47.25/47.48 c GLOBAL bounds 4 >= 1 @ 46.3693
47.25/47.48 c GLOBAL bounds 4 >= 1 @ 46.3699
47.25/47.48 c GLOBAL bounds 4 >= 1 @ 46.3699
47.35/47.50 c GLOBAL bounds 4 >= 1 @ 46.3939
47.35/47.53 c GLOBAL bounds 4 >= 1 @ 46.4158
47.35/47.55 c GLOBAL bounds 4 >= 1 @ 46.4382
47.35/47.57 c GLOBAL bounds 4 >= 1 @ 46.4599
47.35/47.57 c GLOBAL bounds 4 >= 1 @ 46.4608
47.45/47.60 c GLOBAL bounds 4 >= 1 @ 46.4823
47.45/47.60 c GLOBAL bounds 4 >= 1 @ 46.483
47.45/47.63 c GLOBAL bounds 4 >= 1 @ 46.5086
47.45/47.63 c GLOBAL bounds 4 >= 1 @ 46.5089
47.45/47.66 c GLOBAL bounds 4 >= 1 @ 46.5415
47.45/47.66 c GLOBAL bounds 4 >= 1 @ 46.5424
47.45/47.68 c GLOBAL bounds 4 >= 1 @ 46.5612
47.45/47.68 c GLOBAL bounds 4 >= 1 @ 46.5618
47.55/47.70 c GLOBAL bounds 4 >= 1 @ 46.5819
47.55/47.71 c GLOBAL bounds 4 >= 1 @ 46.5829
47.55/47.72 c GLOBAL bounds 4 >= 1 @ 46.6006
47.55/47.72 c GLOBAL bounds 4 >= 1 @ 46.6015
47.55/47.74 c GLOBAL bounds 4 >= 1 @ 46.6202
47.55/47.74 c GLOBAL bounds 4 >= 1 @ 46.6211
47.55/47.77 c GLOBAL bounds 4 >= 1 @ 46.6495
47.55/47.77 c GLOBAL bounds 4 >= 1 @ 46.6504
47.55/47.79 c GLOBAL bounds 4 >= 1 @ 46.6682
47.55/47.79 c GLOBAL bounds 4 >= 1 @ 46.6691
47.55/47.79 c GLOBAL bounds 4 >= 1 @ 46.67
47.65/47.80 c GLOBAL bounds 4 >= 1 @ 46.6713
47.65/47.80 c GLOBAL bounds 4 >= 1 @ 46.6713
47.65/47.82 c GLOBAL bounds 4 >= 1 @ 46.6907
47.65/47.84 c GLOBAL bounds 4 >= 1 @ 46.7088
47.65/47.86 c GLOBAL bounds 4 >= 1 @ 46.7298
47.65/47.88 c GLOBAL bounds 4 >= 1 @ 46.7476
47.65/47.88 c GLOBAL bounds 4 >= 1 @ 46.7485
47.75/47.90 c GLOBAL bounds 4 >= 1 @ 46.7676
47.75/47.90 c GLOBAL bounds 4 >= 1 @ 46.7683
47.75/47.92 c GLOBAL bounds 4 >= 1 @ 46.7888
47.75/47.92 c GLOBAL bounds 4 >= 1 @ 46.7892
47.75/47.94 c GLOBAL bounds 4 >= 1 @ 46.8102
47.75/47.94 c GLOBAL bounds 4 >= 1 @ 46.811
47.75/47.96 c GLOBAL bounds 4 >= 1 @ 46.8299
47.75/47.96 c GLOBAL bounds 4 >= 1 @ 46.8301
47.75/47.99 c GLOBAL bounds 4 >= 1 @ 46.8589
47.75/47.99 c GLOBAL bounds 4 >= 1 @ 46.859
47.85/48.01 c GLOBAL bounds 4 >= 1 @ 46.8777
47.85/48.01 c GLOBAL bounds 4 >= 1 @ 46.878
47.85/48.03 c GLOBAL bounds 4 >= 1 @ 46.8964
47.85/48.03 c GLOBAL bounds 4 >= 1 @ 46.8973
47.85/48.06 c GLOBAL bounds 4 >= 1 @ 46.9192
47.85/48.06 c GLOBAL bounds 4 >= 1 @ 46.9199
47.85/48.08 c GLOBAL bounds 4 >= 1 @ 46.9372
47.85/48.08 c GLOBAL bounds 4 >= 1 @ 46.9378
47.85/48.08 c GLOBAL bounds 4 >= 1 @ 46.9379
47.85/48.08 c GLOBAL bounds 4 >= 1 @ 46.9391
47.85/48.08 c GLOBAL bounds 4 >= 1 @ 46.9391
47.85/48.10 c GLOBAL bounds 4 >= 1 @ 46.9585
47.96/48.12 c GLOBAL bounds 4 >= 1 @ 46.9766
47.96/48.14 c GLOBAL bounds 4 >= 1 @ 46.9965
47.96/48.16 c GLOBAL bounds 4 >= 1 @ 47.0145
47.96/48.16 c GLOBAL bounds 4 >= 1 @ 47.0153
47.96/48.18 c GLOBAL bounds 4 >= 1 @ 47.0363
47.96/48.18 c GLOBAL bounds 4 >= 1 @ 47.0371
48.05/48.20 c GLOBAL bounds 4 >= 1 @ 47.0596
48.05/48.20 c GLOBAL bounds 4 >= 1 @ 47.0605
48.05/48.23 c GLOBAL bounds 4 >= 1 @ 47.0839
48.05/48.23 c GLOBAL bounds 4 >= 1 @ 47.0845
48.05/48.25 c GLOBAL bounds 4 >= 1 @ 47.1015
48.05/48.25 c GLOBAL bounds 4 >= 1 @ 47.1024
48.05/48.27 c GLOBAL bounds 4 >= 1 @ 47.1242
48.05/48.27 c GLOBAL bounds 4 >= 1 @ 47.1251
48.05/48.29 c GLOBAL bounds 4 >= 1 @ 47.1428
48.05/48.29 c GLOBAL bounds 4 >= 1 @ 47.1433
48.14/48.31 c GLOBAL bounds 4 >= 1 @ 47.1605
48.14/48.31 c GLOBAL bounds 4 >= 1 @ 47.1613
48.14/48.34 c GLOBAL bounds 4 >= 1 @ 47.1879
48.14/48.34 c GLOBAL bounds 4 >= 1 @ 47.1888
48.14/48.36 c GLOBAL bounds 4 >= 1 @ 47.2069
48.14/48.36 c GLOBAL bounds 4 >= 1 @ 47.2077
48.14/48.36 c GLOBAL bounds 4 >= 1 @ 47.2085
48.14/48.36 c GLOBAL bounds 4 >= 1 @ 47.2091
48.14/48.36 c GLOBAL bounds 4 >= 1 @ 47.2091
48.14/48.38 c GLOBAL bounds 4 >= 1 @ 47.2295
48.25/48.40 c GLOBAL bounds 4 >= 1 @ 47.2475
48.25/48.42 c GLOBAL bounds 4 >= 1 @ 47.2674
48.25/48.44 c GLOBAL bounds 4 >= 1 @ 47.2862
48.25/48.44 c GLOBAL bounds 4 >= 1 @ 47.287
48.25/48.46 c GLOBAL bounds 4 >= 1 @ 47.3072
48.25/48.46 c GLOBAL bounds 4 >= 1 @ 47.3079
48.25/48.49 c GLOBAL bounds 4 >= 1 @ 47.33
48.25/48.49 c GLOBAL bounds 4 >= 1 @ 47.3308
48.35/48.51 c GLOBAL bounds 4 >= 1 @ 47.3537
48.35/48.51 c GLOBAL bounds 4 >= 1 @ 47.3545
48.35/48.53 c GLOBAL bounds 4 >= 1 @ 47.372
48.35/48.53 c GLOBAL bounds 4 >= 1 @ 47.3728
48.35/48.55 c GLOBAL bounds 4 >= 1 @ 47.3935
48.35/48.55 c GLOBAL bounds 4 >= 1 @ 47.3945
48.35/48.57 c GLOBAL bounds 4 >= 1 @ 47.4131
48.35/48.57 c GLOBAL bounds 4 >= 1 @ 47.4136
48.35/48.59 c GLOBAL bounds 4 >= 1 @ 47.4317
48.35/48.59 c GLOBAL bounds 4 >= 1 @ 47.4326
48.45/48.62 c GLOBAL bounds 4 >= 1 @ 47.4545
48.45/48.62 c GLOBAL bounds 4 >= 1 @ 47.4555
48.45/48.64 c GLOBAL bounds 4 >= 1 @ 47.4743
48.45/48.64 c GLOBAL bounds 4 >= 1 @ 47.4744
48.45/48.64 c GLOBAL bounds 4 >= 1 @ 47.4752
48.45/48.64 c GLOBAL bounds 4 >= 1 @ 47.4763
48.45/48.64 c GLOBAL bounds 4 >= 1 @ 47.4764
48.45/48.66 c GLOBAL bounds 4 >= 1 @ 47.4957
48.45/48.68 c GLOBAL bounds 4 >= 1 @ 47.5148
48.55/48.70 c GLOBAL bounds 4 >= 1 @ 47.5343
48.55/48.72 c GLOBAL bounds 4 >= 1 @ 47.5584
48.55/48.72 c GLOBAL bounds 4 >= 1 @ 47.5592
48.55/48.74 c GLOBAL bounds 4 >= 1 @ 47.5788
48.55/48.74 c GLOBAL bounds 4 >= 1 @ 47.5792
48.55/48.77 c GLOBAL bounds 4 >= 1 @ 47.6015
48.55/48.77 c GLOBAL bounds 4 >= 1 @ 47.6021
48.55/48.79 c GLOBAL bounds 4 >= 1 @ 47.6269
48.64/48.80 c GLOBAL bounds 4 >= 1 @ 47.627
48.64/48.82 c GLOBAL bounds 4 >= 1 @ 47.6485
48.64/48.82 c GLOBAL bounds 4 >= 1 @ 47.6489
48.64/48.85 c GLOBAL bounds 4 >= 1 @ 47.6798
48.64/48.85 c GLOBAL bounds 4 >= 1 @ 47.6799
48.64/48.87 c GLOBAL bounds 4 >= 1 @ 47.6986
48.64/48.87 c GLOBAL bounds 4 >= 1 @ 47.6988
48.64/48.89 c GLOBAL bounds 4 >= 1 @ 47.7172
48.64/48.89 c GLOBAL bounds 4 >= 1 @ 47.7182
48.75/48.92 c GLOBAL bounds 4 >= 1 @ 47.7399
48.75/48.92 c GLOBAL bounds 4 >= 1 @ 47.7407
48.75/48.94 c GLOBAL bounds 4 >= 1 @ 47.7577
48.75/48.94 c GLOBAL bounds 4 >= 1 @ 47.7585
48.75/48.94 c GLOBAL bounds 4 >= 1 @ 47.7594
48.75/48.94 c GLOBAL bounds 4 >= 1 @ 47.7606
48.75/48.94 c GLOBAL bounds 4 >= 1 @ 47.7606
48.75/48.96 c GLOBAL bounds 4 >= 1 @ 47.7811
48.75/48.98 c GLOBAL bounds 4 >= 1 @ 47.7992
48.75/49.00 c GLOBAL bounds 4 >= 1 @ 47.8197
48.85/49.02 c GLOBAL bounds 4 >= 1 @ 47.8378
48.85/49.02 c GLOBAL bounds 4 >= 1 @ 47.8384
48.85/49.04 c GLOBAL bounds 4 >= 1 @ 47.8566
48.85/49.04 c GLOBAL bounds 4 >= 1 @ 47.8574
48.85/49.06 c GLOBAL bounds 4 >= 1 @ 47.8805
48.85/49.06 c GLOBAL bounds 4 >= 1 @ 47.8813
48.85/49.09 c GLOBAL bounds 4 >= 1 @ 47.9042
48.85/49.09 c GLOBAL bounds 4 >= 1 @ 47.9043
48.95/49.11 c GLOBAL bounds 4 >= 1 @ 47.9217
48.95/49.11 c GLOBAL bounds 4 >= 1 @ 47.9222
48.95/49.14 c GLOBAL bounds 4 >= 1 @ 47.9489
48.95/49.14 c GLOBAL bounds 4 >= 1 @ 47.9499
48.95/49.16 c GLOBAL bounds 4 >= 1 @ 47.9686
48.95/49.16 c GLOBAL bounds 4 >= 1 @ 47.9691
48.95/49.18 c GLOBAL bounds 4 >= 1 @ 47.9871
48.95/49.18 c GLOBAL bounds 4 >= 1 @ 47.9881
49.04/49.20 c GLOBAL bounds 4 >= 1 @ 48.0105
49.04/49.20 c GLOBAL bounds 4 >= 1 @ 48.0114
49.04/49.22 c GLOBAL bounds 4 >= 1 @ 48.0304
49.04/49.22 c GLOBAL bounds 4 >= 1 @ 48.0309
49.04/49.22 c GLOBAL bounds 4 >= 1 @ 48.0309
49.04/49.22 c GLOBAL bounds 4 >= 1 @ 48.0314
49.04/49.22 c GLOBAL bounds 4 >= 1 @ 48.0314
49.04/49.24 c GLOBAL bounds 4 >= 1 @ 48.0519
49.04/49.26 c GLOBAL bounds 4 >= 1 @ 48.0699
49.04/49.28 c GLOBAL bounds 4 >= 1 @ 48.0895
49.15/49.30 c GLOBAL bounds 4 >= 1 @ 48.1075
49.15/49.30 c GLOBAL bounds 4 >= 1 @ 48.1083
49.15/49.32 c GLOBAL bounds 4 >= 1 @ 48.1277
49.15/49.32 c GLOBAL bounds 4 >= 1 @ 48.1286
49.15/49.35 c GLOBAL bounds 4 >= 1 @ 48.1571
49.15/49.35 c GLOBAL bounds 4 >= 1 @ 48.1576
49.15/49.37 c GLOBAL bounds 4 >= 1 @ 48.1795
49.15/49.37 c GLOBAL bounds 4 >= 1 @ 48.1803
49.15/49.39 c GLOBAL bounds 4 >= 1 @ 48.197
49.15/49.39 c GLOBAL bounds 4 >= 1 @ 48.1975
49.24/49.42 c GLOBAL bounds 4 >= 1 @ 48.2198
49.24/49.42 c GLOBAL bounds 4 >= 1 @ 48.2208
49.24/49.44 c GLOBAL bounds 4 >= 1 @ 48.2395
49.24/49.44 c GLOBAL bounds 4 >= 1 @ 48.2404
49.24/49.46 c GLOBAL bounds 4 >= 1 @ 48.2592
49.24/49.46 c GLOBAL bounds 4 >= 1 @ 48.2601
49.24/49.48 c GLOBAL bounds 4 >= 1 @ 48.2823
49.24/49.48 c GLOBAL bounds 4 >= 1 @ 48.2832
49.34/49.50 c GLOBAL bounds 4 >= 1 @ 48.3019
49.34/49.50 c GLOBAL bounds 4 >= 1 @ 48.3028
49.34/49.50 c GLOBAL bounds 4 >= 1 @ 48.3032
49.34/49.50 c GLOBAL bounds 4 >= 1 @ 48.304
49.34/49.50 c GLOBAL bounds 4 >= 1 @ 48.304
49.34/49.52 c GLOBAL bounds 4 >= 1 @ 48.325
49.34/49.54 c GLOBAL bounds 4 >= 1 @ 48.3432
49.34/49.56 c GLOBAL bounds 4 >= 1 @ 48.3623
49.34/49.59 c GLOBAL bounds 4 >= 1 @ 48.3857
49.34/49.59 c GLOBAL bounds 4 >= 1 @ 48.3866
49.44/49.61 c GLOBAL bounds 4 >= 1 @ 48.4073
49.44/49.61 c GLOBAL bounds 4 >= 1 @ 48.408
49.44/49.63 c GLOBAL bounds 4 >= 1 @ 48.4279
49.44/49.63 c GLOBAL bounds 4 >= 1 @ 48.4287
49.44/49.66 c GLOBAL bounds 4 >= 1 @ 48.4533
49.44/49.66 c GLOBAL bounds 4 >= 1 @ 48.4541
49.44/49.68 c GLOBAL bounds 4 >= 1 @ 48.4767
49.44/49.68 c GLOBAL bounds 4 >= 1 @ 48.4776
49.55/49.71 c GLOBAL bounds 4 >= 1 @ 48.5046
49.55/49.71 c GLOBAL bounds 4 >= 1 @ 48.5056
49.55/49.73 c GLOBAL bounds 4 >= 1 @ 48.5263
49.55/49.73 c GLOBAL bounds 4 >= 1 @ 48.5266
49.55/49.76 c INPROCESSING
49.55/49.76 c GARBAGE COLLECT
49.55/49.76 c rational objective 1
49.95/50.17 c GLOBAL bounds 4 >= 1 @ 48.9579
49.95/50.17 c GLOBAL bounds 4 >= 1 @ 48.9585
50.04/50.20 c GLOBAL bounds 4 >= 1 @ 48.9879
50.04/50.20 c GLOBAL bounds 4 >= 1 @ 48.9884
50.04/50.22 c GLOBAL bounds 4 >= 1 @ 49.0103
50.04/50.22 c GLOBAL bounds 4 >= 1 @ 49.0112
50.04/50.23 c GLOBAL bounds 4 >= 1 @ 49.0114
50.04/50.23 c GLOBAL bounds 4 >= 1 @ 49.0124
50.04/50.23 c GLOBAL bounds 4 >= 1 @ 49.0125
50.04/50.25 c GLOBAL bounds 4 >= 1 @ 49.0319
50.04/50.27 c GLOBAL bounds 4 >= 1 @ 49.0507
50.04/50.29 c GLOBAL bounds 4 >= 1 @ 49.0691
50.14/50.30 c GLOBAL bounds 4 >= 1 @ 49.0855
50.14/50.31 c GLOBAL bounds 4 >= 1 @ 49.0862
50.14/50.32 c GLOBAL bounds 4 >= 1 @ 49.1038
50.14/50.32 c GLOBAL bounds 4 >= 1 @ 49.1046
50.14/50.35 c GLOBAL bounds 4 >= 1 @ 49.1267
50.14/50.35 c GLOBAL bounds 4 >= 1 @ 49.1275
50.14/50.37 c GLOBAL bounds 4 >= 1 @ 49.148
50.14/50.37 c GLOBAL bounds 4 >= 1 @ 49.1488
50.14/50.39 c GLOBAL bounds 4 >= 1 @ 49.1701
50.14/50.39 c GLOBAL bounds 4 >= 1 @ 49.171
50.24/50.42 c GLOBAL bounds 4 >= 1 @ 49.196
50.24/50.42 c GLOBAL bounds 4 >= 1 @ 49.1969
50.24/50.44 c GLOBAL bounds 4 >= 1 @ 49.216
50.24/50.44 c GLOBAL bounds 4 >= 1 @ 49.2169
50.24/50.46 c GLOBAL bounds 4 >= 1 @ 49.2358
50.24/50.46 c GLOBAL bounds 4 >= 1 @ 49.2368
50.24/50.49 c GLOBAL bounds 4 >= 1 @ 49.2664
50.24/50.49 c GLOBAL bounds 4 >= 1 @ 49.2674
50.35/50.51 c GLOBAL bounds 4 >= 1 @ 49.2857
50.35/50.51 c GLOBAL bounds 4 >= 1 @ 49.2866
50.35/50.51 c GLOBAL bounds 4 >= 1 @ 49.2877
50.35/50.52 c GLOBAL bounds 4 >= 1 @ 49.2886
50.35/50.52 c GLOBAL bounds 4 >= 1 @ 49.2886
50.35/50.54 c GLOBAL bounds 4 >= 1 @ 49.3094
50.35/50.56 c GLOBAL bounds 4 >= 1 @ 49.3275
50.35/50.58 c GLOBAL bounds 4 >= 1 @ 49.3463
50.35/50.59 c GLOBAL bounds 4 >= 1 @ 49.3636
50.35/50.60 c GLOBAL bounds 4 >= 1 @ 49.3644
50.44/50.62 c GLOBAL bounds 4 >= 1 @ 49.3834
50.44/50.62 c GLOBAL bounds 4 >= 1 @ 49.3834
50.44/50.64 c GLOBAL bounds 4 >= 1 @ 49.4033
50.44/50.64 c GLOBAL bounds 4 >= 1 @ 49.4034
50.44/50.66 c GLOBAL bounds 4 >= 1 @ 49.4264
50.44/50.66 c GLOBAL bounds 4 >= 1 @ 49.4273
50.44/50.68 c GLOBAL bounds 4 >= 1 @ 49.4457
50.44/50.68 c GLOBAL bounds 4 >= 1 @ 49.4463
50.54/50.71 c GLOBAL bounds 4 >= 1 @ 49.4677
50.54/50.71 c GLOBAL bounds 4 >= 1 @ 49.4687
50.54/50.73 c GLOBAL bounds 4 >= 1 @ 49.4963
50.54/50.74 c GLOBAL bounds 4 >= 1 @ 49.4971
50.54/50.75 c GLOBAL bounds 4 >= 1 @ 49.5161
50.54/50.75 c GLOBAL bounds 4 >= 1 @ 49.5161
50.54/50.78 c GLOBAL bounds 4 >= 1 @ 49.5369
50.54/50.78 c GLOBAL bounds 4 >= 1 @ 49.537
50.64/50.80 c GLOBAL bounds 4 >= 1 @ 49.5543
50.64/50.80 c GLOBAL bounds 4 >= 1 @ 49.5552
50.64/50.80 c GLOBAL bounds 4 >= 1 @ 49.5562
50.64/50.80 c GLOBAL bounds 4 >= 1 @ 49.5574
50.64/50.80 c GLOBAL bounds 4 >= 1 @ 49.5575
50.64/50.82 c GLOBAL bounds 4 >= 1 @ 49.5778
50.64/50.84 c GLOBAL bounds 4 >= 1 @ 49.5959
50.64/50.86 c GLOBAL bounds 4 >= 1 @ 49.6151
50.64/50.88 c GLOBAL bounds 4 >= 1 @ 49.6325
50.64/50.88 c GLOBAL bounds 4 >= 1 @ 49.6328
50.75/50.90 c GLOBAL bounds 4 >= 1 @ 49.6514
50.75/50.90 c GLOBAL bounds 4 >= 1 @ 49.6518
50.75/50.92 c GLOBAL bounds 4 >= 1 @ 49.6722
50.75/50.92 c GLOBAL bounds 4 >= 1 @ 49.6727
50.75/50.95 c GLOBAL bounds 4 >= 1 @ 49.6956
50.75/50.95 c GLOBAL bounds 4 >= 1 @ 49.6956
50.75/50.96 c GLOBAL bounds 4 >= 1 @ 49.713
50.75/50.97 c GLOBAL bounds 4 >= 1 @ 49.7139
50.75/50.99 c GLOBAL bounds 4 >= 1 @ 49.7348
50.75/50.99 c GLOBAL bounds 4 >= 1 @ 49.7355
50.84/51.01 c GLOBAL bounds 4 >= 1 @ 49.7516
50.84/51.01 c GLOBAL bounds 4 >= 1 @ 49.7525
50.84/51.03 c GLOBAL bounds 4 >= 1 @ 49.7699
50.84/51.03 c GLOBAL bounds 4 >= 1 @ 49.7704
50.84/51.05 c GLOBAL bounds 4 >= 1 @ 49.7904
50.84/51.05 c GLOBAL bounds 4 >= 1 @ 49.7913
50.84/51.07 c GLOBAL bounds 4 >= 1 @ 49.8097
50.84/51.07 c GLOBAL bounds 4 >= 1 @ 49.8105
50.84/51.07 c GLOBAL bounds 4 >= 1 @ 49.8114
50.84/51.07 c GLOBAL bounds 4 >= 1 @ 49.8126
50.84/51.07 c GLOBAL bounds 4 >= 1 @ 49.8126
50.84/51.09 c GLOBAL bounds 4 >= 1 @ 49.8324
50.95/51.11 c GLOBAL bounds 4 >= 1 @ 49.8511
50.95/51.13 c GLOBAL bounds 4 >= 1 @ 49.8699
50.95/51.15 c GLOBAL bounds 4 >= 1 @ 49.8863
50.95/51.15 c GLOBAL bounds 4 >= 1 @ 49.8872
50.95/51.17 c GLOBAL bounds 4 >= 1 @ 49.9075
50.95/51.17 c GLOBAL bounds 4 >= 1 @ 49.9081
51.04/51.21 c GLOBAL bounds 4 >= 1 @ 49.9459
51.04/51.21 c GLOBAL bounds 4 >= 1 @ 49.946
51.54/51.71 c GLOBAL bounds 4 >= 1 @ 50.4294
51.54/51.71 c GLOBAL bounds 4 >= 1 @ 50.4303
51.54/51.76 c GLOBAL bounds 4 >= 1 @ 50.4796
51.54/51.76 c GLOBAL bounds 4 >= 1 @ 50.4805
51.64/51.81 c GLOBAL bounds 4 >= 1 @ 50.5254
51.64/51.81 c GLOBAL bounds 4 >= 1 @ 50.5264
51.64/51.83 c GLOBAL bounds 4 >= 1 @ 50.5464
51.64/51.83 c GLOBAL bounds 4 >= 1 @ 50.5472
51.64/51.85 c GLOBAL bounds 4 >= 1 @ 50.5668
51.64/51.85 c GLOBAL bounds 4 >= 1 @ 50.5673
52.34/52.52 c #Conflicts: 26000 | #Constraints: 6352
52.34/52.52 c GLOBAL bounds 4 >= 1 @ 51.2221
52.34/52.52 c GLOBAL bounds 4 >= 1 @ 51.223
52.34/52.56 c GLOBAL bounds 4 >= 1 @ 51.2605
52.34/52.56 c GLOBAL bounds 4 >= 1 @ 51.2614
52.34/52.56 c GLOBAL bounds 4 >= 1 @ 51.2622
52.34/52.56 c GLOBAL bounds 4 >= 1 @ 51.2635
52.34/52.56 c GLOBAL bounds 4 >= 1 @ 51.2635
52.34/52.59 c GLOBAL bounds 4 >= 1 @ 51.2887
52.43/52.61 c GLOBAL bounds 4 >= 1 @ 51.3122
52.43/52.63 c GLOBAL bounds 4 >= 1 @ 51.337
52.43/52.66 c GLOBAL bounds 4 >= 1 @ 51.3604
52.43/52.66 c GLOBAL bounds 4 >= 1 @ 51.3611
52.43/52.68 c GLOBAL bounds 4 >= 1 @ 51.3838
52.43/52.68 c GLOBAL bounds 4 >= 1 @ 51.384
52.53/52.72 c GLOBAL bounds 4 >= 1 @ 51.4156
52.53/52.72 c GLOBAL bounds 4 >= 1 @ 51.4164
52.53/52.76 c GLOBAL bounds 4 >= 1 @ 51.4548
52.53/52.76 c GLOBAL bounds 4 >= 1 @ 51.4557
52.53/52.78 c GLOBAL bounds 4 >= 1 @ 51.4751
52.53/52.78 c GLOBAL bounds 4 >= 1 @ 51.476
52.64/52.80 c GLOBAL bounds 4 >= 1 @ 51.5006
52.64/52.80 c GLOBAL bounds 4 >= 1 @ 51.5016
52.64/52.82 c GLOBAL bounds 4 >= 1 @ 51.522
52.64/52.82 c GLOBAL bounds 4 >= 1 @ 51.5229
52.64/52.84 c GLOBAL bounds 4 >= 1 @ 51.5423
52.64/52.85 c GLOBAL bounds 4 >= 1 @ 51.5432
52.64/52.87 c GLOBAL bounds 4 >= 1 @ 51.5666
52.64/52.87 c GLOBAL bounds 4 >= 1 @ 51.5675
52.64/52.89 c GLOBAL bounds 4 >= 1 @ 51.5882
52.64/52.89 c GLOBAL bounds 4 >= 1 @ 51.5885
52.64/52.89 c GLOBAL bounds 4 >= 1 @ 51.5892
52.64/52.89 c GLOBAL bounds 4 >= 1 @ 51.5904
52.64/52.90 c GLOBAL bounds 4 >= 1 @ 51.5905
52.74/52.92 c GLOBAL bounds 4 >= 1 @ 51.6125
52.74/52.94 c GLOBAL bounds 4 >= 1 @ 51.6331
52.74/52.96 c GLOBAL bounds 4 >= 1 @ 51.6533
52.74/52.98 c GLOBAL bounds 4 >= 1 @ 51.6744
52.74/52.98 c GLOBAL bounds 4 >= 1 @ 51.6753
52.84/53.00 c GLOBAL bounds 4 >= 1 @ 51.6944
52.84/53.00 c GLOBAL bounds 4 >= 1 @ 51.6952
52.84/53.03 c GLOBAL bounds 4 >= 1 @ 51.7184
52.84/53.03 c GLOBAL bounds 4 >= 1 @ 51.7191
52.84/53.05 c GLOBAL bounds 4 >= 1 @ 51.7423
52.84/53.05 c GLOBAL bounds 4 >= 1 @ 51.7431
52.84/53.07 c GLOBAL bounds 4 >= 1 @ 51.7629
52.84/53.07 c GLOBAL bounds 4 >= 1 @ 51.7638
52.84/53.10 c GLOBAL bounds 4 >= 1 @ 51.7878
52.84/53.10 c GLOBAL bounds 4 >= 1 @ 51.7879
52.94/53.12 c GLOBAL bounds 4 >= 1 @ 51.8084
52.94/53.12 c GLOBAL bounds 4 >= 1 @ 51.8089
52.94/53.14 c GLOBAL bounds 4 >= 1 @ 51.8266
52.94/53.14 c GLOBAL bounds 4 >= 1 @ 51.8276
52.94/53.17 c GLOBAL bounds 4 >= 1 @ 51.851
52.94/53.17 c GLOBAL bounds 4 >= 1 @ 51.8518
52.94/53.19 c GLOBAL bounds 4 >= 1 @ 51.8715
52.94/53.19 c GLOBAL bounds 4 >= 1 @ 51.8723
52.94/53.19 c GLOBAL bounds 4 >= 1 @ 51.8727
52.94/53.19 c GLOBAL bounds 4 >= 1 @ 51.8735
52.94/53.19 c GLOBAL bounds 4 >= 1 @ 51.8736
53.03/53.22 c GLOBAL bounds 4 >= 1 @ 51.8955
53.03/53.24 c GLOBAL bounds 4 >= 1 @ 51.9164
53.03/53.26 c GLOBAL bounds 4 >= 1 @ 51.938
53.03/53.28 c GLOBAL bounds 4 >= 1 @ 51.9583
53.03/53.28 c GLOBAL bounds 4 >= 1 @ 51.9592
53.13/53.30 c GLOBAL bounds 4 >= 1 @ 51.98
53.13/53.30 c GLOBAL bounds 4 >= 1 @ 51.9805
53.13/53.33 c GLOBAL bounds 4 >= 1 @ 52.0037
53.13/53.33 c GLOBAL bounds 4 >= 1 @ 52.0046
53.13/53.35 c GLOBAL bounds 4 >= 1 @ 52.0252
53.13/53.35 c GLOBAL bounds 4 >= 1 @ 52.0254
53.13/53.37 c GLOBAL bounds 4 >= 1 @ 52.0488
53.13/53.37 c GLOBAL bounds 4 >= 1 @ 52.0493
53.24/53.40 c GLOBAL bounds 4 >= 1 @ 52.0759
53.24/53.40 c GLOBAL bounds 4 >= 1 @ 52.0762
53.24/53.43 c GLOBAL bounds 4 >= 1 @ 52.0983
53.24/53.43 c GLOBAL bounds 4 >= 1 @ 52.0991
53.24/53.45 c GLOBAL bounds 4 >= 1 @ 52.1214
53.24/53.45 c GLOBAL bounds 4 >= 1 @ 52.1223
53.24/53.48 c GLOBAL bounds 4 >= 1 @ 52.1481
53.24/53.48 c GLOBAL bounds 4 >= 1 @ 52.1481
53.33/53.50 c GLOBAL bounds 4 >= 1 @ 52.1715
53.33/53.50 c GLOBAL bounds 4 >= 1 @ 52.172
53.33/53.50 c GLOBAL bounds 4 >= 1 @ 52.1722
53.33/53.51 c GLOBAL bounds 4 >= 1 @ 52.173
53.33/53.51 c GLOBAL bounds 4 >= 1 @ 52.173
53.33/53.53 c GLOBAL bounds 4 >= 1 @ 52.1966
53.33/53.55 c GLOBAL bounds 4 >= 1 @ 52.22
53.33/53.58 c GLOBAL bounds 4 >= 1 @ 52.2428
53.44/53.60 c GLOBAL bounds 4 >= 1 @ 52.2651
53.44/53.60 c GLOBAL bounds 4 >= 1 @ 52.266
53.44/53.63 c GLOBAL bounds 4 >= 1 @ 52.2901
53.44/53.63 c GLOBAL bounds 4 >= 1 @ 52.2907
53.44/53.66 c GLOBAL bounds 4 >= 1 @ 52.3156
53.44/53.66 c GLOBAL bounds 4 >= 1 @ 52.3156
53.44/53.69 c GLOBAL bounds 4 >= 1 @ 52.3482
53.44/53.69 c GLOBAL bounds 4 >= 1 @ 52.3485
53.53/53.71 c GLOBAL bounds 4 >= 1 @ 52.3687
53.53/53.71 c GLOBAL bounds 4 >= 1 @ 52.3696
53.53/53.74 c GLOBAL bounds 4 >= 1 @ 52.3938
53.53/53.74 c GLOBAL bounds 4 >= 1 @ 52.3944
53.53/53.76 c GLOBAL bounds 4 >= 1 @ 52.4135
53.53/53.76 c GLOBAL bounds 4 >= 1 @ 52.4144
53.53/53.78 c GLOBAL bounds 4 >= 1 @ 52.4346
53.53/53.78 c GLOBAL bounds 4 >= 1 @ 52.4353
53.64/53.81 c GLOBAL bounds 4 >= 1 @ 52.4585
53.64/53.81 c GLOBAL bounds 4 >= 1 @ 52.4593
53.64/53.83 c GLOBAL bounds 4 >= 1 @ 52.478
53.64/53.83 c GLOBAL bounds 4 >= 1 @ 52.4782
53.64/53.83 c GLOBAL bounds 4 >= 1 @ 52.479
53.64/53.83 c GLOBAL bounds 4 >= 1 @ 52.4802
53.64/53.83 c GLOBAL bounds 4 >= 1 @ 52.4802
53.64/53.87 c GLOBAL bounds 4 >= 1 @ 52.5225
53.64/53.89 c GLOBAL bounds 4 >= 1 @ 52.5433
53.73/53.92 c GLOBAL bounds 4 >= 1 @ 52.5652
53.73/53.94 c GLOBAL bounds 4 >= 1 @ 52.5851
53.73/53.94 c GLOBAL bounds 4 >= 1 @ 52.586
53.73/53.96 c GLOBAL bounds 4 >= 1 @ 52.6064
53.73/53.96 c GLOBAL bounds 4 >= 1 @ 52.6069
53.73/53.98 c GLOBAL bounds 4 >= 1 @ 52.6293
53.73/53.98 c GLOBAL bounds 4 >= 1 @ 52.6299
53.84/54.01 c GLOBAL bounds 4 >= 1 @ 52.6578
53.84/54.01 c GLOBAL bounds 4 >= 1 @ 52.6587
53.84/54.04 c GLOBAL bounds 4 >= 1 @ 52.679
53.84/54.04 c GLOBAL bounds 4 >= 1 @ 52.68
53.84/54.06 c GLOBAL bounds 4 >= 1 @ 52.7034
53.84/54.06 c GLOBAL bounds 4 >= 1 @ 52.7044
53.84/54.08 c GLOBAL bounds 4 >= 1 @ 52.7248
53.84/54.08 c GLOBAL bounds 4 >= 1 @ 52.7256
53.94/54.10 c GLOBAL bounds 4 >= 1 @ 52.7431
53.94/54.10 c GLOBAL bounds 4 >= 1 @ 52.7441
53.94/54.13 c GLOBAL bounds 4 >= 1 @ 52.7668
53.94/54.13 c GLOBAL bounds 4 >= 1 @ 52.7678
53.94/54.15 c GLOBAL bounds 4 >= 1 @ 52.7872
53.94/54.15 c GLOBAL bounds 4 >= 1 @ 52.7881
53.94/54.15 c GLOBAL bounds 4 >= 1 @ 52.789
53.94/54.15 c GLOBAL bounds 4 >= 1 @ 52.7902
53.94/54.15 c GLOBAL bounds 4 >= 1 @ 52.7903
53.94/54.18 c GLOBAL bounds 4 >= 1 @ 52.8122
54.03/54.20 c GLOBAL bounds 4 >= 1 @ 52.8331
54.03/54.22 c GLOBAL bounds 4 >= 1 @ 52.8539
54.03/54.24 c GLOBAL bounds 4 >= 1 @ 52.8743
54.03/54.24 c GLOBAL bounds 4 >= 1 @ 52.8752
54.03/54.26 c GLOBAL bounds 4 >= 1 @ 52.8974
54.03/54.26 c GLOBAL bounds 4 >= 1 @ 52.8982
54.03/54.28 c GLOBAL bounds 4 >= 1 @ 52.9184
54.03/54.28 c GLOBAL bounds 4 >= 1 @ 52.9191
54.14/54.31 c GLOBAL bounds 4 >= 1 @ 52.9431
54.14/54.31 c GLOBAL bounds 4 >= 1 @ 52.9439
54.14/54.33 c GLOBAL bounds 4 >= 1 @ 52.9627
54.14/54.33 c GLOBAL bounds 4 >= 1 @ 52.9636
54.14/54.36 c GLOBAL bounds 4 >= 1 @ 52.9866
54.14/54.36 c GLOBAL bounds 4 >= 1 @ 52.9876
54.14/54.38 c GLOBAL bounds 4 >= 1 @ 53.0059
54.14/54.38 c GLOBAL bounds 4 >= 1 @ 53.0068
54.23/54.40 c GLOBAL bounds 4 >= 1 @ 53.0276
54.23/54.40 c GLOBAL bounds 4 >= 1 @ 53.0286
54.23/54.43 c GLOBAL bounds 4 >= 1 @ 53.0544
54.23/54.43 c GLOBAL bounds 4 >= 1 @ 53.0553
54.23/54.45 c GLOBAL bounds 4 >= 1 @ 53.074
54.23/54.45 c GLOBAL bounds 4 >= 1 @ 53.0747
54.23/54.45 c GLOBAL bounds 4 >= 1 @ 53.0747
54.23/54.45 c GLOBAL bounds 4 >= 1 @ 53.0752
54.23/54.45 c GLOBAL bounds 4 >= 1 @ 53.0753
54.23/54.47 c GLOBAL bounds 4 >= 1 @ 53.0966
54.23/54.50 c GLOBAL bounds 4 >= 1 @ 53.1177
54.33/54.52 c GLOBAL bounds 4 >= 1 @ 53.1379
54.33/54.54 c GLOBAL bounds 4 >= 1 @ 53.1577
54.33/54.54 c GLOBAL bounds 4 >= 1 @ 53.1585
54.33/54.56 c GLOBAL bounds 4 >= 1 @ 53.179
54.33/54.56 c GLOBAL bounds 4 >= 1 @ 53.1795
54.33/54.58 c GLOBAL bounds 4 >= 1 @ 53.2015
54.33/54.58 c GLOBAL bounds 4 >= 1 @ 53.2023
54.43/54.61 c GLOBAL bounds 4 >= 1 @ 53.2289
54.43/54.61 c GLOBAL bounds 4 >= 1 @ 53.2293
54.43/54.63 c GLOBAL bounds 4 >= 1 @ 53.2483
54.43/54.64 c GLOBAL bounds 4 >= 1 @ 53.2492
54.43/54.66 c GLOBAL bounds 4 >= 1 @ 53.273
54.43/54.66 c GLOBAL bounds 4 >= 1 @ 53.274
54.43/54.68 c GLOBAL bounds 4 >= 1 @ 53.2935
54.43/54.68 c GLOBAL bounds 4 >= 1 @ 53.2942
54.53/54.70 c GLOBAL bounds 4 >= 1 @ 53.3128
54.53/54.70 c GLOBAL bounds 4 >= 1 @ 53.3137
54.53/54.72 c GLOBAL bounds 4 >= 1 @ 53.3341
54.53/54.72 c GLOBAL bounds 4 >= 1 @ 53.3351
54.53/54.74 c GLOBAL bounds 4 >= 1 @ 53.3557
54.53/54.75 c GLOBAL bounds 4 >= 1 @ 53.356
54.53/54.75 c GLOBAL bounds 4 >= 1 @ 53.3567
54.53/54.75 c GLOBAL bounds 4 >= 1 @ 53.358
54.53/54.75 c GLOBAL bounds 4 >= 1 @ 53.358
54.53/54.77 c GLOBAL bounds 4 >= 1 @ 53.3806
54.53/54.79 c GLOBAL bounds 4 >= 1 @ 53.4006
54.63/54.81 c GLOBAL bounds 4 >= 1 @ 53.4225
54.63/54.84 c GLOBAL bounds 4 >= 1 @ 53.4431
54.63/54.84 c GLOBAL bounds 4 >= 1 @ 53.4438
54.63/54.86 c GLOBAL bounds 4 >= 1 @ 53.462
54.63/54.86 c GLOBAL bounds 4 >= 1 @ 53.4627
54.63/54.88 c GLOBAL bounds 4 >= 1 @ 53.4863
54.63/54.88 c GLOBAL bounds 4 >= 1 @ 53.4872
54.74/54.91 c GLOBAL bounds 4 >= 1 @ 53.5117
54.74/54.91 c GLOBAL bounds 4 >= 1 @ 53.5125
54.74/54.93 c GLOBAL bounds 4 >= 1 @ 53.5332
54.74/54.93 c GLOBAL bounds 4 >= 1 @ 53.5341
54.74/54.95 c GLOBAL bounds 4 >= 1 @ 53.5583
54.74/54.96 c GLOBAL bounds 4 >= 1 @ 53.5585
54.74/54.98 c GLOBAL bounds 4 >= 1 @ 53.5775
54.74/54.98 c GLOBAL bounds 4 >= 1 @ 53.5784
54.74/55.00 c GLOBAL bounds 4 >= 1 @ 53.5976
54.74/55.00 c GLOBAL bounds 4 >= 1 @ 53.5986
54.84/55.02 c GLOBAL bounds 4 >= 1 @ 53.6222
54.84/55.02 c GLOBAL bounds 4 >= 1 @ 53.6232
54.84/55.04 c GLOBAL bounds 4 >= 1 @ 53.6439
54.84/55.05 c GLOBAL bounds 4 >= 1 @ 53.6447
54.84/55.05 c GLOBAL bounds 4 >= 1 @ 53.6456
54.84/55.05 c GLOBAL bounds 4 >= 1 @ 53.6469
54.84/55.05 c GLOBAL bounds 4 >= 1 @ 53.6469
54.84/55.07 c GLOBAL bounds 4 >= 1 @ 53.669
54.84/55.09 c GLOBAL bounds 4 >= 1 @ 53.6895
54.93/55.12 c GLOBAL bounds 4 >= 1 @ 53.711
54.93/55.14 c GLOBAL bounds 4 >= 1 @ 53.7319
54.93/55.14 c GLOBAL bounds 4 >= 1 @ 53.7328
54.93/55.16 c GLOBAL bounds 4 >= 1 @ 53.7527
54.93/55.16 c GLOBAL bounds 4 >= 1 @ 53.7536
54.93/55.18 c GLOBAL bounds 4 >= 1 @ 53.7779
54.93/55.18 c GLOBAL bounds 4 >= 1 @ 53.7787
55.03/55.21 c GLOBAL bounds 4 >= 1 @ 53.803
55.03/55.21 c GLOBAL bounds 4 >= 1 @ 53.8039
55.03/55.23 c GLOBAL bounds 4 >= 1 @ 53.8246
55.03/55.23 c GLOBAL bounds 4 >= 1 @ 53.8255
55.03/55.26 c GLOBAL bounds 4 >= 1 @ 53.8482
55.03/55.26 c GLOBAL bounds 4 >= 1 @ 53.8487
55.03/55.28 c GLOBAL bounds 4 >= 1 @ 53.869
55.03/55.28 c GLOBAL bounds 4 >= 1 @ 53.8696
55.13/55.30 c GLOBAL bounds 4 >= 1 @ 53.8884
55.13/55.30 c GLOBAL bounds 4 >= 1 @ 53.8886
55.13/55.32 c GLOBAL bounds 4 >= 1 @ 53.9129
55.13/55.33 c GLOBAL bounds 4 >= 1 @ 53.9138
55.13/55.35 c GLOBAL bounds 4 >= 1 @ 53.9344
55.13/55.35 c GLOBAL bounds 4 >= 1 @ 53.9345
55.13/55.35 c GLOBAL bounds 4 >= 1 @ 53.9354
55.13/55.35 c GLOBAL bounds 4 >= 1 @ 53.9365
55.13/55.35 c GLOBAL bounds 4 >= 1 @ 53.9365
55.13/55.37 c GLOBAL bounds 4 >= 1 @ 53.9572
55.13/55.39 c GLOBAL bounds 4 >= 1 @ 53.9768
55.23/55.41 c GLOBAL bounds 4 >= 1 @ 53.9976
55.23/55.44 c GLOBAL bounds 4 >= 1 @ 54.0186
55.23/55.44 c GLOBAL bounds 4 >= 1 @ 54.0195
55.23/55.46 c GLOBAL bounds 4 >= 1 @ 54.04
55.23/55.46 c GLOBAL bounds 4 >= 1 @ 54.0409
55.23/55.48 c GLOBAL bounds 4 >= 1 @ 54.0666
55.23/55.49 c GLOBAL bounds 4 >= 1 @ 54.0671
55.33/55.51 c GLOBAL bounds 4 >= 1 @ 54.0907
55.33/55.51 c GLOBAL bounds 4 >= 1 @ 54.0911
55.33/55.53 c GLOBAL bounds 4 >= 1 @ 54.1111
55.33/55.53 c GLOBAL bounds 4 >= 1 @ 54.112
55.33/55.56 c GLOBAL bounds 4 >= 1 @ 54.1356
55.33/55.56 c GLOBAL bounds 4 >= 1 @ 54.1366
55.33/55.58 c GLOBAL bounds 4 >= 1 @ 54.1571
55.33/55.58 c GLOBAL bounds 4 >= 1 @ 54.1579
55.43/55.60 c GLOBAL bounds 4 >= 1 @ 54.1756
55.43/55.60 c GLOBAL bounds 4 >= 1 @ 54.1759
55.43/55.62 c GLOBAL bounds 4 >= 1 @ 54.1985
55.43/55.62 c GLOBAL bounds 4 >= 1 @ 54.1988
55.43/55.65 c GLOBAL bounds 4 >= 1 @ 54.2175
55.43/55.65 c GLOBAL bounds 4 >= 1 @ 54.2178
55.43/55.65 c GLOBAL bounds 4 >= 1 @ 54.2185
55.43/55.65 c GLOBAL bounds 4 >= 1 @ 54.2188
55.43/55.65 c GLOBAL bounds 4 >= 1 @ 54.2188
55.43/55.67 c GLOBAL bounds 4 >= 1 @ 54.2419
55.43/55.69 c GLOBAL bounds 4 >= 1 @ 54.2618
55.53/55.72 c GLOBAL bounds 4 >= 1 @ 54.2838
55.53/55.74 c GLOBAL bounds 4 >= 1 @ 54.3035
55.53/55.74 c GLOBAL bounds 4 >= 1 @ 54.3044
55.53/55.76 c GLOBAL bounds 4 >= 1 @ 54.3259
55.53/55.76 c GLOBAL bounds 4 >= 1 @ 54.3268
56.33/56.50 c #Conflicts: 27000 | #Constraints: 7686
56.33/56.50 c GLOBAL bounds 4 >= 1 @ 55.0539
56.33/56.50 c GLOBAL bounds 4 >= 1 @ 55.0548
56.93/57.11 c #Conflicts: 28000 | #Constraints: 9026
56.93/57.11 c GLOBAL bounds 4 >= 1 @ 55.6534
56.93/57.11 c GLOBAL bounds 4 >= 1 @ 55.6538
56.93/57.15 c GLOBAL bounds 4 >= 1 @ 55.6908
56.93/57.15 c GLOBAL bounds 4 >= 1 @ 55.6917
57.82/58.05 c GLOBAL bounds 4 >= 1 @ 56.5697
57.82/58.05 c GLOBAL bounds 4 >= 1 @ 56.5707
57.93/58.10 c GLOBAL bounds 4 >= 1 @ 56.6247
57.93/58.10 c GLOBAL bounds 4 >= 1 @ 56.6256
57.93/58.13 c GLOBAL bounds 4 >= 1 @ 56.6515
57.93/58.13 c GLOBAL bounds 4 >= 1 @ 56.6525
57.93/58.17 c GLOBAL bounds 4 >= 1 @ 56.6926
57.93/58.17 c GLOBAL bounds 4 >= 1 @ 56.6933
58.02/58.24 c GLOBAL bounds 4 >= 1 @ 56.7511
58.02/58.24 c GLOBAL bounds 4 >= 1 @ 56.7511
58.02/58.24 c GLOBAL bounds 4 >= 1 @ 56.7519
58.02/58.24 c GLOBAL bounds 4 >= 1 @ 56.7533
58.02/58.24 c GLOBAL bounds 4 >= 1 @ 56.7533
58.02/58.27 c GLOBAL bounds 4 >= 1 @ 56.7791
58.02/58.29 c GLOBAL bounds 4 >= 1 @ 56.8027
58.12/58.32 c GLOBAL bounds 4 >= 1 @ 56.8281
58.12/58.34 c GLOBAL bounds 4 >= 1 @ 56.8521
58.12/58.34 c GLOBAL bounds 4 >= 1 @ 56.853
58.12/58.37 c GLOBAL bounds 4 >= 1 @ 56.8775
58.12/58.37 c GLOBAL bounds 4 >= 1 @ 56.8777
58.22/58.40 c GLOBAL bounds 4 >= 1 @ 56.905
58.22/58.40 c GLOBAL bounds 4 >= 1 @ 56.9059
58.22/58.43 c GLOBAL bounds 4 >= 1 @ 56.9383
58.22/58.43 c GLOBAL bounds 4 >= 1 @ 56.9392
58.22/58.46 c GLOBAL bounds 4 >= 1 @ 56.9637
58.22/58.46 c GLOBAL bounds 4 >= 1 @ 56.9644
58.22/58.49 c GLOBAL bounds 4 >= 1 @ 56.9918
58.22/58.49 c GLOBAL bounds 4 >= 1 @ 56.9928
58.32/58.51 c GLOBAL bounds 4 >= 1 @ 57.0172
58.32/58.51 c GLOBAL bounds 4 >= 1 @ 57.0173
58.32/58.54 c GLOBAL bounds 4 >= 1 @ 57.0394
58.32/58.54 c GLOBAL bounds 4 >= 1 @ 57.0404
58.32/58.57 c GLOBAL bounds 4 >= 1 @ 57.0683
58.32/58.57 c GLOBAL bounds 4 >= 1 @ 57.0693
58.32/58.59 c GLOBAL bounds 4 >= 1 @ 57.0936
58.32/58.59 c GLOBAL bounds 4 >= 1 @ 57.0941
58.42/58.60 c GLOBAL bounds 4 >= 1 @ 57.0946
58.42/58.60 c GLOBAL bounds 4 >= 1 @ 57.0951
58.42/58.60 c GLOBAL bounds 4 >= 1 @ 57.0951
58.42/58.62 c GLOBAL bounds 4 >= 1 @ 57.1219
58.42/58.65 c GLOBAL bounds 4 >= 1 @ 57.1468
58.42/58.67 c GLOBAL bounds 4 >= 1 @ 57.1711
58.52/58.70 c GLOBAL bounds 4 >= 1 @ 57.1956
58.52/58.70 c GLOBAL bounds 4 >= 1 @ 57.1965
58.52/58.72 c GLOBAL bounds 4 >= 1 @ 57.2222
58.52/58.73 c GLOBAL bounds 4 >= 1 @ 57.2231
58.52/58.75 c GLOBAL bounds 4 >= 1 @ 57.2509
58.52/58.75 c GLOBAL bounds 4 >= 1 @ 57.2516
58.52/58.78 c GLOBAL bounds 4 >= 1 @ 57.2787
58.52/58.78 c GLOBAL bounds 4 >= 1 @ 57.2796
58.62/58.81 c GLOBAL bounds 4 >= 1 @ 57.3044
58.62/58.81 c GLOBAL bounds 4 >= 1 @ 57.3053
58.62/58.84 c GLOBAL bounds 4 >= 1 @ 57.3312
58.62/58.84 c GLOBAL bounds 4 >= 1 @ 57.3322
58.62/58.86 c GLOBAL bounds 4 >= 1 @ 57.3567
58.62/58.86 c GLOBAL bounds 4 >= 1 @ 57.3573
58.62/58.89 c GLOBAL bounds 4 >= 1 @ 57.3814
58.62/58.89 c GLOBAL bounds 4 >= 1 @ 57.3824
58.72/58.92 c GLOBAL bounds 4 >= 1 @ 57.4111
58.72/58.92 c GLOBAL bounds 4 >= 1 @ 57.4112
58.72/58.94 c GLOBAL bounds 4 >= 1 @ 57.4355
58.72/58.94 c GLOBAL bounds 4 >= 1 @ 57.4365
58.72/58.95 c GLOBAL bounds 4 >= 1 @ 57.4371
58.72/58.95 c GLOBAL bounds 4 >= 1 @ 57.4377
58.72/58.95 c GLOBAL bounds 4 >= 1 @ 57.4377
58.72/58.97 c GLOBAL bounds 4 >= 1 @ 57.4656
58.72/59.00 c GLOBAL bounds 4 >= 1 @ 57.4899
58.83/59.03 c GLOBAL bounds 4 >= 1 @ 57.5152
58.83/59.05 c GLOBAL bounds 4 >= 1 @ 57.5378
58.83/59.05 c GLOBAL bounds 4 >= 1 @ 57.5387
58.83/59.08 c GLOBAL bounds 4 >= 1 @ 57.5651
58.83/59.08 c GLOBAL bounds 4 >= 1 @ 57.5656
58.92/59.11 c GLOBAL bounds 4 >= 1 @ 57.5923
58.92/59.11 c GLOBAL bounds 4 >= 1 @ 57.5925
58.92/59.14 c GLOBAL bounds 4 >= 1 @ 57.6204
58.92/59.14 c GLOBAL bounds 4 >= 1 @ 57.6213
58.92/59.16 c GLOBAL bounds 4 >= 1 @ 57.6448
58.92/59.16 c GLOBAL bounds 4 >= 1 @ 57.6457
58.92/59.19 c GLOBAL bounds 4 >= 1 @ 57.6732
58.92/59.19 c GLOBAL bounds 4 >= 1 @ 57.6743
59.01/59.22 c GLOBAL bounds 4 >= 1 @ 57.6977
59.01/59.22 c GLOBAL bounds 4 >= 1 @ 57.6982
59.01/59.24 c GLOBAL bounds 4 >= 1 @ 57.7223
59.01/59.24 c GLOBAL bounds 4 >= 1 @ 57.7231
59.01/59.27 c GLOBAL bounds 4 >= 1 @ 57.7489
59.01/59.27 c GLOBAL bounds 4 >= 1 @ 57.7499
59.12/59.30 c GLOBAL bounds 4 >= 1 @ 57.7748
59.12/59.30 c GLOBAL bounds 4 >= 1 @ 57.7757
59.12/59.30 c GLOBAL bounds 4 >= 1 @ 57.776
59.12/59.30 c GLOBAL bounds 4 >= 1 @ 57.777
59.12/59.30 c GLOBAL bounds 4 >= 1 @ 57.777
59.12/59.33 c GLOBAL bounds 4 >= 1 @ 57.8033
59.12/59.36 c GLOBAL bounds 4 >= 1 @ 57.8284
59.12/59.38 c GLOBAL bounds 4 >= 1 @ 57.8538
59.22/59.41 c GLOBAL bounds 4 >= 1 @ 57.8765
59.22/59.41 c GLOBAL bounds 4 >= 1 @ 57.8767
59.22/59.43 c GLOBAL bounds 4 >= 1 @ 57.9023
59.22/59.44 c GLOBAL bounds 4 >= 1 @ 57.9026
59.22/59.46 c GLOBAL bounds 4 >= 1 @ 57.9302
59.22/59.47 c GLOBAL bounds 4 >= 1 @ 57.9305
59.22/59.49 c GLOBAL bounds 4 >= 1 @ 57.9588
59.22/59.50 c GLOBAL bounds 4 >= 1 @ 57.9597
59.32/59.52 c GLOBAL bounds 4 >= 1 @ 57.9842
59.32/59.52 c GLOBAL bounds 4 >= 1 @ 57.9851
59.32/59.55 c GLOBAL bounds 4 >= 1 @ 58.0128
59.32/59.55 c GLOBAL bounds 4 >= 1 @ 58.0133
59.32/59.58 c GLOBAL bounds 4 >= 1 @ 58.0366
59.32/59.58 c GLOBAL bounds 4 >= 1 @ 58.0375
59.41/59.60 c GLOBAL bounds 4 >= 1 @ 58.0622
59.41/59.60 c GLOBAL bounds 4 >= 1 @ 58.0632
59.41/59.63 c GLOBAL bounds 4 >= 1 @ 58.0941
59.41/59.64 c GLOBAL bounds 4 >= 1 @ 58.0951
59.41/59.66 c GLOBAL bounds 4 >= 1 @ 58.1195
59.41/59.66 c GLOBAL bounds 4 >= 1 @ 58.12
59.41/59.66 c GLOBAL bounds 4 >= 1 @ 58.12
59.41/59.66 c GLOBAL bounds 4 >= 1 @ 58.1207
59.41/59.66 c GLOBAL bounds 4 >= 1 @ 58.1207
59.41/59.69 c GLOBAL bounds 4 >= 1 @ 58.1471
59.52/59.72 c GLOBAL bounds 4 >= 1 @ 58.1727
59.52/59.74 c GLOBAL bounds 4 >= 1 @ 58.1992
59.52/59.77 c GLOBAL bounds 4 >= 1 @ 58.2241
59.52/59.77 c GLOBAL bounds 4 >= 1 @ 58.225
59.52/59.79 c GLOBAL bounds 4 >= 1 @ 58.2482
59.52/59.80 c GLOBAL bounds 4 >= 1 @ 58.249
59.62/59.82 c GLOBAL bounds 4 >= 1 @ 58.2776
59.62/59.82 c GLOBAL bounds 4 >= 1 @ 58.2784
59.62/59.85 c GLOBAL bounds 4 >= 1 @ 58.3063
59.62/59.85 c GLOBAL bounds 4 >= 1 @ 58.3071
59.62/59.88 c GLOBAL bounds 4 >= 1 @ 58.3317
59.62/59.88 c GLOBAL bounds 4 >= 1 @ 58.3326
59.71/59.91 c GLOBAL bounds 4 >= 1 @ 58.36
59.71/59.91 c GLOBAL bounds 4 >= 1 @ 58.361
59.71/59.93 c GLOBAL bounds 4 >= 1 @ 58.3856
59.71/59.93 c GLOBAL bounds 4 >= 1 @ 58.3862
59.71/59.96 c GLOBAL bounds 4 >= 1 @ 58.4103
59.71/59.96 c GLOBAL bounds 4 >= 1 @ 58.4111
59.71/59.99 c GLOBAL bounds 4 >= 1 @ 58.4379
59.71/59.99 c GLOBAL bounds 4 >= 1 @ 58.4389
59.82/60.01 c GLOBAL bounds 4 >= 1 @ 58.4636
59.82/60.01 c GLOBAL bounds 4 >= 1 @ 58.4639
59.82/60.02 c GLOBAL bounds 4 >= 1 @ 58.4647
59.82/60.02 c GLOBAL bounds 4 >= 1 @ 58.4659
59.82/60.02 c GLOBAL bounds 4 >= 1 @ 58.4659
59.82/60.04 c GLOBAL bounds 4 >= 1 @ 58.4926
59.82/60.07 c GLOBAL bounds 4 >= 1 @ 58.5164
59.82/60.10 c GLOBAL bounds 4 >= 1 @ 58.5409
59.92/60.12 c GLOBAL bounds 4 >= 1 @ 58.5659
59.92/60.12 c GLOBAL bounds 4 >= 1 @ 58.5668
59.92/60.15 c GLOBAL bounds 4 >= 1 @ 58.5933
59.92/60.15 c GLOBAL bounds 4 >= 1 @ 58.5942
59.92/60.18 c GLOBAL bounds 4 >= 1 @ 58.6237
59.92/60.18 c GLOBAL bounds 4 >= 1 @ 58.6244
60.02/60.21 c GLOBAL bounds 4 >= 1 @ 58.6516
60.02/60.21 c GLOBAL bounds 4 >= 1 @ 58.6524
60.02/60.23 c GLOBAL bounds 4 >= 1 @ 58.6762
60.02/60.23 c GLOBAL bounds 4 >= 1 @ 58.6763
60.02/60.26 c GLOBAL bounds 4 >= 1 @ 58.7038
60.02/60.26 c GLOBAL bounds 4 >= 1 @ 58.7049
60.02/60.29 c GLOBAL bounds 4 >= 1 @ 58.7298
60.02/60.29 c GLOBAL bounds 4 >= 1 @ 58.7307
60.11/60.32 c GLOBAL bounds 4 >= 1 @ 58.7543
60.11/60.32 c GLOBAL bounds 4 >= 1 @ 58.7553
60.11/60.34 c GLOBAL bounds 4 >= 1 @ 58.7824
60.11/60.35 c GLOBAL bounds 4 >= 1 @ 58.783
60.11/60.37 c GLOBAL bounds 4 >= 1 @ 58.8058
60.11/60.37 c GLOBAL bounds 4 >= 1 @ 58.8068
60.11/60.37 c GLOBAL bounds 4 >= 1 @ 58.8079
60.11/60.37 c GLOBAL bounds 4 >= 1 @ 58.8092
60.11/60.37 c GLOBAL bounds 4 >= 1 @ 58.8092
60.22/60.40 c GLOBAL bounds 4 >= 1 @ 58.836
60.22/60.43 c GLOBAL bounds 4 >= 1 @ 58.8609
60.22/60.45 c GLOBAL bounds 4 >= 1 @ 58.8864
60.22/60.48 c GLOBAL bounds 4 >= 1 @ 58.9114
60.22/60.48 c GLOBAL bounds 4 >= 1 @ 58.9123
60.31/60.51 c GLOBAL bounds 4 >= 1 @ 58.9378
60.31/60.51 c GLOBAL bounds 4 >= 1 @ 58.9387
60.31/60.54 c GLOBAL bounds 4 >= 1 @ 58.9682
60.31/60.54 c GLOBAL bounds 4 >= 1 @ 58.9691
60.31/60.57 c GLOBAL bounds 4 >= 1 @ 58.9953
60.31/60.57 c GLOBAL bounds 4 >= 1 @ 58.9954
60.31/60.59 c GLOBAL bounds 4 >= 1 @ 59.0169
60.31/60.59 c GLOBAL bounds 4 >= 1 @ 59.0173
60.42/60.62 c GLOBAL bounds 4 >= 1 @ 59.0483
60.42/60.63 c GLOBAL bounds 4 >= 1 @ 59.0492
60.42/60.65 c GLOBAL bounds 4 >= 1 @ 59.0755
60.42/60.65 c GLOBAL bounds 4 >= 1 @ 59.0761
60.42/60.68 c GLOBAL bounds 4 >= 1 @ 59.1028
60.42/60.68 c GLOBAL bounds 4 >= 1 @ 59.1038
60.51/60.71 c GLOBAL bounds 4 >= 1 @ 59.1345
60.51/60.71 c GLOBAL bounds 4 >= 1 @ 59.1355
60.51/60.74 c GLOBAL bounds 4 >= 1 @ 59.1619
60.51/60.74 c GLOBAL bounds 4 >= 1 @ 59.1627
60.51/60.74 c GLOBAL bounds 4 >= 1 @ 59.1628
60.51/60.74 c GLOBAL bounds 4 >= 1 @ 59.1641
60.51/60.74 c GLOBAL bounds 4 >= 1 @ 59.1642
60.51/60.78 c GLOBAL bounds 4 >= 1 @ 59.1933
60.61/60.80 c GLOBAL bounds 4 >= 1 @ 59.221
60.61/60.83 c GLOBAL bounds 4 >= 1 @ 59.2489
60.61/60.86 c GLOBAL bounds 4 >= 1 @ 59.2759
60.61/60.86 c GLOBAL bounds 4 >= 1 @ 59.2765
60.61/60.89 c GLOBAL bounds 4 >= 1 @ 59.3041
60.61/60.89 c GLOBAL bounds 4 >= 1 @ 59.3041
60.71/60.92 c GLOBAL bounds 4 >= 1 @ 59.3327
60.71/60.92 c GLOBAL bounds 4 >= 1 @ 59.3336
60.71/60.97 c GLOBAL bounds 4 >= 1 @ 59.3739
60.71/60.97 c GLOBAL bounds 4 >= 1 @ 59.3747
60.71/60.99 c GLOBAL bounds 4 >= 1 @ 59.3994
60.71/60.99 c GLOBAL bounds 4 >= 1 @ 59.4003
60.82/61.02 c GLOBAL bounds 4 >= 1 @ 59.4275
60.82/61.02 c GLOBAL bounds 4 >= 1 @ 59.4276
60.82/61.05 c GLOBAL bounds 4 >= 1 @ 59.4513
60.82/61.05 c GLOBAL bounds 4 >= 1 @ 59.4514
60.82/61.07 c GLOBAL bounds 4 >= 1 @ 59.4751
60.82/61.07 c GLOBAL bounds 4 >= 1 @ 59.4753
60.92/61.10 c GLOBAL bounds 4 >= 1 @ 59.5029
60.92/61.10 c GLOBAL bounds 4 >= 1 @ 59.5039
60.92/61.13 c GLOBAL bounds 4 >= 1 @ 59.5276
60.92/61.13 c GLOBAL bounds 4 >= 1 @ 59.528
60.92/61.13 c GLOBAL bounds 4 >= 1 @ 59.5287
60.92/61.13 c GLOBAL bounds 4 >= 1 @ 59.53
60.92/61.13 c GLOBAL bounds 4 >= 1 @ 59.5301
60.92/61.16 c GLOBAL bounds 4 >= 1 @ 59.5564
60.92/61.18 c GLOBAL bounds 4 >= 1 @ 59.5803
61.01/61.21 c GLOBAL bounds 4 >= 1 @ 59.6051
61.01/61.23 c GLOBAL bounds 4 >= 1 @ 59.6282
61.01/61.24 c GLOBAL bounds 4 >= 1 @ 59.6283
61.01/61.26 c GLOBAL bounds 4 >= 1 @ 59.6549
61.01/61.26 c GLOBAL bounds 4 >= 1 @ 59.6558
61.01/61.29 c GLOBAL bounds 4 >= 1 @ 59.6835
61.01/61.29 c GLOBAL bounds 4 >= 1 @ 59.684
61.11/61.32 c GLOBAL bounds 4 >= 1 @ 59.7122
61.11/61.32 c GLOBAL bounds 4 >= 1 @ 59.7127
61.11/61.35 c GLOBAL bounds 4 >= 1 @ 59.7362
61.11/61.35 c GLOBAL bounds 4 >= 1 @ 59.7372
61.11/61.38 c GLOBAL bounds 4 >= 1 @ 59.7654
61.11/61.38 c GLOBAL bounds 4 >= 1 @ 59.7663
61.21/61.41 c GLOBAL bounds 4 >= 1 @ 59.7902
61.21/61.41 c GLOBAL bounds 4 >= 1 @ 59.7911
61.21/61.43 c GLOBAL bounds 4 >= 1 @ 59.8147
61.21/61.43 c GLOBAL bounds 4 >= 1 @ 59.8157
61.21/61.46 c GLOBAL bounds 4 >= 1 @ 59.8444
61.21/61.46 c GLOBAL bounds 4 >= 1 @ 59.8449
61.21/61.49 c GLOBAL bounds 4 >= 1 @ 59.8679
61.21/61.49 c GLOBAL bounds 4 >= 1 @ 59.8688
61.21/61.49 c GLOBAL bounds 4 >= 1 @ 59.8698
61.21/61.49 c GLOBAL bounds 4 >= 1 @ 59.8711
61.21/61.49 c GLOBAL bounds 4 >= 1 @ 59.8712
61.30/61.52 c GLOBAL bounds 4 >= 1 @ 59.8998
61.30/61.54 c #Conflicts: 29000 | #Constraints: 10529
61.30/61.54 c GLOBAL bounds 4 >= 1 @ 59.9252
61.40/61.63 c INPROCESSING
61.40/61.63 c GARBAGE COLLECT
61.40/61.63 c rational objective 1
62.30/62.59 c GLOBAL bounds 4 >= 1 @ 60.9655
62.41/62.61 c GLOBAL bounds 4 >= 1 @ 60.9842
62.41/62.61 c GLOBAL bounds 4 >= 1 @ 60.9851
62.41/62.63 c GLOBAL bounds 4 >= 1 @ 61.0037
62.41/62.63 c GLOBAL bounds 4 >= 1 @ 61.0046
62.41/62.65 c GLOBAL bounds 4 >= 1 @ 61.0267
62.41/62.65 c GLOBAL bounds 4 >= 1 @ 61.0276
62.41/62.68 c GLOBAL bounds 4 >= 1 @ 61.0513
62.41/62.68 c GLOBAL bounds 4 >= 1 @ 61.0518
62.50/62.70 c GLOBAL bounds 4 >= 1 @ 61.0688
62.50/62.70 c GLOBAL bounds 4 >= 1 @ 61.0698
62.60/62.81 c GLOBAL bounds 4 >= 1 @ 61.173
62.60/62.81 c GLOBAL bounds 4 >= 1 @ 61.174
62.60/62.83 c GLOBAL bounds 4 >= 1 @ 61.1925
62.60/62.83 c GLOBAL bounds 4 >= 1 @ 61.1934
62.60/62.85 c GLOBAL bounds 4 >= 1 @ 61.2119
62.60/62.85 c GLOBAL bounds 4 >= 1 @ 61.2129
62.60/62.87 c GLOBAL bounds 4 >= 1 @ 61.2349
62.60/62.88 c GLOBAL bounds 4 >= 1 @ 61.2359
62.60/62.89 c GLOBAL bounds 4 >= 1 @ 61.2545
62.60/62.90 c GLOBAL bounds 4 >= 1 @ 61.2551
62.70/62.90 c GLOBAL bounds 4 >= 1 @ 61.2551
62.70/62.90 c GLOBAL bounds 4 >= 1 @ 61.2557
62.70/62.90 c GLOBAL bounds 4 >= 1 @ 61.2558
62.70/62.92 c GLOBAL bounds 4 >= 1 @ 61.2765
62.70/62.94 c GLOBAL bounds 4 >= 1 @ 61.2952
62.70/62.96 c GLOBAL bounds 4 >= 1 @ 61.315
62.70/62.98 c GLOBAL bounds 4 >= 1 @ 61.3326
62.70/62.98 c GLOBAL bounds 4 >= 1 @ 61.3335
62.70/63.00 c GLOBAL bounds 4 >= 1 @ 61.3526
62.70/63.00 c GLOBAL bounds 4 >= 1 @ 61.3528
62.80/63.02 c GLOBAL bounds 4 >= 1 @ 61.3748
62.80/63.02 c GLOBAL bounds 4 >= 1 @ 61.3757
62.80/63.04 c GLOBAL bounds 4 >= 1 @ 61.3969
62.80/63.04 c GLOBAL bounds 4 >= 1 @ 61.3978
62.80/63.06 c GLOBAL bounds 4 >= 1 @ 61.4161
62.80/63.06 c GLOBAL bounds 4 >= 1 @ 61.4171
62.80/63.09 c GLOBAL bounds 4 >= 1 @ 61.4387
62.80/63.09 c GLOBAL bounds 4 >= 1 @ 61.4395
62.91/63.11 c GLOBAL bounds 4 >= 1 @ 61.4573
62.91/63.11 c GLOBAL bounds 4 >= 1 @ 61.4582
62.91/63.13 c GLOBAL bounds 4 >= 1 @ 61.4767
62.91/63.13 c GLOBAL bounds 4 >= 1 @ 61.4774
62.91/63.15 c GLOBAL bounds 4 >= 1 @ 61.4992
62.91/63.15 c GLOBAL bounds 4 >= 1 @ 61.4993
62.91/63.17 c GLOBAL bounds 4 >= 1 @ 61.5177
62.91/63.17 c GLOBAL bounds 4 >= 1 @ 61.5183
62.91/63.17 c GLOBAL bounds 4 >= 1 @ 61.5183
62.91/63.17 c GLOBAL bounds 4 >= 1 @ 61.5183
62.91/63.17 c GLOBAL bounds 4 >= 1 @ 61.5183
62.91/63.19 c GLOBAL bounds 4 >= 1 @ 61.5391
63.00/63.21 c GLOBAL bounds 4 >= 1 @ 61.557
63.00/63.23 c GLOBAL bounds 4 >= 1 @ 61.576
63.00/63.25 c GLOBAL bounds 4 >= 1 @ 61.5945
63.00/63.25 c GLOBAL bounds 4 >= 1 @ 61.595
63.00/63.27 c GLOBAL bounds 4 >= 1 @ 61.6143
63.00/63.27 c GLOBAL bounds 4 >= 1 @ 61.6152
63.00/63.29 c GLOBAL bounds 4 >= 1 @ 61.6365
63.10/63.30 c GLOBAL bounds 4 >= 1 @ 61.6374
63.10/63.32 c GLOBAL bounds 4 >= 1 @ 61.6594
63.10/63.32 c GLOBAL bounds 4 >= 1 @ 61.6598
63.10/63.34 c GLOBAL bounds 4 >= 1 @ 61.6776
63.10/63.34 c GLOBAL bounds 4 >= 1 @ 61.6786
63.10/63.36 c GLOBAL bounds 4 >= 1 @ 61.7
63.10/63.36 c GLOBAL bounds 4 >= 1 @ 61.7011
63.10/63.38 c GLOBAL bounds 4 >= 1 @ 61.7196
63.10/63.38 c GLOBAL bounds 4 >= 1 @ 61.7206
63.20/63.40 c GLOBAL bounds 4 >= 1 @ 61.738
63.20/63.40 c GLOBAL bounds 4 >= 1 @ 61.7386
63.20/63.42 c GLOBAL bounds 4 >= 1 @ 61.7591
63.20/63.42 c GLOBAL bounds 4 >= 1 @ 61.7601
63.20/63.44 c GLOBAL bounds 4 >= 1 @ 61.7765
63.20/63.44 c GLOBAL bounds 4 >= 1 @ 61.7775
63.20/63.44 c GLOBAL bounds 4 >= 1 @ 61.7788
63.20/63.45 c GLOBAL bounds 4 >= 1 @ 61.78
63.20/63.45 c GLOBAL bounds 4 >= 1 @ 61.7801
63.20/63.47 c GLOBAL bounds 4 >= 1 @ 61.8
63.20/63.49 c GLOBAL bounds 4 >= 1 @ 61.8188
63.31/63.51 c GLOBAL bounds 4 >= 1 @ 61.8386
63.31/63.52 c GLOBAL bounds 4 >= 1 @ 61.8562
63.31/63.52 c GLOBAL bounds 4 >= 1 @ 61.8571
63.31/63.55 c GLOBAL bounds 4 >= 1 @ 61.878
63.31/63.55 c GLOBAL bounds 4 >= 1 @ 61.8789
63.31/63.57 c GLOBAL bounds 4 >= 1 @ 61.9035
63.31/63.57 c GLOBAL bounds 4 >= 1 @ 61.9044
63.31/63.59 c GLOBAL bounds 4 >= 1 @ 61.9253
63.31/63.60 c GLOBAL bounds 4 >= 1 @ 61.9262
63.40/63.61 c GLOBAL bounds 4 >= 1 @ 61.9447
63.40/63.61 c GLOBAL bounds 4 >= 1 @ 61.9456
63.40/63.64 c GLOBAL bounds 4 >= 1 @ 61.9677
63.40/63.64 c GLOBAL bounds 4 >= 1 @ 61.9679
63.40/63.66 c GLOBAL bounds 4 >= 1 @ 61.9866
63.40/63.66 c GLOBAL bounds 4 >= 1 @ 61.9875
63.40/63.68 c GLOBAL bounds 4 >= 1 @ 62.0052
63.40/63.68 c GLOBAL bounds 4 >= 1 @ 62.0058
63.50/63.70 c GLOBAL bounds 4 >= 1 @ 62.0278
63.50/63.70 c GLOBAL bounds 4 >= 1 @ 62.0287
63.50/63.72 c GLOBAL bounds 4 >= 1 @ 62.0472
63.50/63.72 c GLOBAL bounds 4 >= 1 @ 62.0477
63.50/63.72 c GLOBAL bounds 4 >= 1 @ 62.0477
63.50/63.72 c GLOBAL bounds 4 >= 1 @ 62.0484
63.50/63.72 c GLOBAL bounds 4 >= 1 @ 62.0484
63.50/63.74 c GLOBAL bounds 4 >= 1 @ 62.0698
63.50/63.76 c GLOBAL bounds 4 >= 1 @ 62.0879
63.50/63.78 c GLOBAL bounds 4 >= 1 @ 62.1065
63.60/63.80 c GLOBAL bounds 4 >= 1 @ 62.1242
63.60/63.80 c GLOBAL bounds 4 >= 1 @ 62.1251
63.60/63.82 c GLOBAL bounds 4 >= 1 @ 62.1455
63.60/63.82 c GLOBAL bounds 4 >= 1 @ 62.1464
63.60/63.85 c GLOBAL bounds 4 >= 1 @ 62.1676
63.60/63.85 c GLOBAL bounds 4 >= 1 @ 62.1685
63.60/63.87 c GLOBAL bounds 4 >= 1 @ 62.1902
63.60/63.87 c GLOBAL bounds 4 >= 1 @ 62.1903
63.60/63.89 c GLOBAL bounds 4 >= 1 @ 62.2087
63.60/63.89 c GLOBAL bounds 4 >= 1 @ 62.2092
64.90/65.14 c #Conflicts: 30000 | #Constraints: 7405
64.90/65.14 c GLOBAL bounds 4 >= 1 @ 63.439
64.90/65.14 c GLOBAL bounds 4 >= 1 @ 63.4401
65.00/65.21 c GLOBAL bounds 4 >= 1 @ 63.5064
65.00/65.21 c GLOBAL bounds 4 >= 1 @ 63.5067
65.00/65.23 c GLOBAL bounds 4 >= 1 @ 63.5299
65.00/65.23 c GLOBAL bounds 4 >= 1 @ 63.5306
66.09/66.32 c #Conflicts: 31000 | #Constraints: 8852
66.09/66.32 c #Conflicts: 32000 | #Constraints: 9989
66.09/66.32 c GLOBAL bounds 4 >= 1 @ 64.5863
66.09/66.32 c GLOBAL bounds 4 >= 1 @ 64.5871
66.09/66.34 c GLOBAL bounds 4 >= 1 @ 64.6066
66.09/66.34 c GLOBAL bounds 4 >= 1 @ 64.607
66.09/66.34 c GLOBAL bounds 4 >= 1 @ 64.6077
66.09/66.34 c GLOBAL bounds 4 >= 1 @ 64.6089
66.09/66.35 c GLOBAL bounds 4 >= 1 @ 64.609
66.09/66.37 c GLOBAL bounds 4 >= 1 @ 64.6329
66.09/66.37 c GLOBAL bounds 4 >= 1 @ 64.6378
66.19/66.40 c GLOBAL bounds 4 >= 1 @ 64.6605
66.19/66.42 c GLOBAL bounds 4 >= 1 @ 64.681
66.19/66.42 c GLOBAL bounds 4 >= 1 @ 64.6819
66.19/66.44 c GLOBAL bounds 4 >= 1 @ 64.7024
66.19/66.44 c GLOBAL bounds 4 >= 1 @ 64.7028
66.90/67.19 c #Conflicts: 33000 | #Constraints: 11311
66.90/67.19 c INPROCESSING
66.90/67.19 c GARBAGE COLLECT
66.90/67.19 c rational objective 1
69.19/69.48 c #Conflicts: 34000 | #Constraints: 8043
69.19/69.48 c GLOBAL bounds 4 >= 1 @ 67.7057
69.19/69.49 c GLOBAL bounds 4 >= 1 @ 67.706
69.48/69.78 c GLOBAL bounds 4 >= 1 @ 67.9923
69.48/69.78 c GLOBAL bounds 4 >= 1 @ 67.9932
69.58/69.87 c GLOBAL bounds 4 >= 1 @ 68.0797
69.58/69.87 c GLOBAL bounds 4 >= 1 @ 68.0807
69.68/69.92 c GLOBAL bounds 4 >= 1 @ 68.1241
69.68/69.92 c GLOBAL bounds 4 >= 1 @ 68.1247
69.68/69.94 c GLOBAL bounds 4 >= 1 @ 68.145
69.68/69.94 c GLOBAL bounds 4 >= 1 @ 68.1457
69.68/69.96 c GLOBAL bounds 4 >= 1 @ 68.1648
69.68/69.96 c GLOBAL bounds 4 >= 1 @ 68.1656
69.68/69.99 c GLOBAL bounds 4 >= 1 @ 68.1916
69.68/69.99 c GLOBAL bounds 4 >= 1 @ 68.1926
69.78/70.01 c GLOBAL bounds 4 >= 1 @ 68.2148
69.78/70.01 c GLOBAL bounds 4 >= 1 @ 68.2157
69.78/70.01 c GLOBAL bounds 4 >= 1 @ 68.2165
69.78/70.01 c GLOBAL bounds 4 >= 1 @ 68.2171
69.78/70.01 c GLOBAL bounds 4 >= 1 @ 68.2172
69.78/70.04 c GLOBAL bounds 4 >= 1 @ 68.2384
69.78/70.06 c GLOBAL bounds 4 >= 1 @ 68.2585
69.78/70.08 c GLOBAL bounds 4 >= 1 @ 68.2786
69.89/70.10 c GLOBAL bounds 4 >= 1 @ 68.2998
69.89/70.10 c GLOBAL bounds 4 >= 1 @ 68.3002
69.89/70.12 c GLOBAL bounds 4 >= 1 @ 68.3199
69.89/70.12 c GLOBAL bounds 4 >= 1 @ 68.3202
69.89/70.15 c GLOBAL bounds 4 >= 1 @ 68.3451
69.89/70.15 c GLOBAL bounds 4 >= 1 @ 68.346
69.89/70.17 c GLOBAL bounds 4 >= 1 @ 68.3688
69.89/70.17 c GLOBAL bounds 4 >= 1 @ 68.3696
69.98/70.20 c GLOBAL bounds 4 >= 1 @ 68.391
69.98/70.20 c GLOBAL bounds 4 >= 1 @ 68.392
69.98/70.22 c GLOBAL bounds 4 >= 1 @ 68.4149
69.98/70.22 c GLOBAL bounds 4 >= 1 @ 68.415
69.98/70.24 c GLOBAL bounds 4 >= 1 @ 68.4366
69.98/70.25 c GLOBAL bounds 4 >= 1 @ 68.4376
69.98/70.27 c GLOBAL bounds 4 >= 1 @ 68.4586
69.98/70.27 c GLOBAL bounds 4 >= 1 @ 68.4597
69.98/70.29 c GLOBAL bounds 4 >= 1 @ 68.4831
69.98/70.29 c GLOBAL bounds 4 >= 1 @ 68.4837
70.08/70.31 c GLOBAL bounds 4 >= 1 @ 68.5035
70.08/70.32 c GLOBAL bounds 4 >= 1 @ 68.5044
70.08/70.32 c GLOBAL bounds 4 >= 1 @ 68.5054
70.08/70.32 c GLOBAL bounds 4 >= 2 @ 68.5057
70.08/70.34 c GLOBAL bounds 4 >= 2 @ 68.5276
70.08/70.36 c GLOBAL bounds 4 >= 2 @ 68.5486
70.08/70.38 c GLOBAL bounds 4 >= 2 @ 68.57
70.08/70.38 c GLOBAL bounds 4 >= 2 @ 68.571
70.18/70.40 c GLOBAL bounds 4 >= 2 @ 68.5923
70.18/70.41 c GLOBAL bounds 4 >= 2 @ 68.5932
70.18/70.43 c GLOBAL bounds 4 >= 2 @ 68.6137
70.18/70.43 c GLOBAL bounds 4 >= 2 @ 68.6143
70.18/70.45 c GLOBAL bounds 4 >= 2 @ 68.6353
70.18/70.45 c GLOBAL bounds 4 >= 2 @ 68.6363
70.18/70.47 c GLOBAL bounds 4 >= 2 @ 68.657
70.18/70.47 c GLOBAL bounds 4 >= 2 @ 68.6572
70.28/70.50 c GLOBAL bounds 4 >= 2 @ 68.6767
70.28/70.50 c GLOBAL bounds 4 >= 2 @ 68.6779
70.28/70.52 c GLOBAL bounds 4 >= 2 @ 68.6987
70.28/70.52 c GLOBAL bounds 4 >= 2 @ 68.6991
70.28/70.54 c GLOBAL bounds 4 >= 2 @ 68.7187
70.28/70.54 c GLOBAL bounds 4 >= 2 @ 68.7197
70.28/70.56 c GLOBAL bounds 4 >= 2 @ 68.7407
70.28/70.56 c GLOBAL bounds 4 >= 2 @ 68.741
70.28/70.58 c GLOBAL bounds 4 >= 2 @ 68.7608
70.28/70.59 c GLOBAL bounds 4 >= 2 @ 68.7609
70.28/70.59 c GLOBAL bounds 4 >= 2 @ 68.7619
70.28/70.59 c GLOBAL bounds 4 >= 2 @ 68.7619
70.38/70.61 c GLOBAL bounds 4 >= 2 @ 68.7839
70.38/70.63 c GLOBAL bounds 4 >= 2 @ 68.8037
70.38/70.65 c GLOBAL bounds 4 >= 2 @ 68.8232
70.38/70.65 c GLOBAL bounds 4 >= 2 @ 68.8242
70.38/70.67 c GLOBAL bounds 4 >= 2 @ 68.8451
70.38/70.68 c GLOBAL bounds 4 >= 2 @ 68.8456
70.48/70.70 c GLOBAL bounds 4 >= 2 @ 68.867
70.48/70.70 c GLOBAL bounds 4 >= 2 @ 68.8676
70.48/70.72 c GLOBAL bounds 4 >= 2 @ 68.8861
70.48/70.72 c GLOBAL bounds 4 >= 2 @ 68.8871
70.48/70.74 c GLOBAL bounds 4 >= 2 @ 68.9076
70.48/70.74 c GLOBAL bounds 4 >= 2 @ 68.9085
70.48/70.76 c GLOBAL bounds 4 >= 2 @ 68.928
70.48/70.77 c GLOBAL bounds 4 >= 2 @ 68.9291
70.48/70.79 c GLOBAL bounds 4 >= 2 @ 68.9504
70.48/70.79 c GLOBAL bounds 4 >= 2 @ 68.9513
70.58/70.81 c GLOBAL bounds 4 >= 2 @ 68.9692
70.58/70.81 c GLOBAL bounds 4 >= 2 @ 68.9702
70.58/70.83 c GLOBAL bounds 4 >= 2 @ 68.9916
70.58/70.83 c GLOBAL bounds 4 >= 2 @ 68.9928
70.58/70.86 c GLOBAL bounds 4 >= 2 @ 69.0135
70.58/70.86 c GLOBAL bounds 4 >= 2 @ 69.0142
70.58/70.86 c GLOBAL bounds 4 >= 2 @ 69.0142
70.58/70.86 c GLOBAL bounds 4 >= 2 @ 69.0142
70.58/70.88 c GLOBAL bounds 4 >= 2 @ 69.037
70.68/70.90 c GLOBAL bounds 4 >= 2 @ 69.0579
70.68/70.92 c GLOBAL bounds 4 >= 2 @ 69.0784
70.68/70.92 c GLOBAL bounds 4 >= 2 @ 69.079
70.68/70.95 c GLOBAL bounds 4 >= 2 @ 69.102
70.68/70.95 c GLOBAL bounds 4 >= 2 @ 69.1029
70.68/70.97 c GLOBAL bounds 4 >= 2 @ 69.1243
70.68/70.97 c GLOBAL bounds 4 >= 2 @ 69.1248
70.68/70.99 c GLOBAL bounds 4 >= 2 @ 69.1449
70.68/71.00 c GLOBAL bounds 4 >= 2 @ 69.1457
70.79/71.02 c GLOBAL bounds 4 >= 2 @ 69.1655
70.79/71.02 c GLOBAL bounds 4 >= 2 @ 69.1666
70.79/71.04 c GLOBAL bounds 4 >= 2 @ 69.186
70.79/71.04 c GLOBAL bounds 4 >= 2 @ 69.187
70.79/71.06 c GLOBAL bounds 4 >= 2 @ 69.2082
70.79/71.06 c GLOBAL bounds 4 >= 2 @ 69.2085
70.79/71.08 c GLOBAL bounds 4 >= 2 @ 69.2292
70.79/71.08 c GLOBAL bounds 4 >= 2 @ 69.2295
70.88/71.11 c GLOBAL bounds 4 >= 2 @ 69.25
70.88/71.11 c GLOBAL bounds 4 >= 2 @ 69.251
70.88/71.13 c GLOBAL bounds 4 >= 2 @ 69.2723
70.88/71.13 c GLOBAL bounds 4 >= 2 @ 69.2733
70.88/71.13 c GLOBAL bounds 4 >= 2 @ 69.2744
70.88/71.13 c GLOBAL bounds 4 >= 2 @ 69.2744
70.88/71.15 c GLOBAL bounds 4 >= 2 @ 69.2966
70.88/71.17 c GLOBAL bounds 4 >= 2 @ 69.3175
70.97/71.20 c GLOBAL bounds 4 >= 2 @ 69.3392
70.97/71.20 c GLOBAL bounds 4 >= 2 @ 69.3402
70.97/71.22 c GLOBAL bounds 4 >= 2 @ 69.3607
70.97/71.22 c GLOBAL bounds 4 >= 2 @ 69.3611
70.97/71.25 c GLOBAL bounds 4 >= 2 @ 69.3851
70.97/71.25 c GLOBAL bounds 4 >= 2 @ 69.3861
70.97/71.27 c GLOBAL bounds 4 >= 2 @ 69.4103
70.97/71.27 c GLOBAL bounds 4 >= 2 @ 69.411
70.97/71.29 c GLOBAL bounds 4 >= 2 @ 69.4302
70.97/71.30 c GLOBAL bounds 4 >= 2 @ 69.4309
71.08/71.32 c GLOBAL bounds 4 >= 2 @ 69.4509
71.08/71.32 c GLOBAL bounds 4 >= 2 @ 69.4519
71.08/71.34 c GLOBAL bounds 4 >= 2 @ 69.4717
71.08/71.34 c GLOBAL bounds 4 >= 2 @ 69.4728
71.08/71.36 c GLOBAL bounds 4 >= 2 @ 69.4926
71.08/71.36 c GLOBAL bounds 4 >= 2 @ 69.4927
71.08/71.38 c GLOBAL bounds 4 >= 2 @ 69.5115
71.08/71.38 c GLOBAL bounds 4 >= 2 @ 69.5116
71.18/71.40 c GLOBAL bounds 4 >= 2 @ 69.5311
71.18/71.41 c GLOBAL bounds 4 >= 2 @ 69.5322
71.18/71.41 c GLOBAL bounds 4 >= 2 @ 69.5334
71.18/71.41 c GLOBAL bounds 4 >= 2 @ 69.5337
71.18/71.43 c GLOBAL bounds 4 >= 2 @ 69.5563
71.18/71.45 c GLOBAL bounds 4 >= 2 @ 69.5774
71.18/71.47 c GLOBAL bounds 4 >= 2 @ 69.5991
71.18/71.47 c GLOBAL bounds 4 >= 2 @ 69.5994
71.28/71.50 c GLOBAL bounds 4 >= 2 @ 69.6238
71.28/71.50 c GLOBAL bounds 4 >= 2 @ 69.6243
71.28/71.53 c GLOBAL bounds 4 >= 2 @ 69.6475
71.28/71.53 c GLOBAL bounds 4 >= 2 @ 69.6482
71.28/71.55 c GLOBAL bounds 4 >= 2 @ 69.6689
71.28/71.55 c GLOBAL bounds 4 >= 2 @ 69.6699
71.28/71.57 c GLOBAL bounds 4 >= 2 @ 69.6923
71.28/71.57 c GLOBAL bounds 4 >= 2 @ 69.6931
71.28/71.59 c GLOBAL bounds 4 >= 2 @ 69.7126
71.37/71.60 c GLOBAL bounds 4 >= 2 @ 69.7135
71.37/71.62 c GLOBAL bounds 4 >= 2 @ 69.7352
71.37/71.62 c GLOBAL bounds 4 >= 2 @ 69.7363
71.37/71.64 c GLOBAL bounds 4 >= 2 @ 69.7579
71.37/71.64 c GLOBAL bounds 4 >= 2 @ 69.758
71.37/71.66 c GLOBAL bounds 4 >= 2 @ 69.779
71.37/71.66 c GLOBAL bounds 4 >= 2 @ 69.7798
71.37/71.68 c GLOBAL bounds 4 >= 2 @ 69.8004
71.37/71.69 c GLOBAL bounds 4 >= 2 @ 69.8014
71.37/71.69 c GLOBAL bounds 4 >= 2 @ 69.8025
71.37/71.69 c GLOBAL bounds 4 >= 2 @ 69.8029
71.48/71.71 c GLOBAL bounds 4 >= 2 @ 69.825
71.48/71.73 c GLOBAL bounds 4 >= 2 @ 69.8459
71.48/71.75 c GLOBAL bounds 4 >= 2 @ 69.866
71.48/71.75 c GLOBAL bounds 4 >= 2 @ 69.8666
71.48/71.77 c GLOBAL bounds 4 >= 2 @ 69.8873
71.48/71.77 c GLOBAL bounds 4 >= 2 @ 69.8883
71.58/71.80 c GLOBAL bounds 4 >= 2 @ 69.9093
71.58/71.80 c GLOBAL bounds 4 >= 2 @ 69.9103
71.58/71.82 c GLOBAL bounds 4 >= 2 @ 69.9308
71.58/71.82 c GLOBAL bounds 4 >= 2 @ 69.9314
71.58/71.84 c GLOBAL bounds 4 >= 2 @ 69.952
71.58/71.84 c GLOBAL bounds 4 >= 2 @ 69.9534
71.58/71.86 c GLOBAL bounds 4 >= 2 @ 69.9735
71.58/71.87 c GLOBAL bounds 4 >= 2 @ 69.9743
71.58/71.89 c GLOBAL bounds 4 >= 2 @ 69.9951
71.58/71.89 c GLOBAL bounds 4 >= 2 @ 69.9961
71.67/71.91 c GLOBAL bounds 4 >= 2 @ 70.0173
71.67/71.91 c GLOBAL bounds 4 >= 2 @ 70.0184
71.67/71.93 c GLOBAL bounds 4 >= 2 @ 70.0399
71.67/71.93 c GLOBAL bounds 4 >= 2 @ 70.0401
71.67/71.95 c GLOBAL bounds 4 >= 2 @ 70.0615
71.67/71.96 c GLOBAL bounds 4 >= 2 @ 70.0621
71.67/71.96 c GLOBAL bounds 4 >= 2 @ 70.063
71.67/71.96 c GLOBAL bounds 4 >= 2 @ 70.0633
71.67/71.98 c GLOBAL bounds 4 >= 2 @ 70.0856
71.67/72.00 c GLOBAL bounds 4 >= 2 @ 70.1054
71.78/72.02 c GLOBAL bounds 4 >= 2 @ 70.1267
71.78/72.02 c GLOBAL bounds 4 >= 2 @ 70.1268
71.78/72.04 c GLOBAL bounds 4 >= 2 @ 70.146
71.78/72.05 c GLOBAL bounds 4 >= 2 @ 70.1467
71.78/72.07 c GLOBAL bounds 4 >= 2 @ 70.1722
71.78/72.07 c GLOBAL bounds 4 >= 2 @ 70.1727
71.78/72.09 c GLOBAL bounds 4 >= 2 @ 70.1933
71.78/72.09 c GLOBAL bounds 4 >= 2 @ 70.1944
71.88/72.12 c GLOBAL bounds 4 >= 2 @ 70.2179
71.88/72.12 c GLOBAL bounds 4 >= 2 @ 70.2185
71.88/72.14 c GLOBAL bounds 4 >= 2 @ 70.2387
71.88/72.14 c GLOBAL bounds 4 >= 2 @ 70.2395
71.88/72.16 c GLOBAL bounds 4 >= 2 @ 70.2596
71.88/72.16 c GLOBAL bounds 4 >= 2 @ 70.2607
71.88/72.19 c GLOBAL bounds 4 >= 2 @ 70.2846
71.88/72.19 c GLOBAL bounds 4 >= 2 @ 70.2857
71.98/72.21 c GLOBAL bounds 4 >= 2 @ 70.3054
71.98/72.21 c GLOBAL bounds 4 >= 2 @ 70.3064
71.98/72.23 c GLOBAL bounds 4 >= 2 @ 70.3264
71.98/72.23 c GLOBAL bounds 4 >= 2 @ 70.3272
71.98/72.24 c GLOBAL bounds 4 >= 2 @ 70.3274
71.98/72.24 c GLOBAL bounds 4 >= 2 @ 70.3277
71.98/72.26 c GLOBAL bounds 4 >= 2 @ 70.3504
71.98/72.28 c GLOBAL bounds 4 >= 2 @ 70.3712
72.07/72.30 c GLOBAL bounds 4 >= 2 @ 70.3928
72.07/72.30 c GLOBAL bounds 4 >= 2 @ 70.3938
72.07/72.32 c GLOBAL bounds 4 >= 2 @ 70.4148
72.07/72.32 c GLOBAL bounds 4 >= 2 @ 70.4158
72.07/72.35 c GLOBAL bounds 4 >= 2 @ 70.4371
72.07/72.35 c GLOBAL bounds 4 >= 2 @ 70.4381
72.07/72.37 c GLOBAL bounds 4 >= 2 @ 70.4601
72.07/72.37 c GLOBAL bounds 4 >= 2 @ 70.4609
72.07/72.39 c GLOBAL bounds 4 >= 2 @ 70.4799
72.07/72.39 c GLOBAL bounds 4 >= 2 @ 70.4812
72.17/72.41 c GLOBAL bounds 4 >= 2 @ 70.5028
72.17/72.41 c GLOBAL bounds 4 >= 2 @ 70.504
72.17/72.44 c GLOBAL bounds 4 >= 2 @ 70.5257
72.17/72.44 c GLOBAL bounds 4 >= 2 @ 70.5266
72.17/72.46 c GLOBAL bounds 4 >= 2 @ 70.5473
72.17/72.46 c GLOBAL bounds 4 >= 2 @ 70.5485
72.17/72.48 c GLOBAL bounds 4 >= 2 @ 70.5701
72.17/72.48 c GLOBAL bounds 4 >= 2 @ 70.5712
72.27/72.50 c GLOBAL bounds 4 >= 2 @ 70.5922
72.27/72.50 c GLOBAL bounds 4 >= 2 @ 70.5931
72.27/72.51 c GLOBAL bounds 4 >= 2 @ 70.5942
72.27/72.51 c GLOBAL bounds 4 >= 2 @ 70.5945
72.27/72.53 c GLOBAL bounds 4 >= 2 @ 70.6161
72.27/72.55 c GLOBAL bounds 4 >= 2 @ 70.6362
72.27/72.57 c GLOBAL bounds 4 >= 2 @ 70.656
72.27/72.57 c GLOBAL bounds 4 >= 2 @ 70.6571
72.27/72.59 c GLOBAL bounds 4 >= 2 @ 70.6791
72.27/72.59 c GLOBAL bounds 4 >= 2 @ 70.6801
72.37/72.62 c GLOBAL bounds 4 >= 2 @ 70.7009
72.37/72.62 c GLOBAL bounds 4 >= 2 @ 70.7021
72.37/72.64 c GLOBAL bounds 4 >= 2 @ 70.7233
72.37/72.64 c GLOBAL bounds 4 >= 2 @ 70.7244
72.37/72.66 c GLOBAL bounds 4 >= 2 @ 70.7457
72.37/72.66 c GLOBAL bounds 4 >= 2 @ 70.7468
72.37/72.68 c GLOBAL bounds 4 >= 2 @ 70.7671
72.37/72.68 c GLOBAL bounds 4 >= 2 @ 70.7683
72.48/72.71 c GLOBAL bounds 4 >= 2 @ 70.7894
72.48/72.71 c GLOBAL bounds 4 >= 2 @ 70.7907
72.48/72.73 c GLOBAL bounds 4 >= 2 @ 70.811
72.48/72.73 c GLOBAL bounds 4 >= 2 @ 70.8121
72.48/72.75 c GLOBAL bounds 4 >= 2 @ 70.8333
72.48/72.75 c GLOBAL bounds 4 >= 2 @ 70.8338
72.48/72.77 c GLOBAL bounds 4 >= 2 @ 70.8544
72.48/72.77 c GLOBAL bounds 4 >= 2 @ 70.8557
72.48/72.78 c GLOBAL bounds 4 >= 2 @ 70.8557
72.48/72.78 c GLOBAL bounds 4 >= 2 @ 70.8557
72.57/72.80 c GLOBAL bounds 4 >= 2 @ 70.8762
72.57/72.82 c GLOBAL bounds 4 >= 2 @ 70.8969
72.57/72.84 c GLOBAL bounds 4 >= 2 @ 70.9168
72.57/72.84 c GLOBAL bounds 4 >= 2 @ 70.9178
72.57/72.86 c GLOBAL bounds 4 >= 2 @ 70.9387
72.57/72.86 c GLOBAL bounds 4 >= 2 @ 70.9395
72.57/72.89 c GLOBAL bounds 4 >= 2 @ 70.9634
72.57/72.89 c GLOBAL bounds 4 >= 2 @ 70.9644
72.68/72.92 c GLOBAL bounds 4 >= 2 @ 70.9883
72.68/72.92 c GLOBAL bounds 4 >= 2 @ 70.9894
72.68/72.94 c GLOBAL bounds 4 >= 2 @ 71.0151
72.68/72.94 c GLOBAL bounds 4 >= 2 @ 71.0164
72.68/72.96 c GLOBAL bounds 4 >= 2 @ 71.0375
72.68/72.97 c GLOBAL bounds 4 >= 2 @ 71.0382
72.68/72.99 c GLOBAL bounds 4 >= 2 @ 71.0594
72.68/72.99 c GLOBAL bounds 4 >= 2 @ 71.0601
72.78/73.01 c GLOBAL bounds 4 >= 2 @ 71.0805
72.78/73.01 c GLOBAL bounds 4 >= 2 @ 71.0817
72.78/73.03 c GLOBAL bounds 4 >= 2 @ 71.1011
72.78/73.03 c GLOBAL bounds 4 >= 2 @ 71.1021
72.78/73.05 c GLOBAL bounds 4 >= 2 @ 71.1236
72.78/73.06 c GLOBAL bounds 4 >= 2 @ 71.1246
72.78/73.06 c GLOBAL bounds 4 >= 2 @ 71.1259
72.78/73.06 c GLOBAL bounds 4 >= 2 @ 71.1262
72.78/73.08 c GLOBAL bounds 4 >= 2 @ 71.1476
72.78/73.10 c GLOBAL bounds 4 >= 2 @ 71.1684
72.88/73.12 c GLOBAL bounds 4 >= 2 @ 71.1894
72.88/73.12 c GLOBAL bounds 4 >= 2 @ 71.1904
72.88/73.14 c GLOBAL bounds 4 >= 2 @ 71.2104
72.88/73.14 c GLOBAL bounds 4 >= 2 @ 71.2106
72.88/73.17 c GLOBAL bounds 4 >= 2 @ 71.2303
72.88/73.17 c GLOBAL bounds 4 >= 2 @ 71.2314
72.88/73.19 c GLOBAL bounds 4 >= 2 @ 71.2529
72.88/73.19 c GLOBAL bounds 4 >= 2 @ 71.2535
72.97/73.21 c GLOBAL bounds 4 >= 2 @ 71.2744
72.97/73.21 c GLOBAL bounds 4 >= 2 @ 71.2746
72.97/73.24 c GLOBAL bounds 4 >= 2 @ 71.2998
72.97/73.24 c GLOBAL bounds 4 >= 2 @ 71.301
72.97/73.26 c GLOBAL bounds 4 >= 2 @ 71.3212
72.97/73.26 c GLOBAL bounds 4 >= 2 @ 71.3213
72.97/73.28 c GLOBAL bounds 4 >= 2 @ 71.3408
72.97/73.28 c GLOBAL bounds 4 >= 2 @ 71.3418
73.07/73.31 c GLOBAL bounds 4 >= 2 @ 71.3611
73.07/73.31 c GLOBAL bounds 4 >= 2 @ 71.3612
73.07/73.33 c GLOBAL bounds 4 >= 2 @ 71.3815
73.07/73.33 c GLOBAL bounds 4 >= 2 @ 71.3828
73.07/73.33 c GLOBAL bounds 4 >= 2 @ 71.3838
73.07/73.33 c GLOBAL bounds 4 >= 2 @ 71.3841
73.07/73.35 c GLOBAL bounds 4 >= 2 @ 71.4069
73.07/73.37 c GLOBAL bounds 4 >= 2 @ 71.4266
73.17/73.40 c GLOBAL bounds 4 >= 2 @ 71.4457
73.17/73.40 c GLOBAL bounds 4 >= 2 @ 71.4467
73.17/73.42 c GLOBAL bounds 4 >= 2 @ 71.4682
73.17/73.42 c GLOBAL bounds 4 >= 2 @ 71.4692
73.17/73.44 c GLOBAL bounds 4 >= 2 @ 71.49
73.17/73.44 c GLOBAL bounds 4 >= 2 @ 71.4908
73.17/73.46 c GLOBAL bounds 4 >= 2 @ 71.5111
73.17/73.46 c GLOBAL bounds 4 >= 2 @ 71.5117
73.17/73.48 c GLOBAL bounds 4 >= 2 @ 71.531
73.17/73.49 c GLOBAL bounds 4 >= 2 @ 71.5317
73.27/73.51 c GLOBAL bounds 4 >= 2 @ 71.5522
73.27/73.51 c GLOBAL bounds 4 >= 2 @ 71.5532
73.27/73.53 c GLOBAL bounds 4 >= 2 @ 71.5728
73.27/73.53 c GLOBAL bounds 4 >= 2 @ 71.5739
73.27/73.55 c GLOBAL bounds 4 >= 2 @ 71.596
73.27/73.55 c GLOBAL bounds 4 >= 2 @ 71.5971
73.27/73.58 c GLOBAL bounds 4 >= 2 @ 71.6186
73.27/73.58 c GLOBAL bounds 4 >= 2 @ 71.6194
73.36/73.60 c GLOBAL bounds 4 >= 2 @ 71.6409
73.36/73.60 c GLOBAL bounds 4 >= 2 @ 71.6421
73.36/73.60 c GLOBAL bounds 4 >= 2 @ 71.6436
73.36/73.60 c GLOBAL bounds 4 >= 2 @ 71.644
73.36/73.61 c Conflict after adding new constraint
73.36/73.61 c cpu time 71.6502 s
73.36/73.61 c deterministic time 1529084170 1.53e+09
73.36/73.61 c optimization time 1.20571 s
73.36/73.61 c total solve time 70.3314 s
73.36/73.61 c core-guided solve time 0 s
73.36/73.61 c propagation time 24.1715 s
73.36/73.61 c conflict analysis time 35.3767 s
73.36/73.61 c propagations 3293547
73.36/73.61 c resolve steps 919849
73.36/73.61 c decisions 2083273
73.36/73.61 c conflicts 34742
73.36/73.61 c restarts 124
73.36/73.61 c inprocessing phases 11
73.36/73.61 c garbage collections 11 ,( 100.00 )
73.36/73.61 c input clauses 1336 ,( 55.14 )
73.36/73.61 c input cardinalities 1 ,( 0.04 )
73.36/73.61 c input general constraints 1086 ,( 44.82 )
73.36/73.61 c input average constraint length 563.42
73.36/73.61 c input average constraint degree 108.26
73.36/73.61 c learned clauses 29832 ,( 76.88 )
73.36/73.61 c learned cardinalities 0 ,( 0.00 )
73.36/73.61 c learned general constraints 8969 ,( 23.12 )
73.36/73.61 c learned average constraint length 397.21
73.36/73.61 c learned average constraint degree 75218903.63
73.36/73.61 c watched CF 32, 64, 128, Arb: 1682 , 0 , 0 , 0
73.36/73.61 c counting CF 32, 64, 128, Arb: 8374 , 0 , 0 , 0
73.36/73.61 c watched constraints 1682 ,( 16.73 )
73.36/73.61 c counting constraints 8373 ,( 83.27 )
73.36/73.61 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 5612520 , 7492 , 64142901 ,( 3249553 , 60893348 )
73.36/73.61 c gcd simplifications 5528
73.36/73.61 c detected cardinalities 0
73.36/73.61 c weakened non-implied lits 1040938
73.36/73.61 c weakened non-implying lits 88871
73.36/73.61 c original variables 1289
73.36/73.61 c clausal propagations 91675
73.36/73.61 c cardinality propagations 1932
73.36/73.61 c watched propagations 36995
73.36/73.61 c counting propagations 2484564
73.36/73.61 c watch lookups 746331130
73.36/73.61 c watch backjump lookups 0
73.36/73.61 c watch checks 252831903
73.36/73.61 c propagation checks 126020445
73.36/73.61 c constraint additions 393068793
73.36/73.61 c trail pops 5411269
73.36/73.61 c formula constraints 1095
73.36/73.61 c learned constraints 34462
73.36/73.61 c bound constraints 0
73.36/73.61 c core-guided constraints 0
73.36/73.61 c encountered formula constraints 833147
73.36/73.61 c encountered learned constraints 117441
73.36/73.61 c encountered bound constraints 0
73.36/73.61 c encountered core-guided constraints 0
73.36/73.61 c LP total time 24.9866 s
73.36/73.61 c LP solve time 13.39 s
73.36/73.61 c LP constraints added 1187
73.36/73.61 c LP constraints removed 82
73.36/73.61 c LP pivots internal 34866
73.36/73.61 c LP pivots root 8943
73.36/73.61 c LP calls 4459
73.36/73.61 c LP optimalities 416
73.36/73.61 c LP no pivot count 139
73.36/73.61 c LP infeasibilities 4036
73.36/73.61 c LP valid Farkas constraints 4030
73.36/73.61 c LP learned Farkas constraints 280
73.36/73.61 c LP basis resets 10
73.36/73.61 c LP cycling count 4
73.36/73.61 c LP singular count 1
73.36/73.61 c LP no primal count 0
73.36/73.61 c LP no farkas count 5
73.36/73.61 c LP other issue count 0
73.36/73.61 c LP Gomory cuts 29
73.36/73.61 c LP learned cuts 63
73.36/73.61 c LP deleted cuts 82
73.36/73.61 c LP encountered Gomory constraints 2
73.36/73.61 c LP encountered Farkas constraints 1482
73.36/73.61 c LP encountered learned Farkas constraints 2239
73.36/73.61 c CG auxiliary variables introduced 142
73.36/73.61 c CG solutions found 4
73.36/73.61 c CG cores constructed 1234
73.36/73.61 c CG core cardinality constraints returned 0
73.36/73.61 c CG unit cores 0
73.36/73.61 c CG single cores 0
73.36/73.61 c CG blocks removed during cardinality reduction 0
73.36/73.61 c CG first core best 0
73.36/73.61 c CG decision core best 0
73.36/73.61 c CG core reduction tie 0
73.36/73.61 c CG core degree average 0.00
73.36/73.61 c CG core slack average 0.00
73.36/73.61 c CG core upper bound improvements 0
73.36/73.61 c STR number of successful calls 0
73.36/73.61 c STR number of unsuccessful calls 0
73.36/73.61 c STR number of inconclusive calls 0
73.36/73.61 c STR number of successful attempts 0
73.36/73.61 c STR number of unsuccessful attempts 0
73.36/73.61 c STR number of inconclusive attempts 0
73.36/73.61 c STR average degree increase per successful call inf
73.36/73.61 c STR average degree increase per successful attempt inf
73.36/73.61 c STR total number of conflicts for successful attempts 0
73.36/73.61 c STR total number of conflicts for unsuccessful attempts 0
73.36/73.61 c STR total number of conflicts for inconclusive attempts 0
73.36/73.61 c STR average number of conflicts per successful attempt inf
73.36/73.61 c STR average number of conflicts per unsuccessful attempt inf
73.36/73.61 c STR average number of conflicts per inconclusive attempt inf
73.36/73.61 c AVG.sumWPerc 55.92
73.36/73.61 c bigint constraints 0
73.36/73.61 o 2
73.36/73.61 s OPTIMUM FOUND
73.36/73.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 x118 x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 x240 x241 x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 x628 x629 x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 x657 x658 x659 x660 x661 -x662 x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 x686 x687 x688 x689 x690 x691 x692 -x693 -x694 -x695 -x696 -x697 x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 x714 x715 x716 x717 x718 x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 x744 x745 x746 x747 x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 x798 x799 x800 x801 -x802 x803 x804 x805 x806 x807 x808 x809 -x810 x811 -x812 x813 -x814 -x815 -x816 x817 -x818 x819 x820 x821 -x822 x823 -x824 x825 x826 -x827 x828 x829 -x830 x831 -x832 x833 -x834 x835 -x836 x837 x838 x839 -x840 -x841 x842 -x843 x844 -x845 x846 x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 x855 -x856 x857 -x858 -x859 -x860 x861 x862 -x863 x864 x865 -x866 x867 x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 x882 x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 x895 x896 x897 -x898 x899 -x900 -x901 x902 -x903 -x904 x905 x906 -x907 -x908 -x909 x910 x911 x912 x913 x914 x915 x916 -x917 x918 -x919 -x920 x921 x922 -x923 -x924 -x925 -x926 x927 -x928 x929 -x930 x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 x944 -x945 x946 x947 x948 -x949 x950 x951 x952 x953 -x954 x955 x956 -x957 -x958 -x959 x960 x961 -x962 -x963 -x964 -x965 x966 x967 -x968 -x969 x970 -x971 x972 x973 x974 -x975 x976 -x977 -x978 -x979 x980 -x981 -x982 x983 x984 x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 x993 -x994 x995 x996 -x997 x998 -x999 x1000 x1001 -x1002 x1003 x1004 x1005 -x1006 x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 x1018 -x1019 x1020 x1021 x1022 -x1023 -x1024 x1025 x1026 x1027 x1028 -x1029 -x1030 x1031 x1032 x1033 -x1034 x1035 x1036 -x1037 -x1038 x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 x1047 x1048 -x1049 x1050 -x1051 x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 x1065 -x1066 x1067 x1068 -x1069 x1070 -x1071 x1072 -x1073 x1074 -x1075 x1076 x1077 -x1078 x1079 x1080 x1081 x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 x1090 x1091 x1092 x1093 -x1094 -x1095 -x1096 x1097 x1098 x1099 x1100 -x1101 x1102 x1103 -x1104 x1105 x1106 -x1107 x1108 x1109 x1110 -x1111 -x1112 x1113 x1114 x1115 x1116 x1117 x1118 -x1119 x1120 x1121 x1122 -x1123 x1124 x1125 x1126 -x1127 x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 x1136 x1137 x1138 x1139 -x1140 -x1141 -x1142 x1143 x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 x1155 x1156 -x1157 -x1158 x1159 x1160 x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 x1170 x1171 x1172 -x1173 x1174 -x1175 -x1176 x1177 -x1178 x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1185 x1186 -x1187 x1188 -x1189 x1190 -x1191 -x1192 -x1193 x1194 x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 x1206 -x1207 x1208 x1209 x1210 x1211 x1212 x1213 x1214 -x1215 -x1216 x1217 x1218 x1219 -x1220 x1221 -x1222 -x1223 -x1224 x1225 -x1226 x1227 x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 x1245 x1246 -x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 x1260 -x1261 -x1262 x1263 x1264 -x1265 x1266 -x1267 -x1268 x1269 -x1270 x1271 x1272 x1273 x1274 -x1275 -x1276 x1277 -x1278 x1279 -x1280 -x1281 -x1282 x1283 x1284 -x1285 -x1286 x1287 -x1288 -x1289
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: 63665 MiB (57992 MiB free)
memory of node 1: 64507 MiB (43917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523746-1751607306/watcher-4523746-1751607306 -o /tmp/evaluation-result-4523746-1751607306/solver-4523746-1751607306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84770 --watchdog 3760 run-opt.sh HOME/instance-4523746-1751607306.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=85429, runsolver pid=85426
[startup+0.100058 s]*
/proc/loadavg: 4.07 4.08 4.03 5/267 85431
/proc/meminfo: memFree=104347752/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=62408 memory=19528 CPUtime=0.08 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 2163 0 0 0 8 0 0 0 20 0 1 0 76409490 63905792 4882 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 15602 4882 1888 1147 0 3029 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66600 KiB
Current children cumulated memory: 22472 KiB
[startup+0.205518 s]*
/proc/loadavg: 4.07 4.08 4.03 5/267 85431
/proc/meminfo: memFree=104331120/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=77852 memory=36612 CPUtime=0.19 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 6140 0 0 0 14 5 0 0 20 0 1 0 76409490 79720448 9153 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 19463 9153 2336 1147 0 6890 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 82044 KiB
Current children cumulated memory: 39556 KiB
[startup+0.3054 s]*
/proc/loadavg: 4.07 4.08 4.03 5/267 85431
/proc/meminfo: memFree=104331120/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=77852 memory=36612 CPUtime=0.29 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 6140 0 0 0 18 11 0 0 20 0 1 0 76409490 79720448 9153 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 19463 9153 2336 1147 0 6890 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82044 KiB
Current children cumulated memory: 39556 KiB
[startup+0.700198 s]
/proc/loadavg: 4.07 4.08 4.03 5/267 85431
/proc/meminfo: memFree=104310204/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=96424 memory=54792 CPUtime=0.67 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 16716 0 0 0 54 13 0 0 20 0 1 0 76409490 98738176 13698 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 24106 13698 2368 1147 0 11533 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 100616 KiB
Current children cumulated memory: 57736 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.08 4.03 5/267 85431
/proc/meminfo: memFree=104310228/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=102856 memory=60148 CPUtime=1.48 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 18808 0 0 0 134 14 0 0 20 0 1 0 76409490 105324544 15037 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 25714 15037 2400 1147 0 13141 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107048 KiB
Current children cumulated memory: 63092 KiB
[startup+3.10545 s]
/proc/loadavg: 4.14 4.10 4.04 5/267 85431
/proc/meminfo: memFree=104306384/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=117244 memory=74096 CPUtime=3.08 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 21357 0 0 0 292 16 0 0 20 0 1 0 76409490 120057856 18524 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 29311 18524 2400 1147 0 16738 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121436 KiB
Current children cumulated memory: 77040 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.10 4.04 5/267 85431
/proc/meminfo: memFree=104298084/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=121664 memory=77400 CPUtime=6.26 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 21679 0 0 0 608 18 0 0 20 0 1 0 76409490 124583936 19350 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 30416 19350 2400 1147 0 17843 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 125856 KiB
Current children cumulated memory: 80344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.03 5/267 85431
/proc/meminfo: memFree=104288128/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=121664 memory=77528 CPUtime=12.64 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 21746 0 0 0 1243 21 0 0 20 0 1 0 76409490 124583936 19382 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 30416 19382 2400 1147 0 17843 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 125856 KiB
Current children cumulated memory: 80472 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.03 5/267 85431
/proc/meminfo: memFree=104216212/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=167532 memory=120236 CPUtime=25.42 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 28799 0 0 0 2511 31 0 0 20 0 1 0 76409490 171552768 30059 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 41883 30059 2400 1147 0 29310 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 171724 KiB
Current children cumulated memory: 123180 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.10 4.04 5/268 85478
/proc/meminfo: memFree=105557068/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=167532 memory=120440 CPUtime=50.95 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 29147 0 0 0 4984 111 0 0 20 0 1 0 76409490 171552768 30110 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 41883 30110 2400 1147 0 29310 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 171724 KiB
Current children cumulated memory: 123384 KiB
[startup+73.6211 s]
# the end of solver process 85429 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=71.6532 s, system=1.74881 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.15 4.10 4.04 5/268 85478
/proc/meminfo: memFree=105557068/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=167532 memory=120440 CPUtime=51.04 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 29147 0 0 0 4993 111 0 0 20 0 1 0 76409490 171552768 30110 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 41883 30110 2400 1147 0 29310 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 171724 KiB
Current children cumulated memory: 123384 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.11 4.09 4.04 5/268 85525
/proc/meminfo: memFree=105479808/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=196056 memory=142168 CPUtime=63.8 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 31238 0 0 0 6231 149 0 0 20 0 1 0 76409490 200761344 35542 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 49014 35542 2400 1147 0 36441 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 200248 KiB
Current children cumulated memory: 145112 KiB
[startup+70.4002 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 85525
/proc/meminfo: memFree=105425440/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=206972 memory=153224 CPUtime=70.18 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 32670 0 0 0 6858 160 0 0 20 0 1 0 76409490 211939328 38306 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 51743 38306 2464 1147 0 39170 0
Current children cumulated CPU time: 70.18 s
Current children cumulated vsize: 211164 KiB
Current children cumulated memory: 156168 KiB
[startup+72.0002 s]*
/proc/loadavg: 4.10 4.09 4.03 5/268 85525
/proc/meminfo: memFree=105401180/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=206972 memory=153224 CPUtime=71.78 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 32670 0 0 0 7010 168 0 0 20 0 1 0 76409490 211939328 38306 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 51743 38306 2464 1147 0 39170 0
Current children cumulated CPU time: 71.78 s
Current children cumulated vsize: 211164 KiB
Current children cumulated memory: 156168 KiB
[startup+72.8002 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 85525
/proc/meminfo: memFree=105401180/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=206972 memory=153224 CPUtime=72.57 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 32670 0 0 0 7087 170 0 0 20 0 1 0 76409490 211939328 38306 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 51743 38306 2464 1147 0 39170 0
Current children cumulated CPU time: 72.57 s
Current children cumulated vsize: 211164 KiB
Current children cumulated memory: 156168 KiB
[startup+73.2002 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 85525
/proc/meminfo: memFree=105397652/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=206972 memory=153224 CPUtime=72.97 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 32670 0 0 0 7126 171 0 0 20 0 1 0 76409490 211939328 38306 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 51743 38306 2464 1147 0 39170 0
Current children cumulated CPU time: 72.97 s
Current children cumulated vsize: 211164 KiB
Current children cumulated memory: 156168 KiB
[startup+73.6002 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 85525
/proc/meminfo: memFree=105397652/131249988 swapFree=33010160/33010684
[pid=85429] ppid=85426 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85429/stat : 85429 (run-opt.sh) S 85426 85429 84760 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76409489 4292608 736 18446744073709551615 94532052791296 94532053685829 140724531532480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532053924880 94532053972624 94532075749376 140724531534189 140724531534312 140724531534312 140724531539914 0
/proc/85429/statm: 1048 736 672 219 0 110 0
[pid=85431] ppid=85429 vsize=206972 memory=153224 CPUtime=73.36 cores=0,2
/proc/85431/stat : 85431 (roundingsat) R 85429 85429 84760 0 -1 4194304 32670 0 0 0 7163 173 0 0 20 0 1 0 76409490 211939328 38306 18446744073709551615 4227072 8923433 140735966213120 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17399808 140735966218658 140735966218792 140735966218792 140735966224362 0
/proc/85431/statm: 51743 38306 2464 1147 0 39170 0
Current children cumulated CPU time: 73.36 s
Current children cumulated vsize: 211164 KiB
Current children cumulated memory: 156168 KiB
Child status: 0
Real time (s): 73.6211
CPU time (s): 73.402
CPU user time (s): 71.6532
CPU system time (s): 1.74881
CPU usage (%): 99.7024
Max. virtual memory (cumulated for all children) (KiB): 211960
Max. memory (cumulated for all children) (KiB): 157032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.6532
system time used= 1.74882
maximum resident set size= 154088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 197
# summary of solver processes directly reported to runsolver:
# pid: 85429
# total CPU time (s): 73.402
# total CPU user time (s): 71.6532
# total CPU system time (s): 1.74881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.164263 second user time and 0.387128 second system time
The end
Begin job on nodeC034 at 2025-07-04 07:35:06
IDJOB=4523746
IDBENCH=180371
IDSOLVER=3350
FILE ID=nodeC034/4523746-1751607306
RUNJOBID= nodeC034-1751603608-84770
SLURM_JOB_ID= 9598888
Free space on /tmp= 430848 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523746-1751607306/watcher-4523746-1751607306 -o /tmp/evaluation-result-4523746-1751607306/solver-4523746-1751607306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84770 --watchdog 3760 run-opt.sh HOME/instance-4523746-1751607306.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f94de02fa01250a2017b0bd253a5fded
RANDOM SEED=1058692015
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3466.190
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.184
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3558.250
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.760
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.752
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.136
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.631
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 104355816 kB
MemAvailable: 127931428 kB
Buffers: 2128 kB
Cached: 24313412 kB
SwapCached: 36 kB
Active: 2296596 kB
Inactive: 23838788 kB
Active(anon): 1833712 kB
Inactive(anon): 4208 kB
Active(file): 462884 kB
Inactive(file): 23834580 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20868 kB
Writeback: 0 kB
AnonPages: 1814188 kB
Mapped: 118728 kB
Shmem: 18068 kB
KReclaimable: 234376 kB
Slab: 327452 kB
SReclaimable: 234376 kB
SUnreclaim: 93076 kB
KernelStack: 4304 kB
PageTables: 7100 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2463756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 729088 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430848 MiB
End job on nodeC034 at 2025-07-04 07:36:20