0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.19/0.24 c #variables 21883 #constraints 61140
0.19/0.24 c objective is ce64
0.19/0.25 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.19/0.25 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.19/0.25 c GLOBAL bounds - >= -10029909935960 @ 0.190034
0.19/0.27 c GLOBAL bounds - >= -10029909935960 @ 0.199526
0.19/0.30 c GLOBAL bounds - >= -10029909935960 @ 0.2048
0.29/0.32 c GLOBAL bounds - >= -10029909935960 @ 0.212424
0.29/0.34 c GLOBAL bounds - >= -10029909935960 @ 0.223196
0.29/0.37 c GLOBAL bounds - >= -10029909935960 @ 0.234329
0.29/0.39 c GLOBAL bounds - >= -10029909935960 @ 0.241297
0.39/0.41 c GLOBAL bounds - >= -10029909935960 @ 0.253064
0.39/0.43 c GLOBAL bounds - >= -10029909935960 @ 0.265163
0.39/0.45 c GLOBAL bounds - >= -10029909935960 @ 0.272576
0.39/0.47 c GLOBAL bounds - >= -10029909935960 @ 0.277737
0.39/0.50 c GLOBAL bounds - >= -10029909935960 @ 0.28626
0.49/0.52 c GLOBAL bounds - >= -10029909935960 @ 0.292113
0.49/0.54 c GLOBAL bounds - >= -10029909935960 @ 0.296478
0.49/0.56 c GLOBAL bounds - >= -10029909935960 @ 0.303634
0.49/0.58 c GLOBAL bounds - >= -10029909935960 @ 0.309619
0.59/0.60 c GLOBAL bounds - >= -10029909935960 @ 0.32013
0.59/0.62 c GLOBAL bounds - >= -10029909935960 @ 0.331964
0.59/0.64 c GLOBAL bounds - >= -10029909935960 @ 0.341054
0.59/0.67 c GLOBAL bounds - >= -10029909935960 @ 0.352013
0.59/0.69 c GLOBAL bounds - >= -10029909935960 @ 0.358555
0.68/0.71 c GLOBAL bounds - >= -10029909935960 @ 0.366544
0.68/0.73 c GLOBAL bounds - >= -10029909935960 @ 0.373302
0.68/0.75 c GLOBAL bounds - >= -10029909935960 @ 0.379284
0.68/0.77 c GLOBAL bounds - >= -10029909935960 @ 0.390972
0.68/0.79 c GLOBAL bounds - >= -10029909935960 @ 0.4005
0.78/0.81 c GLOBAL bounds - >= -10029909935960 @ 0.404233
0.78/0.83 c GLOBAL bounds - >= -10029909935960 @ 0.411907
0.78/0.85 c GLOBAL bounds - >= -10029909935960 @ 0.419153
0.78/0.87 c GLOBAL bounds - >= -10029909935960 @ 0.430888
0.78/0.89 c GLOBAL bounds - >= -10029909935960 @ 0.440417
0.88/0.91 c GLOBAL bounds - >= -10029909935960 @ 0.447142
0.88/0.93 c GLOBAL bounds - >= -10029909935960 @ 0.455812
0.88/0.96 c GLOBAL bounds - >= -10029909935960 @ 0.458114
0.88/0.98 c GLOBAL bounds - >= -10029909935960 @ 0.462947
0.88/1.00 c GLOBAL bounds - >= -10029909935960 @ 0.472725
0.98/1.02 c GLOBAL bounds - >= -10029909935960 @ 0.479045
0.98/1.04 c GLOBAL bounds - >= -10029909935960 @ 0.487807
0.98/1.06 c GLOBAL bounds - >= -10029909935960 @ 0.499196
0.98/1.08 c GLOBAL bounds - >= -10029909935960 @ 0.510768
0.98/1.10 c GLOBAL bounds - >= -10029909935960 @ 0.5204
1.08/1.12 c GLOBAL bounds - >= -10029909935960 @ 0.526961
1.08/1.14 c GLOBAL bounds - >= -10029909935960 @ 0.53267
1.08/1.16 c GLOBAL bounds - >= -10029909935960 @ 0.538578
1.08/1.18 c GLOBAL bounds - >= -10029909935960 @ 0.544918
1.18/1.20 c GLOBAL bounds - >= -10029909935960 @ 0.55265
1.18/1.22 c GLOBAL bounds - >= -10029909935960 @ 0.562069
1.18/1.24 c GLOBAL bounds - >= -10029909935960 @ 0.570628
1.18/1.26 c GLOBAL bounds - >= -10029909935960 @ 0.579327
1.18/1.29 c GLOBAL bounds - >= -10029909935960 @ 0.586024
1.28/1.31 c GLOBAL bounds - >= -10029909935960 @ 0.591776
1.28/1.33 c GLOBAL bounds - >= -10029909935960 @ 0.60135
1.28/1.35 c GLOBAL bounds - >= -10029909935960 @ 0.609133
1.28/1.37 c GLOBAL bounds - >= -10029909935960 @ 0.620833
1.28/1.39 c GLOBAL bounds - >= -10029909935960 @ 0.62664
1.38/1.41 c GLOBAL bounds - >= -10029909935960 @ 0.63256
1.38/1.43 c GLOBAL bounds - >= -10029909935960 @ 0.64026
1.38/1.45 c GLOBAL bounds - >= -10029909935960 @ 0.648026
1.38/1.47 c GLOBAL bounds - >= -10029909935960 @ 0.658763
1.38/1.49 c GLOBAL bounds - >= -10029909935960 @ 0.667568
1.48/1.51 c GLOBAL bounds - >= -10029909935960 @ 0.679347
1.48/1.53 c GLOBAL bounds - >= -10029909935960 @ 0.682265
1.48/1.56 c GLOBAL bounds - >= -10029909935960 @ 0.689695
1.48/1.58 c GLOBAL bounds - >= -10029909935960 @ 0.700385
1.58/1.60 c GLOBAL bounds - >= -10029909935960 @ 0.711072
1.58/1.62 c GLOBAL bounds - >= -10029909935960 @ 0.721677
1.58/1.64 c GLOBAL bounds - >= -10029909935960 @ 0.731788
1.58/1.66 c GLOBAL bounds - >= -10029909935960 @ 0.742507
1.58/1.68 c GLOBAL bounds - >= -10029909935960 @ 0.750286
1.68/1.70 c GLOBAL bounds - >= -10029909935960 @ 0.762957
1.68/1.72 c GLOBAL bounds - >= -10029909935960 @ 0.779462
1.68/1.74 c GLOBAL bounds - >= -10029909935960 @ 0.787354
1.68/1.76 c GLOBAL bounds - >= -10029909935960 @ 0.795094
1.68/1.78 c GLOBAL bounds - >= -10029909935960 @ 0.805849
1.78/1.81 c GLOBAL bounds - >= -10029909935960 @ 0.814015
1.78/1.83 c GLOBAL bounds - >= -10029909935960 @ 0.823512
1.78/1.85 c GLOBAL bounds - >= -10029909935960 @ 0.828306
1.78/1.87 c GLOBAL bounds - >= -10029909935960 @ 0.83802
1.78/1.89 c GLOBAL bounds - >= -10029909935960 @ 0.840049
1.88/1.91 c GLOBAL bounds - >= -10029909935960 @ 0.846756
1.88/1.93 c GLOBAL bounds - >= -10029909935960 @ 0.854953
1.88/1.95 c GLOBAL bounds - >= -10029909935960 @ 0.860401
1.88/1.97 c GLOBAL bounds - >= -10029909935960 @ 0.867247
1.88/1.99 c GLOBAL bounds - >= -10029909935960 @ 0.876984
1.98/2.01 c GLOBAL bounds - >= -10029909935960 @ 0.88592
1.98/2.04 c GLOBAL bounds - >= -10029909935960 @ 0.892852
1.98/2.06 c GLOBAL bounds - >= -10029909935960 @ 0.904792
1.98/2.08 c GLOBAL bounds - >= -10029909935960 @ 0.914113
1.98/2.10 c GLOBAL bounds - >= -10029909935960 @ 0.923092
2.08/2.12 c GLOBAL bounds - >= -10029909935960 @ 0.932026
2.08/2.14 c GLOBAL bounds - >= -10029909935960 @ 0.943893
2.08/2.16 c GLOBAL bounds - >= -10029909935960 @ 0.952876
2.08/2.18 c GLOBAL bounds - >= -10029909935960 @ 0.962831
2.17/2.20 c GLOBAL bounds - >= -10029909935960 @ 0.970828
2.17/2.22 c GLOBAL bounds - >= -10029909935960 @ 0.980807
2.17/2.24 c GLOBAL bounds - >= -10029909935960 @ 0.987424
2.17/2.27 c GLOBAL bounds - >= -10029909935960 @ 0.995681
2.17/2.29 c GLOBAL bounds - >= -10029909935960 @ 1.0026
2.28/2.31 c GLOBAL bounds - >= -10029909935960 @ 1.01365
2.28/2.33 c GLOBAL bounds - >= -10029909935960 @ 1.0242
2.28/2.35 c GLOBAL bounds - >= -10029909935960 @ 1.03156
2.28/2.37 c GLOBAL bounds - >= -10029909935960 @ 1.03698
2.28/2.39 c GLOBAL bounds - >= -10029909935960 @ 1.04315
2.37/2.41 c GLOBAL bounds - >= -10029909935960 @ 1.05512
2.37/2.43 c GLOBAL bounds - >= -10029909935960 @ 1.06448
2.37/2.45 c GLOBAL bounds - >= -10029909935960 @ 1.07399
2.37/2.48 c GLOBAL bounds - >= -10029909935960 @ 1.08198
2.48/2.50 c GLOBAL bounds - >= -10029909935960 @ 1.091
2.48/2.52 c GLOBAL bounds - >= -10029909935960 @ 1.09842
2.48/2.54 c GLOBAL bounds - >= -10029909935960 @ 1.10686
2.48/2.56 c GLOBAL bounds - >= -10029909935960 @ 1.11591
2.48/2.58 c GLOBAL bounds - >= -10029909935960 @ 1.12371
2.57/2.60 c GLOBAL bounds - >= -10029909935960 @ 1.13887
2.57/2.62 c GLOBAL bounds - >= -10029909935960 @ 1.14885
2.57/2.64 c GLOBAL bounds - >= -10029909935960 @ 1.15875
2.57/2.66 c GLOBAL bounds - >= -10029909935960 @ 1.16764
2.57/2.69 c GLOBAL bounds - >= -10029909935960 @ 1.17489
2.67/2.71 c GLOBAL bounds - >= -10029909935960 @ 1.18328
2.67/2.73 c GLOBAL bounds - >= -10029909935960 @ 1.19291
2.67/2.75 c GLOBAL bounds - >= -10029909935960 @ 1.20024
2.67/2.77 c GLOBAL bounds - >= -10029909935960 @ 1.20724
2.67/2.79 c GLOBAL bounds - >= -10029909935960 @ 1.21506
2.78/2.81 c GLOBAL bounds - >= -10029909935960 @ 1.22535
2.78/2.83 c GLOBAL bounds - >= -10029909935960 @ 1.23533
2.78/2.85 c GLOBAL bounds - >= -10029909935960 @ 1.24814
2.78/2.88 c GLOBAL bounds - >= -10029909935960 @ 1.25543
2.87/2.90 c GLOBAL bounds - >= -10029909935960 @ 1.26748
2.87/2.92 c GLOBAL bounds - >= -10029909935960 @ 1.27348
2.87/2.94 c GLOBAL bounds - >= -10029909935960 @ 1.28362
2.87/2.96 c GLOBAL bounds - >= -10029909935960 @ 1.29008
2.87/2.98 c GLOBAL bounds - >= -10029909935960 @ 1.29817
2.98/3.00 c GLOBAL bounds - >= -10029909935960 @ 1.3092
2.98/3.02 c GLOBAL bounds - >= -10029909935960 @ 1.31909
2.98/3.04 c GLOBAL bounds - >= -10029909935960 @ 1.3272
2.98/3.07 c GLOBAL bounds - >= -10029909935960 @ 1.33556
2.98/3.09 c GLOBAL bounds - >= -10029909935960 @ 1.34232
3.08/3.11 c GLOBAL bounds - >= -10029909935960 @ 1.35103
3.08/3.13 c GLOBAL bounds - >= -10029909935960 @ 1.36105
3.08/3.15 c GLOBAL bounds - >= -10029909935960 @ 1.37396
3.08/3.17 c GLOBAL bounds - >= -10029909935960 @ 1.3821
3.08/3.19 c GLOBAL bounds - >= -10029909935960 @ 1.38843
3.17/3.21 c GLOBAL bounds - >= -10029909935960 @ 1.39742
3.17/3.23 c GLOBAL bounds - >= -10029909935960 @ 1.40593
3.17/3.26 c GLOBAL bounds - >= -10029909935960 @ 1.41379
3.17/3.28 c GLOBAL bounds - >= -10029909935960 @ 1.42596
3.27/3.30 c GLOBAL bounds - >= -10029909935960 @ 1.43411
3.27/3.32 c GLOBAL bounds - >= -10029909935960 @ 1.44335
3.27/3.34 c GLOBAL bounds - >= -10029909935960 @ 1.45261
3.27/3.36 c GLOBAL bounds - >= -10029909935960 @ 1.45903
3.27/3.38 c GLOBAL bounds - >= -10029909935960 @ 1.46866
3.37/3.40 c GLOBAL bounds - >= -10029909935960 @ 1.47976
3.37/3.43 c GLOBAL bounds - >= -10029909935960 @ 1.48682
3.37/3.45 c GLOBAL bounds - >= -10029909935960 @ 1.49516
3.37/3.47 c GLOBAL bounds - >= -10029909935960 @ 1.50524
3.37/3.49 c GLOBAL bounds - >= -10029909935960 @ 1.51074
3.47/3.51 c GLOBAL bounds - >= -10029909935960 @ 1.51682
3.47/3.53 c GLOBAL bounds - >= -10029909935960 @ 1.52516
3.47/3.55 c GLOBAL bounds - >= -10029909935960 @ 1.53665
3.47/3.58 c GLOBAL bounds - >= -10029909935960 @ 1.54566
3.57/3.60 c GLOBAL bounds - >= -10029909935960 @ 1.55401
3.57/3.62 c GLOBAL bounds - >= -10029909935960 @ 1.5656
3.57/3.64 c GLOBAL bounds - >= -10029909935960 @ 1.57469
3.57/3.66 c GLOBAL bounds - >= -10029909935960 @ 1.58595
3.57/3.68 c GLOBAL bounds - >= -10029909935960 @ 1.59513
3.67/3.70 c GLOBAL bounds - >= -10029909935960 @ 1.60244
3.67/3.72 c GLOBAL bounds - >= -10029909935960 @ 1.61296
3.67/3.75 c GLOBAL bounds - >= -10029909935960 @ 1.62248
3.67/3.77 c GLOBAL bounds - >= -10029909935960 @ 1.63159
3.67/3.79 c GLOBAL bounds - >= -10029909935960 @ 1.64085
3.77/3.81 c GLOBAL bounds - >= -10029909935960 @ 1.64743
3.77/3.83 c GLOBAL bounds - >= -10029909935960 @ 1.65861
3.77/3.85 c GLOBAL bounds - >= -10029909935960 @ 1.66888
3.77/3.87 c GLOBAL bounds - >= -10029909935960 @ 1.67946
3.77/3.90 c GLOBAL bounds - >= -10029909935960 @ 1.68464
3.87/3.92 c GLOBAL bounds - >= -10029909935960 @ 1.69247
3.87/3.94 c GLOBAL bounds - >= -10029909935960 @ 1.69987
3.87/3.96 c GLOBAL bounds - >= -10029909935960 @ 1.7113
3.87/3.98 c GLOBAL bounds - >= -10029909935960 @ 1.71972
3.98/4.00 c GLOBAL bounds - >= -10029909935960 @ 1.73232
3.98/4.02 c GLOBAL bounds - >= -10029909935960 @ 1.73829
3.98/4.05 c GLOBAL bounds - >= -10029909935960 @ 1.74367
3.98/4.07 c GLOBAL bounds - >= -10029909935960 @ 1.75493
3.98/4.09 c GLOBAL bounds - >= -10029909935960 @ 1.76338
4.08/4.11 c GLOBAL bounds - >= -10029909935960 @ 1.7721
4.08/4.13 c GLOBAL bounds - >= -10029909935960 @ 1.78137
4.08/4.15 c GLOBAL bounds - >= -10029909935960 @ 1.78813
4.08/4.18 c GLOBAL bounds - >= -10029909935960 @ 1.79532
4.17/4.20 c GLOBAL bounds - >= -10029909935960 @ 1.80605
4.17/4.22 c GLOBAL bounds - >= -10029909935960 @ 1.81334
4.17/4.24 c GLOBAL bounds - >= -10029909935960 @ 1.8231
4.17/4.26 c GLOBAL bounds - >= -10029909935960 @ 1.83633
4.17/4.28 c GLOBAL bounds - >= -10029909935960 @ 1.84573
4.27/4.31 c GLOBAL bounds - >= -10029909935960 @ 1.85257
4.27/4.33 c GLOBAL bounds - >= -10029909935960 @ 1.86116
4.27/4.35 c GLOBAL bounds - >= -10029909935960 @ 1.8662
4.27/4.37 c GLOBAL bounds - >= -10029909935960 @ 1.87497
4.27/4.39 c GLOBAL bounds - >= -10029909935960 @ 1.88342
4.37/4.41 c GLOBAL bounds - >= -10029909935960 @ 1.89613
4.37/4.44 c GLOBAL bounds - >= -10029909935960 @ 1.90456
4.37/4.46 c GLOBAL bounds - >= -10029909935960 @ 1.91318
4.37/4.48 c GLOBAL bounds - >= -10029909935960 @ 1.92568
4.47/4.50 c GLOBAL bounds - >= -10029909935960 @ 1.93484
4.47/4.52 c GLOBAL bounds - >= -10029909935960 @ 1.94214
4.47/4.54 c GLOBAL bounds - >= -10029909935960 @ 1.95262
4.47/4.57 c GLOBAL bounds - >= -10029909935960 @ 1.96224
4.47/4.59 c GLOBAL bounds - >= -10029909935960 @ 1.9738
4.57/4.61 c GLOBAL bounds - >= -10029909935960 @ 1.98481
4.57/4.63 c GLOBAL bounds - >= -10029909935960 @ 1.99802
4.57/4.65 c GLOBAL bounds - >= -10029909935960 @ 2.0078
4.57/4.67 c GLOBAL bounds - >= -10029909935960 @ 2.01418
4.67/4.70 c GLOBAL bounds - >= -10029909935960 @ 2.02315
4.67/4.72 c GLOBAL bounds - >= -10029909935960 @ 2.03564
4.67/4.74 c GLOBAL bounds - >= -10029909935960 @ 2.04358
4.67/4.76 c GLOBAL bounds - >= -10029909935960 @ 2.05172
4.67/4.78 c GLOBAL bounds - >= -10029909935960 @ 2.05875
4.77/4.80 c GLOBAL bounds - >= -10029909935960 @ 2.06659
4.77/4.83 c GLOBAL bounds - >= -10029909935960 @ 2.07386
4.77/4.85 c GLOBAL bounds - >= -10029909935960 @ 2.0844
4.77/4.87 c GLOBAL bounds - >= -10029909935960 @ 2.09695
4.77/4.89 c GLOBAL bounds - >= -10029909935960 @ 2.10762
4.87/4.91 c GLOBAL bounds - >= -10029909935960 @ 2.12232
4.87/4.93 c GLOBAL bounds - >= -10029909935960 @ 2.13179
4.87/4.96 c GLOBAL bounds - >= -10029909935960 @ 2.14374
4.87/4.98 c GLOBAL bounds - >= -10029909935960 @ 2.15244
4.98/5.00 c GLOBAL bounds - >= -10029909935960 @ 2.16041
4.98/5.03 c GLOBAL bounds - >= -10029909935960 @ 2.17596
4.98/5.05 c GLOBAL bounds - >= -10029909935960 @ 2.18828
4.98/5.08 c GLOBAL bounds - >= -10029909935960 @ 2.1993
4.98/5.10 c GLOBAL bounds - >= -10029909935960 @ 2.2083
5.08/5.12 c GLOBAL bounds - >= -10029909935960 @ 2.2183
5.08/5.15 c GLOBAL bounds - >= -10029909935960 @ 2.22873
5.08/5.17 c GLOBAL bounds - >= -10029909935960 @ 2.23862
5.08/5.19 c GLOBAL bounds - >= -10029909935960 @ 2.24975
5.17/5.22 c GLOBAL bounds - >= -10029909935960 @ 2.26048
5.17/5.24 c GLOBAL bounds - >= -10029909935960 @ 2.27321
5.17/5.26 c GLOBAL bounds - >= -10029909935960 @ 2.28818
5.17/5.29 c GLOBAL bounds - >= -10029909935960 @ 2.30152
5.26/5.31 c GLOBAL bounds - >= -10029909935960 @ 2.31206
5.26/5.33 c GLOBAL bounds - >= -10029909935960 @ 2.32309
5.26/5.36 c GLOBAL bounds - >= -10029909935960 @ 2.33391
5.26/5.38 c GLOBAL bounds - >= -10029909935960 @ 2.34727
5.37/5.41 c GLOBAL bounds - >= -10029909935960 @ 2.36051
5.37/5.43 c GLOBAL bounds - >= -10029909935960 @ 2.37607
5.37/5.46 c GLOBAL bounds - >= -10029909935960 @ 2.39122
5.37/5.48 c GLOBAL bounds - >= -10029909935960 @ 2.40392
5.47/5.51 c GLOBAL bounds - >= -10029909935960 @ 2.41941
5.47/5.53 c GLOBAL bounds - >= -10029909935960 @ 2.43473
5.47/5.56 c GLOBAL bounds - >= -10029909935960 @ 2.45163
5.47/5.59 c GLOBAL bounds - >= -10029909935960 @ 2.46401
5.57/5.62 c GLOBAL bounds - >= -10029909935960 @ 2.47884
5.57/5.64 c GLOBAL bounds - >= -10029909935960 @ 2.49161
5.57/5.67 c GLOBAL bounds - >= -10029909935960 @ 2.5069
5.66/5.70 c GLOBAL bounds - >= -10029909935960 @ 2.51766
5.66/5.72 c GLOBAL bounds - >= -10029909935960 @ 2.52969
5.66/5.75 c GLOBAL bounds - >= -10029909935960 @ 2.54752
5.66/5.78 c GLOBAL bounds - >= -10029909935960 @ 2.55961
5.76/5.81 c GLOBAL bounds - >= -10029909935960 @ 2.5706
5.76/5.83 c GLOBAL bounds - >= -10029909935960 @ 2.58349
5.76/5.86 c GLOBAL bounds - >= -10029909935960 @ 2.59528
5.76/5.89 c GLOBAL bounds - >= -10029909935960 @ 2.60526
5.87/5.91 c GLOBAL bounds - >= -10029909935960 @ 2.61721
5.87/5.94 c GLOBAL bounds - >= -10029909935960 @ 2.62993
5.87/5.97 c GLOBAL bounds - >= -10029909935960 @ 2.64014
5.87/5.99 c GLOBAL bounds - >= -10029909935960 @ 2.65574
5.97/6.02 c GLOBAL bounds - >= -10029909935960 @ 2.67218
5.97/6.05 c GLOBAL bounds - >= -10029909935960 @ 2.68642
5.97/6.08 c GLOBAL bounds - >= -10029909935960 @ 2.70109
6.07/6.10 c GLOBAL bounds - >= -10029909935960 @ 2.71516
6.07/6.13 c GLOBAL bounds - >= -10029909935960 @ 2.73249
6.07/6.16 c GLOBAL bounds - >= -10029909935960 @ 2.74905
6.07/6.19 c GLOBAL bounds - >= -10029909935960 @ 2.767
6.17/6.22 c GLOBAL bounds - >= -10029909935960 @ 2.78071
6.17/6.25 c GLOBAL bounds - >= -10029909935960 @ 2.7915
6.17/6.28 c GLOBAL bounds - >= -10029909935960 @ 2.80545
6.27/6.30 c GLOBAL bounds - >= -10029909935960 @ 2.82039
6.27/6.33 c GLOBAL bounds - >= -10029909935960 @ 2.83457
6.27/6.36 c GLOBAL bounds - >= -10029909935960 @ 2.84841
6.27/6.38 c GLOBAL bounds - >= -10029909935960 @ 2.86028
6.36/6.41 c GLOBAL bounds - >= -10029909935960 @ 2.87093
6.36/6.44 c GLOBAL bounds - >= -10029909935960 @ 2.88084
6.36/6.46 c GLOBAL bounds - >= -10029909935960 @ 2.89202
6.36/6.49 c GLOBAL bounds - >= -10029909935960 @ 2.90681
6.47/6.52 c GLOBAL bounds - >= -10029909935960 @ 2.92322
6.47/6.54 c GLOBAL bounds - >= -10029909935960 @ 2.93569
6.47/6.57 c GLOBAL bounds - >= -10029909935960 @ 2.9517
6.57/6.60 c GLOBAL bounds - >= -10029909935960 @ 2.96654
6.57/6.63 c GLOBAL bounds - >= -10029909935960 @ 2.98305
6.57/6.65 c GLOBAL bounds - >= -10029909935960 @ 2.99359
6.57/6.68 c GLOBAL bounds - >= -10029909935960 @ 3.00482
6.66/6.71 c GLOBAL bounds - >= -10029909935960 @ 3.01954
6.66/6.73 c GLOBAL bounds - >= -10029909935960 @ 3.03245
6.66/6.76 c GLOBAL bounds - >= -10029909935960 @ 3.04464
6.66/6.79 c GLOBAL bounds - >= -10029909935960 @ 3.05668
6.77/6.81 c GLOBAL bounds - >= -10029909935960 @ 3.07101
6.77/6.84 c GLOBAL bounds - >= -10029909935960 @ 3.08041
6.77/6.86 c GLOBAL bounds - >= -10029909935960 @ 3.09242
6.77/6.89 c GLOBAL bounds - >= -10029909935960 @ 3.10462
6.87/6.92 c GLOBAL bounds - >= -10029909935960 @ 3.11727
6.87/6.94 c GLOBAL bounds - >= -10029909935960 @ 3.1327
6.87/6.97 c GLOBAL bounds - >= -10029909935960 @ 3.14628
6.87/7.00 c GLOBAL bounds - >= -10029909935960 @ 3.15905
6.97/7.02 c GLOBAL bounds - >= -10029909935960 @ 3.17536
6.97/7.05 c GLOBAL bounds - >= -10029909935960 @ 3.19016
6.97/7.08 c GLOBAL bounds - >= -10029909935960 @ 3.2031
7.07/7.10 c GLOBAL bounds - >= -10029909935960 @ 3.21603
7.07/7.13 c GLOBAL bounds - >= -10029909935960 @ 3.22453
7.07/7.16 c GLOBAL bounds - >= -10029909935960 @ 3.24513
7.07/7.19 c GLOBAL bounds - >= -10029909935960 @ 3.25702
7.17/7.22 c GLOBAL bounds - >= -10029909935960 @ 3.26728
7.17/7.24 c GLOBAL bounds - >= -10029909935960 @ 3.27906
7.17/7.27 c GLOBAL bounds - >= -10029909935960 @ 3.29291
7.17/7.29 c GLOBAL bounds - >= -10029909935960 @ 3.30549
7.26/7.32 c GLOBAL bounds - >= -10029909935960 @ 3.31778
7.26/7.35 c GLOBAL bounds - >= -10029909935960 @ 3.33027
7.26/7.37 c GLOBAL bounds - >= -10029909935960 @ 3.34127
7.36/7.40 c GLOBAL bounds - >= -10029909935960 @ 3.35712
7.36/7.43 c GLOBAL bounds - >= -10029909935960 @ 3.37623
7.36/7.45 c GLOBAL bounds - >= -10029909935960 @ 3.38891
7.36/7.48 c GLOBAL bounds - >= -10029909935960 @ 3.40853
7.47/7.51 c GLOBAL bounds - >= -10029909935960 @ 3.42664
7.47/7.53 c GLOBAL bounds - >= -10029909935960 @ 3.44288
7.47/7.56 c GLOBAL bounds - >= -10029909935960 @ 3.45771
7.47/7.59 c GLOBAL bounds - >= -10029909935960 @ 3.47519
7.57/7.62 c GLOBAL bounds - >= -10029909935960 @ 3.48953
7.57/7.64 c GLOBAL bounds - >= -10029909935960 @ 3.50571
7.57/7.67 c GLOBAL bounds - >= -10029909935960 @ 3.52332
7.66/7.70 c GLOBAL bounds - >= -10029909935960 @ 3.53793
7.66/7.73 c GLOBAL bounds - >= -10029909935960 @ 3.5517
7.66/7.75 c GLOBAL bounds - >= -10029909935960 @ 3.56149
7.66/7.78 c GLOBAL bounds - >= -10029909935960 @ 3.57533
7.76/7.81 c GLOBAL bounds - >= -10029909935960 @ 3.58675
7.76/7.83 c GLOBAL bounds - >= -10029909935960 @ 3.60163
7.76/7.86 c GLOBAL bounds - >= -10029909935960 @ 3.61309
7.76/7.89 c GLOBAL bounds - >= -10029909935960 @ 3.62182
7.87/7.91 c GLOBAL bounds - >= -10029909935960 @ 3.63833
7.87/7.94 c GLOBAL bounds - >= -10029909935960 @ 3.65512
7.87/7.97 c GLOBAL bounds - >= -10029909935960 @ 3.67001
7.97/8.00 c GLOBAL bounds - >= -10029909935960 @ 3.69102
7.97/8.03 c GLOBAL bounds - >= -10029909935960 @ 3.70562
7.97/8.08 c GLOBAL bounds - >= -10029909935960 @ 3.73959
8.07/8.13 c GLOBAL bounds - >= -10029909935960 @ 3.78053
8.07/8.16 c GLOBAL bounds - >= -10029909935960 @ 3.801
8.16/8.24 c GLOBAL bounds - >= -10029909935960 @ 3.85525
8.16/8.30 c GLOBAL bounds - >= -10029909935960 @ 3.89005
8.26/8.33 c GLOBAL bounds - >= -10029909935960 @ 3.90899
8.26/8.37 c GLOBAL bounds - >= -10029909935960 @ 3.92961
8.36/8.40 c GLOBAL bounds - >= -10029909935960 @ 3.95096
8.36/8.44 c GLOBAL bounds - >= -10029909935960 @ 3.97282
8.36/8.47 c GLOBAL bounds - >= -10029909935960 @ 3.99662
8.46/8.51 c GLOBAL bounds - >= -10029909935960 @ 4.02281
8.46/8.55 c GLOBAL bounds - >= -10029909935960 @ 4.05197
8.56/8.63 c #Conflicts: 1000 | #Constraints: 5590
8.56/8.63 c GLOBAL bounds - >= -10029909935960 @ 4.11483
8.56/8.68 c GLOBAL bounds - >= -10029909935960 @ 4.14412
8.66/8.73 c GLOBAL bounds - >= -10029909935960 @ 4.18632
8.77/8.85 c GLOBAL bounds - >= -10029909935960 @ 4.28675
9.07/9.13 c GLOBAL bounds - >= -10029909935960 @ 4.54746
9.26/9.37 c GLOBAL bounds - >= -10029909935960 @ 4.76926
9.36/9.48 c GLOBAL bounds - >= -10029909935960 @ 4.86953
9.46/9.56 c GLOBAL bounds - >= -10029909935960 @ 4.93677
9.56/9.60 c GLOBAL bounds - >= -10029909935960 @ 4.96378
9.56/9.65 c GLOBAL bounds - >= -10029909935960 @ 4.9918
9.56/9.69 c GLOBAL bounds - >= -10029909935960 @ 5.01878
9.66/9.73 c GLOBAL bounds - >= -10029909935960 @ 5.05073
9.66/9.77 c GLOBAL bounds - >= -10029909935960 @ 5.08062
9.76/9.82 c GLOBAL bounds - >= -10029909935960 @ 5.10636
9.76/9.86 c GLOBAL bounds - >= -10029909935960 @ 5.13564
9.86/9.90 c GLOBAL bounds - >= -10029909935960 @ 5.16349
9.86/9.94 c GLOBAL bounds - >= -10029909935960 @ 5.19145
9.96/10.00 c GLOBAL bounds - >= -10029909935960 @ 5.23685
9.96/10.04 c GLOBAL bounds - >= -10029909935960 @ 5.26621
9.96/10.08 c GLOBAL bounds - >= -10029909935960 @ 5.29598
10.06/10.12 c GLOBAL bounds - >= -10029909935960 @ 5.32274
10.06/10.17 c GLOBAL bounds - >= -10029909935960 @ 5.35163
10.16/10.21 c GLOBAL bounds - >= -10029909935960 @ 5.37718
10.16/10.25 c GLOBAL bounds - >= -10029909935960 @ 5.40385
10.16/10.29 c GLOBAL bounds - >= -10029909935960 @ 5.43374
10.26/10.33 c GLOBAL bounds - >= -10029909935960 @ 5.46306
10.26/10.37 c GLOBAL bounds - >= -10029909935960 @ 5.48907
10.36/10.41 c GLOBAL bounds - >= -10029909935960 @ 5.51625
10.36/10.45 c GLOBAL bounds - >= -10029909935960 @ 5.54191
10.36/10.49 c GLOBAL bounds - >= -10029909935960 @ 5.56831
10.45/10.53 c GLOBAL bounds - >= -10029909935960 @ 5.59481
10.45/10.56 c GLOBAL bounds - >= -10029909935960 @ 5.61789
10.56/10.60 c GLOBAL bounds - >= -10029909935960 @ 5.64519
10.56/10.65 c GLOBAL bounds - >= -10029909935960 @ 5.6726
10.56/10.69 c GLOBAL bounds - >= -10029909935960 @ 5.70076
10.65/10.73 c GLOBAL bounds - >= -10029909935960 @ 5.7269
10.65/10.77 c GLOBAL bounds - >= -10029909935960 @ 5.75199
10.76/10.81 c GLOBAL bounds - >= -10029909935960 @ 5.77629
10.76/10.85 c GLOBAL bounds - >= -10029909935960 @ 5.80337
10.76/10.88 c GLOBAL bounds - >= -10029909935960 @ 5.82631
10.86/10.92 c GLOBAL bounds - >= -10029909935960 @ 5.84922
10.86/10.96 c GLOBAL bounds - >= -10029909935960 @ 5.8729
10.86/11.00 c GLOBAL bounds - >= -10029909935960 @ 5.89606
10.96/11.04 c GLOBAL bounds - >= -10029909935960 @ 5.92221
10.96/11.08 c GLOBAL bounds - >= -10029909935960 @ 5.94245
11.06/11.12 c GLOBAL bounds - >= -10029909935960 @ 5.9699
11.06/11.15 c GLOBAL bounds - >= -10029909935960 @ 5.99565
11.06/11.19 c GLOBAL bounds - >= -10029909935960 @ 6.02025
11.16/11.23 c GLOBAL bounds - >= -10029909935960 @ 6.0453
11.16/11.27 c GLOBAL bounds - >= -10029909935960 @ 6.07382
11.25/11.37 c #Conflicts: 2000 | #Constraints: 6690
11.25/11.37 c INPROCESSING
11.25/11.37 c GARBAGE COLLECT
11.25/11.37 c GLOBAL bounds - >= -10029909935960 @ 6.16029
11.35/11.41 c GLOBAL bounds - >= -10029909935960 @ 6.18117
11.35/11.44 c GLOBAL bounds - >= -10029909935960 @ 6.19979
11.35/11.47 c GLOBAL bounds - >= -10029909935960 @ 6.2154
11.46/11.50 c GLOBAL bounds - >= -10029909935960 @ 6.2349
11.46/11.54 c GLOBAL bounds - >= -10029909935960 @ 6.26011
11.46/11.57 c GLOBAL bounds - >= -10029909935960 @ 6.27945
11.55/11.60 c GLOBAL bounds - >= -10029909935960 @ 6.30099
11.55/11.63 c GLOBAL bounds - >= -10029909935960 @ 6.31917
11.55/11.66 c GLOBAL bounds - >= -10029909935960 @ 6.34288
11.55/11.69 c GLOBAL bounds - >= -10029909935960 @ 6.35946
11.65/11.72 c GLOBAL bounds - >= -10029909935960 @ 6.3799
11.65/11.76 c GLOBAL bounds - >= -10029909935960 @ 6.39744
11.65/11.79 c GLOBAL bounds - >= -10029909935960 @ 6.41769
11.75/11.82 c GLOBAL bounds - >= -10029909935960 @ 6.4352
11.75/11.85 c GLOBAL bounds - >= -10029909935960 @ 6.45643
11.75/11.88 c GLOBAL bounds - >= -10029909935960 @ 6.47264
11.85/11.91 c GLOBAL bounds - >= -10029909935960 @ 6.49031
11.85/11.94 c GLOBAL bounds - >= -10029909935960 @ 6.51164
11.85/11.97 c GLOBAL bounds - >= -10029909935960 @ 6.52694
11.96/12.00 c GLOBAL bounds - >= -10029909935960 @ 6.54589
11.96/12.03 c GLOBAL bounds - >= -10029909935960 @ 6.55793
11.96/12.07 c GLOBAL bounds - >= -10029909935960 @ 6.57488
11.96/12.10 c GLOBAL bounds - >= -10029909935960 @ 6.59709
12.06/12.13 c GLOBAL bounds - >= -10029909935960 @ 6.61321
12.06/12.16 c GLOBAL bounds - >= -10029909935960 @ 6.63098
12.06/12.19 c GLOBAL bounds - >= -10029909935960 @ 6.65116
12.16/12.22 c GLOBAL bounds - >= -10029909935960 @ 6.66819
12.16/12.25 c GLOBAL bounds - >= -10029909935960 @ 6.68103
12.16/12.28 c GLOBAL bounds - >= -10029909935960 @ 6.69817
12.26/12.31 c GLOBAL bounds - >= -10029909935960 @ 6.71409
12.26/12.34 c GLOBAL bounds - >= -10029909935960 @ 6.73284
12.26/12.37 c GLOBAL bounds - >= -10029909935960 @ 6.74897
12.35/12.40 c GLOBAL bounds - >= -10029909935960 @ 6.76487
12.35/12.43 c GLOBAL bounds - >= -10029909935960 @ 6.7826
12.35/12.46 c GLOBAL bounds - >= -10029909935960 @ 6.79548
12.35/12.49 c GLOBAL bounds - >= -10029909935960 @ 6.80851
12.45/12.52 c GLOBAL bounds - >= -10029909935960 @ 6.8243
12.45/12.55 c GLOBAL bounds - >= -10029909935960 @ 6.84141
12.45/12.58 c GLOBAL bounds - >= -10029909935960 @ 6.85855
12.56/12.61 c GLOBAL bounds - >= -10029909935960 @ 6.87819
12.56/12.64 c GLOBAL bounds - >= -10029909935960 @ 6.89569
12.56/12.67 c GLOBAL bounds - >= -10029909935960 @ 6.91363
12.66/12.70 c GLOBAL bounds - >= -10029909935960 @ 6.93023
12.66/12.73 c GLOBAL bounds - >= -10029909935960 @ 6.94953
12.66/12.76 c GLOBAL bounds - >= -10029909935960 @ 6.9622
12.66/12.79 c GLOBAL bounds - >= -10029909935960 @ 6.97752
12.75/12.82 c GLOBAL bounds - >= -10029909935960 @ 6.99301
12.75/12.85 c GLOBAL bounds - >= -10029909935960 @ 7.00823
12.75/12.88 c GLOBAL bounds - >= -10029909935960 @ 7.02655
12.86/12.90 c GLOBAL bounds - >= -10029909935960 @ 7.04477
12.86/12.94 c GLOBAL bounds - >= -10029909935960 @ 7.06014
12.86/12.97 c GLOBAL bounds - >= -10029909935960 @ 7.0777
12.86/12.99 c GLOBAL bounds - >= -10029909935960 @ 7.09379
12.96/13.02 c GLOBAL bounds - >= -10029909935960 @ 7.11298
12.96/13.06 c GLOBAL bounds - >= -10029909935960 @ 7.12895
12.96/13.09 c GLOBAL bounds - >= -10029909935960 @ 7.14778
13.06/13.12 c GLOBAL bounds - >= -10029909935960 @ 7.16673
13.06/13.15 c GLOBAL bounds - >= -10029909935960 @ 7.18456
13.06/13.18 c GLOBAL bounds - >= -10029909935960 @ 7.19953
13.25/13.36 c GLOBAL bounds - >= -10029909935960 @ 7.36293
14.34/14.44 c #Conflicts: 3000 | #Constraints: 6814
14.34/14.44 c GLOBAL bounds - >= -10029909935960 @ 8.42035
16.05/16.17 c #Conflicts: 4000 | #Constraints: 7816
16.05/16.17 c INPROCESSING
16.05/16.17 c GARBAGE COLLECT
16.05/16.17 c GLOBAL bounds - >= -10029909935960 @ 10.1057
16.24/16.32 c GLOBAL bounds - >= -10029909935960 @ 10.2436
16.34/16.48 c GLOBAL bounds - >= -10029909935960 @ 10.3884
17.64/17.75 c #Conflicts: 5000 | #Constraints: 7238
17.64/17.75 c GLOBAL bounds - >= -10029909935960 @ 11.6386
17.94/18.05 c #Conflicts: 6000 | #Constraints: 8240
17.94/18.05 c GLOBAL bounds - >= -10029909935960 @ 11.9177
18.24/18.30 c GLOBAL bounds - >= -10029909935960 @ 12.1532
18.24/18.37 c GLOBAL bounds - >= -10029909935960 @ 12.205
20.43/20.57 c INPROCESSING
20.43/20.57 c GARBAGE COLLECT
20.43/20.57 c #Conflicts: 7000 | #Constraints: 7253
20.43/20.57 c #Conflicts: 8000 | #Constraints: 8253
20.43/20.57 c GLOBAL bounds - >= -10029909935960 @ 14.3586
21.72/21.81 c #Conflicts: 9000 | #Constraints: 9255
21.72/21.81 c INPROCESSING
21.72/21.81 c GARBAGE COLLECT
21.72/21.81 c GLOBAL bounds - >= -10029909935960 @ 15.5742
21.93/22.01 c GLOBAL bounds - >= -10029909935960 @ 15.7637
23.62/23.78 c #Conflicts: 10000 | #Constraints: 7952
23.62/23.78 c GLOBAL bounds - >= -10029909935960 @ 17.4954
23.72/23.82 c GLOBAL bounds - >= -10029909935960 @ 17.5246
23.72/23.86 c GLOBAL bounds - >= -10029909935960 @ 17.548
24.82/24.97 c #Conflicts: 11000 | #Constraints: 8958
24.82/24.97 c GLOBAL bounds - >= -10029909935960 @ 18.6256
25.11/25.22 c GLOBAL bounds - >= -10029909935960 @ 18.862
27.21/27.34 c #Conflicts: 12000 | #Constraints: 9962
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 13000 | #Constraints: 8424
27.21/27.34 c GLOBAL bounds - >= -10029909935960 @ 20.9365
27.31/27.46 c GLOBAL bounds - >= -10029909935960 @ 21.0442
27.51/27.64 c GLOBAL bounds - >= -10029909935960 @ 21.2122
27.51/27.69 c GLOBAL bounds - >= -10029909935960 @ 21.2451
37.78/37.99 c #Conflicts: 14000 | #Constraints: 9432
37.78/37.99 c #Conflicts: 15000 | #Constraints: 10432
37.78/37.99 c INPROCESSING
37.78/37.99 c GARBAGE COLLECT
37.78/37.99 c #Conflicts: 16000 | #Constraints: 8660
37.78/37.99 c #Conflicts: 17000 | #Constraints: 9660
37.78/37.99 c #Conflicts: 18000 | #Constraints: 10660
37.78/37.99 c INPROCESSING
37.78/37.99 c GARBAGE COLLECT
37.78/37.99 c GLOBAL bounds - >= -10029909935960 @ 31.4436
54.93/55.14 c #Conflicts: 19000 | #Constraints: 8678
54.93/55.14 c #Conflicts: 20000 | #Constraints: 9678
54.93/55.14 c #Conflicts: 21000 | #Constraints: 10678
54.93/55.14 c INPROCESSING
54.93/55.14 c GARBAGE COLLECT
54.93/55.14 c #Conflicts: 22000 | #Constraints: 8485
54.93/55.14 c #Conflicts: 23000 | #Constraints: 9485
54.93/55.14 c #Conflicts: 24000 | #Constraints: 10485
54.93/55.14 c #Conflicts: 25000 | #Constraints: 11485
54.93/55.14 c INPROCESSING
54.93/55.14 c GARBAGE COLLECT
54.93/55.14 c #Conflicts: 26000 | #Constraints: 9088
54.93/55.14 c #Conflicts: 27000 | #Constraints: 10088
54.93/55.14 c GLOBAL bounds - >= -10029909935960 @ 48.4426
58.42/58.64 c #Conflicts: 28000 | #Constraints: 11090
58.42/58.64 c GLOBAL bounds - >= -10029909935960 @ 51.9112
60.61/60.86 c #Conflicts: 29000 | #Constraints: 12092
60.61/60.86 c INPROCESSING
60.61/60.86 c GARBAGE COLLECT
60.61/60.86 c GLOBAL bounds - >= -10029909935960 @ 54.0972
210.73/211.32 c #Conflicts: 30000 | #Constraints: 9516
210.73/211.32 c #Conflicts: 31000 | #Constraints: 10516
210.73/211.32 c #Conflicts: 32000 | #Constraints: 11516
210.73/211.32 c #Conflicts: 33000 | #Constraints: 12516
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 34000 | #Constraints: 9704
210.73/211.32 c #Conflicts: 35000 | #Constraints: 10704
210.73/211.32 c #Conflicts: 36000 | #Constraints: 11704
210.73/211.32 c #Conflicts: 37000 | #Constraints: 12704
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 38000 | #Constraints: 9700
210.73/211.32 c #Conflicts: 39000 | #Constraints: 10700
210.73/211.32 c #Conflicts: 40000 | #Constraints: 11700
210.73/211.32 c #Conflicts: 41000 | #Constraints: 12700
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 42000 | #Constraints: 9502
210.73/211.32 c #Conflicts: 43000 | #Constraints: 10502
210.73/211.32 c #Conflicts: 44000 | #Constraints: 11502
210.73/211.32 c #Conflicts: 45000 | #Constraints: 12502
210.73/211.32 c #Conflicts: 46000 | #Constraints: 13502
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 47000 | #Constraints: 10102
210.73/211.32 c #Conflicts: 48000 | #Constraints: 11102
210.73/211.32 c #Conflicts: 49000 | #Constraints: 12102
210.73/211.32 c #Conflicts: 50000 | #Constraints: 13102
210.73/211.32 c #Conflicts: 51000 | #Constraints: 14102
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 52000 | #Constraints: 10503
210.73/211.32 c #Conflicts: 53000 | #Constraints: 11503
210.73/211.32 c #Conflicts: 54000 | #Constraints: 12503
210.73/211.32 c #Conflicts: 55000 | #Constraints: 13503
210.73/211.32 c #Conflicts: 56000 | #Constraints: 14503
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 57000 | #Constraints: 10704
210.73/211.32 c #Conflicts: 58000 | #Constraints: 11704
210.73/211.32 c #Conflicts: 59000 | #Constraints: 12704
210.73/211.32 c #Conflicts: 60000 | #Constraints: 13704
210.73/211.32 c #Conflicts: 61000 | #Constraints: 14704
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 62000 | #Constraints: 10704
210.73/211.32 c #Conflicts: 63000 | #Constraints: 11704
210.73/211.32 c #Conflicts: 64000 | #Constraints: 12704
210.73/211.32 c #Conflicts: 65000 | #Constraints: 13704
210.73/211.32 c #Conflicts: 66000 | #Constraints: 14704
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 67000 | #Constraints: 10509
210.73/211.32 c #Conflicts: 68000 | #Constraints: 11509
210.73/211.32 c #Conflicts: 69000 | #Constraints: 12509
210.73/211.32 c #Conflicts: 70000 | #Constraints: 13509
210.73/211.32 c #Conflicts: 71000 | #Constraints: 14509
210.73/211.32 c #Conflicts: 72000 | #Constraints: 15509
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 73000 | #Constraints: 11111
210.73/211.32 c #Conflicts: 74000 | #Constraints: 12111
210.73/211.32 c #Conflicts: 75000 | #Constraints: 13111
210.73/211.32 c #Conflicts: 76000 | #Constraints: 14111
210.73/211.32 c #Conflicts: 77000 | #Constraints: 15111
210.73/211.32 c #Conflicts: 78000 | #Constraints: 16111
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 79000 | #Constraints: 11512
210.73/211.32 c #Conflicts: 80000 | #Constraints: 12512
210.73/211.32 c #Conflicts: 81000 | #Constraints: 13512
210.73/211.32 c #Conflicts: 82000 | #Constraints: 14512
210.73/211.32 c #Conflicts: 83000 | #Constraints: 15512
210.73/211.32 c #Conflicts: 84000 | #Constraints: 16512
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 85000 | #Constraints: 11716
210.73/211.32 c #Conflicts: 86000 | #Constraints: 12716
210.73/211.32 c #Conflicts: 87000 | #Constraints: 13716
210.73/211.32 c #Conflicts: 88000 | #Constraints: 14716
210.73/211.32 c #Conflicts: 89000 | #Constraints: 15716
210.73/211.32 c #Conflicts: 90000 | #Constraints: 16716
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 91000 | #Constraints: 11720
210.73/211.32 c #Conflicts: 92000 | #Constraints: 12720
210.73/211.32 c #Conflicts: 93000 | #Constraints: 13720
210.73/211.32 c #Conflicts: 94000 | #Constraints: 14720
210.73/211.32 c #Conflicts: 95000 | #Constraints: 15720
210.73/211.32 c #Conflicts: 96000 | #Constraints: 16720
210.73/211.32 c INPROCESSING
210.73/211.32 c GARBAGE COLLECT
210.73/211.32 c #Conflicts: 97000 | #Constraints: 11511
210.73/211.32 c #Conflicts: 98000 | #Constraints: 12511
210.73/211.32 c #Conflicts: 99000 | #Constraints: 13511
210.73/211.32 c #Conflicts: 100000 | #Constraints: 14511
218.71/219.30 c #Conflicts: 101000 | #Constraints: 15511
218.71/219.30 c #Conflicts: 102000 | #Constraints: 16511
218.71/219.30 c GLOBAL bounds - >= -1831606905 @ 211.524
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.66
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.66
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.66
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.66
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.66
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.66
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.661
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.662
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.663
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.664
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.665
218.81/219.46 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.666
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.667
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.668
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.669
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.67
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.671
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.672
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.47 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.48 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.48 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.48 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.48 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.48 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.48 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.48 c GLOBAL bounds - >= -1831606905 @ 211.673
218.81/219.48 c GLOBAL bounds - >= -1831606905 @ 211.673
218.91/219.50 c GLOBAL bounds - >= -1831606905 @ 211.682
218.91/219.50 c GLOBAL bounds - >= -1831606905 @ 211.683
218.91/219.53 c GLOBAL bounds - >= -1831606905 @ 211.696
218.91/219.53 c GLOBAL bounds - >= -1831606905 @ 211.696
218.91/219.56 c GLOBAL bounds - >= -1831606905 @ 211.709
218.91/219.56 c GLOBAL bounds - >= -1831606905 @ 211.709
218.91/219.59 c GLOBAL bounds - >= -1831606905 @ 211.722
218.91/219.59 c GLOBAL bounds - >= -1831606905 @ 211.722
219.01/219.61 c GLOBAL bounds - >= -1831606905 @ 211.738
219.01/219.61 c GLOBAL bounds - >= -1831606905 @ 211.738
219.01/219.64 c GLOBAL bounds - >= -1831606905 @ 211.752
219.01/219.64 c GLOBAL bounds - >= -1831606905 @ 211.752
219.01/219.67 c GLOBAL bounds - >= -1831606905 @ 211.77
219.01/219.67 c GLOBAL bounds - >= -1831606905 @ 211.77
219.11/219.70 c GLOBAL bounds - >= -1831606905 @ 211.782
219.11/219.70 c GLOBAL bounds - >= -1831606905 @ 211.783
219.11/219.73 c GLOBAL bounds - >= -1831606905 @ 211.798
219.11/219.73 c GLOBAL bounds - >= -1831606905 @ 211.799
219.11/219.76 c GLOBAL bounds - >= -1831606905 @ 211.817
219.81/220.47 c #Conflicts: 103000 | #Constraints: 17918
219.81/220.47 c INPROCESSING
219.81/220.47 c GARBAGE COLLECT
219.81/220.47 c GLOBAL bounds - >= -1831606905 @ 212.508
219.91/220.59 c #Conflicts: 104000 | #Constraints: 12517
219.91/220.59 c GLOBAL bounds - >= -1831606905 @ 212.613
220.10/220.70 c GLOBAL bounds - >= -1831606905 @ 212.709
220.20/220.85 c GLOBAL bounds - >= -1831606905 @ 212.848
220.31/220.94 c GLOBAL bounds - >= -1831606905 @ 212.926
220.51/221.11 c GLOBAL bounds - >= -1831606905 @ 213.075
220.61/221.21 c #Conflicts: 105000 | #Constraints: 13532
220.61/221.21 c GLOBAL bounds - >= -1831606905 @ 213.16
220.70/221.32 c GLOBAL bounds - >= -1831606905 @ 213.256
417.81/418.96 c #Conflicts: 106000 | #Constraints: 14538
417.81/418.96 c #Conflicts: 107000 | #Constraints: 15538
417.81/418.96 c #Conflicts: 108000 | #Constraints: 16538
417.81/418.96 c #Conflicts: 109000 | #Constraints: 17538
417.81/418.96 c #Conflicts: 110000 | #Constraints: 18538
417.81/418.96 c INPROCESSING
417.81/418.96 c GARBAGE COLLECT
417.81/418.96 c #Conflicts: 111000 | #Constraints: 12916
417.81/418.96 c #Conflicts: 112000 | #Constraints: 13916
417.81/418.96 c #Conflicts: 113000 | #Constraints: 14916
417.81/418.96 c #Conflicts: 114000 | #Constraints: 15916
417.81/418.96 c #Conflicts: 115000 | #Constraints: 16916
417.81/418.96 c #Conflicts: 116000 | #Constraints: 17916
417.81/418.96 c #Conflicts: 117000 | #Constraints: 18916
417.81/418.96 c INPROCESSING
417.81/418.96 c GARBAGE COLLECT
417.81/418.96 c #Conflicts: 118000 | #Constraints: 13117
417.81/418.96 c #Conflicts: 119000 | #Constraints: 14117
417.81/418.96 c #Conflicts: 120000 | #Constraints: 15117
417.81/418.96 c #Conflicts: 121000 | #Constraints: 16117
417.81/418.96 c #Conflicts: 122000 | #Constraints: 17117
417.81/418.96 c #Conflicts: 123000 | #Constraints: 18117
417.81/418.96 c #Conflicts: 124000 | #Constraints: 19117
417.81/418.96 c INPROCESSING
417.81/418.96 c GARBAGE COLLECT
417.81/418.96 c #Conflicts: 125000 | #Constraints: 13118
417.81/418.96 c #Conflicts: 126000 | #Constraints: 14118
417.81/418.96 c #Conflicts: 127000 | #Constraints: 15118
417.81/418.96 c #Conflicts: 128000 | #Constraints: 16118
417.81/418.96 c #Conflicts: 129000 | #Constraints: 17118
417.81/418.96 c #Conflicts: 130000 | #Constraints: 18118
417.81/418.96 c #Conflicts: 131000 | #Constraints: 19118
417.81/418.96 c INPROCESSING
417.81/418.96 c GARBAGE COLLECT
417.81/418.96 c #Conflicts: 132000 | #Constraints: 12916
417.81/418.96 c #Conflicts: 133000 | #Constraints: 13916
417.81/418.96 c #Conflicts: 134000 | #Constraints: 14916
417.81/418.96 c #Conflicts: 135000 | #Constraints: 15916
417.81/418.96 c #Conflicts: 136000 | #Constraints: 16916
417.81/418.96 c #Conflicts: 137000 | #Constraints: 17916
417.81/418.96 c #Conflicts: 138000 | #Constraints: 18916
417.81/418.96 c #Conflicts: 139000 | #Constraints: 19916
417.81/418.96 c INPROCESSING
417.81/418.96 c GARBAGE COLLECT
417.81/418.96 c #Conflicts: 140000 | #Constraints: 13531
417.81/418.96 c #Conflicts: 141000 | #Constraints: 14531
417.81/418.96 c #Conflicts: 142000 | #Constraints: 15531
417.81/418.96 c #Conflicts: 143000 | #Constraints: 16531
417.81/418.96 c #Conflicts: 144000 | #Constraints: 17531
417.81/418.96 c #Conflicts: 145000 | #Constraints: 18531
417.81/418.96 c #Conflicts: 146000 | #Constraints: 19531
417.81/418.96 c #Conflicts: 147000 | #Constraints: 20531
417.81/418.96 c INPROCESSING
417.81/418.96 c GARBAGE COLLECT
417.81/418.96 c #Conflicts: 148000 | #Constraints: 13924
417.81/418.96 c #Conflicts: 149000 | #Constraints: 14924
417.81/418.96 c #Conflicts: 150000 | #Constraints: 15924
417.81/418.96 c #Conflicts: 151000 | #Constraints: 16924
417.81/418.96 c #Conflicts: 152000 | #Constraints: 17924
417.81/418.96 c #Conflicts: 153000 | #Constraints: 18924
417.81/418.96 c #Conflicts: 154000 | #Constraints: 19924
417.81/418.96 c #Conflicts: 155000 | #Constraints: 20924
417.81/418.96 c INPROCESSING
417.81/418.96 c GARBAGE COLLECT
417.81/418.96 c #Conflicts: 156000 | #Constraints: 14130
417.81/418.96 c #Conflicts: 157000 | #Constraints: 15130
417.81/418.96 c #Conflicts: 158000 | #Constraints: 16130
417.81/418.96 c #Conflicts: 159000 | #Constraints: 17130
417.81/418.96 c #Conflicts: 160000 | #Constraints: 18130
417.81/418.96 c #Conflicts: 161000 | #Constraints: 19130
417.81/418.96 c #Conflicts: 162000 | #Constraints: 20130
417.81/418.96 c #Conflicts: 163000 | #Constraints: 21130
417.81/418.96 c INPROCESSING
417.81/418.96 c GARBAGE COLLECT
417.81/418.96 c #Conflicts: 164000 | #Constraints: 14126
417.81/418.96 c #Conflicts: 165000 | #Constraints: 15126
417.81/418.96 c #Conflicts: 166000 | #Constraints: 16126
417.81/418.96 c #Conflicts: 167000 | #Constraints: 17126
417.81/418.96 c #Conflicts: 168000 | #Constraints: 18126
417.81/418.96 c #Conflicts: 169000 | #Constraints: 19126
417.81/418.96 c #Conflicts: 170000 | #Constraints: 20126
417.81/418.96 c #Conflicts: 171000 | #Constraints: 21126
417.81/418.96 c INPROCESSING
417.81/418.96 c GARBAGE COLLECT
417.81/418.96 c #Conflicts: 172000 | #Constraints: 13923
417.81/418.96 c #Conflicts: 173000 | #Constraints: 14923
417.81/418.96 c #Conflicts: 174000 | #Constraints: 15923
417.81/418.96 c #Conflicts: 175000 | #Constraints: 16923
417.81/418.96 c #Conflicts: 176000 | #Constraints: 17923
417.81/418.96 c #Conflicts: 177000 | #Constraints: 18923
417.81/418.96 c #Conflicts: 178000 | #Constraints: 19923
417.81/418.96 c #Conflicts: 179000 | #Constraints: 20923
674.43/676.29 c #Conflicts: 180000 | #Constraints: 21923
674.43/676.29 c INPROCESSING
674.43/676.29 c GARBAGE COLLECT
674.43/676.29 c #Conflicts: 181000 | #Constraints: 14523
674.43/676.29 c #Conflicts: 182000 | #Constraints: 15523
674.43/676.29 c #Conflicts: 183000 | #Constraints: 16523
674.43/676.29 c #Conflicts: 184000 | #Constraints: 17523
674.43/676.29 c #Conflicts: 185000 | #Constraints: 18523
674.43/676.29 c #Conflicts: 186000 | #Constraints: 19523
674.43/676.29 c #Conflicts: 187000 | #Constraints: 20523
674.43/676.29 c #Conflicts: 188000 | #Constraints: 21523
674.43/676.29 c #Conflicts: 189000 | #Constraints: 22523
674.43/676.29 c INPROCESSING
674.43/676.29 c GARBAGE COLLECT
674.43/676.29 c #Conflicts: 190000 | #Constraints: 14926
674.43/676.29 c #Conflicts: 191000 | #Constraints: 15926
674.43/676.29 c #Conflicts: 192000 | #Constraints: 16926
674.43/676.29 c #Conflicts: 193000 | #Constraints: 17926
674.43/676.29 c #Conflicts: 194000 | #Constraints: 18926
674.43/676.29 c #Conflicts: 195000 | #Constraints: 19926
674.43/676.29 c #Conflicts: 196000 | #Constraints: 20926
674.43/676.29 c #Conflicts: 197000 | #Constraints: 21926
674.43/676.29 c #Conflicts: 198000 | #Constraints: 22926
674.43/676.29 c INPROCESSING
674.43/676.29 c GARBAGE COLLECT
674.43/676.29 c #Conflicts: 199000 | #Constraints: 15140
674.43/676.29 c #Conflicts: 200000 | #Constraints: 16140
674.43/676.29 c #Conflicts: 201000 | #Constraints: 17140
674.43/676.29 c #Conflicts: 202000 | #Constraints: 18140
674.43/676.29 c #Conflicts: 203000 | #Constraints: 19140
674.43/676.29 c #Conflicts: 204000 | #Constraints: 20140
674.43/676.29 c #Conflicts: 205000 | #Constraints: 21140
674.43/676.29 c #Conflicts: 206000 | #Constraints: 22140
674.43/676.29 c #Conflicts: 207000 | #Constraints: 23140
674.43/676.29 c INPROCESSING
674.43/676.29 c GARBAGE COLLECT
674.43/676.29 c #Conflicts: 208000 | #Constraints: 15138
674.43/676.29 c #Conflicts: 209000 | #Constraints: 16138
674.43/676.29 c #Conflicts: 210000 | #Constraints: 17138
674.43/676.29 c #Conflicts: 211000 | #Constraints: 18138
674.43/676.29 c #Conflicts: 212000 | #Constraints: 19138
674.43/676.29 c #Conflicts: 213000 | #Constraints: 20138
674.43/676.29 c #Conflicts: 214000 | #Constraints: 21138
674.43/676.29 c #Conflicts: 215000 | #Constraints: 22138
674.43/676.29 c #Conflicts: 216000 | #Constraints: 23138
674.43/676.29 c INPROCESSING
674.43/676.29 c GARBAGE COLLECT
674.43/676.29 c #Conflicts: 217000 | #Constraints: 14923
674.43/676.29 c #Conflicts: 218000 | #Constraints: 15923
674.43/676.29 c #Conflicts: 219000 | #Constraints: 16923
674.43/676.29 c #Conflicts: 220000 | #Constraints: 17923
674.43/676.29 c #Conflicts: 221000 | #Constraints: 18923
674.43/676.29 c #Conflicts: 222000 | #Constraints: 19923
674.43/676.29 c #Conflicts: 223000 | #Constraints: 20923
674.43/676.29 c #Conflicts: 224000 | #Constraints: 21923
674.43/676.29 c #Conflicts: 225000 | #Constraints: 22923
674.43/676.29 c #Conflicts: 226000 | #Constraints: 23923
674.43/676.29 c INPROCESSING
674.43/676.29 c GARBAGE COLLECT
674.43/676.29 c #Conflicts: 227000 | #Constraints: 15530
674.43/676.29 c #Conflicts: 228000 | #Constraints: 16530
674.43/676.29 c #Conflicts: 229000 | #Constraints: 17530
674.43/676.29 c #Conflicts: 230000 | #Constraints: 18530
674.43/676.29 c #Conflicts: 231000 | #Constraints: 19530
674.43/676.29 c #Conflicts: 232000 | #Constraints: 20530
674.43/676.29 c #Conflicts: 233000 | #Constraints: 21530
674.43/676.29 c #Conflicts: 234000 | #Constraints: 22530
674.43/676.29 c #Conflicts: 235000 | #Constraints: 23530
674.43/676.29 c #Conflicts: 236000 | #Constraints: 24530
674.43/676.29 c INPROCESSING
674.43/676.29 c GARBAGE COLLECT
674.43/676.29 c #Conflicts: 237000 | #Constraints: 15927
674.43/676.29 c #Conflicts: 238000 | #Constraints: 16927
674.43/676.29 c #Conflicts: 239000 | #Constraints: 17927
674.43/676.29 c #Conflicts: 240000 | #Constraints: 18927
674.43/676.29 c #Conflicts: 241000 | #Constraints: 19927
674.43/676.29 c #Conflicts: 242000 | #Constraints: 20927
674.43/676.29 c #Conflicts: 243000 | #Constraints: 21927
674.43/676.29 c #Conflicts: 244000 | #Constraints: 22927
674.43/676.29 c #Conflicts: 245000 | #Constraints: 23927
674.43/676.29 c #Conflicts: 246000 | #Constraints: 24927
674.43/676.29 c INPROCESSING
674.43/676.29 c GARBAGE COLLECT
674.43/676.29 c #Conflicts: 247000 | #Constraints: 16134
674.43/676.29 c #Conflicts: 248000 | #Constraints: 17134
674.43/676.29 c #Conflicts: 249000 | #Constraints: 18134
674.43/676.29 c #Conflicts: 250000 | #Constraints: 19134
674.43/676.29 c #Conflicts: 251000 | #Constraints: 20134
674.43/676.29 c #Conflicts: 252000 | #Constraints: 21134
981.65/984.21 c #Conflicts: 253000 | #Constraints: 22134
981.65/984.21 c #Conflicts: 254000 | #Constraints: 23134
981.65/984.21 c #Conflicts: 255000 | #Constraints: 24134
981.65/984.21 c #Conflicts: 256000 | #Constraints: 25134
981.65/984.21 c INPROCESSING
981.65/984.21 c GARBAGE COLLECT
981.65/984.21 c #Conflicts: 257000 | #Constraints: 16132
981.65/984.21 c #Conflicts: 258000 | #Constraints: 17132
981.65/984.21 c #Conflicts: 259000 | #Constraints: 18132
981.65/984.21 c #Conflicts: 260000 | #Constraints: 19132
981.65/984.21 c #Conflicts: 261000 | #Constraints: 20132
981.65/984.21 c #Conflicts: 262000 | #Constraints: 21132
981.65/984.21 c #Conflicts: 263000 | #Constraints: 22132
981.65/984.21 c #Conflicts: 264000 | #Constraints: 23132
981.65/984.21 c #Conflicts: 265000 | #Constraints: 24132
981.65/984.21 c #Conflicts: 266000 | #Constraints: 25132
981.65/984.21 c INPROCESSING
981.65/984.21 c GARBAGE COLLECT
981.65/984.21 c #Conflicts: 267000 | #Constraints: 15930
981.65/984.21 c #Conflicts: 268000 | #Constraints: 16930
981.65/984.21 c #Conflicts: 269000 | #Constraints: 17930
981.65/984.21 c #Conflicts: 270000 | #Constraints: 18930
981.65/984.21 c #Conflicts: 271000 | #Constraints: 19930
981.65/984.21 c #Conflicts: 272000 | #Constraints: 20930
981.65/984.21 c #Conflicts: 273000 | #Constraints: 21930
981.65/984.21 c #Conflicts: 274000 | #Constraints: 22930
981.65/984.21 c #Conflicts: 275000 | #Constraints: 23930
981.65/984.21 c #Conflicts: 276000 | #Constraints: 24930
981.65/984.21 c #Conflicts: 277000 | #Constraints: 25930
981.65/984.21 c INPROCESSING
981.65/984.21 c GARBAGE COLLECT
981.65/984.21 c #Conflicts: 278000 | #Constraints: 16537
981.65/984.21 c #Conflicts: 279000 | #Constraints: 17537
981.65/984.21 c #Conflicts: 280000 | #Constraints: 18537
981.65/984.21 c #Conflicts: 281000 | #Constraints: 19537
981.65/984.21 c #Conflicts: 282000 | #Constraints: 20537
981.65/984.21 c #Conflicts: 283000 | #Constraints: 21537
981.65/984.21 c #Conflicts: 284000 | #Constraints: 22537
981.65/984.21 c #Conflicts: 285000 | #Constraints: 23537
981.65/984.21 c #Conflicts: 286000 | #Constraints: 24537
981.65/984.21 c #Conflicts: 287000 | #Constraints: 25537
981.65/984.21 c #Conflicts: 288000 | #Constraints: 26537
981.65/984.21 c INPROCESSING
981.65/984.21 c GARBAGE COLLECT
981.65/984.21 c #Conflicts: 289000 | #Constraints: 16928
981.65/984.21 c #Conflicts: 290000 | #Constraints: 17928
981.65/984.21 c #Conflicts: 291000 | #Constraints: 18928
981.65/984.21 c #Conflicts: 292000 | #Constraints: 19928
981.65/984.21 c #Conflicts: 293000 | #Constraints: 20928
981.65/984.21 c #Conflicts: 294000 | #Constraints: 21928
981.65/984.21 c #Conflicts: 295000 | #Constraints: 22928
981.65/984.21 c #Conflicts: 296000 | #Constraints: 23928
981.65/984.21 c #Conflicts: 297000 | #Constraints: 24928
981.65/984.21 c #Conflicts: 298000 | #Constraints: 25928
981.65/984.21 c #Conflicts: 299000 | #Constraints: 26928
981.65/984.21 c INPROCESSING
981.65/984.21 c GARBAGE COLLECT
981.65/984.21 c #Conflicts: 300000 | #Constraints: 17140
981.65/984.21 c #Conflicts: 301000 | #Constraints: 18140
981.65/984.21 c #Conflicts: 302000 | #Constraints: 19140
981.65/984.21 c #Conflicts: 303000 | #Constraints: 20140
981.65/984.21 c #Conflicts: 304000 | #Constraints: 21140
981.65/984.21 c #Conflicts: 305000 | #Constraints: 22140
981.65/984.21 c #Conflicts: 306000 | #Constraints: 23140
981.65/984.21 c #Conflicts: 307000 | #Constraints: 24140
981.65/984.21 c #Conflicts: 308000 | #Constraints: 25140
981.65/984.21 c #Conflicts: 309000 | #Constraints: 26140
981.65/984.21 c #Conflicts: 310000 | #Constraints: 27140
981.65/984.21 c INPROCESSING
981.65/984.21 c GARBAGE COLLECT
981.65/984.21 c #Conflicts: 311000 | #Constraints: 17131
981.65/984.21 c #Conflicts: 312000 | #Constraints: 18131
981.65/984.21 c #Conflicts: 313000 | #Constraints: 19131
981.65/984.21 c #Conflicts: 314000 | #Constraints: 20131
981.65/984.21 c #Conflicts: 315000 | #Constraints: 21131
981.65/984.21 c #Conflicts: 316000 | #Constraints: 22131
981.65/984.21 c #Conflicts: 317000 | #Constraints: 23131
981.65/984.21 c #Conflicts: 318000 | #Constraints: 24131
981.65/984.21 c #Conflicts: 319000 | #Constraints: 25131
981.65/984.21 c #Conflicts: 320000 | #Constraints: 26131
981.65/984.21 c #Conflicts: 321000 | #Constraints: 27131
981.65/984.21 c INPROCESSING
981.65/984.21 c GARBAGE COLLECT
981.65/984.21 c #Conflicts: 322000 | #Constraints: 16942
981.65/984.21 c #Conflicts: 323000 | #Constraints: 17942
981.65/984.21 c #Conflicts: 324000 | #Constraints: 18942
981.65/984.21 c #Conflicts: 325000 | #Constraints: 19942
981.65/984.21 c #Conflicts: 326000 | #Constraints: 20942
981.65/984.21 c #Conflicts: 327000 | #Constraints: 21942
1349.12/1352.67 c #Conflicts: 328000 | #Constraints: 22942
1349.12/1352.67 c #Conflicts: 329000 | #Constraints: 23942
1349.12/1352.67 c #Conflicts: 330000 | #Constraints: 24942
1349.12/1352.67 c #Conflicts: 331000 | #Constraints: 25942
1349.12/1352.67 c #Conflicts: 332000 | #Constraints: 26942
1349.12/1352.67 c #Conflicts: 333000 | #Constraints: 27942
1349.12/1352.67 c INPROCESSING
1349.12/1352.67 c GARBAGE COLLECT
1349.12/1352.67 c #Conflicts: 334000 | #Constraints: 17534
1349.12/1352.67 c #Conflicts: 335000 | #Constraints: 18534
1349.12/1352.67 c #Conflicts: 336000 | #Constraints: 19534
1349.12/1352.67 c #Conflicts: 337000 | #Constraints: 20534
1349.12/1352.67 c #Conflicts: 338000 | #Constraints: 21534
1349.12/1352.67 c #Conflicts: 339000 | #Constraints: 22534
1349.12/1352.67 c #Conflicts: 340000 | #Constraints: 23534
1349.12/1352.67 c #Conflicts: 341000 | #Constraints: 24534
1349.12/1352.67 c #Conflicts: 342000 | #Constraints: 25534
1349.12/1352.67 c #Conflicts: 343000 | #Constraints: 26534
1349.12/1352.67 c #Conflicts: 344000 | #Constraints: 27534
1349.12/1352.67 c #Conflicts: 345000 | #Constraints: 28534
1349.12/1352.67 c INPROCESSING
1349.12/1352.67 c GARBAGE COLLECT
1349.12/1352.67 c #Conflicts: 346000 | #Constraints: 17933
1349.12/1352.67 c #Conflicts: 347000 | #Constraints: 18933
1349.12/1352.67 c #Conflicts: 348000 | #Constraints: 19933
1349.12/1352.67 c #Conflicts: 349000 | #Constraints: 20933
1349.12/1352.67 c #Conflicts: 350000 | #Constraints: 21933
1349.12/1352.67 c #Conflicts: 351000 | #Constraints: 22933
1349.12/1352.67 c #Conflicts: 352000 | #Constraints: 23933
1349.12/1352.67 c #Conflicts: 353000 | #Constraints: 24933
1349.12/1352.67 c #Conflicts: 354000 | #Constraints: 25933
1349.12/1352.67 c #Conflicts: 355000 | #Constraints: 26933
1349.12/1352.67 c #Conflicts: 356000 | #Constraints: 27933
1349.12/1352.67 c #Conflicts: 357000 | #Constraints: 28933
1349.12/1352.67 c INPROCESSING
1349.12/1352.67 c GARBAGE COLLECT
1349.12/1352.67 c #Conflicts: 358000 | #Constraints: 18135
1349.12/1352.67 c #Conflicts: 359000 | #Constraints: 19135
1349.12/1352.67 c #Conflicts: 360000 | #Constraints: 20135
1349.12/1352.67 c #Conflicts: 361000 | #Constraints: 21135
1349.12/1352.67 c #Conflicts: 362000 | #Constraints: 22135
1349.12/1352.67 c #Conflicts: 363000 | #Constraints: 23135
1349.12/1352.67 c #Conflicts: 364000 | #Constraints: 24135
1349.12/1352.67 c #Conflicts: 365000 | #Constraints: 25135
1349.12/1352.67 c #Conflicts: 366000 | #Constraints: 26135
1349.12/1352.67 c #Conflicts: 367000 | #Constraints: 27135
1349.12/1352.67 c #Conflicts: 368000 | #Constraints: 28135
1349.12/1352.67 c #Conflicts: 369000 | #Constraints: 29135
1349.12/1352.67 c INPROCESSING
1349.12/1352.67 c GARBAGE COLLECT
1349.12/1352.67 c #Conflicts: 370000 | #Constraints: 18144
1349.12/1352.67 c #Conflicts: 371000 | #Constraints: 19144
1349.12/1352.67 c #Conflicts: 372000 | #Constraints: 20144
1349.12/1352.67 c #Conflicts: 373000 | #Constraints: 21144
1349.12/1352.67 c #Conflicts: 374000 | #Constraints: 22144
1349.12/1352.67 c #Conflicts: 375000 | #Constraints: 23144
1349.12/1352.67 c #Conflicts: 376000 | #Constraints: 24144
1349.12/1352.67 c #Conflicts: 377000 | #Constraints: 25144
1349.12/1352.67 c #Conflicts: 378000 | #Constraints: 26144
1349.12/1352.67 c #Conflicts: 379000 | #Constraints: 27144
1349.12/1352.67 c #Conflicts: 380000 | #Constraints: 28144
1349.12/1352.67 c #Conflicts: 381000 | #Constraints: 29144
1349.12/1352.67 c INPROCESSING
1349.12/1352.67 c GARBAGE COLLECT
1349.12/1352.67 c #Conflicts: 382000 | #Constraints: 17937
1349.12/1352.67 c #Conflicts: 383000 | #Constraints: 18937
1349.12/1352.67 c #Conflicts: 384000 | #Constraints: 19937
1349.12/1352.67 c #Conflicts: 385000 | #Constraints: 20937
1349.12/1352.67 c #Conflicts: 386000 | #Constraints: 21937
1349.12/1352.67 c #Conflicts: 387000 | #Constraints: 22937
1349.12/1352.67 c #Conflicts: 388000 | #Constraints: 23937
1349.12/1352.67 c #Conflicts: 389000 | #Constraints: 24937
1349.12/1352.67 c #Conflicts: 390000 | #Constraints: 25937
1349.12/1352.67 c #Conflicts: 391000 | #Constraints: 26937
1349.12/1352.67 c #Conflicts: 392000 | #Constraints: 27937
1349.12/1352.67 c #Conflicts: 393000 | #Constraints: 28937
1349.12/1352.67 c #Conflicts: 394000 | #Constraints: 29937
1349.12/1352.67 c INPROCESSING
1349.12/1352.67 c GARBAGE COLLECT
1349.12/1352.67 c #Conflicts: 395000 | #Constraints: 18541
1349.12/1352.67 c #Conflicts: 396000 | #Constraints: 19541
1349.12/1352.67 c #Conflicts: 397000 | #Constraints: 20541
1349.12/1352.67 c #Conflicts: 398000 | #Constraints: 21541
1349.12/1352.67 c #Conflicts: 399000 | #Constraints: 22541
1349.12/1352.67 c #Conflicts: 400000 | #Constraints: 23541
1349.12/1352.67 c #Conflicts: 401000 | #Constraints: 24541
1349.12/1352.67 c #Conflicts: 402000 | #Constraints: 25541
1740.20/1744.79 c #Conflicts: 403000 | #Constraints: 26541
1740.20/1744.79 c #Conflicts: 404000 | #Constraints: 27541
1740.20/1744.79 c #Conflicts: 405000 | #Constraints: 28541
1740.20/1744.79 c #Conflicts: 406000 | #Constraints: 29541
1740.20/1744.79 c #Conflicts: 407000 | #Constraints: 30541
1740.20/1744.79 c INPROCESSING
1740.20/1744.79 c GARBAGE COLLECT
1740.20/1744.79 c #Conflicts: 408000 | #Constraints: 18944
1740.20/1744.79 c #Conflicts: 409000 | #Constraints: 19944
1740.20/1744.79 c #Conflicts: 410000 | #Constraints: 20944
1740.20/1744.79 c #Conflicts: 411000 | #Constraints: 21944
1740.20/1744.79 c #Conflicts: 412000 | #Constraints: 22944
1740.20/1744.79 c #Conflicts: 413000 | #Constraints: 23944
1740.20/1744.79 c #Conflicts: 414000 | #Constraints: 24944
1740.20/1744.79 c #Conflicts: 415000 | #Constraints: 25944
1740.20/1744.79 c #Conflicts: 416000 | #Constraints: 26944
1740.20/1744.79 c #Conflicts: 417000 | #Constraints: 27944
1740.20/1744.79 c #Conflicts: 418000 | #Constraints: 28944
1740.20/1744.79 c #Conflicts: 419000 | #Constraints: 29944
1740.20/1744.79 c #Conflicts: 420000 | #Constraints: 30944
1740.20/1744.79 c INPROCESSING
1740.20/1744.79 c GARBAGE COLLECT
1740.20/1744.79 c #Conflicts: 421000 | #Constraints: 19146
1740.20/1744.79 c #Conflicts: 422000 | #Constraints: 20146
1740.20/1744.79 c #Conflicts: 423000 | #Constraints: 21146
1740.20/1744.79 c #Conflicts: 424000 | #Constraints: 22146
1740.20/1744.79 c #Conflicts: 425000 | #Constraints: 23146
1740.20/1744.79 c #Conflicts: 426000 | #Constraints: 24146
1740.20/1744.79 c #Conflicts: 427000 | #Constraints: 25146
1740.20/1744.79 c #Conflicts: 428000 | #Constraints: 26146
1740.20/1744.79 c #Conflicts: 429000 | #Constraints: 27146
1740.20/1744.79 c #Conflicts: 430000 | #Constraints: 28146
1740.20/1744.79 c #Conflicts: 431000 | #Constraints: 29146
1740.20/1744.79 c #Conflicts: 432000 | #Constraints: 30146
1740.20/1744.79 c #Conflicts: 433000 | #Constraints: 31146
1740.20/1744.79 c INPROCESSING
1740.20/1744.79 c GARBAGE COLLECT
1740.20/1744.79 c #Conflicts: 434000 | #Constraints: 19144
1740.20/1744.79 c #Conflicts: 435000 | #Constraints: 20144
1740.20/1744.79 c #Conflicts: 436000 | #Constraints: 21144
1740.20/1744.79 c #Conflicts: 437000 | #Constraints: 22144
1740.20/1744.79 c #Conflicts: 438000 | #Constraints: 23144
1740.20/1744.79 c #Conflicts: 439000 | #Constraints: 24144
1740.20/1744.79 c #Conflicts: 440000 | #Constraints: 25144
1740.20/1744.79 c #Conflicts: 441000 | #Constraints: 26144
1740.20/1744.79 c #Conflicts: 442000 | #Constraints: 27144
1740.20/1744.79 c #Conflicts: 443000 | #Constraints: 28144
1740.20/1744.79 c #Conflicts: 444000 | #Constraints: 29144
1740.20/1744.79 c #Conflicts: 445000 | #Constraints: 30144
1740.20/1744.79 c #Conflicts: 446000 | #Constraints: 31144
1740.20/1744.79 c INPROCESSING
1740.20/1744.79 c GARBAGE COLLECT
1740.20/1744.79 c #Conflicts: 447000 | #Constraints: 18941
1740.20/1744.79 c #Conflicts: 448000 | #Constraints: 19941
1740.20/1744.79 c #Conflicts: 449000 | #Constraints: 20941
1740.20/1744.79 c #Conflicts: 450000 | #Constraints: 21941
1740.20/1744.79 c #Conflicts: 451000 | #Constraints: 22941
1740.20/1744.79 c #Conflicts: 452000 | #Constraints: 23941
1740.20/1744.79 c #Conflicts: 453000 | #Constraints: 24941
1740.20/1744.79 c #Conflicts: 454000 | #Constraints: 25941
1740.20/1744.79 c #Conflicts: 455000 | #Constraints: 26941
1740.20/1744.79 c #Conflicts: 456000 | #Constraints: 27941
1740.20/1744.79 c #Conflicts: 457000 | #Constraints: 28941
1740.20/1744.79 c #Conflicts: 458000 | #Constraints: 29941
1740.20/1744.79 c #Conflicts: 459000 | #Constraints: 30941
1740.20/1744.79 c #Conflicts: 460000 | #Constraints: 31941
1740.20/1744.79 c INPROCESSING
1740.20/1744.79 c GARBAGE COLLECT
1740.20/1744.79 c #Conflicts: 461000 | #Constraints: 19536
1740.20/1744.79 c #Conflicts: 462000 | #Constraints: 20536
1740.20/1744.79 c #Conflicts: 463000 | #Constraints: 21536
1740.20/1744.79 c #Conflicts: 464000 | #Constraints: 22536
1740.20/1744.79 c #Conflicts: 465000 | #Constraints: 23536
1740.20/1744.79 c #Conflicts: 466000 | #Constraints: 24536
1740.20/1744.79 c #Conflicts: 467000 | #Constraints: 25536
1740.20/1744.79 c #Conflicts: 468000 | #Constraints: 26536
1740.20/1744.79 c #Conflicts: 469000 | #Constraints: 27536
1740.20/1744.79 c #Conflicts: 470000 | #Constraints: 28536
1740.20/1744.79 c #Conflicts: 471000 | #Constraints: 29536
1740.20/1744.79 c #Conflicts: 472000 | #Constraints: 30536
1740.20/1744.79 c #Conflicts: 473000 | #Constraints: 31536
1740.20/1744.79 c #Conflicts: 474000 | #Constraints: 32536
1740.20/1744.79 c INPROCESSING
1740.20/1744.79 c GARBAGE COLLECT
1740.20/1744.79 c #Conflicts: 475000 | #Constraints: 19929
1740.20/1744.79 c #Conflicts: 476000 | #Constraints: 20929
1910.06/1915.05 c #Conflicts: 477000 | #Constraints: 21929
1910.06/1915.05 c #Conflicts: 478000 | #Constraints: 22929
1910.06/1915.05 c #Conflicts: 479000 | #Constraints: 23929
1910.06/1915.05 c #Conflicts: 480000 | #Constraints: 24929
1910.06/1915.05 c #Conflicts: 481000 | #Constraints: 25929
1910.06/1915.05 c #Conflicts: 482000 | #Constraints: 26929
1910.06/1915.05 c #Conflicts: 483000 | #Constraints: 27929
1910.06/1915.05 c #Conflicts: 484000 | #Constraints: 28929
1910.06/1915.05 c #Conflicts: 485000 | #Constraints: 29929
1910.06/1915.05 c #Conflicts: 486000 | #Constraints: 30929
1910.06/1915.05 c #Conflicts: 487000 | #Constraints: 31929
1910.06/1915.05 c #Conflicts: 488000 | #Constraints: 32929
1910.06/1915.05 c INPROCESSING
1910.06/1915.05 c GARBAGE COLLECT
1910.06/1915.05 c #Conflicts: 489000 | #Constraints: 20131
1910.06/1915.05 c #Conflicts: 490000 | #Constraints: 21131
1910.06/1915.05 c #Conflicts: 491000 | #Constraints: 22131
1910.06/1915.05 c #Conflicts: 492000 | #Constraints: 23131
1910.06/1915.05 c #Conflicts: 493000 | #Constraints: 24131
1910.06/1915.05 c #Conflicts: 494000 | #Constraints: 25131
1910.06/1915.05 c #Conflicts: 495000 | #Constraints: 26131
1910.06/1915.05 c #Conflicts: 496000 | #Constraints: 27131
1910.06/1915.05 c #Conflicts: 497000 | #Constraints: 28131
1910.06/1915.05 c #Conflicts: 498000 | #Constraints: 29131
1910.06/1915.05 c #Conflicts: 499000 | #Constraints: 30131
1910.06/1915.05 c #Conflicts: 500000 | #Constraints: 31131
1910.06/1915.05 c #Conflicts: 501000 | #Constraints: 32131
1910.06/1915.05 c #Conflicts: 502000 | #Constraints: 33131
1910.06/1915.05 c INPROCESSING
1910.06/1915.05 c GARBAGE COLLECT
1910.06/1915.05 c #Conflicts: 503000 | #Constraints: 20134
1910.06/1915.05 c #Conflicts: 504000 | #Constraints: 21134
1910.06/1915.05 c #Conflicts: 505000 | #Constraints: 22134
1910.06/1915.05 c #Conflicts: 506000 | #Constraints: 23134
1910.06/1915.05 c #Conflicts: 507000 | #Constraints: 24134
1910.06/1915.05 c #Conflicts: 508000 | #Constraints: 25134
1910.06/1915.05 c GLOBAL bounds - >= -1829902865 @ 1898.94
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.06/1915.09 c GLOBAL bounds - >= -1829902865 @ 1898.99
1910.16/1915.13 c GLOBAL bounds - >= -1829902865 @ 1899.01
1910.16/1915.13 c GLOBAL bounds - >= -1829902865 @ 1899.01
1910.16/1915.16 c GLOBAL bounds - >= -1829902865 @ 1899.03
1910.16/1915.16 c GLOBAL bounds - >= -1829902865 @ 1899.03
1910.27/1915.20 c GLOBAL bounds - >= -1829902865 @ 1899.05
1910.27/1915.20 c GLOBAL bounds - >= -1829902865 @ 1899.05
1910.27/1915.24 c GLOBAL bounds - >= -1829902865 @ 1899.08
1910.27/1915.24 c GLOBAL bounds - >= -1829902865 @ 1899.08
1910.27/1915.27 c GLOBAL bounds - >= -1829902865 @ 1899.1
1910.27/1915.27 c GLOBAL bounds - >= -1829902865 @ 1899.11
1910.36/1915.31 c GLOBAL bounds - >= -1829902865 @ 1899.13
1910.36/1915.31 c GLOBAL bounds - >= -1829902865 @ 1899.13
1910.36/1915.35 c GLOBAL bounds - >= -1829902865 @ 1899.16
1910.36/1915.35 c GLOBAL bounds - >= -1829902865 @ 1899.16
1910.36/1915.39 c GLOBAL bounds - >= -1829902865 @ 1899.18
1910.36/1915.39 c GLOBAL bounds - >= -1829902865 @ 1899.18
1910.47/1915.42 c GLOBAL bounds - >= -1829902865 @ 1899.21
1910.47/1915.43 c GLOBAL bounds - >= -1829902865 @ 1899.21
1910.47/1915.46 c GLOBAL bounds - >= -1829902865 @ 1899.23
1911.06/1916.06 c #Conflicts: 509000 | #Constraints: 26182
1911.06/1916.06 c GLOBAL bounds - >= -1829902865 @ 1899.82
1911.26/1916.28 c #Conflicts: 510000 | #Constraints: 27185
1911.26/1916.28 c GLOBAL bounds - >= -1829902865 @ 1900.02
1911.46/1916.47 c GLOBAL bounds - >= -1829902865 @ 1900.2
1911.66/1916.68 c GLOBAL bounds - >= -1829902865 @ 1900.39
1916.74/1921.75 c #Conflicts: 511000 | #Constraints: 28194
1916.74/1921.75 c #Conflicts: 512000 | #Constraints: 29194
1916.74/1921.75 c #Conflicts: 513000 | #Constraints: 30194
1916.74/1921.75 c GLOBAL bounds - >= -1829902865 @ 1905.4
1916.85/1921.84 c GLOBAL bounds - >= -1829902865 @ 1905.48
1917.15/1922.14 c GLOBAL bounds - >= -1829902865 @ 1905.77
1917.34/1922.39 c GLOBAL bounds - >= -1829902865 @ 1906
1917.74/1922.72 c GLOBAL bounds - >= -1829902865 @ 1906.32
1918.25/1923.22 c #Conflicts: 514000 | #Constraints: 31206
1918.25/1923.22 c GLOBAL bounds - >= -1829902865 @ 1906.8
1924.32/1929.37 c #Conflicts: 515000 | #Constraints: 32209
1924.32/1929.37 c #Conflicts: 516000 | #Constraints: 33209
1924.32/1929.37 c INPROCESSING
1924.32/1929.37 c GARBAGE COLLECT
1924.32/1929.37 c GLOBAL bounds - >= -1829902865 @ 1912.89
1924.52/1929.56 c GLOBAL bounds - >= -1829902865 @ 1913.06
1925.22/1930.23 c #Conflicts: 517000 | #Constraints: 19981
1925.22/1930.23 c GLOBAL bounds - >= -1829902865 @ 1913.71
2220.17/2225.90 c #Conflicts: 518000 | #Constraints: 20984
2220.17/2225.90 c #Conflicts: 519000 | #Constraints: 21984
2220.17/2225.90 c #Conflicts: 520000 | #Constraints: 22984
2220.17/2225.90 c #Conflicts: 521000 | #Constraints: 23984
2220.17/2225.90 c #Conflicts: 522000 | #Constraints: 24984
2220.17/2225.90 c #Conflicts: 523000 | #Constraints: 25984
2220.17/2225.90 c #Conflicts: 524000 | #Constraints: 26984
2220.17/2225.90 c #Conflicts: 525000 | #Constraints: 27984
2220.17/2225.90 c #Conflicts: 526000 | #Constraints: 28984
2220.17/2225.90 c #Conflicts: 527000 | #Constraints: 29984
2220.17/2225.90 c #Conflicts: 528000 | #Constraints: 30984
2220.17/2225.90 c #Conflicts: 529000 | #Constraints: 31984
2220.17/2225.90 c #Conflicts: 530000 | #Constraints: 32984
2220.17/2225.90 c #Conflicts: 531000 | #Constraints: 33984
2220.17/2225.90 c INPROCESSING
2220.17/2225.90 c GARBAGE COLLECT
2220.17/2225.90 c #Conflicts: 532000 | #Constraints: 20584
2220.17/2225.90 c #Conflicts: 533000 | #Constraints: 21584
2220.17/2225.90 c #Conflicts: 534000 | #Constraints: 22584
2220.17/2225.90 c #Conflicts: 535000 | #Constraints: 23584
2220.17/2225.90 c #Conflicts: 536000 | #Constraints: 24584
2220.17/2225.90 c #Conflicts: 537000 | #Constraints: 25584
2220.17/2225.90 c #Conflicts: 538000 | #Constraints: 26584
2220.17/2225.90 c #Conflicts: 539000 | #Constraints: 27584
2220.17/2225.90 c #Conflicts: 540000 | #Constraints: 28584
2220.17/2225.90 c #Conflicts: 541000 | #Constraints: 29584
2220.17/2225.90 c #Conflicts: 542000 | #Constraints: 30584
2220.17/2225.90 c #Conflicts: 543000 | #Constraints: 31584
2220.17/2225.90 c #Conflicts: 544000 | #Constraints: 32584
2220.17/2225.90 c #Conflicts: 545000 | #Constraints: 33584
2220.17/2225.90 c #Conflicts: 546000 | #Constraints: 34584
2220.17/2225.90 c INPROCESSING
2220.17/2225.90 c GARBAGE COLLECT
2220.17/2225.90 c #Conflicts: 547000 | #Constraints: 20992
2220.17/2225.90 c #Conflicts: 548000 | #Constraints: 21992
2220.17/2225.90 c #Conflicts: 549000 | #Constraints: 22992
2220.17/2225.90 c #Conflicts: 550000 | #Constraints: 23992
2220.17/2225.90 c #Conflicts: 551000 | #Constraints: 24992
2220.17/2225.90 c #Conflicts: 552000 | #Constraints: 25992
2220.17/2225.90 c #Conflicts: 553000 | #Constraints: 26992
2220.17/2225.90 c #Conflicts: 554000 | #Constraints: 27992
2220.17/2225.90 c #Conflicts: 555000 | #Constraints: 28992
2220.17/2225.90 c #Conflicts: 556000 | #Constraints: 29992
2220.17/2225.90 c #Conflicts: 557000 | #Constraints: 30992
2220.17/2225.90 c #Conflicts: 558000 | #Constraints: 31992
2220.17/2225.90 c #Conflicts: 559000 | #Constraints: 32992
2220.17/2225.90 c #Conflicts: 560000 | #Constraints: 33992
2220.17/2225.90 c #Conflicts: 561000 | #Constraints: 34992
2220.17/2225.90 c INPROCESSING
2220.17/2225.90 c GARBAGE COLLECT
2220.17/2225.90 c #Conflicts: 562000 | #Constraints: 21194
2220.17/2225.90 c #Conflicts: 563000 | #Constraints: 22194
2220.17/2225.90 c #Conflicts: 564000 | #Constraints: 23194
2220.17/2225.90 c #Conflicts: 565000 | #Constraints: 24194
2220.17/2225.90 c #Conflicts: 566000 | #Constraints: 25194
2220.17/2225.90 c #Conflicts: 567000 | #Constraints: 26194
2220.17/2225.90 c #Conflicts: 568000 | #Constraints: 27194
2220.17/2225.90 c #Conflicts: 569000 | #Constraints: 28194
2220.17/2225.90 c #Conflicts: 570000 | #Constraints: 29194
2220.17/2225.90 c #Conflicts: 571000 | #Constraints: 30194
2220.17/2225.90 c #Conflicts: 572000 | #Constraints: 31194
2220.17/2225.90 c #Conflicts: 573000 | #Constraints: 32194
2220.17/2225.90 c #Conflicts: 574000 | #Constraints: 33194
2220.17/2225.90 c #Conflicts: 575000 | #Constraints: 34194
2220.17/2225.90 c #Conflicts: 576000 | #Constraints: 35194
2220.17/2225.90 c INPROCESSING
2220.17/2225.90 c GARBAGE COLLECT
2220.17/2225.90 c #Conflicts: 577000 | #Constraints: 21196
2220.17/2225.90 c #Conflicts: 578000 | #Constraints: 22196
2220.17/2225.90 c #Conflicts: 579000 | #Constraints: 23196
2220.17/2225.90 c #Conflicts: 580000 | #Constraints: 24196
2220.17/2225.90 c #Conflicts: 581000 | #Constraints: 25196
2220.17/2225.90 c #Conflicts: 582000 | #Constraints: 26196
2220.17/2225.90 c #Conflicts: 583000 | #Constraints: 27196
2220.17/2225.90 c #Conflicts: 584000 | #Constraints: 28196
2220.17/2225.90 c #Conflicts: 585000 | #Constraints: 29196
2220.17/2225.90 c #Conflicts: 586000 | #Constraints: 30196
2220.17/2225.90 c #Conflicts: 587000 | #Constraints: 31196
2220.17/2225.90 c #Conflicts: 588000 | #Constraints: 32196
2220.17/2225.90 c #Conflicts: 589000 | #Constraints: 33196
2220.17/2225.90 c #Conflicts: 590000 | #Constraints: 34196
2220.17/2225.90 c #Conflicts: 591000 | #Constraints: 35196
2220.17/2225.90 c INPROCESSING
2220.17/2225.90 c GARBAGE COLLECT
2220.17/2225.90 c #Conflicts: 592000 | #Constraints: 20992
2220.17/2225.90 c #Conflicts: 593000 | #Constraints: 21992
2540.44/2547.14 c #Conflicts: 594000 | #Constraints: 22992
2540.44/2547.14 c #Conflicts: 595000 | #Constraints: 23992
2540.44/2547.14 c #Conflicts: 596000 | #Constraints: 24992
2540.44/2547.14 c #Conflicts: 597000 | #Constraints: 25992
2540.44/2547.14 c #Conflicts: 598000 | #Constraints: 26992
2540.44/2547.14 c #Conflicts: 599000 | #Constraints: 27992
2540.44/2547.14 c #Conflicts: 600000 | #Constraints: 28992
2540.44/2547.14 c #Conflicts: 601000 | #Constraints: 29992
2540.44/2547.14 c #Conflicts: 602000 | #Constraints: 30992
2540.44/2547.14 c #Conflicts: 603000 | #Constraints: 31992
2540.44/2547.14 c #Conflicts: 604000 | #Constraints: 32992
2540.44/2547.14 c #Conflicts: 605000 | #Constraints: 33992
2540.44/2547.14 c #Conflicts: 606000 | #Constraints: 34992
2540.44/2547.14 c #Conflicts: 607000 | #Constraints: 35992
2540.44/2547.14 c INPROCESSING
2540.44/2547.14 c GARBAGE COLLECT
2540.44/2547.14 c #Conflicts: 608000 | #Constraints: 21596
2540.44/2547.14 c #Conflicts: 609000 | #Constraints: 22596
2540.44/2547.14 c #Conflicts: 610000 | #Constraints: 23596
2540.44/2547.14 c #Conflicts: 611000 | #Constraints: 24596
2540.44/2547.14 c #Conflicts: 612000 | #Constraints: 25596
2540.44/2547.14 c #Conflicts: 613000 | #Constraints: 26596
2540.44/2547.14 c #Conflicts: 614000 | #Constraints: 27596
2540.44/2547.14 c #Conflicts: 615000 | #Constraints: 28596
2540.44/2547.14 c #Conflicts: 616000 | #Constraints: 29596
2540.44/2547.14 c #Conflicts: 617000 | #Constraints: 30596
2540.44/2547.14 c #Conflicts: 618000 | #Constraints: 31596
2540.44/2547.14 c #Conflicts: 619000 | #Constraints: 32596
2540.44/2547.14 c #Conflicts: 620000 | #Constraints: 33596
2540.44/2547.14 c #Conflicts: 621000 | #Constraints: 34596
2540.44/2547.14 c #Conflicts: 622000 | #Constraints: 35596
2540.44/2547.14 c #Conflicts: 623000 | #Constraints: 36596
2540.44/2547.14 c INPROCESSING
2540.44/2547.14 c GARBAGE COLLECT
2540.44/2547.14 c #Conflicts: 624000 | #Constraints: 21998
2540.44/2547.14 c #Conflicts: 625000 | #Constraints: 22998
2540.44/2547.14 c #Conflicts: 626000 | #Constraints: 23998
2540.44/2547.14 c #Conflicts: 627000 | #Constraints: 24998
2540.44/2547.14 c #Conflicts: 628000 | #Constraints: 25998
2540.44/2547.14 c #Conflicts: 629000 | #Constraints: 26998
2540.44/2547.14 c #Conflicts: 630000 | #Constraints: 27998
2540.44/2547.14 c #Conflicts: 631000 | #Constraints: 28998
2540.44/2547.14 c #Conflicts: 632000 | #Constraints: 29998
2540.44/2547.14 c #Conflicts: 633000 | #Constraints: 30998
2540.44/2547.14 c #Conflicts: 634000 | #Constraints: 31998
2540.44/2547.14 c #Conflicts: 635000 | #Constraints: 32998
2540.44/2547.14 c #Conflicts: 636000 | #Constraints: 33998
2540.44/2547.14 c #Conflicts: 637000 | #Constraints: 34998
2540.44/2547.14 c #Conflicts: 638000 | #Constraints: 35998
2540.44/2547.14 c #Conflicts: 639000 | #Constraints: 36998
2540.44/2547.14 c INPROCESSING
2540.44/2547.14 c GARBAGE COLLECT
2540.44/2547.14 c #Conflicts: 640000 | #Constraints: 22199
2540.44/2547.14 c #Conflicts: 641000 | #Constraints: 23199
2540.44/2547.14 c #Conflicts: 642000 | #Constraints: 24199
2540.44/2547.14 c #Conflicts: 643000 | #Constraints: 25199
2540.44/2547.14 c #Conflicts: 644000 | #Constraints: 26199
2540.44/2547.14 c #Conflicts: 645000 | #Constraints: 27199
2540.44/2547.14 c #Conflicts: 646000 | #Constraints: 28199
2540.44/2547.14 c #Conflicts: 647000 | #Constraints: 29199
2540.44/2547.14 c #Conflicts: 648000 | #Constraints: 30199
2540.44/2547.14 c #Conflicts: 649000 | #Constraints: 31199
2540.44/2547.14 c #Conflicts: 650000 | #Constraints: 32199
2540.44/2547.14 c #Conflicts: 651000 | #Constraints: 33199
2540.44/2547.14 c #Conflicts: 652000 | #Constraints: 34199
2540.44/2547.14 c #Conflicts: 653000 | #Constraints: 35199
2540.44/2547.14 c #Conflicts: 654000 | #Constraints: 36199
2540.44/2547.14 c #Conflicts: 655000 | #Constraints: 37199
2540.44/2547.14 c INPROCESSING
2540.44/2547.14 c GARBAGE COLLECT
2540.44/2547.14 c #Conflicts: 656000 | #Constraints: 22198
2540.44/2547.14 c #Conflicts: 657000 | #Constraints: 23198
2540.44/2547.14 c #Conflicts: 658000 | #Constraints: 24198
2540.44/2547.14 c #Conflicts: 659000 | #Constraints: 25198
2540.44/2547.14 c #Conflicts: 660000 | #Constraints: 26198
2540.44/2547.14 c #Conflicts: 661000 | #Constraints: 27198
2540.44/2547.14 c #Conflicts: 662000 | #Constraints: 28198
2540.44/2547.14 c #Conflicts: 663000 | #Constraints: 29198
2540.44/2547.14 c #Conflicts: 664000 | #Constraints: 30198
2540.44/2547.14 c #Conflicts: 665000 | #Constraints: 31198
2540.44/2547.14 c #Conflicts: 666000 | #Constraints: 32198
2540.44/2547.14 c #Conflicts: 667000 | #Constraints: 33198
2540.44/2547.14 c #Conflicts: 668000 | #Constraints: 34198
2540.44/2547.14 c #Conflicts: 669000 | #Constraints: 35198
2841.28/2848.98 c #Conflicts: 670000 | #Constraints: 36198
2841.28/2848.98 c #Conflicts: 671000 | #Constraints: 37198
2841.28/2848.98 c INPROCESSING
2841.28/2848.98 c GARBAGE COLLECT
2841.28/2848.98 c #Conflicts: 672000 | #Constraints: 22000
2841.28/2848.98 c #Conflicts: 673000 | #Constraints: 23000
2841.28/2848.98 c #Conflicts: 674000 | #Constraints: 24000
2841.28/2848.98 c #Conflicts: 675000 | #Constraints: 25000
2841.28/2848.98 c #Conflicts: 676000 | #Constraints: 26000
2841.28/2848.98 c #Conflicts: 677000 | #Constraints: 27000
2841.28/2848.98 c #Conflicts: 678000 | #Constraints: 28000
2841.28/2848.98 c #Conflicts: 679000 | #Constraints: 29000
2841.28/2848.98 c #Conflicts: 680000 | #Constraints: 30000
2841.28/2848.98 c #Conflicts: 681000 | #Constraints: 31000
2841.28/2848.98 c #Conflicts: 682000 | #Constraints: 32000
2841.28/2848.98 c #Conflicts: 683000 | #Constraints: 33000
2841.28/2848.98 c #Conflicts: 684000 | #Constraints: 34000
2841.28/2848.98 c #Conflicts: 685000 | #Constraints: 35000
2841.28/2848.98 c #Conflicts: 686000 | #Constraints: 36000
2841.28/2848.98 c #Conflicts: 687000 | #Constraints: 37000
2841.28/2848.98 c #Conflicts: 688000 | #Constraints: 38000
2841.28/2848.98 c INPROCESSING
2841.28/2848.98 c GARBAGE COLLECT
2841.28/2848.98 c #Conflicts: 689000 | #Constraints: 22596
2841.28/2848.98 c #Conflicts: 690000 | #Constraints: 23596
2841.28/2848.98 c #Conflicts: 691000 | #Constraints: 24596
2841.28/2848.98 c #Conflicts: 692000 | #Constraints: 25596
2841.28/2848.98 c #Conflicts: 693000 | #Constraints: 26596
2841.28/2848.98 c #Conflicts: 694000 | #Constraints: 27596
2841.28/2848.98 c #Conflicts: 695000 | #Constraints: 28596
2841.28/2848.98 c #Conflicts: 696000 | #Constraints: 29596
2841.28/2848.98 c #Conflicts: 697000 | #Constraints: 30596
2841.28/2848.98 c #Conflicts: 698000 | #Constraints: 31596
2841.28/2848.98 c #Conflicts: 699000 | #Constraints: 32596
2841.28/2848.98 c #Conflicts: 700000 | #Constraints: 33596
2841.28/2848.98 c #Conflicts: 701000 | #Constraints: 34596
2841.28/2848.98 c #Conflicts: 702000 | #Constraints: 35596
2841.28/2848.98 c #Conflicts: 703000 | #Constraints: 36596
2841.28/2848.98 c #Conflicts: 704000 | #Constraints: 37596
2841.28/2848.98 c #Conflicts: 705000 | #Constraints: 38596
2841.28/2848.98 c INPROCESSING
2841.28/2848.98 c GARBAGE COLLECT
2841.28/2848.98 c #Conflicts: 706000 | #Constraints: 22995
2841.28/2848.98 c #Conflicts: 707000 | #Constraints: 23995
2841.28/2848.98 c #Conflicts: 708000 | #Constraints: 24995
2841.28/2848.98 c #Conflicts: 709000 | #Constraints: 25995
2841.28/2848.98 c #Conflicts: 710000 | #Constraints: 26995
2841.28/2848.98 c #Conflicts: 711000 | #Constraints: 27995
2841.28/2848.98 c #Conflicts: 712000 | #Constraints: 28995
2841.28/2848.98 c #Conflicts: 713000 | #Constraints: 29995
2841.28/2848.98 c #Conflicts: 714000 | #Constraints: 30995
2841.28/2848.98 c #Conflicts: 715000 | #Constraints: 31995
2841.28/2848.98 c #Conflicts: 716000 | #Constraints: 32995
2841.28/2848.98 c #Conflicts: 717000 | #Constraints: 33995
2841.28/2848.98 c #Conflicts: 718000 | #Constraints: 34995
2841.28/2848.98 c #Conflicts: 719000 | #Constraints: 35995
2841.28/2848.98 c #Conflicts: 720000 | #Constraints: 36995
2841.28/2848.98 c #Conflicts: 721000 | #Constraints: 37995
2841.28/2848.98 c #Conflicts: 722000 | #Constraints: 38995
2841.28/2848.98 c INPROCESSING
2841.28/2848.98 c GARBAGE COLLECT
2841.28/2848.98 c #Conflicts: 723000 | #Constraints: 23197
2841.28/2848.98 c #Conflicts: 724000 | #Constraints: 24197
2841.28/2848.98 c #Conflicts: 725000 | #Constraints: 25197
2841.28/2848.98 c #Conflicts: 726000 | #Constraints: 26197
2841.28/2848.98 c #Conflicts: 727000 | #Constraints: 27197
2841.28/2848.98 c #Conflicts: 728000 | #Constraints: 28197
2841.28/2848.98 c #Conflicts: 729000 | #Constraints: 29197
2841.28/2848.98 c #Conflicts: 730000 | #Constraints: 30197
2841.28/2848.98 c #Conflicts: 731000 | #Constraints: 31197
2841.28/2848.98 c #Conflicts: 732000 | #Constraints: 32197
2841.28/2848.98 c #Conflicts: 733000 | #Constraints: 33197
2841.28/2848.98 c #Conflicts: 734000 | #Constraints: 34197
2841.28/2848.98 c #Conflicts: 735000 | #Constraints: 35197
2841.28/2848.98 c #Conflicts: 736000 | #Constraints: 36197
2841.28/2848.98 c #Conflicts: 737000 | #Constraints: 37197
2841.28/2848.98 c #Conflicts: 738000 | #Constraints: 38197
2841.28/2848.98 c #Conflicts: 739000 | #Constraints: 39197
2841.28/2848.98 c INPROCESSING
2841.28/2848.98 c GARBAGE COLLECT
2841.28/2848.98 c #Conflicts: 740000 | #Constraints: 23189
2841.28/2848.98 c #Conflicts: 741000 | #Constraints: 24189
2841.28/2848.98 c #Conflicts: 742000 | #Constraints: 25189
2841.28/2848.98 c #Conflicts: 743000 | #Constraints: 26189
2841.28/2848.98 c #Conflicts: 744000 | #Constraints: 27189
2841.28/2848.98 c #Conflicts: 745000 | #Constraints: 28189
3220.66/3229.52 c #Conflicts: 746000 | #Constraints: 29189
3220.66/3229.52 c #Conflicts: 747000 | #Constraints: 30189
3220.66/3229.52 c #Conflicts: 748000 | #Constraints: 31189
3220.66/3229.52 c #Conflicts: 749000 | #Constraints: 32189
3220.66/3229.52 c #Conflicts: 750000 | #Constraints: 33189
3220.66/3229.52 c #Conflicts: 751000 | #Constraints: 34189
3220.66/3229.52 c #Conflicts: 752000 | #Constraints: 35189
3220.66/3229.52 c #Conflicts: 753000 | #Constraints: 36189
3220.66/3229.52 c #Conflicts: 754000 | #Constraints: 37189
3220.66/3229.52 c #Conflicts: 755000 | #Constraints: 38189
3220.66/3229.52 c #Conflicts: 756000 | #Constraints: 39189
3220.66/3229.52 c INPROCESSING
3220.66/3229.52 c GARBAGE COLLECT
3220.66/3229.52 c #Conflicts: 757000 | #Constraints: 22992
3220.66/3229.52 c #Conflicts: 758000 | #Constraints: 23992
3220.66/3229.52 c #Conflicts: 759000 | #Constraints: 24992
3220.66/3229.52 c #Conflicts: 760000 | #Constraints: 25992
3220.66/3229.52 c #Conflicts: 761000 | #Constraints: 26992
3220.66/3229.52 c #Conflicts: 762000 | #Constraints: 27992
3220.66/3229.52 c #Conflicts: 763000 | #Constraints: 28992
3220.66/3229.52 c #Conflicts: 764000 | #Constraints: 29992
3220.66/3229.52 c #Conflicts: 765000 | #Constraints: 30992
3220.66/3229.52 c #Conflicts: 766000 | #Constraints: 31992
3220.66/3229.52 c #Conflicts: 767000 | #Constraints: 32992
3220.66/3229.52 c #Conflicts: 768000 | #Constraints: 33992
3220.66/3229.52 c #Conflicts: 769000 | #Constraints: 34992
3220.66/3229.52 c #Conflicts: 770000 | #Constraints: 35992
3220.66/3229.52 c #Conflicts: 771000 | #Constraints: 36992
3220.66/3229.52 c #Conflicts: 772000 | #Constraints: 37992
3220.66/3229.52 c #Conflicts: 773000 | #Constraints: 38992
3220.66/3229.52 c #Conflicts: 774000 | #Constraints: 39992
3220.66/3229.52 c INPROCESSING
3220.66/3229.52 c GARBAGE COLLECT
3220.66/3229.52 c #Conflicts: 775000 | #Constraints: 23586
3220.66/3229.52 c #Conflicts: 776000 | #Constraints: 24586
3220.66/3229.52 c #Conflicts: 777000 | #Constraints: 25586
3220.66/3229.52 c #Conflicts: 778000 | #Constraints: 26586
3220.66/3229.52 c #Conflicts: 779000 | #Constraints: 27586
3220.66/3229.52 c #Conflicts: 780000 | #Constraints: 28586
3220.66/3229.52 c #Conflicts: 781000 | #Constraints: 29586
3220.66/3229.52 c #Conflicts: 782000 | #Constraints: 30586
3220.66/3229.52 c #Conflicts: 783000 | #Constraints: 31586
3220.66/3229.52 c #Conflicts: 784000 | #Constraints: 32586
3220.66/3229.52 c #Conflicts: 785000 | #Constraints: 33586
3220.66/3229.52 c #Conflicts: 786000 | #Constraints: 34586
3220.66/3229.52 c #Conflicts: 787000 | #Constraints: 35586
3220.66/3229.52 c #Conflicts: 788000 | #Constraints: 36586
3220.66/3229.52 c #Conflicts: 789000 | #Constraints: 37586
3220.66/3229.52 c #Conflicts: 790000 | #Constraints: 38586
3220.66/3229.52 c #Conflicts: 791000 | #Constraints: 39586
3220.66/3229.52 c #Conflicts: 792000 | #Constraints: 40586
3220.66/3229.52 c INPROCESSING
3220.66/3229.52 c GARBAGE COLLECT
3220.66/3229.52 c #Conflicts: 793000 | #Constraints: 23989
3220.66/3229.52 c #Conflicts: 794000 | #Constraints: 24989
3220.66/3229.52 c #Conflicts: 795000 | #Constraints: 25989
3220.66/3229.52 c #Conflicts: 796000 | #Constraints: 26989
3220.66/3229.52 c #Conflicts: 797000 | #Constraints: 27989
3220.66/3229.52 c #Conflicts: 798000 | #Constraints: 28989
3220.66/3229.52 c #Conflicts: 799000 | #Constraints: 29989
3220.66/3229.52 c #Conflicts: 800000 | #Constraints: 30989
3220.66/3229.52 c #Conflicts: 801000 | #Constraints: 31989
3220.66/3229.52 c #Conflicts: 802000 | #Constraints: 32989
3220.66/3229.52 c #Conflicts: 803000 | #Constraints: 33989
3220.66/3229.52 c #Conflicts: 804000 | #Constraints: 34989
3220.66/3229.52 c #Conflicts: 805000 | #Constraints: 35989
3220.66/3229.52 c #Conflicts: 806000 | #Constraints: 36989
3220.66/3229.52 c #Conflicts: 807000 | #Constraints: 37989
3220.66/3229.52 c #Conflicts: 808000 | #Constraints: 38989
3220.66/3229.52 c #Conflicts: 809000 | #Constraints: 39989
3220.66/3229.52 c #Conflicts: 810000 | #Constraints: 40989
3220.66/3229.52 c INPROCESSING
3220.66/3229.52 c GARBAGE COLLECT
3220.66/3229.52 c #Conflicts: 811000 | #Constraints: 24194
3220.66/3229.52 c #Conflicts: 812000 | #Constraints: 25194
3220.66/3229.52 c #Conflicts: 813000 | #Constraints: 26194
3220.66/3229.52 c #Conflicts: 814000 | #Constraints: 27194
3220.66/3229.52 c #Conflicts: 815000 | #Constraints: 28194
3220.66/3229.52 c #Conflicts: 816000 | #Constraints: 29194
3220.66/3229.52 c #Conflicts: 817000 | #Constraints: 30194
3220.66/3229.52 c #Conflicts: 818000 | #Constraints: 31194
3220.66/3229.52 c #Conflicts: 819000 | #Constraints: 32194
3220.66/3229.52 c #Conflicts: 820000 | #Constraints: 33194
3220.66/3229.52 c #Conflicts: 821000 | #Constraints: 34194
3600.07/3610.10 c #Conflicts: 822000 | #Constraints: 35194
3600.07/3610.10 c #Conflicts: 823000 | #Constraints: 36194
3600.07/3610.10 c #Conflicts: 824000 | #Constraints: 37194
3600.07/3610.10 c #Conflicts: 825000 | #Constraints: 38194
3600.07/3610.10 c #Conflicts: 826000 | #Constraints: 39194
3600.07/3610.10 c #Conflicts: 827000 | #Constraints: 40194
3600.07/3610.10 c #Conflicts: 828000 | #Constraints: 41194
3600.07/3610.10 c INPROCESSING
3600.07/3610.10 c GARBAGE COLLECT
3600.07/3610.10 c #Conflicts: 829000 | #Constraints: 24193
3600.07/3610.10 c #Conflicts: 830000 | #Constraints: 25193
3600.07/3610.10 c #Conflicts: 831000 | #Constraints: 26193
3600.07/3610.10 c #Conflicts: 832000 | #Constraints: 27193
3600.07/3610.10 c #Conflicts: 833000 | #Constraints: 28193
3600.07/3610.10 c #Conflicts: 834000 | #Constraints: 29193
3600.07/3610.10 c #Conflicts: 835000 | #Constraints: 30193
3600.07/3610.10 c #Conflicts: 836000 | #Constraints: 31193
3600.07/3610.10 c #Conflicts: 837000 | #Constraints: 32193
3600.07/3610.10 c #Conflicts: 838000 | #Constraints: 33193
3600.07/3610.10 c #Conflicts: 839000 | #Constraints: 34193
3600.07/3610.10 c #Conflicts: 840000 | #Constraints: 35193
3600.07/3610.10 c #Conflicts: 841000 | #Constraints: 36193
3600.07/3610.10 c #Conflicts: 842000 | #Constraints: 37193
3600.07/3610.10 c #Conflicts: 843000 | #Constraints: 38193
3600.07/3610.10 c #Conflicts: 844000 | #Constraints: 39193
3600.07/3610.10 c #Conflicts: 845000 | #Constraints: 40193
3600.07/3610.10 c #Conflicts: 846000 | #Constraints: 41193
3600.07/3610.10 c INPROCESSING
3600.07/3610.10 c GARBAGE COLLECT
3600.07/3610.10 c #Conflicts: 847000 | #Constraints: 23986
3600.07/3610.10 c #Conflicts: 848000 | #Constraints: 24986
3600.07/3610.10 c #Conflicts: 849000 | #Constraints: 25986
3600.07/3610.10 c #Conflicts: 850000 | #Constraints: 26986
3600.07/3610.10 c #Conflicts: 851000 | #Constraints: 27986
3600.07/3610.10 c #Conflicts: 852000 | #Constraints: 28986
3600.07/3610.10 c #Conflicts: 853000 | #Constraints: 29986
3600.07/3610.10 c #Conflicts: 854000 | #Constraints: 30986
3600.07/3610.10 c #Conflicts: 855000 | #Constraints: 31986
3600.07/3610.10 c #Conflicts: 856000 | #Constraints: 32986
3600.07/3610.10 c #Conflicts: 857000 | #Constraints: 33986
3600.07/3610.10 c #Conflicts: 858000 | #Constraints: 34986
3600.07/3610.10 c #Conflicts: 859000 | #Constraints: 35986
3600.07/3610.10 c #Conflicts: 860000 | #Constraints: 36986
3600.07/3610.10 c #Conflicts: 861000 | #Constraints: 37986
3600.07/3610.10 c #Conflicts: 862000 | #Constraints: 38986
3600.07/3610.10 c #Conflicts: 863000 | #Constraints: 39986
3600.07/3610.10 c #Conflicts: 864000 | #Constraints: 40986
3600.07/3610.10 c #Conflicts: 865000 | #Constraints: 41986
3600.07/3610.10 c INPROCESSING
3600.07/3610.10 c GARBAGE COLLECT
3600.07/3610.10 c #Conflicts: 866000 | #Constraints: 24591
3600.07/3610.10 c #Conflicts: 867000 | #Constraints: 25591
3600.07/3610.10 c #Conflicts: 868000 | #Constraints: 26591
3600.07/3610.10 c #Conflicts: 869000 | #Constraints: 27591
3600.07/3610.10 c #Conflicts: 870000 | #Constraints: 28591
3600.07/3610.10 c #Conflicts: 871000 | #Constraints: 29591
3600.07/3610.10 c #Conflicts: 872000 | #Constraints: 30591
3600.07/3610.10 c #Conflicts: 873000 | #Constraints: 31591
3600.07/3610.10 c #Conflicts: 874000 | #Constraints: 32591
3600.07/3610.10 c #Conflicts: 875000 | #Constraints: 33591
3600.07/3610.10 c #Conflicts: 876000 | #Constraints: 34591
3600.07/3610.10 c #Conflicts: 877000 | #Constraints: 35591
3600.07/3610.10 c #Conflicts: 878000 | #Constraints: 36591
3600.07/3610.10 c #Conflicts: 879000 | #Constraints: 37591
3600.07/3610.10 c #Conflicts: 880000 | #Constraints: 38591
3600.07/3610.10 c #Conflicts: 881000 | #Constraints: 39591
3600.07/3610.10 c #Conflicts: 882000 | #Constraints: 40591
3600.07/3610.10 c #Conflicts: 883000 | #Constraints: 41591
3600.07/3610.10 c #Conflicts: 884000 | #Constraints: 42591
3600.07/3610.10 c INPROCESSING
3600.07/3610.10 c GARBAGE COLLECT
3600.07/3610.10 c #Conflicts: 885000 | #Constraints: 24993
3600.07/3610.10 c #Conflicts: 886000 | #Constraints: 25993
3600.07/3610.10 c #Conflicts: 887000 | #Constraints: 26993
3600.07/3610.10 c #Conflicts: 888000 | #Constraints: 27993
3600.07/3610.10 c #Conflicts: 889000 | #Constraints: 28993
3600.07/3610.10 c #Conflicts: 890000 | #Constraints: 29993
3600.07/3610.10 c #Conflicts: 891000 | #Constraints: 30993
3600.07/3610.10 c #Conflicts: 892000 | #Constraints: 31993
3600.07/3610.10 c #Conflicts: 893000 | #Constraints: 32993
3600.07/3610.10 c cpu time 3586.07 s
3600.07/3610.10 c deterministic time 206669 2.07e+05
3600.07/3610.10 c optimization time 3585.75 s
3600.07/3610.10 c total solve time 0.13741 s
3600.07/3610.10 c core-guided solve time 0 s
3600.07/3610.10 c propagation time 0.089688 s
3600.07/3610.10 c conflict analysis time 0.001793 s
3600.07/3610.10 c propagations 45535
3600.07/3610.10 c resolve steps 0
3600.07/3610.10 c decisions 1690
3600.07/3610.10 c conflicts 2
3600.07/3610.10 c restarts 1
3600.07/3610.10 c inprocessing phases 0
3600.07/3610.10 c garbage collections 0 ,( -nan )
3600.07/3610.10 c input clauses 61779 ,( 99.45 )
3600.07/3610.10 c input cardinalities 73 ,( 0.12 )
3600.07/3610.10 c input general constraints 268 ,( 0.43 )
3600.07/3610.10 c input average constraint length 7.12
3600.07/3610.10 c input average constraint degree 7833182.72
3600.07/3610.10 c learned clauses 23 ,( 100.00 )
3600.07/3610.10 c learned cardinalities 0 ,( 0.00 )
3600.07/3610.10 c learned general constraints 0 ,( 0.00 )
3600.07/3610.10 c learned average constraint length 2.09
3600.07/3610.10 c learned average constraint degree 1.00
3600.07/3610.10 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3610.10 c counting CF 32, 64, 128, Arb: 3 , 266 , 0 , 0
3600.07/3610.10 c watched constraints 0 ,( 0.00 )
3600.07/3610.10 c counting constraints 268 ,( 100.00 )
3600.07/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 31250 , 0 , 40833 ,( 0 , 40833 )
3600.07/3610.10 c gcd simplifications 0
3600.07/3610.10 c detected cardinalities 0
3600.07/3610.10 c weakened non-implied lits 0
3600.07/3610.10 c weakened non-implying lits 0
3600.07/3610.10 c original variables 21883
3600.07/3610.10 c clausal propagations 30066
3600.07/3610.10 c cardinality propagations 0
3600.07/3610.10 c watched propagations 0
3600.07/3610.10 c counting propagations 5440
3600.07/3610.10 c watch lookups 72210
3600.07/3610.10 c watch backjump lookups 0
3600.07/3610.10 c watch checks 1253
3600.07/3610.10 c propagation checks 35525
3600.07/3610.10 c constraint additions 1032
3600.07/3610.10 c trail pops 46423
3600.07/3610.10 c formula constraints 61140
3600.07/3610.10 c learned constraints 23
3600.07/3610.10 c bound constraints 0
3600.07/3610.10 c core-guided constraints 0
3600.07/3610.10 c encountered formula constraints 2
3600.07/3610.10 c encountered learned constraints 0
3600.07/3610.10 c encountered bound constraints 0
3600.07/3610.10 c encountered core-guided constraints 0
3600.07/3610.10 c LP total time 0.129768 s
3600.07/3610.10 c LP solve time 0.11 s
3600.07/3610.10 c LP constraints added 61140
3600.07/3610.10 c LP constraints removed 0
3600.07/3610.10 c LP pivots internal 2000
3600.07/3610.10 c LP pivots root 1000
3600.07/3610.10 c LP calls 2
3600.07/3610.10 c LP optimalities 0
3600.07/3610.10 c LP no pivot count 0
3600.07/3610.10 c LP infeasibilities 0
3600.07/3610.10 c LP valid Farkas constraints 0
3600.07/3610.10 c LP learned Farkas constraints 0
3600.07/3610.10 c LP basis resets 0
3600.07/3610.10 c LP cycling count 0
3600.07/3610.10 c LP singular count 0
3600.07/3610.10 c LP no primal count 0
3600.07/3610.10 c LP no farkas count 0
3600.07/3610.10 c LP other issue count 0
3600.07/3610.10 c LP Gomory cuts 0
3600.07/3610.10 c LP learned cuts 0
3600.07/3610.10 c LP deleted cuts 0
3600.07/3610.10 c LP encountered Gomory constraints 0
3600.07/3610.10 c LP encountered Farkas constraints 0
3600.07/3610.10 c LP encountered learned Farkas constraints 0
3600.07/3610.10 c CG auxiliary variables introduced 511
3600.07/3610.10 c CG solutions found 0
3600.07/3610.10 c CG cores constructed 397
3600.07/3610.10 c CG core cardinality constraints returned 0
3600.07/3610.10 c CG unit cores 0
3600.07/3610.10 c CG single cores 0
3600.07/3610.10 c CG blocks removed during cardinality reduction 0
3600.07/3610.10 c CG first core best 0
3600.07/3610.10 c CG decision core best 0
3600.07/3610.10 c CG core reduction tie 0
3600.07/3610.10 c CG core degree average 0.00
3600.07/3610.10 c CG core slack average 0.00
3600.07/3610.10 c CG core upper bound improvements 0
3600.07/3610.10 c STR number of successful calls 0
3600.07/3610.10 c STR number of unsuccessful calls 0
3600.07/3610.10 c STR number of inconclusive calls 0
3600.07/3610.10 c STR number of successful attempts 0
3600.07/3610.10 c STR number of unsuccessful attempts 0
3600.07/3610.10 c STR number of inconclusive attempts 0
3600.07/3610.10 c STR average degree increase per successful call inf
3600.07/3610.10 c STR average degree increase per successful attempt inf
3600.07/3610.10 c STR total number of conflicts for successful attempts 0
3600.07/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.10 c STR average number of conflicts per successful attempt inf
3600.07/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.10 c AVG.sumWPerc 100.00
3600.07/3610.10 c bigint constraints 266
3600.07/3610.10 s UNKNOWN
3600.07/3610.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50140 MiB free)
memory of node 1: 64465 MiB (60641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512662-1751531836/watcher-4512662-1751531836 -o /tmp/evaluation-result-4512662-1751531836/solver-4512662-1751531836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75752 --watchdog 3760 run-opt.sh HOME/instance-4512662-1751531836.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=76002, runsolver pid=75999
[startup+0.100062 s]*
/proc/loadavg: 3.08 1.73 1.99 5/270 76004
/proc/meminfo: memFree=113441084/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=62252 memory=16404 CPUtime=0.08 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 2483 0 0 0 6 2 0 0 20 0 1 0 68861449 63746048 4101 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 15563 4101 1920 1147 0 2990 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66444 KiB
Current children cumulated memory: 19348 KiB
[startup+0.205642 s]*
/proc/loadavg: 3.08 1.73 1.99 5/270 76004
/proc/meminfo: memFree=113432640/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=122028 memory=56852 CPUtime=0.19 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 7671 0 0 0 15 4 0 0 20 0 1 0 68861449 124956672 14213 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 30507 14213 2240 1147 0 17934 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126220 KiB
Current children cumulated memory: 59796 KiB
[startup+0.30575 s]*
/proc/loadavg: 3.08 1.73 1.99 5/270 76004
/proc/meminfo: memFree=113404348/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=120328 memory=72656 CPUtime=0.29 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 10181 0 0 0 20 9 0 0 20 0 1 0 68861449 123215872 18164 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 30082 18164 2336 1147 0 17509 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 124520 KiB
Current children cumulated memory: 75600 KiB
[startup+0.70017 s]
/proc/loadavg: 3.08 1.73 1.99 5/270 76004
/proc/meminfo: memFree=113404412/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=121824 memory=76328 CPUtime=0.68 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 10582 0 0 0 36 32 0 0 20 0 1 0 68861449 124747776 19082 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 30456 19082 2336 1147 0 17883 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126016 KiB
Current children cumulated memory: 79272 KiB
[startup+1.50014 s]
/proc/loadavg: 3.08 1.73 1.99 5/270 76004
/proc/meminfo: memFree=113404412/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=122632 memory=77224 CPUtime=1.48 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 10808 0 0 0 67 81 0 0 20 0 1 0 68861449 125575168 19306 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 30658 19306 2336 1147 0 18085 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126824 KiB
Current children cumulated memory: 80168 KiB
[startup+3.10541 s]
/proc/loadavg: 3.08 1.73 1.99 5/270 76004
/proc/meminfo: memFree=113396428/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=124744 memory=79272 CPUtime=3.08 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 11315 0 0 0 135 173 0 0 20 0 1 0 68861449 127737856 19818 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 31186 19818 2336 1147 0 18613 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 128936 KiB
Current children cumulated memory: 82216 KiB
[startup+6.30016 s]
/proc/loadavg: 3.24 1.78 2.01 5/270 76004
/proc/meminfo: memFree=113380476/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=149416 memory=103320 CPUtime=6.27 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 16289 0 0 0 282 345 0 0 20 0 1 0 68861449 153001984 25830 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 37354 25830 2368 1147 0 24781 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 153608 KiB
Current children cumulated memory: 106264 KiB
[startup+12.7002 s]
/proc/loadavg: 3.38 1.84 2.02 5/270 76004
/proc/meminfo: memFree=113313812/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=199004 memory=150372 CPUtime=12.66 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 21389 0 0 0 693 573 0 0 20 0 1 0 68861449 203780096 37593 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 49751 37593 2368 1147 0 37178 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 203196 KiB
Current children cumulated memory: 153316 KiB
[startup+25.5002 s]
/proc/loadavg: 3.52 1.94 2.06 5/270 76004
/proc/meminfo: memFree=113256148/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=246408 memory=184676 CPUtime=25.42 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 28952 0 0 0 1913 629 0 0 20 0 1 0 68861449 252321792 46169 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 61602 46169 2368 1147 0 49029 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 250600 KiB
Current children cumulated memory: 187620 KiB
[startup+51.1056 s]
/proc/loadavg: 4.02 2.19 2.14 5/271 76006
/proc/meminfo: memFree=113213056/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=256584 memory=199556 CPUtime=50.94 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 32159 0 0 0 4444 650 0 0 20 0 1 0 68861449 262742016 49889 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 64146 49889 2368 1147 0 51573 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 260776 KiB
Current children cumulated memory: 202500 KiB
[startup+102.3 s]
/proc/loadavg: 4.48 2.60 2.28 5/271 76008
/proc/meminfo: memFree=113127184/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=303500 memory=234640 CPUtime=102 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 39914 0 0 0 9524 676 0 0 20 0 1 0 68861449 310784000 58660 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 75875 58660 2368 1147 0 63302 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 307692 KiB
Current children cumulated memory: 237584 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 2.85 2.39 5/271 76010
/proc/meminfo: memFree=113068540/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=329920 memory=247120 CPUtime=161.85 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 42520 0 0 0 15483 702 0 0 20 0 1 0 68861449 337838080 61780 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 82480 61780 2368 1147 0 69907 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 334112 KiB
Current children cumulated memory: 250064 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.08 2.50 5/271 76012
/proc/meminfo: memFree=112898716/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=381900 memory=301520 CPUtime=221.7 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 53347 0 0 0 21422 748 0 0 20 0 1 0 68861449 391065600 75380 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 95475 75380 2400 1147 0 82902 0
Current children cumulated CPU time: 221.7 s
################
# More data... #
################
/proc/76004/statm: 190300 149734 2400 1147 0 177727 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 601880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/269 76228
/proc/meminfo: memFree=111252404/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=598936 CPUtime=3153.68 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 100426 0 0 0 314020 1348 0 0 20 0 1 0 68861449 779468800 149734 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 149734 2400 1147 0 177727 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 601880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/269 76230
/proc/meminfo: memFree=111255684/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=599192 CPUtime=3213.49 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 100485 0 0 0 319992 1357 0 0 20 0 1 0 68861449 779468800 149798 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 149798 2400 1147 0 177727 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 602136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.50 4.19 4.06 5/269 76231
/proc/meminfo: memFree=111298160/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=600728 CPUtime=3273.3 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 100893 0 0 0 325968 1362 0 0 20 0 1 0 68861449 779468800 150182 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 150182 2400 1147 0 177727 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 603672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.17 4.06 5/268 76233
/proc/meminfo: memFree=111284356/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=600728 CPUtime=3333.1 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 100893 0 0 0 331941 1369 0 0 20 0 1 0 68861449 779468800 150182 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 150182 2400 1147 0 177727 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 603672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.06 5/268 76235
/proc/meminfo: memFree=111273312/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=605016 CPUtime=3392.92 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 101484 0 0 0 337915 1377 0 0 20 0 1 0 68861449 779468800 151254 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 151254 2400 1147 0 177727 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 607960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/268 76243
/proc/meminfo: memFree=111273888/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=605016 CPUtime=3452.73 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 101497 0 0 0 343889 1384 0 0 20 0 1 0 68861449 779468800 151254 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 151254 2400 1147 0 177727 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 607960 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.06 5/268 76245
/proc/meminfo: memFree=111273952/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=605272 CPUtime=3512.54 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 101561 0 0 0 349861 1393 0 0 20 0 1 0 68861449 779468800 151318 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 151318 2400 1147 0 177727 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 608216 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.06 5/269 76385
/proc/meminfo: memFree=113005460/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=605784 CPUtime=3572.36 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 101673 0 0 0 355838 1398 0 0 20 0 1 0 68861449 779468800 151446 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 151446 2400 1147 0 177727 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 608728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.10 4.12 4.06 5/269 76387
/proc/meminfo: memFree=112994244/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=605784 CPUtime=3600.07 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 101673 0 0 0 358606 1401 0 0 20 0 1 0 68861449 779468800 151446 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 151446 2400 1147 0 177727 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 608728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 76002 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001052 s, system=0.001057 s
[startup+3610.12 s]
# the end of solver process 76004 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.07 s, system=14.0299 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.10 4.12 4.06 5/269 76387
/proc/meminfo: memFree=112994244/131249996 swapFree=33004236/33010684
[pid=76002] ppid=75999 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76002/stat : 76002 (run-opt.sh) S 75999 76002 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68861448 4292608 736 18446744073709551615 94863285432320 94863286326853 140727497372256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863286565904 94863286613648 94863311192064 140727497374061 140727497374184 140727497374184 140727497379786 0
/proc/76002/statm: 1048 736 672 219 0 110 0
[pid=76004] ppid=76002 vsize=761200 memory=605784 CPUtime=3600.07 cores=1,3
/proc/76004/stat : 76004 (roundingsat) R 76002 76002 75740 0 -1 4194304 101673 0 0 0 358606 1401 0 0 20 0 1 0 68861449 779468800 151446 18446744073709551615 4227072 8923433 140721008004592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40017920 140721008011682 140721008011816 140721008011816 140721008017386 0
/proc/76004/statm: 190300 151446 2400 1147 0 177727 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 765392 KiB
Current children cumulated memory: 608728 KiB
Child status: 2
Real time (s): 3610.12
CPU time (s): 3600.1
CPU user time (s): 3586.07
CPU system time (s): 14.0299
CPU usage (%): 99.7226
Max. virtual memory (cumulated for all children) (KiB): 765392
Max. memory (cumulated for all children) (KiB): 608728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.07
system time used= 14.0299
maximum resident set size= 606040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101897
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= 220
involuntary context switches= 4894
# summary of solver processes directly reported to runsolver:
# pid: 76002,76004
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.07
# total CPU system time (s): 14.0299
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14957 second user time and 16.8097 second system time
The end
Begin job on nodeC023 at 2025-07-03 10:37:16
IDJOB=4512662
IDBENCH=161945
IDSOLVER=3350
FILE ID=nodeC023/4512662-1751531836
RUNJOBID= nodeC023-1751531763-75752
SLURM_JOB_ID= 9598675
Free space on /tmp= 431840 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512662-1751531836/watcher-4512662-1751531836 -o /tmp/evaluation-result-4512662-1751531836/solver-4512662-1751531836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75752 --watchdog 3760 run-opt.sh HOME/instance-4512662-1751531836.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 65e611f9e9a028ee76bdf4ae9009a4c4
RANDOM SEED=931260017
nodeC023 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.883
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.298
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.78
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 : 3563.756
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.78
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 : 3601.432
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.887
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.879
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.294
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.78
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.386
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113440940 kB
MemAvailable: 129207784 kB
Buffers: 16 kB
Cached: 16511200 kB
SwapCached: 596 kB
Active: 770496 kB
Inactive: 16306220 kB
Active(anon): 558448 kB
Inactive(anon): 20456 kB
Active(file): 212048 kB
Inactive(file): 16285764 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8872 kB
Writeback: 8 kB
AnonPages: 568180 kB
Mapped: 113424 kB
Shmem: 13400 kB
KReclaimable: 216540 kB
Slab: 306952 kB
SReclaimable: 216540 kB
SUnreclaim: 90412 kB
KernelStack: 4384 kB
PageTables: 4404 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 946028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 264192 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431836 MiB
End job on nodeC023 at 2025-07-03 11:37:26