0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.18/0.26 c #variables 2025 #constraints 63342
0.18/0.26 c objective is ce32
0.18/0.26 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.18/0.26 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.18/0.26 c GLOBAL bounds - >= -317 @ 0.186495
0.18/0.26 c GLOBAL bounds - >= -317 @ 0.186822
0.18/0.26 c GLOBAL bounds - >= -317 @ 0.186827
0.18/0.27 c GLOBAL bounds - >= -317 @ 0.186833
0.18/0.27 c GLOBAL bounds - >= -317 @ 0.186836
0.18/0.27 c GLOBAL bounds - >= -317 @ 0.186841
0.18/0.27 c GLOBAL bounds - >= -317 @ 0.186847
0.18/0.27 c GLOBAL bounds - >= -317 @ 0.186852
0.18/0.27 c GLOBAL bounds - >= -317 @ 0.186911
0.18/0.28 c GLOBAL bounds - >= -317 @ 0.187855
0.18/0.28 c GLOBAL bounds - >= -317 @ 0.18786
0.18/0.28 c GLOBAL bounds - >= -317 @ 0.187865
0.18/0.28 c GLOBAL bounds - >= -317 @ 0.187868
0.18/0.28 c GLOBAL bounds - >= -317 @ 0.187875
0.18/0.29 c GLOBAL bounds - >= -317 @ 0.18788
0.18/0.29 c GLOBAL bounds - >= -317 @ 0.187881
0.18/0.29 c GLOBAL bounds - >= -317 @ 0.187887
0.18/0.29 c GLOBAL bounds - >= -317 @ 0.187891
0.18/0.29 c GLOBAL bounds - >= -317 @ 0.187896
0.18/0.29 c GLOBAL bounds - >= -317 @ 0.187901
0.18/0.30 c GLOBAL bounds - >= -317 @ 0.188215
0.18/0.30 c GLOBAL bounds - >= -317 @ 0.1899
0.18/0.30 c GLOBAL bounds - >= -317 @ 0.189905
0.18/0.30 c GLOBAL bounds - >= -317 @ 0.191186
0.18/0.30 c GLOBAL bounds - >= -317 @ 0.191875
0.28/0.31 c GLOBAL bounds - >= -317 @ 0.191875
0.28/0.31 c GLOBAL bounds - >= -317 @ 0.192837
0.28/0.31 c GLOBAL bounds - >= -317 @ 0.193705
0.28/0.31 c GLOBAL bounds - >= -317 @ 0.194869
0.28/0.31 c GLOBAL bounds - >= -317 @ 0.194874
0.28/0.32 c GLOBAL bounds - >= -317 @ 0.195873
0.28/0.32 c GLOBAL bounds - >= -317 @ 0.195878
0.28/0.32 c GLOBAL bounds - >= -317 @ 0.196141
0.28/0.32 c GLOBAL bounds - >= -317 @ 0.197052
0.28/0.32 c GLOBAL bounds - >= -317 @ 0.198874
0.28/0.33 c GLOBAL bounds - >= -317 @ 0.199831
0.28/0.33 c GLOBAL bounds - >= -317 @ 0.201847
0.28/0.33 c GLOBAL bounds - >= -317 @ 0.203698
0.28/0.33 c GLOBAL bounds - >= -317 @ 0.204858
0.28/0.33 c GLOBAL bounds - >= -317 @ 0.205418
0.28/0.33 c GLOBAL bounds - >= -317 @ 0.207271
0.28/0.34 c GLOBAL bounds - >= -317 @ 0.207856
0.28/0.34 c GLOBAL bounds - >= -317 @ 0.207984
0.28/0.34 c GLOBAL bounds - >= -317 @ 0.208857
0.28/0.34 c GLOBAL bounds - >= -317 @ 0.209856
0.28/0.34 c GLOBAL bounds - >= -317 @ 0.210536
0.28/0.35 c GLOBAL bounds - >= -317 @ 0.210859
0.28/0.35 c GLOBAL bounds - >= -317 @ 0.211253
0.28/0.35 c GLOBAL bounds - >= -317 @ 0.212104
0.28/0.35 c GLOBAL bounds - >= -317 @ 0.212966
0.28/0.35 c GLOBAL bounds - >= -317 @ 0.213858
0.28/0.36 c GLOBAL bounds - >= -317 @ 0.213862
0.28/0.36 c GLOBAL bounds - >= -317 @ 0.214861
0.28/0.36 c GLOBAL bounds - >= -317 @ 0.214865
0.28/0.36 c GLOBAL bounds - >= -317 @ 0.215211
0.28/0.36 c GLOBAL bounds - >= -317 @ 0.216863
0.28/0.36 c GLOBAL bounds - >= -317 @ 0.217904
0.28/0.37 c GLOBAL bounds - >= -317 @ 0.218857
0.28/0.37 c GLOBAL bounds - >= -317 @ 0.218861
0.28/0.37 c GLOBAL bounds - >= -317 @ 0.218864
0.28/0.37 c GLOBAL bounds - >= -317 @ 0.218868
0.28/0.37 c GLOBAL bounds - >= -317 @ 0.220157
0.28/0.38 c GLOBAL bounds - >= -317 @ 0.221011
0.28/0.38 c GLOBAL bounds - >= -317 @ 0.22187
0.28/0.38 c GLOBAL bounds - >= -317 @ 0.223717
0.28/0.38 c GLOBAL bounds - >= -317 @ 0.224567
0.28/0.38 c GLOBAL bounds - >= -317 @ 0.224855
0.28/0.38 c GLOBAL bounds - >= -317 @ 0.225277
0.28/0.39 c GLOBAL bounds - >= -317 @ 0.226122
0.28/0.39 c GLOBAL bounds - >= -317 @ 0.227851
0.28/0.39 c GLOBAL bounds - >= -317 @ 0.227853
0.28/0.39 c GLOBAL bounds - >= -317 @ 0.228623
0.28/0.39 c GLOBAL bounds - >= -317 @ 0.228855
0.28/0.40 c GLOBAL bounds - >= -317 @ 0.230376
0.28/0.40 c GLOBAL bounds - >= -317 @ 0.230853
0.28/0.40 c GLOBAL bounds - >= -317 @ 0.231234
0.28/0.40 c GLOBAL bounds - >= -317 @ 0.233112
0.28/0.40 c GLOBAL bounds - >= -317 @ 0.234021
0.38/0.41 c GLOBAL bounds - >= -317 @ 0.235918
0.38/0.41 c GLOBAL bounds - >= -317 @ 0.23684
0.38/0.41 c GLOBAL bounds - >= -317 @ 0.23782
0.38/0.41 c GLOBAL bounds - >= -317 @ 0.237823
0.38/0.41 c GLOBAL bounds - >= -317 @ 0.238514
0.38/0.41 c GLOBAL bounds - >= -317 @ 0.238825
0.38/0.42 c GLOBAL bounds - >= -317 @ 0.24021
0.38/0.42 c GLOBAL bounds - >= -317 @ 0.240821
0.38/0.42 c GLOBAL bounds - >= -317 @ 0.240986
0.38/0.42 c GLOBAL bounds - >= -317 @ 0.24189
0.38/0.42 c GLOBAL bounds - >= -317 @ 0.243748
0.38/0.43 c GLOBAL bounds - >= -317 @ 0.245582
0.38/0.43 c GLOBAL bounds - >= -317 @ 0.246809
0.38/0.43 c GLOBAL bounds - >= -317 @ 0.248442
0.38/0.43 c GLOBAL bounds - >= -317 @ 0.249297
0.38/0.43 c GLOBAL bounds - >= -317 @ 0.249805
0.38/0.44 c GLOBAL bounds - >= -317 @ 0.249808
0.38/0.44 c GLOBAL bounds - >= -317 @ 0.250853
0.38/0.44 c GLOBAL bounds - >= -317 @ 0.251804
0.38/0.44 c GLOBAL bounds - >= -317 @ 0.252802
0.38/0.44 c GLOBAL bounds - >= -317 @ 0.253801
0.38/0.44 c GLOBAL bounds - >= -317 @ 0.253804
0.38/0.45 c GLOBAL bounds - >= -317 @ 0.253807
0.38/0.45 c GLOBAL bounds - >= -317 @ 0.25486
0.38/0.45 c GLOBAL bounds - >= -317 @ 0.255803
0.38/0.45 c GLOBAL bounds - >= -317 @ 0.255805
0.38/0.45 c GLOBAL bounds - >= -317 @ 0.255808
0.38/0.46 c GLOBAL bounds - >= -317 @ 0.256219
0.38/0.46 c GLOBAL bounds - >= -317 @ 0.257805
0.38/0.46 c GLOBAL bounds - >= -317 @ 0.257807
0.38/0.46 c GLOBAL bounds - >= -317 @ 0.258737
0.38/0.46 c GLOBAL bounds - >= -317 @ 0.259804
0.38/0.46 c GLOBAL bounds - >= -317 @ 0.259806
0.38/0.47 c GLOBAL bounds - >= -317 @ 0.260221
0.38/0.47 c GLOBAL bounds - >= -317 @ 0.260808
0.38/0.47 c GLOBAL bounds - >= -317 @ 0.261894
0.38/0.47 c GLOBAL bounds - >= -317 @ 0.262804
0.38/0.47 c GLOBAL bounds - >= -317 @ 0.264561
0.38/0.48 c GLOBAL bounds - >= -317 @ 0.265401
0.38/0.48 c GLOBAL bounds - >= -317 @ 0.266796
0.38/0.48 c GLOBAL bounds - >= -317 @ 0.266798
0.38/0.48 c GLOBAL bounds - >= -317 @ 0.266801
0.38/0.48 c GLOBAL bounds - >= -317 @ 0.267667
0.38/0.49 c GLOBAL bounds - >= -317 @ 0.268477
0.38/0.49 c GLOBAL bounds - >= -317 @ 0.2688
0.38/0.49 c GLOBAL bounds - >= -317 @ 0.269063
0.38/0.49 c GLOBAL bounds - >= -317 @ 0.269947
0.38/0.49 c GLOBAL bounds - >= -317 @ 0.270798
0.38/0.49 c GLOBAL bounds - >= -317 @ 0.270801
0.38/0.50 c GLOBAL bounds - >= -317 @ 0.270803
0.38/0.50 c GLOBAL bounds - >= -317 @ 0.272161
0.38/0.50 c GLOBAL bounds - >= -317 @ 0.273797
0.38/0.50 c GLOBAL bounds - >= -317 @ 0.274787
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39395
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39399
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.394
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39402
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39404
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39406
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39407
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39409
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39411
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39413
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39414
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39416
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39418
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3942
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39421
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39423
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39425
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39427
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39428
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3943
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39432
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39434
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39435
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39437
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39439
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3944
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39442
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39444
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39446
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39447
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39449
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39451
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39454
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39468
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39471
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39473
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39475
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39478
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3948
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39482
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39484
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39486
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39488
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3949
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39492
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39494
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39496
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39498
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.395
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39503
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39505
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39507
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39509
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39511
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39513
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39514
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39516
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39518
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3952
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39522
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39524
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39525
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39527
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39528
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3953
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39532
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39534
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39535
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39537
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39538
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3954
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39542
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39543
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39545
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39546
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39548
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3955
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39551
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39553
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39554
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39556
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39558
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39559
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3956
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39562
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39564
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39565
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39567
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39568
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3957
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39572
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39646
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39648
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3965
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39651
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39652
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39654
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39655
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39657
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39658
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39674
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39677
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39701
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39705
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39708
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39711
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.3974
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39744
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39782
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39785
1.57/1.64 c GLOBAL bounds - >= -317 @ 1.39788
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.39805
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.39805
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.39885
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.39896
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.39981
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.39992
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.40004
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.40004
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.40004
1.57/1.65 c GLOBAL bounds - >= -317 @ 1.40004
1.57/1.66 c GLOBAL bounds - >= -317 @ 1.40181
1.57/1.66 c GLOBAL bounds - >= -317 @ 1.40191
1.57/1.66 c GLOBAL bounds - >= -317 @ 1.40279
1.57/1.66 c GLOBAL bounds - >= -317 @ 1.4029
1.57/1.66 c GLOBAL bounds - >= -317 @ 1.40404
1.57/1.66 c GLOBAL bounds - >= -317 @ 1.40404
1.57/1.66 c GLOBAL bounds - >= -317 @ 1.40504
1.57/1.66 c GLOBAL bounds - >= -317 @ 1.4051
1.57/1.66 c GLOBAL bounds - >= -317 @ 1.40696
1.57/1.67 c GLOBAL bounds - >= -317 @ 1.40785
1.57/1.67 c GLOBAL bounds - >= -317 @ 1.40877
1.57/1.67 c GLOBAL bounds - >= -317 @ 1.41003
1.57/1.67 c GLOBAL bounds - >= -317 @ 1.41103
1.57/1.67 c GLOBAL bounds - >= -317 @ 1.41145
1.57/1.68 c GLOBAL bounds - >= -317 @ 1.41241
1.57/1.68 c GLOBAL bounds - >= -317 @ 1.41303
1.57/1.68 c GLOBAL bounds - >= -317 @ 1.41412
1.57/1.68 c GLOBAL bounds - >= -317 @ 1.41608
1.57/1.68 c GLOBAL bounds - >= -317 @ 1.41702
1.57/1.69 c GLOBAL bounds - >= -317 @ 1.41702
1.57/1.69 c GLOBAL bounds - >= -317 @ 1.41702
1.57/1.69 c GLOBAL bounds - >= -317 @ 1.41702
1.57/1.69 c GLOBAL bounds - >= -317 @ 1.41711
1.57/1.69 c GLOBAL bounds - >= -317 @ 1.41805
1.67/1.70 c GLOBAL bounds - >= -317 @ 1.42002
1.67/1.70 c GLOBAL bounds - >= -317 @ 1.42002
1.67/1.70 c GLOBAL bounds - >= -317 @ 1.42002
1.67/1.70 c GLOBAL bounds - >= -317 @ 1.42002
1.67/1.70 c GLOBAL bounds - >= -317 @ 1.42002
1.67/1.71 c GLOBAL bounds - >= -317 @ 1.42102
1.67/1.71 c GLOBAL bounds - >= -317 @ 1.42402
1.67/1.72 c GLOBAL bounds - >= -317 @ 1.4286
1.67/1.72 c GLOBAL bounds - >= -317 @ 1.42901
1.67/1.72 c GLOBAL bounds - >= -317 @ 1.42941
1.67/1.72 c GLOBAL bounds - >= -317 @ 1.43001
1.67/1.72 c GLOBAL bounds - >= -317 @ 1.4302
1.67/1.73 c GLOBAL bounds - >= -317 @ 1.43101
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43104
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43142
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43145
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43148
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43151
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43154
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43156
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43159
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43162
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43164
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43166
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43167
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.4317
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43173
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43176
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43182
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43185
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43188
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43191
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43208
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43214
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43222
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43226
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43229
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43232
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43238
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43244
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43248
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43252
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43256
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43265
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43301
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43301
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43301
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43301
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43355
1.67/1.73 c GLOBAL bounds - >= -265 @ 1.43363
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43401
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43401
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43401
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43401
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43401
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43401
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43501
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43501
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43537
1.67/1.74 c GLOBAL bounds - >= -265 @ 1.43545
1.67/1.75 c GLOBAL bounds - >= -265 @ 1.43701
1.67/1.75 c GLOBAL bounds - >= -265 @ 1.43701
1.67/1.75 c GLOBAL bounds - >= -265 @ 1.438
1.67/1.75 c GLOBAL bounds - >= -265 @ 1.438
1.67/1.75 c GLOBAL bounds - >= -265 @ 1.43801
1.67/1.75 c GLOBAL bounds - >= -265 @ 1.43828
1.67/1.76 c GLOBAL bounds - >= -265 @ 1.43921
1.67/1.76 c GLOBAL bounds - >= -265 @ 1.4403
1.67/1.76 c GLOBAL bounds - >= -265 @ 1.44216
1.67/1.76 c GLOBAL bounds - >= -265 @ 1.44308
1.67/1.76 c GLOBAL bounds - >= -265 @ 1.444
1.67/1.77 c GLOBAL bounds - >= -265 @ 1.445
1.67/1.77 c GLOBAL bounds - >= -265 @ 1.44599
1.67/1.77 c GLOBAL bounds - >= -265 @ 1.44799
1.67/1.77 c GLOBAL bounds - >= -265 @ 1.44799
1.67/1.77 c GLOBAL bounds - >= -265 @ 1.44899
1.67/1.78 c GLOBAL bounds - >= -265 @ 1.44901
1.67/1.78 c GLOBAL bounds - >= -265 @ 1.45094
1.67/1.78 c GLOBAL bounds - >= -265 @ 1.45629
1.67/1.79 c GLOBAL bounds - >= -265 @ 1.45698
1.67/1.79 c GLOBAL bounds - >= -265 @ 1.45698
1.77/1.80 c GLOBAL bounds - >= -265 @ 1.46596
1.77/1.80 c GLOBAL bounds - >= -265 @ 1.46721
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.46911
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.46947
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.46952
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.46955
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.46963
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.46966
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.46969
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.46988
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.46997
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47005
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47011
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47018
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47024
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47027
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.4703
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47032
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47035
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47037
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47044
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.4705
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47055
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.4706
1.77/1.80 c GLOBAL bounds - >= -250 @ 1.47068
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.47095
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.47095
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.47156
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.47164
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.47295
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.47295
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.47354
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.47363
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.47452
1.77/1.81 c GLOBAL bounds - >= -250 @ 1.4747
1.77/1.82 c GLOBAL bounds - >= -250 @ 1.4766
1.77/1.82 c GLOBAL bounds - >= -250 @ 1.47673
1.77/1.82 c GLOBAL bounds - >= -250 @ 1.47694
1.77/1.82 c GLOBAL bounds - >= -250 @ 1.47694
1.77/1.82 c GLOBAL bounds - >= -250 @ 1.47794
1.77/1.82 c GLOBAL bounds - >= -250 @ 1.47794
1.77/1.82 c GLOBAL bounds - >= -250 @ 1.47874
1.77/1.82 c GLOBAL bounds - >= -250 @ 1.47885
1.77/1.82 c GLOBAL bounds - >= -250 @ 1.47994
1.77/1.83 c GLOBAL bounds - >= -250 @ 1.48195
1.77/1.83 c GLOBAL bounds - >= -250 @ 1.48293
1.77/1.83 c GLOBAL bounds - >= -250 @ 1.48393
1.77/1.83 c GLOBAL bounds - >= -250 @ 1.48467
1.77/1.83 c GLOBAL bounds - >= -250 @ 1.48593
1.77/1.84 c GLOBAL bounds - >= -250 @ 1.48671
1.77/1.84 c GLOBAL bounds - >= -250 @ 1.4887
1.77/1.84 c GLOBAL bounds - >= -250 @ 1.4896
1.77/1.84 c GLOBAL bounds - >= -250 @ 1.48992
1.77/1.84 c GLOBAL bounds - >= -250 @ 1.49049
1.77/1.85 c GLOBAL bounds - >= -250 @ 1.49092
1.77/1.85 c GLOBAL bounds - >= -250 @ 1.49139
1.77/1.85 c GLOBAL bounds - >= -250 @ 1.49292
1.77/1.85 c GLOBAL bounds - >= -250 @ 1.49428
1.77/1.85 c GLOBAL bounds - >= -250 @ 1.49492
1.77/1.86 c GLOBAL bounds - >= -250 @ 1.49591
1.77/1.86 c GLOBAL bounds - >= -250 @ 1.49691
1.77/1.86 c GLOBAL bounds - >= -250 @ 1.49809
1.77/1.86 c GLOBAL bounds - >= -250 @ 1.49897
1.77/1.89 c #Conflicts: 1000 | #Constraints: 1937
1.77/1.89 c GLOBAL bounds - >= -250 @ 1.52286
1.77/1.89 c GLOBAL bounds - >= -250 @ 1.52406
1.77/1.89 c GLOBAL bounds - >= -250 @ 1.52536
1.86/1.90 c GLOBAL bounds - >= -250 @ 1.52985
1.86/1.90 c GLOBAL bounds - >= -250 @ 1.53285
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55651
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.5571
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55718
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55724
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55732
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55736
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55739
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55742
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55746
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55755
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55763
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55769
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55775
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.5578
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55785
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.5579
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55795
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.558
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55805
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.5581
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55815
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.5582
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55825
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.5583
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55835
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.5584
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55847
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55979
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.55979
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.56147
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.56169
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.56365
1.86/1.93 c GLOBAL bounds - >= -232 @ 1.56398
1.86/1.94 c GLOBAL bounds - >= -232 @ 1.56577
1.86/1.94 c GLOBAL bounds - >= -232 @ 1.56577
1.86/1.94 c GLOBAL bounds - >= -232 @ 1.56599
1.86/1.94 c GLOBAL bounds - >= -232 @ 1.56613
1.86/1.94 c GLOBAL bounds - >= -232 @ 1.56677
1.86/1.94 c GLOBAL bounds - >= -232 @ 1.56677
1.86/1.94 c GLOBAL bounds - >= -232 @ 1.56777
1.86/1.94 c GLOBAL bounds - >= -232 @ 1.56777
1.86/1.94 c GLOBAL bounds - >= -232 @ 1.56931
1.86/1.95 c GLOBAL bounds - >= -232 @ 1.56943
1.86/1.95 c GLOBAL bounds - >= -232 @ 1.57077
1.86/1.95 c GLOBAL bounds - >= -232 @ 1.57077
1.86/1.95 c GLOBAL bounds - >= -232 @ 1.57152
1.86/1.95 c GLOBAL bounds - >= -232 @ 1.57248
1.86/1.95 c GLOBAL bounds - >= -232 @ 1.57349
1.86/1.96 c GLOBAL bounds - >= -232 @ 1.57376
1.86/1.96 c GLOBAL bounds - >= -232 @ 1.57476
1.86/1.96 c GLOBAL bounds - >= -232 @ 1.57642
1.86/1.96 c GLOBAL bounds - >= -232 @ 1.57776
1.86/1.96 c GLOBAL bounds - >= -232 @ 1.57776
1.86/1.97 c GLOBAL bounds - >= -232 @ 1.57876
1.86/1.97 c GLOBAL bounds - >= -232 @ 1.57876
1.86/1.97 c GLOBAL bounds - >= -232 @ 1.58083
1.86/1.97 c GLOBAL bounds - >= -232 @ 1.58375
1.86/1.98 c GLOBAL bounds - >= -232 @ 1.59109
1.86/1.99 c GLOBAL bounds - >= -232 @ 1.59273
1.86/1.99 c GLOBAL bounds - >= -232 @ 1.5941
1.86/1.99 c GLOBAL bounds - >= -232 @ 1.59573
1.86/1.99 c GLOBAL bounds - >= -232 @ 1.59702
1.86/1.99 c GLOBAL bounds - >= -232 @ 1.59872
1.97/2.09 c #Conflicts: 2000 | #Constraints: 2989
1.97/2.09 c INPROCESSING
1.97/2.09 c GARBAGE COLLECT
1.97/2.09 c #Conflicts: 3000 | #Constraints: 2947
1.97/2.09 c GLOBAL bounds - >= -232 @ 1.68754
1.97/2.09 c GLOBAL bounds - >= -232 @ 1.68816
1.97/2.09 c GLOBAL bounds - >= -232 @ 1.68954
2.07/2.18 c #Conflicts: 4000 | #Constraints: 3947
2.07/2.18 c INPROCESSING
2.07/2.18 c GARBAGE COLLECT
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77886
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77942
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77948
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77953
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77958
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77967
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77973
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77979
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77984
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.7799
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.77995
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.78013
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.78024
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.78057
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.7807
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.78078
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.78086
2.07/2.18 c GLOBAL bounds - >= -222 @ 1.78093
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78102
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78109
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78115
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78135
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78146
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78334
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78334
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78434
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78434
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78575
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78591
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78685
2.07/2.19 c GLOBAL bounds - >= -222 @ 1.78704
2.17/2.20 c GLOBAL bounds - >= -222 @ 1.78833
2.17/2.20 c GLOBAL bounds - >= -222 @ 1.78838
2.17/2.20 c GLOBAL bounds - >= -222 @ 1.78933
2.17/2.20 c GLOBAL bounds - >= -222 @ 1.78945
2.17/2.20 c GLOBAL bounds - >= -222 @ 1.79142
2.17/2.20 c GLOBAL bounds - >= -222 @ 1.79167
2.17/2.20 c GLOBAL bounds - >= -222 @ 1.79332
2.17/2.20 c GLOBAL bounds - >= -222 @ 1.79332
2.17/2.20 c GLOBAL bounds - >= -222 @ 1.79332
2.17/2.21 c GLOBAL bounds - >= -222 @ 1.79332
2.17/2.21 c GLOBAL bounds - >= -222 @ 1.79499
2.17/2.21 c GLOBAL bounds - >= -222 @ 1.79532
2.17/2.21 c GLOBAL bounds - >= -222 @ 1.79702
2.17/2.21 c GLOBAL bounds - >= -222 @ 1.79802
2.17/2.22 c GLOBAL bounds - >= -222 @ 1.79905
2.17/2.22 c GLOBAL bounds - >= -222 @ 1.80031
2.17/2.22 c GLOBAL bounds - >= -222 @ 1.80224
2.17/2.22 c GLOBAL bounds - >= -222 @ 1.80231
2.17/2.22 c GLOBAL bounds - >= -222 @ 1.80431
2.17/2.23 c GLOBAL bounds - >= -222 @ 1.80445
2.17/2.23 c GLOBAL bounds - >= -222 @ 1.8063
2.17/2.23 c GLOBAL bounds - >= -222 @ 1.80776
2.17/2.23 c GLOBAL bounds - >= -222 @ 1.80999
2.17/2.24 c GLOBAL bounds - >= -222 @ 1.81229
2.17/2.26 c GLOBAL bounds - >= -222 @ 1.83026
2.17/2.26 c GLOBAL bounds - >= -222 @ 1.83335
2.57/2.64 c #Conflicts: 5000 | #Constraints: 3410
2.57/2.64 c #Conflicts: 6000 | #Constraints: 4410
2.57/2.64 c INPROCESSING
2.57/2.64 c GARBAGE COLLECT
2.57/2.64 c #Conflicts: 7000 | #Constraints: 3408
2.57/2.64 c #Conflicts: 8000 | #Constraints: 4408
2.57/2.64 c #Conflicts: 9000 | #Constraints: 5408
2.57/2.64 c INPROCESSING
2.57/2.64 c GARBAGE COLLECT
2.57/2.64 c GLOBAL bounds - >= -222 @ 2.19254
2.57/2.64 c GLOBAL bounds - >= -222 @ 2.1932
3.87/3.93 c #Conflicts: 10000 | #Constraints: 4109
3.87/3.93 c #Conflicts: 11000 | #Constraints: 5109
3.87/3.93 c #Conflicts: 12000 | #Constraints: 6109
3.87/3.93 c INPROCESSING
3.87/3.93 c GARBAGE COLLECT
3.87/3.93 c #Conflicts: 13000 | #Constraints: 4562
3.87/3.93 c #Conflicts: 14000 | #Constraints: 5562
3.87/3.93 c #Conflicts: 15000 | #Constraints: 6562
3.87/3.93 c INPROCESSING
3.87/3.93 c GARBAGE COLLECT
3.87/3.93 c #Conflicts: 16000 | #Constraints: 4788
3.87/3.93 c #Conflicts: 17000 | #Constraints: 5788
3.87/3.93 c #Conflicts: 18000 | #Constraints: 6788
3.87/3.93 c INPROCESSING
3.87/3.93 c GARBAGE COLLECT
3.87/3.93 c #Conflicts: 19000 | #Constraints: 4800
3.87/3.93 c #Conflicts: 20000 | #Constraints: 5800
3.87/3.93 c #Conflicts: 21000 | #Constraints: 6800
3.87/3.93 c INPROCESSING
3.87/3.93 c GARBAGE COLLECT
3.87/3.93 c #Conflicts: 22000 | #Constraints: 4605
3.87/3.93 c #Conflicts: 23000 | #Constraints: 5605
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44048
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44104
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44104
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44104
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44104
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44111
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44129
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44141
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44155
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44184
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44198
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44206
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44215
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44221
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44227
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44233
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44259
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44274
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44289
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44309
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44404
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44404
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44404
3.87/3.93 c GLOBAL bounds - >= -201 @ 3.44419
3.87/3.94 c GLOBAL bounds - >= -201 @ 3.44527
3.87/3.94 c GLOBAL bounds - >= -201 @ 3.44555
3.87/3.94 c GLOBAL bounds - >= -201 @ 3.44663
3.87/3.94 c GLOBAL bounds - >= -201 @ 3.44684
3.87/3.94 c GLOBAL bounds - >= -201 @ 3.44803
3.87/3.94 c GLOBAL bounds - >= -201 @ 3.44819
3.87/3.94 c GLOBAL bounds - >= -201 @ 3.44935
3.87/3.94 c GLOBAL bounds - >= -201 @ 3.44955
3.87/3.95 c GLOBAL bounds - >= -201 @ 3.45003
3.87/3.95 c GLOBAL bounds - >= -201 @ 3.45003
3.87/3.95 c GLOBAL bounds - >= -201 @ 3.45118
3.87/3.95 c GLOBAL bounds - >= -201 @ 3.45135
3.87/3.95 c GLOBAL bounds - >= -201 @ 3.45302
3.87/3.95 c GLOBAL bounds - >= -201 @ 3.45302
3.87/3.95 c GLOBAL bounds - >= -201 @ 3.45402
3.87/3.96 c GLOBAL bounds - >= -201 @ 3.45417
3.87/3.96 c GLOBAL bounds - >= -201 @ 3.4554
3.87/3.96 c GLOBAL bounds - >= -201 @ 3.45602
3.87/3.96 c GLOBAL bounds - >= -201 @ 3.45702
3.87/3.96 c GLOBAL bounds - >= -201 @ 3.45801
3.87/3.97 c GLOBAL bounds - >= -201 @ 3.45901
3.87/3.97 c GLOBAL bounds - >= -201 @ 3.45929
3.87/3.97 c GLOBAL bounds - >= -201 @ 3.46154
3.87/3.97 c GLOBAL bounds - >= -201 @ 3.46265
3.87/3.98 c GLOBAL bounds - >= -201 @ 3.46301
3.87/3.98 c GLOBAL bounds - >= -201 @ 3.46393
3.87/3.98 c GLOBAL bounds - >= -201 @ 3.46617
3.87/3.98 c GLOBAL bounds - >= -201 @ 3.467
3.87/3.98 c GLOBAL bounds - >= -201 @ 3.46738
3.87/3.99 c GLOBAL bounds - >= -201 @ 3.468
3.87/3.99 c GLOBAL bounds - >= -201 @ 3.469
3.87/3.99 c GLOBAL bounds - >= -201 @ 3.47015
3.87/3.99 c GLOBAL bounds - >= -201 @ 3.47156
3.87/4.00 c GLOBAL bounds - >= -201 @ 3.47299
3.96/4.01 c GLOBAL bounds - >= -201 @ 3.48708
3.96/4.01 c GLOBAL bounds - >= -201 @ 3.48927
3.96/4.02 c GLOBAL bounds - >= -201 @ 3.49193
3.96/4.02 c GLOBAL bounds - >= -201 @ 3.4938
3.96/4.02 c GLOBAL bounds - >= -201 @ 3.49493
3.96/4.02 c GLOBAL bounds - >= -201 @ 3.49493
3.96/4.03 c GLOBAL bounds - >= -201 @ 3.50192
3.96/4.04 c GLOBAL bounds - >= -201 @ 3.50393
3.96/4.04 c GLOBAL bounds - >= -201 @ 3.50605
3.96/4.04 c GLOBAL bounds - >= -201 @ 3.50791
3.96/4.04 c GLOBAL bounds - >= -201 @ 3.50936
3.96/4.07 c #Conflicts: 24000 | #Constraints: 6695
3.96/4.07 c GLOBAL bounds - >= -201 @ 3.53653
3.96/4.07 c GLOBAL bounds - >= -201 @ 3.53864
3.96/4.08 c GLOBAL bounds - >= -201 @ 3.54583
3.96/4.09 c GLOBAL bounds - >= -201 @ 3.54883
9.46/9.51 c #Conflicts: 25000 | #Constraints: 7695
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 26000 | #Constraints: 5279
9.46/9.51 c #Conflicts: 27000 | #Constraints: 6279
9.46/9.51 c #Conflicts: 28000 | #Constraints: 7279
9.46/9.51 c #Conflicts: 29000 | #Constraints: 8279
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 30000 | #Constraints: 5681
9.46/9.51 c #Conflicts: 31000 | #Constraints: 6681
9.46/9.51 c #Conflicts: 32000 | #Constraints: 7681
9.46/9.51 c #Conflicts: 33000 | #Constraints: 8681
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 34000 | #Constraints: 5883
9.46/9.51 c #Conflicts: 35000 | #Constraints: 6883
9.46/9.51 c #Conflicts: 36000 | #Constraints: 7883
9.46/9.51 c #Conflicts: 37000 | #Constraints: 8883
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 38000 | #Constraints: 5882
9.46/9.51 c #Conflicts: 39000 | #Constraints: 6882
9.46/9.51 c #Conflicts: 40000 | #Constraints: 7882
9.46/9.51 c #Conflicts: 41000 | #Constraints: 8882
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 42000 | #Constraints: 5681
9.46/9.51 c #Conflicts: 43000 | #Constraints: 6681
9.46/9.51 c #Conflicts: 44000 | #Constraints: 7681
9.46/9.51 c #Conflicts: 45000 | #Constraints: 8681
9.46/9.51 c #Conflicts: 46000 | #Constraints: 9681
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 47000 | #Constraints: 6282
9.46/9.51 c #Conflicts: 48000 | #Constraints: 7282
9.46/9.51 c #Conflicts: 49000 | #Constraints: 8282
9.46/9.51 c #Conflicts: 50000 | #Constraints: 9282
9.46/9.51 c #Conflicts: 51000 | #Constraints: 10282
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 52000 | #Constraints: 6688
9.46/9.51 c #Conflicts: 53000 | #Constraints: 7688
9.46/9.51 c #Conflicts: 54000 | #Constraints: 8688
9.46/9.51 c #Conflicts: 55000 | #Constraints: 9688
9.46/9.51 c #Conflicts: 56000 | #Constraints: 10688
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 57000 | #Constraints: 6886
9.46/9.51 c #Conflicts: 58000 | #Constraints: 7886
9.46/9.51 c #Conflicts: 59000 | #Constraints: 8886
9.46/9.51 c #Conflicts: 60000 | #Constraints: 9886
9.46/9.51 c #Conflicts: 61000 | #Constraints: 10886
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 62000 | #Constraints: 6888
9.46/9.51 c #Conflicts: 63000 | #Constraints: 7888
9.46/9.51 c #Conflicts: 64000 | #Constraints: 8888
9.46/9.51 c #Conflicts: 65000 | #Constraints: 9888
9.46/9.51 c #Conflicts: 66000 | #Constraints: 10888
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c #Conflicts: 67000 | #Constraints: 6688
9.46/9.51 c #Conflicts: 68000 | #Constraints: 7688
9.46/9.51 c #Conflicts: 69000 | #Constraints: 8688
9.46/9.51 c #Conflicts: 70000 | #Constraints: 9688
9.46/9.51 c #Conflicts: 71000 | #Constraints: 10688
9.46/9.51 c #Conflicts: 72000 | #Constraints: 11688
9.46/9.51 c INPROCESSING
9.46/9.51 c GARBAGE COLLECT
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.82936
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.8308
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83099
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83131
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83149
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83165
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83181
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83193
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83203
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83211
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83233
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83249
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83265
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83288
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83302
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83316
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83328
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.8334
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83351
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83363
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83383
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83397
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83408
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83418
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83428
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83437
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83445
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83454
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83461
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83468
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83475
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83482
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83489
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83496
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83502
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83517
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.83544
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.8375
9.46/9.51 c GLOBAL bounds - >= -193 @ 8.8375
9.46/9.52 c GLOBAL bounds - >= -193 @ 8.83909
9.46/9.52 c GLOBAL bounds - >= -193 @ 8.83937
9.46/9.52 c GLOBAL bounds - >= -193 @ 8.84049
9.46/9.52 c GLOBAL bounds - >= -193 @ 8.84073
9.46/9.52 c GLOBAL bounds - >= -193 @ 8.84184
9.46/9.52 c GLOBAL bounds - >= -193 @ 8.84208
9.46/9.52 c GLOBAL bounds - >= -193 @ 8.84249
9.46/9.52 c GLOBAL bounds - >= -193 @ 8.84249
9.46/9.53 c GLOBAL bounds - >= -193 @ 8.84361
9.46/9.53 c GLOBAL bounds - >= -193 @ 8.84389
9.46/9.53 c GLOBAL bounds - >= -193 @ 8.84593
9.46/9.53 c GLOBAL bounds - >= -193 @ 8.84621
9.46/9.53 c GLOBAL bounds - >= -193 @ 8.84648
9.46/9.53 c GLOBAL bounds - >= -193 @ 8.84663
9.46/9.53 c GLOBAL bounds - >= -193 @ 8.84748
9.46/9.53 c GLOBAL bounds - >= -193 @ 8.84748
9.46/9.54 c GLOBAL bounds - >= -193 @ 8.84924
9.46/9.54 c GLOBAL bounds - >= -193 @ 8.85147
9.46/9.54 c GLOBAL bounds - >= -193 @ 8.85247
9.46/9.54 c GLOBAL bounds - >= -193 @ 8.85247
9.46/9.55 c GLOBAL bounds - >= -193 @ 8.85444
9.46/9.55 c GLOBAL bounds - >= -193 @ 8.85547
9.46/9.55 c GLOBAL bounds - >= -193 @ 8.85647
9.46/9.56 c GLOBAL bounds - >= -193 @ 8.85946
9.46/9.56 c GLOBAL bounds - >= -193 @ 8.86138
9.46/9.58 c GLOBAL bounds - >= -193 @ 8.88056
9.46/9.58 c GLOBAL bounds - >= -193 @ 8.88242
9.46/9.58 c GLOBAL bounds - >= -193 @ 8.88647
9.46/9.59 c GLOBAL bounds - >= -193 @ 8.88741
9.46/9.59 c GLOBAL bounds - >= -193 @ 8.88771
9.55/9.60 c GLOBAL bounds - >= -193 @ 8.89933
9.55/9.60 c GLOBAL bounds - >= -193 @ 8.90152
9.55/9.61 c GLOBAL bounds - >= -193 @ 8.90488
9.55/9.65 c #Conflicts: 73000 | #Constraints: 7335
9.55/9.65 c GLOBAL bounds - >= -193 @ 8.94788
9.55/9.66 c GLOBAL bounds - >= -193 @ 8.94829
9.65/9.71 c GLOBAL bounds - >= -193 @ 9.00035
9.65/9.71 c GLOBAL bounds - >= -193 @ 9.00119
9.65/9.79 c #Conflicts: 74000 | #Constraints: 8335
9.65/9.79 c GLOBAL bounds - >= -193 @ 9.07406
9.75/9.80 c GLOBAL bounds - >= -193 @ 9.07606
9.75/9.81 c GLOBAL bounds - >= -193 @ 9.08703
10.35/10.45 c #Conflicts: 75000 | #Constraints: 9335
10.35/10.45 c #Conflicts: 76000 | #Constraints: 10335
10.35/10.45 c #Conflicts: 77000 | #Constraints: 11335
10.35/10.45 c #Conflicts: 78000 | #Constraints: 12335
10.35/10.45 c INPROCESSING
10.35/10.45 c GARBAGE COLLECT
10.35/10.45 c #Conflicts: 79000 | #Constraints: 7734
10.35/10.45 c GLOBAL bounds - >= -193 @ 9.7139
10.35/10.46 c GLOBAL bounds - >= -193 @ 9.716
10.35/10.46 c GLOBAL bounds - >= -193 @ 9.7168
15.44/15.51 c #Conflicts: 80000 | #Constraints: 8734
15.44/15.51 c #Conflicts: 81000 | #Constraints: 9734
15.44/15.51 c #Conflicts: 82000 | #Constraints: 10734
15.44/15.51 c #Conflicts: 83000 | #Constraints: 11734
15.44/15.51 c #Conflicts: 84000 | #Constraints: 12734
15.44/15.51 c INPROCESSING
15.44/15.51 c GARBAGE COLLECT
15.44/15.51 c #Conflicts: 85000 | #Constraints: 7933
15.44/15.51 c #Conflicts: 86000 | #Constraints: 8933
15.44/15.51 c #Conflicts: 87000 | #Constraints: 9933
15.44/15.51 c #Conflicts: 88000 | #Constraints: 10933
15.44/15.51 c #Conflicts: 89000 | #Constraints: 11933
15.44/15.51 c #Conflicts: 90000 | #Constraints: 12933
15.44/15.51 c INPROCESSING
15.44/15.51 c GARBAGE COLLECT
15.44/15.51 c #Conflicts: 91000 | #Constraints: 7935
15.44/15.51 c #Conflicts: 92000 | #Constraints: 8935
15.44/15.51 c #Conflicts: 93000 | #Constraints: 9935
15.44/15.51 c #Conflicts: 94000 | #Constraints: 10935
15.44/15.51 c #Conflicts: 95000 | #Constraints: 11935
15.44/15.51 c #Conflicts: 96000 | #Constraints: 12935
15.44/15.51 c INPROCESSING
15.44/15.51 c GARBAGE COLLECT
15.44/15.51 c #Conflicts: 97000 | #Constraints: 7737
15.44/15.51 c #Conflicts: 98000 | #Constraints: 8737
15.44/15.51 c #Conflicts: 99000 | #Constraints: 9737
15.44/15.51 c #Conflicts: 100000 | #Constraints: 10737
15.44/15.51 c #Conflicts: 101000 | #Constraints: 11737
15.44/15.51 c #Conflicts: 102000 | #Constraints: 12737
15.44/15.51 c #Conflicts: 103000 | #Constraints: 13737
15.44/15.51 c INPROCESSING
15.44/15.51 c GARBAGE COLLECT
15.44/15.51 c #Conflicts: 104000 | #Constraints: 8337
15.44/15.51 c #Conflicts: 105000 | #Constraints: 9337
15.44/15.51 c #Conflicts: 106000 | #Constraints: 10337
15.44/15.51 c #Conflicts: 107000 | #Constraints: 11337
15.44/15.51 c #Conflicts: 108000 | #Constraints: 12337
15.44/15.51 c #Conflicts: 109000 | #Constraints: 13337
15.44/15.51 c #Conflicts: 110000 | #Constraints: 14337
15.44/15.51 c INPROCESSING
15.44/15.51 c GARBAGE COLLECT
15.44/15.51 c #Conflicts: 111000 | #Constraints: 8739
15.44/15.51 c #Conflicts: 112000 | #Constraints: 9739
15.44/15.51 c #Conflicts: 113000 | #Constraints: 10739
15.44/15.51 c #Conflicts: 114000 | #Constraints: 11739
15.44/15.51 c #Conflicts: 115000 | #Constraints: 12739
15.44/15.51 c #Conflicts: 116000 | #Constraints: 13739
15.44/15.51 c #Conflicts: 117000 | #Constraints: 14739
15.44/15.51 c INPROCESSING
15.44/15.51 c GARBAGE COLLECT
15.44/15.51 c GLOBAL bounds - >= -192 @ 14.682
15.44/15.51 c GLOBAL bounds - >= -192 @ 14.6834
15.44/15.51 c GLOBAL bounds - >= -192 @ 14.6836
15.44/15.51 c GLOBAL bounds - >= -192 @ 14.6837
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6838
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.684
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6841
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6841
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6842
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6844
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6846
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6847
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6849
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6852
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6854
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6856
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6857
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6859
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6862
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6864
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6867
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.687
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6872
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6875
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6879
15.44/15.52 c GLOBAL bounds - >= -192 @ 14.6882
15.44/15.52 c GLOBAL bounds -163 >= -192 @ 14.6891
15.44/15.52 c GLOBAL bounds -163 >= -192 @ 14.69
15.44/15.52 c GLOBAL bounds -163 >= -192 @ 14.6908
15.44/15.53 c GLOBAL bounds -163 >= -192 @ 14.6921
15.44/15.53 c GLOBAL bounds -163 >= -192 @ 14.6921
15.44/15.53 c GLOBAL bounds -163 >= -192 @ 14.6931
15.44/15.53 c GLOBAL bounds -163 >= -192 @ 14.6934
15.44/15.53 c GLOBAL bounds -163 >= -192 @ 14.6941
15.44/15.53 c GLOBAL bounds -163 >= -192 @ 14.6941
15.44/15.53 c GLOBAL bounds -163 >= -192 @ 14.6951
15.44/15.53 c GLOBAL bounds -163 >= -192 @ 14.6951
15.44/15.54 c GLOBAL bounds -163 >= -192 @ 14.6971
15.44/15.54 c GLOBAL bounds -163 >= -192 @ 14.6974
15.44/15.54 c GLOBAL bounds -163 >= -192 @ 14.6991
15.44/15.54 c GLOBAL bounds -163 >= -192 @ 14.6991
15.44/15.54 c GLOBAL bounds -163 >= -192 @ 14.6997
15.44/15.54 c GLOBAL bounds -165 >= -192 @ 14.7011
15.44/15.54 c GLOBAL bounds -165 >= -192 @ 14.7031
15.44/15.54 c GLOBAL bounds -168 >= -192 @ 14.7042
15.44/15.55 c GLOBAL bounds -168 >= -192 @ 14.7061
15.44/15.55 c GLOBAL bounds -168 >= -192 @ 14.7061
15.44/15.55 c GLOBAL bounds -168 >= -192 @ 14.7101
15.44/15.55 c GLOBAL bounds -168 >= -192 @ 14.7103
15.44/15.56 c GLOBAL bounds -168 >= -192 @ 14.7151
15.44/15.56 c GLOBAL bounds -168 >= -192 @ 14.7161
15.44/15.57 c GLOBAL bounds -168 >= -192 @ 14.7171
15.44/15.57 c GLOBAL bounds -168 >= -192 @ 14.7172
15.44/15.57 c GLOBAL bounds -168 >= -192 @ 14.7191
15.64/15.73 c #Conflicts: 118000 | #Constraints: 8980
15.64/15.73 c GLOBAL bounds -168 >= -192 @ 14.8768
15.64/15.73 c GLOBAL bounds -168 >= -192 @ 14.8779
15.64/15.75 c #Conflicts: 119000 | #Constraints: 9980
15.64/15.75 c GLOBAL bounds -168 >= -192 @ 14.8907
15.64/15.77 c GLOBAL bounds -168 >= -192 @ 14.9098
15.64/15.77 c GLOBAL bounds -168 >= -192 @ 14.9117
25.72/25.89 c #Conflicts: 120000 | #Constraints: 10980
25.72/25.89 c #Conflicts: 121000 | #Constraints: 11980
25.72/25.89 c #Conflicts: 122000 | #Constraints: 12980
25.72/25.89 c #Conflicts: 123000 | #Constraints: 13980
25.72/25.89 c #Conflicts: 124000 | #Constraints: 14980
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c #Conflicts: 125000 | #Constraints: 8798
25.72/25.89 c #Conflicts: 126000 | #Constraints: 9798
25.72/25.89 c #Conflicts: 127000 | #Constraints: 10798
25.72/25.89 c #Conflicts: 128000 | #Constraints: 11798
25.72/25.89 c #Conflicts: 129000 | #Constraints: 12798
25.72/25.89 c #Conflicts: 130000 | #Constraints: 13798
25.72/25.89 c #Conflicts: 131000 | #Constraints: 14798
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c #Conflicts: 132000 | #Constraints: 8599
25.72/25.89 c #Conflicts: 133000 | #Constraints: 9599
25.72/25.89 c #Conflicts: 134000 | #Constraints: 10599
25.72/25.89 c #Conflicts: 135000 | #Constraints: 11599
25.72/25.89 c #Conflicts: 136000 | #Constraints: 12599
25.72/25.89 c #Conflicts: 137000 | #Constraints: 13599
25.72/25.89 c #Conflicts: 138000 | #Constraints: 14599
25.72/25.89 c #Conflicts: 139000 | #Constraints: 15599
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c #Conflicts: 140000 | #Constraints: 9196
25.72/25.89 c #Conflicts: 141000 | #Constraints: 10196
25.72/25.89 c #Conflicts: 142000 | #Constraints: 11196
25.72/25.89 c #Conflicts: 143000 | #Constraints: 12196
25.72/25.89 c #Conflicts: 144000 | #Constraints: 13196
25.72/25.89 c #Conflicts: 145000 | #Constraints: 14196
25.72/25.89 c #Conflicts: 146000 | #Constraints: 15196
25.72/25.89 c #Conflicts: 147000 | #Constraints: 16196
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c #Conflicts: 148000 | #Constraints: 9601
25.72/25.89 c #Conflicts: 149000 | #Constraints: 10601
25.72/25.89 c #Conflicts: 150000 | #Constraints: 11601
25.72/25.89 c #Conflicts: 151000 | #Constraints: 12601
25.72/25.89 c #Conflicts: 152000 | #Constraints: 13601
25.72/25.89 c #Conflicts: 153000 | #Constraints: 14601
25.72/25.89 c #Conflicts: 154000 | #Constraints: 15601
25.72/25.89 c #Conflicts: 155000 | #Constraints: 16601
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c #Conflicts: 156000 | #Constraints: 9802
25.72/25.89 c #Conflicts: 157000 | #Constraints: 10802
25.72/25.89 c #Conflicts: 158000 | #Constraints: 11802
25.72/25.89 c #Conflicts: 159000 | #Constraints: 12802
25.72/25.89 c #Conflicts: 160000 | #Constraints: 13802
25.72/25.89 c #Conflicts: 161000 | #Constraints: 14802
25.72/25.89 c #Conflicts: 162000 | #Constraints: 15802
25.72/25.89 c #Conflicts: 163000 | #Constraints: 16802
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c #Conflicts: 164000 | #Constraints: 9804
25.72/25.89 c #Conflicts: 165000 | #Constraints: 10804
25.72/25.89 c #Conflicts: 166000 | #Constraints: 11804
25.72/25.89 c #Conflicts: 167000 | #Constraints: 12804
25.72/25.89 c #Conflicts: 168000 | #Constraints: 13804
25.72/25.89 c #Conflicts: 169000 | #Constraints: 14804
25.72/25.89 c #Conflicts: 170000 | #Constraints: 15804
25.72/25.89 c #Conflicts: 171000 | #Constraints: 16804
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c #Conflicts: 172000 | #Constraints: 9601
25.72/25.89 c #Conflicts: 173000 | #Constraints: 10601
25.72/25.89 c #Conflicts: 174000 | #Constraints: 11601
25.72/25.89 c #Conflicts: 175000 | #Constraints: 12601
25.72/25.89 c #Conflicts: 176000 | #Constraints: 13601
25.72/25.89 c #Conflicts: 177000 | #Constraints: 14601
25.72/25.89 c #Conflicts: 178000 | #Constraints: 15601
25.72/25.89 c #Conflicts: 179000 | #Constraints: 16601
25.72/25.89 c #Conflicts: 180000 | #Constraints: 17601
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c #Conflicts: 181000 | #Constraints: 10203
25.72/25.89 c #Conflicts: 182000 | #Constraints: 11203
25.72/25.89 c #Conflicts: 183000 | #Constraints: 12203
25.72/25.89 c #Conflicts: 184000 | #Constraints: 13203
25.72/25.89 c #Conflicts: 185000 | #Constraints: 14203
25.72/25.89 c #Conflicts: 186000 | #Constraints: 15203
25.72/25.89 c #Conflicts: 187000 | #Constraints: 16203
25.72/25.89 c #Conflicts: 188000 | #Constraints: 17203
25.72/25.89 c #Conflicts: 189000 | #Constraints: 18203
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c #Conflicts: 190000 | #Constraints: 10603
25.72/25.89 c #Conflicts: 191000 | #Constraints: 11603
25.72/25.89 c #Conflicts: 192000 | #Constraints: 12603
25.72/25.89 c #Conflicts: 193000 | #Constraints: 13603
28.71/28.89 c #Conflicts: 194000 | #Constraints: 14603
28.71/28.89 c #Conflicts: 195000 | #Constraints: 15603
28.71/28.89 c #Conflicts: 196000 | #Constraints: 16603
28.71/28.89 c #Conflicts: 197000 | #Constraints: 17603
28.71/28.89 c #Conflicts: 198000 | #Constraints: 18603
28.71/28.89 c INPROCESSING
28.71/28.89 c GARBAGE COLLECT
28.71/28.89 c #Conflicts: 199000 | #Constraints: 10805
28.71/28.89 c #Conflicts: 200000 | #Constraints: 11805
28.71/28.89 c #Conflicts: 201000 | #Constraints: 12805
28.71/28.89 c #Conflicts: 202000 | #Constraints: 13805
28.71/28.89 c #Conflicts: 203000 | #Constraints: 14805
28.71/28.89 c #Conflicts: 204000 | #Constraints: 15805
28.71/28.89 c #Conflicts: 205000 | #Constraints: 16805
28.71/28.89 c #Conflicts: 206000 | #Constraints: 17805
28.71/28.89 c #Conflicts: 207000 | #Constraints: 18805
28.71/28.89 c INPROCESSING
28.71/28.89 c GARBAGE COLLECT
28.71/28.89 c #Conflicts: 208000 | #Constraints: 10806
28.71/28.89 c #Conflicts: 209000 | #Constraints: 11806
28.71/28.89 c #Conflicts: 210000 | #Constraints: 12806
28.71/28.89 c #Conflicts: 211000 | #Constraints: 13806
28.71/28.89 c #Conflicts: 212000 | #Constraints: 14806
28.71/28.89 c #Conflicts: 213000 | #Constraints: 15806
28.71/28.89 c GLOBAL bounds -168 >= -182 @ 27.7703
28.71/28.89 c GLOBAL bounds -168 >= -182 @ 27.7723
28.71/28.89 c GLOBAL bounds -168 >= -182 @ 27.7725
28.71/28.89 c GLOBAL bounds -168 >= -182 @ 27.773
28.71/28.90 c GLOBAL bounds -168 >= -182 @ 27.7733
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.7735
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.7738
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.7739
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.774
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.774
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.7741
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.7742
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.7764
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.7764
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.7788
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.779
28.81/28.90 c GLOBAL bounds -168 >= -182 @ 27.7804
28.81/28.91 c GLOBAL bounds -168 >= -182 @ 27.7804
28.81/28.91 c GLOBAL bounds -168 >= -182 @ 27.7818
28.81/28.91 c GLOBAL bounds -168 >= -182 @ 27.7821
28.81/28.91 c GLOBAL bounds -168 >= -182 @ 27.7844
28.81/28.91 c GLOBAL bounds -168 >= -182 @ 27.7846
28.92/29.02 c #Conflicts: 214000 | #Constraints: 16821
28.92/29.02 c GLOBAL bounds -168 >= -182 @ 27.8922
28.92/29.02 c GLOBAL bounds -168 >= -182 @ 27.8922
28.92/29.03 c GLOBAL bounds -168 >= -182 @ 27.8944
28.92/29.03 c GLOBAL bounds -169 >= -182 @ 27.8958
28.92/29.03 c GLOBAL bounds -169 >= -182 @ 27.9003
28.92/29.03 c GLOBAL bounds -169 >= -182 @ 27.9005
30.31/30.41 c #Conflicts: 215000 | #Constraints: 17825
30.31/30.41 c #Conflicts: 216000 | #Constraints: 18825
30.31/30.41 c INPROCESSING
30.31/30.41 c GARBAGE COLLECT
30.31/30.41 c #Conflicts: 217000 | #Constraints: 10620
30.31/30.41 c #Conflicts: 218000 | #Constraints: 11620
30.31/30.41 c #Conflicts: 219000 | #Constraints: 12620
30.31/30.41 c #Conflicts: 220000 | #Constraints: 13620
30.31/30.41 c #Conflicts: 221000 | #Constraints: 14620
30.31/30.41 c #Conflicts: 222000 | #Constraints: 15620
30.31/30.41 c #Conflicts: 223000 | #Constraints: 16620
30.31/30.41 c #Conflicts: 224000 | #Constraints: 17620
30.31/30.41 c #Conflicts: 225000 | #Constraints: 18620
30.31/30.41 c #Conflicts: 226000 | #Constraints: 19620
30.31/30.41 c INPROCESSING
30.31/30.41 c GARBAGE COLLECT
30.31/30.41 c GLOBAL bounds -169 >= -182 @ 29.2476
30.31/30.41 c GLOBAL bounds -169 >= -182 @ 29.248
30.41/30.58 c #Conflicts: 227000 | #Constraints: 11219
30.41/30.58 c #Conflicts: 228000 | #Constraints: 12219
30.41/30.58 c GLOBAL bounds -169 >= -182 @ 29.4034
30.41/30.58 c GLOBAL bounds -169 >= -182 @ 29.4036
30.41/30.59 c GLOBAL bounds -169 >= -182 @ 29.4172
30.51/30.60 c GLOBAL bounds -169 >= -182 @ 29.4203
30.81/30.94 c #Conflicts: 229000 | #Constraints: 13220
30.81/30.94 c #Conflicts: 230000 | #Constraints: 14220
30.81/30.94 c #Conflicts: 231000 | #Constraints: 15220
30.81/30.94 c GLOBAL bounds -169 >= -182 @ 29.759
30.81/30.95 c GLOBAL bounds -169 >= -182 @ 29.7595
30.81/30.95 c GLOBAL bounds -169 >= -182 @ 29.7625
43.89/44.02 c #Conflicts: 232000 | #Constraints: 16220
43.89/44.02 c #Conflicts: 233000 | #Constraints: 17220
43.89/44.02 c #Conflicts: 234000 | #Constraints: 18220
43.89/44.02 c #Conflicts: 235000 | #Constraints: 19220
43.89/44.02 c #Conflicts: 236000 | #Constraints: 20220
43.89/44.02 c INPROCESSING
43.89/44.02 c GARBAGE COLLECT
43.89/44.02 c #Conflicts: 237000 | #Constraints: 11619
43.89/44.02 c #Conflicts: 238000 | #Constraints: 12619
43.89/44.02 c #Conflicts: 239000 | #Constraints: 13619
43.89/44.02 c #Conflicts: 240000 | #Constraints: 14619
43.89/44.02 c #Conflicts: 241000 | #Constraints: 15619
43.89/44.02 c #Conflicts: 242000 | #Constraints: 16619
43.89/44.02 c #Conflicts: 243000 | #Constraints: 17619
43.89/44.02 c #Conflicts: 244000 | #Constraints: 18619
43.89/44.02 c #Conflicts: 245000 | #Constraints: 19619
43.89/44.02 c #Conflicts: 246000 | #Constraints: 20619
43.89/44.02 c INPROCESSING
43.89/44.02 c GARBAGE COLLECT
43.89/44.02 c #Conflicts: 247000 | #Constraints: 11817
43.89/44.02 c #Conflicts: 248000 | #Constraints: 12817
43.89/44.02 c #Conflicts: 249000 | #Constraints: 13817
43.89/44.02 c #Conflicts: 250000 | #Constraints: 14817
43.89/44.02 c #Conflicts: 251000 | #Constraints: 15817
43.89/44.02 c #Conflicts: 252000 | #Constraints: 16817
43.89/44.02 c #Conflicts: 253000 | #Constraints: 17817
43.89/44.02 c #Conflicts: 254000 | #Constraints: 18817
43.89/44.02 c #Conflicts: 255000 | #Constraints: 19817
43.89/44.02 c #Conflicts: 256000 | #Constraints: 20817
43.89/44.02 c INPROCESSING
43.89/44.02 c GARBAGE COLLECT
43.89/44.02 c #Conflicts: 257000 | #Constraints: 11820
43.89/44.02 c #Conflicts: 258000 | #Constraints: 12820
43.89/44.02 c #Conflicts: 259000 | #Constraints: 13820
43.89/44.02 c #Conflicts: 260000 | #Constraints: 14820
43.89/44.02 c #Conflicts: 261000 | #Constraints: 15820
43.89/44.02 c #Conflicts: 262000 | #Constraints: 16820
43.89/44.02 c #Conflicts: 263000 | #Constraints: 17820
43.89/44.02 c #Conflicts: 264000 | #Constraints: 18820
43.89/44.02 c #Conflicts: 265000 | #Constraints: 19820
43.89/44.02 c #Conflicts: 266000 | #Constraints: 20820
43.89/44.02 c INPROCESSING
43.89/44.02 c GARBAGE COLLECT
43.89/44.02 c #Conflicts: 267000 | #Constraints: 11623
43.89/44.02 c #Conflicts: 268000 | #Constraints: 12623
43.89/44.02 c #Conflicts: 269000 | #Constraints: 13623
43.89/44.02 c #Conflicts: 270000 | #Constraints: 14623
43.89/44.02 c #Conflicts: 271000 | #Constraints: 15623
43.89/44.02 c #Conflicts: 272000 | #Constraints: 16623
43.89/44.02 c #Conflicts: 273000 | #Constraints: 17623
43.89/44.02 c #Conflicts: 274000 | #Constraints: 18623
43.89/44.02 c #Conflicts: 275000 | #Constraints: 19623
43.89/44.02 c #Conflicts: 276000 | #Constraints: 20623
43.89/44.02 c #Conflicts: 277000 | #Constraints: 21623
43.89/44.02 c INPROCESSING
43.89/44.02 c GARBAGE COLLECT
43.89/44.02 c #Conflicts: 278000 | #Constraints: 12222
43.89/44.02 c #Conflicts: 279000 | #Constraints: 13222
43.89/44.02 c #Conflicts: 280000 | #Constraints: 14222
43.89/44.02 c #Conflicts: 281000 | #Constraints: 15222
43.89/44.02 c #Conflicts: 282000 | #Constraints: 16222
43.89/44.02 c #Conflicts: 283000 | #Constraints: 17222
43.89/44.02 c #Conflicts: 284000 | #Constraints: 18222
43.89/44.02 c #Conflicts: 285000 | #Constraints: 19222
43.89/44.02 c #Conflicts: 286000 | #Constraints: 20222
43.89/44.02 c #Conflicts: 287000 | #Constraints: 21222
43.89/44.02 c #Conflicts: 288000 | #Constraints: 22222
43.89/44.02 c INPROCESSING
43.89/44.02 c GARBAGE COLLECT
43.89/44.02 c #Conflicts: 289000 | #Constraints: 12626
43.89/44.02 c #Conflicts: 290000 | #Constraints: 13626
43.89/44.02 c #Conflicts: 291000 | #Constraints: 14626
43.89/44.02 c #Conflicts: 292000 | #Constraints: 15626
43.89/44.02 c #Conflicts: 293000 | #Constraints: 16626
43.89/44.02 c #Conflicts: 294000 | #Constraints: 17626
43.89/44.02 c #Conflicts: 295000 | #Constraints: 18626
43.89/44.02 c #Conflicts: 296000 | #Constraints: 19626
43.89/44.02 c #Conflicts: 297000 | #Constraints: 20626
43.89/44.02 c #Conflicts: 298000 | #Constraints: 21626
43.89/44.02 c #Conflicts: 299000 | #Constraints: 22626
43.89/44.02 c INPROCESSING
43.89/44.02 c GARBAGE COLLECT
43.89/44.02 c #Conflicts: 300000 | #Constraints: 12821
43.89/44.02 c #Conflicts: 301000 | #Constraints: 13821
43.89/44.02 c #Conflicts: 302000 | #Constraints: 14821
43.89/44.02 c #Conflicts: 303000 | #Constraints: 15821
43.89/44.02 c #Conflicts: 304000 | #Constraints: 16821
43.89/44.02 c #Conflicts: 305000 | #Constraints: 17821
43.89/44.02 c #Conflicts: 306000 | #Constraints: 18821
50.27/50.40 c #Conflicts: 307000 | #Constraints: 19821
50.27/50.40 c #Conflicts: 308000 | #Constraints: 20821
50.27/50.40 c #Conflicts: 309000 | #Constraints: 21821
50.27/50.40 c #Conflicts: 310000 | #Constraints: 22821
50.27/50.40 c INPROCESSING
50.27/50.40 c GARBAGE COLLECT
50.27/50.40 c #Conflicts: 311000 | #Constraints: 12822
50.27/50.40 c #Conflicts: 312000 | #Constraints: 13822
50.27/50.40 c #Conflicts: 313000 | #Constraints: 14822
50.27/50.40 c #Conflicts: 314000 | #Constraints: 15822
50.27/50.40 c #Conflicts: 315000 | #Constraints: 16822
50.27/50.40 c #Conflicts: 316000 | #Constraints: 17822
50.27/50.40 c #Conflicts: 317000 | #Constraints: 18822
50.27/50.40 c #Conflicts: 318000 | #Constraints: 19822
50.27/50.40 c #Conflicts: 319000 | #Constraints: 20822
50.27/50.40 c #Conflicts: 320000 | #Constraints: 21822
50.27/50.40 c #Conflicts: 321000 | #Constraints: 22822
50.27/50.40 c INPROCESSING
50.27/50.40 c GARBAGE COLLECT
50.27/50.40 c #Conflicts: 322000 | #Constraints: 12624
50.27/50.40 c #Conflicts: 323000 | #Constraints: 13624
50.27/50.40 c #Conflicts: 324000 | #Constraints: 14624
50.27/50.40 c #Conflicts: 325000 | #Constraints: 15624
50.27/50.40 c #Conflicts: 326000 | #Constraints: 16624
50.27/50.40 c #Conflicts: 327000 | #Constraints: 17624
50.27/50.40 c #Conflicts: 328000 | #Constraints: 18624
50.27/50.40 c #Conflicts: 329000 | #Constraints: 19624
50.27/50.40 c #Conflicts: 330000 | #Constraints: 20624
50.27/50.40 c #Conflicts: 331000 | #Constraints: 21624
50.27/50.40 c #Conflicts: 332000 | #Constraints: 22624
50.27/50.40 c #Conflicts: 333000 | #Constraints: 23624
50.27/50.40 c INPROCESSING
50.27/50.40 c GARBAGE COLLECT
50.27/50.40 c #Conflicts: 334000 | #Constraints: 13219
50.27/50.40 c #Conflicts: 335000 | #Constraints: 14219
50.27/50.40 c #Conflicts: 336000 | #Constraints: 15219
50.27/50.40 c #Conflicts: 337000 | #Constraints: 16219
50.27/50.40 c #Conflicts: 338000 | #Constraints: 17219
50.27/50.40 c #Conflicts: 339000 | #Constraints: 18219
50.27/50.40 c #Conflicts: 340000 | #Constraints: 19219
50.27/50.40 c #Conflicts: 341000 | #Constraints: 20219
50.27/50.40 c GLOBAL bounds -169 >= -176 @ 48.8406
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.8433
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.8435
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.8437
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.8438
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.8441
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.8441
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.846
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.846
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.8475
50.27/50.41 c GLOBAL bounds -169 >= -176 @ 48.8483
50.27/50.46 c GLOBAL bounds -169 >= -176 @ 48.8921
50.27/50.46 c GLOBAL bounds -169 >= -176 @ 48.8924
50.27/50.47 c GLOBAL bounds -169 >= -176 @ 48.9049
50.27/50.47 c GLOBAL bounds -169 >= -176 @ 48.9049
50.27/50.48 c GLOBAL bounds -169 >= -176 @ 48.9059
50.27/50.48 c GLOBAL bounds -169 >= -176 @ 48.9059
50.27/50.49 c GLOBAL bounds -169 >= -176 @ 48.9208
50.27/50.49 c GLOBAL bounds -169 >= -176 @ 48.9211
50.37/50.50 c GLOBAL bounds -169 >= -176 @ 48.9227
50.37/50.50 c GLOBAL bounds -169 >= -176 @ 48.9229
50.37/50.50 c GLOBAL bounds -169 >= -176 @ 48.9248
50.37/50.50 c GLOBAL bounds -169 >= -176 @ 48.9248
50.37/50.55 c #Conflicts: 342000 | #Constraints: 21232
50.37/50.55 c GLOBAL bounds -169 >= -176 @ 48.9792
50.37/50.56 c GLOBAL bounds -169 >= -176 @ 48.9799
53.17/53.38 c #Conflicts: 343000 | #Constraints: 22233
53.17/53.38 c #Conflicts: 344000 | #Constraints: 23233
53.17/53.38 c #Conflicts: 345000 | #Constraints: 24233
53.17/53.38 c INPROCESSING
53.17/53.38 c GARBAGE COLLECT
53.17/53.38 c #Conflicts: 346000 | #Constraints: 13630
53.17/53.38 c #Conflicts: 347000 | #Constraints: 14630
53.17/53.38 c #Conflicts: 348000 | #Constraints: 15630
53.17/53.38 c #Conflicts: 349000 | #Constraints: 16630
53.17/53.38 c #Conflicts: 350000 | #Constraints: 17630
53.17/53.38 c #Conflicts: 351000 | #Constraints: 18630
53.17/53.38 c #Conflicts: 352000 | #Constraints: 19630
53.17/53.38 c #Conflicts: 353000 | #Constraints: 20630
53.17/53.38 c #Conflicts: 354000 | #Constraints: 21630
53.17/53.38 c #Conflicts: 355000 | #Constraints: 22630
53.17/53.38 c #Conflicts: 356000 | #Constraints: 23630
53.17/53.38 c #Conflicts: 357000 | #Constraints: 24630
53.17/53.38 c INPROCESSING
53.17/53.38 c GARBAGE COLLECT
53.17/53.38 c #Conflicts: 358000 | #Constraints: 13832
53.17/53.38 c #Conflicts: 359000 | #Constraints: 14832
53.17/53.38 c #Conflicts: 360000 | #Constraints: 15832
53.17/53.38 c #Conflicts: 361000 | #Constraints: 16832
53.17/53.38 c #Conflicts: 362000 | #Constraints: 17832
53.17/53.38 c #Conflicts: 363000 | #Constraints: 18832
53.17/53.38 c #Conflicts: 364000 | #Constraints: 19832
53.17/53.38 c GLOBAL bounds -169 >= -176 @ 51.7345
53.17/53.38 c GLOBAL bounds -169 >= -176 @ 51.7354
65.95/66.14 c #Conflicts: 365000 | #Constraints: 20832
65.95/66.14 c #Conflicts: 366000 | #Constraints: 21832
65.95/66.14 c #Conflicts: 367000 | #Constraints: 22832
65.95/66.14 c #Conflicts: 368000 | #Constraints: 23832
65.95/66.14 c #Conflicts: 369000 | #Constraints: 24832
65.95/66.14 c INPROCESSING
65.95/66.14 c GARBAGE COLLECT
65.95/66.14 c #Conflicts: 370000 | #Constraints: 13834
65.95/66.14 c #Conflicts: 371000 | #Constraints: 14834
65.95/66.14 c #Conflicts: 372000 | #Constraints: 15834
65.95/66.14 c #Conflicts: 373000 | #Constraints: 16834
65.95/66.14 c #Conflicts: 374000 | #Constraints: 17834
65.95/66.14 c #Conflicts: 375000 | #Constraints: 18834
65.95/66.14 c #Conflicts: 376000 | #Constraints: 19834
65.95/66.14 c #Conflicts: 377000 | #Constraints: 20834
65.95/66.14 c #Conflicts: 378000 | #Constraints: 21834
65.95/66.14 c #Conflicts: 379000 | #Constraints: 22834
65.95/66.14 c #Conflicts: 380000 | #Constraints: 23834
65.95/66.14 c #Conflicts: 381000 | #Constraints: 24834
65.95/66.14 c INPROCESSING
65.95/66.14 c GARBAGE COLLECT
65.95/66.14 c #Conflicts: 382000 | #Constraints: 13637
65.95/66.14 c #Conflicts: 383000 | #Constraints: 14637
65.95/66.14 c #Conflicts: 384000 | #Constraints: 15637
65.95/66.14 c #Conflicts: 385000 | #Constraints: 16637
65.95/66.14 c #Conflicts: 386000 | #Constraints: 17637
65.95/66.14 c #Conflicts: 387000 | #Constraints: 18637
65.95/66.14 c #Conflicts: 388000 | #Constraints: 19637
65.95/66.14 c #Conflicts: 389000 | #Constraints: 20637
65.95/66.14 c #Conflicts: 390000 | #Constraints: 21637
65.95/66.14 c #Conflicts: 391000 | #Constraints: 22637
65.95/66.14 c #Conflicts: 392000 | #Constraints: 23637
65.95/66.14 c #Conflicts: 393000 | #Constraints: 24637
65.95/66.14 c #Conflicts: 394000 | #Constraints: 25637
65.95/66.14 c INPROCESSING
65.95/66.14 c GARBAGE COLLECT
65.95/66.14 c #Conflicts: 395000 | #Constraints: 14238
65.95/66.14 c #Conflicts: 396000 | #Constraints: 15238
65.95/66.14 c #Conflicts: 397000 | #Constraints: 16238
65.95/66.14 c #Conflicts: 398000 | #Constraints: 17238
65.95/66.14 c #Conflicts: 399000 | #Constraints: 18238
65.95/66.14 c #Conflicts: 400000 | #Constraints: 19238
65.95/66.14 c #Conflicts: 401000 | #Constraints: 20238
65.95/66.14 c #Conflicts: 402000 | #Constraints: 21238
65.95/66.14 c #Conflicts: 403000 | #Constraints: 22238
65.95/66.14 c #Conflicts: 404000 | #Constraints: 23238
65.95/66.14 c #Conflicts: 405000 | #Constraints: 24238
65.95/66.14 c #Conflicts: 406000 | #Constraints: 25238
65.95/66.14 c #Conflicts: 407000 | #Constraints: 26238
65.95/66.14 c INPROCESSING
65.95/66.14 c GARBAGE COLLECT
65.95/66.14 c #Conflicts: 408000 | #Constraints: 14634
65.95/66.14 c #Conflicts: 409000 | #Constraints: 15634
65.95/66.14 c #Conflicts: 410000 | #Constraints: 16634
65.95/66.14 c #Conflicts: 411000 | #Constraints: 17634
65.95/66.14 c #Conflicts: 412000 | #Constraints: 18634
65.95/66.14 c #Conflicts: 413000 | #Constraints: 19634
65.95/66.14 c #Conflicts: 414000 | #Constraints: 20634
65.95/66.14 c #Conflicts: 415000 | #Constraints: 21634
65.95/66.14 c #Conflicts: 416000 | #Constraints: 22634
65.95/66.14 c #Conflicts: 417000 | #Constraints: 23634
65.95/66.14 c #Conflicts: 418000 | #Constraints: 24634
65.95/66.14 c #Conflicts: 419000 | #Constraints: 25634
65.95/66.14 c #Conflicts: 420000 | #Constraints: 26634
65.95/66.14 c INPROCESSING
65.95/66.14 c GARBAGE COLLECT
65.95/66.14 c #Conflicts: 421000 | #Constraints: 14836
65.95/66.14 c #Conflicts: 422000 | #Constraints: 15836
65.95/66.14 c #Conflicts: 423000 | #Constraints: 16836
65.95/66.14 c #Conflicts: 424000 | #Constraints: 17836
65.95/66.14 c #Conflicts: 425000 | #Constraints: 18836
65.95/66.14 c #Conflicts: 426000 | #Constraints: 19836
65.95/66.14 c #Conflicts: 427000 | #Constraints: 20836
65.95/66.14 c #Conflicts: 428000 | #Constraints: 21836
65.95/66.14 c #Conflicts: 429000 | #Constraints: 22836
65.95/66.14 c #Conflicts: 430000 | #Constraints: 23836
65.95/66.14 c #Conflicts: 431000 | #Constraints: 24836
65.95/66.14 c #Conflicts: 432000 | #Constraints: 25836
65.95/66.14 c #Conflicts: 433000 | #Constraints: 26836
65.95/66.14 c INPROCESSING
65.95/66.14 c GARBAGE COLLECT
65.95/66.14 c #Conflicts: 434000 | #Constraints: 14836
65.95/66.14 c #Conflicts: 435000 | #Constraints: 15836
65.95/66.14 c GLOBAL bounds -169 >= -176 @ 64.2746
81.40/81.66 c #Conflicts: 436000 | #Constraints: 16836
81.40/81.66 c #Conflicts: 437000 | #Constraints: 17836
81.40/81.66 c #Conflicts: 438000 | #Constraints: 18836
81.40/81.66 c #Conflicts: 439000 | #Constraints: 19836
81.40/81.66 c #Conflicts: 440000 | #Constraints: 20836
81.40/81.66 c #Conflicts: 441000 | #Constraints: 21836
81.40/81.66 c #Conflicts: 442000 | #Constraints: 22836
81.40/81.66 c #Conflicts: 443000 | #Constraints: 23836
81.40/81.66 c #Conflicts: 444000 | #Constraints: 24836
81.40/81.66 c #Conflicts: 445000 | #Constraints: 25836
81.40/81.66 c #Conflicts: 446000 | #Constraints: 26836
81.40/81.66 c INPROCESSING
81.40/81.66 c GARBAGE COLLECT
81.40/81.66 c #Conflicts: 447000 | #Constraints: 14639
81.40/81.66 c #Conflicts: 448000 | #Constraints: 15639
81.40/81.66 c #Conflicts: 449000 | #Constraints: 16639
81.40/81.66 c #Conflicts: 450000 | #Constraints: 17639
81.40/81.66 c #Conflicts: 451000 | #Constraints: 18639
81.40/81.66 c #Conflicts: 452000 | #Constraints: 19639
81.40/81.66 c #Conflicts: 453000 | #Constraints: 20639
81.40/81.66 c #Conflicts: 454000 | #Constraints: 21639
81.40/81.66 c #Conflicts: 455000 | #Constraints: 22639
81.40/81.66 c #Conflicts: 456000 | #Constraints: 23639
81.40/81.66 c #Conflicts: 457000 | #Constraints: 24639
81.40/81.66 c #Conflicts: 458000 | #Constraints: 25639
81.40/81.66 c #Conflicts: 459000 | #Constraints: 26639
81.40/81.66 c #Conflicts: 460000 | #Constraints: 27639
81.40/81.66 c INPROCESSING
81.40/81.66 c GARBAGE COLLECT
81.40/81.66 c #Conflicts: 461000 | #Constraints: 15240
81.40/81.66 c #Conflicts: 462000 | #Constraints: 16240
81.40/81.66 c #Conflicts: 463000 | #Constraints: 17240
81.40/81.66 c #Conflicts: 464000 | #Constraints: 18240
81.40/81.66 c #Conflicts: 465000 | #Constraints: 19240
81.40/81.66 c #Conflicts: 466000 | #Constraints: 20240
81.40/81.66 c #Conflicts: 467000 | #Constraints: 21240
81.40/81.66 c #Conflicts: 468000 | #Constraints: 22240
81.40/81.66 c #Conflicts: 469000 | #Constraints: 23240
81.40/81.66 c #Conflicts: 470000 | #Constraints: 24240
81.40/81.66 c #Conflicts: 471000 | #Constraints: 25240
81.40/81.66 c #Conflicts: 472000 | #Constraints: 26240
81.40/81.66 c #Conflicts: 473000 | #Constraints: 27240
81.40/81.66 c #Conflicts: 474000 | #Constraints: 28240
81.40/81.66 c INPROCESSING
81.40/81.66 c GARBAGE COLLECT
81.40/81.66 c #Conflicts: 475000 | #Constraints: 15641
81.40/81.66 c #Conflicts: 476000 | #Constraints: 16641
81.40/81.66 c #Conflicts: 477000 | #Constraints: 17641
81.40/81.66 c #Conflicts: 478000 | #Constraints: 18641
81.40/81.66 c #Conflicts: 479000 | #Constraints: 19641
81.40/81.66 c #Conflicts: 480000 | #Constraints: 20641
81.40/81.66 c #Conflicts: 481000 | #Constraints: 21641
81.40/81.66 c #Conflicts: 482000 | #Constraints: 22641
81.40/81.66 c #Conflicts: 483000 | #Constraints: 23641
81.40/81.66 c #Conflicts: 484000 | #Constraints: 24641
81.40/81.66 c #Conflicts: 485000 | #Constraints: 25641
81.40/81.66 c #Conflicts: 486000 | #Constraints: 26641
81.40/81.66 c #Conflicts: 487000 | #Constraints: 27641
81.40/81.66 c #Conflicts: 488000 | #Constraints: 28641
81.40/81.66 c INPROCESSING
81.40/81.66 c GARBAGE COLLECT
81.40/81.66 c #Conflicts: 489000 | #Constraints: 15838
81.40/81.66 c #Conflicts: 490000 | #Constraints: 16838
81.40/81.66 c #Conflicts: 491000 | #Constraints: 17838
81.40/81.66 c #Conflicts: 492000 | #Constraints: 18838
81.40/81.66 c #Conflicts: 493000 | #Constraints: 19838
81.40/81.66 c #Conflicts: 494000 | #Constraints: 20838
81.40/81.66 c #Conflicts: 495000 | #Constraints: 21838
81.40/81.66 c #Conflicts: 496000 | #Constraints: 22838
81.40/81.66 c #Conflicts: 497000 | #Constraints: 23838
81.40/81.66 c #Conflicts: 498000 | #Constraints: 24838
81.40/81.66 c #Conflicts: 499000 | #Constraints: 25838
81.40/81.66 c #Conflicts: 500000 | #Constraints: 26838
81.40/81.66 c #Conflicts: 501000 | #Constraints: 27838
81.40/81.66 c #Conflicts: 502000 | #Constraints: 28838
81.40/81.66 c INPROCESSING
81.40/81.66 c GARBAGE COLLECT
81.40/81.66 c #Conflicts: 503000 | #Constraints: 15834
81.40/81.66 c #Conflicts: 504000 | #Constraints: 16834
81.40/81.66 c #Conflicts: 505000 | #Constraints: 17834
81.40/81.66 c #Conflicts: 506000 | #Constraints: 18834
81.40/81.66 c #Conflicts: 507000 | #Constraints: 19834
81.40/81.66 c #Conflicts: 508000 | #Constraints: 20834
81.40/81.66 c #Conflicts: 509000 | #Constraints: 21834
81.40/81.66 c #Conflicts: 510000 | #Constraints: 22834
81.40/81.66 c #Conflicts: 511000 | #Constraints: 23834
89.68/89.94 c #Conflicts: 512000 | #Constraints: 24834
89.68/89.94 c #Conflicts: 513000 | #Constraints: 25834
89.68/89.94 c #Conflicts: 514000 | #Constraints: 26834
89.68/89.94 c #Conflicts: 515000 | #Constraints: 27834
89.68/89.94 c #Conflicts: 516000 | #Constraints: 28834
89.68/89.94 c INPROCESSING
89.68/89.94 c GARBAGE COLLECT
89.68/89.94 c #Conflicts: 517000 | #Constraints: 15634
89.68/89.94 c #Conflicts: 518000 | #Constraints: 16634
89.68/89.94 c #Conflicts: 519000 | #Constraints: 17634
89.68/89.94 c #Conflicts: 520000 | #Constraints: 18634
89.68/89.94 c #Conflicts: 521000 | #Constraints: 19634
89.68/89.94 c #Conflicts: 522000 | #Constraints: 20634
89.68/89.94 c #Conflicts: 523000 | #Constraints: 21634
89.68/89.94 c #Conflicts: 524000 | #Constraints: 22634
89.68/89.94 c #Conflicts: 525000 | #Constraints: 23634
89.68/89.94 c #Conflicts: 526000 | #Constraints: 24634
89.68/89.94 c #Conflicts: 527000 | #Constraints: 25634
89.68/89.94 c #Conflicts: 528000 | #Constraints: 26634
89.68/89.94 c #Conflicts: 529000 | #Constraints: 27634
89.68/89.94 c #Conflicts: 530000 | #Constraints: 28634
89.68/89.94 c #Conflicts: 531000 | #Constraints: 29634
89.68/89.94 c INPROCESSING
89.68/89.94 c GARBAGE COLLECT
89.68/89.94 c #Conflicts: 532000 | #Constraints: 16238
89.68/89.94 c #Conflicts: 533000 | #Constraints: 17238
89.68/89.94 c #Conflicts: 534000 | #Constraints: 18238
89.68/89.94 c #Conflicts: 535000 | #Constraints: 19238
89.68/89.94 c #Conflicts: 536000 | #Constraints: 20238
89.68/89.94 c #Conflicts: 537000 | #Constraints: 21238
89.68/89.94 c #Conflicts: 538000 | #Constraints: 22238
89.68/89.94 c #Conflicts: 539000 | #Constraints: 23238
89.68/89.94 c #Conflicts: 540000 | #Constraints: 24238
89.68/89.94 c #Conflicts: 541000 | #Constraints: 25238
89.68/89.94 c #Conflicts: 542000 | #Constraints: 26238
89.68/89.94 c #Conflicts: 543000 | #Constraints: 27238
89.68/89.94 c #Conflicts: 544000 | #Constraints: 28238
89.68/89.94 c #Conflicts: 545000 | #Constraints: 29238
89.68/89.94 c #Conflicts: 546000 | #Constraints: 30238
89.68/89.94 c INPROCESSING
89.68/89.94 c GARBAGE COLLECT
89.68/89.94 c #Conflicts: 547000 | #Constraints: 16638
89.68/89.94 c GLOBAL bounds -169 >= -172 @ 87.7178
89.68/89.94 c GLOBAL bounds -169 >= -172 @ 87.7199
89.68/89.94 c GLOBAL bounds -169 >= -172 @ 87.7201
89.68/89.94 c GLOBAL bounds -169 >= -172 @ 87.7207
89.68/89.94 c GLOBAL bounds -169 >= -172 @ 87.7208
89.68/89.94 c GLOBAL bounds -169 >= -172 @ 87.7232
89.68/89.94 c GLOBAL bounds -169 >= -172 @ 87.7232
89.89/90.10 c #Conflicts: 548000 | #Constraints: 17642
89.89/90.10 c GLOBAL bounds -169 >= -172 @ 87.8773
89.89/90.10 c GLOBAL bounds -169 >= -172 @ 87.8778
89.89/90.11 c GLOBAL bounds -169 >= -172 @ 87.8788
89.89/90.11 c GLOBAL bounds -169 >= -172 @ 87.8788
89.98/90.20 c #Conflicts: 549000 | #Constraints: 18644
89.98/90.20 c GLOBAL bounds -169 >= -172 @ 87.9697
89.98/90.20 c GLOBAL bounds -169 >= -172 @ 87.9704
101.25/101.57 c #Conflicts: 550000 | #Constraints: 19645
101.25/101.57 c #Conflicts: 551000 | #Constraints: 20645
101.25/101.57 c #Conflicts: 552000 | #Constraints: 21645
101.25/101.57 c #Conflicts: 553000 | #Constraints: 22645
101.25/101.57 c #Conflicts: 554000 | #Constraints: 23645
101.25/101.57 c #Conflicts: 555000 | #Constraints: 24645
101.25/101.57 c #Conflicts: 556000 | #Constraints: 25645
101.25/101.57 c #Conflicts: 557000 | #Constraints: 26645
101.25/101.57 c #Conflicts: 558000 | #Constraints: 27645
101.25/101.57 c #Conflicts: 559000 | #Constraints: 28645
101.25/101.57 c #Conflicts: 560000 | #Constraints: 29645
101.25/101.57 c #Conflicts: 561000 | #Constraints: 30645
101.25/101.57 c INPROCESSING
101.25/101.57 c GARBAGE COLLECT
101.25/101.57 c #Conflicts: 562000 | #Constraints: 16841
101.25/101.57 c #Conflicts: 563000 | #Constraints: 17841
101.25/101.57 c #Conflicts: 564000 | #Constraints: 18841
101.25/101.57 c #Conflicts: 565000 | #Constraints: 19841
101.25/101.57 c #Conflicts: 566000 | #Constraints: 20841
101.25/101.57 c #Conflicts: 567000 | #Constraints: 21841
101.25/101.57 c #Conflicts: 568000 | #Constraints: 22841
101.25/101.57 c #Conflicts: 569000 | #Constraints: 23841
101.25/101.57 c #Conflicts: 570000 | #Constraints: 24841
101.25/101.57 c #Conflicts: 571000 | #Constraints: 25841
101.25/101.57 c #Conflicts: 572000 | #Constraints: 26841
101.25/101.57 c #Conflicts: 573000 | #Constraints: 27841
101.25/101.57 c #Conflicts: 574000 | #Constraints: 28841
101.25/101.57 c #Conflicts: 575000 | #Constraints: 29841
101.25/101.57 c #Conflicts: 576000 | #Constraints: 30841
101.25/101.57 c INPROCESSING
101.25/101.57 c GARBAGE COLLECT
101.25/101.57 c #Conflicts: 577000 | #Constraints: 16840
101.25/101.57 c #Conflicts: 578000 | #Constraints: 17840
101.25/101.57 c #Conflicts: 579000 | #Constraints: 18840
101.25/101.57 c #Conflicts: 580000 | #Constraints: 19840
101.25/101.57 c #Conflicts: 581000 | #Constraints: 20840
101.25/101.57 c #Conflicts: 582000 | #Constraints: 21840
101.25/101.57 c #Conflicts: 583000 | #Constraints: 22840
101.25/101.57 c #Conflicts: 584000 | #Constraints: 23840
101.25/101.57 c #Conflicts: 585000 | #Constraints: 24840
101.25/101.57 c #Conflicts: 586000 | #Constraints: 25840
101.25/101.57 c #Conflicts: 587000 | #Constraints: 26840
101.25/101.57 c #Conflicts: 588000 | #Constraints: 27840
101.25/101.57 c #Conflicts: 589000 | #Constraints: 28840
101.25/101.57 c #Conflicts: 590000 | #Constraints: 29840
101.25/101.57 c #Conflicts: 591000 | #Constraints: 30840
101.25/101.57 c INPROCESSING
101.25/101.57 c GARBAGE COLLECT
101.25/101.57 c #Conflicts: 592000 | #Constraints: 16641
101.25/101.57 c #Conflicts: 593000 | #Constraints: 17641
101.25/101.57 c #Conflicts: 594000 | #Constraints: 18641
101.25/101.57 c #Conflicts: 595000 | #Constraints: 19641
101.25/101.57 c #Conflicts: 596000 | #Constraints: 20641
101.25/101.57 c #Conflicts: 597000 | #Constraints: 21641
101.25/101.57 c #Conflicts: 598000 | #Constraints: 22641
101.25/101.57 c #Conflicts: 599000 | #Constraints: 23641
101.25/101.57 c #Conflicts: 600000 | #Constraints: 24641
101.25/101.57 c #Conflicts: 601000 | #Constraints: 25641
101.25/101.57 c #Conflicts: 602000 | #Constraints: 26641
101.25/101.57 c #Conflicts: 603000 | #Constraints: 27641
101.25/101.57 c #Conflicts: 604000 | #Constraints: 28641
101.25/101.57 c #Conflicts: 605000 | #Constraints: 29641
101.25/101.57 c #Conflicts: 606000 | #Constraints: 30641
101.25/101.57 c #Conflicts: 607000 | #Constraints: 31641
101.25/101.57 c INPROCESSING
101.25/101.57 c GARBAGE COLLECT
101.25/101.57 c #Conflicts: 608000 | #Constraints: 17244
101.25/101.57 c #Conflicts: 609000 | #Constraints: 18244
101.25/101.57 c #Conflicts: 610000 | #Constraints: 19244
101.25/101.57 c #Conflicts: 611000 | #Constraints: 20244
101.25/101.57 c #Conflicts: 612000 | #Constraints: 21244
101.25/101.57 c #Conflicts: 613000 | #Constraints: 22244
101.25/101.57 c #Conflicts: 614000 | #Constraints: 23244
101.25/101.57 c #Conflicts: 615000 | #Constraints: 24244
101.25/101.57 c #Conflicts: 616000 | #Constraints: 25244
101.25/101.57 c #Conflicts: 617000 | #Constraints: 26244
101.25/101.57 c #Conflicts: 618000 | #Constraints: 27244
101.25/101.57 c #Conflicts: 619000 | #Constraints: 28244
101.25/101.57 c #Conflicts: 620000 | #Constraints: 29244
101.25/101.57 c #Conflicts: 621000 | #Constraints: 30244
101.25/101.57 c #Conflicts: 622000 | #Constraints: 31244
101.25/101.57 c #Conflicts: 623000 | #Constraints: 32244
101.25/101.57 c INPROCESSING
101.25/101.57 c GARBAGE COLLECT
101.25/101.57 c #Conflicts: 624000 | #Constraints: 17645
101.25/101.57 c #Conflicts: 625000 | #Constraints: 18645
113.12/113.47 c #Conflicts: 626000 | #Constraints: 19645
113.12/113.47 c #Conflicts: 627000 | #Constraints: 20645
113.12/113.47 c #Conflicts: 628000 | #Constraints: 21645
113.12/113.47 c #Conflicts: 629000 | #Constraints: 22645
113.12/113.47 c #Conflicts: 630000 | #Constraints: 23645
113.12/113.47 c #Conflicts: 631000 | #Constraints: 24645
113.12/113.47 c #Conflicts: 632000 | #Constraints: 25645
113.12/113.47 c #Conflicts: 633000 | #Constraints: 26645
113.12/113.47 c #Conflicts: 634000 | #Constraints: 27645
113.12/113.47 c #Conflicts: 635000 | #Constraints: 28645
113.12/113.47 c #Conflicts: 636000 | #Constraints: 29645
113.12/113.47 c #Conflicts: 637000 | #Constraints: 30645
113.12/113.47 c #Conflicts: 638000 | #Constraints: 31645
113.12/113.47 c #Conflicts: 639000 | #Constraints: 32645
113.12/113.47 c INPROCESSING
113.12/113.47 c GARBAGE COLLECT
113.12/113.47 c #Conflicts: 640000 | #Constraints: 17843
113.12/113.47 c #Conflicts: 641000 | #Constraints: 18843
113.12/113.47 c #Conflicts: 642000 | #Constraints: 19843
113.12/113.47 c #Conflicts: 643000 | #Constraints: 20843
113.12/113.47 c #Conflicts: 644000 | #Constraints: 21843
113.12/113.47 c #Conflicts: 645000 | #Constraints: 22843
113.12/113.47 c #Conflicts: 646000 | #Constraints: 23843
113.12/113.47 c #Conflicts: 647000 | #Constraints: 24843
113.12/113.47 c #Conflicts: 648000 | #Constraints: 25843
113.12/113.47 c #Conflicts: 649000 | #Constraints: 26843
113.12/113.47 c #Conflicts: 650000 | #Constraints: 27843
113.12/113.47 c #Conflicts: 651000 | #Constraints: 28843
113.12/113.47 c #Conflicts: 652000 | #Constraints: 29843
113.12/113.47 c #Conflicts: 653000 | #Constraints: 30843
113.12/113.47 c #Conflicts: 654000 | #Constraints: 31843
113.12/113.47 c #Conflicts: 655000 | #Constraints: 32843
113.12/113.47 c INPROCESSING
113.12/113.47 c GARBAGE COLLECT
113.12/113.47 c #Conflicts: 656000 | #Constraints: 17846
113.12/113.47 c #Conflicts: 657000 | #Constraints: 18846
113.12/113.47 c #Conflicts: 658000 | #Constraints: 19846
113.12/113.47 c #Conflicts: 659000 | #Constraints: 20846
113.12/113.47 c #Conflicts: 660000 | #Constraints: 21846
113.12/113.47 c #Conflicts: 661000 | #Constraints: 22846
113.12/113.47 c #Conflicts: 662000 | #Constraints: 23846
113.12/113.47 c #Conflicts: 663000 | #Constraints: 24846
113.12/113.47 c #Conflicts: 664000 | #Constraints: 25846
113.12/113.47 c #Conflicts: 665000 | #Constraints: 26846
113.12/113.47 c #Conflicts: 666000 | #Constraints: 27846
113.12/113.47 c #Conflicts: 667000 | #Constraints: 28846
113.12/113.47 c #Conflicts: 668000 | #Constraints: 29846
113.12/113.47 c #Conflicts: 669000 | #Constraints: 30846
113.12/113.47 c #Conflicts: 670000 | #Constraints: 31846
113.12/113.47 c #Conflicts: 671000 | #Constraints: 32846
113.12/113.47 c INPROCESSING
113.12/113.47 c GARBAGE COLLECT
113.12/113.47 c #Conflicts: 672000 | #Constraints: 17646
113.12/113.47 c #Conflicts: 673000 | #Constraints: 18646
113.12/113.47 c #Conflicts: 674000 | #Constraints: 19646
113.12/113.47 c #Conflicts: 675000 | #Constraints: 20646
113.12/113.47 c #Conflicts: 676000 | #Constraints: 21646
113.12/113.47 c #Conflicts: 677000 | #Constraints: 22646
113.12/113.47 c #Conflicts: 678000 | #Constraints: 23646
113.12/113.47 c #Conflicts: 679000 | #Constraints: 24646
113.12/113.47 c #Conflicts: 680000 | #Constraints: 25646
113.12/113.47 c #Conflicts: 681000 | #Constraints: 26646
113.12/113.47 c #Conflicts: 682000 | #Constraints: 27646
113.12/113.47 c #Conflicts: 683000 | #Constraints: 28646
113.12/113.47 c #Conflicts: 684000 | #Constraints: 29646
113.12/113.47 c #Conflicts: 685000 | #Constraints: 30646
113.12/113.47 c #Conflicts: 686000 | #Constraints: 31646
113.12/113.47 c #Conflicts: 687000 | #Constraints: 32646
113.12/113.47 c #Conflicts: 688000 | #Constraints: 33646
113.12/113.47 c INPROCESSING
113.12/113.47 c GARBAGE COLLECT
113.12/113.47 c #Conflicts: 689000 | #Constraints: 18247
113.12/113.47 c #Conflicts: 690000 | #Constraints: 19247
113.12/113.47 c #Conflicts: 691000 | #Constraints: 20247
113.12/113.47 c #Conflicts: 692000 | #Constraints: 21247
113.12/113.47 c #Conflicts: 693000 | #Constraints: 22247
113.12/113.47 c #Conflicts: 694000 | #Constraints: 23247
113.12/113.47 c #Conflicts: 695000 | #Constraints: 24247
113.12/113.47 c #Conflicts: 696000 | #Constraints: 25247
113.12/113.47 c #Conflicts: 697000 | #Constraints: 26247
113.12/113.47 c #Conflicts: 698000 | #Constraints: 27247
113.12/113.47 c #Conflicts: 699000 | #Constraints: 28247
113.12/113.47 c #Conflicts: 700000 | #Constraints: 29247
113.12/113.47 c #Conflicts: 701000 | #Constraints: 30247
125.69/126.03 c #Conflicts: 702000 | #Constraints: 31247
125.69/126.03 c #Conflicts: 703000 | #Constraints: 32247
125.69/126.03 c #Conflicts: 704000 | #Constraints: 33247
125.69/126.03 c #Conflicts: 705000 | #Constraints: 34247
125.69/126.03 c INPROCESSING
125.69/126.03 c GARBAGE COLLECT
125.69/126.03 c #Conflicts: 706000 | #Constraints: 18652
125.69/126.03 c #Conflicts: 707000 | #Constraints: 19652
125.69/126.03 c #Conflicts: 708000 | #Constraints: 20652
125.69/126.03 c #Conflicts: 709000 | #Constraints: 21652
125.69/126.03 c #Conflicts: 710000 | #Constraints: 22652
125.69/126.03 c #Conflicts: 711000 | #Constraints: 23652
125.69/126.03 c #Conflicts: 712000 | #Constraints: 24652
125.69/126.03 c #Conflicts: 713000 | #Constraints: 25652
125.69/126.03 c #Conflicts: 714000 | #Constraints: 26652
125.69/126.03 c #Conflicts: 715000 | #Constraints: 27652
125.69/126.03 c #Conflicts: 716000 | #Constraints: 28652
125.69/126.03 c #Conflicts: 717000 | #Constraints: 29652
125.69/126.03 c #Conflicts: 718000 | #Constraints: 30652
125.69/126.03 c #Conflicts: 719000 | #Constraints: 31652
125.69/126.03 c #Conflicts: 720000 | #Constraints: 32652
125.69/126.03 c #Conflicts: 721000 | #Constraints: 33652
125.69/126.03 c #Conflicts: 722000 | #Constraints: 34652
125.69/126.03 c INPROCESSING
125.69/126.03 c GARBAGE COLLECT
125.69/126.03 c #Conflicts: 723000 | #Constraints: 18848
125.69/126.03 c #Conflicts: 724000 | #Constraints: 19848
125.69/126.03 c #Conflicts: 725000 | #Constraints: 20848
125.69/126.03 c #Conflicts: 726000 | #Constraints: 21848
125.69/126.03 c #Conflicts: 727000 | #Constraints: 22848
125.69/126.03 c #Conflicts: 728000 | #Constraints: 23848
125.69/126.03 c #Conflicts: 729000 | #Constraints: 24848
125.69/126.03 c #Conflicts: 730000 | #Constraints: 25848
125.69/126.03 c #Conflicts: 731000 | #Constraints: 26848
125.69/126.03 c #Conflicts: 732000 | #Constraints: 27848
125.69/126.03 c #Conflicts: 733000 | #Constraints: 28848
125.69/126.03 c #Conflicts: 734000 | #Constraints: 29848
125.69/126.03 c #Conflicts: 735000 | #Constraints: 30848
125.69/126.03 c #Conflicts: 736000 | #Constraints: 31848
125.69/126.03 c #Conflicts: 737000 | #Constraints: 32848
125.69/126.03 c #Conflicts: 738000 | #Constraints: 33848
125.69/126.03 c #Conflicts: 739000 | #Constraints: 34848
125.69/126.03 c INPROCESSING
125.69/126.03 c GARBAGE COLLECT
125.69/126.03 c #Conflicts: 740000 | #Constraints: 18846
125.69/126.03 c #Conflicts: 741000 | #Constraints: 19846
125.69/126.03 c #Conflicts: 742000 | #Constraints: 20846
125.69/126.03 c #Conflicts: 743000 | #Constraints: 21846
125.69/126.03 c #Conflicts: 744000 | #Constraints: 22846
125.69/126.03 c #Conflicts: 745000 | #Constraints: 23846
125.69/126.03 c #Conflicts: 746000 | #Constraints: 24846
125.69/126.03 c #Conflicts: 747000 | #Constraints: 25846
125.69/126.03 c #Conflicts: 748000 | #Constraints: 26846
125.69/126.03 c #Conflicts: 749000 | #Constraints: 27846
125.69/126.03 c #Conflicts: 750000 | #Constraints: 28846
125.69/126.03 c #Conflicts: 751000 | #Constraints: 29846
125.69/126.03 c #Conflicts: 752000 | #Constraints: 30846
125.69/126.03 c #Conflicts: 753000 | #Constraints: 31846
125.69/126.03 c #Conflicts: 754000 | #Constraints: 32846
125.69/126.03 c #Conflicts: 755000 | #Constraints: 33846
125.69/126.03 c #Conflicts: 756000 | #Constraints: 34846
125.69/126.03 c INPROCESSING
125.69/126.03 c GARBAGE COLLECT
125.69/126.03 c #Conflicts: 757000 | #Constraints: 13143
125.69/126.03 c #Conflicts: 758000 | #Constraints: 14143
125.69/126.03 c #Conflicts: 759000 | #Constraints: 15143
125.69/126.03 c #Conflicts: 760000 | #Constraints: 16143
125.69/126.03 c #Conflicts: 761000 | #Constraints: 17143
125.69/126.03 c #Conflicts: 762000 | #Constraints: 18143
125.69/126.03 c #Conflicts: 763000 | #Constraints: 19143
125.69/126.03 c #Conflicts: 764000 | #Constraints: 20143
125.69/126.03 c #Conflicts: 765000 | #Constraints: 21143
125.69/126.03 c #Conflicts: 766000 | #Constraints: 22143
125.69/126.03 c #Conflicts: 767000 | #Constraints: 23143
125.69/126.03 c #Conflicts: 768000 | #Constraints: 24143
125.69/126.03 c #Conflicts: 769000 | #Constraints: 25143
125.69/126.03 c #Conflicts: 770000 | #Constraints: 26143
125.69/126.03 c #Conflicts: 771000 | #Constraints: 27143
125.69/126.03 c #Conflicts: 772000 | #Constraints: 28143
125.69/126.03 c #Conflicts: 773000 | #Constraints: 29143
125.69/126.03 c #Conflicts: 774000 | #Constraints: 30143
125.69/126.03 c INPROCESSING
125.69/126.03 c GARBAGE COLLECT
125.69/126.03 c #Conflicts: 775000 | #Constraints: 7294
125.69/126.03 c #Conflicts: 776000 | #Constraints: 8294
125.69/126.03 c #Conflicts: 777000 | #Constraints: 9294
125.69/126.09 c GLOBAL bounds -169 >= -169 @ 123.072
125.69/126.09 c cpu time 123.072 s
125.69/126.09 c deterministic time 2110470 2.11e+06
125.69/126.09 c optimization time 121.729 s
125.69/126.09 c total solve time 1.15991 s
125.69/126.09 c core-guided solve time 0 s
125.69/126.09 c propagation time 1.11738 s
125.69/126.09 c conflict analysis time 0.007773 s
125.69/126.09 c propagations 227057
125.69/126.09 c resolve steps 0
125.69/126.09 c decisions 18801
125.69/126.09 c conflicts 224
125.69/126.09 c restarts 2
125.69/126.09 c inprocessing phases 0
125.69/126.09 c garbage collections 0 ,( -nan )
125.69/126.09 c input clauses 63951 ,( 99.82 )
125.69/126.09 c input cardinalities 0 ,( 0.00 )
125.69/126.09 c input general constraints 113 ,( 0.18 )
125.69/126.09 c input average constraint length 3.23
125.69/126.09 c input average constraint degree 1.40
125.69/126.09 c learned clauses 288 ,( 100.00 )
125.69/126.09 c learned cardinalities 0 ,( 0.00 )
125.69/126.09 c learned general constraints 0 ,( 0.00 )
125.69/126.09 c learned average constraint length 4.69
125.69/126.09 c learned average constraint degree 1.00
125.69/126.09 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
125.69/126.09 c counting CF 32, 64, 128, Arb: 114 , 0 , 0 , 0
125.69/126.09 c watched constraints 0 ,( 0.00 )
125.69/126.09 c counting constraints 113 ,( 100.00 )
125.69/126.09 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 379926 , 0 , 287420 ,( 0 , 287420 )
125.69/126.09 c gcd simplifications 0
125.69/126.09 c detected cardinalities 0
125.69/126.09 c weakened non-implied lits 0
125.69/126.09 c weakened non-implying lits 0
125.69/126.09 c original variables 2025
125.69/126.09 c clausal propagations 110722
125.69/126.09 c cardinality propagations 0
125.69/126.09 c watched propagations 0
125.69/126.09 c counting propagations 14391
125.69/126.09 c watch lookups 1145651
125.69/126.09 c watch backjump lookups 0
125.69/126.09 c watch checks 340752
125.69/126.09 c propagation checks 125298
125.69/126.09 c constraint additions 3828
125.69/126.09 c trail pops 246082
125.69/126.09 c formula constraints 63342
125.69/126.09 c learned constraints 288
125.69/126.09 c bound constraints 0
125.69/126.09 c core-guided constraints 0
125.69/126.09 c encountered formula constraints 138
125.69/126.09 c encountered learned constraints 53
125.69/126.09 c encountered bound constraints 0
125.69/126.09 c encountered core-guided constraints 0
125.69/126.09 c LP total time 1.11871 s
125.69/126.09 c LP solve time 1.09 s
125.69/126.09 c LP constraints added 63342
125.69/126.09 c LP constraints removed 0
125.69/126.09 c LP pivots internal 2000
125.69/126.09 c LP pivots root 1000
125.69/126.09 c LP calls 2
125.69/126.09 c LP optimalities 0
125.69/126.09 c LP no pivot count 0
125.69/126.09 c LP infeasibilities 0
125.69/126.09 c LP valid Farkas constraints 0
125.69/126.09 c LP learned Farkas constraints 0
125.69/126.09 c LP basis resets 0
125.69/126.09 c LP cycling count 0
125.69/126.09 c LP singular count 0
125.69/126.09 c LP no primal count 0
125.69/126.09 c LP no farkas count 0
125.69/126.09 c LP other issue count 0
125.69/126.09 c LP Gomory cuts 0
125.69/126.09 c LP learned cuts 0
125.69/126.09 c LP deleted cuts 0
125.69/126.09 c LP encountered Gomory constraints 0
125.69/126.09 c LP encountered Farkas constraints 0
125.69/126.09 c LP encountered learned Farkas constraints 0
125.69/126.09 c CG auxiliary variables introduced 205
125.69/126.09 c CG solutions found 4
125.69/126.09 c CG cores constructed 406
125.69/126.09 c CG core cardinality constraints returned 0
125.69/126.09 c CG unit cores 0
125.69/126.09 c CG single cores 0
125.69/126.09 c CG blocks removed during cardinality reduction 0
125.69/126.09 c CG first core best 0
125.69/126.09 c CG decision core best 0
125.69/126.09 c CG core reduction tie 0
125.69/126.09 c CG core degree average 0.00
125.69/126.09 c CG core slack average 0.00
125.69/126.09 c CG core upper bound improvements 0
125.69/126.09 c STR number of successful calls 0
125.69/126.09 c STR number of unsuccessful calls 0
125.69/126.09 c STR number of inconclusive calls 0
125.69/126.09 c STR number of successful attempts 0
125.69/126.09 c STR number of unsuccessful attempts 0
125.69/126.09 c STR number of inconclusive attempts 0
125.69/126.09 c STR average degree increase per successful call inf
125.69/126.09 c STR average degree increase per successful attempt inf
125.69/126.09 c STR total number of conflicts for successful attempts 0
125.69/126.09 c STR total number of conflicts for unsuccessful attempts 0
125.69/126.09 c STR total number of conflicts for inconclusive attempts 0
125.69/126.09 c STR average number of conflicts per successful attempt inf
125.69/126.09 c STR average number of conflicts per unsuccessful attempt inf
125.69/126.09 c STR average number of conflicts per inconclusive attempt inf
125.69/126.09 c AVG.sumWPerc 84.65
125.69/126.09 c bigint constraints 0
125.69/126.09 o -169
125.69/126.09 s OPTIMUM FOUND
125.69/126.09 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 -x1290 x1291 -x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298 x1299 -x1300 -x1301 x1302 -x1303 x1304 -x1305 x1306 -x1307 x1308 -x1309 x1310 -x1311 x1312 -x1313 x1314 -x1315 x1316 -x1317 x1318 -x1319 x1320 -x1321 x1322 -x1323 x1324 -x1325 -x1326 x1327 -x1328 x1329 -x1330 x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 x1341 -x1342 -x1343 -x1344 x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 x1354 -x1355 x1356 -x1357 -x1358 -x1359 x1360 -x1361 x1362 -x1363 x1364 x1365 -x1366 -x1367 -x1368 x1369 -x1370 x1371 x1372 -x1373 -x1374 x1375 -x1376 x1377 -x1378 -x1379 -x1380 x1381 x1382 -x1383 -x1384 x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 x1408 -x1409 x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 x1478 -x1479 -x1480 -x1481 x1482 -x1483 x1484 -x1485 x1486 -x1487 x1488 -x1489 x1490 -x1491 x1492 -x1493 x1494 -x1495 -x1496 -x1497 x1498 -x1499 x1500 -x1501 x1502 -x1503 x1504 -x1505 -x1506 x1507 x1508 -x1509 x1510 -x1511 x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 x1544 x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 x1571 -x1572 -x1573 x1574 -x1575 x1576 -x1577 x1578 -x1579 -x1580 -x1581 x1582 -x1583 x1584 -x1585 x1586 -x1587 x1588 -x1589 x1590 -x1591 -x1592 -x1593 x1594 x1595 -x1596 -x1597 x1598 -x1599 x1600 -x1601 -x1602 x1603 -x1604 x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 -x1612 x1613 -x1614 x1615 -x1616 x1617 -x1618 x1619 -x1620 x1621 x1622 -x1623 x1624 -x1625 x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 x1739 -x1740 -x1741 x1742 -x1743 x1744 -x1745 x1746 -x1747 x1748 -x1749 -x1750 x1751 x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 x1846 -x1847 -x1848 -x1849 x1850 -x1851 x1852 x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 x1860 -x1861 x1862 x1863 -x1864 x1865 -x1866 -x1867 -x1868 x1869 -x1870 x1871 -x1872 -x1873 x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 x1883 -x1884 -x1885 -x1886 x1887 x1888 -x1889 x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 x1904 -x1905 -x1906 -x1907 -x1908 x1909 x1910 -x1911 x1912 -x1913 x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 x1925 -x1926 x1927 -x1928 x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 x1939 -x1940 -x1941 -x1942 -x1943 x1944 x1945 -x1946 x1947 -x1948 x1949 -x1950 -x1951 x1952 -x1953 x1954 -x1955 x1956 -x1957 x1958 -x1959 -x1960 -x1961 x1962 x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 x1975 -x1976 x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 x1986 x1987 -x1988 x1989 -x1990 -x1991 -x1992 x1993 -x1994 x1995 -x1996 -x1997 x1998 -x1999 x2000 -x2001 x2002 -x2003 -x2004 -x2005 x2006 -x2007 x2008 -x2009 -x2010 -x2011 x2012 -x2013 x2014 -x2015 -x2016 x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 -x2024 x2025
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 (62617 MiB free)
memory of node 1: 64507 MiB (63894 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499810-1751416233/watcher-4499810-1751416233 -o /tmp/evaluation-result-4499810-1751416233/solver-4499810-1751416233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751411793-60647 --watchdog 3760 run-opt.sh HOME/instance-4499810-1751416233.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=61228, runsolver pid=61225
[startup+0.100056 s]*
/proc/loadavg: 2.11 2.09 2.09 3/254 61230
/proc/meminfo: memFree=129548080/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=58012 memory=12904 CPUtime=0.08 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 1064 0 0 0 6 2 0 0 20 0 1 0 57301061 59404288 3226 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 14503 3226 1952 1147 0 1930 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62204 KiB
Current children cumulated memory: 15976 KiB
[startup+0.205148 s]*
/proc/loadavg: 2.11 2.09 2.09 3/254 61230
/proc/meminfo: memFree=129531468/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=79756 memory=32460 CPUtime=0.18 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 4706 0 0 0 14 4 0 0 20 0 1 0 57301061 81670144 8115 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 19939 8115 2272 1147 0 7366 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 83948 KiB
Current children cumulated memory: 35532 KiB
[startup+0.305329 s]*
/proc/loadavg: 2.11 2.09 2.09 3/254 61230
/proc/meminfo: memFree=129509556/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=105840 memory=57712 CPUtime=0.28 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 6474 0 0 0 19 9 0 0 20 0 1 0 57301061 108380160 14428 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 26460 14428 2368 1147 0 13887 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 110032 KiB
Current children cumulated memory: 60784 KiB
[startup+0.700198 s]
/proc/loadavg: 2.11 2.09 2.09 3/254 61231
/proc/meminfo: memFree=129509556/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=136860 memory=88804 CPUtime=0.67 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 11660 0 0 0 45 22 0 0 20 0 1 0 57301061 140144640 22201 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 34215 22201 2400 1147 0 21642 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 91876 KiB
[startup+1.50013 s]
/proc/loadavg: 2.11 2.09 2.09 3/254 61231
/proc/meminfo: memFree=129481204/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=136860 memory=88804 CPUtime=1.47 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 11660 0 0 0 125 22 0 0 20 0 1 0 57301061 140144640 22201 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 34215 22201 2400 1147 0 21642 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 91876 KiB
[startup+3.10459 s]
/proc/loadavg: 2.11 2.09 2.09 3/254 61231
/proc/meminfo: memFree=129481456/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=136860 memory=89956 CPUtime=3.07 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 11961 0 0 0 264 43 0 0 20 0 1 0 57301061 140144640 22489 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 34215 22489 2432 1147 0 21642 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 93028 KiB
[startup+6.30012 s]
/proc/loadavg: 2.10 2.09 2.09 3/254 61231
/proc/meminfo: memFree=129477864/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=136860 memory=92112 CPUtime=6.26 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 11974 0 0 0 569 57 0 0 20 0 1 0 57301061 140144640 23028 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 34215 23028 2432 1147 0 21642 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 95184 KiB
[startup+12.7001 s]
/proc/loadavg: 2.10 2.09 2.09 3/254 61231
/proc/meminfo: memFree=129478620/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=136860 memory=92112 CPUtime=12.65 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 11984 0 0 0 1191 74 0 0 20 0 1 0 57301061 140144640 23028 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 34215 23028 2432 1147 0 21642 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 95184 KiB
[startup+25.5001 s]
/proc/loadavg: 2.07 2.08 2.09 3/254 61231
/proc/meminfo: memFree=129478828/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=136860 memory=92624 CPUtime=25.42 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 12139 0 0 0 2444 98 0 0 20 0 1 0 57301061 140144640 23156 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 34215 23156 2432 1147 0 21642 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 95696 KiB
[startup+51.105 s]
/proc/loadavg: 2.10 2.09 2.09 3/254 61231
/proc/meminfo: memFree=129469124/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=143932 memory=99248 CPUtime=50.97 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 12752 0 0 0 4950 147 0 0 20 0 1 0 57301061 147386368 24812 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 35983 24812 2432 1147 0 23410 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 148124 KiB
Current children cumulated memory: 102320 KiB
[startup+102.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/256 61235
/proc/meminfo: memFree=129465456/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=155856 memory=109508 CPUtime=102.06 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 13795 0 0 0 9981 225 0 0 20 0 1 0 57301061 159596544 27377 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 38964 27377 2432 1147 0 26391 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 160048 KiB
Current children cumulated memory: 112580 KiB
[startup+126.097 s]
# the end of solver process 61228 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=123.075 s, system=2.71975 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.09 2.09 2.09 3/256 61235
/proc/meminfo: memFree=129465456/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=155856 memory=109508 CPUtime=102.15 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 13795 0 0 0 9990 225 0 0 20 0 1 0 57301061 159596544 27377 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 38964 27377 2432 1147 0 26391 0
Current children cumulated CPU time: 102.15 s
Current children cumulated vsize: 160048 KiB
Current children cumulated memory: 112580 KiB
[startup+115.2 s]
/proc/loadavg: 2.14 2.10 2.09 3/256 61235
/proc/meminfo: memFree=129457768/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=155856 memory=109508 CPUtime=114.91 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 13796 0 0 0 11241 250 0 0 20 0 1 0 57301061 159596544 27377 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 38964 27377 2432 1147 0 26391 0
Current children cumulated CPU time: 114.91 s
Current children cumulated vsize: 160048 KiB
Current children cumulated memory: 112580 KiB
[startup+121.6 s]
/proc/loadavg: 2.13 2.10 2.09 3/256 61236
/proc/meminfo: memFree=129458052/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=155856 memory=109508 CPUtime=121.3 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 13796 0 0 0 11868 262 0 0 20 0 1 0 57301061 159596544 27377 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 38964 27377 2432 1147 0 26391 0
Current children cumulated CPU time: 121.3 s
Current children cumulated vsize: 160048 KiB
Current children cumulated memory: 112580 KiB
[startup+123.2 s]
/proc/loadavg: 2.13 2.10 2.09 3/256 61236
/proc/meminfo: memFree=129458556/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=155856 memory=109508 CPUtime=122.9 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 13796 0 0 0 12025 265 0 0 20 0 1 0 57301061 159596544 27377 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 38964 27377 2432 1147 0 26391 0
Current children cumulated CPU time: 122.9 s
Current children cumulated vsize: 160048 KiB
Current children cumulated memory: 112580 KiB
[startup+124.8 s]
/proc/loadavg: 2.13 2.10 2.09 3/256 61237
/proc/meminfo: memFree=129446268/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=155856 memory=109636 CPUtime=124.49 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 13801 0 0 0 12181 268 0 0 20 0 1 0 57301061 159596544 27409 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 38964 27409 2432 1147 0 26391 0
Current children cumulated CPU time: 124.49 s
Current children cumulated vsize: 160048 KiB
Current children cumulated memory: 112708 KiB
[startup+125.6 s]
/proc/loadavg: 2.12 2.10 2.09 3/256 61237
/proc/meminfo: memFree=129446520/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=155856 memory=109636 CPUtime=125.29 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 13801 0 0 0 12259 270 0 0 20 0 1 0 57301061 159596544 27409 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 38964 27409 2432 1147 0 26391 0
Current children cumulated CPU time: 125.29 s
Current children cumulated vsize: 160048 KiB
Current children cumulated memory: 112708 KiB
[startup+126 s]*
/proc/loadavg: 2.12 2.10 2.09 3/256 61237
/proc/meminfo: memFree=129446772/131249996 swapFree=33010416/33010684
[pid=61228] ppid=61225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61228/stat : 61228 (run-opt.sh) S 61225 61228 60056 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57301060 4292608 768 18446744073709551615 94146238750720 94146239645253 140731101319744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146239884304 94146239932048 94146253983744 140731101321581 140731101321704 140731101321704 140731101327306 0
/proc/61228/statm: 1048 768 704 219 0 110 0
[pid=61230] ppid=61228 vsize=155856 memory=109636 CPUtime=125.69 cores=5,7
/proc/61230/stat : 61230 (roundingsat) R 61228 61228 60056 0 -1 4194304 13801 0 0 0 12298 271 0 0 20 0 1 0 57301061 159596544 27409 18446744073709551615 4227072 8923433 140724482458640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37646336 140724482464162 140724482464296 140724482464296 140724482469866 0
/proc/61230/statm: 38964 27409 2432 1147 0 26391 0
Current children cumulated CPU time: 125.69 s
Current children cumulated vsize: 160048 KiB
Current children cumulated memory: 112708 KiB
Child status: 0
Real time (s): 126.097
CPU time (s): 125.795
CPU user time (s): 123.075
CPU system time (s): 2.71975
CPU usage (%): 99.7606
Max. virtual memory (cumulated for all children) (KiB): 160048
Max. memory (cumulated for all children) (KiB): 112708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.075
system time used= 2.71975
maximum resident set size= 109636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14030
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= 150
involuntary context switches= 116
# summary of solver processes directly reported to runsolver:
# pid: 61228
# total CPU time (s): 125.795
# total CPU user time (s): 123.075
# total CPU system time (s): 2.71975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.256713 second user time and 0.431561 second system time
The end
Begin job on nodeC022 at 2025-07-02 02:30:33
IDJOB=4499810
IDBENCH=148792
IDSOLVER=3350
FILE ID=nodeC022/4499810-1751416233
RUNJOBID= nodeC022-1751411793-60647
SLURM_JOB_ID= 9598306
Free space on /tmp= 432964 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-5000opt.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499810-1751416233/watcher-4499810-1751416233 -o /tmp/evaluation-result-4499810-1751416233/solver-4499810-1751416233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751411793-60647 --watchdog 3760 run-opt.sh HOME/instance-4499810-1751416233.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fb04279242de174790e5a9e252d331bf
RANDOM SEED=1403071485
nodeC022 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 : 3599.716
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.44
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 : 3602.388
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.44
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 : 3700.000
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.44
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 : 3600.123
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.283
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.44
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 : 3454.351
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.44
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 : 3797.962
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.44
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 : 3599.713
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129547936 kB
MemAvailable: 129572228 kB
Buffers: 2128 kB
Cached: 826528 kB
SwapCached: 32 kB
Active: 557316 kB
Inactive: 438436 kB
Active(anon): 180932 kB
Inactive(anon): 4196 kB
Active(file): 376384 kB
Inactive(file): 434240 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9200 kB
Writeback: 40 kB
AnonPages: 170192 kB
Mapped: 108420 kB
Shmem: 18028 kB
KReclaimable: 105416 kB
Slab: 193140 kB
SReclaimable: 105416 kB
SUnreclaim: 87724 kB
KernelStack: 4112 kB
PageTables: 3076 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 464308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 106496 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC022 at 2025-07-02 02:32:39