0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.39/0.43 c #variables 21101 #constraints 99896
0.39/0.43 c objective is ce64
0.39/0.43 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.39/0.43 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.39/0.43 c GLOBAL bounds - >= 0 @ 0.338933
0.39/0.45 c GLOBAL bounds - >= 0 @ 0.347827
0.39/0.46 c GLOBAL bounds - >= 475379834250 @ 0.347827
0.58/0.68 c GLOBAL bounds - >= 475379834250 @ 0.550547
0.67/0.70 c GLOBAL bounds - >= 475379834250 @ 0.556103
0.67/0.70 c GLOBAL bounds - >= 475379834250 @ 0.556823
0.67/0.72 c GLOBAL bounds - >= 475379834250 @ 0.5661
0.67/0.72 c GLOBAL bounds - >= 475379834250 @ 0.566598
0.67/0.74 c GLOBAL bounds - >= 475379834250 @ 0.579613
0.67/0.74 c GLOBAL bounds - >= 475379834250 @ 0.580151
0.67/0.76 c GLOBAL bounds - >= 475379834250 @ 0.585425
0.67/0.76 c GLOBAL bounds - >= 475379834250 @ 0.58595
0.67/0.78 c GLOBAL bounds - >= 475379834250 @ 0.593168
0.67/0.78 c GLOBAL bounds - >= 475379834250 @ 0.593695
0.78/0.80 c GLOBAL bounds - >= 475379834250 @ 0.600789
0.78/0.80 c GLOBAL bounds - >= 475379834250 @ 0.601422
0.78/0.82 c GLOBAL bounds - >= 475379834250 @ 0.609434
0.78/0.82 c GLOBAL bounds - >= 475379834250 @ 0.610066
0.78/0.84 c GLOBAL bounds - >= 475379834250 @ 0.618615
0.78/0.84 c GLOBAL bounds - >= 475379834250 @ 0.619266
0.78/0.86 c GLOBAL bounds - >= 475379834250 @ 0.62846
0.78/0.86 c GLOBAL bounds - >= 475379834250 @ 0.629095
0.78/0.88 c GLOBAL bounds - >= 475379834250 @ 0.63242
0.87/0.90 c GLOBAL bounds - >= 475379834250 @ 0.639192
0.87/0.91 c GLOBAL bounds - >= 475379834250 @ 0.645377
0.87/0.93 c GLOBAL bounds - >= 475379834250 @ 0.655992
0.87/0.95 c GLOBAL bounds - >= 475379834250 @ 0.663653
0.87/0.97 c GLOBAL bounds - >= 475379834250 @ 0.673385
0.87/0.98 c GLOBAL bounds - >= 713143539475 @ 0.678945
0.87/0.98 c GLOBAL bounds - >= 713143539475 @ 0.683666
0.87/0.98 c GLOBAL bounds - >= 713143539475 @ 0.68416
0.98/1.00 c GLOBAL bounds - >= 713143539475 @ 0.68884
0.98/1.00 c GLOBAL bounds - >= 713143539475 @ 0.689575
0.98/1.02 c GLOBAL bounds - >= 713143539475 @ 0.69435
0.98/1.02 c GLOBAL bounds - >= 713143539475 @ 0.695015
0.98/1.04 c GLOBAL bounds - >= 713143539475 @ 0.700904
0.98/1.04 c GLOBAL bounds - >= 713143539475 @ 0.701598
0.98/1.06 c GLOBAL bounds - >= 713143539475 @ 0.710989
0.98/1.06 c GLOBAL bounds - >= 713143539475 @ 0.711643
0.98/1.08 c GLOBAL bounds - >= 713143539475 @ 0.72299
0.98/1.08 c GLOBAL bounds - >= 713143539475 @ 0.723622
1.08/1.10 c GLOBAL bounds - >= 713143539475 @ 0.732905
1.08/1.10 c GLOBAL bounds - >= 713143539475 @ 0.733521
1.08/1.12 c GLOBAL bounds - >= 713143539475 @ 0.740802
1.08/1.12 c GLOBAL bounds - >= 713143539475 @ 0.741444
1.08/1.14 c GLOBAL bounds - >= 713143539475 @ 0.750541
1.08/1.15 c GLOBAL bounds - >= 713143539475 @ 0.750892
1.08/1.16 c GLOBAL bounds - >= 713143539475 @ 0.763756
1.08/1.17 c GLOBAL bounds - >= 713143539475 @ 0.764402
1.08/1.18 c GLOBAL bounds - >= 713143539475 @ 0.773749
1.18/1.21 c GLOBAL bounds - >= 713143539475 @ 0.784745
1.18/1.22 c GLOBAL bounds - >= 713143539475 @ 0.792807
1.18/1.23 c GLOBAL bounds - >= 713143539475 @ 0.798792
1.18/1.25 c GLOBAL bounds - >= 713143539475 @ 0.805777
1.18/1.26 c GLOBAL bounds - >= 713143539475 @ 0.809767
1.18/1.27 c GLOBAL bounds - >= 713143539475 @ 0.814753
1.18/1.29 c GLOBAL bounds - >= 713143539475 @ 0.819548
1.27/1.30 c GLOBAL bounds - >= 713143539475 @ 0.826485
1.27/1.32 c GLOBAL bounds - >= 713143539475 @ 0.833228
1.27/1.34 c GLOBAL bounds - >= 713143539475 @ 0.846304
1.27/1.36 c GLOBAL bounds - >= 713143539475 @ 0.855746
1.27/1.37 c GLOBAL bounds - >= 713143539475 @ 0.860973
1.27/1.37 c GLOBAL bounds - >= 792336617800 @ 0.863092
1.27/1.38 c GLOBAL bounds - >= 792336617800 @ 0.866984
1.27/1.38 c GLOBAL bounds - >= 792336617800 @ 0.867491
1.27/1.38 c GLOBAL bounds - >= 792336617800 @ 0.867931
1.37/1.40 c GLOBAL bounds - >= 792336617800 @ 0.875307
1.37/1.40 c GLOBAL bounds - >= 792336617800 @ 0.875623
1.37/1.42 c GLOBAL bounds - >= 792336617800 @ 0.881513
1.37/1.42 c GLOBAL bounds - >= 792336617800 @ 0.881513
1.37/1.44 c GLOBAL bounds - >= 792336617800 @ 0.890574
1.37/1.44 c GLOBAL bounds - >= 792336617800 @ 0.891138
1.37/1.45 c GLOBAL bounds - >= 792336617800 @ 0.897575
1.37/1.46 c GLOBAL bounds - >= 792336617800 @ 0.898224
1.37/1.48 c GLOBAL bounds - >= 792336617800 @ 0.905402
1.37/1.48 c GLOBAL bounds - >= 792336617800 @ 0.906316
1.47/1.50 c GLOBAL bounds - >= 792336617800 @ 0.916719
1.47/1.50 c GLOBAL bounds - >= 792336617800 @ 0.917506
1.47/1.52 c GLOBAL bounds - >= 792336617800 @ 0.924198
1.47/1.52 c GLOBAL bounds - >= 792336617800 @ 0.924521
1.47/1.54 c GLOBAL bounds - >= 792336617800 @ 0.935537
1.47/1.54 c GLOBAL bounds - >= 792336617800 @ 0.936441
1.47/1.56 c GLOBAL bounds - >= 792336617800 @ 0.946796
1.47/1.56 c GLOBAL bounds - >= 792336617800 @ 0.947475
1.47/1.58 c GLOBAL bounds - >= 792336617800 @ 0.958191
1.57/1.60 c GLOBAL bounds - >= 792336617800 @ 0.96644
1.57/1.63 c GLOBAL bounds - >= 792336617800 @ 0.981407
1.57/1.64 c GLOBAL bounds - >= 1109330295400 @ 0.991545
1.57/1.66 c GLOBAL bounds - >= 1109330295400 @ 1.00648
1.57/1.68 c GLOBAL bounds - >= 1109330295400 @ 1.0143
1.57/1.68 c GLOBAL bounds - >= 1109330295400 @ 1.0143
1.67/1.70 c GLOBAL bounds - >= 1109330295400 @ 1.02459
1.67/1.70 c GLOBAL bounds - >= 1109330295400 @ 1.02537
1.67/1.72 c GLOBAL bounds - >= 1109330295400 @ 1.02793
1.67/1.72 c GLOBAL bounds - >= 1109330295400 @ 1.02831
1.67/1.74 c GLOBAL bounds - >= 1109330295400 @ 1.03589
1.67/1.74 c GLOBAL bounds - >= 1109330295400 @ 1.03645
1.67/1.76 c GLOBAL bounds - >= 1109330295400 @ 1.04494
1.67/1.76 c GLOBAL bounds - >= 1109330295400 @ 1.0453
1.67/1.78 c GLOBAL bounds - >= 1109330295400 @ 1.04987
1.67/1.78 c GLOBAL bounds - >= 1109330295400 @ 1.05026
1.77/1.80 c GLOBAL bounds - >= 1109330295400 @ 1.05713
1.77/1.80 c GLOBAL bounds - >= 1109330295400 @ 1.05813
1.77/1.82 c GLOBAL bounds - >= 1109330295400 @ 1.06455
1.77/1.82 c GLOBAL bounds - >= 1109330295400 @ 1.06523
1.77/1.84 c GLOBAL bounds - >= 1109330295400 @ 1.07185
1.77/1.84 c GLOBAL bounds - >= 1109330295400 @ 1.07255
1.77/1.86 c GLOBAL bounds - >= 1109330295400 @ 1.08008
1.87/1.90 c GLOBAL bounds - >= 1109330295400 @ 1.10748
1.87/1.95 c GLOBAL bounds - >= 1109330295400 @ 1.14165
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.19322
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.19974
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.19993
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.20063
1.97/2.03 c GLOBAL bounds - >= 1188689396950 @ 1.2056
1.97/2.04 c GLOBAL bounds - >= 1188689396950 @ 1.20592
1.97/2.05 c GLOBAL bounds - >= 1188689396950 @ 1.21584
1.97/2.06 c GLOBAL bounds - >= 1188689396950 @ 1.21668
1.97/2.08 c GLOBAL bounds - >= 1188689396950 @ 1.22097
1.97/2.08 c GLOBAL bounds - >= 1188689396950 @ 1.22178
1.97/2.10 c GLOBAL bounds - >= 1188689396950 @ 1.23004
1.97/2.10 c GLOBAL bounds - >= 1188689396950 @ 1.23083
2.08/2.12 c GLOBAL bounds - >= 1188689396950 @ 1.23642
2.08/2.12 c GLOBAL bounds - >= 1188689396950 @ 1.23693
2.08/2.14 c GLOBAL bounds - >= 1188689396950 @ 1.24616
2.08/2.14 c GLOBAL bounds - >= 1188689396950 @ 1.24712
2.08/2.16 c GLOBAL bounds - >= 1188689396950 @ 1.25557
2.08/2.16 c GLOBAL bounds - >= 1188689396950 @ 1.25582
2.08/2.18 c GLOBAL bounds - >= 1188689396950 @ 1.26285
2.08/2.18 c GLOBAL bounds - >= 1188689396950 @ 1.26389
2.17/2.20 c GLOBAL bounds - >= 1188689396950 @ 1.27555
2.17/2.20 c GLOBAL bounds - >= 1188689396950 @ 1.27578
2.17/2.22 c GLOBAL bounds - >= 1188689396950 @ 1.28139
2.17/2.29 c GLOBAL bounds - >= 1188689396950 @ 1.33066
2.37/2.40 c GLOBAL bounds - >= 1188689396950 @ 1.42627
2.37/2.45 c GLOBAL bounds - >= 1188689396950 @ 1.45644
2.37/2.48 c GLOBAL bounds - >= 1188689396950 @ 1.48025
2.67/2.73 c GLOBAL bounds - >= 1347241576825 @ 1.71118
2.67/2.74 c GLOBAL bounds - >= 1347241576825 @ 1.71984
2.67/2.76 c GLOBAL bounds - >= 1347241576825 @ 1.72786
2.67/2.76 c GLOBAL bounds - >= 1347241576825 @ 1.72915
2.67/2.78 c GLOBAL bounds - >= 1347241576825 @ 1.73397
2.67/2.78 c GLOBAL bounds - >= 1347241576825 @ 1.73475
2.77/2.80 c GLOBAL bounds - >= 1347241576825 @ 1.74133
2.77/2.80 c GLOBAL bounds - >= 1347241576825 @ 1.74261
2.77/2.82 c GLOBAL bounds - >= 1347241576825 @ 1.74962
2.77/2.82 c GLOBAL bounds - >= 1347241576825 @ 1.75071
2.77/2.84 c GLOBAL bounds - >= 1347241576825 @ 1.75637
2.77/2.84 c GLOBAL bounds - >= 1347241576825 @ 1.75751
2.77/2.86 c GLOBAL bounds - >= 1347241576825 @ 1.76434
2.77/2.86 c GLOBAL bounds - >= 1347241576825 @ 1.76524
2.77/2.88 c GLOBAL bounds - >= 1347241576825 @ 1.77639
2.77/2.88 c GLOBAL bounds - >= 1347241576825 @ 1.77667
2.87/2.90 c GLOBAL bounds - >= 1347241576825 @ 1.78329
2.87/2.90 c GLOBAL bounds - >= 1347241576825 @ 1.78447
2.87/2.92 c GLOBAL bounds - >= 1347241576825 @ 1.79337
2.87/2.93 c GLOBAL bounds - >= 1347241576825 @ 1.79364
2.87/2.95 c GLOBAL bounds - >= 1347241576825 @ 1.80101
3.57/3.64 c #Conflicts: 1000 | #Constraints: 2411
3.57/3.64 c GLOBAL bounds - >= 1347426047075 @ 2.4462
3.57/3.65 c GLOBAL bounds - >= 1347426047075 @ 2.4551
3.57/3.67 c GLOBAL bounds - >= 1347426047075 @ 2.46858
3.57/3.67 c GLOBAL bounds - >= 1347426047075 @ 2.46908
3.57/3.69 c GLOBAL bounds - >= 1347426047075 @ 2.47588
3.57/3.70 c GLOBAL bounds - >= 1347426047075 @ 2.47708
3.66/3.72 c GLOBAL bounds - >= 1347426047075 @ 2.48807
3.66/3.72 c GLOBAL bounds - >= 1347426047075 @ 2.48933
3.66/3.74 c GLOBAL bounds - >= 1347426047075 @ 2.49932
3.66/3.74 c GLOBAL bounds - >= 1347426047075 @ 2.50002
3.66/3.76 c GLOBAL bounds - >= 1347426047075 @ 2.5076
3.66/3.76 c GLOBAL bounds - >= 1347426047075 @ 2.508
3.66/3.78 c GLOBAL bounds - >= 1347426047075 @ 2.5136
3.66/3.78 c GLOBAL bounds - >= 1347426047075 @ 2.5146
3.77/3.80 c GLOBAL bounds - >= 1347426047075 @ 2.52277
3.77/3.80 c GLOBAL bounds - >= 1347426047075 @ 2.52414
3.77/3.82 c GLOBAL bounds - >= 1347426047075 @ 2.53121
3.77/3.82 c GLOBAL bounds - >= 1347426047075 @ 2.53196
3.77/3.84 c GLOBAL bounds - >= 1347426047075 @ 2.54378
3.77/3.84 c GLOBAL bounds - >= 1347426047075 @ 2.54393
3.77/3.86 c GLOBAL bounds - >= 1347426047075 @ 2.55074
3.77/3.89 c GLOBAL bounds - >= 1347426047075 @ 2.55836
3.87/3.91 c GLOBAL bounds - >= 1347426047075 @ 2.56831
4.27/4.34 c #Conflicts: 2000 | #Constraints: 3450
4.27/4.34 c INPROCESSING
4.27/4.34 c GARBAGE COLLECT
4.27/4.34 c GLOBAL bounds - >= 1347573623275 @ 2.96794
4.27/4.35 c GLOBAL bounds - >= 1347573623275 @ 2.97992
4.27/4.37 c GLOBAL bounds - >= 1347573623275 @ 2.98964
4.27/4.37 c GLOBAL bounds - >= 1347573623275 @ 2.9909
4.27/4.39 c GLOBAL bounds - >= 1347573623275 @ 2.99783
4.27/4.39 c GLOBAL bounds - >= 1347573623275 @ 2.9993
4.37/4.41 c GLOBAL bounds - >= 1347573623275 @ 3.00723
4.37/4.41 c GLOBAL bounds - >= 1347573623275 @ 3.00876
4.37/4.43 c GLOBAL bounds - >= 1347573623275 @ 3.01681
4.37/4.43 c GLOBAL bounds - >= 1347573623275 @ 3.01847
4.37/4.45 c GLOBAL bounds - >= 1347573623275 @ 3.02551
4.37/4.46 c GLOBAL bounds - >= 1347573623275 @ 3.027
4.37/4.48 c GLOBAL bounds - >= 1347573623275 @ 3.03813
4.37/4.48 c GLOBAL bounds - >= 1347573623275 @ 3.0388
4.47/4.50 c GLOBAL bounds - >= 1347573623275 @ 3.04637
4.47/4.50 c GLOBAL bounds - >= 1347573623275 @ 3.04699
4.47/4.52 c GLOBAL bounds - >= 1347573623275 @ 3.0546
4.47/4.52 c GLOBAL bounds - >= 1347573623275 @ 3.056
4.47/4.54 c GLOBAL bounds - >= 1347573623275 @ 3.06496
4.47/4.54 c GLOBAL bounds - >= 1347573623275 @ 3.06574
4.47/4.56 c GLOBAL bounds - >= 1347573623275 @ 3.07376
4.47/4.58 c GLOBAL bounds - >= 1347573623275 @ 3.08097
8.56/8.67 c #Conflicts: 3000 | #Constraints: 3452
8.56/8.67 c #Conflicts: 4000 | #Constraints: 4452
8.56/8.67 c INPROCESSING
8.56/8.67 c GARBAGE COLLECT
8.56/8.67 c #Conflicts: 5000 | #Constraints: 3852
8.56/8.67 c #Conflicts: 6000 | #Constraints: 4852
8.56/8.67 c INPROCESSING
8.56/8.67 c GARBAGE COLLECT
8.56/8.67 c GLOBAL bounds - >= 1426951171850 @ 6.98787
8.56/8.68 c GLOBAL bounds - >= 1426951171850 @ 6.99953
8.56/8.68 c GLOBAL bounds - >= 1426951171850 @ 6.99953
8.66/8.70 c GLOBAL bounds - >= 1426951171850 @ 7.00881
8.66/8.70 c GLOBAL bounds - >= 1426951171850 @ 7.00951
8.66/8.72 c GLOBAL bounds - >= 1426951171850 @ 7.01799
8.66/8.73 c GLOBAL bounds - >= 1426951171850 @ 7.01855
8.66/8.75 c GLOBAL bounds - >= 1426951171850 @ 7.02712
8.66/8.75 c GLOBAL bounds - >= 1426951171850 @ 7.02847
8.66/8.77 c GLOBAL bounds - >= 1426951171850 @ 7.04042
8.66/8.77 c GLOBAL bounds - >= 1426951171850 @ 7.04146
8.66/8.79 c GLOBAL bounds - >= 1426951171850 @ 7.05068
8.66/8.79 c GLOBAL bounds - >= 1426951171850 @ 7.05244
8.76/8.81 c GLOBAL bounds - >= 1426951171850 @ 7.05997
8.76/8.82 c GLOBAL bounds - >= 1426951171850 @ 7.06142
8.76/8.84 c GLOBAL bounds - >= 1426951171850 @ 7.06831
8.76/8.84 c GLOBAL bounds - >= 1426951171850 @ 7.06906
8.76/8.86 c GLOBAL bounds - >= 1426951171850 @ 7.07664
8.76/8.86 c GLOBAL bounds - >= 1426951171850 @ 7.07739
8.76/8.88 c GLOBAL bounds - >= 1426951171850 @ 7.08587
8.76/8.88 c GLOBAL bounds - >= 1426951171850 @ 7.08659
8.86/8.90 c GLOBAL bounds - >= 1426951171850 @ 7.09422
8.86/8.92 c GLOBAL bounds - >= 1426951171850 @ 7.09936
8.86/8.94 c GLOBAL bounds - >= 1426951171850 @ 7.10774
8.86/8.95 c GLOBAL bounds - >= 1426951171850 @ 7.11565
8.86/8.97 c GLOBAL bounds - >= 1426951171850 @ 7.12376
8.96/9.00 c GLOBAL bounds - >= 1426951171850 @ 7.14787
8.96/9.03 c GLOBAL bounds - >= 1426951171850 @ 7.1616
8.96/9.05 c GLOBAL bounds - >= 1426951171850 @ 7.17471
13.54/13.67 c #Conflicts: 7000 | #Constraints: 3916
13.54/13.67 c #Conflicts: 8000 | #Constraints: 4916
13.54/13.67 c #Conflicts: 9000 | #Constraints: 5916
13.54/13.67 c INPROCESSING
13.54/13.67 c GARBAGE COLLECT
13.54/13.67 c #Conflicts: 10000 | #Constraints: 4609
13.54/13.67 c #Conflicts: 11000 | #Constraints: 5609
13.54/13.67 c #Conflicts: 12000 | #Constraints: 6609
13.54/13.67 c INPROCESSING
13.54/13.67 c GARBAGE COLLECT
13.54/13.67 c GLOBAL bounds - >= 1506236485300 @ 11.6437
13.54/13.68 c GLOBAL bounds - >= 1506236485300 @ 11.6555
13.54/13.69 c GLOBAL bounds - >= 1506236485300 @ 11.6562
13.64/13.71 c GLOBAL bounds - >= 1506236485300 @ 11.6724
13.64/13.72 c GLOBAL bounds - >= 1506236485300 @ 11.6726
13.64/13.74 c GLOBAL bounds - >= 1506236485300 @ 11.6824
13.64/13.74 c GLOBAL bounds - >= 1506236485300 @ 11.6843
13.64/13.76 c GLOBAL bounds - >= 1506236485300 @ 11.6939
13.64/13.76 c GLOBAL bounds - >= 1506236485300 @ 11.6947
13.64/13.78 c GLOBAL bounds - >= 1506236485300 @ 11.7032
13.64/13.78 c GLOBAL bounds - >= 1506236485300 @ 11.7044
13.75/13.81 c GLOBAL bounds - >= 1506236485300 @ 11.7137
13.75/13.81 c GLOBAL bounds - >= 1506236485300 @ 11.7144
13.75/13.83 c GLOBAL bounds - >= 1506236485300 @ 11.7251
13.75/13.83 c GLOBAL bounds - >= 1506236485300 @ 11.7254
13.75/13.85 c GLOBAL bounds - >= 1506236485300 @ 11.7337
13.75/13.85 c GLOBAL bounds - >= 1506236485300 @ 11.7346
13.75/13.87 c GLOBAL bounds - >= 1506236485300 @ 11.7433
13.75/13.88 c GLOBAL bounds - >= 1506236485300 @ 11.7455
13.84/13.90 c GLOBAL bounds - >= 1506236485300 @ 11.7541
13.84/13.90 c GLOBAL bounds - >= 1506236485300 @ 11.7561
13.84/13.92 c GLOBAL bounds - >= 1506236485300 @ 11.7677
13.84/13.94 c GLOBAL bounds - >= 1506236485300 @ 11.7807
47.06/47.20 c #Conflicts: 13000 | #Constraints: 5094
47.06/47.20 c #Conflicts: 14000 | #Constraints: 6094
47.06/47.20 c #Conflicts: 15000 | #Constraints: 7094
47.06/47.20 c INPROCESSING
47.06/47.20 c GARBAGE COLLECT
47.06/47.20 c #Conflicts: 16000 | #Constraints: 5314
47.06/47.20 c #Conflicts: 17000 | #Constraints: 6314
47.06/47.20 c #Conflicts: 18000 | #Constraints: 7314
47.06/47.20 c INPROCESSING
47.06/47.20 c GARBAGE COLLECT
47.06/47.20 c #Conflicts: 19000 | #Constraints: 5329
47.06/47.20 c #Conflicts: 20000 | #Constraints: 6329
47.06/47.20 c #Conflicts: 21000 | #Constraints: 7329
47.06/47.20 c INPROCESSING
47.06/47.20 c GARBAGE COLLECT
47.06/47.20 c #Conflicts: 22000 | #Constraints: 5130
47.06/47.20 c #Conflicts: 23000 | #Constraints: 6130
47.06/47.20 c #Conflicts: 24000 | #Constraints: 7130
47.06/47.20 c #Conflicts: 25000 | #Constraints: 8130
47.06/47.20 c INPROCESSING
47.06/47.20 c GARBAGE COLLECT
47.06/47.20 c #Conflicts: 26000 | #Constraints: 5733
47.06/47.20 c #Conflicts: 27000 | #Constraints: 6733
47.06/47.20 c #Conflicts: 28000 | #Constraints: 7733
47.06/47.20 c #Conflicts: 29000 | #Constraints: 8733
47.06/47.20 c INPROCESSING
47.06/47.20 c GARBAGE COLLECT
47.06/47.20 c #Conflicts: 30000 | #Constraints: 6137
47.06/47.20 c #Conflicts: 31000 | #Constraints: 7137
47.06/47.20 c #Conflicts: 32000 | #Constraints: 8137
47.06/47.20 c #Conflicts: 33000 | #Constraints: 9137
47.06/47.20 c INPROCESSING
47.06/47.20 c GARBAGE COLLECT
47.06/47.20 c #Conflicts: 34000 | #Constraints: 6340
47.06/47.20 c #Conflicts: 35000 | #Constraints: 7340
47.06/47.20 c #Conflicts: 36000 | #Constraints: 8340
47.06/47.20 c #Conflicts: 37000 | #Constraints: 9340
47.06/47.20 c INPROCESSING
47.06/47.20 c GARBAGE COLLECT
47.06/47.20 c #Conflicts: 38000 | #Constraints: 6341
47.06/47.20 c #Conflicts: 39000 | #Constraints: 7341
47.06/47.20 c #Conflicts: 40000 | #Constraints: 8341
47.06/47.20 c #Conflicts: 41000 | #Constraints: 9341
47.06/47.20 c INPROCESSING
47.06/47.20 c GARBAGE COLLECT
47.06/47.20 c #Conflicts: 42000 | #Constraints: 6137
47.06/47.20 c #Conflicts: 43000 | #Constraints: 7137
47.06/47.20 c #Conflicts: 44000 | #Constraints: 8137
47.06/47.20 c #Conflicts: 45000 | #Constraints: 9137
47.06/47.20 c GLOBAL bounds - >= 1664954688400 @ 44.073
47.06/47.23 c GLOBAL bounds - >= 1664954688400 @ 44.0952
47.06/47.23 c GLOBAL bounds - >= 1664954688400 @ 44.0962
47.06/47.25 c GLOBAL bounds - >= 1664954688400 @ 44.106
47.06/47.25 c GLOBAL bounds - >= 1664954688400 @ 44.1072
47.06/47.27 c GLOBAL bounds - >= 1664954688400 @ 44.1191
47.06/47.28 c GLOBAL bounds - >= 1664954688400 @ 44.1201
47.16/47.30 c GLOBAL bounds - >= 1664954688400 @ 44.1279
47.16/47.30 c GLOBAL bounds - >= 1664954688400 @ 44.1291
47.16/47.32 c GLOBAL bounds - >= 1664954688400 @ 44.1366
47.16/47.32 c GLOBAL bounds - >= 1664954688400 @ 44.1371
47.16/47.35 c GLOBAL bounds - >= 1664954688400 @ 44.1465
47.16/47.35 c GLOBAL bounds - >= 1664954688400 @ 44.1475
47.16/47.37 c GLOBAL bounds - >= 1664954688400 @ 44.1573
47.16/47.37 c GLOBAL bounds - >= 1664954688400 @ 44.1592
47.16/47.39 c GLOBAL bounds - >= 1664954688400 @ 44.1672
47.26/47.40 c GLOBAL bounds - >= 1664954688400 @ 44.1682
47.26/47.42 c GLOBAL bounds - >= 1664954688400 @ 44.177
47.26/47.42 c GLOBAL bounds - >= 1664954688400 @ 44.1789
47.26/47.44 c GLOBAL bounds - >= 1664954688400 @ 44.1887
47.26/47.44 c GLOBAL bounds - >= 1664954688400 @ 44.189
47.26/47.47 c GLOBAL bounds - >= 1664954688400 @ 44.1984
91.55/91.88 c #Conflicts: 46000 | #Constraints: 10177
91.55/91.88 c INPROCESSING
91.55/91.88 c GARBAGE COLLECT
91.55/91.88 c #Conflicts: 47000 | #Constraints: 6761
91.55/91.88 c #Conflicts: 48000 | #Constraints: 7761
91.55/91.88 c #Conflicts: 49000 | #Constraints: 8761
91.55/91.88 c #Conflicts: 50000 | #Constraints: 9761
91.55/91.88 c #Conflicts: 51000 | #Constraints: 10761
91.55/91.88 c INPROCESSING
91.55/91.88 c GARBAGE COLLECT
91.55/91.88 c #Conflicts: 52000 | #Constraints: 7161
91.55/91.88 c #Conflicts: 53000 | #Constraints: 8161
91.55/91.88 c #Conflicts: 54000 | #Constraints: 9161
91.55/91.88 c #Conflicts: 55000 | #Constraints: 10161
91.55/91.88 c #Conflicts: 56000 | #Constraints: 11161
91.55/91.88 c INPROCESSING
91.55/91.88 c GARBAGE COLLECT
91.55/91.88 c #Conflicts: 57000 | #Constraints: 7362
91.55/91.88 c #Conflicts: 58000 | #Constraints: 8362
91.55/91.88 c #Conflicts: 59000 | #Constraints: 9362
91.55/91.88 c #Conflicts: 60000 | #Constraints: 10362
91.55/91.88 c #Conflicts: 61000 | #Constraints: 11362
91.55/91.88 c INPROCESSING
91.55/91.88 c GARBAGE COLLECT
91.55/91.88 c #Conflicts: 62000 | #Constraints: 7372
91.55/91.88 c #Conflicts: 63000 | #Constraints: 8372
91.55/91.88 c #Conflicts: 64000 | #Constraints: 9372
91.55/91.88 c #Conflicts: 65000 | #Constraints: 10372
91.55/91.88 c #Conflicts: 66000 | #Constraints: 11372
91.55/91.88 c INPROCESSING
91.55/91.88 c GARBAGE COLLECT
91.55/91.88 c #Conflicts: 67000 | #Constraints: 7170
91.55/91.88 c #Conflicts: 68000 | #Constraints: 8170
91.55/91.88 c #Conflicts: 69000 | #Constraints: 9170
91.55/91.88 c #Conflicts: 70000 | #Constraints: 10170
91.55/91.88 c #Conflicts: 71000 | #Constraints: 11170
91.55/91.88 c #Conflicts: 72000 | #Constraints: 12170
91.55/91.88 c INPROCESSING
91.55/91.88 c GARBAGE COLLECT
91.55/91.88 c #Conflicts: 73000 | #Constraints: 7775
91.55/91.88 c #Conflicts: 74000 | #Constraints: 8775
91.55/91.88 c #Conflicts: 75000 | #Constraints: 9775
91.55/91.88 c #Conflicts: 76000 | #Constraints: 10775
91.55/91.88 c #Conflicts: 77000 | #Constraints: 11775
91.55/91.88 c #Conflicts: 78000 | #Constraints: 12775
91.55/91.88 c INPROCESSING
91.55/91.88 c GARBAGE COLLECT
91.55/91.88 c #Conflicts: 79000 | #Constraints: 8171
91.55/91.88 c #Conflicts: 80000 | #Constraints: 9171
91.55/91.88 c #Conflicts: 81000 | #Constraints: 10171
91.55/91.88 c #Conflicts: 82000 | #Constraints: 11171
91.55/91.88 c #Conflicts: 83000 | #Constraints: 12171
91.55/91.88 c #Conflicts: 84000 | #Constraints: 13171
91.55/91.88 c INPROCESSING
91.55/91.88 c GARBAGE COLLECT
91.55/91.88 c #Conflicts: 85000 | #Constraints: 8376
91.55/91.88 c #Conflicts: 86000 | #Constraints: 9376
91.55/91.88 c #Conflicts: 87000 | #Constraints: 10376
91.55/91.88 c #Conflicts: 88000 | #Constraints: 11376
91.55/91.88 c #Conflicts: 89000 | #Constraints: 12376
91.55/91.88 c #Conflicts: 90000 | #Constraints: 13376
91.55/91.88 c INPROCESSING
91.55/91.88 c GARBAGE COLLECT
91.55/91.88 c #Conflicts: 91000 | #Constraints: 8377
91.55/91.88 c #Conflicts: 92000 | #Constraints: 9377
91.55/91.88 c #Conflicts: 93000 | #Constraints: 10377
91.55/91.88 c GLOBAL bounds - >= 1665157605675 @ 87.3607
91.55/91.89 c GLOBAL bounds - >= 1665157605675 @ 87.3712
91.65/91.91 c GLOBAL bounds - >= 1665157605675 @ 87.3867
91.65/91.92 c GLOBAL bounds - >= 1665157605675 @ 87.3872
91.65/91.94 c GLOBAL bounds - >= 1665157605675 @ 87.3951
91.65/91.94 c GLOBAL bounds - >= 1665157605675 @ 87.3971
91.65/91.96 c GLOBAL bounds - >= 1665157605675 @ 87.4081
91.65/91.96 c GLOBAL bounds - >= 1665157605675 @ 87.4101
91.65/91.99 c GLOBAL bounds - >= 1665157605675 @ 87.4162
91.65/91.99 c GLOBAL bounds - >= 1665157605675 @ 87.4182
91.76/92.01 c GLOBAL bounds - >= 1665157605675 @ 87.4285
91.76/92.01 c GLOBAL bounds - >= 1665157605675 @ 87.4305
91.76/92.03 c GLOBAL bounds - >= 1665157605675 @ 87.4407
91.76/92.04 c GLOBAL bounds - >= 1665157605675 @ 87.4418
91.76/92.06 c GLOBAL bounds - >= 1665157605675 @ 87.4519
91.76/92.06 c GLOBAL bounds - >= 1665157605675 @ 87.4531
91.76/92.08 c GLOBAL bounds - >= 1665157605675 @ 87.465
91.76/92.09 c GLOBAL bounds - >= 1665157605675 @ 87.4663
91.86/92.11 c GLOBAL bounds - >= 1665157605675 @ 87.4762
91.86/92.11 c GLOBAL bounds - >= 1665157605675 @ 87.4773
91.86/92.13 c GLOBAL bounds - >= 1665157605675 @ 87.4863
151.50/151.91 c #Conflicts: 94000 | #Constraints: 11416
151.50/151.91 c #Conflicts: 95000 | #Constraints: 12416
151.50/151.91 c #Conflicts: 96000 | #Constraints: 13416
151.50/151.91 c INPROCESSING
151.50/151.91 c GARBAGE COLLECT
151.50/151.91 c #Conflicts: 97000 | #Constraints: 8205
151.50/151.91 c #Conflicts: 98000 | #Constraints: 9205
151.50/151.91 c #Conflicts: 99000 | #Constraints: 10205
151.50/151.91 c #Conflicts: 100000 | #Constraints: 11205
151.50/151.91 c #Conflicts: 101000 | #Constraints: 12205
151.50/151.91 c #Conflicts: 102000 | #Constraints: 13205
151.50/151.91 c #Conflicts: 103000 | #Constraints: 14205
151.50/151.91 c INPROCESSING
151.50/151.91 c GARBAGE COLLECT
151.50/151.91 c #Conflicts: 104000 | #Constraints: 8802
151.50/151.91 c #Conflicts: 105000 | #Constraints: 9802
151.50/151.91 c #Conflicts: 106000 | #Constraints: 10802
151.50/151.91 c #Conflicts: 107000 | #Constraints: 11802
151.50/151.91 c #Conflicts: 108000 | #Constraints: 12802
151.50/151.91 c #Conflicts: 109000 | #Constraints: 13802
151.50/151.91 c #Conflicts: 110000 | #Constraints: 14802
151.50/151.91 c INPROCESSING
151.50/151.91 c GARBAGE COLLECT
151.50/151.91 c #Conflicts: 111000 | #Constraints: 9199
151.50/151.91 c #Conflicts: 112000 | #Constraints: 10199
151.50/151.91 c #Conflicts: 113000 | #Constraints: 11199
151.50/151.91 c #Conflicts: 114000 | #Constraints: 12199
151.50/151.91 c #Conflicts: 115000 | #Constraints: 13199
151.50/151.91 c #Conflicts: 116000 | #Constraints: 14199
151.50/151.91 c #Conflicts: 117000 | #Constraints: 15199
151.50/151.91 c INPROCESSING
151.50/151.91 c GARBAGE COLLECT
151.50/151.91 c #Conflicts: 118000 | #Constraints: 9395
151.50/151.91 c #Conflicts: 119000 | #Constraints: 10395
151.50/151.91 c #Conflicts: 120000 | #Constraints: 11395
151.50/151.91 c #Conflicts: 121000 | #Constraints: 12395
151.50/151.91 c #Conflicts: 122000 | #Constraints: 13395
151.50/151.91 c #Conflicts: 123000 | #Constraints: 14395
151.50/151.91 c #Conflicts: 124000 | #Constraints: 15395
151.50/151.91 c INPROCESSING
151.50/151.91 c GARBAGE COLLECT
151.50/151.91 c #Conflicts: 125000 | #Constraints: 9391
151.50/151.91 c #Conflicts: 126000 | #Constraints: 10391
151.50/151.91 c #Conflicts: 127000 | #Constraints: 11391
151.50/151.91 c #Conflicts: 128000 | #Constraints: 12391
151.50/151.91 c #Conflicts: 129000 | #Constraints: 13391
151.50/151.91 c #Conflicts: 130000 | #Constraints: 14391
151.50/151.91 c #Conflicts: 131000 | #Constraints: 15391
151.50/151.91 c INPROCESSING
151.50/151.91 c GARBAGE COLLECT
151.50/151.91 c #Conflicts: 132000 | #Constraints: 9201
151.50/151.91 c #Conflicts: 133000 | #Constraints: 10201
151.50/151.91 c #Conflicts: 134000 | #Constraints: 11201
151.50/151.91 c #Conflicts: 135000 | #Constraints: 12201
151.50/151.91 c #Conflicts: 136000 | #Constraints: 13201
151.50/151.91 c #Conflicts: 137000 | #Constraints: 14201
151.50/151.91 c #Conflicts: 138000 | #Constraints: 15201
151.50/151.91 c #Conflicts: 139000 | #Constraints: 16201
151.50/151.91 c INPROCESSING
151.50/151.91 c GARBAGE COLLECT
151.50/151.91 c #Conflicts: 140000 | #Constraints: 9797
151.50/151.91 c #Conflicts: 141000 | #Constraints: 10797
151.50/151.91 c #Conflicts: 142000 | #Constraints: 11797
151.50/151.91 c #Conflicts: 143000 | #Constraints: 12797
151.50/151.91 c #Conflicts: 144000 | #Constraints: 13797
151.50/151.91 c #Conflicts: 145000 | #Constraints: 14797
151.50/151.91 c #Conflicts: 146000 | #Constraints: 15797
151.50/151.91 c #Conflicts: 147000 | #Constraints: 16797
151.50/151.91 c INPROCESSING
151.50/151.91 c GARBAGE COLLECT
151.50/151.91 c #Conflicts: 148000 | #Constraints: 10198
151.50/151.91 c #Conflicts: 149000 | #Constraints: 11198
151.50/151.91 c #Conflicts: 150000 | #Constraints: 12198
151.50/151.91 c #Conflicts: 151000 | #Constraints: 13198
151.50/151.91 c #Conflicts: 152000 | #Constraints: 14198
151.50/151.91 c GLOBAL bounds - >= 1665342075925 @ 146.058
151.50/151.92 c GLOBAL bounds - >= 1665342075925 @ 146.073
151.50/151.95 c GLOBAL bounds - >= 1665342075925 @ 146.081
151.50/151.95 c GLOBAL bounds - >= 1665342075925 @ 146.081
151.50/151.97 c GLOBAL bounds - >= 1665342075925 @ 146.091
151.50/151.97 c GLOBAL bounds - >= 1665342075925 @ 146.093
151.50/152.00 c GLOBAL bounds - >= 1665342075925 @ 146.107
151.50/152.00 c GLOBAL bounds - >= 1665342075925 @ 146.107
151.62/152.02 c GLOBAL bounds - >= 1665342075925 @ 146.118
151.62/152.02 c GLOBAL bounds - >= 1665342075925 @ 146.121
151.62/152.05 c GLOBAL bounds - >= 1665342075925 @ 146.129
151.62/152.05 c GLOBAL bounds - >= 1665342075925 @ 146.132
151.62/152.07 c GLOBAL bounds - >= 1665342075925 @ 146.139
151.62/152.07 c GLOBAL bounds - >= 1665342075925 @ 146.142
151.62/152.10 c GLOBAL bounds - >= 1665342075925 @ 146.152
151.62/152.10 c GLOBAL bounds - >= 1665342075925 @ 146.152
151.71/152.12 c GLOBAL bounds - >= 1665342075925 @ 146.162
151.71/152.12 c GLOBAL bounds - >= 1665342075925 @ 146.164
151.71/152.15 c GLOBAL bounds - >= 1665342075925 @ 146.176
151.71/152.15 c GLOBAL bounds - >= 1665342075925 @ 146.178
151.71/152.17 c GLOBAL bounds - >= 1665342075925 @ 146.185
216.46/217.06 c #Conflicts: 153000 | #Constraints: 15237
216.46/217.06 c #Conflicts: 154000 | #Constraints: 16237
216.46/217.06 c #Conflicts: 155000 | #Constraints: 17237
216.46/217.06 c INPROCESSING
216.46/217.06 c GARBAGE COLLECT
216.46/217.06 c #Conflicts: 156000 | #Constraints: 10428
216.46/217.06 c #Conflicts: 157000 | #Constraints: 11428
216.46/217.06 c #Conflicts: 158000 | #Constraints: 12428
216.46/217.06 c #Conflicts: 159000 | #Constraints: 13428
216.46/217.06 c #Conflicts: 160000 | #Constraints: 14428
216.46/217.06 c #Conflicts: 161000 | #Constraints: 15428
216.46/217.06 c #Conflicts: 162000 | #Constraints: 16428
216.46/217.06 c #Conflicts: 163000 | #Constraints: 17428
216.46/217.06 c INPROCESSING
216.46/217.06 c GARBAGE COLLECT
216.46/217.06 c #Conflicts: 164000 | #Constraints: 10422
216.46/217.06 c #Conflicts: 165000 | #Constraints: 11422
216.46/217.06 c #Conflicts: 166000 | #Constraints: 12422
216.46/217.06 c #Conflicts: 167000 | #Constraints: 13422
216.46/217.06 c #Conflicts: 168000 | #Constraints: 14422
216.46/217.06 c #Conflicts: 169000 | #Constraints: 15422
216.46/217.06 c #Conflicts: 170000 | #Constraints: 16422
216.46/217.06 c #Conflicts: 171000 | #Constraints: 17422
216.46/217.06 c INPROCESSING
216.46/217.06 c GARBAGE COLLECT
216.46/217.06 c #Conflicts: 172000 | #Constraints: 10226
216.46/217.06 c #Conflicts: 173000 | #Constraints: 11226
216.46/217.06 c #Conflicts: 174000 | #Constraints: 12226
216.46/217.06 c #Conflicts: 175000 | #Constraints: 13226
216.46/217.06 c #Conflicts: 176000 | #Constraints: 14226
216.46/217.06 c #Conflicts: 177000 | #Constraints: 15226
216.46/217.06 c #Conflicts: 178000 | #Constraints: 16226
216.46/217.06 c #Conflicts: 179000 | #Constraints: 17226
216.46/217.06 c #Conflicts: 180000 | #Constraints: 18226
216.46/217.06 c INPROCESSING
216.46/217.06 c GARBAGE COLLECT
216.46/217.06 c #Conflicts: 181000 | #Constraints: 10825
216.46/217.06 c #Conflicts: 182000 | #Constraints: 11825
216.46/217.06 c #Conflicts: 183000 | #Constraints: 12825
216.46/217.06 c #Conflicts: 184000 | #Constraints: 13825
216.46/217.06 c #Conflicts: 185000 | #Constraints: 14825
216.46/217.06 c #Conflicts: 186000 | #Constraints: 15825
216.46/217.06 c #Conflicts: 187000 | #Constraints: 16825
216.46/217.06 c #Conflicts: 188000 | #Constraints: 17825
216.46/217.06 c #Conflicts: 189000 | #Constraints: 18825
216.46/217.06 c INPROCESSING
216.46/217.06 c GARBAGE COLLECT
216.46/217.06 c #Conflicts: 190000 | #Constraints: 11223
216.46/217.06 c #Conflicts: 191000 | #Constraints: 12223
216.46/217.06 c #Conflicts: 192000 | #Constraints: 13223
216.46/217.06 c #Conflicts: 193000 | #Constraints: 14223
216.46/217.06 c #Conflicts: 194000 | #Constraints: 15223
216.46/217.06 c #Conflicts: 195000 | #Constraints: 16223
216.46/217.06 c #Conflicts: 196000 | #Constraints: 17223
216.46/217.06 c #Conflicts: 197000 | #Constraints: 18223
216.46/217.06 c #Conflicts: 198000 | #Constraints: 19223
216.46/217.06 c INPROCESSING
216.46/217.06 c GARBAGE COLLECT
216.46/217.06 c #Conflicts: 199000 | #Constraints: 11442
216.46/217.06 c #Conflicts: 200000 | #Constraints: 12442
216.46/217.06 c #Conflicts: 201000 | #Constraints: 13442
216.46/217.06 c #Conflicts: 202000 | #Constraints: 14442
216.46/217.06 c #Conflicts: 203000 | #Constraints: 15442
216.46/217.06 c #Conflicts: 204000 | #Constraints: 16442
216.46/217.06 c #Conflicts: 205000 | #Constraints: 17442
216.46/217.06 c #Conflicts: 206000 | #Constraints: 18442
216.46/217.06 c #Conflicts: 207000 | #Constraints: 19442
216.46/217.06 c INPROCESSING
216.46/217.06 c GARBAGE COLLECT
216.46/217.06 c #Conflicts: 208000 | #Constraints: 11434
216.46/217.06 c #Conflicts: 209000 | #Constraints: 12434
216.46/217.06 c #Conflicts: 210000 | #Constraints: 13434
216.46/217.06 c #Conflicts: 211000 | #Constraints: 14434
216.46/217.06 c #Conflicts: 212000 | #Constraints: 15434
216.46/217.06 c GLOBAL bounds - >= 1665526546175 @ 209.938
216.46/217.07 c GLOBAL bounds - >= 1665526546175 @ 209.953
216.46/217.10 c GLOBAL bounds - >= 1665526546175 @ 209.966
216.46/217.10 c GLOBAL bounds - >= 1665526546175 @ 209.967
216.55/217.12 c GLOBAL bounds - >= 1665526546175 @ 209.98
216.55/217.12 c GLOBAL bounds - >= 1665526546175 @ 209.981
216.55/217.15 c GLOBAL bounds - >= 1665526546175 @ 209.992
216.55/217.15 c GLOBAL bounds - >= 1665526546175 @ 209.995
216.55/217.17 c GLOBAL bounds - >= 1665526546175 @ 210.007
216.55/217.17 c GLOBAL bounds - >= 1665526546175 @ 210.009
216.65/217.20 c GLOBAL bounds - >= 1665526546175 @ 210.02
216.65/217.20 c GLOBAL bounds - >= 1665526546175 @ 210.023
216.65/217.22 c GLOBAL bounds - >= 1665526546175 @ 210.037
216.65/217.23 c GLOBAL bounds - >= 1665526546175 @ 210.039
216.65/217.25 c GLOBAL bounds - >= 1665526546175 @ 210.05
216.65/217.25 c GLOBAL bounds - >= 1665526546175 @ 210.051
216.65/217.28 c GLOBAL bounds - >= 1665526546175 @ 210.062
216.65/217.28 c GLOBAL bounds - >= 1665526546175 @ 210.062
216.75/217.30 c GLOBAL bounds - >= 1665526546175 @ 210.074
216.75/217.30 c GLOBAL bounds - >= 1665526546175 @ 210.076
216.75/217.33 c GLOBAL bounds - >= 1665526546175 @ 210.086
252.26/252.94 c #Conflicts: 213000 | #Constraints: 16473
252.26/252.94 c #Conflicts: 214000 | #Constraints: 17473
252.26/252.94 c #Conflicts: 215000 | #Constraints: 18473
252.26/252.94 c #Conflicts: 216000 | #Constraints: 19473
252.26/252.94 c INPROCESSING
252.26/252.94 c GARBAGE COLLECT
252.26/252.94 c #Conflicts: 217000 | #Constraints: 11268
252.26/252.94 c #Conflicts: 218000 | #Constraints: 12268
252.26/252.94 c #Conflicts: 219000 | #Constraints: 13268
252.26/252.94 c #Conflicts: 220000 | #Constraints: 14268
252.26/252.94 c #Conflicts: 221000 | #Constraints: 15268
252.26/252.94 c #Conflicts: 222000 | #Constraints: 16268
252.26/252.94 c #Conflicts: 223000 | #Constraints: 17268
252.26/252.94 c #Conflicts: 224000 | #Constraints: 18268
252.26/252.94 c #Conflicts: 225000 | #Constraints: 19268
252.26/252.94 c #Conflicts: 226000 | #Constraints: 20268
252.26/252.94 c INPROCESSING
252.26/252.94 c GARBAGE COLLECT
252.26/252.94 c #Conflicts: 227000 | #Constraints: 11881
252.26/252.94 c #Conflicts: 228000 | #Constraints: 12881
252.26/252.94 c #Conflicts: 229000 | #Constraints: 13881
252.26/252.94 c #Conflicts: 230000 | #Constraints: 14881
252.26/252.94 c #Conflicts: 231000 | #Constraints: 15881
252.26/252.94 c #Conflicts: 232000 | #Constraints: 16881
252.26/252.94 c #Conflicts: 233000 | #Constraints: 17881
252.26/252.94 c #Conflicts: 234000 | #Constraints: 18881
252.26/252.94 c #Conflicts: 235000 | #Constraints: 19881
252.26/252.94 c #Conflicts: 236000 | #Constraints: 20881
252.26/252.94 c INPROCESSING
252.26/252.94 c GARBAGE COLLECT
252.26/252.94 c #Conflicts: 237000 | #Constraints: 12270
252.26/252.94 c #Conflicts: 238000 | #Constraints: 13270
252.26/252.94 c #Conflicts: 239000 | #Constraints: 14270
252.26/252.94 c #Conflicts: 240000 | #Constraints: 15270
252.26/252.94 c #Conflicts: 241000 | #Constraints: 16270
252.26/252.94 c GLOBAL bounds - >= 1665711016425 @ 245.08
252.26/252.96 c GLOBAL bounds - >= 1665711016425 @ 245.094
252.26/252.98 c GLOBAL bounds - >= 1665711016425 @ 245.107
252.26/252.98 c GLOBAL bounds - >= 1665711016425 @ 245.108
252.37/253.00 c GLOBAL bounds - >= 1665711016425 @ 245.123
252.37/253.01 c GLOBAL bounds - >= 1665711016425 @ 245.125
252.37/253.03 c GLOBAL bounds - >= 1665711016425 @ 245.138
252.37/253.03 c GLOBAL bounds - >= 1665711016425 @ 245.139
252.37/253.06 c GLOBAL bounds - >= 1665711016425 @ 245.145
252.37/253.06 c GLOBAL bounds - >= 1665711016425 @ 245.146
252.37/253.08 c GLOBAL bounds - >= 1665711016425 @ 245.158
252.37/253.08 c GLOBAL bounds - >= 1665711016425 @ 245.16
252.47/253.11 c GLOBAL bounds - >= 1665711016425 @ 245.173
252.47/253.11 c GLOBAL bounds - >= 1665711016425 @ 245.175
252.47/253.13 c GLOBAL bounds - >= 1665711016425 @ 245.188
252.47/253.13 c GLOBAL bounds - >= 1665711016425 @ 245.19
252.47/253.16 c GLOBAL bounds - >= 1665711016425 @ 245.198
252.47/253.16 c GLOBAL bounds - >= 1665711016425 @ 245.2
252.47/253.18 c GLOBAL bounds - >= 1665711016425 @ 245.21
252.47/253.18 c GLOBAL bounds - >= 1665711016425 @ 245.212
252.57/253.21 c GLOBAL bounds - >= 1665711016425 @ 245.227
341.25/342.16 c #Conflicts: 242000 | #Constraints: 17309
341.25/342.16 c #Conflicts: 243000 | #Constraints: 18309
341.25/342.16 c #Conflicts: 244000 | #Constraints: 19309
341.25/342.16 c #Conflicts: 245000 | #Constraints: 20309
341.25/342.16 c #Conflicts: 246000 | #Constraints: 21309
341.25/342.16 c INPROCESSING
341.25/342.16 c GARBAGE COLLECT
341.25/342.16 c #Conflicts: 247000 | #Constraints: 12493
341.25/342.16 c #Conflicts: 248000 | #Constraints: 13493
341.25/342.16 c #Conflicts: 249000 | #Constraints: 14493
341.25/342.16 c #Conflicts: 250000 | #Constraints: 15493
341.25/342.16 c #Conflicts: 251000 | #Constraints: 16493
341.25/342.16 c #Conflicts: 252000 | #Constraints: 17493
341.25/342.16 c #Conflicts: 253000 | #Constraints: 18493
341.25/342.16 c #Conflicts: 254000 | #Constraints: 19493
341.25/342.16 c #Conflicts: 255000 | #Constraints: 20493
341.25/342.16 c #Conflicts: 256000 | #Constraints: 21493
341.25/342.16 c INPROCESSING
341.25/342.16 c GARBAGE COLLECT
341.25/342.16 c #Conflicts: 257000 | #Constraints: 12494
341.25/342.16 c #Conflicts: 258000 | #Constraints: 13494
341.25/342.16 c #Conflicts: 259000 | #Constraints: 14494
341.25/342.16 c #Conflicts: 260000 | #Constraints: 15494
341.25/342.16 c #Conflicts: 261000 | #Constraints: 16494
341.25/342.16 c #Conflicts: 262000 | #Constraints: 17494
341.25/342.16 c #Conflicts: 263000 | #Constraints: 18494
341.25/342.16 c #Conflicts: 264000 | #Constraints: 19494
341.25/342.16 c #Conflicts: 265000 | #Constraints: 20494
341.25/342.16 c #Conflicts: 266000 | #Constraints: 21494
341.25/342.16 c INPROCESSING
341.25/342.16 c GARBAGE COLLECT
341.25/342.16 c #Conflicts: 267000 | #Constraints: 12290
341.25/342.16 c #Conflicts: 268000 | #Constraints: 13290
341.25/342.16 c #Conflicts: 269000 | #Constraints: 14290
341.25/342.16 c #Conflicts: 270000 | #Constraints: 15290
341.25/342.16 c #Conflicts: 271000 | #Constraints: 16290
341.25/342.16 c #Conflicts: 272000 | #Constraints: 17290
341.25/342.16 c #Conflicts: 273000 | #Constraints: 18290
341.25/342.16 c #Conflicts: 274000 | #Constraints: 19290
341.25/342.16 c #Conflicts: 275000 | #Constraints: 20290
341.25/342.16 c #Conflicts: 276000 | #Constraints: 21290
341.25/342.16 c #Conflicts: 277000 | #Constraints: 22290
341.25/342.16 c INPROCESSING
341.25/342.16 c GARBAGE COLLECT
341.25/342.16 c #Conflicts: 278000 | #Constraints: 12890
341.25/342.16 c #Conflicts: 279000 | #Constraints: 13890
341.25/342.16 c #Conflicts: 280000 | #Constraints: 14890
341.25/342.16 c #Conflicts: 281000 | #Constraints: 15890
341.25/342.16 c #Conflicts: 282000 | #Constraints: 16890
341.25/342.16 c #Conflicts: 283000 | #Constraints: 17890
341.25/342.16 c #Conflicts: 284000 | #Constraints: 18890
341.25/342.16 c #Conflicts: 285000 | #Constraints: 19890
341.25/342.16 c #Conflicts: 286000 | #Constraints: 20890
341.25/342.16 c #Conflicts: 287000 | #Constraints: 21890
341.25/342.16 c #Conflicts: 288000 | #Constraints: 22890
341.25/342.16 c INPROCESSING
341.25/342.16 c GARBAGE COLLECT
341.25/342.16 c #Conflicts: 289000 | #Constraints: 13292
341.25/342.16 c #Conflicts: 290000 | #Constraints: 14292
341.25/342.16 c #Conflicts: 291000 | #Constraints: 15292
341.25/342.16 c #Conflicts: 292000 | #Constraints: 16292
341.25/342.16 c #Conflicts: 293000 | #Constraints: 17292
341.25/342.16 c #Conflicts: 294000 | #Constraints: 18292
341.25/342.16 c #Conflicts: 295000 | #Constraints: 19292
341.25/342.16 c #Conflicts: 296000 | #Constraints: 20292
341.25/342.16 c #Conflicts: 297000 | #Constraints: 21292
341.25/342.16 c #Conflicts: 298000 | #Constraints: 22292
341.25/342.16 c #Conflicts: 299000 | #Constraints: 23292
341.25/342.16 c INPROCESSING
341.25/342.16 c GARBAGE COLLECT
341.25/342.16 c #Conflicts: 300000 | #Constraints: 13491
341.25/342.16 c #Conflicts: 301000 | #Constraints: 14491
341.25/342.16 c #Conflicts: 302000 | #Constraints: 15491
341.25/342.16 c #Conflicts: 303000 | #Constraints: 16491
341.25/342.16 c #Conflicts: 304000 | #Constraints: 17491
341.25/342.16 c #Conflicts: 305000 | #Constraints: 18491
341.25/342.16 c #Conflicts: 306000 | #Constraints: 19491
341.25/342.16 c #Conflicts: 307000 | #Constraints: 20491
341.25/342.16 c #Conflicts: 308000 | #Constraints: 21491
341.25/342.16 c #Conflicts: 309000 | #Constraints: 22491
341.25/342.16 c #Conflicts: 310000 | #Constraints: 23491
341.25/342.16 c INPROCESSING
341.25/342.16 c GARBAGE COLLECT
341.25/342.16 c #Conflicts: 311000 | #Constraints: 13489
341.25/342.16 c #Conflicts: 312000 | #Constraints: 14489
341.25/342.16 c #Conflicts: 313000 | #Constraints: 15489
341.25/342.16 c #Conflicts: 314000 | #Constraints: 16489
341.25/342.16 c #Conflicts: 315000 | #Constraints: 17489
341.25/342.16 c #Conflicts: 316000 | #Constraints: 18489
362.90/363.83 c #Conflicts: 317000 | #Constraints: 19489
362.90/363.83 c #Conflicts: 318000 | #Constraints: 20489
362.90/363.83 c #Conflicts: 319000 | #Constraints: 21489
362.90/363.83 c #Conflicts: 320000 | #Constraints: 22489
362.90/363.83 c #Conflicts: 321000 | #Constraints: 23489
362.90/363.83 c INPROCESSING
362.90/363.83 c GARBAGE COLLECT
362.90/363.83 c #Conflicts: 322000 | #Constraints: 13290
362.90/363.83 c #Conflicts: 323000 | #Constraints: 14290
362.90/363.83 c #Conflicts: 324000 | #Constraints: 15290
362.90/363.83 c #Conflicts: 325000 | #Constraints: 16290
362.90/363.83 c #Conflicts: 326000 | #Constraints: 17290
362.90/363.83 c #Conflicts: 327000 | #Constraints: 18290
362.90/363.83 c #Conflicts: 328000 | #Constraints: 19290
362.90/363.83 c #Conflicts: 329000 | #Constraints: 20290
362.90/363.83 c #Conflicts: 330000 | #Constraints: 21290
362.90/363.83 c GLOBAL bounds - >= 1665895486675 @ 353.929
362.90/363.85 c GLOBAL bounds - >= 1665895486675 @ 353.943
362.90/363.87 c GLOBAL bounds - >= 1665895486675 @ 353.96
362.90/363.88 c GLOBAL bounds - >= 1665895486675 @ 353.961
363.00/363.90 c GLOBAL bounds - >= 1665895486675 @ 353.976
363.00/363.90 c GLOBAL bounds - >= 1665895486675 @ 353.977
363.00/363.93 c GLOBAL bounds - >= 1665895486675 @ 353.989
363.00/363.93 c GLOBAL bounds - >= 1665895486675 @ 353.991
363.00/363.96 c GLOBAL bounds - >= 1665895486675 @ 354.002
363.00/363.96 c GLOBAL bounds - >= 1665895486675 @ 354.005
363.00/363.99 c GLOBAL bounds - >= 1665895486675 @ 354.021
363.00/363.99 c GLOBAL bounds - >= 1665895486675 @ 354.023
363.11/364.02 c GLOBAL bounds - >= 1665895486675 @ 354.035
363.11/364.02 c GLOBAL bounds - >= 1665895486675 @ 354.037
363.11/364.04 c GLOBAL bounds - >= 1665895486675 @ 354.051
363.11/364.05 c GLOBAL bounds - >= 1665895486675 @ 354.054
363.11/364.07 c GLOBAL bounds - >= 1665895486675 @ 354.064
363.11/364.08 c GLOBAL bounds - >= 1665895486675 @ 354.066
363.21/364.10 c GLOBAL bounds - >= 1665895486675 @ 354.082
363.21/364.10 c GLOBAL bounds - >= 1665895486675 @ 354.084
363.21/364.13 c GLOBAL bounds - >= 1665895486675 @ 354.097
446.30/447.43 c #Conflicts: 331000 | #Constraints: 22329
446.30/447.43 c #Conflicts: 332000 | #Constraints: 23329
446.30/447.43 c #Conflicts: 333000 | #Constraints: 24329
446.30/447.43 c INPROCESSING
446.30/447.43 c GARBAGE COLLECT
446.30/447.43 c #Conflicts: 334000 | #Constraints: 13937
446.30/447.43 c #Conflicts: 335000 | #Constraints: 14937
446.30/447.43 c #Conflicts: 336000 | #Constraints: 15937
446.30/447.43 c #Conflicts: 337000 | #Constraints: 16937
446.30/447.43 c #Conflicts: 338000 | #Constraints: 17937
446.30/447.43 c #Conflicts: 339000 | #Constraints: 18937
446.30/447.43 c #Conflicts: 340000 | #Constraints: 19937
446.30/447.43 c #Conflicts: 341000 | #Constraints: 20937
446.30/447.43 c #Conflicts: 342000 | #Constraints: 21937
446.30/447.43 c #Conflicts: 343000 | #Constraints: 22937
446.30/447.43 c #Conflicts: 344000 | #Constraints: 23937
446.30/447.43 c #Conflicts: 345000 | #Constraints: 24937
446.30/447.43 c INPROCESSING
446.30/447.43 c GARBAGE COLLECT
446.30/447.43 c #Conflicts: 346000 | #Constraints: 14325
446.30/447.43 c #Conflicts: 347000 | #Constraints: 15325
446.30/447.43 c #Conflicts: 348000 | #Constraints: 16325
446.30/447.43 c #Conflicts: 349000 | #Constraints: 17325
446.30/447.43 c #Conflicts: 350000 | #Constraints: 18325
446.30/447.43 c #Conflicts: 351000 | #Constraints: 19325
446.30/447.43 c #Conflicts: 352000 | #Constraints: 20325
446.30/447.43 c #Conflicts: 353000 | #Constraints: 21325
446.30/447.43 c #Conflicts: 354000 | #Constraints: 22325
446.30/447.43 c #Conflicts: 355000 | #Constraints: 23325
446.30/447.43 c #Conflicts: 356000 | #Constraints: 24325
446.30/447.43 c #Conflicts: 357000 | #Constraints: 25325
446.30/447.43 c INPROCESSING
446.30/447.43 c GARBAGE COLLECT
446.30/447.43 c #Conflicts: 358000 | #Constraints: 14521
446.30/447.43 c #Conflicts: 359000 | #Constraints: 15521
446.30/447.43 c #Conflicts: 360000 | #Constraints: 16521
446.30/447.43 c #Conflicts: 361000 | #Constraints: 17521
446.30/447.43 c #Conflicts: 362000 | #Constraints: 18521
446.30/447.43 c #Conflicts: 363000 | #Constraints: 19521
446.30/447.43 c #Conflicts: 364000 | #Constraints: 20521
446.30/447.43 c #Conflicts: 365000 | #Constraints: 21521
446.30/447.43 c #Conflicts: 366000 | #Constraints: 22521
446.30/447.43 c #Conflicts: 367000 | #Constraints: 23521
446.30/447.43 c #Conflicts: 368000 | #Constraints: 24521
446.30/447.43 c #Conflicts: 369000 | #Constraints: 25521
446.30/447.43 c INPROCESSING
446.30/447.43 c GARBAGE COLLECT
446.30/447.43 c #Conflicts: 370000 | #Constraints: 14518
446.30/447.43 c #Conflicts: 371000 | #Constraints: 15518
446.30/447.43 c #Conflicts: 372000 | #Constraints: 16518
446.30/447.43 c #Conflicts: 373000 | #Constraints: 17518
446.30/447.43 c #Conflicts: 374000 | #Constraints: 18518
446.30/447.43 c #Conflicts: 375000 | #Constraints: 19518
446.30/447.43 c #Conflicts: 376000 | #Constraints: 20518
446.30/447.43 c #Conflicts: 377000 | #Constraints: 21518
446.30/447.43 c #Conflicts: 378000 | #Constraints: 22518
446.30/447.43 c #Conflicts: 379000 | #Constraints: 23518
446.30/447.43 c #Conflicts: 380000 | #Constraints: 24518
446.30/447.43 c GLOBAL bounds - >= 1666079956925 @ 436.038
446.30/447.45 c GLOBAL bounds - >= 1666079956925 @ 436.054
446.30/447.48 c GLOBAL bounds - >= 1666079956925 @ 436.068
446.30/447.48 c GLOBAL bounds - >= 1666079956925 @ 436.07
446.39/447.51 c GLOBAL bounds - >= 1666079956925 @ 436.082
446.39/447.51 c GLOBAL bounds - >= 1666079956925 @ 436.084
446.39/447.54 c GLOBAL bounds - >= 1666079956925 @ 436.101
446.39/447.54 c GLOBAL bounds - >= 1666079956925 @ 436.102
446.39/447.57 c GLOBAL bounds - >= 1666079956925 @ 436.115
446.39/447.57 c GLOBAL bounds - >= 1666079956925 @ 436.118
446.39/447.59 c GLOBAL bounds - >= 1666079956925 @ 436.134
446.49/447.60 c GLOBAL bounds - >= 1666079956925 @ 436.137
446.49/447.62 c GLOBAL bounds - >= 1666079956925 @ 436.155
446.49/447.63 c GLOBAL bounds - >= 1666079956925 @ 436.156
446.49/447.65 c GLOBAL bounds - >= 1666079956925 @ 436.17
446.49/447.65 c GLOBAL bounds - >= 1666079956925 @ 436.172
446.49/447.68 c GLOBAL bounds - >= 1666079956925 @ 436.185
446.49/447.68 c GLOBAL bounds - >= 1666079956925 @ 436.187
446.60/447.71 c GLOBAL bounds - >= 1666079956925 @ 436.198
446.60/447.71 c GLOBAL bounds - >= 1666079956925 @ 436.201
446.60/447.74 c GLOBAL bounds - >= 1666079956925 @ 436.212
514.73/516.04 c #Conflicts: 381000 | #Constraints: 25557
514.73/516.04 c INPROCESSING
514.73/516.04 c GARBAGE COLLECT
514.73/516.04 c #Conflicts: 382000 | #Constraints: 14351
514.73/516.04 c #Conflicts: 383000 | #Constraints: 15351
514.73/516.04 c #Conflicts: 384000 | #Constraints: 16351
514.73/516.04 c #Conflicts: 385000 | #Constraints: 17351
514.73/516.04 c #Conflicts: 386000 | #Constraints: 18351
514.73/516.04 c #Conflicts: 387000 | #Constraints: 19351
514.73/516.04 c #Conflicts: 388000 | #Constraints: 20351
514.73/516.04 c #Conflicts: 389000 | #Constraints: 21351
514.73/516.04 c #Conflicts: 390000 | #Constraints: 22351
514.73/516.04 c #Conflicts: 391000 | #Constraints: 23351
514.73/516.04 c #Conflicts: 392000 | #Constraints: 24351
514.73/516.04 c #Conflicts: 393000 | #Constraints: 25351
514.73/516.04 c #Conflicts: 394000 | #Constraints: 26351
514.73/516.04 c INPROCESSING
514.73/516.04 c GARBAGE COLLECT
514.73/516.04 c #Conflicts: 395000 | #Constraints: 14947
514.73/516.04 c #Conflicts: 396000 | #Constraints: 15947
514.73/516.04 c #Conflicts: 397000 | #Constraints: 16947
514.73/516.04 c #Conflicts: 398000 | #Constraints: 17947
514.73/516.04 c #Conflicts: 399000 | #Constraints: 18947
514.73/516.04 c #Conflicts: 400000 | #Constraints: 19947
514.73/516.04 c #Conflicts: 401000 | #Constraints: 20947
514.73/516.04 c #Conflicts: 402000 | #Constraints: 21947
514.73/516.04 c #Conflicts: 403000 | #Constraints: 22947
514.73/516.04 c #Conflicts: 404000 | #Constraints: 23947
514.73/516.04 c #Conflicts: 405000 | #Constraints: 24947
514.73/516.04 c #Conflicts: 406000 | #Constraints: 25947
514.73/516.04 c #Conflicts: 407000 | #Constraints: 26947
514.73/516.04 c INPROCESSING
514.73/516.04 c GARBAGE COLLECT
514.73/516.04 c #Conflicts: 408000 | #Constraints: 15346
514.73/516.04 c #Conflicts: 409000 | #Constraints: 16346
514.73/516.04 c #Conflicts: 410000 | #Constraints: 17346
514.73/516.04 c #Conflicts: 411000 | #Constraints: 18346
514.73/516.04 c #Conflicts: 412000 | #Constraints: 19346
514.73/516.04 c #Conflicts: 413000 | #Constraints: 20346
514.73/516.04 c #Conflicts: 414000 | #Constraints: 21346
514.73/516.04 c #Conflicts: 415000 | #Constraints: 22346
514.73/516.04 c #Conflicts: 416000 | #Constraints: 23346
514.73/516.04 c #Conflicts: 417000 | #Constraints: 24346
514.73/516.04 c #Conflicts: 418000 | #Constraints: 25346
514.73/516.04 c #Conflicts: 419000 | #Constraints: 26346
514.73/516.04 c #Conflicts: 420000 | #Constraints: 27346
514.73/516.04 c INPROCESSING
514.73/516.04 c GARBAGE COLLECT
514.73/516.04 c #Conflicts: 421000 | #Constraints: 15557
514.73/516.04 c #Conflicts: 422000 | #Constraints: 16557
514.73/516.04 c #Conflicts: 423000 | #Constraints: 17557
514.73/516.04 c #Conflicts: 424000 | #Constraints: 18557
514.73/516.04 c GLOBAL bounds - >= 1666264427175 @ 503.383
514.73/516.05 c GLOBAL bounds - >= 1666264427175 @ 503.398
514.73/516.08 c GLOBAL bounds - >= 1666264427175 @ 503.409
514.73/516.08 c GLOBAL bounds - >= 1666264427175 @ 503.411
514.84/516.11 c GLOBAL bounds - >= 1666264427175 @ 503.422
514.84/516.11 c GLOBAL bounds - >= 1666264427175 @ 503.424
514.84/516.13 c GLOBAL bounds - >= 1666264427175 @ 503.432
514.84/516.13 c GLOBAL bounds - >= 1666264427175 @ 503.435
514.84/516.16 c GLOBAL bounds - >= 1666264427175 @ 503.444
514.84/516.16 c GLOBAL bounds - >= 1666264427175 @ 503.445
514.84/516.19 c GLOBAL bounds - >= 1666264427175 @ 503.455
514.84/516.19 c GLOBAL bounds - >= 1666264427175 @ 503.458
514.93/516.21 c GLOBAL bounds - >= 1666264427175 @ 503.468
514.93/516.22 c GLOBAL bounds - >= 1666264427175 @ 503.471
514.93/516.24 c GLOBAL bounds - >= 1666264427175 @ 503.485
514.93/516.24 c GLOBAL bounds - >= 1666264427175 @ 503.488
514.93/516.27 c GLOBAL bounds - >= 1666264427175 @ 503.501
514.93/516.27 c GLOBAL bounds - >= 1666264427175 @ 503.503
514.93/516.29 c GLOBAL bounds - >= 1666264427175 @ 503.514
515.03/516.30 c GLOBAL bounds - >= 1666264427175 @ 503.516
515.03/516.32 c GLOBAL bounds - >= 1666264427175 @ 503.526
561.31/562.75 c #Conflicts: 425000 | #Constraints: 19596
561.31/562.75 c #Conflicts: 426000 | #Constraints: 20596
561.31/562.75 c #Conflicts: 427000 | #Constraints: 21596
561.31/562.75 c #Conflicts: 428000 | #Constraints: 22596
561.31/562.75 c #Conflicts: 429000 | #Constraints: 23596
561.31/562.75 c #Conflicts: 430000 | #Constraints: 24596
561.31/562.75 c #Conflicts: 431000 | #Constraints: 25596
561.31/562.75 c #Conflicts: 432000 | #Constraints: 26596
561.31/562.75 c #Conflicts: 433000 | #Constraints: 27596
561.31/562.75 c INPROCESSING
561.31/562.75 c GARBAGE COLLECT
561.31/562.75 c #Conflicts: 434000 | #Constraints: 15588
561.31/562.75 c #Conflicts: 435000 | #Constraints: 16588
561.31/562.75 c #Conflicts: 436000 | #Constraints: 17588
561.31/562.75 c #Conflicts: 437000 | #Constraints: 18588
561.31/562.75 c #Conflicts: 438000 | #Constraints: 19588
561.31/562.75 c #Conflicts: 439000 | #Constraints: 20588
561.31/562.75 c #Conflicts: 440000 | #Constraints: 21588
561.31/562.75 c #Conflicts: 441000 | #Constraints: 22588
561.31/562.75 c #Conflicts: 442000 | #Constraints: 23588
561.31/562.75 c #Conflicts: 443000 | #Constraints: 24588
561.31/562.75 c #Conflicts: 444000 | #Constraints: 25588
561.31/562.75 c #Conflicts: 445000 | #Constraints: 26588
561.31/562.75 c #Conflicts: 446000 | #Constraints: 27588
561.31/562.75 c INPROCESSING
561.31/562.75 c GARBAGE COLLECT
561.31/562.75 c #Conflicts: 447000 | #Constraints: 15377
561.31/562.75 c #Conflicts: 448000 | #Constraints: 16377
561.31/562.75 c #Conflicts: 449000 | #Constraints: 17377
561.31/562.75 c #Conflicts: 450000 | #Constraints: 18377
561.31/562.75 c #Conflicts: 451000 | #Constraints: 19377
561.31/562.75 c #Conflicts: 452000 | #Constraints: 20377
561.31/562.75 c #Conflicts: 453000 | #Constraints: 21377
561.31/562.75 c #Conflicts: 454000 | #Constraints: 22377
561.31/562.75 c #Conflicts: 455000 | #Constraints: 23377
561.31/562.75 c GLOBAL bounds - >= 1666448897425 @ 549.285
561.31/562.77 c GLOBAL bounds - >= 1666448897425 @ 549.3
561.31/562.80 c GLOBAL bounds - >= 1666448897425 @ 549.315
561.41/562.80 c GLOBAL bounds - >= 1666448897425 @ 549.317
561.41/562.82 c GLOBAL bounds - >= 1666448897425 @ 549.33
561.41/562.83 c GLOBAL bounds - >= 1666448897425 @ 549.332
561.41/562.85 c GLOBAL bounds - >= 1666448897425 @ 549.343
561.41/562.85 c GLOBAL bounds - >= 1666448897425 @ 549.344
561.41/562.88 c GLOBAL bounds - >= 1666448897425 @ 549.355
561.41/562.88 c GLOBAL bounds - >= 1666448897425 @ 549.358
561.51/562.91 c GLOBAL bounds - >= 1666448897425 @ 549.368
561.51/562.91 c GLOBAL bounds - >= 1666448897425 @ 549.371
561.51/562.93 c GLOBAL bounds - >= 1666448897425 @ 549.381
561.51/562.94 c GLOBAL bounds - >= 1666448897425 @ 549.383
561.51/562.96 c GLOBAL bounds - >= 1666448897425 @ 549.394
561.51/562.96 c GLOBAL bounds - >= 1666448897425 @ 549.396
561.51/562.99 c GLOBAL bounds - >= 1666448897425 @ 549.408
561.51/562.99 c GLOBAL bounds - >= 1666448897425 @ 549.41
561.62/563.02 c GLOBAL bounds - >= 1666448897425 @ 549.425
561.62/563.02 c GLOBAL bounds - >= 1666448897425 @ 549.427
561.62/563.04 c GLOBAL bounds - >= 1666448897425 @ 549.441
638.22/639.80 c #Conflicts: 456000 | #Constraints: 24416
638.22/639.80 c #Conflicts: 457000 | #Constraints: 25416
638.22/639.80 c #Conflicts: 458000 | #Constraints: 26416
638.22/639.80 c #Conflicts: 459000 | #Constraints: 27416
638.22/639.80 c #Conflicts: 460000 | #Constraints: 28416
638.22/639.80 c INPROCESSING
638.22/639.80 c GARBAGE COLLECT
638.22/639.80 c #Conflicts: 461000 | #Constraints: 16015
638.22/639.80 c #Conflicts: 462000 | #Constraints: 17015
638.22/639.80 c #Conflicts: 463000 | #Constraints: 18015
638.22/639.80 c #Conflicts: 464000 | #Constraints: 19015
638.22/639.80 c #Conflicts: 465000 | #Constraints: 20015
638.22/639.80 c #Conflicts: 466000 | #Constraints: 21015
638.22/639.80 c #Conflicts: 467000 | #Constraints: 22015
638.22/639.80 c #Conflicts: 468000 | #Constraints: 23015
638.22/639.80 c #Conflicts: 469000 | #Constraints: 24015
638.22/639.80 c #Conflicts: 470000 | #Constraints: 25015
638.22/639.80 c #Conflicts: 471000 | #Constraints: 26015
638.22/639.80 c #Conflicts: 472000 | #Constraints: 27015
638.22/639.80 c #Conflicts: 473000 | #Constraints: 28015
638.22/639.80 c #Conflicts: 474000 | #Constraints: 29015
638.22/639.80 c INPROCESSING
638.22/639.80 c GARBAGE COLLECT
638.22/639.80 c #Conflicts: 475000 | #Constraints: 16423
638.22/639.80 c #Conflicts: 476000 | #Constraints: 17423
638.22/639.80 c #Conflicts: 477000 | #Constraints: 18423
638.22/639.80 c #Conflicts: 478000 | #Constraints: 19423
638.22/639.80 c #Conflicts: 479000 | #Constraints: 20423
638.22/639.80 c #Conflicts: 480000 | #Constraints: 21423
638.22/639.80 c #Conflicts: 481000 | #Constraints: 22423
638.22/639.80 c #Conflicts: 482000 | #Constraints: 23423
638.22/639.80 c #Conflicts: 483000 | #Constraints: 24423
638.22/639.80 c #Conflicts: 484000 | #Constraints: 25423
638.22/639.80 c #Conflicts: 485000 | #Constraints: 26423
638.22/639.80 c #Conflicts: 486000 | #Constraints: 27423
638.22/639.80 c #Conflicts: 487000 | #Constraints: 28423
638.22/639.80 c #Conflicts: 488000 | #Constraints: 29423
638.22/639.80 c INPROCESSING
638.22/639.80 c GARBAGE COLLECT
638.22/639.80 c #Conflicts: 489000 | #Constraints: 16615
638.22/639.80 c #Conflicts: 490000 | #Constraints: 17615
638.22/639.80 c #Conflicts: 491000 | #Constraints: 18615
638.22/639.80 c #Conflicts: 492000 | #Constraints: 19615
638.22/639.80 c #Conflicts: 493000 | #Constraints: 20615
638.22/639.80 c #Conflicts: 494000 | #Constraints: 21615
638.22/639.80 c #Conflicts: 495000 | #Constraints: 22615
638.22/639.80 c #Conflicts: 496000 | #Constraints: 23615
638.22/639.80 c #Conflicts: 497000 | #Constraints: 24615
638.22/639.80 c #Conflicts: 498000 | #Constraints: 25615
638.22/639.80 c #Conflicts: 499000 | #Constraints: 26615
638.22/639.80 c GLOBAL bounds - >= 1666633367675 @ 624.911
638.22/639.82 c GLOBAL bounds - >= 1666633367675 @ 624.927
638.22/639.84 c GLOBAL bounds - >= 1666633367675 @ 624.943
638.22/639.85 c GLOBAL bounds - >= 1666633367675 @ 624.945
638.22/639.87 c GLOBAL bounds - >= 1666633367675 @ 624.955
638.22/639.88 c GLOBAL bounds - >= 1666633367675 @ 624.957
638.32/639.90 c GLOBAL bounds - >= 1666633367675 @ 624.969
638.32/639.91 c GLOBAL bounds - >= 1666633367675 @ 624.971
638.32/639.93 c GLOBAL bounds - >= 1666633367675 @ 624.983
638.32/639.94 c GLOBAL bounds - >= 1666633367675 @ 624.986
638.32/639.96 c GLOBAL bounds - >= 1666633367675 @ 625.003
638.32/639.97 c GLOBAL bounds - >= 1666633367675 @ 625.006
638.32/640.00 c GLOBAL bounds - >= 1666633367675 @ 625.019
638.32/640.00 c GLOBAL bounds - >= 1666633367675 @ 625.021
638.43/640.03 c GLOBAL bounds - >= 1666633367675 @ 625.036
638.43/640.03 c GLOBAL bounds - >= 1666633367675 @ 625.038
638.43/640.06 c GLOBAL bounds - >= 1666633367675 @ 625.052
638.43/640.06 c GLOBAL bounds - >= 1666633367675 @ 625.053
638.43/640.09 c GLOBAL bounds - >= 1666633367675 @ 625.068
638.43/640.09 c GLOBAL bounds - >= 1666633367675 @ 625.069
638.53/640.12 c GLOBAL bounds - >= 1666633367675 @ 625.085
647.41/649.04 c #Conflicts: 500000 | #Constraints: 27645
647.41/649.04 c #Conflicts: 501000 | #Constraints: 28645
647.41/649.04 c #Conflicts: 502000 | #Constraints: 29645
647.41/649.04 c INPROCESSING
647.41/649.04 c GARBAGE COLLECT
647.41/649.04 c #Conflicts: 503000 | #Constraints: 16648
647.41/649.04 c #Conflicts: 504000 | #Constraints: 17648
647.41/649.04 c #Conflicts: 505000 | #Constraints: 18648
647.41/649.04 c #Conflicts: 506000 | #Constraints: 19648
647.41/649.04 c #Conflicts: 507000 | #Constraints: 20648
647.41/649.04 c #Conflicts: 508000 | #Constraints: 21648
647.41/649.04 c GLOBAL bounds - >= 1666633367675 @ 633.915
649.99/651.69 c #Conflicts: 509000 | #Constraints: 22648
649.99/651.69 c #Conflicts: 510000 | #Constraints: 23648
649.99/651.69 c #Conflicts: 511000 | #Constraints: 24648
649.99/651.69 c GLOBAL bounds - >= 1666633367675 @ 636.519
650.69/652.30 c #Conflicts: 512000 | #Constraints: 25651
650.69/652.30 c GLOBAL bounds - >= 1666633367675 @ 637.113
650.69/652.38 c GLOBAL bounds - >= 1666633367675 @ 637.174
650.99/652.62 c GLOBAL bounds - >= 1666633367675 @ 637.397
738.29/740.13 c #Conflicts: 513000 | #Constraints: 26657
738.29/740.13 c #Conflicts: 514000 | #Constraints: 27657
738.29/740.13 c #Conflicts: 515000 | #Constraints: 28657
738.29/740.13 c #Conflicts: 516000 | #Constraints: 29657
738.29/740.13 c INPROCESSING
738.29/740.13 c GARBAGE COLLECT
738.29/740.13 c #Conflicts: 517000 | #Constraints: 16450
738.29/740.13 c #Conflicts: 518000 | #Constraints: 17450
738.29/740.13 c #Conflicts: 519000 | #Constraints: 18450
738.29/740.13 c #Conflicts: 520000 | #Constraints: 19450
738.29/740.13 c #Conflicts: 521000 | #Constraints: 20450
738.29/740.13 c #Conflicts: 522000 | #Constraints: 21450
738.29/740.13 c #Conflicts: 523000 | #Constraints: 22450
738.29/740.13 c #Conflicts: 524000 | #Constraints: 23450
738.29/740.13 c #Conflicts: 525000 | #Constraints: 24450
738.29/740.13 c #Conflicts: 526000 | #Constraints: 25450
738.29/740.13 c #Conflicts: 527000 | #Constraints: 26450
738.29/740.13 c #Conflicts: 528000 | #Constraints: 27450
738.29/740.13 c #Conflicts: 529000 | #Constraints: 28450
738.29/740.13 c #Conflicts: 530000 | #Constraints: 29450
738.29/740.13 c #Conflicts: 531000 | #Constraints: 30450
738.29/740.13 c INPROCESSING
738.29/740.13 c GARBAGE COLLECT
738.29/740.13 c #Conflicts: 532000 | #Constraints: 17051
738.29/740.13 c #Conflicts: 533000 | #Constraints: 18051
738.29/740.13 c #Conflicts: 534000 | #Constraints: 19051
738.29/740.13 c #Conflicts: 535000 | #Constraints: 20051
738.29/740.13 c #Conflicts: 536000 | #Constraints: 21051
738.29/740.13 c #Conflicts: 537000 | #Constraints: 22051
738.29/740.13 c #Conflicts: 538000 | #Constraints: 23051
738.29/740.13 c #Conflicts: 539000 | #Constraints: 24051
738.29/740.13 c #Conflicts: 540000 | #Constraints: 25051
738.29/740.13 c #Conflicts: 541000 | #Constraints: 26051
738.29/740.13 c #Conflicts: 542000 | #Constraints: 27051
738.29/740.13 c #Conflicts: 543000 | #Constraints: 28051
738.29/740.13 c #Conflicts: 544000 | #Constraints: 29051
738.29/740.13 c #Conflicts: 545000 | #Constraints: 30051
738.29/740.13 c #Conflicts: 546000 | #Constraints: 31051
738.29/740.13 c INPROCESSING
738.29/740.13 c GARBAGE COLLECT
738.29/740.13 c #Conflicts: 547000 | #Constraints: 17451
738.29/740.13 c #Conflicts: 548000 | #Constraints: 18451
738.29/740.13 c #Conflicts: 549000 | #Constraints: 19451
738.29/740.13 c #Conflicts: 550000 | #Constraints: 20451
738.29/740.13 c #Conflicts: 551000 | #Constraints: 21451
738.29/740.13 c #Conflicts: 552000 | #Constraints: 22451
738.29/740.13 c #Conflicts: 553000 | #Constraints: 23451
738.29/740.13 c #Conflicts: 554000 | #Constraints: 24451
738.29/740.13 c #Conflicts: 555000 | #Constraints: 25451
738.29/740.13 c #Conflicts: 556000 | #Constraints: 26451
738.29/740.13 c #Conflicts: 557000 | #Constraints: 27451
738.29/740.13 c #Conflicts: 558000 | #Constraints: 28451
738.29/740.13 c #Conflicts: 559000 | #Constraints: 29451
738.29/740.13 c #Conflicts: 560000 | #Constraints: 30451
738.29/740.13 c #Conflicts: 561000 | #Constraints: 31451
738.29/740.13 c INPROCESSING
738.29/740.13 c GARBAGE COLLECT
738.29/740.13 c #Conflicts: 562000 | #Constraints: 17650
738.29/740.13 c #Conflicts: 563000 | #Constraints: 18650
738.29/740.13 c #Conflicts: 564000 | #Constraints: 19650
738.29/740.13 c #Conflicts: 565000 | #Constraints: 20650
738.29/740.13 c #Conflicts: 566000 | #Constraints: 21650
738.29/740.13 c #Conflicts: 567000 | #Constraints: 22650
738.29/740.13 c #Conflicts: 568000 | #Constraints: 23650
738.29/740.13 c #Conflicts: 569000 | #Constraints: 24650
738.29/740.13 c #Conflicts: 570000 | #Constraints: 25650
738.29/740.13 c #Conflicts: 571000 | #Constraints: 26650
738.29/740.13 c #Conflicts: 572000 | #Constraints: 27650
738.29/740.13 c #Conflicts: 573000 | #Constraints: 28650
738.29/740.13 c #Conflicts: 574000 | #Constraints: 29650
738.29/740.13 c #Conflicts: 575000 | #Constraints: 30650
738.29/740.13 c #Conflicts: 576000 | #Constraints: 31650
738.29/740.13 c INPROCESSING
738.29/740.13 c GARBAGE COLLECT
738.29/740.13 c #Conflicts: 577000 | #Constraints: 17646
738.29/740.13 c #Conflicts: 578000 | #Constraints: 18646
738.29/740.13 c #Conflicts: 579000 | #Constraints: 19646
738.29/740.13 c #Conflicts: 580000 | #Constraints: 20646
738.29/740.13 c #Conflicts: 581000 | #Constraints: 21646
738.29/740.13 c #Conflicts: 582000 | #Constraints: 22646
738.29/740.13 c #Conflicts: 583000 | #Constraints: 23646
738.29/740.13 c #Conflicts: 584000 | #Constraints: 24646
738.29/740.13 c #Conflicts: 585000 | #Constraints: 25646
738.29/740.13 c #Conflicts: 586000 | #Constraints: 26646
738.29/740.13 c #Conflicts: 587000 | #Constraints: 27646
738.29/740.13 c #Conflicts: 588000 | #Constraints: 28646
824.86/826.99 c #Conflicts: 589000 | #Constraints: 29646
824.86/826.99 c #Conflicts: 590000 | #Constraints: 30646
824.86/826.99 c #Conflicts: 591000 | #Constraints: 31646
824.86/826.99 c INPROCESSING
824.86/826.99 c GARBAGE COLLECT
824.86/826.99 c #Conflicts: 592000 | #Constraints: 17457
824.86/826.99 c #Conflicts: 593000 | #Constraints: 18457
824.86/826.99 c #Conflicts: 594000 | #Constraints: 19457
824.86/826.99 c #Conflicts: 595000 | #Constraints: 20457
824.86/826.99 c #Conflicts: 596000 | #Constraints: 21457
824.86/826.99 c #Conflicts: 597000 | #Constraints: 22457
824.86/826.99 c #Conflicts: 598000 | #Constraints: 23457
824.86/826.99 c #Conflicts: 599000 | #Constraints: 24457
824.86/826.99 c #Conflicts: 600000 | #Constraints: 25457
824.86/826.99 c #Conflicts: 601000 | #Constraints: 26457
824.86/826.99 c #Conflicts: 602000 | #Constraints: 27457
824.86/826.99 c #Conflicts: 603000 | #Constraints: 28457
824.86/826.99 c #Conflicts: 604000 | #Constraints: 29457
824.86/826.99 c #Conflicts: 605000 | #Constraints: 30457
824.86/826.99 c #Conflicts: 606000 | #Constraints: 31457
824.86/826.99 c #Conflicts: 607000 | #Constraints: 32457
824.86/826.99 c INPROCESSING
824.86/826.99 c GARBAGE COLLECT
824.86/826.99 c #Conflicts: 608000 | #Constraints: 18065
824.86/826.99 c #Conflicts: 609000 | #Constraints: 19065
824.86/826.99 c #Conflicts: 610000 | #Constraints: 20065
824.86/826.99 c #Conflicts: 611000 | #Constraints: 21065
824.86/826.99 c #Conflicts: 612000 | #Constraints: 22065
824.86/826.99 c #Conflicts: 613000 | #Constraints: 23065
824.86/826.99 c #Conflicts: 614000 | #Constraints: 24065
824.86/826.99 c #Conflicts: 615000 | #Constraints: 25065
824.86/826.99 c #Conflicts: 616000 | #Constraints: 26065
824.86/826.99 c #Conflicts: 617000 | #Constraints: 27065
824.86/826.99 c #Conflicts: 618000 | #Constraints: 28065
824.86/826.99 c #Conflicts: 619000 | #Constraints: 29065
824.86/826.99 c #Conflicts: 620000 | #Constraints: 30065
824.86/826.99 c #Conflicts: 621000 | #Constraints: 31065
824.86/826.99 c #Conflicts: 622000 | #Constraints: 32065
824.86/826.99 c #Conflicts: 623000 | #Constraints: 33065
824.86/826.99 c INPROCESSING
824.86/826.99 c GARBAGE COLLECT
824.86/826.99 c #Conflicts: 624000 | #Constraints: 18450
824.86/826.99 c #Conflicts: 625000 | #Constraints: 19450
824.86/826.99 c #Conflicts: 626000 | #Constraints: 20450
824.86/826.99 c #Conflicts: 627000 | #Constraints: 21450
824.86/826.99 c #Conflicts: 628000 | #Constraints: 22450
824.86/826.99 c #Conflicts: 629000 | #Constraints: 23450
824.86/826.99 c #Conflicts: 630000 | #Constraints: 24450
824.86/826.99 c #Conflicts: 631000 | #Constraints: 25450
824.86/826.99 c #Conflicts: 632000 | #Constraints: 26450
824.86/826.99 c #Conflicts: 633000 | #Constraints: 27450
824.86/826.99 c #Conflicts: 634000 | #Constraints: 28450
824.86/826.99 c #Conflicts: 635000 | #Constraints: 29450
824.86/826.99 c #Conflicts: 636000 | #Constraints: 30450
824.86/826.99 c #Conflicts: 637000 | #Constraints: 31450
824.86/826.99 c #Conflicts: 638000 | #Constraints: 32450
824.86/826.99 c #Conflicts: 639000 | #Constraints: 33450
824.86/826.99 c INPROCESSING
824.86/826.99 c GARBAGE COLLECT
824.86/826.99 c #Conflicts: 640000 | #Constraints: 18652
824.86/826.99 c #Conflicts: 641000 | #Constraints: 19652
824.86/826.99 c #Conflicts: 642000 | #Constraints: 20652
824.86/826.99 c #Conflicts: 643000 | #Constraints: 21652
824.86/826.99 c #Conflicts: 644000 | #Constraints: 22652
824.86/826.99 c #Conflicts: 645000 | #Constraints: 23652
824.86/826.99 c #Conflicts: 646000 | #Constraints: 24652
824.86/826.99 c #Conflicts: 647000 | #Constraints: 25652
824.86/826.99 c #Conflicts: 648000 | #Constraints: 26652
824.86/826.99 c #Conflicts: 649000 | #Constraints: 27652
824.86/826.99 c #Conflicts: 650000 | #Constraints: 28652
824.86/826.99 c #Conflicts: 651000 | #Constraints: 29652
824.86/826.99 c #Conflicts: 652000 | #Constraints: 30652
824.86/826.99 c #Conflicts: 653000 | #Constraints: 31652
824.86/826.99 c #Conflicts: 654000 | #Constraints: 32652
824.86/826.99 c #Conflicts: 655000 | #Constraints: 33652
824.86/826.99 c INPROCESSING
824.86/826.99 c GARBAGE COLLECT
824.86/826.99 c #Conflicts: 656000 | #Constraints: 18647
824.86/826.99 c #Conflicts: 657000 | #Constraints: 19647
824.86/826.99 c #Conflicts: 658000 | #Constraints: 20647
824.86/826.99 c #Conflicts: 659000 | #Constraints: 21647
824.86/826.99 c #Conflicts: 660000 | #Constraints: 22647
824.86/826.99 c #Conflicts: 661000 | #Constraints: 23647
824.86/826.99 c #Conflicts: 662000 | #Constraints: 24647
824.86/826.99 c #Conflicts: 663000 | #Constraints: 25647
824.86/826.99 c #Conflicts: 664000 | #Constraints: 26647
923.42/925.70 c #Conflicts: 665000 | #Constraints: 27647
923.42/925.70 c #Conflicts: 666000 | #Constraints: 28647
923.42/925.70 c #Conflicts: 667000 | #Constraints: 29647
923.42/925.70 c #Conflicts: 668000 | #Constraints: 30647
923.42/925.70 c #Conflicts: 669000 | #Constraints: 31647
923.42/925.70 c #Conflicts: 670000 | #Constraints: 32647
923.42/925.70 c #Conflicts: 671000 | #Constraints: 33647
923.42/925.70 c INPROCESSING
923.42/925.70 c GARBAGE COLLECT
923.42/925.70 c #Conflicts: 672000 | #Constraints: 18456
923.42/925.70 c #Conflicts: 673000 | #Constraints: 19456
923.42/925.70 c #Conflicts: 674000 | #Constraints: 20456
923.42/925.70 c #Conflicts: 675000 | #Constraints: 21456
923.42/925.70 c #Conflicts: 676000 | #Constraints: 22456
923.42/925.70 c #Conflicts: 677000 | #Constraints: 23456
923.42/925.70 c #Conflicts: 678000 | #Constraints: 24456
923.42/925.70 c #Conflicts: 679000 | #Constraints: 25456
923.42/925.70 c #Conflicts: 680000 | #Constraints: 26456
923.42/925.70 c #Conflicts: 681000 | #Constraints: 27456
923.42/925.70 c #Conflicts: 682000 | #Constraints: 28456
923.42/925.70 c #Conflicts: 683000 | #Constraints: 29456
923.42/925.70 c #Conflicts: 684000 | #Constraints: 30456
923.42/925.70 c #Conflicts: 685000 | #Constraints: 31456
923.42/925.70 c #Conflicts: 686000 | #Constraints: 32456
923.42/925.70 c #Conflicts: 687000 | #Constraints: 33456
923.42/925.70 c #Conflicts: 688000 | #Constraints: 34456
923.42/925.70 c INPROCESSING
923.42/925.70 c GARBAGE COLLECT
923.42/925.70 c #Conflicts: 689000 | #Constraints: 19059
923.42/925.70 c #Conflicts: 690000 | #Constraints: 20059
923.42/925.70 c #Conflicts: 691000 | #Constraints: 21059
923.42/925.70 c #Conflicts: 692000 | #Constraints: 22059
923.42/925.70 c #Conflicts: 693000 | #Constraints: 23059
923.42/925.70 c #Conflicts: 694000 | #Constraints: 24059
923.42/925.70 c #Conflicts: 695000 | #Constraints: 25059
923.42/925.70 c #Conflicts: 696000 | #Constraints: 26059
923.42/925.70 c #Conflicts: 697000 | #Constraints: 27059
923.42/925.70 c #Conflicts: 698000 | #Constraints: 28059
923.42/925.70 c #Conflicts: 699000 | #Constraints: 29059
923.42/925.70 c #Conflicts: 700000 | #Constraints: 30059
923.42/925.70 c #Conflicts: 701000 | #Constraints: 31059
923.42/925.70 c #Conflicts: 702000 | #Constraints: 32059
923.42/925.70 c #Conflicts: 703000 | #Constraints: 33059
923.42/925.70 c #Conflicts: 704000 | #Constraints: 34059
923.42/925.70 c #Conflicts: 705000 | #Constraints: 35059
923.42/925.70 c INPROCESSING
923.42/925.70 c GARBAGE COLLECT
923.42/925.70 c #Conflicts: 706000 | #Constraints: 19457
923.42/925.70 c #Conflicts: 707000 | #Constraints: 20457
923.42/925.70 c #Conflicts: 708000 | #Constraints: 21457
923.42/925.70 c #Conflicts: 709000 | #Constraints: 22457
923.42/925.70 c #Conflicts: 710000 | #Constraints: 23457
923.42/925.70 c #Conflicts: 711000 | #Constraints: 24457
923.42/925.70 c #Conflicts: 712000 | #Constraints: 25457
923.42/925.70 c #Conflicts: 713000 | #Constraints: 26457
923.42/925.70 c #Conflicts: 714000 | #Constraints: 27457
923.42/925.70 c #Conflicts: 715000 | #Constraints: 28457
923.42/925.70 c #Conflicts: 716000 | #Constraints: 29457
923.42/925.70 c #Conflicts: 717000 | #Constraints: 30457
923.42/925.70 c #Conflicts: 718000 | #Constraints: 31457
923.42/925.70 c #Conflicts: 719000 | #Constraints: 32457
923.42/925.70 c #Conflicts: 720000 | #Constraints: 33457
923.42/925.70 c #Conflicts: 721000 | #Constraints: 34457
923.42/925.70 c #Conflicts: 722000 | #Constraints: 35457
923.42/925.70 c INPROCESSING
923.42/925.70 c GARBAGE COLLECT
923.42/925.70 c #Conflicts: 723000 | #Constraints: 19659
923.42/925.70 c #Conflicts: 724000 | #Constraints: 20659
923.42/925.70 c #Conflicts: 725000 | #Constraints: 21659
923.42/925.70 c #Conflicts: 726000 | #Constraints: 22659
923.42/925.70 c #Conflicts: 727000 | #Constraints: 23659
923.42/925.70 c #Conflicts: 728000 | #Constraints: 24659
923.42/925.70 c #Conflicts: 729000 | #Constraints: 25659
923.42/925.70 c #Conflicts: 730000 | #Constraints: 26659
923.42/925.70 c #Conflicts: 731000 | #Constraints: 27659
923.42/925.70 c #Conflicts: 732000 | #Constraints: 28659
923.42/925.70 c #Conflicts: 733000 | #Constraints: 29659
923.42/925.70 c #Conflicts: 734000 | #Constraints: 30659
923.42/925.70 c #Conflicts: 735000 | #Constraints: 31659
923.42/925.70 c #Conflicts: 736000 | #Constraints: 32659
923.42/925.70 c #Conflicts: 737000 | #Constraints: 33659
923.42/925.70 c #Conflicts: 738000 | #Constraints: 34659
923.42/925.70 c #Conflicts: 739000 | #Constraints: 35659
923.42/925.70 c INPROCESSING
923.42/925.70 c GARBAGE COLLECT
1031.14/1033.77 c #Conflicts: 740000 | #Constraints: 19662
1031.14/1033.77 c #Conflicts: 741000 | #Constraints: 20662
1031.14/1033.77 c #Conflicts: 742000 | #Constraints: 21662
1031.14/1033.77 c #Conflicts: 743000 | #Constraints: 22662
1031.14/1033.77 c #Conflicts: 744000 | #Constraints: 23662
1031.14/1033.77 c #Conflicts: 745000 | #Constraints: 24662
1031.14/1033.77 c #Conflicts: 746000 | #Constraints: 25662
1031.14/1033.77 c #Conflicts: 747000 | #Constraints: 26662
1031.14/1033.77 c #Conflicts: 748000 | #Constraints: 27662
1031.14/1033.77 c #Conflicts: 749000 | #Constraints: 28662
1031.14/1033.77 c #Conflicts: 750000 | #Constraints: 29662
1031.14/1033.77 c #Conflicts: 751000 | #Constraints: 30662
1031.14/1033.77 c #Conflicts: 752000 | #Constraints: 31662
1031.14/1033.77 c #Conflicts: 753000 | #Constraints: 32662
1031.14/1033.77 c #Conflicts: 754000 | #Constraints: 33662
1031.14/1033.77 c #Conflicts: 755000 | #Constraints: 34662
1031.14/1033.77 c #Conflicts: 756000 | #Constraints: 35662
1031.14/1033.77 c INPROCESSING
1031.14/1033.77 c GARBAGE COLLECT
1031.14/1033.77 c #Conflicts: 757000 | #Constraints: 19450
1031.14/1033.77 c #Conflicts: 758000 | #Constraints: 20450
1031.14/1033.77 c #Conflicts: 759000 | #Constraints: 21450
1031.14/1033.77 c #Conflicts: 760000 | #Constraints: 22450
1031.14/1033.77 c #Conflicts: 761000 | #Constraints: 23450
1031.14/1033.77 c #Conflicts: 762000 | #Constraints: 24450
1031.14/1033.77 c #Conflicts: 763000 | #Constraints: 25450
1031.14/1033.77 c #Conflicts: 764000 | #Constraints: 26450
1031.14/1033.77 c #Conflicts: 765000 | #Constraints: 27450
1031.14/1033.77 c #Conflicts: 766000 | #Constraints: 28450
1031.14/1033.77 c #Conflicts: 767000 | #Constraints: 29450
1031.14/1033.77 c #Conflicts: 768000 | #Constraints: 30450
1031.14/1033.77 c #Conflicts: 769000 | #Constraints: 31450
1031.14/1033.77 c #Conflicts: 770000 | #Constraints: 32450
1031.14/1033.77 c #Conflicts: 771000 | #Constraints: 33450
1031.14/1033.77 c #Conflicts: 772000 | #Constraints: 34450
1031.14/1033.77 c #Conflicts: 773000 | #Constraints: 35450
1031.14/1033.77 c #Conflicts: 774000 | #Constraints: 36450
1031.14/1033.77 c INPROCESSING
1031.14/1033.77 c GARBAGE COLLECT
1031.14/1033.77 c #Conflicts: 775000 | #Constraints: 20062
1031.14/1033.77 c #Conflicts: 776000 | #Constraints: 21062
1031.14/1033.77 c #Conflicts: 777000 | #Constraints: 22062
1031.14/1033.77 c #Conflicts: 778000 | #Constraints: 23062
1031.14/1033.77 c #Conflicts: 779000 | #Constraints: 24062
1031.14/1033.77 c #Conflicts: 780000 | #Constraints: 25062
1031.14/1033.77 c #Conflicts: 781000 | #Constraints: 26062
1031.14/1033.77 c #Conflicts: 782000 | #Constraints: 27062
1031.14/1033.77 c #Conflicts: 783000 | #Constraints: 28062
1031.14/1033.77 c #Conflicts: 784000 | #Constraints: 29062
1031.14/1033.77 c #Conflicts: 785000 | #Constraints: 30062
1031.14/1033.77 c #Conflicts: 786000 | #Constraints: 31062
1031.14/1033.77 c #Conflicts: 787000 | #Constraints: 32062
1031.14/1033.77 c #Conflicts: 788000 | #Constraints: 33062
1031.14/1033.77 c #Conflicts: 789000 | #Constraints: 34062
1031.14/1033.77 c #Conflicts: 790000 | #Constraints: 35062
1031.14/1033.77 c #Conflicts: 791000 | #Constraints: 36062
1031.14/1033.77 c #Conflicts: 792000 | #Constraints: 37062
1031.14/1033.77 c INPROCESSING
1031.14/1033.77 c GARBAGE COLLECT
1031.14/1033.77 c #Conflicts: 793000 | #Constraints: 20464
1031.14/1033.77 c #Conflicts: 794000 | #Constraints: 21464
1031.14/1033.77 c #Conflicts: 795000 | #Constraints: 22464
1031.14/1033.77 c #Conflicts: 796000 | #Constraints: 23464
1031.14/1033.77 c #Conflicts: 797000 | #Constraints: 24464
1031.14/1033.77 c #Conflicts: 798000 | #Constraints: 25464
1031.14/1033.77 c #Conflicts: 799000 | #Constraints: 26464
1031.14/1033.77 c #Conflicts: 800000 | #Constraints: 27464
1031.14/1033.77 c #Conflicts: 801000 | #Constraints: 28464
1031.14/1033.77 c #Conflicts: 802000 | #Constraints: 29464
1031.14/1033.77 c #Conflicts: 803000 | #Constraints: 30464
1031.14/1033.77 c #Conflicts: 804000 | #Constraints: 31464
1031.14/1033.77 c #Conflicts: 805000 | #Constraints: 32464
1031.14/1033.77 c #Conflicts: 806000 | #Constraints: 33464
1031.14/1033.77 c #Conflicts: 807000 | #Constraints: 34464
1031.14/1033.77 c #Conflicts: 808000 | #Constraints: 35464
1031.14/1033.77 c #Conflicts: 809000 | #Constraints: 36464
1031.14/1033.77 c #Conflicts: 810000 | #Constraints: 37464
1031.14/1033.77 c INPROCESSING
1031.14/1033.77 c GARBAGE COLLECT
1031.14/1033.77 c #Conflicts: 811000 | #Constraints: 20646
1031.14/1033.77 c #Conflicts: 812000 | #Constraints: 21646
1031.14/1033.77 c #Conflicts: 813000 | #Constraints: 22646
1031.14/1033.77 c #Conflicts: 814000 | #Constraints: 23646
1031.14/1033.77 c #Conflicts: 815000 | #Constraints: 24646
1031.14/1033.77 c #Conflicts: 816000 | #Constraints: 25646
1164.13/1167.14 c #Conflicts: 817000 | #Constraints: 26646
1164.13/1167.14 c #Conflicts: 818000 | #Constraints: 27646
1164.13/1167.14 c #Conflicts: 819000 | #Constraints: 28646
1164.13/1167.14 c #Conflicts: 820000 | #Constraints: 29646
1164.13/1167.14 c #Conflicts: 821000 | #Constraints: 30646
1164.13/1167.14 c #Conflicts: 822000 | #Constraints: 31646
1164.13/1167.14 c #Conflicts: 823000 | #Constraints: 32646
1164.13/1167.14 c #Conflicts: 824000 | #Constraints: 33646
1164.13/1167.14 c #Conflicts: 825000 | #Constraints: 34646
1164.13/1167.14 c #Conflicts: 826000 | #Constraints: 35646
1164.13/1167.14 c #Conflicts: 827000 | #Constraints: 36646
1164.13/1167.14 c #Conflicts: 828000 | #Constraints: 37646
1164.13/1167.14 c INPROCESSING
1164.13/1167.14 c GARBAGE COLLECT
1164.13/1167.14 c #Conflicts: 829000 | #Constraints: 20640
1164.13/1167.14 c #Conflicts: 830000 | #Constraints: 21640
1164.13/1167.14 c #Conflicts: 831000 | #Constraints: 22640
1164.13/1167.14 c #Conflicts: 832000 | #Constraints: 23640
1164.13/1167.14 c #Conflicts: 833000 | #Constraints: 24640
1164.13/1167.14 c #Conflicts: 834000 | #Constraints: 25640
1164.13/1167.14 c #Conflicts: 835000 | #Constraints: 26640
1164.13/1167.14 c #Conflicts: 836000 | #Constraints: 27640
1164.13/1167.14 c #Conflicts: 837000 | #Constraints: 28640
1164.13/1167.14 c #Conflicts: 838000 | #Constraints: 29640
1164.13/1167.14 c #Conflicts: 839000 | #Constraints: 30640
1164.13/1167.14 c #Conflicts: 840000 | #Constraints: 31640
1164.13/1167.14 c #Conflicts: 841000 | #Constraints: 32640
1164.13/1167.14 c #Conflicts: 842000 | #Constraints: 33640
1164.13/1167.14 c #Conflicts: 843000 | #Constraints: 34640
1164.13/1167.14 c #Conflicts: 844000 | #Constraints: 35640
1164.13/1167.14 c #Conflicts: 845000 | #Constraints: 36640
1164.13/1167.14 c #Conflicts: 846000 | #Constraints: 37640
1164.13/1167.14 c INPROCESSING
1164.13/1167.14 c GARBAGE COLLECT
1164.13/1167.14 c #Conflicts: 847000 | #Constraints: 20446
1164.13/1167.14 c #Conflicts: 848000 | #Constraints: 21446
1164.13/1167.14 c #Conflicts: 849000 | #Constraints: 22446
1164.13/1167.14 c #Conflicts: 850000 | #Constraints: 23446
1164.13/1167.14 c #Conflicts: 851000 | #Constraints: 24446
1164.13/1167.14 c #Conflicts: 852000 | #Constraints: 25446
1164.13/1167.14 c #Conflicts: 853000 | #Constraints: 26446
1164.13/1167.14 c #Conflicts: 854000 | #Constraints: 27446
1164.13/1167.14 c #Conflicts: 855000 | #Constraints: 28446
1164.13/1167.14 c #Conflicts: 856000 | #Constraints: 29446
1164.13/1167.14 c #Conflicts: 857000 | #Constraints: 30446
1164.13/1167.14 c #Conflicts: 858000 | #Constraints: 31446
1164.13/1167.14 c #Conflicts: 859000 | #Constraints: 32446
1164.13/1167.14 c #Conflicts: 860000 | #Constraints: 33446
1164.13/1167.14 c #Conflicts: 861000 | #Constraints: 34446
1164.13/1167.14 c #Conflicts: 862000 | #Constraints: 35446
1164.13/1167.14 c #Conflicts: 863000 | #Constraints: 36446
1164.13/1167.14 c #Conflicts: 864000 | #Constraints: 37446
1164.13/1167.14 c #Conflicts: 865000 | #Constraints: 38446
1164.13/1167.14 c INPROCESSING
1164.13/1167.14 c GARBAGE COLLECT
1164.13/1167.14 c #Conflicts: 866000 | #Constraints: 21044
1164.13/1167.14 c #Conflicts: 867000 | #Constraints: 22044
1164.13/1167.14 c #Conflicts: 868000 | #Constraints: 23044
1164.13/1167.14 c #Conflicts: 869000 | #Constraints: 24044
1164.13/1167.14 c #Conflicts: 870000 | #Constraints: 25044
1164.13/1167.14 c #Conflicts: 871000 | #Constraints: 26044
1164.13/1167.14 c #Conflicts: 872000 | #Constraints: 27044
1164.13/1167.14 c #Conflicts: 873000 | #Constraints: 28044
1164.13/1167.14 c #Conflicts: 874000 | #Constraints: 29044
1164.13/1167.14 c #Conflicts: 875000 | #Constraints: 30044
1164.13/1167.14 c #Conflicts: 876000 | #Constraints: 31044
1164.13/1167.14 c #Conflicts: 877000 | #Constraints: 32044
1164.13/1167.14 c #Conflicts: 878000 | #Constraints: 33044
1164.13/1167.14 c #Conflicts: 879000 | #Constraints: 34044
1164.13/1167.14 c #Conflicts: 880000 | #Constraints: 35044
1164.13/1167.14 c #Conflicts: 881000 | #Constraints: 36044
1164.13/1167.14 c #Conflicts: 882000 | #Constraints: 37044
1164.13/1167.14 c #Conflicts: 883000 | #Constraints: 38044
1164.13/1167.14 c #Conflicts: 884000 | #Constraints: 39044
1164.13/1167.14 c INPROCESSING
1164.13/1167.14 c GARBAGE COLLECT
1164.13/1167.14 c #Conflicts: 885000 | #Constraints: 21449
1164.13/1167.14 c #Conflicts: 886000 | #Constraints: 22449
1164.13/1167.14 c #Conflicts: 887000 | #Constraints: 23449
1164.13/1167.14 c #Conflicts: 888000 | #Constraints: 24449
1164.13/1167.14 c #Conflicts: 889000 | #Constraints: 25449
1164.13/1167.14 c #Conflicts: 890000 | #Constraints: 26449
1164.13/1167.14 c #Conflicts: 891000 | #Constraints: 27449
1164.13/1167.14 c #Conflicts: 892000 | #Constraints: 28449
1294.81/1298.26 c #Conflicts: 893000 | #Constraints: 29449
1294.81/1298.26 c #Conflicts: 894000 | #Constraints: 30449
1294.81/1298.26 c #Conflicts: 895000 | #Constraints: 31449
1294.81/1298.26 c #Conflicts: 896000 | #Constraints: 32449
1294.81/1298.26 c #Conflicts: 897000 | #Constraints: 33449
1294.81/1298.26 c #Conflicts: 898000 | #Constraints: 34449
1294.81/1298.26 c #Conflicts: 899000 | #Constraints: 35449
1294.81/1298.26 c #Conflicts: 900000 | #Constraints: 36449
1294.81/1298.26 c #Conflicts: 901000 | #Constraints: 37449
1294.81/1298.26 c #Conflicts: 902000 | #Constraints: 38449
1294.81/1298.26 c #Conflicts: 903000 | #Constraints: 39449
1294.81/1298.26 c INPROCESSING
1294.81/1298.26 c GARBAGE COLLECT
1294.81/1298.26 c #Conflicts: 904000 | #Constraints: 21645
1294.81/1298.26 c #Conflicts: 905000 | #Constraints: 22645
1294.81/1298.26 c #Conflicts: 906000 | #Constraints: 23645
1294.81/1298.26 c #Conflicts: 907000 | #Constraints: 24645
1294.81/1298.26 c #Conflicts: 908000 | #Constraints: 25645
1294.81/1298.26 c #Conflicts: 909000 | #Constraints: 26645
1294.81/1298.26 c #Conflicts: 910000 | #Constraints: 27645
1294.81/1298.26 c #Conflicts: 911000 | #Constraints: 28645
1294.81/1298.26 c #Conflicts: 912000 | #Constraints: 29645
1294.81/1298.26 c #Conflicts: 913000 | #Constraints: 30645
1294.81/1298.26 c #Conflicts: 914000 | #Constraints: 31645
1294.81/1298.26 c #Conflicts: 915000 | #Constraints: 32645
1294.81/1298.26 c #Conflicts: 916000 | #Constraints: 33645
1294.81/1298.26 c #Conflicts: 917000 | #Constraints: 34645
1294.81/1298.26 c #Conflicts: 918000 | #Constraints: 35645
1294.81/1298.26 c #Conflicts: 919000 | #Constraints: 36645
1294.81/1298.26 c #Conflicts: 920000 | #Constraints: 37645
1294.81/1298.26 c #Conflicts: 921000 | #Constraints: 38645
1294.81/1298.26 c #Conflicts: 922000 | #Constraints: 39645
1294.81/1298.26 c INPROCESSING
1294.81/1298.26 c GARBAGE COLLECT
1294.81/1298.26 c #Conflicts: 923000 | #Constraints: 21652
1294.81/1298.26 c #Conflicts: 924000 | #Constraints: 22652
1294.81/1298.26 c #Conflicts: 925000 | #Constraints: 23652
1294.81/1298.26 c #Conflicts: 926000 | #Constraints: 24652
1294.81/1298.26 c #Conflicts: 927000 | #Constraints: 25652
1294.81/1298.26 c #Conflicts: 928000 | #Constraints: 26652
1294.81/1298.26 c #Conflicts: 929000 | #Constraints: 27652
1294.81/1298.26 c #Conflicts: 930000 | #Constraints: 28652
1294.81/1298.26 c #Conflicts: 931000 | #Constraints: 29652
1294.81/1298.26 c #Conflicts: 932000 | #Constraints: 30652
1294.81/1298.26 c #Conflicts: 933000 | #Constraints: 31652
1294.81/1298.26 c #Conflicts: 934000 | #Constraints: 32652
1294.81/1298.26 c #Conflicts: 935000 | #Constraints: 33652
1294.81/1298.26 c #Conflicts: 936000 | #Constraints: 34652
1294.81/1298.26 c #Conflicts: 937000 | #Constraints: 35652
1294.81/1298.26 c #Conflicts: 938000 | #Constraints: 36652
1294.81/1298.26 c #Conflicts: 939000 | #Constraints: 37652
1294.81/1298.26 c #Conflicts: 940000 | #Constraints: 38652
1294.81/1298.26 c #Conflicts: 941000 | #Constraints: 39652
1294.81/1298.26 c INPROCESSING
1294.81/1298.26 c GARBAGE COLLECT
1294.81/1298.26 c #Conflicts: 942000 | #Constraints: 21453
1294.81/1298.26 c #Conflicts: 943000 | #Constraints: 22453
1294.81/1298.26 c #Conflicts: 944000 | #Constraints: 23453
1294.81/1298.26 c #Conflicts: 945000 | #Constraints: 24453
1294.81/1298.26 c #Conflicts: 946000 | #Constraints: 25453
1294.81/1298.26 c #Conflicts: 947000 | #Constraints: 26453
1294.81/1298.26 c #Conflicts: 948000 | #Constraints: 27453
1294.81/1298.26 c #Conflicts: 949000 | #Constraints: 28453
1294.81/1298.26 c #Conflicts: 950000 | #Constraints: 29453
1294.81/1298.26 c #Conflicts: 951000 | #Constraints: 30453
1294.81/1298.26 c #Conflicts: 952000 | #Constraints: 31453
1294.81/1298.26 c #Conflicts: 953000 | #Constraints: 32453
1294.81/1298.26 c #Conflicts: 954000 | #Constraints: 33453
1294.81/1298.26 c #Conflicts: 955000 | #Constraints: 34453
1294.81/1298.26 c #Conflicts: 956000 | #Constraints: 35453
1294.81/1298.26 c #Conflicts: 957000 | #Constraints: 36453
1294.81/1298.26 c #Conflicts: 958000 | #Constraints: 37453
1294.81/1298.26 c #Conflicts: 959000 | #Constraints: 38453
1294.81/1298.26 c #Conflicts: 960000 | #Constraints: 39453
1294.81/1298.26 c #Conflicts: 961000 | #Constraints: 40453
1294.81/1298.26 c INPROCESSING
1294.81/1298.26 c GARBAGE COLLECT
1294.81/1298.26 c #Conflicts: 962000 | #Constraints: 22048
1294.81/1298.26 c #Conflicts: 963000 | #Constraints: 23048
1294.81/1298.26 c #Conflicts: 964000 | #Constraints: 24048
1294.81/1298.26 c #Conflicts: 965000 | #Constraints: 25048
1294.81/1298.26 c #Conflicts: 966000 | #Constraints: 26048
1294.81/1298.26 c #Conflicts: 967000 | #Constraints: 27048
1294.81/1298.26 c #Conflicts: 968000 | #Constraints: 28048
1398.79/1402.58 c #Conflicts: 969000 | #Constraints: 29048
1398.79/1402.58 c #Conflicts: 970000 | #Constraints: 30048
1398.79/1402.58 c #Conflicts: 971000 | #Constraints: 31048
1398.79/1402.58 c #Conflicts: 972000 | #Constraints: 32048
1398.79/1402.58 c #Conflicts: 973000 | #Constraints: 33048
1398.79/1402.58 c #Conflicts: 974000 | #Constraints: 34048
1398.79/1402.58 c #Conflicts: 975000 | #Constraints: 35048
1398.79/1402.58 c #Conflicts: 976000 | #Constraints: 36048
1398.79/1402.58 c #Conflicts: 977000 | #Constraints: 37048
1398.79/1402.58 c #Conflicts: 978000 | #Constraints: 38048
1398.79/1402.58 c #Conflicts: 979000 | #Constraints: 39048
1398.79/1402.58 c #Conflicts: 980000 | #Constraints: 40048
1398.79/1402.58 c #Conflicts: 981000 | #Constraints: 41048
1398.79/1402.58 c INPROCESSING
1398.79/1402.58 c GARBAGE COLLECT
1398.79/1402.58 c #Conflicts: 982000 | #Constraints: 22464
1398.79/1402.58 c #Conflicts: 983000 | #Constraints: 23464
1398.79/1402.58 c #Conflicts: 984000 | #Constraints: 24464
1398.79/1402.58 c #Conflicts: 985000 | #Constraints: 25464
1398.79/1402.58 c #Conflicts: 986000 | #Constraints: 26464
1398.79/1402.58 c #Conflicts: 987000 | #Constraints: 27464
1398.79/1402.58 c #Conflicts: 988000 | #Constraints: 28464
1398.79/1402.58 c #Conflicts: 989000 | #Constraints: 29464
1398.79/1402.58 c #Conflicts: 990000 | #Constraints: 30464
1398.79/1402.58 c #Conflicts: 991000 | #Constraints: 31464
1398.79/1402.58 c #Conflicts: 992000 | #Constraints: 32464
1398.79/1402.58 c #Conflicts: 993000 | #Constraints: 33464
1398.79/1402.58 c #Conflicts: 994000 | #Constraints: 34464
1398.79/1402.58 c #Conflicts: 995000 | #Constraints: 35464
1398.79/1402.58 c #Conflicts: 996000 | #Constraints: 36464
1398.79/1402.58 c #Conflicts: 997000 | #Constraints: 37464
1398.79/1402.58 c #Conflicts: 998000 | #Constraints: 38464
1398.79/1402.58 c #Conflicts: 999000 | #Constraints: 39464
1398.79/1402.58 c #Conflicts: 1000000 | #Constraints: 40464
1398.79/1402.58 c #Conflicts: 1001000 | #Constraints: 41464
1398.79/1402.58 c INPROCESSING
1398.79/1402.58 c GARBAGE COLLECT
1398.79/1402.58 c #Conflicts: 1002000 | #Constraints: 22666
1398.79/1402.58 c #Conflicts: 1003000 | #Constraints: 23666
1398.79/1402.58 c #Conflicts: 1004000 | #Constraints: 24666
1398.79/1402.58 c #Conflicts: 1005000 | #Constraints: 25666
1398.79/1402.58 c #Conflicts: 1006000 | #Constraints: 26666
1398.79/1402.58 c #Conflicts: 1007000 | #Constraints: 27666
1398.79/1402.58 c #Conflicts: 1008000 | #Constraints: 28666
1398.79/1402.58 c #Conflicts: 1009000 | #Constraints: 29666
1398.79/1402.58 c #Conflicts: 1010000 | #Constraints: 30666
1398.79/1402.58 c #Conflicts: 1011000 | #Constraints: 31666
1398.79/1402.58 c #Conflicts: 1012000 | #Constraints: 32666
1398.79/1402.58 c #Conflicts: 1013000 | #Constraints: 33666
1398.79/1402.58 c #Conflicts: 1014000 | #Constraints: 34666
1398.79/1402.58 c #Conflicts: 1015000 | #Constraints: 35666
1398.79/1402.58 c #Conflicts: 1016000 | #Constraints: 36666
1398.79/1402.58 c #Conflicts: 1017000 | #Constraints: 37666
1398.79/1402.58 c #Conflicts: 1018000 | #Constraints: 38666
1398.79/1402.58 c #Conflicts: 1019000 | #Constraints: 39666
1398.79/1402.58 c #Conflicts: 1020000 | #Constraints: 40666
1398.79/1402.58 c #Conflicts: 1021000 | #Constraints: 41666
1398.79/1402.58 c INPROCESSING
1398.79/1402.58 c GARBAGE COLLECT
1398.79/1402.58 c #Conflicts: 1022000 | #Constraints: 22662
1398.79/1402.58 c #Conflicts: 1023000 | #Constraints: 23662
1398.79/1402.58 c #Conflicts: 1024000 | #Constraints: 24662
1398.79/1402.58 c #Conflicts: 1025000 | #Constraints: 25662
1398.79/1402.58 c #Conflicts: 1026000 | #Constraints: 26662
1398.79/1402.58 c #Conflicts: 1027000 | #Constraints: 27662
1398.79/1402.58 c #Conflicts: 1028000 | #Constraints: 28662
1398.79/1402.58 c #Conflicts: 1029000 | #Constraints: 29662
1398.79/1402.58 c #Conflicts: 1030000 | #Constraints: 30662
1398.79/1402.58 c #Conflicts: 1031000 | #Constraints: 31662
1398.79/1402.58 c #Conflicts: 1032000 | #Constraints: 32662
1398.79/1402.58 c #Conflicts: 1033000 | #Constraints: 33662
1398.79/1402.58 c #Conflicts: 1034000 | #Constraints: 34662
1398.79/1402.58 c #Conflicts: 1035000 | #Constraints: 35662
1398.79/1402.58 c #Conflicts: 1036000 | #Constraints: 36662
1398.79/1402.58 c #Conflicts: 1037000 | #Constraints: 37662
1398.79/1402.58 c #Conflicts: 1038000 | #Constraints: 38662
1398.79/1402.58 c #Conflicts: 1039000 | #Constraints: 39662
1398.79/1402.58 c #Conflicts: 1040000 | #Constraints: 40662
1398.79/1402.58 c #Conflicts: 1041000 | #Constraints: 41662
1398.79/1402.58 c INPROCESSING
1398.79/1402.58 c GARBAGE COLLECT
1398.79/1402.58 c #Conflicts: 1042000 | #Constraints: 22473
1398.79/1402.58 c #Conflicts: 1043000 | #Constraints: 23473
1398.79/1402.58 c #Conflicts: 1044000 | #Constraints: 24473
1562.07/1566.38 c #Conflicts: 1045000 | #Constraints: 25473
1562.07/1566.38 c #Conflicts: 1046000 | #Constraints: 26473
1562.07/1566.38 c #Conflicts: 1047000 | #Constraints: 27473
1562.07/1566.38 c #Conflicts: 1048000 | #Constraints: 28473
1562.07/1566.38 c #Conflicts: 1049000 | #Constraints: 29473
1562.07/1566.38 c #Conflicts: 1050000 | #Constraints: 30473
1562.07/1566.38 c #Conflicts: 1051000 | #Constraints: 31473
1562.07/1566.38 c #Conflicts: 1052000 | #Constraints: 32473
1562.07/1566.38 c #Conflicts: 1053000 | #Constraints: 33473
1562.07/1566.38 c #Conflicts: 1054000 | #Constraints: 34473
1562.07/1566.38 c #Conflicts: 1055000 | #Constraints: 35473
1562.07/1566.38 c #Conflicts: 1056000 | #Constraints: 36473
1562.07/1566.38 c #Conflicts: 1057000 | #Constraints: 37473
1562.07/1566.38 c #Conflicts: 1058000 | #Constraints: 38473
1562.07/1566.38 c #Conflicts: 1059000 | #Constraints: 39473
1562.07/1566.38 c #Conflicts: 1060000 | #Constraints: 40473
1562.07/1566.38 c #Conflicts: 1061000 | #Constraints: 41473
1562.07/1566.38 c #Conflicts: 1062000 | #Constraints: 42473
1562.07/1566.38 c INPROCESSING
1562.07/1566.38 c GARBAGE COLLECT
1562.07/1566.38 c #Conflicts: 1063000 | #Constraints: 23071
1562.07/1566.38 c #Conflicts: 1064000 | #Constraints: 24071
1562.07/1566.38 c #Conflicts: 1065000 | #Constraints: 25071
1562.07/1566.38 c #Conflicts: 1066000 | #Constraints: 26071
1562.07/1566.38 c #Conflicts: 1067000 | #Constraints: 27071
1562.07/1566.38 c #Conflicts: 1068000 | #Constraints: 28071
1562.07/1566.38 c #Conflicts: 1069000 | #Constraints: 29071
1562.07/1566.38 c #Conflicts: 1070000 | #Constraints: 30071
1562.07/1566.38 c #Conflicts: 1071000 | #Constraints: 31071
1562.07/1566.38 c #Conflicts: 1072000 | #Constraints: 32071
1562.07/1566.38 c #Conflicts: 1073000 | #Constraints: 33071
1562.07/1566.38 c #Conflicts: 1074000 | #Constraints: 34071
1562.07/1566.38 c #Conflicts: 1075000 | #Constraints: 35071
1562.07/1566.38 c #Conflicts: 1076000 | #Constraints: 36071
1562.07/1566.38 c #Conflicts: 1077000 | #Constraints: 37071
1562.07/1566.38 c #Conflicts: 1078000 | #Constraints: 38071
1562.07/1566.38 c #Conflicts: 1079000 | #Constraints: 39071
1562.07/1566.38 c #Conflicts: 1080000 | #Constraints: 40071
1562.07/1566.38 c #Conflicts: 1081000 | #Constraints: 41071
1562.07/1566.38 c #Conflicts: 1082000 | #Constraints: 42071
1562.07/1566.38 c #Conflicts: 1083000 | #Constraints: 43071
1562.07/1566.38 c INPROCESSING
1562.07/1566.38 c GARBAGE COLLECT
1562.07/1566.38 c #Conflicts: 1084000 | #Constraints: 23455
1562.07/1566.38 c #Conflicts: 1085000 | #Constraints: 24455
1562.07/1566.38 c #Conflicts: 1086000 | #Constraints: 25455
1562.07/1566.38 c #Conflicts: 1087000 | #Constraints: 26455
1562.07/1566.38 c #Conflicts: 1088000 | #Constraints: 27455
1562.07/1566.38 c #Conflicts: 1089000 | #Constraints: 28455
1562.07/1566.38 c #Conflicts: 1090000 | #Constraints: 29455
1562.07/1566.38 c #Conflicts: 1091000 | #Constraints: 30455
1562.07/1566.38 c #Conflicts: 1092000 | #Constraints: 31455
1562.07/1566.38 c #Conflicts: 1093000 | #Constraints: 32455
1562.07/1566.38 c #Conflicts: 1094000 | #Constraints: 33455
1562.07/1566.38 c #Conflicts: 1095000 | #Constraints: 34455
1562.07/1566.38 c #Conflicts: 1096000 | #Constraints: 35455
1562.07/1566.38 c #Conflicts: 1097000 | #Constraints: 36455
1562.07/1566.38 c #Conflicts: 1098000 | #Constraints: 37455
1562.07/1566.38 c #Conflicts: 1099000 | #Constraints: 38455
1562.07/1566.38 c #Conflicts: 1100000 | #Constraints: 39455
1562.07/1566.38 c #Conflicts: 1101000 | #Constraints: 40455
1562.07/1566.38 c #Conflicts: 1102000 | #Constraints: 41455
1562.07/1566.38 c #Conflicts: 1103000 | #Constraints: 42455
1562.07/1566.38 c #Conflicts: 1104000 | #Constraints: 43455
1562.07/1566.38 c INPROCESSING
1562.07/1566.38 c GARBAGE COLLECT
1562.07/1566.38 c #Conflicts: 1105000 | #Constraints: 23650
1562.07/1566.38 c #Conflicts: 1106000 | #Constraints: 24650
1562.07/1566.38 c #Conflicts: 1107000 | #Constraints: 25650
1562.07/1566.38 c #Conflicts: 1108000 | #Constraints: 26650
1562.07/1566.38 c #Conflicts: 1109000 | #Constraints: 27650
1562.07/1566.38 c #Conflicts: 1110000 | #Constraints: 28650
1562.07/1566.38 c #Conflicts: 1111000 | #Constraints: 29650
1562.07/1566.38 c #Conflicts: 1112000 | #Constraints: 30650
1562.07/1566.38 c #Conflicts: 1113000 | #Constraints: 31650
1562.07/1566.38 c #Conflicts: 1114000 | #Constraints: 32650
1562.07/1566.38 c #Conflicts: 1115000 | #Constraints: 33650
1562.07/1566.38 c #Conflicts: 1116000 | #Constraints: 34650
1562.07/1566.38 c #Conflicts: 1117000 | #Constraints: 35650
1562.07/1566.38 c #Conflicts: 1118000 | #Constraints: 36650
1562.07/1566.38 c #Conflicts: 1119000 | #Constraints: 37650
1562.07/1566.38 c #Conflicts: 1120000 | #Constraints: 38650
1562.07/1566.38 c #Conflicts: 1121000 | #Constraints: 39650
1808.49/1813.59 c #Conflicts: 1122000 | #Constraints: 40650
1808.49/1813.59 c #Conflicts: 1123000 | #Constraints: 41650
1808.49/1813.59 c #Conflicts: 1124000 | #Constraints: 42650
1808.49/1813.59 c #Conflicts: 1125000 | #Constraints: 43650
1808.49/1813.59 c INPROCESSING
1808.49/1813.59 c GARBAGE COLLECT
1808.49/1813.59 c #Conflicts: 1126000 | #Constraints: 23651
1808.49/1813.59 c #Conflicts: 1127000 | #Constraints: 24651
1808.49/1813.59 c #Conflicts: 1128000 | #Constraints: 25651
1808.49/1813.59 c #Conflicts: 1129000 | #Constraints: 26651
1808.49/1813.59 c #Conflicts: 1130000 | #Constraints: 27651
1808.49/1813.59 c #Conflicts: 1131000 | #Constraints: 28651
1808.49/1813.59 c #Conflicts: 1132000 | #Constraints: 29651
1808.49/1813.59 c #Conflicts: 1133000 | #Constraints: 30651
1808.49/1813.59 c #Conflicts: 1134000 | #Constraints: 31651
1808.49/1813.59 c #Conflicts: 1135000 | #Constraints: 32651
1808.49/1813.59 c #Conflicts: 1136000 | #Constraints: 33651
1808.49/1813.59 c #Conflicts: 1137000 | #Constraints: 34651
1808.49/1813.59 c #Conflicts: 1138000 | #Constraints: 35651
1808.49/1813.59 c #Conflicts: 1139000 | #Constraints: 36651
1808.49/1813.59 c #Conflicts: 1140000 | #Constraints: 37651
1808.49/1813.59 c #Conflicts: 1141000 | #Constraints: 38651
1808.49/1813.59 c #Conflicts: 1142000 | #Constraints: 39651
1808.49/1813.59 c #Conflicts: 1143000 | #Constraints: 40651
1808.49/1813.59 c #Conflicts: 1144000 | #Constraints: 41651
1808.49/1813.59 c #Conflicts: 1145000 | #Constraints: 42651
1808.49/1813.59 c #Conflicts: 1146000 | #Constraints: 43651
1808.49/1813.59 c INPROCESSING
1808.49/1813.59 c GARBAGE COLLECT
1808.49/1813.59 c #Conflicts: 1147000 | #Constraints: 23445
1808.49/1813.59 c #Conflicts: 1148000 | #Constraints: 24445
1808.49/1813.59 c #Conflicts: 1149000 | #Constraints: 25445
1808.49/1813.59 c #Conflicts: 1150000 | #Constraints: 26445
1808.49/1813.59 c #Conflicts: 1151000 | #Constraints: 27445
1808.49/1813.59 c #Conflicts: 1152000 | #Constraints: 28445
1808.49/1813.59 c #Conflicts: 1153000 | #Constraints: 29445
1808.49/1813.59 c #Conflicts: 1154000 | #Constraints: 30445
1808.49/1813.59 c #Conflicts: 1155000 | #Constraints: 31445
1808.49/1813.59 c #Conflicts: 1156000 | #Constraints: 32445
1808.49/1813.59 c #Conflicts: 1157000 | #Constraints: 33445
1808.49/1813.59 c #Conflicts: 1158000 | #Constraints: 34445
1808.49/1813.59 c #Conflicts: 1159000 | #Constraints: 35445
1808.49/1813.60 c #Conflicts: 1160000 | #Constraints: 36445
1808.49/1813.60 c #Conflicts: 1161000 | #Constraints: 37445
1808.49/1813.60 c #Conflicts: 1162000 | #Constraints: 38445
1808.49/1813.60 c #Conflicts: 1163000 | #Constraints: 39445
1808.49/1813.60 c #Conflicts: 1164000 | #Constraints: 40445
1808.49/1813.60 c #Conflicts: 1165000 | #Constraints: 41445
1808.49/1813.60 c #Conflicts: 1166000 | #Constraints: 42445
1808.49/1813.60 c #Conflicts: 1167000 | #Constraints: 43445
1808.49/1813.60 c #Conflicts: 1168000 | #Constraints: 44445
1808.49/1813.60 c INPROCESSING
1808.49/1813.60 c GARBAGE COLLECT
1808.49/1813.60 c #Conflicts: 1169000 | #Constraints: 24050
1808.49/1813.60 c #Conflicts: 1170000 | #Constraints: 25050
1808.49/1813.60 c #Conflicts: 1171000 | #Constraints: 26050
1808.49/1813.60 c #Conflicts: 1172000 | #Constraints: 27050
1808.49/1813.60 c #Conflicts: 1173000 | #Constraints: 28050
1808.49/1813.60 c #Conflicts: 1174000 | #Constraints: 29050
1808.49/1813.60 c #Conflicts: 1175000 | #Constraints: 30050
1808.49/1813.60 c #Conflicts: 1176000 | #Constraints: 31050
1808.49/1813.60 c #Conflicts: 1177000 | #Constraints: 32050
1808.49/1813.60 c #Conflicts: 1178000 | #Constraints: 33050
1808.49/1813.60 c #Conflicts: 1179000 | #Constraints: 34050
1808.49/1813.60 c #Conflicts: 1180000 | #Constraints: 35050
1808.49/1813.60 c #Conflicts: 1181000 | #Constraints: 36050
1808.49/1813.60 c #Conflicts: 1182000 | #Constraints: 37050
1808.49/1813.60 c #Conflicts: 1183000 | #Constraints: 38050
1808.49/1813.60 c #Conflicts: 1184000 | #Constraints: 39050
1808.49/1813.60 c #Conflicts: 1185000 | #Constraints: 40050
1808.49/1813.60 c #Conflicts: 1186000 | #Constraints: 41050
1808.49/1813.60 c #Conflicts: 1187000 | #Constraints: 42050
1808.49/1813.60 c #Conflicts: 1188000 | #Constraints: 43050
1808.49/1813.60 c #Conflicts: 1189000 | #Constraints: 44050
1808.49/1813.60 c #Conflicts: 1190000 | #Constraints: 45050
1808.49/1813.60 c INPROCESSING
1808.49/1813.60 c GARBAGE COLLECT
1808.49/1813.60 c #Conflicts: 1191000 | #Constraints: 24454
1808.49/1813.60 c #Conflicts: 1192000 | #Constraints: 25454
1808.49/1813.60 c #Conflicts: 1193000 | #Constraints: 26454
1808.49/1813.60 c #Conflicts: 1194000 | #Constraints: 27454
1808.49/1813.60 c #Conflicts: 1195000 | #Constraints: 28454
1808.49/1813.60 c #Conflicts: 1196000 | #Constraints: 29454
1808.49/1813.60 c #Conflicts: 1197000 | #Constraints: 30454
2085.01/2090.92 c #Conflicts: 1198000 | #Constraints: 31454
2085.01/2090.92 c #Conflicts: 1199000 | #Constraints: 32454
2085.01/2090.92 c #Conflicts: 1200000 | #Constraints: 33454
2085.01/2090.92 c #Conflicts: 1201000 | #Constraints: 34454
2085.01/2090.92 c #Conflicts: 1202000 | #Constraints: 35454
2085.01/2090.92 c #Conflicts: 1203000 | #Constraints: 36454
2085.01/2090.92 c #Conflicts: 1204000 | #Constraints: 37454
2085.01/2090.92 c #Conflicts: 1205000 | #Constraints: 38454
2085.01/2090.92 c #Conflicts: 1206000 | #Constraints: 39454
2085.01/2090.92 c #Conflicts: 1207000 | #Constraints: 40454
2085.01/2090.92 c #Conflicts: 1208000 | #Constraints: 41454
2085.01/2090.92 c #Conflicts: 1209000 | #Constraints: 42454
2085.01/2090.92 c #Conflicts: 1210000 | #Constraints: 43454
2085.01/2090.92 c #Conflicts: 1211000 | #Constraints: 44454
2085.01/2090.92 c #Conflicts: 1212000 | #Constraints: 45454
2085.01/2090.92 c INPROCESSING
2085.01/2090.92 c GARBAGE COLLECT
2085.01/2090.92 c #Conflicts: 1213000 | #Constraints: 24658
2085.01/2090.92 c #Conflicts: 1214000 | #Constraints: 25658
2085.01/2090.92 c #Conflicts: 1215000 | #Constraints: 26658
2085.01/2090.92 c #Conflicts: 1216000 | #Constraints: 27658
2085.01/2090.92 c #Conflicts: 1217000 | #Constraints: 28658
2085.01/2090.92 c #Conflicts: 1218000 | #Constraints: 29658
2085.01/2090.92 c #Conflicts: 1219000 | #Constraints: 30658
2085.01/2090.92 c #Conflicts: 1220000 | #Constraints: 31658
2085.01/2090.92 c #Conflicts: 1221000 | #Constraints: 32658
2085.01/2090.92 c #Conflicts: 1222000 | #Constraints: 33658
2085.01/2090.92 c #Conflicts: 1223000 | #Constraints: 34658
2085.01/2090.92 c #Conflicts: 1224000 | #Constraints: 35658
2085.01/2090.92 c #Conflicts: 1225000 | #Constraints: 36658
2085.01/2090.92 c #Conflicts: 1226000 | #Constraints: 37658
2085.01/2090.92 c #Conflicts: 1227000 | #Constraints: 38658
2085.01/2090.92 c #Conflicts: 1228000 | #Constraints: 39658
2085.01/2090.92 c #Conflicts: 1229000 | #Constraints: 40658
2085.01/2090.92 c #Conflicts: 1230000 | #Constraints: 41658
2085.01/2090.92 c #Conflicts: 1231000 | #Constraints: 42658
2085.01/2090.92 c #Conflicts: 1232000 | #Constraints: 43658
2085.01/2090.92 c #Conflicts: 1233000 | #Constraints: 44658
2085.01/2090.92 c #Conflicts: 1234000 | #Constraints: 45658
2085.01/2090.92 c INPROCESSING
2085.01/2090.92 c GARBAGE COLLECT
2085.01/2090.92 c #Conflicts: 1235000 | #Constraints: 24653
2085.01/2090.92 c #Conflicts: 1236000 | #Constraints: 25653
2085.01/2090.92 c #Conflicts: 1237000 | #Constraints: 26653
2085.01/2090.92 c #Conflicts: 1238000 | #Constraints: 27653
2085.01/2090.92 c #Conflicts: 1239000 | #Constraints: 28653
2085.01/2090.92 c #Conflicts: 1240000 | #Constraints: 29653
2085.01/2090.92 c #Conflicts: 1241000 | #Constraints: 30653
2085.01/2090.92 c #Conflicts: 1242000 | #Constraints: 31653
2085.01/2090.92 c #Conflicts: 1243000 | #Constraints: 32653
2085.01/2090.92 c #Conflicts: 1244000 | #Constraints: 33653
2085.01/2090.92 c #Conflicts: 1245000 | #Constraints: 34653
2085.01/2090.92 c #Conflicts: 1246000 | #Constraints: 35653
2085.01/2090.92 c #Conflicts: 1247000 | #Constraints: 36653
2085.01/2090.92 c #Conflicts: 1248000 | #Constraints: 37653
2085.01/2090.92 c #Conflicts: 1249000 | #Constraints: 38653
2085.01/2090.92 c #Conflicts: 1250000 | #Constraints: 39653
2085.01/2090.92 c #Conflicts: 1251000 | #Constraints: 40653
2085.01/2090.92 c #Conflicts: 1252000 | #Constraints: 41653
2085.01/2090.92 c #Conflicts: 1253000 | #Constraints: 42653
2085.01/2090.92 c #Conflicts: 1254000 | #Constraints: 43653
2085.01/2090.92 c #Conflicts: 1255000 | #Constraints: 44653
2085.01/2090.92 c #Conflicts: 1256000 | #Constraints: 45653
2085.01/2090.92 c INPROCESSING
2085.01/2090.92 c GARBAGE COLLECT
2085.01/2090.92 c #Conflicts: 1257000 | #Constraints: 24450
2085.01/2090.92 c #Conflicts: 1258000 | #Constraints: 25450
2085.01/2090.92 c #Conflicts: 1259000 | #Constraints: 26450
2085.01/2090.92 c #Conflicts: 1260000 | #Constraints: 27450
2085.01/2090.92 c #Conflicts: 1261000 | #Constraints: 28450
2085.01/2090.92 c #Conflicts: 1262000 | #Constraints: 29450
2085.01/2090.92 c #Conflicts: 1263000 | #Constraints: 30450
2085.01/2090.92 c #Conflicts: 1264000 | #Constraints: 31450
2085.01/2090.92 c #Conflicts: 1265000 | #Constraints: 32450
2085.01/2090.92 c #Conflicts: 1266000 | #Constraints: 33450
2085.01/2090.92 c #Conflicts: 1267000 | #Constraints: 34450
2085.01/2090.92 c #Conflicts: 1268000 | #Constraints: 35450
2085.01/2090.92 c #Conflicts: 1269000 | #Constraints: 36450
2085.01/2090.92 c #Conflicts: 1270000 | #Constraints: 37450
2085.01/2090.92 c #Conflicts: 1271000 | #Constraints: 38450
2085.01/2090.92 c #Conflicts: 1272000 | #Constraints: 39450
2085.01/2090.92 c #Conflicts: 1273000 | #Constraints: 40450
2085.01/2090.92 c #Conflicts: 1274000 | #Constraints: 41450
2297.64/2304.21 c #Conflicts: 1275000 | #Constraints: 42450
2297.64/2304.21 c #Conflicts: 1276000 | #Constraints: 43450
2297.64/2304.21 c #Conflicts: 1277000 | #Constraints: 44450
2297.64/2304.21 c #Conflicts: 1278000 | #Constraints: 45450
2297.64/2304.21 c #Conflicts: 1279000 | #Constraints: 46450
2297.64/2304.21 c INPROCESSING
2297.64/2304.21 c GARBAGE COLLECT
2297.64/2304.21 c #Conflicts: 1280000 | #Constraints: 25053
2297.64/2304.21 c #Conflicts: 1281000 | #Constraints: 26053
2297.64/2304.21 c #Conflicts: 1282000 | #Constraints: 27053
2297.64/2304.21 c #Conflicts: 1283000 | #Constraints: 28053
2297.64/2304.21 c #Conflicts: 1284000 | #Constraints: 29053
2297.64/2304.21 c #Conflicts: 1285000 | #Constraints: 30053
2297.64/2304.21 c #Conflicts: 1286000 | #Constraints: 31053
2297.64/2304.21 c #Conflicts: 1287000 | #Constraints: 32053
2297.64/2304.21 c #Conflicts: 1288000 | #Constraints: 33053
2297.64/2304.21 c #Conflicts: 1289000 | #Constraints: 34053
2297.64/2304.21 c #Conflicts: 1290000 | #Constraints: 35053
2297.64/2304.21 c #Conflicts: 1291000 | #Constraints: 36053
2297.64/2304.21 c #Conflicts: 1292000 | #Constraints: 37053
2297.64/2304.21 c #Conflicts: 1293000 | #Constraints: 38053
2297.64/2304.21 c #Conflicts: 1294000 | #Constraints: 39053
2297.64/2304.21 c #Conflicts: 1295000 | #Constraints: 40053
2297.64/2304.21 c #Conflicts: 1296000 | #Constraints: 41053
2297.64/2304.21 c #Conflicts: 1297000 | #Constraints: 42053
2297.64/2304.21 c #Conflicts: 1298000 | #Constraints: 43053
2297.64/2304.21 c #Conflicts: 1299000 | #Constraints: 44053
2297.64/2304.21 c #Conflicts: 1300000 | #Constraints: 45053
2297.64/2304.21 c #Conflicts: 1301000 | #Constraints: 46053
2297.64/2304.21 c #Conflicts: 1302000 | #Constraints: 47053
2297.64/2304.21 c INPROCESSING
2297.64/2304.21 c GARBAGE COLLECT
2297.64/2304.21 c #Conflicts: 1303000 | #Constraints: 25452
2297.64/2304.21 c #Conflicts: 1304000 | #Constraints: 26452
2297.64/2304.21 c #Conflicts: 1305000 | #Constraints: 27452
2297.64/2304.21 c #Conflicts: 1306000 | #Constraints: 28452
2297.64/2304.21 c #Conflicts: 1307000 | #Constraints: 29452
2297.64/2304.21 c #Conflicts: 1308000 | #Constraints: 30452
2297.64/2304.21 c #Conflicts: 1309000 | #Constraints: 31452
2297.64/2304.21 c #Conflicts: 1310000 | #Constraints: 32452
2297.64/2304.21 c #Conflicts: 1311000 | #Constraints: 33452
2297.64/2304.21 c #Conflicts: 1312000 | #Constraints: 34452
2297.64/2304.21 c #Conflicts: 1313000 | #Constraints: 35452
2297.64/2304.21 c #Conflicts: 1314000 | #Constraints: 36452
2297.64/2304.21 c #Conflicts: 1315000 | #Constraints: 37452
2297.64/2304.21 c #Conflicts: 1316000 | #Constraints: 38452
2297.64/2304.21 c #Conflicts: 1317000 | #Constraints: 39452
2297.64/2304.21 c #Conflicts: 1318000 | #Constraints: 40452
2297.64/2304.21 c #Conflicts: 1319000 | #Constraints: 41452
2297.64/2304.21 c #Conflicts: 1320000 | #Constraints: 42452
2297.64/2304.21 c #Conflicts: 1321000 | #Constraints: 43452
2297.64/2304.21 c #Conflicts: 1322000 | #Constraints: 44452
2297.64/2304.21 c #Conflicts: 1323000 | #Constraints: 45452
2297.64/2304.21 c #Conflicts: 1324000 | #Constraints: 46452
2297.64/2304.21 c #Conflicts: 1325000 | #Constraints: 47452
2297.64/2304.21 c INPROCESSING
2297.64/2304.21 c GARBAGE COLLECT
2297.64/2304.21 c #Conflicts: 1326000 | #Constraints: 25652
2297.64/2304.21 c #Conflicts: 1327000 | #Constraints: 26652
2297.64/2304.21 c #Conflicts: 1328000 | #Constraints: 27652
2297.64/2304.21 c #Conflicts: 1329000 | #Constraints: 28652
2297.64/2304.21 c #Conflicts: 1330000 | #Constraints: 29652
2297.64/2304.21 c #Conflicts: 1331000 | #Constraints: 30652
2297.64/2304.21 c #Conflicts: 1332000 | #Constraints: 31652
2297.64/2304.21 c #Conflicts: 1333000 | #Constraints: 32652
2297.64/2304.21 c #Conflicts: 1334000 | #Constraints: 33652
2297.64/2304.21 c #Conflicts: 1335000 | #Constraints: 34652
2297.64/2304.21 c #Conflicts: 1336000 | #Constraints: 35652
2297.64/2304.21 c #Conflicts: 1337000 | #Constraints: 36652
2297.64/2304.21 c #Conflicts: 1338000 | #Constraints: 37652
2297.64/2304.21 c #Conflicts: 1339000 | #Constraints: 38652
2297.64/2304.21 c #Conflicts: 1340000 | #Constraints: 39652
2297.64/2304.21 c #Conflicts: 1341000 | #Constraints: 40652
2297.64/2304.21 c #Conflicts: 1342000 | #Constraints: 41652
2297.64/2304.21 c #Conflicts: 1343000 | #Constraints: 42652
2297.64/2304.21 c #Conflicts: 1344000 | #Constraints: 43652
2297.64/2304.21 c #Conflicts: 1345000 | #Constraints: 44652
2297.64/2304.21 c #Conflicts: 1346000 | #Constraints: 45652
2297.64/2304.21 c #Conflicts: 1347000 | #Constraints: 46652
2297.64/2304.21 c #Conflicts: 1348000 | #Constraints: 47652
2297.64/2304.21 c INPROCESSING
2297.64/2304.21 c GARBAGE COLLECT
2297.64/2304.21 c #Conflicts: 1349000 | #Constraints: 25650
2297.64/2304.21 c #Conflicts: 1350000 | #Constraints: 26650
2507.89/2515.18 c #Conflicts: 1351000 | #Constraints: 27650
2507.89/2515.18 c #Conflicts: 1352000 | #Constraints: 28650
2507.89/2515.18 c #Conflicts: 1353000 | #Constraints: 29650
2507.89/2515.18 c #Conflicts: 1354000 | #Constraints: 30650
2507.89/2515.18 c #Conflicts: 1355000 | #Constraints: 31650
2507.89/2515.18 c #Conflicts: 1356000 | #Constraints: 32650
2507.89/2515.18 c #Conflicts: 1357000 | #Constraints: 33650
2507.89/2515.18 c #Conflicts: 1358000 | #Constraints: 34650
2507.89/2515.18 c #Conflicts: 1359000 | #Constraints: 35650
2507.89/2515.18 c #Conflicts: 1360000 | #Constraints: 36650
2507.89/2515.18 c #Conflicts: 1361000 | #Constraints: 37650
2507.89/2515.18 c #Conflicts: 1362000 | #Constraints: 38650
2507.89/2515.18 c #Conflicts: 1363000 | #Constraints: 39650
2507.89/2515.18 c #Conflicts: 1364000 | #Constraints: 40650
2507.89/2515.18 c #Conflicts: 1365000 | #Constraints: 41650
2507.89/2515.18 c #Conflicts: 1366000 | #Constraints: 42650
2507.89/2515.18 c #Conflicts: 1367000 | #Constraints: 43650
2507.89/2515.18 c #Conflicts: 1368000 | #Constraints: 44650
2507.89/2515.18 c #Conflicts: 1369000 | #Constraints: 45650
2507.89/2515.18 c #Conflicts: 1370000 | #Constraints: 46650
2507.89/2515.18 c #Conflicts: 1371000 | #Constraints: 47650
2507.89/2515.18 c INPROCESSING
2507.89/2515.18 c GARBAGE COLLECT
2507.89/2515.18 c #Conflicts: 1372000 | #Constraints: 25470
2507.89/2515.18 c #Conflicts: 1373000 | #Constraints: 26470
2507.89/2515.18 c #Conflicts: 1374000 | #Constraints: 27470
2507.89/2515.18 c #Conflicts: 1375000 | #Constraints: 28470
2507.89/2515.18 c #Conflicts: 1376000 | #Constraints: 29470
2507.89/2515.18 c #Conflicts: 1377000 | #Constraints: 30470
2507.89/2515.18 c #Conflicts: 1378000 | #Constraints: 31470
2507.89/2515.18 c #Conflicts: 1379000 | #Constraints: 32470
2507.89/2515.18 c #Conflicts: 1380000 | #Constraints: 33470
2507.89/2515.18 c #Conflicts: 1381000 | #Constraints: 34470
2507.89/2515.18 c #Conflicts: 1382000 | #Constraints: 35470
2507.89/2515.18 c #Conflicts: 1383000 | #Constraints: 36470
2507.89/2515.18 c #Conflicts: 1384000 | #Constraints: 37470
2507.89/2515.18 c #Conflicts: 1385000 | #Constraints: 38470
2507.89/2515.18 c #Conflicts: 1386000 | #Constraints: 39470
2507.89/2515.18 c #Conflicts: 1387000 | #Constraints: 40470
2507.89/2515.18 c #Conflicts: 1388000 | #Constraints: 41470
2507.89/2515.18 c #Conflicts: 1389000 | #Constraints: 42470
2507.89/2515.18 c #Conflicts: 1390000 | #Constraints: 43470
2507.89/2515.18 c #Conflicts: 1391000 | #Constraints: 44470
2507.89/2515.18 c #Conflicts: 1392000 | #Constraints: 45470
2507.89/2515.18 c #Conflicts: 1393000 | #Constraints: 46470
2507.89/2515.18 c #Conflicts: 1394000 | #Constraints: 47470
2507.89/2515.18 c #Conflicts: 1395000 | #Constraints: 48470
2507.89/2515.18 c INPROCESSING
2507.89/2515.18 c GARBAGE COLLECT
2507.89/2515.18 c #Conflicts: 1396000 | #Constraints: 26059
2507.89/2515.18 c #Conflicts: 1397000 | #Constraints: 27059
2507.89/2515.18 c #Conflicts: 1398000 | #Constraints: 28059
2507.89/2515.18 c #Conflicts: 1399000 | #Constraints: 29059
2507.89/2515.18 c #Conflicts: 1400000 | #Constraints: 30059
2507.89/2515.18 c #Conflicts: 1401000 | #Constraints: 31059
2507.89/2515.18 c #Conflicts: 1402000 | #Constraints: 32059
2507.89/2515.18 c #Conflicts: 1403000 | #Constraints: 33059
2507.89/2515.18 c #Conflicts: 1404000 | #Constraints: 34059
2507.89/2515.18 c #Conflicts: 1405000 | #Constraints: 35059
2507.89/2515.18 c #Conflicts: 1406000 | #Constraints: 36059
2507.89/2515.18 c #Conflicts: 1407000 | #Constraints: 37059
2507.89/2515.18 c #Conflicts: 1408000 | #Constraints: 38059
2507.89/2515.18 c #Conflicts: 1409000 | #Constraints: 39059
2507.89/2515.18 c #Conflicts: 1410000 | #Constraints: 40059
2507.89/2515.18 c #Conflicts: 1411000 | #Constraints: 41059
2507.89/2515.18 c #Conflicts: 1412000 | #Constraints: 42059
2507.89/2515.18 c #Conflicts: 1413000 | #Constraints: 43059
2507.89/2515.18 c #Conflicts: 1414000 | #Constraints: 44059
2507.89/2515.18 c #Conflicts: 1415000 | #Constraints: 45059
2507.89/2515.18 c #Conflicts: 1416000 | #Constraints: 46059
2507.89/2515.18 c #Conflicts: 1417000 | #Constraints: 47059
2507.89/2515.18 c #Conflicts: 1418000 | #Constraints: 48059
2507.89/2515.18 c #Conflicts: 1419000 | #Constraints: 49059
2507.89/2515.18 c INPROCESSING
2507.89/2515.18 c GARBAGE COLLECT
2507.89/2515.18 c #Conflicts: 1420000 | #Constraints: 26460
2507.89/2515.18 c #Conflicts: 1421000 | #Constraints: 27460
2507.89/2515.18 c #Conflicts: 1422000 | #Constraints: 28460
2507.89/2515.18 c #Conflicts: 1423000 | #Constraints: 29460
2507.89/2515.18 c #Conflicts: 1424000 | #Constraints: 30460
2507.89/2515.18 c #Conflicts: 1425000 | #Constraints: 31460
2507.89/2515.18 c #Conflicts: 1426000 | #Constraints: 32460
2507.89/2515.18 c #Conflicts: 1427000 | #Constraints: 33460
2760.69/2768.73 c #Conflicts: 1428000 | #Constraints: 34460
2760.69/2768.73 c #Conflicts: 1429000 | #Constraints: 35460
2760.69/2768.73 c #Conflicts: 1430000 | #Constraints: 36460
2760.69/2768.73 c #Conflicts: 1431000 | #Constraints: 37460
2760.69/2768.73 c #Conflicts: 1432000 | #Constraints: 38460
2760.69/2768.73 c #Conflicts: 1433000 | #Constraints: 39460
2760.69/2768.73 c #Conflicts: 1434000 | #Constraints: 40460
2760.69/2768.73 c #Conflicts: 1435000 | #Constraints: 41460
2760.69/2768.73 c #Conflicts: 1436000 | #Constraints: 42460
2760.69/2768.73 c #Conflicts: 1437000 | #Constraints: 43460
2760.69/2768.73 c #Conflicts: 1438000 | #Constraints: 44460
2760.69/2768.73 c #Conflicts: 1439000 | #Constraints: 45460
2760.69/2768.73 c #Conflicts: 1440000 | #Constraints: 46460
2760.69/2768.73 c #Conflicts: 1441000 | #Constraints: 47460
2760.69/2768.73 c #Conflicts: 1442000 | #Constraints: 48460
2760.69/2768.73 c #Conflicts: 1443000 | #Constraints: 49460
2760.69/2768.73 c INPROCESSING
2760.69/2768.73 c GARBAGE COLLECT
2760.69/2768.73 c #Conflicts: 1444000 | #Constraints: 26659
2760.69/2768.73 c #Conflicts: 1445000 | #Constraints: 27659
2760.69/2768.73 c #Conflicts: 1446000 | #Constraints: 28659
2760.69/2768.73 c #Conflicts: 1447000 | #Constraints: 29659
2760.69/2768.73 c #Conflicts: 1448000 | #Constraints: 30659
2760.69/2768.73 c #Conflicts: 1449000 | #Constraints: 31659
2760.69/2768.73 c #Conflicts: 1450000 | #Constraints: 32659
2760.69/2768.73 c #Conflicts: 1451000 | #Constraints: 33659
2760.69/2768.73 c #Conflicts: 1452000 | #Constraints: 34659
2760.69/2768.73 c #Conflicts: 1453000 | #Constraints: 35659
2760.69/2768.73 c #Conflicts: 1454000 | #Constraints: 36659
2760.69/2768.73 c #Conflicts: 1455000 | #Constraints: 37659
2760.69/2768.73 c #Conflicts: 1456000 | #Constraints: 38659
2760.69/2768.73 c #Conflicts: 1457000 | #Constraints: 39659
2760.69/2768.73 c #Conflicts: 1458000 | #Constraints: 40659
2760.69/2768.73 c #Conflicts: 1459000 | #Constraints: 41659
2760.69/2768.73 c #Conflicts: 1460000 | #Constraints: 42659
2760.69/2768.73 c #Conflicts: 1461000 | #Constraints: 43659
2760.69/2768.73 c #Conflicts: 1462000 | #Constraints: 44659
2760.69/2768.73 c #Conflicts: 1463000 | #Constraints: 45659
2760.69/2768.73 c #Conflicts: 1464000 | #Constraints: 46659
2760.69/2768.73 c #Conflicts: 1465000 | #Constraints: 47659
2760.69/2768.73 c #Conflicts: 1466000 | #Constraints: 48659
2760.69/2768.73 c #Conflicts: 1467000 | #Constraints: 49659
2760.69/2768.73 c INPROCESSING
2760.69/2768.73 c GARBAGE COLLECT
2760.69/2768.73 c #Conflicts: 1468000 | #Constraints: 26662
2760.69/2768.73 c #Conflicts: 1469000 | #Constraints: 27662
2760.69/2768.73 c #Conflicts: 1470000 | #Constraints: 28662
2760.69/2768.73 c #Conflicts: 1471000 | #Constraints: 29662
2760.69/2768.73 c #Conflicts: 1472000 | #Constraints: 30662
2760.69/2768.73 c #Conflicts: 1473000 | #Constraints: 31662
2760.69/2768.73 c #Conflicts: 1474000 | #Constraints: 32662
2760.69/2768.73 c #Conflicts: 1475000 | #Constraints: 33662
2760.69/2768.73 c #Conflicts: 1476000 | #Constraints: 34662
2760.69/2768.73 c #Conflicts: 1477000 | #Constraints: 35662
2760.69/2768.73 c #Conflicts: 1478000 | #Constraints: 36662
2760.69/2768.73 c #Conflicts: 1479000 | #Constraints: 37662
2760.69/2768.73 c #Conflicts: 1480000 | #Constraints: 38662
2760.69/2768.73 c #Conflicts: 1481000 | #Constraints: 39662
2760.69/2768.73 c #Conflicts: 1482000 | #Constraints: 40662
2760.69/2768.73 c #Conflicts: 1483000 | #Constraints: 41662
2760.69/2768.73 c #Conflicts: 1484000 | #Constraints: 42662
2760.69/2768.73 c #Conflicts: 1485000 | #Constraints: 43662
2760.69/2768.73 c #Conflicts: 1486000 | #Constraints: 44662
2760.69/2768.73 c #Conflicts: 1487000 | #Constraints: 45662
2760.69/2768.73 c #Conflicts: 1488000 | #Constraints: 46662
2760.69/2768.73 c #Conflicts: 1489000 | #Constraints: 47662
2760.69/2768.73 c #Conflicts: 1490000 | #Constraints: 48662
2760.69/2768.73 c #Conflicts: 1491000 | #Constraints: 49662
2760.69/2768.73 c INPROCESSING
2760.69/2768.73 c GARBAGE COLLECT
2760.69/2768.73 c #Conflicts: 1492000 | #Constraints: 26461
2760.69/2768.73 c #Conflicts: 1493000 | #Constraints: 27461
2760.69/2768.73 c #Conflicts: 1494000 | #Constraints: 28461
2760.69/2768.73 c #Conflicts: 1495000 | #Constraints: 29461
2760.69/2768.73 c #Conflicts: 1496000 | #Constraints: 30461
2760.69/2768.73 c #Conflicts: 1497000 | #Constraints: 31461
2760.69/2768.73 c #Conflicts: 1498000 | #Constraints: 32461
2760.69/2768.73 c #Conflicts: 1499000 | #Constraints: 33461
2760.69/2768.73 c #Conflicts: 1500000 | #Constraints: 34461
2760.69/2768.73 c #Conflicts: 1501000 | #Constraints: 35461
2760.69/2768.73 c #Conflicts: 1502000 | #Constraints: 36461
2760.69/2768.73 c #Conflicts: 1503000 | #Constraints: 37461
2760.69/2768.73 c #Conflicts: 1504000 | #Constraints: 38461
3023.36/3032.23 c #Conflicts: 1505000 | #Constraints: 39461
3023.36/3032.23 c #Conflicts: 1506000 | #Constraints: 40461
3023.36/3032.23 c #Conflicts: 1507000 | #Constraints: 41461
3023.36/3032.23 c #Conflicts: 1508000 | #Constraints: 42461
3023.36/3032.23 c #Conflicts: 1509000 | #Constraints: 43461
3023.36/3032.23 c #Conflicts: 1510000 | #Constraints: 44461
3023.36/3032.23 c #Conflicts: 1511000 | #Constraints: 45461
3023.36/3032.23 c #Conflicts: 1512000 | #Constraints: 46461
3023.36/3032.23 c #Conflicts: 1513000 | #Constraints: 47461
3023.36/3032.23 c #Conflicts: 1514000 | #Constraints: 48461
3023.36/3032.23 c #Conflicts: 1515000 | #Constraints: 49461
3023.36/3032.23 c #Conflicts: 1516000 | #Constraints: 50461
3023.36/3032.23 c INPROCESSING
3023.36/3032.23 c GARBAGE COLLECT
3023.36/3032.23 c #Conflicts: 1517000 | #Constraints: 27048
3023.36/3032.23 c #Conflicts: 1518000 | #Constraints: 28048
3023.36/3032.23 c #Conflicts: 1519000 | #Constraints: 29048
3023.36/3032.23 c #Conflicts: 1520000 | #Constraints: 30048
3023.36/3032.23 c #Conflicts: 1521000 | #Constraints: 31048
3023.36/3032.23 c #Conflicts: 1522000 | #Constraints: 32048
3023.36/3032.23 c #Conflicts: 1523000 | #Constraints: 33048
3023.36/3032.23 c #Conflicts: 1524000 | #Constraints: 34048
3023.36/3032.23 c #Conflicts: 1525000 | #Constraints: 35048
3023.36/3032.23 c #Conflicts: 1526000 | #Constraints: 36048
3023.36/3032.23 c #Conflicts: 1527000 | #Constraints: 37048
3023.36/3032.23 c #Conflicts: 1528000 | #Constraints: 38048
3023.36/3032.23 c #Conflicts: 1529000 | #Constraints: 39048
3023.36/3032.23 c #Conflicts: 1530000 | #Constraints: 40048
3023.36/3032.23 c #Conflicts: 1531000 | #Constraints: 41048
3023.36/3032.23 c #Conflicts: 1532000 | #Constraints: 42048
3023.36/3032.23 c #Conflicts: 1533000 | #Constraints: 43048
3023.36/3032.23 c #Conflicts: 1534000 | #Constraints: 44048
3023.36/3032.23 c #Conflicts: 1535000 | #Constraints: 45048
3023.36/3032.23 c #Conflicts: 1536000 | #Constraints: 46048
3023.36/3032.23 c #Conflicts: 1537000 | #Constraints: 47048
3023.36/3032.23 c #Conflicts: 1538000 | #Constraints: 48048
3023.36/3032.23 c #Conflicts: 1539000 | #Constraints: 49048
3023.36/3032.23 c #Conflicts: 1540000 | #Constraints: 50048
3023.36/3032.23 c #Conflicts: 1541000 | #Constraints: 51048
3023.36/3032.23 c INPROCESSING
3023.36/3032.23 c GARBAGE COLLECT
3023.36/3032.23 c #Conflicts: 1542000 | #Constraints: 27458
3023.36/3032.23 c #Conflicts: 1543000 | #Constraints: 28458
3023.36/3032.23 c #Conflicts: 1544000 | #Constraints: 29458
3023.36/3032.23 c #Conflicts: 1545000 | #Constraints: 30458
3023.36/3032.23 c #Conflicts: 1546000 | #Constraints: 31458
3023.36/3032.23 c #Conflicts: 1547000 | #Constraints: 32458
3023.36/3032.23 c #Conflicts: 1548000 | #Constraints: 33458
3023.36/3032.23 c #Conflicts: 1549000 | #Constraints: 34458
3023.36/3032.23 c #Conflicts: 1550000 | #Constraints: 35458
3023.36/3032.23 c #Conflicts: 1551000 | #Constraints: 36458
3023.36/3032.23 c #Conflicts: 1552000 | #Constraints: 37458
3023.36/3032.23 c #Conflicts: 1553000 | #Constraints: 38458
3023.36/3032.23 c #Conflicts: 1554000 | #Constraints: 39458
3023.36/3032.23 c #Conflicts: 1555000 | #Constraints: 40458
3023.36/3032.23 c #Conflicts: 1556000 | #Constraints: 41458
3023.36/3032.23 c #Conflicts: 1557000 | #Constraints: 42458
3023.36/3032.23 c #Conflicts: 1558000 | #Constraints: 43458
3023.36/3032.23 c #Conflicts: 1559000 | #Constraints: 44458
3023.36/3032.23 c #Conflicts: 1560000 | #Constraints: 45458
3023.36/3032.23 c #Conflicts: 1561000 | #Constraints: 46458
3023.36/3032.23 c #Conflicts: 1562000 | #Constraints: 47458
3023.36/3032.23 c #Conflicts: 1563000 | #Constraints: 48458
3023.36/3032.23 c #Conflicts: 1564000 | #Constraints: 49458
3023.36/3032.23 c #Conflicts: 1565000 | #Constraints: 50458
3023.36/3032.23 c #Conflicts: 1566000 | #Constraints: 51458
3023.36/3032.23 c INPROCESSING
3023.36/3032.23 c GARBAGE COLLECT
3023.36/3032.23 c #Conflicts: 1567000 | #Constraints: 27656
3023.36/3032.23 c #Conflicts: 1568000 | #Constraints: 28656
3023.36/3032.23 c #Conflicts: 1569000 | #Constraints: 29656
3023.36/3032.23 c #Conflicts: 1570000 | #Constraints: 30656
3023.36/3032.23 c #Conflicts: 1571000 | #Constraints: 31656
3023.36/3032.23 c #Conflicts: 1572000 | #Constraints: 32656
3023.36/3032.23 c #Conflicts: 1573000 | #Constraints: 33656
3023.36/3032.23 c #Conflicts: 1574000 | #Constraints: 34656
3023.36/3032.23 c #Conflicts: 1575000 | #Constraints: 35656
3023.36/3032.23 c #Conflicts: 1576000 | #Constraints: 36656
3023.36/3032.23 c #Conflicts: 1577000 | #Constraints: 37656
3023.36/3032.23 c #Conflicts: 1578000 | #Constraints: 38656
3023.36/3032.23 c #Conflicts: 1579000 | #Constraints: 39656
3023.36/3032.23 c #Conflicts: 1580000 | #Constraints: 40656
3023.36/3032.23 c #Conflicts: 1581000 | #Constraints: 41656
3204.49/3213.90 c #Conflicts: 1582000 | #Constraints: 42656
3204.49/3213.90 c #Conflicts: 1583000 | #Constraints: 43656
3204.49/3213.90 c #Conflicts: 1584000 | #Constraints: 44656
3204.49/3213.90 c #Conflicts: 1585000 | #Constraints: 45656
3204.49/3213.90 c #Conflicts: 1586000 | #Constraints: 46656
3204.49/3213.90 c #Conflicts: 1587000 | #Constraints: 47656
3204.49/3213.90 c #Conflicts: 1588000 | #Constraints: 48656
3204.49/3213.90 c #Conflicts: 1589000 | #Constraints: 49656
3204.49/3213.90 c #Conflicts: 1590000 | #Constraints: 50656
3204.49/3213.90 c #Conflicts: 1591000 | #Constraints: 51656
3204.49/3213.90 c INPROCESSING
3204.49/3213.90 c GARBAGE COLLECT
3204.49/3213.90 c #Conflicts: 1592000 | #Constraints: 27655
3204.49/3213.90 c #Conflicts: 1593000 | #Constraints: 28655
3204.49/3213.90 c #Conflicts: 1594000 | #Constraints: 29655
3204.49/3213.90 c #Conflicts: 1595000 | #Constraints: 30655
3204.49/3213.90 c #Conflicts: 1596000 | #Constraints: 31655
3204.49/3213.90 c #Conflicts: 1597000 | #Constraints: 32655
3204.49/3213.90 c #Conflicts: 1598000 | #Constraints: 33655
3204.49/3213.90 c #Conflicts: 1599000 | #Constraints: 34655
3204.49/3213.90 c #Conflicts: 1600000 | #Constraints: 35655
3204.49/3213.90 c #Conflicts: 1601000 | #Constraints: 36655
3204.49/3213.90 c #Conflicts: 1602000 | #Constraints: 37655
3204.49/3213.90 c #Conflicts: 1603000 | #Constraints: 38655
3204.49/3213.90 c #Conflicts: 1604000 | #Constraints: 39655
3204.49/3213.90 c #Conflicts: 1605000 | #Constraints: 40655
3204.49/3213.90 c #Conflicts: 1606000 | #Constraints: 41655
3204.49/3213.90 c #Conflicts: 1607000 | #Constraints: 42655
3204.49/3213.90 c #Conflicts: 1608000 | #Constraints: 43655
3204.49/3213.90 c #Conflicts: 1609000 | #Constraints: 44655
3204.49/3213.90 c #Conflicts: 1610000 | #Constraints: 45655
3204.49/3213.90 c #Conflicts: 1611000 | #Constraints: 46655
3204.49/3213.90 c #Conflicts: 1612000 | #Constraints: 47655
3204.49/3213.90 c #Conflicts: 1613000 | #Constraints: 48655
3204.49/3213.90 c #Conflicts: 1614000 | #Constraints: 49655
3204.49/3213.90 c #Conflicts: 1615000 | #Constraints: 50655
3204.49/3213.90 c #Conflicts: 1616000 | #Constraints: 51655
3204.49/3213.90 c INPROCESSING
3204.49/3213.90 c GARBAGE COLLECT
3204.49/3213.90 c #Conflicts: 1617000 | #Constraints: 27449
3204.49/3213.90 c #Conflicts: 1618000 | #Constraints: 28449
3204.49/3213.90 c #Conflicts: 1619000 | #Constraints: 29449
3204.49/3213.90 c #Conflicts: 1620000 | #Constraints: 30449
3204.49/3213.90 c #Conflicts: 1621000 | #Constraints: 31449
3204.49/3213.90 c #Conflicts: 1622000 | #Constraints: 32449
3204.49/3213.90 c #Conflicts: 1623000 | #Constraints: 33449
3204.49/3213.90 c #Conflicts: 1624000 | #Constraints: 34449
3204.49/3213.90 c #Conflicts: 1625000 | #Constraints: 35449
3204.49/3213.90 c #Conflicts: 1626000 | #Constraints: 36449
3204.49/3213.90 c #Conflicts: 1627000 | #Constraints: 37449
3204.49/3213.90 c #Conflicts: 1628000 | #Constraints: 38449
3204.49/3213.90 c #Conflicts: 1629000 | #Constraints: 39449
3204.49/3213.90 c #Conflicts: 1630000 | #Constraints: 40449
3204.49/3213.90 c #Conflicts: 1631000 | #Constraints: 41449
3204.49/3213.90 c GLOBAL bounds - >= 1825130206476 @ 3176.57
3204.49/3213.93 c GLOBAL bounds - >= 1825130206476 @ 3176.6
3204.49/3213.97 c GLOBAL bounds - >= 1825130206476 @ 3176.63
3204.49/3213.97 c GLOBAL bounds - >= 1825130206476 @ 3176.63
3204.59/3214.01 c GLOBAL bounds - >= 1825130206476 @ 3176.65
3204.59/3214.01 c GLOBAL bounds - >= 1825130206476 @ 3176.65
3204.59/3214.05 c GLOBAL bounds - >= 1825130206476 @ 3176.68
3204.59/3214.05 c GLOBAL bounds - >= 1825130206476 @ 3176.68
3204.59/3214.09 c GLOBAL bounds - >= 1825130206476 @ 3176.71
3204.59/3214.10 c GLOBAL bounds - >= 1825130206476 @ 3176.71
3204.69/3214.13 c GLOBAL bounds - >= 1825130206476 @ 3176.74
3204.69/3214.14 c GLOBAL bounds - >= 1825130206476 @ 3176.74
3204.69/3214.18 c GLOBAL bounds - >= 1825130206476 @ 3176.76
3204.69/3214.18 c GLOBAL bounds - >= 1825130206476 @ 3176.77
3204.78/3214.22 c GLOBAL bounds - >= 1825130206476 @ 3176.79
3204.78/3214.22 c GLOBAL bounds - >= 1825130206476 @ 3176.79
3204.78/3214.26 c GLOBAL bounds - >= 1825130206476 @ 3176.82
3204.78/3214.27 c GLOBAL bounds - >= 1825130206476 @ 3176.82
3204.89/3214.31 c GLOBAL bounds - >= 1825130206476 @ 3176.84
3204.89/3214.31 c GLOBAL bounds - >= 1825130206476 @ 3176.85
3204.89/3214.35 c GLOBAL bounds - >= 1825130206476 @ 3176.87
3204.99/3214.40 c GLOBAL bounds - >= 1825130206476 @ 3176.91
3204.99/3214.43 c GLOBAL bounds - >= 1825130206476 @ 3176.94
3204.99/3214.47 c GLOBAL bounds - >= 1825130206476 @ 3176.96
3327.90/3337.77 c #Conflicts: 1632000 | #Constraints: 42482
3327.90/3337.77 c #Conflicts: 1633000 | #Constraints: 43482
3327.90/3337.77 c #Conflicts: 1634000 | #Constraints: 44482
3327.90/3337.77 c #Conflicts: 1635000 | #Constraints: 45482
3327.90/3337.77 c #Conflicts: 1636000 | #Constraints: 46482
3327.90/3337.77 c #Conflicts: 1637000 | #Constraints: 47482
3327.90/3337.77 c #Conflicts: 1638000 | #Constraints: 48482
3327.90/3337.77 c #Conflicts: 1639000 | #Constraints: 49482
3327.90/3337.77 c #Conflicts: 1640000 | #Constraints: 50482
3327.90/3337.77 c #Conflicts: 1641000 | #Constraints: 51482
3327.90/3337.77 c #Conflicts: 1642000 | #Constraints: 52482
3327.90/3337.77 c INPROCESSING
3327.90/3337.77 c GARBAGE COLLECT
3327.90/3337.77 c #Conflicts: 1643000 | #Constraints: 28084
3327.90/3337.77 c #Conflicts: 1644000 | #Constraints: 29084
3327.90/3337.77 c #Conflicts: 1645000 | #Constraints: 30084
3327.90/3337.77 c #Conflicts: 1646000 | #Constraints: 31084
3327.90/3337.77 c #Conflicts: 1647000 | #Constraints: 32084
3327.90/3337.77 c #Conflicts: 1648000 | #Constraints: 33084
3327.90/3337.77 c #Conflicts: 1649000 | #Constraints: 34084
3327.90/3337.77 c #Conflicts: 1650000 | #Constraints: 35084
3327.90/3337.77 c #Conflicts: 1651000 | #Constraints: 36084
3327.90/3337.77 c #Conflicts: 1652000 | #Constraints: 37084
3327.90/3337.77 c #Conflicts: 1653000 | #Constraints: 38084
3327.90/3337.77 c #Conflicts: 1654000 | #Constraints: 39084
3327.90/3337.77 c #Conflicts: 1655000 | #Constraints: 40084
3327.90/3337.77 c #Conflicts: 1656000 | #Constraints: 41084
3327.90/3337.77 c #Conflicts: 1657000 | #Constraints: 42084
3327.90/3337.77 c #Conflicts: 1658000 | #Constraints: 43084
3327.90/3337.77 c #Conflicts: 1659000 | #Constraints: 44084
3327.90/3337.77 c #Conflicts: 1660000 | #Constraints: 45084
3327.90/3337.77 c #Conflicts: 1661000 | #Constraints: 46084
3327.90/3337.77 c #Conflicts: 1662000 | #Constraints: 47084
3327.90/3337.77 c #Conflicts: 1663000 | #Constraints: 48084
3327.90/3337.77 c #Conflicts: 1664000 | #Constraints: 49084
3327.90/3337.77 c #Conflicts: 1665000 | #Constraints: 50084
3327.90/3337.77 c #Conflicts: 1666000 | #Constraints: 51084
3327.90/3337.77 c #Conflicts: 1667000 | #Constraints: 52084
3327.90/3337.77 c #Conflicts: 1668000 | #Constraints: 53084
3327.90/3337.77 c INPROCESSING
3327.90/3337.77 c GARBAGE COLLECT
3327.90/3337.77 c #Conflicts: 1669000 | #Constraints: 28478
3327.90/3337.77 c #Conflicts: 1670000 | #Constraints: 29478
3327.90/3337.77 c #Conflicts: 1671000 | #Constraints: 30478
3327.90/3337.77 c #Conflicts: 1672000 | #Constraints: 31478
3327.90/3337.77 c #Conflicts: 1673000 | #Constraints: 32478
3327.90/3337.77 c #Conflicts: 1674000 | #Constraints: 33478
3327.90/3337.77 c #Conflicts: 1675000 | #Constraints: 34478
3327.90/3337.77 c #Conflicts: 1676000 | #Constraints: 35478
3327.90/3337.77 c #Conflicts: 1677000 | #Constraints: 36478
3327.90/3337.77 c #Conflicts: 1678000 | #Constraints: 37478
3327.90/3337.77 c #Conflicts: 1679000 | #Constraints: 38478
3327.90/3337.77 c #Conflicts: 1680000 | #Constraints: 39478
3327.90/3337.77 c #Conflicts: 1681000 | #Constraints: 40478
3327.90/3337.77 c #Conflicts: 1682000 | #Constraints: 41478
3327.90/3337.77 c #Conflicts: 1683000 | #Constraints: 42478
3327.90/3337.77 c #Conflicts: 1684000 | #Constraints: 43478
3327.90/3337.77 c #Conflicts: 1685000 | #Constraints: 44478
3327.90/3337.77 c #Conflicts: 1686000 | #Constraints: 45478
3327.90/3337.77 c #Conflicts: 1687000 | #Constraints: 46478
3327.90/3337.77 c #Conflicts: 1688000 | #Constraints: 47478
3327.90/3337.77 c #Conflicts: 1689000 | #Constraints: 48478
3327.90/3337.77 c #Conflicts: 1690000 | #Constraints: 49478
3327.90/3337.77 c #Conflicts: 1691000 | #Constraints: 50478
3327.90/3337.77 c #Conflicts: 1692000 | #Constraints: 51478
3327.90/3337.77 c #Conflicts: 1693000 | #Constraints: 52478
3327.90/3337.77 c #Conflicts: 1694000 | #Constraints: 53478
3327.90/3337.77 c INPROCESSING
3327.90/3337.77 c GARBAGE COLLECT
3327.90/3337.77 c #Conflicts: 1695000 | #Constraints: 28680
3327.90/3337.77 c #Conflicts: 1696000 | #Constraints: 29680
3327.90/3337.77 c #Conflicts: 1697000 | #Constraints: 30680
3327.90/3337.77 c #Conflicts: 1698000 | #Constraints: 31680
3327.90/3337.77 c #Conflicts: 1699000 | #Constraints: 32680
3327.90/3337.77 c #Conflicts: 1700000 | #Constraints: 33680
3327.90/3337.77 c #Conflicts: 1701000 | #Constraints: 34680
3327.90/3337.77 c #Conflicts: 1702000 | #Constraints: 35680
3327.90/3337.77 c #Conflicts: 1703000 | #Constraints: 36680
3327.90/3337.77 c #Conflicts: 1704000 | #Constraints: 37680
3327.90/3337.77 c #Conflicts: 1705000 | #Constraints: 38680
3327.90/3337.77 c #Conflicts: 1706000 | #Constraints: 39680
3327.90/3337.77 c #Conflicts: 1707000 | #Constraints: 40680
3327.90/3337.77 c #Conflicts: 1708000 | #Constraints: 41680
3457.47/3467.62 c #Conflicts: 1709000 | #Constraints: 42680
3457.47/3467.62 c #Conflicts: 1710000 | #Constraints: 43680
3457.47/3467.62 c #Conflicts: 1711000 | #Constraints: 44680
3457.47/3467.62 c #Conflicts: 1712000 | #Constraints: 45680
3457.47/3467.62 c #Conflicts: 1713000 | #Constraints: 46680
3457.47/3467.62 c #Conflicts: 1714000 | #Constraints: 47680
3457.47/3467.62 c #Conflicts: 1715000 | #Constraints: 48680
3457.47/3467.62 c #Conflicts: 1716000 | #Constraints: 49680
3457.47/3467.62 c #Conflicts: 1717000 | #Constraints: 50680
3457.47/3467.62 c #Conflicts: 1718000 | #Constraints: 51680
3457.47/3467.62 c #Conflicts: 1719000 | #Constraints: 52680
3457.47/3467.62 c #Conflicts: 1720000 | #Constraints: 53680
3457.47/3467.62 c INPROCESSING
3457.47/3467.62 c GARBAGE COLLECT
3457.47/3467.62 c #Conflicts: 1721000 | #Constraints: 28673
3457.47/3467.62 c #Conflicts: 1722000 | #Constraints: 29673
3457.47/3467.62 c #Conflicts: 1723000 | #Constraints: 30673
3457.47/3467.62 c #Conflicts: 1724000 | #Constraints: 31673
3457.47/3467.62 c #Conflicts: 1725000 | #Constraints: 32673
3457.47/3467.62 c #Conflicts: 1726000 | #Constraints: 33673
3457.47/3467.62 c #Conflicts: 1727000 | #Constraints: 34673
3457.47/3467.62 c #Conflicts: 1728000 | #Constraints: 35673
3457.47/3467.62 c #Conflicts: 1729000 | #Constraints: 36673
3457.47/3467.62 c #Conflicts: 1730000 | #Constraints: 37673
3457.47/3467.62 c #Conflicts: 1731000 | #Constraints: 38673
3457.47/3467.62 c #Conflicts: 1732000 | #Constraints: 39673
3457.47/3467.62 c #Conflicts: 1733000 | #Constraints: 40673
3457.47/3467.62 c #Conflicts: 1734000 | #Constraints: 41673
3457.47/3467.62 c #Conflicts: 1735000 | #Constraints: 42673
3457.47/3467.62 c #Conflicts: 1736000 | #Constraints: 43673
3457.47/3467.62 c #Conflicts: 1737000 | #Constraints: 44673
3457.47/3467.62 c #Conflicts: 1738000 | #Constraints: 45673
3457.47/3467.62 c #Conflicts: 1739000 | #Constraints: 46673
3457.47/3467.62 c #Conflicts: 1740000 | #Constraints: 47673
3457.47/3467.62 c #Conflicts: 1741000 | #Constraints: 48673
3457.47/3467.62 c #Conflicts: 1742000 | #Constraints: 49673
3457.47/3467.62 c #Conflicts: 1743000 | #Constraints: 50673
3457.47/3467.62 c #Conflicts: 1744000 | #Constraints: 51673
3457.47/3467.62 c #Conflicts: 1745000 | #Constraints: 52673
3457.47/3467.62 c #Conflicts: 1746000 | #Constraints: 53673
3457.47/3467.62 c INPROCESSING
3457.47/3467.62 c GARBAGE COLLECT
3457.47/3467.62 c #Conflicts: 1747000 | #Constraints: 28478
3457.47/3467.62 c #Conflicts: 1748000 | #Constraints: 29478
3457.47/3467.62 c #Conflicts: 1749000 | #Constraints: 30478
3457.47/3467.62 c #Conflicts: 1750000 | #Constraints: 31478
3457.47/3467.62 c #Conflicts: 1751000 | #Constraints: 32478
3457.47/3467.62 c #Conflicts: 1752000 | #Constraints: 33478
3457.47/3467.62 c #Conflicts: 1753000 | #Constraints: 34478
3457.47/3467.62 c #Conflicts: 1754000 | #Constraints: 35478
3457.47/3467.62 c #Conflicts: 1755000 | #Constraints: 36478
3457.47/3467.62 c #Conflicts: 1756000 | #Constraints: 37478
3457.47/3467.62 c #Conflicts: 1757000 | #Constraints: 38478
3457.47/3467.62 c #Conflicts: 1758000 | #Constraints: 39478
3457.47/3467.62 c #Conflicts: 1759000 | #Constraints: 40478
3457.47/3467.62 c #Conflicts: 1760000 | #Constraints: 41478
3457.47/3467.62 c #Conflicts: 1761000 | #Constraints: 42478
3457.47/3467.62 c #Conflicts: 1762000 | #Constraints: 43478
3457.47/3467.62 c #Conflicts: 1763000 | #Constraints: 44478
3457.47/3467.62 c #Conflicts: 1764000 | #Constraints: 45478
3457.47/3467.62 c #Conflicts: 1765000 | #Constraints: 46478
3457.47/3467.62 c #Conflicts: 1766000 | #Constraints: 47478
3457.47/3467.62 c #Conflicts: 1767000 | #Constraints: 48478
3457.47/3467.62 c #Conflicts: 1768000 | #Constraints: 49478
3457.47/3467.62 c #Conflicts: 1769000 | #Constraints: 50478
3457.47/3467.62 c #Conflicts: 1770000 | #Constraints: 51478
3457.47/3467.62 c #Conflicts: 1771000 | #Constraints: 52478
3457.47/3467.62 c #Conflicts: 1772000 | #Constraints: 53478
3457.47/3467.62 c #Conflicts: 1773000 | #Constraints: 54478
3457.47/3467.62 c INPROCESSING
3457.47/3467.62 c GARBAGE COLLECT
3457.47/3467.62 c #Conflicts: 1774000 | #Constraints: 29078
3457.47/3467.62 c #Conflicts: 1775000 | #Constraints: 30078
3457.47/3467.62 c #Conflicts: 1776000 | #Constraints: 31078
3457.47/3467.62 c #Conflicts: 1777000 | #Constraints: 32078
3457.47/3467.62 c #Conflicts: 1778000 | #Constraints: 33078
3457.47/3467.62 c #Conflicts: 1779000 | #Constraints: 34078
3457.47/3467.62 c #Conflicts: 1780000 | #Constraints: 35078
3457.47/3467.62 c #Conflicts: 1781000 | #Constraints: 36078
3457.47/3467.62 c #Conflicts: 1782000 | #Constraints: 37078
3457.47/3467.62 c #Conflicts: 1783000 | #Constraints: 38078
3457.47/3467.62 c #Conflicts: 1784000 | #Constraints: 39078
3457.47/3467.62 c #Conflicts: 1785000 | #Constraints: 40078
3574.75/3585.27 c #Conflicts: 1786000 | #Constraints: 41078
3574.75/3585.27 c #Conflicts: 1787000 | #Constraints: 42078
3574.75/3585.27 c #Conflicts: 1788000 | #Constraints: 43078
3574.75/3585.27 c #Conflicts: 1789000 | #Constraints: 44078
3574.75/3585.27 c #Conflicts: 1790000 | #Constraints: 45078
3574.75/3585.27 c #Conflicts: 1791000 | #Constraints: 46078
3574.75/3585.27 c #Conflicts: 1792000 | #Constraints: 47078
3574.75/3585.27 c #Conflicts: 1793000 | #Constraints: 48078
3574.75/3585.27 c #Conflicts: 1794000 | #Constraints: 49078
3574.75/3585.27 c #Conflicts: 1795000 | #Constraints: 50078
3574.75/3585.27 c #Conflicts: 1796000 | #Constraints: 51078
3574.75/3585.27 c #Conflicts: 1797000 | #Constraints: 52078
3574.75/3585.27 c #Conflicts: 1798000 | #Constraints: 53078
3574.75/3585.27 c #Conflicts: 1799000 | #Constraints: 54078
3574.75/3585.27 c #Conflicts: 1800000 | #Constraints: 55078
3574.75/3585.27 c INPROCESSING
3574.75/3585.27 c GARBAGE COLLECT
3574.75/3585.27 c #Conflicts: 1801000 | #Constraints: 29484
3574.75/3585.27 c #Conflicts: 1802000 | #Constraints: 30484
3574.75/3585.27 c #Conflicts: 1803000 | #Constraints: 31484
3574.75/3585.27 c #Conflicts: 1804000 | #Constraints: 32484
3574.75/3585.27 c #Conflicts: 1805000 | #Constraints: 33484
3574.75/3585.27 c #Conflicts: 1806000 | #Constraints: 34484
3574.75/3585.27 c #Conflicts: 1807000 | #Constraints: 35484
3574.75/3585.27 c #Conflicts: 1808000 | #Constraints: 36484
3574.75/3585.27 c #Conflicts: 1809000 | #Constraints: 37484
3574.75/3585.27 c #Conflicts: 1810000 | #Constraints: 38484
3574.75/3585.27 c #Conflicts: 1811000 | #Constraints: 39484
3574.75/3585.27 c #Conflicts: 1812000 | #Constraints: 40484
3574.75/3585.27 c #Conflicts: 1813000 | #Constraints: 41484
3574.75/3585.27 c #Conflicts: 1814000 | #Constraints: 42484
3574.75/3585.27 c #Conflicts: 1815000 | #Constraints: 43484
3574.75/3585.27 c #Conflicts: 1816000 | #Constraints: 44484
3574.75/3585.27 c #Conflicts: 1817000 | #Constraints: 45484
3574.75/3585.27 c #Conflicts: 1818000 | #Constraints: 46484
3574.75/3585.27 c #Conflicts: 1819000 | #Constraints: 47484
3574.75/3585.27 c #Conflicts: 1820000 | #Constraints: 48484
3574.75/3585.27 c #Conflicts: 1821000 | #Constraints: 49484
3574.75/3585.27 c #Conflicts: 1822000 | #Constraints: 50484
3574.75/3585.27 c #Conflicts: 1823000 | #Constraints: 51484
3574.75/3585.27 c #Conflicts: 1824000 | #Constraints: 52484
3574.75/3585.27 c #Conflicts: 1825000 | #Constraints: 53484
3574.75/3585.27 c #Conflicts: 1826000 | #Constraints: 54484
3574.75/3585.27 c #Conflicts: 1827000 | #Constraints: 55484
3574.75/3585.27 c INPROCESSING
3574.75/3585.27 c GARBAGE COLLECT
3574.75/3585.27 c #Conflicts: 1828000 | #Constraints: 29691
3574.75/3585.27 c #Conflicts: 1829000 | #Constraints: 30691
3574.75/3585.27 c #Conflicts: 1830000 | #Constraints: 31691
3574.75/3585.27 c #Conflicts: 1831000 | #Constraints: 32691
3574.75/3585.27 c #Conflicts: 1832000 | #Constraints: 33691
3574.75/3585.27 c #Conflicts: 1833000 | #Constraints: 34691
3574.75/3585.27 c #Conflicts: 1834000 | #Constraints: 35691
3574.75/3585.27 c #Conflicts: 1835000 | #Constraints: 36691
3574.75/3585.27 c #Conflicts: 1836000 | #Constraints: 37691
3574.75/3585.27 c #Conflicts: 1837000 | #Constraints: 38691
3574.75/3585.27 c #Conflicts: 1838000 | #Constraints: 39691
3574.75/3585.27 c #Conflicts: 1839000 | #Constraints: 40691
3574.75/3585.27 c #Conflicts: 1840000 | #Constraints: 41691
3574.75/3585.27 c #Conflicts: 1841000 | #Constraints: 42691
3574.75/3585.27 c #Conflicts: 1842000 | #Constraints: 43691
3574.75/3585.27 c #Conflicts: 1843000 | #Constraints: 44691
3574.75/3585.27 c #Conflicts: 1844000 | #Constraints: 45691
3574.75/3585.27 c #Conflicts: 1845000 | #Constraints: 46691
3574.75/3585.27 c #Conflicts: 1846000 | #Constraints: 47691
3574.75/3585.27 c #Conflicts: 1847000 | #Constraints: 48691
3574.75/3585.27 c #Conflicts: 1848000 | #Constraints: 49691
3574.75/3585.27 c #Conflicts: 1849000 | #Constraints: 50691
3574.75/3585.27 c #Conflicts: 1850000 | #Constraints: 51691
3574.75/3585.27 c #Conflicts: 1851000 | #Constraints: 52691
3574.75/3585.27 c #Conflicts: 1852000 | #Constraints: 53691
3574.75/3585.27 c #Conflicts: 1853000 | #Constraints: 54691
3574.75/3585.27 c #Conflicts: 1854000 | #Constraints: 55691
3574.75/3585.27 c INPROCESSING
3574.75/3585.27 c GARBAGE COLLECT
3574.75/3585.27 c #Conflicts: 1855000 | #Constraints: 29674
3574.75/3585.27 c #Conflicts: 1856000 | #Constraints: 30674
3574.75/3585.27 c #Conflicts: 1857000 | #Constraints: 31674
3574.75/3585.27 c #Conflicts: 1858000 | #Constraints: 32674
3574.75/3585.27 c #Conflicts: 1859000 | #Constraints: 33674
3574.75/3585.27 c #Conflicts: 1860000 | #Constraints: 34674
3574.75/3585.27 c #Conflicts: 1861000 | #Constraints: 35674
3574.75/3585.27 c #Conflicts: 1862000 | #Constraints: 36674
3600.09/3610.60 c #Conflicts: 1863000 | #Constraints: 37674
3600.09/3610.60 c #Conflicts: 1864000 | #Constraints: 38674
3600.09/3610.60 c #Conflicts: 1865000 | #Constraints: 39674
3600.09/3610.60 c #Conflicts: 1866000 | #Constraints: 40674
3600.09/3610.60 c #Conflicts: 1867000 | #Constraints: 41674
3600.09/3610.60 c #Conflicts: 1868000 | #Constraints: 42674
3600.09/3610.60 c #Conflicts: 1869000 | #Constraints: 43674
3600.09/3610.60 c #Conflicts: 1870000 | #Constraints: 44674
3600.09/3610.60 c #Conflicts: 1871000 | #Constraints: 45674
3600.09/3610.60 c #Conflicts: 1872000 | #Constraints: 46674
3600.09/3610.60 c #Conflicts: 1873000 | #Constraints: 47674
3600.09/3610.60 c #Conflicts: 1874000 | #Constraints: 48674
3600.09/3610.60 c cpu time 3568.88 s
3600.09/3610.60 c deterministic time 5608684 5.61e+06
3600.09/3610.60 c optimization time 3568.11 s
3600.09/3610.60 c total solve time 0.438664 s
3600.09/3610.60 c core-guided solve time 0 s
3600.09/3610.60 c propagation time 0.2603 s
3600.09/3610.60 c conflict analysis time 0.028848 s
3600.09/3610.60 c propagations 524339
3600.09/3610.60 c resolve steps 0
3600.09/3610.60 c decisions 493939
3600.09/3610.60 c conflicts 8
3600.09/3610.60 c restarts 1
3600.09/3610.60 c inprocessing phases 0
3600.09/3610.60 c garbage collections 0 ,( -nan )
3600.09/3610.60 c input clauses 98738 ,( 98.20 )
3600.09/3610.60 c input cardinalities 1561 ,( 1.55 )
3600.09/3610.60 c input general constraints 247 ,( 0.25 )
3600.09/3610.60 c input average constraint length 19.63
3600.09/3610.60 c input average constraint degree 473020426072.97
3600.09/3610.60 c learned clauses 180 ,( 82.57 )
3600.09/3610.60 c learned cardinalities 0 ,( 0.00 )
3600.09/3610.60 c learned general constraints 38 ,( 17.43 )
3600.09/3610.60 c learned average constraint length 3.24
3600.09/3610.60 c learned average constraint degree 1.22
3600.09/3610.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.60 c counting CF 32, 64, 128, Arb: 81 , 205 , 0 , 0
3600.09/3610.60 c watched constraints 0 ,( 0.00 )
3600.09/3610.60 c counting constraints 285 ,( 100.00 )
3600.09/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283966 , 12186 , 1240011 ,( 0 , 1240011 )
3600.09/3610.60 c gcd simplifications 0
3600.09/3610.60 c detected cardinalities 0
3600.09/3610.60 c weakened non-implied lits 0
3600.09/3610.60 c weakened non-implying lits 0
3600.09/3610.60 c original variables 21101
3600.09/3610.60 c clausal propagations 273964
3600.09/3610.60 c cardinality propagations 170
3600.09/3610.60 c watched propagations 0
3600.09/3610.60 c counting propagations 20075
3600.09/3610.60 c watch lookups 3070471
3600.09/3610.60 c watch backjump lookups 0
3600.09/3610.60 c watch checks 144223
3600.09/3610.60 c propagation checks 350018
3600.09/3610.60 c constraint additions 5609
3600.09/3610.60 c trail pops 1017084
3600.09/3610.60 c formula constraints 99896
3600.09/3610.60 c learned constraints 218
3600.09/3610.60 c bound constraints 0
3600.09/3610.60 c core-guided constraints 0
3600.09/3610.60 c encountered formula constraints 8
3600.09/3610.60 c encountered learned constraints 0
3600.09/3610.60 c encountered bound constraints 0
3600.09/3610.60 c encountered core-guided constraints 0
3600.09/3610.60 c LP total time 0.20042 s
3600.09/3610.60 c LP solve time 0.16 s
3600.09/3610.60 c LP constraints added 99896
3600.09/3610.60 c LP constraints removed 0
3600.09/3610.60 c LP pivots internal 2000
3600.09/3610.60 c LP pivots root 1000
3600.09/3610.60 c LP calls 2
3600.09/3610.60 c LP optimalities 0
3600.09/3610.60 c LP no pivot count 0
3600.09/3610.60 c LP infeasibilities 0
3600.09/3610.60 c LP valid Farkas constraints 0
3600.09/3610.60 c LP learned Farkas constraints 0
3600.09/3610.60 c LP basis resets 0
3600.09/3610.60 c LP cycling count 0
3600.09/3610.60 c LP singular count 0
3600.09/3610.60 c LP no primal count 0
3600.09/3610.60 c LP no farkas count 0
3600.09/3610.60 c LP other issue count 0
3600.09/3610.60 c LP Gomory cuts 0
3600.09/3610.60 c LP learned cuts 0
3600.09/3610.60 c LP deleted cuts 0
3600.09/3610.60 c LP encountered Gomory constraints 0
3600.09/3610.60 c LP encountered Farkas constraints 0
3600.09/3610.60 c LP encountered learned Farkas constraints 0
3600.09/3610.60 c CG auxiliary variables introduced 228
3600.09/3610.60 c CG solutions found 0
3600.09/3610.60 c CG cores constructed 218
3600.09/3610.60 c CG core cardinality constraints returned 0
3600.09/3610.60 c CG unit cores 0
3600.09/3610.60 c CG single cores 0
3600.09/3610.60 c CG blocks removed during cardinality reduction 0
3600.09/3610.60 c CG first core best 0
3600.09/3610.60 c CG decision core best 0
3600.09/3610.60 c CG core reduction tie 0
3600.09/3610.60 c CG core degree average 0.00
3600.09/3610.60 c CG core slack average 0.00
3600.09/3610.60 c CG core upper bound improvements 0
3600.09/3610.60 c STR number of successful calls 0
3600.09/3610.60 c STR number of unsuccessful calls 0
3600.09/3610.60 c STR number of inconclusive calls 0
3600.09/3610.60 c STR number of successful attempts 0
3600.09/3610.60 c STR number of unsuccessful attempts 0
3600.09/3610.60 c STR number of inconclusive attempts 0
3600.09/3610.60 c STR average degree increase per successful call inf
3600.09/3610.60 c STR average degree increase per successful attempt inf
3600.09/3610.60 c STR total number of conflicts for successful attempts 0
3600.09/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.60 c STR average number of conflicts per successful attempt inf
3600.09/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.60 c AVG.sumWPerc 95.92
3600.09/3610.60 c bigint constraints 205
3600.09/3610.60 s UNKNOWN
3600.09/3610.60 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 (59239 MiB free)
memory of node 1: 64465 MiB (61436 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500730-1751470373/watcher-4500730-1751470373 -o /tmp/evaluation-result-4500730-1751470373/solver-4500730-1751470373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66045 --watchdog 3760 run-opt.sh HOME/instance-4500730-1751470373.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66850, runsolver pid=66847
[startup+0.100061 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 66852
/proc/meminfo: memFree=123567528/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=61232 memory=16340 CPUtime=0.08 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 2311 0 0 0 6 2 0 0 20 0 1 0 62713886 62701568 4085 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/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: 19284 KiB
[startup+0.20576 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 66852
/proc/meminfo: memFree=123563748/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=64988 memory=21484 CPUtime=0.19 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 3080 0 0 0 15 4 0 0 20 0 1 0 62713886 66547712 5371 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/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: 24428 KiB
[startup+0.30567 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 66852
/proc/meminfo: memFree=123541380/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=93408 memory=45160 CPUtime=0.28 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 5850 0 0 0 22 6 0 0 20 0 1 0 62713886 95649792 11290 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 23352 11290 2272 1147 0 10779 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 97600 KiB
Current children cumulated memory: 48104 KiB
[startup+0.700219 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 66852
/proc/meminfo: memFree=123440756/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=213924 memory=147752 CPUtime=0.67 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 18414 0 0 0 55 12 0 0 20 0 1 0 62713886 219058176 36938 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 53481 36938 2400 1147 0 40908 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 218116 KiB
Current children cumulated memory: 150696 KiB
[startup+1.50021 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 66853
/proc/meminfo: memFree=123440504/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=219200 memory=153896 CPUtime=1.47 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 19954 0 0 0 91 56 0 0 20 0 1 0 62713886 224460800 38474 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 54800 38474 2400 1147 0 42227 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 223392 KiB
Current children cumulated memory: 156840 KiB
[startup+3.10558 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 66853
/proc/meminfo: memFree=123347544/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=362756 memory=278228 CPUtime=3.08 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 40836 0 0 0 194 114 0 0 20 0 1 0 62713886 371462144 69557 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 90689 69557 2400 1147 0 78116 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 366948 KiB
Current children cumulated memory: 281172 KiB
[startup+6.3002 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 66853
/proc/meminfo: memFree=123166316/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=528512 memory=413556 CPUtime=6.26 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 67011 0 0 0 471 155 0 0 20 0 1 0 62713886 541196288 103389 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 132128 103389 2400 1147 0 119555 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 532704 KiB
Current children cumulated memory: 416500 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 66853
/proc/meminfo: memFree=123077308/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=533032 memory=461700 CPUtime=12.65 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 73950 0 0 0 1070 195 0 0 20 0 1 0 62713886 545824768 115425 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 133258 115425 2400 1147 0 120685 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 537224 KiB
Current children cumulated memory: 464644 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.13 4.10 5/269 66853
/proc/meminfo: memFree=122871032/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=799184 memory=635928 CPUtime=25.42 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 110367 0 0 0 2299 243 0 0 20 0 1 0 62713886 818364416 158982 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 199796 158982 2400 1147 0 187223 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 803376 KiB
Current children cumulated memory: 638872 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.11 4.09 5/269 66853
/proc/meminfo: memFree=122831696/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=883696 memory=693168 CPUtime=50.96 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 118553 0 0 0 4774 322 0 0 20 0 1 0 62713886 904904704 173292 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 220924 173292 2400 1147 0 208351 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 887888 KiB
Current children cumulated memory: 696112 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 66855
/proc/meminfo: memFree=122365152/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=1428132 memory=1078024 CPUtime=102.03 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 194363 0 0 0 9750 453 0 0 20 0 1 0 62713886 1462407168 269506 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 357033 269506 2400 1147 0 344460 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1432324 KiB
Current children cumulated memory: 1080968 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 66858
/proc/meminfo: memFree=122294988/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=1430180 memory=1146036 CPUtime=161.88 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 203206 0 0 0 15611 577 0 0 20 0 1 0 62713886 1464504320 286509 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 357545 286509 2400 1147 0 344972 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1434372 KiB
Current children cumulated memory: 1148980 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 66867
/proc/meminfo: memFree=122266332/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=1434668 memory=1183152 CPUtime=221.73 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 208406 0 0 0 21499 674 0 0 20 0 1 0 62713886 1469100032 295788 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 358667 295788 2400 1147 0 346094 0
Current children cumulated CPU time: 221.73 s
################
# More data... #
################
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=2943888 memory=2547104 CPUtime=3093.24 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 448412 0 0 0 306564 2760 0 0 20 0 1 0 62713886 3014541312 636776 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 735972 636776 2400 1147 0 723399 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 2948080 KiB
Current children cumulated memory: 2550048 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.18 4.16 5/268 67013
/proc/meminfo: memFree=114767100/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=2943888 memory=2547104 CPUtime=3153.05 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 448413 0 0 0 312532 2773 0 0 20 0 1 0 62713886 3014541312 636776 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 735972 636776 2400 1147 0 723399 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 2948080 KiB
Current children cumulated memory: 2550048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.16 4.15 5/268 67021
/proc/meminfo: memFree=114739648/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=2943888 memory=2547360 CPUtime=3212.86 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 448506 0 0 0 318471 2815 0 0 20 0 1 0 62713886 3014541312 636840 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 735972 636840 2400 1147 0 723399 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 2948080 KiB
Current children cumulated memory: 2550304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.14 5/267 67115
/proc/meminfo: memFree=121007096/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=2945424 memory=2678960 CPUtime=3272.68 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 464568 0 0 0 324416 2852 0 0 20 0 1 0 62713886 3016114176 669740 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 736356 669740 2400 1147 0 723783 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 2949616 KiB
Current children cumulated memory: 2681904 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 67163
/proc/meminfo: memFree=123514332/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=2951568 memory=2705156 CPUtime=3332.49 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 468558 0 0 0 330350 2899 0 0 20 0 1 0 62713886 3022405632 676289 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 737892 676289 2400 1147 0 725319 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 2955760 KiB
Current children cumulated memory: 2708100 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 67165
/proc/meminfo: memFree=121518400/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=4574632 memory=3578436 CPUtime=3392.33 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 679442 0 0 0 336258 2975 0 0 20 0 1 0 62713886 4684423168 894609 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 1143658 894609 2400 1147 0 1131085 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 4578824 KiB
Current children cumulated memory: 3581380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.12 4.13 5/267 67167
/proc/meminfo: memFree=121038216/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=4574632 memory=3578436 CPUtime=3452.18 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 679477 0 0 0 342206 3012 0 0 20 0 1 0 62713886 4684423168 894609 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 1143658 894609 2400 1147 0 1131085 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 4578824 KiB
Current children cumulated memory: 3581380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/266 67169
/proc/meminfo: memFree=120806436/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=4574632 memory=3593944 CPUtime=3512.02 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 681340 0 0 0 348137 3065 0 0 20 0 1 0 62713886 4684423168 898486 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 1143658 898486 2400 1147 0 1131085 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 4578824 KiB
Current children cumulated memory: 3596888 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.16 4.14 5/266 67171
/proc/meminfo: memFree=120614240/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=4593064 memory=3670592 CPUtime=3571.86 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 692943 0 0 0 354076 3110 0 0 20 0 1 0 62713886 4703297536 917648 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 1148266 917648 2400 1147 0 1135693 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 4597256 KiB
Current children cumulated memory: 3673536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.41 4.21 4.16 5/266 67171
/proc/meminfo: memFree=120503852/131250000 swapFree=33010672/33010684
[pid=66850] ppid=66847 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66850/stat : 66850 (run-opt.sh) S 66847 66850 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62713885 4292608 736 18446744073709551615 94476897611776 94476898506309 140732252889472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476898745360 94476898793104 94476928339968 140732252891501 140732252891624 140732252891624 140732252897226 0
/proc/66850/statm: 1048 736 672 219 0 110 0
[pid=66852] ppid=66850 vsize=4593064 memory=3670592 CPUtime=3600.09 cores=5,7
/proc/66852/stat : 66852 (roundingsat) R 66850 66850 66032 0 -1 4194304 692959 0 0 0 356888 3121 0 0 20 0 1 0 62713886 4703297536 917648 18446744073709551615 4227072 8923433 140724796210640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39624704 140724796213666 140724796213800 140724796213800 140724796219370 0
/proc/66852/statm: 1148266 917648 2400 1147 0 1135693 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4597256 KiB
Current children cumulated memory: 3673536 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.6 s]
# the end of solver process 66850 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002002 s, system=0.000176 s
Sleeping 2 seconds
[startup+3610.72 s]
# the end of solver process 66852 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.89 s, system=31.334 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.7 s]*
/proc/loadavg: 4.41 4.21 4.16 5/265 67171
/proc/meminfo: memFree=123582080/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002178 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.72
CPU time (s): 3600.23
CPU user time (s): 3568.89
CPU system time (s): 31.334
CPU usage (%): 99.7092
Max. virtual memory (cumulated for all children) (KiB): 4597256
Max. memory (cumulated for all children) (KiB): 3673536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.89
system time used= 31.334
maximum resident set size= 3670976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 693185
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= 222
involuntary context switches= 1900
# summary of solver processes directly reported to runsolver:
# pid: 66850,66852
# total CPU time (s): 3600.23
# total CPU user time (s): 3568.89
# total CPU system time (s): 31.334
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38469 second user time and 16.548 second system time
The end
Begin job on nodeC014 at 2025-07-02 17:32:53
IDJOB=4500730
IDBENCH=150951
IDSOLVER=3350
FILE ID=nodeC014/4500730-1751470373
RUNJOBID= nodeC014-1751466415-66045
SLURM_JOB_ID= 9598484
Free space on /tmp= 430508 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500730-1751470373/watcher-4500730-1751470373 -o /tmp/evaluation-result-4500730-1751470373/solver-4500730-1751470373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66045 --watchdog 3760 run-opt.sh HOME/instance-4500730-1751470373.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a59502de7bf6e4011de47449968e9ccd
RANDOM SEED=821992294
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.145
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.194
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 : 3599.699
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 : 3718.817
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.129
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.375
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 : 3644.344
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 : 3601.123
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: 123572548 kB
MemAvailable: 125312592 kB
Buffers: 2508 kB
Cached: 2535808 kB
SwapCached: 4 kB
Active: 5028764 kB
Inactive: 1988392 kB
Active(anon): 4493052 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1984540 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10792 kB
Writeback: 0 kB
AnonPages: 4481932 kB
Mapped: 117828 kB
Shmem: 18064 kB
KReclaimable: 118060 kB
Slab: 208468 kB
SReclaimable: 118060 kB
SUnreclaim: 90408 kB
KernelStack: 4352 kB
PageTables: 12824 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5550868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 882688 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= 430496 MiB
End job on nodeC014 at 2025-07-02 18:33:04