0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.18/0.26 c #variables 2025 #constraints 63250
0.18/0.26 c objective is ce32
0.18/0.26 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.18/0.26 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.18/0.26 c GLOBAL bounds - >= -316 @ 0.178653
0.18/0.26 c GLOBAL bounds - >= -316 @ 0.179689
0.18/0.26 c GLOBAL bounds - >= -316 @ 0.180379
0.18/0.26 c GLOBAL bounds - >= -316 @ 0.180683
0.18/0.27 c GLOBAL bounds - >= -316 @ 0.181967
0.18/0.27 c GLOBAL bounds - >= -316 @ 0.18367
0.18/0.27 c GLOBAL bounds - >= -316 @ 0.183685
0.18/0.27 c GLOBAL bounds - >= -316 @ 0.185509
0.18/0.27 c GLOBAL bounds - >= -316 @ 0.185659
0.18/0.28 c GLOBAL bounds - >= -316 @ 0.187206
0.18/0.28 c GLOBAL bounds - >= -316 @ 0.187642
0.18/0.28 c GLOBAL bounds - >= -316 @ 0.187892
0.18/0.28 c GLOBAL bounds - >= -316 @ 0.188732
0.18/0.28 c GLOBAL bounds - >= -316 @ 0.189629
0.18/0.28 c GLOBAL bounds - >= -316 @ 0.190624
0.18/0.29 c GLOBAL bounds - >= -316 @ 0.191261
0.18/0.29 c GLOBAL bounds - >= -316 @ 0.191618
0.18/0.29 c GLOBAL bounds - >= -316 @ 0.192611
0.18/0.29 c GLOBAL bounds - >= -316 @ 0.193851
0.18/0.29 c GLOBAL bounds - >= -316 @ 0.194696
0.18/0.30 c GLOBAL bounds - >= -316 @ 0.195604
0.18/0.30 c GLOBAL bounds - >= -316 @ 0.195604
0.18/0.30 c GLOBAL bounds - >= -316 @ 0.196411
0.18/0.30 c GLOBAL bounds - >= -316 @ 0.197422
0.18/0.30 c GLOBAL bounds - >= -316 @ 0.198556
0.18/0.31 c GLOBAL bounds - >= -316 @ 0.19955
0.28/0.31 c GLOBAL bounds - >= -316 @ 0.201148
0.28/0.31 c GLOBAL bounds - >= -316 @ 0.201537
0.28/0.31 c GLOBAL bounds - >= -316 @ 0.201537
0.28/0.31 c GLOBAL bounds - >= -316 @ 0.202778
0.28/0.32 c GLOBAL bounds - >= -316 @ 0.203526
0.28/0.32 c GLOBAL bounds - >= -316 @ 0.204536
0.28/0.32 c GLOBAL bounds - >= -316 @ 0.206398
0.28/0.32 c GLOBAL bounds - >= -316 @ 0.206517
0.28/0.32 c GLOBAL bounds - >= -316 @ 0.20819
0.28/0.32 c GLOBAL bounds - >= -316 @ 0.209109
0.28/0.33 c GLOBAL bounds - >= -316 @ 0.210507
0.28/0.33 c GLOBAL bounds - >= -316 @ 0.210507
0.28/0.33 c GLOBAL bounds - >= -316 @ 0.210507
0.28/0.33 c GLOBAL bounds - >= -316 @ 0.211529
0.28/0.33 c GLOBAL bounds - >= -316 @ 0.212494
0.28/0.34 c GLOBAL bounds - >= -316 @ 0.213491
0.28/0.34 c GLOBAL bounds - >= -316 @ 0.213491
0.28/0.34 c GLOBAL bounds - >= -316 @ 0.214484
0.28/0.34 c GLOBAL bounds - >= -316 @ 0.214769
0.28/0.34 c GLOBAL bounds - >= -316 @ 0.21661
0.28/0.35 c GLOBAL bounds - >= -316 @ 0.218457
0.28/0.35 c GLOBAL bounds - >= -316 @ 0.219306
0.28/0.35 c GLOBAL bounds - >= -316 @ 0.219473
0.28/0.35 c GLOBAL bounds - >= -316 @ 0.220469
0.28/0.35 c GLOBAL bounds - >= -316 @ 0.220469
0.28/0.35 c GLOBAL bounds - >= -316 @ 0.221461
0.28/0.36 c GLOBAL bounds - >= -316 @ 0.222533
0.28/0.36 c GLOBAL bounds - >= -316 @ 0.224378
0.28/0.36 c GLOBAL bounds - >= -316 @ 0.225451
0.28/0.36 c GLOBAL bounds - >= -316 @ 0.225452
0.28/0.36 c GLOBAL bounds - >= -316 @ 0.226908
0.28/0.37 c GLOBAL bounds - >= -316 @ 0.228748
0.28/0.37 c GLOBAL bounds - >= -316 @ 0.230591
0.28/0.37 c GLOBAL bounds - >= -316 @ 0.231436
0.28/0.37 c GLOBAL bounds - >= -316 @ 0.231436
0.28/0.37 c GLOBAL bounds - >= -316 @ 0.231436
0.28/0.37 c GLOBAL bounds - >= -316 @ 0.231436
0.28/0.38 c GLOBAL bounds - >= -316 @ 0.231774
0.28/0.38 c GLOBAL bounds - >= -316 @ 0.232423
0.28/0.38 c GLOBAL bounds - >= -316 @ 0.232423
0.28/0.38 c GLOBAL bounds - >= -316 @ 0.233286
0.28/0.38 c GLOBAL bounds - >= -316 @ 0.234112
0.28/0.39 c GLOBAL bounds - >= -316 @ 0.234985
0.28/0.39 c GLOBAL bounds - >= -316 @ 0.236407
0.28/0.39 c GLOBAL bounds - >= -316 @ 0.237405
0.28/0.39 c GLOBAL bounds - >= -316 @ 0.237405
0.28/0.39 c GLOBAL bounds - >= -316 @ 0.238429
0.28/0.40 c GLOBAL bounds - >= -316 @ 0.239397
0.28/0.40 c GLOBAL bounds - >= -316 @ 0.240395
0.28/0.40 c GLOBAL bounds - >= -316 @ 0.240395
0.28/0.40 c GLOBAL bounds - >= -316 @ 0.240395
0.28/0.40 c GLOBAL bounds - >= -316 @ 0.240902
0.28/0.40 c GLOBAL bounds - >= -316 @ 0.241784
0.38/0.41 c GLOBAL bounds - >= -316 @ 0.242713
0.38/0.41 c GLOBAL bounds - >= -316 @ 0.243569
0.38/0.41 c GLOBAL bounds - >= -316 @ 0.24435
0.38/0.41 c GLOBAL bounds - >= -316 @ 0.245295
0.38/0.41 c GLOBAL bounds - >= -316 @ 0.245346
0.38/0.42 c GLOBAL bounds - >= -316 @ 0.247082
0.38/0.42 c GLOBAL bounds - >= -316 @ 0.247933
0.38/0.42 c GLOBAL bounds - >= -316 @ 0.248336
0.38/0.42 c GLOBAL bounds - >= -316 @ 0.248336
0.38/0.42 c GLOBAL bounds - >= -316 @ 0.249331
0.38/0.43 c GLOBAL bounds - >= -316 @ 0.249331
0.38/0.43 c GLOBAL bounds - >= -316 @ 0.25031
0.38/0.43 c GLOBAL bounds - >= -316 @ 0.250325
0.38/0.43 c GLOBAL bounds - >= -316 @ 0.251054
0.38/0.43 c GLOBAL bounds - >= -316 @ 0.25132
0.38/0.43 c GLOBAL bounds - >= -316 @ 0.25132
0.38/0.44 c GLOBAL bounds - >= -316 @ 0.25132
0.38/0.44 c GLOBAL bounds - >= -316 @ 0.251571
0.38/0.44 c GLOBAL bounds - >= -316 @ 0.252399
0.38/0.44 c GLOBAL bounds - >= -316 @ 0.254258
0.38/0.44 c GLOBAL bounds - >= -316 @ 0.254304
0.38/0.45 c GLOBAL bounds - >= -316 @ 0.254304
0.38/0.45 c GLOBAL bounds - >= -316 @ 0.255299
0.38/0.45 c GLOBAL bounds - >= -316 @ 0.255299
0.38/0.45 c GLOBAL bounds - >= -316 @ 0.255299
0.38/0.45 c GLOBAL bounds - >= -316 @ 0.256291
0.38/0.46 c GLOBAL bounds - >= -316 @ 0.257315
0.38/0.46 c GLOBAL bounds - >= -316 @ 0.258287
0.38/0.46 c GLOBAL bounds - >= -316 @ 0.259285
0.38/0.46 c GLOBAL bounds - >= -316 @ 0.261005
0.38/0.46 c GLOBAL bounds - >= -316 @ 0.262279
0.38/0.46 c GLOBAL bounds - >= -316 @ 0.262719
0.38/0.47 c GLOBAL bounds - >= -316 @ 0.264275
0.38/0.47 c GLOBAL bounds - >= -316 @ 0.264276
0.38/0.47 c GLOBAL bounds - >= -316 @ 0.265221
0.38/0.47 c GLOBAL bounds - >= -316 @ 0.266269
0.38/0.47 c GLOBAL bounds - >= -316 @ 0.266269
0.38/0.48 c GLOBAL bounds - >= -316 @ 0.267761
0.38/0.48 c GLOBAL bounds - >= -316 @ 0.268579
0.38/0.48 c GLOBAL bounds - >= -316 @ 0.269261
0.38/0.48 c GLOBAL bounds - >= -316 @ 0.269261
0.38/0.48 c GLOBAL bounds - >= -316 @ 0.270256
0.38/0.48 c GLOBAL bounds - >= -316 @ 0.270882
0.38/0.49 c GLOBAL bounds - >= -316 @ 0.2717
0.38/0.49 c GLOBAL bounds - >= -316 @ 0.272536
0.38/0.49 c GLOBAL bounds - >= -316 @ 0.273247
0.38/0.49 c GLOBAL bounds - >= -316 @ 0.274239
0.38/0.49 c GLOBAL bounds - >= -316 @ 0.275243
0.38/0.50 c GLOBAL bounds - >= -316 @ 0.275243
0.38/0.50 c GLOBAL bounds - >= -316 @ 0.275649
0.38/0.50 c GLOBAL bounds - >= -316 @ 0.276236
0.38/0.50 c GLOBAL bounds - >= -316 @ 0.277234
0.38/0.50 c GLOBAL bounds - >= -316 @ 0.27729
0.48/0.51 c GLOBAL bounds - >= -316 @ 0.278215
0.48/0.51 c GLOBAL bounds - >= -316 @ 0.278215
0.48/0.51 c GLOBAL bounds - >= -316 @ 0.278215
0.48/0.51 c GLOBAL bounds - >= -316 @ 0.279623
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41749
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41753
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41755
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41756
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41758
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41759
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4176
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41762
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41763
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41765
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41767
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41769
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4177
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41771
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41773
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41774
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41776
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41777
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41778
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4178
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41781
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41782
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41784
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41785
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41786
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41788
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41789
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4179
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41792
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41793
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41795
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41796
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41797
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41798
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.418
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41801
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41803
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41804
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41805
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41807
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41808
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41809
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41811
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41812
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41813
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41815
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41816
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41817
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41819
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4182
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41821
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41823
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41824
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41825
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41827
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41828
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41829
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4183
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41832
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41834
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41835
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41836
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41837
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41839
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4184
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41841
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41843
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41844
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41845
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41847
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41848
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41849
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41851
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41852
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41853
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41855
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41856
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41857
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41859
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4186
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41861
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41862
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41864
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41865
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41866
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41867
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41874
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41876
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41878
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41879
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41881
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41882
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41884
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41885
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41887
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41889
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4189
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41919
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41921
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41924
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41926
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41928
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4193
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41932
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41935
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41937
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41939
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41941
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41942
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41944
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41946
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41948
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.4195
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41952
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41954
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41956
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41958
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41959
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41961
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41994
1.57/1.67 c GLOBAL bounds - >= -316 @ 1.41996
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.4205
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.4205
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.42112
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.42135
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.42149
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.42149
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.42149
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.42149
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.42211
1.57/1.68 c GLOBAL bounds - >= -316 @ 1.42223
1.57/1.69 c GLOBAL bounds - >= -316 @ 1.42249
1.57/1.69 c GLOBAL bounds - >= -316 @ 1.42249
1.57/1.69 c GLOBAL bounds - >= -316 @ 1.42322
1.57/1.69 c GLOBAL bounds - >= -316 @ 1.42329
1.57/1.69 c GLOBAL bounds - >= -316 @ 1.42417
1.57/1.69 c GLOBAL bounds - >= -316 @ 1.42438
1.57/1.69 c GLOBAL bounds - >= -316 @ 1.42626
1.57/1.69 c GLOBAL bounds - >= -316 @ 1.42651
1.57/1.70 c GLOBAL bounds - >= -316 @ 1.42747
1.67/1.70 c GLOBAL bounds - >= -316 @ 1.42847
1.67/1.70 c GLOBAL bounds - >= -316 @ 1.42923
1.67/1.70 c GLOBAL bounds - >= -316 @ 1.42947
1.67/1.70 c GLOBAL bounds - >= -316 @ 1.42947
1.67/1.70 c GLOBAL bounds - >= -316 @ 1.42995
1.67/1.71 c GLOBAL bounds - >= -316 @ 1.43146
1.67/1.71 c GLOBAL bounds - >= -316 @ 1.43272
1.67/1.71 c GLOBAL bounds - >= -316 @ 1.43346
1.67/1.71 c GLOBAL bounds - >= -316 @ 1.43357
1.67/1.71 c GLOBAL bounds - >= -316 @ 1.43445
1.67/1.72 c GLOBAL bounds - >= -316 @ 1.4345
1.67/1.72 c GLOBAL bounds - >= -316 @ 1.43545
1.67/1.72 c GLOBAL bounds - >= -316 @ 1.4362
1.67/1.72 c GLOBAL bounds - >= -316 @ 1.43645
1.67/1.72 c GLOBAL bounds - >= -316 @ 1.43645
1.67/1.73 c GLOBAL bounds - >= -316 @ 1.43645
1.67/1.73 c GLOBAL bounds - >= -316 @ 1.43645
1.67/1.73 c GLOBAL bounds - >= -316 @ 1.43759
1.67/1.73 c GLOBAL bounds - >= -316 @ 1.43851
1.67/1.73 c GLOBAL bounds - >= -316 @ 1.43944
1.67/1.74 c GLOBAL bounds - >= -316 @ 1.44044
1.67/1.74 c GLOBAL bounds - >= -316 @ 1.44343
1.67/1.74 c GLOBAL bounds - >= -316 @ 1.44343
1.67/1.74 c GLOBAL bounds - >= -316 @ 1.44489
1.67/1.75 c GLOBAL bounds - >= -316 @ 1.44542
1.67/1.75 c GLOBAL bounds - >= -316 @ 1.44642
1.67/1.75 c GLOBAL bounds - >= -316 @ 1.44642
1.67/1.75 c GLOBAL bounds - >= -316 @ 1.44741
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44754
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44787
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44789
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44791
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44793
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44797
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44811
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44815
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.4482
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44825
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44828
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44832
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44835
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44839
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44842
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44844
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44847
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44849
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44852
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44854
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44857
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44859
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44862
1.67/1.75 c GLOBAL bounds - >= -271 @ 1.44864
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.45053
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.45065
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.45153
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.4516
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.4524
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.4524
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.4524
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.4524
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.4524
1.67/1.76 c GLOBAL bounds - >= -271 @ 1.4524
1.67/1.77 c GLOBAL bounds - >= -271 @ 1.4524
1.67/1.77 c GLOBAL bounds - >= -271 @ 1.4524
1.67/1.77 c GLOBAL bounds - >= -271 @ 1.45295
1.67/1.77 c GLOBAL bounds - >= -271 @ 1.45306
1.67/1.77 c GLOBAL bounds - >= -271 @ 1.45439
1.67/1.77 c GLOBAL bounds - >= -271 @ 1.45439
1.67/1.77 c GLOBAL bounds - >= -271 @ 1.45501
1.67/1.77 c GLOBAL bounds - >= -271 @ 1.45519
1.67/1.77 c GLOBAL bounds - >= -271 @ 1.45639
1.67/1.78 c GLOBAL bounds - >= -271 @ 1.45639
1.67/1.78 c GLOBAL bounds - >= -271 @ 1.45639
1.67/1.78 c GLOBAL bounds - >= -271 @ 1.45738
1.67/1.78 c GLOBAL bounds - >= -271 @ 1.45838
1.67/1.78 c GLOBAL bounds - >= -271 @ 1.45862
1.67/1.79 c GLOBAL bounds - >= -271 @ 1.45938
1.67/1.79 c GLOBAL bounds - >= -271 @ 1.45938
1.67/1.79 c GLOBAL bounds - >= -271 @ 1.45938
1.67/1.79 c GLOBAL bounds - >= -271 @ 1.46134
1.67/1.79 c GLOBAL bounds - >= -271 @ 1.46237
1.76/1.80 c GLOBAL bounds - >= -271 @ 1.46336
1.76/1.80 c GLOBAL bounds - >= -271 @ 1.46935
1.76/1.81 c GLOBAL bounds - >= -271 @ 1.47134
1.76/1.82 c GLOBAL bounds - >= -271 @ 1.47932
1.76/1.82 c GLOBAL bounds - >= -271 @ 1.48114
1.76/1.83 c GLOBAL bounds - >= -271 @ 1.49429
1.76/1.84 c GLOBAL bounds - >= -271 @ 1.49529
1.76/1.84 c GLOBAL bounds - >= -271 @ 1.49829
1.76/1.84 c GLOBAL bounds - >= -271 @ 1.49928
1.76/1.84 c GLOBAL bounds - >= -271 @ 1.49928
1.76/1.88 c #Conflicts: 1000 | #Constraints: 1864
1.76/1.88 c GLOBAL bounds - >= -271 @ 1.53021
1.76/1.88 c GLOBAL bounds - >= -271 @ 1.53181
1.76/1.88 c GLOBAL bounds - >= -271 @ 1.53374
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53706
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53752
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53754
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53756
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53758
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53776
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53781
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53785
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53791
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53796
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53799
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53802
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53807
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.5381
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53815
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53818
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.88 c GLOBAL bounds - >= -247 @ 1.53819
1.76/1.89 c GLOBAL bounds - >= -247 @ 1.53851
1.76/1.89 c GLOBAL bounds - >= -247 @ 1.53876
1.76/1.89 c GLOBAL bounds - >= -247 @ 1.54019
1.76/1.89 c GLOBAL bounds - >= -247 @ 1.54019
1.76/1.89 c GLOBAL bounds - >= -247 @ 1.54068
1.76/1.89 c GLOBAL bounds - >= -247 @ 1.54081
1.76/1.89 c GLOBAL bounds - >= -247 @ 1.54218
1.76/1.89 c GLOBAL bounds - >= -247 @ 1.54218
1.76/1.89 c GLOBAL bounds - >= -247 @ 1.54218
1.76/1.90 c GLOBAL bounds - >= -247 @ 1.54219
1.87/1.90 c GLOBAL bounds - >= -247 @ 1.54318
1.87/1.90 c GLOBAL bounds - >= -247 @ 1.54332
1.87/1.90 c GLOBAL bounds - >= -247 @ 1.54426
1.87/1.90 c GLOBAL bounds - >= -247 @ 1.54447
1.87/1.90 c GLOBAL bounds - >= -247 @ 1.54517
1.87/1.90 c GLOBAL bounds - >= -247 @ 1.54517
1.87/1.90 c GLOBAL bounds - >= -247 @ 1.54617
1.87/1.90 c GLOBAL bounds - >= -247 @ 1.54617
1.87/1.91 c GLOBAL bounds - >= -247 @ 1.54617
1.87/1.91 c GLOBAL bounds - >= -247 @ 1.54678
1.87/1.91 c GLOBAL bounds - >= -247 @ 1.54717
1.87/1.91 c GLOBAL bounds - >= -247 @ 1.54717
1.87/1.91 c GLOBAL bounds - >= -247 @ 1.54816
1.87/1.92 c GLOBAL bounds - >= -247 @ 1.54916
1.87/1.92 c GLOBAL bounds - >= -247 @ 1.55074
1.87/1.92 c GLOBAL bounds - >= -247 @ 1.5537
1.87/1.92 c GLOBAL bounds - >= -247 @ 1.55602
1.87/1.93 c GLOBAL bounds - >= -247 @ 1.55803
1.87/1.93 c GLOBAL bounds - >= -247 @ 1.55953
1.87/1.93 c GLOBAL bounds - >= -247 @ 1.56058
1.87/1.93 c GLOBAL bounds - >= -247 @ 1.56213
1.87/1.93 c GLOBAL bounds - >= -247 @ 1.56213
1.87/1.94 c GLOBAL bounds - >= -247 @ 1.56248
1.87/1.94 c GLOBAL bounds - >= -247 @ 1.56352
1.87/1.94 c GLOBAL bounds - >= -247 @ 1.56443
1.87/1.94 c GLOBAL bounds - >= -247 @ 1.56908
1.87/1.95 c GLOBAL bounds - >= -247 @ 1.57111
1.87/1.95 c GLOBAL bounds - >= -247 @ 1.57211
1.87/1.95 c GLOBAL bounds - >= -247 @ 1.5731
1.87/1.95 c GLOBAL bounds - >= -247 @ 1.57332
1.98/2.07 c #Conflicts: 2000 | #Constraints: 2918
1.98/2.07 c INPROCESSING
1.98/2.07 c GARBAGE COLLECT
1.98/2.07 c #Conflicts: 3000 | #Constraints: 2881
1.98/2.07 c GLOBAL bounds - >= -229 @ 1.68607
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68708
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68717
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68741
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68747
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68751
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68756
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68776
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68782
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68802
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.6881
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68816
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68822
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68828
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68844
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68851
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68857
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.6886
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68862
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68864
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68867
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68869
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68871
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68873
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68981
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.68992
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.6909
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.69099
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.6918
1.98/2.08 c GLOBAL bounds - >= -229 @ 1.6918
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.6928
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.6928
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.6938
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.6938
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.6948
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.69486
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.69697
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.69712
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.69879
1.98/2.09 c GLOBAL bounds - >= -229 @ 1.69879
1.98/2.10 c GLOBAL bounds - >= -229 @ 1.69879
1.98/2.10 c GLOBAL bounds - >= -229 @ 1.69879
1.98/2.10 c GLOBAL bounds - >= -229 @ 1.69991
2.07/2.10 c GLOBAL bounds - >= -229 @ 1.70091
2.07/2.10 c GLOBAL bounds - >= -229 @ 1.70292
2.07/2.11 c GLOBAL bounds - >= -229 @ 1.70378
2.07/2.11 c GLOBAL bounds - >= -229 @ 1.70378
2.07/2.11 c GLOBAL bounds - >= -229 @ 1.704
2.07/2.11 c GLOBAL bounds - >= -229 @ 1.70507
2.07/2.11 c GLOBAL bounds - >= -229 @ 1.70577
2.07/2.12 c GLOBAL bounds - >= -229 @ 1.70677
2.07/2.12 c GLOBAL bounds - >= -229 @ 1.70677
2.07/2.12 c GLOBAL bounds - >= -229 @ 1.70677
2.07/2.12 c GLOBAL bounds - >= -229 @ 1.70752
2.07/2.12 c GLOBAL bounds - >= -229 @ 1.70776
2.07/2.13 c GLOBAL bounds - >= -229 @ 1.70876
2.07/2.13 c GLOBAL bounds - >= -229 @ 1.70982
2.07/2.14 c GLOBAL bounds - >= -229 @ 1.71574
2.07/2.14 c GLOBAL bounds - >= -229 @ 1.71674
2.07/2.15 c GLOBAL bounds - >= -229 @ 1.72627
2.07/2.15 c GLOBAL bounds - >= -229 @ 1.72828
2.07/2.16 c GLOBAL bounds - >= -229 @ 1.7317
2.07/2.16 c GLOBAL bounds - >= -229 @ 1.73214
2.07/2.16 c GLOBAL bounds - >= -229 @ 1.73329
2.07/2.17 c GLOBAL bounds - >= -229 @ 1.73779
2.07/2.17 c #Conflicts: 4000 | #Constraints: 3948
2.07/2.17 c GLOBAL bounds - >= -229 @ 1.7404
2.07/2.17 c GLOBAL bounds - >= -229 @ 1.74068
2.07/2.17 c GLOBAL bounds - >= -229 @ 1.74271
2.07/2.18 c GLOBAL bounds - >= -229 @ 1.74467
2.07/2.18 c GLOBAL bounds - >= -229 @ 1.74566
2.07/2.18 c GLOBAL bounds - >= -229 @ 1.74666
2.07/2.18 c GLOBAL bounds - >= -229 @ 1.74702
2.07/2.18 c GLOBAL bounds - >= -229 @ 1.74766
2.17/2.21 c INPROCESSING
2.17/2.21 c GARBAGE COLLECT
2.17/2.21 c GLOBAL bounds - >= -229 @ 1.76462
2.47/2.51 c #Conflicts: 5000 | #Constraints: 3347
2.47/2.51 c #Conflicts: 6000 | #Constraints: 4347
2.47/2.51 c INPROCESSING
2.47/2.51 c GARBAGE COLLECT
2.47/2.51 c #Conflicts: 7000 | #Constraints: 3352
2.47/2.51 c #Conflicts: 8000 | #Constraints: 4352
2.47/2.51 c GLOBAL bounds - >= -229 @ 2.06548
2.47/2.52 c GLOBAL bounds - >= -229 @ 2.06739
2.47/2.52 c GLOBAL bounds - >= -229 @ 2.06944
2.47/2.52 c GLOBAL bounds - >= -229 @ 2.07091
2.47/2.55 c GLOBAL bounds - >= -229 @ 2.10084
2.56/2.69 c #Conflicts: 9000 | #Constraints: 5355
2.56/2.69 c INPROCESSING
2.56/2.69 c GARBAGE COLLECT
2.56/2.69 c #Conflicts: 10000 | #Constraints: 4054
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23295
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23385
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.2339
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23408
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23413
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23418
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23435
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23448
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23452
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23457
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23461
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23465
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23472
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23481
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23487
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23494
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23513
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23521
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.2353
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23537
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23544
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23552
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23559
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23567
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23582
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23593
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23643
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23659
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23675
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23695
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23713
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23731
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23756
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23774
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23789
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23802
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.23816
2.56/2.69 c GLOBAL bounds - >= -218 @ 2.2383
2.56/2.70 c GLOBAL bounds - >= -218 @ 2.23853
2.67/2.70 c GLOBAL bounds - >= -218 @ 2.24052
2.67/2.70 c GLOBAL bounds - >= -218 @ 2.24052
2.67/2.70 c GLOBAL bounds - >= -218 @ 2.24152
2.67/2.70 c GLOBAL bounds - >= -218 @ 2.24152
2.67/2.70 c GLOBAL bounds - >= -218 @ 2.24152
2.67/2.70 c GLOBAL bounds - >= -218 @ 2.24152
2.67/2.70 c GLOBAL bounds - >= -218 @ 2.24152
2.67/2.70 c GLOBAL bounds - >= -218 @ 2.24152
2.67/2.71 c GLOBAL bounds - >= -218 @ 2.24251
2.67/2.71 c GLOBAL bounds - >= -218 @ 2.24251
2.67/2.71 c GLOBAL bounds - >= -218 @ 2.24339
2.67/2.71 c GLOBAL bounds - >= -218 @ 2.24345
2.67/2.71 c GLOBAL bounds - >= -218 @ 2.24362
2.67/2.71 c GLOBAL bounds - >= -218 @ 2.24379
2.67/2.71 c GLOBAL bounds - >= -218 @ 2.24585
2.67/2.71 c GLOBAL bounds - >= -218 @ 2.24617
2.67/2.71 c GLOBAL bounds - >= -218 @ 2.2475
2.67/2.72 c GLOBAL bounds - >= -218 @ 2.2475
2.67/2.72 c GLOBAL bounds - >= -218 @ 2.24836
2.67/2.72 c GLOBAL bounds - >= -218 @ 2.2495
2.67/2.72 c GLOBAL bounds - >= -218 @ 2.25147
2.67/2.72 c GLOBAL bounds - >= -218 @ 2.2526
2.67/2.73 c GLOBAL bounds - >= -218 @ 2.2536
2.67/2.73 c GLOBAL bounds - >= -218 @ 2.25559
2.67/2.73 c GLOBAL bounds - >= -218 @ 2.25648
2.67/2.73 c GLOBAL bounds - >= -218 @ 2.25674
2.67/2.73 c GLOBAL bounds - >= -218 @ 2.25847
2.67/2.74 c GLOBAL bounds - >= -218 @ 2.26047
2.67/2.74 c GLOBAL bounds - >= -218 @ 2.26047
2.67/2.74 c GLOBAL bounds - >= -218 @ 2.26147
2.67/2.75 c GLOBAL bounds - >= -218 @ 2.26453
2.67/2.75 c GLOBAL bounds - >= -218 @ 2.26546
2.67/2.75 c GLOBAL bounds - >= -218 @ 2.26546
2.67/2.75 c GLOBAL bounds - >= -218 @ 2.26646
2.67/2.75 c GLOBAL bounds - >= -218 @ 2.26745
2.67/2.76 c GLOBAL bounds - >= -218 @ 2.26892
2.67/2.76 c GLOBAL bounds - >= -218 @ 2.26945
2.67/2.76 c GLOBAL bounds - >= -218 @ 2.26945
2.67/2.79 c GLOBAL bounds - >= -218 @ 2.29343
2.67/2.79 c GLOBAL bounds - >= -218 @ 2.29593
3.17/3.29 c #Conflicts: 11000 | #Constraints: 5106
3.17/3.29 c #Conflicts: 12000 | #Constraints: 6106
3.17/3.29 c INPROCESSING
3.17/3.29 c GARBAGE COLLECT
3.17/3.29 c #Conflicts: 13000 | #Constraints: 4558
3.17/3.29 c #Conflicts: 14000 | #Constraints: 5558
3.17/3.29 c #Conflicts: 15000 | #Constraints: 6558
3.17/3.29 c INPROCESSING
3.17/3.29 c GARBAGE COLLECT
3.17/3.29 c #Conflicts: 16000 | #Constraints: 4788
3.17/3.29 c GLOBAL bounds - >= -218 @ 2.79321
3.26/3.31 c GLOBAL bounds - >= -218 @ 2.80653
4.56/4.65 c #Conflicts: 17000 | #Constraints: 5788
4.56/4.65 c #Conflicts: 18000 | #Constraints: 6788
4.56/4.65 c INPROCESSING
4.56/4.65 c GARBAGE COLLECT
4.56/4.65 c #Conflicts: 19000 | #Constraints: 4799
4.56/4.65 c #Conflicts: 20000 | #Constraints: 5799
4.56/4.65 c #Conflicts: 21000 | #Constraints: 6799
4.56/4.65 c INPROCESSING
4.56/4.65 c GARBAGE COLLECT
4.56/4.65 c #Conflicts: 22000 | #Constraints: 4608
4.56/4.65 c #Conflicts: 23000 | #Constraints: 5608
4.56/4.65 c #Conflicts: 24000 | #Constraints: 6608
4.56/4.65 c #Conflicts: 25000 | #Constraints: 7608
4.56/4.65 c INPROCESSING
4.56/4.65 c GARBAGE COLLECT
4.56/4.65 c #Conflicts: 26000 | #Constraints: 5210
4.56/4.65 c #Conflicts: 27000 | #Constraints: 6210
4.56/4.65 c #Conflicts: 28000 | #Constraints: 7210
4.56/4.65 c #Conflicts: 29000 | #Constraints: 8210
4.56/4.65 c INPROCESSING
4.56/4.65 c GARBAGE COLLECT
4.56/4.65 c #Conflicts: 30000 | #Constraints: 5612
4.56/4.65 c GLOBAL bounds - >= -204 @ 4.10906
4.56/4.65 c GLOBAL bounds - >= -204 @ 4.11003
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11007
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11011
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11015
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11018
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11022
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11025
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11029
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11074
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11088
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11106
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11122
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11135
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11145
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11157
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11167
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11179
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11188
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11202
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11213
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11225
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11225
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11225
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11225
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11225
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11225
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11225
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.1143
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11456
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11562
4.56/4.66 c GLOBAL bounds - >= -204 @ 4.11591
4.56/4.67 c GLOBAL bounds - >= -204 @ 4.11796
4.56/4.67 c GLOBAL bounds - >= -204 @ 4.11813
4.56/4.67 c GLOBAL bounds - >= -204 @ 4.11922
4.56/4.67 c GLOBAL bounds - >= -204 @ 4.11924
4.56/4.67 c GLOBAL bounds - >= -204 @ 4.11924
4.56/4.67 c GLOBAL bounds - >= -204 @ 4.11924
4.56/4.67 c GLOBAL bounds - >= -204 @ 4.11985
4.56/4.67 c GLOBAL bounds - >= -204 @ 4.12013
4.56/4.68 c GLOBAL bounds - >= -204 @ 4.12222
4.56/4.68 c GLOBAL bounds - >= -204 @ 4.12241
4.56/4.68 c GLOBAL bounds - >= -204 @ 4.12423
4.56/4.68 c GLOBAL bounds - >= -204 @ 4.12423
4.56/4.68 c GLOBAL bounds - >= -204 @ 4.12523
4.56/4.68 c GLOBAL bounds - >= -204 @ 4.12523
4.56/4.69 c GLOBAL bounds - >= -204 @ 4.12625
4.56/4.69 c GLOBAL bounds - >= -204 @ 4.12822
4.56/4.69 c GLOBAL bounds - >= -204 @ 4.12822
4.56/4.69 c GLOBAL bounds - >= -204 @ 4.12888
4.56/4.69 c GLOBAL bounds - >= -204 @ 4.13022
4.66/4.70 c GLOBAL bounds - >= -204 @ 4.13212
4.66/4.70 c GLOBAL bounds - >= -204 @ 4.13419
4.66/4.70 c GLOBAL bounds - >= -204 @ 4.1352
4.66/4.70 c GLOBAL bounds - >= -204 @ 4.1352
4.66/4.70 c GLOBAL bounds - >= -204 @ 4.13579
4.66/4.71 c GLOBAL bounds - >= -204 @ 4.13794
4.66/4.71 c GLOBAL bounds - >= -204 @ 4.1392
4.66/4.71 c GLOBAL bounds - >= -204 @ 4.14032
4.66/4.71 c GLOBAL bounds - >= -204 @ 4.14119
4.66/4.72 c GLOBAL bounds - >= -204 @ 4.14119
4.66/4.72 c GLOBAL bounds - >= -204 @ 4.14119
4.66/4.72 c GLOBAL bounds - >= -204 @ 4.14119
4.66/4.72 c GLOBAL bounds - >= -204 @ 4.14219
4.66/4.72 c GLOBAL bounds - >= -204 @ 4.14219
4.66/4.73 c GLOBAL bounds - >= -204 @ 4.14419
4.66/4.73 c GLOBAL bounds - >= -204 @ 4.14464
4.66/4.73 c GLOBAL bounds - >= -204 @ 4.14575
4.66/4.74 c GLOBAL bounds - >= -204 @ 4.15217
4.66/4.75 c GLOBAL bounds - >= -204 @ 4.15728
4.66/4.76 c GLOBAL bounds - >= -204 @ 4.16713
5.85/5.96 c #Conflicts: 31000 | #Constraints: 6654
5.85/5.96 c #Conflicts: 32000 | #Constraints: 7654
5.85/5.96 c #Conflicts: 33000 | #Constraints: 8654
5.85/5.96 c INPROCESSING
5.85/5.96 c GARBAGE COLLECT
5.85/5.96 c #Conflicts: 34000 | #Constraints: 5855
5.85/5.96 c #Conflicts: 35000 | #Constraints: 6855
5.85/5.96 c #Conflicts: 36000 | #Constraints: 7855
5.85/5.96 c #Conflicts: 37000 | #Constraints: 8855
5.85/5.96 c INPROCESSING
5.85/5.96 c GARBAGE COLLECT
5.85/5.96 c #Conflicts: 38000 | #Constraints: 5855
5.85/5.96 c #Conflicts: 39000 | #Constraints: 6855
5.85/5.96 c #Conflicts: 40000 | #Constraints: 7855
5.85/5.96 c #Conflicts: 41000 | #Constraints: 8855
5.85/5.96 c INPROCESSING
5.85/5.96 c GARBAGE COLLECT
5.85/5.96 c GLOBAL bounds - >= -204 @ 5.34923
5.85/5.96 c GLOBAL bounds - >= -204 @ 5.35041
9.15/9.22 c #Conflicts: 42000 | #Constraints: 5660
9.15/9.22 c #Conflicts: 43000 | #Constraints: 6660
9.15/9.22 c #Conflicts: 44000 | #Constraints: 7660
9.15/9.22 c #Conflicts: 45000 | #Constraints: 8660
9.15/9.22 c #Conflicts: 46000 | #Constraints: 9660
9.15/9.22 c INPROCESSING
9.15/9.22 c GARBAGE COLLECT
9.15/9.22 c #Conflicts: 47000 | #Constraints: 6261
9.15/9.22 c #Conflicts: 48000 | #Constraints: 7261
9.15/9.22 c #Conflicts: 49000 | #Constraints: 8261
9.15/9.22 c #Conflicts: 50000 | #Constraints: 9261
9.15/9.22 c #Conflicts: 51000 | #Constraints: 10261
9.15/9.22 c INPROCESSING
9.15/9.22 c GARBAGE COLLECT
9.15/9.22 c #Conflicts: 52000 | #Constraints: 6665
9.15/9.22 c #Conflicts: 53000 | #Constraints: 7665
9.15/9.22 c #Conflicts: 54000 | #Constraints: 8665
9.15/9.22 c #Conflicts: 55000 | #Constraints: 9665
9.15/9.22 c #Conflicts: 56000 | #Constraints: 10665
9.15/9.22 c INPROCESSING
9.15/9.22 c GARBAGE COLLECT
9.15/9.22 c #Conflicts: 57000 | #Constraints: 6863
9.15/9.22 c #Conflicts: 58000 | #Constraints: 7863
9.15/9.22 c #Conflicts: 59000 | #Constraints: 8863
9.15/9.22 c #Conflicts: 60000 | #Constraints: 9863
9.15/9.22 c #Conflicts: 61000 | #Constraints: 10863
9.15/9.22 c INPROCESSING
9.15/9.22 c GARBAGE COLLECT
9.15/9.22 c #Conflicts: 62000 | #Constraints: 6866
9.15/9.22 c #Conflicts: 63000 | #Constraints: 7866
9.15/9.22 c #Conflicts: 64000 | #Constraints: 8866
9.15/9.22 c #Conflicts: 65000 | #Constraints: 9866
9.15/9.22 c #Conflicts: 66000 | #Constraints: 10866
9.15/9.22 c INPROCESSING
9.15/9.22 c GARBAGE COLLECT
9.15/9.22 c #Conflicts: 67000 | #Constraints: 6663
9.15/9.22 c #Conflicts: 68000 | #Constraints: 7663
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.52501
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.52605
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.5261
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.52613
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.52617
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.5262
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.52624
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.52634
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.52637
9.15/9.22 c GLOBAL bounds - >= -195 @ 8.52686
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52703
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52717
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52727
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52735
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52742
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.5275
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52757
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52769
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52778
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52788
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52797
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52807
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52816
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52824
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52833
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52841
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.5285
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52858
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52874
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52889
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.52902
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.5291
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.5291
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.5301
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.5304
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.5315
9.15/9.23 c GLOBAL bounds - >= -195 @ 8.53169
9.15/9.24 c GLOBAL bounds - >= -195 @ 8.5338
9.15/9.24 c GLOBAL bounds - >= -195 @ 8.53395
9.15/9.24 c GLOBAL bounds - >= -195 @ 8.53509
9.15/9.24 c GLOBAL bounds - >= -195 @ 8.53523
9.15/9.24 c GLOBAL bounds - >= -195 @ 8.53609
9.15/9.24 c GLOBAL bounds - >= -195 @ 8.53609
9.15/9.24 c GLOBAL bounds - >= -195 @ 8.53609
9.15/9.24 c GLOBAL bounds - >= -195 @ 8.53625
9.15/9.25 c GLOBAL bounds - >= -195 @ 8.53808
9.15/9.25 c GLOBAL bounds - >= -195 @ 8.53808
9.15/9.25 c GLOBAL bounds - >= -195 @ 8.53808
9.15/9.25 c GLOBAL bounds - >= -195 @ 8.53826
9.15/9.25 c GLOBAL bounds - >= -195 @ 8.53953
9.15/9.25 c GLOBAL bounds - >= -195 @ 8.54108
9.15/9.26 c GLOBAL bounds - >= -195 @ 8.54207
9.15/9.26 c GLOBAL bounds - >= -195 @ 8.54412
9.15/9.26 c GLOBAL bounds - >= -195 @ 8.54537
9.15/9.26 c GLOBAL bounds - >= -195 @ 8.54706
9.15/9.26 c GLOBAL bounds - >= -195 @ 8.54806
9.15/9.27 c GLOBAL bounds - >= -195 @ 8.54998
9.15/9.27 c GLOBAL bounds - >= -195 @ 8.55205
9.15/9.27 c GLOBAL bounds - >= -195 @ 8.55205
9.15/9.27 c GLOBAL bounds - >= -195 @ 8.55443
9.15/9.28 c GLOBAL bounds - >= -195 @ 8.55688
9.15/9.28 c GLOBAL bounds - >= -195 @ 8.55704
9.15/9.28 c GLOBAL bounds - >= -195 @ 8.55885
9.15/9.28 c GLOBAL bounds - >= -195 @ 8.56029
9.15/9.29 c GLOBAL bounds - >= -195 @ 8.56491
9.15/9.29 c GLOBAL bounds - >= -195 @ 8.56705
9.25/9.31 c GLOBAL bounds - >= -195 @ 8.58398
10.05/10.10 c #Conflicts: 69000 | #Constraints: 8713
10.05/10.10 c #Conflicts: 70000 | #Constraints: 9713
10.05/10.10 c #Conflicts: 71000 | #Constraints: 10713
10.05/10.10 c #Conflicts: 72000 | #Constraints: 11713
10.05/10.10 c INPROCESSING
10.05/10.10 c GARBAGE COLLECT
10.05/10.10 c #Conflicts: 73000 | #Constraints: 7310
10.05/10.10 c #Conflicts: 74000 | #Constraints: 8310
10.05/10.10 c GLOBAL bounds - >= -195 @ 9.35633
10.25/10.33 c #Conflicts: 75000 | #Constraints: 9310
10.25/10.33 c #Conflicts: 76000 | #Constraints: 10310
10.25/10.33 c GLOBAL bounds - >= -195 @ 9.57247
10.64/10.77 c #Conflicts: 77000 | #Constraints: 11310
10.64/10.77 c #Conflicts: 78000 | #Constraints: 12310
10.64/10.77 c INPROCESSING
10.64/10.77 c GARBAGE COLLECT
10.64/10.77 c #Conflicts: 79000 | #Constraints: 7711
10.64/10.77 c GLOBAL bounds - >= -195 @ 10.0056
12.34/12.41 c #Conflicts: 80000 | #Constraints: 8711
12.34/12.41 c #Conflicts: 81000 | #Constraints: 9711
12.34/12.41 c #Conflicts: 82000 | #Constraints: 10711
12.34/12.41 c #Conflicts: 83000 | #Constraints: 11711
12.34/12.41 c #Conflicts: 84000 | #Constraints: 12711
12.34/12.41 c INPROCESSING
12.34/12.41 c GARBAGE COLLECT
12.34/12.41 c #Conflicts: 85000 | #Constraints: 7911
12.34/12.41 c #Conflicts: 86000 | #Constraints: 8911
12.34/12.41 c #Conflicts: 87000 | #Constraints: 9911
12.34/12.41 c #Conflicts: 88000 | #Constraints: 10911
12.34/12.41 c #Conflicts: 89000 | #Constraints: 11911
12.34/12.41 c GLOBAL bounds - >= -195 @ 11.607
12.34/12.49 c #Conflicts: 90000 | #Constraints: 12911
12.34/12.49 c INPROCESSING
12.34/12.49 c GARBAGE COLLECT
12.34/12.49 c GLOBAL bounds - >= -195 @ 11.6918
12.34/12.50 c GLOBAL bounds - >= -195 @ 11.6928
13.44/13.53 c #Conflicts: 91000 | #Constraints: 7907
13.44/13.53 c #Conflicts: 92000 | #Constraints: 8907
13.44/13.53 c #Conflicts: 93000 | #Constraints: 9907
13.44/13.53 c #Conflicts: 94000 | #Constraints: 10907
13.44/13.53 c #Conflicts: 95000 | #Constraints: 11907
13.44/13.53 c #Conflicts: 96000 | #Constraints: 12907
13.44/13.53 c INPROCESSING
13.44/13.53 c GARBAGE COLLECT
13.44/13.53 c GLOBAL bounds - >= -195 @ 12.7096
13.44/13.53 c GLOBAL bounds - >= -195 @ 12.7116
17.54/17.69 c #Conflicts: 97000 | #Constraints: 7708
17.54/17.69 c #Conflicts: 98000 | #Constraints: 8708
17.54/17.69 c #Conflicts: 99000 | #Constraints: 9708
17.54/17.69 c #Conflicts: 100000 | #Constraints: 10708
17.54/17.69 c #Conflicts: 101000 | #Constraints: 11708
17.54/17.69 c #Conflicts: 102000 | #Constraints: 12708
17.54/17.69 c #Conflicts: 103000 | #Constraints: 13708
17.54/17.69 c INPROCESSING
17.54/17.69 c GARBAGE COLLECT
17.54/17.69 c #Conflicts: 104000 | #Constraints: 8306
17.54/17.69 c #Conflicts: 105000 | #Constraints: 9306
17.54/17.69 c #Conflicts: 106000 | #Constraints: 10306
17.54/17.69 c #Conflicts: 107000 | #Constraints: 11306
17.54/17.69 c #Conflicts: 108000 | #Constraints: 12306
17.54/17.69 c #Conflicts: 109000 | #Constraints: 13306
17.54/17.69 c #Conflicts: 110000 | #Constraints: 14306
17.54/17.69 c INPROCESSING
17.54/17.69 c GARBAGE COLLECT
17.54/17.69 c #Conflicts: 111000 | #Constraints: 8707
17.54/17.69 c #Conflicts: 112000 | #Constraints: 9707
17.54/17.69 c #Conflicts: 113000 | #Constraints: 10707
17.54/17.69 c #Conflicts: 114000 | #Constraints: 11707
17.54/17.69 c #Conflicts: 115000 | #Constraints: 12707
17.54/17.69 c #Conflicts: 116000 | #Constraints: 13707
17.54/17.69 c #Conflicts: 117000 | #Constraints: 14707
17.54/17.69 c INPROCESSING
17.54/17.69 c GARBAGE COLLECT
17.54/17.69 c #Conflicts: 118000 | #Constraints: 8910
17.54/17.69 c #Conflicts: 119000 | #Constraints: 9910
17.54/17.69 c #Conflicts: 120000 | #Constraints: 10910
17.54/17.69 c #Conflicts: 121000 | #Constraints: 11910
17.54/17.69 c #Conflicts: 122000 | #Constraints: 12910
17.54/17.69 c #Conflicts: 123000 | #Constraints: 13910
17.54/17.69 c #Conflicts: 124000 | #Constraints: 14910
17.54/17.69 c INPROCESSING
17.54/17.69 c GARBAGE COLLECT
17.54/17.69 c GLOBAL bounds - >= -195 @ 16.7786
23.92/24.05 c #Conflicts: 125000 | #Constraints: 8911
23.92/24.05 c #Conflicts: 126000 | #Constraints: 9911
23.92/24.05 c #Conflicts: 127000 | #Constraints: 10911
23.92/24.05 c #Conflicts: 128000 | #Constraints: 11911
23.92/24.05 c #Conflicts: 129000 | #Constraints: 12911
23.92/24.05 c #Conflicts: 130000 | #Constraints: 13911
23.92/24.05 c #Conflicts: 131000 | #Constraints: 14911
23.92/24.05 c INPROCESSING
23.92/24.05 c GARBAGE COLLECT
23.92/24.05 c #Conflicts: 132000 | #Constraints: 8712
23.92/24.05 c #Conflicts: 133000 | #Constraints: 9712
23.92/24.05 c #Conflicts: 134000 | #Constraints: 10712
23.92/24.05 c #Conflicts: 135000 | #Constraints: 11712
23.92/24.05 c #Conflicts: 136000 | #Constraints: 12712
23.92/24.05 c #Conflicts: 137000 | #Constraints: 13712
23.92/24.05 c #Conflicts: 138000 | #Constraints: 14712
23.92/24.05 c #Conflicts: 139000 | #Constraints: 15712
23.92/24.05 c INPROCESSING
23.92/24.05 c GARBAGE COLLECT
23.92/24.05 c #Conflicts: 140000 | #Constraints: 9315
23.92/24.05 c #Conflicts: 141000 | #Constraints: 10315
23.92/24.05 c #Conflicts: 142000 | #Constraints: 11315
23.92/24.05 c #Conflicts: 143000 | #Constraints: 12315
23.92/24.05 c #Conflicts: 144000 | #Constraints: 13315
23.92/24.05 c #Conflicts: 145000 | #Constraints: 14315
23.92/24.05 c #Conflicts: 146000 | #Constraints: 15315
23.92/24.05 c #Conflicts: 147000 | #Constraints: 16315
23.92/24.05 c INPROCESSING
23.92/24.05 c GARBAGE COLLECT
23.92/24.05 c #Conflicts: 148000 | #Constraints: 9713
23.92/24.05 c #Conflicts: 149000 | #Constraints: 10713
23.92/24.05 c #Conflicts: 150000 | #Constraints: 11713
23.92/24.05 c #Conflicts: 151000 | #Constraints: 12713
23.92/24.05 c #Conflicts: 152000 | #Constraints: 13713
23.92/24.05 c #Conflicts: 153000 | #Constraints: 14713
23.92/24.05 c #Conflicts: 154000 | #Constraints: 15713
23.92/24.05 c #Conflicts: 155000 | #Constraints: 16713
23.92/24.05 c INPROCESSING
23.92/24.05 c GARBAGE COLLECT
23.92/24.05 c #Conflicts: 156000 | #Constraints: 9912
23.92/24.05 c #Conflicts: 157000 | #Constraints: 10912
23.92/24.05 c #Conflicts: 158000 | #Constraints: 11912
23.92/24.05 c #Conflicts: 159000 | #Constraints: 12912
23.92/24.05 c #Conflicts: 160000 | #Constraints: 13912
23.92/24.05 c #Conflicts: 161000 | #Constraints: 14912
23.92/24.05 c #Conflicts: 162000 | #Constraints: 15912
23.92/24.05 c #Conflicts: 163000 | #Constraints: 16912
23.92/24.05 c INPROCESSING
23.92/24.05 c GARBAGE COLLECT
23.92/24.05 c #Conflicts: 164000 | #Constraints: 9908
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0417
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0432
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0433
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0438
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0439
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0441
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0443
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0443
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0444
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0444
23.92/24.05 c GLOBAL bounds - >= -190 @ 23.0444
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0444
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0444
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0445
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0446
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0447
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0448
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0449
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.045
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0453
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0455
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.046
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0462
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0465
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0467
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.047
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0471
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0474
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0474
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0481
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0484
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0494
23.92/24.06 c GLOBAL bounds - >= -190 @ 23.0494
23.92/24.07 c GLOBAL bounds - >= -190 @ 23.0503
23.92/24.07 c GLOBAL bounds - >= -190 @ 23.0506
23.92/24.07 c GLOBAL bounds - >= -190 @ 23.0514
23.92/24.07 c GLOBAL bounds - >= -190 @ 23.0514
23.92/24.07 c GLOBAL bounds - >= -190 @ 23.0534
23.92/24.07 c GLOBAL bounds - >= -190 @ 23.0536
23.92/24.07 c GLOBAL bounds - >= -190 @ 23.0553
23.92/24.07 c GLOBAL bounds - >= -190 @ 23.0555
23.92/24.08 c GLOBAL bounds - >= -190 @ 23.0569
23.92/24.08 c GLOBAL bounds - >= -190 @ 23.0572
23.92/24.08 c GLOBAL bounds - >= -190 @ 23.0586
23.92/24.08 c GLOBAL bounds - >= -190 @ 23.0588
23.92/24.08 c GLOBAL bounds - >= -190 @ 23.0593
23.92/24.08 c GLOBAL bounds - >= -190 @ 23.0596
23.92/24.08 c GLOBAL bounds - >= -190 @ 23.0613
23.92/24.09 c GLOBAL bounds - >= -190 @ 23.0633
23.92/24.09 c GLOBAL bounds - >= -190 @ 23.0647
23.92/24.09 c GLOBAL bounds - >= -190 @ 23.0653
23.92/24.09 c GLOBAL bounds - >= -190 @ 23.0674
23.92/24.10 c GLOBAL bounds - >= -190 @ 23.0683
23.92/24.10 c GLOBAL bounds - >= -190 @ 23.0693
24.02/24.10 c GLOBAL bounds - >= -190 @ 23.0703
24.02/24.10 c GLOBAL bounds - >= -190 @ 23.0711
24.02/24.11 c GLOBAL bounds - >= -190 @ 23.0763
24.02/24.11 c GLOBAL bounds - >= -190 @ 23.0775
24.02/24.11 c GLOBAL bounds - >= -190 @ 23.0793
24.02/24.12 c GLOBAL bounds - >= -190 @ 23.0803
24.02/24.12 c GLOBAL bounds - >= -190 @ 23.0844
24.02/24.13 c GLOBAL bounds - >= -190 @ 23.0903
24.11/24.27 c #Conflicts: 165000 | #Constraints: 10968
24.11/24.27 c GLOBAL bounds - >= -190 @ 23.2249
24.11/24.28 c GLOBAL bounds - >= -190 @ 23.235
24.11/24.28 c GLOBAL bounds - >= -190 @ 23.2359
24.11/24.28 c GLOBAL bounds - >= -190 @ 23.2379
24.11/24.29 c GLOBAL bounds - >= -190 @ 23.24
24.11/24.29 c GLOBAL bounds - >= -190 @ 23.2416
24.11/24.29 c GLOBAL bounds - >= -190 @ 23.2439
24.11/24.29 c GLOBAL bounds - >= -190 @ 23.2449
24.21/24.30 c GLOBAL bounds - >= -190 @ 23.2449
24.21/24.30 c GLOBAL bounds - >= -190 @ 23.248
24.21/24.38 c #Conflicts: 166000 | #Constraints: 11968
24.21/24.38 c GLOBAL bounds - >= -190 @ 23.33
24.21/24.39 c GLOBAL bounds - >= -190 @ 23.3377
24.32/24.40 c GLOBAL bounds - >= -190 @ 23.3416
24.32/24.40 c GLOBAL bounds - >= -190 @ 23.3427
24.32/24.40 c GLOBAL bounds - >= -190 @ 23.344
24.32/24.40 c GLOBAL bounds - >= -190 @ 23.3447
24.32/24.41 c GLOBAL bounds - >= -190 @ 23.346
24.32/24.41 c GLOBAL bounds - >= -190 @ 23.3477
24.32/24.42 c GLOBAL bounds - >= -190 @ 23.3516
24.32/24.42 c GLOBAL bounds - >= -190 @ 23.3527
24.32/24.42 c GLOBAL bounds - >= -190 @ 23.3567
35.99/36.12 c #Conflicts: 167000 | #Constraints: 12968
35.99/36.12 c #Conflicts: 168000 | #Constraints: 13968
35.99/36.12 c #Conflicts: 169000 | #Constraints: 14968
35.99/36.12 c #Conflicts: 170000 | #Constraints: 15968
35.99/36.12 c #Conflicts: 171000 | #Constraints: 16968
35.99/36.12 c INPROCESSING
35.99/36.12 c GARBAGE COLLECT
35.99/36.12 c #Conflicts: 172000 | #Constraints: 9758
35.99/36.12 c #Conflicts: 173000 | #Constraints: 10758
35.99/36.12 c #Conflicts: 174000 | #Constraints: 11758
35.99/36.12 c #Conflicts: 175000 | #Constraints: 12758
35.99/36.12 c #Conflicts: 176000 | #Constraints: 13758
35.99/36.12 c #Conflicts: 177000 | #Constraints: 14758
35.99/36.12 c #Conflicts: 178000 | #Constraints: 15758
35.99/36.12 c #Conflicts: 179000 | #Constraints: 16758
35.99/36.12 c #Conflicts: 180000 | #Constraints: 17758
35.99/36.12 c INPROCESSING
35.99/36.12 c GARBAGE COLLECT
35.99/36.12 c #Conflicts: 181000 | #Constraints: 10357
35.99/36.12 c #Conflicts: 182000 | #Constraints: 11357
35.99/36.12 c #Conflicts: 183000 | #Constraints: 12357
35.99/36.12 c #Conflicts: 184000 | #Constraints: 13357
35.99/36.12 c #Conflicts: 185000 | #Constraints: 14357
35.99/36.12 c #Conflicts: 186000 | #Constraints: 15357
35.99/36.12 c #Conflicts: 187000 | #Constraints: 16357
35.99/36.12 c #Conflicts: 188000 | #Constraints: 17357
35.99/36.12 c #Conflicts: 189000 | #Constraints: 18357
35.99/36.12 c INPROCESSING
35.99/36.12 c GARBAGE COLLECT
35.99/36.12 c #Conflicts: 190000 | #Constraints: 10767
35.99/36.12 c #Conflicts: 191000 | #Constraints: 11767
35.99/36.12 c #Conflicts: 192000 | #Constraints: 12767
35.99/36.12 c #Conflicts: 193000 | #Constraints: 13767
35.99/36.12 c #Conflicts: 194000 | #Constraints: 14767
35.99/36.12 c #Conflicts: 195000 | #Constraints: 15767
35.99/36.12 c #Conflicts: 196000 | #Constraints: 16767
35.99/36.12 c #Conflicts: 197000 | #Constraints: 17767
35.99/36.12 c #Conflicts: 198000 | #Constraints: 18767
35.99/36.12 c INPROCESSING
35.99/36.12 c GARBAGE COLLECT
35.99/36.12 c #Conflicts: 199000 | #Constraints: 10966
35.99/36.12 c #Conflicts: 200000 | #Constraints: 11966
35.99/36.12 c #Conflicts: 201000 | #Constraints: 12966
35.99/36.12 c #Conflicts: 202000 | #Constraints: 13966
35.99/36.12 c #Conflicts: 203000 | #Constraints: 14966
35.99/36.12 c #Conflicts: 204000 | #Constraints: 15966
35.99/36.12 c #Conflicts: 205000 | #Constraints: 16966
35.99/36.12 c #Conflicts: 206000 | #Constraints: 17966
35.99/36.12 c #Conflicts: 207000 | #Constraints: 18966
35.99/36.12 c INPROCESSING
35.99/36.12 c GARBAGE COLLECT
35.99/36.12 c #Conflicts: 208000 | #Constraints: 10970
35.99/36.12 c #Conflicts: 209000 | #Constraints: 11970
35.99/36.12 c #Conflicts: 210000 | #Constraints: 12970
35.99/36.12 c #Conflicts: 211000 | #Constraints: 13970
35.99/36.12 c #Conflicts: 212000 | #Constraints: 14970
35.99/36.12 c #Conflicts: 213000 | #Constraints: 15970
35.99/36.12 c #Conflicts: 214000 | #Constraints: 16970
35.99/36.12 c #Conflicts: 215000 | #Constraints: 17970
35.99/36.12 c #Conflicts: 216000 | #Constraints: 18970
35.99/36.12 c INPROCESSING
35.99/36.12 c GARBAGE COLLECT
35.99/36.12 c #Conflicts: 217000 | #Constraints: 10761
35.99/36.12 c #Conflicts: 218000 | #Constraints: 11761
35.99/36.12 c #Conflicts: 219000 | #Constraints: 12761
35.99/36.12 c #Conflicts: 220000 | #Constraints: 13761
35.99/36.12 c #Conflicts: 221000 | #Constraints: 14761
35.99/36.12 c #Conflicts: 222000 | #Constraints: 15761
35.99/36.12 c #Conflicts: 223000 | #Constraints: 16761
35.99/36.12 c #Conflicts: 224000 | #Constraints: 17761
35.99/36.12 c #Conflicts: 225000 | #Constraints: 18761
35.99/36.12 c #Conflicts: 226000 | #Constraints: 19761
35.99/36.12 c INPROCESSING
35.99/36.12 c GARBAGE COLLECT
35.99/36.12 c #Conflicts: 227000 | #Constraints: 11367
35.99/36.12 c #Conflicts: 228000 | #Constraints: 12367
35.99/36.12 c #Conflicts: 229000 | #Constraints: 13367
35.99/36.12 c #Conflicts: 230000 | #Constraints: 14367
35.99/36.12 c #Conflicts: 231000 | #Constraints: 15367
35.99/36.12 c #Conflicts: 232000 | #Constraints: 16367
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8479
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8503
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8504
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8505
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8507
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8508
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8509
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.851
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8512
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8513
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8515
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.852
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8521
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8526
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8529
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8531
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8532
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8533
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8535
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8536
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8537
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8539
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.854
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8541
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8545
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8548
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8549
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.855
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8551
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8553
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8557
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8557
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8557
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8557
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8559
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8561
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8563
35.99/36.12 c GLOBAL bounds - >= -180 @ 34.8565
35.99/36.13 c GLOBAL bounds - >= -180 @ 34.8577
35.99/36.13 c GLOBAL bounds - >= -180 @ 34.858
35.99/36.13 c GLOBAL bounds - >= -180 @ 34.8597
35.99/36.13 c GLOBAL bounds - >= -180 @ 34.8599
35.99/36.13 c GLOBAL bounds - >= -180 @ 34.8624
35.99/36.13 c GLOBAL bounds - >= -180 @ 34.8627
35.99/36.14 c GLOBAL bounds - >= -180 @ 34.8637
35.99/36.14 c GLOBAL bounds -162 >= -180 @ 34.8647
35.99/36.14 c GLOBAL bounds -162 >= -180 @ 34.8657
35.99/36.14 c GLOBAL bounds -162 >= -180 @ 34.8657
35.99/36.14 c GLOBAL bounds -162 >= -180 @ 34.8669
35.99/36.14 c GLOBAL bounds -162 >= -180 @ 34.8671
35.99/36.15 c GLOBAL bounds -162 >= -180 @ 34.8696
35.99/36.15 c GLOBAL bounds -162 >= -180 @ 34.8698
35.99/36.15 c GLOBAL bounds -162 >= -180 @ 34.8717
35.99/36.15 c GLOBAL bounds -162 >= -180 @ 34.872
35.99/36.16 c GLOBAL bounds -162 >= -180 @ 34.8788
35.99/36.16 c GLOBAL bounds -162 >= -180 @ 34.8791
35.99/36.16 c GLOBAL bounds -162 >= -180 @ 34.8827
35.99/36.16 c GLOBAL bounds -162 >= -180 @ 34.883
35.99/36.16 c GLOBAL bounds -162 >= -180 @ 34.8857
35.99/36.17 c GLOBAL bounds -162 >= -180 @ 34.8867
35.99/36.18 c GLOBAL bounds -162 >= -180 @ 34.9027
35.99/36.19 c GLOBAL bounds -162 >= -180 @ 34.9106
36.09/36.23 c GLOBAL bounds -162 >= -180 @ 34.943
36.09/36.29 c #Conflicts: 233000 | #Constraints: 17414
36.09/36.29 c GLOBAL bounds -162 >= -180 @ 34.9994
39.89/40.03 c #Conflicts: 234000 | #Constraints: 18414
39.89/40.03 c #Conflicts: 235000 | #Constraints: 19414
39.89/40.03 c #Conflicts: 236000 | #Constraints: 20414
39.89/40.03 c INPROCESSING
39.89/40.03 c GARBAGE COLLECT
39.89/40.03 c #Conflicts: 237000 | #Constraints: 11645
39.89/40.03 c #Conflicts: 238000 | #Constraints: 12645
39.89/40.03 c #Conflicts: 239000 | #Constraints: 13645
39.89/40.03 c #Conflicts: 240000 | #Constraints: 14645
39.89/40.03 c #Conflicts: 241000 | #Constraints: 15645
39.89/40.03 c #Conflicts: 242000 | #Constraints: 16645
39.89/40.03 c #Conflicts: 243000 | #Constraints: 17645
39.89/40.03 c #Conflicts: 244000 | #Constraints: 18645
39.89/40.03 c #Conflicts: 245000 | #Constraints: 19645
39.89/40.03 c #Conflicts: 246000 | #Constraints: 20645
39.89/40.03 c INPROCESSING
39.89/40.03 c GARBAGE COLLECT
39.89/40.03 c #Conflicts: 247000 | #Constraints: 11844
39.89/40.03 c #Conflicts: 248000 | #Constraints: 12844
39.89/40.03 c #Conflicts: 249000 | #Constraints: 13844
39.89/40.03 c #Conflicts: 250000 | #Constraints: 14844
39.89/40.03 c #Conflicts: 251000 | #Constraints: 15844
39.89/40.03 c #Conflicts: 252000 | #Constraints: 16844
39.89/40.03 c #Conflicts: 253000 | #Constraints: 17844
39.89/40.03 c GLOBAL bounds -162 >= -180 @ 38.6851
40.08/40.20 c #Conflicts: 254000 | #Constraints: 18844
40.08/40.20 c GLOBAL bounds -162 >= -180 @ 38.8538
40.08/40.22 c GLOBAL bounds -162 >= -180 @ 38.8697
54.44/54.69 c #Conflicts: 255000 | #Constraints: 19844
54.44/54.69 c #Conflicts: 256000 | #Constraints: 20844
54.44/54.69 c INPROCESSING
54.44/54.69 c GARBAGE COLLECT
54.44/54.69 c #Conflicts: 257000 | #Constraints: 11846
54.44/54.69 c #Conflicts: 258000 | #Constraints: 12846
54.44/54.69 c #Conflicts: 259000 | #Constraints: 13846
54.44/54.69 c #Conflicts: 260000 | #Constraints: 14846
54.44/54.69 c #Conflicts: 261000 | #Constraints: 15846
54.44/54.69 c #Conflicts: 262000 | #Constraints: 16846
54.44/54.69 c #Conflicts: 263000 | #Constraints: 17846
54.44/54.69 c #Conflicts: 264000 | #Constraints: 18846
54.44/54.69 c #Conflicts: 265000 | #Constraints: 19846
54.44/54.69 c #Conflicts: 266000 | #Constraints: 20846
54.44/54.69 c INPROCESSING
54.44/54.69 c GARBAGE COLLECT
54.44/54.69 c #Conflicts: 267000 | #Constraints: 11647
54.44/54.69 c #Conflicts: 268000 | #Constraints: 12647
54.44/54.69 c #Conflicts: 269000 | #Constraints: 13647
54.44/54.69 c #Conflicts: 270000 | #Constraints: 14647
54.44/54.69 c #Conflicts: 271000 | #Constraints: 15647
54.44/54.69 c #Conflicts: 272000 | #Constraints: 16647
54.44/54.69 c #Conflicts: 273000 | #Constraints: 17647
54.44/54.69 c #Conflicts: 274000 | #Constraints: 18647
54.44/54.69 c #Conflicts: 275000 | #Constraints: 19647
54.44/54.69 c #Conflicts: 276000 | #Constraints: 20647
54.44/54.69 c #Conflicts: 277000 | #Constraints: 21647
54.44/54.69 c INPROCESSING
54.44/54.69 c GARBAGE COLLECT
54.44/54.69 c #Conflicts: 278000 | #Constraints: 12249
54.44/54.69 c #Conflicts: 279000 | #Constraints: 13249
54.44/54.69 c #Conflicts: 280000 | #Constraints: 14249
54.44/54.69 c #Conflicts: 281000 | #Constraints: 15249
54.44/54.69 c #Conflicts: 282000 | #Constraints: 16249
54.44/54.69 c #Conflicts: 283000 | #Constraints: 17249
54.44/54.69 c #Conflicts: 284000 | #Constraints: 18249
54.44/54.69 c #Conflicts: 285000 | #Constraints: 19249
54.44/54.69 c #Conflicts: 286000 | #Constraints: 20249
54.44/54.69 c #Conflicts: 287000 | #Constraints: 21249
54.44/54.69 c #Conflicts: 288000 | #Constraints: 22249
54.44/54.69 c INPROCESSING
54.44/54.69 c GARBAGE COLLECT
54.44/54.69 c #Conflicts: 289000 | #Constraints: 12647
54.44/54.69 c #Conflicts: 290000 | #Constraints: 13647
54.44/54.69 c #Conflicts: 291000 | #Constraints: 14647
54.44/54.69 c #Conflicts: 292000 | #Constraints: 15647
54.44/54.69 c #Conflicts: 293000 | #Constraints: 16647
54.44/54.69 c #Conflicts: 294000 | #Constraints: 17647
54.44/54.69 c #Conflicts: 295000 | #Constraints: 18647
54.44/54.69 c #Conflicts: 296000 | #Constraints: 19647
54.44/54.69 c #Conflicts: 297000 | #Constraints: 20647
54.44/54.69 c #Conflicts: 298000 | #Constraints: 21647
54.44/54.69 c #Conflicts: 299000 | #Constraints: 22647
54.44/54.69 c INPROCESSING
54.44/54.69 c GARBAGE COLLECT
54.44/54.69 c #Conflicts: 300000 | #Constraints: 12843
54.44/54.69 c #Conflicts: 301000 | #Constraints: 13843
54.44/54.69 c #Conflicts: 302000 | #Constraints: 14843
54.44/54.69 c #Conflicts: 303000 | #Constraints: 15843
54.44/54.69 c #Conflicts: 304000 | #Constraints: 16843
54.44/54.69 c #Conflicts: 305000 | #Constraints: 17843
54.44/54.69 c #Conflicts: 306000 | #Constraints: 18843
54.44/54.69 c #Conflicts: 307000 | #Constraints: 19843
54.44/54.69 c #Conflicts: 308000 | #Constraints: 20843
54.44/54.69 c #Conflicts: 309000 | #Constraints: 21843
54.44/54.69 c #Conflicts: 310000 | #Constraints: 22843
54.44/54.69 c INPROCESSING
54.44/54.69 c GARBAGE COLLECT
54.44/54.69 c #Conflicts: 311000 | #Constraints: 12846
54.44/54.69 c #Conflicts: 312000 | #Constraints: 13846
54.44/54.69 c #Conflicts: 313000 | #Constraints: 14846
54.44/54.69 c #Conflicts: 314000 | #Constraints: 15846
54.44/54.69 c #Conflicts: 315000 | #Constraints: 16846
54.44/54.69 c #Conflicts: 316000 | #Constraints: 17846
54.44/54.69 c #Conflicts: 317000 | #Constraints: 18846
54.44/54.69 c #Conflicts: 318000 | #Constraints: 19846
54.44/54.69 c #Conflicts: 319000 | #Constraints: 20846
54.44/54.69 c #Conflicts: 320000 | #Constraints: 21846
54.44/54.69 c #Conflicts: 321000 | #Constraints: 22846
54.44/54.69 c INPROCESSING
54.44/54.69 c GARBAGE COLLECT
54.44/54.69 c #Conflicts: 322000 | #Constraints: 12648
54.44/54.69 c #Conflicts: 323000 | #Constraints: 13648
54.44/54.69 c #Conflicts: 324000 | #Constraints: 14648
54.44/54.69 c #Conflicts: 325000 | #Constraints: 15648
54.44/54.69 c #Conflicts: 326000 | #Constraints: 16648
54.44/54.69 c #Conflicts: 327000 | #Constraints: 17648
54.44/54.69 c #Conflicts: 328000 | #Constraints: 18648
54.44/54.69 c #Conflicts: 329000 | #Constraints: 19648
65.13/65.38 c #Conflicts: 330000 | #Constraints: 20648
65.13/65.38 c #Conflicts: 331000 | #Constraints: 21648
65.13/65.38 c #Conflicts: 332000 | #Constraints: 22648
65.13/65.38 c #Conflicts: 333000 | #Constraints: 23648
65.13/65.38 c INPROCESSING
65.13/65.38 c GARBAGE COLLECT
65.13/65.38 c #Conflicts: 334000 | #Constraints: 13246
65.13/65.38 c #Conflicts: 335000 | #Constraints: 14246
65.13/65.38 c #Conflicts: 336000 | #Constraints: 15246
65.13/65.38 c #Conflicts: 337000 | #Constraints: 16246
65.13/65.38 c #Conflicts: 338000 | #Constraints: 17246
65.13/65.38 c #Conflicts: 339000 | #Constraints: 18246
65.13/65.38 c #Conflicts: 340000 | #Constraints: 19246
65.13/65.38 c #Conflicts: 341000 | #Constraints: 20246
65.13/65.38 c #Conflicts: 342000 | #Constraints: 21246
65.13/65.38 c #Conflicts: 343000 | #Constraints: 22246
65.13/65.38 c #Conflicts: 344000 | #Constraints: 23246
65.13/65.38 c #Conflicts: 345000 | #Constraints: 24246
65.13/65.38 c INPROCESSING
65.13/65.38 c GARBAGE COLLECT
65.13/65.38 c #Conflicts: 346000 | #Constraints: 13646
65.13/65.38 c #Conflicts: 347000 | #Constraints: 14646
65.13/65.38 c #Conflicts: 348000 | #Constraints: 15646
65.13/65.38 c #Conflicts: 349000 | #Constraints: 16646
65.13/65.38 c #Conflicts: 350000 | #Constraints: 17646
65.13/65.38 c #Conflicts: 351000 | #Constraints: 18646
65.13/65.38 c #Conflicts: 352000 | #Constraints: 19646
65.13/65.38 c #Conflicts: 353000 | #Constraints: 20646
65.13/65.38 c #Conflicts: 354000 | #Constraints: 21646
65.13/65.38 c #Conflicts: 355000 | #Constraints: 22646
65.13/65.38 c #Conflicts: 356000 | #Constraints: 23646
65.13/65.38 c #Conflicts: 357000 | #Constraints: 24646
65.13/65.38 c INPROCESSING
65.13/65.38 c GARBAGE COLLECT
65.13/65.38 c #Conflicts: 358000 | #Constraints: 13844
65.13/65.38 c #Conflicts: 359000 | #Constraints: 14844
65.13/65.38 c #Conflicts: 360000 | #Constraints: 15844
65.13/65.38 c #Conflicts: 361000 | #Constraints: 16844
65.13/65.38 c #Conflicts: 362000 | #Constraints: 17844
65.13/65.38 c #Conflicts: 363000 | #Constraints: 18844
65.13/65.38 c #Conflicts: 364000 | #Constraints: 19844
65.13/65.38 c #Conflicts: 365000 | #Constraints: 20844
65.13/65.38 c #Conflicts: 366000 | #Constraints: 21844
65.13/65.38 c #Conflicts: 367000 | #Constraints: 22844
65.13/65.38 c #Conflicts: 368000 | #Constraints: 23844
65.13/65.38 c #Conflicts: 369000 | #Constraints: 24844
65.13/65.38 c INPROCESSING
65.13/65.38 c GARBAGE COLLECT
65.13/65.38 c #Conflicts: 370000 | #Constraints: 13849
65.13/65.38 c #Conflicts: 371000 | #Constraints: 14849
65.13/65.38 c #Conflicts: 372000 | #Constraints: 15849
65.13/65.38 c #Conflicts: 373000 | #Constraints: 16849
65.13/65.38 c #Conflicts: 374000 | #Constraints: 17849
65.13/65.38 c #Conflicts: 375000 | #Constraints: 18849
65.13/65.38 c #Conflicts: 376000 | #Constraints: 19849
65.13/65.38 c #Conflicts: 377000 | #Constraints: 20849
65.13/65.38 c #Conflicts: 378000 | #Constraints: 21849
65.13/65.38 c #Conflicts: 379000 | #Constraints: 22849
65.13/65.38 c #Conflicts: 380000 | #Constraints: 23849
65.13/65.38 c #Conflicts: 381000 | #Constraints: 24849
65.13/65.38 c GLOBAL bounds -162 >= -180 @ 63.6206
82.18/82.45 c INPROCESSING
82.18/82.45 c GARBAGE COLLECT
82.18/82.45 c #Conflicts: 382000 | #Constraints: 13647
82.18/82.45 c #Conflicts: 383000 | #Constraints: 14647
82.18/82.45 c #Conflicts: 384000 | #Constraints: 15647
82.18/82.45 c #Conflicts: 385000 | #Constraints: 16647
82.18/82.45 c #Conflicts: 386000 | #Constraints: 17647
82.18/82.45 c #Conflicts: 387000 | #Constraints: 18647
82.18/82.45 c #Conflicts: 388000 | #Constraints: 19647
82.18/82.45 c #Conflicts: 389000 | #Constraints: 20647
82.18/82.45 c #Conflicts: 390000 | #Constraints: 21647
82.18/82.45 c #Conflicts: 391000 | #Constraints: 22647
82.18/82.45 c #Conflicts: 392000 | #Constraints: 23647
82.18/82.45 c #Conflicts: 393000 | #Constraints: 24647
82.18/82.45 c #Conflicts: 394000 | #Constraints: 25647
82.18/82.45 c INPROCESSING
82.18/82.45 c GARBAGE COLLECT
82.18/82.45 c #Conflicts: 395000 | #Constraints: 14249
82.18/82.45 c #Conflicts: 396000 | #Constraints: 15249
82.18/82.45 c #Conflicts: 397000 | #Constraints: 16249
82.18/82.45 c #Conflicts: 398000 | #Constraints: 17249
82.18/82.45 c #Conflicts: 399000 | #Constraints: 18249
82.18/82.45 c #Conflicts: 400000 | #Constraints: 19249
82.18/82.45 c #Conflicts: 401000 | #Constraints: 20249
82.18/82.45 c #Conflicts: 402000 | #Constraints: 21249
82.18/82.45 c #Conflicts: 403000 | #Constraints: 22249
82.18/82.45 c #Conflicts: 404000 | #Constraints: 23249
82.18/82.45 c #Conflicts: 405000 | #Constraints: 24249
82.18/82.45 c #Conflicts: 406000 | #Constraints: 25249
82.18/82.45 c #Conflicts: 407000 | #Constraints: 26249
82.18/82.45 c INPROCESSING
82.18/82.45 c GARBAGE COLLECT
82.18/82.45 c #Conflicts: 408000 | #Constraints: 14651
82.18/82.45 c #Conflicts: 409000 | #Constraints: 15651
82.18/82.45 c #Conflicts: 410000 | #Constraints: 16651
82.18/82.45 c #Conflicts: 411000 | #Constraints: 17651
82.18/82.45 c #Conflicts: 412000 | #Constraints: 18651
82.18/82.45 c #Conflicts: 413000 | #Constraints: 19651
82.18/82.45 c #Conflicts: 414000 | #Constraints: 20651
82.18/82.45 c #Conflicts: 415000 | #Constraints: 21651
82.18/82.45 c #Conflicts: 416000 | #Constraints: 22651
82.18/82.45 c #Conflicts: 417000 | #Constraints: 23651
82.18/82.45 c #Conflicts: 418000 | #Constraints: 24651
82.18/82.45 c #Conflicts: 419000 | #Constraints: 25651
82.18/82.45 c #Conflicts: 420000 | #Constraints: 26651
82.18/82.45 c INPROCESSING
82.18/82.45 c GARBAGE COLLECT
82.18/82.45 c #Conflicts: 421000 | #Constraints: 14850
82.18/82.45 c #Conflicts: 422000 | #Constraints: 15850
82.18/82.45 c #Conflicts: 423000 | #Constraints: 16850
82.18/82.45 c #Conflicts: 424000 | #Constraints: 17850
82.18/82.45 c #Conflicts: 425000 | #Constraints: 18850
82.18/82.45 c #Conflicts: 426000 | #Constraints: 19850
82.18/82.45 c #Conflicts: 427000 | #Constraints: 20850
82.18/82.45 c #Conflicts: 428000 | #Constraints: 21850
82.18/82.45 c #Conflicts: 429000 | #Constraints: 22850
82.18/82.45 c #Conflicts: 430000 | #Constraints: 23850
82.18/82.45 c #Conflicts: 431000 | #Constraints: 24850
82.18/82.45 c #Conflicts: 432000 | #Constraints: 25850
82.18/82.45 c #Conflicts: 433000 | #Constraints: 26850
82.18/82.45 c INPROCESSING
82.18/82.45 c GARBAGE COLLECT
82.18/82.45 c #Conflicts: 434000 | #Constraints: 14847
82.18/82.45 c #Conflicts: 435000 | #Constraints: 15847
82.18/82.45 c #Conflicts: 436000 | #Constraints: 16847
82.18/82.45 c #Conflicts: 437000 | #Constraints: 17847
82.18/82.45 c #Conflicts: 438000 | #Constraints: 18847
82.18/82.45 c #Conflicts: 439000 | #Constraints: 19847
82.18/82.45 c #Conflicts: 440000 | #Constraints: 20847
82.18/82.45 c #Conflicts: 441000 | #Constraints: 21847
82.18/82.45 c #Conflicts: 442000 | #Constraints: 22847
82.18/82.45 c #Conflicts: 443000 | #Constraints: 23847
82.18/82.45 c #Conflicts: 444000 | #Constraints: 24847
82.18/82.45 c #Conflicts: 445000 | #Constraints: 25847
82.18/82.45 c #Conflicts: 446000 | #Constraints: 26847
82.18/82.45 c INPROCESSING
82.18/82.45 c GARBAGE COLLECT
82.18/82.45 c #Conflicts: 447000 | #Constraints: 14650
82.18/82.45 c #Conflicts: 448000 | #Constraints: 15650
82.18/82.45 c #Conflicts: 449000 | #Constraints: 16650
82.18/82.45 c #Conflicts: 450000 | #Constraints: 17650
82.18/82.45 c #Conflicts: 451000 | #Constraints: 18650
82.18/82.45 c #Conflicts: 452000 | #Constraints: 19650
82.18/82.45 c #Conflicts: 453000 | #Constraints: 20650
82.18/82.45 c #Conflicts: 454000 | #Constraints: 21650
82.18/82.45 c #Conflicts: 455000 | #Constraints: 22650
82.18/82.45 c #Conflicts: 456000 | #Constraints: 23650
86.98/87.28 c #Conflicts: 457000 | #Constraints: 24650
86.98/87.28 c #Conflicts: 458000 | #Constraints: 25650
86.98/87.28 c #Conflicts: 459000 | #Constraints: 26650
86.98/87.28 c #Conflicts: 460000 | #Constraints: 27650
86.98/87.28 c INPROCESSING
86.98/87.28 c GARBAGE COLLECT
86.98/87.28 c #Conflicts: 461000 | #Constraints: 15253
86.98/87.28 c #Conflicts: 462000 | #Constraints: 16253
86.98/87.28 c #Conflicts: 463000 | #Constraints: 17253
86.98/87.28 c #Conflicts: 464000 | #Constraints: 18253
86.98/87.28 c #Conflicts: 465000 | #Constraints: 19253
86.98/87.28 c #Conflicts: 466000 | #Constraints: 20253
86.98/87.28 c #Conflicts: 467000 | #Constraints: 21253
86.98/87.28 c #Conflicts: 468000 | #Constraints: 22253
86.98/87.28 c #Conflicts: 469000 | #Constraints: 23253
86.98/87.28 c #Conflicts: 470000 | #Constraints: 24253
86.98/87.28 c #Conflicts: 471000 | #Constraints: 25253
86.98/87.28 c #Conflicts: 472000 | #Constraints: 26253
86.98/87.28 c #Conflicts: 473000 | #Constraints: 27253
86.98/87.28 c #Conflicts: 474000 | #Constraints: 28253
86.98/87.28 c INPROCESSING
86.98/87.28 c GARBAGE COLLECT
86.98/87.28 c #Conflicts: 475000 | #Constraints: 15653
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.1984
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2001
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2008
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2009
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.201
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2015
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2017
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2018
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2022
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2026
86.98/87.28 c GLOBAL bounds -162 >= -174 @ 85.2029
86.98/87.29 c GLOBAL bounds -162 >= -174 @ 85.2163
86.98/87.30 c GLOBAL bounds -162 >= -174 @ 85.2163
87.08/87.30 c GLOBAL bounds -162 >= -174 @ 85.2183
87.08/87.30 c GLOBAL bounds -162 >= -174 @ 85.2183
87.08/87.37 c GLOBAL bounds -162 >= -174 @ 85.2842
87.08/87.37 c GLOBAL bounds -162 >= -174 @ 85.2847
87.08/87.37 c GLOBAL bounds -162 >= -174 @ 85.2862
87.08/87.37 c GLOBAL bounds -162 >= -174 @ 85.2862
87.08/87.38 c GLOBAL bounds -162 >= -174 @ 85.2952
87.08/87.38 c GLOBAL bounds -162 >= -174 @ 85.2956
87.08/87.38 c GLOBAL bounds -162 >= -174 @ 85.2975
87.08/87.38 c GLOBAL bounds -162 >= -174 @ 85.2978
87.08/87.39 c GLOBAL bounds -162 >= -174 @ 85.3003
87.08/87.39 c GLOBAL bounds -162 >= -174 @ 85.3008
87.08/87.39 c GLOBAL bounds -162 >= -174 @ 85.3033
87.08/87.39 c GLOBAL bounds -162 >= -174 @ 85.3037
87.18/87.40 c GLOBAL bounds -162 >= -174 @ 85.3072
87.18/87.40 c GLOBAL bounds -162 >= -174 @ 85.3075
87.18/87.40 c GLOBAL bounds -162 >= -174 @ 85.3101
87.18/87.41 c #Conflicts: 476000 | #Constraints: 16672
87.18/87.41 c GLOBAL bounds -162 >= -174 @ 85.3215
87.18/87.47 c GLOBAL bounds -162 >= -174 @ 85.3736
87.18/87.47 c GLOBAL bounds -162 >= -174 @ 85.3761
87.18/87.47 c GLOBAL bounds -162 >= -174 @ 85.379
105.43/105.78 c #Conflicts: 477000 | #Constraints: 17672
105.43/105.78 c #Conflicts: 478000 | #Constraints: 18672
105.43/105.78 c #Conflicts: 479000 | #Constraints: 19672
105.43/105.78 c #Conflicts: 480000 | #Constraints: 20672
105.43/105.78 c #Conflicts: 481000 | #Constraints: 21672
105.43/105.78 c #Conflicts: 482000 | #Constraints: 22672
105.43/105.78 c #Conflicts: 483000 | #Constraints: 23672
105.43/105.78 c #Conflicts: 484000 | #Constraints: 24672
105.43/105.78 c #Conflicts: 485000 | #Constraints: 25672
105.43/105.78 c #Conflicts: 486000 | #Constraints: 26672
105.43/105.78 c #Conflicts: 487000 | #Constraints: 27672
105.43/105.78 c #Conflicts: 488000 | #Constraints: 28672
105.43/105.78 c INPROCESSING
105.43/105.78 c GARBAGE COLLECT
105.43/105.78 c #Conflicts: 489000 | #Constraints: 15869
105.43/105.78 c #Conflicts: 490000 | #Constraints: 16869
105.43/105.78 c #Conflicts: 491000 | #Constraints: 17869
105.43/105.78 c #Conflicts: 492000 | #Constraints: 18869
105.43/105.78 c #Conflicts: 493000 | #Constraints: 19869
105.43/105.78 c #Conflicts: 494000 | #Constraints: 20869
105.43/105.78 c #Conflicts: 495000 | #Constraints: 21869
105.43/105.78 c #Conflicts: 496000 | #Constraints: 22869
105.43/105.78 c #Conflicts: 497000 | #Constraints: 23869
105.43/105.78 c #Conflicts: 498000 | #Constraints: 24869
105.43/105.78 c #Conflicts: 499000 | #Constraints: 25869
105.43/105.78 c #Conflicts: 500000 | #Constraints: 26869
105.43/105.78 c #Conflicts: 501000 | #Constraints: 27869
105.43/105.78 c #Conflicts: 502000 | #Constraints: 28869
105.43/105.78 c INPROCESSING
105.43/105.78 c GARBAGE COLLECT
105.43/105.78 c #Conflicts: 503000 | #Constraints: 15865
105.43/105.78 c #Conflicts: 504000 | #Constraints: 16865
105.43/105.78 c #Conflicts: 505000 | #Constraints: 17865
105.43/105.78 c #Conflicts: 506000 | #Constraints: 18865
105.43/105.78 c #Conflicts: 507000 | #Constraints: 19865
105.43/105.78 c #Conflicts: 508000 | #Constraints: 20865
105.43/105.78 c #Conflicts: 509000 | #Constraints: 21865
105.43/105.78 c #Conflicts: 510000 | #Constraints: 22865
105.43/105.78 c #Conflicts: 511000 | #Constraints: 23865
105.43/105.78 c #Conflicts: 512000 | #Constraints: 24865
105.43/105.78 c #Conflicts: 513000 | #Constraints: 25865
105.43/105.78 c #Conflicts: 514000 | #Constraints: 26865
105.43/105.78 c #Conflicts: 515000 | #Constraints: 27865
105.43/105.78 c #Conflicts: 516000 | #Constraints: 28865
105.43/105.78 c INPROCESSING
105.43/105.78 c GARBAGE COLLECT
105.43/105.78 c #Conflicts: 517000 | #Constraints: 15665
105.43/105.78 c #Conflicts: 518000 | #Constraints: 16665
105.43/105.78 c #Conflicts: 519000 | #Constraints: 17665
105.43/105.78 c #Conflicts: 520000 | #Constraints: 18665
105.43/105.78 c #Conflicts: 521000 | #Constraints: 19665
105.43/105.78 c #Conflicts: 522000 | #Constraints: 20665
105.43/105.78 c #Conflicts: 523000 | #Constraints: 21665
105.43/105.78 c #Conflicts: 524000 | #Constraints: 22665
105.43/105.78 c #Conflicts: 525000 | #Constraints: 23665
105.43/105.78 c #Conflicts: 526000 | #Constraints: 24665
105.43/105.78 c #Conflicts: 527000 | #Constraints: 25665
105.43/105.78 c #Conflicts: 528000 | #Constraints: 26665
105.43/105.78 c #Conflicts: 529000 | #Constraints: 27665
105.43/105.78 c #Conflicts: 530000 | #Constraints: 28665
105.43/105.78 c #Conflicts: 531000 | #Constraints: 29665
105.43/105.78 c INPROCESSING
105.43/105.78 c GARBAGE COLLECT
105.43/105.78 c #Conflicts: 532000 | #Constraints: 16263
105.43/105.78 c #Conflicts: 533000 | #Constraints: 17263
105.43/105.78 c #Conflicts: 534000 | #Constraints: 18263
105.43/105.78 c #Conflicts: 535000 | #Constraints: 19263
105.43/105.78 c #Conflicts: 536000 | #Constraints: 20263
105.43/105.78 c #Conflicts: 537000 | #Constraints: 21263
105.43/105.78 c #Conflicts: 538000 | #Constraints: 22263
105.43/105.78 c #Conflicts: 539000 | #Constraints: 23263
105.43/105.78 c #Conflicts: 540000 | #Constraints: 24263
105.43/105.78 c #Conflicts: 541000 | #Constraints: 25263
105.43/105.78 c #Conflicts: 542000 | #Constraints: 26263
105.43/105.78 c #Conflicts: 543000 | #Constraints: 27263
105.43/105.78 c #Conflicts: 544000 | #Constraints: 28263
105.43/105.78 c #Conflicts: 545000 | #Constraints: 29263
105.43/105.78 c #Conflicts: 546000 | #Constraints: 30263
105.43/105.78 c INPROCESSING
105.43/105.78 c GARBAGE COLLECT
105.43/105.78 c #Conflicts: 547000 | #Constraints: 16663
105.43/105.78 c #Conflicts: 548000 | #Constraints: 17663
105.43/105.78 c #Conflicts: 549000 | #Constraints: 18663
105.43/105.78 c #Conflicts: 550000 | #Constraints: 19663
105.43/105.78 c #Conflicts: 551000 | #Constraints: 20663
105.43/105.78 c #Conflicts: 552000 | #Constraints: 21663
124.17/124.54 c #Conflicts: 553000 | #Constraints: 22663
124.17/124.54 c #Conflicts: 554000 | #Constraints: 23663
124.17/124.54 c #Conflicts: 555000 | #Constraints: 24663
124.17/124.54 c #Conflicts: 556000 | #Constraints: 25663
124.17/124.54 c #Conflicts: 557000 | #Constraints: 26663
124.17/124.54 c #Conflicts: 558000 | #Constraints: 27663
124.17/124.54 c #Conflicts: 559000 | #Constraints: 28663
124.17/124.54 c #Conflicts: 560000 | #Constraints: 29663
124.17/124.54 c #Conflicts: 561000 | #Constraints: 30663
124.17/124.54 c INPROCESSING
124.17/124.54 c GARBAGE COLLECT
124.17/124.54 c #Conflicts: 562000 | #Constraints: 16871
124.17/124.54 c #Conflicts: 563000 | #Constraints: 17871
124.17/124.54 c #Conflicts: 564000 | #Constraints: 18871
124.17/124.54 c #Conflicts: 565000 | #Constraints: 19871
124.17/124.54 c #Conflicts: 566000 | #Constraints: 20871
124.17/124.54 c #Conflicts: 567000 | #Constraints: 21871
124.17/124.54 c #Conflicts: 568000 | #Constraints: 22871
124.17/124.54 c #Conflicts: 569000 | #Constraints: 23871
124.17/124.54 c #Conflicts: 570000 | #Constraints: 24871
124.17/124.54 c #Conflicts: 571000 | #Constraints: 25871
124.17/124.54 c #Conflicts: 572000 | #Constraints: 26871
124.17/124.54 c #Conflicts: 573000 | #Constraints: 27871
124.17/124.54 c #Conflicts: 574000 | #Constraints: 28871
124.17/124.54 c #Conflicts: 575000 | #Constraints: 29871
124.17/124.54 c #Conflicts: 576000 | #Constraints: 30871
124.17/124.54 c INPROCESSING
124.17/124.54 c GARBAGE COLLECT
124.17/124.54 c #Conflicts: 577000 | #Constraints: 16871
124.17/124.54 c #Conflicts: 578000 | #Constraints: 17871
124.17/124.54 c #Conflicts: 579000 | #Constraints: 18871
124.17/124.54 c #Conflicts: 580000 | #Constraints: 19871
124.17/124.54 c #Conflicts: 581000 | #Constraints: 20871
124.17/124.54 c #Conflicts: 582000 | #Constraints: 21871
124.17/124.54 c #Conflicts: 583000 | #Constraints: 22871
124.17/124.54 c #Conflicts: 584000 | #Constraints: 23871
124.17/124.54 c #Conflicts: 585000 | #Constraints: 24871
124.17/124.54 c #Conflicts: 586000 | #Constraints: 25871
124.17/124.54 c #Conflicts: 587000 | #Constraints: 26871
124.17/124.54 c #Conflicts: 588000 | #Constraints: 27871
124.17/124.54 c #Conflicts: 589000 | #Constraints: 28871
124.17/124.54 c #Conflicts: 590000 | #Constraints: 29871
124.17/124.54 c #Conflicts: 591000 | #Constraints: 30871
124.17/124.54 c INPROCESSING
124.17/124.54 c GARBAGE COLLECT
124.17/124.54 c #Conflicts: 592000 | #Constraints: 16672
124.17/124.54 c #Conflicts: 593000 | #Constraints: 17672
124.17/124.54 c #Conflicts: 594000 | #Constraints: 18672
124.17/124.54 c #Conflicts: 595000 | #Constraints: 19672
124.17/124.54 c #Conflicts: 596000 | #Constraints: 20672
124.17/124.54 c #Conflicts: 597000 | #Constraints: 21672
124.17/124.54 c #Conflicts: 598000 | #Constraints: 22672
124.17/124.54 c #Conflicts: 599000 | #Constraints: 23672
124.17/124.54 c #Conflicts: 600000 | #Constraints: 24672
124.17/124.54 c #Conflicts: 601000 | #Constraints: 25672
124.17/124.54 c #Conflicts: 602000 | #Constraints: 26672
124.17/124.54 c #Conflicts: 603000 | #Constraints: 27672
124.17/124.54 c #Conflicts: 604000 | #Constraints: 28672
124.17/124.54 c #Conflicts: 605000 | #Constraints: 29672
124.17/124.54 c #Conflicts: 606000 | #Constraints: 30672
124.17/124.54 c #Conflicts: 607000 | #Constraints: 31672
124.17/124.54 c INPROCESSING
124.17/124.54 c GARBAGE COLLECT
124.17/124.54 c #Conflicts: 608000 | #Constraints: 17272
124.17/124.54 c #Conflicts: 609000 | #Constraints: 18272
124.17/124.54 c #Conflicts: 610000 | #Constraints: 19272
124.17/124.54 c #Conflicts: 611000 | #Constraints: 20272
124.17/124.54 c #Conflicts: 612000 | #Constraints: 21272
124.17/124.54 c #Conflicts: 613000 | #Constraints: 22272
124.17/124.54 c #Conflicts: 614000 | #Constraints: 23272
124.17/124.54 c #Conflicts: 615000 | #Constraints: 24272
124.17/124.54 c #Conflicts: 616000 | #Constraints: 25272
124.17/124.54 c #Conflicts: 617000 | #Constraints: 26272
124.17/124.54 c #Conflicts: 618000 | #Constraints: 27272
124.17/124.54 c #Conflicts: 619000 | #Constraints: 28272
124.17/124.54 c #Conflicts: 620000 | #Constraints: 29272
124.17/124.54 c #Conflicts: 621000 | #Constraints: 30272
124.17/124.54 c #Conflicts: 622000 | #Constraints: 31272
124.17/124.54 c #Conflicts: 623000 | #Constraints: 32272
124.17/124.54 c INPROCESSING
124.17/124.54 c GARBAGE COLLECT
124.17/124.54 c #Conflicts: 624000 | #Constraints: 17667
124.17/124.54 c #Conflicts: 625000 | #Constraints: 18667
124.17/124.54 c #Conflicts: 626000 | #Constraints: 19667
124.17/124.54 c #Conflicts: 627000 | #Constraints: 20667
124.17/124.54 c #Conflicts: 628000 | #Constraints: 21667
142.54/143.00 c #Conflicts: 629000 | #Constraints: 22667
142.54/143.00 c #Conflicts: 630000 | #Constraints: 23667
142.54/143.00 c #Conflicts: 631000 | #Constraints: 24667
142.54/143.00 c #Conflicts: 632000 | #Constraints: 25667
142.54/143.00 c #Conflicts: 633000 | #Constraints: 26667
142.54/143.00 c #Conflicts: 634000 | #Constraints: 27667
142.54/143.00 c #Conflicts: 635000 | #Constraints: 28667
142.54/143.00 c #Conflicts: 636000 | #Constraints: 29667
142.54/143.00 c #Conflicts: 637000 | #Constraints: 30667
142.54/143.00 c #Conflicts: 638000 | #Constraints: 31667
142.54/143.00 c #Conflicts: 639000 | #Constraints: 32667
142.54/143.00 c INPROCESSING
142.54/143.00 c GARBAGE COLLECT
142.54/143.00 c #Conflicts: 640000 | #Constraints: 17870
142.54/143.00 c #Conflicts: 641000 | #Constraints: 18870
142.54/143.00 c #Conflicts: 642000 | #Constraints: 19870
142.54/143.00 c #Conflicts: 643000 | #Constraints: 20870
142.54/143.00 c #Conflicts: 644000 | #Constraints: 21870
142.54/143.00 c #Conflicts: 645000 | #Constraints: 22870
142.54/143.00 c #Conflicts: 646000 | #Constraints: 23870
142.54/143.00 c #Conflicts: 647000 | #Constraints: 24870
142.54/143.00 c #Conflicts: 648000 | #Constraints: 25870
142.54/143.00 c #Conflicts: 649000 | #Constraints: 26870
142.54/143.00 c #Conflicts: 650000 | #Constraints: 27870
142.54/143.00 c #Conflicts: 651000 | #Constraints: 28870
142.54/143.00 c #Conflicts: 652000 | #Constraints: 29870
142.54/143.00 c #Conflicts: 653000 | #Constraints: 30870
142.54/143.00 c #Conflicts: 654000 | #Constraints: 31870
142.54/143.00 c #Conflicts: 655000 | #Constraints: 32870
142.54/143.00 c INPROCESSING
142.54/143.00 c GARBAGE COLLECT
142.54/143.00 c #Conflicts: 656000 | #Constraints: 17875
142.54/143.00 c #Conflicts: 657000 | #Constraints: 18875
142.54/143.00 c #Conflicts: 658000 | #Constraints: 19875
142.54/143.00 c #Conflicts: 659000 | #Constraints: 20875
142.54/143.00 c #Conflicts: 660000 | #Constraints: 21875
142.54/143.00 c #Conflicts: 661000 | #Constraints: 22875
142.54/143.00 c #Conflicts: 662000 | #Constraints: 23875
142.54/143.00 c #Conflicts: 663000 | #Constraints: 24875
142.54/143.00 c #Conflicts: 664000 | #Constraints: 25875
142.54/143.00 c #Conflicts: 665000 | #Constraints: 26875
142.54/143.00 c #Conflicts: 666000 | #Constraints: 27875
142.54/143.00 c #Conflicts: 667000 | #Constraints: 28875
142.54/143.00 c #Conflicts: 668000 | #Constraints: 29875
142.54/143.00 c #Conflicts: 669000 | #Constraints: 30875
142.54/143.00 c #Conflicts: 670000 | #Constraints: 31875
142.54/143.00 c #Conflicts: 671000 | #Constraints: 32875
142.54/143.00 c INPROCESSING
142.54/143.00 c GARBAGE COLLECT
142.54/143.00 c #Conflicts: 672000 | #Constraints: 17676
142.54/143.00 c #Conflicts: 673000 | #Constraints: 18676
142.54/143.00 c #Conflicts: 674000 | #Constraints: 19676
142.54/143.00 c #Conflicts: 675000 | #Constraints: 20676
142.54/143.00 c #Conflicts: 676000 | #Constraints: 21676
142.54/143.00 c #Conflicts: 677000 | #Constraints: 22676
142.54/143.00 c #Conflicts: 678000 | #Constraints: 23676
142.54/143.00 c #Conflicts: 679000 | #Constraints: 24676
142.54/143.00 c #Conflicts: 680000 | #Constraints: 25676
142.54/143.00 c #Conflicts: 681000 | #Constraints: 26676
142.54/143.00 c #Conflicts: 682000 | #Constraints: 27676
142.54/143.00 c #Conflicts: 683000 | #Constraints: 28676
142.54/143.00 c #Conflicts: 684000 | #Constraints: 29676
142.54/143.00 c #Conflicts: 685000 | #Constraints: 30676
142.54/143.00 c #Conflicts: 686000 | #Constraints: 31676
142.54/143.00 c #Conflicts: 687000 | #Constraints: 32676
142.54/143.00 c #Conflicts: 688000 | #Constraints: 33676
142.54/143.00 c INPROCESSING
142.54/143.00 c GARBAGE COLLECT
142.54/143.00 c #Conflicts: 689000 | #Constraints: 18276
142.54/143.00 c #Conflicts: 690000 | #Constraints: 19276
142.54/143.00 c #Conflicts: 691000 | #Constraints: 20276
142.54/143.00 c #Conflicts: 692000 | #Constraints: 21276
142.54/143.00 c #Conflicts: 693000 | #Constraints: 22276
142.54/143.00 c #Conflicts: 694000 | #Constraints: 23276
142.54/143.00 c #Conflicts: 695000 | #Constraints: 24276
142.54/143.00 c #Conflicts: 696000 | #Constraints: 25276
142.54/143.00 c #Conflicts: 697000 | #Constraints: 26276
142.54/143.00 c #Conflicts: 698000 | #Constraints: 27276
142.54/143.00 c #Conflicts: 699000 | #Constraints: 28276
142.54/143.00 c #Conflicts: 700000 | #Constraints: 29276
142.54/143.00 c #Conflicts: 701000 | #Constraints: 30276
142.54/143.00 c #Conflicts: 702000 | #Constraints: 31276
142.54/143.00 c #Conflicts: 703000 | #Constraints: 32276
142.54/143.00 c #Conflicts: 704000 | #Constraints: 33276
160.69/161.16 c #Conflicts: 705000 | #Constraints: 34276
160.69/161.16 c INPROCESSING
160.69/161.16 c GARBAGE COLLECT
160.69/161.16 c #Conflicts: 706000 | #Constraints: 18672
160.69/161.16 c #Conflicts: 707000 | #Constraints: 19672
160.69/161.16 c #Conflicts: 708000 | #Constraints: 20672
160.69/161.16 c #Conflicts: 709000 | #Constraints: 21672
160.69/161.16 c #Conflicts: 710000 | #Constraints: 22672
160.69/161.16 c #Conflicts: 711000 | #Constraints: 23672
160.69/161.16 c #Conflicts: 712000 | #Constraints: 24672
160.69/161.16 c #Conflicts: 713000 | #Constraints: 25672
160.69/161.16 c #Conflicts: 714000 | #Constraints: 26672
160.69/161.16 c #Conflicts: 715000 | #Constraints: 27672
160.69/161.16 c #Conflicts: 716000 | #Constraints: 28672
160.69/161.16 c #Conflicts: 717000 | #Constraints: 29672
160.69/161.16 c #Conflicts: 718000 | #Constraints: 30672
160.69/161.16 c #Conflicts: 719000 | #Constraints: 31672
160.69/161.16 c #Conflicts: 720000 | #Constraints: 32672
160.69/161.16 c #Conflicts: 721000 | #Constraints: 33672
160.69/161.16 c #Conflicts: 722000 | #Constraints: 34672
160.69/161.16 c INPROCESSING
160.69/161.16 c GARBAGE COLLECT
160.69/161.16 c #Conflicts: 723000 | #Constraints: 18874
160.69/161.16 c #Conflicts: 724000 | #Constraints: 19874
160.69/161.16 c #Conflicts: 725000 | #Constraints: 20874
160.69/161.16 c #Conflicts: 726000 | #Constraints: 21874
160.69/161.16 c #Conflicts: 727000 | #Constraints: 22874
160.69/161.16 c #Conflicts: 728000 | #Constraints: 23874
160.69/161.16 c #Conflicts: 729000 | #Constraints: 24874
160.69/161.16 c #Conflicts: 730000 | #Constraints: 25874
160.69/161.16 c #Conflicts: 731000 | #Constraints: 26874
160.69/161.16 c #Conflicts: 732000 | #Constraints: 27874
160.69/161.16 c #Conflicts: 733000 | #Constraints: 28874
160.69/161.16 c #Conflicts: 734000 | #Constraints: 29874
160.69/161.16 c #Conflicts: 735000 | #Constraints: 30874
160.69/161.16 c #Conflicts: 736000 | #Constraints: 31874
160.69/161.16 c #Conflicts: 737000 | #Constraints: 32874
160.69/161.16 c #Conflicts: 738000 | #Constraints: 33874
160.69/161.16 c #Conflicts: 739000 | #Constraints: 34874
160.69/161.16 c INPROCESSING
160.69/161.16 c GARBAGE COLLECT
160.69/161.16 c #Conflicts: 740000 | #Constraints: 18874
160.69/161.16 c #Conflicts: 741000 | #Constraints: 19874
160.69/161.16 c #Conflicts: 742000 | #Constraints: 20874
160.69/161.16 c #Conflicts: 743000 | #Constraints: 21874
160.69/161.16 c #Conflicts: 744000 | #Constraints: 22874
160.69/161.16 c #Conflicts: 745000 | #Constraints: 23874
160.69/161.16 c #Conflicts: 746000 | #Constraints: 24874
160.69/161.16 c #Conflicts: 747000 | #Constraints: 25874
160.69/161.16 c #Conflicts: 748000 | #Constraints: 26874
160.69/161.16 c #Conflicts: 749000 | #Constraints: 27874
160.69/161.16 c #Conflicts: 750000 | #Constraints: 28874
160.69/161.16 c #Conflicts: 751000 | #Constraints: 29874
160.69/161.16 c #Conflicts: 752000 | #Constraints: 30874
160.69/161.16 c #Conflicts: 753000 | #Constraints: 31874
160.69/161.16 c #Conflicts: 754000 | #Constraints: 32874
160.69/161.16 c #Conflicts: 755000 | #Constraints: 33874
160.69/161.16 c #Conflicts: 756000 | #Constraints: 34874
160.69/161.16 c INPROCESSING
160.69/161.16 c GARBAGE COLLECT
160.69/161.16 c #Conflicts: 757000 | #Constraints: 18671
160.69/161.16 c #Conflicts: 758000 | #Constraints: 19671
160.69/161.16 c #Conflicts: 759000 | #Constraints: 20671
160.69/161.16 c #Conflicts: 760000 | #Constraints: 21671
160.69/161.16 c #Conflicts: 761000 | #Constraints: 22671
160.69/161.16 c #Conflicts: 762000 | #Constraints: 23671
160.69/161.16 c #Conflicts: 763000 | #Constraints: 24671
160.69/161.16 c #Conflicts: 764000 | #Constraints: 25671
160.69/161.16 c #Conflicts: 765000 | #Constraints: 26671
160.69/161.16 c #Conflicts: 766000 | #Constraints: 27671
160.69/161.16 c #Conflicts: 767000 | #Constraints: 28671
160.69/161.16 c #Conflicts: 768000 | #Constraints: 29671
160.69/161.16 c #Conflicts: 769000 | #Constraints: 30671
160.69/161.16 c #Conflicts: 770000 | #Constraints: 31671
160.69/161.16 c #Conflicts: 771000 | #Constraints: 32671
160.69/161.16 c #Conflicts: 772000 | #Constraints: 33671
160.69/161.16 c #Conflicts: 773000 | #Constraints: 34671
160.69/161.16 c #Conflicts: 774000 | #Constraints: 35671
160.69/161.16 c INPROCESSING
160.69/161.16 c GARBAGE COLLECT
160.69/161.16 c #Conflicts: 775000 | #Constraints: 19274
160.69/161.16 c #Conflicts: 776000 | #Constraints: 20274
160.69/161.16 c #Conflicts: 777000 | #Constraints: 21274
160.69/161.16 c #Conflicts: 778000 | #Constraints: 22274
160.69/161.16 c #Conflicts: 779000 | #Constraints: 23274
160.69/161.16 c #Conflicts: 780000 | #Constraints: 24274
175.96/176.47 c #Conflicts: 781000 | #Constraints: 25274
175.96/176.47 c #Conflicts: 782000 | #Constraints: 26274
175.96/176.47 c #Conflicts: 783000 | #Constraints: 27274
175.96/176.47 c #Conflicts: 784000 | #Constraints: 28274
175.96/176.47 c #Conflicts: 785000 | #Constraints: 29274
175.96/176.47 c #Conflicts: 786000 | #Constraints: 30274
175.96/176.47 c #Conflicts: 787000 | #Constraints: 31274
175.96/176.47 c #Conflicts: 788000 | #Constraints: 32274
175.96/176.47 c #Conflicts: 789000 | #Constraints: 33274
175.96/176.47 c #Conflicts: 790000 | #Constraints: 34274
175.96/176.47 c #Conflicts: 791000 | #Constraints: 35274
175.96/176.47 c #Conflicts: 792000 | #Constraints: 36274
175.96/176.47 c INPROCESSING
175.96/176.47 c GARBAGE COLLECT
175.96/176.47 c #Conflicts: 793000 | #Constraints: 19674
175.96/176.47 c #Conflicts: 794000 | #Constraints: 20674
175.96/176.47 c #Conflicts: 795000 | #Constraints: 21674
175.96/176.47 c #Conflicts: 796000 | #Constraints: 22674
175.96/176.47 c #Conflicts: 797000 | #Constraints: 23674
175.96/176.47 c #Conflicts: 798000 | #Constraints: 24674
175.96/176.47 c #Conflicts: 799000 | #Constraints: 25674
175.96/176.47 c #Conflicts: 800000 | #Constraints: 26674
175.96/176.47 c #Conflicts: 801000 | #Constraints: 27674
175.96/176.47 c #Conflicts: 802000 | #Constraints: 28674
175.96/176.47 c #Conflicts: 803000 | #Constraints: 29674
175.96/176.47 c #Conflicts: 804000 | #Constraints: 30674
175.96/176.47 c #Conflicts: 805000 | #Constraints: 31674
175.96/176.47 c #Conflicts: 806000 | #Constraints: 32674
175.96/176.47 c #Conflicts: 807000 | #Constraints: 33674
175.96/176.47 c #Conflicts: 808000 | #Constraints: 34674
175.96/176.47 c #Conflicts: 809000 | #Constraints: 35674
175.96/176.47 c #Conflicts: 810000 | #Constraints: 36674
175.96/176.47 c INPROCESSING
175.96/176.47 c GARBAGE COLLECT
175.96/176.47 c #Conflicts: 811000 | #Constraints: 19873
175.96/176.47 c #Conflicts: 812000 | #Constraints: 20873
175.96/176.47 c #Conflicts: 813000 | #Constraints: 21873
175.96/176.47 c #Conflicts: 814000 | #Constraints: 22873
175.96/176.47 c #Conflicts: 815000 | #Constraints: 23873
175.96/176.47 c #Conflicts: 816000 | #Constraints: 24873
175.96/176.47 c #Conflicts: 817000 | #Constraints: 25873
175.96/176.47 c #Conflicts: 818000 | #Constraints: 26873
175.96/176.47 c #Conflicts: 819000 | #Constraints: 27873
175.96/176.47 c #Conflicts: 820000 | #Constraints: 28873
175.96/176.47 c #Conflicts: 821000 | #Constraints: 29873
175.96/176.47 c #Conflicts: 822000 | #Constraints: 30873
175.96/176.47 c #Conflicts: 823000 | #Constraints: 31873
175.96/176.47 c #Conflicts: 824000 | #Constraints: 32873
175.96/176.47 c #Conflicts: 825000 | #Constraints: 33873
175.96/176.47 c #Conflicts: 826000 | #Constraints: 34873
175.96/176.47 c #Conflicts: 827000 | #Constraints: 35873
175.96/176.47 c #Conflicts: 828000 | #Constraints: 36873
175.96/176.47 c INPROCESSING
175.96/176.47 c GARBAGE COLLECT
175.96/176.47 c #Conflicts: 829000 | #Constraints: 19876
175.96/176.47 c #Conflicts: 830000 | #Constraints: 20876
175.96/176.47 c #Conflicts: 831000 | #Constraints: 21876
175.96/176.47 c #Conflicts: 832000 | #Constraints: 22876
175.96/176.47 c #Conflicts: 833000 | #Constraints: 23876
175.96/176.47 c #Conflicts: 834000 | #Constraints: 24876
175.96/176.47 c #Conflicts: 835000 | #Constraints: 25876
175.96/176.47 c #Conflicts: 836000 | #Constraints: 26876
175.96/176.47 c #Conflicts: 837000 | #Constraints: 27876
175.96/176.47 c #Conflicts: 838000 | #Constraints: 28876
175.96/176.47 c #Conflicts: 839000 | #Constraints: 29876
175.96/176.47 c #Conflicts: 840000 | #Constraints: 30876
175.96/176.47 c GLOBAL bounds -162 >= -168 @ 173.086
175.96/176.48 c GLOBAL bounds -162 >= -168 @ 173.09
175.96/176.48 c GLOBAL bounds -162 >= -168 @ 173.09
175.96/176.48 c GLOBAL bounds -162 >= -168 @ 173.09
175.96/176.48 c GLOBAL bounds -162 >= -168 @ 173.09
175.96/176.48 c GLOBAL bounds -162 >= -168 @ 173.091
175.96/176.48 c GLOBAL bounds -162 >= -168 @ 173.091
175.96/176.48 c GLOBAL bounds -162 >= -168 @ 173.095
175.96/176.48 c GLOBAL bounds -163 >= -168 @ 173.096
176.06/176.50 c GLOBAL bounds -163 >= -168 @ 173.112
176.06/176.50 c GLOBAL bounds -163 >= -168 @ 173.113
176.26/176.72 c #Conflicts: 841000 | #Constraints: 31884
176.26/176.72 c GLOBAL bounds -163 >= -168 @ 173.322
176.26/176.72 c GLOBAL bounds -164 >= -168 @ 173.323
176.35/176.88 c #Conflicts: 842000 | #Constraints: 32886
176.35/176.88 c GLOBAL bounds -164 >= -168 @ 173.479
176.35/176.88 c GLOBAL bounds -164 >= -168 @ 173.48
176.76/177.27 c #Conflicts: 843000 | #Constraints: 33887
176.76/177.27 c #Conflicts: 844000 | #Constraints: 34887
176.76/177.27 c GLOBAL bounds -164 >= -168 @ 173.862
176.76/177.27 c GLOBAL bounds -164 >= -168 @ 173.862
177.06/177.56 c #Conflicts: 845000 | #Constraints: 35888
177.06/177.56 c #Conflicts: 846000 | #Constraints: 36888
177.06/177.56 c GLOBAL bounds -164 >= -168 @ 174.144
177.06/177.56 c GLOBAL bounds -164 >= -168 @ 174.145
185.64/186.16 c INPROCESSING
185.64/186.16 c GARBAGE COLLECT
185.64/186.16 c #Conflicts: 847000 | #Constraints: 19678
185.64/186.16 c #Conflicts: 848000 | #Constraints: 20678
185.64/186.16 c #Conflicts: 849000 | #Constraints: 21678
185.64/186.16 c #Conflicts: 850000 | #Constraints: 22678
185.64/186.16 c #Conflicts: 851000 | #Constraints: 23678
185.64/186.16 c #Conflicts: 852000 | #Constraints: 24678
185.64/186.16 c #Conflicts: 853000 | #Constraints: 25678
185.64/186.16 c #Conflicts: 854000 | #Constraints: 26678
185.64/186.16 c #Conflicts: 855000 | #Constraints: 27678
185.64/186.16 c #Conflicts: 856000 | #Constraints: 28678
185.64/186.16 c #Conflicts: 857000 | #Constraints: 29678
185.64/186.16 c #Conflicts: 858000 | #Constraints: 30678
185.64/186.16 c #Conflicts: 859000 | #Constraints: 31678
185.64/186.16 c #Conflicts: 860000 | #Constraints: 32678
185.64/186.16 c #Conflicts: 861000 | #Constraints: 33678
185.64/186.16 c #Conflicts: 862000 | #Constraints: 34678
185.64/186.16 c #Conflicts: 863000 | #Constraints: 35678
185.64/186.16 c #Conflicts: 864000 | #Constraints: 36678
185.64/186.16 c #Conflicts: 865000 | #Constraints: 37678
185.64/186.16 c INPROCESSING
185.64/186.16 c GARBAGE COLLECT
185.64/186.16 c #Conflicts: 866000 | #Constraints: 20277
185.64/186.16 c #Conflicts: 867000 | #Constraints: 21277
185.64/186.16 c #Conflicts: 868000 | #Constraints: 22277
185.64/186.16 c #Conflicts: 869000 | #Constraints: 23277
185.64/186.16 c #Conflicts: 870000 | #Constraints: 24277
185.64/186.16 c #Conflicts: 871000 | #Constraints: 25277
185.64/186.16 c #Conflicts: 872000 | #Constraints: 26277
185.64/186.16 c #Conflicts: 873000 | #Constraints: 27277
185.64/186.16 c #Conflicts: 874000 | #Constraints: 28277
185.64/186.16 c #Conflicts: 875000 | #Constraints: 29277
185.64/186.16 c #Conflicts: 876000 | #Constraints: 30277
185.64/186.16 c #Conflicts: 877000 | #Constraints: 31277
185.64/186.16 c #Conflicts: 878000 | #Constraints: 32277
185.64/186.16 c #Conflicts: 879000 | #Constraints: 33277
185.64/186.16 c #Conflicts: 880000 | #Constraints: 34277
185.64/186.16 c #Conflicts: 881000 | #Constraints: 35277
185.64/186.16 c #Conflicts: 882000 | #Constraints: 36277
185.64/186.16 c #Conflicts: 883000 | #Constraints: 37277
185.64/186.16 c #Conflicts: 884000 | #Constraints: 38277
185.64/186.16 c INPROCESSING
185.64/186.16 c GARBAGE COLLECT
185.64/186.16 c #Conflicts: 885000 | #Constraints: 20676
185.64/186.16 c #Conflicts: 886000 | #Constraints: 21676
185.64/186.16 c #Conflicts: 887000 | #Constraints: 22676
185.64/186.16 c #Conflicts: 888000 | #Constraints: 23676
185.64/186.16 c #Conflicts: 889000 | #Constraints: 24676
185.64/186.16 c #Conflicts: 890000 | #Constraints: 25676
185.64/186.16 c #Conflicts: 891000 | #Constraints: 26676
185.64/186.16 c #Conflicts: 892000 | #Constraints: 27676
185.64/186.16 c #Conflicts: 893000 | #Constraints: 28676
185.64/186.16 c #Conflicts: 894000 | #Constraints: 29676
185.64/186.16 c #Conflicts: 895000 | #Constraints: 30676
185.64/186.16 c GLOBAL bounds -164 >= -168 @ 182.578
185.64/186.16 c GLOBAL bounds -164 >= -168 @ 182.579
186.73/187.24 c #Conflicts: 896000 | #Constraints: 31677
186.73/187.24 c #Conflicts: 897000 | #Constraints: 32677
186.73/187.24 c #Conflicts: 898000 | #Constraints: 33677
186.73/187.24 c #Conflicts: 899000 | #Constraints: 34677
186.73/187.24 c #Conflicts: 900000 | #Constraints: 35677
186.73/187.24 c #Conflicts: 901000 | #Constraints: 36677
186.73/187.24 c GLOBAL bounds -164 >= -168 @ 183.64
186.73/187.24 c GLOBAL bounds -164 >= -168 @ 183.641
186.73/187.25 c GLOBAL bounds -164 >= -168 @ 183.656
186.73/187.25 c GLOBAL bounds -164 >= -168 @ 183.656
186.73/187.26 c GLOBAL bounds -164 >= -168 @ 183.659
186.73/187.26 c GLOBAL bounds -164 >= -168 @ 183.659
186.73/187.26 c GLOBAL bounds -164 >= -168 @ 183.663
186.73/187.26 c GLOBAL bounds -164 >= -168 @ 183.663
186.73/187.27 c GLOBAL bounds -164 >= -168 @ 183.668
203.60/204.16 c #Conflicts: 902000 | #Constraints: 37681
203.60/204.16 c #Conflicts: 903000 | #Constraints: 38681
203.60/204.16 c INPROCESSING
203.60/204.16 c GARBAGE COLLECT
203.60/204.16 c #Conflicts: 904000 | #Constraints: 20880
203.60/204.16 c #Conflicts: 905000 | #Constraints: 21880
203.60/204.16 c #Conflicts: 906000 | #Constraints: 22880
203.60/204.16 c #Conflicts: 907000 | #Constraints: 23880
203.60/204.16 c #Conflicts: 908000 | #Constraints: 24880
203.60/204.16 c #Conflicts: 909000 | #Constraints: 25880
203.60/204.16 c #Conflicts: 910000 | #Constraints: 26880
203.60/204.16 c #Conflicts: 911000 | #Constraints: 27880
203.60/204.16 c #Conflicts: 912000 | #Constraints: 28880
203.60/204.16 c #Conflicts: 913000 | #Constraints: 29880
203.60/204.16 c #Conflicts: 914000 | #Constraints: 30880
203.60/204.16 c #Conflicts: 915000 | #Constraints: 31880
203.60/204.16 c #Conflicts: 916000 | #Constraints: 32880
203.60/204.16 c #Conflicts: 917000 | #Constraints: 33880
203.60/204.16 c #Conflicts: 918000 | #Constraints: 34880
203.60/204.16 c #Conflicts: 919000 | #Constraints: 35880
203.60/204.16 c #Conflicts: 920000 | #Constraints: 36880
203.60/204.16 c #Conflicts: 921000 | #Constraints: 37880
203.60/204.16 c #Conflicts: 922000 | #Constraints: 38880
203.60/204.16 c INPROCESSING
203.60/204.16 c GARBAGE COLLECT
203.60/204.16 c #Conflicts: 923000 | #Constraints: 20882
203.60/204.16 c #Conflicts: 924000 | #Constraints: 21882
203.60/204.16 c #Conflicts: 925000 | #Constraints: 22882
203.60/204.16 c #Conflicts: 926000 | #Constraints: 23882
203.60/204.16 c #Conflicts: 927000 | #Constraints: 24882
203.60/204.16 c #Conflicts: 928000 | #Constraints: 25882
203.60/204.16 c #Conflicts: 929000 | #Constraints: 26882
203.60/204.16 c #Conflicts: 930000 | #Constraints: 27882
203.60/204.16 c #Conflicts: 931000 | #Constraints: 28882
203.60/204.16 c #Conflicts: 932000 | #Constraints: 29882
203.60/204.16 c #Conflicts: 933000 | #Constraints: 30882
203.60/204.16 c #Conflicts: 934000 | #Constraints: 31882
203.60/204.16 c #Conflicts: 935000 | #Constraints: 32882
203.60/204.16 c #Conflicts: 936000 | #Constraints: 33882
203.60/204.16 c #Conflicts: 937000 | #Constraints: 34882
203.60/204.16 c #Conflicts: 938000 | #Constraints: 35882
203.60/204.16 c #Conflicts: 939000 | #Constraints: 36882
203.60/204.16 c #Conflicts: 940000 | #Constraints: 37882
203.60/204.16 c #Conflicts: 941000 | #Constraints: 38882
203.60/204.16 c INPROCESSING
203.60/204.16 c GARBAGE COLLECT
203.60/204.16 c #Conflicts: 942000 | #Constraints: 20681
203.60/204.16 c #Conflicts: 943000 | #Constraints: 21681
203.60/204.16 c #Conflicts: 944000 | #Constraints: 22681
203.60/204.16 c #Conflicts: 945000 | #Constraints: 23681
203.60/204.16 c #Conflicts: 946000 | #Constraints: 24681
203.60/204.16 c #Conflicts: 947000 | #Constraints: 25681
203.60/204.16 c #Conflicts: 948000 | #Constraints: 26681
203.60/204.16 c #Conflicts: 949000 | #Constraints: 27681
203.60/204.16 c #Conflicts: 950000 | #Constraints: 28681
203.60/204.16 c #Conflicts: 951000 | #Constraints: 29681
203.60/204.16 c #Conflicts: 952000 | #Constraints: 30681
203.60/204.16 c #Conflicts: 953000 | #Constraints: 31681
203.60/204.16 c #Conflicts: 954000 | #Constraints: 32681
203.60/204.16 c #Conflicts: 955000 | #Constraints: 33681
203.60/204.16 c #Conflicts: 956000 | #Constraints: 34681
203.60/204.16 c #Conflicts: 957000 | #Constraints: 35681
203.60/204.16 c #Conflicts: 958000 | #Constraints: 36681
203.60/204.16 c #Conflicts: 959000 | #Constraints: 37681
203.60/204.16 c #Conflicts: 960000 | #Constraints: 38681
203.60/204.16 c #Conflicts: 961000 | #Constraints: 39681
203.60/204.16 c INPROCESSING
203.60/204.16 c GARBAGE COLLECT
203.60/204.16 c #Conflicts: 962000 | #Constraints: 21276
203.60/204.16 c #Conflicts: 963000 | #Constraints: 22276
203.60/204.16 c #Conflicts: 964000 | #Constraints: 23276
203.60/204.16 c #Conflicts: 965000 | #Constraints: 24276
203.60/204.16 c #Conflicts: 966000 | #Constraints: 25276
203.60/204.16 c #Conflicts: 967000 | #Constraints: 26276
203.60/204.16 c #Conflicts: 968000 | #Constraints: 27276
203.60/204.16 c #Conflicts: 969000 | #Constraints: 28276
203.60/204.16 c #Conflicts: 970000 | #Constraints: 29276
203.60/204.16 c #Conflicts: 971000 | #Constraints: 30276
203.60/204.16 c #Conflicts: 972000 | #Constraints: 31276
203.60/204.16 c #Conflicts: 973000 | #Constraints: 32276
203.60/204.16 c #Conflicts: 974000 | #Constraints: 33276
203.60/204.16 c #Conflicts: 975000 | #Constraints: 34276
203.60/204.16 c #Conflicts: 976000 | #Constraints: 35276
203.60/204.16 c #Conflicts: 977000 | #Constraints: 36276
203.60/204.16 c #Conflicts: 978000 | #Constraints: 37276
222.35/223.00 c #Conflicts: 979000 | #Constraints: 38276
222.35/223.00 c #Conflicts: 980000 | #Constraints: 39276
222.35/223.00 c #Conflicts: 981000 | #Constraints: 40276
222.35/223.00 c INPROCESSING
222.35/223.00 c GARBAGE COLLECT
222.35/223.00 c #Conflicts: 982000 | #Constraints: 21682
222.35/223.00 c #Conflicts: 983000 | #Constraints: 22682
222.35/223.00 c #Conflicts: 984000 | #Constraints: 23682
222.35/223.00 c #Conflicts: 985000 | #Constraints: 24682
222.35/223.00 c #Conflicts: 986000 | #Constraints: 25682
222.35/223.00 c #Conflicts: 987000 | #Constraints: 26682
222.35/223.00 c #Conflicts: 988000 | #Constraints: 27682
222.35/223.00 c #Conflicts: 989000 | #Constraints: 28682
222.35/223.00 c #Conflicts: 990000 | #Constraints: 29682
222.35/223.00 c #Conflicts: 991000 | #Constraints: 30682
222.35/223.00 c #Conflicts: 992000 | #Constraints: 31682
222.35/223.00 c #Conflicts: 993000 | #Constraints: 32682
222.35/223.00 c #Conflicts: 994000 | #Constraints: 33682
222.35/223.00 c #Conflicts: 995000 | #Constraints: 34682
222.35/223.00 c #Conflicts: 996000 | #Constraints: 35682
222.35/223.00 c #Conflicts: 997000 | #Constraints: 36682
222.35/223.00 c #Conflicts: 998000 | #Constraints: 37682
222.35/223.00 c #Conflicts: 999000 | #Constraints: 38682
222.35/223.00 c #Conflicts: 1000000 | #Constraints: 39682
222.35/223.00 c #Conflicts: 1001000 | #Constraints: 40682
222.35/223.00 c INPROCESSING
222.35/223.00 c GARBAGE COLLECT
222.35/223.00 c #Conflicts: 1002000 | #Constraints: 21884
222.35/223.00 c #Conflicts: 1003000 | #Constraints: 22884
222.35/223.00 c #Conflicts: 1004000 | #Constraints: 23884
222.35/223.00 c #Conflicts: 1005000 | #Constraints: 24884
222.35/223.00 c #Conflicts: 1006000 | #Constraints: 25884
222.35/223.00 c #Conflicts: 1007000 | #Constraints: 26884
222.35/223.00 c #Conflicts: 1008000 | #Constraints: 27884
222.35/223.00 c #Conflicts: 1009000 | #Constraints: 28884
222.35/223.00 c #Conflicts: 1010000 | #Constraints: 29884
222.35/223.00 c #Conflicts: 1011000 | #Constraints: 30884
222.35/223.00 c #Conflicts: 1012000 | #Constraints: 31884
222.35/223.00 c #Conflicts: 1013000 | #Constraints: 32884
222.35/223.00 c #Conflicts: 1014000 | #Constraints: 33884
222.35/223.00 c #Conflicts: 1015000 | #Constraints: 34884
222.35/223.00 c #Conflicts: 1016000 | #Constraints: 35884
222.35/223.00 c #Conflicts: 1017000 | #Constraints: 36884
222.35/223.00 c #Conflicts: 1018000 | #Constraints: 37884
222.35/223.00 c #Conflicts: 1019000 | #Constraints: 38884
222.35/223.00 c #Conflicts: 1020000 | #Constraints: 39884
222.35/223.00 c #Conflicts: 1021000 | #Constraints: 40884
222.35/223.00 c INPROCESSING
222.35/223.00 c GARBAGE COLLECT
222.35/223.00 c #Conflicts: 1022000 | #Constraints: 21886
222.35/223.00 c #Conflicts: 1023000 | #Constraints: 22886
222.35/223.00 c #Conflicts: 1024000 | #Constraints: 23886
222.35/223.00 c #Conflicts: 1025000 | #Constraints: 24886
222.35/223.00 c #Conflicts: 1026000 | #Constraints: 25886
222.35/223.00 c #Conflicts: 1027000 | #Constraints: 26886
222.35/223.00 c #Conflicts: 1028000 | #Constraints: 27886
222.35/223.00 c #Conflicts: 1029000 | #Constraints: 28886
222.35/223.00 c #Conflicts: 1030000 | #Constraints: 29886
222.35/223.00 c #Conflicts: 1031000 | #Constraints: 30886
222.35/223.00 c #Conflicts: 1032000 | #Constraints: 31886
222.35/223.00 c #Conflicts: 1033000 | #Constraints: 32886
222.35/223.00 c #Conflicts: 1034000 | #Constraints: 33886
222.35/223.00 c #Conflicts: 1035000 | #Constraints: 34886
222.35/223.00 c #Conflicts: 1036000 | #Constraints: 35886
222.35/223.00 c #Conflicts: 1037000 | #Constraints: 36886
222.35/223.00 c #Conflicts: 1038000 | #Constraints: 37886
222.35/223.00 c #Conflicts: 1039000 | #Constraints: 38886
222.35/223.00 c #Conflicts: 1040000 | #Constraints: 39886
222.35/223.00 c #Conflicts: 1041000 | #Constraints: 40886
222.35/223.00 c INPROCESSING
222.35/223.00 c GARBAGE COLLECT
222.35/223.00 c #Conflicts: 1042000 | #Constraints: 21688
222.35/223.00 c #Conflicts: 1043000 | #Constraints: 22688
222.35/223.00 c #Conflicts: 1044000 | #Constraints: 23688
222.35/223.00 c #Conflicts: 1045000 | #Constraints: 24688
222.35/223.00 c #Conflicts: 1046000 | #Constraints: 25688
222.35/223.00 c #Conflicts: 1047000 | #Constraints: 26688
222.35/223.00 c #Conflicts: 1048000 | #Constraints: 27688
222.35/223.00 c #Conflicts: 1049000 | #Constraints: 28688
222.35/223.00 c #Conflicts: 1050000 | #Constraints: 29688
222.35/223.00 c #Conflicts: 1051000 | #Constraints: 30688
222.35/223.00 c #Conflicts: 1052000 | #Constraints: 31688
222.35/223.00 c #Conflicts: 1053000 | #Constraints: 32688
222.35/223.00 c #Conflicts: 1054000 | #Constraints: 33688
243.20/243.81 c #Conflicts: 1055000 | #Constraints: 34688
243.20/243.81 c #Conflicts: 1056000 | #Constraints: 35688
243.20/243.81 c #Conflicts: 1057000 | #Constraints: 36688
243.20/243.81 c #Conflicts: 1058000 | #Constraints: 37688
243.20/243.81 c #Conflicts: 1059000 | #Constraints: 38688
243.20/243.81 c #Conflicts: 1060000 | #Constraints: 39688
243.20/243.81 c #Conflicts: 1061000 | #Constraints: 40688
243.20/243.81 c #Conflicts: 1062000 | #Constraints: 41688
243.20/243.81 c INPROCESSING
243.20/243.81 c GARBAGE COLLECT
243.20/243.81 c #Conflicts: 1063000 | #Constraints: 22285
243.20/243.81 c #Conflicts: 1064000 | #Constraints: 23285
243.20/243.81 c #Conflicts: 1065000 | #Constraints: 24285
243.20/243.81 c #Conflicts: 1066000 | #Constraints: 25285
243.20/243.81 c #Conflicts: 1067000 | #Constraints: 26285
243.20/243.81 c #Conflicts: 1068000 | #Constraints: 27285
243.20/243.81 c #Conflicts: 1069000 | #Constraints: 28285
243.20/243.81 c #Conflicts: 1070000 | #Constraints: 29285
243.20/243.81 c #Conflicts: 1071000 | #Constraints: 30285
243.20/243.81 c #Conflicts: 1072000 | #Constraints: 31285
243.20/243.81 c #Conflicts: 1073000 | #Constraints: 32285
243.20/243.81 c #Conflicts: 1074000 | #Constraints: 33285
243.20/243.81 c #Conflicts: 1075000 | #Constraints: 34285
243.20/243.81 c #Conflicts: 1076000 | #Constraints: 35285
243.20/243.81 c #Conflicts: 1077000 | #Constraints: 36285
243.20/243.81 c #Conflicts: 1078000 | #Constraints: 37285
243.20/243.81 c #Conflicts: 1079000 | #Constraints: 38285
243.20/243.81 c #Conflicts: 1080000 | #Constraints: 39285
243.20/243.81 c #Conflicts: 1081000 | #Constraints: 40285
243.20/243.81 c #Conflicts: 1082000 | #Constraints: 41285
243.20/243.81 c #Conflicts: 1083000 | #Constraints: 42285
243.20/243.81 c INPROCESSING
243.20/243.81 c GARBAGE COLLECT
243.20/243.81 c #Conflicts: 1084000 | #Constraints: 22684
243.20/243.81 c #Conflicts: 1085000 | #Constraints: 23684
243.20/243.81 c #Conflicts: 1086000 | #Constraints: 24684
243.20/243.81 c #Conflicts: 1087000 | #Constraints: 25684
243.20/243.81 c #Conflicts: 1088000 | #Constraints: 26684
243.20/243.81 c #Conflicts: 1089000 | #Constraints: 27684
243.20/243.81 c #Conflicts: 1090000 | #Constraints: 28684
243.20/243.81 c #Conflicts: 1091000 | #Constraints: 29684
243.20/243.81 c #Conflicts: 1092000 | #Constraints: 30684
243.20/243.81 c #Conflicts: 1093000 | #Constraints: 31684
243.20/243.81 c #Conflicts: 1094000 | #Constraints: 32684
243.20/243.81 c #Conflicts: 1095000 | #Constraints: 33684
243.20/243.81 c #Conflicts: 1096000 | #Constraints: 34684
243.20/243.81 c #Conflicts: 1097000 | #Constraints: 35684
243.20/243.81 c #Conflicts: 1098000 | #Constraints: 36684
243.20/243.81 c #Conflicts: 1099000 | #Constraints: 37684
243.20/243.81 c #Conflicts: 1100000 | #Constraints: 38684
243.20/243.81 c #Conflicts: 1101000 | #Constraints: 39684
243.20/243.81 c #Conflicts: 1102000 | #Constraints: 40684
243.20/243.81 c #Conflicts: 1103000 | #Constraints: 41684
243.20/243.81 c #Conflicts: 1104000 | #Constraints: 42684
243.20/243.81 c INPROCESSING
243.20/243.81 c GARBAGE COLLECT
243.20/243.81 c #Conflicts: 1105000 | #Constraints: 22885
243.20/243.81 c #Conflicts: 1106000 | #Constraints: 23885
243.20/243.81 c #Conflicts: 1107000 | #Constraints: 24885
243.20/243.81 c #Conflicts: 1108000 | #Constraints: 25885
243.20/243.81 c #Conflicts: 1109000 | #Constraints: 26885
243.20/243.81 c #Conflicts: 1110000 | #Constraints: 27885
243.20/243.81 c #Conflicts: 1111000 | #Constraints: 28885
243.20/243.81 c #Conflicts: 1112000 | #Constraints: 29885
243.20/243.81 c #Conflicts: 1113000 | #Constraints: 30885
243.20/243.81 c #Conflicts: 1114000 | #Constraints: 31885
243.20/243.81 c #Conflicts: 1115000 | #Constraints: 32885
243.20/243.81 c #Conflicts: 1116000 | #Constraints: 33885
243.20/243.81 c #Conflicts: 1117000 | #Constraints: 34885
243.20/243.81 c #Conflicts: 1118000 | #Constraints: 35885
243.20/243.81 c #Conflicts: 1119000 | #Constraints: 36885
243.20/243.81 c #Conflicts: 1120000 | #Constraints: 37885
243.20/243.81 c #Conflicts: 1121000 | #Constraints: 38885
243.20/243.81 c #Conflicts: 1122000 | #Constraints: 39885
243.20/243.81 c #Conflicts: 1123000 | #Constraints: 40885
243.20/243.81 c #Conflicts: 1124000 | #Constraints: 41885
243.20/243.81 c #Conflicts: 1125000 | #Constraints: 42885
243.20/243.81 c INPROCESSING
243.20/243.81 c GARBAGE COLLECT
243.20/243.81 c #Conflicts: 1126000 | #Constraints: 22883
243.20/243.81 c #Conflicts: 1127000 | #Constraints: 23883
243.20/243.81 c #Conflicts: 1128000 | #Constraints: 24883
243.20/243.81 c #Conflicts: 1129000 | #Constraints: 25883
243.20/243.81 c #Conflicts: 1130000 | #Constraints: 26883
258.76/259.43 c #Conflicts: 1131000 | #Constraints: 27883
258.76/259.43 c #Conflicts: 1132000 | #Constraints: 28883
258.76/259.43 c #Conflicts: 1133000 | #Constraints: 29883
258.76/259.43 c #Conflicts: 1134000 | #Constraints: 30883
258.76/259.43 c #Conflicts: 1135000 | #Constraints: 31883
258.76/259.43 c #Conflicts: 1136000 | #Constraints: 32883
258.76/259.43 c #Conflicts: 1137000 | #Constraints: 33883
258.76/259.43 c #Conflicts: 1138000 | #Constraints: 34883
258.76/259.43 c #Conflicts: 1139000 | #Constraints: 35883
258.76/259.43 c #Conflicts: 1140000 | #Constraints: 36883
258.76/259.43 c #Conflicts: 1141000 | #Constraints: 37883
258.76/259.43 c #Conflicts: 1142000 | #Constraints: 38883
258.76/259.43 c #Conflicts: 1143000 | #Constraints: 39883
258.76/259.43 c #Conflicts: 1144000 | #Constraints: 40883
258.76/259.43 c #Conflicts: 1145000 | #Constraints: 41883
258.76/259.43 c #Conflicts: 1146000 | #Constraints: 42883
258.76/259.43 c INPROCESSING
258.76/259.43 c GARBAGE COLLECT
258.76/259.43 c #Conflicts: 1147000 | #Constraints: 22685
258.76/259.43 c #Conflicts: 1148000 | #Constraints: 23685
258.76/259.43 c #Conflicts: 1149000 | #Constraints: 24685
258.76/259.43 c #Conflicts: 1150000 | #Constraints: 25685
258.76/259.43 c #Conflicts: 1151000 | #Constraints: 26685
258.76/259.43 c #Conflicts: 1152000 | #Constraints: 27685
258.76/259.43 c #Conflicts: 1153000 | #Constraints: 28685
258.76/259.43 c #Conflicts: 1154000 | #Constraints: 29685
258.76/259.43 c #Conflicts: 1155000 | #Constraints: 30685
258.76/259.43 c #Conflicts: 1156000 | #Constraints: 31685
258.76/259.43 c #Conflicts: 1157000 | #Constraints: 32685
258.76/259.43 c #Conflicts: 1158000 | #Constraints: 33685
258.76/259.43 c #Conflicts: 1159000 | #Constraints: 34685
258.76/259.43 c #Conflicts: 1160000 | #Constraints: 35685
258.76/259.43 c #Conflicts: 1161000 | #Constraints: 36685
258.76/259.43 c #Conflicts: 1162000 | #Constraints: 37685
258.76/259.43 c #Conflicts: 1163000 | #Constraints: 38685
258.76/259.43 c #Conflicts: 1164000 | #Constraints: 39685
258.76/259.43 c #Conflicts: 1165000 | #Constraints: 40685
258.76/259.43 c #Conflicts: 1166000 | #Constraints: 41685
258.76/259.43 c #Conflicts: 1167000 | #Constraints: 42685
258.76/259.43 c #Conflicts: 1168000 | #Constraints: 43685
258.76/259.43 c INPROCESSING
258.76/259.43 c GARBAGE COLLECT
258.76/259.43 c #Conflicts: 1169000 | #Constraints: 23290
258.76/259.43 c #Conflicts: 1170000 | #Constraints: 24290
258.76/259.43 c #Conflicts: 1171000 | #Constraints: 25290
258.76/259.43 c #Conflicts: 1172000 | #Constraints: 26290
258.76/259.43 c #Conflicts: 1173000 | #Constraints: 27290
258.76/259.43 c #Conflicts: 1174000 | #Constraints: 28290
258.76/259.43 c #Conflicts: 1175000 | #Constraints: 29290
258.76/259.43 c #Conflicts: 1176000 | #Constraints: 30290
258.76/259.43 c #Conflicts: 1177000 | #Constraints: 31290
258.76/259.43 c #Conflicts: 1178000 | #Constraints: 32290
258.76/259.43 c #Conflicts: 1179000 | #Constraints: 33290
258.76/259.43 c #Conflicts: 1180000 | #Constraints: 34290
258.76/259.43 c #Conflicts: 1181000 | #Constraints: 35290
258.76/259.43 c #Conflicts: 1182000 | #Constraints: 36290
258.76/259.43 c #Conflicts: 1183000 | #Constraints: 37290
258.76/259.43 c #Conflicts: 1184000 | #Constraints: 38290
258.76/259.43 c #Conflicts: 1185000 | #Constraints: 39290
258.76/259.43 c #Conflicts: 1186000 | #Constraints: 40290
258.76/259.43 c #Conflicts: 1187000 | #Constraints: 41290
258.76/259.43 c GLOBAL bounds -164 >= -166 @ 254.813
258.76/259.43 c GLOBAL bounds -164 >= -166 @ 254.818
258.76/259.43 c GLOBAL bounds -164 >= -166 @ 254.818
258.76/259.44 c GLOBAL bounds -164 >= -166 @ 254.822
258.76/259.44 c GLOBAL bounds -164 >= -166 @ 254.823
260.15/260.81 c #Conflicts: 1188000 | #Constraints: 42292
260.15/260.81 c #Conflicts: 1189000 | #Constraints: 43292
260.15/260.81 c #Conflicts: 1190000 | #Constraints: 44292
260.15/260.81 c INPROCESSING
260.15/260.81 c GARBAGE COLLECT
260.15/260.81 c #Conflicts: 1191000 | #Constraints: 23691
260.15/260.81 c #Conflicts: 1192000 | #Constraints: 24691
260.15/260.81 c #Conflicts: 1193000 | #Constraints: 25691
260.15/260.81 c #Conflicts: 1194000 | #Constraints: 26691
260.15/260.81 c #Conflicts: 1195000 | #Constraints: 27691
260.15/260.81 c GLOBAL bounds -164 >= -166 @ 256.159
260.15/260.81 c GLOBAL bounds -164 >= -166 @ 256.159
260.66/261.38 c #Conflicts: 1196000 | #Constraints: 28692
260.66/261.38 c #Conflicts: 1197000 | #Constraints: 29692
260.66/261.38 c #Conflicts: 1198000 | #Constraints: 30692
260.66/261.38 c GLOBAL bounds -164 >= -166 @ 256.72
260.66/261.38 c GLOBAL bounds -164 >= -166 @ 256.721
276.22/276.91 c #Conflicts: 1199000 | #Constraints: 31693
276.22/276.91 c #Conflicts: 1200000 | #Constraints: 32693
276.22/276.91 c #Conflicts: 1201000 | #Constraints: 33693
276.22/276.91 c #Conflicts: 1202000 | #Constraints: 34693
276.22/276.91 c #Conflicts: 1203000 | #Constraints: 35693
276.22/276.91 c #Conflicts: 1204000 | #Constraints: 36693
276.22/276.91 c #Conflicts: 1205000 | #Constraints: 37693
276.22/276.91 c #Conflicts: 1206000 | #Constraints: 38693
276.22/276.91 c #Conflicts: 1207000 | #Constraints: 39693
276.22/276.91 c #Conflicts: 1208000 | #Constraints: 40693
276.22/276.91 c #Conflicts: 1209000 | #Constraints: 41693
276.22/276.91 c #Conflicts: 1210000 | #Constraints: 42693
276.22/276.91 c #Conflicts: 1211000 | #Constraints: 43693
276.22/276.91 c #Conflicts: 1212000 | #Constraints: 44693
276.22/276.91 c INPROCESSING
276.22/276.91 c GARBAGE COLLECT
276.22/276.91 c #Conflicts: 1213000 | #Constraints: 23888
276.22/276.91 c #Conflicts: 1214000 | #Constraints: 24888
276.22/276.91 c #Conflicts: 1215000 | #Constraints: 25888
276.22/276.91 c #Conflicts: 1216000 | #Constraints: 26888
276.22/276.91 c #Conflicts: 1217000 | #Constraints: 27888
276.22/276.91 c #Conflicts: 1218000 | #Constraints: 28888
276.22/276.91 c #Conflicts: 1219000 | #Constraints: 29888
276.22/276.91 c #Conflicts: 1220000 | #Constraints: 30888
276.22/276.91 c #Conflicts: 1221000 | #Constraints: 31888
276.22/276.91 c #Conflicts: 1222000 | #Constraints: 32888
276.22/276.91 c #Conflicts: 1223000 | #Constraints: 33888
276.22/276.91 c #Conflicts: 1224000 | #Constraints: 34888
276.22/276.91 c #Conflicts: 1225000 | #Constraints: 35888
276.22/276.91 c #Conflicts: 1226000 | #Constraints: 36888
276.22/276.91 c #Conflicts: 1227000 | #Constraints: 37888
276.22/276.91 c #Conflicts: 1228000 | #Constraints: 38888
276.22/276.91 c #Conflicts: 1229000 | #Constraints: 39888
276.22/276.91 c #Conflicts: 1230000 | #Constraints: 40888
276.22/276.91 c #Conflicts: 1231000 | #Constraints: 41888
276.22/276.91 c #Conflicts: 1232000 | #Constraints: 42888
276.22/276.91 c #Conflicts: 1233000 | #Constraints: 43888
276.22/276.91 c #Conflicts: 1234000 | #Constraints: 44888
276.22/276.91 c INPROCESSING
276.22/276.91 c GARBAGE COLLECT
276.22/276.91 c #Conflicts: 1235000 | #Constraints: 23887
276.22/276.91 c #Conflicts: 1236000 | #Constraints: 24887
276.22/276.91 c #Conflicts: 1237000 | #Constraints: 25887
276.22/276.91 c #Conflicts: 1238000 | #Constraints: 26887
276.22/276.91 c #Conflicts: 1239000 | #Constraints: 27887
276.22/276.91 c #Conflicts: 1240000 | #Constraints: 28887
276.22/276.91 c #Conflicts: 1241000 | #Constraints: 29887
276.22/276.91 c #Conflicts: 1242000 | #Constraints: 30887
276.22/276.91 c #Conflicts: 1243000 | #Constraints: 31887
276.22/276.91 c #Conflicts: 1244000 | #Constraints: 32887
276.22/276.91 c #Conflicts: 1245000 | #Constraints: 33887
276.22/276.91 c #Conflicts: 1246000 | #Constraints: 34887
276.22/276.91 c #Conflicts: 1247000 | #Constraints: 35887
276.22/276.91 c #Conflicts: 1248000 | #Constraints: 36887
276.22/276.91 c #Conflicts: 1249000 | #Constraints: 37887
276.22/276.91 c #Conflicts: 1250000 | #Constraints: 38887
276.22/276.91 c #Conflicts: 1251000 | #Constraints: 39887
276.22/276.91 c #Conflicts: 1252000 | #Constraints: 40887
276.22/276.91 c #Conflicts: 1253000 | #Constraints: 41887
276.22/276.91 c #Conflicts: 1254000 | #Constraints: 42887
276.22/276.91 c #Conflicts: 1255000 | #Constraints: 43887
276.22/276.91 c #Conflicts: 1256000 | #Constraints: 44887
276.22/276.91 c INPROCESSING
276.22/276.91 c GARBAGE COLLECT
276.22/276.91 c #Conflicts: 1257000 | #Constraints: 23688
276.22/276.91 c #Conflicts: 1258000 | #Constraints: 24688
276.22/276.91 c #Conflicts: 1259000 | #Constraints: 25688
276.22/276.91 c #Conflicts: 1260000 | #Constraints: 26688
276.22/276.91 c #Conflicts: 1261000 | #Constraints: 27688
276.22/276.91 c #Conflicts: 1262000 | #Constraints: 28688
276.22/276.91 c #Conflicts: 1263000 | #Constraints: 29688
276.22/276.91 c #Conflicts: 1264000 | #Constraints: 30688
276.22/276.91 c #Conflicts: 1265000 | #Constraints: 31688
276.22/276.91 c #Conflicts: 1266000 | #Constraints: 32688
276.22/276.91 c #Conflicts: 1267000 | #Constraints: 33688
276.22/276.91 c #Conflicts: 1268000 | #Constraints: 34688
276.22/276.91 c #Conflicts: 1269000 | #Constraints: 35688
276.22/276.91 c #Conflicts: 1270000 | #Constraints: 36688
276.22/276.91 c #Conflicts: 1271000 | #Constraints: 37688
276.22/276.91 c #Conflicts: 1272000 | #Constraints: 38688
276.22/276.91 c #Conflicts: 1273000 | #Constraints: 39688
276.22/276.91 c #Conflicts: 1274000 | #Constraints: 40688
276.22/276.91 c #Conflicts: 1275000 | #Constraints: 41688
291.48/292.24 c #Conflicts: 1276000 | #Constraints: 42688
291.48/292.24 c #Conflicts: 1277000 | #Constraints: 43688
291.48/292.24 c #Conflicts: 1278000 | #Constraints: 44688
291.48/292.24 c #Conflicts: 1279000 | #Constraints: 45688
291.48/292.24 c INPROCESSING
291.48/292.24 c GARBAGE COLLECT
291.48/292.24 c #Conflicts: 1280000 | #Constraints: 24293
291.48/292.24 c #Conflicts: 1281000 | #Constraints: 25293
291.48/292.24 c #Conflicts: 1282000 | #Constraints: 26293
291.48/292.24 c #Conflicts: 1283000 | #Constraints: 27293
291.48/292.24 c #Conflicts: 1284000 | #Constraints: 28293
291.48/292.24 c #Conflicts: 1285000 | #Constraints: 29293
291.48/292.24 c #Conflicts: 1286000 | #Constraints: 30293
291.48/292.24 c #Conflicts: 1287000 | #Constraints: 31293
291.48/292.24 c #Conflicts: 1288000 | #Constraints: 32293
291.48/292.24 c #Conflicts: 1289000 | #Constraints: 33293
291.48/292.24 c #Conflicts: 1290000 | #Constraints: 34293
291.48/292.24 c #Conflicts: 1291000 | #Constraints: 35293
291.48/292.24 c #Conflicts: 1292000 | #Constraints: 36293
291.48/292.24 c #Conflicts: 1293000 | #Constraints: 37293
291.48/292.24 c #Conflicts: 1294000 | #Constraints: 38293
291.48/292.24 c #Conflicts: 1295000 | #Constraints: 39293
291.48/292.24 c #Conflicts: 1296000 | #Constraints: 40293
291.48/292.24 c #Conflicts: 1297000 | #Constraints: 41293
291.48/292.24 c #Conflicts: 1298000 | #Constraints: 42293
291.48/292.24 c #Conflicts: 1299000 | #Constraints: 43293
291.48/292.24 c #Conflicts: 1300000 | #Constraints: 44293
291.48/292.24 c #Conflicts: 1301000 | #Constraints: 45293
291.48/292.24 c #Conflicts: 1302000 | #Constraints: 46293
291.48/292.24 c INPROCESSING
291.48/292.24 c GARBAGE COLLECT
291.48/292.24 c #Conflicts: 1303000 | #Constraints: 24692
291.48/292.24 c #Conflicts: 1304000 | #Constraints: 25692
291.48/292.24 c #Conflicts: 1305000 | #Constraints: 26692
291.48/292.24 c #Conflicts: 1306000 | #Constraints: 27692
291.48/292.24 c #Conflicts: 1307000 | #Constraints: 28692
291.48/292.24 c #Conflicts: 1308000 | #Constraints: 29692
291.48/292.24 c #Conflicts: 1309000 | #Constraints: 30692
291.48/292.24 c #Conflicts: 1310000 | #Constraints: 31692
291.48/292.24 c #Conflicts: 1311000 | #Constraints: 32692
291.48/292.24 c #Conflicts: 1312000 | #Constraints: 33692
291.48/292.24 c #Conflicts: 1313000 | #Constraints: 34692
291.48/292.24 c #Conflicts: 1314000 | #Constraints: 35692
291.48/292.24 c #Conflicts: 1315000 | #Constraints: 36692
291.48/292.24 c #Conflicts: 1316000 | #Constraints: 37692
291.48/292.24 c #Conflicts: 1317000 | #Constraints: 38692
291.48/292.24 c #Conflicts: 1318000 | #Constraints: 39692
291.48/292.24 c #Conflicts: 1319000 | #Constraints: 40692
291.48/292.24 c #Conflicts: 1320000 | #Constraints: 41692
291.48/292.24 c #Conflicts: 1321000 | #Constraints: 42692
291.48/292.24 c #Conflicts: 1322000 | #Constraints: 43692
291.48/292.24 c #Conflicts: 1323000 | #Constraints: 44692
291.48/292.24 c #Conflicts: 1324000 | #Constraints: 45692
291.48/292.24 c #Conflicts: 1325000 | #Constraints: 46692
291.48/292.24 c INPROCESSING
291.48/292.24 c GARBAGE COLLECT
291.48/292.24 c #Conflicts: 1326000 | #Constraints: 24894
291.48/292.24 c #Conflicts: 1327000 | #Constraints: 25894
291.48/292.24 c #Conflicts: 1328000 | #Constraints: 26894
291.48/292.24 c #Conflicts: 1329000 | #Constraints: 27894
291.48/292.24 c #Conflicts: 1330000 | #Constraints: 28894
291.48/292.24 c #Conflicts: 1331000 | #Constraints: 29894
291.48/292.24 c #Conflicts: 1332000 | #Constraints: 30894
291.48/292.24 c #Conflicts: 1333000 | #Constraints: 31894
291.48/292.24 c #Conflicts: 1334000 | #Constraints: 32894
291.48/292.24 c #Conflicts: 1335000 | #Constraints: 33894
291.48/292.24 c #Conflicts: 1336000 | #Constraints: 34894
291.48/292.24 c #Conflicts: 1337000 | #Constraints: 35894
291.48/292.24 c #Conflicts: 1338000 | #Constraints: 36894
291.48/292.24 c #Conflicts: 1339000 | #Constraints: 37894
291.48/292.24 c #Conflicts: 1340000 | #Constraints: 38894
291.48/292.24 c #Conflicts: 1341000 | #Constraints: 39894
291.48/292.24 c #Conflicts: 1342000 | #Constraints: 40894
291.48/292.24 c #Conflicts: 1343000 | #Constraints: 41894
291.48/292.24 c #Conflicts: 1344000 | #Constraints: 42894
291.48/292.24 c #Conflicts: 1345000 | #Constraints: 43894
291.48/292.24 c #Conflicts: 1346000 | #Constraints: 44894
291.48/292.24 c #Conflicts: 1347000 | #Constraints: 45894
291.48/292.24 c #Conflicts: 1348000 | #Constraints: 46894
291.48/292.24 c INPROCESSING
291.48/292.24 c GARBAGE COLLECT
291.48/292.24 c #Conflicts: 1349000 | #Constraints: 24893
291.48/292.24 c #Conflicts: 1350000 | #Constraints: 25893
291.48/292.24 c #Conflicts: 1351000 | #Constraints: 26893
291.48/292.24 c #Conflicts: 1352000 | #Constraints: 27893
306.95/307.73 c #Conflicts: 1353000 | #Constraints: 28893
306.95/307.73 c #Conflicts: 1354000 | #Constraints: 29893
306.95/307.73 c #Conflicts: 1355000 | #Constraints: 30893
306.95/307.73 c #Conflicts: 1356000 | #Constraints: 31893
306.95/307.73 c #Conflicts: 1357000 | #Constraints: 32893
306.95/307.73 c #Conflicts: 1358000 | #Constraints: 33893
306.95/307.73 c #Conflicts: 1359000 | #Constraints: 34893
306.95/307.73 c #Conflicts: 1360000 | #Constraints: 35893
306.95/307.73 c #Conflicts: 1361000 | #Constraints: 36893
306.95/307.73 c #Conflicts: 1362000 | #Constraints: 37893
306.95/307.73 c #Conflicts: 1363000 | #Constraints: 38893
306.95/307.73 c #Conflicts: 1364000 | #Constraints: 39893
306.95/307.73 c #Conflicts: 1365000 | #Constraints: 40893
306.95/307.73 c #Conflicts: 1366000 | #Constraints: 41893
306.95/307.73 c #Conflicts: 1367000 | #Constraints: 42893
306.95/307.73 c #Conflicts: 1368000 | #Constraints: 43893
306.95/307.73 c #Conflicts: 1369000 | #Constraints: 44893
306.95/307.73 c #Conflicts: 1370000 | #Constraints: 45893
306.95/307.73 c #Conflicts: 1371000 | #Constraints: 46893
306.95/307.73 c INPROCESSING
306.95/307.73 c GARBAGE COLLECT
306.95/307.73 c #Conflicts: 1372000 | #Constraints: 24696
306.95/307.73 c #Conflicts: 1373000 | #Constraints: 25696
306.95/307.73 c #Conflicts: 1374000 | #Constraints: 26696
306.95/307.73 c #Conflicts: 1375000 | #Constraints: 27696
306.95/307.73 c #Conflicts: 1376000 | #Constraints: 28696
306.95/307.73 c #Conflicts: 1377000 | #Constraints: 29696
306.95/307.73 c #Conflicts: 1378000 | #Constraints: 30696
306.95/307.73 c #Conflicts: 1379000 | #Constraints: 31696
306.95/307.73 c #Conflicts: 1380000 | #Constraints: 32696
306.95/307.73 c #Conflicts: 1381000 | #Constraints: 33696
306.95/307.73 c #Conflicts: 1382000 | #Constraints: 34696
306.95/307.73 c #Conflicts: 1383000 | #Constraints: 35696
306.95/307.73 c #Conflicts: 1384000 | #Constraints: 36696
306.95/307.73 c #Conflicts: 1385000 | #Constraints: 37696
306.95/307.73 c #Conflicts: 1386000 | #Constraints: 38696
306.95/307.73 c #Conflicts: 1387000 | #Constraints: 39696
306.95/307.73 c #Conflicts: 1388000 | #Constraints: 40696
306.95/307.73 c #Conflicts: 1389000 | #Constraints: 41696
306.95/307.73 c #Conflicts: 1390000 | #Constraints: 42696
306.95/307.73 c #Conflicts: 1391000 | #Constraints: 43696
306.95/307.73 c #Conflicts: 1392000 | #Constraints: 44696
306.95/307.73 c #Conflicts: 1393000 | #Constraints: 45696
306.95/307.73 c #Conflicts: 1394000 | #Constraints: 46696
306.95/307.73 c #Conflicts: 1395000 | #Constraints: 47696
306.95/307.73 c INPROCESSING
306.95/307.73 c GARBAGE COLLECT
306.95/307.73 c #Conflicts: 1396000 | #Constraints: 25295
306.95/307.73 c #Conflicts: 1397000 | #Constraints: 26295
306.95/307.73 c #Conflicts: 1398000 | #Constraints: 27295
306.95/307.73 c #Conflicts: 1399000 | #Constraints: 28295
306.95/307.73 c #Conflicts: 1400000 | #Constraints: 29295
306.95/307.73 c #Conflicts: 1401000 | #Constraints: 30295
306.95/307.73 c #Conflicts: 1402000 | #Constraints: 31295
306.95/307.73 c #Conflicts: 1403000 | #Constraints: 32295
306.95/307.73 c #Conflicts: 1404000 | #Constraints: 33295
306.95/307.73 c #Conflicts: 1405000 | #Constraints: 34295
306.95/307.73 c #Conflicts: 1406000 | #Constraints: 35295
306.95/307.73 c #Conflicts: 1407000 | #Constraints: 36295
306.95/307.73 c #Conflicts: 1408000 | #Constraints: 37295
306.95/307.73 c #Conflicts: 1409000 | #Constraints: 38295
306.95/307.73 c #Conflicts: 1410000 | #Constraints: 39295
306.95/307.73 c #Conflicts: 1411000 | #Constraints: 40295
306.95/307.73 c #Conflicts: 1412000 | #Constraints: 41295
306.95/307.73 c #Conflicts: 1413000 | #Constraints: 42295
306.95/307.73 c #Conflicts: 1414000 | #Constraints: 43295
306.95/307.73 c #Conflicts: 1415000 | #Constraints: 44295
306.95/307.73 c #Conflicts: 1416000 | #Constraints: 45295
306.95/307.73 c #Conflicts: 1417000 | #Constraints: 46295
306.95/307.73 c #Conflicts: 1418000 | #Constraints: 47295
306.95/307.73 c #Conflicts: 1419000 | #Constraints: 48295
306.95/307.73 c INPROCESSING
306.95/307.73 c GARBAGE COLLECT
306.95/307.73 c #Conflicts: 1420000 | #Constraints: 25691
306.95/307.73 c #Conflicts: 1421000 | #Constraints: 26691
306.95/307.73 c #Conflicts: 1422000 | #Constraints: 27691
306.95/307.73 c #Conflicts: 1423000 | #Constraints: 28691
306.95/307.73 c #Conflicts: 1424000 | #Constraints: 29691
306.95/307.73 c #Conflicts: 1425000 | #Constraints: 30691
306.95/307.73 c #Conflicts: 1426000 | #Constraints: 31691
306.95/307.73 c #Conflicts: 1427000 | #Constraints: 32691
306.95/307.73 c #Conflicts: 1428000 | #Constraints: 33691
322.82/323.63 c #Conflicts: 1429000 | #Constraints: 34691
322.82/323.63 c #Conflicts: 1430000 | #Constraints: 35691
322.82/323.63 c #Conflicts: 1431000 | #Constraints: 36691
322.82/323.63 c #Conflicts: 1432000 | #Constraints: 37691
322.82/323.63 c #Conflicts: 1433000 | #Constraints: 38691
322.82/323.63 c #Conflicts: 1434000 | #Constraints: 39691
322.82/323.63 c #Conflicts: 1435000 | #Constraints: 40691
322.82/323.63 c #Conflicts: 1436000 | #Constraints: 41691
322.82/323.63 c #Conflicts: 1437000 | #Constraints: 42691
322.82/323.63 c #Conflicts: 1438000 | #Constraints: 43691
322.82/323.63 c #Conflicts: 1439000 | #Constraints: 44691
322.82/323.63 c #Conflicts: 1440000 | #Constraints: 45691
322.82/323.63 c #Conflicts: 1441000 | #Constraints: 46691
322.82/323.63 c #Conflicts: 1442000 | #Constraints: 47691
322.82/323.63 c #Conflicts: 1443000 | #Constraints: 48691
322.82/323.63 c INPROCESSING
322.82/323.63 c GARBAGE COLLECT
322.82/323.63 c #Conflicts: 1444000 | #Constraints: 25891
322.82/323.63 c #Conflicts: 1445000 | #Constraints: 26891
322.82/323.63 c #Conflicts: 1446000 | #Constraints: 27891
322.82/323.63 c #Conflicts: 1447000 | #Constraints: 28891
322.82/323.63 c #Conflicts: 1448000 | #Constraints: 29891
322.82/323.63 c #Conflicts: 1449000 | #Constraints: 30891
322.82/323.63 c #Conflicts: 1450000 | #Constraints: 31891
322.82/323.63 c #Conflicts: 1451000 | #Constraints: 32891
322.82/323.63 c #Conflicts: 1452000 | #Constraints: 33891
322.82/323.63 c #Conflicts: 1453000 | #Constraints: 34891
322.82/323.63 c #Conflicts: 1454000 | #Constraints: 35891
322.82/323.63 c #Conflicts: 1455000 | #Constraints: 36891
322.82/323.63 c #Conflicts: 1456000 | #Constraints: 37891
322.82/323.63 c #Conflicts: 1457000 | #Constraints: 38891
322.82/323.63 c #Conflicts: 1458000 | #Constraints: 39891
322.82/323.63 c #Conflicts: 1459000 | #Constraints: 40891
322.82/323.63 c #Conflicts: 1460000 | #Constraints: 41891
322.82/323.63 c #Conflicts: 1461000 | #Constraints: 42891
322.82/323.63 c #Conflicts: 1462000 | #Constraints: 43891
322.82/323.63 c #Conflicts: 1463000 | #Constraints: 44891
322.82/323.63 c #Conflicts: 1464000 | #Constraints: 45891
322.82/323.63 c #Conflicts: 1465000 | #Constraints: 46891
322.82/323.63 c #Conflicts: 1466000 | #Constraints: 47891
322.82/323.63 c #Conflicts: 1467000 | #Constraints: 48891
322.82/323.63 c INPROCESSING
322.82/323.63 c GARBAGE COLLECT
322.82/323.63 c #Conflicts: 1468000 | #Constraints: 25891
322.82/323.63 c #Conflicts: 1469000 | #Constraints: 26891
322.82/323.63 c #Conflicts: 1470000 | #Constraints: 27891
322.82/323.63 c #Conflicts: 1471000 | #Constraints: 28891
322.82/323.63 c #Conflicts: 1472000 | #Constraints: 29891
322.82/323.63 c #Conflicts: 1473000 | #Constraints: 30891
322.82/323.63 c #Conflicts: 1474000 | #Constraints: 31891
322.82/323.63 c #Conflicts: 1475000 | #Constraints: 32891
322.82/323.63 c #Conflicts: 1476000 | #Constraints: 33891
322.82/323.63 c #Conflicts: 1477000 | #Constraints: 34891
322.82/323.63 c #Conflicts: 1478000 | #Constraints: 35891
322.82/323.63 c #Conflicts: 1479000 | #Constraints: 36891
322.82/323.63 c #Conflicts: 1480000 | #Constraints: 37891
322.82/323.63 c #Conflicts: 1481000 | #Constraints: 38891
322.82/323.63 c #Conflicts: 1482000 | #Constraints: 39891
322.82/323.63 c #Conflicts: 1483000 | #Constraints: 40891
322.82/323.63 c #Conflicts: 1484000 | #Constraints: 41891
322.82/323.63 c #Conflicts: 1485000 | #Constraints: 42891
322.82/323.63 c #Conflicts: 1486000 | #Constraints: 43891
322.82/323.63 c #Conflicts: 1487000 | #Constraints: 44891
322.82/323.63 c #Conflicts: 1488000 | #Constraints: 45891
322.82/323.63 c #Conflicts: 1489000 | #Constraints: 46891
322.82/323.63 c #Conflicts: 1490000 | #Constraints: 47891
322.82/323.63 c #Conflicts: 1491000 | #Constraints: 48891
322.82/323.63 c INPROCESSING
322.82/323.63 c GARBAGE COLLECT
322.82/323.63 c #Conflicts: 1492000 | #Constraints: 25691
322.82/323.63 c #Conflicts: 1493000 | #Constraints: 26691
322.82/323.63 c #Conflicts: 1494000 | #Constraints: 27691
322.82/323.63 c #Conflicts: 1495000 | #Constraints: 28691
322.82/323.63 c #Conflicts: 1496000 | #Constraints: 29691
322.82/323.63 c #Conflicts: 1497000 | #Constraints: 30691
322.82/323.63 c #Conflicts: 1498000 | #Constraints: 31691
322.82/323.63 c #Conflicts: 1499000 | #Constraints: 32691
322.82/323.63 c #Conflicts: 1500000 | #Constraints: 33691
322.82/323.63 c #Conflicts: 1501000 | #Constraints: 34691
322.82/323.63 c #Conflicts: 1502000 | #Constraints: 35691
322.82/323.63 c #Conflicts: 1503000 | #Constraints: 36691
322.82/323.63 c #Conflicts: 1504000 | #Constraints: 37691
322.82/323.63 c #Conflicts: 1505000 | #Constraints: 38691
338.97/339.81 c #Conflicts: 1506000 | #Constraints: 39691
338.97/339.81 c #Conflicts: 1507000 | #Constraints: 40691
338.97/339.81 c #Conflicts: 1508000 | #Constraints: 41691
338.97/339.81 c #Conflicts: 1509000 | #Constraints: 42691
338.97/339.81 c #Conflicts: 1510000 | #Constraints: 43691
338.97/339.81 c #Conflicts: 1511000 | #Constraints: 44691
338.97/339.81 c #Conflicts: 1512000 | #Constraints: 45691
338.97/339.81 c #Conflicts: 1513000 | #Constraints: 46691
338.97/339.81 c #Conflicts: 1514000 | #Constraints: 47691
338.97/339.81 c #Conflicts: 1515000 | #Constraints: 48691
338.97/339.81 c #Conflicts: 1516000 | #Constraints: 49691
338.97/339.81 c INPROCESSING
338.97/339.81 c GARBAGE COLLECT
338.97/339.81 c #Conflicts: 1517000 | #Constraints: 26293
338.97/339.81 c #Conflicts: 1518000 | #Constraints: 27293
338.97/339.81 c #Conflicts: 1519000 | #Constraints: 28293
338.97/339.81 c #Conflicts: 1520000 | #Constraints: 29293
338.97/339.81 c #Conflicts: 1521000 | #Constraints: 30293
338.97/339.81 c #Conflicts: 1522000 | #Constraints: 31293
338.97/339.81 c #Conflicts: 1523000 | #Constraints: 32293
338.97/339.81 c #Conflicts: 1524000 | #Constraints: 33293
338.97/339.81 c #Conflicts: 1525000 | #Constraints: 34293
338.97/339.81 c #Conflicts: 1526000 | #Constraints: 35293
338.97/339.81 c #Conflicts: 1527000 | #Constraints: 36293
338.97/339.81 c #Conflicts: 1528000 | #Constraints: 37293
338.97/339.81 c #Conflicts: 1529000 | #Constraints: 38293
338.97/339.81 c #Conflicts: 1530000 | #Constraints: 39293
338.97/339.81 c #Conflicts: 1531000 | #Constraints: 40293
338.97/339.81 c #Conflicts: 1532000 | #Constraints: 41293
338.97/339.81 c #Conflicts: 1533000 | #Constraints: 42293
338.97/339.81 c #Conflicts: 1534000 | #Constraints: 43293
338.97/339.81 c #Conflicts: 1535000 | #Constraints: 44293
338.97/339.81 c #Conflicts: 1536000 | #Constraints: 45293
338.97/339.81 c #Conflicts: 1537000 | #Constraints: 46293
338.97/339.81 c #Conflicts: 1538000 | #Constraints: 47293
338.97/339.81 c #Conflicts: 1539000 | #Constraints: 48293
338.97/339.81 c #Conflicts: 1540000 | #Constraints: 49293
338.97/339.81 c #Conflicts: 1541000 | #Constraints: 50293
338.97/339.81 c INPROCESSING
338.97/339.81 c GARBAGE COLLECT
338.97/339.81 c #Conflicts: 1542000 | #Constraints: 26696
338.97/339.81 c #Conflicts: 1543000 | #Constraints: 27696
338.97/339.81 c #Conflicts: 1544000 | #Constraints: 28696
338.97/339.81 c #Conflicts: 1545000 | #Constraints: 29696
338.97/339.81 c #Conflicts: 1546000 | #Constraints: 30696
338.97/339.81 c #Conflicts: 1547000 | #Constraints: 31696
338.97/339.81 c #Conflicts: 1548000 | #Constraints: 32696
338.97/339.81 c #Conflicts: 1549000 | #Constraints: 33696
338.97/339.81 c #Conflicts: 1550000 | #Constraints: 34696
338.97/339.81 c #Conflicts: 1551000 | #Constraints: 35696
338.97/339.81 c #Conflicts: 1552000 | #Constraints: 36696
338.97/339.81 c #Conflicts: 1553000 | #Constraints: 37696
338.97/339.81 c #Conflicts: 1554000 | #Constraints: 38696
338.97/339.81 c #Conflicts: 1555000 | #Constraints: 39696
338.97/339.81 c #Conflicts: 1556000 | #Constraints: 40696
338.97/339.81 c #Conflicts: 1557000 | #Constraints: 41696
338.97/339.81 c #Conflicts: 1558000 | #Constraints: 42696
338.97/339.81 c #Conflicts: 1559000 | #Constraints: 43696
338.97/339.81 c #Conflicts: 1560000 | #Constraints: 44696
338.97/339.81 c #Conflicts: 1561000 | #Constraints: 45696
338.97/339.81 c #Conflicts: 1562000 | #Constraints: 46696
338.97/339.81 c #Conflicts: 1563000 | #Constraints: 47696
338.97/339.81 c #Conflicts: 1564000 | #Constraints: 48696
338.97/339.81 c #Conflicts: 1565000 | #Constraints: 49696
338.97/339.81 c #Conflicts: 1566000 | #Constraints: 50696
338.97/339.81 c INPROCESSING
338.97/339.81 c GARBAGE COLLECT
338.97/339.81 c #Conflicts: 1567000 | #Constraints: 23807
338.97/339.81 c #Conflicts: 1568000 | #Constraints: 24807
338.97/339.81 c #Conflicts: 1569000 | #Constraints: 25807
338.97/339.81 c #Conflicts: 1570000 | #Constraints: 26807
338.97/339.81 c #Conflicts: 1571000 | #Constraints: 27807
338.97/339.81 c #Conflicts: 1572000 | #Constraints: 28807
338.97/339.81 c #Conflicts: 1573000 | #Constraints: 29807
338.97/339.81 c #Conflicts: 1574000 | #Constraints: 30807
338.97/339.81 c #Conflicts: 1575000 | #Constraints: 31807
338.97/339.81 c #Conflicts: 1576000 | #Constraints: 32807
338.97/339.81 c #Conflicts: 1577000 | #Constraints: 33807
338.97/339.81 c #Conflicts: 1578000 | #Constraints: 34807
338.97/339.81 c #Conflicts: 1579000 | #Constraints: 35807
338.97/339.81 c #Conflicts: 1580000 | #Constraints: 36807
338.97/339.81 c #Conflicts: 1581000 | #Constraints: 37807
338.97/339.81 c #Conflicts: 1582000 | #Constraints: 38807
343.17/344.08 c #Conflicts: 1583000 | #Constraints: 39807
343.17/344.08 c #Conflicts: 1584000 | #Constraints: 40807
343.17/344.08 c #Conflicts: 1585000 | #Constraints: 41807
343.17/344.08 c #Conflicts: 1586000 | #Constraints: 42807
343.17/344.08 c #Conflicts: 1587000 | #Constraints: 43807
343.17/344.08 c #Conflicts: 1588000 | #Constraints: 44807
343.17/344.08 c #Conflicts: 1589000 | #Constraints: 45807
343.17/344.08 c #Conflicts: 1590000 | #Constraints: 46807
343.17/344.08 c #Conflicts: 1591000 | #Constraints: 47807
343.17/344.08 c INPROCESSING
343.17/344.08 c GARBAGE COLLECT
343.17/344.08 c #Conflicts: 1592000 | #Constraints: 16088
343.17/344.08 c #Conflicts: 1593000 | #Constraints: 17088
343.17/344.08 c #Conflicts: 1594000 | #Constraints: 18088
343.17/344.08 c #Conflicts: 1595000 | #Constraints: 19088
343.17/344.08 c #Conflicts: 1596000 | #Constraints: 20088
343.17/344.08 c #Conflicts: 1597000 | #Constraints: 21088
343.17/344.08 c #Conflicts: 1598000 | #Constraints: 22088
343.17/344.08 c #Conflicts: 1599000 | #Constraints: 23088
343.17/344.08 c #Conflicts: 1600000 | #Constraints: 24088
343.17/344.08 c #Conflicts: 1601000 | #Constraints: 25088
343.17/344.08 c #Conflicts: 1602000 | #Constraints: 26088
343.17/344.08 c #Conflicts: 1603000 | #Constraints: 27088
343.17/344.08 c #Conflicts: 1604000 | #Constraints: 28088
343.17/344.08 c GLOBAL bounds -164 >= -164 @ 338.02
343.17/344.08 c cpu time 338.02 s
343.17/344.08 c deterministic time 2501577 2.50e+06
343.17/344.08 c optimization time 336.658 s
343.17/344.08 c total solve time 1.18666 s
343.17/344.08 c core-guided solve time 0 s
343.17/344.08 c propagation time 1.14527 s
343.17/344.08 c conflict analysis time 0.010224 s
343.17/344.08 c propagations 274081
343.17/344.08 c resolve steps 2
343.17/344.08 c decisions 19776
343.17/344.08 c conflicts 145
343.17/344.08 c restarts 2
343.17/344.08 c inprocessing phases 0
343.17/344.08 c garbage collections 0 ,( -nan )
343.17/344.08 c input clauses 63955 ,( 99.81 )
343.17/344.08 c input cardinalities 0 ,( 0.00 )
343.17/344.08 c input general constraints 121 ,( 0.19 )
343.17/344.08 c input average constraint length 3.24
343.17/344.08 c input average constraint degree 1.42
343.17/344.08 c learned clauses 219 ,( 100.00 )
343.17/344.08 c learned cardinalities 0 ,( 0.00 )
343.17/344.08 c learned general constraints 0 ,( 0.00 )
343.17/344.08 c learned average constraint length 5.32
343.17/344.08 c learned average constraint degree 1.00
343.17/344.08 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
343.17/344.08 c counting CF 32, 64, 128, Arb: 122 , 0 , 0 , 0
343.17/344.08 c watched constraints 0 ,( 0.00 )
343.17/344.08 c counting constraints 121 ,( 100.00 )
343.17/344.08 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 377772 , 0 , 430257 ,( 0 , 430257 )
343.17/344.08 c gcd simplifications 0
343.17/344.08 c detected cardinalities 0
343.17/344.08 c weakened non-implied lits 0
343.17/344.08 c weakened non-implying lits 0
343.17/344.08 c original variables 2025
343.17/344.08 c clausal propagations 129885
343.17/344.08 c cardinality propagations 0
343.17/344.08 c watched propagations 0
343.17/344.08 c counting propagations 18892
343.17/344.08 c watch lookups 1417763
343.17/344.08 c watch backjump lookups 0
343.17/344.08 c watch checks 339523
343.17/344.08 c propagation checks 149108
343.17/344.08 c constraint additions 4323
343.17/344.08 c trail pops 294002
343.17/344.08 c formula constraints 63250
343.17/344.08 c learned constraints 219
343.17/344.08 c bound constraints 0
343.17/344.08 c core-guided constraints 0
343.17/344.08 c encountered formula constraints 99
343.17/344.08 c encountered learned constraints 14
343.17/344.08 c encountered bound constraints 0
343.17/344.08 c encountered core-guided constraints 0
343.17/344.08 c LP total time 1.13661 s
343.17/344.08 c LP solve time 1.12 s
343.17/344.08 c LP constraints added 63250
343.17/344.08 c LP constraints removed 0
343.17/344.08 c LP pivots internal 2000
343.17/344.08 c LP pivots root 1000
343.17/344.08 c LP calls 2
343.17/344.08 c LP optimalities 0
343.17/344.08 c LP no pivot count 0
343.17/344.08 c LP infeasibilities 0
343.17/344.08 c LP valid Farkas constraints 0
343.17/344.08 c LP learned Farkas constraints 0
343.17/344.08 c LP basis resets 0
343.17/344.08 c LP cycling count 0
343.17/344.08 c LP singular count 0
343.17/344.08 c LP no primal count 0
343.17/344.08 c LP no farkas count 0
343.17/344.08 c LP other issue count 0
343.17/344.08 c LP Gomory cuts 0
343.17/344.08 c LP learned cuts 0
343.17/344.08 c LP deleted cuts 0
343.17/344.08 c LP encountered Gomory constraints 0
343.17/344.08 c LP encountered Farkas constraints 0
343.17/344.08 c LP encountered learned Farkas constraints 0
343.17/344.08 c CG auxiliary variables introduced 205
343.17/344.08 c CG solutions found 3
343.17/344.08 c CG cores constructed 471
343.17/344.08 c CG core cardinality constraints returned 0
343.17/344.08 c CG unit cores 0
343.17/344.08 c CG single cores 0
343.17/344.08 c CG blocks removed during cardinality reduction 0
343.17/344.08 c CG first core best 0
343.17/344.08 c CG decision core best 0
343.17/344.08 c CG core reduction tie 0
343.17/344.08 c CG core degree average 0.00
343.17/344.08 c CG core slack average 0.00
343.17/344.08 c CG core upper bound improvements 0
343.17/344.08 c STR number of successful calls 0
343.17/344.08 c STR number of unsuccessful calls 0
343.17/344.08 c STR number of inconclusive calls 0
343.17/344.08 c STR number of successful attempts 0
343.17/344.08 c STR number of unsuccessful attempts 0
343.17/344.08 c STR number of inconclusive attempts 0
343.17/344.08 c STR average degree increase per successful call inf
343.17/344.08 c STR average degree increase per successful attempt inf
343.17/344.08 c STR total number of conflicts for successful attempts 0
343.17/344.08 c STR total number of conflicts for unsuccessful attempts 0
343.17/344.08 c STR total number of conflicts for inconclusive attempts 0
343.17/344.08 c STR average number of conflicts per successful attempt inf
343.17/344.08 c STR average number of conflicts per unsuccessful attempt inf
343.17/344.08 c STR average number of conflicts per inconclusive attempt inf
343.17/344.08 c AVG.sumWPerc 83.97
343.17/344.08 c bigint constraints 0
343.17/344.08 o -164
343.17/344.08 s OPTIMUM FOUND
343.17/344.08 v x1 x2 x3 x4 x5 -x6 x7 -x8 x9 -x10 x11 x12 x13 x14 -x15 x16 x17 x18 x19 x20 -x21 -x22 x23 x24 x25 x26 x27 x28 x29 x30 -x31 -x32 -x33 -x34 x35 -x36 x37 x38 -x39 -x40 x41 -x42 -x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 x52 x53 -x54 x55 x56 x57 -x58 -x59 -x60 x61 -x62 -x63 x64 -x65 x66 -x67 x68 x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 -x80 -x81 x82 -x83 -x84 x85 x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 -x95 x96 x97 x98 -x99 -x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 x148 x149 -x150 x151 -x152 x153 x154 x155 x156 x157 x158 -x159 x160 -x161 -x162 -x163 -x164 x165 x166 -x167 x168 x169 -x170 x171 -x172 x173 x174 x175 -x176 -x177 x178 x179 x180 -x181 -x182 -x183 x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 x192 x193 x194 x195 -x196 x197 -x198 -x199 -x200 x201 x202 -x203 x204 -x205 x206 x207 -x208 -x209 x210 x211 x212 -x213 x214 -x215 -x216 x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 x234 x235 x236 -x237 x238 x239 -x240 x241 x242 x243 x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 x255 -x256 x257 -x258 x259 x260 x261 x262 x263 -x264 -x265 x266 -x267 -x268 x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 x283 x284 -x285 -x286 x287 x288 -x289 x290 -x291 -x292 -x293 x294 x295 x296 x297 x298 x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 -x315 -x316 x317 x318 x319 x320 -x321 x322 x323 x324 -x325 x326 -x327 x328 -x329 x330 -x331 x332 -x333 x334 -x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 -x345 x346 -x347 x348 -x349 x350 -x351 -x352 -x353 x354 -x355 x356 -x357 x358 -x359 x360 -x361 x362 -x363 x364 -x365 -x366 x367 -x368 -x369 x370 -x371 x372 -x373 x374 -x375 x376 -x377 -x378 x379 x380 -x381 -x382 -x383 x384 -x385 x386 -x387 x388 -x389 -x390 x391 -x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 x401 -x402 x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 x417 -x418 -x419 x420 x421 -x422 x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 x435 x436 -x437 x438 -x439 x440 -x441 x442 -x443 -x444 -x445 x446 -x447 x448 -x449 x450 x451 -x452 x453 x454 -x455 x456 -x457 -x458 x459 -x460 x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 x485 x486 -x487 -x488 x489 -x490 x491 -x492 -x493 -x494 -x495 x496 -x497 x498 -x499 -x500 x501 x502 -x503 -x504 -x505 -x506 x507 -x508 x509 -x510 x511 -x512 -x513 x514 -x515 -x516 x517 x518 -x519 -x520 x521 x522 -x523 x524 -x525 x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 x555 -x556 x557 x558 -x559 x560 -x561 -x562 -x563 -x564 x565 -x566 x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 x580 -x581 x582 -x583 x584 -x585 -x586 x587 -x588 -x589 x590 -x591 -x592 -x593 x594 -x595 -x596 x597 -x598 x599 x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 x611 -x612 -x613 x614 -x615 -x616 x617 -x618 -x619 x620 -x621 -x622 x623 -x624 -x625 x626 x627 -x628 x629 -x630 x631 -x632 x633 -x634 x635 -x636 -x637 -x638 -x639 x640 -x641 x642 -x643 -x644 x645 -x646 x647 -x648 x649 -x650 x651 -x652 x653 -x654 -x655 -x656 x657 -x658 -x659 x660 x661 -x662 x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 x676 -x677 x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 x735 -x736 x737 -x738 x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 x754 -x755 x756 x757 -x758 -x759 -x760 -x761 -x762 x763 x764 -x765 x766 -x767 -x768 x769 x770 -x771 -x772 -x773 -x774 x775 -x776 x777 -x778 x779 -x780 -x781 x782 x783 -x784 -x785 x786 x787 -x788 -x789 -x790 -x791 x792 -x793 x794 -x795 x796 x797 -x798 x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 x807 -x808 -x809 x810 -x811 -x812 x813 -x814 -x815 x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 x885 x886 -x887 x888 -x889 -x890 -x891 -x892 x893 -x894 x895 -x896 -x897 x898 x899 -x900 x901 -x902 -x903 x904 -x905 x906 -x907 x908 -x909 x910 -x911 x912 -x913 -x914 x915 x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 x1007 -x1008 -x1009 -x1010 x1011 -x1012 x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 x1029 x1030 -x1031 -x1032 x1033 x1034 -x1035 x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 x1043 -x1044 -x1045 x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 x1056 x1057 x1058 -x1059 x1060 -x1061 x1062 -x1063 x1064 -x1065 x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 x1076 -x1077 x1078 -x1079 -x1080 x1081 -x1082 x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 x1090 x1091 -x1092 x1093 -x1094 x1095 -x1096 x1097 -x1098 -x1099 x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 x1119 -x1120 -x1121 -x1122 x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 x1132 -x1133 -x1134 x1135 -x1136 x1137 -x1138 -x1139 x1140 x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 x1152 -x1153 x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 x1207 -x1208 x1209 -x1210 x1211 -x1212 -x1213 x1214 -x1215 -x1216 x1217 -x1218 -x1219 x1220 -x1221 -x1222 x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290 -x1291 x1292 -x1293 x1294 -x1295 -x1296 x1297 x1298 -x1299 -x1300 x1301 x1302 x1303 -x1304 -x1305 -x1306 x1307 -x1308 x1309 -x1310 -x1311 -x1312 x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 x1341 -x1342 x1343 -x1344 x1345 -x1346 x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360 -x1361 x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 x1372 x1373 -x1374 -x1375 x1376 -x1377 x1378 -x1379 x1380 -x1381 -x1382 -x1383 x1384 x1385 -x1386 -x1387 -x1388 x1389 -x1390 x1391 -x1392 x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 x1406 x1407 x1408 -x1409 x1410 -x1411 -x1412 x1413 -x1414 -x1415 x1416 -x1417 -x1418 x1419 -x1420 -x1421 x1422 -x1423 -x1424 x1425 x1426 -x1427 x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 x1436 -x1437 x1438 -x1439 -x1440 x1441 x1442 -x1443 -x1444 x1445 -x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 -x1453 x1454 -x1455 x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 x1485 x1486 -x1487 -x1488 x1489 -x1490 -x1491 x1492 x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 x1506 -x1507 -x1508 x1509 -x1510 x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 x1596 -x1597 x1598 -x1599 x1600 -x1601 x1602 x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 x1627 -x1628 -x1629 x1630 -x1631 x1632 -x1633 -x1634 x1635 -x1636 x1637 -x1638 x1639 -x1640 x1641 -x1642 -x1643 x1644 -x1645 -x1646 x1647 -x1648 x1649 -x1650 x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 x1658 -x1659 x1660 -x1661 x1662 -x1663 x1664 -x1665 x1666 -x1667 x1668 -x1669 x1670 -x1671 x1672 x1673 -x1674 x1675 -x1676 x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 x1699 -x1700 x1701 -x1702 x1703 -x1704 -x1705 x1706 x1707 -x1708 x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 x1716 -x1717 x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 x1738 -x1739 x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 x1762 -x1763 x1764 -x1765 x1766 -x1767 x1768 -x1769 x1770 -x1771 x1772 -x1773 x1774 -x1775 -x1776 -x1777 x1778 -x1779 x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 x1800 -x1801 x1802 x1803 -x1804 x1805 -x1806 x1807 x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 x1816 x1817 -x1818 x1819 -x1820 -x1821 -x1822 x1823 x1824 -x1825 -x1826 -x1827 x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 -x1869 -x1870 x1871 -x1872 x1873 -x1874 x1875 -x1876 -x1877 x1878 x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 x1890 x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 x1910 x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 x1944 -x1945 x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 x1974 -x1975 -x1976 -x1977 x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 x1987 -x1988 x1989 x1990 -x1991 x1992 -x1993 -x1994 x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 x2016 -x2017 x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 x2025
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62311 MiB free)
memory of node 1: 64465 MiB (62554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499626-1751470027/watcher-4499626-1751470027 -o /tmp/evaluation-result-4499626-1751470027/solver-4499626-1751470027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66045 --watchdog 3760 run-opt.sh HOME/instance-4499626-1751470027.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=66394, runsolver pid=66391
[startup+0.100059 s]*
/proc/loadavg: 4.12 4.11 4.08 3/258 66396
/proc/meminfo: memFree=127861872/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=58008 memory=12900 CPUtime=0.07 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 1068 0 0 0 5 2 0 0 20 0 1 0 62679304 59400192 3225 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 14502 3225 1952 1147 0 1929 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62200 KiB
Current children cumulated memory: 15972 KiB
[startup+0.205461 s]*
/proc/loadavg: 4.12 4.11 4.08 3/260 66400
/proc/meminfo: memFree=127845364/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=79708 memory=34460 CPUtime=0.18 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 4696 0 0 0 13 5 0 0 20 0 1 0 62679304 81620992 8615 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 19927 8615 2272 1147 0 7354 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 83900 KiB
Current children cumulated memory: 37532 KiB
[startup+0.305467 s]*
/proc/loadavg: 4.12 4.11 4.08 4/260 66402
/proc/meminfo: memFree=127823436/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=105780 memory=57548 CPUtime=0.28 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 6450 0 0 0 20 8 0 0 20 0 1 0 62679304 108318720 14387 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 26445 14387 2368 1147 0 13872 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 109972 KiB
Current children cumulated memory: 60620 KiB
[startup+0.70016 s]
/proc/loadavg: 4.12 4.11 4.08 3/259 66425
/proc/meminfo: memFree=127839088/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=138356 memory=90304 CPUtime=0.67 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 12043 0 0 0 45 22 0 0 20 0 1 0 62679304 141676544 22576 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 34589 22576 2400 1147 0 22016 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 142548 KiB
Current children cumulated memory: 93376 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.11 4.08 5/268 66472
/proc/meminfo: memFree=127759220/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=138356 memory=90304 CPUtime=1.47 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 12044 0 0 0 124 23 0 0 20 0 1 0 62679304 141676544 22576 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 34589 22576 2400 1147 0 22016 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 142548 KiB
Current children cumulated memory: 93376 KiB
[startup+3.10513 s]
/proc/loadavg: 4.11 4.11 4.08 4/257 66539
/proc/meminfo: memFree=127764860/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=138356 memory=93356 CPUtime=3.07 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 12279 0 0 0 260 47 0 0 20 0 1 0 62679304 141676544 23339 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 34589 23339 2432 1147 0 22016 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 142548 KiB
Current children cumulated memory: 96428 KiB
[startup+6.30013 s]
/proc/loadavg: 4.11 4.11 4.08 5/264 66592
/proc/meminfo: memFree=127678252/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=138356 memory=93356 CPUtime=6.26 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 12290 0 0 0 567 59 0 0 20 0 1 0 62679304 141676544 23339 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 34589 23339 2432 1147 0 22016 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 142548 KiB
Current children cumulated memory: 96428 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.08 5/268 66748
/proc/meminfo: memFree=127517220/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=138356 memory=93356 CPUtime=12.64 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 12300 0 0 0 1189 75 0 0 20 0 1 0 62679304 141676544 23339 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 34589 23339 2432 1147 0 22016 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 142548 KiB
Current children cumulated memory: 96428 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 66748
/proc/meminfo: memFree=126795300/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=138356 memory=94508 CPUtime=25.41 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 12611 0 0 0 2440 101 0 0 20 0 1 0 62679304 141676544 23627 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 34589 23627 2432 1147 0 22016 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 142548 KiB
Current children cumulated memory: 97580 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 4.11 4.08 5/268 66749
/proc/meminfo: memFree=126359040/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=145432 memory=100956 CPUtime=50.96 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 12670 0 0 0 4959 137 0 0 20 0 1 0 62679304 148922368 25239 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 36358 25239 2432 1147 0 23785 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 149624 KiB
Current children cumulated memory: 104028 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/268 66797
/proc/meminfo: memFree=125097104/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=156924 memory=104012 CPUtime=102.03 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 12951 0 0 0 9998 205 0 0 20 0 1 0 62679304 160690176 26003 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 39231 26003 2432 1147 0 26658 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 161116 KiB
Current children cumulated memory: 107084 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 66799
/proc/meminfo: memFree=124632540/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=156924 memory=108620 CPUtime=161.89 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 13024 0 0 0 15913 276 0 0 20 0 1 0 62679304 160690176 27155 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 39231 27155 2432 1147 0 26658 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 161116 KiB
Current children cumulated memory: 111692 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/269 66802
/proc/meminfo: memFree=124053392/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=156924 memory=112716 CPUtime=221.75 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 13054 0 0 0 21818 357 0 0 20 0 1 0 62679304 160690176 28179 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 39231 28179 2432 1147 0 26658 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 161116 KiB
Current children cumulated memory: 115788 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 66804
/proc/meminfo: memFree=123928628/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=156924 memory=114764 CPUtime=281.61 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 13055 0 0 0 27728 433 0 0 20 0 1 0 62679304 160690176 28691 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 39231 28691 2432 1147 0 26658 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 161116 KiB
Current children cumulated memory: 117836 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/269 66806
/proc/meminfo: memFree=123495444/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=156924 memory=114892 CPUtime=341.47 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 13090 0 0 0 33627 520 0 0 20 0 1 0 62679304 160690176 28723 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 39231 28723 2432 1147 0 26658 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 161116 KiB
Current children cumulated memory: 117964 KiB
[startup+344.089 s]
# the end of solver process 66394 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=338.025 s, system=5.24108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+342.4 s]
/proc/loadavg: 4.16 4.10 4.09 5/269 66806
/proc/meminfo: memFree=123495444/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=156924 memory=114892 CPUtime=341.57 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 13090 0 0 0 33636 521 0 0 20 0 1 0 62679304 160690176 28723 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 39231 28723 2432 1147 0 26658 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 161116 KiB
Current children cumulated memory: 117964 KiB
[startup+343.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 66806
/proc/meminfo: memFree=123495476/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=156924 memory=114892 CPUtime=342.37 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 13090 0 0 0 33715 522 0 0 20 0 1 0 62679304 160690176 28723 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 39231 28723 2432 1147 0 26658 0
Current children cumulated CPU time: 342.37 s
Current children cumulated vsize: 161116 KiB
Current children cumulated memory: 117964 KiB
[startup+343.6 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 66806
/proc/meminfo: memFree=123495476/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=156924 memory=114892 CPUtime=342.77 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 13090 0 0 0 33754 523 0 0 20 0 1 0 62679304 160690176 28723 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 39231 28723 2432 1147 0 26658 0
Current children cumulated CPU time: 342.77 s
Current children cumulated vsize: 161116 KiB
Current children cumulated memory: 117964 KiB
[startup+344 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 66806
/proc/meminfo: memFree=123495476/131250000 swapFree=33010672/33010684
[pid=66394] ppid=66391 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66394/stat : 66394 (run-opt.sh) S 66391 66394 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62679303 4292608 768 18446744073709551615 94078750679040 94078751573573 140724344823040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94078751812624 94078751860368 94078780633088 140724344830317 140724344830440 140724344830440 140724344836042 0
/proc/66394/statm: 1048 768 704 219 0 110 0
[pid=66396] ppid=66394 vsize=156924 memory=114892 CPUtime=343.17 cores=5,7
/proc/66396/stat : 66396 (roundingsat) R 66394 66394 66032 0 -1 4194304 13090 0 0 0 33794 523 0 0 20 0 1 0 62679304 160690176 28723 18446744073709551615 4227072 8923433 140736054408192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40042496 140736054413730 140736054413864 140736054413864 140736054419434 0
/proc/66396/statm: 39231 28723 2432 1147 0 26658 0
Current children cumulated CPU time: 343.17 s
Current children cumulated vsize: 161116 KiB
Current children cumulated memory: 117964 KiB
Child status: 0
Real time (s): 344.089
CPU time (s): 343.266
CPU user time (s): 338.025
CPU system time (s): 5.24108
CPU usage (%): 99.7607
Max. virtual memory (cumulated for all children) (KiB): 161116
Max. memory (cumulated for all children) (KiB): 117964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 338.025
system time used= 5.24108
maximum resident set size= 114892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13323
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= 160
involuntary context switches= 171
# summary of solver processes directly reported to runsolver:
# pid: 66394
# total CPU time (s): 343.266
# total CPU user time (s): 338.025
# total CPU system time (s): 5.24108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.694051 second user time and 1.51936 second system time
The end
Begin job on nodeC014 at 2025-07-02 17:27:07
IDJOB=4499626
IDBENCH=148787
IDSOLVER=3350
FILE ID=nodeC014/4499626-1751470027
RUNJOBID= nodeC014-1751466415-66045
SLURM_JOB_ID= 9598484
Free space on /tmp= 430500 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-4000opt.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499626-1751470027/watcher-4499626-1751470027 -o /tmp/evaluation-result-4499626-1751470027/solver-4499626-1751470027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66045 --watchdog 3760 run-opt.sh HOME/instance-4499626-1751470027.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d87631fd3bb2f1e85f81d18642986b56
RANDOM SEED=1816453504
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1923.490
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.129
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2625.920
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.815
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1249.337
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1484.917
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.500
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127863040 kB
MemAvailable: 129607504 kB
Buffers: 2508 kB
Cached: 2540284 kB
SwapCached: 4 kB
Active: 728572 kB
Inactive: 1992868 kB
Active(anon): 192860 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1989016 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9288 kB
Writeback: 4 kB
AnonPages: 181776 kB
Mapped: 109764 kB
Shmem: 18064 kB
KReclaimable: 117948 kB
Slab: 208452 kB
SReclaimable: 117948 kB
SUnreclaim: 90504 kB
KernelStack: 4176 kB
PageTables: 3304 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 485384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 73728 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430500 MiB
End job on nodeC014 at 2025-07-02 17:32:51