0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.38/0.43 c #variables 21101 #constraints 99896
0.38/0.43 c objective is ce64
0.38/0.43 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.38/0.43 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.38/0.43 c GLOBAL bounds - >= 0 @ 0.317074
0.38/0.46 c GLOBAL bounds - >= 0 @ 0.324796
0.38/0.46 c GLOBAL bounds - >= 475379834250 @ 0.325001
0.58/0.68 c GLOBAL bounds - >= 475379834250 @ 0.524238
0.68/0.70 c GLOBAL bounds - >= 475379834250 @ 0.530109
0.68/0.70 c GLOBAL bounds - >= 475379834250 @ 0.530607
0.68/0.72 c GLOBAL bounds - >= 475379834250 @ 0.539024
0.68/0.72 c GLOBAL bounds - >= 475379834250 @ 0.539509
0.68/0.74 c GLOBAL bounds - >= 475379834250 @ 0.542904
0.68/0.74 c GLOBAL bounds - >= 475379834250 @ 0.543242
0.68/0.76 c GLOBAL bounds - >= 475379834250 @ 0.548615
0.68/0.76 c GLOBAL bounds - >= 475379834250 @ 0.549103
0.68/0.78 c GLOBAL bounds - >= 475379834250 @ 0.557325
0.68/0.78 c GLOBAL bounds - >= 475379834250 @ 0.557814
0.77/0.80 c GLOBAL bounds - >= 475379834250 @ 0.565155
0.77/0.80 c GLOBAL bounds - >= 475379834250 @ 0.565567
0.77/0.82 c GLOBAL bounds - >= 475379834250 @ 0.573973
0.77/0.82 c GLOBAL bounds - >= 475379834250 @ 0.574393
0.77/0.84 c GLOBAL bounds - >= 475379834250 @ 0.583142
0.77/0.84 c GLOBAL bounds - >= 475379834250 @ 0.583566
0.77/0.86 c GLOBAL bounds - >= 475379834250 @ 0.588844
0.77/0.86 c GLOBAL bounds - >= 475379834250 @ 0.58942
0.77/0.88 c GLOBAL bounds - >= 475379834250 @ 0.597934
0.77/0.89 c GLOBAL bounds - >= 475379834250 @ 0.60552
0.87/0.91 c GLOBAL bounds - >= 475379834250 @ 0.610875
0.87/0.93 c GLOBAL bounds - >= 475379834250 @ 0.618465
0.87/0.95 c GLOBAL bounds - >= 475379834250 @ 0.625999
0.87/0.97 c GLOBAL bounds - >= 475379834250 @ 0.637473
0.87/0.97 c GLOBAL bounds - >= 713143539475 @ 0.644119
0.87/0.98 c GLOBAL bounds - >= 713143539475 @ 0.648403
0.87/0.98 c GLOBAL bounds - >= 713143539475 @ 0.648403
0.87/1.00 c GLOBAL bounds - >= 713143539475 @ 0.655137
0.87/1.00 c GLOBAL bounds - >= 713143539475 @ 0.655807
0.97/1.02 c GLOBAL bounds - >= 713143539475 @ 0.666526
0.97/1.02 c GLOBAL bounds - >= 713143539475 @ 0.667387
0.97/1.04 c GLOBAL bounds - >= 713143539475 @ 0.673878
0.97/1.04 c GLOBAL bounds - >= 713143539475 @ 0.674478
0.97/1.06 c GLOBAL bounds - >= 713143539475 @ 0.680753
0.97/1.06 c GLOBAL bounds - >= 713143539475 @ 0.681351
0.97/1.08 c GLOBAL bounds - >= 713143539475 @ 0.691874
0.97/1.08 c GLOBAL bounds - >= 713143539475 @ 0.692258
0.97/1.10 c GLOBAL bounds - >= 713143539475 @ 0.696797
0.97/1.10 c GLOBAL bounds - >= 713143539475 @ 0.697178
1.07/1.12 c GLOBAL bounds - >= 713143539475 @ 0.705492
1.07/1.12 c GLOBAL bounds - >= 713143539475 @ 0.706116
1.07/1.14 c GLOBAL bounds - >= 713143539475 @ 0.715925
1.07/1.14 c GLOBAL bounds - >= 713143539475 @ 0.716281
1.07/1.16 c GLOBAL bounds - >= 713143539475 @ 0.723063
1.07/1.16 c GLOBAL bounds - >= 713143539475 @ 0.723525
1.07/1.18 c GLOBAL bounds - >= 713143539475 @ 0.72903
1.17/1.20 c GLOBAL bounds - >= 713143539475 @ 0.740249
1.17/1.21 c GLOBAL bounds - >= 713143539475 @ 0.745243
1.17/1.23 c GLOBAL bounds - >= 713143539475 @ 0.747529
1.17/1.24 c GLOBAL bounds - >= 713143539475 @ 0.750245
1.17/1.26 c GLOBAL bounds - >= 713143539475 @ 0.754573
1.17/1.27 c GLOBAL bounds - >= 713143539475 @ 0.762231
1.17/1.28 c GLOBAL bounds - >= 713143539475 @ 0.768221
1.27/1.30 c GLOBAL bounds - >= 713143539475 @ 0.775422
1.27/1.31 c GLOBAL bounds - >= 713143539475 @ 0.781123
1.27/1.34 c GLOBAL bounds - >= 713143539475 @ 0.793176
1.27/1.35 c GLOBAL bounds - >= 713143539475 @ 0.799087
1.27/1.37 c GLOBAL bounds - >= 713143539475 @ 0.8057
1.27/1.37 c GLOBAL bounds - >= 792336617800 @ 0.80755
1.27/1.37 c GLOBAL bounds - >= 792336617800 @ 0.811437
1.27/1.37 c GLOBAL bounds - >= 792336617800 @ 0.811942
1.27/1.37 c GLOBAL bounds - >= 792336617800 @ 0.812379
1.27/1.39 c GLOBAL bounds - >= 792336617800 @ 0.818127
1.27/1.39 c GLOBAL bounds - >= 792336617800 @ 0.818664
1.38/1.41 c GLOBAL bounds - >= 792336617800 @ 0.825539
1.38/1.41 c GLOBAL bounds - >= 792336617800 @ 0.826085
1.38/1.43 c GLOBAL bounds - >= 792336617800 @ 0.833108
1.38/1.43 c GLOBAL bounds - >= 792336617800 @ 0.833155
1.38/1.45 c GLOBAL bounds - >= 792336617800 @ 0.83967
1.38/1.45 c GLOBAL bounds - >= 792336617800 @ 0.8401
1.38/1.47 c GLOBAL bounds - >= 792336617800 @ 0.847718
1.38/1.47 c GLOBAL bounds - >= 792336617800 @ 0.848088
1.38/1.49 c GLOBAL bounds - >= 792336617800 @ 0.855824
1.38/1.49 c GLOBAL bounds - >= 792336617800 @ 0.856558
1.47/1.52 c GLOBAL bounds - >= 792336617800 @ 0.868129
1.47/1.52 c GLOBAL bounds - >= 792336617800 @ 0.868983
1.47/1.54 c GLOBAL bounds - >= 792336617800 @ 0.876701
1.47/1.54 c GLOBAL bounds - >= 792336617800 @ 0.877032
1.47/1.56 c GLOBAL bounds - >= 792336617800 @ 0.883802
1.47/1.56 c GLOBAL bounds - >= 792336617800 @ 0.88441
1.47/1.58 c GLOBAL bounds - >= 792336617800 @ 0.889836
1.57/1.60 c GLOBAL bounds - >= 792336617800 @ 0.898722
1.57/1.62 c GLOBAL bounds - >= 792336617800 @ 0.913011
1.57/1.63 c GLOBAL bounds - >= 1109330295400 @ 0.923545
1.57/1.65 c GLOBAL bounds - >= 1109330295400 @ 0.939905
1.57/1.67 c GLOBAL bounds - >= 1109330295400 @ 0.945711
1.57/1.67 c GLOBAL bounds - >= 1109330295400 @ 0.945746
1.57/1.69 c GLOBAL bounds - >= 1109330295400 @ 0.955414
1.57/1.69 c GLOBAL bounds - >= 1109330295400 @ 0.955872
1.67/1.71 c GLOBAL bounds - >= 1109330295400 @ 0.96257
1.67/1.71 c GLOBAL bounds - >= 1109330295400 @ 0.963201
1.67/1.73 c GLOBAL bounds - >= 1109330295400 @ 0.969718
1.67/1.73 c GLOBAL bounds - >= 1109330295400 @ 0.970132
1.67/1.75 c GLOBAL bounds - >= 1109330295400 @ 0.982546
1.67/1.75 c GLOBAL bounds - >= 1109330295400 @ 0.983065
1.67/1.77 c GLOBAL bounds - >= 1109330295400 @ 0.990459
1.67/1.78 c GLOBAL bounds - >= 1109330295400 @ 0.991445
1.67/1.79 c GLOBAL bounds - >= 1109330295400 @ 1.00013
1.77/1.80 c GLOBAL bounds - >= 1109330295400 @ 1.00081
1.77/1.82 c GLOBAL bounds - >= 1109330295400 @ 1.00975
1.77/1.82 c GLOBAL bounds - >= 1109330295400 @ 1.01074
1.77/1.84 c GLOBAL bounds - >= 1109330295400 @ 1.01742
1.77/1.84 c GLOBAL bounds - >= 1109330295400 @ 1.01778
1.77/1.86 c GLOBAL bounds - >= 1109330295400 @ 1.02159
1.87/1.90 c GLOBAL bounds - >= 1109330295400 @ 1.05049
1.87/1.95 c GLOBAL bounds - >= 1109330295400 @ 1.08933
1.97/2.00 c GLOBAL bounds - >= 1188689396950 @ 1.13967
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.14546
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.14546
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.14562
1.97/2.03 c GLOBAL bounds - >= 1188689396950 @ 1.15638
1.97/2.03 c GLOBAL bounds - >= 1188689396950 @ 1.15717
1.97/2.05 c GLOBAL bounds - >= 1188689396950 @ 1.16256
1.97/2.05 c GLOBAL bounds - >= 1188689396950 @ 1.16331
1.97/2.07 c GLOBAL bounds - >= 1188689396950 @ 1.16804
1.97/2.07 c GLOBAL bounds - >= 1188689396950 @ 1.16851
1.97/2.09 c GLOBAL bounds - >= 1188689396950 @ 1.17692
1.97/2.09 c GLOBAL bounds - >= 1188689396950 @ 1.17741
2.08/2.11 c GLOBAL bounds - >= 1188689396950 @ 1.18321
2.08/2.11 c GLOBAL bounds - >= 1188689396950 @ 1.1834
2.08/2.13 c GLOBAL bounds - >= 1188689396950 @ 1.19225
2.08/2.13 c GLOBAL bounds - >= 1188689396950 @ 1.19317
2.08/2.15 c GLOBAL bounds - >= 1188689396950 @ 1.20145
2.08/2.15 c GLOBAL bounds - >= 1188689396950 @ 1.20237
2.08/2.17 c GLOBAL bounds - >= 1188689396950 @ 1.21376
2.08/2.17 c GLOBAL bounds - >= 1188689396950 @ 1.21434
2.08/2.19 c GLOBAL bounds - >= 1188689396950 @ 1.2202
2.08/2.20 c GLOBAL bounds - >= 1188689396950 @ 1.22033
2.17/2.21 c GLOBAL bounds - >= 1188689396950 @ 1.22399
2.17/2.28 c GLOBAL bounds - >= 1188689396950 @ 1.27799
2.37/2.40 c GLOBAL bounds - >= 1188689396950 @ 1.37493
2.37/2.44 c GLOBAL bounds - >= 1188689396950 @ 1.40605
2.37/2.48 c GLOBAL bounds - >= 1188689396950 @ 1.42747
2.66/2.72 c GLOBAL bounds - >= 1347241576825 @ 1.65366
2.66/2.73 c GLOBAL bounds - >= 1347241576825 @ 1.66326
2.66/2.75 c GLOBAL bounds - >= 1347241576825 @ 1.6703
2.66/2.75 c GLOBAL bounds - >= 1347241576825 @ 1.67136
2.66/2.77 c GLOBAL bounds - >= 1347241576825 @ 1.68003
2.66/2.77 c GLOBAL bounds - >= 1347241576825 @ 1.68091
2.66/2.79 c GLOBAL bounds - >= 1347241576825 @ 1.69102
2.77/2.80 c GLOBAL bounds - >= 1347241576825 @ 1.69222
2.77/2.82 c GLOBAL bounds - >= 1347241576825 @ 1.69713
2.77/2.82 c GLOBAL bounds - >= 1347241576825 @ 1.69818
2.77/2.84 c GLOBAL bounds - >= 1347241576825 @ 1.70387
2.77/2.84 c GLOBAL bounds - >= 1347241576825 @ 1.70413
2.77/2.86 c GLOBAL bounds - >= 1347241576825 @ 1.71138
2.77/2.86 c GLOBAL bounds - >= 1347241576825 @ 1.71223
2.77/2.88 c GLOBAL bounds - >= 1347241576825 @ 1.72402
2.77/2.88 c GLOBAL bounds - >= 1347241576825 @ 1.725
2.87/2.90 c GLOBAL bounds - >= 1347241576825 @ 1.72981
2.87/2.90 c GLOBAL bounds - >= 1347241576825 @ 1.73009
2.87/2.92 c GLOBAL bounds - >= 1347241576825 @ 1.73619
2.87/2.92 c GLOBAL bounds - >= 1347241576825 @ 1.73721
2.87/2.94 c GLOBAL bounds - >= 1347241576825 @ 1.74586
3.56/3.63 c #Conflicts: 1000 | #Constraints: 2411
3.56/3.63 c GLOBAL bounds - >= 1347426047075 @ 2.38011
3.56/3.64 c GLOBAL bounds - >= 1347426047075 @ 2.38948
3.56/3.66 c GLOBAL bounds - >= 1347426047075 @ 2.39735
3.56/3.66 c GLOBAL bounds - >= 1347426047075 @ 2.39855
3.56/3.68 c GLOBAL bounds - >= 1347426047075 @ 2.40537
3.56/3.69 c GLOBAL bounds - >= 1347426047075 @ 2.40544
3.67/3.71 c GLOBAL bounds - >= 1347426047075 @ 2.41636
3.67/3.71 c GLOBAL bounds - >= 1347426047075 @ 2.41644
3.67/3.73 c GLOBAL bounds - >= 1347426047075 @ 2.42429
3.67/3.73 c GLOBAL bounds - >= 1347426047075 @ 2.42533
3.67/3.75 c GLOBAL bounds - >= 1347426047075 @ 2.43226
3.67/3.75 c GLOBAL bounds - >= 1347426047075 @ 2.43329
3.67/3.77 c GLOBAL bounds - >= 1347426047075 @ 2.4402
3.67/3.77 c GLOBAL bounds - >= 1347426047075 @ 2.44039
3.67/3.79 c GLOBAL bounds - >= 1347426047075 @ 2.4471
3.67/3.79 c GLOBAL bounds - >= 1347426047075 @ 2.44823
3.77/3.81 c GLOBAL bounds - >= 1347426047075 @ 2.45719
3.77/3.81 c GLOBAL bounds - >= 1347426047075 @ 2.45736
3.77/3.83 c GLOBAL bounds - >= 1347426047075 @ 2.46432
3.77/3.83 c GLOBAL bounds - >= 1347426047075 @ 2.4655
3.77/3.85 c GLOBAL bounds - >= 1347426047075 @ 2.47458
3.77/3.87 c GLOBAL bounds - >= 1347426047075 @ 2.48432
3.86/3.90 c GLOBAL bounds - >= 1347426047075 @ 2.49632
4.26/4.32 c #Conflicts: 2000 | #Constraints: 3450
4.26/4.32 c INPROCESSING
4.26/4.32 c GARBAGE COLLECT
4.26/4.32 c GLOBAL bounds - >= 1347573623275 @ 2.89222
4.26/4.34 c GLOBAL bounds - >= 1347573623275 @ 2.90374
4.26/4.36 c GLOBAL bounds - >= 1347573623275 @ 2.91396
4.26/4.36 c GLOBAL bounds - >= 1347573623275 @ 2.91536
4.26/4.38 c GLOBAL bounds - >= 1347573623275 @ 2.92506
4.26/4.38 c GLOBAL bounds - >= 1347573623275 @ 2.92525
4.36/4.40 c GLOBAL bounds - >= 1347573623275 @ 2.93685
4.36/4.40 c GLOBAL bounds - >= 1347573623275 @ 2.93723
4.36/4.42 c GLOBAL bounds - >= 1347573623275 @ 2.94282
4.36/4.42 c GLOBAL bounds - >= 1347573623275 @ 2.94414
4.36/4.44 c GLOBAL bounds - >= 1347573623275 @ 2.95194
4.36/4.44 c GLOBAL bounds - >= 1347573623275 @ 2.9522
4.36/4.46 c GLOBAL bounds - >= 1347573623275 @ 2.96078
4.36/4.46 c GLOBAL bounds - >= 1347573623275 @ 2.96118
4.36/4.48 c GLOBAL bounds - >= 1347573623275 @ 2.97085
4.36/4.48 c GLOBAL bounds - >= 1347573623275 @ 2.97116
4.46/4.50 c GLOBAL bounds - >= 1347573623275 @ 2.97679
4.46/4.50 c GLOBAL bounds - >= 1347573623275 @ 2.97716
4.46/4.52 c GLOBAL bounds - >= 1347573623275 @ 2.98286
4.46/4.53 c GLOBAL bounds - >= 1347573623275 @ 2.98333
4.46/4.55 c GLOBAL bounds - >= 1347573623275 @ 2.98902
4.46/4.56 c GLOBAL bounds - >= 1347573623275 @ 2.99416
8.55/8.65 c #Conflicts: 3000 | #Constraints: 3452
8.55/8.65 c #Conflicts: 4000 | #Constraints: 4452
8.55/8.65 c INPROCESSING
8.55/8.65 c GARBAGE COLLECT
8.55/8.65 c #Conflicts: 5000 | #Constraints: 3852
8.55/8.65 c #Conflicts: 6000 | #Constraints: 4852
8.55/8.65 c INPROCESSING
8.55/8.65 c GARBAGE COLLECT
8.55/8.65 c GLOBAL bounds - >= 1426951171850 @ 6.90498
8.55/8.66 c GLOBAL bounds - >= 1426951171850 @ 6.918
8.55/8.66 c GLOBAL bounds - >= 1426951171850 @ 6.9189
8.55/8.68 c GLOBAL bounds - >= 1426951171850 @ 6.92414
8.55/8.68 c GLOBAL bounds - >= 1426951171850 @ 6.92577
8.66/8.70 c GLOBAL bounds - >= 1426951171850 @ 6.93647
8.66/8.71 c GLOBAL bounds - >= 1426951171850 @ 6.93706
8.66/8.73 c GLOBAL bounds - >= 1426951171850 @ 6.94464
8.66/8.73 c GLOBAL bounds - >= 1426951171850 @ 6.94646
8.66/8.75 c GLOBAL bounds - >= 1426951171850 @ 6.95604
8.66/8.75 c GLOBAL bounds - >= 1426951171850 @ 6.95683
8.66/8.77 c GLOBAL bounds - >= 1426951171850 @ 6.96245
8.66/8.77 c GLOBAL bounds - >= 1426951171850 @ 6.96303
8.66/8.79 c GLOBAL bounds - >= 1426951171850 @ 6.96864
8.76/8.80 c GLOBAL bounds - >= 1426951171850 @ 6.96981
8.76/8.82 c GLOBAL bounds - >= 1426951171850 @ 6.97904
8.76/8.82 c GLOBAL bounds - >= 1426951171850 @ 6.97978
8.76/8.84 c GLOBAL bounds - >= 1426951171850 @ 6.98762
8.76/8.84 c GLOBAL bounds - >= 1426951171850 @ 6.98877
8.76/8.86 c GLOBAL bounds - >= 1426951171850 @ 6.9969
8.76/8.86 c GLOBAL bounds - >= 1426951171850 @ 6.99775
8.76/8.88 c GLOBAL bounds - >= 1426951171850 @ 7.00232
8.85/8.90 c GLOBAL bounds - >= 1426951171850 @ 7.00521
8.85/8.92 c GLOBAL bounds - >= 1426951171850 @ 7.01115
8.85/8.94 c GLOBAL bounds - >= 1426951171850 @ 7.01857
8.85/8.95 c GLOBAL bounds - >= 1426951171850 @ 7.02799
8.85/8.99 c GLOBAL bounds - >= 1426951171850 @ 7.05198
8.96/9.01 c GLOBAL bounds - >= 1426951171850 @ 7.06365
8.96/9.03 c GLOBAL bounds - >= 1426951171850 @ 7.07326
13.54/13.65 c #Conflicts: 7000 | #Constraints: 3916
13.54/13.65 c #Conflicts: 8000 | #Constraints: 4916
13.54/13.65 c #Conflicts: 9000 | #Constraints: 5916
13.54/13.65 c INPROCESSING
13.54/13.65 c GARBAGE COLLECT
13.54/13.65 c #Conflicts: 10000 | #Constraints: 4609
13.54/13.65 c #Conflicts: 11000 | #Constraints: 5609
13.54/13.65 c #Conflicts: 12000 | #Constraints: 6609
13.54/13.65 c INPROCESSING
13.54/13.65 c GARBAGE COLLECT
13.54/13.65 c GLOBAL bounds - >= 1506236485300 @ 11.539
13.54/13.67 c GLOBAL bounds - >= 1506236485300 @ 11.549
13.54/13.67 c GLOBAL bounds - >= 1506236485300 @ 11.55
13.64/13.70 c GLOBAL bounds - >= 1506236485300 @ 11.564
13.64/13.70 c GLOBAL bounds - >= 1506236485300 @ 11.565
13.64/13.72 c GLOBAL bounds - >= 1506236485300 @ 11.5748
13.64/13.72 c GLOBAL bounds - >= 1506236485300 @ 11.5765
13.64/13.74 c GLOBAL bounds - >= 1506236485300 @ 11.5833
13.64/13.75 c GLOBAL bounds - >= 1506236485300 @ 11.584
13.64/13.77 c GLOBAL bounds - >= 1506236485300 @ 11.5956
13.64/13.77 c GLOBAL bounds - >= 1506236485300 @ 11.5959
13.64/13.79 c GLOBAL bounds - >= 1506236485300 @ 11.601
13.64/13.79 c GLOBAL bounds - >= 1506236485300 @ 11.6027
13.74/13.81 c GLOBAL bounds - >= 1506236485300 @ 11.6085
13.74/13.81 c GLOBAL bounds - >= 1506236485300 @ 11.6089
13.74/13.83 c GLOBAL bounds - >= 1506236485300 @ 11.6138
13.74/13.84 c GLOBAL bounds - >= 1506236485300 @ 11.6146
13.74/13.86 c GLOBAL bounds - >= 1506236485300 @ 11.6193
13.74/13.86 c GLOBAL bounds - >= 1506236485300 @ 11.6199
13.74/13.88 c GLOBAL bounds - >= 1506236485300 @ 11.6292
13.74/13.88 c GLOBAL bounds - >= 1506236485300 @ 11.6301
13.84/13.90 c GLOBAL bounds - >= 1506236485300 @ 11.6387
13.84/13.93 c GLOBAL bounds - >= 1506236485300 @ 11.6486
46.97/47.15 c #Conflicts: 13000 | #Constraints: 5094
46.97/47.15 c #Conflicts: 14000 | #Constraints: 6094
46.97/47.15 c #Conflicts: 15000 | #Constraints: 7094
46.97/47.15 c INPROCESSING
46.97/47.15 c GARBAGE COLLECT
46.97/47.15 c #Conflicts: 16000 | #Constraints: 5314
46.97/47.15 c #Conflicts: 17000 | #Constraints: 6314
46.97/47.15 c #Conflicts: 18000 | #Constraints: 7314
46.97/47.15 c INPROCESSING
46.97/47.15 c GARBAGE COLLECT
46.97/47.15 c #Conflicts: 19000 | #Constraints: 5329
46.97/47.15 c #Conflicts: 20000 | #Constraints: 6329
46.97/47.15 c #Conflicts: 21000 | #Constraints: 7329
46.97/47.15 c INPROCESSING
46.97/47.15 c GARBAGE COLLECT
46.97/47.15 c #Conflicts: 22000 | #Constraints: 5130
46.97/47.15 c #Conflicts: 23000 | #Constraints: 6130
46.97/47.15 c #Conflicts: 24000 | #Constraints: 7130
46.97/47.15 c #Conflicts: 25000 | #Constraints: 8130
46.97/47.15 c INPROCESSING
46.97/47.15 c GARBAGE COLLECT
46.97/47.15 c #Conflicts: 26000 | #Constraints: 5733
46.97/47.15 c #Conflicts: 27000 | #Constraints: 6733
46.97/47.15 c #Conflicts: 28000 | #Constraints: 7733
46.97/47.15 c #Conflicts: 29000 | #Constraints: 8733
46.97/47.15 c INPROCESSING
46.97/47.15 c GARBAGE COLLECT
46.97/47.15 c #Conflicts: 30000 | #Constraints: 6137
46.97/47.15 c #Conflicts: 31000 | #Constraints: 7137
46.97/47.15 c #Conflicts: 32000 | #Constraints: 8137
46.97/47.15 c #Conflicts: 33000 | #Constraints: 9137
46.97/47.15 c INPROCESSING
46.97/47.15 c GARBAGE COLLECT
46.97/47.15 c #Conflicts: 34000 | #Constraints: 6340
46.97/47.15 c #Conflicts: 35000 | #Constraints: 7340
46.97/47.15 c #Conflicts: 36000 | #Constraints: 8340
46.97/47.15 c #Conflicts: 37000 | #Constraints: 9340
46.97/47.15 c INPROCESSING
46.97/47.15 c GARBAGE COLLECT
46.97/47.15 c #Conflicts: 38000 | #Constraints: 6341
46.97/47.15 c #Conflicts: 39000 | #Constraints: 7341
46.97/47.15 c #Conflicts: 40000 | #Constraints: 8341
46.97/47.15 c #Conflicts: 41000 | #Constraints: 9341
46.97/47.15 c INPROCESSING
46.97/47.15 c GARBAGE COLLECT
46.97/47.15 c #Conflicts: 42000 | #Constraints: 6137
46.97/47.15 c #Conflicts: 43000 | #Constraints: 7137
46.97/47.15 c #Conflicts: 44000 | #Constraints: 8137
46.97/47.15 c #Conflicts: 45000 | #Constraints: 9137
46.97/47.15 c GLOBAL bounds - >= 1664954688400 @ 43.8834
46.97/47.17 c GLOBAL bounds - >= 1664954688400 @ 43.9039
46.97/47.17 c GLOBAL bounds - >= 1664954688400 @ 43.9049
46.97/47.19 c GLOBAL bounds - >= 1664954688400 @ 43.914
47.06/47.20 c GLOBAL bounds - >= 1664954688400 @ 43.9157
47.06/47.22 c GLOBAL bounds - >= 1664954688400 @ 43.9238
47.06/47.22 c GLOBAL bounds - >= 1664954688400 @ 43.924
47.06/47.24 c GLOBAL bounds - >= 1664954688400 @ 43.9336
47.06/47.24 c GLOBAL bounds - >= 1664954688400 @ 43.9348
47.06/47.27 c GLOBAL bounds - >= 1664954688400 @ 43.9428
47.06/47.27 c GLOBAL bounds - >= 1664954688400 @ 43.9438
47.06/47.29 c GLOBAL bounds - >= 1664954688400 @ 43.9548
47.06/47.29 c GLOBAL bounds - >= 1664954688400 @ 43.9558
47.17/47.31 c GLOBAL bounds - >= 1664954688400 @ 43.9639
47.17/47.31 c GLOBAL bounds - >= 1664954688400 @ 43.9655
47.17/47.33 c GLOBAL bounds - >= 1664954688400 @ 43.977
47.17/47.34 c GLOBAL bounds - >= 1664954688400 @ 43.9786
47.17/47.36 c GLOBAL bounds - >= 1664954688400 @ 43.9871
47.17/47.36 c GLOBAL bounds - >= 1664954688400 @ 43.9877
47.17/47.38 c GLOBAL bounds - >= 1664954688400 @ 43.9982
47.17/47.38 c GLOBAL bounds - >= 1664954688400 @ 43.9997
47.27/47.40 c GLOBAL bounds - >= 1664954688400 @ 44.0083
91.46/91.71 c #Conflicts: 46000 | #Constraints: 10177
91.46/91.71 c INPROCESSING
91.46/91.71 c GARBAGE COLLECT
91.46/91.71 c #Conflicts: 47000 | #Constraints: 6761
91.46/91.71 c #Conflicts: 48000 | #Constraints: 7761
91.46/91.71 c #Conflicts: 49000 | #Constraints: 8761
91.46/91.71 c #Conflicts: 50000 | #Constraints: 9761
91.46/91.71 c #Conflicts: 51000 | #Constraints: 10761
91.46/91.71 c INPROCESSING
91.46/91.71 c GARBAGE COLLECT
91.46/91.71 c #Conflicts: 52000 | #Constraints: 7161
91.46/91.71 c #Conflicts: 53000 | #Constraints: 8161
91.46/91.71 c #Conflicts: 54000 | #Constraints: 9161
91.46/91.71 c #Conflicts: 55000 | #Constraints: 10161
91.46/91.71 c #Conflicts: 56000 | #Constraints: 11161
91.46/91.71 c INPROCESSING
91.46/91.71 c GARBAGE COLLECT
91.46/91.71 c #Conflicts: 57000 | #Constraints: 7362
91.46/91.71 c #Conflicts: 58000 | #Constraints: 8362
91.46/91.71 c #Conflicts: 59000 | #Constraints: 9362
91.46/91.71 c #Conflicts: 60000 | #Constraints: 10362
91.46/91.71 c #Conflicts: 61000 | #Constraints: 11362
91.46/91.71 c INPROCESSING
91.46/91.71 c GARBAGE COLLECT
91.46/91.71 c #Conflicts: 62000 | #Constraints: 7372
91.46/91.71 c #Conflicts: 63000 | #Constraints: 8372
91.46/91.71 c #Conflicts: 64000 | #Constraints: 9372
91.46/91.71 c #Conflicts: 65000 | #Constraints: 10372
91.46/91.71 c #Conflicts: 66000 | #Constraints: 11372
91.46/91.71 c INPROCESSING
91.46/91.71 c GARBAGE COLLECT
91.46/91.71 c #Conflicts: 67000 | #Constraints: 7170
91.46/91.71 c #Conflicts: 68000 | #Constraints: 8170
91.46/91.71 c #Conflicts: 69000 | #Constraints: 9170
91.46/91.71 c #Conflicts: 70000 | #Constraints: 10170
91.46/91.71 c #Conflicts: 71000 | #Constraints: 11170
91.46/91.71 c #Conflicts: 72000 | #Constraints: 12170
91.46/91.71 c INPROCESSING
91.46/91.71 c GARBAGE COLLECT
91.46/91.71 c #Conflicts: 73000 | #Constraints: 7775
91.46/91.71 c #Conflicts: 74000 | #Constraints: 8775
91.46/91.71 c #Conflicts: 75000 | #Constraints: 9775
91.46/91.71 c #Conflicts: 76000 | #Constraints: 10775
91.46/91.71 c #Conflicts: 77000 | #Constraints: 11775
91.46/91.71 c #Conflicts: 78000 | #Constraints: 12775
91.46/91.71 c INPROCESSING
91.46/91.71 c GARBAGE COLLECT
91.46/91.71 c #Conflicts: 79000 | #Constraints: 8171
91.46/91.71 c #Conflicts: 80000 | #Constraints: 9171
91.46/91.71 c #Conflicts: 81000 | #Constraints: 10171
91.46/91.71 c #Conflicts: 82000 | #Constraints: 11171
91.46/91.71 c #Conflicts: 83000 | #Constraints: 12171
91.46/91.71 c #Conflicts: 84000 | #Constraints: 13171
91.46/91.71 c INPROCESSING
91.46/91.71 c GARBAGE COLLECT
91.46/91.71 c #Conflicts: 85000 | #Constraints: 8376
91.46/91.71 c #Conflicts: 86000 | #Constraints: 9376
91.46/91.71 c #Conflicts: 87000 | #Constraints: 10376
91.46/91.71 c #Conflicts: 88000 | #Constraints: 11376
91.46/91.71 c #Conflicts: 89000 | #Constraints: 12376
91.46/91.71 c #Conflicts: 90000 | #Constraints: 13376
91.46/91.71 c INPROCESSING
91.46/91.71 c GARBAGE COLLECT
91.46/91.71 c #Conflicts: 91000 | #Constraints: 8377
91.46/91.71 c #Conflicts: 92000 | #Constraints: 9377
91.46/91.71 c #Conflicts: 93000 | #Constraints: 10377
91.46/91.71 c GLOBAL bounds - >= 1665157605675 @ 87.1026
91.46/91.73 c GLOBAL bounds - >= 1665157605675 @ 87.1136
91.46/91.75 c GLOBAL bounds - >= 1665157605675 @ 87.1265
91.46/91.75 c GLOBAL bounds - >= 1665157605675 @ 87.1275
91.46/91.77 c GLOBAL bounds - >= 1665157605675 @ 87.136
91.46/91.78 c GLOBAL bounds - >= 1665157605675 @ 87.1368
91.56/91.80 c GLOBAL bounds - >= 1665157605675 @ 87.1446
91.56/91.80 c GLOBAL bounds - >= 1665157605675 @ 87.1463
91.56/91.82 c GLOBAL bounds - >= 1665157605675 @ 87.1532
91.56/91.82 c GLOBAL bounds - >= 1665157605675 @ 87.154
91.56/91.85 c GLOBAL bounds - >= 1665157605675 @ 87.1638
91.56/91.85 c GLOBAL bounds - >= 1665157605675 @ 87.1648
91.56/91.87 c GLOBAL bounds - >= 1665157605675 @ 87.1774
91.56/91.87 c GLOBAL bounds - >= 1665157605675 @ 87.1782
91.56/91.89 c GLOBAL bounds - >= 1665157605675 @ 87.184
91.56/91.89 c GLOBAL bounds - >= 1665157605675 @ 87.1857
91.66/91.92 c GLOBAL bounds - >= 1665157605675 @ 87.1915
91.66/91.92 c GLOBAL bounds - >= 1665157605675 @ 87.1927
91.66/91.94 c GLOBAL bounds - >= 1665157605675 @ 87.2003
91.66/91.94 c GLOBAL bounds - >= 1665157605675 @ 87.2012
91.66/91.96 c GLOBAL bounds - >= 1665157605675 @ 87.209
150.93/151.31 c #Conflicts: 94000 | #Constraints: 11416
150.93/151.31 c #Conflicts: 95000 | #Constraints: 12416
150.93/151.31 c #Conflicts: 96000 | #Constraints: 13416
150.93/151.31 c INPROCESSING
150.93/151.31 c GARBAGE COLLECT
150.93/151.31 c #Conflicts: 97000 | #Constraints: 8205
150.93/151.31 c #Conflicts: 98000 | #Constraints: 9205
150.93/151.31 c #Conflicts: 99000 | #Constraints: 10205
150.93/151.31 c #Conflicts: 100000 | #Constraints: 11205
150.93/151.31 c #Conflicts: 101000 | #Constraints: 12205
150.93/151.31 c #Conflicts: 102000 | #Constraints: 13205
150.93/151.31 c #Conflicts: 103000 | #Constraints: 14205
150.93/151.31 c INPROCESSING
150.93/151.31 c GARBAGE COLLECT
150.93/151.31 c #Conflicts: 104000 | #Constraints: 8802
150.93/151.31 c #Conflicts: 105000 | #Constraints: 9802
150.93/151.31 c #Conflicts: 106000 | #Constraints: 10802
150.93/151.31 c #Conflicts: 107000 | #Constraints: 11802
150.93/151.31 c #Conflicts: 108000 | #Constraints: 12802
150.93/151.31 c #Conflicts: 109000 | #Constraints: 13802
150.93/151.31 c #Conflicts: 110000 | #Constraints: 14802
150.93/151.31 c INPROCESSING
150.93/151.31 c GARBAGE COLLECT
150.93/151.31 c #Conflicts: 111000 | #Constraints: 9199
150.93/151.31 c #Conflicts: 112000 | #Constraints: 10199
150.93/151.31 c #Conflicts: 113000 | #Constraints: 11199
150.93/151.31 c #Conflicts: 114000 | #Constraints: 12199
150.93/151.31 c #Conflicts: 115000 | #Constraints: 13199
150.93/151.31 c #Conflicts: 116000 | #Constraints: 14199
150.93/151.31 c #Conflicts: 117000 | #Constraints: 15199
150.93/151.31 c INPROCESSING
150.93/151.31 c GARBAGE COLLECT
150.93/151.31 c #Conflicts: 118000 | #Constraints: 9395
150.93/151.31 c #Conflicts: 119000 | #Constraints: 10395
150.93/151.31 c #Conflicts: 120000 | #Constraints: 11395
150.93/151.31 c #Conflicts: 121000 | #Constraints: 12395
150.93/151.31 c #Conflicts: 122000 | #Constraints: 13395
150.93/151.31 c #Conflicts: 123000 | #Constraints: 14395
150.93/151.31 c #Conflicts: 124000 | #Constraints: 15395
150.93/151.31 c INPROCESSING
150.93/151.31 c GARBAGE COLLECT
150.93/151.31 c #Conflicts: 125000 | #Constraints: 9391
150.93/151.31 c #Conflicts: 126000 | #Constraints: 10391
150.93/151.31 c #Conflicts: 127000 | #Constraints: 11391
150.93/151.31 c #Conflicts: 128000 | #Constraints: 12391
150.93/151.31 c #Conflicts: 129000 | #Constraints: 13391
150.93/151.31 c #Conflicts: 130000 | #Constraints: 14391
150.93/151.31 c #Conflicts: 131000 | #Constraints: 15391
150.93/151.31 c INPROCESSING
150.93/151.31 c GARBAGE COLLECT
150.93/151.31 c #Conflicts: 132000 | #Constraints: 9201
150.93/151.31 c #Conflicts: 133000 | #Constraints: 10201
150.93/151.31 c #Conflicts: 134000 | #Constraints: 11201
150.93/151.31 c #Conflicts: 135000 | #Constraints: 12201
150.93/151.31 c #Conflicts: 136000 | #Constraints: 13201
150.93/151.31 c #Conflicts: 137000 | #Constraints: 14201
150.93/151.31 c #Conflicts: 138000 | #Constraints: 15201
150.93/151.31 c #Conflicts: 139000 | #Constraints: 16201
150.93/151.31 c INPROCESSING
150.93/151.31 c GARBAGE COLLECT
150.93/151.31 c #Conflicts: 140000 | #Constraints: 9797
150.93/151.31 c #Conflicts: 141000 | #Constraints: 10797
150.93/151.31 c #Conflicts: 142000 | #Constraints: 11797
150.93/151.31 c #Conflicts: 143000 | #Constraints: 12797
150.93/151.31 c #Conflicts: 144000 | #Constraints: 13797
150.93/151.31 c #Conflicts: 145000 | #Constraints: 14797
150.93/151.31 c #Conflicts: 146000 | #Constraints: 15797
150.93/151.31 c #Conflicts: 147000 | #Constraints: 16797
150.93/151.31 c INPROCESSING
150.93/151.31 c GARBAGE COLLECT
150.93/151.31 c #Conflicts: 148000 | #Constraints: 10198
150.93/151.31 c #Conflicts: 149000 | #Constraints: 11198
150.93/151.31 c #Conflicts: 150000 | #Constraints: 12198
150.93/151.31 c #Conflicts: 151000 | #Constraints: 13198
150.93/151.31 c #Conflicts: 152000 | #Constraints: 14198
150.93/151.31 c GLOBAL bounds - >= 1665342075925 @ 145.32
150.93/151.33 c GLOBAL bounds - >= 1665342075925 @ 145.335
150.93/151.35 c GLOBAL bounds - >= 1665342075925 @ 145.343
150.93/151.35 c GLOBAL bounds - >= 1665342075925 @ 145.345
150.93/151.38 c GLOBAL bounds - >= 1665342075925 @ 145.355
150.93/151.38 c GLOBAL bounds - >= 1665342075925 @ 145.356
151.03/151.40 c GLOBAL bounds - >= 1665342075925 @ 145.365
151.03/151.40 c GLOBAL bounds - >= 1665342075925 @ 145.366
151.03/151.43 c GLOBAL bounds - >= 1665342075925 @ 145.375
151.03/151.43 c GLOBAL bounds - >= 1665342075925 @ 145.376
151.03/151.45 c GLOBAL bounds - >= 1665342075925 @ 145.387
151.03/151.45 c GLOBAL bounds - >= 1665342075925 @ 145.389
151.03/151.48 c GLOBAL bounds - >= 1665342075925 @ 145.401
151.03/151.48 c GLOBAL bounds - >= 1665342075925 @ 145.403
151.13/151.50 c GLOBAL bounds - >= 1665342075925 @ 145.414
151.13/151.50 c GLOBAL bounds - >= 1665342075925 @ 145.415
151.13/151.53 c GLOBAL bounds - >= 1665342075925 @ 145.424
151.13/151.53 c GLOBAL bounds - >= 1665342075925 @ 145.425
151.13/151.55 c GLOBAL bounds - >= 1665342075925 @ 145.433
151.13/151.55 c GLOBAL bounds - >= 1665342075925 @ 145.434
151.13/151.58 c GLOBAL bounds - >= 1665342075925 @ 145.442
215.37/215.98 c #Conflicts: 153000 | #Constraints: 15237
215.37/215.98 c #Conflicts: 154000 | #Constraints: 16237
215.37/215.98 c #Conflicts: 155000 | #Constraints: 17237
215.37/215.98 c INPROCESSING
215.37/215.98 c GARBAGE COLLECT
215.37/215.98 c #Conflicts: 156000 | #Constraints: 10428
215.37/215.98 c #Conflicts: 157000 | #Constraints: 11428
215.37/215.98 c #Conflicts: 158000 | #Constraints: 12428
215.37/215.98 c #Conflicts: 159000 | #Constraints: 13428
215.37/215.98 c #Conflicts: 160000 | #Constraints: 14428
215.37/215.98 c #Conflicts: 161000 | #Constraints: 15428
215.37/215.98 c #Conflicts: 162000 | #Constraints: 16428
215.37/215.98 c #Conflicts: 163000 | #Constraints: 17428
215.37/215.98 c INPROCESSING
215.37/215.98 c GARBAGE COLLECT
215.37/215.98 c #Conflicts: 164000 | #Constraints: 10422
215.37/215.98 c #Conflicts: 165000 | #Constraints: 11422
215.37/215.98 c #Conflicts: 166000 | #Constraints: 12422
215.37/215.98 c #Conflicts: 167000 | #Constraints: 13422
215.37/215.98 c #Conflicts: 168000 | #Constraints: 14422
215.37/215.98 c #Conflicts: 169000 | #Constraints: 15422
215.37/215.98 c #Conflicts: 170000 | #Constraints: 16422
215.37/215.98 c #Conflicts: 171000 | #Constraints: 17422
215.37/215.98 c INPROCESSING
215.37/215.98 c GARBAGE COLLECT
215.37/215.98 c #Conflicts: 172000 | #Constraints: 10226
215.37/215.98 c #Conflicts: 173000 | #Constraints: 11226
215.37/215.98 c #Conflicts: 174000 | #Constraints: 12226
215.37/215.98 c #Conflicts: 175000 | #Constraints: 13226
215.37/215.98 c #Conflicts: 176000 | #Constraints: 14226
215.37/215.98 c #Conflicts: 177000 | #Constraints: 15226
215.37/215.98 c #Conflicts: 178000 | #Constraints: 16226
215.37/215.98 c #Conflicts: 179000 | #Constraints: 17226
215.37/215.98 c #Conflicts: 180000 | #Constraints: 18226
215.37/215.98 c INPROCESSING
215.37/215.98 c GARBAGE COLLECT
215.37/215.98 c #Conflicts: 181000 | #Constraints: 10825
215.37/215.98 c #Conflicts: 182000 | #Constraints: 11825
215.37/215.98 c #Conflicts: 183000 | #Constraints: 12825
215.37/215.98 c #Conflicts: 184000 | #Constraints: 13825
215.37/215.98 c #Conflicts: 185000 | #Constraints: 14825
215.37/215.98 c #Conflicts: 186000 | #Constraints: 15825
215.37/215.98 c #Conflicts: 187000 | #Constraints: 16825
215.37/215.98 c #Conflicts: 188000 | #Constraints: 17825
215.37/215.98 c #Conflicts: 189000 | #Constraints: 18825
215.37/215.98 c INPROCESSING
215.37/215.98 c GARBAGE COLLECT
215.37/215.98 c #Conflicts: 190000 | #Constraints: 11223
215.37/215.98 c #Conflicts: 191000 | #Constraints: 12223
215.37/215.98 c #Conflicts: 192000 | #Constraints: 13223
215.37/215.98 c #Conflicts: 193000 | #Constraints: 14223
215.37/215.98 c #Conflicts: 194000 | #Constraints: 15223
215.37/215.98 c #Conflicts: 195000 | #Constraints: 16223
215.37/215.98 c #Conflicts: 196000 | #Constraints: 17223
215.37/215.98 c #Conflicts: 197000 | #Constraints: 18223
215.37/215.98 c #Conflicts: 198000 | #Constraints: 19223
215.37/215.98 c INPROCESSING
215.37/215.98 c GARBAGE COLLECT
215.37/215.98 c #Conflicts: 199000 | #Constraints: 11442
215.37/215.98 c #Conflicts: 200000 | #Constraints: 12442
215.37/215.98 c #Conflicts: 201000 | #Constraints: 13442
215.37/215.98 c #Conflicts: 202000 | #Constraints: 14442
215.37/215.98 c #Conflicts: 203000 | #Constraints: 15442
215.37/215.98 c #Conflicts: 204000 | #Constraints: 16442
215.37/215.98 c #Conflicts: 205000 | #Constraints: 17442
215.37/215.98 c #Conflicts: 206000 | #Constraints: 18442
215.37/215.98 c #Conflicts: 207000 | #Constraints: 19442
215.37/215.98 c INPROCESSING
215.37/215.98 c GARBAGE COLLECT
215.37/215.98 c #Conflicts: 208000 | #Constraints: 11434
215.37/215.98 c #Conflicts: 209000 | #Constraints: 12434
215.37/215.98 c #Conflicts: 210000 | #Constraints: 13434
215.37/215.98 c #Conflicts: 211000 | #Constraints: 14434
215.37/215.98 c #Conflicts: 212000 | #Constraints: 15434
215.37/215.98 c GLOBAL bounds - >= 1665526546175 @ 208.653
215.37/216.00 c GLOBAL bounds - >= 1665526546175 @ 208.669
215.48/216.02 c GLOBAL bounds - >= 1665526546175 @ 208.678
215.48/216.03 c GLOBAL bounds - >= 1665526546175 @ 208.68
215.48/216.05 c GLOBAL bounds - >= 1665526546175 @ 208.691
215.48/216.05 c GLOBAL bounds - >= 1665526546175 @ 208.693
215.48/216.07 c GLOBAL bounds - >= 1665526546175 @ 208.704
215.48/216.08 c GLOBAL bounds - >= 1665526546175 @ 208.706
215.48/216.10 c GLOBAL bounds - >= 1665526546175 @ 208.719
215.58/216.10 c GLOBAL bounds - >= 1665526546175 @ 208.72
215.58/216.12 c GLOBAL bounds - >= 1665526546175 @ 208.729
215.58/216.13 c GLOBAL bounds - >= 1665526546175 @ 208.731
215.58/216.15 c GLOBAL bounds - >= 1665526546175 @ 208.74
215.58/216.15 c GLOBAL bounds - >= 1665526546175 @ 208.742
215.58/216.18 c GLOBAL bounds - >= 1665526546175 @ 208.75
215.58/216.18 c GLOBAL bounds - >= 1665526546175 @ 208.751
215.68/216.20 c GLOBAL bounds - >= 1665526546175 @ 208.763
215.68/216.20 c GLOBAL bounds - >= 1665526546175 @ 208.764
215.68/216.23 c GLOBAL bounds - >= 1665526546175 @ 208.774
215.68/216.23 c GLOBAL bounds - >= 1665526546175 @ 208.775
215.68/216.25 c GLOBAL bounds - >= 1665526546175 @ 208.785
251.00/251.65 c #Conflicts: 213000 | #Constraints: 16473
251.00/251.65 c #Conflicts: 214000 | #Constraints: 17473
251.00/251.65 c #Conflicts: 215000 | #Constraints: 18473
251.00/251.65 c #Conflicts: 216000 | #Constraints: 19473
251.00/251.65 c INPROCESSING
251.00/251.65 c GARBAGE COLLECT
251.00/251.65 c #Conflicts: 217000 | #Constraints: 11268
251.00/251.65 c #Conflicts: 218000 | #Constraints: 12268
251.00/251.65 c #Conflicts: 219000 | #Constraints: 13268
251.00/251.65 c #Conflicts: 220000 | #Constraints: 14268
251.00/251.65 c #Conflicts: 221000 | #Constraints: 15268
251.00/251.65 c #Conflicts: 222000 | #Constraints: 16268
251.00/251.65 c #Conflicts: 223000 | #Constraints: 17268
251.00/251.65 c #Conflicts: 224000 | #Constraints: 18268
251.00/251.65 c #Conflicts: 225000 | #Constraints: 19268
251.00/251.65 c #Conflicts: 226000 | #Constraints: 20268
251.00/251.65 c INPROCESSING
251.00/251.65 c GARBAGE COLLECT
251.00/251.65 c #Conflicts: 227000 | #Constraints: 11881
251.00/251.65 c #Conflicts: 228000 | #Constraints: 12881
251.00/251.65 c #Conflicts: 229000 | #Constraints: 13881
251.00/251.65 c #Conflicts: 230000 | #Constraints: 14881
251.00/251.65 c #Conflicts: 231000 | #Constraints: 15881
251.00/251.65 c #Conflicts: 232000 | #Constraints: 16881
251.00/251.65 c #Conflicts: 233000 | #Constraints: 17881
251.00/251.65 c #Conflicts: 234000 | #Constraints: 18881
251.00/251.65 c #Conflicts: 235000 | #Constraints: 19881
251.00/251.65 c #Conflicts: 236000 | #Constraints: 20881
251.00/251.65 c INPROCESSING
251.00/251.65 c GARBAGE COLLECT
251.00/251.65 c #Conflicts: 237000 | #Constraints: 12270
251.00/251.65 c #Conflicts: 238000 | #Constraints: 13270
251.00/251.65 c #Conflicts: 239000 | #Constraints: 14270
251.00/251.65 c #Conflicts: 240000 | #Constraints: 15270
251.00/251.65 c #Conflicts: 241000 | #Constraints: 16270
251.00/251.65 c GLOBAL bounds - >= 1665711016425 @ 243.545
251.00/251.67 c GLOBAL bounds - >= 1665711016425 @ 243.559
251.00/251.69 c GLOBAL bounds - >= 1665711016425 @ 243.57
251.00/251.69 c GLOBAL bounds - >= 1665711016425 @ 243.572
251.09/251.72 c GLOBAL bounds - >= 1665711016425 @ 243.585
251.09/251.72 c GLOBAL bounds - >= 1665711016425 @ 243.587
251.09/251.74 c GLOBAL bounds - >= 1665711016425 @ 243.601
251.09/251.74 c GLOBAL bounds - >= 1665711016425 @ 243.604
251.09/251.77 c GLOBAL bounds - >= 1665711016425 @ 243.613
251.09/251.77 c GLOBAL bounds - >= 1665711016425 @ 243.615
251.09/251.79 c GLOBAL bounds - >= 1665711016425 @ 243.622
251.09/251.79 c GLOBAL bounds - >= 1665711016425 @ 243.623
251.19/251.82 c GLOBAL bounds - >= 1665711016425 @ 243.634
251.19/251.82 c GLOBAL bounds - >= 1665711016425 @ 243.636
251.19/251.84 c GLOBAL bounds - >= 1665711016425 @ 243.647
251.19/251.85 c GLOBAL bounds - >= 1665711016425 @ 243.648
251.19/251.87 c GLOBAL bounds - >= 1665711016425 @ 243.657
251.19/251.87 c GLOBAL bounds - >= 1665711016425 @ 243.66
251.19/251.89 c GLOBAL bounds - >= 1665711016425 @ 243.669
251.30/251.90 c GLOBAL bounds - >= 1665711016425 @ 243.671
251.30/251.92 c GLOBAL bounds - >= 1665711016425 @ 243.685
339.58/340.46 c #Conflicts: 242000 | #Constraints: 17309
339.58/340.46 c #Conflicts: 243000 | #Constraints: 18309
339.58/340.46 c #Conflicts: 244000 | #Constraints: 19309
339.58/340.46 c #Conflicts: 245000 | #Constraints: 20309
339.58/340.46 c #Conflicts: 246000 | #Constraints: 21309
339.58/340.46 c INPROCESSING
339.58/340.46 c GARBAGE COLLECT
339.58/340.46 c #Conflicts: 247000 | #Constraints: 12493
339.58/340.46 c #Conflicts: 248000 | #Constraints: 13493
339.58/340.46 c #Conflicts: 249000 | #Constraints: 14493
339.58/340.46 c #Conflicts: 250000 | #Constraints: 15493
339.58/340.46 c #Conflicts: 251000 | #Constraints: 16493
339.58/340.46 c #Conflicts: 252000 | #Constraints: 17493
339.58/340.46 c #Conflicts: 253000 | #Constraints: 18493
339.58/340.46 c #Conflicts: 254000 | #Constraints: 19493
339.58/340.46 c #Conflicts: 255000 | #Constraints: 20493
339.58/340.46 c #Conflicts: 256000 | #Constraints: 21493
339.58/340.46 c INPROCESSING
339.58/340.46 c GARBAGE COLLECT
339.58/340.46 c #Conflicts: 257000 | #Constraints: 12494
339.58/340.46 c #Conflicts: 258000 | #Constraints: 13494
339.58/340.46 c #Conflicts: 259000 | #Constraints: 14494
339.58/340.46 c #Conflicts: 260000 | #Constraints: 15494
339.58/340.46 c #Conflicts: 261000 | #Constraints: 16494
339.58/340.46 c #Conflicts: 262000 | #Constraints: 17494
339.58/340.46 c #Conflicts: 263000 | #Constraints: 18494
339.58/340.46 c #Conflicts: 264000 | #Constraints: 19494
339.58/340.46 c #Conflicts: 265000 | #Constraints: 20494
339.58/340.46 c #Conflicts: 266000 | #Constraints: 21494
339.58/340.46 c INPROCESSING
339.58/340.46 c GARBAGE COLLECT
339.58/340.46 c #Conflicts: 267000 | #Constraints: 12290
339.58/340.46 c #Conflicts: 268000 | #Constraints: 13290
339.58/340.46 c #Conflicts: 269000 | #Constraints: 14290
339.58/340.46 c #Conflicts: 270000 | #Constraints: 15290
339.58/340.46 c #Conflicts: 271000 | #Constraints: 16290
339.58/340.46 c #Conflicts: 272000 | #Constraints: 17290
339.58/340.46 c #Conflicts: 273000 | #Constraints: 18290
339.58/340.46 c #Conflicts: 274000 | #Constraints: 19290
339.58/340.46 c #Conflicts: 275000 | #Constraints: 20290
339.58/340.46 c #Conflicts: 276000 | #Constraints: 21290
339.58/340.46 c #Conflicts: 277000 | #Constraints: 22290
339.58/340.46 c INPROCESSING
339.58/340.46 c GARBAGE COLLECT
339.58/340.46 c #Conflicts: 278000 | #Constraints: 12890
339.58/340.46 c #Conflicts: 279000 | #Constraints: 13890
339.58/340.46 c #Conflicts: 280000 | #Constraints: 14890
339.58/340.46 c #Conflicts: 281000 | #Constraints: 15890
339.58/340.46 c #Conflicts: 282000 | #Constraints: 16890
339.58/340.46 c #Conflicts: 283000 | #Constraints: 17890
339.58/340.46 c #Conflicts: 284000 | #Constraints: 18890
339.58/340.46 c #Conflicts: 285000 | #Constraints: 19890
339.58/340.46 c #Conflicts: 286000 | #Constraints: 20890
339.58/340.46 c #Conflicts: 287000 | #Constraints: 21890
339.58/340.46 c #Conflicts: 288000 | #Constraints: 22890
339.58/340.46 c INPROCESSING
339.58/340.46 c GARBAGE COLLECT
339.58/340.46 c #Conflicts: 289000 | #Constraints: 13292
339.58/340.46 c #Conflicts: 290000 | #Constraints: 14292
339.58/340.46 c #Conflicts: 291000 | #Constraints: 15292
339.58/340.46 c #Conflicts: 292000 | #Constraints: 16292
339.58/340.46 c #Conflicts: 293000 | #Constraints: 17292
339.58/340.46 c #Conflicts: 294000 | #Constraints: 18292
339.58/340.46 c #Conflicts: 295000 | #Constraints: 19292
339.58/340.46 c #Conflicts: 296000 | #Constraints: 20292
339.58/340.46 c #Conflicts: 297000 | #Constraints: 21292
339.58/340.46 c #Conflicts: 298000 | #Constraints: 22292
339.58/340.46 c #Conflicts: 299000 | #Constraints: 23292
339.58/340.46 c INPROCESSING
339.58/340.46 c GARBAGE COLLECT
339.58/340.46 c #Conflicts: 300000 | #Constraints: 13491
339.58/340.46 c #Conflicts: 301000 | #Constraints: 14491
339.58/340.46 c #Conflicts: 302000 | #Constraints: 15491
339.58/340.46 c #Conflicts: 303000 | #Constraints: 16491
339.58/340.46 c #Conflicts: 304000 | #Constraints: 17491
339.58/340.46 c #Conflicts: 305000 | #Constraints: 18491
339.58/340.46 c #Conflicts: 306000 | #Constraints: 19491
339.58/340.46 c #Conflicts: 307000 | #Constraints: 20491
339.58/340.46 c #Conflicts: 308000 | #Constraints: 21491
339.58/340.46 c #Conflicts: 309000 | #Constraints: 22491
339.58/340.46 c #Conflicts: 310000 | #Constraints: 23491
339.58/340.46 c INPROCESSING
339.58/340.46 c GARBAGE COLLECT
339.58/340.46 c #Conflicts: 311000 | #Constraints: 13489
339.58/340.46 c #Conflicts: 312000 | #Constraints: 14489
339.58/340.46 c #Conflicts: 313000 | #Constraints: 15489
339.58/340.46 c #Conflicts: 314000 | #Constraints: 16489
339.58/340.46 c #Conflicts: 315000 | #Constraints: 17489
339.58/340.46 c #Conflicts: 316000 | #Constraints: 18489
361.23/362.11 c #Conflicts: 317000 | #Constraints: 19489
361.23/362.11 c #Conflicts: 318000 | #Constraints: 20489
361.23/362.11 c #Conflicts: 319000 | #Constraints: 21489
361.23/362.11 c #Conflicts: 320000 | #Constraints: 22489
361.23/362.11 c #Conflicts: 321000 | #Constraints: 23489
361.23/362.11 c INPROCESSING
361.23/362.11 c GARBAGE COLLECT
361.23/362.11 c #Conflicts: 322000 | #Constraints: 13290
361.23/362.11 c #Conflicts: 323000 | #Constraints: 14290
361.23/362.11 c #Conflicts: 324000 | #Constraints: 15290
361.23/362.11 c #Conflicts: 325000 | #Constraints: 16290
361.23/362.11 c #Conflicts: 326000 | #Constraints: 17290
361.23/362.11 c #Conflicts: 327000 | #Constraints: 18290
361.23/362.11 c #Conflicts: 328000 | #Constraints: 19290
361.23/362.11 c #Conflicts: 329000 | #Constraints: 20290
361.23/362.11 c #Conflicts: 330000 | #Constraints: 21290
361.23/362.11 c GLOBAL bounds - >= 1665895486675 @ 351.882
361.23/362.13 c GLOBAL bounds - >= 1665895486675 @ 351.898
361.23/362.15 c GLOBAL bounds - >= 1665895486675 @ 351.913
361.23/362.15 c GLOBAL bounds - >= 1665895486675 @ 351.913
361.23/362.18 c GLOBAL bounds - >= 1665895486675 @ 351.927
361.23/362.18 c GLOBAL bounds - >= 1665895486675 @ 351.928
361.32/362.21 c GLOBAL bounds - >= 1665895486675 @ 351.94
361.32/362.21 c GLOBAL bounds - >= 1665895486675 @ 351.943
361.32/362.24 c GLOBAL bounds - >= 1665895486675 @ 351.96
361.32/362.24 c GLOBAL bounds - >= 1665895486675 @ 351.961
361.32/362.26 c GLOBAL bounds - >= 1665895486675 @ 351.972
361.32/362.27 c GLOBAL bounds - >= 1665895486675 @ 351.974
361.32/362.29 c GLOBAL bounds - >= 1665895486675 @ 351.985
361.42/362.30 c GLOBAL bounds - >= 1665895486675 @ 351.988
361.42/362.32 c GLOBAL bounds - >= 1665895486675 @ 352.003
361.42/362.32 c GLOBAL bounds - >= 1665895486675 @ 352.004
361.42/362.35 c GLOBAL bounds - >= 1665895486675 @ 352.014
361.42/362.35 c GLOBAL bounds - >= 1665895486675 @ 352.015
361.42/362.38 c GLOBAL bounds - >= 1665895486675 @ 352.026
361.42/362.38 c GLOBAL bounds - >= 1665895486675 @ 352.027
361.53/362.41 c GLOBAL bounds - >= 1665895486675 @ 352.039
444.03/445.14 c #Conflicts: 331000 | #Constraints: 22329
444.03/445.14 c #Conflicts: 332000 | #Constraints: 23329
444.03/445.14 c #Conflicts: 333000 | #Constraints: 24329
444.03/445.14 c INPROCESSING
444.03/445.14 c GARBAGE COLLECT
444.03/445.14 c #Conflicts: 334000 | #Constraints: 13937
444.03/445.14 c #Conflicts: 335000 | #Constraints: 14937
444.03/445.14 c #Conflicts: 336000 | #Constraints: 15937
444.03/445.14 c #Conflicts: 337000 | #Constraints: 16937
444.03/445.14 c #Conflicts: 338000 | #Constraints: 17937
444.03/445.14 c #Conflicts: 339000 | #Constraints: 18937
444.03/445.14 c #Conflicts: 340000 | #Constraints: 19937
444.03/445.14 c #Conflicts: 341000 | #Constraints: 20937
444.03/445.14 c #Conflicts: 342000 | #Constraints: 21937
444.03/445.14 c #Conflicts: 343000 | #Constraints: 22937
444.03/445.14 c #Conflicts: 344000 | #Constraints: 23937
444.03/445.14 c #Conflicts: 345000 | #Constraints: 24937
444.03/445.14 c INPROCESSING
444.03/445.14 c GARBAGE COLLECT
444.03/445.14 c #Conflicts: 346000 | #Constraints: 14325
444.03/445.14 c #Conflicts: 347000 | #Constraints: 15325
444.03/445.14 c #Conflicts: 348000 | #Constraints: 16325
444.03/445.14 c #Conflicts: 349000 | #Constraints: 17325
444.03/445.14 c #Conflicts: 350000 | #Constraints: 18325
444.03/445.14 c #Conflicts: 351000 | #Constraints: 19325
444.03/445.14 c #Conflicts: 352000 | #Constraints: 20325
444.03/445.14 c #Conflicts: 353000 | #Constraints: 21325
444.03/445.14 c #Conflicts: 354000 | #Constraints: 22325
444.03/445.14 c #Conflicts: 355000 | #Constraints: 23325
444.03/445.14 c #Conflicts: 356000 | #Constraints: 24325
444.03/445.14 c #Conflicts: 357000 | #Constraints: 25325
444.03/445.14 c INPROCESSING
444.03/445.14 c GARBAGE COLLECT
444.03/445.14 c #Conflicts: 358000 | #Constraints: 14521
444.03/445.14 c #Conflicts: 359000 | #Constraints: 15521
444.03/445.14 c #Conflicts: 360000 | #Constraints: 16521
444.03/445.14 c #Conflicts: 361000 | #Constraints: 17521
444.03/445.14 c #Conflicts: 362000 | #Constraints: 18521
444.03/445.14 c #Conflicts: 363000 | #Constraints: 19521
444.03/445.14 c #Conflicts: 364000 | #Constraints: 20521
444.03/445.14 c #Conflicts: 365000 | #Constraints: 21521
444.03/445.14 c #Conflicts: 366000 | #Constraints: 22521
444.03/445.14 c #Conflicts: 367000 | #Constraints: 23521
444.03/445.14 c #Conflicts: 368000 | #Constraints: 24521
444.03/445.14 c #Conflicts: 369000 | #Constraints: 25521
444.03/445.14 c INPROCESSING
444.03/445.14 c GARBAGE COLLECT
444.03/445.14 c #Conflicts: 370000 | #Constraints: 14518
444.03/445.14 c #Conflicts: 371000 | #Constraints: 15518
444.03/445.14 c #Conflicts: 372000 | #Constraints: 16518
444.03/445.14 c #Conflicts: 373000 | #Constraints: 17518
444.03/445.14 c #Conflicts: 374000 | #Constraints: 18518
444.03/445.14 c #Conflicts: 375000 | #Constraints: 19518
444.03/445.14 c #Conflicts: 376000 | #Constraints: 20518
444.03/445.14 c #Conflicts: 377000 | #Constraints: 21518
444.03/445.14 c #Conflicts: 378000 | #Constraints: 22518
444.03/445.14 c #Conflicts: 379000 | #Constraints: 23518
444.03/445.14 c #Conflicts: 380000 | #Constraints: 24518
444.03/445.14 c GLOBAL bounds - >= 1666079956925 @ 433.412
444.03/445.16 c GLOBAL bounds - >= 1666079956925 @ 433.429
444.03/445.18 c GLOBAL bounds - >= 1666079956925 @ 433.444
444.03/445.19 c GLOBAL bounds - >= 1666079956925 @ 433.446
444.12/445.21 c GLOBAL bounds - >= 1666079956925 @ 433.458
444.12/445.21 c GLOBAL bounds - >= 1666079956925 @ 433.461
444.12/445.24 c GLOBAL bounds - >= 1666079956925 @ 433.472
444.12/445.24 c GLOBAL bounds - >= 1666079956925 @ 433.474
444.12/445.27 c GLOBAL bounds - >= 1666079956925 @ 433.486
444.12/445.27 c GLOBAL bounds - >= 1666079956925 @ 433.489
444.23/445.30 c GLOBAL bounds - >= 1666079956925 @ 433.501
444.23/445.30 c GLOBAL bounds - >= 1666079956925 @ 433.503
444.23/445.33 c GLOBAL bounds - >= 1666079956925 @ 433.516
444.23/445.33 c GLOBAL bounds - >= 1666079956925 @ 433.518
444.23/445.35 c GLOBAL bounds - >= 1666079956925 @ 433.532
444.23/445.36 c GLOBAL bounds - >= 1666079956925 @ 433.535
444.23/445.38 c GLOBAL bounds - >= 1666079956925 @ 433.547
444.23/445.39 c GLOBAL bounds - >= 1666079956925 @ 433.55
444.32/445.41 c GLOBAL bounds - >= 1666079956925 @ 433.563
444.32/445.41 c GLOBAL bounds - >= 1666079956925 @ 433.564
444.32/445.44 c GLOBAL bounds - >= 1666079956925 @ 433.582
511.96/513.22 c #Conflicts: 381000 | #Constraints: 25557
511.96/513.22 c INPROCESSING
511.96/513.22 c GARBAGE COLLECT
511.96/513.22 c #Conflicts: 382000 | #Constraints: 14351
511.96/513.22 c #Conflicts: 383000 | #Constraints: 15351
511.96/513.22 c #Conflicts: 384000 | #Constraints: 16351
511.96/513.22 c #Conflicts: 385000 | #Constraints: 17351
511.96/513.22 c #Conflicts: 386000 | #Constraints: 18351
511.96/513.22 c #Conflicts: 387000 | #Constraints: 19351
511.96/513.22 c #Conflicts: 388000 | #Constraints: 20351
511.96/513.22 c #Conflicts: 389000 | #Constraints: 21351
511.96/513.22 c #Conflicts: 390000 | #Constraints: 22351
511.96/513.22 c #Conflicts: 391000 | #Constraints: 23351
511.96/513.22 c #Conflicts: 392000 | #Constraints: 24351
511.96/513.22 c #Conflicts: 393000 | #Constraints: 25351
511.96/513.22 c #Conflicts: 394000 | #Constraints: 26351
511.96/513.22 c INPROCESSING
511.96/513.22 c GARBAGE COLLECT
511.96/513.22 c #Conflicts: 395000 | #Constraints: 14947
511.96/513.22 c #Conflicts: 396000 | #Constraints: 15947
511.96/513.22 c #Conflicts: 397000 | #Constraints: 16947
511.96/513.22 c #Conflicts: 398000 | #Constraints: 17947
511.96/513.22 c #Conflicts: 399000 | #Constraints: 18947
511.96/513.22 c #Conflicts: 400000 | #Constraints: 19947
511.96/513.22 c #Conflicts: 401000 | #Constraints: 20947
511.96/513.22 c #Conflicts: 402000 | #Constraints: 21947
511.96/513.22 c #Conflicts: 403000 | #Constraints: 22947
511.96/513.22 c #Conflicts: 404000 | #Constraints: 23947
511.96/513.22 c #Conflicts: 405000 | #Constraints: 24947
511.96/513.22 c #Conflicts: 406000 | #Constraints: 25947
511.96/513.22 c #Conflicts: 407000 | #Constraints: 26947
511.96/513.22 c INPROCESSING
511.96/513.22 c GARBAGE COLLECT
511.96/513.22 c #Conflicts: 408000 | #Constraints: 15346
511.96/513.22 c #Conflicts: 409000 | #Constraints: 16346
511.96/513.22 c #Conflicts: 410000 | #Constraints: 17346
511.96/513.22 c #Conflicts: 411000 | #Constraints: 18346
511.96/513.22 c #Conflicts: 412000 | #Constraints: 19346
511.96/513.22 c #Conflicts: 413000 | #Constraints: 20346
511.96/513.22 c #Conflicts: 414000 | #Constraints: 21346
511.96/513.22 c #Conflicts: 415000 | #Constraints: 22346
511.96/513.22 c #Conflicts: 416000 | #Constraints: 23346
511.96/513.22 c #Conflicts: 417000 | #Constraints: 24346
511.96/513.22 c #Conflicts: 418000 | #Constraints: 25346
511.96/513.22 c #Conflicts: 419000 | #Constraints: 26346
511.96/513.22 c #Conflicts: 420000 | #Constraints: 27346
511.96/513.22 c INPROCESSING
511.96/513.22 c GARBAGE COLLECT
511.96/513.22 c #Conflicts: 421000 | #Constraints: 15557
511.96/513.22 c #Conflicts: 422000 | #Constraints: 16557
511.96/513.22 c #Conflicts: 423000 | #Constraints: 17557
511.96/513.22 c #Conflicts: 424000 | #Constraints: 18557
511.96/513.22 c GLOBAL bounds - >= 1666264427175 @ 500.192
511.96/513.23 c GLOBAL bounds - >= 1666264427175 @ 500.206
511.96/513.26 c GLOBAL bounds - >= 1666264427175 @ 500.217
511.96/513.26 c GLOBAL bounds - >= 1666264427175 @ 500.219
511.96/513.29 c GLOBAL bounds - >= 1666264427175 @ 500.23
511.96/513.29 c GLOBAL bounds - >= 1666264427175 @ 500.233
512.06/513.31 c GLOBAL bounds - >= 1666264427175 @ 500.248
512.06/513.32 c GLOBAL bounds - >= 1666264427175 @ 500.25
512.06/513.34 c GLOBAL bounds - >= 1666264427175 @ 500.261
512.06/513.34 c GLOBAL bounds - >= 1666264427175 @ 500.261
512.06/513.37 c GLOBAL bounds - >= 1666264427175 @ 500.272
512.06/513.37 c GLOBAL bounds - >= 1666264427175 @ 500.274
512.06/513.39 c GLOBAL bounds - >= 1666264427175 @ 500.286
512.15/513.40 c GLOBAL bounds - >= 1666264427175 @ 500.289
512.15/513.42 c GLOBAL bounds - >= 1666264427175 @ 500.301
512.15/513.42 c GLOBAL bounds - >= 1666264427175 @ 500.302
512.15/513.45 c GLOBAL bounds - >= 1666264427175 @ 500.313
512.15/513.45 c GLOBAL bounds - >= 1666264427175 @ 500.315
512.15/513.47 c GLOBAL bounds - >= 1666264427175 @ 500.329
512.15/513.48 c GLOBAL bounds - >= 1666264427175 @ 500.331
512.26/513.50 c GLOBAL bounds - >= 1666264427175 @ 500.338
558.35/559.70 c #Conflicts: 425000 | #Constraints: 19596
558.35/559.70 c #Conflicts: 426000 | #Constraints: 20596
558.35/559.70 c #Conflicts: 427000 | #Constraints: 21596
558.35/559.70 c #Conflicts: 428000 | #Constraints: 22596
558.35/559.70 c #Conflicts: 429000 | #Constraints: 23596
558.35/559.70 c #Conflicts: 430000 | #Constraints: 24596
558.35/559.70 c #Conflicts: 431000 | #Constraints: 25596
558.35/559.70 c #Conflicts: 432000 | #Constraints: 26596
558.35/559.70 c #Conflicts: 433000 | #Constraints: 27596
558.35/559.70 c INPROCESSING
558.35/559.70 c GARBAGE COLLECT
558.35/559.70 c #Conflicts: 434000 | #Constraints: 15588
558.35/559.70 c #Conflicts: 435000 | #Constraints: 16588
558.35/559.70 c #Conflicts: 436000 | #Constraints: 17588
558.35/559.70 c #Conflicts: 437000 | #Constraints: 18588
558.35/559.70 c #Conflicts: 438000 | #Constraints: 19588
558.35/559.70 c #Conflicts: 439000 | #Constraints: 20588
558.35/559.70 c #Conflicts: 440000 | #Constraints: 21588
558.35/559.70 c #Conflicts: 441000 | #Constraints: 22588
558.35/559.70 c #Conflicts: 442000 | #Constraints: 23588
558.35/559.70 c #Conflicts: 443000 | #Constraints: 24588
558.35/559.70 c #Conflicts: 444000 | #Constraints: 25588
558.35/559.70 c #Conflicts: 445000 | #Constraints: 26588
558.35/559.70 c #Conflicts: 446000 | #Constraints: 27588
558.35/559.70 c INPROCESSING
558.35/559.70 c GARBAGE COLLECT
558.35/559.70 c #Conflicts: 447000 | #Constraints: 15377
558.35/559.70 c #Conflicts: 448000 | #Constraints: 16377
558.35/559.70 c #Conflicts: 449000 | #Constraints: 17377
558.35/559.70 c #Conflicts: 450000 | #Constraints: 18377
558.35/559.70 c #Conflicts: 451000 | #Constraints: 19377
558.35/559.70 c #Conflicts: 452000 | #Constraints: 20377
558.35/559.70 c #Conflicts: 453000 | #Constraints: 21377
558.35/559.70 c #Conflicts: 454000 | #Constraints: 22377
558.35/559.70 c #Conflicts: 455000 | #Constraints: 23377
558.35/559.70 c GLOBAL bounds - >= 1666448897425 @ 545.859
558.35/559.72 c GLOBAL bounds - >= 1666448897425 @ 545.873
558.35/559.74 c GLOBAL bounds - >= 1666448897425 @ 545.883
558.35/559.75 c GLOBAL bounds - >= 1666448897425 @ 545.886
558.35/559.77 c GLOBAL bounds - >= 1666448897425 @ 545.898
558.35/559.77 c GLOBAL bounds - >= 1666448897425 @ 545.901
558.45/559.80 c GLOBAL bounds - >= 1666448897425 @ 545.916
558.45/559.80 c GLOBAL bounds - >= 1666448897425 @ 545.919
558.45/559.83 c GLOBAL bounds - >= 1666448897425 @ 545.932
558.45/559.83 c GLOBAL bounds - >= 1666448897425 @ 545.935
558.45/559.85 c GLOBAL bounds - >= 1666448897425 @ 545.948
558.45/559.86 c GLOBAL bounds - >= 1666448897425 @ 545.951
558.45/559.88 c GLOBAL bounds - >= 1666448897425 @ 545.96
558.45/559.88 c GLOBAL bounds - >= 1666448897425 @ 545.962
558.55/559.91 c GLOBAL bounds - >= 1666448897425 @ 545.976
558.55/559.91 c GLOBAL bounds - >= 1666448897425 @ 545.979
558.55/559.94 c GLOBAL bounds - >= 1666448897425 @ 545.991
558.55/559.94 c GLOBAL bounds - >= 1666448897425 @ 545.993
558.55/559.96 c GLOBAL bounds - >= 1666448897425 @ 546.004
558.55/559.97 c GLOBAL bounds - >= 1666448897425 @ 546.005
558.55/559.99 c GLOBAL bounds - >= 1666448897425 @ 546.018
634.57/636.15 c #Conflicts: 456000 | #Constraints: 24416
634.57/636.15 c #Conflicts: 457000 | #Constraints: 25416
634.57/636.15 c #Conflicts: 458000 | #Constraints: 26416
634.57/636.15 c #Conflicts: 459000 | #Constraints: 27416
634.57/636.15 c #Conflicts: 460000 | #Constraints: 28416
634.57/636.15 c INPROCESSING
634.57/636.15 c GARBAGE COLLECT
634.57/636.15 c #Conflicts: 461000 | #Constraints: 16015
634.57/636.15 c #Conflicts: 462000 | #Constraints: 17015
634.57/636.15 c #Conflicts: 463000 | #Constraints: 18015
634.57/636.15 c #Conflicts: 464000 | #Constraints: 19015
634.57/636.15 c #Conflicts: 465000 | #Constraints: 20015
634.57/636.15 c #Conflicts: 466000 | #Constraints: 21015
634.57/636.15 c #Conflicts: 467000 | #Constraints: 22015
634.57/636.15 c #Conflicts: 468000 | #Constraints: 23015
634.57/636.15 c #Conflicts: 469000 | #Constraints: 24015
634.57/636.15 c #Conflicts: 470000 | #Constraints: 25015
634.57/636.15 c #Conflicts: 471000 | #Constraints: 26015
634.57/636.15 c #Conflicts: 472000 | #Constraints: 27015
634.57/636.15 c #Conflicts: 473000 | #Constraints: 28015
634.57/636.15 c #Conflicts: 474000 | #Constraints: 29015
634.57/636.15 c INPROCESSING
634.57/636.15 c GARBAGE COLLECT
634.57/636.15 c #Conflicts: 475000 | #Constraints: 16423
634.57/636.15 c #Conflicts: 476000 | #Constraints: 17423
634.57/636.15 c #Conflicts: 477000 | #Constraints: 18423
634.57/636.15 c #Conflicts: 478000 | #Constraints: 19423
634.57/636.15 c #Conflicts: 479000 | #Constraints: 20423
634.57/636.15 c #Conflicts: 480000 | #Constraints: 21423
634.57/636.15 c #Conflicts: 481000 | #Constraints: 22423
634.57/636.15 c #Conflicts: 482000 | #Constraints: 23423
634.57/636.15 c #Conflicts: 483000 | #Constraints: 24423
634.57/636.15 c #Conflicts: 484000 | #Constraints: 25423
634.57/636.15 c #Conflicts: 485000 | #Constraints: 26423
634.57/636.15 c #Conflicts: 486000 | #Constraints: 27423
634.57/636.15 c #Conflicts: 487000 | #Constraints: 28423
634.57/636.15 c #Conflicts: 488000 | #Constraints: 29423
634.57/636.15 c INPROCESSING
634.57/636.15 c GARBAGE COLLECT
634.57/636.15 c #Conflicts: 489000 | #Constraints: 16615
634.57/636.15 c #Conflicts: 490000 | #Constraints: 17615
634.57/636.15 c #Conflicts: 491000 | #Constraints: 18615
634.57/636.15 c #Conflicts: 492000 | #Constraints: 19615
634.57/636.15 c #Conflicts: 493000 | #Constraints: 20615
634.57/636.15 c #Conflicts: 494000 | #Constraints: 21615
634.57/636.15 c #Conflicts: 495000 | #Constraints: 22615
634.57/636.15 c #Conflicts: 496000 | #Constraints: 23615
634.57/636.15 c #Conflicts: 497000 | #Constraints: 24615
634.57/636.15 c #Conflicts: 498000 | #Constraints: 25615
634.57/636.15 c #Conflicts: 499000 | #Constraints: 26615
634.57/636.15 c GLOBAL bounds - >= 1666633367675 @ 620.872
634.57/636.17 c GLOBAL bounds - >= 1666633367675 @ 620.887
634.57/636.19 c GLOBAL bounds - >= 1666633367675 @ 620.901
634.57/636.20 c GLOBAL bounds - >= 1666633367675 @ 620.902
634.66/636.22 c GLOBAL bounds - >= 1666633367675 @ 620.915
634.66/636.23 c GLOBAL bounds - >= 1666633367675 @ 620.919
634.66/636.25 c GLOBAL bounds - >= 1666633367675 @ 620.933
634.66/636.26 c GLOBAL bounds - >= 1666633367675 @ 620.936
634.66/636.28 c GLOBAL bounds - >= 1666633367675 @ 620.952
634.66/636.29 c GLOBAL bounds - >= 1666633367675 @ 620.954
634.77/636.31 c GLOBAL bounds - >= 1666633367675 @ 620.97
634.77/636.32 c GLOBAL bounds - >= 1666633367675 @ 620.971
634.77/636.35 c GLOBAL bounds - >= 1666633367675 @ 620.986
634.77/636.35 c GLOBAL bounds - >= 1666633367675 @ 620.987
634.77/636.38 c GLOBAL bounds - >= 1666633367675 @ 620.996
634.77/636.38 c GLOBAL bounds - >= 1666633367675 @ 620.999
634.86/636.41 c GLOBAL bounds - >= 1666633367675 @ 621.016
634.86/636.41 c GLOBAL bounds - >= 1666633367675 @ 621.019
634.86/636.44 c GLOBAL bounds - >= 1666633367675 @ 621.035
634.86/636.44 c GLOBAL bounds - >= 1666633367675 @ 621.038
634.86/636.47 c GLOBAL bounds - >= 1666633367675 @ 621.053
643.64/645.27 c #Conflicts: 500000 | #Constraints: 27645
643.64/645.27 c #Conflicts: 501000 | #Constraints: 28645
643.64/645.27 c #Conflicts: 502000 | #Constraints: 29645
643.64/645.27 c INPROCESSING
643.64/645.27 c GARBAGE COLLECT
643.64/645.27 c #Conflicts: 503000 | #Constraints: 16648
643.64/645.27 c #Conflicts: 504000 | #Constraints: 17648
643.64/645.27 c #Conflicts: 505000 | #Constraints: 18648
643.64/645.27 c #Conflicts: 506000 | #Constraints: 19648
643.64/645.27 c #Conflicts: 507000 | #Constraints: 20648
643.64/645.27 c #Conflicts: 508000 | #Constraints: 21648
643.64/645.27 c GLOBAL bounds - >= 1666633367675 @ 629.764
646.34/647.91 c #Conflicts: 509000 | #Constraints: 22648
646.34/647.91 c #Conflicts: 510000 | #Constraints: 23648
646.34/647.91 c #Conflicts: 511000 | #Constraints: 24648
646.34/647.91 c GLOBAL bounds - >= 1666633367675 @ 632.35
646.93/648.51 c #Conflicts: 512000 | #Constraints: 25651
646.93/648.51 c GLOBAL bounds - >= 1666633367675 @ 632.944
646.93/648.59 c GLOBAL bounds - >= 1666633367675 @ 633.005
647.23/648.83 c GLOBAL bounds - >= 1666633367675 @ 633.219
733.62/735.48 c #Conflicts: 513000 | #Constraints: 26657
733.62/735.48 c #Conflicts: 514000 | #Constraints: 27657
733.62/735.48 c #Conflicts: 515000 | #Constraints: 28657
733.62/735.48 c #Conflicts: 516000 | #Constraints: 29657
733.62/735.48 c INPROCESSING
733.62/735.48 c GARBAGE COLLECT
733.62/735.48 c #Conflicts: 517000 | #Constraints: 16450
733.62/735.48 c #Conflicts: 518000 | #Constraints: 17450
733.62/735.48 c #Conflicts: 519000 | #Constraints: 18450
733.62/735.48 c #Conflicts: 520000 | #Constraints: 19450
733.62/735.48 c #Conflicts: 521000 | #Constraints: 20450
733.62/735.48 c #Conflicts: 522000 | #Constraints: 21450
733.62/735.48 c #Conflicts: 523000 | #Constraints: 22450
733.62/735.48 c #Conflicts: 524000 | #Constraints: 23450
733.62/735.48 c #Conflicts: 525000 | #Constraints: 24450
733.62/735.48 c #Conflicts: 526000 | #Constraints: 25450
733.62/735.48 c #Conflicts: 527000 | #Constraints: 26450
733.62/735.48 c #Conflicts: 528000 | #Constraints: 27450
733.62/735.48 c #Conflicts: 529000 | #Constraints: 28450
733.62/735.48 c #Conflicts: 530000 | #Constraints: 29450
733.62/735.48 c #Conflicts: 531000 | #Constraints: 30450
733.62/735.48 c INPROCESSING
733.62/735.48 c GARBAGE COLLECT
733.62/735.48 c #Conflicts: 532000 | #Constraints: 17051
733.62/735.48 c #Conflicts: 533000 | #Constraints: 18051
733.62/735.48 c #Conflicts: 534000 | #Constraints: 19051
733.62/735.48 c #Conflicts: 535000 | #Constraints: 20051
733.62/735.48 c #Conflicts: 536000 | #Constraints: 21051
733.62/735.48 c #Conflicts: 537000 | #Constraints: 22051
733.62/735.48 c #Conflicts: 538000 | #Constraints: 23051
733.62/735.48 c #Conflicts: 539000 | #Constraints: 24051
733.62/735.48 c #Conflicts: 540000 | #Constraints: 25051
733.62/735.48 c #Conflicts: 541000 | #Constraints: 26051
733.62/735.48 c #Conflicts: 542000 | #Constraints: 27051
733.62/735.48 c #Conflicts: 543000 | #Constraints: 28051
733.62/735.48 c #Conflicts: 544000 | #Constraints: 29051
733.62/735.48 c #Conflicts: 545000 | #Constraints: 30051
733.62/735.48 c #Conflicts: 546000 | #Constraints: 31051
733.62/735.48 c INPROCESSING
733.62/735.48 c GARBAGE COLLECT
733.62/735.48 c #Conflicts: 547000 | #Constraints: 17451
733.62/735.48 c #Conflicts: 548000 | #Constraints: 18451
733.62/735.48 c #Conflicts: 549000 | #Constraints: 19451
733.62/735.48 c #Conflicts: 550000 | #Constraints: 20451
733.62/735.48 c #Conflicts: 551000 | #Constraints: 21451
733.62/735.48 c #Conflicts: 552000 | #Constraints: 22451
733.62/735.48 c #Conflicts: 553000 | #Constraints: 23451
733.62/735.48 c #Conflicts: 554000 | #Constraints: 24451
733.62/735.48 c #Conflicts: 555000 | #Constraints: 25451
733.62/735.48 c #Conflicts: 556000 | #Constraints: 26451
733.62/735.48 c #Conflicts: 557000 | #Constraints: 27451
733.62/735.48 c #Conflicts: 558000 | #Constraints: 28451
733.62/735.48 c #Conflicts: 559000 | #Constraints: 29451
733.62/735.48 c #Conflicts: 560000 | #Constraints: 30451
733.62/735.48 c #Conflicts: 561000 | #Constraints: 31451
733.62/735.48 c INPROCESSING
733.62/735.48 c GARBAGE COLLECT
733.62/735.48 c #Conflicts: 562000 | #Constraints: 17650
733.62/735.48 c #Conflicts: 563000 | #Constraints: 18650
733.62/735.48 c #Conflicts: 564000 | #Constraints: 19650
733.62/735.48 c #Conflicts: 565000 | #Constraints: 20650
733.62/735.48 c #Conflicts: 566000 | #Constraints: 21650
733.62/735.48 c #Conflicts: 567000 | #Constraints: 22650
733.62/735.48 c #Conflicts: 568000 | #Constraints: 23650
733.62/735.48 c #Conflicts: 569000 | #Constraints: 24650
733.62/735.48 c #Conflicts: 570000 | #Constraints: 25650
733.62/735.48 c #Conflicts: 571000 | #Constraints: 26650
733.62/735.48 c #Conflicts: 572000 | #Constraints: 27650
733.62/735.48 c #Conflicts: 573000 | #Constraints: 28650
733.62/735.48 c #Conflicts: 574000 | #Constraints: 29650
733.62/735.48 c #Conflicts: 575000 | #Constraints: 30650
733.62/735.48 c #Conflicts: 576000 | #Constraints: 31650
733.62/735.48 c INPROCESSING
733.62/735.48 c GARBAGE COLLECT
733.62/735.48 c #Conflicts: 577000 | #Constraints: 17646
733.62/735.48 c #Conflicts: 578000 | #Constraints: 18646
733.62/735.48 c #Conflicts: 579000 | #Constraints: 19646
733.62/735.48 c #Conflicts: 580000 | #Constraints: 20646
733.62/735.48 c #Conflicts: 581000 | #Constraints: 21646
733.62/735.48 c #Conflicts: 582000 | #Constraints: 22646
733.62/735.48 c #Conflicts: 583000 | #Constraints: 23646
733.62/735.48 c #Conflicts: 584000 | #Constraints: 24646
733.62/735.48 c #Conflicts: 585000 | #Constraints: 25646
733.62/735.48 c #Conflicts: 586000 | #Constraints: 26646
733.62/735.48 c #Conflicts: 587000 | #Constraints: 27646
733.62/735.48 c #Conflicts: 588000 | #Constraints: 28646
819.21/821.24 c #Conflicts: 589000 | #Constraints: 29646
819.21/821.24 c #Conflicts: 590000 | #Constraints: 30646
819.21/821.24 c #Conflicts: 591000 | #Constraints: 31646
819.21/821.24 c INPROCESSING
819.21/821.24 c GARBAGE COLLECT
819.21/821.24 c #Conflicts: 592000 | #Constraints: 17457
819.21/821.24 c #Conflicts: 593000 | #Constraints: 18457
819.21/821.24 c #Conflicts: 594000 | #Constraints: 19457
819.21/821.24 c #Conflicts: 595000 | #Constraints: 20457
819.21/821.24 c #Conflicts: 596000 | #Constraints: 21457
819.21/821.24 c #Conflicts: 597000 | #Constraints: 22457
819.21/821.24 c #Conflicts: 598000 | #Constraints: 23457
819.21/821.24 c #Conflicts: 599000 | #Constraints: 24457
819.21/821.24 c #Conflicts: 600000 | #Constraints: 25457
819.21/821.24 c #Conflicts: 601000 | #Constraints: 26457
819.21/821.24 c #Conflicts: 602000 | #Constraints: 27457
819.21/821.24 c #Conflicts: 603000 | #Constraints: 28457
819.21/821.24 c #Conflicts: 604000 | #Constraints: 29457
819.21/821.24 c #Conflicts: 605000 | #Constraints: 30457
819.21/821.24 c #Conflicts: 606000 | #Constraints: 31457
819.21/821.24 c #Conflicts: 607000 | #Constraints: 32457
819.21/821.24 c INPROCESSING
819.21/821.24 c GARBAGE COLLECT
819.21/821.24 c #Conflicts: 608000 | #Constraints: 18065
819.21/821.24 c #Conflicts: 609000 | #Constraints: 19065
819.21/821.24 c #Conflicts: 610000 | #Constraints: 20065
819.21/821.24 c #Conflicts: 611000 | #Constraints: 21065
819.21/821.24 c #Conflicts: 612000 | #Constraints: 22065
819.21/821.24 c #Conflicts: 613000 | #Constraints: 23065
819.21/821.24 c #Conflicts: 614000 | #Constraints: 24065
819.21/821.24 c #Conflicts: 615000 | #Constraints: 25065
819.21/821.24 c #Conflicts: 616000 | #Constraints: 26065
819.21/821.24 c #Conflicts: 617000 | #Constraints: 27065
819.21/821.24 c #Conflicts: 618000 | #Constraints: 28065
819.21/821.24 c #Conflicts: 619000 | #Constraints: 29065
819.21/821.24 c #Conflicts: 620000 | #Constraints: 30065
819.21/821.24 c #Conflicts: 621000 | #Constraints: 31065
819.21/821.24 c #Conflicts: 622000 | #Constraints: 32065
819.21/821.24 c #Conflicts: 623000 | #Constraints: 33065
819.21/821.24 c INPROCESSING
819.21/821.24 c GARBAGE COLLECT
819.21/821.24 c #Conflicts: 624000 | #Constraints: 18450
819.21/821.24 c #Conflicts: 625000 | #Constraints: 19450
819.21/821.24 c #Conflicts: 626000 | #Constraints: 20450
819.21/821.24 c #Conflicts: 627000 | #Constraints: 21450
819.21/821.24 c #Conflicts: 628000 | #Constraints: 22450
819.21/821.24 c #Conflicts: 629000 | #Constraints: 23450
819.21/821.24 c #Conflicts: 630000 | #Constraints: 24450
819.21/821.24 c #Conflicts: 631000 | #Constraints: 25450
819.21/821.24 c #Conflicts: 632000 | #Constraints: 26450
819.21/821.24 c #Conflicts: 633000 | #Constraints: 27450
819.21/821.24 c #Conflicts: 634000 | #Constraints: 28450
819.21/821.24 c #Conflicts: 635000 | #Constraints: 29450
819.21/821.24 c #Conflicts: 636000 | #Constraints: 30450
819.21/821.24 c #Conflicts: 637000 | #Constraints: 31450
819.21/821.24 c #Conflicts: 638000 | #Constraints: 32450
819.21/821.24 c #Conflicts: 639000 | #Constraints: 33450
819.21/821.24 c INPROCESSING
819.21/821.24 c GARBAGE COLLECT
819.21/821.24 c #Conflicts: 640000 | #Constraints: 18652
819.21/821.24 c #Conflicts: 641000 | #Constraints: 19652
819.21/821.24 c #Conflicts: 642000 | #Constraints: 20652
819.21/821.24 c #Conflicts: 643000 | #Constraints: 21652
819.21/821.24 c #Conflicts: 644000 | #Constraints: 22652
819.21/821.24 c #Conflicts: 645000 | #Constraints: 23652
819.21/821.24 c #Conflicts: 646000 | #Constraints: 24652
819.21/821.24 c #Conflicts: 647000 | #Constraints: 25652
819.21/821.24 c #Conflicts: 648000 | #Constraints: 26652
819.21/821.24 c #Conflicts: 649000 | #Constraints: 27652
819.21/821.24 c #Conflicts: 650000 | #Constraints: 28652
819.21/821.24 c #Conflicts: 651000 | #Constraints: 29652
819.21/821.24 c #Conflicts: 652000 | #Constraints: 30652
819.21/821.24 c #Conflicts: 653000 | #Constraints: 31652
819.21/821.24 c #Conflicts: 654000 | #Constraints: 32652
819.21/821.24 c #Conflicts: 655000 | #Constraints: 33652
819.21/821.24 c INPROCESSING
819.21/821.24 c GARBAGE COLLECT
819.21/821.24 c #Conflicts: 656000 | #Constraints: 18647
819.21/821.24 c #Conflicts: 657000 | #Constraints: 19647
819.21/821.24 c #Conflicts: 658000 | #Constraints: 20647
819.21/821.24 c #Conflicts: 659000 | #Constraints: 21647
819.21/821.24 c #Conflicts: 660000 | #Constraints: 22647
819.21/821.24 c #Conflicts: 661000 | #Constraints: 23647
819.21/821.24 c #Conflicts: 662000 | #Constraints: 24647
819.21/821.24 c #Conflicts: 663000 | #Constraints: 25647
819.21/821.24 c #Conflicts: 664000 | #Constraints: 26647
916.17/918.40 c #Conflicts: 665000 | #Constraints: 27647
916.17/918.40 c #Conflicts: 666000 | #Constraints: 28647
916.17/918.40 c #Conflicts: 667000 | #Constraints: 29647
916.17/918.40 c #Conflicts: 668000 | #Constraints: 30647
916.17/918.40 c #Conflicts: 669000 | #Constraints: 31647
916.17/918.40 c #Conflicts: 670000 | #Constraints: 32647
916.17/918.40 c #Conflicts: 671000 | #Constraints: 33647
916.17/918.40 c INPROCESSING
916.17/918.40 c GARBAGE COLLECT
916.17/918.40 c #Conflicts: 672000 | #Constraints: 18456
916.17/918.40 c #Conflicts: 673000 | #Constraints: 19456
916.17/918.40 c #Conflicts: 674000 | #Constraints: 20456
916.17/918.40 c #Conflicts: 675000 | #Constraints: 21456
916.17/918.40 c #Conflicts: 676000 | #Constraints: 22456
916.17/918.40 c #Conflicts: 677000 | #Constraints: 23456
916.17/918.40 c #Conflicts: 678000 | #Constraints: 24456
916.17/918.40 c #Conflicts: 679000 | #Constraints: 25456
916.17/918.40 c #Conflicts: 680000 | #Constraints: 26456
916.17/918.40 c #Conflicts: 681000 | #Constraints: 27456
916.17/918.40 c #Conflicts: 682000 | #Constraints: 28456
916.17/918.40 c #Conflicts: 683000 | #Constraints: 29456
916.17/918.40 c #Conflicts: 684000 | #Constraints: 30456
916.17/918.40 c #Conflicts: 685000 | #Constraints: 31456
916.17/918.40 c #Conflicts: 686000 | #Constraints: 32456
916.17/918.40 c #Conflicts: 687000 | #Constraints: 33456
916.17/918.40 c #Conflicts: 688000 | #Constraints: 34456
916.17/918.40 c INPROCESSING
916.17/918.40 c GARBAGE COLLECT
916.17/918.40 c #Conflicts: 689000 | #Constraints: 19059
916.17/918.40 c #Conflicts: 690000 | #Constraints: 20059
916.17/918.40 c #Conflicts: 691000 | #Constraints: 21059
916.17/918.40 c #Conflicts: 692000 | #Constraints: 22059
916.17/918.40 c #Conflicts: 693000 | #Constraints: 23059
916.17/918.40 c #Conflicts: 694000 | #Constraints: 24059
916.17/918.40 c #Conflicts: 695000 | #Constraints: 25059
916.17/918.40 c #Conflicts: 696000 | #Constraints: 26059
916.17/918.40 c #Conflicts: 697000 | #Constraints: 27059
916.17/918.40 c #Conflicts: 698000 | #Constraints: 28059
916.17/918.40 c #Conflicts: 699000 | #Constraints: 29059
916.17/918.40 c #Conflicts: 700000 | #Constraints: 30059
916.17/918.40 c #Conflicts: 701000 | #Constraints: 31059
916.17/918.40 c #Conflicts: 702000 | #Constraints: 32059
916.17/918.40 c #Conflicts: 703000 | #Constraints: 33059
916.17/918.40 c #Conflicts: 704000 | #Constraints: 34059
916.17/918.40 c #Conflicts: 705000 | #Constraints: 35059
916.17/918.40 c INPROCESSING
916.17/918.40 c GARBAGE COLLECT
916.17/918.40 c #Conflicts: 706000 | #Constraints: 19457
916.17/918.40 c #Conflicts: 707000 | #Constraints: 20457
916.17/918.40 c #Conflicts: 708000 | #Constraints: 21457
916.17/918.40 c #Conflicts: 709000 | #Constraints: 22457
916.17/918.40 c #Conflicts: 710000 | #Constraints: 23457
916.17/918.40 c #Conflicts: 711000 | #Constraints: 24457
916.17/918.40 c #Conflicts: 712000 | #Constraints: 25457
916.17/918.40 c #Conflicts: 713000 | #Constraints: 26457
916.17/918.40 c #Conflicts: 714000 | #Constraints: 27457
916.17/918.40 c #Conflicts: 715000 | #Constraints: 28457
916.17/918.40 c #Conflicts: 716000 | #Constraints: 29457
916.17/918.40 c #Conflicts: 717000 | #Constraints: 30457
916.17/918.40 c #Conflicts: 718000 | #Constraints: 31457
916.17/918.40 c #Conflicts: 719000 | #Constraints: 32457
916.17/918.40 c #Conflicts: 720000 | #Constraints: 33457
916.17/918.40 c #Conflicts: 721000 | #Constraints: 34457
916.17/918.40 c #Conflicts: 722000 | #Constraints: 35457
916.17/918.40 c INPROCESSING
916.17/918.40 c GARBAGE COLLECT
916.17/918.40 c #Conflicts: 723000 | #Constraints: 19659
916.17/918.40 c #Conflicts: 724000 | #Constraints: 20659
916.17/918.40 c #Conflicts: 725000 | #Constraints: 21659
916.17/918.40 c #Conflicts: 726000 | #Constraints: 22659
916.17/918.40 c #Conflicts: 727000 | #Constraints: 23659
916.17/918.40 c #Conflicts: 728000 | #Constraints: 24659
916.17/918.40 c #Conflicts: 729000 | #Constraints: 25659
916.17/918.40 c #Conflicts: 730000 | #Constraints: 26659
916.17/918.40 c #Conflicts: 731000 | #Constraints: 27659
916.17/918.40 c #Conflicts: 732000 | #Constraints: 28659
916.17/918.40 c #Conflicts: 733000 | #Constraints: 29659
916.17/918.40 c #Conflicts: 734000 | #Constraints: 30659
916.17/918.40 c #Conflicts: 735000 | #Constraints: 31659
916.17/918.40 c #Conflicts: 736000 | #Constraints: 32659
916.17/918.40 c #Conflicts: 737000 | #Constraints: 33659
916.17/918.40 c #Conflicts: 738000 | #Constraints: 34659
916.17/918.40 c #Conflicts: 739000 | #Constraints: 35659
916.17/918.40 c INPROCESSING
916.17/918.40 c GARBAGE COLLECT
1023.51/1026.02 c #Conflicts: 740000 | #Constraints: 19662
1023.51/1026.02 c #Conflicts: 741000 | #Constraints: 20662
1023.51/1026.02 c #Conflicts: 742000 | #Constraints: 21662
1023.51/1026.02 c #Conflicts: 743000 | #Constraints: 22662
1023.51/1026.02 c #Conflicts: 744000 | #Constraints: 23662
1023.51/1026.02 c #Conflicts: 745000 | #Constraints: 24662
1023.51/1026.02 c #Conflicts: 746000 | #Constraints: 25662
1023.51/1026.02 c #Conflicts: 747000 | #Constraints: 26662
1023.51/1026.02 c #Conflicts: 748000 | #Constraints: 27662
1023.51/1026.02 c #Conflicts: 749000 | #Constraints: 28662
1023.51/1026.02 c #Conflicts: 750000 | #Constraints: 29662
1023.51/1026.02 c #Conflicts: 751000 | #Constraints: 30662
1023.51/1026.02 c #Conflicts: 752000 | #Constraints: 31662
1023.51/1026.02 c #Conflicts: 753000 | #Constraints: 32662
1023.51/1026.02 c #Conflicts: 754000 | #Constraints: 33662
1023.51/1026.02 c #Conflicts: 755000 | #Constraints: 34662
1023.51/1026.02 c #Conflicts: 756000 | #Constraints: 35662
1023.51/1026.02 c INPROCESSING
1023.51/1026.02 c GARBAGE COLLECT
1023.51/1026.02 c #Conflicts: 757000 | #Constraints: 19450
1023.51/1026.02 c #Conflicts: 758000 | #Constraints: 20450
1023.51/1026.02 c #Conflicts: 759000 | #Constraints: 21450
1023.51/1026.02 c #Conflicts: 760000 | #Constraints: 22450
1023.51/1026.02 c #Conflicts: 761000 | #Constraints: 23450
1023.51/1026.02 c #Conflicts: 762000 | #Constraints: 24450
1023.51/1026.02 c #Conflicts: 763000 | #Constraints: 25450
1023.51/1026.02 c #Conflicts: 764000 | #Constraints: 26450
1023.51/1026.02 c #Conflicts: 765000 | #Constraints: 27450
1023.51/1026.02 c #Conflicts: 766000 | #Constraints: 28450
1023.51/1026.02 c #Conflicts: 767000 | #Constraints: 29450
1023.51/1026.02 c #Conflicts: 768000 | #Constraints: 30450
1023.51/1026.02 c #Conflicts: 769000 | #Constraints: 31450
1023.51/1026.02 c #Conflicts: 770000 | #Constraints: 32450
1023.51/1026.02 c #Conflicts: 771000 | #Constraints: 33450
1023.51/1026.02 c #Conflicts: 772000 | #Constraints: 34450
1023.51/1026.02 c #Conflicts: 773000 | #Constraints: 35450
1023.51/1026.02 c #Conflicts: 774000 | #Constraints: 36450
1023.51/1026.02 c INPROCESSING
1023.51/1026.02 c GARBAGE COLLECT
1023.51/1026.02 c #Conflicts: 775000 | #Constraints: 20062
1023.51/1026.02 c #Conflicts: 776000 | #Constraints: 21062
1023.51/1026.02 c #Conflicts: 777000 | #Constraints: 22062
1023.51/1026.02 c #Conflicts: 778000 | #Constraints: 23062
1023.51/1026.02 c #Conflicts: 779000 | #Constraints: 24062
1023.51/1026.02 c #Conflicts: 780000 | #Constraints: 25062
1023.51/1026.02 c #Conflicts: 781000 | #Constraints: 26062
1023.51/1026.02 c #Conflicts: 782000 | #Constraints: 27062
1023.51/1026.02 c #Conflicts: 783000 | #Constraints: 28062
1023.51/1026.02 c #Conflicts: 784000 | #Constraints: 29062
1023.51/1026.02 c #Conflicts: 785000 | #Constraints: 30062
1023.51/1026.02 c #Conflicts: 786000 | #Constraints: 31062
1023.51/1026.02 c #Conflicts: 787000 | #Constraints: 32062
1023.51/1026.02 c #Conflicts: 788000 | #Constraints: 33062
1023.51/1026.02 c #Conflicts: 789000 | #Constraints: 34062
1023.51/1026.02 c #Conflicts: 790000 | #Constraints: 35062
1023.51/1026.02 c #Conflicts: 791000 | #Constraints: 36062
1023.51/1026.02 c #Conflicts: 792000 | #Constraints: 37062
1023.51/1026.02 c INPROCESSING
1023.51/1026.02 c GARBAGE COLLECT
1023.51/1026.02 c #Conflicts: 793000 | #Constraints: 20464
1023.51/1026.02 c #Conflicts: 794000 | #Constraints: 21464
1023.51/1026.02 c #Conflicts: 795000 | #Constraints: 22464
1023.51/1026.02 c #Conflicts: 796000 | #Constraints: 23464
1023.51/1026.02 c #Conflicts: 797000 | #Constraints: 24464
1023.51/1026.02 c #Conflicts: 798000 | #Constraints: 25464
1023.51/1026.02 c #Conflicts: 799000 | #Constraints: 26464
1023.51/1026.02 c #Conflicts: 800000 | #Constraints: 27464
1023.51/1026.02 c #Conflicts: 801000 | #Constraints: 28464
1023.51/1026.02 c #Conflicts: 802000 | #Constraints: 29464
1023.51/1026.02 c #Conflicts: 803000 | #Constraints: 30464
1023.51/1026.02 c #Conflicts: 804000 | #Constraints: 31464
1023.51/1026.02 c #Conflicts: 805000 | #Constraints: 32464
1023.51/1026.02 c #Conflicts: 806000 | #Constraints: 33464
1023.51/1026.02 c #Conflicts: 807000 | #Constraints: 34464
1023.51/1026.02 c #Conflicts: 808000 | #Constraints: 35464
1023.51/1026.02 c #Conflicts: 809000 | #Constraints: 36464
1023.51/1026.02 c #Conflicts: 810000 | #Constraints: 37464
1023.51/1026.02 c INPROCESSING
1023.51/1026.02 c GARBAGE COLLECT
1023.51/1026.02 c #Conflicts: 811000 | #Constraints: 20646
1023.51/1026.02 c #Conflicts: 812000 | #Constraints: 21646
1023.51/1026.02 c #Conflicts: 813000 | #Constraints: 22646
1023.51/1026.02 c #Conflicts: 814000 | #Constraints: 23646
1023.51/1026.02 c #Conflicts: 815000 | #Constraints: 24646
1023.51/1026.02 c #Conflicts: 816000 | #Constraints: 25646
1156.18/1159.05 c #Conflicts: 817000 | #Constraints: 26646
1156.18/1159.05 c #Conflicts: 818000 | #Constraints: 27646
1156.18/1159.05 c #Conflicts: 819000 | #Constraints: 28646
1156.18/1159.05 c #Conflicts: 820000 | #Constraints: 29646
1156.18/1159.05 c #Conflicts: 821000 | #Constraints: 30646
1156.18/1159.05 c #Conflicts: 822000 | #Constraints: 31646
1156.18/1159.05 c #Conflicts: 823000 | #Constraints: 32646
1156.18/1159.05 c #Conflicts: 824000 | #Constraints: 33646
1156.18/1159.05 c #Conflicts: 825000 | #Constraints: 34646
1156.18/1159.05 c #Conflicts: 826000 | #Constraints: 35646
1156.18/1159.05 c #Conflicts: 827000 | #Constraints: 36646
1156.18/1159.05 c #Conflicts: 828000 | #Constraints: 37646
1156.18/1159.05 c INPROCESSING
1156.18/1159.05 c GARBAGE COLLECT
1156.18/1159.05 c #Conflicts: 829000 | #Constraints: 20640
1156.18/1159.05 c #Conflicts: 830000 | #Constraints: 21640
1156.18/1159.05 c #Conflicts: 831000 | #Constraints: 22640
1156.18/1159.05 c #Conflicts: 832000 | #Constraints: 23640
1156.18/1159.05 c #Conflicts: 833000 | #Constraints: 24640
1156.18/1159.05 c #Conflicts: 834000 | #Constraints: 25640
1156.18/1159.05 c #Conflicts: 835000 | #Constraints: 26640
1156.18/1159.05 c #Conflicts: 836000 | #Constraints: 27640
1156.18/1159.05 c #Conflicts: 837000 | #Constraints: 28640
1156.18/1159.05 c #Conflicts: 838000 | #Constraints: 29640
1156.18/1159.05 c #Conflicts: 839000 | #Constraints: 30640
1156.18/1159.05 c #Conflicts: 840000 | #Constraints: 31640
1156.18/1159.05 c #Conflicts: 841000 | #Constraints: 32640
1156.18/1159.05 c #Conflicts: 842000 | #Constraints: 33640
1156.18/1159.05 c #Conflicts: 843000 | #Constraints: 34640
1156.18/1159.05 c #Conflicts: 844000 | #Constraints: 35640
1156.18/1159.05 c #Conflicts: 845000 | #Constraints: 36640
1156.18/1159.05 c #Conflicts: 846000 | #Constraints: 37640
1156.18/1159.05 c INPROCESSING
1156.18/1159.05 c GARBAGE COLLECT
1156.18/1159.05 c #Conflicts: 847000 | #Constraints: 20446
1156.18/1159.05 c #Conflicts: 848000 | #Constraints: 21446
1156.18/1159.05 c #Conflicts: 849000 | #Constraints: 22446
1156.18/1159.05 c #Conflicts: 850000 | #Constraints: 23446
1156.18/1159.05 c #Conflicts: 851000 | #Constraints: 24446
1156.18/1159.05 c #Conflicts: 852000 | #Constraints: 25446
1156.18/1159.05 c #Conflicts: 853000 | #Constraints: 26446
1156.18/1159.05 c #Conflicts: 854000 | #Constraints: 27446
1156.18/1159.05 c #Conflicts: 855000 | #Constraints: 28446
1156.18/1159.05 c #Conflicts: 856000 | #Constraints: 29446
1156.18/1159.05 c #Conflicts: 857000 | #Constraints: 30446
1156.18/1159.05 c #Conflicts: 858000 | #Constraints: 31446
1156.18/1159.05 c #Conflicts: 859000 | #Constraints: 32446
1156.18/1159.05 c #Conflicts: 860000 | #Constraints: 33446
1156.18/1159.05 c #Conflicts: 861000 | #Constraints: 34446
1156.18/1159.05 c #Conflicts: 862000 | #Constraints: 35446
1156.18/1159.05 c #Conflicts: 863000 | #Constraints: 36446
1156.18/1159.05 c #Conflicts: 864000 | #Constraints: 37446
1156.18/1159.05 c #Conflicts: 865000 | #Constraints: 38446
1156.18/1159.05 c INPROCESSING
1156.18/1159.05 c GARBAGE COLLECT
1156.18/1159.05 c #Conflicts: 866000 | #Constraints: 21044
1156.18/1159.05 c #Conflicts: 867000 | #Constraints: 22044
1156.18/1159.05 c #Conflicts: 868000 | #Constraints: 23044
1156.18/1159.05 c #Conflicts: 869000 | #Constraints: 24044
1156.18/1159.05 c #Conflicts: 870000 | #Constraints: 25044
1156.18/1159.05 c #Conflicts: 871000 | #Constraints: 26044
1156.18/1159.05 c #Conflicts: 872000 | #Constraints: 27044
1156.18/1159.05 c #Conflicts: 873000 | #Constraints: 28044
1156.18/1159.05 c #Conflicts: 874000 | #Constraints: 29044
1156.18/1159.05 c #Conflicts: 875000 | #Constraints: 30044
1156.18/1159.05 c #Conflicts: 876000 | #Constraints: 31044
1156.18/1159.05 c #Conflicts: 877000 | #Constraints: 32044
1156.18/1159.05 c #Conflicts: 878000 | #Constraints: 33044
1156.18/1159.05 c #Conflicts: 879000 | #Constraints: 34044
1156.18/1159.05 c #Conflicts: 880000 | #Constraints: 35044
1156.18/1159.05 c #Conflicts: 881000 | #Constraints: 36044
1156.18/1159.05 c #Conflicts: 882000 | #Constraints: 37044
1156.18/1159.05 c #Conflicts: 883000 | #Constraints: 38044
1156.18/1159.05 c #Conflicts: 884000 | #Constraints: 39044
1156.18/1159.05 c INPROCESSING
1156.18/1159.05 c GARBAGE COLLECT
1156.18/1159.05 c #Conflicts: 885000 | #Constraints: 21449
1156.18/1159.05 c #Conflicts: 886000 | #Constraints: 22449
1156.18/1159.05 c #Conflicts: 887000 | #Constraints: 23449
1156.18/1159.05 c #Conflicts: 888000 | #Constraints: 24449
1156.18/1159.05 c #Conflicts: 889000 | #Constraints: 25449
1156.18/1159.05 c #Conflicts: 890000 | #Constraints: 26449
1156.18/1159.05 c #Conflicts: 891000 | #Constraints: 27449
1156.18/1159.05 c #Conflicts: 892000 | #Constraints: 28449
1285.86/1289.05 c #Conflicts: 893000 | #Constraints: 29449
1285.86/1289.05 c #Conflicts: 894000 | #Constraints: 30449
1285.86/1289.05 c #Conflicts: 895000 | #Constraints: 31449
1285.86/1289.05 c #Conflicts: 896000 | #Constraints: 32449
1285.86/1289.05 c #Conflicts: 897000 | #Constraints: 33449
1285.86/1289.05 c #Conflicts: 898000 | #Constraints: 34449
1285.86/1289.05 c #Conflicts: 899000 | #Constraints: 35449
1285.86/1289.05 c #Conflicts: 900000 | #Constraints: 36449
1285.86/1289.05 c #Conflicts: 901000 | #Constraints: 37449
1285.86/1289.05 c #Conflicts: 902000 | #Constraints: 38449
1285.86/1289.05 c #Conflicts: 903000 | #Constraints: 39449
1285.86/1289.05 c INPROCESSING
1285.86/1289.05 c GARBAGE COLLECT
1285.86/1289.05 c #Conflicts: 904000 | #Constraints: 21645
1285.86/1289.05 c #Conflicts: 905000 | #Constraints: 22645
1285.86/1289.05 c #Conflicts: 906000 | #Constraints: 23645
1285.86/1289.05 c #Conflicts: 907000 | #Constraints: 24645
1285.86/1289.05 c #Conflicts: 908000 | #Constraints: 25645
1285.86/1289.05 c #Conflicts: 909000 | #Constraints: 26645
1285.86/1289.05 c #Conflicts: 910000 | #Constraints: 27645
1285.86/1289.05 c #Conflicts: 911000 | #Constraints: 28645
1285.86/1289.05 c #Conflicts: 912000 | #Constraints: 29645
1285.86/1289.05 c #Conflicts: 913000 | #Constraints: 30645
1285.86/1289.05 c #Conflicts: 914000 | #Constraints: 31645
1285.86/1289.05 c #Conflicts: 915000 | #Constraints: 32645
1285.86/1289.05 c #Conflicts: 916000 | #Constraints: 33645
1285.86/1289.05 c #Conflicts: 917000 | #Constraints: 34645
1285.86/1289.05 c #Conflicts: 918000 | #Constraints: 35645
1285.86/1289.05 c #Conflicts: 919000 | #Constraints: 36645
1285.86/1289.05 c #Conflicts: 920000 | #Constraints: 37645
1285.86/1289.05 c #Conflicts: 921000 | #Constraints: 38645
1285.86/1289.05 c #Conflicts: 922000 | #Constraints: 39645
1285.86/1289.05 c INPROCESSING
1285.86/1289.05 c GARBAGE COLLECT
1285.86/1289.05 c #Conflicts: 923000 | #Constraints: 21652
1285.86/1289.05 c #Conflicts: 924000 | #Constraints: 22652
1285.86/1289.05 c #Conflicts: 925000 | #Constraints: 23652
1285.86/1289.05 c #Conflicts: 926000 | #Constraints: 24652
1285.86/1289.05 c #Conflicts: 927000 | #Constraints: 25652
1285.86/1289.05 c #Conflicts: 928000 | #Constraints: 26652
1285.86/1289.05 c #Conflicts: 929000 | #Constraints: 27652
1285.86/1289.05 c #Conflicts: 930000 | #Constraints: 28652
1285.86/1289.05 c #Conflicts: 931000 | #Constraints: 29652
1285.86/1289.05 c #Conflicts: 932000 | #Constraints: 30652
1285.86/1289.05 c #Conflicts: 933000 | #Constraints: 31652
1285.86/1289.05 c #Conflicts: 934000 | #Constraints: 32652
1285.86/1289.05 c #Conflicts: 935000 | #Constraints: 33652
1285.86/1289.05 c #Conflicts: 936000 | #Constraints: 34652
1285.86/1289.05 c #Conflicts: 937000 | #Constraints: 35652
1285.86/1289.05 c #Conflicts: 938000 | #Constraints: 36652
1285.86/1289.05 c #Conflicts: 939000 | #Constraints: 37652
1285.86/1289.05 c #Conflicts: 940000 | #Constraints: 38652
1285.86/1289.05 c #Conflicts: 941000 | #Constraints: 39652
1285.86/1289.05 c INPROCESSING
1285.86/1289.05 c GARBAGE COLLECT
1285.86/1289.05 c #Conflicts: 942000 | #Constraints: 21453
1285.86/1289.05 c #Conflicts: 943000 | #Constraints: 22453
1285.86/1289.05 c #Conflicts: 944000 | #Constraints: 23453
1285.86/1289.05 c #Conflicts: 945000 | #Constraints: 24453
1285.86/1289.05 c #Conflicts: 946000 | #Constraints: 25453
1285.86/1289.05 c #Conflicts: 947000 | #Constraints: 26453
1285.86/1289.05 c #Conflicts: 948000 | #Constraints: 27453
1285.86/1289.05 c #Conflicts: 949000 | #Constraints: 28453
1285.86/1289.05 c #Conflicts: 950000 | #Constraints: 29453
1285.86/1289.05 c #Conflicts: 951000 | #Constraints: 30453
1285.86/1289.05 c #Conflicts: 952000 | #Constraints: 31453
1285.86/1289.05 c #Conflicts: 953000 | #Constraints: 32453
1285.86/1289.05 c #Conflicts: 954000 | #Constraints: 33453
1285.86/1289.05 c #Conflicts: 955000 | #Constraints: 34453
1285.86/1289.05 c #Conflicts: 956000 | #Constraints: 35453
1285.86/1289.05 c #Conflicts: 957000 | #Constraints: 36453
1285.86/1289.05 c #Conflicts: 958000 | #Constraints: 37453
1285.86/1289.05 c #Conflicts: 959000 | #Constraints: 38453
1285.86/1289.05 c #Conflicts: 960000 | #Constraints: 39453
1285.86/1289.05 c #Conflicts: 961000 | #Constraints: 40453
1285.86/1289.05 c INPROCESSING
1285.86/1289.05 c GARBAGE COLLECT
1285.86/1289.05 c #Conflicts: 962000 | #Constraints: 22048
1285.86/1289.05 c #Conflicts: 963000 | #Constraints: 23048
1285.86/1289.05 c #Conflicts: 964000 | #Constraints: 24048
1285.86/1289.05 c #Conflicts: 965000 | #Constraints: 25048
1285.86/1289.05 c #Conflicts: 966000 | #Constraints: 26048
1285.86/1289.05 c #Conflicts: 967000 | #Constraints: 27048
1285.86/1289.05 c #Conflicts: 968000 | #Constraints: 28048
1390.38/1393.83 c #Conflicts: 969000 | #Constraints: 29048
1390.38/1393.83 c #Conflicts: 970000 | #Constraints: 30048
1390.38/1393.83 c #Conflicts: 971000 | #Constraints: 31048
1390.38/1393.83 c #Conflicts: 972000 | #Constraints: 32048
1390.38/1393.83 c #Conflicts: 973000 | #Constraints: 33048
1390.38/1393.83 c #Conflicts: 974000 | #Constraints: 34048
1390.38/1393.83 c #Conflicts: 975000 | #Constraints: 35048
1390.38/1393.83 c #Conflicts: 976000 | #Constraints: 36048
1390.38/1393.83 c #Conflicts: 977000 | #Constraints: 37048
1390.38/1393.83 c #Conflicts: 978000 | #Constraints: 38048
1390.38/1393.83 c #Conflicts: 979000 | #Constraints: 39048
1390.38/1393.83 c #Conflicts: 980000 | #Constraints: 40048
1390.38/1393.83 c #Conflicts: 981000 | #Constraints: 41048
1390.38/1393.83 c INPROCESSING
1390.38/1393.83 c GARBAGE COLLECT
1390.38/1393.83 c #Conflicts: 982000 | #Constraints: 22464
1390.38/1393.83 c #Conflicts: 983000 | #Constraints: 23464
1390.38/1393.83 c #Conflicts: 984000 | #Constraints: 24464
1390.38/1393.83 c #Conflicts: 985000 | #Constraints: 25464
1390.38/1393.83 c #Conflicts: 986000 | #Constraints: 26464
1390.38/1393.83 c #Conflicts: 987000 | #Constraints: 27464
1390.38/1393.83 c #Conflicts: 988000 | #Constraints: 28464
1390.38/1393.83 c #Conflicts: 989000 | #Constraints: 29464
1390.38/1393.83 c #Conflicts: 990000 | #Constraints: 30464
1390.38/1393.83 c #Conflicts: 991000 | #Constraints: 31464
1390.38/1393.83 c #Conflicts: 992000 | #Constraints: 32464
1390.38/1393.83 c #Conflicts: 993000 | #Constraints: 33464
1390.38/1393.83 c #Conflicts: 994000 | #Constraints: 34464
1390.38/1393.83 c #Conflicts: 995000 | #Constraints: 35464
1390.38/1393.83 c #Conflicts: 996000 | #Constraints: 36464
1390.38/1393.83 c #Conflicts: 997000 | #Constraints: 37464
1390.38/1393.83 c #Conflicts: 998000 | #Constraints: 38464
1390.38/1393.83 c #Conflicts: 999000 | #Constraints: 39464
1390.38/1393.83 c #Conflicts: 1000000 | #Constraints: 40464
1390.38/1393.83 c #Conflicts: 1001000 | #Constraints: 41464
1390.38/1393.83 c INPROCESSING
1390.38/1393.83 c GARBAGE COLLECT
1390.38/1393.83 c #Conflicts: 1002000 | #Constraints: 22666
1390.38/1393.83 c #Conflicts: 1003000 | #Constraints: 23666
1390.38/1393.83 c #Conflicts: 1004000 | #Constraints: 24666
1390.38/1393.83 c #Conflicts: 1005000 | #Constraints: 25666
1390.38/1393.83 c #Conflicts: 1006000 | #Constraints: 26666
1390.38/1393.83 c #Conflicts: 1007000 | #Constraints: 27666
1390.38/1393.83 c #Conflicts: 1008000 | #Constraints: 28666
1390.38/1393.83 c #Conflicts: 1009000 | #Constraints: 29666
1390.38/1393.83 c #Conflicts: 1010000 | #Constraints: 30666
1390.38/1393.83 c #Conflicts: 1011000 | #Constraints: 31666
1390.38/1393.83 c #Conflicts: 1012000 | #Constraints: 32666
1390.38/1393.83 c #Conflicts: 1013000 | #Constraints: 33666
1390.38/1393.83 c #Conflicts: 1014000 | #Constraints: 34666
1390.38/1393.83 c #Conflicts: 1015000 | #Constraints: 35666
1390.38/1393.83 c #Conflicts: 1016000 | #Constraints: 36666
1390.38/1393.83 c #Conflicts: 1017000 | #Constraints: 37666
1390.38/1393.83 c #Conflicts: 1018000 | #Constraints: 38666
1390.38/1393.83 c #Conflicts: 1019000 | #Constraints: 39666
1390.38/1393.83 c #Conflicts: 1020000 | #Constraints: 40666
1390.38/1393.83 c #Conflicts: 1021000 | #Constraints: 41666
1390.38/1393.83 c INPROCESSING
1390.38/1393.83 c GARBAGE COLLECT
1390.38/1393.83 c #Conflicts: 1022000 | #Constraints: 22662
1390.38/1393.83 c #Conflicts: 1023000 | #Constraints: 23662
1390.38/1393.83 c #Conflicts: 1024000 | #Constraints: 24662
1390.38/1393.83 c #Conflicts: 1025000 | #Constraints: 25662
1390.38/1393.83 c #Conflicts: 1026000 | #Constraints: 26662
1390.38/1393.83 c #Conflicts: 1027000 | #Constraints: 27662
1390.38/1393.83 c #Conflicts: 1028000 | #Constraints: 28662
1390.38/1393.83 c #Conflicts: 1029000 | #Constraints: 29662
1390.38/1393.83 c #Conflicts: 1030000 | #Constraints: 30662
1390.38/1393.83 c #Conflicts: 1031000 | #Constraints: 31662
1390.38/1393.83 c #Conflicts: 1032000 | #Constraints: 32662
1390.38/1393.83 c #Conflicts: 1033000 | #Constraints: 33662
1390.38/1393.83 c #Conflicts: 1034000 | #Constraints: 34662
1390.38/1393.83 c #Conflicts: 1035000 | #Constraints: 35662
1390.38/1393.83 c #Conflicts: 1036000 | #Constraints: 36662
1390.38/1393.83 c #Conflicts: 1037000 | #Constraints: 37662
1390.38/1393.83 c #Conflicts: 1038000 | #Constraints: 38662
1390.38/1393.83 c #Conflicts: 1039000 | #Constraints: 39662
1390.38/1393.83 c #Conflicts: 1040000 | #Constraints: 40662
1390.38/1393.83 c #Conflicts: 1041000 | #Constraints: 41662
1390.38/1393.83 c INPROCESSING
1390.38/1393.83 c GARBAGE COLLECT
1390.38/1393.83 c #Conflicts: 1042000 | #Constraints: 22473
1390.38/1393.83 c #Conflicts: 1043000 | #Constraints: 23473
1390.38/1393.83 c #Conflicts: 1044000 | #Constraints: 24473
1553.74/1557.66 c #Conflicts: 1045000 | #Constraints: 25473
1553.74/1557.66 c #Conflicts: 1046000 | #Constraints: 26473
1553.74/1557.66 c #Conflicts: 1047000 | #Constraints: 27473
1553.74/1557.66 c #Conflicts: 1048000 | #Constraints: 28473
1553.74/1557.66 c #Conflicts: 1049000 | #Constraints: 29473
1553.74/1557.66 c #Conflicts: 1050000 | #Constraints: 30473
1553.74/1557.66 c #Conflicts: 1051000 | #Constraints: 31473
1553.74/1557.66 c #Conflicts: 1052000 | #Constraints: 32473
1553.74/1557.66 c #Conflicts: 1053000 | #Constraints: 33473
1553.74/1557.66 c #Conflicts: 1054000 | #Constraints: 34473
1553.74/1557.66 c #Conflicts: 1055000 | #Constraints: 35473
1553.74/1557.66 c #Conflicts: 1056000 | #Constraints: 36473
1553.74/1557.66 c #Conflicts: 1057000 | #Constraints: 37473
1553.74/1557.66 c #Conflicts: 1058000 | #Constraints: 38473
1553.74/1557.66 c #Conflicts: 1059000 | #Constraints: 39473
1553.74/1557.66 c #Conflicts: 1060000 | #Constraints: 40473
1553.74/1557.66 c #Conflicts: 1061000 | #Constraints: 41473
1553.74/1557.66 c #Conflicts: 1062000 | #Constraints: 42473
1553.74/1557.66 c INPROCESSING
1553.74/1557.66 c GARBAGE COLLECT
1553.74/1557.66 c #Conflicts: 1063000 | #Constraints: 23071
1553.74/1557.66 c #Conflicts: 1064000 | #Constraints: 24071
1553.74/1557.66 c #Conflicts: 1065000 | #Constraints: 25071
1553.74/1557.66 c #Conflicts: 1066000 | #Constraints: 26071
1553.74/1557.66 c #Conflicts: 1067000 | #Constraints: 27071
1553.74/1557.66 c #Conflicts: 1068000 | #Constraints: 28071
1553.74/1557.66 c #Conflicts: 1069000 | #Constraints: 29071
1553.74/1557.66 c #Conflicts: 1070000 | #Constraints: 30071
1553.74/1557.66 c #Conflicts: 1071000 | #Constraints: 31071
1553.74/1557.66 c #Conflicts: 1072000 | #Constraints: 32071
1553.74/1557.66 c #Conflicts: 1073000 | #Constraints: 33071
1553.74/1557.66 c #Conflicts: 1074000 | #Constraints: 34071
1553.74/1557.66 c #Conflicts: 1075000 | #Constraints: 35071
1553.74/1557.66 c #Conflicts: 1076000 | #Constraints: 36071
1553.74/1557.66 c #Conflicts: 1077000 | #Constraints: 37071
1553.74/1557.66 c #Conflicts: 1078000 | #Constraints: 38071
1553.74/1557.66 c #Conflicts: 1079000 | #Constraints: 39071
1553.74/1557.66 c #Conflicts: 1080000 | #Constraints: 40071
1553.74/1557.66 c #Conflicts: 1081000 | #Constraints: 41071
1553.74/1557.66 c #Conflicts: 1082000 | #Constraints: 42071
1553.74/1557.66 c #Conflicts: 1083000 | #Constraints: 43071
1553.74/1557.66 c INPROCESSING
1553.74/1557.66 c GARBAGE COLLECT
1553.74/1557.66 c #Conflicts: 1084000 | #Constraints: 23455
1553.74/1557.66 c #Conflicts: 1085000 | #Constraints: 24455
1553.74/1557.66 c #Conflicts: 1086000 | #Constraints: 25455
1553.74/1557.66 c #Conflicts: 1087000 | #Constraints: 26455
1553.74/1557.66 c #Conflicts: 1088000 | #Constraints: 27455
1553.74/1557.66 c #Conflicts: 1089000 | #Constraints: 28455
1553.74/1557.66 c #Conflicts: 1090000 | #Constraints: 29455
1553.74/1557.66 c #Conflicts: 1091000 | #Constraints: 30455
1553.74/1557.66 c #Conflicts: 1092000 | #Constraints: 31455
1553.74/1557.66 c #Conflicts: 1093000 | #Constraints: 32455
1553.74/1557.66 c #Conflicts: 1094000 | #Constraints: 33455
1553.74/1557.66 c #Conflicts: 1095000 | #Constraints: 34455
1553.74/1557.66 c #Conflicts: 1096000 | #Constraints: 35455
1553.74/1557.66 c #Conflicts: 1097000 | #Constraints: 36455
1553.74/1557.66 c #Conflicts: 1098000 | #Constraints: 37455
1553.74/1557.66 c #Conflicts: 1099000 | #Constraints: 38455
1553.74/1557.66 c #Conflicts: 1100000 | #Constraints: 39455
1553.74/1557.66 c #Conflicts: 1101000 | #Constraints: 40455
1553.74/1557.66 c #Conflicts: 1102000 | #Constraints: 41455
1553.74/1557.66 c #Conflicts: 1103000 | #Constraints: 42455
1553.74/1557.66 c #Conflicts: 1104000 | #Constraints: 43455
1553.74/1557.66 c INPROCESSING
1553.74/1557.66 c GARBAGE COLLECT
1553.74/1557.66 c #Conflicts: 1105000 | #Constraints: 23650
1553.74/1557.66 c #Conflicts: 1106000 | #Constraints: 24650
1553.74/1557.66 c #Conflicts: 1107000 | #Constraints: 25650
1553.74/1557.66 c #Conflicts: 1108000 | #Constraints: 26650
1553.74/1557.66 c #Conflicts: 1109000 | #Constraints: 27650
1553.74/1557.66 c #Conflicts: 1110000 | #Constraints: 28650
1553.74/1557.66 c #Conflicts: 1111000 | #Constraints: 29650
1553.74/1557.66 c #Conflicts: 1112000 | #Constraints: 30650
1553.74/1557.66 c #Conflicts: 1113000 | #Constraints: 31650
1553.74/1557.66 c #Conflicts: 1114000 | #Constraints: 32650
1553.74/1557.66 c #Conflicts: 1115000 | #Constraints: 33650
1553.74/1557.66 c #Conflicts: 1116000 | #Constraints: 34650
1553.74/1557.66 c #Conflicts: 1117000 | #Constraints: 35650
1553.74/1557.66 c #Conflicts: 1118000 | #Constraints: 36650
1553.74/1557.66 c #Conflicts: 1119000 | #Constraints: 37650
1553.74/1557.66 c #Conflicts: 1120000 | #Constraints: 38650
1553.74/1557.66 c #Conflicts: 1121000 | #Constraints: 39650
1800.68/1805.23 c #Conflicts: 1122000 | #Constraints: 40650
1800.68/1805.23 c #Conflicts: 1123000 | #Constraints: 41650
1800.68/1805.23 c #Conflicts: 1124000 | #Constraints: 42650
1800.68/1805.23 c #Conflicts: 1125000 | #Constraints: 43650
1800.68/1805.23 c INPROCESSING
1800.68/1805.23 c GARBAGE COLLECT
1800.68/1805.23 c #Conflicts: 1126000 | #Constraints: 23651
1800.68/1805.23 c #Conflicts: 1127000 | #Constraints: 24651
1800.68/1805.23 c #Conflicts: 1128000 | #Constraints: 25651
1800.68/1805.23 c #Conflicts: 1129000 | #Constraints: 26651
1800.68/1805.23 c #Conflicts: 1130000 | #Constraints: 27651
1800.68/1805.23 c #Conflicts: 1131000 | #Constraints: 28651
1800.68/1805.23 c #Conflicts: 1132000 | #Constraints: 29651
1800.68/1805.23 c #Conflicts: 1133000 | #Constraints: 30651
1800.68/1805.23 c #Conflicts: 1134000 | #Constraints: 31651
1800.68/1805.23 c #Conflicts: 1135000 | #Constraints: 32651
1800.68/1805.23 c #Conflicts: 1136000 | #Constraints: 33651
1800.68/1805.23 c #Conflicts: 1137000 | #Constraints: 34651
1800.68/1805.23 c #Conflicts: 1138000 | #Constraints: 35651
1800.68/1805.23 c #Conflicts: 1139000 | #Constraints: 36651
1800.68/1805.23 c #Conflicts: 1140000 | #Constraints: 37651
1800.68/1805.23 c #Conflicts: 1141000 | #Constraints: 38651
1800.68/1805.23 c #Conflicts: 1142000 | #Constraints: 39651
1800.68/1805.23 c #Conflicts: 1143000 | #Constraints: 40651
1800.68/1805.23 c #Conflicts: 1144000 | #Constraints: 41651
1800.68/1805.23 c #Conflicts: 1145000 | #Constraints: 42651
1800.68/1805.23 c #Conflicts: 1146000 | #Constraints: 43651
1800.68/1805.23 c INPROCESSING
1800.68/1805.23 c GARBAGE COLLECT
1800.68/1805.23 c #Conflicts: 1147000 | #Constraints: 23445
1800.68/1805.23 c #Conflicts: 1148000 | #Constraints: 24445
1800.68/1805.23 c #Conflicts: 1149000 | #Constraints: 25445
1800.68/1805.23 c #Conflicts: 1150000 | #Constraints: 26445
1800.68/1805.23 c #Conflicts: 1151000 | #Constraints: 27445
1800.68/1805.23 c #Conflicts: 1152000 | #Constraints: 28445
1800.68/1805.23 c #Conflicts: 1153000 | #Constraints: 29445
1800.68/1805.23 c #Conflicts: 1154000 | #Constraints: 30445
1800.68/1805.23 c #Conflicts: 1155000 | #Constraints: 31445
1800.68/1805.23 c #Conflicts: 1156000 | #Constraints: 32445
1800.68/1805.23 c #Conflicts: 1157000 | #Constraints: 33445
1800.68/1805.23 c #Conflicts: 1158000 | #Constraints: 34445
1800.68/1805.23 c #Conflicts: 1159000 | #Constraints: 35445
1800.68/1805.23 c #Conflicts: 1160000 | #Constraints: 36445
1800.68/1805.23 c #Conflicts: 1161000 | #Constraints: 37445
1800.68/1805.23 c #Conflicts: 1162000 | #Constraints: 38445
1800.68/1805.23 c #Conflicts: 1163000 | #Constraints: 39445
1800.68/1805.23 c #Conflicts: 1164000 | #Constraints: 40445
1800.68/1805.23 c #Conflicts: 1165000 | #Constraints: 41445
1800.68/1805.23 c #Conflicts: 1166000 | #Constraints: 42445
1800.68/1805.23 c #Conflicts: 1167000 | #Constraints: 43445
1800.68/1805.23 c #Conflicts: 1168000 | #Constraints: 44445
1800.68/1805.23 c INPROCESSING
1800.68/1805.23 c GARBAGE COLLECT
1800.68/1805.23 c #Conflicts: 1169000 | #Constraints: 24050
1800.68/1805.23 c #Conflicts: 1170000 | #Constraints: 25050
1800.68/1805.23 c #Conflicts: 1171000 | #Constraints: 26050
1800.68/1805.23 c #Conflicts: 1172000 | #Constraints: 27050
1800.68/1805.23 c #Conflicts: 1173000 | #Constraints: 28050
1800.68/1805.23 c #Conflicts: 1174000 | #Constraints: 29050
1800.68/1805.23 c #Conflicts: 1175000 | #Constraints: 30050
1800.68/1805.23 c #Conflicts: 1176000 | #Constraints: 31050
1800.68/1805.23 c #Conflicts: 1177000 | #Constraints: 32050
1800.68/1805.23 c #Conflicts: 1178000 | #Constraints: 33050
1800.68/1805.23 c #Conflicts: 1179000 | #Constraints: 34050
1800.68/1805.23 c #Conflicts: 1180000 | #Constraints: 35050
1800.68/1805.23 c #Conflicts: 1181000 | #Constraints: 36050
1800.68/1805.23 c #Conflicts: 1182000 | #Constraints: 37050
1800.68/1805.23 c #Conflicts: 1183000 | #Constraints: 38050
1800.68/1805.23 c #Conflicts: 1184000 | #Constraints: 39050
1800.68/1805.23 c #Conflicts: 1185000 | #Constraints: 40050
1800.68/1805.23 c #Conflicts: 1186000 | #Constraints: 41050
1800.68/1805.23 c #Conflicts: 1187000 | #Constraints: 42050
1800.68/1805.23 c #Conflicts: 1188000 | #Constraints: 43050
1800.68/1805.23 c #Conflicts: 1189000 | #Constraints: 44050
1800.68/1805.23 c #Conflicts: 1190000 | #Constraints: 45050
1800.68/1805.23 c INPROCESSING
1800.68/1805.23 c GARBAGE COLLECT
1800.68/1805.23 c #Conflicts: 1191000 | #Constraints: 24454
1800.68/1805.23 c #Conflicts: 1192000 | #Constraints: 25454
1800.68/1805.23 c #Conflicts: 1193000 | #Constraints: 26454
1800.68/1805.23 c #Conflicts: 1194000 | #Constraints: 27454
1800.68/1805.23 c #Conflicts: 1195000 | #Constraints: 28454
1800.68/1805.23 c #Conflicts: 1196000 | #Constraints: 29454
1800.68/1805.23 c #Conflicts: 1197000 | #Constraints: 30454
2077.85/2083.19 c #Conflicts: 1198000 | #Constraints: 31454
2077.85/2083.19 c #Conflicts: 1199000 | #Constraints: 32454
2077.85/2083.19 c #Conflicts: 1200000 | #Constraints: 33454
2077.85/2083.19 c #Conflicts: 1201000 | #Constraints: 34454
2077.85/2083.19 c #Conflicts: 1202000 | #Constraints: 35454
2077.85/2083.19 c #Conflicts: 1203000 | #Constraints: 36454
2077.85/2083.19 c #Conflicts: 1204000 | #Constraints: 37454
2077.85/2083.19 c #Conflicts: 1205000 | #Constraints: 38454
2077.85/2083.19 c #Conflicts: 1206000 | #Constraints: 39454
2077.85/2083.19 c #Conflicts: 1207000 | #Constraints: 40454
2077.85/2083.19 c #Conflicts: 1208000 | #Constraints: 41454
2077.85/2083.19 c #Conflicts: 1209000 | #Constraints: 42454
2077.85/2083.19 c #Conflicts: 1210000 | #Constraints: 43454
2077.85/2083.19 c #Conflicts: 1211000 | #Constraints: 44454
2077.85/2083.19 c #Conflicts: 1212000 | #Constraints: 45454
2077.85/2083.19 c INPROCESSING
2077.85/2083.19 c GARBAGE COLLECT
2077.85/2083.19 c #Conflicts: 1213000 | #Constraints: 24658
2077.85/2083.19 c #Conflicts: 1214000 | #Constraints: 25658
2077.85/2083.19 c #Conflicts: 1215000 | #Constraints: 26658
2077.85/2083.19 c #Conflicts: 1216000 | #Constraints: 27658
2077.85/2083.19 c #Conflicts: 1217000 | #Constraints: 28658
2077.85/2083.19 c #Conflicts: 1218000 | #Constraints: 29658
2077.85/2083.19 c #Conflicts: 1219000 | #Constraints: 30658
2077.85/2083.19 c #Conflicts: 1220000 | #Constraints: 31658
2077.85/2083.19 c #Conflicts: 1221000 | #Constraints: 32658
2077.85/2083.19 c #Conflicts: 1222000 | #Constraints: 33658
2077.85/2083.19 c #Conflicts: 1223000 | #Constraints: 34658
2077.85/2083.19 c #Conflicts: 1224000 | #Constraints: 35658
2077.85/2083.19 c #Conflicts: 1225000 | #Constraints: 36658
2077.85/2083.19 c #Conflicts: 1226000 | #Constraints: 37658
2077.85/2083.19 c #Conflicts: 1227000 | #Constraints: 38658
2077.85/2083.19 c #Conflicts: 1228000 | #Constraints: 39658
2077.85/2083.19 c #Conflicts: 1229000 | #Constraints: 40658
2077.85/2083.19 c #Conflicts: 1230000 | #Constraints: 41658
2077.85/2083.19 c #Conflicts: 1231000 | #Constraints: 42658
2077.85/2083.19 c #Conflicts: 1232000 | #Constraints: 43658
2077.85/2083.19 c #Conflicts: 1233000 | #Constraints: 44658
2077.85/2083.19 c #Conflicts: 1234000 | #Constraints: 45658
2077.85/2083.19 c INPROCESSING
2077.85/2083.19 c GARBAGE COLLECT
2077.85/2083.19 c #Conflicts: 1235000 | #Constraints: 24653
2077.85/2083.19 c #Conflicts: 1236000 | #Constraints: 25653
2077.85/2083.19 c #Conflicts: 1237000 | #Constraints: 26653
2077.85/2083.19 c #Conflicts: 1238000 | #Constraints: 27653
2077.85/2083.19 c #Conflicts: 1239000 | #Constraints: 28653
2077.85/2083.19 c #Conflicts: 1240000 | #Constraints: 29653
2077.85/2083.19 c #Conflicts: 1241000 | #Constraints: 30653
2077.85/2083.19 c #Conflicts: 1242000 | #Constraints: 31653
2077.85/2083.19 c #Conflicts: 1243000 | #Constraints: 32653
2077.85/2083.19 c #Conflicts: 1244000 | #Constraints: 33653
2077.85/2083.19 c #Conflicts: 1245000 | #Constraints: 34653
2077.85/2083.19 c #Conflicts: 1246000 | #Constraints: 35653
2077.85/2083.19 c #Conflicts: 1247000 | #Constraints: 36653
2077.85/2083.19 c #Conflicts: 1248000 | #Constraints: 37653
2077.85/2083.19 c #Conflicts: 1249000 | #Constraints: 38653
2077.85/2083.19 c #Conflicts: 1250000 | #Constraints: 39653
2077.85/2083.19 c #Conflicts: 1251000 | #Constraints: 40653
2077.85/2083.19 c #Conflicts: 1252000 | #Constraints: 41653
2077.85/2083.19 c #Conflicts: 1253000 | #Constraints: 42653
2077.85/2083.19 c #Conflicts: 1254000 | #Constraints: 43653
2077.85/2083.19 c #Conflicts: 1255000 | #Constraints: 44653
2077.85/2083.19 c #Conflicts: 1256000 | #Constraints: 45653
2077.85/2083.19 c INPROCESSING
2077.85/2083.19 c GARBAGE COLLECT
2077.85/2083.19 c #Conflicts: 1257000 | #Constraints: 24450
2077.85/2083.19 c #Conflicts: 1258000 | #Constraints: 25450
2077.85/2083.19 c #Conflicts: 1259000 | #Constraints: 26450
2077.85/2083.19 c #Conflicts: 1260000 | #Constraints: 27450
2077.85/2083.19 c #Conflicts: 1261000 | #Constraints: 28450
2077.85/2083.19 c #Conflicts: 1262000 | #Constraints: 29450
2077.85/2083.19 c #Conflicts: 1263000 | #Constraints: 30450
2077.85/2083.19 c #Conflicts: 1264000 | #Constraints: 31450
2077.85/2083.19 c #Conflicts: 1265000 | #Constraints: 32450
2077.85/2083.19 c #Conflicts: 1266000 | #Constraints: 33450
2077.85/2083.19 c #Conflicts: 1267000 | #Constraints: 34450
2077.85/2083.19 c #Conflicts: 1268000 | #Constraints: 35450
2077.85/2083.19 c #Conflicts: 1269000 | #Constraints: 36450
2077.85/2083.19 c #Conflicts: 1270000 | #Constraints: 37450
2077.85/2083.19 c #Conflicts: 1271000 | #Constraints: 38450
2077.85/2083.19 c #Conflicts: 1272000 | #Constraints: 39450
2077.85/2083.19 c #Conflicts: 1273000 | #Constraints: 40450
2077.85/2083.19 c #Conflicts: 1274000 | #Constraints: 41450
2290.58/2296.48 c #Conflicts: 1275000 | #Constraints: 42450
2290.58/2296.48 c #Conflicts: 1276000 | #Constraints: 43450
2290.58/2296.48 c #Conflicts: 1277000 | #Constraints: 44450
2290.58/2296.48 c #Conflicts: 1278000 | #Constraints: 45450
2290.58/2296.48 c #Conflicts: 1279000 | #Constraints: 46450
2290.58/2296.48 c INPROCESSING
2290.58/2296.48 c GARBAGE COLLECT
2290.58/2296.48 c #Conflicts: 1280000 | #Constraints: 25053
2290.58/2296.48 c #Conflicts: 1281000 | #Constraints: 26053
2290.58/2296.48 c #Conflicts: 1282000 | #Constraints: 27053
2290.58/2296.48 c #Conflicts: 1283000 | #Constraints: 28053
2290.58/2296.48 c #Conflicts: 1284000 | #Constraints: 29053
2290.58/2296.48 c #Conflicts: 1285000 | #Constraints: 30053
2290.58/2296.48 c #Conflicts: 1286000 | #Constraints: 31053
2290.58/2296.48 c #Conflicts: 1287000 | #Constraints: 32053
2290.58/2296.48 c #Conflicts: 1288000 | #Constraints: 33053
2290.58/2296.48 c #Conflicts: 1289000 | #Constraints: 34053
2290.58/2296.48 c #Conflicts: 1290000 | #Constraints: 35053
2290.58/2296.48 c #Conflicts: 1291000 | #Constraints: 36053
2290.58/2296.48 c #Conflicts: 1292000 | #Constraints: 37053
2290.58/2296.48 c #Conflicts: 1293000 | #Constraints: 38053
2290.58/2296.48 c #Conflicts: 1294000 | #Constraints: 39053
2290.58/2296.48 c #Conflicts: 1295000 | #Constraints: 40053
2290.58/2296.48 c #Conflicts: 1296000 | #Constraints: 41053
2290.58/2296.48 c #Conflicts: 1297000 | #Constraints: 42053
2290.58/2296.48 c #Conflicts: 1298000 | #Constraints: 43053
2290.58/2296.48 c #Conflicts: 1299000 | #Constraints: 44053
2290.58/2296.48 c #Conflicts: 1300000 | #Constraints: 45053
2290.58/2296.48 c #Conflicts: 1301000 | #Constraints: 46053
2290.58/2296.48 c #Conflicts: 1302000 | #Constraints: 47053
2290.58/2296.48 c INPROCESSING
2290.58/2296.48 c GARBAGE COLLECT
2290.58/2296.48 c #Conflicts: 1303000 | #Constraints: 25452
2290.58/2296.48 c #Conflicts: 1304000 | #Constraints: 26452
2290.58/2296.48 c #Conflicts: 1305000 | #Constraints: 27452
2290.58/2296.48 c #Conflicts: 1306000 | #Constraints: 28452
2290.58/2296.48 c #Conflicts: 1307000 | #Constraints: 29452
2290.58/2296.48 c #Conflicts: 1308000 | #Constraints: 30452
2290.58/2296.48 c #Conflicts: 1309000 | #Constraints: 31452
2290.58/2296.48 c #Conflicts: 1310000 | #Constraints: 32452
2290.58/2296.48 c #Conflicts: 1311000 | #Constraints: 33452
2290.58/2296.48 c #Conflicts: 1312000 | #Constraints: 34452
2290.58/2296.48 c #Conflicts: 1313000 | #Constraints: 35452
2290.58/2296.48 c #Conflicts: 1314000 | #Constraints: 36452
2290.58/2296.48 c #Conflicts: 1315000 | #Constraints: 37452
2290.58/2296.48 c #Conflicts: 1316000 | #Constraints: 38452
2290.58/2296.48 c #Conflicts: 1317000 | #Constraints: 39452
2290.58/2296.48 c #Conflicts: 1318000 | #Constraints: 40452
2290.58/2296.48 c #Conflicts: 1319000 | #Constraints: 41452
2290.58/2296.48 c #Conflicts: 1320000 | #Constraints: 42452
2290.58/2296.48 c #Conflicts: 1321000 | #Constraints: 43452
2290.58/2296.48 c #Conflicts: 1322000 | #Constraints: 44452
2290.58/2296.48 c #Conflicts: 1323000 | #Constraints: 45452
2290.58/2296.48 c #Conflicts: 1324000 | #Constraints: 46452
2290.58/2296.48 c #Conflicts: 1325000 | #Constraints: 47452
2290.58/2296.48 c INPROCESSING
2290.58/2296.48 c GARBAGE COLLECT
2290.58/2296.48 c #Conflicts: 1326000 | #Constraints: 25652
2290.58/2296.48 c #Conflicts: 1327000 | #Constraints: 26652
2290.58/2296.48 c #Conflicts: 1328000 | #Constraints: 27652
2290.58/2296.48 c #Conflicts: 1329000 | #Constraints: 28652
2290.58/2296.48 c #Conflicts: 1330000 | #Constraints: 29652
2290.58/2296.48 c #Conflicts: 1331000 | #Constraints: 30652
2290.58/2296.48 c #Conflicts: 1332000 | #Constraints: 31652
2290.58/2296.48 c #Conflicts: 1333000 | #Constraints: 32652
2290.58/2296.48 c #Conflicts: 1334000 | #Constraints: 33652
2290.58/2296.48 c #Conflicts: 1335000 | #Constraints: 34652
2290.58/2296.48 c #Conflicts: 1336000 | #Constraints: 35652
2290.58/2296.48 c #Conflicts: 1337000 | #Constraints: 36652
2290.58/2296.48 c #Conflicts: 1338000 | #Constraints: 37652
2290.58/2296.48 c #Conflicts: 1339000 | #Constraints: 38652
2290.58/2296.48 c #Conflicts: 1340000 | #Constraints: 39652
2290.58/2296.48 c #Conflicts: 1341000 | #Constraints: 40652
2290.58/2296.48 c #Conflicts: 1342000 | #Constraints: 41652
2290.58/2296.48 c #Conflicts: 1343000 | #Constraints: 42652
2290.58/2296.48 c #Conflicts: 1344000 | #Constraints: 43652
2290.58/2296.48 c #Conflicts: 1345000 | #Constraints: 44652
2290.58/2296.48 c #Conflicts: 1346000 | #Constraints: 45652
2290.58/2296.48 c #Conflicts: 1347000 | #Constraints: 46652
2290.58/2296.48 c #Conflicts: 1348000 | #Constraints: 47652
2290.58/2296.48 c INPROCESSING
2290.58/2296.48 c GARBAGE COLLECT
2290.58/2296.48 c #Conflicts: 1349000 | #Constraints: 25650
2290.58/2296.48 c #Conflicts: 1350000 | #Constraints: 26650
2501.23/2507.69 c #Conflicts: 1351000 | #Constraints: 27650
2501.23/2507.69 c #Conflicts: 1352000 | #Constraints: 28650
2501.23/2507.69 c #Conflicts: 1353000 | #Constraints: 29650
2501.23/2507.69 c #Conflicts: 1354000 | #Constraints: 30650
2501.23/2507.69 c #Conflicts: 1355000 | #Constraints: 31650
2501.23/2507.69 c #Conflicts: 1356000 | #Constraints: 32650
2501.23/2507.69 c #Conflicts: 1357000 | #Constraints: 33650
2501.23/2507.69 c #Conflicts: 1358000 | #Constraints: 34650
2501.23/2507.69 c #Conflicts: 1359000 | #Constraints: 35650
2501.23/2507.69 c #Conflicts: 1360000 | #Constraints: 36650
2501.23/2507.69 c #Conflicts: 1361000 | #Constraints: 37650
2501.23/2507.69 c #Conflicts: 1362000 | #Constraints: 38650
2501.23/2507.69 c #Conflicts: 1363000 | #Constraints: 39650
2501.23/2507.69 c #Conflicts: 1364000 | #Constraints: 40650
2501.23/2507.69 c #Conflicts: 1365000 | #Constraints: 41650
2501.23/2507.69 c #Conflicts: 1366000 | #Constraints: 42650
2501.23/2507.69 c #Conflicts: 1367000 | #Constraints: 43650
2501.23/2507.69 c #Conflicts: 1368000 | #Constraints: 44650
2501.23/2507.69 c #Conflicts: 1369000 | #Constraints: 45650
2501.23/2507.69 c #Conflicts: 1370000 | #Constraints: 46650
2501.23/2507.69 c #Conflicts: 1371000 | #Constraints: 47650
2501.23/2507.69 c INPROCESSING
2501.23/2507.69 c GARBAGE COLLECT
2501.23/2507.69 c #Conflicts: 1372000 | #Constraints: 25470
2501.23/2507.69 c #Conflicts: 1373000 | #Constraints: 26470
2501.23/2507.69 c #Conflicts: 1374000 | #Constraints: 27470
2501.23/2507.69 c #Conflicts: 1375000 | #Constraints: 28470
2501.23/2507.69 c #Conflicts: 1376000 | #Constraints: 29470
2501.23/2507.69 c #Conflicts: 1377000 | #Constraints: 30470
2501.23/2507.69 c #Conflicts: 1378000 | #Constraints: 31470
2501.23/2507.69 c #Conflicts: 1379000 | #Constraints: 32470
2501.23/2507.69 c #Conflicts: 1380000 | #Constraints: 33470
2501.23/2507.69 c #Conflicts: 1381000 | #Constraints: 34470
2501.23/2507.69 c #Conflicts: 1382000 | #Constraints: 35470
2501.23/2507.69 c #Conflicts: 1383000 | #Constraints: 36470
2501.23/2507.69 c #Conflicts: 1384000 | #Constraints: 37470
2501.23/2507.69 c #Conflicts: 1385000 | #Constraints: 38470
2501.23/2507.69 c #Conflicts: 1386000 | #Constraints: 39470
2501.23/2507.69 c #Conflicts: 1387000 | #Constraints: 40470
2501.23/2507.69 c #Conflicts: 1388000 | #Constraints: 41470
2501.23/2507.69 c #Conflicts: 1389000 | #Constraints: 42470
2501.23/2507.69 c #Conflicts: 1390000 | #Constraints: 43470
2501.23/2507.69 c #Conflicts: 1391000 | #Constraints: 44470
2501.23/2507.69 c #Conflicts: 1392000 | #Constraints: 45470
2501.23/2507.69 c #Conflicts: 1393000 | #Constraints: 46470
2501.23/2507.69 c #Conflicts: 1394000 | #Constraints: 47470
2501.23/2507.69 c #Conflicts: 1395000 | #Constraints: 48470
2501.23/2507.69 c INPROCESSING
2501.23/2507.69 c GARBAGE COLLECT
2501.23/2507.69 c #Conflicts: 1396000 | #Constraints: 26059
2501.23/2507.69 c #Conflicts: 1397000 | #Constraints: 27059
2501.23/2507.69 c #Conflicts: 1398000 | #Constraints: 28059
2501.23/2507.69 c #Conflicts: 1399000 | #Constraints: 29059
2501.23/2507.69 c #Conflicts: 1400000 | #Constraints: 30059
2501.23/2507.69 c #Conflicts: 1401000 | #Constraints: 31059
2501.23/2507.69 c #Conflicts: 1402000 | #Constraints: 32059
2501.23/2507.69 c #Conflicts: 1403000 | #Constraints: 33059
2501.23/2507.69 c #Conflicts: 1404000 | #Constraints: 34059
2501.23/2507.69 c #Conflicts: 1405000 | #Constraints: 35059
2501.23/2507.69 c #Conflicts: 1406000 | #Constraints: 36059
2501.23/2507.69 c #Conflicts: 1407000 | #Constraints: 37059
2501.23/2507.69 c #Conflicts: 1408000 | #Constraints: 38059
2501.23/2507.69 c #Conflicts: 1409000 | #Constraints: 39059
2501.23/2507.69 c #Conflicts: 1410000 | #Constraints: 40059
2501.23/2507.69 c #Conflicts: 1411000 | #Constraints: 41059
2501.23/2507.69 c #Conflicts: 1412000 | #Constraints: 42059
2501.23/2507.69 c #Conflicts: 1413000 | #Constraints: 43059
2501.23/2507.69 c #Conflicts: 1414000 | #Constraints: 44059
2501.23/2507.69 c #Conflicts: 1415000 | #Constraints: 45059
2501.23/2507.69 c #Conflicts: 1416000 | #Constraints: 46059
2501.23/2507.69 c #Conflicts: 1417000 | #Constraints: 47059
2501.23/2507.69 c #Conflicts: 1418000 | #Constraints: 48059
2501.23/2507.69 c #Conflicts: 1419000 | #Constraints: 49059
2501.23/2507.69 c INPROCESSING
2501.23/2507.69 c GARBAGE COLLECT
2501.23/2507.69 c #Conflicts: 1420000 | #Constraints: 26460
2501.23/2507.69 c #Conflicts: 1421000 | #Constraints: 27460
2501.23/2507.69 c #Conflicts: 1422000 | #Constraints: 28460
2501.23/2507.69 c #Conflicts: 1423000 | #Constraints: 29460
2501.23/2507.69 c #Conflicts: 1424000 | #Constraints: 30460
2501.23/2507.69 c #Conflicts: 1425000 | #Constraints: 31460
2501.23/2507.69 c #Conflicts: 1426000 | #Constraints: 32460
2501.23/2507.69 c #Conflicts: 1427000 | #Constraints: 33460
2754.44/2761.51 c #Conflicts: 1428000 | #Constraints: 34460
2754.44/2761.51 c #Conflicts: 1429000 | #Constraints: 35460
2754.44/2761.51 c #Conflicts: 1430000 | #Constraints: 36460
2754.44/2761.51 c #Conflicts: 1431000 | #Constraints: 37460
2754.44/2761.51 c #Conflicts: 1432000 | #Constraints: 38460
2754.44/2761.51 c #Conflicts: 1433000 | #Constraints: 39460
2754.44/2761.51 c #Conflicts: 1434000 | #Constraints: 40460
2754.44/2761.51 c #Conflicts: 1435000 | #Constraints: 41460
2754.44/2761.51 c #Conflicts: 1436000 | #Constraints: 42460
2754.44/2761.51 c #Conflicts: 1437000 | #Constraints: 43460
2754.44/2761.51 c #Conflicts: 1438000 | #Constraints: 44460
2754.44/2761.51 c #Conflicts: 1439000 | #Constraints: 45460
2754.44/2761.51 c #Conflicts: 1440000 | #Constraints: 46460
2754.44/2761.51 c #Conflicts: 1441000 | #Constraints: 47460
2754.44/2761.51 c #Conflicts: 1442000 | #Constraints: 48460
2754.44/2761.51 c #Conflicts: 1443000 | #Constraints: 49460
2754.44/2761.51 c INPROCESSING
2754.44/2761.51 c GARBAGE COLLECT
2754.44/2761.51 c #Conflicts: 1444000 | #Constraints: 26659
2754.44/2761.51 c #Conflicts: 1445000 | #Constraints: 27659
2754.44/2761.51 c #Conflicts: 1446000 | #Constraints: 28659
2754.44/2761.51 c #Conflicts: 1447000 | #Constraints: 29659
2754.44/2761.51 c #Conflicts: 1448000 | #Constraints: 30659
2754.44/2761.51 c #Conflicts: 1449000 | #Constraints: 31659
2754.44/2761.51 c #Conflicts: 1450000 | #Constraints: 32659
2754.44/2761.51 c #Conflicts: 1451000 | #Constraints: 33659
2754.44/2761.51 c #Conflicts: 1452000 | #Constraints: 34659
2754.44/2761.51 c #Conflicts: 1453000 | #Constraints: 35659
2754.44/2761.51 c #Conflicts: 1454000 | #Constraints: 36659
2754.44/2761.51 c #Conflicts: 1455000 | #Constraints: 37659
2754.44/2761.51 c #Conflicts: 1456000 | #Constraints: 38659
2754.44/2761.51 c #Conflicts: 1457000 | #Constraints: 39659
2754.44/2761.51 c #Conflicts: 1458000 | #Constraints: 40659
2754.44/2761.51 c #Conflicts: 1459000 | #Constraints: 41659
2754.44/2761.51 c #Conflicts: 1460000 | #Constraints: 42659
2754.44/2761.51 c #Conflicts: 1461000 | #Constraints: 43659
2754.44/2761.51 c #Conflicts: 1462000 | #Constraints: 44659
2754.44/2761.51 c #Conflicts: 1463000 | #Constraints: 45659
2754.44/2761.51 c #Conflicts: 1464000 | #Constraints: 46659
2754.44/2761.51 c #Conflicts: 1465000 | #Constraints: 47659
2754.44/2761.51 c #Conflicts: 1466000 | #Constraints: 48659
2754.44/2761.51 c #Conflicts: 1467000 | #Constraints: 49659
2754.44/2761.51 c INPROCESSING
2754.44/2761.51 c GARBAGE COLLECT
2754.44/2761.51 c #Conflicts: 1468000 | #Constraints: 26662
2754.44/2761.51 c #Conflicts: 1469000 | #Constraints: 27662
2754.44/2761.51 c #Conflicts: 1470000 | #Constraints: 28662
2754.44/2761.51 c #Conflicts: 1471000 | #Constraints: 29662
2754.44/2761.51 c #Conflicts: 1472000 | #Constraints: 30662
2754.44/2761.51 c #Conflicts: 1473000 | #Constraints: 31662
2754.44/2761.51 c #Conflicts: 1474000 | #Constraints: 32662
2754.44/2761.51 c #Conflicts: 1475000 | #Constraints: 33662
2754.44/2761.51 c #Conflicts: 1476000 | #Constraints: 34662
2754.44/2761.51 c #Conflicts: 1477000 | #Constraints: 35662
2754.44/2761.51 c #Conflicts: 1478000 | #Constraints: 36662
2754.44/2761.51 c #Conflicts: 1479000 | #Constraints: 37662
2754.44/2761.51 c #Conflicts: 1480000 | #Constraints: 38662
2754.44/2761.51 c #Conflicts: 1481000 | #Constraints: 39662
2754.44/2761.51 c #Conflicts: 1482000 | #Constraints: 40662
2754.44/2761.51 c #Conflicts: 1483000 | #Constraints: 41662
2754.44/2761.51 c #Conflicts: 1484000 | #Constraints: 42662
2754.44/2761.51 c #Conflicts: 1485000 | #Constraints: 43662
2754.44/2761.51 c #Conflicts: 1486000 | #Constraints: 44662
2754.44/2761.51 c #Conflicts: 1487000 | #Constraints: 45662
2754.44/2761.51 c #Conflicts: 1488000 | #Constraints: 46662
2754.44/2761.51 c #Conflicts: 1489000 | #Constraints: 47662
2754.44/2761.51 c #Conflicts: 1490000 | #Constraints: 48662
2754.44/2761.51 c #Conflicts: 1491000 | #Constraints: 49662
2754.44/2761.51 c INPROCESSING
2754.44/2761.51 c GARBAGE COLLECT
2754.44/2761.51 c #Conflicts: 1492000 | #Constraints: 26461
2754.44/2761.51 c #Conflicts: 1493000 | #Constraints: 27461
2754.44/2761.51 c #Conflicts: 1494000 | #Constraints: 28461
2754.44/2761.51 c #Conflicts: 1495000 | #Constraints: 29461
2754.44/2761.51 c #Conflicts: 1496000 | #Constraints: 30461
2754.44/2761.51 c #Conflicts: 1497000 | #Constraints: 31461
2754.44/2761.51 c #Conflicts: 1498000 | #Constraints: 32461
2754.44/2761.51 c #Conflicts: 1499000 | #Constraints: 33461
2754.44/2761.51 c #Conflicts: 1500000 | #Constraints: 34461
2754.44/2761.51 c #Conflicts: 1501000 | #Constraints: 35461
2754.44/2761.51 c #Conflicts: 1502000 | #Constraints: 36461
2754.44/2761.51 c #Conflicts: 1503000 | #Constraints: 37461
2754.44/2761.51 c #Conflicts: 1504000 | #Constraints: 38461
3015.97/3023.79 c #Conflicts: 1505000 | #Constraints: 39461
3015.97/3023.79 c #Conflicts: 1506000 | #Constraints: 40461
3015.97/3023.79 c #Conflicts: 1507000 | #Constraints: 41461
3015.97/3023.79 c #Conflicts: 1508000 | #Constraints: 42461
3015.97/3023.79 c #Conflicts: 1509000 | #Constraints: 43461
3015.97/3023.79 c #Conflicts: 1510000 | #Constraints: 44461
3015.97/3023.79 c #Conflicts: 1511000 | #Constraints: 45461
3015.97/3023.79 c #Conflicts: 1512000 | #Constraints: 46461
3015.97/3023.79 c #Conflicts: 1513000 | #Constraints: 47461
3015.97/3023.79 c #Conflicts: 1514000 | #Constraints: 48461
3015.97/3023.79 c #Conflicts: 1515000 | #Constraints: 49461
3015.97/3023.79 c #Conflicts: 1516000 | #Constraints: 50461
3015.97/3023.79 c INPROCESSING
3015.97/3023.79 c GARBAGE COLLECT
3015.97/3023.79 c #Conflicts: 1517000 | #Constraints: 27048
3015.97/3023.79 c #Conflicts: 1518000 | #Constraints: 28048
3015.97/3023.79 c #Conflicts: 1519000 | #Constraints: 29048
3015.97/3023.79 c #Conflicts: 1520000 | #Constraints: 30048
3015.97/3023.79 c #Conflicts: 1521000 | #Constraints: 31048
3015.97/3023.79 c #Conflicts: 1522000 | #Constraints: 32048
3015.97/3023.79 c #Conflicts: 1523000 | #Constraints: 33048
3015.97/3023.79 c #Conflicts: 1524000 | #Constraints: 34048
3015.97/3023.79 c #Conflicts: 1525000 | #Constraints: 35048
3015.97/3023.79 c #Conflicts: 1526000 | #Constraints: 36048
3015.97/3023.79 c #Conflicts: 1527000 | #Constraints: 37048
3015.97/3023.79 c #Conflicts: 1528000 | #Constraints: 38048
3015.97/3023.79 c #Conflicts: 1529000 | #Constraints: 39048
3015.97/3023.79 c #Conflicts: 1530000 | #Constraints: 40048
3015.97/3023.79 c #Conflicts: 1531000 | #Constraints: 41048
3015.97/3023.79 c #Conflicts: 1532000 | #Constraints: 42048
3015.97/3023.79 c #Conflicts: 1533000 | #Constraints: 43048
3015.97/3023.79 c #Conflicts: 1534000 | #Constraints: 44048
3015.97/3023.79 c #Conflicts: 1535000 | #Constraints: 45048
3015.97/3023.79 c #Conflicts: 1536000 | #Constraints: 46048
3015.97/3023.79 c #Conflicts: 1537000 | #Constraints: 47048
3015.97/3023.79 c #Conflicts: 1538000 | #Constraints: 48048
3015.97/3023.79 c #Conflicts: 1539000 | #Constraints: 49048
3015.97/3023.79 c #Conflicts: 1540000 | #Constraints: 50048
3015.97/3023.79 c #Conflicts: 1541000 | #Constraints: 51048
3015.97/3023.79 c INPROCESSING
3015.97/3023.79 c GARBAGE COLLECT
3015.97/3023.79 c #Conflicts: 1542000 | #Constraints: 27458
3015.97/3023.79 c #Conflicts: 1543000 | #Constraints: 28458
3015.97/3023.79 c #Conflicts: 1544000 | #Constraints: 29458
3015.97/3023.79 c #Conflicts: 1545000 | #Constraints: 30458
3015.97/3023.79 c #Conflicts: 1546000 | #Constraints: 31458
3015.97/3023.79 c #Conflicts: 1547000 | #Constraints: 32458
3015.97/3023.79 c #Conflicts: 1548000 | #Constraints: 33458
3015.97/3023.79 c #Conflicts: 1549000 | #Constraints: 34458
3015.97/3023.79 c #Conflicts: 1550000 | #Constraints: 35458
3015.97/3023.79 c #Conflicts: 1551000 | #Constraints: 36458
3015.97/3023.79 c #Conflicts: 1552000 | #Constraints: 37458
3015.97/3023.79 c #Conflicts: 1553000 | #Constraints: 38458
3015.97/3023.79 c #Conflicts: 1554000 | #Constraints: 39458
3015.97/3023.79 c #Conflicts: 1555000 | #Constraints: 40458
3015.97/3023.79 c #Conflicts: 1556000 | #Constraints: 41458
3015.97/3023.79 c #Conflicts: 1557000 | #Constraints: 42458
3015.97/3023.79 c #Conflicts: 1558000 | #Constraints: 43458
3015.97/3023.79 c #Conflicts: 1559000 | #Constraints: 44458
3015.97/3023.79 c #Conflicts: 1560000 | #Constraints: 45458
3015.97/3023.79 c #Conflicts: 1561000 | #Constraints: 46458
3015.97/3023.79 c #Conflicts: 1562000 | #Constraints: 47458
3015.97/3023.79 c #Conflicts: 1563000 | #Constraints: 48458
3015.97/3023.79 c #Conflicts: 1564000 | #Constraints: 49458
3015.97/3023.79 c #Conflicts: 1565000 | #Constraints: 50458
3015.97/3023.79 c #Conflicts: 1566000 | #Constraints: 51458
3015.97/3023.79 c INPROCESSING
3015.97/3023.79 c GARBAGE COLLECT
3015.97/3023.79 c #Conflicts: 1567000 | #Constraints: 27656
3015.97/3023.79 c #Conflicts: 1568000 | #Constraints: 28656
3015.97/3023.79 c #Conflicts: 1569000 | #Constraints: 29656
3015.97/3023.79 c #Conflicts: 1570000 | #Constraints: 30656
3015.97/3023.79 c #Conflicts: 1571000 | #Constraints: 31656
3015.97/3023.79 c #Conflicts: 1572000 | #Constraints: 32656
3015.97/3023.79 c #Conflicts: 1573000 | #Constraints: 33656
3015.97/3023.79 c #Conflicts: 1574000 | #Constraints: 34656
3015.97/3023.79 c #Conflicts: 1575000 | #Constraints: 35656
3015.97/3023.79 c #Conflicts: 1576000 | #Constraints: 36656
3015.97/3023.79 c #Conflicts: 1577000 | #Constraints: 37656
3015.97/3023.79 c #Conflicts: 1578000 | #Constraints: 38656
3015.97/3023.79 c #Conflicts: 1579000 | #Constraints: 39656
3015.97/3023.79 c #Conflicts: 1580000 | #Constraints: 40656
3015.97/3023.79 c #Conflicts: 1581000 | #Constraints: 41656
3196.87/3205.12 c #Conflicts: 1582000 | #Constraints: 42656
3196.87/3205.12 c #Conflicts: 1583000 | #Constraints: 43656
3196.87/3205.12 c #Conflicts: 1584000 | #Constraints: 44656
3196.87/3205.12 c #Conflicts: 1585000 | #Constraints: 45656
3196.87/3205.12 c #Conflicts: 1586000 | #Constraints: 46656
3196.87/3205.12 c #Conflicts: 1587000 | #Constraints: 47656
3196.87/3205.12 c #Conflicts: 1588000 | #Constraints: 48656
3196.87/3205.12 c #Conflicts: 1589000 | #Constraints: 49656
3196.87/3205.12 c #Conflicts: 1590000 | #Constraints: 50656
3196.87/3205.12 c #Conflicts: 1591000 | #Constraints: 51656
3196.87/3205.12 c INPROCESSING
3196.87/3205.12 c GARBAGE COLLECT
3196.87/3205.12 c #Conflicts: 1592000 | #Constraints: 27655
3196.87/3205.12 c #Conflicts: 1593000 | #Constraints: 28655
3196.87/3205.12 c #Conflicts: 1594000 | #Constraints: 29655
3196.87/3205.12 c #Conflicts: 1595000 | #Constraints: 30655
3196.87/3205.12 c #Conflicts: 1596000 | #Constraints: 31655
3196.87/3205.12 c #Conflicts: 1597000 | #Constraints: 32655
3196.87/3205.12 c #Conflicts: 1598000 | #Constraints: 33655
3196.87/3205.12 c #Conflicts: 1599000 | #Constraints: 34655
3196.87/3205.12 c #Conflicts: 1600000 | #Constraints: 35655
3196.87/3205.12 c #Conflicts: 1601000 | #Constraints: 36655
3196.87/3205.12 c #Conflicts: 1602000 | #Constraints: 37655
3196.87/3205.12 c #Conflicts: 1603000 | #Constraints: 38655
3196.87/3205.12 c #Conflicts: 1604000 | #Constraints: 39655
3196.87/3205.12 c #Conflicts: 1605000 | #Constraints: 40655
3196.87/3205.12 c #Conflicts: 1606000 | #Constraints: 41655
3196.87/3205.12 c #Conflicts: 1607000 | #Constraints: 42655
3196.87/3205.12 c #Conflicts: 1608000 | #Constraints: 43655
3196.87/3205.12 c #Conflicts: 1609000 | #Constraints: 44655
3196.87/3205.12 c #Conflicts: 1610000 | #Constraints: 45655
3196.87/3205.12 c #Conflicts: 1611000 | #Constraints: 46655
3196.87/3205.12 c #Conflicts: 1612000 | #Constraints: 47655
3196.87/3205.12 c #Conflicts: 1613000 | #Constraints: 48655
3196.87/3205.12 c #Conflicts: 1614000 | #Constraints: 49655
3196.87/3205.12 c #Conflicts: 1615000 | #Constraints: 50655
3196.87/3205.12 c #Conflicts: 1616000 | #Constraints: 51655
3196.87/3205.12 c INPROCESSING
3196.87/3205.12 c GARBAGE COLLECT
3196.87/3205.12 c #Conflicts: 1617000 | #Constraints: 27449
3196.87/3205.12 c #Conflicts: 1618000 | #Constraints: 28449
3196.87/3205.12 c #Conflicts: 1619000 | #Constraints: 29449
3196.87/3205.12 c #Conflicts: 1620000 | #Constraints: 30449
3196.87/3205.12 c #Conflicts: 1621000 | #Constraints: 31449
3196.87/3205.12 c #Conflicts: 1622000 | #Constraints: 32449
3196.87/3205.12 c #Conflicts: 1623000 | #Constraints: 33449
3196.87/3205.12 c #Conflicts: 1624000 | #Constraints: 34449
3196.87/3205.12 c #Conflicts: 1625000 | #Constraints: 35449
3196.87/3205.12 c #Conflicts: 1626000 | #Constraints: 36449
3196.87/3205.12 c #Conflicts: 1627000 | #Constraints: 37449
3196.87/3205.12 c #Conflicts: 1628000 | #Constraints: 38449
3196.87/3205.12 c #Conflicts: 1629000 | #Constraints: 39449
3196.87/3205.12 c #Conflicts: 1630000 | #Constraints: 40449
3196.87/3205.12 c #Conflicts: 1631000 | #Constraints: 41449
3196.87/3205.12 c GLOBAL bounds - >= 1825130206476 @ 3168.63
3196.87/3205.15 c GLOBAL bounds - >= 1825130206476 @ 3168.66
3196.87/3205.18 c GLOBAL bounds - >= 1825130206476 @ 3168.69
3196.87/3205.19 c GLOBAL bounds - >= 1825130206476 @ 3168.69
3196.97/3205.22 c GLOBAL bounds - >= 1825130206476 @ 3168.71
3196.97/3205.23 c GLOBAL bounds - >= 1825130206476 @ 3168.71
3196.97/3205.27 c GLOBAL bounds - >= 1825130206476 @ 3168.74
3196.97/3205.27 c GLOBAL bounds - >= 1825130206476 @ 3168.74
3197.07/3205.31 c GLOBAL bounds - >= 1825130206476 @ 3168.76
3197.07/3205.31 c GLOBAL bounds - >= 1825130206476 @ 3168.76
3197.07/3205.35 c GLOBAL bounds - >= 1825130206476 @ 3168.79
3197.07/3205.35 c GLOBAL bounds - >= 1825130206476 @ 3168.79
3197.07/3205.39 c GLOBAL bounds - >= 1825130206476 @ 3168.81
3197.07/3205.39 c GLOBAL bounds - >= 1825130206476 @ 3168.82
3197.17/3205.43 c GLOBAL bounds - >= 1825130206476 @ 3168.84
3197.17/3205.44 c GLOBAL bounds - >= 1825130206476 @ 3168.85
3197.17/3205.48 c GLOBAL bounds - >= 1825130206476 @ 3168.88
3197.17/3205.48 c GLOBAL bounds - >= 1825130206476 @ 3168.88
3197.27/3205.52 c GLOBAL bounds - >= 1825130206476 @ 3168.9
3197.27/3205.52 c GLOBAL bounds - >= 1825130206476 @ 3168.91
3197.27/3205.56 c GLOBAL bounds - >= 1825130206476 @ 3168.93
3197.37/3205.61 c GLOBAL bounds - >= 1825130206476 @ 3168.97
3197.37/3205.65 c GLOBAL bounds - >= 1825130206476 @ 3169
3197.37/3205.68 c GLOBAL bounds - >= 1825130206476 @ 3169.02
3319.72/3328.30 c #Conflicts: 1632000 | #Constraints: 42482
3319.72/3328.30 c #Conflicts: 1633000 | #Constraints: 43482
3319.72/3328.30 c #Conflicts: 1634000 | #Constraints: 44482
3319.72/3328.30 c #Conflicts: 1635000 | #Constraints: 45482
3319.72/3328.30 c #Conflicts: 1636000 | #Constraints: 46482
3319.72/3328.30 c #Conflicts: 1637000 | #Constraints: 47482
3319.72/3328.30 c #Conflicts: 1638000 | #Constraints: 48482
3319.72/3328.30 c #Conflicts: 1639000 | #Constraints: 49482
3319.72/3328.30 c #Conflicts: 1640000 | #Constraints: 50482
3319.72/3328.30 c #Conflicts: 1641000 | #Constraints: 51482
3319.72/3328.30 c #Conflicts: 1642000 | #Constraints: 52482
3319.72/3328.30 c INPROCESSING
3319.72/3328.30 c GARBAGE COLLECT
3319.72/3328.30 c #Conflicts: 1643000 | #Constraints: 28084
3319.72/3328.30 c #Conflicts: 1644000 | #Constraints: 29084
3319.72/3328.30 c #Conflicts: 1645000 | #Constraints: 30084
3319.72/3328.30 c #Conflicts: 1646000 | #Constraints: 31084
3319.72/3328.30 c #Conflicts: 1647000 | #Constraints: 32084
3319.72/3328.30 c #Conflicts: 1648000 | #Constraints: 33084
3319.72/3328.30 c #Conflicts: 1649000 | #Constraints: 34084
3319.72/3328.30 c #Conflicts: 1650000 | #Constraints: 35084
3319.72/3328.30 c #Conflicts: 1651000 | #Constraints: 36084
3319.72/3328.30 c #Conflicts: 1652000 | #Constraints: 37084
3319.72/3328.30 c #Conflicts: 1653000 | #Constraints: 38084
3319.72/3328.30 c #Conflicts: 1654000 | #Constraints: 39084
3319.72/3328.30 c #Conflicts: 1655000 | #Constraints: 40084
3319.72/3328.30 c #Conflicts: 1656000 | #Constraints: 41084
3319.72/3328.30 c #Conflicts: 1657000 | #Constraints: 42084
3319.72/3328.30 c #Conflicts: 1658000 | #Constraints: 43084
3319.72/3328.30 c #Conflicts: 1659000 | #Constraints: 44084
3319.72/3328.30 c #Conflicts: 1660000 | #Constraints: 45084
3319.72/3328.30 c #Conflicts: 1661000 | #Constraints: 46084
3319.72/3328.30 c #Conflicts: 1662000 | #Constraints: 47084
3319.72/3328.30 c #Conflicts: 1663000 | #Constraints: 48084
3319.72/3328.30 c #Conflicts: 1664000 | #Constraints: 49084
3319.72/3328.30 c #Conflicts: 1665000 | #Constraints: 50084
3319.72/3328.30 c #Conflicts: 1666000 | #Constraints: 51084
3319.72/3328.30 c #Conflicts: 1667000 | #Constraints: 52084
3319.72/3328.30 c #Conflicts: 1668000 | #Constraints: 53084
3319.72/3328.30 c INPROCESSING
3319.72/3328.30 c GARBAGE COLLECT
3319.72/3328.30 c #Conflicts: 1669000 | #Constraints: 28478
3319.72/3328.30 c #Conflicts: 1670000 | #Constraints: 29478
3319.72/3328.30 c #Conflicts: 1671000 | #Constraints: 30478
3319.72/3328.30 c #Conflicts: 1672000 | #Constraints: 31478
3319.72/3328.30 c #Conflicts: 1673000 | #Constraints: 32478
3319.72/3328.30 c #Conflicts: 1674000 | #Constraints: 33478
3319.72/3328.30 c #Conflicts: 1675000 | #Constraints: 34478
3319.72/3328.30 c #Conflicts: 1676000 | #Constraints: 35478
3319.72/3328.30 c #Conflicts: 1677000 | #Constraints: 36478
3319.72/3328.30 c #Conflicts: 1678000 | #Constraints: 37478
3319.72/3328.30 c #Conflicts: 1679000 | #Constraints: 38478
3319.72/3328.30 c #Conflicts: 1680000 | #Constraints: 39478
3319.72/3328.30 c #Conflicts: 1681000 | #Constraints: 40478
3319.72/3328.30 c #Conflicts: 1682000 | #Constraints: 41478
3319.72/3328.30 c #Conflicts: 1683000 | #Constraints: 42478
3319.72/3328.30 c #Conflicts: 1684000 | #Constraints: 43478
3319.72/3328.30 c #Conflicts: 1685000 | #Constraints: 44478
3319.72/3328.30 c #Conflicts: 1686000 | #Constraints: 45478
3319.72/3328.30 c #Conflicts: 1687000 | #Constraints: 46478
3319.72/3328.30 c #Conflicts: 1688000 | #Constraints: 47478
3319.72/3328.30 c #Conflicts: 1689000 | #Constraints: 48478
3319.72/3328.30 c #Conflicts: 1690000 | #Constraints: 49478
3319.72/3328.30 c #Conflicts: 1691000 | #Constraints: 50478
3319.72/3328.30 c #Conflicts: 1692000 | #Constraints: 51478
3319.72/3328.30 c #Conflicts: 1693000 | #Constraints: 52478
3319.72/3328.30 c #Conflicts: 1694000 | #Constraints: 53478
3319.72/3328.30 c INPROCESSING
3319.72/3328.30 c GARBAGE COLLECT
3319.72/3328.30 c #Conflicts: 1695000 | #Constraints: 28680
3319.72/3328.30 c #Conflicts: 1696000 | #Constraints: 29680
3319.72/3328.30 c #Conflicts: 1697000 | #Constraints: 30680
3319.72/3328.30 c #Conflicts: 1698000 | #Constraints: 31680
3319.72/3328.30 c #Conflicts: 1699000 | #Constraints: 32680
3319.72/3328.30 c #Conflicts: 1700000 | #Constraints: 33680
3319.72/3328.30 c #Conflicts: 1701000 | #Constraints: 34680
3319.72/3328.30 c #Conflicts: 1702000 | #Constraints: 35680
3319.72/3328.30 c #Conflicts: 1703000 | #Constraints: 36680
3319.72/3328.30 c #Conflicts: 1704000 | #Constraints: 37680
3319.72/3328.30 c #Conflicts: 1705000 | #Constraints: 38680
3319.72/3328.30 c #Conflicts: 1706000 | #Constraints: 39680
3319.72/3328.30 c #Conflicts: 1707000 | #Constraints: 40680
3319.72/3328.30 c #Conflicts: 1708000 | #Constraints: 41680
3453.24/3462.28 c #Conflicts: 1709000 | #Constraints: 42680
3453.24/3462.28 c #Conflicts: 1710000 | #Constraints: 43680
3453.24/3462.28 c #Conflicts: 1711000 | #Constraints: 44680
3453.24/3462.28 c #Conflicts: 1712000 | #Constraints: 45680
3453.24/3462.28 c #Conflicts: 1713000 | #Constraints: 46680
3453.24/3462.28 c #Conflicts: 1714000 | #Constraints: 47680
3453.24/3462.28 c #Conflicts: 1715000 | #Constraints: 48680
3453.24/3462.28 c #Conflicts: 1716000 | #Constraints: 49680
3453.24/3462.28 c #Conflicts: 1717000 | #Constraints: 50680
3453.24/3462.28 c #Conflicts: 1718000 | #Constraints: 51680
3453.24/3462.28 c #Conflicts: 1719000 | #Constraints: 52680
3453.24/3462.28 c #Conflicts: 1720000 | #Constraints: 53680
3453.24/3462.28 c INPROCESSING
3453.24/3462.28 c GARBAGE COLLECT
3453.24/3462.28 c #Conflicts: 1721000 | #Constraints: 28673
3453.24/3462.28 c #Conflicts: 1722000 | #Constraints: 29673
3453.24/3462.28 c #Conflicts: 1723000 | #Constraints: 30673
3453.24/3462.28 c #Conflicts: 1724000 | #Constraints: 31673
3453.24/3462.28 c #Conflicts: 1725000 | #Constraints: 32673
3453.24/3462.28 c #Conflicts: 1726000 | #Constraints: 33673
3453.24/3462.28 c #Conflicts: 1727000 | #Constraints: 34673
3453.24/3462.28 c #Conflicts: 1728000 | #Constraints: 35673
3453.24/3462.28 c #Conflicts: 1729000 | #Constraints: 36673
3453.24/3462.28 c #Conflicts: 1730000 | #Constraints: 37673
3453.24/3462.28 c #Conflicts: 1731000 | #Constraints: 38673
3453.24/3462.28 c #Conflicts: 1732000 | #Constraints: 39673
3453.24/3462.28 c #Conflicts: 1733000 | #Constraints: 40673
3453.24/3462.28 c #Conflicts: 1734000 | #Constraints: 41673
3453.24/3462.28 c #Conflicts: 1735000 | #Constraints: 42673
3453.24/3462.28 c #Conflicts: 1736000 | #Constraints: 43673
3453.24/3462.28 c #Conflicts: 1737000 | #Constraints: 44673
3453.24/3462.28 c #Conflicts: 1738000 | #Constraints: 45673
3453.24/3462.28 c #Conflicts: 1739000 | #Constraints: 46673
3453.24/3462.28 c #Conflicts: 1740000 | #Constraints: 47673
3453.24/3462.28 c #Conflicts: 1741000 | #Constraints: 48673
3453.24/3462.28 c #Conflicts: 1742000 | #Constraints: 49673
3453.24/3462.28 c #Conflicts: 1743000 | #Constraints: 50673
3453.24/3462.28 c #Conflicts: 1744000 | #Constraints: 51673
3453.24/3462.28 c #Conflicts: 1745000 | #Constraints: 52673
3453.24/3462.28 c #Conflicts: 1746000 | #Constraints: 53673
3453.24/3462.28 c INPROCESSING
3453.24/3462.28 c GARBAGE COLLECT
3453.24/3462.28 c #Conflicts: 1747000 | #Constraints: 28478
3453.24/3462.28 c #Conflicts: 1748000 | #Constraints: 29478
3453.24/3462.28 c #Conflicts: 1749000 | #Constraints: 30478
3453.24/3462.28 c #Conflicts: 1750000 | #Constraints: 31478
3453.24/3462.28 c #Conflicts: 1751000 | #Constraints: 32478
3453.24/3462.28 c #Conflicts: 1752000 | #Constraints: 33478
3453.24/3462.28 c #Conflicts: 1753000 | #Constraints: 34478
3453.24/3462.28 c #Conflicts: 1754000 | #Constraints: 35478
3453.24/3462.28 c #Conflicts: 1755000 | #Constraints: 36478
3453.24/3462.28 c #Conflicts: 1756000 | #Constraints: 37478
3453.24/3462.28 c #Conflicts: 1757000 | #Constraints: 38478
3453.24/3462.28 c #Conflicts: 1758000 | #Constraints: 39478
3453.24/3462.28 c #Conflicts: 1759000 | #Constraints: 40478
3453.24/3462.28 c #Conflicts: 1760000 | #Constraints: 41478
3453.24/3462.28 c #Conflicts: 1761000 | #Constraints: 42478
3453.24/3462.28 c #Conflicts: 1762000 | #Constraints: 43478
3453.24/3462.28 c #Conflicts: 1763000 | #Constraints: 44478
3453.24/3462.28 c #Conflicts: 1764000 | #Constraints: 45478
3453.24/3462.28 c #Conflicts: 1765000 | #Constraints: 46478
3453.24/3462.28 c #Conflicts: 1766000 | #Constraints: 47478
3453.24/3462.28 c #Conflicts: 1767000 | #Constraints: 48478
3453.24/3462.28 c #Conflicts: 1768000 | #Constraints: 49478
3453.24/3462.28 c #Conflicts: 1769000 | #Constraints: 50478
3453.24/3462.28 c #Conflicts: 1770000 | #Constraints: 51478
3453.24/3462.28 c #Conflicts: 1771000 | #Constraints: 52478
3453.24/3462.28 c #Conflicts: 1772000 | #Constraints: 53478
3453.24/3462.28 c #Conflicts: 1773000 | #Constraints: 54478
3453.24/3462.28 c INPROCESSING
3453.24/3462.28 c GARBAGE COLLECT
3453.24/3462.28 c #Conflicts: 1774000 | #Constraints: 29078
3453.24/3462.28 c #Conflicts: 1775000 | #Constraints: 30078
3453.24/3462.28 c #Conflicts: 1776000 | #Constraints: 31078
3453.24/3462.28 c #Conflicts: 1777000 | #Constraints: 32078
3453.24/3462.28 c #Conflicts: 1778000 | #Constraints: 33078
3453.24/3462.28 c #Conflicts: 1779000 | #Constraints: 34078
3453.24/3462.28 c #Conflicts: 1780000 | #Constraints: 35078
3453.24/3462.28 c #Conflicts: 1781000 | #Constraints: 36078
3453.24/3462.28 c #Conflicts: 1782000 | #Constraints: 37078
3453.24/3462.28 c #Conflicts: 1783000 | #Constraints: 38078
3453.24/3462.28 c #Conflicts: 1784000 | #Constraints: 39078
3453.24/3462.28 c #Conflicts: 1785000 | #Constraints: 40078
3573.61/3582.92 c #Conflicts: 1786000 | #Constraints: 41078
3573.61/3582.92 c #Conflicts: 1787000 | #Constraints: 42078
3573.61/3582.92 c #Conflicts: 1788000 | #Constraints: 43078
3573.61/3582.92 c #Conflicts: 1789000 | #Constraints: 44078
3573.61/3582.92 c #Conflicts: 1790000 | #Constraints: 45078
3573.61/3582.92 c #Conflicts: 1791000 | #Constraints: 46078
3573.61/3582.92 c #Conflicts: 1792000 | #Constraints: 47078
3573.61/3582.92 c #Conflicts: 1793000 | #Constraints: 48078
3573.61/3582.92 c #Conflicts: 1794000 | #Constraints: 49078
3573.61/3582.92 c #Conflicts: 1795000 | #Constraints: 50078
3573.61/3582.92 c #Conflicts: 1796000 | #Constraints: 51078
3573.61/3582.92 c #Conflicts: 1797000 | #Constraints: 52078
3573.61/3582.92 c #Conflicts: 1798000 | #Constraints: 53078
3573.61/3582.92 c #Conflicts: 1799000 | #Constraints: 54078
3573.61/3582.92 c #Conflicts: 1800000 | #Constraints: 55078
3573.61/3582.92 c INPROCESSING
3573.61/3582.92 c GARBAGE COLLECT
3573.61/3582.92 c #Conflicts: 1801000 | #Constraints: 29484
3573.61/3582.92 c #Conflicts: 1802000 | #Constraints: 30484
3573.61/3582.92 c #Conflicts: 1803000 | #Constraints: 31484
3573.61/3582.92 c #Conflicts: 1804000 | #Constraints: 32484
3573.61/3582.92 c #Conflicts: 1805000 | #Constraints: 33484
3573.61/3582.92 c #Conflicts: 1806000 | #Constraints: 34484
3573.61/3582.92 c #Conflicts: 1807000 | #Constraints: 35484
3573.61/3582.92 c #Conflicts: 1808000 | #Constraints: 36484
3573.61/3582.92 c #Conflicts: 1809000 | #Constraints: 37484
3573.61/3582.92 c #Conflicts: 1810000 | #Constraints: 38484
3573.61/3582.92 c #Conflicts: 1811000 | #Constraints: 39484
3573.61/3582.92 c #Conflicts: 1812000 | #Constraints: 40484
3573.61/3582.92 c #Conflicts: 1813000 | #Constraints: 41484
3573.61/3582.92 c #Conflicts: 1814000 | #Constraints: 42484
3573.61/3582.92 c #Conflicts: 1815000 | #Constraints: 43484
3573.61/3582.92 c #Conflicts: 1816000 | #Constraints: 44484
3573.61/3582.92 c #Conflicts: 1817000 | #Constraints: 45484
3573.61/3582.92 c #Conflicts: 1818000 | #Constraints: 46484
3573.61/3582.92 c #Conflicts: 1819000 | #Constraints: 47484
3573.61/3582.92 c #Conflicts: 1820000 | #Constraints: 48484
3573.61/3582.92 c #Conflicts: 1821000 | #Constraints: 49484
3573.61/3582.92 c #Conflicts: 1822000 | #Constraints: 50484
3573.61/3582.92 c #Conflicts: 1823000 | #Constraints: 51484
3573.61/3582.92 c #Conflicts: 1824000 | #Constraints: 52484
3573.61/3582.92 c #Conflicts: 1825000 | #Constraints: 53484
3573.61/3582.92 c #Conflicts: 1826000 | #Constraints: 54484
3573.61/3582.92 c #Conflicts: 1827000 | #Constraints: 55484
3573.61/3582.92 c INPROCESSING
3573.61/3582.92 c GARBAGE COLLECT
3573.61/3582.92 c #Conflicts: 1828000 | #Constraints: 29691
3573.61/3582.92 c #Conflicts: 1829000 | #Constraints: 30691
3573.61/3582.92 c #Conflicts: 1830000 | #Constraints: 31691
3573.61/3582.92 c #Conflicts: 1831000 | #Constraints: 32691
3573.61/3582.92 c #Conflicts: 1832000 | #Constraints: 33691
3573.61/3582.92 c #Conflicts: 1833000 | #Constraints: 34691
3573.61/3582.92 c #Conflicts: 1834000 | #Constraints: 35691
3573.61/3582.92 c #Conflicts: 1835000 | #Constraints: 36691
3573.61/3582.92 c #Conflicts: 1836000 | #Constraints: 37691
3573.61/3582.92 c #Conflicts: 1837000 | #Constraints: 38691
3573.61/3582.92 c #Conflicts: 1838000 | #Constraints: 39691
3573.61/3582.92 c #Conflicts: 1839000 | #Constraints: 40691
3573.61/3582.92 c #Conflicts: 1840000 | #Constraints: 41691
3573.61/3582.92 c #Conflicts: 1841000 | #Constraints: 42691
3573.61/3582.92 c #Conflicts: 1842000 | #Constraints: 43691
3573.61/3582.92 c #Conflicts: 1843000 | #Constraints: 44691
3573.61/3582.92 c #Conflicts: 1844000 | #Constraints: 45691
3573.61/3582.92 c #Conflicts: 1845000 | #Constraints: 46691
3573.61/3582.92 c #Conflicts: 1846000 | #Constraints: 47691
3573.61/3582.92 c #Conflicts: 1847000 | #Constraints: 48691
3573.61/3582.92 c #Conflicts: 1848000 | #Constraints: 49691
3573.61/3582.92 c #Conflicts: 1849000 | #Constraints: 50691
3573.61/3582.92 c #Conflicts: 1850000 | #Constraints: 51691
3573.61/3582.92 c #Conflicts: 1851000 | #Constraints: 52691
3573.61/3582.92 c #Conflicts: 1852000 | #Constraints: 53691
3573.61/3582.92 c #Conflicts: 1853000 | #Constraints: 54691
3573.61/3582.92 c #Conflicts: 1854000 | #Constraints: 55691
3573.61/3582.92 c INPROCESSING
3573.61/3582.92 c GARBAGE COLLECT
3573.61/3582.92 c #Conflicts: 1855000 | #Constraints: 29674
3573.61/3582.92 c #Conflicts: 1856000 | #Constraints: 30674
3573.61/3582.92 c #Conflicts: 1857000 | #Constraints: 31674
3573.61/3582.92 c #Conflicts: 1858000 | #Constraints: 32674
3573.61/3582.92 c #Conflicts: 1859000 | #Constraints: 33674
3573.61/3582.92 c #Conflicts: 1860000 | #Constraints: 34674
3573.61/3582.92 c #Conflicts: 1861000 | #Constraints: 35674
3573.61/3582.92 c #Conflicts: 1862000 | #Constraints: 36674
3600.04/3609.40 c #Conflicts: 1863000 | #Constraints: 37674
3600.04/3609.40 c #Conflicts: 1864000 | #Constraints: 38674
3600.04/3609.40 c #Conflicts: 1865000 | #Constraints: 39674
3600.04/3609.40 c #Conflicts: 1866000 | #Constraints: 40674
3600.04/3609.40 c #Conflicts: 1867000 | #Constraints: 41674
3600.04/3609.40 c #Conflicts: 1868000 | #Constraints: 42674
3600.04/3609.40 c #Conflicts: 1869000 | #Constraints: 43674
3600.04/3609.40 c #Conflicts: 1870000 | #Constraints: 44674
3600.04/3609.40 c #Conflicts: 1871000 | #Constraints: 45674
3600.04/3609.40 c #Conflicts: 1872000 | #Constraints: 46674
3600.04/3609.40 c #Conflicts: 1873000 | #Constraints: 47674
3600.04/3609.40 c #Conflicts: 1874000 | #Constraints: 48674
3600.04/3609.40 c cpu time 3568.55 s
3600.04/3609.40 c deterministic time 5608684 5.61e+06
3600.04/3609.40 c optimization time 3567.82 s
3600.04/3609.40 c total solve time 0.412576 s
3600.04/3609.40 c core-guided solve time 0 s
3600.04/3609.40 c propagation time 0.240538 s
3600.04/3609.40 c conflict analysis time 0.026134 s
3600.04/3609.40 c propagations 524339
3600.04/3609.40 c resolve steps 0
3600.04/3609.40 c decisions 493939
3600.04/3609.40 c conflicts 8
3600.04/3609.40 c restarts 1
3600.04/3609.40 c inprocessing phases 0
3600.04/3609.40 c garbage collections 0 ,( -nan )
3600.04/3609.40 c input clauses 98738 ,( 98.20 )
3600.04/3609.40 c input cardinalities 1561 ,( 1.55 )
3600.04/3609.40 c input general constraints 247 ,( 0.25 )
3600.04/3609.40 c input average constraint length 19.63
3600.04/3609.40 c input average constraint degree 473020426072.97
3600.04/3609.40 c learned clauses 180 ,( 82.57 )
3600.04/3609.40 c learned cardinalities 0 ,( 0.00 )
3600.04/3609.40 c learned general constraints 38 ,( 17.43 )
3600.04/3609.40 c learned average constraint length 3.24
3600.04/3609.40 c learned average constraint degree 1.22
3600.04/3609.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3609.40 c counting CF 32, 64, 128, Arb: 81 , 205 , 0 , 0
3600.04/3609.40 c watched constraints 0 ,( 0.00 )
3600.04/3609.40 c counting constraints 285 ,( 100.00 )
3600.04/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283966 , 12186 , 1240011 ,( 0 , 1240011 )
3600.04/3609.40 c gcd simplifications 0
3600.04/3609.40 c detected cardinalities 0
3600.04/3609.40 c weakened non-implied lits 0
3600.04/3609.40 c weakened non-implying lits 0
3600.04/3609.40 c original variables 21101
3600.04/3609.40 c clausal propagations 273964
3600.04/3609.40 c cardinality propagations 170
3600.04/3609.40 c watched propagations 0
3600.04/3609.40 c counting propagations 20075
3600.04/3609.40 c watch lookups 3070471
3600.04/3609.40 c watch backjump lookups 0
3600.04/3609.40 c watch checks 144223
3600.04/3609.40 c propagation checks 350018
3600.04/3609.40 c constraint additions 5609
3600.04/3609.40 c trail pops 1017084
3600.04/3609.40 c formula constraints 99896
3600.04/3609.40 c learned constraints 218
3600.04/3609.40 c bound constraints 0
3600.04/3609.40 c core-guided constraints 0
3600.04/3609.40 c encountered formula constraints 8
3600.04/3609.40 c encountered learned constraints 0
3600.04/3609.40 c encountered bound constraints 0
3600.04/3609.40 c encountered core-guided constraints 0
3600.04/3609.40 c LP total time 0.197053 s
3600.04/3609.40 c LP solve time 0.15 s
3600.04/3609.40 c LP constraints added 99896
3600.04/3609.40 c LP constraints removed 0
3600.04/3609.40 c LP pivots internal 2000
3600.04/3609.40 c LP pivots root 1000
3600.04/3609.40 c LP calls 2
3600.04/3609.40 c LP optimalities 0
3600.04/3609.40 c LP no pivot count 0
3600.04/3609.40 c LP infeasibilities 0
3600.04/3609.40 c LP valid Farkas constraints 0
3600.04/3609.40 c LP learned Farkas constraints 0
3600.04/3609.40 c LP basis resets 0
3600.04/3609.40 c LP cycling count 0
3600.04/3609.40 c LP singular count 0
3600.04/3609.40 c LP no primal count 0
3600.04/3609.40 c LP no farkas count 0
3600.04/3609.40 c LP other issue count 0
3600.04/3609.40 c LP Gomory cuts 0
3600.04/3609.40 c LP learned cuts 0
3600.04/3609.40 c LP deleted cuts 0
3600.04/3609.40 c LP encountered Gomory constraints 0
3600.04/3609.40 c LP encountered Farkas constraints 0
3600.04/3609.40 c LP encountered learned Farkas constraints 0
3600.04/3609.40 c CG auxiliary variables introduced 228
3600.04/3609.40 c CG solutions found 0
3600.04/3609.40 c CG cores constructed 218
3600.04/3609.40 c CG core cardinality constraints returned 0
3600.04/3609.40 c CG unit cores 0
3600.04/3609.40 c CG single cores 0
3600.04/3609.40 c CG blocks removed during cardinality reduction 0
3600.04/3609.40 c CG first core best 0
3600.04/3609.40 c CG decision core best 0
3600.04/3609.40 c CG core reduction tie 0
3600.04/3609.40 c CG core degree average 0.00
3600.04/3609.40 c CG core slack average 0.00
3600.04/3609.40 c CG core upper bound improvements 0
3600.04/3609.40 c STR number of successful calls 0
3600.04/3609.40 c STR number of unsuccessful calls 0
3600.04/3609.40 c STR number of inconclusive calls 0
3600.04/3609.40 c STR number of successful attempts 0
3600.04/3609.40 c STR number of unsuccessful attempts 0
3600.04/3609.40 c STR number of inconclusive attempts 0
3600.04/3609.40 c STR average degree increase per successful call inf
3600.04/3609.40 c STR average degree increase per successful attempt inf
3600.04/3609.40 c STR total number of conflicts for successful attempts 0
3600.04/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.40 c STR average number of conflicts per successful attempt inf
3600.04/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.40 c AVG.sumWPerc 95.92
3600.04/3609.40 c bigint constraints 205
3600.04/3609.40 s UNKNOWN
3600.04/3609.40 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 (60875 MiB free)
memory of node 1: 64465 MiB (62551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500684-1751470100/watcher-4500684-1751470100 -o /tmp/evaluation-result-4500684-1751470100/solver-4500684-1751470100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66044 --watchdog 3760 run-opt.sh HOME/instance-4500684-1751470100.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66794, runsolver pid=66791
[startup+0.100058 s]*
/proc/loadavg: 4.07 4.10 4.08 5/268 66796
/proc/meminfo: memFree=126384728/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=61232 memory=16340 CPUtime=0.08 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 2301 0 0 0 5 3 0 0 20 0 1 0 62686588 62701568 4085 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 15308 4085 1920 1147 0 2735 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65424 KiB
Current children cumulated memory: 19412 KiB
[startup+0.205624 s]*
/proc/loadavg: 4.07 4.10 4.08 5/268 66796
/proc/meminfo: memFree=126380948/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=64988 memory=21484 CPUtime=0.19 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 3076 0 0 0 13 6 0 0 20 0 1 0 62686588 66547712 5371 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 16247 5371 1920 1147 0 3674 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69180 KiB
Current children cumulated memory: 24556 KiB
[startup+0.305076 s]*
/proc/loadavg: 4.07 4.10 4.08 5/268 66796
/proc/meminfo: memFree=126353540/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=93408 memory=44500 CPUtime=0.29 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 6706 0 0 0 21 8 0 0 20 0 1 0 62686588 95649792 11125 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 23352 11125 2272 1147 0 10779 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97600 KiB
Current children cumulated memory: 47572 KiB
[startup+0.700193 s]
/proc/loadavg: 4.07 4.10 4.08 5/268 66796
/proc/meminfo: memFree=126260664/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=213924 memory=146876 CPUtime=0.68 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 18209 0 0 0 53 15 0 0 20 0 1 0 62686588 219058176 36719 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 53481 36719 2400 1147 0 40908 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 218116 KiB
Current children cumulated memory: 149948 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.10 4.08 6/268 66796
/proc/meminfo: memFree=126252600/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=219396 memory=153276 CPUtime=1.47 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 19812 0 0 0 85 62 0 0 20 0 1 0 62686588 224661504 38319 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 54849 38319 2400 1147 0 42276 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 223588 KiB
Current children cumulated memory: 156348 KiB
[startup+3.10552 s]
/proc/loadavg: 4.07 4.10 4.08 6/268 66796
/proc/meminfo: memFree=126159540/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=362880 memory=277064 CPUtime=3.07 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 41054 0 0 0 188 119 0 0 20 0 1 0 62686588 371589120 69266 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 90720 69266 2400 1147 0 78147 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 367072 KiB
Current children cumulated memory: 280136 KiB
[startup+6.30019 s]
/proc/loadavg: 4.06 4.10 4.08 6/268 66796
/proc/meminfo: memFree=125909600/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=529980 memory=413080 CPUtime=6.26 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 67406 0 0 0 464 162 0 0 20 0 1 0 62686588 542699520 103270 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 132495 103270 2400 1147 0 119922 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 534172 KiB
Current children cumulated memory: 416152 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.08 6/268 66796
/proc/meminfo: memFree=125634488/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=534180 memory=461276 CPUtime=12.65 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 74353 0 0 0 1061 204 0 0 20 0 1 0 62686588 547000320 115319 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 133545 115319 2400 1147 0 120972 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 538372 KiB
Current children cumulated memory: 464348 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.09 4.08 6/268 66796
/proc/meminfo: memFree=125141692/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=797260 memory=633896 CPUtime=25.42 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 110382 0 0 0 2288 254 0 0 20 0 1 0 62686588 816394240 158474 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 199315 158474 2400 1147 0 186742 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 801452 KiB
Current children cumulated memory: 636968 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.10 4.08 6/269 66798
/proc/meminfo: memFree=124967156/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=882252 memory=694832 CPUtime=50.97 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 118970 0 0 0 4761 336 0 0 20 0 1 0 62686588 903426048 173708 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 220563 173708 2400 1147 0 207990 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 886444 KiB
Current children cumulated memory: 697904 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.08 6/269 66800
/proc/meminfo: memFree=124526620/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=1428360 memory=1076252 CPUtime=102.04 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 194431 0 0 0 9738 466 0 0 20 0 1 0 62686588 1462640640 269063 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 357090 269063 2400 1147 0 344517 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1432552 KiB
Current children cumulated memory: 1079324 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.08 6/269 66803
/proc/meminfo: memFree=124009392/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=1430664 memory=1144628 CPUtime=161.9 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 203355 0 0 0 15596 594 0 0 20 0 1 0 62686588 1464999936 286157 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 357666 286157 2400 1147 0 345093 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1434856 KiB
Current children cumulated memory: 1147700 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.08 6/269 66805
/proc/meminfo: memFree=123729304/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=1435152 memory=1181816 CPUtime=221.77 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 208595 0 0 0 21474 703 0 0 20 0 1 0 62686588 1469595648 295454 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 358788 295454 2400 1147 0 346215 0
Current children cumulated CPU time: 221.77 s
################
# More data... #
################
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=2937204 memory=2542336 CPUtime=3094.36 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 447672 0 0 0 306643 2793 0 0 20 0 1 0 62686588 3007696896 635584 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 734301 635584 2400 1147 0 721728 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 2941396 KiB
Current children cumulated memory: 2545408 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.13 6/268 67004
/proc/meminfo: memFree=116814256/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=2937204 memory=2545920 CPUtime=3154.18 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 447734 0 0 0 312611 2807 0 0 20 0 1 0 62686588 3007696896 636480 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 734301 636480 2400 1147 0 721728 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 2941396 KiB
Current children cumulated memory: 2548992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.13 7/268 67005
/proc/meminfo: memFree=116749484/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=2937204 memory=2546304 CPUtime=3214.01 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 447897 0 0 0 318550 2851 0 0 20 0 1 0 62686588 3007696896 636576 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 734301 636576 2400 1147 0 721728 0
Current children cumulated CPU time: 3214.01 s
Current children cumulated vsize: 2941396 KiB
Current children cumulated memory: 2549376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.13 6/268 67007
/proc/meminfo: memFree=116545752/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=2938740 memory=2675096 CPUtime=3273.85 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 463752 0 0 0 324495 2890 0 0 20 0 1 0 62686588 3009269760 668774 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 734685 668774 2400 1147 0 722112 0
Current children cumulated CPU time: 3273.85 s
Current children cumulated vsize: 2942932 KiB
Current children cumulated memory: 2678168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.21 4.16 6/268 67009
/proc/meminfo: memFree=116476500/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=2945908 memory=2701800 CPUtime=3333.68 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 467965 0 0 0 330429 2939 0 0 20 0 1 0 62686588 3016609792 675450 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 736477 675450 2400 1147 0 723904 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 2950100 KiB
Current children cumulated memory: 2704872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.20 4.16 7/268 67011
/proc/meminfo: memFree=114773108/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=4558732 memory=3566108 CPUtime=3393.51 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 677470 0 0 0 336338 3013 0 0 20 0 1 0 62686588 4668141568 891527 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 1139683 891527 2400 1147 0 1127110 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 4562924 KiB
Current children cumulated memory: 3569180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.16 7/268 67020
/proc/meminfo: memFree=114800212/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=4558732 memory=3566236 CPUtime=3453.34 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 677516 0 0 0 342283 3051 0 0 20 0 1 0 62686588 4668141568 891559 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 1139683 891559 2400 1147 0 1127110 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 4562924 KiB
Current children cumulated memory: 3569308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.15 7/267 67022
/proc/meminfo: memFree=114750024/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=4559756 memory=3582320 CPUtime=3513.18 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 679546 0 0 0 348217 3101 0 0 20 0 1 0 62686588 4669190144 895580 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 1139939 895580 2400 1147 0 1127366 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 4563948 KiB
Current children cumulated memory: 3585392 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/267 67115
/proc/meminfo: memFree=120345408/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=4577164 memory=3660304 CPUtime=3573.01 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 690964 0 0 0 354160 3141 0 0 20 0 1 0 62686588 4687015936 915076 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 1144291 915076 2400 1147 0 1131718 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 4581356 KiB
Current children cumulated memory: 3663376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.07 4.13 4.14 5/267 67116
/proc/meminfo: memFree=120168256/131250000 swapFree=33010672/33010684
[pid=66794] ppid=66791 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66794/stat : 66794 (run-opt.sh) S 66791 66794 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62686587 4292608 768 18446744073709551615 94554821500928 94554822395461 140735345440512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94554822634512 94554822682256 94554825547776 140735345449325 140735345449448 140735345449448 140735345455050 0
/proc/66794/statm: 1048 768 704 219 0 110 0
[pid=66796] ppid=66794 vsize=4577164 memory=3660304 CPUtime=3600.04 cores=1,3
/proc/66796/stat : 66796 (roundingsat) R 66794 66794 66032 0 -1 4194304 690973 0 0 0 356854 3150 0 0 20 0 1 0 62686588 4687015936 915076 18446744073709551615 4227072 8923433 140731324750816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10223616 140731324754338 140731324754472 140731324754472 140731324760042 0
/proc/66796/statm: 1144291 915076 2400 1147 0 1131718 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4581356 KiB
Current children cumulated memory: 3663376 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 66794 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002064 s, system=0 s
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 66796 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.55 s, system=31.6089 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]*
/proc/loadavg: 4.07 4.13 4.14 5/266 67116
/proc/meminfo: memFree=122893768/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002064 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): 3609.51
CPU time (s): 3600.16
CPU user time (s): 3568.55
CPU system time (s): 31.6089
CPU usage (%): 99.7409
Max. virtual memory (cumulated for all children) (KiB): 4581356
Max. memory (cumulated for all children) (KiB): 3663376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.55
system time used= 31.6089
maximum resident set size= 3660688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691202
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= 317
involuntary context switches= 5359
# summary of solver processes directly reported to runsolver:
# pid: 66794,66796
# total CPU time (s): 3600.16
# total CPU user time (s): 3568.55
# total CPU system time (s): 31.6089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52691 second user time and 16.037 second system time
The end
Begin job on nodeC014 at 2025-07-02 17:28:20
IDJOB=4500684
IDBENCH=150940
IDSOLVER=3350
FILE ID=nodeC014/4500684-1751470100
RUNJOBID= nodeC014-1751466415-66044
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-libgnokii4.cudf.trendy.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500684-1751470100/watcher-4500684-1751470100 -o /tmp/evaluation-result-4500684-1751470100/solver-4500684-1751470100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66044 --watchdog 3760 run-opt.sh HOME/instance-4500684-1751470100.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a5666098a85f635130919a69a093a113
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.022
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 : 3601.256
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 : 3598.777
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.119
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.113
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.120
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.384
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.561
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: 126389228 kB
MemAvailable: 128127364 kB
Buffers: 2508 kB
Cached: 2533900 kB
SwapCached: 4 kB
Active: 2234140 kB
Inactive: 1986484 kB
Active(anon): 1698428 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1982632 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10732 kB
Writeback: 56 kB
AnonPages: 1687348 kB
Mapped: 117736 kB
Shmem: 18064 kB
KReclaimable: 118064 kB
Slab: 208820 kB
SReclaimable: 118064 kB
SUnreclaim: 90756 kB
KernelStack: 4336 kB
PageTables: 6772 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2307628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 313344 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:28:30