0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.39/0.44 c #variables 21101 #constraints 99896
0.39/0.44 c objective is ce64
0.39/0.44 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.39/0.44 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.39/0.44 c GLOBAL bounds - >= 0 @ 0.316355
0.39/0.46 c GLOBAL bounds - >= 0 @ 0.325399
0.39/0.46 c GLOBAL bounds - >= 475379834250 @ 0.325772
0.58/0.69 c GLOBAL bounds - >= 475379834250 @ 0.537091
0.67/0.71 c GLOBAL bounds - >= 475379834250 @ 0.544637
0.67/0.72 c GLOBAL bounds - >= 475379834250 @ 0.545395
0.67/0.73 c GLOBAL bounds - >= 475379834250 @ 0.552795
0.67/0.74 c GLOBAL bounds - >= 475379834250 @ 0.553426
0.67/0.75 c GLOBAL bounds - >= 475379834250 @ 0.561742
0.67/0.76 c GLOBAL bounds - >= 475379834250 @ 0.562363
0.67/0.77 c GLOBAL bounds - >= 475379834250 @ 0.570061
0.67/0.78 c GLOBAL bounds - >= 475379834250 @ 0.570595
0.67/0.79 c GLOBAL bounds - >= 475379834250 @ 0.576155
0.67/0.80 c GLOBAL bounds - >= 475379834250 @ 0.576592
0.77/0.81 c GLOBAL bounds - >= 475379834250 @ 0.579191
0.77/0.82 c GLOBAL bounds - >= 475379834250 @ 0.579725
0.77/0.83 c GLOBAL bounds - >= 475379834250 @ 0.587311
0.77/0.84 c GLOBAL bounds - >= 475379834250 @ 0.587953
0.77/0.86 c GLOBAL bounds - >= 475379834250 @ 0.594796
0.77/0.86 c GLOBAL bounds - >= 475379834250 @ 0.595549
0.77/0.88 c GLOBAL bounds - >= 475379834250 @ 0.603291
0.77/0.88 c GLOBAL bounds - >= 475379834250 @ 0.603629
0.88/0.90 c GLOBAL bounds - >= 475379834250 @ 0.609698
0.88/0.92 c GLOBAL bounds - >= 475379834250 @ 0.61965
0.88/0.93 c GLOBAL bounds - >= 475379834250 @ 0.626916
0.88/0.95 c GLOBAL bounds - >= 475379834250 @ 0.639068
0.88/0.97 c GLOBAL bounds - >= 475379834250 @ 0.648766
0.88/0.99 c GLOBAL bounds - >= 475379834250 @ 0.659464
0.88/1.00 c GLOBAL bounds - >= 713143539475 @ 0.663443
0.98/1.00 c GLOBAL bounds - >= 713143539475 @ 0.668326
0.98/1.00 c GLOBAL bounds - >= 713143539475 @ 0.668483
0.98/1.02 c GLOBAL bounds - >= 713143539475 @ 0.679811
0.98/1.02 c GLOBAL bounds - >= 713143539475 @ 0.680443
0.98/1.04 c GLOBAL bounds - >= 713143539475 @ 0.688355
0.98/1.04 c GLOBAL bounds - >= 713143539475 @ 0.689388
0.98/1.06 c GLOBAL bounds - >= 713143539475 @ 0.698248
0.98/1.06 c GLOBAL bounds - >= 713143539475 @ 0.699016
0.98/1.08 c GLOBAL bounds - >= 713143539475 @ 0.706039
0.98/1.08 c GLOBAL bounds - >= 713143539475 @ 0.706403
1.08/1.10 c GLOBAL bounds - >= 713143539475 @ 0.714431
1.08/1.11 c GLOBAL bounds - >= 713143539475 @ 0.71519
1.08/1.12 c GLOBAL bounds - >= 713143539475 @ 0.726703
1.08/1.13 c GLOBAL bounds - >= 713143539475 @ 0.727411
1.08/1.14 c GLOBAL bounds - >= 713143539475 @ 0.735089
1.08/1.15 c GLOBAL bounds - >= 713143539475 @ 0.735679
1.08/1.17 c GLOBAL bounds - >= 713143539475 @ 0.742852
1.08/1.17 c GLOBAL bounds - >= 713143539475 @ 0.743496
1.08/1.19 c GLOBAL bounds - >= 713143539475 @ 0.754325
1.08/1.19 c GLOBAL bounds - >= 713143539475 @ 0.755094
1.17/1.21 c GLOBAL bounds - >= 713143539475 @ 0.763649
1.17/1.23 c GLOBAL bounds - >= 713143539475 @ 0.775264
1.17/1.24 c GLOBAL bounds - >= 713143539475 @ 0.783247
1.17/1.25 c GLOBAL bounds - >= 713143539475 @ 0.788769
1.17/1.27 c GLOBAL bounds - >= 713143539475 @ 0.792545
1.17/1.28 c GLOBAL bounds - >= 713143539475 @ 0.799213
1.17/1.30 c GLOBAL bounds - >= 713143539475 @ 0.807509
1.27/1.31 c GLOBAL bounds - >= 713143539475 @ 0.811171
1.27/1.32 c GLOBAL bounds - >= 713143539475 @ 0.817857
1.27/1.34 c GLOBAL bounds - >= 713143539475 @ 0.825872
1.27/1.36 c GLOBAL bounds - >= 713143539475 @ 0.840458
1.27/1.38 c GLOBAL bounds - >= 713143539475 @ 0.847081
1.27/1.40 c GLOBAL bounds - >= 713143539475 @ 0.855864
1.37/1.40 c GLOBAL bounds - >= 792336617800 @ 0.857923
1.37/1.40 c GLOBAL bounds - >= 792336617800 @ 0.860932
1.37/1.40 c GLOBAL bounds - >= 792336617800 @ 0.861057
1.37/1.40 c GLOBAL bounds - >= 792336617800 @ 0.861057
1.37/1.42 c GLOBAL bounds - >= 792336617800 @ 0.868043
1.37/1.42 c GLOBAL bounds - >= 792336617800 @ 0.868043
1.37/1.44 c GLOBAL bounds - >= 792336617800 @ 0.874879
1.37/1.44 c GLOBAL bounds - >= 792336617800 @ 0.875736
1.37/1.46 c GLOBAL bounds - >= 792336617800 @ 0.883091
1.37/1.46 c GLOBAL bounds - >= 792336617800 @ 0.883725
1.37/1.48 c GLOBAL bounds - >= 792336617800 @ 0.888365
1.37/1.48 c GLOBAL bounds - >= 792336617800 @ 0.888969
1.47/1.50 c GLOBAL bounds - >= 792336617800 @ 0.896555
1.47/1.50 c GLOBAL bounds - >= 792336617800 @ 0.896987
1.47/1.52 c GLOBAL bounds - >= 792336617800 @ 0.90692
1.47/1.52 c GLOBAL bounds - >= 792336617800 @ 0.907793
1.47/1.54 c GLOBAL bounds - >= 792336617800 @ 0.918674
1.47/1.54 c GLOBAL bounds - >= 792336617800 @ 0.918935
1.47/1.56 c GLOBAL bounds - >= 792336617800 @ 0.926479
1.47/1.57 c GLOBAL bounds - >= 792336617800 @ 0.926915
1.47/1.59 c GLOBAL bounds - >= 792336617800 @ 0.935787
1.47/1.59 c GLOBAL bounds - >= 792336617800 @ 0.935787
1.57/1.61 c GLOBAL bounds - >= 792336617800 @ 0.944339
1.57/1.63 c GLOBAL bounds - >= 792336617800 @ 0.953285
1.57/1.65 c GLOBAL bounds - >= 792336617800 @ 0.966351
1.57/1.66 c GLOBAL bounds - >= 1109330295400 @ 0.977495
1.57/1.68 c GLOBAL bounds - >= 1109330295400 @ 0.996483
1.68/1.70 c GLOBAL bounds - >= 1109330295400 @ 1.0084
1.68/1.71 c GLOBAL bounds - >= 1109330295400 @ 1.00949
1.68/1.73 c GLOBAL bounds - >= 1109330295400 @ 1.01738
1.68/1.73 c GLOBAL bounds - >= 1109330295400 @ 1.01841
1.68/1.75 c GLOBAL bounds - >= 1109330295400 @ 1.02722
1.68/1.75 c GLOBAL bounds - >= 1109330295400 @ 1.02768
1.68/1.77 c GLOBAL bounds - >= 1109330295400 @ 1.03192
1.68/1.77 c GLOBAL bounds - >= 1109330295400 @ 1.03257
1.68/1.79 c GLOBAL bounds - >= 1109330295400 @ 1.04021
1.68/1.79 c GLOBAL bounds - >= 1109330295400 @ 1.04088
1.77/1.81 c GLOBAL bounds - >= 1109330295400 @ 1.0506
1.77/1.81 c GLOBAL bounds - >= 1109330295400 @ 1.05078
1.77/1.83 c GLOBAL bounds - >= 1109330295400 @ 1.05859
1.77/1.83 c GLOBAL bounds - >= 1109330295400 @ 1.05978
1.77/1.85 c GLOBAL bounds - >= 1109330295400 @ 1.07051
1.77/1.85 c GLOBAL bounds - >= 1109330295400 @ 1.07164
1.77/1.87 c GLOBAL bounds - >= 1109330295400 @ 1.07734
1.77/1.87 c GLOBAL bounds - >= 1109330295400 @ 1.07757
1.77/1.89 c GLOBAL bounds - >= 1109330295400 @ 1.09086
1.87/1.93 c GLOBAL bounds - >= 1109330295400 @ 1.12006
1.87/1.99 c GLOBAL bounds - >= 1109330295400 @ 1.15905
1.98/2.04 c GLOBAL bounds - >= 1188689396950 @ 1.21292
1.98/2.05 c GLOBAL bounds - >= 1188689396950 @ 1.2192
1.98/2.05 c GLOBAL bounds - >= 1188689396950 @ 1.2192
1.98/2.05 c GLOBAL bounds - >= 1188689396950 @ 1.21997
1.98/2.07 c GLOBAL bounds - >= 1188689396950 @ 1.22806
1.98/2.07 c GLOBAL bounds - >= 1188689396950 @ 1.22907
1.98/2.09 c GLOBAL bounds - >= 1188689396950 @ 1.23969
1.98/2.09 c GLOBAL bounds - >= 1188689396950 @ 1.24016
2.08/2.11 c GLOBAL bounds - >= 1188689396950 @ 1.24824
2.08/2.11 c GLOBAL bounds - >= 1188689396950 @ 1.24919
2.08/2.13 c GLOBAL bounds - >= 1188689396950 @ 1.25591
2.08/2.13 c GLOBAL bounds - >= 1188689396950 @ 1.25688
2.08/2.15 c GLOBAL bounds - >= 1188689396950 @ 1.26369
2.08/2.15 c GLOBAL bounds - >= 1188689396950 @ 1.2646
2.08/2.17 c GLOBAL bounds - >= 1188689396950 @ 1.27078
2.08/2.18 c GLOBAL bounds - >= 1188689396950 @ 1.2711
2.17/2.20 c GLOBAL bounds - >= 1188689396950 @ 1.28071
2.17/2.20 c GLOBAL bounds - >= 1188689396950 @ 1.28109
2.17/2.22 c GLOBAL bounds - >= 1188689396950 @ 1.28888
2.17/2.22 c GLOBAL bounds - >= 1188689396950 @ 1.28989
2.17/2.24 c GLOBAL bounds - >= 1188689396950 @ 1.29383
2.17/2.24 c GLOBAL bounds - >= 1188689396950 @ 1.29507
2.17/2.26 c GLOBAL bounds - >= 1188689396950 @ 1.30595
2.27/2.33 c GLOBAL bounds - >= 1188689396950 @ 1.35579
2.37/2.44 c GLOBAL bounds - >= 1188689396950 @ 1.45619
2.37/2.49 c GLOBAL bounds - >= 1188689396950 @ 1.48824
2.47/2.53 c GLOBAL bounds - >= 1188689396950 @ 1.51198
2.67/2.78 c GLOBAL bounds - >= 1347241576825 @ 1.74097
2.67/2.79 c GLOBAL bounds - >= 1347241576825 @ 1.75068
2.77/2.81 c GLOBAL bounds - >= 1347241576825 @ 1.75677
2.77/2.81 c GLOBAL bounds - >= 1347241576825 @ 1.75779
2.77/2.83 c GLOBAL bounds - >= 1347241576825 @ 1.76386
2.77/2.83 c GLOBAL bounds - >= 1347241576825 @ 1.76509
2.77/2.85 c GLOBAL bounds - >= 1347241576825 @ 1.77662
2.77/2.85 c GLOBAL bounds - >= 1347241576825 @ 1.7779
2.77/2.87 c GLOBAL bounds - >= 1347241576825 @ 1.78403
2.77/2.87 c GLOBAL bounds - >= 1347241576825 @ 1.78474
2.77/2.89 c GLOBAL bounds - >= 1347241576825 @ 1.7944
2.77/2.89 c GLOBAL bounds - >= 1347241576825 @ 1.79555
2.87/2.91 c GLOBAL bounds - >= 1347241576825 @ 1.80459
2.87/2.92 c GLOBAL bounds - >= 1347241576825 @ 1.80584
2.87/2.94 c GLOBAL bounds - >= 1347241576825 @ 1.81528
2.87/2.94 c GLOBAL bounds - >= 1347241576825 @ 1.81568
2.87/2.96 c GLOBAL bounds - >= 1347241576825 @ 1.82046
2.87/2.96 c GLOBAL bounds - >= 1347241576825 @ 1.82177
2.87/2.98 c GLOBAL bounds - >= 1347241576825 @ 1.82874
2.87/2.98 c GLOBAL bounds - >= 1347241576825 @ 1.83001
2.87/3.00 c GLOBAL bounds - >= 1347241576825 @ 1.83492
3.67/3.70 c #Conflicts: 1000 | #Constraints: 2411
3.67/3.70 c GLOBAL bounds - >= 1347426047075 @ 2.47922
3.67/3.71 c GLOBAL bounds - >= 1347426047075 @ 2.48918
3.67/3.73 c GLOBAL bounds - >= 1347426047075 @ 2.49768
3.67/3.73 c GLOBAL bounds - >= 1347426047075 @ 2.49903
3.67/3.75 c GLOBAL bounds - >= 1347426047075 @ 2.51026
3.67/3.76 c GLOBAL bounds - >= 1347426047075 @ 2.51165
3.67/3.78 c GLOBAL bounds - >= 1347426047075 @ 2.51791
3.67/3.78 c GLOBAL bounds - >= 1347426047075 @ 2.51887
3.77/3.80 c GLOBAL bounds - >= 1347426047075 @ 2.52852
3.77/3.80 c GLOBAL bounds - >= 1347426047075 @ 2.52987
3.77/3.82 c GLOBAL bounds - >= 1347426047075 @ 2.53614
3.77/3.82 c GLOBAL bounds - >= 1347426047075 @ 2.53742
3.77/3.84 c GLOBAL bounds - >= 1347426047075 @ 2.5457
3.77/3.84 c GLOBAL bounds - >= 1347426047075 @ 2.54612
3.77/3.86 c GLOBAL bounds - >= 1347426047075 @ 2.55458
3.77/3.86 c GLOBAL bounds - >= 1347426047075 @ 2.55596
3.77/3.88 c GLOBAL bounds - >= 1347426047075 @ 2.56244
3.77/3.89 c GLOBAL bounds - >= 1347426047075 @ 2.56382
3.87/3.91 c GLOBAL bounds - >= 1347426047075 @ 2.57006
3.87/3.91 c GLOBAL bounds - >= 1347426047075 @ 2.57077
3.87/3.93 c GLOBAL bounds - >= 1347426047075 @ 2.58022
3.87/3.95 c GLOBAL bounds - >= 1347426047075 @ 2.58734
3.87/3.97 c GLOBAL bounds - >= 1347426047075 @ 2.59721
4.37/4.40 c #Conflicts: 2000 | #Constraints: 3450
4.37/4.40 c INPROCESSING
4.37/4.40 c GARBAGE COLLECT
4.37/4.40 c GLOBAL bounds - >= 1347573623275 @ 3.00907
4.37/4.42 c GLOBAL bounds - >= 1347573623275 @ 3.02084
4.37/4.44 c GLOBAL bounds - >= 1347573623275 @ 3.03095
4.37/4.44 c GLOBAL bounds - >= 1347573623275 @ 3.03164
4.37/4.46 c GLOBAL bounds - >= 1347573623275 @ 3.04264
4.37/4.46 c GLOBAL bounds - >= 1347573623275 @ 3.04356
4.37/4.48 c GLOBAL bounds - >= 1347573623275 @ 3.05322
4.37/4.48 c GLOBAL bounds - >= 1347573623275 @ 3.05377
4.47/4.50 c GLOBAL bounds - >= 1347573623275 @ 3.06277
4.47/4.50 c GLOBAL bounds - >= 1347573623275 @ 3.06352
4.47/4.52 c GLOBAL bounds - >= 1347573623275 @ 3.07342
4.47/4.53 c GLOBAL bounds - >= 1347573623275 @ 3.0735
4.47/4.55 c GLOBAL bounds - >= 1347573623275 @ 3.08209
4.47/4.55 c GLOBAL bounds - >= 1347573623275 @ 3.08271
4.47/4.57 c GLOBAL bounds - >= 1347573623275 @ 3.08975
4.47/4.57 c GLOBAL bounds - >= 1347573623275 @ 3.09139
4.47/4.59 c GLOBAL bounds - >= 1347573623275 @ 3.09647
4.47/4.59 c GLOBAL bounds - >= 1347573623275 @ 3.09746
4.56/4.61 c GLOBAL bounds - >= 1347573623275 @ 3.10831
4.56/4.61 c GLOBAL bounds - >= 1347573623275 @ 3.10844
4.56/4.63 c GLOBAL bounds - >= 1347573623275 @ 3.11239
4.56/4.65 c GLOBAL bounds - >= 1347573623275 @ 3.12062
8.65/8.79 c #Conflicts: 3000 | #Constraints: 3452
8.65/8.79 c #Conflicts: 4000 | #Constraints: 4452
8.65/8.79 c INPROCESSING
8.65/8.79 c GARBAGE COLLECT
8.65/8.79 c #Conflicts: 5000 | #Constraints: 3852
8.65/8.79 c #Conflicts: 6000 | #Constraints: 4852
8.65/8.79 c INPROCESSING
8.65/8.79 c GARBAGE COLLECT
8.65/8.79 c GLOBAL bounds - >= 1426951171850 @ 7.06726
8.75/8.80 c GLOBAL bounds - >= 1426951171850 @ 7.08032
8.75/8.80 c GLOBAL bounds - >= 1426951171850 @ 7.08122
8.75/8.82 c GLOBAL bounds - >= 1426951171850 @ 7.09558
8.75/8.83 c GLOBAL bounds - >= 1426951171850 @ 7.0965
8.75/8.85 c GLOBAL bounds - >= 1426951171850 @ 7.10154
8.75/8.85 c GLOBAL bounds - >= 1426951171850 @ 7.10242
8.75/8.87 c GLOBAL bounds - >= 1426951171850 @ 7.11049
8.75/8.87 c GLOBAL bounds - >= 1426951171850 @ 7.1126
8.75/8.89 c GLOBAL bounds - >= 1426951171850 @ 7.12174
8.86/8.90 c GLOBAL bounds - >= 1426951171850 @ 7.12364
8.86/8.92 c GLOBAL bounds - >= 1426951171850 @ 7.1297
8.86/8.92 c GLOBAL bounds - >= 1426951171850 @ 7.13159
8.86/8.94 c GLOBAL bounds - >= 1426951171850 @ 7.14053
8.86/8.94 c GLOBAL bounds - >= 1426951171850 @ 7.14152
8.86/8.96 c GLOBAL bounds - >= 1426951171850 @ 7.15159
8.86/8.96 c GLOBAL bounds - >= 1426951171850 @ 7.15306
8.86/8.99 c GLOBAL bounds - >= 1426951171850 @ 7.15975
8.86/8.99 c GLOBAL bounds - >= 1426951171850 @ 7.16168
8.96/9.01 c GLOBAL bounds - >= 1426951171850 @ 7.16898
8.96/9.01 c GLOBAL bounds - >= 1426951171850 @ 7.17091
8.96/9.03 c GLOBAL bounds - >= 1426951171850 @ 7.18211
8.96/9.05 c GLOBAL bounds - >= 1426951171850 @ 7.1893
8.96/9.07 c GLOBAL bounds - >= 1426951171850 @ 7.1953
8.96/9.08 c GLOBAL bounds - >= 1426951171850 @ 7.2032
9.05/9.10 c GLOBAL bounds - >= 1426951171850 @ 7.20999
9.05/9.14 c GLOBAL bounds - >= 1426951171850 @ 7.23474
9.05/9.16 c GLOBAL bounds - >= 1426951171850 @ 7.24481
9.05/9.18 c GLOBAL bounds - >= 1426951171850 @ 7.2582
13.74/13.86 c #Conflicts: 7000 | #Constraints: 3916
13.74/13.86 c #Conflicts: 8000 | #Constraints: 4916
13.74/13.86 c #Conflicts: 9000 | #Constraints: 5916
13.74/13.86 c INPROCESSING
13.74/13.86 c GARBAGE COLLECT
13.74/13.86 c #Conflicts: 10000 | #Constraints: 4609
13.74/13.86 c #Conflicts: 11000 | #Constraints: 5609
13.74/13.86 c #Conflicts: 12000 | #Constraints: 6609
13.74/13.86 c INPROCESSING
13.74/13.86 c GARBAGE COLLECT
13.74/13.86 c GLOBAL bounds - >= 1506236485300 @ 11.7895
13.74/13.88 c GLOBAL bounds - >= 1506236485300 @ 11.7994
13.74/13.88 c GLOBAL bounds - >= 1506236485300 @ 11.8002
13.84/13.91 c GLOBAL bounds - >= 1506236485300 @ 11.816
13.84/13.91 c GLOBAL bounds - >= 1506236485300 @ 11.818
13.84/13.93 c GLOBAL bounds - >= 1506236485300 @ 11.8252
13.84/13.93 c GLOBAL bounds - >= 1506236485300 @ 11.8253
13.84/13.95 c GLOBAL bounds - >= 1506236485300 @ 11.8334
13.84/13.96 c GLOBAL bounds - >= 1506236485300 @ 11.8345
13.84/13.98 c GLOBAL bounds - >= 1506236485300 @ 11.8435
13.84/13.98 c GLOBAL bounds - >= 1506236485300 @ 11.8456
13.84/14.00 c GLOBAL bounds - >= 1506236485300 @ 11.8579
13.94/14.00 c GLOBAL bounds - >= 1506236485300 @ 11.859
13.94/14.02 c GLOBAL bounds - >= 1506236485300 @ 11.864
13.94/14.03 c GLOBAL bounds - >= 1506236485300 @ 11.8661
13.94/14.05 c GLOBAL bounds - >= 1506236485300 @ 11.8732
13.94/14.05 c GLOBAL bounds - >= 1506236485300 @ 11.8744
13.94/14.07 c GLOBAL bounds - >= 1506236485300 @ 11.8825
13.94/14.07 c GLOBAL bounds - >= 1506236485300 @ 11.8837
13.94/14.09 c GLOBAL bounds - >= 1506236485300 @ 11.8879
13.94/14.10 c GLOBAL bounds - >= 1506236485300 @ 11.8892
14.05/14.12 c GLOBAL bounds - >= 1506236485300 @ 11.8962
14.05/14.14 c GLOBAL bounds - >= 1506236485300 @ 11.9076
47.86/48.07 c #Conflicts: 13000 | #Constraints: 5094
47.86/48.07 c #Conflicts: 14000 | #Constraints: 6094
47.86/48.07 c #Conflicts: 15000 | #Constraints: 7094
47.86/48.07 c INPROCESSING
47.86/48.07 c GARBAGE COLLECT
47.86/48.07 c #Conflicts: 16000 | #Constraints: 5314
47.86/48.07 c #Conflicts: 17000 | #Constraints: 6314
47.86/48.07 c #Conflicts: 18000 | #Constraints: 7314
47.86/48.07 c INPROCESSING
47.86/48.07 c GARBAGE COLLECT
47.86/48.07 c #Conflicts: 19000 | #Constraints: 5329
47.86/48.07 c #Conflicts: 20000 | #Constraints: 6329
47.86/48.07 c #Conflicts: 21000 | #Constraints: 7329
47.86/48.07 c INPROCESSING
47.86/48.07 c GARBAGE COLLECT
47.86/48.07 c #Conflicts: 22000 | #Constraints: 5130
47.86/48.07 c #Conflicts: 23000 | #Constraints: 6130
47.86/48.07 c #Conflicts: 24000 | #Constraints: 7130
47.86/48.07 c #Conflicts: 25000 | #Constraints: 8130
47.86/48.07 c INPROCESSING
47.86/48.07 c GARBAGE COLLECT
47.86/48.07 c #Conflicts: 26000 | #Constraints: 5733
47.86/48.07 c #Conflicts: 27000 | #Constraints: 6733
47.86/48.07 c #Conflicts: 28000 | #Constraints: 7733
47.86/48.07 c #Conflicts: 29000 | #Constraints: 8733
47.86/48.07 c INPROCESSING
47.86/48.07 c GARBAGE COLLECT
47.86/48.07 c #Conflicts: 30000 | #Constraints: 6137
47.86/48.07 c #Conflicts: 31000 | #Constraints: 7137
47.86/48.07 c #Conflicts: 32000 | #Constraints: 8137
47.86/48.07 c #Conflicts: 33000 | #Constraints: 9137
47.86/48.07 c INPROCESSING
47.86/48.07 c GARBAGE COLLECT
47.86/48.07 c #Conflicts: 34000 | #Constraints: 6340
47.86/48.07 c #Conflicts: 35000 | #Constraints: 7340
47.86/48.07 c #Conflicts: 36000 | #Constraints: 8340
47.86/48.07 c #Conflicts: 37000 | #Constraints: 9340
47.86/48.07 c INPROCESSING
47.86/48.07 c GARBAGE COLLECT
47.86/48.07 c #Conflicts: 38000 | #Constraints: 6341
47.86/48.07 c #Conflicts: 39000 | #Constraints: 7341
47.86/48.07 c #Conflicts: 40000 | #Constraints: 8341
47.86/48.07 c #Conflicts: 41000 | #Constraints: 9341
47.86/48.07 c INPROCESSING
47.86/48.07 c GARBAGE COLLECT
47.86/48.07 c #Conflicts: 42000 | #Constraints: 6137
47.86/48.07 c #Conflicts: 43000 | #Constraints: 7137
47.86/48.07 c #Conflicts: 44000 | #Constraints: 8137
47.86/48.07 c #Conflicts: 45000 | #Constraints: 9137
47.86/48.07 c GLOBAL bounds - >= 1664954688400 @ 44.8408
47.86/48.10 c GLOBAL bounds - >= 1664954688400 @ 44.8602
47.86/48.10 c GLOBAL bounds - >= 1664954688400 @ 44.8616
47.96/48.12 c GLOBAL bounds - >= 1664954688400 @ 44.8702
47.96/48.12 c GLOBAL bounds - >= 1664954688400 @ 44.8724
47.96/48.14 c GLOBAL bounds - >= 1664954688400 @ 44.8826
47.96/48.15 c GLOBAL bounds - >= 1664954688400 @ 44.8846
47.96/48.17 c GLOBAL bounds - >= 1664954688400 @ 44.8937
47.96/48.17 c GLOBAL bounds - >= 1664954688400 @ 44.8957
47.96/48.19 c GLOBAL bounds - >= 1664954688400 @ 44.9068
47.96/48.19 c GLOBAL bounds - >= 1664954688400 @ 44.9088
48.06/48.22 c GLOBAL bounds - >= 1664954688400 @ 44.914
48.06/48.22 c GLOBAL bounds - >= 1664954688400 @ 44.9145
48.06/48.24 c GLOBAL bounds - >= 1664954688400 @ 44.9212
48.06/48.24 c GLOBAL bounds - >= 1664954688400 @ 44.9222
48.06/48.27 c GLOBAL bounds - >= 1664954688400 @ 44.9354
48.06/48.27 c GLOBAL bounds - >= 1664954688400 @ 44.9374
48.06/48.29 c GLOBAL bounds - >= 1664954688400 @ 44.9496
48.06/48.29 c GLOBAL bounds - >= 1664954688400 @ 44.9517
48.16/48.31 c GLOBAL bounds - >= 1664954688400 @ 44.9618
48.16/48.32 c GLOBAL bounds - >= 1664954688400 @ 44.9629
48.16/48.34 c GLOBAL bounds - >= 1664954688400 @ 44.9681
93.15/93.46 c #Conflicts: 46000 | #Constraints: 10177
93.15/93.46 c INPROCESSING
93.15/93.46 c GARBAGE COLLECT
93.15/93.46 c #Conflicts: 47000 | #Constraints: 6761
93.15/93.46 c #Conflicts: 48000 | #Constraints: 7761
93.15/93.46 c #Conflicts: 49000 | #Constraints: 8761
93.15/93.46 c #Conflicts: 50000 | #Constraints: 9761
93.15/93.46 c #Conflicts: 51000 | #Constraints: 10761
93.15/93.46 c INPROCESSING
93.15/93.46 c GARBAGE COLLECT
93.15/93.46 c #Conflicts: 52000 | #Constraints: 7161
93.15/93.46 c #Conflicts: 53000 | #Constraints: 8161
93.15/93.46 c #Conflicts: 54000 | #Constraints: 9161
93.15/93.46 c #Conflicts: 55000 | #Constraints: 10161
93.15/93.46 c #Conflicts: 56000 | #Constraints: 11161
93.15/93.46 c INPROCESSING
93.15/93.46 c GARBAGE COLLECT
93.15/93.46 c #Conflicts: 57000 | #Constraints: 7362
93.15/93.46 c #Conflicts: 58000 | #Constraints: 8362
93.15/93.46 c #Conflicts: 59000 | #Constraints: 9362
93.15/93.46 c #Conflicts: 60000 | #Constraints: 10362
93.15/93.46 c #Conflicts: 61000 | #Constraints: 11362
93.15/93.46 c INPROCESSING
93.15/93.46 c GARBAGE COLLECT
93.15/93.46 c #Conflicts: 62000 | #Constraints: 7372
93.15/93.46 c #Conflicts: 63000 | #Constraints: 8372
93.15/93.46 c #Conflicts: 64000 | #Constraints: 9372
93.15/93.46 c #Conflicts: 65000 | #Constraints: 10372
93.15/93.46 c #Conflicts: 66000 | #Constraints: 11372
93.15/93.46 c INPROCESSING
93.15/93.46 c GARBAGE COLLECT
93.15/93.46 c #Conflicts: 67000 | #Constraints: 7170
93.15/93.46 c #Conflicts: 68000 | #Constraints: 8170
93.15/93.46 c #Conflicts: 69000 | #Constraints: 9170
93.15/93.46 c #Conflicts: 70000 | #Constraints: 10170
93.15/93.46 c #Conflicts: 71000 | #Constraints: 11170
93.15/93.46 c #Conflicts: 72000 | #Constraints: 12170
93.15/93.46 c INPROCESSING
93.15/93.46 c GARBAGE COLLECT
93.15/93.46 c #Conflicts: 73000 | #Constraints: 7775
93.15/93.46 c #Conflicts: 74000 | #Constraints: 8775
93.15/93.46 c #Conflicts: 75000 | #Constraints: 9775
93.15/93.46 c #Conflicts: 76000 | #Constraints: 10775
93.15/93.46 c #Conflicts: 77000 | #Constraints: 11775
93.15/93.46 c #Conflicts: 78000 | #Constraints: 12775
93.15/93.46 c INPROCESSING
93.15/93.46 c GARBAGE COLLECT
93.15/93.46 c #Conflicts: 79000 | #Constraints: 8171
93.15/93.46 c #Conflicts: 80000 | #Constraints: 9171
93.15/93.46 c #Conflicts: 81000 | #Constraints: 10171
93.15/93.46 c #Conflicts: 82000 | #Constraints: 11171
93.15/93.46 c #Conflicts: 83000 | #Constraints: 12171
93.15/93.46 c #Conflicts: 84000 | #Constraints: 13171
93.15/93.46 c INPROCESSING
93.15/93.46 c GARBAGE COLLECT
93.15/93.46 c #Conflicts: 85000 | #Constraints: 8376
93.15/93.46 c #Conflicts: 86000 | #Constraints: 9376
93.15/93.46 c #Conflicts: 87000 | #Constraints: 10376
93.15/93.46 c #Conflicts: 88000 | #Constraints: 11376
93.15/93.46 c #Conflicts: 89000 | #Constraints: 12376
93.15/93.46 c #Conflicts: 90000 | #Constraints: 13376
93.15/93.46 c INPROCESSING
93.15/93.46 c GARBAGE COLLECT
93.15/93.46 c #Conflicts: 91000 | #Constraints: 8377
93.15/93.46 c #Conflicts: 92000 | #Constraints: 9377
93.15/93.46 c #Conflicts: 93000 | #Constraints: 10377
93.15/93.46 c GLOBAL bounds - >= 1665157605675 @ 88.8094
93.15/93.47 c GLOBAL bounds - >= 1665157605675 @ 88.8216
93.15/93.49 c GLOBAL bounds - >= 1665157605675 @ 88.8376
93.15/93.50 c GLOBAL bounds - >= 1665157605675 @ 88.8379
93.24/93.52 c GLOBAL bounds - >= 1665157605675 @ 88.851
93.24/93.52 c GLOBAL bounds - >= 1665157605675 @ 88.8531
93.24/93.54 c GLOBAL bounds - >= 1665157605675 @ 88.8594
93.24/93.54 c GLOBAL bounds - >= 1665157605675 @ 88.8615
93.24/93.57 c GLOBAL bounds - >= 1665157605675 @ 88.8707
93.24/93.57 c GLOBAL bounds - >= 1665157605675 @ 88.8729
93.24/93.59 c GLOBAL bounds - >= 1665157605675 @ 88.8831
93.24/93.59 c GLOBAL bounds - >= 1665157605675 @ 88.8838
93.34/93.62 c GLOBAL bounds - >= 1665157605675 @ 88.8916
93.34/93.62 c GLOBAL bounds - >= 1665157605675 @ 88.8928
93.34/93.64 c GLOBAL bounds - >= 1665157605675 @ 88.9011
93.34/93.64 c GLOBAL bounds - >= 1665157605675 @ 88.9022
93.34/93.66 c GLOBAL bounds - >= 1665157605675 @ 88.9106
93.34/93.67 c GLOBAL bounds - >= 1665157605675 @ 88.9129
93.34/93.69 c GLOBAL bounds - >= 1665157605675 @ 88.9244
93.34/93.69 c GLOBAL bounds - >= 1665157605675 @ 88.9257
93.44/93.71 c GLOBAL bounds - >= 1665157605675 @ 88.9331
153.99/154.49 c #Conflicts: 94000 | #Constraints: 11416
153.99/154.49 c #Conflicts: 95000 | #Constraints: 12416
153.99/154.49 c #Conflicts: 96000 | #Constraints: 13416
153.99/154.49 c INPROCESSING
153.99/154.49 c GARBAGE COLLECT
153.99/154.49 c #Conflicts: 97000 | #Constraints: 8205
153.99/154.49 c #Conflicts: 98000 | #Constraints: 9205
153.99/154.49 c #Conflicts: 99000 | #Constraints: 10205
153.99/154.49 c #Conflicts: 100000 | #Constraints: 11205
153.99/154.49 c #Conflicts: 101000 | #Constraints: 12205
153.99/154.49 c #Conflicts: 102000 | #Constraints: 13205
153.99/154.49 c #Conflicts: 103000 | #Constraints: 14205
153.99/154.49 c INPROCESSING
153.99/154.49 c GARBAGE COLLECT
153.99/154.49 c #Conflicts: 104000 | #Constraints: 8802
153.99/154.49 c #Conflicts: 105000 | #Constraints: 9802
153.99/154.49 c #Conflicts: 106000 | #Constraints: 10802
153.99/154.49 c #Conflicts: 107000 | #Constraints: 11802
153.99/154.49 c #Conflicts: 108000 | #Constraints: 12802
153.99/154.49 c #Conflicts: 109000 | #Constraints: 13802
153.99/154.49 c #Conflicts: 110000 | #Constraints: 14802
153.99/154.49 c INPROCESSING
153.99/154.49 c GARBAGE COLLECT
153.99/154.49 c #Conflicts: 111000 | #Constraints: 9199
153.99/154.49 c #Conflicts: 112000 | #Constraints: 10199
153.99/154.49 c #Conflicts: 113000 | #Constraints: 11199
153.99/154.49 c #Conflicts: 114000 | #Constraints: 12199
153.99/154.49 c #Conflicts: 115000 | #Constraints: 13199
153.99/154.49 c #Conflicts: 116000 | #Constraints: 14199
153.99/154.49 c #Conflicts: 117000 | #Constraints: 15199
153.99/154.49 c INPROCESSING
153.99/154.49 c GARBAGE COLLECT
153.99/154.49 c #Conflicts: 118000 | #Constraints: 9395
153.99/154.49 c #Conflicts: 119000 | #Constraints: 10395
153.99/154.49 c #Conflicts: 120000 | #Constraints: 11395
153.99/154.49 c #Conflicts: 121000 | #Constraints: 12395
153.99/154.49 c #Conflicts: 122000 | #Constraints: 13395
153.99/154.49 c #Conflicts: 123000 | #Constraints: 14395
153.99/154.49 c #Conflicts: 124000 | #Constraints: 15395
153.99/154.49 c INPROCESSING
153.99/154.49 c GARBAGE COLLECT
153.99/154.49 c #Conflicts: 125000 | #Constraints: 9391
153.99/154.49 c #Conflicts: 126000 | #Constraints: 10391
153.99/154.49 c #Conflicts: 127000 | #Constraints: 11391
153.99/154.49 c #Conflicts: 128000 | #Constraints: 12391
153.99/154.49 c #Conflicts: 129000 | #Constraints: 13391
153.99/154.49 c #Conflicts: 130000 | #Constraints: 14391
153.99/154.49 c #Conflicts: 131000 | #Constraints: 15391
153.99/154.49 c INPROCESSING
153.99/154.49 c GARBAGE COLLECT
153.99/154.49 c #Conflicts: 132000 | #Constraints: 9201
153.99/154.49 c #Conflicts: 133000 | #Constraints: 10201
153.99/154.49 c #Conflicts: 134000 | #Constraints: 11201
153.99/154.49 c #Conflicts: 135000 | #Constraints: 12201
153.99/154.49 c #Conflicts: 136000 | #Constraints: 13201
153.99/154.49 c #Conflicts: 137000 | #Constraints: 14201
153.99/154.49 c #Conflicts: 138000 | #Constraints: 15201
153.99/154.49 c #Conflicts: 139000 | #Constraints: 16201
153.99/154.49 c INPROCESSING
153.99/154.49 c GARBAGE COLLECT
153.99/154.49 c #Conflicts: 140000 | #Constraints: 9797
153.99/154.49 c #Conflicts: 141000 | #Constraints: 10797
153.99/154.49 c #Conflicts: 142000 | #Constraints: 11797
153.99/154.49 c #Conflicts: 143000 | #Constraints: 12797
153.99/154.49 c #Conflicts: 144000 | #Constraints: 13797
153.99/154.49 c #Conflicts: 145000 | #Constraints: 14797
153.99/154.49 c #Conflicts: 146000 | #Constraints: 15797
153.99/154.49 c #Conflicts: 147000 | #Constraints: 16797
153.99/154.49 c INPROCESSING
153.99/154.49 c GARBAGE COLLECT
153.99/154.49 c #Conflicts: 148000 | #Constraints: 10198
153.99/154.49 c #Conflicts: 149000 | #Constraints: 11198
153.99/154.49 c #Conflicts: 150000 | #Constraints: 12198
153.99/154.49 c #Conflicts: 151000 | #Constraints: 13198
153.99/154.49 c #Conflicts: 152000 | #Constraints: 14198
153.99/154.49 c GLOBAL bounds - >= 1665342075925 @ 148.486
154.09/154.51 c GLOBAL bounds - >= 1665342075925 @ 148.501
154.09/154.53 c GLOBAL bounds - >= 1665342075925 @ 148.51
154.09/154.54 c GLOBAL bounds - >= 1665342075925 @ 148.513
154.09/154.56 c GLOBAL bounds - >= 1665342075925 @ 148.525
154.09/154.56 c GLOBAL bounds - >= 1665342075925 @ 148.526
154.09/154.59 c GLOBAL bounds - >= 1665342075925 @ 148.537
154.09/154.59 c GLOBAL bounds - >= 1665342075925 @ 148.539
154.19/154.61 c GLOBAL bounds - >= 1665342075925 @ 148.554
154.19/154.61 c GLOBAL bounds - >= 1665342075925 @ 148.556
154.19/154.64 c GLOBAL bounds - >= 1665342075925 @ 148.568
154.19/154.64 c GLOBAL bounds - >= 1665342075925 @ 148.569
154.19/154.66 c GLOBAL bounds - >= 1665342075925 @ 148.579
154.19/154.66 c GLOBAL bounds - >= 1665342075925 @ 148.58
154.19/154.69 c GLOBAL bounds - >= 1665342075925 @ 148.588
154.19/154.69 c GLOBAL bounds - >= 1665342075925 @ 148.589
154.30/154.71 c GLOBAL bounds - >= 1665342075925 @ 148.595
154.30/154.72 c GLOBAL bounds - >= 1665342075925 @ 148.596
154.30/154.74 c GLOBAL bounds - >= 1665342075925 @ 148.609
154.30/154.74 c GLOBAL bounds - >= 1665342075925 @ 148.612
154.30/154.76 c GLOBAL bounds - >= 1665342075925 @ 148.62
220.22/220.84 c #Conflicts: 153000 | #Constraints: 15237
220.22/220.84 c #Conflicts: 154000 | #Constraints: 16237
220.22/220.84 c #Conflicts: 155000 | #Constraints: 17237
220.22/220.84 c INPROCESSING
220.22/220.84 c GARBAGE COLLECT
220.22/220.84 c #Conflicts: 156000 | #Constraints: 10428
220.22/220.84 c #Conflicts: 157000 | #Constraints: 11428
220.22/220.84 c #Conflicts: 158000 | #Constraints: 12428
220.22/220.84 c #Conflicts: 159000 | #Constraints: 13428
220.22/220.84 c #Conflicts: 160000 | #Constraints: 14428
220.22/220.84 c #Conflicts: 161000 | #Constraints: 15428
220.22/220.84 c #Conflicts: 162000 | #Constraints: 16428
220.22/220.84 c #Conflicts: 163000 | #Constraints: 17428
220.22/220.84 c INPROCESSING
220.22/220.84 c GARBAGE COLLECT
220.22/220.84 c #Conflicts: 164000 | #Constraints: 10422
220.22/220.84 c #Conflicts: 165000 | #Constraints: 11422
220.22/220.84 c #Conflicts: 166000 | #Constraints: 12422
220.22/220.84 c #Conflicts: 167000 | #Constraints: 13422
220.22/220.84 c #Conflicts: 168000 | #Constraints: 14422
220.22/220.84 c #Conflicts: 169000 | #Constraints: 15422
220.22/220.84 c #Conflicts: 170000 | #Constraints: 16422
220.22/220.84 c #Conflicts: 171000 | #Constraints: 17422
220.22/220.84 c INPROCESSING
220.22/220.84 c GARBAGE COLLECT
220.22/220.84 c #Conflicts: 172000 | #Constraints: 10226
220.22/220.84 c #Conflicts: 173000 | #Constraints: 11226
220.22/220.84 c #Conflicts: 174000 | #Constraints: 12226
220.22/220.84 c #Conflicts: 175000 | #Constraints: 13226
220.22/220.84 c #Conflicts: 176000 | #Constraints: 14226
220.22/220.84 c #Conflicts: 177000 | #Constraints: 15226
220.22/220.84 c #Conflicts: 178000 | #Constraints: 16226
220.22/220.84 c #Conflicts: 179000 | #Constraints: 17226
220.22/220.84 c #Conflicts: 180000 | #Constraints: 18226
220.22/220.84 c INPROCESSING
220.22/220.84 c GARBAGE COLLECT
220.22/220.84 c #Conflicts: 181000 | #Constraints: 10825
220.22/220.84 c #Conflicts: 182000 | #Constraints: 11825
220.22/220.84 c #Conflicts: 183000 | #Constraints: 12825
220.22/220.84 c #Conflicts: 184000 | #Constraints: 13825
220.22/220.84 c #Conflicts: 185000 | #Constraints: 14825
220.22/220.84 c #Conflicts: 186000 | #Constraints: 15825
220.22/220.84 c #Conflicts: 187000 | #Constraints: 16825
220.22/220.84 c #Conflicts: 188000 | #Constraints: 17825
220.22/220.84 c #Conflicts: 189000 | #Constraints: 18825
220.22/220.84 c INPROCESSING
220.22/220.84 c GARBAGE COLLECT
220.22/220.84 c #Conflicts: 190000 | #Constraints: 11223
220.22/220.84 c #Conflicts: 191000 | #Constraints: 12223
220.22/220.84 c #Conflicts: 192000 | #Constraints: 13223
220.22/220.84 c #Conflicts: 193000 | #Constraints: 14223
220.22/220.84 c #Conflicts: 194000 | #Constraints: 15223
220.22/220.84 c #Conflicts: 195000 | #Constraints: 16223
220.22/220.84 c #Conflicts: 196000 | #Constraints: 17223
220.22/220.84 c #Conflicts: 197000 | #Constraints: 18223
220.22/220.84 c #Conflicts: 198000 | #Constraints: 19223
220.22/220.84 c INPROCESSING
220.22/220.84 c GARBAGE COLLECT
220.22/220.84 c #Conflicts: 199000 | #Constraints: 11442
220.22/220.84 c #Conflicts: 200000 | #Constraints: 12442
220.22/220.84 c #Conflicts: 201000 | #Constraints: 13442
220.22/220.84 c #Conflicts: 202000 | #Constraints: 14442
220.22/220.84 c #Conflicts: 203000 | #Constraints: 15442
220.22/220.84 c #Conflicts: 204000 | #Constraints: 16442
220.22/220.84 c #Conflicts: 205000 | #Constraints: 17442
220.22/220.84 c #Conflicts: 206000 | #Constraints: 18442
220.22/220.84 c #Conflicts: 207000 | #Constraints: 19442
220.22/220.84 c INPROCESSING
220.22/220.84 c GARBAGE COLLECT
220.22/220.84 c #Conflicts: 208000 | #Constraints: 11434
220.22/220.84 c #Conflicts: 209000 | #Constraints: 12434
220.22/220.84 c #Conflicts: 210000 | #Constraints: 13434
220.22/220.84 c #Conflicts: 211000 | #Constraints: 14434
220.22/220.84 c #Conflicts: 212000 | #Constraints: 15434
220.22/220.84 c GLOBAL bounds - >= 1665526546175 @ 213.606
220.22/220.86 c GLOBAL bounds - >= 1665526546175 @ 213.621
220.22/220.88 c GLOBAL bounds - >= 1665526546175 @ 213.631
220.22/220.89 c GLOBAL bounds - >= 1665526546175 @ 213.633
220.33/220.91 c GLOBAL bounds - >= 1665526546175 @ 213.644
220.33/220.91 c GLOBAL bounds - >= 1665526546175 @ 213.645
220.33/220.94 c GLOBAL bounds - >= 1665526546175 @ 213.656
220.33/220.94 c GLOBAL bounds - >= 1665526546175 @ 213.657
220.33/220.96 c GLOBAL bounds - >= 1665526546175 @ 213.666
220.33/220.96 c GLOBAL bounds - >= 1665526546175 @ 213.667
220.33/220.99 c GLOBAL bounds - >= 1665526546175 @ 213.679
220.33/220.99 c GLOBAL bounds - >= 1665526546175 @ 213.68
220.43/221.01 c GLOBAL bounds - >= 1665526546175 @ 213.695
220.43/221.02 c GLOBAL bounds - >= 1665526546175 @ 213.697
220.43/221.04 c GLOBAL bounds - >= 1665526546175 @ 213.707
220.43/221.04 c GLOBAL bounds - >= 1665526546175 @ 213.709
220.43/221.07 c GLOBAL bounds - >= 1665526546175 @ 213.721
220.43/221.07 c GLOBAL bounds - >= 1665526546175 @ 213.724
220.43/221.09 c GLOBAL bounds - >= 1665526546175 @ 213.732
220.43/221.10 c GLOBAL bounds - >= 1665526546175 @ 213.734
220.54/221.12 c GLOBAL bounds - >= 1665526546175 @ 213.745
256.84/257.50 c #Conflicts: 213000 | #Constraints: 16473
256.84/257.50 c #Conflicts: 214000 | #Constraints: 17473
256.84/257.50 c #Conflicts: 215000 | #Constraints: 18473
256.84/257.50 c #Conflicts: 216000 | #Constraints: 19473
256.84/257.50 c INPROCESSING
256.84/257.50 c GARBAGE COLLECT
256.84/257.50 c #Conflicts: 217000 | #Constraints: 11268
256.84/257.50 c #Conflicts: 218000 | #Constraints: 12268
256.84/257.50 c #Conflicts: 219000 | #Constraints: 13268
256.84/257.50 c #Conflicts: 220000 | #Constraints: 14268
256.84/257.50 c #Conflicts: 221000 | #Constraints: 15268
256.84/257.50 c #Conflicts: 222000 | #Constraints: 16268
256.84/257.50 c #Conflicts: 223000 | #Constraints: 17268
256.84/257.50 c #Conflicts: 224000 | #Constraints: 18268
256.84/257.50 c #Conflicts: 225000 | #Constraints: 19268
256.84/257.50 c #Conflicts: 226000 | #Constraints: 20268
256.84/257.50 c INPROCESSING
256.84/257.50 c GARBAGE COLLECT
256.84/257.50 c #Conflicts: 227000 | #Constraints: 11881
256.84/257.50 c #Conflicts: 228000 | #Constraints: 12881
256.84/257.50 c #Conflicts: 229000 | #Constraints: 13881
256.84/257.50 c #Conflicts: 230000 | #Constraints: 14881
256.84/257.50 c #Conflicts: 231000 | #Constraints: 15881
256.84/257.50 c #Conflicts: 232000 | #Constraints: 16881
256.84/257.50 c #Conflicts: 233000 | #Constraints: 17881
256.84/257.50 c #Conflicts: 234000 | #Constraints: 18881
256.84/257.50 c #Conflicts: 235000 | #Constraints: 19881
256.84/257.50 c #Conflicts: 236000 | #Constraints: 20881
256.84/257.50 c INPROCESSING
256.84/257.50 c GARBAGE COLLECT
256.84/257.50 c #Conflicts: 237000 | #Constraints: 12270
256.84/257.50 c #Conflicts: 238000 | #Constraints: 13270
256.84/257.50 c #Conflicts: 239000 | #Constraints: 14270
256.84/257.50 c #Conflicts: 240000 | #Constraints: 15270
256.84/257.50 c #Conflicts: 241000 | #Constraints: 16270
256.84/257.50 c GLOBAL bounds - >= 1665711016425 @ 249.488
256.84/257.51 c GLOBAL bounds - >= 1665711016425 @ 249.502
256.84/257.54 c GLOBAL bounds - >= 1665711016425 @ 249.516
256.84/257.54 c GLOBAL bounds - >= 1665711016425 @ 249.517
256.84/257.56 c GLOBAL bounds - >= 1665711016425 @ 249.528
256.84/257.57 c GLOBAL bounds - >= 1665711016425 @ 249.53
256.84/257.59 c GLOBAL bounds - >= 1665711016425 @ 249.54
256.84/257.59 c GLOBAL bounds - >= 1665711016425 @ 249.54
256.94/257.62 c GLOBAL bounds - >= 1665711016425 @ 249.551
256.94/257.62 c GLOBAL bounds - >= 1665711016425 @ 249.553
256.94/257.64 c GLOBAL bounds - >= 1665711016425 @ 249.564
256.94/257.64 c GLOBAL bounds - >= 1665711016425 @ 249.565
256.94/257.67 c GLOBAL bounds - >= 1665711016425 @ 249.578
256.94/257.67 c GLOBAL bounds - >= 1665711016425 @ 249.58
256.94/257.69 c GLOBAL bounds - >= 1665711016425 @ 249.592
257.04/257.70 c GLOBAL bounds - >= 1665711016425 @ 249.594
257.04/257.72 c GLOBAL bounds - >= 1665711016425 @ 249.606
257.04/257.72 c GLOBAL bounds - >= 1665711016425 @ 249.609
257.04/257.75 c GLOBAL bounds - >= 1665711016425 @ 249.618
257.04/257.75 c GLOBAL bounds - >= 1665711016425 @ 249.621
257.04/257.77 c GLOBAL bounds - >= 1665711016425 @ 249.634
346.92/347.88 c #Conflicts: 242000 | #Constraints: 17309
346.92/347.88 c #Conflicts: 243000 | #Constraints: 18309
346.92/347.88 c #Conflicts: 244000 | #Constraints: 19309
346.92/347.88 c #Conflicts: 245000 | #Constraints: 20309
346.92/347.88 c #Conflicts: 246000 | #Constraints: 21309
346.92/347.88 c INPROCESSING
346.92/347.88 c GARBAGE COLLECT
346.92/347.88 c #Conflicts: 247000 | #Constraints: 12493
346.92/347.88 c #Conflicts: 248000 | #Constraints: 13493
346.92/347.88 c #Conflicts: 249000 | #Constraints: 14493
346.92/347.88 c #Conflicts: 250000 | #Constraints: 15493
346.92/347.88 c #Conflicts: 251000 | #Constraints: 16493
346.92/347.88 c #Conflicts: 252000 | #Constraints: 17493
346.92/347.88 c #Conflicts: 253000 | #Constraints: 18493
346.92/347.88 c #Conflicts: 254000 | #Constraints: 19493
346.92/347.88 c #Conflicts: 255000 | #Constraints: 20493
346.92/347.88 c #Conflicts: 256000 | #Constraints: 21493
346.92/347.88 c INPROCESSING
346.92/347.88 c GARBAGE COLLECT
346.92/347.88 c #Conflicts: 257000 | #Constraints: 12494
346.92/347.88 c #Conflicts: 258000 | #Constraints: 13494
346.92/347.88 c #Conflicts: 259000 | #Constraints: 14494
346.92/347.88 c #Conflicts: 260000 | #Constraints: 15494
346.92/347.88 c #Conflicts: 261000 | #Constraints: 16494
346.92/347.88 c #Conflicts: 262000 | #Constraints: 17494
346.92/347.88 c #Conflicts: 263000 | #Constraints: 18494
346.92/347.88 c #Conflicts: 264000 | #Constraints: 19494
346.92/347.88 c #Conflicts: 265000 | #Constraints: 20494
346.92/347.88 c #Conflicts: 266000 | #Constraints: 21494
346.92/347.88 c INPROCESSING
346.92/347.88 c GARBAGE COLLECT
346.92/347.88 c #Conflicts: 267000 | #Constraints: 12290
346.92/347.88 c #Conflicts: 268000 | #Constraints: 13290
346.92/347.88 c #Conflicts: 269000 | #Constraints: 14290
346.92/347.88 c #Conflicts: 270000 | #Constraints: 15290
346.92/347.88 c #Conflicts: 271000 | #Constraints: 16290
346.92/347.88 c #Conflicts: 272000 | #Constraints: 17290
346.92/347.88 c #Conflicts: 273000 | #Constraints: 18290
346.92/347.88 c #Conflicts: 274000 | #Constraints: 19290
346.92/347.88 c #Conflicts: 275000 | #Constraints: 20290
346.92/347.88 c #Conflicts: 276000 | #Constraints: 21290
346.92/347.88 c #Conflicts: 277000 | #Constraints: 22290
346.92/347.88 c INPROCESSING
346.92/347.88 c GARBAGE COLLECT
346.92/347.88 c #Conflicts: 278000 | #Constraints: 12890
346.92/347.88 c #Conflicts: 279000 | #Constraints: 13890
346.92/347.88 c #Conflicts: 280000 | #Constraints: 14890
346.92/347.88 c #Conflicts: 281000 | #Constraints: 15890
346.92/347.88 c #Conflicts: 282000 | #Constraints: 16890
346.92/347.88 c #Conflicts: 283000 | #Constraints: 17890
346.92/347.88 c #Conflicts: 284000 | #Constraints: 18890
346.92/347.88 c #Conflicts: 285000 | #Constraints: 19890
346.92/347.88 c #Conflicts: 286000 | #Constraints: 20890
346.92/347.88 c #Conflicts: 287000 | #Constraints: 21890
346.92/347.88 c #Conflicts: 288000 | #Constraints: 22890
346.92/347.88 c INPROCESSING
346.92/347.88 c GARBAGE COLLECT
346.92/347.88 c #Conflicts: 289000 | #Constraints: 13292
346.92/347.88 c #Conflicts: 290000 | #Constraints: 14292
346.92/347.88 c #Conflicts: 291000 | #Constraints: 15292
346.92/347.88 c #Conflicts: 292000 | #Constraints: 16292
346.92/347.88 c #Conflicts: 293000 | #Constraints: 17292
346.92/347.88 c #Conflicts: 294000 | #Constraints: 18292
346.92/347.88 c #Conflicts: 295000 | #Constraints: 19292
346.92/347.88 c #Conflicts: 296000 | #Constraints: 20292
346.92/347.88 c #Conflicts: 297000 | #Constraints: 21292
346.92/347.88 c #Conflicts: 298000 | #Constraints: 22292
346.92/347.88 c #Conflicts: 299000 | #Constraints: 23292
346.92/347.88 c INPROCESSING
346.92/347.88 c GARBAGE COLLECT
346.92/347.88 c #Conflicts: 300000 | #Constraints: 13491
346.92/347.88 c #Conflicts: 301000 | #Constraints: 14491
346.92/347.88 c #Conflicts: 302000 | #Constraints: 15491
346.92/347.88 c #Conflicts: 303000 | #Constraints: 16491
346.92/347.88 c #Conflicts: 304000 | #Constraints: 17491
346.92/347.88 c #Conflicts: 305000 | #Constraints: 18491
346.92/347.88 c #Conflicts: 306000 | #Constraints: 19491
346.92/347.88 c #Conflicts: 307000 | #Constraints: 20491
346.92/347.88 c #Conflicts: 308000 | #Constraints: 21491
346.92/347.88 c #Conflicts: 309000 | #Constraints: 22491
346.92/347.88 c #Conflicts: 310000 | #Constraints: 23491
346.92/347.88 c INPROCESSING
346.92/347.88 c GARBAGE COLLECT
346.92/347.88 c #Conflicts: 311000 | #Constraints: 13489
346.92/347.88 c #Conflicts: 312000 | #Constraints: 14489
346.92/347.88 c #Conflicts: 313000 | #Constraints: 15489
346.92/347.88 c #Conflicts: 314000 | #Constraints: 16489
346.92/347.88 c #Conflicts: 315000 | #Constraints: 17489
346.92/347.88 c #Conflicts: 316000 | #Constraints: 18489
368.86/369.83 c #Conflicts: 317000 | #Constraints: 19489
368.86/369.83 c #Conflicts: 318000 | #Constraints: 20489
368.86/369.83 c #Conflicts: 319000 | #Constraints: 21489
368.86/369.83 c #Conflicts: 320000 | #Constraints: 22489
368.86/369.83 c #Conflicts: 321000 | #Constraints: 23489
368.86/369.83 c INPROCESSING
368.86/369.83 c GARBAGE COLLECT
368.86/369.83 c #Conflicts: 322000 | #Constraints: 13290
368.86/369.83 c #Conflicts: 323000 | #Constraints: 14290
368.86/369.83 c #Conflicts: 324000 | #Constraints: 15290
368.86/369.83 c #Conflicts: 325000 | #Constraints: 16290
368.86/369.83 c #Conflicts: 326000 | #Constraints: 17290
368.86/369.83 c #Conflicts: 327000 | #Constraints: 18290
368.86/369.83 c #Conflicts: 328000 | #Constraints: 19290
368.86/369.83 c #Conflicts: 329000 | #Constraints: 20290
368.86/369.83 c #Conflicts: 330000 | #Constraints: 21290
368.86/369.83 c GLOBAL bounds - >= 1665895486675 @ 359.769
368.86/369.85 c GLOBAL bounds - >= 1665895486675 @ 359.786
368.86/369.88 c GLOBAL bounds - >= 1665895486675 @ 359.797
368.86/369.88 c GLOBAL bounds - >= 1665895486675 @ 359.8
368.96/369.91 c GLOBAL bounds - >= 1665895486675 @ 359.813
368.96/369.91 c GLOBAL bounds - >= 1665895486675 @ 359.815
368.96/369.93 c GLOBAL bounds - >= 1665895486675 @ 359.826
368.96/369.94 c GLOBAL bounds - >= 1665895486675 @ 359.828
368.96/369.96 c GLOBAL bounds - >= 1665895486675 @ 359.839
368.96/369.97 c GLOBAL bounds - >= 1665895486675 @ 359.842
368.96/369.99 c GLOBAL bounds - >= 1665895486675 @ 359.858
368.96/369.99 c GLOBAL bounds - >= 1665895486675 @ 359.86
369.07/370.02 c GLOBAL bounds - >= 1665895486675 @ 359.87
369.07/370.02 c GLOBAL bounds - >= 1665895486675 @ 359.873
369.07/370.05 c GLOBAL bounds - >= 1665895486675 @ 359.89
369.07/370.05 c GLOBAL bounds - >= 1665895486675 @ 359.893
369.07/370.08 c GLOBAL bounds - >= 1665895486675 @ 359.908
369.07/370.08 c GLOBAL bounds - >= 1665895486675 @ 359.909
369.16/370.11 c GLOBAL bounds - >= 1665895486675 @ 359.921
369.16/370.11 c GLOBAL bounds - >= 1665895486675 @ 359.923
369.16/370.13 c GLOBAL bounds - >= 1665895486675 @ 359.937
452.96/454.16 c #Conflicts: 331000 | #Constraints: 22329
452.96/454.16 c #Conflicts: 332000 | #Constraints: 23329
452.96/454.16 c #Conflicts: 333000 | #Constraints: 24329
452.96/454.16 c INPROCESSING
452.96/454.16 c GARBAGE COLLECT
452.96/454.16 c #Conflicts: 334000 | #Constraints: 13937
452.96/454.16 c #Conflicts: 335000 | #Constraints: 14937
452.96/454.16 c #Conflicts: 336000 | #Constraints: 15937
452.96/454.16 c #Conflicts: 337000 | #Constraints: 16937
452.96/454.16 c #Conflicts: 338000 | #Constraints: 17937
452.96/454.16 c #Conflicts: 339000 | #Constraints: 18937
452.96/454.16 c #Conflicts: 340000 | #Constraints: 19937
452.96/454.16 c #Conflicts: 341000 | #Constraints: 20937
452.96/454.16 c #Conflicts: 342000 | #Constraints: 21937
452.96/454.16 c #Conflicts: 343000 | #Constraints: 22937
452.96/454.16 c #Conflicts: 344000 | #Constraints: 23937
452.96/454.16 c #Conflicts: 345000 | #Constraints: 24937
452.96/454.16 c INPROCESSING
452.96/454.16 c GARBAGE COLLECT
452.96/454.16 c #Conflicts: 346000 | #Constraints: 14325
452.96/454.16 c #Conflicts: 347000 | #Constraints: 15325
452.96/454.16 c #Conflicts: 348000 | #Constraints: 16325
452.96/454.16 c #Conflicts: 349000 | #Constraints: 17325
452.96/454.16 c #Conflicts: 350000 | #Constraints: 18325
452.96/454.16 c #Conflicts: 351000 | #Constraints: 19325
452.96/454.16 c #Conflicts: 352000 | #Constraints: 20325
452.96/454.16 c #Conflicts: 353000 | #Constraints: 21325
452.96/454.16 c #Conflicts: 354000 | #Constraints: 22325
452.96/454.16 c #Conflicts: 355000 | #Constraints: 23325
452.96/454.16 c #Conflicts: 356000 | #Constraints: 24325
452.96/454.16 c #Conflicts: 357000 | #Constraints: 25325
452.96/454.16 c INPROCESSING
452.96/454.16 c GARBAGE COLLECT
452.96/454.16 c #Conflicts: 358000 | #Constraints: 14521
452.96/454.16 c #Conflicts: 359000 | #Constraints: 15521
452.96/454.16 c #Conflicts: 360000 | #Constraints: 16521
452.96/454.16 c #Conflicts: 361000 | #Constraints: 17521
452.96/454.16 c #Conflicts: 362000 | #Constraints: 18521
452.96/454.16 c #Conflicts: 363000 | #Constraints: 19521
452.96/454.16 c #Conflicts: 364000 | #Constraints: 20521
452.96/454.16 c #Conflicts: 365000 | #Constraints: 21521
452.96/454.16 c #Conflicts: 366000 | #Constraints: 22521
452.96/454.16 c #Conflicts: 367000 | #Constraints: 23521
452.96/454.16 c #Conflicts: 368000 | #Constraints: 24521
452.96/454.16 c #Conflicts: 369000 | #Constraints: 25521
452.96/454.16 c INPROCESSING
452.96/454.16 c GARBAGE COLLECT
452.96/454.16 c #Conflicts: 370000 | #Constraints: 14518
452.96/454.16 c #Conflicts: 371000 | #Constraints: 15518
452.96/454.16 c #Conflicts: 372000 | #Constraints: 16518
452.96/454.16 c #Conflicts: 373000 | #Constraints: 17518
452.96/454.16 c #Conflicts: 374000 | #Constraints: 18518
452.96/454.16 c #Conflicts: 375000 | #Constraints: 19518
452.96/454.16 c #Conflicts: 376000 | #Constraints: 20518
452.96/454.16 c #Conflicts: 377000 | #Constraints: 21518
452.96/454.16 c #Conflicts: 378000 | #Constraints: 22518
452.96/454.16 c #Conflicts: 379000 | #Constraints: 23518
452.96/454.16 c #Conflicts: 380000 | #Constraints: 24518
452.96/454.16 c GLOBAL bounds - >= 1666079956925 @ 442.604
452.96/454.18 c GLOBAL bounds - >= 1666079956925 @ 442.622
453.06/454.20 c GLOBAL bounds - >= 1666079956925 @ 442.637
453.06/454.21 c GLOBAL bounds - >= 1666079956925 @ 442.639
453.06/454.23 c GLOBAL bounds - >= 1666079956925 @ 442.657
453.06/454.24 c GLOBAL bounds - >= 1666079956925 @ 442.659
453.06/454.26 c GLOBAL bounds - >= 1666079956925 @ 442.67
453.06/454.26 c GLOBAL bounds - >= 1666079956925 @ 442.673
453.06/454.29 c GLOBAL bounds - >= 1666079956925 @ 442.684
453.06/454.29 c GLOBAL bounds - >= 1666079956925 @ 442.686
453.16/454.32 c GLOBAL bounds - >= 1666079956925 @ 442.701
453.16/454.32 c GLOBAL bounds - >= 1666079956925 @ 442.702
453.16/454.35 c GLOBAL bounds - >= 1666079956925 @ 442.715
453.16/454.35 c GLOBAL bounds - >= 1666079956925 @ 442.718
453.16/454.38 c GLOBAL bounds - >= 1666079956925 @ 442.732
453.16/454.38 c GLOBAL bounds - >= 1666079956925 @ 442.733
453.26/454.40 c GLOBAL bounds - >= 1666079956925 @ 442.744
453.26/454.41 c GLOBAL bounds - >= 1666079956925 @ 442.745
453.26/454.43 c GLOBAL bounds - >= 1666079956925 @ 442.761
453.26/454.44 c GLOBAL bounds - >= 1666079956925 @ 442.762
453.26/454.46 c GLOBAL bounds - >= 1666079956925 @ 442.775
521.89/523.22 c #Conflicts: 381000 | #Constraints: 25557
521.89/523.22 c INPROCESSING
521.89/523.22 c GARBAGE COLLECT
521.89/523.22 c #Conflicts: 382000 | #Constraints: 14351
521.89/523.22 c #Conflicts: 383000 | #Constraints: 15351
521.89/523.22 c #Conflicts: 384000 | #Constraints: 16351
521.89/523.22 c #Conflicts: 385000 | #Constraints: 17351
521.89/523.22 c #Conflicts: 386000 | #Constraints: 18351
521.89/523.22 c #Conflicts: 387000 | #Constraints: 19351
521.89/523.22 c #Conflicts: 388000 | #Constraints: 20351
521.89/523.22 c #Conflicts: 389000 | #Constraints: 21351
521.89/523.22 c #Conflicts: 390000 | #Constraints: 22351
521.89/523.22 c #Conflicts: 391000 | #Constraints: 23351
521.89/523.22 c #Conflicts: 392000 | #Constraints: 24351
521.89/523.22 c #Conflicts: 393000 | #Constraints: 25351
521.89/523.22 c #Conflicts: 394000 | #Constraints: 26351
521.89/523.22 c INPROCESSING
521.89/523.22 c GARBAGE COLLECT
521.89/523.22 c #Conflicts: 395000 | #Constraints: 14947
521.89/523.22 c #Conflicts: 396000 | #Constraints: 15947
521.89/523.22 c #Conflicts: 397000 | #Constraints: 16947
521.89/523.22 c #Conflicts: 398000 | #Constraints: 17947
521.89/523.22 c #Conflicts: 399000 | #Constraints: 18947
521.89/523.22 c #Conflicts: 400000 | #Constraints: 19947
521.89/523.22 c #Conflicts: 401000 | #Constraints: 20947
521.89/523.22 c #Conflicts: 402000 | #Constraints: 21947
521.89/523.22 c #Conflicts: 403000 | #Constraints: 22947
521.89/523.22 c #Conflicts: 404000 | #Constraints: 23947
521.89/523.22 c #Conflicts: 405000 | #Constraints: 24947
521.89/523.22 c #Conflicts: 406000 | #Constraints: 25947
521.89/523.22 c #Conflicts: 407000 | #Constraints: 26947
521.89/523.22 c INPROCESSING
521.89/523.22 c GARBAGE COLLECT
521.89/523.22 c #Conflicts: 408000 | #Constraints: 15346
521.89/523.22 c #Conflicts: 409000 | #Constraints: 16346
521.89/523.22 c #Conflicts: 410000 | #Constraints: 17346
521.89/523.22 c #Conflicts: 411000 | #Constraints: 18346
521.89/523.22 c #Conflicts: 412000 | #Constraints: 19346
521.89/523.22 c #Conflicts: 413000 | #Constraints: 20346
521.89/523.22 c #Conflicts: 414000 | #Constraints: 21346
521.89/523.22 c #Conflicts: 415000 | #Constraints: 22346
521.89/523.22 c #Conflicts: 416000 | #Constraints: 23346
521.89/523.22 c #Conflicts: 417000 | #Constraints: 24346
521.89/523.22 c #Conflicts: 418000 | #Constraints: 25346
521.89/523.22 c #Conflicts: 419000 | #Constraints: 26346
521.89/523.22 c #Conflicts: 420000 | #Constraints: 27346
521.89/523.22 c INPROCESSING
521.89/523.22 c GARBAGE COLLECT
521.89/523.22 c #Conflicts: 421000 | #Constraints: 15557
521.89/523.22 c #Conflicts: 422000 | #Constraints: 16557
521.89/523.22 c #Conflicts: 423000 | #Constraints: 17557
521.89/523.22 c #Conflicts: 424000 | #Constraints: 18557
521.89/523.22 c GLOBAL bounds - >= 1666264427175 @ 510.381
521.89/523.23 c GLOBAL bounds - >= 1666264427175 @ 510.395
521.89/523.26 c GLOBAL bounds - >= 1666264427175 @ 510.406
521.89/523.26 c GLOBAL bounds - >= 1666264427175 @ 510.408
521.89/523.28 c GLOBAL bounds - >= 1666264427175 @ 510.418
521.89/523.29 c GLOBAL bounds - >= 1666264427175 @ 510.42
521.98/523.31 c GLOBAL bounds - >= 1666264427175 @ 510.437
521.98/523.31 c GLOBAL bounds - >= 1666264427175 @ 510.439
521.98/523.34 c GLOBAL bounds - >= 1666264427175 @ 510.452
521.98/523.34 c GLOBAL bounds - >= 1666264427175 @ 510.455
521.98/523.36 c GLOBAL bounds - >= 1666264427175 @ 510.464
521.98/523.37 c GLOBAL bounds - >= 1666264427175 @ 510.467
521.98/523.39 c GLOBAL bounds - >= 1666264427175 @ 510.48
521.98/523.39 c GLOBAL bounds - >= 1666264427175 @ 510.482
522.08/523.42 c GLOBAL bounds - >= 1666264427175 @ 510.494
522.08/523.42 c GLOBAL bounds - >= 1666264427175 @ 510.495
522.08/523.44 c GLOBAL bounds - >= 1666264427175 @ 510.512
522.08/523.45 c GLOBAL bounds - >= 1666264427175 @ 510.513
522.08/523.47 c GLOBAL bounds - >= 1666264427175 @ 510.526
522.08/523.47 c GLOBAL bounds - >= 1666264427175 @ 510.529
522.18/523.50 c GLOBAL bounds - >= 1666264427175 @ 510.538
568.87/570.32 c #Conflicts: 425000 | #Constraints: 19596
568.87/570.32 c #Conflicts: 426000 | #Constraints: 20596
568.87/570.32 c #Conflicts: 427000 | #Constraints: 21596
568.87/570.32 c #Conflicts: 428000 | #Constraints: 22596
568.87/570.32 c #Conflicts: 429000 | #Constraints: 23596
568.87/570.32 c #Conflicts: 430000 | #Constraints: 24596
568.87/570.32 c #Conflicts: 431000 | #Constraints: 25596
568.87/570.32 c #Conflicts: 432000 | #Constraints: 26596
568.87/570.32 c #Conflicts: 433000 | #Constraints: 27596
568.87/570.32 c INPROCESSING
568.87/570.32 c GARBAGE COLLECT
568.87/570.32 c #Conflicts: 434000 | #Constraints: 15588
568.87/570.32 c #Conflicts: 435000 | #Constraints: 16588
568.87/570.32 c #Conflicts: 436000 | #Constraints: 17588
568.87/570.32 c #Conflicts: 437000 | #Constraints: 18588
568.87/570.32 c #Conflicts: 438000 | #Constraints: 19588
568.87/570.32 c #Conflicts: 439000 | #Constraints: 20588
568.87/570.32 c #Conflicts: 440000 | #Constraints: 21588
568.87/570.32 c #Conflicts: 441000 | #Constraints: 22588
568.87/570.32 c #Conflicts: 442000 | #Constraints: 23588
568.87/570.32 c #Conflicts: 443000 | #Constraints: 24588
568.87/570.32 c #Conflicts: 444000 | #Constraints: 25588
568.87/570.32 c #Conflicts: 445000 | #Constraints: 26588
568.87/570.32 c #Conflicts: 446000 | #Constraints: 27588
568.87/570.32 c INPROCESSING
568.87/570.32 c GARBAGE COLLECT
568.87/570.32 c #Conflicts: 447000 | #Constraints: 15377
568.87/570.32 c #Conflicts: 448000 | #Constraints: 16377
568.87/570.32 c #Conflicts: 449000 | #Constraints: 17377
568.87/570.32 c #Conflicts: 450000 | #Constraints: 18377
568.87/570.32 c #Conflicts: 451000 | #Constraints: 19377
568.87/570.32 c #Conflicts: 452000 | #Constraints: 20377
568.87/570.32 c #Conflicts: 453000 | #Constraints: 21377
568.87/570.32 c #Conflicts: 454000 | #Constraints: 22377
568.87/570.32 c #Conflicts: 455000 | #Constraints: 23377
568.87/570.32 c GLOBAL bounds - >= 1666448897425 @ 556.655
568.87/570.33 c GLOBAL bounds - >= 1666448897425 @ 556.671
568.87/570.36 c GLOBAL bounds - >= 1666448897425 @ 556.682
568.87/570.36 c GLOBAL bounds - >= 1666448897425 @ 556.683
568.87/570.38 c GLOBAL bounds - >= 1666448897425 @ 556.693
568.87/570.39 c GLOBAL bounds - >= 1666448897425 @ 556.695
568.97/570.41 c GLOBAL bounds - >= 1666448897425 @ 556.709
568.97/570.42 c GLOBAL bounds - >= 1666448897425 @ 556.711
568.97/570.44 c GLOBAL bounds - >= 1666448897425 @ 556.722
568.97/570.44 c GLOBAL bounds - >= 1666448897425 @ 556.724
568.97/570.47 c GLOBAL bounds - >= 1666448897425 @ 556.732
568.97/570.47 c GLOBAL bounds - >= 1666448897425 @ 556.735
568.97/570.49 c GLOBAL bounds - >= 1666448897425 @ 556.747
569.06/570.50 c GLOBAL bounds - >= 1666448897425 @ 556.748
569.06/570.52 c GLOBAL bounds - >= 1666448897425 @ 556.761
569.06/570.52 c GLOBAL bounds - >= 1666448897425 @ 556.763
569.06/570.55 c GLOBAL bounds - >= 1666448897425 @ 556.778
569.06/570.55 c GLOBAL bounds - >= 1666448897425 @ 556.78
569.06/570.58 c GLOBAL bounds - >= 1666448897425 @ 556.791
569.06/570.58 c GLOBAL bounds - >= 1666448897425 @ 556.793
569.17/570.60 c GLOBAL bounds - >= 1666448897425 @ 556.804
646.28/647.96 c #Conflicts: 456000 | #Constraints: 24416
646.28/647.96 c #Conflicts: 457000 | #Constraints: 25416
646.28/647.96 c #Conflicts: 458000 | #Constraints: 26416
646.28/647.96 c #Conflicts: 459000 | #Constraints: 27416
646.28/647.96 c #Conflicts: 460000 | #Constraints: 28416
646.28/647.96 c INPROCESSING
646.28/647.96 c GARBAGE COLLECT
646.28/647.96 c #Conflicts: 461000 | #Constraints: 16015
646.28/647.96 c #Conflicts: 462000 | #Constraints: 17015
646.28/647.96 c #Conflicts: 463000 | #Constraints: 18015
646.28/647.96 c #Conflicts: 464000 | #Constraints: 19015
646.28/647.96 c #Conflicts: 465000 | #Constraints: 20015
646.28/647.96 c #Conflicts: 466000 | #Constraints: 21015
646.28/647.96 c #Conflicts: 467000 | #Constraints: 22015
646.28/647.96 c #Conflicts: 468000 | #Constraints: 23015
646.28/647.96 c #Conflicts: 469000 | #Constraints: 24015
646.28/647.96 c #Conflicts: 470000 | #Constraints: 25015
646.28/647.96 c #Conflicts: 471000 | #Constraints: 26015
646.28/647.96 c #Conflicts: 472000 | #Constraints: 27015
646.28/647.96 c #Conflicts: 473000 | #Constraints: 28015
646.28/647.96 c #Conflicts: 474000 | #Constraints: 29015
646.28/647.96 c INPROCESSING
646.28/647.96 c GARBAGE COLLECT
646.28/647.96 c #Conflicts: 475000 | #Constraints: 16423
646.28/647.96 c #Conflicts: 476000 | #Constraints: 17423
646.28/647.96 c #Conflicts: 477000 | #Constraints: 18423
646.28/647.96 c #Conflicts: 478000 | #Constraints: 19423
646.28/647.96 c #Conflicts: 479000 | #Constraints: 20423
646.28/647.96 c #Conflicts: 480000 | #Constraints: 21423
646.28/647.96 c #Conflicts: 481000 | #Constraints: 22423
646.28/647.96 c #Conflicts: 482000 | #Constraints: 23423
646.28/647.96 c #Conflicts: 483000 | #Constraints: 24423
646.28/647.96 c #Conflicts: 484000 | #Constraints: 25423
646.28/647.96 c #Conflicts: 485000 | #Constraints: 26423
646.28/647.96 c #Conflicts: 486000 | #Constraints: 27423
646.28/647.96 c #Conflicts: 487000 | #Constraints: 28423
646.28/647.96 c #Conflicts: 488000 | #Constraints: 29423
646.28/647.96 c INPROCESSING
646.28/647.96 c GARBAGE COLLECT
646.28/647.96 c #Conflicts: 489000 | #Constraints: 16615
646.28/647.96 c #Conflicts: 490000 | #Constraints: 17615
646.28/647.96 c #Conflicts: 491000 | #Constraints: 18615
646.28/647.96 c #Conflicts: 492000 | #Constraints: 19615
646.28/647.96 c #Conflicts: 493000 | #Constraints: 20615
646.28/647.96 c #Conflicts: 494000 | #Constraints: 21615
646.28/647.96 c #Conflicts: 495000 | #Constraints: 22615
646.28/647.96 c #Conflicts: 496000 | #Constraints: 23615
646.28/647.96 c #Conflicts: 497000 | #Constraints: 24615
646.28/647.96 c #Conflicts: 498000 | #Constraints: 25615
646.28/647.96 c #Conflicts: 499000 | #Constraints: 26615
646.28/647.96 c GLOBAL bounds - >= 1666633367675 @ 632.884
646.28/647.97 c GLOBAL bounds - >= 1666633367675 @ 632.901
646.38/648.00 c GLOBAL bounds - >= 1666633367675 @ 632.915
646.38/648.00 c GLOBAL bounds - >= 1666633367675 @ 632.919
646.38/648.03 c GLOBAL bounds - >= 1666633367675 @ 632.933
646.38/648.03 c GLOBAL bounds - >= 1666633367675 @ 632.937
646.38/648.06 c GLOBAL bounds - >= 1666633367675 @ 632.947
646.38/648.06 c GLOBAL bounds - >= 1666633367675 @ 632.948
646.38/648.09 c GLOBAL bounds - >= 1666633367675 @ 632.966
646.38/648.10 c GLOBAL bounds - >= 1666633367675 @ 632.969
646.48/648.12 c GLOBAL bounds - >= 1666633367675 @ 632.985
646.48/648.13 c GLOBAL bounds - >= 1666633367675 @ 632.988
646.48/648.15 c GLOBAL bounds - >= 1666633367675 @ 633.001
646.48/648.16 c GLOBAL bounds - >= 1666633367675 @ 633.003
646.48/648.18 c GLOBAL bounds - >= 1666633367675 @ 633.021
646.48/648.19 c GLOBAL bounds - >= 1666633367675 @ 633.024
646.58/648.22 c GLOBAL bounds - >= 1666633367675 @ 633.042
646.58/648.22 c GLOBAL bounds - >= 1666633367675 @ 633.044
646.58/648.25 c GLOBAL bounds - >= 1666633367675 @ 633.058
646.58/648.25 c GLOBAL bounds - >= 1666633367675 @ 633.061
646.58/648.28 c GLOBAL bounds - >= 1666633367675 @ 633.08
655.46/657.18 c #Conflicts: 500000 | #Constraints: 27645
655.46/657.18 c #Conflicts: 501000 | #Constraints: 28645
655.46/657.18 c #Conflicts: 502000 | #Constraints: 29645
655.46/657.18 c INPROCESSING
655.46/657.18 c GARBAGE COLLECT
655.46/657.18 c #Conflicts: 503000 | #Constraints: 16648
655.46/657.18 c #Conflicts: 504000 | #Constraints: 17648
655.46/657.18 c #Conflicts: 505000 | #Constraints: 18648
655.46/657.18 c #Conflicts: 506000 | #Constraints: 19648
655.46/657.18 c #Conflicts: 507000 | #Constraints: 20648
655.46/657.18 c #Conflicts: 508000 | #Constraints: 21648
655.46/657.18 c GLOBAL bounds - >= 1666633367675 @ 641.887
658.15/659.88 c #Conflicts: 509000 | #Constraints: 22648
658.15/659.88 c #Conflicts: 510000 | #Constraints: 23648
658.15/659.88 c #Conflicts: 511000 | #Constraints: 24648
658.15/659.88 c GLOBAL bounds - >= 1666633367675 @ 644.538
658.85/660.50 c #Conflicts: 512000 | #Constraints: 25651
658.85/660.50 c GLOBAL bounds - >= 1666633367675 @ 645.14
658.85/660.58 c GLOBAL bounds - >= 1666633367675 @ 645.21
659.14/660.82 c GLOBAL bounds - >= 1666633367675 @ 645.434
746.73/748.68 c #Conflicts: 513000 | #Constraints: 26657
746.73/748.68 c #Conflicts: 514000 | #Constraints: 27657
746.73/748.68 c #Conflicts: 515000 | #Constraints: 28657
746.73/748.68 c #Conflicts: 516000 | #Constraints: 29657
746.73/748.68 c INPROCESSING
746.73/748.68 c GARBAGE COLLECT
746.73/748.68 c #Conflicts: 517000 | #Constraints: 16450
746.73/748.68 c #Conflicts: 518000 | #Constraints: 17450
746.73/748.68 c #Conflicts: 519000 | #Constraints: 18450
746.73/748.68 c #Conflicts: 520000 | #Constraints: 19450
746.73/748.68 c #Conflicts: 521000 | #Constraints: 20450
746.73/748.68 c #Conflicts: 522000 | #Constraints: 21450
746.73/748.68 c #Conflicts: 523000 | #Constraints: 22450
746.73/748.68 c #Conflicts: 524000 | #Constraints: 23450
746.73/748.68 c #Conflicts: 525000 | #Constraints: 24450
746.73/748.68 c #Conflicts: 526000 | #Constraints: 25450
746.73/748.68 c #Conflicts: 527000 | #Constraints: 26450
746.73/748.68 c #Conflicts: 528000 | #Constraints: 27450
746.73/748.68 c #Conflicts: 529000 | #Constraints: 28450
746.73/748.68 c #Conflicts: 530000 | #Constraints: 29450
746.73/748.68 c #Conflicts: 531000 | #Constraints: 30450
746.73/748.68 c INPROCESSING
746.73/748.68 c GARBAGE COLLECT
746.73/748.68 c #Conflicts: 532000 | #Constraints: 17051
746.73/748.68 c #Conflicts: 533000 | #Constraints: 18051
746.73/748.68 c #Conflicts: 534000 | #Constraints: 19051
746.73/748.68 c #Conflicts: 535000 | #Constraints: 20051
746.73/748.68 c #Conflicts: 536000 | #Constraints: 21051
746.73/748.68 c #Conflicts: 537000 | #Constraints: 22051
746.73/748.68 c #Conflicts: 538000 | #Constraints: 23051
746.73/748.68 c #Conflicts: 539000 | #Constraints: 24051
746.73/748.68 c #Conflicts: 540000 | #Constraints: 25051
746.73/748.68 c #Conflicts: 541000 | #Constraints: 26051
746.73/748.68 c #Conflicts: 542000 | #Constraints: 27051
746.73/748.68 c #Conflicts: 543000 | #Constraints: 28051
746.73/748.68 c #Conflicts: 544000 | #Constraints: 29051
746.73/748.68 c #Conflicts: 545000 | #Constraints: 30051
746.73/748.68 c #Conflicts: 546000 | #Constraints: 31051
746.73/748.68 c INPROCESSING
746.73/748.68 c GARBAGE COLLECT
746.73/748.68 c #Conflicts: 547000 | #Constraints: 17451
746.73/748.68 c #Conflicts: 548000 | #Constraints: 18451
746.73/748.68 c #Conflicts: 549000 | #Constraints: 19451
746.73/748.68 c #Conflicts: 550000 | #Constraints: 20451
746.73/748.68 c #Conflicts: 551000 | #Constraints: 21451
746.73/748.68 c #Conflicts: 552000 | #Constraints: 22451
746.73/748.68 c #Conflicts: 553000 | #Constraints: 23451
746.73/748.68 c #Conflicts: 554000 | #Constraints: 24451
746.73/748.68 c #Conflicts: 555000 | #Constraints: 25451
746.73/748.68 c #Conflicts: 556000 | #Constraints: 26451
746.73/748.68 c #Conflicts: 557000 | #Constraints: 27451
746.73/748.68 c #Conflicts: 558000 | #Constraints: 28451
746.73/748.68 c #Conflicts: 559000 | #Constraints: 29451
746.73/748.68 c #Conflicts: 560000 | #Constraints: 30451
746.73/748.68 c #Conflicts: 561000 | #Constraints: 31451
746.73/748.68 c INPROCESSING
746.73/748.68 c GARBAGE COLLECT
746.73/748.68 c #Conflicts: 562000 | #Constraints: 17650
746.73/748.68 c #Conflicts: 563000 | #Constraints: 18650
746.73/748.68 c #Conflicts: 564000 | #Constraints: 19650
746.73/748.68 c #Conflicts: 565000 | #Constraints: 20650
746.73/748.68 c #Conflicts: 566000 | #Constraints: 21650
746.73/748.68 c #Conflicts: 567000 | #Constraints: 22650
746.73/748.68 c #Conflicts: 568000 | #Constraints: 23650
746.73/748.68 c #Conflicts: 569000 | #Constraints: 24650
746.73/748.68 c #Conflicts: 570000 | #Constraints: 25650
746.73/748.68 c #Conflicts: 571000 | #Constraints: 26650
746.73/748.68 c #Conflicts: 572000 | #Constraints: 27650
746.73/748.68 c #Conflicts: 573000 | #Constraints: 28650
746.73/748.68 c #Conflicts: 574000 | #Constraints: 29650
746.73/748.68 c #Conflicts: 575000 | #Constraints: 30650
746.73/748.68 c #Conflicts: 576000 | #Constraints: 31650
746.73/748.68 c INPROCESSING
746.73/748.68 c GARBAGE COLLECT
746.73/748.68 c #Conflicts: 577000 | #Constraints: 17646
746.73/748.68 c #Conflicts: 578000 | #Constraints: 18646
746.73/748.68 c #Conflicts: 579000 | #Constraints: 19646
746.73/748.68 c #Conflicts: 580000 | #Constraints: 20646
746.73/748.68 c #Conflicts: 581000 | #Constraints: 21646
746.73/748.68 c #Conflicts: 582000 | #Constraints: 22646
746.73/748.68 c #Conflicts: 583000 | #Constraints: 23646
746.73/748.68 c #Conflicts: 584000 | #Constraints: 24646
746.73/748.68 c #Conflicts: 585000 | #Constraints: 25646
746.73/748.68 c #Conflicts: 586000 | #Constraints: 26646
746.73/748.68 c #Conflicts: 587000 | #Constraints: 27646
746.73/748.68 c #Conflicts: 588000 | #Constraints: 28646
833.61/835.72 c #Conflicts: 589000 | #Constraints: 29646
833.61/835.72 c #Conflicts: 590000 | #Constraints: 30646
833.61/835.72 c #Conflicts: 591000 | #Constraints: 31646
833.61/835.72 c INPROCESSING
833.61/835.72 c GARBAGE COLLECT
833.61/835.72 c #Conflicts: 592000 | #Constraints: 17457
833.61/835.72 c #Conflicts: 593000 | #Constraints: 18457
833.61/835.72 c #Conflicts: 594000 | #Constraints: 19457
833.61/835.72 c #Conflicts: 595000 | #Constraints: 20457
833.61/835.72 c #Conflicts: 596000 | #Constraints: 21457
833.61/835.72 c #Conflicts: 597000 | #Constraints: 22457
833.61/835.72 c #Conflicts: 598000 | #Constraints: 23457
833.61/835.72 c #Conflicts: 599000 | #Constraints: 24457
833.61/835.72 c #Conflicts: 600000 | #Constraints: 25457
833.61/835.72 c #Conflicts: 601000 | #Constraints: 26457
833.61/835.72 c #Conflicts: 602000 | #Constraints: 27457
833.61/835.72 c #Conflicts: 603000 | #Constraints: 28457
833.61/835.72 c #Conflicts: 604000 | #Constraints: 29457
833.61/835.72 c #Conflicts: 605000 | #Constraints: 30457
833.61/835.72 c #Conflicts: 606000 | #Constraints: 31457
833.61/835.72 c #Conflicts: 607000 | #Constraints: 32457
833.61/835.72 c INPROCESSING
833.61/835.72 c GARBAGE COLLECT
833.61/835.72 c #Conflicts: 608000 | #Constraints: 18065
833.61/835.72 c #Conflicts: 609000 | #Constraints: 19065
833.61/835.72 c #Conflicts: 610000 | #Constraints: 20065
833.61/835.72 c #Conflicts: 611000 | #Constraints: 21065
833.61/835.72 c #Conflicts: 612000 | #Constraints: 22065
833.61/835.72 c #Conflicts: 613000 | #Constraints: 23065
833.61/835.72 c #Conflicts: 614000 | #Constraints: 24065
833.61/835.72 c #Conflicts: 615000 | #Constraints: 25065
833.61/835.72 c #Conflicts: 616000 | #Constraints: 26065
833.61/835.72 c #Conflicts: 617000 | #Constraints: 27065
833.61/835.72 c #Conflicts: 618000 | #Constraints: 28065
833.61/835.72 c #Conflicts: 619000 | #Constraints: 29065
833.61/835.72 c #Conflicts: 620000 | #Constraints: 30065
833.61/835.72 c #Conflicts: 621000 | #Constraints: 31065
833.61/835.72 c #Conflicts: 622000 | #Constraints: 32065
833.61/835.72 c #Conflicts: 623000 | #Constraints: 33065
833.61/835.72 c INPROCESSING
833.61/835.72 c GARBAGE COLLECT
833.61/835.72 c #Conflicts: 624000 | #Constraints: 18450
833.61/835.72 c #Conflicts: 625000 | #Constraints: 19450
833.61/835.72 c #Conflicts: 626000 | #Constraints: 20450
833.61/835.72 c #Conflicts: 627000 | #Constraints: 21450
833.61/835.72 c #Conflicts: 628000 | #Constraints: 22450
833.61/835.72 c #Conflicts: 629000 | #Constraints: 23450
833.61/835.72 c #Conflicts: 630000 | #Constraints: 24450
833.61/835.72 c #Conflicts: 631000 | #Constraints: 25450
833.61/835.72 c #Conflicts: 632000 | #Constraints: 26450
833.61/835.72 c #Conflicts: 633000 | #Constraints: 27450
833.61/835.72 c #Conflicts: 634000 | #Constraints: 28450
833.61/835.72 c #Conflicts: 635000 | #Constraints: 29450
833.61/835.72 c #Conflicts: 636000 | #Constraints: 30450
833.61/835.72 c #Conflicts: 637000 | #Constraints: 31450
833.61/835.72 c #Conflicts: 638000 | #Constraints: 32450
833.61/835.72 c #Conflicts: 639000 | #Constraints: 33450
833.61/835.72 c INPROCESSING
833.61/835.72 c GARBAGE COLLECT
833.61/835.72 c #Conflicts: 640000 | #Constraints: 18652
833.61/835.72 c #Conflicts: 641000 | #Constraints: 19652
833.61/835.72 c #Conflicts: 642000 | #Constraints: 20652
833.61/835.72 c #Conflicts: 643000 | #Constraints: 21652
833.61/835.72 c #Conflicts: 644000 | #Constraints: 22652
833.61/835.72 c #Conflicts: 645000 | #Constraints: 23652
833.61/835.72 c #Conflicts: 646000 | #Constraints: 24652
833.61/835.72 c #Conflicts: 647000 | #Constraints: 25652
833.61/835.72 c #Conflicts: 648000 | #Constraints: 26652
833.61/835.72 c #Conflicts: 649000 | #Constraints: 27652
833.61/835.72 c #Conflicts: 650000 | #Constraints: 28652
833.61/835.72 c #Conflicts: 651000 | #Constraints: 29652
833.61/835.72 c #Conflicts: 652000 | #Constraints: 30652
833.61/835.72 c #Conflicts: 653000 | #Constraints: 31652
833.61/835.72 c #Conflicts: 654000 | #Constraints: 32652
833.61/835.72 c #Conflicts: 655000 | #Constraints: 33652
833.61/835.72 c INPROCESSING
833.61/835.72 c GARBAGE COLLECT
833.61/835.72 c #Conflicts: 656000 | #Constraints: 18647
833.61/835.72 c #Conflicts: 657000 | #Constraints: 19647
833.61/835.72 c #Conflicts: 658000 | #Constraints: 20647
833.61/835.72 c #Conflicts: 659000 | #Constraints: 21647
833.61/835.72 c #Conflicts: 660000 | #Constraints: 22647
833.61/835.72 c #Conflicts: 661000 | #Constraints: 23647
833.61/835.72 c #Conflicts: 662000 | #Constraints: 24647
833.61/835.72 c #Conflicts: 663000 | #Constraints: 25647
833.61/835.72 c #Conflicts: 664000 | #Constraints: 26647
932.57/934.95 c #Conflicts: 665000 | #Constraints: 27647
932.57/934.95 c #Conflicts: 666000 | #Constraints: 28647
932.57/934.95 c #Conflicts: 667000 | #Constraints: 29647
932.57/934.95 c #Conflicts: 668000 | #Constraints: 30647
932.57/934.95 c #Conflicts: 669000 | #Constraints: 31647
932.57/934.95 c #Conflicts: 670000 | #Constraints: 32647
932.57/934.95 c #Conflicts: 671000 | #Constraints: 33647
932.57/934.95 c INPROCESSING
932.57/934.95 c GARBAGE COLLECT
932.57/934.95 c #Conflicts: 672000 | #Constraints: 18456
932.57/934.95 c #Conflicts: 673000 | #Constraints: 19456
932.57/934.95 c #Conflicts: 674000 | #Constraints: 20456
932.57/934.95 c #Conflicts: 675000 | #Constraints: 21456
932.57/934.95 c #Conflicts: 676000 | #Constraints: 22456
932.57/934.95 c #Conflicts: 677000 | #Constraints: 23456
932.57/934.95 c #Conflicts: 678000 | #Constraints: 24456
932.57/934.95 c #Conflicts: 679000 | #Constraints: 25456
932.57/934.95 c #Conflicts: 680000 | #Constraints: 26456
932.57/934.95 c #Conflicts: 681000 | #Constraints: 27456
932.57/934.95 c #Conflicts: 682000 | #Constraints: 28456
932.57/934.95 c #Conflicts: 683000 | #Constraints: 29456
932.57/934.95 c #Conflicts: 684000 | #Constraints: 30456
932.57/934.95 c #Conflicts: 685000 | #Constraints: 31456
932.57/934.95 c #Conflicts: 686000 | #Constraints: 32456
932.57/934.95 c #Conflicts: 687000 | #Constraints: 33456
932.57/934.95 c #Conflicts: 688000 | #Constraints: 34456
932.57/934.95 c INPROCESSING
932.57/934.95 c GARBAGE COLLECT
932.57/934.95 c #Conflicts: 689000 | #Constraints: 19059
932.57/934.95 c #Conflicts: 690000 | #Constraints: 20059
932.57/934.95 c #Conflicts: 691000 | #Constraints: 21059
932.57/934.95 c #Conflicts: 692000 | #Constraints: 22059
932.57/934.95 c #Conflicts: 693000 | #Constraints: 23059
932.57/934.95 c #Conflicts: 694000 | #Constraints: 24059
932.57/934.95 c #Conflicts: 695000 | #Constraints: 25059
932.57/934.95 c #Conflicts: 696000 | #Constraints: 26059
932.57/934.95 c #Conflicts: 697000 | #Constraints: 27059
932.57/934.95 c #Conflicts: 698000 | #Constraints: 28059
932.57/934.95 c #Conflicts: 699000 | #Constraints: 29059
932.57/934.95 c #Conflicts: 700000 | #Constraints: 30059
932.57/934.95 c #Conflicts: 701000 | #Constraints: 31059
932.57/934.95 c #Conflicts: 702000 | #Constraints: 32059
932.57/934.95 c #Conflicts: 703000 | #Constraints: 33059
932.57/934.95 c #Conflicts: 704000 | #Constraints: 34059
932.57/934.95 c #Conflicts: 705000 | #Constraints: 35059
932.57/934.95 c INPROCESSING
932.57/934.95 c GARBAGE COLLECT
932.57/934.95 c #Conflicts: 706000 | #Constraints: 19457
932.57/934.95 c #Conflicts: 707000 | #Constraints: 20457
932.57/934.95 c #Conflicts: 708000 | #Constraints: 21457
932.57/934.95 c #Conflicts: 709000 | #Constraints: 22457
932.57/934.95 c #Conflicts: 710000 | #Constraints: 23457
932.57/934.95 c #Conflicts: 711000 | #Constraints: 24457
932.57/934.95 c #Conflicts: 712000 | #Constraints: 25457
932.57/934.95 c #Conflicts: 713000 | #Constraints: 26457
932.57/934.95 c #Conflicts: 714000 | #Constraints: 27457
932.57/934.95 c #Conflicts: 715000 | #Constraints: 28457
932.57/934.95 c #Conflicts: 716000 | #Constraints: 29457
932.57/934.95 c #Conflicts: 717000 | #Constraints: 30457
932.57/934.95 c #Conflicts: 718000 | #Constraints: 31457
932.57/934.95 c #Conflicts: 719000 | #Constraints: 32457
932.57/934.95 c #Conflicts: 720000 | #Constraints: 33457
932.57/934.95 c #Conflicts: 721000 | #Constraints: 34457
932.57/934.95 c #Conflicts: 722000 | #Constraints: 35457
932.57/934.95 c INPROCESSING
932.57/934.95 c GARBAGE COLLECT
932.57/934.95 c #Conflicts: 723000 | #Constraints: 19659
932.57/934.95 c #Conflicts: 724000 | #Constraints: 20659
932.57/934.95 c #Conflicts: 725000 | #Constraints: 21659
932.57/934.95 c #Conflicts: 726000 | #Constraints: 22659
932.57/934.95 c #Conflicts: 727000 | #Constraints: 23659
932.57/934.95 c #Conflicts: 728000 | #Constraints: 24659
932.57/934.95 c #Conflicts: 729000 | #Constraints: 25659
932.57/934.95 c #Conflicts: 730000 | #Constraints: 26659
932.57/934.95 c #Conflicts: 731000 | #Constraints: 27659
932.57/934.95 c #Conflicts: 732000 | #Constraints: 28659
932.57/934.95 c #Conflicts: 733000 | #Constraints: 29659
932.57/934.95 c #Conflicts: 734000 | #Constraints: 30659
932.57/934.95 c #Conflicts: 735000 | #Constraints: 31659
932.57/934.95 c #Conflicts: 736000 | #Constraints: 32659
932.57/934.95 c #Conflicts: 737000 | #Constraints: 33659
932.57/934.95 c #Conflicts: 738000 | #Constraints: 34659
932.57/934.95 c #Conflicts: 739000 | #Constraints: 35659
932.57/934.95 c INPROCESSING
932.57/934.95 c GARBAGE COLLECT
1041.49/1044.16 c #Conflicts: 740000 | #Constraints: 19662
1041.49/1044.16 c #Conflicts: 741000 | #Constraints: 20662
1041.49/1044.16 c #Conflicts: 742000 | #Constraints: 21662
1041.49/1044.16 c #Conflicts: 743000 | #Constraints: 22662
1041.49/1044.16 c #Conflicts: 744000 | #Constraints: 23662
1041.49/1044.16 c #Conflicts: 745000 | #Constraints: 24662
1041.49/1044.16 c #Conflicts: 746000 | #Constraints: 25662
1041.49/1044.16 c #Conflicts: 747000 | #Constraints: 26662
1041.49/1044.16 c #Conflicts: 748000 | #Constraints: 27662
1041.49/1044.16 c #Conflicts: 749000 | #Constraints: 28662
1041.49/1044.16 c #Conflicts: 750000 | #Constraints: 29662
1041.49/1044.16 c #Conflicts: 751000 | #Constraints: 30662
1041.49/1044.16 c #Conflicts: 752000 | #Constraints: 31662
1041.49/1044.16 c #Conflicts: 753000 | #Constraints: 32662
1041.49/1044.16 c #Conflicts: 754000 | #Constraints: 33662
1041.49/1044.16 c #Conflicts: 755000 | #Constraints: 34662
1041.49/1044.16 c #Conflicts: 756000 | #Constraints: 35662
1041.49/1044.16 c INPROCESSING
1041.49/1044.16 c GARBAGE COLLECT
1041.49/1044.16 c #Conflicts: 757000 | #Constraints: 19450
1041.49/1044.16 c #Conflicts: 758000 | #Constraints: 20450
1041.49/1044.16 c #Conflicts: 759000 | #Constraints: 21450
1041.49/1044.16 c #Conflicts: 760000 | #Constraints: 22450
1041.49/1044.16 c #Conflicts: 761000 | #Constraints: 23450
1041.49/1044.16 c #Conflicts: 762000 | #Constraints: 24450
1041.49/1044.16 c #Conflicts: 763000 | #Constraints: 25450
1041.49/1044.16 c #Conflicts: 764000 | #Constraints: 26450
1041.49/1044.16 c #Conflicts: 765000 | #Constraints: 27450
1041.49/1044.16 c #Conflicts: 766000 | #Constraints: 28450
1041.49/1044.16 c #Conflicts: 767000 | #Constraints: 29450
1041.49/1044.16 c #Conflicts: 768000 | #Constraints: 30450
1041.49/1044.16 c #Conflicts: 769000 | #Constraints: 31450
1041.49/1044.16 c #Conflicts: 770000 | #Constraints: 32450
1041.49/1044.16 c #Conflicts: 771000 | #Constraints: 33450
1041.49/1044.16 c #Conflicts: 772000 | #Constraints: 34450
1041.49/1044.16 c #Conflicts: 773000 | #Constraints: 35450
1041.49/1044.16 c #Conflicts: 774000 | #Constraints: 36450
1041.49/1044.16 c INPROCESSING
1041.49/1044.16 c GARBAGE COLLECT
1041.49/1044.16 c #Conflicts: 775000 | #Constraints: 20062
1041.49/1044.16 c #Conflicts: 776000 | #Constraints: 21062
1041.49/1044.16 c #Conflicts: 777000 | #Constraints: 22062
1041.49/1044.16 c #Conflicts: 778000 | #Constraints: 23062
1041.49/1044.16 c #Conflicts: 779000 | #Constraints: 24062
1041.49/1044.16 c #Conflicts: 780000 | #Constraints: 25062
1041.49/1044.16 c #Conflicts: 781000 | #Constraints: 26062
1041.49/1044.16 c #Conflicts: 782000 | #Constraints: 27062
1041.49/1044.16 c #Conflicts: 783000 | #Constraints: 28062
1041.49/1044.16 c #Conflicts: 784000 | #Constraints: 29062
1041.49/1044.16 c #Conflicts: 785000 | #Constraints: 30062
1041.49/1044.16 c #Conflicts: 786000 | #Constraints: 31062
1041.49/1044.16 c #Conflicts: 787000 | #Constraints: 32062
1041.49/1044.16 c #Conflicts: 788000 | #Constraints: 33062
1041.49/1044.16 c #Conflicts: 789000 | #Constraints: 34062
1041.49/1044.16 c #Conflicts: 790000 | #Constraints: 35062
1041.49/1044.16 c #Conflicts: 791000 | #Constraints: 36062
1041.49/1044.16 c #Conflicts: 792000 | #Constraints: 37062
1041.49/1044.16 c INPROCESSING
1041.49/1044.16 c GARBAGE COLLECT
1041.49/1044.16 c #Conflicts: 793000 | #Constraints: 20464
1041.49/1044.16 c #Conflicts: 794000 | #Constraints: 21464
1041.49/1044.16 c #Conflicts: 795000 | #Constraints: 22464
1041.49/1044.16 c #Conflicts: 796000 | #Constraints: 23464
1041.49/1044.16 c #Conflicts: 797000 | #Constraints: 24464
1041.49/1044.16 c #Conflicts: 798000 | #Constraints: 25464
1041.49/1044.16 c #Conflicts: 799000 | #Constraints: 26464
1041.49/1044.16 c #Conflicts: 800000 | #Constraints: 27464
1041.49/1044.16 c #Conflicts: 801000 | #Constraints: 28464
1041.49/1044.16 c #Conflicts: 802000 | #Constraints: 29464
1041.49/1044.16 c #Conflicts: 803000 | #Constraints: 30464
1041.49/1044.16 c #Conflicts: 804000 | #Constraints: 31464
1041.49/1044.16 c #Conflicts: 805000 | #Constraints: 32464
1041.49/1044.16 c #Conflicts: 806000 | #Constraints: 33464
1041.49/1044.16 c #Conflicts: 807000 | #Constraints: 34464
1041.49/1044.16 c #Conflicts: 808000 | #Constraints: 35464
1041.49/1044.16 c #Conflicts: 809000 | #Constraints: 36464
1041.49/1044.16 c #Conflicts: 810000 | #Constraints: 37464
1041.49/1044.16 c INPROCESSING
1041.49/1044.16 c GARBAGE COLLECT
1041.49/1044.16 c #Conflicts: 811000 | #Constraints: 20646
1041.49/1044.16 c #Conflicts: 812000 | #Constraints: 21646
1041.49/1044.16 c #Conflicts: 813000 | #Constraints: 22646
1041.49/1044.16 c #Conflicts: 814000 | #Constraints: 23646
1041.49/1044.16 c #Conflicts: 815000 | #Constraints: 24646
1041.49/1044.16 c #Conflicts: 816000 | #Constraints: 25646
1176.45/1179.42 c #Conflicts: 817000 | #Constraints: 26646
1176.45/1179.42 c #Conflicts: 818000 | #Constraints: 27646
1176.45/1179.42 c #Conflicts: 819000 | #Constraints: 28646
1176.45/1179.42 c #Conflicts: 820000 | #Constraints: 29646
1176.45/1179.42 c #Conflicts: 821000 | #Constraints: 30646
1176.45/1179.42 c #Conflicts: 822000 | #Constraints: 31646
1176.45/1179.42 c #Conflicts: 823000 | #Constraints: 32646
1176.45/1179.42 c #Conflicts: 824000 | #Constraints: 33646
1176.45/1179.42 c #Conflicts: 825000 | #Constraints: 34646
1176.45/1179.42 c #Conflicts: 826000 | #Constraints: 35646
1176.45/1179.42 c #Conflicts: 827000 | #Constraints: 36646
1176.45/1179.42 c #Conflicts: 828000 | #Constraints: 37646
1176.45/1179.42 c INPROCESSING
1176.45/1179.42 c GARBAGE COLLECT
1176.45/1179.42 c #Conflicts: 829000 | #Constraints: 20640
1176.45/1179.42 c #Conflicts: 830000 | #Constraints: 21640
1176.45/1179.42 c #Conflicts: 831000 | #Constraints: 22640
1176.45/1179.42 c #Conflicts: 832000 | #Constraints: 23640
1176.45/1179.42 c #Conflicts: 833000 | #Constraints: 24640
1176.45/1179.42 c #Conflicts: 834000 | #Constraints: 25640
1176.45/1179.42 c #Conflicts: 835000 | #Constraints: 26640
1176.45/1179.42 c #Conflicts: 836000 | #Constraints: 27640
1176.45/1179.42 c #Conflicts: 837000 | #Constraints: 28640
1176.45/1179.42 c #Conflicts: 838000 | #Constraints: 29640
1176.45/1179.42 c #Conflicts: 839000 | #Constraints: 30640
1176.45/1179.42 c #Conflicts: 840000 | #Constraints: 31640
1176.45/1179.42 c #Conflicts: 841000 | #Constraints: 32640
1176.45/1179.42 c #Conflicts: 842000 | #Constraints: 33640
1176.45/1179.42 c #Conflicts: 843000 | #Constraints: 34640
1176.45/1179.42 c #Conflicts: 844000 | #Constraints: 35640
1176.45/1179.42 c #Conflicts: 845000 | #Constraints: 36640
1176.45/1179.42 c #Conflicts: 846000 | #Constraints: 37640
1176.45/1179.42 c INPROCESSING
1176.45/1179.42 c GARBAGE COLLECT
1176.45/1179.42 c #Conflicts: 847000 | #Constraints: 20446
1176.45/1179.42 c #Conflicts: 848000 | #Constraints: 21446
1176.45/1179.42 c #Conflicts: 849000 | #Constraints: 22446
1176.45/1179.42 c #Conflicts: 850000 | #Constraints: 23446
1176.45/1179.42 c #Conflicts: 851000 | #Constraints: 24446
1176.45/1179.42 c #Conflicts: 852000 | #Constraints: 25446
1176.45/1179.42 c #Conflicts: 853000 | #Constraints: 26446
1176.45/1179.42 c #Conflicts: 854000 | #Constraints: 27446
1176.45/1179.42 c #Conflicts: 855000 | #Constraints: 28446
1176.45/1179.42 c #Conflicts: 856000 | #Constraints: 29446
1176.45/1179.42 c #Conflicts: 857000 | #Constraints: 30446
1176.45/1179.42 c #Conflicts: 858000 | #Constraints: 31446
1176.45/1179.42 c #Conflicts: 859000 | #Constraints: 32446
1176.45/1179.42 c #Conflicts: 860000 | #Constraints: 33446
1176.45/1179.42 c #Conflicts: 861000 | #Constraints: 34446
1176.45/1179.42 c #Conflicts: 862000 | #Constraints: 35446
1176.45/1179.42 c #Conflicts: 863000 | #Constraints: 36446
1176.45/1179.42 c #Conflicts: 864000 | #Constraints: 37446
1176.45/1179.42 c #Conflicts: 865000 | #Constraints: 38446
1176.45/1179.42 c INPROCESSING
1176.45/1179.42 c GARBAGE COLLECT
1176.45/1179.42 c #Conflicts: 866000 | #Constraints: 21044
1176.45/1179.42 c #Conflicts: 867000 | #Constraints: 22044
1176.45/1179.42 c #Conflicts: 868000 | #Constraints: 23044
1176.45/1179.42 c #Conflicts: 869000 | #Constraints: 24044
1176.45/1179.42 c #Conflicts: 870000 | #Constraints: 25044
1176.45/1179.42 c #Conflicts: 871000 | #Constraints: 26044
1176.45/1179.42 c #Conflicts: 872000 | #Constraints: 27044
1176.45/1179.42 c #Conflicts: 873000 | #Constraints: 28044
1176.45/1179.42 c #Conflicts: 874000 | #Constraints: 29044
1176.45/1179.42 c #Conflicts: 875000 | #Constraints: 30044
1176.45/1179.42 c #Conflicts: 876000 | #Constraints: 31044
1176.45/1179.42 c #Conflicts: 877000 | #Constraints: 32044
1176.45/1179.42 c #Conflicts: 878000 | #Constraints: 33044
1176.45/1179.42 c #Conflicts: 879000 | #Constraints: 34044
1176.45/1179.42 c #Conflicts: 880000 | #Constraints: 35044
1176.45/1179.42 c #Conflicts: 881000 | #Constraints: 36044
1176.45/1179.42 c #Conflicts: 882000 | #Constraints: 37044
1176.45/1179.42 c #Conflicts: 883000 | #Constraints: 38044
1176.45/1179.42 c #Conflicts: 884000 | #Constraints: 39044
1176.45/1179.42 c INPROCESSING
1176.45/1179.42 c GARBAGE COLLECT
1176.45/1179.42 c #Conflicts: 885000 | #Constraints: 21449
1176.45/1179.42 c #Conflicts: 886000 | #Constraints: 22449
1176.45/1179.42 c #Conflicts: 887000 | #Constraints: 23449
1176.45/1179.42 c #Conflicts: 888000 | #Constraints: 24449
1176.45/1179.42 c #Conflicts: 889000 | #Constraints: 25449
1176.45/1179.42 c #Conflicts: 890000 | #Constraints: 26449
1176.45/1179.42 c #Conflicts: 891000 | #Constraints: 27449
1176.45/1179.42 c #Conflicts: 892000 | #Constraints: 28449
1308.32/1311.62 c #Conflicts: 893000 | #Constraints: 29449
1308.32/1311.62 c #Conflicts: 894000 | #Constraints: 30449
1308.32/1311.62 c #Conflicts: 895000 | #Constraints: 31449
1308.32/1311.62 c #Conflicts: 896000 | #Constraints: 32449
1308.32/1311.62 c #Conflicts: 897000 | #Constraints: 33449
1308.32/1311.62 c #Conflicts: 898000 | #Constraints: 34449
1308.32/1311.62 c #Conflicts: 899000 | #Constraints: 35449
1308.32/1311.62 c #Conflicts: 900000 | #Constraints: 36449
1308.32/1311.62 c #Conflicts: 901000 | #Constraints: 37449
1308.32/1311.62 c #Conflicts: 902000 | #Constraints: 38449
1308.32/1311.62 c #Conflicts: 903000 | #Constraints: 39449
1308.32/1311.62 c INPROCESSING
1308.32/1311.62 c GARBAGE COLLECT
1308.32/1311.62 c #Conflicts: 904000 | #Constraints: 21645
1308.32/1311.62 c #Conflicts: 905000 | #Constraints: 22645
1308.32/1311.62 c #Conflicts: 906000 | #Constraints: 23645
1308.32/1311.62 c #Conflicts: 907000 | #Constraints: 24645
1308.32/1311.62 c #Conflicts: 908000 | #Constraints: 25645
1308.32/1311.62 c #Conflicts: 909000 | #Constraints: 26645
1308.32/1311.62 c #Conflicts: 910000 | #Constraints: 27645
1308.32/1311.62 c #Conflicts: 911000 | #Constraints: 28645
1308.32/1311.62 c #Conflicts: 912000 | #Constraints: 29645
1308.32/1311.62 c #Conflicts: 913000 | #Constraints: 30645
1308.32/1311.62 c #Conflicts: 914000 | #Constraints: 31645
1308.32/1311.62 c #Conflicts: 915000 | #Constraints: 32645
1308.32/1311.62 c #Conflicts: 916000 | #Constraints: 33645
1308.32/1311.62 c #Conflicts: 917000 | #Constraints: 34645
1308.32/1311.62 c #Conflicts: 918000 | #Constraints: 35645
1308.32/1311.62 c #Conflicts: 919000 | #Constraints: 36645
1308.32/1311.62 c #Conflicts: 920000 | #Constraints: 37645
1308.32/1311.62 c #Conflicts: 921000 | #Constraints: 38645
1308.32/1311.62 c #Conflicts: 922000 | #Constraints: 39645
1308.32/1311.62 c INPROCESSING
1308.32/1311.62 c GARBAGE COLLECT
1308.32/1311.62 c #Conflicts: 923000 | #Constraints: 21652
1308.32/1311.62 c #Conflicts: 924000 | #Constraints: 22652
1308.32/1311.62 c #Conflicts: 925000 | #Constraints: 23652
1308.32/1311.62 c #Conflicts: 926000 | #Constraints: 24652
1308.32/1311.62 c #Conflicts: 927000 | #Constraints: 25652
1308.32/1311.62 c #Conflicts: 928000 | #Constraints: 26652
1308.32/1311.62 c #Conflicts: 929000 | #Constraints: 27652
1308.32/1311.62 c #Conflicts: 930000 | #Constraints: 28652
1308.32/1311.62 c #Conflicts: 931000 | #Constraints: 29652
1308.32/1311.62 c #Conflicts: 932000 | #Constraints: 30652
1308.32/1311.62 c #Conflicts: 933000 | #Constraints: 31652
1308.32/1311.62 c #Conflicts: 934000 | #Constraints: 32652
1308.32/1311.62 c #Conflicts: 935000 | #Constraints: 33652
1308.32/1311.62 c #Conflicts: 936000 | #Constraints: 34652
1308.32/1311.62 c #Conflicts: 937000 | #Constraints: 35652
1308.32/1311.62 c #Conflicts: 938000 | #Constraints: 36652
1308.32/1311.62 c #Conflicts: 939000 | #Constraints: 37652
1308.32/1311.62 c #Conflicts: 940000 | #Constraints: 38652
1308.32/1311.62 c #Conflicts: 941000 | #Constraints: 39652
1308.32/1311.62 c INPROCESSING
1308.32/1311.62 c GARBAGE COLLECT
1308.32/1311.62 c #Conflicts: 942000 | #Constraints: 21453
1308.32/1311.62 c #Conflicts: 943000 | #Constraints: 22453
1308.32/1311.62 c #Conflicts: 944000 | #Constraints: 23453
1308.32/1311.62 c #Conflicts: 945000 | #Constraints: 24453
1308.32/1311.62 c #Conflicts: 946000 | #Constraints: 25453
1308.32/1311.62 c #Conflicts: 947000 | #Constraints: 26453
1308.32/1311.62 c #Conflicts: 948000 | #Constraints: 27453
1308.32/1311.62 c #Conflicts: 949000 | #Constraints: 28453
1308.32/1311.62 c #Conflicts: 950000 | #Constraints: 29453
1308.32/1311.62 c #Conflicts: 951000 | #Constraints: 30453
1308.32/1311.62 c #Conflicts: 952000 | #Constraints: 31453
1308.32/1311.62 c #Conflicts: 953000 | #Constraints: 32453
1308.32/1311.62 c #Conflicts: 954000 | #Constraints: 33453
1308.32/1311.62 c #Conflicts: 955000 | #Constraints: 34453
1308.32/1311.62 c #Conflicts: 956000 | #Constraints: 35453
1308.32/1311.62 c #Conflicts: 957000 | #Constraints: 36453
1308.32/1311.62 c #Conflicts: 958000 | #Constraints: 37453
1308.32/1311.62 c #Conflicts: 959000 | #Constraints: 38453
1308.32/1311.62 c #Conflicts: 960000 | #Constraints: 39453
1308.32/1311.62 c #Conflicts: 961000 | #Constraints: 40453
1308.32/1311.62 c INPROCESSING
1308.32/1311.62 c GARBAGE COLLECT
1308.32/1311.62 c #Conflicts: 962000 | #Constraints: 22048
1308.32/1311.62 c #Conflicts: 963000 | #Constraints: 23048
1308.32/1311.62 c #Conflicts: 964000 | #Constraints: 24048
1308.32/1311.62 c #Conflicts: 965000 | #Constraints: 25048
1308.32/1311.62 c #Conflicts: 966000 | #Constraints: 26048
1308.32/1311.62 c #Conflicts: 967000 | #Constraints: 27048
1308.32/1311.62 c #Conflicts: 968000 | #Constraints: 28048
1413.85/1417.46 c #Conflicts: 969000 | #Constraints: 29048
1413.85/1417.46 c #Conflicts: 970000 | #Constraints: 30048
1413.85/1417.46 c #Conflicts: 971000 | #Constraints: 31048
1413.85/1417.46 c #Conflicts: 972000 | #Constraints: 32048
1413.85/1417.46 c #Conflicts: 973000 | #Constraints: 33048
1413.85/1417.46 c #Conflicts: 974000 | #Constraints: 34048
1413.85/1417.46 c #Conflicts: 975000 | #Constraints: 35048
1413.85/1417.46 c #Conflicts: 976000 | #Constraints: 36048
1413.85/1417.46 c #Conflicts: 977000 | #Constraints: 37048
1413.85/1417.46 c #Conflicts: 978000 | #Constraints: 38048
1413.85/1417.46 c #Conflicts: 979000 | #Constraints: 39048
1413.85/1417.46 c #Conflicts: 980000 | #Constraints: 40048
1413.85/1417.46 c #Conflicts: 981000 | #Constraints: 41048
1413.85/1417.46 c INPROCESSING
1413.85/1417.46 c GARBAGE COLLECT
1413.85/1417.46 c #Conflicts: 982000 | #Constraints: 22464
1413.85/1417.46 c #Conflicts: 983000 | #Constraints: 23464
1413.85/1417.46 c #Conflicts: 984000 | #Constraints: 24464
1413.85/1417.46 c #Conflicts: 985000 | #Constraints: 25464
1413.85/1417.46 c #Conflicts: 986000 | #Constraints: 26464
1413.85/1417.46 c #Conflicts: 987000 | #Constraints: 27464
1413.85/1417.46 c #Conflicts: 988000 | #Constraints: 28464
1413.85/1417.46 c #Conflicts: 989000 | #Constraints: 29464
1413.85/1417.46 c #Conflicts: 990000 | #Constraints: 30464
1413.85/1417.46 c #Conflicts: 991000 | #Constraints: 31464
1413.85/1417.46 c #Conflicts: 992000 | #Constraints: 32464
1413.85/1417.46 c #Conflicts: 993000 | #Constraints: 33464
1413.85/1417.46 c #Conflicts: 994000 | #Constraints: 34464
1413.85/1417.46 c #Conflicts: 995000 | #Constraints: 35464
1413.85/1417.46 c #Conflicts: 996000 | #Constraints: 36464
1413.85/1417.46 c #Conflicts: 997000 | #Constraints: 37464
1413.85/1417.46 c #Conflicts: 998000 | #Constraints: 38464
1413.85/1417.46 c #Conflicts: 999000 | #Constraints: 39464
1413.85/1417.46 c #Conflicts: 1000000 | #Constraints: 40464
1413.85/1417.46 c #Conflicts: 1001000 | #Constraints: 41464
1413.85/1417.46 c INPROCESSING
1413.85/1417.46 c GARBAGE COLLECT
1413.85/1417.46 c #Conflicts: 1002000 | #Constraints: 22666
1413.85/1417.46 c #Conflicts: 1003000 | #Constraints: 23666
1413.85/1417.46 c #Conflicts: 1004000 | #Constraints: 24666
1413.85/1417.46 c #Conflicts: 1005000 | #Constraints: 25666
1413.85/1417.46 c #Conflicts: 1006000 | #Constraints: 26666
1413.85/1417.46 c #Conflicts: 1007000 | #Constraints: 27666
1413.85/1417.46 c #Conflicts: 1008000 | #Constraints: 28666
1413.85/1417.46 c #Conflicts: 1009000 | #Constraints: 29666
1413.85/1417.46 c #Conflicts: 1010000 | #Constraints: 30666
1413.85/1417.46 c #Conflicts: 1011000 | #Constraints: 31666
1413.85/1417.46 c #Conflicts: 1012000 | #Constraints: 32666
1413.85/1417.46 c #Conflicts: 1013000 | #Constraints: 33666
1413.85/1417.46 c #Conflicts: 1014000 | #Constraints: 34666
1413.85/1417.46 c #Conflicts: 1015000 | #Constraints: 35666
1413.85/1417.46 c #Conflicts: 1016000 | #Constraints: 36666
1413.85/1417.46 c #Conflicts: 1017000 | #Constraints: 37666
1413.85/1417.46 c #Conflicts: 1018000 | #Constraints: 38666
1413.85/1417.46 c #Conflicts: 1019000 | #Constraints: 39666
1413.85/1417.46 c #Conflicts: 1020000 | #Constraints: 40666
1413.85/1417.46 c #Conflicts: 1021000 | #Constraints: 41666
1413.85/1417.46 c INPROCESSING
1413.85/1417.46 c GARBAGE COLLECT
1413.85/1417.46 c #Conflicts: 1022000 | #Constraints: 22662
1413.85/1417.46 c #Conflicts: 1023000 | #Constraints: 23662
1413.85/1417.46 c #Conflicts: 1024000 | #Constraints: 24662
1413.85/1417.46 c #Conflicts: 1025000 | #Constraints: 25662
1413.85/1417.46 c #Conflicts: 1026000 | #Constraints: 26662
1413.85/1417.46 c #Conflicts: 1027000 | #Constraints: 27662
1413.85/1417.46 c #Conflicts: 1028000 | #Constraints: 28662
1413.85/1417.46 c #Conflicts: 1029000 | #Constraints: 29662
1413.85/1417.46 c #Conflicts: 1030000 | #Constraints: 30662
1413.85/1417.46 c #Conflicts: 1031000 | #Constraints: 31662
1413.85/1417.46 c #Conflicts: 1032000 | #Constraints: 32662
1413.85/1417.46 c #Conflicts: 1033000 | #Constraints: 33662
1413.85/1417.46 c #Conflicts: 1034000 | #Constraints: 34662
1413.85/1417.46 c #Conflicts: 1035000 | #Constraints: 35662
1413.85/1417.46 c #Conflicts: 1036000 | #Constraints: 36662
1413.85/1417.46 c #Conflicts: 1037000 | #Constraints: 37662
1413.85/1417.46 c #Conflicts: 1038000 | #Constraints: 38662
1413.85/1417.46 c #Conflicts: 1039000 | #Constraints: 39662
1413.85/1417.46 c #Conflicts: 1040000 | #Constraints: 40662
1413.85/1417.46 c #Conflicts: 1041000 | #Constraints: 41662
1413.85/1417.46 c INPROCESSING
1413.85/1417.46 c GARBAGE COLLECT
1413.85/1417.46 c #Conflicts: 1042000 | #Constraints: 22473
1413.85/1417.46 c #Conflicts: 1043000 | #Constraints: 23473
1413.85/1417.46 c #Conflicts: 1044000 | #Constraints: 24473
1580.82/1584.80 c #Conflicts: 1045000 | #Constraints: 25473
1580.82/1584.80 c #Conflicts: 1046000 | #Constraints: 26473
1580.82/1584.80 c #Conflicts: 1047000 | #Constraints: 27473
1580.82/1584.80 c #Conflicts: 1048000 | #Constraints: 28473
1580.82/1584.80 c #Conflicts: 1049000 | #Constraints: 29473
1580.82/1584.80 c #Conflicts: 1050000 | #Constraints: 30473
1580.82/1584.80 c #Conflicts: 1051000 | #Constraints: 31473
1580.82/1584.80 c #Conflicts: 1052000 | #Constraints: 32473
1580.82/1584.80 c #Conflicts: 1053000 | #Constraints: 33473
1580.82/1584.80 c #Conflicts: 1054000 | #Constraints: 34473
1580.82/1584.80 c #Conflicts: 1055000 | #Constraints: 35473
1580.82/1584.80 c #Conflicts: 1056000 | #Constraints: 36473
1580.82/1584.80 c #Conflicts: 1057000 | #Constraints: 37473
1580.82/1584.80 c #Conflicts: 1058000 | #Constraints: 38473
1580.82/1584.80 c #Conflicts: 1059000 | #Constraints: 39473
1580.82/1584.80 c #Conflicts: 1060000 | #Constraints: 40473
1580.82/1584.80 c #Conflicts: 1061000 | #Constraints: 41473
1580.82/1584.80 c #Conflicts: 1062000 | #Constraints: 42473
1580.82/1584.80 c INPROCESSING
1580.82/1584.80 c GARBAGE COLLECT
1580.82/1584.80 c #Conflicts: 1063000 | #Constraints: 23071
1580.82/1584.80 c #Conflicts: 1064000 | #Constraints: 24071
1580.82/1584.80 c #Conflicts: 1065000 | #Constraints: 25071
1580.82/1584.80 c #Conflicts: 1066000 | #Constraints: 26071
1580.82/1584.80 c #Conflicts: 1067000 | #Constraints: 27071
1580.82/1584.80 c #Conflicts: 1068000 | #Constraints: 28071
1580.82/1584.80 c #Conflicts: 1069000 | #Constraints: 29071
1580.82/1584.80 c #Conflicts: 1070000 | #Constraints: 30071
1580.82/1584.80 c #Conflicts: 1071000 | #Constraints: 31071
1580.82/1584.80 c #Conflicts: 1072000 | #Constraints: 32071
1580.82/1584.80 c #Conflicts: 1073000 | #Constraints: 33071
1580.82/1584.80 c #Conflicts: 1074000 | #Constraints: 34071
1580.82/1584.80 c #Conflicts: 1075000 | #Constraints: 35071
1580.82/1584.80 c #Conflicts: 1076000 | #Constraints: 36071
1580.82/1584.80 c #Conflicts: 1077000 | #Constraints: 37071
1580.82/1584.80 c #Conflicts: 1078000 | #Constraints: 38071
1580.82/1584.80 c #Conflicts: 1079000 | #Constraints: 39071
1580.82/1584.80 c #Conflicts: 1080000 | #Constraints: 40071
1580.82/1584.80 c #Conflicts: 1081000 | #Constraints: 41071
1580.82/1584.80 c #Conflicts: 1082000 | #Constraints: 42071
1580.82/1584.80 c #Conflicts: 1083000 | #Constraints: 43071
1580.82/1584.80 c INPROCESSING
1580.82/1584.80 c GARBAGE COLLECT
1580.82/1584.80 c #Conflicts: 1084000 | #Constraints: 23455
1580.82/1584.80 c #Conflicts: 1085000 | #Constraints: 24455
1580.82/1584.80 c #Conflicts: 1086000 | #Constraints: 25455
1580.82/1584.80 c #Conflicts: 1087000 | #Constraints: 26455
1580.82/1584.80 c #Conflicts: 1088000 | #Constraints: 27455
1580.82/1584.80 c #Conflicts: 1089000 | #Constraints: 28455
1580.82/1584.80 c #Conflicts: 1090000 | #Constraints: 29455
1580.82/1584.80 c #Conflicts: 1091000 | #Constraints: 30455
1580.82/1584.80 c #Conflicts: 1092000 | #Constraints: 31455
1580.82/1584.80 c #Conflicts: 1093000 | #Constraints: 32455
1580.82/1584.80 c #Conflicts: 1094000 | #Constraints: 33455
1580.82/1584.80 c #Conflicts: 1095000 | #Constraints: 34455
1580.82/1584.80 c #Conflicts: 1096000 | #Constraints: 35455
1580.82/1584.80 c #Conflicts: 1097000 | #Constraints: 36455
1580.82/1584.80 c #Conflicts: 1098000 | #Constraints: 37455
1580.82/1584.80 c #Conflicts: 1099000 | #Constraints: 38455
1580.82/1584.80 c #Conflicts: 1100000 | #Constraints: 39455
1580.82/1584.80 c #Conflicts: 1101000 | #Constraints: 40455
1580.82/1584.80 c #Conflicts: 1102000 | #Constraints: 41455
1580.82/1584.80 c #Conflicts: 1103000 | #Constraints: 42455
1580.82/1584.80 c #Conflicts: 1104000 | #Constraints: 43455
1580.82/1584.80 c INPROCESSING
1580.82/1584.80 c GARBAGE COLLECT
1580.82/1584.80 c #Conflicts: 1105000 | #Constraints: 23650
1580.82/1584.80 c #Conflicts: 1106000 | #Constraints: 24650
1580.82/1584.80 c #Conflicts: 1107000 | #Constraints: 25650
1580.82/1584.80 c #Conflicts: 1108000 | #Constraints: 26650
1580.82/1584.80 c #Conflicts: 1109000 | #Constraints: 27650
1580.82/1584.80 c #Conflicts: 1110000 | #Constraints: 28650
1580.82/1584.80 c #Conflicts: 1111000 | #Constraints: 29650
1580.82/1584.80 c #Conflicts: 1112000 | #Constraints: 30650
1580.82/1584.80 c #Conflicts: 1113000 | #Constraints: 31650
1580.82/1584.80 c #Conflicts: 1114000 | #Constraints: 32650
1580.82/1584.80 c #Conflicts: 1115000 | #Constraints: 33650
1580.82/1584.80 c #Conflicts: 1116000 | #Constraints: 34650
1580.82/1584.80 c #Conflicts: 1117000 | #Constraints: 35650
1580.82/1584.80 c #Conflicts: 1118000 | #Constraints: 36650
1580.82/1584.80 c #Conflicts: 1119000 | #Constraints: 37650
1580.82/1584.80 c #Conflicts: 1120000 | #Constraints: 38650
1580.82/1584.80 c #Conflicts: 1121000 | #Constraints: 39650
1834.38/1839.01 c #Conflicts: 1122000 | #Constraints: 40650
1834.38/1839.01 c #Conflicts: 1123000 | #Constraints: 41650
1834.38/1839.01 c #Conflicts: 1124000 | #Constraints: 42650
1834.38/1839.01 c #Conflicts: 1125000 | #Constraints: 43650
1834.38/1839.01 c INPROCESSING
1834.38/1839.01 c GARBAGE COLLECT
1834.38/1839.01 c #Conflicts: 1126000 | #Constraints: 23651
1834.38/1839.01 c #Conflicts: 1127000 | #Constraints: 24651
1834.38/1839.01 c #Conflicts: 1128000 | #Constraints: 25651
1834.38/1839.01 c #Conflicts: 1129000 | #Constraints: 26651
1834.38/1839.01 c #Conflicts: 1130000 | #Constraints: 27651
1834.38/1839.01 c #Conflicts: 1131000 | #Constraints: 28651
1834.38/1839.01 c #Conflicts: 1132000 | #Constraints: 29651
1834.38/1839.01 c #Conflicts: 1133000 | #Constraints: 30651
1834.38/1839.01 c #Conflicts: 1134000 | #Constraints: 31651
1834.38/1839.01 c #Conflicts: 1135000 | #Constraints: 32651
1834.38/1839.01 c #Conflicts: 1136000 | #Constraints: 33651
1834.38/1839.01 c #Conflicts: 1137000 | #Constraints: 34651
1834.38/1839.01 c #Conflicts: 1138000 | #Constraints: 35651
1834.38/1839.01 c #Conflicts: 1139000 | #Constraints: 36651
1834.38/1839.01 c #Conflicts: 1140000 | #Constraints: 37651
1834.38/1839.01 c #Conflicts: 1141000 | #Constraints: 38651
1834.38/1839.01 c #Conflicts: 1142000 | #Constraints: 39651
1834.38/1839.01 c #Conflicts: 1143000 | #Constraints: 40651
1834.38/1839.01 c #Conflicts: 1144000 | #Constraints: 41651
1834.38/1839.01 c #Conflicts: 1145000 | #Constraints: 42651
1834.38/1839.01 c #Conflicts: 1146000 | #Constraints: 43651
1834.38/1839.01 c INPROCESSING
1834.38/1839.01 c GARBAGE COLLECT
1834.38/1839.01 c #Conflicts: 1147000 | #Constraints: 23445
1834.38/1839.01 c #Conflicts: 1148000 | #Constraints: 24445
1834.38/1839.01 c #Conflicts: 1149000 | #Constraints: 25445
1834.38/1839.01 c #Conflicts: 1150000 | #Constraints: 26445
1834.38/1839.01 c #Conflicts: 1151000 | #Constraints: 27445
1834.38/1839.01 c #Conflicts: 1152000 | #Constraints: 28445
1834.38/1839.01 c #Conflicts: 1153000 | #Constraints: 29445
1834.38/1839.01 c #Conflicts: 1154000 | #Constraints: 30445
1834.38/1839.01 c #Conflicts: 1155000 | #Constraints: 31445
1834.38/1839.01 c #Conflicts: 1156000 | #Constraints: 32445
1834.38/1839.01 c #Conflicts: 1157000 | #Constraints: 33445
1834.38/1839.01 c #Conflicts: 1158000 | #Constraints: 34445
1834.38/1839.01 c #Conflicts: 1159000 | #Constraints: 35445
1834.38/1839.01 c #Conflicts: 1160000 | #Constraints: 36445
1834.38/1839.01 c #Conflicts: 1161000 | #Constraints: 37445
1834.38/1839.01 c #Conflicts: 1162000 | #Constraints: 38445
1834.38/1839.01 c #Conflicts: 1163000 | #Constraints: 39445
1834.38/1839.01 c #Conflicts: 1164000 | #Constraints: 40445
1834.38/1839.01 c #Conflicts: 1165000 | #Constraints: 41445
1834.38/1839.01 c #Conflicts: 1166000 | #Constraints: 42445
1834.38/1839.01 c #Conflicts: 1167000 | #Constraints: 43445
1834.38/1839.01 c #Conflicts: 1168000 | #Constraints: 44445
1834.38/1839.01 c INPROCESSING
1834.38/1839.01 c GARBAGE COLLECT
1834.38/1839.01 c #Conflicts: 1169000 | #Constraints: 24050
1834.38/1839.01 c #Conflicts: 1170000 | #Constraints: 25050
1834.38/1839.01 c #Conflicts: 1171000 | #Constraints: 26050
1834.38/1839.01 c #Conflicts: 1172000 | #Constraints: 27050
1834.38/1839.01 c #Conflicts: 1173000 | #Constraints: 28050
1834.38/1839.01 c #Conflicts: 1174000 | #Constraints: 29050
1834.38/1839.01 c #Conflicts: 1175000 | #Constraints: 30050
1834.38/1839.01 c #Conflicts: 1176000 | #Constraints: 31050
1834.38/1839.01 c #Conflicts: 1177000 | #Constraints: 32050
1834.38/1839.01 c #Conflicts: 1178000 | #Constraints: 33050
1834.38/1839.01 c #Conflicts: 1179000 | #Constraints: 34050
1834.38/1839.01 c #Conflicts: 1180000 | #Constraints: 35050
1834.38/1839.01 c #Conflicts: 1181000 | #Constraints: 36050
1834.38/1839.01 c #Conflicts: 1182000 | #Constraints: 37050
1834.38/1839.01 c #Conflicts: 1183000 | #Constraints: 38050
1834.38/1839.01 c #Conflicts: 1184000 | #Constraints: 39050
1834.38/1839.01 c #Conflicts: 1185000 | #Constraints: 40050
1834.38/1839.01 c #Conflicts: 1186000 | #Constraints: 41050
1834.38/1839.01 c #Conflicts: 1187000 | #Constraints: 42050
1834.38/1839.01 c #Conflicts: 1188000 | #Constraints: 43050
1834.38/1839.01 c #Conflicts: 1189000 | #Constraints: 44050
1834.38/1839.01 c #Conflicts: 1190000 | #Constraints: 45050
1834.38/1839.01 c INPROCESSING
1834.38/1839.01 c GARBAGE COLLECT
1834.38/1839.01 c #Conflicts: 1191000 | #Constraints: 24454
1834.38/1839.01 c #Conflicts: 1192000 | #Constraints: 25454
1834.38/1839.01 c #Conflicts: 1193000 | #Constraints: 26454
1834.38/1839.01 c #Conflicts: 1194000 | #Constraints: 27454
1834.38/1839.01 c #Conflicts: 1195000 | #Constraints: 28454
1834.38/1839.01 c #Conflicts: 1196000 | #Constraints: 29454
1834.38/1839.01 c #Conflicts: 1197000 | #Constraints: 30454
2117.77/2123.23 c #Conflicts: 1198000 | #Constraints: 31454
2117.77/2123.23 c #Conflicts: 1199000 | #Constraints: 32454
2117.77/2123.23 c #Conflicts: 1200000 | #Constraints: 33454
2117.77/2123.23 c #Conflicts: 1201000 | #Constraints: 34454
2117.77/2123.23 c #Conflicts: 1202000 | #Constraints: 35454
2117.77/2123.23 c #Conflicts: 1203000 | #Constraints: 36454
2117.77/2123.23 c #Conflicts: 1204000 | #Constraints: 37454
2117.77/2123.23 c #Conflicts: 1205000 | #Constraints: 38454
2117.77/2123.23 c #Conflicts: 1206000 | #Constraints: 39454
2117.77/2123.23 c #Conflicts: 1207000 | #Constraints: 40454
2117.77/2123.23 c #Conflicts: 1208000 | #Constraints: 41454
2117.77/2123.23 c #Conflicts: 1209000 | #Constraints: 42454
2117.77/2123.23 c #Conflicts: 1210000 | #Constraints: 43454
2117.77/2123.23 c #Conflicts: 1211000 | #Constraints: 44454
2117.77/2123.23 c #Conflicts: 1212000 | #Constraints: 45454
2117.77/2123.23 c INPROCESSING
2117.77/2123.23 c GARBAGE COLLECT
2117.77/2123.23 c #Conflicts: 1213000 | #Constraints: 24658
2117.77/2123.23 c #Conflicts: 1214000 | #Constraints: 25658
2117.77/2123.23 c #Conflicts: 1215000 | #Constraints: 26658
2117.77/2123.23 c #Conflicts: 1216000 | #Constraints: 27658
2117.77/2123.23 c #Conflicts: 1217000 | #Constraints: 28658
2117.77/2123.23 c #Conflicts: 1218000 | #Constraints: 29658
2117.77/2123.23 c #Conflicts: 1219000 | #Constraints: 30658
2117.77/2123.23 c #Conflicts: 1220000 | #Constraints: 31658
2117.77/2123.23 c #Conflicts: 1221000 | #Constraints: 32658
2117.77/2123.23 c #Conflicts: 1222000 | #Constraints: 33658
2117.77/2123.23 c #Conflicts: 1223000 | #Constraints: 34658
2117.77/2123.23 c #Conflicts: 1224000 | #Constraints: 35658
2117.77/2123.23 c #Conflicts: 1225000 | #Constraints: 36658
2117.77/2123.23 c #Conflicts: 1226000 | #Constraints: 37658
2117.77/2123.23 c #Conflicts: 1227000 | #Constraints: 38658
2117.77/2123.23 c #Conflicts: 1228000 | #Constraints: 39658
2117.77/2123.23 c #Conflicts: 1229000 | #Constraints: 40658
2117.77/2123.23 c #Conflicts: 1230000 | #Constraints: 41658
2117.77/2123.23 c #Conflicts: 1231000 | #Constraints: 42658
2117.77/2123.23 c #Conflicts: 1232000 | #Constraints: 43658
2117.77/2123.23 c #Conflicts: 1233000 | #Constraints: 44658
2117.77/2123.23 c #Conflicts: 1234000 | #Constraints: 45658
2117.77/2123.23 c INPROCESSING
2117.77/2123.23 c GARBAGE COLLECT
2117.77/2123.23 c #Conflicts: 1235000 | #Constraints: 24653
2117.77/2123.23 c #Conflicts: 1236000 | #Constraints: 25653
2117.77/2123.23 c #Conflicts: 1237000 | #Constraints: 26653
2117.77/2123.23 c #Conflicts: 1238000 | #Constraints: 27653
2117.77/2123.23 c #Conflicts: 1239000 | #Constraints: 28653
2117.77/2123.23 c #Conflicts: 1240000 | #Constraints: 29653
2117.77/2123.23 c #Conflicts: 1241000 | #Constraints: 30653
2117.77/2123.23 c #Conflicts: 1242000 | #Constraints: 31653
2117.77/2123.23 c #Conflicts: 1243000 | #Constraints: 32653
2117.77/2123.23 c #Conflicts: 1244000 | #Constraints: 33653
2117.77/2123.23 c #Conflicts: 1245000 | #Constraints: 34653
2117.77/2123.23 c #Conflicts: 1246000 | #Constraints: 35653
2117.77/2123.23 c #Conflicts: 1247000 | #Constraints: 36653
2117.77/2123.23 c #Conflicts: 1248000 | #Constraints: 37653
2117.77/2123.23 c #Conflicts: 1249000 | #Constraints: 38653
2117.77/2123.23 c #Conflicts: 1250000 | #Constraints: 39653
2117.77/2123.23 c #Conflicts: 1251000 | #Constraints: 40653
2117.77/2123.23 c #Conflicts: 1252000 | #Constraints: 41653
2117.77/2123.23 c #Conflicts: 1253000 | #Constraints: 42653
2117.77/2123.23 c #Conflicts: 1254000 | #Constraints: 43653
2117.77/2123.23 c #Conflicts: 1255000 | #Constraints: 44653
2117.77/2123.23 c #Conflicts: 1256000 | #Constraints: 45653
2117.77/2123.23 c INPROCESSING
2117.77/2123.23 c GARBAGE COLLECT
2117.77/2123.23 c #Conflicts: 1257000 | #Constraints: 24450
2117.77/2123.23 c #Conflicts: 1258000 | #Constraints: 25450
2117.77/2123.23 c #Conflicts: 1259000 | #Constraints: 26450
2117.77/2123.23 c #Conflicts: 1260000 | #Constraints: 27450
2117.77/2123.23 c #Conflicts: 1261000 | #Constraints: 28450
2117.77/2123.23 c #Conflicts: 1262000 | #Constraints: 29450
2117.77/2123.23 c #Conflicts: 1263000 | #Constraints: 30450
2117.77/2123.23 c #Conflicts: 1264000 | #Constraints: 31450
2117.77/2123.23 c #Conflicts: 1265000 | #Constraints: 32450
2117.77/2123.23 c #Conflicts: 1266000 | #Constraints: 33450
2117.77/2123.23 c #Conflicts: 1267000 | #Constraints: 34450
2117.77/2123.23 c #Conflicts: 1268000 | #Constraints: 35450
2117.77/2123.23 c #Conflicts: 1269000 | #Constraints: 36450
2117.77/2123.23 c #Conflicts: 1270000 | #Constraints: 37450
2117.77/2123.23 c #Conflicts: 1271000 | #Constraints: 38450
2117.77/2123.23 c #Conflicts: 1272000 | #Constraints: 39450
2117.77/2123.23 c #Conflicts: 1273000 | #Constraints: 40450
2117.77/2123.23 c #Conflicts: 1274000 | #Constraints: 41450
2335.00/2341.16 c #Conflicts: 1275000 | #Constraints: 42450
2335.00/2341.16 c #Conflicts: 1276000 | #Constraints: 43450
2335.00/2341.16 c #Conflicts: 1277000 | #Constraints: 44450
2335.00/2341.16 c #Conflicts: 1278000 | #Constraints: 45450
2335.00/2341.16 c #Conflicts: 1279000 | #Constraints: 46450
2335.00/2341.16 c INPROCESSING
2335.00/2341.16 c GARBAGE COLLECT
2335.00/2341.16 c #Conflicts: 1280000 | #Constraints: 25053
2335.00/2341.16 c #Conflicts: 1281000 | #Constraints: 26053
2335.00/2341.16 c #Conflicts: 1282000 | #Constraints: 27053
2335.00/2341.16 c #Conflicts: 1283000 | #Constraints: 28053
2335.00/2341.16 c #Conflicts: 1284000 | #Constraints: 29053
2335.00/2341.16 c #Conflicts: 1285000 | #Constraints: 30053
2335.00/2341.16 c #Conflicts: 1286000 | #Constraints: 31053
2335.00/2341.16 c #Conflicts: 1287000 | #Constraints: 32053
2335.00/2341.16 c #Conflicts: 1288000 | #Constraints: 33053
2335.00/2341.16 c #Conflicts: 1289000 | #Constraints: 34053
2335.00/2341.16 c #Conflicts: 1290000 | #Constraints: 35053
2335.00/2341.16 c #Conflicts: 1291000 | #Constraints: 36053
2335.00/2341.16 c #Conflicts: 1292000 | #Constraints: 37053
2335.00/2341.16 c #Conflicts: 1293000 | #Constraints: 38053
2335.00/2341.16 c #Conflicts: 1294000 | #Constraints: 39053
2335.00/2341.16 c #Conflicts: 1295000 | #Constraints: 40053
2335.00/2341.16 c #Conflicts: 1296000 | #Constraints: 41053
2335.00/2341.16 c #Conflicts: 1297000 | #Constraints: 42053
2335.00/2341.16 c #Conflicts: 1298000 | #Constraints: 43053
2335.00/2341.16 c #Conflicts: 1299000 | #Constraints: 44053
2335.00/2341.16 c #Conflicts: 1300000 | #Constraints: 45053
2335.00/2341.16 c #Conflicts: 1301000 | #Constraints: 46053
2335.00/2341.16 c #Conflicts: 1302000 | #Constraints: 47053
2335.00/2341.16 c INPROCESSING
2335.00/2341.16 c GARBAGE COLLECT
2335.00/2341.16 c #Conflicts: 1303000 | #Constraints: 25452
2335.00/2341.16 c #Conflicts: 1304000 | #Constraints: 26452
2335.00/2341.16 c #Conflicts: 1305000 | #Constraints: 27452
2335.00/2341.16 c #Conflicts: 1306000 | #Constraints: 28452
2335.00/2341.16 c #Conflicts: 1307000 | #Constraints: 29452
2335.00/2341.16 c #Conflicts: 1308000 | #Constraints: 30452
2335.00/2341.16 c #Conflicts: 1309000 | #Constraints: 31452
2335.00/2341.16 c #Conflicts: 1310000 | #Constraints: 32452
2335.00/2341.16 c #Conflicts: 1311000 | #Constraints: 33452
2335.00/2341.16 c #Conflicts: 1312000 | #Constraints: 34452
2335.00/2341.16 c #Conflicts: 1313000 | #Constraints: 35452
2335.00/2341.16 c #Conflicts: 1314000 | #Constraints: 36452
2335.00/2341.16 c #Conflicts: 1315000 | #Constraints: 37452
2335.00/2341.16 c #Conflicts: 1316000 | #Constraints: 38452
2335.00/2341.16 c #Conflicts: 1317000 | #Constraints: 39452
2335.00/2341.16 c #Conflicts: 1318000 | #Constraints: 40452
2335.00/2341.16 c #Conflicts: 1319000 | #Constraints: 41452
2335.00/2341.16 c #Conflicts: 1320000 | #Constraints: 42452
2335.00/2341.16 c #Conflicts: 1321000 | #Constraints: 43452
2335.00/2341.16 c #Conflicts: 1322000 | #Constraints: 44452
2335.00/2341.16 c #Conflicts: 1323000 | #Constraints: 45452
2335.00/2341.16 c #Conflicts: 1324000 | #Constraints: 46452
2335.00/2341.16 c #Conflicts: 1325000 | #Constraints: 47452
2335.00/2341.16 c INPROCESSING
2335.00/2341.16 c GARBAGE COLLECT
2335.00/2341.16 c #Conflicts: 1326000 | #Constraints: 25652
2335.00/2341.16 c #Conflicts: 1327000 | #Constraints: 26652
2335.00/2341.16 c #Conflicts: 1328000 | #Constraints: 27652
2335.00/2341.16 c #Conflicts: 1329000 | #Constraints: 28652
2335.00/2341.16 c #Conflicts: 1330000 | #Constraints: 29652
2335.00/2341.16 c #Conflicts: 1331000 | #Constraints: 30652
2335.00/2341.16 c #Conflicts: 1332000 | #Constraints: 31652
2335.00/2341.16 c #Conflicts: 1333000 | #Constraints: 32652
2335.00/2341.16 c #Conflicts: 1334000 | #Constraints: 33652
2335.00/2341.16 c #Conflicts: 1335000 | #Constraints: 34652
2335.00/2341.16 c #Conflicts: 1336000 | #Constraints: 35652
2335.00/2341.16 c #Conflicts: 1337000 | #Constraints: 36652
2335.00/2341.16 c #Conflicts: 1338000 | #Constraints: 37652
2335.00/2341.16 c #Conflicts: 1339000 | #Constraints: 38652
2335.00/2341.16 c #Conflicts: 1340000 | #Constraints: 39652
2335.00/2341.16 c #Conflicts: 1341000 | #Constraints: 40652
2335.00/2341.16 c #Conflicts: 1342000 | #Constraints: 41652
2335.00/2341.16 c #Conflicts: 1343000 | #Constraints: 42652
2335.00/2341.16 c #Conflicts: 1344000 | #Constraints: 43652
2335.00/2341.16 c #Conflicts: 1345000 | #Constraints: 44652
2335.00/2341.16 c #Conflicts: 1346000 | #Constraints: 45652
2335.00/2341.16 c #Conflicts: 1347000 | #Constraints: 46652
2335.00/2341.16 c #Conflicts: 1348000 | #Constraints: 47652
2335.00/2341.16 c INPROCESSING
2335.00/2341.16 c GARBAGE COLLECT
2335.00/2341.16 c #Conflicts: 1349000 | #Constraints: 25650
2335.00/2341.16 c #Conflicts: 1350000 | #Constraints: 26650
2550.64/2557.42 c #Conflicts: 1351000 | #Constraints: 27650
2550.64/2557.42 c #Conflicts: 1352000 | #Constraints: 28650
2550.64/2557.42 c #Conflicts: 1353000 | #Constraints: 29650
2550.64/2557.42 c #Conflicts: 1354000 | #Constraints: 30650
2550.64/2557.42 c #Conflicts: 1355000 | #Constraints: 31650
2550.64/2557.42 c #Conflicts: 1356000 | #Constraints: 32650
2550.64/2557.42 c #Conflicts: 1357000 | #Constraints: 33650
2550.64/2557.42 c #Conflicts: 1358000 | #Constraints: 34650
2550.64/2557.42 c #Conflicts: 1359000 | #Constraints: 35650
2550.64/2557.42 c #Conflicts: 1360000 | #Constraints: 36650
2550.64/2557.42 c #Conflicts: 1361000 | #Constraints: 37650
2550.64/2557.42 c #Conflicts: 1362000 | #Constraints: 38650
2550.64/2557.42 c #Conflicts: 1363000 | #Constraints: 39650
2550.64/2557.42 c #Conflicts: 1364000 | #Constraints: 40650
2550.64/2557.42 c #Conflicts: 1365000 | #Constraints: 41650
2550.64/2557.42 c #Conflicts: 1366000 | #Constraints: 42650
2550.64/2557.42 c #Conflicts: 1367000 | #Constraints: 43650
2550.64/2557.42 c #Conflicts: 1368000 | #Constraints: 44650
2550.64/2557.42 c #Conflicts: 1369000 | #Constraints: 45650
2550.64/2557.42 c #Conflicts: 1370000 | #Constraints: 46650
2550.64/2557.42 c #Conflicts: 1371000 | #Constraints: 47650
2550.64/2557.42 c INPROCESSING
2550.64/2557.42 c GARBAGE COLLECT
2550.64/2557.42 c #Conflicts: 1372000 | #Constraints: 25470
2550.64/2557.42 c #Conflicts: 1373000 | #Constraints: 26470
2550.64/2557.42 c #Conflicts: 1374000 | #Constraints: 27470
2550.64/2557.42 c #Conflicts: 1375000 | #Constraints: 28470
2550.64/2557.42 c #Conflicts: 1376000 | #Constraints: 29470
2550.64/2557.42 c #Conflicts: 1377000 | #Constraints: 30470
2550.64/2557.42 c #Conflicts: 1378000 | #Constraints: 31470
2550.64/2557.42 c #Conflicts: 1379000 | #Constraints: 32470
2550.64/2557.42 c #Conflicts: 1380000 | #Constraints: 33470
2550.64/2557.42 c #Conflicts: 1381000 | #Constraints: 34470
2550.64/2557.42 c #Conflicts: 1382000 | #Constraints: 35470
2550.64/2557.42 c #Conflicts: 1383000 | #Constraints: 36470
2550.64/2557.42 c #Conflicts: 1384000 | #Constraints: 37470
2550.64/2557.42 c #Conflicts: 1385000 | #Constraints: 38470
2550.64/2557.42 c #Conflicts: 1386000 | #Constraints: 39470
2550.64/2557.42 c #Conflicts: 1387000 | #Constraints: 40470
2550.64/2557.42 c #Conflicts: 1388000 | #Constraints: 41470
2550.64/2557.42 c #Conflicts: 1389000 | #Constraints: 42470
2550.64/2557.42 c #Conflicts: 1390000 | #Constraints: 43470
2550.64/2557.42 c #Conflicts: 1391000 | #Constraints: 44470
2550.64/2557.42 c #Conflicts: 1392000 | #Constraints: 45470
2550.64/2557.42 c #Conflicts: 1393000 | #Constraints: 46470
2550.64/2557.42 c #Conflicts: 1394000 | #Constraints: 47470
2550.64/2557.42 c #Conflicts: 1395000 | #Constraints: 48470
2550.64/2557.42 c INPROCESSING
2550.64/2557.42 c GARBAGE COLLECT
2550.64/2557.42 c #Conflicts: 1396000 | #Constraints: 26059
2550.64/2557.42 c #Conflicts: 1397000 | #Constraints: 27059
2550.64/2557.42 c #Conflicts: 1398000 | #Constraints: 28059
2550.64/2557.42 c #Conflicts: 1399000 | #Constraints: 29059
2550.64/2557.42 c #Conflicts: 1400000 | #Constraints: 30059
2550.64/2557.42 c #Conflicts: 1401000 | #Constraints: 31059
2550.64/2557.42 c #Conflicts: 1402000 | #Constraints: 32059
2550.64/2557.42 c #Conflicts: 1403000 | #Constraints: 33059
2550.64/2557.42 c #Conflicts: 1404000 | #Constraints: 34059
2550.64/2557.42 c #Conflicts: 1405000 | #Constraints: 35059
2550.64/2557.42 c #Conflicts: 1406000 | #Constraints: 36059
2550.64/2557.42 c #Conflicts: 1407000 | #Constraints: 37059
2550.64/2557.42 c #Conflicts: 1408000 | #Constraints: 38059
2550.64/2557.42 c #Conflicts: 1409000 | #Constraints: 39059
2550.64/2557.42 c #Conflicts: 1410000 | #Constraints: 40059
2550.64/2557.42 c #Conflicts: 1411000 | #Constraints: 41059
2550.64/2557.42 c #Conflicts: 1412000 | #Constraints: 42059
2550.64/2557.42 c #Conflicts: 1413000 | #Constraints: 43059
2550.64/2557.42 c #Conflicts: 1414000 | #Constraints: 44059
2550.64/2557.42 c #Conflicts: 1415000 | #Constraints: 45059
2550.64/2557.42 c #Conflicts: 1416000 | #Constraints: 46059
2550.64/2557.42 c #Conflicts: 1417000 | #Constraints: 47059
2550.64/2557.42 c #Conflicts: 1418000 | #Constraints: 48059
2550.64/2557.42 c #Conflicts: 1419000 | #Constraints: 49059
2550.64/2557.42 c INPROCESSING
2550.64/2557.42 c GARBAGE COLLECT
2550.64/2557.42 c #Conflicts: 1420000 | #Constraints: 26460
2550.64/2557.42 c #Conflicts: 1421000 | #Constraints: 27460
2550.64/2557.42 c #Conflicts: 1422000 | #Constraints: 28460
2550.64/2557.42 c #Conflicts: 1423000 | #Constraints: 29460
2550.64/2557.42 c #Conflicts: 1424000 | #Constraints: 30460
2550.64/2557.42 c #Conflicts: 1425000 | #Constraints: 31460
2550.64/2557.42 c #Conflicts: 1426000 | #Constraints: 32460
2550.64/2557.42 c #Conflicts: 1427000 | #Constraints: 33460
2809.43/2817.09 c #Conflicts: 1428000 | #Constraints: 34460
2809.43/2817.09 c #Conflicts: 1429000 | #Constraints: 35460
2809.43/2817.09 c #Conflicts: 1430000 | #Constraints: 36460
2809.43/2817.09 c #Conflicts: 1431000 | #Constraints: 37460
2809.43/2817.09 c #Conflicts: 1432000 | #Constraints: 38460
2809.43/2817.09 c #Conflicts: 1433000 | #Constraints: 39460
2809.43/2817.09 c #Conflicts: 1434000 | #Constraints: 40460
2809.43/2817.09 c #Conflicts: 1435000 | #Constraints: 41460
2809.43/2817.09 c #Conflicts: 1436000 | #Constraints: 42460
2809.43/2817.09 c #Conflicts: 1437000 | #Constraints: 43460
2809.43/2817.09 c #Conflicts: 1438000 | #Constraints: 44460
2809.43/2817.09 c #Conflicts: 1439000 | #Constraints: 45460
2809.43/2817.09 c #Conflicts: 1440000 | #Constraints: 46460
2809.43/2817.09 c #Conflicts: 1441000 | #Constraints: 47460
2809.43/2817.09 c #Conflicts: 1442000 | #Constraints: 48460
2809.43/2817.09 c #Conflicts: 1443000 | #Constraints: 49460
2809.43/2817.09 c INPROCESSING
2809.43/2817.09 c GARBAGE COLLECT
2809.43/2817.09 c #Conflicts: 1444000 | #Constraints: 26659
2809.43/2817.09 c #Conflicts: 1445000 | #Constraints: 27659
2809.43/2817.09 c #Conflicts: 1446000 | #Constraints: 28659
2809.43/2817.09 c #Conflicts: 1447000 | #Constraints: 29659
2809.43/2817.09 c #Conflicts: 1448000 | #Constraints: 30659
2809.43/2817.09 c #Conflicts: 1449000 | #Constraints: 31659
2809.43/2817.09 c #Conflicts: 1450000 | #Constraints: 32659
2809.43/2817.09 c #Conflicts: 1451000 | #Constraints: 33659
2809.43/2817.09 c #Conflicts: 1452000 | #Constraints: 34659
2809.43/2817.09 c #Conflicts: 1453000 | #Constraints: 35659
2809.43/2817.09 c #Conflicts: 1454000 | #Constraints: 36659
2809.43/2817.09 c #Conflicts: 1455000 | #Constraints: 37659
2809.43/2817.09 c #Conflicts: 1456000 | #Constraints: 38659
2809.43/2817.09 c #Conflicts: 1457000 | #Constraints: 39659
2809.43/2817.09 c #Conflicts: 1458000 | #Constraints: 40659
2809.43/2817.09 c #Conflicts: 1459000 | #Constraints: 41659
2809.43/2817.09 c #Conflicts: 1460000 | #Constraints: 42659
2809.43/2817.09 c #Conflicts: 1461000 | #Constraints: 43659
2809.43/2817.09 c #Conflicts: 1462000 | #Constraints: 44659
2809.43/2817.09 c #Conflicts: 1463000 | #Constraints: 45659
2809.43/2817.09 c #Conflicts: 1464000 | #Constraints: 46659
2809.43/2817.09 c #Conflicts: 1465000 | #Constraints: 47659
2809.43/2817.09 c #Conflicts: 1466000 | #Constraints: 48659
2809.43/2817.09 c #Conflicts: 1467000 | #Constraints: 49659
2809.43/2817.09 c INPROCESSING
2809.43/2817.09 c GARBAGE COLLECT
2809.43/2817.09 c #Conflicts: 1468000 | #Constraints: 26662
2809.43/2817.09 c #Conflicts: 1469000 | #Constraints: 27662
2809.43/2817.09 c #Conflicts: 1470000 | #Constraints: 28662
2809.43/2817.09 c #Conflicts: 1471000 | #Constraints: 29662
2809.43/2817.09 c #Conflicts: 1472000 | #Constraints: 30662
2809.43/2817.09 c #Conflicts: 1473000 | #Constraints: 31662
2809.43/2817.09 c #Conflicts: 1474000 | #Constraints: 32662
2809.43/2817.09 c #Conflicts: 1475000 | #Constraints: 33662
2809.43/2817.09 c #Conflicts: 1476000 | #Constraints: 34662
2809.43/2817.09 c #Conflicts: 1477000 | #Constraints: 35662
2809.43/2817.09 c #Conflicts: 1478000 | #Constraints: 36662
2809.43/2817.09 c #Conflicts: 1479000 | #Constraints: 37662
2809.43/2817.09 c #Conflicts: 1480000 | #Constraints: 38662
2809.43/2817.09 c #Conflicts: 1481000 | #Constraints: 39662
2809.43/2817.09 c #Conflicts: 1482000 | #Constraints: 40662
2809.43/2817.09 c #Conflicts: 1483000 | #Constraints: 41662
2809.43/2817.09 c #Conflicts: 1484000 | #Constraints: 42662
2809.43/2817.09 c #Conflicts: 1485000 | #Constraints: 43662
2809.43/2817.09 c #Conflicts: 1486000 | #Constraints: 44662
2809.43/2817.09 c #Conflicts: 1487000 | #Constraints: 45662
2809.43/2817.09 c #Conflicts: 1488000 | #Constraints: 46662
2809.43/2817.09 c #Conflicts: 1489000 | #Constraints: 47662
2809.43/2817.09 c #Conflicts: 1490000 | #Constraints: 48662
2809.43/2817.09 c #Conflicts: 1491000 | #Constraints: 49662
2809.43/2817.09 c INPROCESSING
2809.43/2817.09 c GARBAGE COLLECT
2809.43/2817.09 c #Conflicts: 1492000 | #Constraints: 26461
2809.43/2817.09 c #Conflicts: 1493000 | #Constraints: 27461
2809.43/2817.09 c #Conflicts: 1494000 | #Constraints: 28461
2809.43/2817.09 c #Conflicts: 1495000 | #Constraints: 29461
2809.43/2817.09 c #Conflicts: 1496000 | #Constraints: 30461
2809.43/2817.09 c #Conflicts: 1497000 | #Constraints: 31461
2809.43/2817.09 c #Conflicts: 1498000 | #Constraints: 32461
2809.43/2817.09 c #Conflicts: 1499000 | #Constraints: 33461
2809.43/2817.09 c #Conflicts: 1500000 | #Constraints: 34461
2809.43/2817.09 c #Conflicts: 1501000 | #Constraints: 35461
2809.43/2817.09 c #Conflicts: 1502000 | #Constraints: 36461
2809.43/2817.09 c #Conflicts: 1503000 | #Constraints: 37461
2809.43/2817.09 c #Conflicts: 1504000 | #Constraints: 38461
3078.00/3086.40 c #Conflicts: 1505000 | #Constraints: 39461
3078.00/3086.40 c #Conflicts: 1506000 | #Constraints: 40461
3078.00/3086.40 c #Conflicts: 1507000 | #Constraints: 41461
3078.00/3086.40 c #Conflicts: 1508000 | #Constraints: 42461
3078.00/3086.40 c #Conflicts: 1509000 | #Constraints: 43461
3078.00/3086.40 c #Conflicts: 1510000 | #Constraints: 44461
3078.00/3086.40 c #Conflicts: 1511000 | #Constraints: 45461
3078.00/3086.40 c #Conflicts: 1512000 | #Constraints: 46461
3078.00/3086.40 c #Conflicts: 1513000 | #Constraints: 47461
3078.00/3086.40 c #Conflicts: 1514000 | #Constraints: 48461
3078.00/3086.40 c #Conflicts: 1515000 | #Constraints: 49461
3078.00/3086.40 c #Conflicts: 1516000 | #Constraints: 50461
3078.00/3086.40 c INPROCESSING
3078.00/3086.40 c GARBAGE COLLECT
3078.00/3086.40 c #Conflicts: 1517000 | #Constraints: 27048
3078.00/3086.40 c #Conflicts: 1518000 | #Constraints: 28048
3078.00/3086.40 c #Conflicts: 1519000 | #Constraints: 29048
3078.00/3086.40 c #Conflicts: 1520000 | #Constraints: 30048
3078.00/3086.40 c #Conflicts: 1521000 | #Constraints: 31048
3078.00/3086.40 c #Conflicts: 1522000 | #Constraints: 32048
3078.00/3086.40 c #Conflicts: 1523000 | #Constraints: 33048
3078.00/3086.40 c #Conflicts: 1524000 | #Constraints: 34048
3078.00/3086.40 c #Conflicts: 1525000 | #Constraints: 35048
3078.00/3086.40 c #Conflicts: 1526000 | #Constraints: 36048
3078.00/3086.40 c #Conflicts: 1527000 | #Constraints: 37048
3078.00/3086.40 c #Conflicts: 1528000 | #Constraints: 38048
3078.00/3086.40 c #Conflicts: 1529000 | #Constraints: 39048
3078.00/3086.40 c #Conflicts: 1530000 | #Constraints: 40048
3078.00/3086.40 c #Conflicts: 1531000 | #Constraints: 41048
3078.00/3086.40 c #Conflicts: 1532000 | #Constraints: 42048
3078.00/3086.40 c #Conflicts: 1533000 | #Constraints: 43048
3078.00/3086.40 c #Conflicts: 1534000 | #Constraints: 44048
3078.00/3086.40 c #Conflicts: 1535000 | #Constraints: 45048
3078.00/3086.40 c #Conflicts: 1536000 | #Constraints: 46048
3078.00/3086.40 c #Conflicts: 1537000 | #Constraints: 47048
3078.00/3086.40 c #Conflicts: 1538000 | #Constraints: 48048
3078.00/3086.40 c #Conflicts: 1539000 | #Constraints: 49048
3078.00/3086.40 c #Conflicts: 1540000 | #Constraints: 50048
3078.00/3086.40 c #Conflicts: 1541000 | #Constraints: 51048
3078.00/3086.40 c INPROCESSING
3078.00/3086.40 c GARBAGE COLLECT
3078.00/3086.40 c #Conflicts: 1542000 | #Constraints: 27458
3078.00/3086.40 c #Conflicts: 1543000 | #Constraints: 28458
3078.00/3086.40 c #Conflicts: 1544000 | #Constraints: 29458
3078.00/3086.40 c #Conflicts: 1545000 | #Constraints: 30458
3078.00/3086.40 c #Conflicts: 1546000 | #Constraints: 31458
3078.00/3086.40 c #Conflicts: 1547000 | #Constraints: 32458
3078.00/3086.40 c #Conflicts: 1548000 | #Constraints: 33458
3078.00/3086.40 c #Conflicts: 1549000 | #Constraints: 34458
3078.00/3086.40 c #Conflicts: 1550000 | #Constraints: 35458
3078.00/3086.40 c #Conflicts: 1551000 | #Constraints: 36458
3078.00/3086.40 c #Conflicts: 1552000 | #Constraints: 37458
3078.00/3086.40 c #Conflicts: 1553000 | #Constraints: 38458
3078.00/3086.40 c #Conflicts: 1554000 | #Constraints: 39458
3078.00/3086.40 c #Conflicts: 1555000 | #Constraints: 40458
3078.00/3086.40 c #Conflicts: 1556000 | #Constraints: 41458
3078.00/3086.40 c #Conflicts: 1557000 | #Constraints: 42458
3078.00/3086.40 c #Conflicts: 1558000 | #Constraints: 43458
3078.00/3086.40 c #Conflicts: 1559000 | #Constraints: 44458
3078.00/3086.40 c #Conflicts: 1560000 | #Constraints: 45458
3078.00/3086.40 c #Conflicts: 1561000 | #Constraints: 46458
3078.00/3086.40 c #Conflicts: 1562000 | #Constraints: 47458
3078.00/3086.40 c #Conflicts: 1563000 | #Constraints: 48458
3078.00/3086.40 c #Conflicts: 1564000 | #Constraints: 49458
3078.00/3086.40 c #Conflicts: 1565000 | #Constraints: 50458
3078.00/3086.40 c #Conflicts: 1566000 | #Constraints: 51458
3078.00/3086.40 c INPROCESSING
3078.00/3086.40 c GARBAGE COLLECT
3078.00/3086.40 c #Conflicts: 1567000 | #Constraints: 27656
3078.00/3086.40 c #Conflicts: 1568000 | #Constraints: 28656
3078.00/3086.40 c #Conflicts: 1569000 | #Constraints: 29656
3078.00/3086.40 c #Conflicts: 1570000 | #Constraints: 30656
3078.00/3086.40 c #Conflicts: 1571000 | #Constraints: 31656
3078.00/3086.40 c #Conflicts: 1572000 | #Constraints: 32656
3078.00/3086.40 c #Conflicts: 1573000 | #Constraints: 33656
3078.00/3086.40 c #Conflicts: 1574000 | #Constraints: 34656
3078.00/3086.40 c #Conflicts: 1575000 | #Constraints: 35656
3078.00/3086.40 c #Conflicts: 1576000 | #Constraints: 36656
3078.00/3086.40 c #Conflicts: 1577000 | #Constraints: 37656
3078.00/3086.40 c #Conflicts: 1578000 | #Constraints: 38656
3078.00/3086.40 c #Conflicts: 1579000 | #Constraints: 39656
3078.00/3086.40 c #Conflicts: 1580000 | #Constraints: 40656
3078.00/3086.40 c #Conflicts: 1581000 | #Constraints: 41656
3263.92/3272.95 c #Conflicts: 1582000 | #Constraints: 42656
3263.92/3272.95 c #Conflicts: 1583000 | #Constraints: 43656
3263.92/3272.95 c #Conflicts: 1584000 | #Constraints: 44656
3263.92/3272.95 c #Conflicts: 1585000 | #Constraints: 45656
3263.92/3272.95 c #Conflicts: 1586000 | #Constraints: 46656
3263.92/3272.95 c #Conflicts: 1587000 | #Constraints: 47656
3263.92/3272.95 c #Conflicts: 1588000 | #Constraints: 48656
3263.92/3272.95 c #Conflicts: 1589000 | #Constraints: 49656
3263.92/3272.95 c #Conflicts: 1590000 | #Constraints: 50656
3263.92/3272.95 c #Conflicts: 1591000 | #Constraints: 51656
3263.92/3272.95 c INPROCESSING
3263.92/3272.95 c GARBAGE COLLECT
3263.92/3272.95 c #Conflicts: 1592000 | #Constraints: 27655
3263.92/3272.95 c #Conflicts: 1593000 | #Constraints: 28655
3263.92/3272.95 c #Conflicts: 1594000 | #Constraints: 29655
3263.92/3272.95 c #Conflicts: 1595000 | #Constraints: 30655
3263.92/3272.95 c #Conflicts: 1596000 | #Constraints: 31655
3263.92/3272.95 c #Conflicts: 1597000 | #Constraints: 32655
3263.92/3272.95 c #Conflicts: 1598000 | #Constraints: 33655
3263.92/3272.95 c #Conflicts: 1599000 | #Constraints: 34655
3263.92/3272.95 c #Conflicts: 1600000 | #Constraints: 35655
3263.92/3272.95 c #Conflicts: 1601000 | #Constraints: 36655
3263.92/3272.95 c #Conflicts: 1602000 | #Constraints: 37655
3263.92/3272.95 c #Conflicts: 1603000 | #Constraints: 38655
3263.92/3272.95 c #Conflicts: 1604000 | #Constraints: 39655
3263.92/3272.95 c #Conflicts: 1605000 | #Constraints: 40655
3263.92/3272.95 c #Conflicts: 1606000 | #Constraints: 41655
3263.92/3272.95 c #Conflicts: 1607000 | #Constraints: 42655
3263.92/3272.95 c #Conflicts: 1608000 | #Constraints: 43655
3263.92/3272.95 c #Conflicts: 1609000 | #Constraints: 44655
3263.92/3272.95 c #Conflicts: 1610000 | #Constraints: 45655
3263.92/3272.95 c #Conflicts: 1611000 | #Constraints: 46655
3263.92/3272.95 c #Conflicts: 1612000 | #Constraints: 47655
3263.92/3272.95 c #Conflicts: 1613000 | #Constraints: 48655
3263.92/3272.95 c #Conflicts: 1614000 | #Constraints: 49655
3263.92/3272.95 c #Conflicts: 1615000 | #Constraints: 50655
3263.92/3272.95 c #Conflicts: 1616000 | #Constraints: 51655
3263.92/3272.95 c INPROCESSING
3263.92/3272.95 c GARBAGE COLLECT
3263.92/3272.95 c #Conflicts: 1617000 | #Constraints: 27449
3263.92/3272.95 c #Conflicts: 1618000 | #Constraints: 28449
3263.92/3272.95 c #Conflicts: 1619000 | #Constraints: 29449
3263.92/3272.95 c #Conflicts: 1620000 | #Constraints: 30449
3263.92/3272.95 c #Conflicts: 1621000 | #Constraints: 31449
3263.92/3272.95 c #Conflicts: 1622000 | #Constraints: 32449
3263.92/3272.95 c #Conflicts: 1623000 | #Constraints: 33449
3263.92/3272.95 c #Conflicts: 1624000 | #Constraints: 34449
3263.92/3272.95 c #Conflicts: 1625000 | #Constraints: 35449
3263.92/3272.95 c #Conflicts: 1626000 | #Constraints: 36449
3263.92/3272.95 c #Conflicts: 1627000 | #Constraints: 37449
3263.92/3272.95 c #Conflicts: 1628000 | #Constraints: 38449
3263.92/3272.95 c #Conflicts: 1629000 | #Constraints: 39449
3263.92/3272.95 c #Conflicts: 1630000 | #Constraints: 40449
3263.92/3272.95 c #Conflicts: 1631000 | #Constraints: 41449
3263.92/3272.95 c GLOBAL bounds - >= 1825130206476 @ 3235.99
3263.92/3272.98 c GLOBAL bounds - >= 1825130206476 @ 3236.02
3264.03/3273.02 c GLOBAL bounds - >= 1825130206476 @ 3236.05
3264.03/3273.02 c GLOBAL bounds - >= 1825130206476 @ 3236.05
3264.03/3273.06 c GLOBAL bounds - >= 1825130206476 @ 3236.08
3264.03/3273.06 c GLOBAL bounds - >= 1825130206476 @ 3236.08
3264.03/3273.10 c GLOBAL bounds - >= 1825130206476 @ 3236.11
3264.12/3273.10 c GLOBAL bounds - >= 1825130206476 @ 3236.11
3264.12/3273.14 c GLOBAL bounds - >= 1825130206476 @ 3236.13
3264.12/3273.14 c GLOBAL bounds - >= 1825130206476 @ 3236.14
3264.12/3273.18 c GLOBAL bounds - >= 1825130206476 @ 3236.16
3264.12/3273.19 c GLOBAL bounds - >= 1825130206476 @ 3236.16
3264.22/3273.22 c GLOBAL bounds - >= 1825130206476 @ 3236.19
3264.22/3273.23 c GLOBAL bounds - >= 1825130206476 @ 3236.19
3264.22/3273.27 c GLOBAL bounds - >= 1825130206476 @ 3236.22
3264.22/3273.27 c GLOBAL bounds - >= 1825130206476 @ 3236.22
3264.31/3273.31 c GLOBAL bounds - >= 1825130206476 @ 3236.25
3264.31/3273.31 c GLOBAL bounds - >= 1825130206476 @ 3236.25
3264.31/3273.35 c GLOBAL bounds - >= 1825130206476 @ 3236.28
3264.31/3273.36 c GLOBAL bounds - >= 1825130206476 @ 3236.28
3264.41/3273.40 c GLOBAL bounds - >= 1825130206476 @ 3236.31
3264.41/3273.45 c GLOBAL bounds - >= 1825130206476 @ 3236.35
3264.41/3273.48 c GLOBAL bounds - >= 1825130206476 @ 3236.37
3264.52/3273.52 c GLOBAL bounds - >= 1825130206476 @ 3236.4
3389.93/3399.30 c #Conflicts: 1632000 | #Constraints: 42482
3389.93/3399.30 c #Conflicts: 1633000 | #Constraints: 43482
3389.93/3399.30 c #Conflicts: 1634000 | #Constraints: 44482
3389.93/3399.30 c #Conflicts: 1635000 | #Constraints: 45482
3389.93/3399.30 c #Conflicts: 1636000 | #Constraints: 46482
3389.93/3399.30 c #Conflicts: 1637000 | #Constraints: 47482
3389.93/3399.30 c #Conflicts: 1638000 | #Constraints: 48482
3389.93/3399.30 c #Conflicts: 1639000 | #Constraints: 49482
3389.93/3399.30 c #Conflicts: 1640000 | #Constraints: 50482
3389.93/3399.30 c #Conflicts: 1641000 | #Constraints: 51482
3389.93/3399.30 c #Conflicts: 1642000 | #Constraints: 52482
3389.93/3399.30 c INPROCESSING
3389.93/3399.30 c GARBAGE COLLECT
3389.93/3399.30 c #Conflicts: 1643000 | #Constraints: 28084
3389.93/3399.30 c #Conflicts: 1644000 | #Constraints: 29084
3389.93/3399.30 c #Conflicts: 1645000 | #Constraints: 30084
3389.93/3399.30 c #Conflicts: 1646000 | #Constraints: 31084
3389.93/3399.30 c #Conflicts: 1647000 | #Constraints: 32084
3389.93/3399.30 c #Conflicts: 1648000 | #Constraints: 33084
3389.93/3399.30 c #Conflicts: 1649000 | #Constraints: 34084
3389.93/3399.30 c #Conflicts: 1650000 | #Constraints: 35084
3389.93/3399.30 c #Conflicts: 1651000 | #Constraints: 36084
3389.93/3399.30 c #Conflicts: 1652000 | #Constraints: 37084
3389.93/3399.30 c #Conflicts: 1653000 | #Constraints: 38084
3389.93/3399.30 c #Conflicts: 1654000 | #Constraints: 39084
3389.93/3399.30 c #Conflicts: 1655000 | #Constraints: 40084
3389.93/3399.30 c #Conflicts: 1656000 | #Constraints: 41084
3389.93/3399.30 c #Conflicts: 1657000 | #Constraints: 42084
3389.93/3399.30 c #Conflicts: 1658000 | #Constraints: 43084
3389.93/3399.30 c #Conflicts: 1659000 | #Constraints: 44084
3389.93/3399.30 c #Conflicts: 1660000 | #Constraints: 45084
3389.93/3399.30 c #Conflicts: 1661000 | #Constraints: 46084
3389.93/3399.30 c #Conflicts: 1662000 | #Constraints: 47084
3389.93/3399.30 c #Conflicts: 1663000 | #Constraints: 48084
3389.93/3399.30 c #Conflicts: 1664000 | #Constraints: 49084
3389.93/3399.30 c #Conflicts: 1665000 | #Constraints: 50084
3389.93/3399.30 c #Conflicts: 1666000 | #Constraints: 51084
3389.93/3399.30 c #Conflicts: 1667000 | #Constraints: 52084
3389.93/3399.30 c #Conflicts: 1668000 | #Constraints: 53084
3389.93/3399.30 c INPROCESSING
3389.93/3399.30 c GARBAGE COLLECT
3389.93/3399.30 c #Conflicts: 1669000 | #Constraints: 28478
3389.93/3399.30 c #Conflicts: 1670000 | #Constraints: 29478
3389.93/3399.30 c #Conflicts: 1671000 | #Constraints: 30478
3389.93/3399.30 c #Conflicts: 1672000 | #Constraints: 31478
3389.93/3399.30 c #Conflicts: 1673000 | #Constraints: 32478
3389.93/3399.30 c #Conflicts: 1674000 | #Constraints: 33478
3389.93/3399.30 c #Conflicts: 1675000 | #Constraints: 34478
3389.93/3399.30 c #Conflicts: 1676000 | #Constraints: 35478
3389.93/3399.30 c #Conflicts: 1677000 | #Constraints: 36478
3389.93/3399.30 c #Conflicts: 1678000 | #Constraints: 37478
3389.93/3399.30 c #Conflicts: 1679000 | #Constraints: 38478
3389.93/3399.30 c #Conflicts: 1680000 | #Constraints: 39478
3389.93/3399.30 c #Conflicts: 1681000 | #Constraints: 40478
3389.93/3399.30 c #Conflicts: 1682000 | #Constraints: 41478
3389.93/3399.30 c #Conflicts: 1683000 | #Constraints: 42478
3389.93/3399.30 c #Conflicts: 1684000 | #Constraints: 43478
3389.93/3399.30 c #Conflicts: 1685000 | #Constraints: 44478
3389.93/3399.30 c #Conflicts: 1686000 | #Constraints: 45478
3389.93/3399.30 c #Conflicts: 1687000 | #Constraints: 46478
3389.93/3399.30 c #Conflicts: 1688000 | #Constraints: 47478
3389.93/3399.30 c #Conflicts: 1689000 | #Constraints: 48478
3389.93/3399.30 c #Conflicts: 1690000 | #Constraints: 49478
3389.93/3399.30 c #Conflicts: 1691000 | #Constraints: 50478
3389.93/3399.30 c #Conflicts: 1692000 | #Constraints: 51478
3389.93/3399.30 c #Conflicts: 1693000 | #Constraints: 52478
3389.93/3399.30 c #Conflicts: 1694000 | #Constraints: 53478
3389.93/3399.30 c INPROCESSING
3389.93/3399.30 c GARBAGE COLLECT
3389.93/3399.30 c #Conflicts: 1695000 | #Constraints: 28680
3389.93/3399.30 c #Conflicts: 1696000 | #Constraints: 29680
3389.93/3399.30 c #Conflicts: 1697000 | #Constraints: 30680
3389.93/3399.30 c #Conflicts: 1698000 | #Constraints: 31680
3389.93/3399.30 c #Conflicts: 1699000 | #Constraints: 32680
3389.93/3399.30 c #Conflicts: 1700000 | #Constraints: 33680
3389.93/3399.30 c #Conflicts: 1701000 | #Constraints: 34680
3389.93/3399.30 c #Conflicts: 1702000 | #Constraints: 35680
3389.93/3399.30 c #Conflicts: 1703000 | #Constraints: 36680
3389.93/3399.30 c #Conflicts: 1704000 | #Constraints: 37680
3389.93/3399.30 c #Conflicts: 1705000 | #Constraints: 38680
3389.93/3399.30 c #Conflicts: 1706000 | #Constraints: 39680
3389.93/3399.30 c #Conflicts: 1707000 | #Constraints: 40680
3389.93/3399.30 c #Conflicts: 1708000 | #Constraints: 41680
3526.81/3536.64 c #Conflicts: 1709000 | #Constraints: 42680
3526.81/3536.64 c #Conflicts: 1710000 | #Constraints: 43680
3526.81/3536.64 c #Conflicts: 1711000 | #Constraints: 44680
3526.81/3536.64 c #Conflicts: 1712000 | #Constraints: 45680
3526.81/3536.64 c #Conflicts: 1713000 | #Constraints: 46680
3526.81/3536.64 c #Conflicts: 1714000 | #Constraints: 47680
3526.81/3536.64 c #Conflicts: 1715000 | #Constraints: 48680
3526.81/3536.64 c #Conflicts: 1716000 | #Constraints: 49680
3526.81/3536.64 c #Conflicts: 1717000 | #Constraints: 50680
3526.81/3536.64 c #Conflicts: 1718000 | #Constraints: 51680
3526.81/3536.64 c #Conflicts: 1719000 | #Constraints: 52680
3526.81/3536.64 c #Conflicts: 1720000 | #Constraints: 53680
3526.81/3536.64 c INPROCESSING
3526.81/3536.64 c GARBAGE COLLECT
3526.81/3536.64 c #Conflicts: 1721000 | #Constraints: 28673
3526.81/3536.64 c #Conflicts: 1722000 | #Constraints: 29673
3526.81/3536.64 c #Conflicts: 1723000 | #Constraints: 30673
3526.81/3536.64 c #Conflicts: 1724000 | #Constraints: 31673
3526.81/3536.64 c #Conflicts: 1725000 | #Constraints: 32673
3526.81/3536.64 c #Conflicts: 1726000 | #Constraints: 33673
3526.81/3536.64 c #Conflicts: 1727000 | #Constraints: 34673
3526.81/3536.64 c #Conflicts: 1728000 | #Constraints: 35673
3526.81/3536.64 c #Conflicts: 1729000 | #Constraints: 36673
3526.81/3536.64 c #Conflicts: 1730000 | #Constraints: 37673
3526.81/3536.64 c #Conflicts: 1731000 | #Constraints: 38673
3526.81/3536.64 c #Conflicts: 1732000 | #Constraints: 39673
3526.81/3536.64 c #Conflicts: 1733000 | #Constraints: 40673
3526.81/3536.64 c #Conflicts: 1734000 | #Constraints: 41673
3526.81/3536.64 c #Conflicts: 1735000 | #Constraints: 42673
3526.81/3536.64 c #Conflicts: 1736000 | #Constraints: 43673
3526.81/3536.64 c #Conflicts: 1737000 | #Constraints: 44673
3526.81/3536.64 c #Conflicts: 1738000 | #Constraints: 45673
3526.81/3536.64 c #Conflicts: 1739000 | #Constraints: 46673
3526.81/3536.64 c #Conflicts: 1740000 | #Constraints: 47673
3526.81/3536.64 c #Conflicts: 1741000 | #Constraints: 48673
3526.81/3536.64 c #Conflicts: 1742000 | #Constraints: 49673
3526.81/3536.64 c #Conflicts: 1743000 | #Constraints: 50673
3526.81/3536.64 c #Conflicts: 1744000 | #Constraints: 51673
3526.81/3536.64 c #Conflicts: 1745000 | #Constraints: 52673
3526.81/3536.64 c #Conflicts: 1746000 | #Constraints: 53673
3526.81/3536.64 c INPROCESSING
3526.81/3536.64 c GARBAGE COLLECT
3526.81/3536.64 c #Conflicts: 1747000 | #Constraints: 28478
3526.81/3536.64 c #Conflicts: 1748000 | #Constraints: 29478
3526.81/3536.64 c #Conflicts: 1749000 | #Constraints: 30478
3526.81/3536.64 c #Conflicts: 1750000 | #Constraints: 31478
3526.81/3536.64 c #Conflicts: 1751000 | #Constraints: 32478
3526.81/3536.64 c #Conflicts: 1752000 | #Constraints: 33478
3526.81/3536.64 c #Conflicts: 1753000 | #Constraints: 34478
3526.81/3536.64 c #Conflicts: 1754000 | #Constraints: 35478
3526.81/3536.64 c #Conflicts: 1755000 | #Constraints: 36478
3526.81/3536.64 c #Conflicts: 1756000 | #Constraints: 37478
3526.81/3536.64 c #Conflicts: 1757000 | #Constraints: 38478
3526.81/3536.64 c #Conflicts: 1758000 | #Constraints: 39478
3526.81/3536.64 c #Conflicts: 1759000 | #Constraints: 40478
3526.81/3536.64 c #Conflicts: 1760000 | #Constraints: 41478
3526.81/3536.64 c #Conflicts: 1761000 | #Constraints: 42478
3526.81/3536.64 c #Conflicts: 1762000 | #Constraints: 43478
3526.81/3536.64 c #Conflicts: 1763000 | #Constraints: 44478
3526.81/3536.64 c #Conflicts: 1764000 | #Constraints: 45478
3526.81/3536.64 c #Conflicts: 1765000 | #Constraints: 46478
3526.81/3536.64 c #Conflicts: 1766000 | #Constraints: 47478
3526.81/3536.64 c #Conflicts: 1767000 | #Constraints: 48478
3526.81/3536.64 c #Conflicts: 1768000 | #Constraints: 49478
3526.81/3536.64 c #Conflicts: 1769000 | #Constraints: 50478
3526.81/3536.64 c #Conflicts: 1770000 | #Constraints: 51478
3526.81/3536.64 c #Conflicts: 1771000 | #Constraints: 52478
3526.81/3536.64 c #Conflicts: 1772000 | #Constraints: 53478
3526.81/3536.64 c #Conflicts: 1773000 | #Constraints: 54478
3526.81/3536.64 c INPROCESSING
3526.81/3536.64 c GARBAGE COLLECT
3526.81/3536.64 c #Conflicts: 1774000 | #Constraints: 29078
3526.81/3536.64 c #Conflicts: 1775000 | #Constraints: 30078
3526.81/3536.64 c #Conflicts: 1776000 | #Constraints: 31078
3526.81/3536.64 c #Conflicts: 1777000 | #Constraints: 32078
3526.81/3536.64 c #Conflicts: 1778000 | #Constraints: 33078
3526.81/3536.64 c #Conflicts: 1779000 | #Constraints: 34078
3526.81/3536.64 c #Conflicts: 1780000 | #Constraints: 35078
3526.81/3536.64 c #Conflicts: 1781000 | #Constraints: 36078
3526.81/3536.64 c #Conflicts: 1782000 | #Constraints: 37078
3526.81/3536.64 c #Conflicts: 1783000 | #Constraints: 38078
3526.81/3536.64 c #Conflicts: 1784000 | #Constraints: 39078
3526.81/3536.64 c #Conflicts: 1785000 | #Constraints: 40078
3600.00/3610.01 c #Conflicts: 1786000 | #Constraints: 41078
3600.00/3610.01 c #Conflicts: 1787000 | #Constraints: 42078
3600.00/3610.01 c #Conflicts: 1788000 | #Constraints: 43078
3600.00/3610.01 c #Conflicts: 1789000 | #Constraints: 44078
3600.00/3610.01 c #Conflicts: 1790000 | #Constraints: 45078
3600.00/3610.01 c #Conflicts: 1791000 | #Constraints: 46078
3600.00/3610.01 c #Conflicts: 1792000 | #Constraints: 47078
3600.00/3610.01 c #Conflicts: 1793000 | #Constraints: 48078
3600.00/3610.01 c #Conflicts: 1794000 | #Constraints: 49078
3600.00/3610.01 c #Conflicts: 1795000 | #Constraints: 50078
3600.00/3610.01 c #Conflicts: 1796000 | #Constraints: 51078
3600.00/3610.01 c #Conflicts: 1797000 | #Constraints: 52078
3600.00/3610.01 c #Conflicts: 1798000 | #Constraints: 53078
3600.00/3610.01 c #Conflicts: 1799000 | #Constraints: 54078
3600.00/3610.01 c #Conflicts: 1800000 | #Constraints: 55078
3600.00/3610.01 c INPROCESSING
3600.00/3610.01 c GARBAGE COLLECT
3600.00/3610.01 c #Conflicts: 1801000 | #Constraints: 29484
3600.00/3610.01 c #Conflicts: 1802000 | #Constraints: 30484
3600.00/3610.01 c #Conflicts: 1803000 | #Constraints: 31484
3600.00/3610.01 c #Conflicts: 1804000 | #Constraints: 32484
3600.00/3610.01 c #Conflicts: 1805000 | #Constraints: 33484
3600.00/3610.01 c #Conflicts: 1806000 | #Constraints: 34484
3600.00/3610.01 c #Conflicts: 1807000 | #Constraints: 35484
3600.00/3610.01 c #Conflicts: 1808000 | #Constraints: 36484
3600.00/3610.01 c #Conflicts: 1809000 | #Constraints: 37484
3600.00/3610.01 c #Conflicts: 1810000 | #Constraints: 38484
3600.00/3610.01 c #Conflicts: 1811000 | #Constraints: 39484
3600.00/3610.01 c #Conflicts: 1812000 | #Constraints: 40484
3600.00/3610.01 c #Conflicts: 1813000 | #Constraints: 41484
3600.00/3610.01 c #Conflicts: 1814000 | #Constraints: 42484
3600.00/3610.01 c #Conflicts: 1815000 | #Constraints: 43484
3600.00/3610.01 c #Conflicts: 1816000 | #Constraints: 44484
3600.00/3610.01 c #Conflicts: 1817000 | #Constraints: 45484
3600.00/3610.01 c #Conflicts: 1818000 | #Constraints: 46484
3600.00/3610.01 c #Conflicts: 1819000 | #Constraints: 47484
3600.00/3610.01 c #Conflicts: 1820000 | #Constraints: 48484
3600.00/3610.01 c #Conflicts: 1821000 | #Constraints: 49484
3600.00/3610.01 c #Conflicts: 1822000 | #Constraints: 50484
3600.00/3610.01 c #Conflicts: 1823000 | #Constraints: 51484
3600.00/3610.01 c #Conflicts: 1824000 | #Constraints: 52484
3600.00/3610.01 c cpu time 3569.26 s
3600.00/3610.01 c deterministic time 5608687 5.61e+06
3600.00/3610.01 c optimization time 3568.5 s
3600.00/3610.01 c total solve time 0.451876 s
3600.00/3610.01 c core-guided solve time 0 s
3600.00/3610.01 c propagation time 0.261531 s
3600.00/3610.01 c conflict analysis time 0.03381 s
3600.00/3610.01 c propagations 524339
3600.00/3610.01 c resolve steps 0
3600.00/3610.01 c decisions 493939
3600.00/3610.01 c conflicts 8
3600.00/3610.01 c restarts 1
3600.00/3610.01 c inprocessing phases 0
3600.00/3610.01 c garbage collections 0 ,( -nan )
3600.00/3610.01 c input clauses 98738 ,( 98.20 )
3600.00/3610.01 c input cardinalities 1561 ,( 1.55 )
3600.00/3610.01 c input general constraints 247 ,( 0.25 )
3600.00/3610.01 c input average constraint length 19.63
3600.00/3610.01 c input average constraint degree 473020426072.97
3600.00/3610.01 c learned clauses 180 ,( 82.57 )
3600.00/3610.01 c learned cardinalities 0 ,( 0.00 )
3600.00/3610.01 c learned general constraints 38 ,( 17.43 )
3600.00/3610.01 c learned average constraint length 3.24
3600.00/3610.01 c learned average constraint degree 1.22
3600.00/3610.01 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.01 c counting CF 32, 64, 128, Arb: 81 , 205 , 0 , 0
3600.00/3610.01 c watched constraints 0 ,( 0.00 )
3600.00/3610.01 c counting constraints 285 ,( 100.00 )
3600.00/3610.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283967 , 12186 , 1240011 ,( 0 , 1240011 )
3600.00/3610.01 c gcd simplifications 0
3600.00/3610.01 c detected cardinalities 0
3600.00/3610.01 c weakened non-implied lits 0
3600.00/3610.01 c weakened non-implying lits 0
3600.00/3610.01 c original variables 21101
3600.00/3610.01 c clausal propagations 273964
3600.00/3610.01 c cardinality propagations 170
3600.00/3610.01 c watched propagations 0
3600.00/3610.01 c counting propagations 20075
3600.00/3610.01 c watch lookups 3070472
3600.00/3610.01 c watch backjump lookups 0
3600.00/3610.01 c watch checks 144225
3600.00/3610.01 c propagation checks 350018
3600.00/3610.01 c constraint additions 5609
3600.00/3610.01 c trail pops 1017084
3600.00/3610.01 c formula constraints 99896
3600.00/3610.01 c learned constraints 218
3600.00/3610.01 c bound constraints 0
3600.00/3610.01 c core-guided constraints 0
3600.00/3610.01 c encountered formula constraints 8
3600.00/3610.01 c encountered learned constraints 0
3600.00/3610.01 c encountered bound constraints 0
3600.00/3610.01 c encountered core-guided constraints 0
3600.00/3610.01 c LP total time 0.209431 s
3600.00/3610.01 c LP solve time 0.16 s
3600.00/3610.01 c LP constraints added 99896
3600.00/3610.01 c LP constraints removed 0
3600.00/3610.01 c LP pivots internal 2000
3600.00/3610.01 c LP pivots root 1000
3600.00/3610.01 c LP calls 2
3600.00/3610.01 c LP optimalities 0
3600.00/3610.01 c LP no pivot count 0
3600.00/3610.01 c LP infeasibilities 0
3600.00/3610.01 c LP valid Farkas constraints 0
3600.00/3610.01 c LP learned Farkas constraints 0
3600.00/3610.01 c LP basis resets 0
3600.00/3610.01 c LP cycling count 0
3600.00/3610.01 c LP singular count 0
3600.00/3610.01 c LP no primal count 0
3600.00/3610.01 c LP no farkas count 0
3600.00/3610.01 c LP other issue count 0
3600.00/3610.01 c LP Gomory cuts 0
3600.00/3610.01 c LP learned cuts 0
3600.00/3610.01 c LP deleted cuts 0
3600.00/3610.01 c LP encountered Gomory constraints 0
3600.00/3610.01 c LP encountered Farkas constraints 0
3600.00/3610.01 c LP encountered learned Farkas constraints 0
3600.00/3610.01 c CG auxiliary variables introduced 228
3600.00/3610.01 c CG solutions found 0
3600.00/3610.01 c CG cores constructed 218
3600.00/3610.01 c CG core cardinality constraints returned 0
3600.00/3610.01 c CG unit cores 0
3600.00/3610.01 c CG single cores 0
3600.00/3610.01 c CG blocks removed during cardinality reduction 0
3600.00/3610.01 c CG first core best 0
3600.00/3610.01 c CG decision core best 0
3600.00/3610.01 c CG core reduction tie 0
3600.00/3610.01 c CG core degree average 0.00
3600.00/3610.01 c CG core slack average 0.00
3600.00/3610.01 c CG core upper bound improvements 0
3600.00/3610.01 c STR number of successful calls 0
3600.00/3610.01 c STR number of unsuccessful calls 0
3600.00/3610.01 c STR number of inconclusive calls 0
3600.00/3610.01 c STR number of successful attempts 0
3600.00/3610.01 c STR number of unsuccessful attempts 0
3600.00/3610.01 c STR number of inconclusive attempts 0
3600.00/3610.01 c STR average degree increase per successful call inf
3600.00/3610.01 c STR average degree increase per successful attempt inf
3600.00/3610.01 c STR total number of conflicts for successful attempts 0
3600.00/3610.01 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.01 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.01 c STR average number of conflicts per successful attempt inf
3600.00/3610.01 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.01 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.01 c AVG.sumWPerc 95.92
3600.00/3610.01 c bigint constraints 205
3600.00/3610.01 s UNKNOWN
3600.00/3610.01 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60930 MiB free)
memory of node 1: 64465 MiB (60016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500868-1751473710/watcher-4500868-1751473710 -o /tmp/evaluation-result-4500868-1751473710/solver-4500868-1751473710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66044 --watchdog 3760 run-opt.sh HOME/instance-4500868-1751473710.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=67161, runsolver pid=67158
[startup+0.100063 s]*
/proc/loadavg: 4.15 4.15 4.14 5/267 67163
/proc/meminfo: memFree=123849632/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=61232 memory=16340 CPUtime=0.08 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 2305 0 0 0 6 2 0 0 20 0 1 0 63047619 62701568 4085 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 15308 4085 1920 1147 0 2735 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65424 KiB
Current children cumulated memory: 19412 KiB
[startup+0.205636 s]*
/proc/loadavg: 4.15 4.15 4.14 5/267 67163
/proc/meminfo: memFree=123849632/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=64988 memory=21484 CPUtime=0.19 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 3074 0 0 0 13 6 0 0 20 0 1 0 63047619 66547712 5371 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 16247 5371 1920 1147 0 3674 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69180 KiB
Current children cumulated memory: 24556 KiB
[startup+0.305576 s]*
/proc/loadavg: 4.15 4.15 4.14 5/267 67163
/proc/meminfo: memFree=123829092/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=93408 memory=42452 CPUtime=0.29 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 6703 0 0 0 20 9 0 0 20 0 1 0 63047619 95649792 10613 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 23352 10613 2272 1147 0 10779 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97600 KiB
Current children cumulated memory: 45524 KiB
[startup+0.700207 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 67163
/proc/meminfo: memFree=123728088/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=213924 memory=147088 CPUtime=0.67 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 18244 0 0 0 53 14 0 0 20 0 1 0 63047619 219058176 36772 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 53481 36772 2400 1147 0 40908 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 218116 KiB
Current children cumulated memory: 150160 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 67163
/proc/meminfo: memFree=123715928/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=216156 memory=150160 CPUtime=1.47 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 19023 0 0 0 89 58 0 0 20 0 1 0 63047619 221343744 37540 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 54039 37540 2400 1147 0 41466 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 220348 KiB
Current children cumulated memory: 153232 KiB
[startup+3.10544 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 67163
/proc/meminfo: memFree=123590504/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=316832 memory=245896 CPUtime=3.08 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 34780 0 0 0 193 115 0 0 20 0 1 0 63047619 324435968 61474 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 79208 61474 2400 1147 0 66635 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 321024 KiB
Current children cumulated memory: 248968 KiB
[startup+6.30019 s]
/proc/loadavg: 4.13 4.14 4.14 5/267 67163
/proc/meminfo: memFree=123405400/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=530212 memory=413060 CPUtime=6.26 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 68439 0 0 0 467 159 0 0 20 0 1 0 63047619 542937088 103265 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 132553 103265 2400 1147 0 119980 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 534404 KiB
Current children cumulated memory: 416132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.16 4.15 5/267 67163
/proc/meminfo: memFree=123292320/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=533628 memory=460644 CPUtime=12.64 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 75227 0 0 0 1066 198 0 0 20 0 1 0 63047619 546435072 115161 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 133407 115161 2400 1147 0 120834 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 537820 KiB
Current children cumulated memory: 463716 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.14 5/267 67163
/proc/meminfo: memFree=122627124/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=799908 memory=633396 CPUtime=25.42 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 111268 0 0 0 2290 252 0 0 20 0 1 0 63047619 819105792 158349 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 199977 158349 2400 1147 0 187404 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 804100 KiB
Current children cumulated memory: 636468 KiB
[startup+51.1056 s]
/proc/loadavg: 4.18 4.15 4.15 5/267 67164
/proc/meminfo: memFree=122414748/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=803632 memory=679900 CPUtime=50.95 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 117772 0 0 0 4765 330 0 0 20 0 1 0 63047619 822919168 169975 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 200908 169975 2400 1147 0 188335 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 807824 KiB
Current children cumulated memory: 682972 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/267 67165
/proc/meminfo: memFree=121075380/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=1429204 memory=1077888 CPUtime=102.02 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 195866 0 0 0 9740 462 0 0 20 0 1 0 63047619 1463504896 269472 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 357301 269472 2400 1147 0 344728 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1433396 KiB
Current children cumulated memory: 1080960 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/266 67167
/proc/meminfo: memFree=120893824/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=1430108 memory=1094988 CPUtime=161.87 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 198095 0 0 0 15601 586 0 0 20 0 1 0 63047619 1464430592 273747 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 357527 273747 2400 1147 0 344954 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1434300 KiB
Current children cumulated memory: 1098060 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/266 67169
/proc/meminfo: memFree=120727620/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=1437276 memory=1183904 CPUtime=221.72 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 210122 0 0 0 21489 683 0 0 20 0 1 0 63047619 1471770624 295976 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 359319 295976 2400 1147 0 346746 0
Current children cumulated CPU time: 221.72 s
################
# More data... #
################
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=2939840 memory=2544136 CPUtime=3093.85 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 449107 0 0 0 306636 2749 0 0 20 0 1 0 63047619 3010396160 636034 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 734960 636034 2400 1147 0 722387 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 2944032 KiB
Current children cumulated memory: 2547208 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 67370
/proc/meminfo: memFree=115198052/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=2940864 memory=2544648 CPUtime=3153.66 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 449271 0 0 0 312602 2764 0 0 20 0 1 0 63047619 3011444736 636162 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 735216 636162 2400 1147 0 722643 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 2945056 KiB
Current children cumulated memory: 2547720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 67372
/proc/meminfo: memFree=115199976/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=2940864 memory=2544648 CPUtime=3213.47 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 449313 0 0 0 318570 2777 0 0 20 0 1 0 63047619 3011444736 636162 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 735216 636162 2400 1147 0 722643 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 2945056 KiB
Current children cumulated memory: 2547720 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 67374
/proc/meminfo: memFree=115191356/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=2940864 memory=2544776 CPUtime=3273.29 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 449367 0 0 0 324510 2819 0 0 20 0 1 0 63047619 3011444736 636194 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 735216 636194 2400 1147 0 722643 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 2945056 KiB
Current children cumulated memory: 2547848 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 67376
/proc/meminfo: memFree=115010892/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=2942400 memory=2674336 CPUtime=3333.1 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 465404 0 0 0 330455 2855 0 0 20 0 1 0 63047619 3013017600 668584 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 735600 668584 2400 1147 0 723027 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 2946592 KiB
Current children cumulated memory: 2677408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.39 4.17 4.11 5/267 67378
/proc/meminfo: memFree=114926988/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=2948544 memory=2700072 CPUtime=3392.92 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 469365 0 0 0 336394 2898 0 0 20 0 1 0 63047619 3019309056 675018 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 737136 675018 2400 1147 0 724563 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 2952736 KiB
Current children cumulated memory: 2703144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/267 67387
/proc/meminfo: memFree=114841412/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=2949568 memory=2734704 CPUtime=3452.74 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 473952 0 0 0 342333 2941 0 0 20 0 1 0 63047619 3020357632 683676 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 737392 683676 2400 1147 0 724819 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 2953760 KiB
Current children cumulated memory: 2737776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.24 4.14 5/267 67389
/proc/meminfo: memFree=113966364/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=4571608 memory=3569940 CPUtime=3512.55 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 680289 0 0 0 348254 3001 0 0 20 0 1 0 63047619 4681326592 892485 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 1142902 892485 2400 1147 0 1130329 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 4575800 KiB
Current children cumulated memory: 3573012 KiB
[startup+3582.3 s]
/proc/loadavg: 3.36 4.00 4.07 3/253 67452
/proc/meminfo: memFree=121695132/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=4574680 memory=3587412 CPUtime=3572.36 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 682574 0 0 0 354176 3060 0 0 20 0 1 0 63047619 4684472320 896853 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 1143670 896853 2400 1147 0 1131097 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 4578872 KiB
Current children cumulated memory: 3590484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 2.90 3.84 4.01 3/253 67453
/proc/meminfo: memFree=121692612/131250000 swapFree=33010672/33010684
[pid=67161] ppid=67158 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/67161/stat : 67161 (run-opt.sh) S 67158 67161 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63047618 4292608 768 18446744073709551615 94434708832256 94434709726789 140728272257696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434709965840 94434710013584 94434727129088 140728272263533 140728272263656 140728272263656 140728272269258 0
/proc/67161/statm: 1048 768 704 219 0 110 0
[pid=67163] ppid=67161 vsize=4574680 memory=3590740 CPUtime=3600 cores=1,3
/proc/67163/stat : 67163 (roundingsat) R 67161 67161 66032 0 -1 4194304 682576 0 0 0 356925 3075 0 0 20 0 1 0 63047619 4684472320 897685 18446744073709551615 4227072 8923433 140726891585984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17739776 140726891588002 140726891588136 140726891588136 140726891593706 0
/proc/67163/statm: 1143670 897685 2400 1147 0 1131097 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4578872 KiB
Current children cumulated memory: 3593812 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.01 s]
# the end of solver process 67161 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002217 s, system=0 s
Sleeping 2 seconds
[startup+3610.15 s]
# the end of solver process 67163 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.27 s, system=30.8863 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]*
/proc/loadavg: 2.90 3.84 4.01 3/252 67453
/proc/meminfo: memFree=124415956/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002217 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3610.15
CPU time (s): 3600.15
CPU user time (s): 3569.27
CPU system time (s): 30.8863
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 4578872
Max. memory (cumulated for all children) (KiB): 3593812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.27
system time used= 30.8863
maximum resident set size= 3590996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682800
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155
involuntary context switches= 5386
# summary of solver processes directly reported to runsolver:
# pid: 67161,67163
# total CPU time (s): 3600.15
# total CPU user time (s): 3569.27
# total CPU system time (s): 30.8863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0183 second user time and 16.2881 second system time
The end
Begin job on nodeC014 at 2025-07-02 18:28:30
IDJOB=4500868
IDBENCH=150973
IDSOLVER=3350
FILE ID=nodeC014/4500868-1751473710
RUNJOBID= nodeC014-1751466415-66044
SLURM_JOB_ID= 9598484
Free space on /tmp= 430504 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-python-cairo.cudf.trendy.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500868-1751473710/watcher-4500868-1751473710 -o /tmp/evaluation-result-4500868-1751473710/solver-4500868-1751473710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66044 --watchdog 3760 run-opt.sh HOME/instance-4500868-1751473710.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab4ca3012de9a4183d98755aab53027a
RANDOM SEED=860017912
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.199
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.119
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.535
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.111
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.177
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.776
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.647
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123849808 kB
MemAvailable: 125594176 kB
Buffers: 2508 kB
Cached: 2540116 kB
SwapCached: 4 kB
Active: 4788808 kB
Inactive: 1992700 kB
Active(anon): 4253096 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1988848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10728 kB
Writeback: 0 kB
AnonPages: 4242000 kB
Mapped: 117724 kB
Shmem: 18064 kB
KReclaimable: 118092 kB
Slab: 208628 kB
SReclaimable: 118092 kB
SUnreclaim: 90536 kB
KernelStack: 4320 kB
PageTables: 11760 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5006140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 638976 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430516 MiB
End job on nodeC014 at 2025-07-02 19:28:41