0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.46/0.54 c #variables 21101 #constraints 99896
0.46/0.54 c objective is ce64
0.46/0.57 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.46/0.57 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.46/0.57 c GLOBAL bounds - >= 0 @ 0.436764
0.46/0.59 c GLOBAL bounds - >= 0 @ 0.44773
0.46/0.59 c GLOBAL bounds - >= 475379834250 @ 0.448098
0.75/0.82 c GLOBAL bounds - >= 475379834250 @ 0.654223
0.75/0.84 c GLOBAL bounds - >= 475379834250 @ 0.663422
0.75/0.84 c GLOBAL bounds - >= 475379834250 @ 0.664087
0.75/0.87 c GLOBAL bounds - >= 475379834250 @ 0.677061
0.75/0.87 c GLOBAL bounds - >= 475379834250 @ 0.677472
0.75/0.89 c GLOBAL bounds - >= 475379834250 @ 0.685092
0.75/0.89 c GLOBAL bounds - >= 475379834250 @ 0.685492
0.85/0.91 c GLOBAL bounds - >= 475379834250 @ 0.695386
0.85/0.91 c GLOBAL bounds - >= 475379834250 @ 0.695892
0.85/0.93 c GLOBAL bounds - >= 475379834250 @ 0.704511
0.85/0.93 c GLOBAL bounds - >= 475379834250 @ 0.704966
0.85/0.95 c GLOBAL bounds - >= 475379834250 @ 0.713586
0.85/0.96 c GLOBAL bounds - >= 475379834250 @ 0.714186
0.85/0.98 c GLOBAL bounds - >= 475379834250 @ 0.723946
0.85/0.98 c GLOBAL bounds - >= 475379834250 @ 0.724409
0.95/1.01 c GLOBAL bounds - >= 475379834250 @ 0.736697
0.95/1.01 c GLOBAL bounds - >= 475379834250 @ 0.737019
0.95/1.03 c GLOBAL bounds - >= 475379834250 @ 0.744065
0.95/1.03 c GLOBAL bounds - >= 475379834250 @ 0.744666
0.95/1.05 c GLOBAL bounds - >= 475379834250 @ 0.756485
0.95/1.07 c GLOBAL bounds - >= 475379834250 @ 0.767466
0.95/1.09 c GLOBAL bounds - >= 475379834250 @ 0.772951
1.05/1.11 c GLOBAL bounds - >= 475379834250 @ 0.780885
1.05/1.13 c GLOBAL bounds - >= 475379834250 @ 0.790728
1.05/1.15 c GLOBAL bounds - >= 475379834250 @ 0.80343
1.05/1.16 c GLOBAL bounds - >= 713143539475 @ 0.809792
1.05/1.17 c GLOBAL bounds - >= 713143539475 @ 0.814727
1.05/1.17 c GLOBAL bounds - >= 713143539475 @ 0.815234
1.05/1.19 c GLOBAL bounds - >= 713143539475 @ 0.823403
1.05/1.19 c GLOBAL bounds - >= 713143539475 @ 0.824044
1.14/1.21 c GLOBAL bounds - >= 713143539475 @ 0.837172
1.14/1.21 c GLOBAL bounds - >= 713143539475 @ 0.837402
1.14/1.24 c GLOBAL bounds - >= 713143539475 @ 0.846276
1.14/1.24 c GLOBAL bounds - >= 713143539475 @ 0.846851
1.14/1.26 c GLOBAL bounds - >= 713143539475 @ 0.858735
1.14/1.26 c GLOBAL bounds - >= 713143539475 @ 0.859188
1.14/1.28 c GLOBAL bounds - >= 713143539475 @ 0.865004
1.14/1.28 c GLOBAL bounds - >= 713143539475 @ 0.86542
1.25/1.30 c GLOBAL bounds - >= 713143539475 @ 0.874215
1.25/1.30 c GLOBAL bounds - >= 713143539475 @ 0.874792
1.25/1.33 c GLOBAL bounds - >= 713143539475 @ 0.886483
1.25/1.33 c GLOBAL bounds - >= 713143539475 @ 0.887221
1.25/1.35 c GLOBAL bounds - >= 713143539475 @ 0.898524
1.25/1.35 c GLOBAL bounds - >= 713143539475 @ 0.899271
1.25/1.37 c GLOBAL bounds - >= 713143539475 @ 0.9081
1.25/1.37 c GLOBAL bounds - >= 713143539475 @ 0.908752
1.25/1.39 c GLOBAL bounds - >= 713143539475 @ 0.922398
1.34/1.42 c GLOBAL bounds - >= 713143539475 @ 0.936078
1.34/1.43 c GLOBAL bounds - >= 713143539475 @ 0.943046
1.34/1.44 c GLOBAL bounds - >= 713143539475 @ 0.949328
1.34/1.46 c GLOBAL bounds - >= 713143539475 @ 0.953702
1.34/1.47 c GLOBAL bounds - >= 713143539475 @ 0.961308
1.34/1.49 c GLOBAL bounds - >= 713143539475 @ 0.965017
1.44/1.50 c GLOBAL bounds - >= 713143539475 @ 0.971371
1.44/1.52 c GLOBAL bounds - >= 713143539475 @ 0.981257
1.44/1.54 c GLOBAL bounds - >= 713143539475 @ 0.991988
1.44/1.56 c GLOBAL bounds - >= 713143539475 @ 1.00915
1.44/1.58 c GLOBAL bounds - >= 713143539475 @ 1.01756
1.55/1.60 c GLOBAL bounds - >= 713143539475 @ 1.02394
1.55/1.60 c GLOBAL bounds - >= 792336617800 @ 1.02675
1.55/1.60 c GLOBAL bounds - >= 792336617800 @ 1.03068
1.55/1.60 c GLOBAL bounds - >= 792336617800 @ 1.03118
1.55/1.61 c GLOBAL bounds - >= 792336617800 @ 1.03164
1.55/1.62 c GLOBAL bounds - >= 792336617800 @ 1.04018
1.55/1.62 c GLOBAL bounds - >= 792336617800 @ 1.04073
1.55/1.65 c GLOBAL bounds - >= 792336617800 @ 1.04867
1.55/1.65 c GLOBAL bounds - >= 792336617800 @ 1.04942
1.55/1.67 c GLOBAL bounds - >= 792336617800 @ 1.05697
1.55/1.67 c GLOBAL bounds - >= 792336617800 @ 1.05749
1.55/1.68 c GLOBAL bounds - >= 792336617800 @ 1.06479
1.55/1.69 c GLOBAL bounds - >= 792336617800 @ 1.06536
1.64/1.71 c GLOBAL bounds - >= 792336617800 @ 1.07416
1.64/1.71 c GLOBAL bounds - >= 792336617800 @ 1.07462
1.64/1.73 c GLOBAL bounds - >= 792336617800 @ 1.08459
1.64/1.73 c GLOBAL bounds - >= 792336617800 @ 1.08533
1.64/1.76 c GLOBAL bounds - >= 792336617800 @ 1.09241
1.64/1.76 c GLOBAL bounds - >= 792336617800 @ 1.09325
1.64/1.78 c GLOBAL bounds - >= 792336617800 @ 1.10517
1.64/1.78 c GLOBAL bounds - >= 792336617800 @ 1.10576
1.74/1.80 c GLOBAL bounds - >= 792336617800 @ 1.11553
1.74/1.80 c GLOBAL bounds - >= 792336617800 @ 1.11631
1.74/1.82 c GLOBAL bounds - >= 792336617800 @ 1.12704
1.74/1.84 c GLOBAL bounds - >= 792336617800 @ 1.1406
1.74/1.87 c GLOBAL bounds - >= 792336617800 @ 1.1574
1.74/1.89 c GLOBAL bounds - >= 1109330295400 @ 1.16966
1.84/1.91 c GLOBAL bounds - >= 1109330295400 @ 1.18626
1.84/1.93 c GLOBAL bounds - >= 1109330295400 @ 1.19589
1.84/1.93 c GLOBAL bounds - >= 1109330295400 @ 1.19682
1.84/1.95 c GLOBAL bounds - >= 1109330295400 @ 1.20786
1.84/1.95 c GLOBAL bounds - >= 1109330295400 @ 1.20823
1.84/1.97 c GLOBAL bounds - >= 1109330295400 @ 1.21928
1.84/1.98 c GLOBAL bounds - >= 1109330295400 @ 1.22013
1.94/2.00 c GLOBAL bounds - >= 1109330295400 @ 1.23
1.94/2.00 c GLOBAL bounds - >= 1109330295400 @ 1.23054
1.94/2.02 c GLOBAL bounds - >= 1109330295400 @ 1.23953
1.94/2.03 c GLOBAL bounds - >= 1109330295400 @ 1.24001
1.94/2.05 c GLOBAL bounds - >= 1109330295400 @ 1.24881
1.94/2.05 c GLOBAL bounds - >= 1109330295400 @ 1.24913
1.94/2.07 c GLOBAL bounds - >= 1109330295400 @ 1.25931
1.94/2.07 c GLOBAL bounds - >= 1109330295400 @ 1.26012
1.94/2.09 c GLOBAL bounds - >= 1109330295400 @ 1.2681
1.94/2.09 c GLOBAL bounds - >= 1109330295400 @ 1.26901
2.05/2.12 c GLOBAL bounds - >= 1109330295400 @ 1.27693
2.05/2.12 c GLOBAL bounds - >= 1109330295400 @ 1.27787
2.05/2.14 c GLOBAL bounds - >= 1109330295400 @ 1.28868
2.05/2.19 c GLOBAL bounds - >= 1109330295400 @ 1.31982
2.14/2.25 c GLOBAL bounds - >= 1109330295400 @ 1.37099
2.24/2.32 c GLOBAL bounds - >= 1188689396950 @ 1.43578
2.24/2.33 c GLOBAL bounds - >= 1188689396950 @ 1.44234
2.24/2.33 c GLOBAL bounds - >= 1188689396950 @ 1.44299
2.24/2.33 c GLOBAL bounds - >= 1188689396950 @ 1.44351
2.24/2.35 c GLOBAL bounds - >= 1188689396950 @ 1.45421
2.24/2.35 c GLOBAL bounds - >= 1188689396950 @ 1.455
2.24/2.38 c GLOBAL bounds - >= 1188689396950 @ 1.46288
2.24/2.38 c GLOBAL bounds - >= 1188689396950 @ 1.46359
2.34/2.40 c GLOBAL bounds - >= 1188689396950 @ 1.47344
2.34/2.40 c GLOBAL bounds - >= 1188689396950 @ 1.4742
2.34/2.42 c GLOBAL bounds - >= 1188689396950 @ 1.48419
2.34/2.42 c GLOBAL bounds - >= 1188689396950 @ 1.48435
2.34/2.44 c GLOBAL bounds - >= 1188689396950 @ 1.49373
2.34/2.44 c GLOBAL bounds - >= 1188689396950 @ 1.49433
2.34/2.47 c GLOBAL bounds - >= 1188689396950 @ 1.50835
2.34/2.47 c GLOBAL bounds - >= 1188689396950 @ 1.50926
2.34/2.49 c GLOBAL bounds - >= 1188689396950 @ 1.51807
2.34/2.49 c GLOBAL bounds - >= 1188689396950 @ 1.5183
2.43/2.51 c GLOBAL bounds - >= 1188689396950 @ 1.52592
2.43/2.51 c GLOBAL bounds - >= 1188689396950 @ 1.52624
2.43/2.53 c GLOBAL bounds - >= 1188689396950 @ 1.53688
2.43/2.54 c GLOBAL bounds - >= 1188689396950 @ 1.53784
2.43/2.56 c GLOBAL bounds - >= 1188689396950 @ 1.54889
2.53/2.64 c GLOBAL bounds - >= 1188689396950 @ 1.61542
2.63/2.78 c GLOBAL bounds - >= 1188689396950 @ 1.73992
2.73/2.83 c GLOBAL bounds - >= 1188689396950 @ 1.7762
2.73/2.88 c GLOBAL bounds - >= 1188689396950 @ 1.80634
3.04/3.18 c GLOBAL bounds - >= 1347241576825 @ 2.09006
3.04/3.19 c GLOBAL bounds - >= 1347241576825 @ 2.10013
3.13/3.22 c GLOBAL bounds - >= 1347241576825 @ 2.11291
3.13/3.22 c GLOBAL bounds - >= 1347241576825 @ 2.11323
3.13/3.24 c GLOBAL bounds - >= 1347241576825 @ 2.12587
3.13/3.24 c GLOBAL bounds - >= 1347241576825 @ 2.12622
3.13/3.26 c GLOBAL bounds - >= 1347241576825 @ 2.14145
3.13/3.26 c GLOBAL bounds - >= 1347241576825 @ 2.14219
3.13/3.29 c GLOBAL bounds - >= 1347241576825 @ 2.14991
3.13/3.29 c GLOBAL bounds - >= 1347241576825 @ 2.1508
3.23/3.31 c GLOBAL bounds - >= 1347241576825 @ 2.16192
3.23/3.31 c GLOBAL bounds - >= 1347241576825 @ 2.16288
3.23/3.33 c GLOBAL bounds - >= 1347241576825 @ 2.17002
3.23/3.33 c GLOBAL bounds - >= 1347241576825 @ 2.17103
3.23/3.36 c GLOBAL bounds - >= 1347241576825 @ 2.1826
3.23/3.36 c GLOBAL bounds - >= 1347241576825 @ 2.18304
3.23/3.38 c GLOBAL bounds - >= 1347241576825 @ 2.19337
3.23/3.38 c GLOBAL bounds - >= 1347241576825 @ 2.19403
3.32/3.40 c GLOBAL bounds - >= 1347241576825 @ 2.20162
3.32/3.40 c GLOBAL bounds - >= 1347241576825 @ 2.20245
3.32/3.43 c GLOBAL bounds - >= 1347241576825 @ 2.21645
4.12/4.26 c #Conflicts: 1000 | #Constraints: 2411
4.12/4.26 c GLOBAL bounds - >= 1347426047075 @ 2.97947
4.12/4.27 c GLOBAL bounds - >= 1347426047075 @ 2.98933
4.12/4.29 c GLOBAL bounds - >= 1347426047075 @ 3.00074
4.12/4.29 c GLOBAL bounds - >= 1347426047075 @ 3.00171
4.22/4.32 c GLOBAL bounds - >= 1347426047075 @ 3.01504
4.22/4.32 c GLOBAL bounds - >= 1347426047075 @ 3.01612
4.22/4.34 c GLOBAL bounds - >= 1347426047075 @ 3.02932
4.22/4.34 c GLOBAL bounds - >= 1347426047075 @ 3.03042
4.22/4.36 c GLOBAL bounds - >= 1347426047075 @ 3.03881
4.22/4.36 c GLOBAL bounds - >= 1347426047075 @ 3.03973
4.22/4.39 c GLOBAL bounds - >= 1347426047075 @ 3.05195
4.22/4.39 c GLOBAL bounds - >= 1347426047075 @ 3.05302
4.32/4.41 c GLOBAL bounds - >= 1347426047075 @ 3.06351
4.32/4.41 c GLOBAL bounds - >= 1347426047075 @ 3.06406
4.32/4.43 c GLOBAL bounds - >= 1347426047075 @ 3.07088
4.32/4.43 c GLOBAL bounds - >= 1347426047075 @ 3.07198
4.32/4.46 c GLOBAL bounds - >= 1347426047075 @ 3.07946
4.32/4.46 c GLOBAL bounds - >= 1347426047075 @ 3.08005
4.32/4.48 c GLOBAL bounds - >= 1347426047075 @ 3.09287
4.32/4.48 c GLOBAL bounds - >= 1347426047075 @ 3.09401
4.42/4.50 c GLOBAL bounds - >= 1347426047075 @ 3.10465
4.42/4.52 c GLOBAL bounds - >= 1347426047075 @ 3.11792
4.42/4.55 c GLOBAL bounds - >= 1347426047075 @ 3.12492
4.91/5.06 c #Conflicts: 2000 | #Constraints: 3450
4.91/5.06 c INPROCESSING
4.91/5.06 c GARBAGE COLLECT
4.91/5.06 c GLOBAL bounds - >= 1347573623275 @ 3.5933
4.91/5.07 c GLOBAL bounds - >= 1347573623275 @ 3.60663
4.91/5.09 c GLOBAL bounds - >= 1347573623275 @ 3.61639
4.91/5.10 c GLOBAL bounds - >= 1347573623275 @ 3.6177
5.01/5.12 c GLOBAL bounds - >= 1347573623275 @ 3.62583
5.01/5.12 c GLOBAL bounds - >= 1347573623275 @ 3.62699
5.01/5.14 c GLOBAL bounds - >= 1347573623275 @ 3.63698
5.01/5.14 c GLOBAL bounds - >= 1347573623275 @ 3.63799
5.01/5.16 c GLOBAL bounds - >= 1347573623275 @ 3.6474
5.01/5.17 c GLOBAL bounds - >= 1347573623275 @ 3.64798
5.01/5.19 c GLOBAL bounds - >= 1347573623275 @ 3.65669
5.01/5.19 c GLOBAL bounds - >= 1347573623275 @ 3.65788
5.11/5.21 c GLOBAL bounds - >= 1347573623275 @ 3.66694
5.11/5.21 c GLOBAL bounds - >= 1347573623275 @ 3.66789
5.11/5.23 c GLOBAL bounds - >= 1347573623275 @ 3.67728
5.11/5.24 c GLOBAL bounds - >= 1347573623275 @ 3.67787
5.11/5.26 c GLOBAL bounds - >= 1347573623275 @ 3.68862
5.11/5.26 c GLOBAL bounds - >= 1347573623275 @ 3.68886
5.11/5.28 c GLOBAL bounds - >= 1347573623275 @ 3.69622
5.11/5.28 c GLOBAL bounds - >= 1347573623275 @ 3.69685
5.22/5.30 c GLOBAL bounds - >= 1347573623275 @ 3.70565
5.22/5.32 c GLOBAL bounds - >= 1347573623275 @ 3.71177
10.17/10.34 c #Conflicts: 3000 | #Constraints: 3452
10.17/10.34 c #Conflicts: 4000 | #Constraints: 4452
10.17/10.34 c INPROCESSING
10.17/10.34 c GARBAGE COLLECT
10.17/10.34 c #Conflicts: 5000 | #Constraints: 3852
10.17/10.34 c #Conflicts: 6000 | #Constraints: 4852
10.17/10.34 c INPROCESSING
10.17/10.34 c GARBAGE COLLECT
10.17/10.34 c GLOBAL bounds - >= 1426951171850 @ 8.48284
10.17/10.35 c GLOBAL bounds - >= 1426951171850 @ 8.49646
10.17/10.35 c GLOBAL bounds - >= 1426951171850 @ 8.4974
10.17/10.38 c GLOBAL bounds - >= 1426951171850 @ 8.50801
10.17/10.38 c GLOBAL bounds - >= 1426951171850 @ 8.50958
10.27/10.40 c GLOBAL bounds - >= 1426951171850 @ 8.51769
10.27/10.40 c GLOBAL bounds - >= 1426951171850 @ 8.51826
10.27/10.43 c GLOBAL bounds - >= 1426951171850 @ 8.53111
10.27/10.43 c GLOBAL bounds - >= 1426951171850 @ 8.53224
10.27/10.45 c GLOBAL bounds - >= 1426951171850 @ 8.54032
10.27/10.45 c GLOBAL bounds - >= 1426951171850 @ 8.54124
10.27/10.48 c GLOBAL bounds - >= 1426951171850 @ 8.54965
10.27/10.48 c GLOBAL bounds - >= 1426951171850 @ 8.55134
10.37/10.50 c GLOBAL bounds - >= 1426951171850 @ 8.56404
10.37/10.51 c GLOBAL bounds - >= 1426951171850 @ 8.56413
10.37/10.53 c GLOBAL bounds - >= 1426951171850 @ 8.57744
10.37/10.53 c GLOBAL bounds - >= 1426951171850 @ 8.57899
10.37/10.55 c GLOBAL bounds - >= 1426951171850 @ 8.58596
10.37/10.55 c GLOBAL bounds - >= 1426951171850 @ 8.58751
10.37/10.58 c GLOBAL bounds - >= 1426951171850 @ 8.59851
10.37/10.58 c GLOBAL bounds - >= 1426951171850 @ 8.5991
10.46/10.60 c GLOBAL bounds - >= 1426951171850 @ 8.60393
10.46/10.62 c GLOBAL bounds - >= 1426951171850 @ 8.61201
10.46/10.64 c GLOBAL bounds - >= 1426951171850 @ 8.617
10.46/10.66 c GLOBAL bounds - >= 1426951171850 @ 8.62775
10.46/10.68 c GLOBAL bounds - >= 1426951171850 @ 8.63704
10.56/10.72 c GLOBAL bounds - >= 1426951171850 @ 8.66748
10.56/10.75 c GLOBAL bounds - >= 1426951171850 @ 8.68329
10.56/10.77 c GLOBAL bounds - >= 1426951171850 @ 8.69881
16.12/16.37 c #Conflicts: 7000 | #Constraints: 3916
16.12/16.37 c #Conflicts: 8000 | #Constraints: 4916
16.12/16.37 c #Conflicts: 9000 | #Constraints: 5916
16.12/16.37 c INPROCESSING
16.12/16.37 c GARBAGE COLLECT
16.12/16.37 c #Conflicts: 10000 | #Constraints: 4609
16.12/16.37 c #Conflicts: 11000 | #Constraints: 5609
16.12/16.37 c #Conflicts: 12000 | #Constraints: 6609
16.12/16.37 c INPROCESSING
16.12/16.37 c GARBAGE COLLECT
16.12/16.37 c GLOBAL bounds - >= 1506236485300 @ 14.0729
16.12/16.39 c GLOBAL bounds - >= 1506236485300 @ 14.0864
16.12/16.39 c GLOBAL bounds - >= 1506236485300 @ 14.0879
16.22/16.42 c GLOBAL bounds - >= 1506236485300 @ 14.1089
16.22/16.42 c GLOBAL bounds - >= 1506236485300 @ 14.1098
16.22/16.45 c GLOBAL bounds - >= 1506236485300 @ 14.1208
16.22/16.45 c GLOBAL bounds - >= 1506236485300 @ 14.1216
16.22/16.47 c GLOBAL bounds - >= 1506236485300 @ 14.1313
16.22/16.47 c GLOBAL bounds - >= 1506236485300 @ 14.133
16.32/16.50 c GLOBAL bounds - >= 1506236485300 @ 14.1441
16.32/16.50 c GLOBAL bounds - >= 1506236485300 @ 14.1448
16.32/16.52 c GLOBAL bounds - >= 1506236485300 @ 14.1588
16.32/16.52 c GLOBAL bounds - >= 1506236485300 @ 14.1604
16.32/16.55 c GLOBAL bounds - >= 1506236485300 @ 14.1713
16.32/16.55 c GLOBAL bounds - >= 1506236485300 @ 14.1725
16.32/16.57 c GLOBAL bounds - >= 1506236485300 @ 14.1839
16.32/16.57 c GLOBAL bounds - >= 1506236485300 @ 14.1847
16.41/16.60 c GLOBAL bounds - >= 1506236485300 @ 14.1976
16.41/16.60 c GLOBAL bounds - >= 1506236485300 @ 14.1986
16.41/16.62 c GLOBAL bounds - >= 1506236485300 @ 14.2086
16.41/16.62 c GLOBAL bounds - >= 1506236485300 @ 14.2093
16.41/16.65 c GLOBAL bounds - >= 1506236485300 @ 14.2203
16.41/16.68 c GLOBAL bounds - >= 1506236485300 @ 14.2344
56.45/57.03 c #Conflicts: 13000 | #Constraints: 5094
56.45/57.03 c #Conflicts: 14000 | #Constraints: 6094
56.45/57.03 c #Conflicts: 15000 | #Constraints: 7094
56.45/57.03 c INPROCESSING
56.45/57.03 c GARBAGE COLLECT
56.45/57.03 c #Conflicts: 16000 | #Constraints: 5314
56.45/57.03 c #Conflicts: 17000 | #Constraints: 6314
56.45/57.03 c #Conflicts: 18000 | #Constraints: 7314
56.45/57.03 c INPROCESSING
56.45/57.03 c GARBAGE COLLECT
56.45/57.03 c #Conflicts: 19000 | #Constraints: 5329
56.45/57.03 c #Conflicts: 20000 | #Constraints: 6329
56.45/57.03 c #Conflicts: 21000 | #Constraints: 7329
56.45/57.03 c INPROCESSING
56.45/57.03 c GARBAGE COLLECT
56.45/57.03 c #Conflicts: 22000 | #Constraints: 5130
56.45/57.03 c #Conflicts: 23000 | #Constraints: 6130
56.45/57.03 c #Conflicts: 24000 | #Constraints: 7130
56.45/57.03 c #Conflicts: 25000 | #Constraints: 8130
56.45/57.03 c INPROCESSING
56.45/57.03 c GARBAGE COLLECT
56.45/57.03 c #Conflicts: 26000 | #Constraints: 5733
56.45/57.03 c #Conflicts: 27000 | #Constraints: 6733
56.45/57.03 c #Conflicts: 28000 | #Constraints: 7733
56.45/57.03 c #Conflicts: 29000 | #Constraints: 8733
56.45/57.03 c INPROCESSING
56.45/57.03 c GARBAGE COLLECT
56.45/57.03 c #Conflicts: 30000 | #Constraints: 6137
56.45/57.03 c #Conflicts: 31000 | #Constraints: 7137
56.45/57.03 c #Conflicts: 32000 | #Constraints: 8137
56.45/57.03 c #Conflicts: 33000 | #Constraints: 9137
56.45/57.03 c INPROCESSING
56.45/57.03 c GARBAGE COLLECT
56.45/57.03 c #Conflicts: 34000 | #Constraints: 6340
56.45/57.03 c #Conflicts: 35000 | #Constraints: 7340
56.45/57.03 c #Conflicts: 36000 | #Constraints: 8340
56.45/57.03 c #Conflicts: 37000 | #Constraints: 9340
56.45/57.03 c INPROCESSING
56.45/57.03 c GARBAGE COLLECT
56.45/57.03 c #Conflicts: 38000 | #Constraints: 6341
56.45/57.03 c #Conflicts: 39000 | #Constraints: 7341
56.45/57.03 c #Conflicts: 40000 | #Constraints: 8341
56.45/57.03 c #Conflicts: 41000 | #Constraints: 9341
56.45/57.03 c INPROCESSING
56.45/57.03 c GARBAGE COLLECT
56.45/57.03 c #Conflicts: 42000 | #Constraints: 6137
56.45/57.03 c #Conflicts: 43000 | #Constraints: 7137
56.45/57.03 c #Conflicts: 44000 | #Constraints: 8137
56.45/57.03 c #Conflicts: 45000 | #Constraints: 9137
56.45/57.03 c GLOBAL bounds - >= 1664954688400 @ 53.1087
56.45/57.05 c GLOBAL bounds - >= 1664954688400 @ 53.1286
56.45/57.05 c GLOBAL bounds - >= 1664954688400 @ 53.1294
56.45/57.07 c GLOBAL bounds - >= 1664954688400 @ 53.142
56.45/57.08 c GLOBAL bounds - >= 1664954688400 @ 53.1429
56.45/57.10 c GLOBAL bounds - >= 1664954688400 @ 53.1497
56.55/57.10 c GLOBAL bounds - >= 1664954688400 @ 53.1513
56.55/57.13 c GLOBAL bounds - >= 1664954688400 @ 53.1642
56.55/57.13 c GLOBAL bounds - >= 1664954688400 @ 53.1646
56.55/57.15 c GLOBAL bounds - >= 1664954688400 @ 53.1727
56.55/57.15 c GLOBAL bounds - >= 1664954688400 @ 53.1743
56.55/57.18 c GLOBAL bounds - >= 1664954688400 @ 53.1851
56.55/57.18 c GLOBAL bounds - >= 1664954688400 @ 53.1858
56.66/57.20 c GLOBAL bounds - >= 1664954688400 @ 53.1947
56.66/57.20 c GLOBAL bounds - >= 1664954688400 @ 53.1962
56.66/57.23 c GLOBAL bounds - >= 1664954688400 @ 53.2083
56.66/57.23 c GLOBAL bounds - >= 1664954688400 @ 53.2094
56.66/57.25 c GLOBAL bounds - >= 1664954688400 @ 53.2198
56.66/57.26 c GLOBAL bounds - >= 1664954688400 @ 53.2214
56.66/57.28 c GLOBAL bounds - >= 1664954688400 @ 53.2373
56.66/57.28 c GLOBAL bounds - >= 1664954688400 @ 53.2384
56.75/57.31 c GLOBAL bounds - >= 1664954688400 @ 53.2489
108.66/109.70 c #Conflicts: 46000 | #Constraints: 10177
108.66/109.70 c INPROCESSING
108.66/109.70 c GARBAGE COLLECT
108.66/109.70 c #Conflicts: 47000 | #Constraints: 6761
108.66/109.70 c #Conflicts: 48000 | #Constraints: 7761
108.66/109.70 c #Conflicts: 49000 | #Constraints: 8761
108.66/109.70 c #Conflicts: 50000 | #Constraints: 9761
108.66/109.70 c #Conflicts: 51000 | #Constraints: 10761
108.66/109.70 c INPROCESSING
108.66/109.70 c GARBAGE COLLECT
108.66/109.70 c #Conflicts: 52000 | #Constraints: 7161
108.66/109.70 c #Conflicts: 53000 | #Constraints: 8161
108.66/109.70 c #Conflicts: 54000 | #Constraints: 9161
108.66/109.70 c #Conflicts: 55000 | #Constraints: 10161
108.66/109.70 c #Conflicts: 56000 | #Constraints: 11161
108.66/109.70 c INPROCESSING
108.66/109.70 c GARBAGE COLLECT
108.66/109.70 c #Conflicts: 57000 | #Constraints: 7362
108.66/109.70 c #Conflicts: 58000 | #Constraints: 8362
108.66/109.70 c #Conflicts: 59000 | #Constraints: 9362
108.66/109.70 c #Conflicts: 60000 | #Constraints: 10362
108.66/109.70 c #Conflicts: 61000 | #Constraints: 11362
108.66/109.70 c INPROCESSING
108.66/109.70 c GARBAGE COLLECT
108.66/109.70 c #Conflicts: 62000 | #Constraints: 7372
108.66/109.70 c #Conflicts: 63000 | #Constraints: 8372
108.66/109.70 c #Conflicts: 64000 | #Constraints: 9372
108.66/109.70 c #Conflicts: 65000 | #Constraints: 10372
108.66/109.70 c #Conflicts: 66000 | #Constraints: 11372
108.66/109.70 c INPROCESSING
108.66/109.70 c GARBAGE COLLECT
108.66/109.70 c #Conflicts: 67000 | #Constraints: 7170
108.66/109.70 c #Conflicts: 68000 | #Constraints: 8170
108.66/109.70 c #Conflicts: 69000 | #Constraints: 9170
108.66/109.70 c #Conflicts: 70000 | #Constraints: 10170
108.66/109.70 c #Conflicts: 71000 | #Constraints: 11170
108.66/109.70 c #Conflicts: 72000 | #Constraints: 12170
108.66/109.70 c INPROCESSING
108.66/109.70 c GARBAGE COLLECT
108.66/109.70 c #Conflicts: 73000 | #Constraints: 7775
108.66/109.70 c #Conflicts: 74000 | #Constraints: 8775
108.66/109.70 c #Conflicts: 75000 | #Constraints: 9775
108.66/109.70 c #Conflicts: 76000 | #Constraints: 10775
108.66/109.70 c #Conflicts: 77000 | #Constraints: 11775
108.66/109.70 c #Conflicts: 78000 | #Constraints: 12775
108.66/109.70 c INPROCESSING
108.66/109.70 c GARBAGE COLLECT
108.66/109.70 c #Conflicts: 79000 | #Constraints: 8171
108.66/109.70 c #Conflicts: 80000 | #Constraints: 9171
108.66/109.70 c #Conflicts: 81000 | #Constraints: 10171
108.66/109.70 c #Conflicts: 82000 | #Constraints: 11171
108.66/109.70 c #Conflicts: 83000 | #Constraints: 12171
108.66/109.70 c #Conflicts: 84000 | #Constraints: 13171
108.66/109.70 c INPROCESSING
108.66/109.70 c GARBAGE COLLECT
108.66/109.70 c #Conflicts: 85000 | #Constraints: 8376
108.66/109.70 c #Conflicts: 86000 | #Constraints: 9376
108.66/109.70 c #Conflicts: 87000 | #Constraints: 10376
108.66/109.70 c #Conflicts: 88000 | #Constraints: 11376
108.66/109.70 c #Conflicts: 89000 | #Constraints: 12376
108.66/109.70 c #Conflicts: 90000 | #Constraints: 13376
108.66/109.70 c INPROCESSING
108.66/109.70 c GARBAGE COLLECT
108.66/109.70 c #Conflicts: 91000 | #Constraints: 8377
108.66/109.70 c #Conflicts: 92000 | #Constraints: 9377
108.66/109.70 c #Conflicts: 93000 | #Constraints: 10377
108.66/109.70 c GLOBAL bounds - >= 1665157605675 @ 103.742
108.66/109.71 c GLOBAL bounds - >= 1665157605675 @ 103.752
108.66/109.74 c GLOBAL bounds - >= 1665157605675 @ 103.763
108.66/109.74 c GLOBAL bounds - >= 1665157605675 @ 103.765
108.66/109.77 c GLOBAL bounds - >= 1665157605675 @ 103.78
108.66/109.77 c GLOBAL bounds - >= 1665157605675 @ 103.781
108.66/109.79 c GLOBAL bounds - >= 1665157605675 @ 103.791
108.77/109.80 c GLOBAL bounds - >= 1665157605675 @ 103.792
108.77/109.82 c GLOBAL bounds - >= 1665157605675 @ 103.802
108.77/109.82 c GLOBAL bounds - >= 1665157605675 @ 103.804
108.77/109.85 c GLOBAL bounds - >= 1665157605675 @ 103.817
108.77/109.85 c GLOBAL bounds - >= 1665157605675 @ 103.817
108.77/109.87 c GLOBAL bounds - >= 1665157605675 @ 103.829
108.77/109.87 c GLOBAL bounds - >= 1665157605675 @ 103.829
108.86/109.90 c GLOBAL bounds - >= 1665157605675 @ 103.841
108.86/109.90 c GLOBAL bounds - >= 1665157605675 @ 103.842
108.86/109.92 c GLOBAL bounds - >= 1665157605675 @ 103.851
108.86/109.92 c GLOBAL bounds - >= 1665157605675 @ 103.852
108.86/109.95 c GLOBAL bounds - >= 1665157605675 @ 103.865
108.86/109.95 c GLOBAL bounds - >= 1665157605675 @ 103.867
108.86/109.97 c GLOBAL bounds - >= 1665157605675 @ 103.879
176.61/178.00 c #Conflicts: 94000 | #Constraints: 11416
176.61/178.00 c #Conflicts: 95000 | #Constraints: 12416
176.61/178.00 c #Conflicts: 96000 | #Constraints: 13416
176.61/178.00 c INPROCESSING
176.61/178.00 c GARBAGE COLLECT
176.61/178.00 c #Conflicts: 97000 | #Constraints: 8205
176.61/178.00 c #Conflicts: 98000 | #Constraints: 9205
176.61/178.00 c #Conflicts: 99000 | #Constraints: 10205
176.61/178.00 c #Conflicts: 100000 | #Constraints: 11205
176.61/178.00 c #Conflicts: 101000 | #Constraints: 12205
176.61/178.00 c #Conflicts: 102000 | #Constraints: 13205
176.61/178.00 c #Conflicts: 103000 | #Constraints: 14205
176.61/178.00 c INPROCESSING
176.61/178.00 c GARBAGE COLLECT
176.61/178.00 c #Conflicts: 104000 | #Constraints: 8802
176.61/178.00 c #Conflicts: 105000 | #Constraints: 9802
176.61/178.00 c #Conflicts: 106000 | #Constraints: 10802
176.61/178.00 c #Conflicts: 107000 | #Constraints: 11802
176.61/178.00 c #Conflicts: 108000 | #Constraints: 12802
176.61/178.00 c #Conflicts: 109000 | #Constraints: 13802
176.61/178.00 c #Conflicts: 110000 | #Constraints: 14802
176.61/178.00 c INPROCESSING
176.61/178.00 c GARBAGE COLLECT
176.61/178.00 c #Conflicts: 111000 | #Constraints: 9199
176.61/178.00 c #Conflicts: 112000 | #Constraints: 10199
176.61/178.00 c #Conflicts: 113000 | #Constraints: 11199
176.61/178.00 c #Conflicts: 114000 | #Constraints: 12199
176.61/178.00 c #Conflicts: 115000 | #Constraints: 13199
176.61/178.00 c #Conflicts: 116000 | #Constraints: 14199
176.61/178.00 c #Conflicts: 117000 | #Constraints: 15199
176.61/178.00 c INPROCESSING
176.61/178.00 c GARBAGE COLLECT
176.61/178.00 c #Conflicts: 118000 | #Constraints: 9395
176.61/178.00 c #Conflicts: 119000 | #Constraints: 10395
176.61/178.00 c #Conflicts: 120000 | #Constraints: 11395
176.61/178.00 c #Conflicts: 121000 | #Constraints: 12395
176.61/178.00 c #Conflicts: 122000 | #Constraints: 13395
176.61/178.00 c #Conflicts: 123000 | #Constraints: 14395
176.61/178.00 c #Conflicts: 124000 | #Constraints: 15395
176.61/178.00 c INPROCESSING
176.61/178.00 c GARBAGE COLLECT
176.61/178.00 c #Conflicts: 125000 | #Constraints: 9391
176.61/178.00 c #Conflicts: 126000 | #Constraints: 10391
176.61/178.00 c #Conflicts: 127000 | #Constraints: 11391
176.61/178.00 c #Conflicts: 128000 | #Constraints: 12391
176.61/178.00 c #Conflicts: 129000 | #Constraints: 13391
176.61/178.00 c #Conflicts: 130000 | #Constraints: 14391
176.61/178.00 c #Conflicts: 131000 | #Constraints: 15391
176.61/178.00 c INPROCESSING
176.61/178.00 c GARBAGE COLLECT
176.61/178.00 c #Conflicts: 132000 | #Constraints: 9201
176.61/178.00 c #Conflicts: 133000 | #Constraints: 10201
176.61/178.00 c #Conflicts: 134000 | #Constraints: 11201
176.61/178.00 c #Conflicts: 135000 | #Constraints: 12201
176.61/178.00 c #Conflicts: 136000 | #Constraints: 13201
176.61/178.00 c #Conflicts: 137000 | #Constraints: 14201
176.61/178.00 c #Conflicts: 138000 | #Constraints: 15201
176.61/178.00 c #Conflicts: 139000 | #Constraints: 16201
176.61/178.00 c INPROCESSING
176.61/178.00 c GARBAGE COLLECT
176.61/178.00 c #Conflicts: 140000 | #Constraints: 9797
176.61/178.00 c #Conflicts: 141000 | #Constraints: 10797
176.61/178.00 c #Conflicts: 142000 | #Constraints: 11797
176.61/178.00 c #Conflicts: 143000 | #Constraints: 12797
176.61/178.00 c #Conflicts: 144000 | #Constraints: 13797
176.61/178.00 c #Conflicts: 145000 | #Constraints: 14797
176.61/178.00 c #Conflicts: 146000 | #Constraints: 15797
176.61/178.00 c #Conflicts: 147000 | #Constraints: 16797
176.61/178.00 c INPROCESSING
176.61/178.00 c GARBAGE COLLECT
176.61/178.00 c #Conflicts: 148000 | #Constraints: 10198
176.61/178.00 c #Conflicts: 149000 | #Constraints: 11198
176.61/178.00 c #Conflicts: 150000 | #Constraints: 12198
176.61/178.00 c #Conflicts: 151000 | #Constraints: 13198
176.61/178.00 c #Conflicts: 152000 | #Constraints: 14198
176.61/178.00 c GLOBAL bounds - >= 1665342075925 @ 170.262
176.72/178.02 c GLOBAL bounds - >= 1665342075925 @ 170.279
176.72/178.04 c GLOBAL bounds - >= 1665342075925 @ 170.289
176.72/178.04 c GLOBAL bounds - >= 1665342075925 @ 170.29
176.72/178.07 c GLOBAL bounds - >= 1665342075925 @ 170.303
176.72/178.07 c GLOBAL bounds - >= 1665342075925 @ 170.304
176.72/178.09 c GLOBAL bounds - >= 1665342075925 @ 170.318
176.72/178.10 c GLOBAL bounds - >= 1665342075925 @ 170.32
176.82/178.12 c GLOBAL bounds - >= 1665342075925 @ 170.33
176.82/178.12 c GLOBAL bounds - >= 1665342075925 @ 170.331
176.82/178.15 c GLOBAL bounds - >= 1665342075925 @ 170.342
176.82/178.15 c GLOBAL bounds - >= 1665342075925 @ 170.343
176.82/178.17 c GLOBAL bounds - >= 1665342075925 @ 170.355
176.82/178.18 c GLOBAL bounds - >= 1665342075925 @ 170.356
176.92/178.20 c GLOBAL bounds - >= 1665342075925 @ 170.368
176.92/178.20 c GLOBAL bounds - >= 1665342075925 @ 170.37
176.92/178.23 c GLOBAL bounds - >= 1665342075925 @ 170.381
176.92/178.23 c GLOBAL bounds - >= 1665342075925 @ 170.382
176.92/178.25 c GLOBAL bounds - >= 1665342075925 @ 170.393
176.92/178.25 c GLOBAL bounds - >= 1665342075925 @ 170.394
176.92/178.28 c GLOBAL bounds - >= 1665342075925 @ 170.408
250.23/251.74 c #Conflicts: 153000 | #Constraints: 15237
250.23/251.74 c #Conflicts: 154000 | #Constraints: 16237
250.23/251.74 c #Conflicts: 155000 | #Constraints: 17237
250.23/251.74 c INPROCESSING
250.23/251.74 c GARBAGE COLLECT
250.23/251.74 c #Conflicts: 156000 | #Constraints: 10428
250.23/251.74 c #Conflicts: 157000 | #Constraints: 11428
250.23/251.74 c #Conflicts: 158000 | #Constraints: 12428
250.23/251.74 c #Conflicts: 159000 | #Constraints: 13428
250.23/251.74 c #Conflicts: 160000 | #Constraints: 14428
250.23/251.74 c #Conflicts: 161000 | #Constraints: 15428
250.23/251.74 c #Conflicts: 162000 | #Constraints: 16428
250.23/251.74 c #Conflicts: 163000 | #Constraints: 17428
250.23/251.74 c INPROCESSING
250.23/251.74 c GARBAGE COLLECT
250.23/251.74 c #Conflicts: 164000 | #Constraints: 10422
250.23/251.74 c #Conflicts: 165000 | #Constraints: 11422
250.23/251.74 c #Conflicts: 166000 | #Constraints: 12422
250.23/251.74 c #Conflicts: 167000 | #Constraints: 13422
250.23/251.74 c #Conflicts: 168000 | #Constraints: 14422
250.23/251.74 c #Conflicts: 169000 | #Constraints: 15422
250.23/251.74 c #Conflicts: 170000 | #Constraints: 16422
250.23/251.74 c #Conflicts: 171000 | #Constraints: 17422
250.23/251.74 c INPROCESSING
250.23/251.74 c GARBAGE COLLECT
250.23/251.74 c #Conflicts: 172000 | #Constraints: 10226
250.23/251.74 c #Conflicts: 173000 | #Constraints: 11226
250.23/251.74 c #Conflicts: 174000 | #Constraints: 12226
250.23/251.74 c #Conflicts: 175000 | #Constraints: 13226
250.23/251.74 c #Conflicts: 176000 | #Constraints: 14226
250.23/251.74 c #Conflicts: 177000 | #Constraints: 15226
250.23/251.74 c #Conflicts: 178000 | #Constraints: 16226
250.23/251.74 c #Conflicts: 179000 | #Constraints: 17226
250.23/251.74 c #Conflicts: 180000 | #Constraints: 18226
250.23/251.74 c INPROCESSING
250.23/251.74 c GARBAGE COLLECT
250.23/251.74 c #Conflicts: 181000 | #Constraints: 10825
250.23/251.74 c #Conflicts: 182000 | #Constraints: 11825
250.23/251.74 c #Conflicts: 183000 | #Constraints: 12825
250.23/251.74 c #Conflicts: 184000 | #Constraints: 13825
250.23/251.74 c #Conflicts: 185000 | #Constraints: 14825
250.23/251.74 c #Conflicts: 186000 | #Constraints: 15825
250.23/251.74 c #Conflicts: 187000 | #Constraints: 16825
250.23/251.74 c #Conflicts: 188000 | #Constraints: 17825
250.23/251.74 c #Conflicts: 189000 | #Constraints: 18825
250.23/251.75 c INPROCESSING
250.23/251.75 c GARBAGE COLLECT
250.23/251.75 c #Conflicts: 190000 | #Constraints: 11223
250.23/251.75 c #Conflicts: 191000 | #Constraints: 12223
250.23/251.75 c #Conflicts: 192000 | #Constraints: 13223
250.23/251.75 c #Conflicts: 193000 | #Constraints: 14223
250.23/251.75 c #Conflicts: 194000 | #Constraints: 15223
250.23/251.75 c #Conflicts: 195000 | #Constraints: 16223
250.23/251.75 c #Conflicts: 196000 | #Constraints: 17223
250.23/251.75 c #Conflicts: 197000 | #Constraints: 18223
250.23/251.75 c #Conflicts: 198000 | #Constraints: 19223
250.23/251.75 c INPROCESSING
250.23/251.75 c GARBAGE COLLECT
250.23/251.75 c #Conflicts: 199000 | #Constraints: 11442
250.23/251.75 c #Conflicts: 200000 | #Constraints: 12442
250.23/251.75 c #Conflicts: 201000 | #Constraints: 13442
250.23/251.75 c #Conflicts: 202000 | #Constraints: 14442
250.23/251.75 c #Conflicts: 203000 | #Constraints: 15442
250.23/251.75 c #Conflicts: 204000 | #Constraints: 16442
250.23/251.75 c #Conflicts: 205000 | #Constraints: 17442
250.23/251.75 c #Conflicts: 206000 | #Constraints: 18442
250.23/251.75 c #Conflicts: 207000 | #Constraints: 19442
250.23/251.75 c INPROCESSING
250.23/251.75 c GARBAGE COLLECT
250.23/251.75 c #Conflicts: 208000 | #Constraints: 11434
250.23/251.75 c #Conflicts: 209000 | #Constraints: 12434
250.23/251.75 c #Conflicts: 210000 | #Constraints: 13434
250.23/251.75 c #Conflicts: 211000 | #Constraints: 14434
250.23/251.75 c #Conflicts: 212000 | #Constraints: 15434
250.23/251.75 c GLOBAL bounds - >= 1665526546175 @ 242.396
250.23/251.76 c GLOBAL bounds - >= 1665526546175 @ 242.412
250.23/251.79 c GLOBAL bounds - >= 1665526546175 @ 242.426
250.23/251.79 c GLOBAL bounds - >= 1665526546175 @ 242.427
250.32/251.82 c GLOBAL bounds - >= 1665526546175 @ 242.437
250.32/251.82 c GLOBAL bounds - >= 1665526546175 @ 242.439
250.32/251.84 c GLOBAL bounds - >= 1665526546175 @ 242.457
250.32/251.84 c GLOBAL bounds - >= 1665526546175 @ 242.459
250.32/251.87 c GLOBAL bounds - >= 1665526546175 @ 242.471
250.32/251.87 c GLOBAL bounds - >= 1665526546175 @ 242.473
250.43/251.90 c GLOBAL bounds - >= 1665526546175 @ 242.485
250.43/251.90 c GLOBAL bounds - >= 1665526546175 @ 242.486
250.43/251.92 c GLOBAL bounds - >= 1665526546175 @ 242.497
250.43/251.93 c GLOBAL bounds - >= 1665526546175 @ 242.498
250.43/251.95 c GLOBAL bounds - >= 1665526546175 @ 242.512
250.43/251.95 c GLOBAL bounds - >= 1665526546175 @ 242.513
250.43/251.98 c GLOBAL bounds - >= 1665526546175 @ 242.526
250.43/251.98 c GLOBAL bounds - >= 1665526546175 @ 242.527
250.53/252.00 c GLOBAL bounds - >= 1665526546175 @ 242.54
250.53/252.01 c GLOBAL bounds - >= 1665526546175 @ 242.542
250.53/252.03 c GLOBAL bounds - >= 1665526546175 @ 242.554
290.73/292.37 c #Conflicts: 213000 | #Constraints: 16473
290.73/292.37 c #Conflicts: 214000 | #Constraints: 17473
290.73/292.37 c #Conflicts: 215000 | #Constraints: 18473
290.73/292.37 c #Conflicts: 216000 | #Constraints: 19473
290.73/292.37 c INPROCESSING
290.73/292.37 c GARBAGE COLLECT
290.73/292.37 c #Conflicts: 217000 | #Constraints: 11268
290.73/292.37 c #Conflicts: 218000 | #Constraints: 12268
290.73/292.37 c #Conflicts: 219000 | #Constraints: 13268
290.73/292.37 c #Conflicts: 220000 | #Constraints: 14268
290.73/292.37 c #Conflicts: 221000 | #Constraints: 15268
290.73/292.37 c #Conflicts: 222000 | #Constraints: 16268
290.73/292.37 c #Conflicts: 223000 | #Constraints: 17268
290.73/292.37 c #Conflicts: 224000 | #Constraints: 18268
290.73/292.37 c #Conflicts: 225000 | #Constraints: 19268
290.73/292.37 c #Conflicts: 226000 | #Constraints: 20268
290.73/292.37 c INPROCESSING
290.73/292.37 c GARBAGE COLLECT
290.73/292.37 c #Conflicts: 227000 | #Constraints: 11881
290.73/292.37 c #Conflicts: 228000 | #Constraints: 12881
290.73/292.37 c #Conflicts: 229000 | #Constraints: 13881
290.73/292.37 c #Conflicts: 230000 | #Constraints: 14881
290.73/292.37 c #Conflicts: 231000 | #Constraints: 15881
290.73/292.37 c #Conflicts: 232000 | #Constraints: 16881
290.73/292.37 c #Conflicts: 233000 | #Constraints: 17881
290.73/292.37 c #Conflicts: 234000 | #Constraints: 18881
290.73/292.37 c #Conflicts: 235000 | #Constraints: 19881
290.73/292.37 c #Conflicts: 236000 | #Constraints: 20881
290.73/292.37 c INPROCESSING
290.73/292.37 c GARBAGE COLLECT
290.73/292.37 c #Conflicts: 237000 | #Constraints: 12270
290.73/292.37 c #Conflicts: 238000 | #Constraints: 13270
290.73/292.37 c #Conflicts: 239000 | #Constraints: 14270
290.73/292.37 c #Conflicts: 240000 | #Constraints: 15270
290.73/292.37 c #Conflicts: 241000 | #Constraints: 16270
290.73/292.37 c GLOBAL bounds - >= 1665711016425 @ 281.988
290.73/292.39 c GLOBAL bounds - >= 1665711016425 @ 282.001
290.83/292.41 c GLOBAL bounds - >= 1665711016425 @ 282.015
290.83/292.41 c GLOBAL bounds - >= 1665711016425 @ 282.016
290.83/292.44 c GLOBAL bounds - >= 1665711016425 @ 282.031
290.83/292.44 c GLOBAL bounds - >= 1665711016425 @ 282.033
290.83/292.47 c GLOBAL bounds - >= 1665711016425 @ 282.047
290.83/292.47 c GLOBAL bounds - >= 1665711016425 @ 282.049
290.83/292.49 c GLOBAL bounds - >= 1665711016425 @ 282.062
290.83/292.49 c GLOBAL bounds - >= 1665711016425 @ 282.064
290.93/292.52 c GLOBAL bounds - >= 1665711016425 @ 282.075
290.93/292.52 c GLOBAL bounds - >= 1665711016425 @ 282.076
290.93/292.55 c GLOBAL bounds - >= 1665711016425 @ 282.09
290.93/292.55 c GLOBAL bounds - >= 1665711016425 @ 282.091
290.93/292.57 c GLOBAL bounds - >= 1665711016425 @ 282.101
290.93/292.58 c GLOBAL bounds - >= 1665711016425 @ 282.103
291.03/292.60 c GLOBAL bounds - >= 1665711016425 @ 282.119
291.03/292.60 c GLOBAL bounds - >= 1665711016425 @ 282.121
291.03/292.63 c GLOBAL bounds - >= 1665711016425 @ 282.134
291.03/292.63 c GLOBAL bounds - >= 1665711016425 @ 282.135
291.03/292.65 c GLOBAL bounds - >= 1665711016425 @ 282.148
389.97/391.81 c #Conflicts: 242000 | #Constraints: 17309
389.97/391.81 c #Conflicts: 243000 | #Constraints: 18309
389.97/391.81 c #Conflicts: 244000 | #Constraints: 19309
389.97/391.81 c #Conflicts: 245000 | #Constraints: 20309
389.97/391.81 c #Conflicts: 246000 | #Constraints: 21309
389.97/391.81 c INPROCESSING
389.97/391.81 c GARBAGE COLLECT
389.97/391.81 c #Conflicts: 247000 | #Constraints: 12493
389.97/391.81 c #Conflicts: 248000 | #Constraints: 13493
389.97/391.81 c #Conflicts: 249000 | #Constraints: 14493
389.97/391.81 c #Conflicts: 250000 | #Constraints: 15493
389.97/391.81 c #Conflicts: 251000 | #Constraints: 16493
389.97/391.81 c #Conflicts: 252000 | #Constraints: 17493
389.97/391.81 c #Conflicts: 253000 | #Constraints: 18493
389.97/391.81 c #Conflicts: 254000 | #Constraints: 19493
389.97/391.81 c #Conflicts: 255000 | #Constraints: 20493
389.97/391.81 c #Conflicts: 256000 | #Constraints: 21493
389.97/391.81 c INPROCESSING
389.97/391.81 c GARBAGE COLLECT
389.97/391.81 c #Conflicts: 257000 | #Constraints: 12494
389.97/391.81 c #Conflicts: 258000 | #Constraints: 13494
389.97/391.81 c #Conflicts: 259000 | #Constraints: 14494
389.97/391.81 c #Conflicts: 260000 | #Constraints: 15494
389.97/391.81 c #Conflicts: 261000 | #Constraints: 16494
389.97/391.81 c #Conflicts: 262000 | #Constraints: 17494
389.97/391.81 c #Conflicts: 263000 | #Constraints: 18494
389.97/391.81 c #Conflicts: 264000 | #Constraints: 19494
389.97/391.81 c #Conflicts: 265000 | #Constraints: 20494
389.97/391.81 c #Conflicts: 266000 | #Constraints: 21494
389.97/391.81 c INPROCESSING
389.97/391.81 c GARBAGE COLLECT
389.97/391.81 c #Conflicts: 267000 | #Constraints: 12290
389.97/391.81 c #Conflicts: 268000 | #Constraints: 13290
389.97/391.81 c #Conflicts: 269000 | #Constraints: 14290
389.97/391.81 c #Conflicts: 270000 | #Constraints: 15290
389.97/391.81 c #Conflicts: 271000 | #Constraints: 16290
389.97/391.81 c #Conflicts: 272000 | #Constraints: 17290
389.97/391.81 c #Conflicts: 273000 | #Constraints: 18290
389.97/391.81 c #Conflicts: 274000 | #Constraints: 19290
389.97/391.81 c #Conflicts: 275000 | #Constraints: 20290
389.97/391.81 c #Conflicts: 276000 | #Constraints: 21290
389.97/391.81 c #Conflicts: 277000 | #Constraints: 22290
389.97/391.81 c INPROCESSING
389.97/391.81 c GARBAGE COLLECT
389.97/391.81 c #Conflicts: 278000 | #Constraints: 12890
389.97/391.81 c #Conflicts: 279000 | #Constraints: 13890
389.97/391.81 c #Conflicts: 280000 | #Constraints: 14890
389.97/391.81 c #Conflicts: 281000 | #Constraints: 15890
389.97/391.81 c #Conflicts: 282000 | #Constraints: 16890
389.97/391.81 c #Conflicts: 283000 | #Constraints: 17890
389.97/391.81 c #Conflicts: 284000 | #Constraints: 18890
389.97/391.81 c #Conflicts: 285000 | #Constraints: 19890
389.97/391.81 c #Conflicts: 286000 | #Constraints: 20890
389.97/391.81 c #Conflicts: 287000 | #Constraints: 21890
389.97/391.81 c #Conflicts: 288000 | #Constraints: 22890
389.97/391.81 c INPROCESSING
389.97/391.81 c GARBAGE COLLECT
389.97/391.81 c #Conflicts: 289000 | #Constraints: 13292
389.97/391.81 c #Conflicts: 290000 | #Constraints: 14292
389.97/391.81 c #Conflicts: 291000 | #Constraints: 15292
389.97/391.81 c #Conflicts: 292000 | #Constraints: 16292
389.97/391.81 c #Conflicts: 293000 | #Constraints: 17292
389.97/391.81 c #Conflicts: 294000 | #Constraints: 18292
389.97/391.81 c #Conflicts: 295000 | #Constraints: 19292
389.97/391.81 c #Conflicts: 296000 | #Constraints: 20292
389.97/391.81 c #Conflicts: 297000 | #Constraints: 21292
389.97/391.81 c #Conflicts: 298000 | #Constraints: 22292
389.97/391.81 c #Conflicts: 299000 | #Constraints: 23292
389.97/391.81 c INPROCESSING
389.97/391.81 c GARBAGE COLLECT
389.97/391.81 c #Conflicts: 300000 | #Constraints: 13491
389.97/391.81 c #Conflicts: 301000 | #Constraints: 14491
389.97/391.81 c #Conflicts: 302000 | #Constraints: 15491
389.97/391.81 c #Conflicts: 303000 | #Constraints: 16491
389.97/391.81 c #Conflicts: 304000 | #Constraints: 17491
389.97/391.81 c #Conflicts: 305000 | #Constraints: 18491
389.97/391.81 c #Conflicts: 306000 | #Constraints: 19491
389.97/391.81 c #Conflicts: 307000 | #Constraints: 20491
389.97/391.81 c #Conflicts: 308000 | #Constraints: 21491
389.97/391.81 c #Conflicts: 309000 | #Constraints: 22491
389.97/391.81 c #Conflicts: 310000 | #Constraints: 23491
389.97/391.81 c INPROCESSING
389.97/391.81 c GARBAGE COLLECT
389.97/391.81 c #Conflicts: 311000 | #Constraints: 13489
389.97/391.81 c #Conflicts: 312000 | #Constraints: 14489
389.97/391.81 c #Conflicts: 313000 | #Constraints: 15489
389.97/391.81 c #Conflicts: 314000 | #Constraints: 16489
389.97/391.81 c #Conflicts: 315000 | #Constraints: 17489
389.97/391.81 c #Conflicts: 316000 | #Constraints: 18489
414.01/415.91 c #Conflicts: 317000 | #Constraints: 19489
414.01/415.91 c #Conflicts: 318000 | #Constraints: 20489
414.01/415.91 c #Conflicts: 319000 | #Constraints: 21489
414.01/415.91 c #Conflicts: 320000 | #Constraints: 22489
414.01/415.91 c #Conflicts: 321000 | #Constraints: 23489
414.01/415.91 c INPROCESSING
414.01/415.91 c GARBAGE COLLECT
414.01/415.91 c #Conflicts: 322000 | #Constraints: 13290
414.01/415.91 c #Conflicts: 323000 | #Constraints: 14290
414.01/415.91 c #Conflicts: 324000 | #Constraints: 15290
414.01/415.91 c #Conflicts: 325000 | #Constraints: 16290
414.01/415.91 c #Conflicts: 326000 | #Constraints: 17290
414.01/415.91 c #Conflicts: 327000 | #Constraints: 18290
414.01/415.91 c #Conflicts: 328000 | #Constraints: 19290
414.01/415.91 c #Conflicts: 329000 | #Constraints: 20290
414.01/415.91 c #Conflicts: 330000 | #Constraints: 21290
414.01/415.91 c GLOBAL bounds - >= 1665895486675 @ 402.914
414.01/415.92 c GLOBAL bounds - >= 1665895486675 @ 402.93
414.01/415.95 c GLOBAL bounds - >= 1665895486675 @ 402.946
414.01/415.95 c GLOBAL bounds - >= 1665895486675 @ 402.948
414.01/415.98 c GLOBAL bounds - >= 1665895486675 @ 402.962
414.01/415.98 c GLOBAL bounds - >= 1665895486675 @ 402.963
414.12/416.01 c GLOBAL bounds - >= 1665895486675 @ 402.979
414.12/416.01 c GLOBAL bounds - >= 1665895486675 @ 402.98
414.12/416.04 c GLOBAL bounds - >= 1665895486675 @ 402.996
414.12/416.04 c GLOBAL bounds - >= 1665895486675 @ 402.996
414.12/416.07 c GLOBAL bounds - >= 1665895486675 @ 403.01
414.12/416.07 c GLOBAL bounds - >= 1665895486675 @ 403.011
414.22/416.10 c GLOBAL bounds - >= 1665895486675 @ 403.022
414.22/416.10 c GLOBAL bounds - >= 1665895486675 @ 403.023
414.22/416.13 c GLOBAL bounds - >= 1665895486675 @ 403.039
414.22/416.13 c GLOBAL bounds - >= 1665895486675 @ 403.041
414.22/416.16 c GLOBAL bounds - >= 1665895486675 @ 403.056
414.22/416.16 c GLOBAL bounds - >= 1665895486675 @ 403.057
414.22/416.19 c GLOBAL bounds - >= 1665895486675 @ 403.076
414.22/416.19 c GLOBAL bounds - >= 1665895486675 @ 403.078
414.30/416.22 c GLOBAL bounds - >= 1665895486675 @ 403.093
506.78/508.92 c #Conflicts: 331000 | #Constraints: 22329
506.78/508.92 c #Conflicts: 332000 | #Constraints: 23329
506.78/508.92 c #Conflicts: 333000 | #Constraints: 24329
506.78/508.92 c INPROCESSING
506.78/508.92 c GARBAGE COLLECT
506.78/508.92 c #Conflicts: 334000 | #Constraints: 13937
506.78/508.92 c #Conflicts: 335000 | #Constraints: 14937
506.78/508.92 c #Conflicts: 336000 | #Constraints: 15937
506.78/508.92 c #Conflicts: 337000 | #Constraints: 16937
506.78/508.92 c #Conflicts: 338000 | #Constraints: 17937
506.78/508.92 c #Conflicts: 339000 | #Constraints: 18937
506.78/508.92 c #Conflicts: 340000 | #Constraints: 19937
506.78/508.92 c #Conflicts: 341000 | #Constraints: 20937
506.78/508.92 c #Conflicts: 342000 | #Constraints: 21937
506.78/508.92 c #Conflicts: 343000 | #Constraints: 22937
506.78/508.92 c #Conflicts: 344000 | #Constraints: 23937
506.78/508.92 c #Conflicts: 345000 | #Constraints: 24937
506.78/508.92 c INPROCESSING
506.78/508.92 c GARBAGE COLLECT
506.78/508.92 c #Conflicts: 346000 | #Constraints: 14325
506.78/508.92 c #Conflicts: 347000 | #Constraints: 15325
506.78/508.92 c #Conflicts: 348000 | #Constraints: 16325
506.78/508.92 c #Conflicts: 349000 | #Constraints: 17325
506.78/508.92 c #Conflicts: 350000 | #Constraints: 18325
506.78/508.92 c #Conflicts: 351000 | #Constraints: 19325
506.78/508.92 c #Conflicts: 352000 | #Constraints: 20325
506.78/508.92 c #Conflicts: 353000 | #Constraints: 21325
506.78/508.92 c #Conflicts: 354000 | #Constraints: 22325
506.78/508.92 c #Conflicts: 355000 | #Constraints: 23325
506.78/508.92 c #Conflicts: 356000 | #Constraints: 24325
506.78/508.92 c #Conflicts: 357000 | #Constraints: 25325
506.78/508.92 c INPROCESSING
506.78/508.92 c GARBAGE COLLECT
506.78/508.92 c #Conflicts: 358000 | #Constraints: 14521
506.78/508.92 c #Conflicts: 359000 | #Constraints: 15521
506.78/508.92 c #Conflicts: 360000 | #Constraints: 16521
506.78/508.92 c #Conflicts: 361000 | #Constraints: 17521
506.78/508.92 c #Conflicts: 362000 | #Constraints: 18521
506.78/508.92 c #Conflicts: 363000 | #Constraints: 19521
506.78/508.92 c #Conflicts: 364000 | #Constraints: 20521
506.78/508.92 c #Conflicts: 365000 | #Constraints: 21521
506.78/508.92 c #Conflicts: 366000 | #Constraints: 22521
506.78/508.92 c #Conflicts: 367000 | #Constraints: 23521
506.78/508.92 c #Conflicts: 368000 | #Constraints: 24521
506.78/508.92 c #Conflicts: 369000 | #Constraints: 25521
506.78/508.92 c INPROCESSING
506.78/508.92 c GARBAGE COLLECT
506.78/508.92 c #Conflicts: 370000 | #Constraints: 14518
506.78/508.92 c #Conflicts: 371000 | #Constraints: 15518
506.78/508.92 c #Conflicts: 372000 | #Constraints: 16518
506.78/508.92 c #Conflicts: 373000 | #Constraints: 17518
506.78/508.92 c #Conflicts: 374000 | #Constraints: 18518
506.78/508.92 c #Conflicts: 375000 | #Constraints: 19518
506.78/508.92 c #Conflicts: 376000 | #Constraints: 20518
506.78/508.92 c #Conflicts: 377000 | #Constraints: 21518
506.78/508.92 c #Conflicts: 378000 | #Constraints: 22518
506.78/508.92 c #Conflicts: 379000 | #Constraints: 23518
506.78/508.92 c #Conflicts: 380000 | #Constraints: 24518
506.78/508.92 c GLOBAL bounds - >= 1666079956925 @ 493.947
506.78/508.94 c GLOBAL bounds - >= 1666079956925 @ 493.964
506.78/508.97 c GLOBAL bounds - >= 1666079956925 @ 493.979
506.78/508.97 c GLOBAL bounds - >= 1666079956925 @ 493.981
506.78/509.00 c GLOBAL bounds - >= 1666079956925 @ 493.996
506.78/509.00 c GLOBAL bounds - >= 1666079956925 @ 493.997
506.88/509.03 c GLOBAL bounds - >= 1666079956925 @ 494.009
506.88/509.03 c GLOBAL bounds - >= 1666079956925 @ 494.012
506.88/509.06 c GLOBAL bounds - >= 1666079956925 @ 494.023
506.88/509.06 c GLOBAL bounds - >= 1666079956925 @ 494.026
506.88/509.09 c GLOBAL bounds - >= 1666079956925 @ 494.044
506.88/509.09 c GLOBAL bounds - >= 1666079956925 @ 494.047
506.99/509.12 c GLOBAL bounds - >= 1666079956925 @ 494.063
506.99/509.12 c GLOBAL bounds - >= 1666079956925 @ 494.064
506.99/509.15 c GLOBAL bounds - >= 1666079956925 @ 494.078
506.99/509.15 c GLOBAL bounds - >= 1666079956925 @ 494.08
506.99/509.18 c GLOBAL bounds - >= 1666079956925 @ 494.096
506.99/509.18 c GLOBAL bounds - >= 1666079956925 @ 494.097
507.08/509.21 c GLOBAL bounds - >= 1666079956925 @ 494.111
507.08/509.21 c GLOBAL bounds - >= 1666079956925 @ 494.113
507.08/509.24 c GLOBAL bounds - >= 1666079956925 @ 494.129
582.39/584.76 c #Conflicts: 381000 | #Constraints: 25557
582.39/584.76 c INPROCESSING
582.39/584.76 c GARBAGE COLLECT
582.39/584.76 c #Conflicts: 382000 | #Constraints: 14351
582.39/584.76 c #Conflicts: 383000 | #Constraints: 15351
582.39/584.76 c #Conflicts: 384000 | #Constraints: 16351
582.39/584.76 c #Conflicts: 385000 | #Constraints: 17351
582.39/584.76 c #Conflicts: 386000 | #Constraints: 18351
582.39/584.76 c #Conflicts: 387000 | #Constraints: 19351
582.39/584.76 c #Conflicts: 388000 | #Constraints: 20351
582.39/584.76 c #Conflicts: 389000 | #Constraints: 21351
582.39/584.76 c #Conflicts: 390000 | #Constraints: 22351
582.39/584.76 c #Conflicts: 391000 | #Constraints: 23351
582.39/584.76 c #Conflicts: 392000 | #Constraints: 24351
582.39/584.76 c #Conflicts: 393000 | #Constraints: 25351
582.39/584.76 c #Conflicts: 394000 | #Constraints: 26351
582.39/584.76 c INPROCESSING
582.39/584.76 c GARBAGE COLLECT
582.39/584.76 c #Conflicts: 395000 | #Constraints: 14947
582.39/584.76 c #Conflicts: 396000 | #Constraints: 15947
582.39/584.76 c #Conflicts: 397000 | #Constraints: 16947
582.39/584.76 c #Conflicts: 398000 | #Constraints: 17947
582.39/584.76 c #Conflicts: 399000 | #Constraints: 18947
582.39/584.76 c #Conflicts: 400000 | #Constraints: 19947
582.39/584.76 c #Conflicts: 401000 | #Constraints: 20947
582.39/584.76 c #Conflicts: 402000 | #Constraints: 21947
582.39/584.76 c #Conflicts: 403000 | #Constraints: 22947
582.39/584.76 c #Conflicts: 404000 | #Constraints: 23947
582.39/584.76 c #Conflicts: 405000 | #Constraints: 24947
582.39/584.76 c #Conflicts: 406000 | #Constraints: 25947
582.39/584.76 c #Conflicts: 407000 | #Constraints: 26947
582.39/584.76 c INPROCESSING
582.39/584.76 c GARBAGE COLLECT
582.39/584.76 c #Conflicts: 408000 | #Constraints: 15346
582.39/584.76 c #Conflicts: 409000 | #Constraints: 16346
582.39/584.76 c #Conflicts: 410000 | #Constraints: 17346
582.39/584.76 c #Conflicts: 411000 | #Constraints: 18346
582.39/584.76 c #Conflicts: 412000 | #Constraints: 19346
582.39/584.76 c #Conflicts: 413000 | #Constraints: 20346
582.39/584.76 c #Conflicts: 414000 | #Constraints: 21346
582.39/584.76 c #Conflicts: 415000 | #Constraints: 22346
582.39/584.76 c #Conflicts: 416000 | #Constraints: 23346
582.39/584.76 c #Conflicts: 417000 | #Constraints: 24346
582.39/584.76 c #Conflicts: 418000 | #Constraints: 25346
582.39/584.76 c #Conflicts: 419000 | #Constraints: 26346
582.39/584.76 c #Conflicts: 420000 | #Constraints: 27346
582.39/584.76 c INPROCESSING
582.39/584.76 c GARBAGE COLLECT
582.39/584.76 c #Conflicts: 421000 | #Constraints: 15557
582.39/584.76 c #Conflicts: 422000 | #Constraints: 16557
582.39/584.76 c #Conflicts: 423000 | #Constraints: 17557
582.39/584.76 c #Conflicts: 424000 | #Constraints: 18557
582.39/584.76 c GLOBAL bounds - >= 1666264427175 @ 568.107
582.39/584.77 c GLOBAL bounds - >= 1666264427175 @ 568.122
582.50/584.80 c GLOBAL bounds - >= 1666264427175 @ 568.138
582.50/584.80 c GLOBAL bounds - >= 1666264427175 @ 568.139
582.50/584.83 c GLOBAL bounds - >= 1666264427175 @ 568.154
582.50/584.83 c GLOBAL bounds - >= 1666264427175 @ 568.155
582.50/584.85 c GLOBAL bounds - >= 1666264427175 @ 568.168
582.50/584.86 c GLOBAL bounds - >= 1666264427175 @ 568.171
582.50/584.88 c GLOBAL bounds - >= 1666264427175 @ 568.185
582.50/584.88 c GLOBAL bounds - >= 1666264427175 @ 568.188
582.60/584.91 c GLOBAL bounds - >= 1666264427175 @ 568.202
582.60/584.91 c GLOBAL bounds - >= 1666264427175 @ 568.205
582.60/584.94 c GLOBAL bounds - >= 1666264427175 @ 568.218
582.60/584.94 c GLOBAL bounds - >= 1666264427175 @ 568.221
582.60/584.97 c GLOBAL bounds - >= 1666264427175 @ 568.233
582.60/584.97 c GLOBAL bounds - >= 1666264427175 @ 568.236
582.60/584.99 c GLOBAL bounds - >= 1666264427175 @ 568.25
582.60/585.00 c GLOBAL bounds - >= 1666264427175 @ 568.252
582.70/585.02 c GLOBAL bounds - >= 1666264427175 @ 568.263
582.70/585.03 c GLOBAL bounds - >= 1666264427175 @ 568.264
582.70/585.05 c GLOBAL bounds - >= 1666264427175 @ 568.277
635.47/637.93 c #Conflicts: 425000 | #Constraints: 19596
635.47/637.93 c #Conflicts: 426000 | #Constraints: 20596
635.47/637.93 c #Conflicts: 427000 | #Constraints: 21596
635.47/637.93 c #Conflicts: 428000 | #Constraints: 22596
635.47/637.93 c #Conflicts: 429000 | #Constraints: 23596
635.47/637.93 c #Conflicts: 430000 | #Constraints: 24596
635.47/637.93 c #Conflicts: 431000 | #Constraints: 25596
635.47/637.93 c #Conflicts: 432000 | #Constraints: 26596
635.47/637.93 c #Conflicts: 433000 | #Constraints: 27596
635.47/637.93 c INPROCESSING
635.47/637.93 c GARBAGE COLLECT
635.47/637.93 c #Conflicts: 434000 | #Constraints: 15588
635.47/637.93 c #Conflicts: 435000 | #Constraints: 16588
635.47/637.93 c #Conflicts: 436000 | #Constraints: 17588
635.47/637.93 c #Conflicts: 437000 | #Constraints: 18588
635.47/637.93 c #Conflicts: 438000 | #Constraints: 19588
635.47/637.93 c #Conflicts: 439000 | #Constraints: 20588
635.47/637.93 c #Conflicts: 440000 | #Constraints: 21588
635.47/637.93 c #Conflicts: 441000 | #Constraints: 22588
635.47/637.93 c #Conflicts: 442000 | #Constraints: 23588
635.47/637.93 c #Conflicts: 443000 | #Constraints: 24588
635.47/637.93 c #Conflicts: 444000 | #Constraints: 25588
635.47/637.93 c #Conflicts: 445000 | #Constraints: 26588
635.47/637.93 c #Conflicts: 446000 | #Constraints: 27588
635.47/637.93 c INPROCESSING
635.47/637.93 c GARBAGE COLLECT
635.47/637.93 c #Conflicts: 447000 | #Constraints: 15377
635.47/637.93 c #Conflicts: 448000 | #Constraints: 16377
635.47/637.93 c #Conflicts: 449000 | #Constraints: 17377
635.47/637.93 c #Conflicts: 450000 | #Constraints: 18377
635.47/637.93 c #Conflicts: 451000 | #Constraints: 19377
635.47/637.93 c #Conflicts: 452000 | #Constraints: 20377
635.47/637.93 c #Conflicts: 453000 | #Constraints: 21377
635.47/637.93 c #Conflicts: 454000 | #Constraints: 22377
635.47/637.93 c #Conflicts: 455000 | #Constraints: 23377
635.47/637.93 c GLOBAL bounds - >= 1666448897425 @ 620.097
635.47/637.95 c GLOBAL bounds - >= 1666448897425 @ 620.112
635.47/637.97 c GLOBAL bounds - >= 1666448897425 @ 620.127
635.47/637.97 c GLOBAL bounds - >= 1666448897425 @ 620.13
635.57/638.00 c GLOBAL bounds - >= 1666448897425 @ 620.146
635.57/638.00 c GLOBAL bounds - >= 1666448897425 @ 620.147
635.57/638.03 c GLOBAL bounds - >= 1666448897425 @ 620.162
635.57/638.03 c GLOBAL bounds - >= 1666448897425 @ 620.164
635.57/638.06 c GLOBAL bounds - >= 1666448897425 @ 620.181
635.57/638.06 c GLOBAL bounds - >= 1666448897425 @ 620.183
635.57/638.09 c GLOBAL bounds - >= 1666448897425 @ 620.198
635.57/638.09 c GLOBAL bounds - >= 1666448897425 @ 620.201
635.67/638.12 c GLOBAL bounds - >= 1666448897425 @ 620.212
635.67/638.12 c GLOBAL bounds - >= 1666448897425 @ 620.213
635.67/638.15 c GLOBAL bounds - >= 1666448897425 @ 620.229
635.67/638.15 c GLOBAL bounds - >= 1666448897425 @ 620.231
635.67/638.17 c GLOBAL bounds - >= 1666448897425 @ 620.247
635.67/638.18 c GLOBAL bounds - >= 1666448897425 @ 620.248
635.76/638.20 c GLOBAL bounds - >= 1666448897425 @ 620.265
635.76/638.21 c GLOBAL bounds - >= 1666448897425 @ 620.265
635.76/638.23 c GLOBAL bounds - >= 1666448897425 @ 620.28
721.45/724.11 c #Conflicts: 456000 | #Constraints: 24416
721.45/724.11 c #Conflicts: 457000 | #Constraints: 25416
721.45/724.11 c #Conflicts: 458000 | #Constraints: 26416
721.45/724.11 c #Conflicts: 459000 | #Constraints: 27416
721.45/724.11 c #Conflicts: 460000 | #Constraints: 28416
721.45/724.11 c INPROCESSING
721.45/724.11 c GARBAGE COLLECT
721.45/724.11 c #Conflicts: 461000 | #Constraints: 16015
721.45/724.11 c #Conflicts: 462000 | #Constraints: 17015
721.45/724.11 c #Conflicts: 463000 | #Constraints: 18015
721.45/724.11 c #Conflicts: 464000 | #Constraints: 19015
721.45/724.11 c #Conflicts: 465000 | #Constraints: 20015
721.45/724.11 c #Conflicts: 466000 | #Constraints: 21015
721.45/724.11 c #Conflicts: 467000 | #Constraints: 22015
721.45/724.11 c #Conflicts: 468000 | #Constraints: 23015
721.45/724.11 c #Conflicts: 469000 | #Constraints: 24015
721.45/724.11 c #Conflicts: 470000 | #Constraints: 25015
721.45/724.11 c #Conflicts: 471000 | #Constraints: 26015
721.45/724.11 c #Conflicts: 472000 | #Constraints: 27015
721.45/724.11 c #Conflicts: 473000 | #Constraints: 28015
721.45/724.11 c #Conflicts: 474000 | #Constraints: 29015
721.45/724.11 c INPROCESSING
721.45/724.11 c GARBAGE COLLECT
721.45/724.11 c #Conflicts: 475000 | #Constraints: 16423
721.45/724.11 c #Conflicts: 476000 | #Constraints: 17423
721.45/724.11 c #Conflicts: 477000 | #Constraints: 18423
721.45/724.11 c #Conflicts: 478000 | #Constraints: 19423
721.45/724.11 c #Conflicts: 479000 | #Constraints: 20423
721.45/724.11 c #Conflicts: 480000 | #Constraints: 21423
721.45/724.11 c #Conflicts: 481000 | #Constraints: 22423
721.45/724.11 c #Conflicts: 482000 | #Constraints: 23423
721.45/724.11 c #Conflicts: 483000 | #Constraints: 24423
721.45/724.11 c #Conflicts: 484000 | #Constraints: 25423
721.45/724.11 c #Conflicts: 485000 | #Constraints: 26423
721.45/724.11 c #Conflicts: 486000 | #Constraints: 27423
721.45/724.11 c #Conflicts: 487000 | #Constraints: 28423
721.45/724.11 c #Conflicts: 488000 | #Constraints: 29423
721.45/724.11 c INPROCESSING
721.45/724.11 c GARBAGE COLLECT
721.45/724.11 c #Conflicts: 489000 | #Constraints: 16615
721.45/724.11 c #Conflicts: 490000 | #Constraints: 17615
721.45/724.11 c #Conflicts: 491000 | #Constraints: 18615
721.45/724.11 c #Conflicts: 492000 | #Constraints: 19615
721.45/724.11 c #Conflicts: 493000 | #Constraints: 20615
721.45/724.11 c #Conflicts: 494000 | #Constraints: 21615
721.45/724.11 c #Conflicts: 495000 | #Constraints: 22615
721.45/724.11 c #Conflicts: 496000 | #Constraints: 23615
721.45/724.11 c #Conflicts: 497000 | #Constraints: 24615
721.45/724.11 c #Conflicts: 498000 | #Constraints: 25615
721.45/724.11 c #Conflicts: 499000 | #Constraints: 26615
721.45/724.11 c GLOBAL bounds - >= 1666633367675 @ 704.391
721.45/724.12 c GLOBAL bounds - >= 1666633367675 @ 704.409
721.45/724.15 c GLOBAL bounds - >= 1666633367675 @ 704.424
721.45/724.16 c GLOBAL bounds - >= 1666633367675 @ 704.426
721.45/724.18 c GLOBAL bounds - >= 1666633367675 @ 704.44
721.45/724.19 c GLOBAL bounds - >= 1666633367675 @ 704.443
721.55/724.22 c GLOBAL bounds - >= 1666633367675 @ 704.46
721.55/724.22 c GLOBAL bounds - >= 1666633367675 @ 704.463
721.55/724.25 c GLOBAL bounds - >= 1666633367675 @ 704.482
721.55/724.25 c GLOBAL bounds - >= 1666633367675 @ 704.484
721.55/724.28 c GLOBAL bounds - >= 1666633367675 @ 704.498
721.55/724.28 c GLOBAL bounds - >= 1666633367675 @ 704.501
721.65/724.31 c GLOBAL bounds - >= 1666633367675 @ 704.519
721.65/724.32 c GLOBAL bounds - >= 1666633367675 @ 704.522
721.65/724.34 c GLOBAL bounds - >= 1666633367675 @ 704.538
721.65/724.35 c GLOBAL bounds - >= 1666633367675 @ 704.539
721.65/724.38 c GLOBAL bounds - >= 1666633367675 @ 704.554
721.65/724.38 c GLOBAL bounds - >= 1666633367675 @ 704.558
721.75/724.41 c GLOBAL bounds - >= 1666633367675 @ 704.572
721.75/724.41 c GLOBAL bounds - >= 1666633367675 @ 704.574
721.75/724.44 c GLOBAL bounds - >= 1666633367675 @ 704.591
731.52/734.27 c #Conflicts: 500000 | #Constraints: 27645
731.52/734.27 c #Conflicts: 501000 | #Constraints: 28645
731.52/734.27 c #Conflicts: 502000 | #Constraints: 29645
731.52/734.27 c INPROCESSING
731.52/734.27 c GARBAGE COLLECT
731.52/734.27 c #Conflicts: 503000 | #Constraints: 16648
731.52/734.27 c #Conflicts: 504000 | #Constraints: 17648
731.52/734.27 c #Conflicts: 505000 | #Constraints: 18648
731.52/734.27 c #Conflicts: 506000 | #Constraints: 19648
731.52/734.27 c #Conflicts: 507000 | #Constraints: 20648
731.52/734.27 c #Conflicts: 508000 | #Constraints: 21648
731.52/734.27 c GLOBAL bounds - >= 1666633367675 @ 714.287
734.42/737.15 c #Conflicts: 509000 | #Constraints: 22648
734.42/737.15 c #Conflicts: 510000 | #Constraints: 23648
734.42/737.15 c #Conflicts: 511000 | #Constraints: 24648
734.42/737.15 c GLOBAL bounds - >= 1666633367675 @ 717.11
735.12/737.82 c #Conflicts: 512000 | #Constraints: 25651
735.12/737.82 c GLOBAL bounds - >= 1666633367675 @ 717.762
735.22/737.90 c GLOBAL bounds - >= 1666633367675 @ 717.831
735.42/738.15 c GLOBAL bounds - >= 1666633367675 @ 718.073
827.38/830.35 c #Conflicts: 513000 | #Constraints: 26657
827.38/830.35 c #Conflicts: 514000 | #Constraints: 27657
827.38/830.35 c #Conflicts: 515000 | #Constraints: 28657
827.38/830.35 c #Conflicts: 516000 | #Constraints: 29657
827.38/830.35 c INPROCESSING
827.38/830.35 c GARBAGE COLLECT
827.38/830.35 c #Conflicts: 517000 | #Constraints: 16450
827.38/830.35 c #Conflicts: 518000 | #Constraints: 17450
827.38/830.35 c #Conflicts: 519000 | #Constraints: 18450
827.38/830.35 c #Conflicts: 520000 | #Constraints: 19450
827.38/830.35 c #Conflicts: 521000 | #Constraints: 20450
827.38/830.35 c #Conflicts: 522000 | #Constraints: 21450
827.38/830.35 c #Conflicts: 523000 | #Constraints: 22450
827.38/830.35 c #Conflicts: 524000 | #Constraints: 23450
827.38/830.35 c #Conflicts: 525000 | #Constraints: 24450
827.38/830.35 c #Conflicts: 526000 | #Constraints: 25450
827.38/830.35 c #Conflicts: 527000 | #Constraints: 26450
827.38/830.35 c #Conflicts: 528000 | #Constraints: 27450
827.38/830.35 c #Conflicts: 529000 | #Constraints: 28450
827.38/830.35 c #Conflicts: 530000 | #Constraints: 29450
827.38/830.35 c #Conflicts: 531000 | #Constraints: 30450
827.38/830.35 c INPROCESSING
827.38/830.35 c GARBAGE COLLECT
827.38/830.35 c #Conflicts: 532000 | #Constraints: 17051
827.38/830.35 c #Conflicts: 533000 | #Constraints: 18051
827.38/830.35 c #Conflicts: 534000 | #Constraints: 19051
827.38/830.35 c #Conflicts: 535000 | #Constraints: 20051
827.38/830.35 c #Conflicts: 536000 | #Constraints: 21051
827.38/830.35 c #Conflicts: 537000 | #Constraints: 22051
827.38/830.35 c #Conflicts: 538000 | #Constraints: 23051
827.38/830.35 c #Conflicts: 539000 | #Constraints: 24051
827.38/830.35 c #Conflicts: 540000 | #Constraints: 25051
827.38/830.35 c #Conflicts: 541000 | #Constraints: 26051
827.38/830.35 c #Conflicts: 542000 | #Constraints: 27051
827.38/830.35 c #Conflicts: 543000 | #Constraints: 28051
827.38/830.35 c #Conflicts: 544000 | #Constraints: 29051
827.38/830.35 c #Conflicts: 545000 | #Constraints: 30051
827.38/830.35 c #Conflicts: 546000 | #Constraints: 31051
827.38/830.35 c INPROCESSING
827.38/830.35 c GARBAGE COLLECT
827.38/830.35 c #Conflicts: 547000 | #Constraints: 17451
827.38/830.35 c #Conflicts: 548000 | #Constraints: 18451
827.38/830.35 c #Conflicts: 549000 | #Constraints: 19451
827.38/830.35 c #Conflicts: 550000 | #Constraints: 20451
827.38/830.35 c #Conflicts: 551000 | #Constraints: 21451
827.38/830.35 c #Conflicts: 552000 | #Constraints: 22451
827.38/830.35 c #Conflicts: 553000 | #Constraints: 23451
827.38/830.35 c #Conflicts: 554000 | #Constraints: 24451
827.38/830.35 c #Conflicts: 555000 | #Constraints: 25451
827.38/830.35 c #Conflicts: 556000 | #Constraints: 26451
827.38/830.35 c #Conflicts: 557000 | #Constraints: 27451
827.38/830.35 c #Conflicts: 558000 | #Constraints: 28451
827.38/830.35 c #Conflicts: 559000 | #Constraints: 29451
827.38/830.35 c #Conflicts: 560000 | #Constraints: 30451
827.38/830.35 c #Conflicts: 561000 | #Constraints: 31451
827.38/830.35 c INPROCESSING
827.38/830.35 c GARBAGE COLLECT
827.38/830.35 c #Conflicts: 562000 | #Constraints: 17650
827.38/830.35 c #Conflicts: 563000 | #Constraints: 18650
827.38/830.35 c #Conflicts: 564000 | #Constraints: 19650
827.38/830.35 c #Conflicts: 565000 | #Constraints: 20650
827.38/830.35 c #Conflicts: 566000 | #Constraints: 21650
827.38/830.35 c #Conflicts: 567000 | #Constraints: 22650
827.38/830.35 c #Conflicts: 568000 | #Constraints: 23650
827.38/830.35 c #Conflicts: 569000 | #Constraints: 24650
827.38/830.35 c #Conflicts: 570000 | #Constraints: 25650
827.38/830.35 c #Conflicts: 571000 | #Constraints: 26650
827.38/830.35 c #Conflicts: 572000 | #Constraints: 27650
827.38/830.35 c #Conflicts: 573000 | #Constraints: 28650
827.38/830.35 c #Conflicts: 574000 | #Constraints: 29650
827.38/830.35 c #Conflicts: 575000 | #Constraints: 30650
827.38/830.35 c #Conflicts: 576000 | #Constraints: 31650
827.38/830.35 c INPROCESSING
827.38/830.35 c GARBAGE COLLECT
827.38/830.35 c #Conflicts: 577000 | #Constraints: 17646
827.38/830.35 c #Conflicts: 578000 | #Constraints: 18646
827.38/830.35 c #Conflicts: 579000 | #Constraints: 19646
827.38/830.35 c #Conflicts: 580000 | #Constraints: 20646
827.38/830.35 c #Conflicts: 581000 | #Constraints: 21646
827.38/830.35 c #Conflicts: 582000 | #Constraints: 22646
827.38/830.35 c #Conflicts: 583000 | #Constraints: 23646
827.38/830.35 c #Conflicts: 584000 | #Constraints: 24646
827.38/830.35 c #Conflicts: 585000 | #Constraints: 25646
827.38/830.35 c #Conflicts: 586000 | #Constraints: 26646
827.38/830.35 c #Conflicts: 587000 | #Constraints: 27646
827.38/830.35 c #Conflicts: 588000 | #Constraints: 28646
915.67/918.82 c #Conflicts: 589000 | #Constraints: 29646
915.67/918.82 c #Conflicts: 590000 | #Constraints: 30646
915.67/918.82 c #Conflicts: 591000 | #Constraints: 31646
915.67/918.82 c INPROCESSING
915.67/918.82 c GARBAGE COLLECT
915.67/918.82 c #Conflicts: 592000 | #Constraints: 17457
915.67/918.82 c #Conflicts: 593000 | #Constraints: 18457
915.67/918.82 c #Conflicts: 594000 | #Constraints: 19457
915.67/918.82 c #Conflicts: 595000 | #Constraints: 20457
915.67/918.82 c #Conflicts: 596000 | #Constraints: 21457
915.67/918.82 c #Conflicts: 597000 | #Constraints: 22457
915.67/918.82 c #Conflicts: 598000 | #Constraints: 23457
915.67/918.82 c #Conflicts: 599000 | #Constraints: 24457
915.67/918.82 c #Conflicts: 600000 | #Constraints: 25457
915.67/918.82 c #Conflicts: 601000 | #Constraints: 26457
915.67/918.82 c #Conflicts: 602000 | #Constraints: 27457
915.67/918.82 c #Conflicts: 603000 | #Constraints: 28457
915.67/918.82 c #Conflicts: 604000 | #Constraints: 29457
915.67/918.82 c #Conflicts: 605000 | #Constraints: 30457
915.67/918.82 c #Conflicts: 606000 | #Constraints: 31457
915.67/918.82 c #Conflicts: 607000 | #Constraints: 32457
915.67/918.82 c INPROCESSING
915.67/918.82 c GARBAGE COLLECT
915.67/918.82 c #Conflicts: 608000 | #Constraints: 18065
915.67/918.82 c #Conflicts: 609000 | #Constraints: 19065
915.67/918.82 c #Conflicts: 610000 | #Constraints: 20065
915.67/918.82 c #Conflicts: 611000 | #Constraints: 21065
915.67/918.82 c #Conflicts: 612000 | #Constraints: 22065
915.67/918.82 c #Conflicts: 613000 | #Constraints: 23065
915.67/918.82 c #Conflicts: 614000 | #Constraints: 24065
915.67/918.82 c #Conflicts: 615000 | #Constraints: 25065
915.67/918.82 c #Conflicts: 616000 | #Constraints: 26065
915.67/918.82 c #Conflicts: 617000 | #Constraints: 27065
915.67/918.82 c #Conflicts: 618000 | #Constraints: 28065
915.67/918.82 c #Conflicts: 619000 | #Constraints: 29065
915.67/918.82 c #Conflicts: 620000 | #Constraints: 30065
915.67/918.82 c #Conflicts: 621000 | #Constraints: 31065
915.67/918.82 c #Conflicts: 622000 | #Constraints: 32065
915.67/918.82 c #Conflicts: 623000 | #Constraints: 33065
915.67/918.82 c INPROCESSING
915.67/918.82 c GARBAGE COLLECT
915.67/918.82 c #Conflicts: 624000 | #Constraints: 18450
915.67/918.82 c #Conflicts: 625000 | #Constraints: 19450
915.67/918.82 c #Conflicts: 626000 | #Constraints: 20450
915.67/918.82 c #Conflicts: 627000 | #Constraints: 21450
915.67/918.82 c #Conflicts: 628000 | #Constraints: 22450
915.67/918.82 c #Conflicts: 629000 | #Constraints: 23450
915.67/918.82 c #Conflicts: 630000 | #Constraints: 24450
915.67/918.82 c #Conflicts: 631000 | #Constraints: 25450
915.67/918.82 c #Conflicts: 632000 | #Constraints: 26450
915.67/918.82 c #Conflicts: 633000 | #Constraints: 27450
915.67/918.82 c #Conflicts: 634000 | #Constraints: 28450
915.67/918.82 c #Conflicts: 635000 | #Constraints: 29450
915.67/918.82 c #Conflicts: 636000 | #Constraints: 30450
915.67/918.82 c #Conflicts: 637000 | #Constraints: 31450
915.67/918.82 c #Conflicts: 638000 | #Constraints: 32450
915.67/918.82 c #Conflicts: 639000 | #Constraints: 33450
915.67/918.82 c INPROCESSING
915.67/918.82 c GARBAGE COLLECT
915.67/918.82 c #Conflicts: 640000 | #Constraints: 18652
915.67/918.82 c #Conflicts: 641000 | #Constraints: 19652
915.67/918.82 c #Conflicts: 642000 | #Constraints: 20652
915.67/918.82 c #Conflicts: 643000 | #Constraints: 21652
915.67/918.82 c #Conflicts: 644000 | #Constraints: 22652
915.67/918.82 c #Conflicts: 645000 | #Constraints: 23652
915.67/918.82 c #Conflicts: 646000 | #Constraints: 24652
915.67/918.82 c #Conflicts: 647000 | #Constraints: 25652
915.67/918.82 c #Conflicts: 648000 | #Constraints: 26652
915.67/918.82 c #Conflicts: 649000 | #Constraints: 27652
915.67/918.82 c #Conflicts: 650000 | #Constraints: 28652
915.67/918.82 c #Conflicts: 651000 | #Constraints: 29652
915.67/918.82 c #Conflicts: 652000 | #Constraints: 30652
915.67/918.82 c #Conflicts: 653000 | #Constraints: 31652
915.67/918.82 c #Conflicts: 654000 | #Constraints: 32652
915.67/918.82 c #Conflicts: 655000 | #Constraints: 33652
915.67/918.82 c INPROCESSING
915.67/918.82 c GARBAGE COLLECT
915.67/918.82 c #Conflicts: 656000 | #Constraints: 18647
915.67/918.82 c #Conflicts: 657000 | #Constraints: 19647
915.67/918.82 c #Conflicts: 658000 | #Constraints: 20647
915.67/918.82 c #Conflicts: 659000 | #Constraints: 21647
915.67/918.82 c #Conflicts: 660000 | #Constraints: 22647
915.67/918.82 c #Conflicts: 661000 | #Constraints: 23647
915.67/918.82 c #Conflicts: 662000 | #Constraints: 24647
915.67/918.82 c #Conflicts: 663000 | #Constraints: 25647
915.67/918.82 c #Conflicts: 664000 | #Constraints: 26647
1013.74/1017.18 c #Conflicts: 665000 | #Constraints: 27647
1013.74/1017.18 c #Conflicts: 666000 | #Constraints: 28647
1013.74/1017.18 c #Conflicts: 667000 | #Constraints: 29647
1013.74/1017.18 c #Conflicts: 668000 | #Constraints: 30647
1013.74/1017.18 c #Conflicts: 669000 | #Constraints: 31647
1013.74/1017.18 c #Conflicts: 670000 | #Constraints: 32647
1013.74/1017.18 c #Conflicts: 671000 | #Constraints: 33647
1013.74/1017.18 c INPROCESSING
1013.74/1017.18 c GARBAGE COLLECT
1013.74/1017.18 c #Conflicts: 672000 | #Constraints: 18456
1013.74/1017.18 c #Conflicts: 673000 | #Constraints: 19456
1013.74/1017.18 c #Conflicts: 674000 | #Constraints: 20456
1013.74/1017.18 c #Conflicts: 675000 | #Constraints: 21456
1013.74/1017.18 c #Conflicts: 676000 | #Constraints: 22456
1013.74/1017.18 c #Conflicts: 677000 | #Constraints: 23456
1013.74/1017.18 c #Conflicts: 678000 | #Constraints: 24456
1013.74/1017.18 c #Conflicts: 679000 | #Constraints: 25456
1013.74/1017.18 c #Conflicts: 680000 | #Constraints: 26456
1013.74/1017.18 c #Conflicts: 681000 | #Constraints: 27456
1013.74/1017.18 c #Conflicts: 682000 | #Constraints: 28456
1013.74/1017.18 c #Conflicts: 683000 | #Constraints: 29456
1013.74/1017.18 c #Conflicts: 684000 | #Constraints: 30456
1013.74/1017.18 c #Conflicts: 685000 | #Constraints: 31456
1013.74/1017.18 c #Conflicts: 686000 | #Constraints: 32456
1013.74/1017.18 c #Conflicts: 687000 | #Constraints: 33456
1013.74/1017.18 c #Conflicts: 688000 | #Constraints: 34456
1013.74/1017.18 c INPROCESSING
1013.74/1017.18 c GARBAGE COLLECT
1013.74/1017.18 c #Conflicts: 689000 | #Constraints: 19059
1013.74/1017.18 c #Conflicts: 690000 | #Constraints: 20059
1013.74/1017.18 c #Conflicts: 691000 | #Constraints: 21059
1013.74/1017.18 c #Conflicts: 692000 | #Constraints: 22059
1013.74/1017.18 c #Conflicts: 693000 | #Constraints: 23059
1013.74/1017.18 c #Conflicts: 694000 | #Constraints: 24059
1013.74/1017.18 c #Conflicts: 695000 | #Constraints: 25059
1013.74/1017.18 c #Conflicts: 696000 | #Constraints: 26059
1013.74/1017.18 c #Conflicts: 697000 | #Constraints: 27059
1013.74/1017.18 c #Conflicts: 698000 | #Constraints: 28059
1013.74/1017.18 c #Conflicts: 699000 | #Constraints: 29059
1013.74/1017.18 c #Conflicts: 700000 | #Constraints: 30059
1013.74/1017.18 c #Conflicts: 701000 | #Constraints: 31059
1013.74/1017.18 c #Conflicts: 702000 | #Constraints: 32059
1013.74/1017.18 c #Conflicts: 703000 | #Constraints: 33059
1013.74/1017.18 c #Conflicts: 704000 | #Constraints: 34059
1013.74/1017.18 c #Conflicts: 705000 | #Constraints: 35059
1013.74/1017.18 c INPROCESSING
1013.74/1017.18 c GARBAGE COLLECT
1013.74/1017.18 c #Conflicts: 706000 | #Constraints: 19457
1013.74/1017.18 c #Conflicts: 707000 | #Constraints: 20457
1013.74/1017.18 c #Conflicts: 708000 | #Constraints: 21457
1013.74/1017.18 c #Conflicts: 709000 | #Constraints: 22457
1013.74/1017.18 c #Conflicts: 710000 | #Constraints: 23457
1013.74/1017.18 c #Conflicts: 711000 | #Constraints: 24457
1013.74/1017.18 c #Conflicts: 712000 | #Constraints: 25457
1013.74/1017.18 c #Conflicts: 713000 | #Constraints: 26457
1013.74/1017.18 c #Conflicts: 714000 | #Constraints: 27457
1013.74/1017.18 c #Conflicts: 715000 | #Constraints: 28457
1013.74/1017.18 c #Conflicts: 716000 | #Constraints: 29457
1013.74/1017.18 c #Conflicts: 717000 | #Constraints: 30457
1013.74/1017.18 c #Conflicts: 718000 | #Constraints: 31457
1013.74/1017.18 c #Conflicts: 719000 | #Constraints: 32457
1013.74/1017.18 c #Conflicts: 720000 | #Constraints: 33457
1013.74/1017.18 c #Conflicts: 721000 | #Constraints: 34457
1013.74/1017.18 c #Conflicts: 722000 | #Constraints: 35457
1013.74/1017.18 c INPROCESSING
1013.74/1017.18 c GARBAGE COLLECT
1013.74/1017.18 c #Conflicts: 723000 | #Constraints: 19659
1013.74/1017.18 c #Conflicts: 724000 | #Constraints: 20659
1013.74/1017.18 c #Conflicts: 725000 | #Constraints: 21659
1013.74/1017.18 c #Conflicts: 726000 | #Constraints: 22659
1013.74/1017.18 c #Conflicts: 727000 | #Constraints: 23659
1013.74/1017.18 c #Conflicts: 728000 | #Constraints: 24659
1013.74/1017.18 c #Conflicts: 729000 | #Constraints: 25659
1013.74/1017.18 c #Conflicts: 730000 | #Constraints: 26659
1013.74/1017.18 c #Conflicts: 731000 | #Constraints: 27659
1013.74/1017.18 c #Conflicts: 732000 | #Constraints: 28659
1013.74/1017.18 c #Conflicts: 733000 | #Constraints: 29659
1013.74/1017.18 c #Conflicts: 734000 | #Constraints: 30659
1013.74/1017.18 c #Conflicts: 735000 | #Constraints: 31659
1013.74/1017.18 c #Conflicts: 736000 | #Constraints: 32659
1013.74/1017.18 c #Conflicts: 737000 | #Constraints: 33659
1013.74/1017.18 c #Conflicts: 738000 | #Constraints: 34659
1013.74/1017.18 c #Conflicts: 739000 | #Constraints: 35659
1013.74/1017.18 c INPROCESSING
1013.74/1017.18 c GARBAGE COLLECT
1123.08/1126.76 c #Conflicts: 740000 | #Constraints: 19662
1123.08/1126.76 c #Conflicts: 741000 | #Constraints: 20662
1123.08/1126.76 c #Conflicts: 742000 | #Constraints: 21662
1123.08/1126.76 c #Conflicts: 743000 | #Constraints: 22662
1123.08/1126.76 c #Conflicts: 744000 | #Constraints: 23662
1123.08/1126.76 c #Conflicts: 745000 | #Constraints: 24662
1123.08/1126.76 c #Conflicts: 746000 | #Constraints: 25662
1123.08/1126.76 c #Conflicts: 747000 | #Constraints: 26662
1123.08/1126.76 c #Conflicts: 748000 | #Constraints: 27662
1123.08/1126.76 c #Conflicts: 749000 | #Constraints: 28662
1123.08/1126.76 c #Conflicts: 750000 | #Constraints: 29662
1123.08/1126.76 c #Conflicts: 751000 | #Constraints: 30662
1123.08/1126.76 c #Conflicts: 752000 | #Constraints: 31662
1123.08/1126.76 c #Conflicts: 753000 | #Constraints: 32662
1123.08/1126.76 c #Conflicts: 754000 | #Constraints: 33662
1123.08/1126.76 c #Conflicts: 755000 | #Constraints: 34662
1123.08/1126.76 c #Conflicts: 756000 | #Constraints: 35662
1123.08/1126.76 c INPROCESSING
1123.08/1126.76 c GARBAGE COLLECT
1123.08/1126.76 c #Conflicts: 757000 | #Constraints: 19450
1123.08/1126.76 c #Conflicts: 758000 | #Constraints: 20450
1123.08/1126.76 c #Conflicts: 759000 | #Constraints: 21450
1123.08/1126.76 c #Conflicts: 760000 | #Constraints: 22450
1123.08/1126.76 c #Conflicts: 761000 | #Constraints: 23450
1123.08/1126.76 c #Conflicts: 762000 | #Constraints: 24450
1123.08/1126.76 c #Conflicts: 763000 | #Constraints: 25450
1123.08/1126.76 c #Conflicts: 764000 | #Constraints: 26450
1123.08/1126.76 c #Conflicts: 765000 | #Constraints: 27450
1123.08/1126.76 c #Conflicts: 766000 | #Constraints: 28450
1123.08/1126.76 c #Conflicts: 767000 | #Constraints: 29450
1123.08/1126.76 c #Conflicts: 768000 | #Constraints: 30450
1123.08/1126.76 c #Conflicts: 769000 | #Constraints: 31450
1123.08/1126.76 c #Conflicts: 770000 | #Constraints: 32450
1123.08/1126.76 c #Conflicts: 771000 | #Constraints: 33450
1123.08/1126.76 c #Conflicts: 772000 | #Constraints: 34450
1123.08/1126.76 c #Conflicts: 773000 | #Constraints: 35450
1123.08/1126.76 c #Conflicts: 774000 | #Constraints: 36450
1123.08/1126.76 c INPROCESSING
1123.08/1126.76 c GARBAGE COLLECT
1123.08/1126.76 c #Conflicts: 775000 | #Constraints: 20062
1123.08/1126.76 c #Conflicts: 776000 | #Constraints: 21062
1123.08/1126.76 c #Conflicts: 777000 | #Constraints: 22062
1123.08/1126.76 c #Conflicts: 778000 | #Constraints: 23062
1123.08/1126.76 c #Conflicts: 779000 | #Constraints: 24062
1123.08/1126.76 c #Conflicts: 780000 | #Constraints: 25062
1123.08/1126.76 c #Conflicts: 781000 | #Constraints: 26062
1123.08/1126.76 c #Conflicts: 782000 | #Constraints: 27062
1123.08/1126.76 c #Conflicts: 783000 | #Constraints: 28062
1123.08/1126.76 c #Conflicts: 784000 | #Constraints: 29062
1123.08/1126.76 c #Conflicts: 785000 | #Constraints: 30062
1123.08/1126.76 c #Conflicts: 786000 | #Constraints: 31062
1123.08/1126.76 c #Conflicts: 787000 | #Constraints: 32062
1123.08/1126.76 c #Conflicts: 788000 | #Constraints: 33062
1123.08/1126.76 c #Conflicts: 789000 | #Constraints: 34062
1123.08/1126.76 c #Conflicts: 790000 | #Constraints: 35062
1123.08/1126.76 c #Conflicts: 791000 | #Constraints: 36062
1123.08/1126.76 c #Conflicts: 792000 | #Constraints: 37062
1123.08/1126.76 c INPROCESSING
1123.08/1126.76 c GARBAGE COLLECT
1123.08/1126.76 c #Conflicts: 793000 | #Constraints: 20464
1123.08/1126.76 c #Conflicts: 794000 | #Constraints: 21464
1123.08/1126.76 c #Conflicts: 795000 | #Constraints: 22464
1123.08/1126.76 c #Conflicts: 796000 | #Constraints: 23464
1123.08/1126.76 c #Conflicts: 797000 | #Constraints: 24464
1123.08/1126.76 c #Conflicts: 798000 | #Constraints: 25464
1123.08/1126.76 c #Conflicts: 799000 | #Constraints: 26464
1123.08/1126.76 c #Conflicts: 800000 | #Constraints: 27464
1123.08/1126.76 c #Conflicts: 801000 | #Constraints: 28464
1123.08/1126.76 c #Conflicts: 802000 | #Constraints: 29464
1123.08/1126.76 c #Conflicts: 803000 | #Constraints: 30464
1123.08/1126.76 c #Conflicts: 804000 | #Constraints: 31464
1123.08/1126.76 c #Conflicts: 805000 | #Constraints: 32464
1123.08/1126.76 c #Conflicts: 806000 | #Constraints: 33464
1123.08/1126.76 c #Conflicts: 807000 | #Constraints: 34464
1123.08/1126.76 c #Conflicts: 808000 | #Constraints: 35464
1123.08/1126.76 c #Conflicts: 809000 | #Constraints: 36464
1123.08/1126.76 c #Conflicts: 810000 | #Constraints: 37464
1123.08/1126.76 c INPROCESSING
1123.08/1126.76 c GARBAGE COLLECT
1123.08/1126.76 c #Conflicts: 811000 | #Constraints: 20646
1123.08/1126.76 c #Conflicts: 812000 | #Constraints: 21646
1123.08/1126.76 c #Conflicts: 813000 | #Constraints: 22646
1123.08/1126.76 c #Conflicts: 814000 | #Constraints: 23646
1123.08/1126.76 c #Conflicts: 815000 | #Constraints: 24646
1123.08/1126.76 c #Conflicts: 816000 | #Constraints: 25646
1258.85/1262.88 c #Conflicts: 817000 | #Constraints: 26646
1258.85/1262.88 c #Conflicts: 818000 | #Constraints: 27646
1258.85/1262.88 c #Conflicts: 819000 | #Constraints: 28646
1258.85/1262.88 c #Conflicts: 820000 | #Constraints: 29646
1258.85/1262.88 c #Conflicts: 821000 | #Constraints: 30646
1258.85/1262.88 c #Conflicts: 822000 | #Constraints: 31646
1258.85/1262.88 c #Conflicts: 823000 | #Constraints: 32646
1258.85/1262.88 c #Conflicts: 824000 | #Constraints: 33646
1258.85/1262.88 c #Conflicts: 825000 | #Constraints: 34646
1258.85/1262.88 c #Conflicts: 826000 | #Constraints: 35646
1258.85/1262.88 c #Conflicts: 827000 | #Constraints: 36646
1258.85/1262.88 c #Conflicts: 828000 | #Constraints: 37646
1258.85/1262.88 c INPROCESSING
1258.85/1262.88 c GARBAGE COLLECT
1258.85/1262.88 c #Conflicts: 829000 | #Constraints: 20640
1258.85/1262.88 c #Conflicts: 830000 | #Constraints: 21640
1258.85/1262.88 c #Conflicts: 831000 | #Constraints: 22640
1258.85/1262.88 c #Conflicts: 832000 | #Constraints: 23640
1258.85/1262.88 c #Conflicts: 833000 | #Constraints: 24640
1258.85/1262.88 c #Conflicts: 834000 | #Constraints: 25640
1258.85/1262.88 c #Conflicts: 835000 | #Constraints: 26640
1258.85/1262.88 c #Conflicts: 836000 | #Constraints: 27640
1258.85/1262.88 c #Conflicts: 837000 | #Constraints: 28640
1258.85/1262.88 c #Conflicts: 838000 | #Constraints: 29640
1258.85/1262.88 c #Conflicts: 839000 | #Constraints: 30640
1258.85/1262.88 c #Conflicts: 840000 | #Constraints: 31640
1258.85/1262.88 c #Conflicts: 841000 | #Constraints: 32640
1258.85/1262.88 c #Conflicts: 842000 | #Constraints: 33640
1258.85/1262.88 c #Conflicts: 843000 | #Constraints: 34640
1258.85/1262.88 c #Conflicts: 844000 | #Constraints: 35640
1258.85/1262.88 c #Conflicts: 845000 | #Constraints: 36640
1258.85/1262.88 c #Conflicts: 846000 | #Constraints: 37640
1258.85/1262.88 c INPROCESSING
1258.85/1262.88 c GARBAGE COLLECT
1258.85/1262.88 c #Conflicts: 847000 | #Constraints: 20446
1258.85/1262.88 c #Conflicts: 848000 | #Constraints: 21446
1258.85/1262.88 c #Conflicts: 849000 | #Constraints: 22446
1258.85/1262.88 c #Conflicts: 850000 | #Constraints: 23446
1258.85/1262.88 c #Conflicts: 851000 | #Constraints: 24446
1258.85/1262.88 c #Conflicts: 852000 | #Constraints: 25446
1258.85/1262.88 c #Conflicts: 853000 | #Constraints: 26446
1258.85/1262.88 c #Conflicts: 854000 | #Constraints: 27446
1258.85/1262.88 c #Conflicts: 855000 | #Constraints: 28446
1258.85/1262.88 c #Conflicts: 856000 | #Constraints: 29446
1258.85/1262.88 c #Conflicts: 857000 | #Constraints: 30446
1258.85/1262.88 c #Conflicts: 858000 | #Constraints: 31446
1258.85/1262.88 c #Conflicts: 859000 | #Constraints: 32446
1258.85/1262.88 c #Conflicts: 860000 | #Constraints: 33446
1258.85/1262.88 c #Conflicts: 861000 | #Constraints: 34446
1258.85/1262.88 c #Conflicts: 862000 | #Constraints: 35446
1258.85/1262.88 c #Conflicts: 863000 | #Constraints: 36446
1258.85/1262.88 c #Conflicts: 864000 | #Constraints: 37446
1258.85/1262.88 c #Conflicts: 865000 | #Constraints: 38446
1258.85/1262.88 c INPROCESSING
1258.85/1262.88 c GARBAGE COLLECT
1258.85/1262.88 c #Conflicts: 866000 | #Constraints: 21044
1258.85/1262.88 c #Conflicts: 867000 | #Constraints: 22044
1258.85/1262.88 c #Conflicts: 868000 | #Constraints: 23044
1258.85/1262.88 c #Conflicts: 869000 | #Constraints: 24044
1258.85/1262.88 c #Conflicts: 870000 | #Constraints: 25044
1258.85/1262.88 c #Conflicts: 871000 | #Constraints: 26044
1258.85/1262.88 c #Conflicts: 872000 | #Constraints: 27044
1258.85/1262.88 c #Conflicts: 873000 | #Constraints: 28044
1258.85/1262.88 c #Conflicts: 874000 | #Constraints: 29044
1258.85/1262.88 c #Conflicts: 875000 | #Constraints: 30044
1258.85/1262.88 c #Conflicts: 876000 | #Constraints: 31044
1258.85/1262.88 c #Conflicts: 877000 | #Constraints: 32044
1258.85/1262.88 c #Conflicts: 878000 | #Constraints: 33044
1258.85/1262.88 c #Conflicts: 879000 | #Constraints: 34044
1258.85/1262.88 c #Conflicts: 880000 | #Constraints: 35044
1258.85/1262.88 c #Conflicts: 881000 | #Constraints: 36044
1258.85/1262.88 c #Conflicts: 882000 | #Constraints: 37044
1258.85/1262.88 c #Conflicts: 883000 | #Constraints: 38044
1258.85/1262.88 c #Conflicts: 884000 | #Constraints: 39044
1258.85/1262.88 c INPROCESSING
1258.85/1262.88 c GARBAGE COLLECT
1258.85/1262.88 c #Conflicts: 885000 | #Constraints: 21449
1258.85/1262.88 c #Conflicts: 886000 | #Constraints: 22449
1258.85/1262.88 c #Conflicts: 887000 | #Constraints: 23449
1258.85/1262.88 c #Conflicts: 888000 | #Constraints: 24449
1258.85/1262.88 c #Conflicts: 889000 | #Constraints: 25449
1258.85/1262.88 c #Conflicts: 890000 | #Constraints: 26449
1258.85/1262.88 c #Conflicts: 891000 | #Constraints: 27449
1258.85/1262.88 c #Conflicts: 892000 | #Constraints: 28449
1390.63/1394.99 c #Conflicts: 893000 | #Constraints: 29449
1390.63/1394.99 c #Conflicts: 894000 | #Constraints: 30449
1390.63/1394.99 c #Conflicts: 895000 | #Constraints: 31449
1390.63/1394.99 c #Conflicts: 896000 | #Constraints: 32449
1390.63/1394.99 c #Conflicts: 897000 | #Constraints: 33449
1390.63/1394.99 c #Conflicts: 898000 | #Constraints: 34449
1390.63/1394.99 c #Conflicts: 899000 | #Constraints: 35449
1390.63/1394.99 c #Conflicts: 900000 | #Constraints: 36449
1390.63/1394.99 c #Conflicts: 901000 | #Constraints: 37449
1390.63/1394.99 c #Conflicts: 902000 | #Constraints: 38449
1390.63/1394.99 c #Conflicts: 903000 | #Constraints: 39449
1390.63/1394.99 c INPROCESSING
1390.63/1394.99 c GARBAGE COLLECT
1390.63/1394.99 c #Conflicts: 904000 | #Constraints: 21645
1390.63/1394.99 c #Conflicts: 905000 | #Constraints: 22645
1390.63/1394.99 c #Conflicts: 906000 | #Constraints: 23645
1390.63/1394.99 c #Conflicts: 907000 | #Constraints: 24645
1390.63/1394.99 c #Conflicts: 908000 | #Constraints: 25645
1390.63/1394.99 c #Conflicts: 909000 | #Constraints: 26645
1390.63/1394.99 c #Conflicts: 910000 | #Constraints: 27645
1390.63/1394.99 c #Conflicts: 911000 | #Constraints: 28645
1390.63/1394.99 c #Conflicts: 912000 | #Constraints: 29645
1390.63/1394.99 c #Conflicts: 913000 | #Constraints: 30645
1390.63/1394.99 c #Conflicts: 914000 | #Constraints: 31645
1390.63/1394.99 c #Conflicts: 915000 | #Constraints: 32645
1390.63/1394.99 c #Conflicts: 916000 | #Constraints: 33645
1390.63/1394.99 c #Conflicts: 917000 | #Constraints: 34645
1390.63/1394.99 c #Conflicts: 918000 | #Constraints: 35645
1390.63/1394.99 c #Conflicts: 919000 | #Constraints: 36645
1390.63/1394.99 c #Conflicts: 920000 | #Constraints: 37645
1390.63/1394.99 c #Conflicts: 921000 | #Constraints: 38645
1390.63/1394.99 c #Conflicts: 922000 | #Constraints: 39645
1390.63/1394.99 c INPROCESSING
1390.63/1394.99 c GARBAGE COLLECT
1390.63/1394.99 c #Conflicts: 923000 | #Constraints: 21652
1390.63/1394.99 c #Conflicts: 924000 | #Constraints: 22652
1390.63/1394.99 c #Conflicts: 925000 | #Constraints: 23652
1390.63/1394.99 c #Conflicts: 926000 | #Constraints: 24652
1390.63/1394.99 c #Conflicts: 927000 | #Constraints: 25652
1390.63/1394.99 c #Conflicts: 928000 | #Constraints: 26652
1390.63/1394.99 c #Conflicts: 929000 | #Constraints: 27652
1390.63/1394.99 c #Conflicts: 930000 | #Constraints: 28652
1390.63/1394.99 c #Conflicts: 931000 | #Constraints: 29652
1390.63/1394.99 c #Conflicts: 932000 | #Constraints: 30652
1390.63/1394.99 c #Conflicts: 933000 | #Constraints: 31652
1390.63/1394.99 c #Conflicts: 934000 | #Constraints: 32652
1390.63/1394.99 c #Conflicts: 935000 | #Constraints: 33652
1390.63/1394.99 c #Conflicts: 936000 | #Constraints: 34652
1390.63/1394.99 c #Conflicts: 937000 | #Constraints: 35652
1390.63/1394.99 c #Conflicts: 938000 | #Constraints: 36652
1390.63/1394.99 c #Conflicts: 939000 | #Constraints: 37652
1390.63/1394.99 c #Conflicts: 940000 | #Constraints: 38652
1390.63/1394.99 c #Conflicts: 941000 | #Constraints: 39652
1390.63/1394.99 c INPROCESSING
1390.63/1394.99 c GARBAGE COLLECT
1390.63/1394.99 c #Conflicts: 942000 | #Constraints: 21453
1390.63/1394.99 c #Conflicts: 943000 | #Constraints: 22453
1390.63/1394.99 c #Conflicts: 944000 | #Constraints: 23453
1390.63/1394.99 c #Conflicts: 945000 | #Constraints: 24453
1390.63/1394.99 c #Conflicts: 946000 | #Constraints: 25453
1390.63/1394.99 c #Conflicts: 947000 | #Constraints: 26453
1390.63/1394.99 c #Conflicts: 948000 | #Constraints: 27453
1390.63/1394.99 c #Conflicts: 949000 | #Constraints: 28453
1390.63/1394.99 c #Conflicts: 950000 | #Constraints: 29453
1390.63/1394.99 c #Conflicts: 951000 | #Constraints: 30453
1390.63/1394.99 c #Conflicts: 952000 | #Constraints: 31453
1390.63/1394.99 c #Conflicts: 953000 | #Constraints: 32453
1390.63/1394.99 c #Conflicts: 954000 | #Constraints: 33453
1390.63/1394.99 c #Conflicts: 955000 | #Constraints: 34453
1390.63/1394.99 c #Conflicts: 956000 | #Constraints: 35453
1390.63/1394.99 c #Conflicts: 957000 | #Constraints: 36453
1390.63/1394.99 c #Conflicts: 958000 | #Constraints: 37453
1390.63/1394.99 c #Conflicts: 959000 | #Constraints: 38453
1390.63/1394.99 c #Conflicts: 960000 | #Constraints: 39453
1390.63/1394.99 c #Conflicts: 961000 | #Constraints: 40453
1390.63/1394.99 c INPROCESSING
1390.63/1394.99 c GARBAGE COLLECT
1390.63/1394.99 c #Conflicts: 962000 | #Constraints: 22048
1390.63/1394.99 c #Conflicts: 963000 | #Constraints: 23048
1390.63/1394.99 c #Conflicts: 964000 | #Constraints: 24048
1390.63/1394.99 c #Conflicts: 965000 | #Constraints: 25048
1390.63/1394.99 c #Conflicts: 966000 | #Constraints: 26048
1390.63/1394.99 c #Conflicts: 967000 | #Constraints: 27048
1390.63/1394.99 c #Conflicts: 968000 | #Constraints: 28048
1497.28/1501.86 c #Conflicts: 969000 | #Constraints: 29048
1497.28/1501.86 c #Conflicts: 970000 | #Constraints: 30048
1497.28/1501.86 c #Conflicts: 971000 | #Constraints: 31048
1497.28/1501.86 c #Conflicts: 972000 | #Constraints: 32048
1497.28/1501.86 c #Conflicts: 973000 | #Constraints: 33048
1497.28/1501.86 c #Conflicts: 974000 | #Constraints: 34048
1497.28/1501.86 c #Conflicts: 975000 | #Constraints: 35048
1497.28/1501.86 c #Conflicts: 976000 | #Constraints: 36048
1497.28/1501.86 c #Conflicts: 977000 | #Constraints: 37048
1497.28/1501.86 c #Conflicts: 978000 | #Constraints: 38048
1497.28/1501.86 c #Conflicts: 979000 | #Constraints: 39048
1497.28/1501.86 c #Conflicts: 980000 | #Constraints: 40048
1497.28/1501.86 c #Conflicts: 981000 | #Constraints: 41048
1497.28/1501.86 c INPROCESSING
1497.28/1501.86 c GARBAGE COLLECT
1497.28/1501.86 c #Conflicts: 982000 | #Constraints: 22464
1497.28/1501.86 c #Conflicts: 983000 | #Constraints: 23464
1497.28/1501.86 c #Conflicts: 984000 | #Constraints: 24464
1497.28/1501.86 c #Conflicts: 985000 | #Constraints: 25464
1497.28/1501.86 c #Conflicts: 986000 | #Constraints: 26464
1497.28/1501.86 c #Conflicts: 987000 | #Constraints: 27464
1497.28/1501.86 c #Conflicts: 988000 | #Constraints: 28464
1497.28/1501.86 c #Conflicts: 989000 | #Constraints: 29464
1497.28/1501.86 c #Conflicts: 990000 | #Constraints: 30464
1497.28/1501.86 c #Conflicts: 991000 | #Constraints: 31464
1497.28/1501.86 c #Conflicts: 992000 | #Constraints: 32464
1497.28/1501.86 c #Conflicts: 993000 | #Constraints: 33464
1497.28/1501.86 c #Conflicts: 994000 | #Constraints: 34464
1497.28/1501.86 c #Conflicts: 995000 | #Constraints: 35464
1497.28/1501.86 c #Conflicts: 996000 | #Constraints: 36464
1497.28/1501.86 c #Conflicts: 997000 | #Constraints: 37464
1497.28/1501.86 c #Conflicts: 998000 | #Constraints: 38464
1497.28/1501.86 c #Conflicts: 999000 | #Constraints: 39464
1497.28/1501.86 c #Conflicts: 1000000 | #Constraints: 40464
1497.28/1501.86 c #Conflicts: 1001000 | #Constraints: 41464
1497.28/1501.86 c INPROCESSING
1497.28/1501.86 c GARBAGE COLLECT
1497.28/1501.86 c #Conflicts: 1002000 | #Constraints: 22666
1497.28/1501.86 c #Conflicts: 1003000 | #Constraints: 23666
1497.28/1501.86 c #Conflicts: 1004000 | #Constraints: 24666
1497.28/1501.86 c #Conflicts: 1005000 | #Constraints: 25666
1497.28/1501.86 c #Conflicts: 1006000 | #Constraints: 26666
1497.28/1501.86 c #Conflicts: 1007000 | #Constraints: 27666
1497.28/1501.86 c #Conflicts: 1008000 | #Constraints: 28666
1497.28/1501.86 c #Conflicts: 1009000 | #Constraints: 29666
1497.28/1501.86 c #Conflicts: 1010000 | #Constraints: 30666
1497.28/1501.86 c #Conflicts: 1011000 | #Constraints: 31666
1497.28/1501.86 c #Conflicts: 1012000 | #Constraints: 32666
1497.28/1501.86 c #Conflicts: 1013000 | #Constraints: 33666
1497.28/1501.86 c #Conflicts: 1014000 | #Constraints: 34666
1497.28/1501.86 c #Conflicts: 1015000 | #Constraints: 35666
1497.28/1501.86 c #Conflicts: 1016000 | #Constraints: 36666
1497.28/1501.86 c #Conflicts: 1017000 | #Constraints: 37666
1497.28/1501.86 c #Conflicts: 1018000 | #Constraints: 38666
1497.28/1501.86 c #Conflicts: 1019000 | #Constraints: 39666
1497.28/1501.86 c #Conflicts: 1020000 | #Constraints: 40666
1497.28/1501.86 c #Conflicts: 1021000 | #Constraints: 41666
1497.28/1501.86 c INPROCESSING
1497.28/1501.86 c GARBAGE COLLECT
1497.28/1501.86 c #Conflicts: 1022000 | #Constraints: 22662
1497.28/1501.86 c #Conflicts: 1023000 | #Constraints: 23662
1497.28/1501.86 c #Conflicts: 1024000 | #Constraints: 24662
1497.28/1501.86 c #Conflicts: 1025000 | #Constraints: 25662
1497.28/1501.86 c #Conflicts: 1026000 | #Constraints: 26662
1497.28/1501.86 c #Conflicts: 1027000 | #Constraints: 27662
1497.28/1501.86 c #Conflicts: 1028000 | #Constraints: 28662
1497.28/1501.86 c #Conflicts: 1029000 | #Constraints: 29662
1497.28/1501.86 c #Conflicts: 1030000 | #Constraints: 30662
1497.28/1501.86 c #Conflicts: 1031000 | #Constraints: 31662
1497.28/1501.86 c #Conflicts: 1032000 | #Constraints: 32662
1497.28/1501.86 c #Conflicts: 1033000 | #Constraints: 33662
1497.28/1501.86 c #Conflicts: 1034000 | #Constraints: 34662
1497.28/1501.86 c #Conflicts: 1035000 | #Constraints: 35662
1497.28/1501.86 c #Conflicts: 1036000 | #Constraints: 36662
1497.28/1501.86 c #Conflicts: 1037000 | #Constraints: 37662
1497.28/1501.86 c #Conflicts: 1038000 | #Constraints: 38662
1497.28/1501.86 c #Conflicts: 1039000 | #Constraints: 39662
1497.28/1501.86 c #Conflicts: 1040000 | #Constraints: 40662
1497.28/1501.86 c #Conflicts: 1041000 | #Constraints: 41662
1497.28/1501.86 c INPROCESSING
1497.28/1501.86 c GARBAGE COLLECT
1497.28/1501.86 c #Conflicts: 1042000 | #Constraints: 22473
1497.28/1501.86 c #Conflicts: 1043000 | #Constraints: 23473
1497.28/1501.86 c #Conflicts: 1044000 | #Constraints: 24473
1660.88/1665.87 c #Conflicts: 1045000 | #Constraints: 25473
1660.88/1665.87 c #Conflicts: 1046000 | #Constraints: 26473
1660.88/1665.87 c #Conflicts: 1047000 | #Constraints: 27473
1660.88/1665.87 c #Conflicts: 1048000 | #Constraints: 28473
1660.88/1665.87 c #Conflicts: 1049000 | #Constraints: 29473
1660.88/1665.87 c #Conflicts: 1050000 | #Constraints: 30473
1660.88/1665.87 c #Conflicts: 1051000 | #Constraints: 31473
1660.88/1665.87 c #Conflicts: 1052000 | #Constraints: 32473
1660.88/1665.87 c #Conflicts: 1053000 | #Constraints: 33473
1660.88/1665.87 c #Conflicts: 1054000 | #Constraints: 34473
1660.88/1665.87 c #Conflicts: 1055000 | #Constraints: 35473
1660.88/1665.87 c #Conflicts: 1056000 | #Constraints: 36473
1660.88/1665.87 c #Conflicts: 1057000 | #Constraints: 37473
1660.88/1665.87 c #Conflicts: 1058000 | #Constraints: 38473
1660.88/1665.87 c #Conflicts: 1059000 | #Constraints: 39473
1660.88/1665.87 c #Conflicts: 1060000 | #Constraints: 40473
1660.88/1665.87 c #Conflicts: 1061000 | #Constraints: 41473
1660.88/1665.87 c #Conflicts: 1062000 | #Constraints: 42473
1660.88/1665.87 c INPROCESSING
1660.88/1665.87 c GARBAGE COLLECT
1660.88/1665.87 c #Conflicts: 1063000 | #Constraints: 23071
1660.88/1665.87 c #Conflicts: 1064000 | #Constraints: 24071
1660.88/1665.87 c #Conflicts: 1065000 | #Constraints: 25071
1660.88/1665.87 c #Conflicts: 1066000 | #Constraints: 26071
1660.88/1665.87 c #Conflicts: 1067000 | #Constraints: 27071
1660.88/1665.87 c #Conflicts: 1068000 | #Constraints: 28071
1660.88/1665.87 c #Conflicts: 1069000 | #Constraints: 29071
1660.88/1665.87 c #Conflicts: 1070000 | #Constraints: 30071
1660.88/1665.87 c #Conflicts: 1071000 | #Constraints: 31071
1660.88/1665.87 c #Conflicts: 1072000 | #Constraints: 32071
1660.88/1665.87 c #Conflicts: 1073000 | #Constraints: 33071
1660.88/1665.87 c #Conflicts: 1074000 | #Constraints: 34071
1660.88/1665.87 c #Conflicts: 1075000 | #Constraints: 35071
1660.88/1665.87 c #Conflicts: 1076000 | #Constraints: 36071
1660.88/1665.87 c #Conflicts: 1077000 | #Constraints: 37071
1660.88/1665.87 c #Conflicts: 1078000 | #Constraints: 38071
1660.88/1665.87 c #Conflicts: 1079000 | #Constraints: 39071
1660.88/1665.87 c #Conflicts: 1080000 | #Constraints: 40071
1660.88/1665.87 c #Conflicts: 1081000 | #Constraints: 41071
1660.88/1665.87 c #Conflicts: 1082000 | #Constraints: 42071
1660.88/1665.87 c #Conflicts: 1083000 | #Constraints: 43071
1660.88/1665.87 c INPROCESSING
1660.88/1665.87 c GARBAGE COLLECT
1660.88/1665.87 c #Conflicts: 1084000 | #Constraints: 23455
1660.88/1665.87 c #Conflicts: 1085000 | #Constraints: 24455
1660.88/1665.87 c #Conflicts: 1086000 | #Constraints: 25455
1660.88/1665.87 c #Conflicts: 1087000 | #Constraints: 26455
1660.88/1665.87 c #Conflicts: 1088000 | #Constraints: 27455
1660.88/1665.87 c #Conflicts: 1089000 | #Constraints: 28455
1660.88/1665.87 c #Conflicts: 1090000 | #Constraints: 29455
1660.88/1665.87 c #Conflicts: 1091000 | #Constraints: 30455
1660.88/1665.87 c #Conflicts: 1092000 | #Constraints: 31455
1660.88/1665.87 c #Conflicts: 1093000 | #Constraints: 32455
1660.88/1665.87 c #Conflicts: 1094000 | #Constraints: 33455
1660.88/1665.87 c #Conflicts: 1095000 | #Constraints: 34455
1660.88/1665.87 c #Conflicts: 1096000 | #Constraints: 35455
1660.88/1665.87 c #Conflicts: 1097000 | #Constraints: 36455
1660.88/1665.87 c #Conflicts: 1098000 | #Constraints: 37455
1660.88/1665.87 c #Conflicts: 1099000 | #Constraints: 38455
1660.88/1665.87 c #Conflicts: 1100000 | #Constraints: 39455
1660.88/1665.87 c #Conflicts: 1101000 | #Constraints: 40455
1660.88/1665.87 c #Conflicts: 1102000 | #Constraints: 41455
1660.88/1665.87 c #Conflicts: 1103000 | #Constraints: 42455
1660.88/1665.87 c #Conflicts: 1104000 | #Constraints: 43455
1660.88/1665.87 c INPROCESSING
1660.88/1665.87 c GARBAGE COLLECT
1660.88/1665.87 c #Conflicts: 1105000 | #Constraints: 23650
1660.88/1665.87 c #Conflicts: 1106000 | #Constraints: 24650
1660.88/1665.87 c #Conflicts: 1107000 | #Constraints: 25650
1660.88/1665.87 c #Conflicts: 1108000 | #Constraints: 26650
1660.88/1665.87 c #Conflicts: 1109000 | #Constraints: 27650
1660.88/1665.87 c #Conflicts: 1110000 | #Constraints: 28650
1660.88/1665.87 c #Conflicts: 1111000 | #Constraints: 29650
1660.88/1665.87 c #Conflicts: 1112000 | #Constraints: 30650
1660.88/1665.87 c #Conflicts: 1113000 | #Constraints: 31650
1660.88/1665.87 c #Conflicts: 1114000 | #Constraints: 32650
1660.88/1665.87 c #Conflicts: 1115000 | #Constraints: 33650
1660.88/1665.87 c #Conflicts: 1116000 | #Constraints: 34650
1660.88/1665.87 c #Conflicts: 1117000 | #Constraints: 35650
1660.88/1665.87 c #Conflicts: 1118000 | #Constraints: 36650
1660.88/1665.87 c #Conflicts: 1119000 | #Constraints: 37650
1660.88/1665.87 c #Conflicts: 1120000 | #Constraints: 38650
1660.88/1665.87 c #Conflicts: 1121000 | #Constraints: 39650
1906.39/1911.96 c #Conflicts: 1122000 | #Constraints: 40650
1906.39/1911.96 c #Conflicts: 1123000 | #Constraints: 41650
1906.39/1911.96 c #Conflicts: 1124000 | #Constraints: 42650
1906.39/1911.96 c #Conflicts: 1125000 | #Constraints: 43650
1906.39/1911.96 c INPROCESSING
1906.39/1911.96 c GARBAGE COLLECT
1906.39/1911.96 c #Conflicts: 1126000 | #Constraints: 23651
1906.39/1911.96 c #Conflicts: 1127000 | #Constraints: 24651
1906.39/1911.96 c #Conflicts: 1128000 | #Constraints: 25651
1906.39/1911.96 c #Conflicts: 1129000 | #Constraints: 26651
1906.39/1911.96 c #Conflicts: 1130000 | #Constraints: 27651
1906.39/1911.96 c #Conflicts: 1131000 | #Constraints: 28651
1906.39/1911.96 c #Conflicts: 1132000 | #Constraints: 29651
1906.39/1911.96 c #Conflicts: 1133000 | #Constraints: 30651
1906.39/1911.96 c #Conflicts: 1134000 | #Constraints: 31651
1906.39/1911.96 c #Conflicts: 1135000 | #Constraints: 32651
1906.39/1911.96 c #Conflicts: 1136000 | #Constraints: 33651
1906.39/1911.96 c #Conflicts: 1137000 | #Constraints: 34651
1906.39/1911.96 c #Conflicts: 1138000 | #Constraints: 35651
1906.39/1911.96 c #Conflicts: 1139000 | #Constraints: 36651
1906.39/1911.96 c #Conflicts: 1140000 | #Constraints: 37651
1906.39/1911.96 c #Conflicts: 1141000 | #Constraints: 38651
1906.39/1911.96 c #Conflicts: 1142000 | #Constraints: 39651
1906.39/1911.96 c #Conflicts: 1143000 | #Constraints: 40651
1906.39/1911.96 c #Conflicts: 1144000 | #Constraints: 41651
1906.39/1911.96 c #Conflicts: 1145000 | #Constraints: 42651
1906.39/1911.96 c #Conflicts: 1146000 | #Constraints: 43651
1906.39/1911.96 c INPROCESSING
1906.39/1911.96 c GARBAGE COLLECT
1906.39/1911.96 c #Conflicts: 1147000 | #Constraints: 23445
1906.39/1911.96 c #Conflicts: 1148000 | #Constraints: 24445
1906.39/1911.96 c #Conflicts: 1149000 | #Constraints: 25445
1906.39/1911.96 c #Conflicts: 1150000 | #Constraints: 26445
1906.39/1911.96 c #Conflicts: 1151000 | #Constraints: 27445
1906.39/1911.96 c #Conflicts: 1152000 | #Constraints: 28445
1906.39/1911.96 c #Conflicts: 1153000 | #Constraints: 29445
1906.39/1911.96 c #Conflicts: 1154000 | #Constraints: 30445
1906.39/1911.96 c #Conflicts: 1155000 | #Constraints: 31445
1906.39/1911.96 c #Conflicts: 1156000 | #Constraints: 32445
1906.39/1911.96 c #Conflicts: 1157000 | #Constraints: 33445
1906.39/1911.96 c #Conflicts: 1158000 | #Constraints: 34445
1906.39/1911.96 c #Conflicts: 1159000 | #Constraints: 35445
1906.39/1911.96 c #Conflicts: 1160000 | #Constraints: 36445
1906.39/1911.96 c #Conflicts: 1161000 | #Constraints: 37445
1906.39/1911.96 c #Conflicts: 1162000 | #Constraints: 38445
1906.39/1911.96 c #Conflicts: 1163000 | #Constraints: 39445
1906.39/1911.96 c #Conflicts: 1164000 | #Constraints: 40445
1906.39/1911.96 c #Conflicts: 1165000 | #Constraints: 41445
1906.39/1911.96 c #Conflicts: 1166000 | #Constraints: 42445
1906.39/1911.96 c #Conflicts: 1167000 | #Constraints: 43445
1906.39/1911.96 c #Conflicts: 1168000 | #Constraints: 44445
1906.39/1911.96 c INPROCESSING
1906.39/1911.96 c GARBAGE COLLECT
1906.39/1911.96 c #Conflicts: 1169000 | #Constraints: 24050
1906.39/1911.96 c #Conflicts: 1170000 | #Constraints: 25050
1906.39/1911.96 c #Conflicts: 1171000 | #Constraints: 26050
1906.39/1911.96 c #Conflicts: 1172000 | #Constraints: 27050
1906.39/1911.96 c #Conflicts: 1173000 | #Constraints: 28050
1906.39/1911.96 c #Conflicts: 1174000 | #Constraints: 29050
1906.39/1911.96 c #Conflicts: 1175000 | #Constraints: 30050
1906.39/1911.96 c #Conflicts: 1176000 | #Constraints: 31050
1906.39/1911.96 c #Conflicts: 1177000 | #Constraints: 32050
1906.39/1911.96 c #Conflicts: 1178000 | #Constraints: 33050
1906.39/1911.96 c #Conflicts: 1179000 | #Constraints: 34050
1906.39/1911.96 c #Conflicts: 1180000 | #Constraints: 35050
1906.39/1911.96 c #Conflicts: 1181000 | #Constraints: 36050
1906.39/1911.96 c #Conflicts: 1182000 | #Constraints: 37050
1906.39/1911.96 c #Conflicts: 1183000 | #Constraints: 38050
1906.39/1911.96 c #Conflicts: 1184000 | #Constraints: 39050
1906.39/1911.96 c #Conflicts: 1185000 | #Constraints: 40050
1906.39/1911.96 c #Conflicts: 1186000 | #Constraints: 41050
1906.39/1911.96 c #Conflicts: 1187000 | #Constraints: 42050
1906.39/1911.96 c #Conflicts: 1188000 | #Constraints: 43050
1906.39/1911.96 c #Conflicts: 1189000 | #Constraints: 44050
1906.39/1911.96 c #Conflicts: 1190000 | #Constraints: 45050
1906.39/1911.96 c INPROCESSING
1906.39/1911.96 c GARBAGE COLLECT
1906.39/1911.96 c #Conflicts: 1191000 | #Constraints: 24454
1906.39/1911.96 c #Conflicts: 1192000 | #Constraints: 25454
1906.39/1911.96 c #Conflicts: 1193000 | #Constraints: 26454
1906.39/1911.96 c #Conflicts: 1194000 | #Constraints: 27454
1906.39/1911.96 c #Conflicts: 1195000 | #Constraints: 28454
1906.39/1911.96 c #Conflicts: 1196000 | #Constraints: 29454
1906.39/1911.96 c #Conflicts: 1197000 | #Constraints: 30454
2181.31/2187.57 c #Conflicts: 1198000 | #Constraints: 31454
2181.31/2187.57 c #Conflicts: 1199000 | #Constraints: 32454
2181.31/2187.57 c #Conflicts: 1200000 | #Constraints: 33454
2181.31/2187.57 c #Conflicts: 1201000 | #Constraints: 34454
2181.31/2187.57 c #Conflicts: 1202000 | #Constraints: 35454
2181.31/2187.57 c #Conflicts: 1203000 | #Constraints: 36454
2181.31/2187.57 c #Conflicts: 1204000 | #Constraints: 37454
2181.31/2187.57 c #Conflicts: 1205000 | #Constraints: 38454
2181.31/2187.57 c #Conflicts: 1206000 | #Constraints: 39454
2181.31/2187.57 c #Conflicts: 1207000 | #Constraints: 40454
2181.31/2187.57 c #Conflicts: 1208000 | #Constraints: 41454
2181.31/2187.57 c #Conflicts: 1209000 | #Constraints: 42454
2181.31/2187.57 c #Conflicts: 1210000 | #Constraints: 43454
2181.31/2187.57 c #Conflicts: 1211000 | #Constraints: 44454
2181.31/2187.57 c #Conflicts: 1212000 | #Constraints: 45454
2181.31/2187.57 c INPROCESSING
2181.31/2187.57 c GARBAGE COLLECT
2181.31/2187.57 c #Conflicts: 1213000 | #Constraints: 24658
2181.31/2187.57 c #Conflicts: 1214000 | #Constraints: 25658
2181.31/2187.57 c #Conflicts: 1215000 | #Constraints: 26658
2181.31/2187.57 c #Conflicts: 1216000 | #Constraints: 27658
2181.31/2187.57 c #Conflicts: 1217000 | #Constraints: 28658
2181.31/2187.57 c #Conflicts: 1218000 | #Constraints: 29658
2181.31/2187.57 c #Conflicts: 1219000 | #Constraints: 30658
2181.31/2187.57 c #Conflicts: 1220000 | #Constraints: 31658
2181.31/2187.57 c #Conflicts: 1221000 | #Constraints: 32658
2181.31/2187.57 c #Conflicts: 1222000 | #Constraints: 33658
2181.31/2187.57 c #Conflicts: 1223000 | #Constraints: 34658
2181.31/2187.57 c #Conflicts: 1224000 | #Constraints: 35658
2181.31/2187.57 c #Conflicts: 1225000 | #Constraints: 36658
2181.31/2187.57 c #Conflicts: 1226000 | #Constraints: 37658
2181.31/2187.57 c #Conflicts: 1227000 | #Constraints: 38658
2181.31/2187.57 c #Conflicts: 1228000 | #Constraints: 39658
2181.31/2187.57 c #Conflicts: 1229000 | #Constraints: 40658
2181.31/2187.57 c #Conflicts: 1230000 | #Constraints: 41658
2181.31/2187.57 c #Conflicts: 1231000 | #Constraints: 42658
2181.31/2187.57 c #Conflicts: 1232000 | #Constraints: 43658
2181.31/2187.57 c #Conflicts: 1233000 | #Constraints: 44658
2181.31/2187.57 c #Conflicts: 1234000 | #Constraints: 45658
2181.31/2187.57 c INPROCESSING
2181.31/2187.57 c GARBAGE COLLECT
2181.31/2187.57 c #Conflicts: 1235000 | #Constraints: 24653
2181.31/2187.57 c #Conflicts: 1236000 | #Constraints: 25653
2181.31/2187.57 c #Conflicts: 1237000 | #Constraints: 26653
2181.31/2187.57 c #Conflicts: 1238000 | #Constraints: 27653
2181.31/2187.57 c #Conflicts: 1239000 | #Constraints: 28653
2181.31/2187.57 c #Conflicts: 1240000 | #Constraints: 29653
2181.31/2187.57 c #Conflicts: 1241000 | #Constraints: 30653
2181.31/2187.57 c #Conflicts: 1242000 | #Constraints: 31653
2181.31/2187.57 c #Conflicts: 1243000 | #Constraints: 32653
2181.31/2187.57 c #Conflicts: 1244000 | #Constraints: 33653
2181.31/2187.57 c #Conflicts: 1245000 | #Constraints: 34653
2181.31/2187.57 c #Conflicts: 1246000 | #Constraints: 35653
2181.31/2187.57 c #Conflicts: 1247000 | #Constraints: 36653
2181.31/2187.57 c #Conflicts: 1248000 | #Constraints: 37653
2181.31/2187.57 c #Conflicts: 1249000 | #Constraints: 38653
2181.31/2187.57 c #Conflicts: 1250000 | #Constraints: 39653
2181.31/2187.57 c #Conflicts: 1251000 | #Constraints: 40653
2181.31/2187.57 c #Conflicts: 1252000 | #Constraints: 41653
2181.31/2187.57 c #Conflicts: 1253000 | #Constraints: 42653
2181.31/2187.57 c #Conflicts: 1254000 | #Constraints: 43653
2181.31/2187.57 c #Conflicts: 1255000 | #Constraints: 44653
2181.31/2187.57 c #Conflicts: 1256000 | #Constraints: 45653
2181.31/2187.57 c INPROCESSING
2181.31/2187.57 c GARBAGE COLLECT
2181.31/2187.57 c #Conflicts: 1257000 | #Constraints: 24450
2181.31/2187.57 c #Conflicts: 1258000 | #Constraints: 25450
2181.31/2187.57 c #Conflicts: 1259000 | #Constraints: 26450
2181.31/2187.57 c #Conflicts: 1260000 | #Constraints: 27450
2181.31/2187.57 c #Conflicts: 1261000 | #Constraints: 28450
2181.31/2187.57 c #Conflicts: 1262000 | #Constraints: 29450
2181.31/2187.57 c #Conflicts: 1263000 | #Constraints: 30450
2181.31/2187.57 c #Conflicts: 1264000 | #Constraints: 31450
2181.31/2187.57 c #Conflicts: 1265000 | #Constraints: 32450
2181.31/2187.57 c #Conflicts: 1266000 | #Constraints: 33450
2181.31/2187.57 c #Conflicts: 1267000 | #Constraints: 34450
2181.31/2187.57 c #Conflicts: 1268000 | #Constraints: 35450
2181.31/2187.57 c #Conflicts: 1269000 | #Constraints: 36450
2181.31/2187.57 c #Conflicts: 1270000 | #Constraints: 37450
2181.31/2187.57 c #Conflicts: 1271000 | #Constraints: 38450
2181.31/2187.57 c #Conflicts: 1272000 | #Constraints: 39450
2181.31/2187.57 c #Conflicts: 1273000 | #Constraints: 40450
2181.31/2187.57 c #Conflicts: 1274000 | #Constraints: 41450
2394.08/2400.80 c #Conflicts: 1275000 | #Constraints: 42450
2394.08/2400.80 c #Conflicts: 1276000 | #Constraints: 43450
2394.08/2400.80 c #Conflicts: 1277000 | #Constraints: 44450
2394.08/2400.80 c #Conflicts: 1278000 | #Constraints: 45450
2394.08/2400.80 c #Conflicts: 1279000 | #Constraints: 46450
2394.08/2400.80 c INPROCESSING
2394.08/2400.80 c GARBAGE COLLECT
2394.08/2400.80 c #Conflicts: 1280000 | #Constraints: 25053
2394.08/2400.80 c #Conflicts: 1281000 | #Constraints: 26053
2394.08/2400.80 c #Conflicts: 1282000 | #Constraints: 27053
2394.08/2400.80 c #Conflicts: 1283000 | #Constraints: 28053
2394.08/2400.80 c #Conflicts: 1284000 | #Constraints: 29053
2394.08/2400.80 c #Conflicts: 1285000 | #Constraints: 30053
2394.08/2400.80 c #Conflicts: 1286000 | #Constraints: 31053
2394.08/2400.80 c #Conflicts: 1287000 | #Constraints: 32053
2394.08/2400.80 c #Conflicts: 1288000 | #Constraints: 33053
2394.08/2400.80 c #Conflicts: 1289000 | #Constraints: 34053
2394.08/2400.80 c #Conflicts: 1290000 | #Constraints: 35053
2394.08/2400.80 c #Conflicts: 1291000 | #Constraints: 36053
2394.08/2400.80 c #Conflicts: 1292000 | #Constraints: 37053
2394.08/2400.80 c #Conflicts: 1293000 | #Constraints: 38053
2394.08/2400.80 c #Conflicts: 1294000 | #Constraints: 39053
2394.08/2400.80 c #Conflicts: 1295000 | #Constraints: 40053
2394.08/2400.80 c #Conflicts: 1296000 | #Constraints: 41053
2394.08/2400.80 c #Conflicts: 1297000 | #Constraints: 42053
2394.08/2400.80 c #Conflicts: 1298000 | #Constraints: 43053
2394.08/2400.80 c #Conflicts: 1299000 | #Constraints: 44053
2394.08/2400.80 c #Conflicts: 1300000 | #Constraints: 45053
2394.08/2400.80 c #Conflicts: 1301000 | #Constraints: 46053
2394.08/2400.80 c #Conflicts: 1302000 | #Constraints: 47053
2394.08/2400.80 c INPROCESSING
2394.08/2400.80 c GARBAGE COLLECT
2394.08/2400.80 c #Conflicts: 1303000 | #Constraints: 25452
2394.08/2400.80 c #Conflicts: 1304000 | #Constraints: 26452
2394.08/2400.80 c #Conflicts: 1305000 | #Constraints: 27452
2394.08/2400.80 c #Conflicts: 1306000 | #Constraints: 28452
2394.08/2400.80 c #Conflicts: 1307000 | #Constraints: 29452
2394.08/2400.80 c #Conflicts: 1308000 | #Constraints: 30452
2394.08/2400.80 c #Conflicts: 1309000 | #Constraints: 31452
2394.08/2400.80 c #Conflicts: 1310000 | #Constraints: 32452
2394.08/2400.80 c #Conflicts: 1311000 | #Constraints: 33452
2394.08/2400.80 c #Conflicts: 1312000 | #Constraints: 34452
2394.08/2400.80 c #Conflicts: 1313000 | #Constraints: 35452
2394.08/2400.80 c #Conflicts: 1314000 | #Constraints: 36452
2394.08/2400.80 c #Conflicts: 1315000 | #Constraints: 37452
2394.08/2400.80 c #Conflicts: 1316000 | #Constraints: 38452
2394.08/2400.80 c #Conflicts: 1317000 | #Constraints: 39452
2394.08/2400.80 c #Conflicts: 1318000 | #Constraints: 40452
2394.08/2400.80 c #Conflicts: 1319000 | #Constraints: 41452
2394.08/2400.80 c #Conflicts: 1320000 | #Constraints: 42452
2394.08/2400.80 c #Conflicts: 1321000 | #Constraints: 43452
2394.08/2400.80 c #Conflicts: 1322000 | #Constraints: 44452
2394.08/2400.80 c #Conflicts: 1323000 | #Constraints: 45452
2394.08/2400.80 c #Conflicts: 1324000 | #Constraints: 46452
2394.08/2400.80 c #Conflicts: 1325000 | #Constraints: 47452
2394.08/2400.80 c INPROCESSING
2394.08/2400.80 c GARBAGE COLLECT
2394.08/2400.80 c #Conflicts: 1326000 | #Constraints: 25652
2394.08/2400.80 c #Conflicts: 1327000 | #Constraints: 26652
2394.08/2400.80 c #Conflicts: 1328000 | #Constraints: 27652
2394.08/2400.80 c #Conflicts: 1329000 | #Constraints: 28652
2394.08/2400.80 c #Conflicts: 1330000 | #Constraints: 29652
2394.08/2400.80 c #Conflicts: 1331000 | #Constraints: 30652
2394.08/2400.80 c #Conflicts: 1332000 | #Constraints: 31652
2394.08/2400.80 c #Conflicts: 1333000 | #Constraints: 32652
2394.08/2400.80 c #Conflicts: 1334000 | #Constraints: 33652
2394.08/2400.80 c #Conflicts: 1335000 | #Constraints: 34652
2394.08/2400.80 c #Conflicts: 1336000 | #Constraints: 35652
2394.08/2400.80 c #Conflicts: 1337000 | #Constraints: 36652
2394.08/2400.80 c #Conflicts: 1338000 | #Constraints: 37652
2394.08/2400.80 c #Conflicts: 1339000 | #Constraints: 38652
2394.08/2400.80 c #Conflicts: 1340000 | #Constraints: 39652
2394.08/2400.80 c #Conflicts: 1341000 | #Constraints: 40652
2394.08/2400.80 c #Conflicts: 1342000 | #Constraints: 41652
2394.08/2400.80 c #Conflicts: 1343000 | #Constraints: 42652
2394.08/2400.80 c #Conflicts: 1344000 | #Constraints: 43652
2394.08/2400.80 c #Conflicts: 1345000 | #Constraints: 44652
2394.08/2400.80 c #Conflicts: 1346000 | #Constraints: 45652
2394.08/2400.80 c #Conflicts: 1347000 | #Constraints: 46652
2394.08/2400.80 c #Conflicts: 1348000 | #Constraints: 47652
2394.08/2400.80 c INPROCESSING
2394.08/2400.80 c GARBAGE COLLECT
2394.08/2400.80 c #Conflicts: 1349000 | #Constraints: 25650
2394.08/2400.80 c #Conflicts: 1350000 | #Constraints: 26650
2593.90/2601.11 c #Conflicts: 1351000 | #Constraints: 27650
2593.90/2601.11 c #Conflicts: 1352000 | #Constraints: 28650
2593.90/2601.11 c #Conflicts: 1353000 | #Constraints: 29650
2593.90/2601.11 c #Conflicts: 1354000 | #Constraints: 30650
2593.90/2601.11 c #Conflicts: 1355000 | #Constraints: 31650
2593.90/2601.11 c #Conflicts: 1356000 | #Constraints: 32650
2593.90/2601.11 c #Conflicts: 1357000 | #Constraints: 33650
2593.90/2601.11 c #Conflicts: 1358000 | #Constraints: 34650
2593.90/2601.11 c #Conflicts: 1359000 | #Constraints: 35650
2593.90/2601.11 c #Conflicts: 1360000 | #Constraints: 36650
2593.90/2601.11 c #Conflicts: 1361000 | #Constraints: 37650
2593.90/2601.11 c #Conflicts: 1362000 | #Constraints: 38650
2593.90/2601.11 c #Conflicts: 1363000 | #Constraints: 39650
2593.90/2601.11 c #Conflicts: 1364000 | #Constraints: 40650
2593.90/2601.11 c #Conflicts: 1365000 | #Constraints: 41650
2593.90/2601.11 c #Conflicts: 1366000 | #Constraints: 42650
2593.90/2601.11 c #Conflicts: 1367000 | #Constraints: 43650
2593.90/2601.11 c #Conflicts: 1368000 | #Constraints: 44650
2593.90/2601.11 c #Conflicts: 1369000 | #Constraints: 45650
2593.90/2601.11 c #Conflicts: 1370000 | #Constraints: 46650
2593.90/2601.11 c #Conflicts: 1371000 | #Constraints: 47650
2593.90/2601.11 c INPROCESSING
2593.90/2601.11 c GARBAGE COLLECT
2593.90/2601.11 c #Conflicts: 1372000 | #Constraints: 25470
2593.90/2601.11 c #Conflicts: 1373000 | #Constraints: 26470
2593.90/2601.11 c #Conflicts: 1374000 | #Constraints: 27470
2593.90/2601.11 c #Conflicts: 1375000 | #Constraints: 28470
2593.90/2601.11 c #Conflicts: 1376000 | #Constraints: 29470
2593.90/2601.11 c #Conflicts: 1377000 | #Constraints: 30470
2593.90/2601.11 c #Conflicts: 1378000 | #Constraints: 31470
2593.90/2601.11 c #Conflicts: 1379000 | #Constraints: 32470
2593.90/2601.11 c #Conflicts: 1380000 | #Constraints: 33470
2593.90/2601.11 c #Conflicts: 1381000 | #Constraints: 34470
2593.90/2601.11 c #Conflicts: 1382000 | #Constraints: 35470
2593.90/2601.11 c #Conflicts: 1383000 | #Constraints: 36470
2593.90/2601.11 c #Conflicts: 1384000 | #Constraints: 37470
2593.90/2601.11 c #Conflicts: 1385000 | #Constraints: 38470
2593.90/2601.11 c #Conflicts: 1386000 | #Constraints: 39470
2593.90/2601.11 c #Conflicts: 1387000 | #Constraints: 40470
2593.90/2601.11 c #Conflicts: 1388000 | #Constraints: 41470
2593.90/2601.11 c #Conflicts: 1389000 | #Constraints: 42470
2593.90/2601.11 c #Conflicts: 1390000 | #Constraints: 43470
2593.90/2601.11 c #Conflicts: 1391000 | #Constraints: 44470
2593.90/2601.11 c #Conflicts: 1392000 | #Constraints: 45470
2593.90/2601.11 c #Conflicts: 1393000 | #Constraints: 46470
2593.90/2601.11 c #Conflicts: 1394000 | #Constraints: 47470
2593.90/2601.11 c #Conflicts: 1395000 | #Constraints: 48470
2593.90/2601.11 c INPROCESSING
2593.90/2601.11 c GARBAGE COLLECT
2593.90/2601.11 c #Conflicts: 1396000 | #Constraints: 26059
2593.90/2601.11 c #Conflicts: 1397000 | #Constraints: 27059
2593.90/2601.11 c #Conflicts: 1398000 | #Constraints: 28059
2593.90/2601.11 c #Conflicts: 1399000 | #Constraints: 29059
2593.90/2601.11 c #Conflicts: 1400000 | #Constraints: 30059
2593.90/2601.11 c #Conflicts: 1401000 | #Constraints: 31059
2593.90/2601.11 c #Conflicts: 1402000 | #Constraints: 32059
2593.90/2601.11 c #Conflicts: 1403000 | #Constraints: 33059
2593.90/2601.11 c #Conflicts: 1404000 | #Constraints: 34059
2593.90/2601.11 c #Conflicts: 1405000 | #Constraints: 35059
2593.90/2601.11 c #Conflicts: 1406000 | #Constraints: 36059
2593.90/2601.11 c #Conflicts: 1407000 | #Constraints: 37059
2593.90/2601.11 c #Conflicts: 1408000 | #Constraints: 38059
2593.90/2601.11 c #Conflicts: 1409000 | #Constraints: 39059
2593.90/2601.11 c #Conflicts: 1410000 | #Constraints: 40059
2593.90/2601.11 c #Conflicts: 1411000 | #Constraints: 41059
2593.90/2601.11 c #Conflicts: 1412000 | #Constraints: 42059
2593.90/2601.11 c #Conflicts: 1413000 | #Constraints: 43059
2593.90/2601.11 c #Conflicts: 1414000 | #Constraints: 44059
2593.90/2601.11 c #Conflicts: 1415000 | #Constraints: 45059
2593.90/2601.11 c #Conflicts: 1416000 | #Constraints: 46059
2593.90/2601.11 c #Conflicts: 1417000 | #Constraints: 47059
2593.90/2601.11 c #Conflicts: 1418000 | #Constraints: 48059
2593.90/2601.11 c #Conflicts: 1419000 | #Constraints: 49059
2593.90/2601.11 c INPROCESSING
2593.90/2601.11 c GARBAGE COLLECT
2593.90/2601.11 c #Conflicts: 1420000 | #Constraints: 26460
2593.90/2601.11 c #Conflicts: 1421000 | #Constraints: 27460
2593.90/2601.11 c #Conflicts: 1422000 | #Constraints: 28460
2593.90/2601.11 c #Conflicts: 1423000 | #Constraints: 29460
2593.90/2601.11 c #Conflicts: 1424000 | #Constraints: 30460
2593.90/2601.11 c #Conflicts: 1425000 | #Constraints: 31460
2593.90/2601.11 c #Conflicts: 1426000 | #Constraints: 32460
2593.90/2601.11 c #Conflicts: 1427000 | #Constraints: 33460
2811.80/2819.56 c #Conflicts: 1428000 | #Constraints: 34460
2811.80/2819.56 c #Conflicts: 1429000 | #Constraints: 35460
2811.80/2819.56 c #Conflicts: 1430000 | #Constraints: 36460
2811.80/2819.56 c #Conflicts: 1431000 | #Constraints: 37460
2811.80/2819.56 c #Conflicts: 1432000 | #Constraints: 38460
2811.80/2819.56 c #Conflicts: 1433000 | #Constraints: 39460
2811.80/2819.56 c #Conflicts: 1434000 | #Constraints: 40460
2811.80/2819.56 c #Conflicts: 1435000 | #Constraints: 41460
2811.80/2819.56 c #Conflicts: 1436000 | #Constraints: 42460
2811.80/2819.56 c #Conflicts: 1437000 | #Constraints: 43460
2811.80/2819.56 c #Conflicts: 1438000 | #Constraints: 44460
2811.80/2819.56 c #Conflicts: 1439000 | #Constraints: 45460
2811.80/2819.56 c #Conflicts: 1440000 | #Constraints: 46460
2811.80/2819.56 c #Conflicts: 1441000 | #Constraints: 47460
2811.80/2819.56 c #Conflicts: 1442000 | #Constraints: 48460
2811.80/2819.56 c #Conflicts: 1443000 | #Constraints: 49460
2811.80/2819.56 c INPROCESSING
2811.80/2819.56 c GARBAGE COLLECT
2811.80/2819.56 c #Conflicts: 1444000 | #Constraints: 26659
2811.80/2819.56 c #Conflicts: 1445000 | #Constraints: 27659
2811.80/2819.56 c #Conflicts: 1446000 | #Constraints: 28659
2811.80/2819.56 c #Conflicts: 1447000 | #Constraints: 29659
2811.80/2819.56 c #Conflicts: 1448000 | #Constraints: 30659
2811.80/2819.56 c #Conflicts: 1449000 | #Constraints: 31659
2811.80/2819.56 c #Conflicts: 1450000 | #Constraints: 32659
2811.80/2819.56 c #Conflicts: 1451000 | #Constraints: 33659
2811.80/2819.56 c #Conflicts: 1452000 | #Constraints: 34659
2811.80/2819.56 c #Conflicts: 1453000 | #Constraints: 35659
2811.80/2819.56 c #Conflicts: 1454000 | #Constraints: 36659
2811.80/2819.56 c #Conflicts: 1455000 | #Constraints: 37659
2811.80/2819.56 c #Conflicts: 1456000 | #Constraints: 38659
2811.80/2819.56 c #Conflicts: 1457000 | #Constraints: 39659
2811.80/2819.56 c #Conflicts: 1458000 | #Constraints: 40659
2811.80/2819.56 c #Conflicts: 1459000 | #Constraints: 41659
2811.80/2819.56 c #Conflicts: 1460000 | #Constraints: 42659
2811.80/2819.56 c #Conflicts: 1461000 | #Constraints: 43659
2811.80/2819.56 c #Conflicts: 1462000 | #Constraints: 44659
2811.80/2819.56 c #Conflicts: 1463000 | #Constraints: 45659
2811.80/2819.56 c #Conflicts: 1464000 | #Constraints: 46659
2811.80/2819.56 c #Conflicts: 1465000 | #Constraints: 47659
2811.80/2819.56 c #Conflicts: 1466000 | #Constraints: 48659
2811.80/2819.56 c #Conflicts: 1467000 | #Constraints: 49659
2811.80/2819.56 c INPROCESSING
2811.80/2819.56 c GARBAGE COLLECT
2811.80/2819.56 c #Conflicts: 1468000 | #Constraints: 26662
2811.80/2819.56 c #Conflicts: 1469000 | #Constraints: 27662
2811.80/2819.56 c #Conflicts: 1470000 | #Constraints: 28662
2811.80/2819.56 c #Conflicts: 1471000 | #Constraints: 29662
2811.80/2819.56 c #Conflicts: 1472000 | #Constraints: 30662
2811.80/2819.56 c #Conflicts: 1473000 | #Constraints: 31662
2811.80/2819.56 c #Conflicts: 1474000 | #Constraints: 32662
2811.80/2819.56 c #Conflicts: 1475000 | #Constraints: 33662
2811.80/2819.56 c #Conflicts: 1476000 | #Constraints: 34662
2811.80/2819.56 c #Conflicts: 1477000 | #Constraints: 35662
2811.80/2819.56 c #Conflicts: 1478000 | #Constraints: 36662
2811.80/2819.56 c #Conflicts: 1479000 | #Constraints: 37662
2811.80/2819.56 c #Conflicts: 1480000 | #Constraints: 38662
2811.80/2819.56 c #Conflicts: 1481000 | #Constraints: 39662
2811.80/2819.56 c #Conflicts: 1482000 | #Constraints: 40662
2811.80/2819.56 c #Conflicts: 1483000 | #Constraints: 41662
2811.80/2819.56 c #Conflicts: 1484000 | #Constraints: 42662
2811.80/2819.56 c #Conflicts: 1485000 | #Constraints: 43662
2811.80/2819.56 c #Conflicts: 1486000 | #Constraints: 44662
2811.80/2819.56 c #Conflicts: 1487000 | #Constraints: 45662
2811.80/2819.56 c #Conflicts: 1488000 | #Constraints: 46662
2811.80/2819.56 c #Conflicts: 1489000 | #Constraints: 47662
2811.80/2819.56 c #Conflicts: 1490000 | #Constraints: 48662
2811.80/2819.56 c #Conflicts: 1491000 | #Constraints: 49662
2811.80/2819.56 c INPROCESSING
2811.80/2819.56 c GARBAGE COLLECT
2811.80/2819.56 c #Conflicts: 1492000 | #Constraints: 26461
2811.80/2819.56 c #Conflicts: 1493000 | #Constraints: 27461
2811.80/2819.56 c #Conflicts: 1494000 | #Constraints: 28461
2811.80/2819.56 c #Conflicts: 1495000 | #Constraints: 29461
2811.80/2819.56 c #Conflicts: 1496000 | #Constraints: 30461
2811.80/2819.56 c #Conflicts: 1497000 | #Constraints: 31461
2811.80/2819.56 c #Conflicts: 1498000 | #Constraints: 32461
2811.80/2819.56 c #Conflicts: 1499000 | #Constraints: 33461
2811.80/2819.56 c #Conflicts: 1500000 | #Constraints: 34461
2811.80/2819.56 c #Conflicts: 1501000 | #Constraints: 35461
2811.80/2819.56 c #Conflicts: 1502000 | #Constraints: 36461
2811.80/2819.56 c #Conflicts: 1503000 | #Constraints: 37461
2811.80/2819.56 c #Conflicts: 1504000 | #Constraints: 38461
3034.02/3042.20 c #Conflicts: 1505000 | #Constraints: 39461
3034.02/3042.20 c #Conflicts: 1506000 | #Constraints: 40461
3034.02/3042.20 c #Conflicts: 1507000 | #Constraints: 41461
3034.02/3042.20 c #Conflicts: 1508000 | #Constraints: 42461
3034.02/3042.20 c #Conflicts: 1509000 | #Constraints: 43461
3034.02/3042.20 c #Conflicts: 1510000 | #Constraints: 44461
3034.02/3042.20 c #Conflicts: 1511000 | #Constraints: 45461
3034.02/3042.20 c #Conflicts: 1512000 | #Constraints: 46461
3034.02/3042.20 c #Conflicts: 1513000 | #Constraints: 47461
3034.02/3042.20 c #Conflicts: 1514000 | #Constraints: 48461
3034.02/3042.20 c #Conflicts: 1515000 | #Constraints: 49461
3034.02/3042.20 c #Conflicts: 1516000 | #Constraints: 50461
3034.02/3042.20 c INPROCESSING
3034.02/3042.20 c GARBAGE COLLECT
3034.02/3042.20 c #Conflicts: 1517000 | #Constraints: 27048
3034.02/3042.20 c #Conflicts: 1518000 | #Constraints: 28048
3034.02/3042.20 c #Conflicts: 1519000 | #Constraints: 29048
3034.02/3042.20 c #Conflicts: 1520000 | #Constraints: 30048
3034.02/3042.20 c #Conflicts: 1521000 | #Constraints: 31048
3034.02/3042.20 c #Conflicts: 1522000 | #Constraints: 32048
3034.02/3042.20 c #Conflicts: 1523000 | #Constraints: 33048
3034.02/3042.20 c #Conflicts: 1524000 | #Constraints: 34048
3034.02/3042.20 c #Conflicts: 1525000 | #Constraints: 35048
3034.02/3042.20 c #Conflicts: 1526000 | #Constraints: 36048
3034.02/3042.20 c #Conflicts: 1527000 | #Constraints: 37048
3034.02/3042.20 c #Conflicts: 1528000 | #Constraints: 38048
3034.02/3042.20 c #Conflicts: 1529000 | #Constraints: 39048
3034.02/3042.20 c #Conflicts: 1530000 | #Constraints: 40048
3034.02/3042.20 c #Conflicts: 1531000 | #Constraints: 41048
3034.02/3042.20 c #Conflicts: 1532000 | #Constraints: 42048
3034.02/3042.20 c #Conflicts: 1533000 | #Constraints: 43048
3034.02/3042.20 c #Conflicts: 1534000 | #Constraints: 44048
3034.02/3042.20 c #Conflicts: 1535000 | #Constraints: 45048
3034.02/3042.20 c #Conflicts: 1536000 | #Constraints: 46048
3034.02/3042.20 c #Conflicts: 1537000 | #Constraints: 47048
3034.02/3042.20 c #Conflicts: 1538000 | #Constraints: 48048
3034.02/3042.20 c #Conflicts: 1539000 | #Constraints: 49048
3034.02/3042.20 c #Conflicts: 1540000 | #Constraints: 50048
3034.02/3042.20 c #Conflicts: 1541000 | #Constraints: 51048
3034.02/3042.20 c INPROCESSING
3034.02/3042.20 c GARBAGE COLLECT
3034.02/3042.20 c #Conflicts: 1542000 | #Constraints: 27458
3034.02/3042.20 c #Conflicts: 1543000 | #Constraints: 28458
3034.02/3042.20 c #Conflicts: 1544000 | #Constraints: 29458
3034.02/3042.20 c #Conflicts: 1545000 | #Constraints: 30458
3034.02/3042.20 c #Conflicts: 1546000 | #Constraints: 31458
3034.02/3042.20 c #Conflicts: 1547000 | #Constraints: 32458
3034.02/3042.20 c #Conflicts: 1548000 | #Constraints: 33458
3034.02/3042.20 c #Conflicts: 1549000 | #Constraints: 34458
3034.02/3042.20 c #Conflicts: 1550000 | #Constraints: 35458
3034.02/3042.20 c #Conflicts: 1551000 | #Constraints: 36458
3034.02/3042.20 c #Conflicts: 1552000 | #Constraints: 37458
3034.02/3042.20 c #Conflicts: 1553000 | #Constraints: 38458
3034.02/3042.20 c #Conflicts: 1554000 | #Constraints: 39458
3034.02/3042.20 c #Conflicts: 1555000 | #Constraints: 40458
3034.02/3042.20 c #Conflicts: 1556000 | #Constraints: 41458
3034.02/3042.20 c #Conflicts: 1557000 | #Constraints: 42458
3034.02/3042.20 c #Conflicts: 1558000 | #Constraints: 43458
3034.02/3042.20 c #Conflicts: 1559000 | #Constraints: 44458
3034.02/3042.20 c #Conflicts: 1560000 | #Constraints: 45458
3034.02/3042.20 c #Conflicts: 1561000 | #Constraints: 46458
3034.02/3042.20 c #Conflicts: 1562000 | #Constraints: 47458
3034.02/3042.20 c #Conflicts: 1563000 | #Constraints: 48458
3034.02/3042.20 c #Conflicts: 1564000 | #Constraints: 49458
3034.02/3042.20 c #Conflicts: 1565000 | #Constraints: 50458
3034.02/3042.20 c #Conflicts: 1566000 | #Constraints: 51458
3034.02/3042.20 c INPROCESSING
3034.02/3042.20 c GARBAGE COLLECT
3034.02/3042.20 c #Conflicts: 1567000 | #Constraints: 27656
3034.02/3042.20 c #Conflicts: 1568000 | #Constraints: 28656
3034.02/3042.20 c #Conflicts: 1569000 | #Constraints: 29656
3034.02/3042.20 c #Conflicts: 1570000 | #Constraints: 30656
3034.02/3042.20 c #Conflicts: 1571000 | #Constraints: 31656
3034.02/3042.20 c #Conflicts: 1572000 | #Constraints: 32656
3034.02/3042.20 c #Conflicts: 1573000 | #Constraints: 33656
3034.02/3042.20 c #Conflicts: 1574000 | #Constraints: 34656
3034.02/3042.20 c #Conflicts: 1575000 | #Constraints: 35656
3034.02/3042.20 c #Conflicts: 1576000 | #Constraints: 36656
3034.02/3042.20 c #Conflicts: 1577000 | #Constraints: 37656
3034.02/3042.20 c #Conflicts: 1578000 | #Constraints: 38656
3034.02/3042.20 c #Conflicts: 1579000 | #Constraints: 39656
3034.02/3042.20 c #Conflicts: 1580000 | #Constraints: 40656
3034.02/3042.20 c #Conflicts: 1581000 | #Constraints: 41656
3185.28/3193.88 c #Conflicts: 1582000 | #Constraints: 42656
3185.28/3193.88 c #Conflicts: 1583000 | #Constraints: 43656
3185.28/3193.88 c #Conflicts: 1584000 | #Constraints: 44656
3185.28/3193.88 c #Conflicts: 1585000 | #Constraints: 45656
3185.28/3193.88 c #Conflicts: 1586000 | #Constraints: 46656
3185.28/3193.88 c #Conflicts: 1587000 | #Constraints: 47656
3185.28/3193.88 c #Conflicts: 1588000 | #Constraints: 48656
3185.28/3193.88 c #Conflicts: 1589000 | #Constraints: 49656
3185.28/3193.88 c #Conflicts: 1590000 | #Constraints: 50656
3185.28/3193.88 c #Conflicts: 1591000 | #Constraints: 51656
3185.28/3193.88 c INPROCESSING
3185.28/3193.88 c GARBAGE COLLECT
3185.28/3193.88 c #Conflicts: 1592000 | #Constraints: 27655
3185.28/3193.88 c #Conflicts: 1593000 | #Constraints: 28655
3185.28/3193.88 c #Conflicts: 1594000 | #Constraints: 29655
3185.28/3193.88 c #Conflicts: 1595000 | #Constraints: 30655
3185.28/3193.88 c #Conflicts: 1596000 | #Constraints: 31655
3185.28/3193.88 c #Conflicts: 1597000 | #Constraints: 32655
3185.28/3193.88 c #Conflicts: 1598000 | #Constraints: 33655
3185.28/3193.88 c #Conflicts: 1599000 | #Constraints: 34655
3185.28/3193.88 c #Conflicts: 1600000 | #Constraints: 35655
3185.28/3193.88 c #Conflicts: 1601000 | #Constraints: 36655
3185.28/3193.88 c #Conflicts: 1602000 | #Constraints: 37655
3185.28/3193.88 c #Conflicts: 1603000 | #Constraints: 38655
3185.28/3193.88 c #Conflicts: 1604000 | #Constraints: 39655
3185.28/3193.88 c #Conflicts: 1605000 | #Constraints: 40655
3185.28/3193.88 c #Conflicts: 1606000 | #Constraints: 41655
3185.28/3193.88 c #Conflicts: 1607000 | #Constraints: 42655
3185.28/3193.88 c #Conflicts: 1608000 | #Constraints: 43655
3185.28/3193.88 c #Conflicts: 1609000 | #Constraints: 44655
3185.28/3193.88 c #Conflicts: 1610000 | #Constraints: 45655
3185.28/3193.88 c #Conflicts: 1611000 | #Constraints: 46655
3185.28/3193.88 c #Conflicts: 1612000 | #Constraints: 47655
3185.28/3193.88 c #Conflicts: 1613000 | #Constraints: 48655
3185.28/3193.88 c #Conflicts: 1614000 | #Constraints: 49655
3185.28/3193.88 c #Conflicts: 1615000 | #Constraints: 50655
3185.28/3193.88 c #Conflicts: 1616000 | #Constraints: 51655
3185.28/3193.88 c INPROCESSING
3185.28/3193.88 c GARBAGE COLLECT
3185.28/3193.88 c #Conflicts: 1617000 | #Constraints: 27449
3185.28/3193.88 c #Conflicts: 1618000 | #Constraints: 28449
3185.28/3193.88 c #Conflicts: 1619000 | #Constraints: 29449
3185.28/3193.88 c #Conflicts: 1620000 | #Constraints: 30449
3185.28/3193.88 c #Conflicts: 1621000 | #Constraints: 31449
3185.28/3193.88 c #Conflicts: 1622000 | #Constraints: 32449
3185.28/3193.88 c #Conflicts: 1623000 | #Constraints: 33449
3185.28/3193.88 c #Conflicts: 1624000 | #Constraints: 34449
3185.28/3193.88 c #Conflicts: 1625000 | #Constraints: 35449
3185.28/3193.88 c #Conflicts: 1626000 | #Constraints: 36449
3185.28/3193.88 c #Conflicts: 1627000 | #Constraints: 37449
3185.28/3193.88 c #Conflicts: 1628000 | #Constraints: 38449
3185.28/3193.88 c #Conflicts: 1629000 | #Constraints: 39449
3185.28/3193.88 c #Conflicts: 1630000 | #Constraints: 40449
3185.28/3193.88 c #Conflicts: 1631000 | #Constraints: 41449
3185.28/3193.88 c GLOBAL bounds - >= 1825130206476 @ 3147.61
3185.38/3193.91 c GLOBAL bounds - >= 1825130206476 @ 3147.64
3185.38/3193.94 c GLOBAL bounds - >= 1825130206476 @ 3147.67
3185.38/3193.95 c GLOBAL bounds - >= 1825130206476 @ 3147.67
3185.38/3193.98 c GLOBAL bounds - >= 1825130206476 @ 3147.69
3185.38/3193.98 c GLOBAL bounds - >= 1825130206476 @ 3147.7
3185.48/3194.02 c GLOBAL bounds - >= 1825130206476 @ 3147.72
3185.48/3194.03 c GLOBAL bounds - >= 1825130206476 @ 3147.73
3185.48/3194.07 c GLOBAL bounds - >= 1825130206476 @ 3147.75
3185.48/3194.07 c GLOBAL bounds - >= 1825130206476 @ 3147.75
3185.58/3194.11 c GLOBAL bounds - >= 1825130206476 @ 3147.78
3185.58/3194.11 c GLOBAL bounds - >= 1825130206476 @ 3147.78
3185.58/3194.15 c GLOBAL bounds - >= 1825130206476 @ 3147.81
3185.58/3194.16 c GLOBAL bounds - >= 1825130206476 @ 3147.81
3185.68/3194.20 c GLOBAL bounds - >= 1825130206476 @ 3147.83
3185.68/3194.20 c GLOBAL bounds - >= 1825130206476 @ 3147.83
3185.68/3194.24 c GLOBAL bounds - >= 1825130206476 @ 3147.86
3185.68/3194.25 c GLOBAL bounds - >= 1825130206476 @ 3147.86
3185.68/3194.29 c GLOBAL bounds - >= 1825130206476 @ 3147.89
3185.68/3194.29 c GLOBAL bounds - >= 1825130206476 @ 3147.89
3185.78/3194.33 c GLOBAL bounds - >= 1825130206476 @ 3147.92
3185.78/3194.38 c GLOBAL bounds - >= 1825130206476 @ 3147.95
3185.88/3194.42 c GLOBAL bounds - >= 1825130206476 @ 3147.98
3185.88/3194.45 c GLOBAL bounds - >= 1825130206476 @ 3148
3299.42/3308.21 c #Conflicts: 1632000 | #Constraints: 42482
3299.42/3308.21 c #Conflicts: 1633000 | #Constraints: 43482
3299.42/3308.21 c #Conflicts: 1634000 | #Constraints: 44482
3299.42/3308.21 c #Conflicts: 1635000 | #Constraints: 45482
3299.42/3308.21 c #Conflicts: 1636000 | #Constraints: 46482
3299.42/3308.21 c #Conflicts: 1637000 | #Constraints: 47482
3299.42/3308.21 c #Conflicts: 1638000 | #Constraints: 48482
3299.42/3308.21 c #Conflicts: 1639000 | #Constraints: 49482
3299.42/3308.21 c #Conflicts: 1640000 | #Constraints: 50482
3299.42/3308.21 c #Conflicts: 1641000 | #Constraints: 51482
3299.42/3308.21 c #Conflicts: 1642000 | #Constraints: 52482
3299.42/3308.21 c INPROCESSING
3299.42/3308.21 c GARBAGE COLLECT
3299.42/3308.21 c #Conflicts: 1643000 | #Constraints: 28084
3299.42/3308.21 c #Conflicts: 1644000 | #Constraints: 29084
3299.42/3308.21 c #Conflicts: 1645000 | #Constraints: 30084
3299.42/3308.21 c #Conflicts: 1646000 | #Constraints: 31084
3299.42/3308.21 c #Conflicts: 1647000 | #Constraints: 32084
3299.42/3308.21 c #Conflicts: 1648000 | #Constraints: 33084
3299.42/3308.21 c #Conflicts: 1649000 | #Constraints: 34084
3299.42/3308.21 c #Conflicts: 1650000 | #Constraints: 35084
3299.42/3308.21 c #Conflicts: 1651000 | #Constraints: 36084
3299.42/3308.21 c #Conflicts: 1652000 | #Constraints: 37084
3299.42/3308.21 c #Conflicts: 1653000 | #Constraints: 38084
3299.42/3308.21 c #Conflicts: 1654000 | #Constraints: 39084
3299.42/3308.21 c #Conflicts: 1655000 | #Constraints: 40084
3299.42/3308.21 c #Conflicts: 1656000 | #Constraints: 41084
3299.42/3308.21 c #Conflicts: 1657000 | #Constraints: 42084
3299.42/3308.21 c #Conflicts: 1658000 | #Constraints: 43084
3299.42/3308.21 c #Conflicts: 1659000 | #Constraints: 44084
3299.42/3308.21 c #Conflicts: 1660000 | #Constraints: 45084
3299.42/3308.21 c #Conflicts: 1661000 | #Constraints: 46084
3299.42/3308.21 c #Conflicts: 1662000 | #Constraints: 47084
3299.42/3308.21 c #Conflicts: 1663000 | #Constraints: 48084
3299.42/3308.21 c #Conflicts: 1664000 | #Constraints: 49084
3299.42/3308.21 c #Conflicts: 1665000 | #Constraints: 50084
3299.42/3308.21 c #Conflicts: 1666000 | #Constraints: 51084
3299.42/3308.21 c #Conflicts: 1667000 | #Constraints: 52084
3299.42/3308.21 c #Conflicts: 1668000 | #Constraints: 53084
3299.42/3308.21 c INPROCESSING
3299.42/3308.21 c GARBAGE COLLECT
3299.42/3308.21 c #Conflicts: 1669000 | #Constraints: 28478
3299.42/3308.21 c #Conflicts: 1670000 | #Constraints: 29478
3299.42/3308.21 c #Conflicts: 1671000 | #Constraints: 30478
3299.42/3308.21 c #Conflicts: 1672000 | #Constraints: 31478
3299.42/3308.21 c #Conflicts: 1673000 | #Constraints: 32478
3299.42/3308.21 c #Conflicts: 1674000 | #Constraints: 33478
3299.42/3308.21 c #Conflicts: 1675000 | #Constraints: 34478
3299.42/3308.21 c #Conflicts: 1676000 | #Constraints: 35478
3299.42/3308.21 c #Conflicts: 1677000 | #Constraints: 36478
3299.42/3308.21 c #Conflicts: 1678000 | #Constraints: 37478
3299.42/3308.21 c #Conflicts: 1679000 | #Constraints: 38478
3299.42/3308.21 c #Conflicts: 1680000 | #Constraints: 39478
3299.42/3308.21 c #Conflicts: 1681000 | #Constraints: 40478
3299.42/3308.21 c #Conflicts: 1682000 | #Constraints: 41478
3299.42/3308.21 c #Conflicts: 1683000 | #Constraints: 42478
3299.42/3308.21 c #Conflicts: 1684000 | #Constraints: 43478
3299.42/3308.21 c #Conflicts: 1685000 | #Constraints: 44478
3299.42/3308.21 c #Conflicts: 1686000 | #Constraints: 45478
3299.42/3308.21 c #Conflicts: 1687000 | #Constraints: 46478
3299.42/3308.21 c #Conflicts: 1688000 | #Constraints: 47478
3299.42/3308.21 c #Conflicts: 1689000 | #Constraints: 48478
3299.42/3308.21 c #Conflicts: 1690000 | #Constraints: 49478
3299.42/3308.21 c #Conflicts: 1691000 | #Constraints: 50478
3299.42/3308.21 c #Conflicts: 1692000 | #Constraints: 51478
3299.42/3308.21 c #Conflicts: 1693000 | #Constraints: 52478
3299.42/3308.21 c #Conflicts: 1694000 | #Constraints: 53478
3299.42/3308.21 c INPROCESSING
3299.42/3308.21 c GARBAGE COLLECT
3299.42/3308.21 c #Conflicts: 1695000 | #Constraints: 28680
3299.42/3308.21 c #Conflicts: 1696000 | #Constraints: 29680
3299.42/3308.21 c #Conflicts: 1697000 | #Constraints: 30680
3299.42/3308.21 c #Conflicts: 1698000 | #Constraints: 31680
3299.42/3308.21 c #Conflicts: 1699000 | #Constraints: 32680
3299.42/3308.21 c #Conflicts: 1700000 | #Constraints: 33680
3299.42/3308.21 c #Conflicts: 1701000 | #Constraints: 34680
3299.42/3308.21 c #Conflicts: 1702000 | #Constraints: 35680
3299.42/3308.21 c #Conflicts: 1703000 | #Constraints: 36680
3299.42/3308.21 c #Conflicts: 1704000 | #Constraints: 37680
3299.42/3308.21 c #Conflicts: 1705000 | #Constraints: 38680
3299.42/3308.21 c #Conflicts: 1706000 | #Constraints: 39680
3299.42/3308.21 c #Conflicts: 1707000 | #Constraints: 40680
3299.42/3308.21 c #Conflicts: 1708000 | #Constraints: 41680
3421.34/3430.42 c #Conflicts: 1709000 | #Constraints: 42680
3421.34/3430.42 c #Conflicts: 1710000 | #Constraints: 43680
3421.34/3430.42 c #Conflicts: 1711000 | #Constraints: 44680
3421.34/3430.42 c #Conflicts: 1712000 | #Constraints: 45680
3421.34/3430.42 c #Conflicts: 1713000 | #Constraints: 46680
3421.34/3430.42 c #Conflicts: 1714000 | #Constraints: 47680
3421.34/3430.42 c #Conflicts: 1715000 | #Constraints: 48680
3421.34/3430.42 c #Conflicts: 1716000 | #Constraints: 49680
3421.34/3430.42 c #Conflicts: 1717000 | #Constraints: 50680
3421.34/3430.42 c #Conflicts: 1718000 | #Constraints: 51680
3421.34/3430.42 c #Conflicts: 1719000 | #Constraints: 52680
3421.34/3430.42 c #Conflicts: 1720000 | #Constraints: 53680
3421.34/3430.42 c INPROCESSING
3421.34/3430.42 c GARBAGE COLLECT
3421.34/3430.42 c #Conflicts: 1721000 | #Constraints: 28673
3421.34/3430.42 c #Conflicts: 1722000 | #Constraints: 29673
3421.34/3430.42 c #Conflicts: 1723000 | #Constraints: 30673
3421.34/3430.42 c #Conflicts: 1724000 | #Constraints: 31673
3421.34/3430.42 c #Conflicts: 1725000 | #Constraints: 32673
3421.34/3430.42 c #Conflicts: 1726000 | #Constraints: 33673
3421.34/3430.42 c #Conflicts: 1727000 | #Constraints: 34673
3421.34/3430.42 c #Conflicts: 1728000 | #Constraints: 35673
3421.34/3430.42 c #Conflicts: 1729000 | #Constraints: 36673
3421.34/3430.42 c #Conflicts: 1730000 | #Constraints: 37673
3421.34/3430.42 c #Conflicts: 1731000 | #Constraints: 38673
3421.34/3430.42 c #Conflicts: 1732000 | #Constraints: 39673
3421.34/3430.42 c #Conflicts: 1733000 | #Constraints: 40673
3421.34/3430.42 c #Conflicts: 1734000 | #Constraints: 41673
3421.34/3430.42 c #Conflicts: 1735000 | #Constraints: 42673
3421.34/3430.42 c #Conflicts: 1736000 | #Constraints: 43673
3421.34/3430.42 c #Conflicts: 1737000 | #Constraints: 44673
3421.34/3430.42 c #Conflicts: 1738000 | #Constraints: 45673
3421.34/3430.42 c #Conflicts: 1739000 | #Constraints: 46673
3421.34/3430.42 c #Conflicts: 1740000 | #Constraints: 47673
3421.34/3430.42 c #Conflicts: 1741000 | #Constraints: 48673
3421.34/3430.42 c #Conflicts: 1742000 | #Constraints: 49673
3421.34/3430.42 c #Conflicts: 1743000 | #Constraints: 50673
3421.34/3430.42 c #Conflicts: 1744000 | #Constraints: 51673
3421.34/3430.42 c #Conflicts: 1745000 | #Constraints: 52673
3421.34/3430.42 c #Conflicts: 1746000 | #Constraints: 53673
3421.34/3430.42 c INPROCESSING
3421.34/3430.42 c GARBAGE COLLECT
3421.34/3430.42 c #Conflicts: 1747000 | #Constraints: 28478
3421.34/3430.42 c #Conflicts: 1748000 | #Constraints: 29478
3421.34/3430.42 c #Conflicts: 1749000 | #Constraints: 30478
3421.34/3430.42 c #Conflicts: 1750000 | #Constraints: 31478
3421.34/3430.42 c #Conflicts: 1751000 | #Constraints: 32478
3421.34/3430.42 c #Conflicts: 1752000 | #Constraints: 33478
3421.34/3430.42 c #Conflicts: 1753000 | #Constraints: 34478
3421.34/3430.42 c #Conflicts: 1754000 | #Constraints: 35478
3421.34/3430.42 c #Conflicts: 1755000 | #Constraints: 36478
3421.34/3430.42 c #Conflicts: 1756000 | #Constraints: 37478
3421.34/3430.42 c #Conflicts: 1757000 | #Constraints: 38478
3421.34/3430.42 c #Conflicts: 1758000 | #Constraints: 39478
3421.34/3430.42 c #Conflicts: 1759000 | #Constraints: 40478
3421.34/3430.42 c #Conflicts: 1760000 | #Constraints: 41478
3421.34/3430.42 c #Conflicts: 1761000 | #Constraints: 42478
3421.34/3430.42 c #Conflicts: 1762000 | #Constraints: 43478
3421.34/3430.42 c #Conflicts: 1763000 | #Constraints: 44478
3421.34/3430.42 c #Conflicts: 1764000 | #Constraints: 45478
3421.34/3430.42 c #Conflicts: 1765000 | #Constraints: 46478
3421.34/3430.42 c #Conflicts: 1766000 | #Constraints: 47478
3421.34/3430.42 c #Conflicts: 1767000 | #Constraints: 48478
3421.34/3430.42 c #Conflicts: 1768000 | #Constraints: 49478
3421.34/3430.42 c #Conflicts: 1769000 | #Constraints: 50478
3421.34/3430.42 c #Conflicts: 1770000 | #Constraints: 51478
3421.34/3430.42 c #Conflicts: 1771000 | #Constraints: 52478
3421.34/3430.42 c #Conflicts: 1772000 | #Constraints: 53478
3421.34/3430.42 c #Conflicts: 1773000 | #Constraints: 54478
3421.34/3430.42 c INPROCESSING
3421.34/3430.42 c GARBAGE COLLECT
3421.34/3430.42 c #Conflicts: 1774000 | #Constraints: 29078
3421.34/3430.42 c #Conflicts: 1775000 | #Constraints: 30078
3421.34/3430.42 c #Conflicts: 1776000 | #Constraints: 31078
3421.34/3430.42 c #Conflicts: 1777000 | #Constraints: 32078
3421.34/3430.42 c #Conflicts: 1778000 | #Constraints: 33078
3421.34/3430.42 c #Conflicts: 1779000 | #Constraints: 34078
3421.34/3430.42 c #Conflicts: 1780000 | #Constraints: 35078
3421.34/3430.42 c #Conflicts: 1781000 | #Constraints: 36078
3421.34/3430.42 c #Conflicts: 1782000 | #Constraints: 37078
3421.34/3430.42 c #Conflicts: 1783000 | #Constraints: 38078
3421.34/3430.42 c #Conflicts: 1784000 | #Constraints: 39078
3421.34/3430.42 c #Conflicts: 1785000 | #Constraints: 40078
3531.89/3541.27 c #Conflicts: 1786000 | #Constraints: 41078
3531.89/3541.27 c #Conflicts: 1787000 | #Constraints: 42078
3531.89/3541.27 c #Conflicts: 1788000 | #Constraints: 43078
3531.89/3541.27 c #Conflicts: 1789000 | #Constraints: 44078
3531.89/3541.27 c #Conflicts: 1790000 | #Constraints: 45078
3531.89/3541.27 c #Conflicts: 1791000 | #Constraints: 46078
3531.89/3541.27 c #Conflicts: 1792000 | #Constraints: 47078
3531.89/3541.27 c #Conflicts: 1793000 | #Constraints: 48078
3531.89/3541.27 c #Conflicts: 1794000 | #Constraints: 49078
3531.89/3541.27 c #Conflicts: 1795000 | #Constraints: 50078
3531.89/3541.27 c #Conflicts: 1796000 | #Constraints: 51078
3531.89/3541.27 c #Conflicts: 1797000 | #Constraints: 52078
3531.89/3541.27 c #Conflicts: 1798000 | #Constraints: 53078
3531.89/3541.27 c #Conflicts: 1799000 | #Constraints: 54078
3531.89/3541.27 c #Conflicts: 1800000 | #Constraints: 55078
3531.89/3541.27 c INPROCESSING
3531.89/3541.27 c GARBAGE COLLECT
3531.89/3541.27 c #Conflicts: 1801000 | #Constraints: 29484
3531.89/3541.27 c #Conflicts: 1802000 | #Constraints: 30484
3531.89/3541.27 c #Conflicts: 1803000 | #Constraints: 31484
3531.89/3541.27 c #Conflicts: 1804000 | #Constraints: 32484
3531.89/3541.27 c #Conflicts: 1805000 | #Constraints: 33484
3531.89/3541.27 c #Conflicts: 1806000 | #Constraints: 34484
3531.89/3541.27 c #Conflicts: 1807000 | #Constraints: 35484
3531.89/3541.27 c #Conflicts: 1808000 | #Constraints: 36484
3531.89/3541.27 c #Conflicts: 1809000 | #Constraints: 37484
3531.89/3541.27 c #Conflicts: 1810000 | #Constraints: 38484
3531.89/3541.27 c #Conflicts: 1811000 | #Constraints: 39484
3531.89/3541.27 c #Conflicts: 1812000 | #Constraints: 40484
3531.89/3541.27 c #Conflicts: 1813000 | #Constraints: 41484
3531.89/3541.27 c #Conflicts: 1814000 | #Constraints: 42484
3531.89/3541.27 c #Conflicts: 1815000 | #Constraints: 43484
3531.89/3541.27 c #Conflicts: 1816000 | #Constraints: 44484
3531.89/3541.27 c #Conflicts: 1817000 | #Constraints: 45484
3531.89/3541.27 c #Conflicts: 1818000 | #Constraints: 46484
3531.89/3541.27 c #Conflicts: 1819000 | #Constraints: 47484
3531.89/3541.27 c #Conflicts: 1820000 | #Constraints: 48484
3531.89/3541.27 c #Conflicts: 1821000 | #Constraints: 49484
3531.89/3541.27 c #Conflicts: 1822000 | #Constraints: 50484
3531.89/3541.27 c #Conflicts: 1823000 | #Constraints: 51484
3531.89/3541.27 c #Conflicts: 1824000 | #Constraints: 52484
3531.89/3541.27 c #Conflicts: 1825000 | #Constraints: 53484
3531.89/3541.27 c #Conflicts: 1826000 | #Constraints: 54484
3531.89/3541.27 c #Conflicts: 1827000 | #Constraints: 55484
3531.89/3541.27 c INPROCESSING
3531.89/3541.27 c GARBAGE COLLECT
3531.89/3541.27 c #Conflicts: 1828000 | #Constraints: 29691
3531.89/3541.27 c #Conflicts: 1829000 | #Constraints: 30691
3531.89/3541.27 c #Conflicts: 1830000 | #Constraints: 31691
3531.89/3541.27 c #Conflicts: 1831000 | #Constraints: 32691
3531.89/3541.27 c #Conflicts: 1832000 | #Constraints: 33691
3531.89/3541.27 c #Conflicts: 1833000 | #Constraints: 34691
3531.89/3541.27 c #Conflicts: 1834000 | #Constraints: 35691
3531.89/3541.27 c #Conflicts: 1835000 | #Constraints: 36691
3531.89/3541.27 c #Conflicts: 1836000 | #Constraints: 37691
3531.89/3541.27 c #Conflicts: 1837000 | #Constraints: 38691
3531.89/3541.27 c #Conflicts: 1838000 | #Constraints: 39691
3531.89/3541.27 c #Conflicts: 1839000 | #Constraints: 40691
3531.89/3541.27 c #Conflicts: 1840000 | #Constraints: 41691
3531.89/3541.27 c #Conflicts: 1841000 | #Constraints: 42691
3531.89/3541.27 c #Conflicts: 1842000 | #Constraints: 43691
3531.89/3541.27 c #Conflicts: 1843000 | #Constraints: 44691
3531.89/3541.27 c #Conflicts: 1844000 | #Constraints: 45691
3531.89/3541.27 c #Conflicts: 1845000 | #Constraints: 46691
3531.89/3541.27 c #Conflicts: 1846000 | #Constraints: 47691
3531.89/3541.27 c #Conflicts: 1847000 | #Constraints: 48691
3531.89/3541.27 c #Conflicts: 1848000 | #Constraints: 49691
3531.89/3541.27 c #Conflicts: 1849000 | #Constraints: 50691
3531.89/3541.27 c #Conflicts: 1850000 | #Constraints: 51691
3531.89/3541.27 c #Conflicts: 1851000 | #Constraints: 52691
3531.89/3541.27 c #Conflicts: 1852000 | #Constraints: 53691
3531.89/3541.27 c #Conflicts: 1853000 | #Constraints: 54691
3531.89/3541.27 c #Conflicts: 1854000 | #Constraints: 55691
3531.89/3541.27 c INPROCESSING
3531.89/3541.27 c GARBAGE COLLECT
3531.89/3541.27 c #Conflicts: 1855000 | #Constraints: 29674
3531.89/3541.27 c #Conflicts: 1856000 | #Constraints: 30674
3531.89/3541.27 c #Conflicts: 1857000 | #Constraints: 31674
3531.89/3541.27 c #Conflicts: 1858000 | #Constraints: 32674
3531.89/3541.27 c #Conflicts: 1859000 | #Constraints: 33674
3531.89/3541.27 c #Conflicts: 1860000 | #Constraints: 34674
3531.89/3541.27 c #Conflicts: 1861000 | #Constraints: 35674
3531.89/3541.27 c #Conflicts: 1862000 | #Constraints: 36674
3600.03/3609.50 c #Conflicts: 1863000 | #Constraints: 37674
3600.03/3609.50 c #Conflicts: 1864000 | #Constraints: 38674
3600.03/3609.50 c #Conflicts: 1865000 | #Constraints: 39674
3600.03/3609.50 c #Conflicts: 1866000 | #Constraints: 40674
3600.03/3609.50 c #Conflicts: 1867000 | #Constraints: 41674
3600.03/3609.50 c #Conflicts: 1868000 | #Constraints: 42674
3600.03/3609.50 c #Conflicts: 1869000 | #Constraints: 43674
3600.03/3609.50 c #Conflicts: 1870000 | #Constraints: 44674
3600.03/3609.50 c #Conflicts: 1871000 | #Constraints: 45674
3600.03/3609.50 c #Conflicts: 1872000 | #Constraints: 46674
3600.03/3609.50 c #Conflicts: 1873000 | #Constraints: 47674
3600.03/3609.50 c #Conflicts: 1874000 | #Constraints: 48674
3600.03/3609.50 c #Conflicts: 1875000 | #Constraints: 49674
3600.03/3609.50 c #Conflicts: 1876000 | #Constraints: 50674
3600.03/3609.50 c #Conflicts: 1877000 | #Constraints: 51674
3600.03/3609.50 c #Conflicts: 1878000 | #Constraints: 52674
3600.03/3609.50 c #Conflicts: 1879000 | #Constraints: 53674
3600.03/3609.50 c #Conflicts: 1880000 | #Constraints: 54674
3600.03/3609.50 c #Conflicts: 1881000 | #Constraints: 55674
3600.03/3609.50 c INPROCESSING
3600.03/3609.50 c GARBAGE COLLECT
3600.03/3609.50 c #Conflicts: 1882000 | #Constraints: 29471
3600.03/3609.50 c #Conflicts: 1883000 | #Constraints: 30471
3600.03/3609.50 c #Conflicts: 1884000 | #Constraints: 31471
3600.03/3609.50 c #Conflicts: 1885000 | #Constraints: 32471
3600.03/3609.50 c #Conflicts: 1886000 | #Constraints: 33471
3600.03/3609.50 c #Conflicts: 1887000 | #Constraints: 34471
3600.03/3609.50 c #Conflicts: 1888000 | #Constraints: 35471
3600.03/3609.50 c #Conflicts: 1889000 | #Constraints: 36471
3600.03/3609.50 c #Conflicts: 1890000 | #Constraints: 37471
3600.03/3609.50 c #Conflicts: 1891000 | #Constraints: 38471
3600.03/3609.50 c #Conflicts: 1892000 | #Constraints: 39471
3600.03/3609.50 c cpu time 3557.95 s
3600.03/3609.50 c deterministic time 5608684 5.61e+06
3600.03/3609.50 c optimization time 3557.11 s
3600.03/3609.50 c total solve time 0.425081 s
3600.03/3609.50 c core-guided solve time 0 s
3600.03/3609.50 c propagation time 0.245085 s
3600.03/3609.50 c conflict analysis time 0.029986 s
3600.03/3609.50 c propagations 524339
3600.03/3609.50 c resolve steps 0
3600.03/3609.50 c decisions 493939
3600.03/3609.50 c conflicts 8
3600.03/3609.50 c restarts 1
3600.03/3609.50 c inprocessing phases 0
3600.03/3609.50 c garbage collections 0 ,( -nan )
3600.03/3609.50 c input clauses 98738 ,( 98.20 )
3600.03/3609.50 c input cardinalities 1561 ,( 1.55 )
3600.03/3609.50 c input general constraints 247 ,( 0.25 )
3600.03/3609.50 c input average constraint length 19.63
3600.03/3609.50 c input average constraint degree 473020426072.97
3600.03/3609.50 c learned clauses 180 ,( 82.57 )
3600.03/3609.50 c learned cardinalities 0 ,( 0.00 )
3600.03/3609.50 c learned general constraints 38 ,( 17.43 )
3600.03/3609.50 c learned average constraint length 3.24
3600.03/3609.50 c learned average constraint degree 1.22
3600.03/3609.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3609.50 c counting CF 32, 64, 128, Arb: 81 , 205 , 0 , 0
3600.03/3609.50 c watched constraints 0 ,( 0.00 )
3600.03/3609.50 c counting constraints 285 ,( 100.00 )
3600.03/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283966 , 12186 , 1240011 ,( 0 , 1240011 )
3600.03/3609.50 c gcd simplifications 0
3600.03/3609.50 c detected cardinalities 0
3600.03/3609.50 c weakened non-implied lits 0
3600.03/3609.50 c weakened non-implying lits 0
3600.03/3609.50 c original variables 21101
3600.03/3609.50 c clausal propagations 273964
3600.03/3609.50 c cardinality propagations 170
3600.03/3609.50 c watched propagations 0
3600.03/3609.50 c counting propagations 20075
3600.03/3609.50 c watch lookups 3070471
3600.03/3609.50 c watch backjump lookups 0
3600.03/3609.50 c watch checks 144223
3600.03/3609.50 c propagation checks 350018
3600.03/3609.50 c constraint additions 5609
3600.03/3609.50 c trail pops 1017084
3600.03/3609.50 c formula constraints 99896
3600.03/3609.50 c learned constraints 218
3600.03/3609.50 c bound constraints 0
3600.03/3609.50 c core-guided constraints 0
3600.03/3609.50 c encountered formula constraints 8
3600.03/3609.50 c encountered learned constraints 0
3600.03/3609.50 c encountered bound constraints 0
3600.03/3609.50 c encountered core-guided constraints 0
3600.03/3609.50 c LP total time 0.203463 s
3600.03/3609.50 c LP solve time 0.16 s
3600.03/3609.50 c LP constraints added 99896
3600.03/3609.50 c LP constraints removed 0
3600.03/3609.50 c LP pivots internal 2000
3600.03/3609.50 c LP pivots root 1000
3600.03/3609.50 c LP calls 2
3600.03/3609.50 c LP optimalities 0
3600.03/3609.50 c LP no pivot count 0
3600.03/3609.50 c LP infeasibilities 0
3600.03/3609.50 c LP valid Farkas constraints 0
3600.03/3609.50 c LP learned Farkas constraints 0
3600.03/3609.50 c LP basis resets 0
3600.03/3609.50 c LP cycling count 0
3600.03/3609.50 c LP singular count 0
3600.03/3609.50 c LP no primal count 0
3600.03/3609.50 c LP no farkas count 0
3600.03/3609.50 c LP other issue count 0
3600.03/3609.50 c LP Gomory cuts 0
3600.03/3609.50 c LP learned cuts 0
3600.03/3609.50 c LP deleted cuts 0
3600.03/3609.50 c LP encountered Gomory constraints 0
3600.03/3609.50 c LP encountered Farkas constraints 0
3600.03/3609.50 c LP encountered learned Farkas constraints 0
3600.03/3609.50 c CG auxiliary variables introduced 228
3600.03/3609.50 c CG solutions found 0
3600.03/3609.50 c CG cores constructed 218
3600.03/3609.50 c CG core cardinality constraints returned 0
3600.03/3609.50 c CG unit cores 0
3600.03/3609.50 c CG single cores 0
3600.03/3609.50 c CG blocks removed during cardinality reduction 0
3600.03/3609.50 c CG first core best 0
3600.03/3609.50 c CG decision core best 0
3600.03/3609.50 c CG core reduction tie 0
3600.03/3609.50 c CG core degree average 0.00
3600.03/3609.50 c CG core slack average 0.00
3600.03/3609.50 c CG core upper bound improvements 0
3600.03/3609.50 c STR number of successful calls 0
3600.03/3609.50 c STR number of unsuccessful calls 0
3600.03/3609.50 c STR number of inconclusive calls 0
3600.03/3609.50 c STR number of successful attempts 0
3600.03/3609.50 c STR number of unsuccessful attempts 0
3600.03/3609.50 c STR number of inconclusive attempts 0
3600.03/3609.50 c STR average degree increase per successful call inf
3600.03/3609.50 c STR average degree increase per successful attempt inf
3600.03/3609.50 c STR total number of conflicts for successful attempts 0
3600.03/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.50 c STR average number of conflicts per successful attempt inf
3600.03/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.50 c AVG.sumWPerc 95.92
3600.03/3609.50 c bigint constraints 205
3600.03/3609.50 s UNKNOWN
3600.03/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62886 MiB free)
memory of node 1: 64507 MiB (57222 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500639-1751423332/watcher-4500639-1751423332 -o /tmp/evaluation-result-4500639-1751423332/solver-4500639-1751423332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751419720-66444 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500639-1751423332.opb PROOFDIR/proof-4500639-1751423332
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=66921, runsolver pid=66918
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.01 1.07 1.08 2/250 66923
/proc/meminfo: memFree=122992604/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=62020 memory=17368 CPUtime=0.08 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 2500 0 0 0 5 3 0 0 20 0 1 0 58011152 63508480 4342 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 15505 4342 1984 1147 0 2932 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66212 KiB
Current children cumulated memory: 20312 KiB
[startup+0.205133 s]*
/proc/loadavg: 1.01 1.07 1.08 2/250 66923
/proc/meminfo: memFree=122992604/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=65184 memory=22488 CPUtime=0.18 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 3269 0 0 0 14 4 0 0 20 0 1 0 58011152 66748416 5622 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 16296 5622 1984 1147 0 3723 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 69376 KiB
Current children cumulated memory: 25432 KiB
[startup+0.30462 s]*
/proc/loadavg: 1.01 1.07 1.08 2/250 66923
/proc/meminfo: memFree=122984792/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=69724 memory=26712 CPUtime=0.27 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 4335 0 0 0 21 6 0 0 20 0 1 0 58011152 71397376 6678 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 17431 6678 1984 1147 0 4858 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 73916 KiB
Current children cumulated memory: 29656 KiB
[startup+0.700219 s]
/proc/loadavg: 1.01 1.07 1.08 2/250 66923
/proc/meminfo: memFree=122897520/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=219688 memory=151284 CPUtime=0.65 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 19344 0 0 0 53 12 0 0 20 0 1 0 58011152 224960512 37821 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 54922 37821 2368 1147 0 42349 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 223880 KiB
Current children cumulated memory: 154228 KiB
[startup+1.50016 s]
/proc/loadavg: 1.01 1.07 1.08 2/250 66923
/proc/meminfo: memFree=122857640/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=222652 memory=154868 CPUtime=1.44 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 20195 0 0 0 96 48 0 0 20 0 1 0 58011152 227995648 38717 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 55663 38717 2400 1147 0 43090 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 226844 KiB
Current children cumulated memory: 157812 KiB
[startup+3.10511 s]
/proc/loadavg: 1.01 1.07 1.08 2/250 66923
/proc/meminfo: memFree=122732632/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=313472 memory=248052 CPUtime=3.04 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 35319 0 0 0 201 103 0 0 20 0 1 0 58011152 320995328 62013 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 78368 62013 2400 1147 0 65795 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 317664 KiB
Current children cumulated memory: 250996 KiB
[startup+6.3002 s]
/proc/loadavg: 1.09 1.09 1.09 2/250 66923
/proc/meminfo: memFree=122619856/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=396596 memory=331196 CPUtime=6.21 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 49478 0 0 0 465 156 0 0 20 0 1 0 58011152 406114304 82799 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 99149 82799 2400 1147 0 86576 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 400788 KiB
Current children cumulated memory: 334140 KiB
[startup+12.7002 s]
/proc/loadavg: 1.08 1.08 1.09 2/250 66923
/proc/meminfo: memFree=122426440/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=542404 memory=456096 CPUtime=12.55 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 74587 0 0 0 1056 199 0 0 20 0 1 0 58011152 555421696 114024 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 135601 114024 2400 1147 0 123028 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 546596 KiB
Current children cumulated memory: 459040 KiB
[startup+25.5002 s]
/proc/loadavg: 1.06 1.08 1.09 2/252 66925
/proc/meminfo: memFree=122099004/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=808048 memory=616732 CPUtime=25.23 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 109655 0 0 0 2270 253 0 0 20 0 1 0 58011152 827441152 154183 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 202012 154183 2400 1147 0 189439 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 812240 KiB
Current children cumulated memory: 619676 KiB
[startup+51.1052 s]
/proc/loadavg: 1.12 1.09 1.09 2/252 66926
/proc/meminfo: memFree=121759992/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=810864 memory=686900 CPUtime=50.61 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 119026 0 0 0 4745 316 0 0 20 0 1 0 58011152 830324736 171725 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 202716 171725 2400 1147 0 190143 0
Current children cumulated CPU time: 50.61 s
Current children cumulated vsize: 815056 KiB
Current children cumulated memory: 689844 KiB
[startup+102.3 s]
/proc/loadavg: 1.12 1.09 1.09 2/252 66928
/proc/meminfo: memFree=120918172/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=1303432 memory=1024344 CPUtime=101.33 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 188097 0 0 0 9664 469 0 0 20 0 1 0 58011152 1334714368 256086 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 325858 256086 2400 1147 0 313285 0
Current children cumulated CPU time: 101.33 s
Current children cumulated vsize: 1307624 KiB
Current children cumulated memory: 1027288 KiB
[startup+162.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/251 66930
/proc/meminfo: memFree=120378448/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=1440556 memory=1108140 CPUtime=161.05 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 199900 0 0 0 15500 605 0 0 20 0 1 0 58011152 1475129344 277035 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 360139 277035 2400 1147 0 347566 0
Current children cumulated CPU time: 161.05 s
Current children cumulated vsize: 1444748 KiB
Current children cumulated memory: 1111084 KiB
[startup+222.3 s]
/proc/loadavg: 1.16 1.10 1.09 2/252 66934
/proc/meminfo: memFree=119824052/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=1446956 memory=1198892 CPUtime=220.9 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 211896 0 0 0 21351 739 0 0 20 0 1 0 58011152 1481682944 299723 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 361739 299723 2400 1147 0 349166 0
################
# More data... #
################
/proc/meminfo: memFree=102754836/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=2955288 memory=2669196 CPUtime=3213.71 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 442632 0 0 0 317556 3815 0 0 20 0 1 0 58011152 3026214912 667299 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 738822 667299 2400 1147 0 726249 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 2959480 KiB
Current children cumulated memory: 2672140 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.09 1.09 2/250 67115
/proc/meminfo: memFree=102450432/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=2959896 memory=2737636 CPUtime=3273.58 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 443639 0 0 0 323488 3870 0 0 20 0 1 0 58011152 3030933504 684409 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 739974 684409 2400 1147 0 727401 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 2964088 KiB
Current children cumulated memory: 2740580 KiB
[startup+3342.3 s]
/proc/loadavg: 1.18 1.12 1.10 2/250 67117
/proc/meminfo: memFree=102165520/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=2963992 memory=2769220 CPUtime=3333.44 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 445421 0 0 0 329416 3928 0 0 20 0 1 0 58011152 3035127808 692305 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 740998 692305 2400 1147 0 728425 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 2968184 KiB
Current children cumulated memory: 2772164 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.11 1.09 2/251 67120
/proc/meminfo: memFree=101056060/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=4595248 memory=3608376 CPUtime=3393.31 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 652660 0 0 0 335323 4008 0 0 20 0 1 0 58011152 4705533952 902094 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 1148812 902094 2400 1147 0 1136239 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 4599440 KiB
Current children cumulated memory: 3611320 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.12 1.09 2/251 67122
/proc/meminfo: memFree=100782840/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=4595248 memory=3621196 CPUtime=3453.17 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 654343 0 0 0 341241 4076 0 0 20 0 1 0 58011152 4705533952 905299 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 1148812 905299 2400 1147 0 1136239 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 4599440 KiB
Current children cumulated memory: 3624140 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.11 1.09 2/252 67132
/proc/meminfo: memFree=100542284/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=4595248 memory=3621196 CPUtime=3513.03 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 655578 0 0 0 347164 4139 0 0 20 0 1 0 58011152 4705533952 905299 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 1148812 905299 2400 1147 0 1136239 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 4599440 KiB
Current children cumulated memory: 3624140 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.12 1.09 2/252 67135
/proc/meminfo: memFree=100179888/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=4607536 memory=3695312 CPUtime=3572.9 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 665988 0 0 0 353102 4188 0 0 20 0 1 0 58011152 4718116864 923828 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 1151884 923828 2400 1147 0 1139311 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 4611728 KiB
Current children cumulated memory: 3698256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 1.10 1.11 1.09 2/254 67139
/proc/meminfo: memFree=99978400/131249996 swapFree=33010684/33010684
[pid=66921] ppid=66918 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66921/stat : 66921 (run-opt-log.sh) S 66918 66921 66405 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 58011151 4292608 736 18446744073709551615 93936141205504 93936142100037 140730049195328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93936142339088 93936142386832 93936152297472 140730049202465 140730049202660 140730049202660 140730049208262 0
/proc/66921/statm: 1048 736 672 219 0 110 0
[pid=66923] ppid=66921 vsize=4607536 memory=3695312 CPUtime=3600.03 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66921 66921 66405 0 -1 4194304 665989 0 0 0 355794 4209 0 0 20 0 1 0 58011152 4718116864 923828 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 1151884 923828 2400 1147 0 1139311 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4611728 KiB
Current children cumulated memory: 3698256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 66921 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002265 s
[startup+3610.63 s]
# the end of solver process 66923 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3557.96 s, system=42.1411 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]*
/proc/loadavg: 1.10 1.11 1.09 1/253 67139
/proc/meminfo: memFree=99975136/131249996 swapFree=33010684/33010684
[pid=66923] ppid=66918 vsize=4607536 memory=3695568 CPUtime=3600.03 cores=5,7
/proc/66923/stat : 66923 (roundingsat) D 66918 66921 66405 0 -1 4194304 665996 0 0 0 355794 4209 0 0 20 0 1 0 58011152 4718116864 923892 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 1151884 923892 2464 1147 0 1139311 0
Current cumulated CPU time of completed processes: 0.002265 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4607536 KiB
Current children cumulated memory: 3695568 KiB
[startup+3610.4 s]
/proc/loadavg: 1.10 1.11 1.09 1/253 67139
/proc/meminfo: memFree=99975360/131249996 swapFree=33010684/33010684
[pid=66923] ppid=66918 vsize=4607536 memory=3695568 CPUtime=3600.03 cores=5,7
/proc/66923/stat : 66923 (roundingsat) D 66918 66921 66405 0 -1 4194304 665996 0 0 0 355794 4209 0 0 20 0 1 0 58011152 4718116864 923892 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 1151884 923892 2464 1147 0 1139311 0
Current cumulated CPU time of completed processes: 0.002265 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4607536 KiB
Current children cumulated memory: 3695568 KiB
[startup+3610.6 s]
/proc/loadavg: 1.10 1.11 1.09 1/253 67139
/proc/meminfo: memFree=99975360/131249996 swapFree=33010684/33010684
[pid=66923] ppid=66918 vsize=4563504 memory=3164180 CPUtime=3600.05 cores=5,7
/proc/66923/stat : 66923 (roundingsat) R 66918 66921 66405 0 -1 4194304 665996 0 0 0 355794 4211 0 0 20 0 1 0 58011152 4673028096 791045 18446744073709551615 4227072 8923433 140727510485600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29700096 140727510493522 140727510493736 140727510493736 140727510499306 0
/proc/66923/statm: 1140876 791045 2464 1147 0 1128303 0
Current cumulated CPU time of completed processes: 0.002265 s
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4563504 KiB
Current children cumulated memory: 3164180 KiB
Child status: 2
Real time (s): 3610.63
CPU time (s): 3600.1
CPU user time (s): 3557.96
CPU system time (s): 42.1411
CPU usage (%): 99.7084
Max. virtual memory (cumulated for all children) (KiB): 4611728
Max. memory (cumulated for all children) (KiB): 3698256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.96
system time used= 42.1411
maximum resident set size= 3695568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 666225
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38703352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1018
involuntary context switches= 6680
# summary of solver processes directly reported to runsolver:
# pid: 66921,66923
# total CPU time (s): 3600.1
# total CPU user time (s): 3557.96
# total CPU system time (s): 42.1411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.4667 second user time and 16.6312 second system time
The end
Begin job on nodeC024 at 2025-07-02 04:28:52
IDJOB=4500639
IDBENCH=150935
IDSOLVER=3351
FILE ID=nodeC024/4500639-1751423332
RUNJOBID= nodeC024-1751419720-66444
SLURM_JOB_ID= 9598342
Free space on /tmp= 432912 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kdessh.cudf.trendy.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500639-1751423332/watcher-4500639-1751423332 -o /tmp/evaluation-result-4500639-1751423332/solver-4500639-1751423332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751419720-66444 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500639-1751423332.opb PROOFDIR/proof-4500639-1751423332
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 56b903d437c3366243c3e03bf85aa66e
RANDOM SEED=1582212698
nodeC024 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 : 1190.500
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3601.511
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 1441.183
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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.951
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 1193.998
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.609
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122992632 kB
MemAvailable: 129740112 kB
Buffers: 3280 kB
Cached: 7515964 kB
SwapCached: 0 kB
Active: 324688 kB
Inactive: 7258732 kB
Active(anon): 82240 kB
Inactive(anon): 0 kB
Active(file): 242448 kB
Inactive(file): 7258732 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10488 kB
Writeback: 0 kB
AnonPages: 67296 kB
Mapped: 103844 kB
Shmem: 18064 kB
KReclaimable: 170676 kB
Slab: 261052 kB
SReclaimable: 170676 kB
SUnreclaim: 90376 kB
KernelStack: 4112 kB
PageTables: 2776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 334660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432904 MiB
End job on nodeC024 at 2025-07-02 05:29:03