0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.39/0.42 c #variables 21101 #constraints 99896
0.39/0.42 c objective is ce64
0.39/0.43 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.39/0.43 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.39/0.43 c GLOBAL bounds - >= 0 @ 0.31246
0.39/0.45 c GLOBAL bounds - >= 0 @ 0.321838
0.39/0.45 c GLOBAL bounds - >= 475379834250 @ 0.322213
0.58/0.68 c GLOBAL bounds - >= 475379834250 @ 0.521684
0.68/0.70 c GLOBAL bounds - >= 475379834250 @ 0.532248
0.68/0.70 c GLOBAL bounds - >= 475379834250 @ 0.532811
0.68/0.72 c GLOBAL bounds - >= 475379834250 @ 0.540418
0.68/0.72 c GLOBAL bounds - >= 475379834250 @ 0.540932
0.68/0.74 c GLOBAL bounds - >= 475379834250 @ 0.549874
0.68/0.74 c GLOBAL bounds - >= 475379834250 @ 0.550328
0.68/0.76 c GLOBAL bounds - >= 475379834250 @ 0.558648
0.68/0.76 c GLOBAL bounds - >= 475379834250 @ 0.559229
0.68/0.78 c GLOBAL bounds - >= 475379834250 @ 0.565387
0.68/0.78 c GLOBAL bounds - >= 475379834250 @ 0.565765
0.78/0.80 c GLOBAL bounds - >= 475379834250 @ 0.573866
0.78/0.80 c GLOBAL bounds - >= 475379834250 @ 0.574449
0.78/0.82 c GLOBAL bounds - >= 475379834250 @ 0.58661
0.78/0.82 c GLOBAL bounds - >= 475379834250 @ 0.587285
0.78/0.84 c GLOBAL bounds - >= 475379834250 @ 0.594821
0.78/0.84 c GLOBAL bounds - >= 475379834250 @ 0.595449
0.78/0.86 c GLOBAL bounds - >= 475379834250 @ 0.600696
0.78/0.86 c GLOBAL bounds - >= 475379834250 @ 0.601338
0.78/0.88 c GLOBAL bounds - >= 475379834250 @ 0.607573
0.87/0.90 c GLOBAL bounds - >= 475379834250 @ 0.618351
0.87/0.91 c GLOBAL bounds - >= 475379834250 @ 0.621558
0.87/0.93 c GLOBAL bounds - >= 475379834250 @ 0.630258
0.87/0.95 c GLOBAL bounds - >= 475379834250 @ 0.636505
0.87/0.97 c GLOBAL bounds - >= 475379834250 @ 0.64469
0.87/0.98 c GLOBAL bounds - >= 713143539475 @ 0.65136
0.87/0.98 c GLOBAL bounds - >= 713143539475 @ 0.655558
0.87/0.98 c GLOBAL bounds - >= 713143539475 @ 0.655578
0.98/1.00 c GLOBAL bounds - >= 713143539475 @ 0.663286
0.98/1.00 c GLOBAL bounds - >= 713143539475 @ 0.663573
0.98/1.02 c GLOBAL bounds - >= 713143539475 @ 0.670921
0.98/1.02 c GLOBAL bounds - >= 713143539475 @ 0.671981
0.98/1.04 c GLOBAL bounds - >= 713143539475 @ 0.680824
0.98/1.04 c GLOBAL bounds - >= 713143539475 @ 0.681476
0.98/1.06 c GLOBAL bounds - >= 713143539475 @ 0.687212
0.98/1.06 c GLOBAL bounds - >= 713143539475 @ 0.687793
0.98/1.08 c GLOBAL bounds - >= 713143539475 @ 0.695363
0.98/1.08 c GLOBAL bounds - >= 713143539475 @ 0.696066
1.08/1.10 c GLOBAL bounds - >= 713143539475 @ 0.70263
1.08/1.11 c GLOBAL bounds - >= 713143539475 @ 0.703309
1.08/1.12 c GLOBAL bounds - >= 713143539475 @ 0.711418
1.08/1.12 c GLOBAL bounds - >= 713143539475 @ 0.711957
1.08/1.14 c GLOBAL bounds - >= 713143539475 @ 0.718655
1.08/1.15 c GLOBAL bounds - >= 713143539475 @ 0.719489
1.08/1.16 c GLOBAL bounds - >= 713143539475 @ 0.724602
1.08/1.17 c GLOBAL bounds - >= 713143539475 @ 0.72523
1.08/1.18 c GLOBAL bounds - >= 713143539475 @ 0.731345
1.17/1.21 c GLOBAL bounds - >= 713143539475 @ 0.737383
1.17/1.22 c GLOBAL bounds - >= 713143539475 @ 0.741687
1.17/1.23 c GLOBAL bounds - >= 713143539475 @ 0.74814
1.17/1.25 c GLOBAL bounds - >= 713143539475 @ 0.751633
1.17/1.26 c GLOBAL bounds - >= 713143539475 @ 0.757064
1.17/1.27 c GLOBAL bounds - >= 713143539475 @ 0.761612
1.17/1.29 c GLOBAL bounds - >= 713143539475 @ 0.763323
1.27/1.30 c GLOBAL bounds - >= 713143539475 @ 0.768614
1.27/1.32 c GLOBAL bounds - >= 713143539475 @ 0.7772
1.27/1.34 c GLOBAL bounds - >= 713143539475 @ 0.792439
1.27/1.35 c GLOBAL bounds - >= 713143539475 @ 0.797883
1.27/1.37 c GLOBAL bounds - >= 713143539475 @ 0.803784
1.27/1.37 c GLOBAL bounds - >= 792336617800 @ 0.805876
1.27/1.38 c GLOBAL bounds - >= 792336617800 @ 0.80986
1.27/1.38 c GLOBAL bounds - >= 792336617800 @ 0.810216
1.27/1.38 c GLOBAL bounds - >= 792336617800 @ 0.810216
1.37/1.40 c GLOBAL bounds - >= 792336617800 @ 0.81653
1.37/1.40 c GLOBAL bounds - >= 792336617800 @ 0.816982
1.37/1.42 c GLOBAL bounds - >= 792336617800 @ 0.826446
1.37/1.42 c GLOBAL bounds - >= 792336617800 @ 0.82721
1.37/1.43 c GLOBAL bounds - >= 792336617800 @ 0.834162
1.37/1.44 c GLOBAL bounds - >= 792336617800 @ 0.834162
1.37/1.45 c GLOBAL bounds - >= 792336617800 @ 0.836421
1.37/1.45 c GLOBAL bounds - >= 792336617800 @ 0.836975
1.37/1.48 c GLOBAL bounds - >= 792336617800 @ 0.846955
1.37/1.48 c GLOBAL bounds - >= 792336617800 @ 0.847788
1.37/1.50 c GLOBAL bounds - >= 792336617800 @ 0.853966
1.47/1.50 c GLOBAL bounds - >= 792336617800 @ 0.854696
1.47/1.52 c GLOBAL bounds - >= 792336617800 @ 0.862903
1.47/1.52 c GLOBAL bounds - >= 792336617800 @ 0.862903
1.47/1.54 c GLOBAL bounds - >= 792336617800 @ 0.871968
1.47/1.54 c GLOBAL bounds - >= 792336617800 @ 0.871968
1.47/1.56 c GLOBAL bounds - >= 792336617800 @ 0.879824
1.47/1.56 c GLOBAL bounds - >= 792336617800 @ 0.8806
1.47/1.58 c GLOBAL bounds - >= 792336617800 @ 0.88674
1.57/1.60 c GLOBAL bounds - >= 792336617800 @ 0.893478
1.57/1.62 c GLOBAL bounds - >= 792336617800 @ 0.905058
1.57/1.63 c GLOBAL bounds - >= 1109330295400 @ 0.91518
1.57/1.65 c GLOBAL bounds - >= 1109330295400 @ 0.93192
1.57/1.67 c GLOBAL bounds - >= 1109330295400 @ 0.93626
1.57/1.67 c GLOBAL bounds - >= 1109330295400 @ 0.937055
1.57/1.69 c GLOBAL bounds - >= 1109330295400 @ 0.9456
1.57/1.69 c GLOBAL bounds - >= 1109330295400 @ 0.946214
1.68/1.71 c GLOBAL bounds - >= 1109330295400 @ 0.95548
1.68/1.71 c GLOBAL bounds - >= 1109330295400 @ 0.956477
1.68/1.73 c GLOBAL bounds - >= 1109330295400 @ 0.96499
1.68/1.73 c GLOBAL bounds - >= 1109330295400 @ 0.965535
1.68/1.75 c GLOBAL bounds - >= 1109330295400 @ 0.97365
1.68/1.75 c GLOBAL bounds - >= 1109330295400 @ 0.97365
1.68/1.77 c GLOBAL bounds - >= 1109330295400 @ 0.981565
1.68/1.77 c GLOBAL bounds - >= 1109330295400 @ 0.98247
1.68/1.79 c GLOBAL bounds - >= 1109330295400 @ 0.990918
1.68/1.79 c GLOBAL bounds - >= 1109330295400 @ 0.991972
1.77/1.81 c GLOBAL bounds - >= 1109330295400 @ 0.998504
1.77/1.82 c GLOBAL bounds - >= 1109330295400 @ 0.998684
1.77/1.83 c GLOBAL bounds - >= 1109330295400 @ 1.00465
1.77/1.84 c GLOBAL bounds - >= 1109330295400 @ 1.00565
1.77/1.85 c GLOBAL bounds - >= 1109330295400 @ 1.01297
1.88/1.90 c GLOBAL bounds - >= 1109330295400 @ 1.03988
1.88/1.95 c GLOBAL bounds - >= 1109330295400 @ 1.07606
1.97/2.00 c GLOBAL bounds - >= 1188689396950 @ 1.1288
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.13554
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.13622
1.97/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.13699
1.97/2.03 c GLOBAL bounds - >= 1188689396950 @ 1.14369
1.97/2.03 c GLOBAL bounds - >= 1188689396950 @ 1.14434
1.97/2.05 c GLOBAL bounds - >= 1188689396950 @ 1.15016
1.97/2.05 c GLOBAL bounds - >= 1188689396950 @ 1.15032
1.97/2.07 c GLOBAL bounds - >= 1188689396950 @ 1.16367
1.97/2.07 c GLOBAL bounds - >= 1188689396950 @ 1.16429
1.97/2.09 c GLOBAL bounds - >= 1188689396950 @ 1.17289
1.97/2.09 c GLOBAL bounds - >= 1188689396950 @ 1.1738
2.07/2.11 c GLOBAL bounds - >= 1188689396950 @ 1.18338
2.07/2.12 c GLOBAL bounds - >= 1188689396950 @ 1.1843
2.07/2.14 c GLOBAL bounds - >= 1188689396950 @ 1.19204
2.07/2.14 c GLOBAL bounds - >= 1188689396950 @ 1.19296
2.07/2.16 c GLOBAL bounds - >= 1188689396950 @ 1.19968
2.07/2.16 c GLOBAL bounds - >= 1188689396950 @ 1.20068
2.07/2.18 c GLOBAL bounds - >= 1188689396950 @ 1.20937
2.07/2.18 c GLOBAL bounds - >= 1188689396950 @ 1.21047
2.17/2.20 c GLOBAL bounds - >= 1188689396950 @ 1.21822
2.17/2.20 c GLOBAL bounds - >= 1188689396950 @ 1.21961
2.17/2.22 c GLOBAL bounds - >= 1188689396950 @ 1.2258
2.17/2.29 c GLOBAL bounds - >= 1188689396950 @ 1.27926
2.37/2.41 c GLOBAL bounds - >= 1188689396950 @ 1.38208
2.37/2.45 c GLOBAL bounds - >= 1188689396950 @ 1.41519
2.37/2.49 c GLOBAL bounds - >= 1188689396950 @ 1.43635
2.67/2.74 c GLOBAL bounds - >= 1347241576825 @ 1.6738
2.67/2.75 c GLOBAL bounds - >= 1347241576825 @ 1.68291
2.67/2.77 c GLOBAL bounds - >= 1347241576825 @ 1.68794
2.67/2.77 c GLOBAL bounds - >= 1347241576825 @ 1.68923
2.67/2.79 c GLOBAL bounds - >= 1347241576825 @ 1.6987
2.67/2.79 c GLOBAL bounds - >= 1347241576825 @ 1.69908
2.77/2.81 c GLOBAL bounds - >= 1347241576825 @ 1.7097
2.77/2.82 c GLOBAL bounds - >= 1347241576825 @ 1.711
2.77/2.84 c GLOBAL bounds - >= 1347241576825 @ 1.72049
2.77/2.84 c GLOBAL bounds - >= 1347241576825 @ 1.72083
2.77/2.86 c GLOBAL bounds - >= 1347241576825 @ 1.72681
2.77/2.86 c GLOBAL bounds - >= 1347241576825 @ 1.72781
2.77/2.88 c GLOBAL bounds - >= 1347241576825 @ 1.73657
2.77/2.88 c GLOBAL bounds - >= 1347241576825 @ 1.73679
2.87/2.90 c GLOBAL bounds - >= 1347241576825 @ 1.74559
2.87/2.90 c GLOBAL bounds - >= 1347241576825 @ 1.74678
2.87/2.92 c GLOBAL bounds - >= 1347241576825 @ 1.75913
2.87/2.92 c GLOBAL bounds - >= 1347241576825 @ 1.76038
2.87/2.94 c GLOBAL bounds - >= 1347241576825 @ 1.76567
2.87/2.95 c GLOBAL bounds - >= 1347241576825 @ 1.76696
2.87/2.97 c GLOBAL bounds - >= 1347241576825 @ 1.77542
3.57/3.66 c #Conflicts: 1000 | #Constraints: 2411
3.57/3.66 c GLOBAL bounds - >= 1347426047075 @ 2.41292
3.57/3.67 c GLOBAL bounds - >= 1347426047075 @ 2.42116
3.57/3.69 c GLOBAL bounds - >= 1347426047075 @ 2.42701
3.57/3.69 c GLOBAL bounds - >= 1347426047075 @ 2.42823
3.67/3.71 c GLOBAL bounds - >= 1347426047075 @ 2.43798
3.67/3.71 c GLOBAL bounds - >= 1347426047075 @ 2.43913
3.67/3.73 c GLOBAL bounds - >= 1347426047075 @ 2.44684
3.67/3.73 c GLOBAL bounds - >= 1347426047075 @ 2.44792
3.67/3.75 c GLOBAL bounds - >= 1347426047075 @ 2.45719
3.67/3.75 c GLOBAL bounds - >= 1347426047075 @ 2.45853
3.67/3.77 c GLOBAL bounds - >= 1347426047075 @ 2.46452
3.67/3.78 c GLOBAL bounds - >= 1347426047075 @ 2.46548
3.77/3.80 c GLOBAL bounds - >= 1347426047075 @ 2.47339
3.77/3.80 c GLOBAL bounds - >= 1347426047075 @ 2.47466
3.77/3.82 c GLOBAL bounds - >= 1347426047075 @ 2.48283
3.77/3.82 c GLOBAL bounds - >= 1347426047075 @ 2.48382
3.77/3.84 c GLOBAL bounds - >= 1347426047075 @ 2.48947
3.77/3.84 c GLOBAL bounds - >= 1347426047075 @ 2.48982
3.77/3.86 c GLOBAL bounds - >= 1347426047075 @ 2.499
3.77/3.86 c GLOBAL bounds - >= 1347426047075 @ 2.50045
3.77/3.88 c GLOBAL bounds - >= 1347426047075 @ 2.50784
3.87/3.90 c GLOBAL bounds - >= 1347426047075 @ 2.51376
3.87/3.93 c GLOBAL bounds - >= 1347426047075 @ 2.52666
4.27/4.35 c #Conflicts: 2000 | #Constraints: 3450
4.27/4.35 c INPROCESSING
4.27/4.35 c GARBAGE COLLECT
4.27/4.35 c GLOBAL bounds - >= 1347573623275 @ 2.92903
4.27/4.37 c GLOBAL bounds - >= 1347573623275 @ 2.94144
4.27/4.39 c GLOBAL bounds - >= 1347573623275 @ 2.95047
4.27/4.39 c GLOBAL bounds - >= 1347573623275 @ 2.95178
4.36/4.41 c GLOBAL bounds - >= 1347573623275 @ 2.96116
4.36/4.41 c GLOBAL bounds - >= 1347573623275 @ 2.9624
4.36/4.43 c GLOBAL bounds - >= 1347573623275 @ 2.96894
4.36/4.43 c GLOBAL bounds - >= 1347573623275 @ 2.97031
4.36/4.45 c GLOBAL bounds - >= 1347573623275 @ 2.97688
4.36/4.45 c GLOBAL bounds - >= 1347573623275 @ 2.97805
4.36/4.47 c GLOBAL bounds - >= 1347573623275 @ 2.9835
4.36/4.47 c GLOBAL bounds - >= 1347573623275 @ 2.98383
4.36/4.49 c GLOBAL bounds - >= 1347573623275 @ 2.99038
4.36/4.49 c GLOBAL bounds - >= 1347573623275 @ 2.99059
4.47/4.51 c GLOBAL bounds - >= 1347573623275 @ 2.99625
4.47/4.51 c GLOBAL bounds - >= 1347573623275 @ 2.99658
4.47/4.53 c GLOBAL bounds - >= 1347573623275 @ 3.00486
4.47/4.53 c GLOBAL bounds - >= 1347573623275 @ 3.00557
4.47/4.55 c GLOBAL bounds - >= 1347573623275 @ 3.01488
4.47/4.55 c GLOBAL bounds - >= 1347573623275 @ 3.01555
4.47/4.57 c GLOBAL bounds - >= 1347573623275 @ 3.02518
4.47/4.59 c GLOBAL bounds - >= 1347573623275 @ 3.03351
8.65/8.70 c #Conflicts: 3000 | #Constraints: 3452
8.65/8.70 c #Conflicts: 4000 | #Constraints: 4452
8.65/8.70 c INPROCESSING
8.65/8.70 c GARBAGE COLLECT
8.65/8.70 c #Conflicts: 5000 | #Constraints: 3852
8.65/8.70 c #Conflicts: 6000 | #Constraints: 4852
8.65/8.70 c INPROCESSING
8.65/8.70 c GARBAGE COLLECT
8.65/8.70 c GLOBAL bounds - >= 1426951171850 @ 6.95645
8.65/8.71 c GLOBAL bounds - >= 1426951171850 @ 6.96753
8.65/8.71 c GLOBAL bounds - >= 1426951171850 @ 6.96771
8.65/8.73 c GLOBAL bounds - >= 1426951171850 @ 6.97905
8.65/8.74 c GLOBAL bounds - >= 1426951171850 @ 6.9797
8.65/8.76 c GLOBAL bounds - >= 1426951171850 @ 6.98821
8.65/8.76 c GLOBAL bounds - >= 1426951171850 @ 6.98848
8.65/8.78 c GLOBAL bounds - >= 1426951171850 @ 6.99421
8.65/8.78 c GLOBAL bounds - >= 1426951171850 @ 6.99546
8.75/8.80 c GLOBAL bounds - >= 1426951171850 @ 7.00589
8.75/8.80 c GLOBAL bounds - >= 1426951171850 @ 7.00759
8.75/8.82 c GLOBAL bounds - >= 1426951171850 @ 7.01519
8.75/8.82 c GLOBAL bounds - >= 1426951171850 @ 7.01641
8.75/8.85 c GLOBAL bounds - >= 1426951171850 @ 7.02344
8.75/8.85 c GLOBAL bounds - >= 1426951171850 @ 7.02439
8.75/8.87 c GLOBAL bounds - >= 1426951171850 @ 7.03367
8.75/8.87 c GLOBAL bounds - >= 1426951171850 @ 7.03547
8.75/8.89 c GLOBAL bounds - >= 1426951171850 @ 7.04417
8.75/8.89 c GLOBAL bounds - >= 1426951171850 @ 7.04535
8.85/8.91 c GLOBAL bounds - >= 1426951171850 @ 7.0524
8.85/8.91 c GLOBAL bounds - >= 1426951171850 @ 7.05334
8.85/8.93 c GLOBAL bounds - >= 1426951171850 @ 7.05774
8.85/8.95 c GLOBAL bounds - >= 1426951171850 @ 7.06355
8.85/8.97 c GLOBAL bounds - >= 1426951171850 @ 7.06731
8.85/8.99 c GLOBAL bounds - >= 1426951171850 @ 7.07395
8.96/9.00 c GLOBAL bounds - >= 1426951171850 @ 7.08222
8.96/9.04 c GLOBAL bounds - >= 1426951171850 @ 7.10544
8.96/9.06 c GLOBAL bounds - >= 1426951171850 @ 7.11896
8.96/9.08 c GLOBAL bounds - >= 1426951171850 @ 7.1296
13.75/13.81 c #Conflicts: 7000 | #Constraints: 3916
13.75/13.81 c #Conflicts: 8000 | #Constraints: 4916
13.75/13.81 c #Conflicts: 9000 | #Constraints: 5916
13.75/13.81 c INPROCESSING
13.75/13.81 c GARBAGE COLLECT
13.75/13.81 c #Conflicts: 10000 | #Constraints: 4609
13.75/13.81 c #Conflicts: 11000 | #Constraints: 5609
13.75/13.81 c #Conflicts: 12000 | #Constraints: 6609
13.75/13.81 c INPROCESSING
13.75/13.81 c GARBAGE COLLECT
13.75/13.81 c GLOBAL bounds - >= 1506236485300 @ 11.724
13.75/13.82 c GLOBAL bounds - >= 1506236485300 @ 11.7371
13.75/13.83 c GLOBAL bounds - >= 1506236485300 @ 11.7379
13.75/13.86 c GLOBAL bounds - >= 1506236485300 @ 11.7541
13.75/13.86 c GLOBAL bounds - >= 1506236485300 @ 11.7559
13.75/13.88 c GLOBAL bounds - >= 1506236485300 @ 11.7664
13.75/13.88 c GLOBAL bounds - >= 1506236485300 @ 11.7672
13.84/13.90 c GLOBAL bounds - >= 1506236485300 @ 11.7746
13.84/13.90 c GLOBAL bounds - >= 1506236485300 @ 11.7749
13.84/13.92 c GLOBAL bounds - >= 1506236485300 @ 11.7798
13.84/13.93 c GLOBAL bounds - >= 1506236485300 @ 11.7799
13.84/13.95 c GLOBAL bounds - >= 1506236485300 @ 11.7905
13.84/13.95 c GLOBAL bounds - >= 1506236485300 @ 11.7915
13.84/13.97 c GLOBAL bounds - >= 1506236485300 @ 11.8004
13.84/13.97 c GLOBAL bounds - >= 1506236485300 @ 11.8008
13.84/13.99 c GLOBAL bounds - >= 1506236485300 @ 11.8082
13.84/13.99 c GLOBAL bounds - >= 1506236485300 @ 11.809
13.95/14.01 c GLOBAL bounds - >= 1506236485300 @ 11.8167
13.95/14.02 c GLOBAL bounds - >= 1506236485300 @ 11.8188
13.95/14.04 c GLOBAL bounds - >= 1506236485300 @ 11.8275
13.95/14.04 c GLOBAL bounds - >= 1506236485300 @ 11.8288
13.95/14.06 c GLOBAL bounds - >= 1506236485300 @ 11.8364
13.95/14.09 c GLOBAL bounds - >= 1506236485300 @ 11.8474
47.86/48.05 c #Conflicts: 13000 | #Constraints: 5094
47.86/48.05 c #Conflicts: 14000 | #Constraints: 6094
47.86/48.05 c #Conflicts: 15000 | #Constraints: 7094
47.86/48.05 c INPROCESSING
47.86/48.05 c GARBAGE COLLECT
47.86/48.05 c #Conflicts: 16000 | #Constraints: 5314
47.86/48.05 c #Conflicts: 17000 | #Constraints: 6314
47.86/48.05 c #Conflicts: 18000 | #Constraints: 7314
47.86/48.05 c INPROCESSING
47.86/48.05 c GARBAGE COLLECT
47.86/48.05 c #Conflicts: 19000 | #Constraints: 5329
47.86/48.05 c #Conflicts: 20000 | #Constraints: 6329
47.86/48.05 c #Conflicts: 21000 | #Constraints: 7329
47.86/48.05 c INPROCESSING
47.86/48.05 c GARBAGE COLLECT
47.86/48.05 c #Conflicts: 22000 | #Constraints: 5130
47.86/48.05 c #Conflicts: 23000 | #Constraints: 6130
47.86/48.05 c #Conflicts: 24000 | #Constraints: 7130
47.86/48.05 c #Conflicts: 25000 | #Constraints: 8130
47.86/48.05 c INPROCESSING
47.86/48.05 c GARBAGE COLLECT
47.86/48.05 c #Conflicts: 26000 | #Constraints: 5733
47.86/48.05 c #Conflicts: 27000 | #Constraints: 6733
47.86/48.05 c #Conflicts: 28000 | #Constraints: 7733
47.86/48.05 c #Conflicts: 29000 | #Constraints: 8733
47.86/48.05 c INPROCESSING
47.86/48.05 c GARBAGE COLLECT
47.86/48.05 c #Conflicts: 30000 | #Constraints: 6137
47.86/48.05 c #Conflicts: 31000 | #Constraints: 7137
47.86/48.05 c #Conflicts: 32000 | #Constraints: 8137
47.86/48.05 c #Conflicts: 33000 | #Constraints: 9137
47.86/48.05 c INPROCESSING
47.86/48.05 c GARBAGE COLLECT
47.86/48.05 c #Conflicts: 34000 | #Constraints: 6340
47.86/48.05 c #Conflicts: 35000 | #Constraints: 7340
47.86/48.05 c #Conflicts: 36000 | #Constraints: 8340
47.86/48.05 c #Conflicts: 37000 | #Constraints: 9340
47.86/48.05 c INPROCESSING
47.86/48.05 c GARBAGE COLLECT
47.86/48.05 c #Conflicts: 38000 | #Constraints: 6341
47.86/48.05 c #Conflicts: 39000 | #Constraints: 7341
47.86/48.05 c #Conflicts: 40000 | #Constraints: 8341
47.86/48.05 c #Conflicts: 41000 | #Constraints: 9341
47.86/48.05 c INPROCESSING
47.86/48.05 c GARBAGE COLLECT
47.86/48.05 c #Conflicts: 42000 | #Constraints: 6137
47.86/48.05 c #Conflicts: 43000 | #Constraints: 7137
47.86/48.05 c #Conflicts: 44000 | #Constraints: 8137
47.86/48.05 c #Conflicts: 45000 | #Constraints: 9137
47.86/48.05 c GLOBAL bounds - >= 1664954688400 @ 44.8473
47.86/48.08 c GLOBAL bounds - >= 1664954688400 @ 44.8701
47.86/48.08 c GLOBAL bounds - >= 1664954688400 @ 44.8712
47.86/48.10 c GLOBAL bounds - >= 1664954688400 @ 44.8784
47.96/48.10 c GLOBAL bounds - >= 1664954688400 @ 44.8792
47.96/48.13 c GLOBAL bounds - >= 1664954688400 @ 44.8869
47.96/48.13 c GLOBAL bounds - >= 1664954688400 @ 44.8881
47.96/48.15 c GLOBAL bounds - >= 1664954688400 @ 44.8953
47.96/48.15 c GLOBAL bounds - >= 1664954688400 @ 44.8964
47.96/48.17 c GLOBAL bounds - >= 1664954688400 @ 44.9038
47.96/48.18 c GLOBAL bounds - >= 1664954688400 @ 44.9051
48.06/48.20 c GLOBAL bounds - >= 1664954688400 @ 44.9133
48.06/48.20 c GLOBAL bounds - >= 1664954688400 @ 44.9153
48.06/48.22 c GLOBAL bounds - >= 1664954688400 @ 44.9237
48.06/48.23 c GLOBAL bounds - >= 1664954688400 @ 44.9247
48.06/48.25 c GLOBAL bounds - >= 1664954688400 @ 44.9341
48.06/48.25 c GLOBAL bounds - >= 1664954688400 @ 44.9353
48.06/48.27 c GLOBAL bounds - >= 1664954688400 @ 44.9506
48.06/48.27 c GLOBAL bounds - >= 1664954688400 @ 44.9527
48.15/48.30 c GLOBAL bounds - >= 1664954688400 @ 44.9631
48.15/48.30 c GLOBAL bounds - >= 1664954688400 @ 44.9652
48.15/48.32 c GLOBAL bounds - >= 1664954688400 @ 44.9746
93.74/94.04 c #Conflicts: 46000 | #Constraints: 10177
93.74/94.04 c INPROCESSING
93.74/94.04 c GARBAGE COLLECT
93.74/94.04 c #Conflicts: 47000 | #Constraints: 6761
93.74/94.04 c #Conflicts: 48000 | #Constraints: 7761
93.74/94.04 c #Conflicts: 49000 | #Constraints: 8761
93.74/94.04 c #Conflicts: 50000 | #Constraints: 9761
93.74/94.04 c #Conflicts: 51000 | #Constraints: 10761
93.74/94.04 c INPROCESSING
93.74/94.04 c GARBAGE COLLECT
93.74/94.04 c #Conflicts: 52000 | #Constraints: 7161
93.74/94.04 c #Conflicts: 53000 | #Constraints: 8161
93.74/94.04 c #Conflicts: 54000 | #Constraints: 9161
93.74/94.04 c #Conflicts: 55000 | #Constraints: 10161
93.74/94.04 c #Conflicts: 56000 | #Constraints: 11161
93.74/94.04 c INPROCESSING
93.74/94.04 c GARBAGE COLLECT
93.74/94.04 c #Conflicts: 57000 | #Constraints: 7362
93.74/94.04 c #Conflicts: 58000 | #Constraints: 8362
93.74/94.04 c #Conflicts: 59000 | #Constraints: 9362
93.74/94.04 c #Conflicts: 60000 | #Constraints: 10362
93.74/94.04 c #Conflicts: 61000 | #Constraints: 11362
93.74/94.04 c INPROCESSING
93.74/94.04 c GARBAGE COLLECT
93.74/94.04 c #Conflicts: 62000 | #Constraints: 7372
93.74/94.04 c #Conflicts: 63000 | #Constraints: 8372
93.74/94.04 c #Conflicts: 64000 | #Constraints: 9372
93.74/94.04 c #Conflicts: 65000 | #Constraints: 10372
93.74/94.04 c #Conflicts: 66000 | #Constraints: 11372
93.74/94.04 c INPROCESSING
93.74/94.04 c GARBAGE COLLECT
93.74/94.04 c #Conflicts: 67000 | #Constraints: 7170
93.74/94.04 c #Conflicts: 68000 | #Constraints: 8170
93.74/94.04 c #Conflicts: 69000 | #Constraints: 9170
93.74/94.04 c #Conflicts: 70000 | #Constraints: 10170
93.74/94.04 c #Conflicts: 71000 | #Constraints: 11170
93.74/94.04 c #Conflicts: 72000 | #Constraints: 12170
93.74/94.04 c INPROCESSING
93.74/94.04 c GARBAGE COLLECT
93.74/94.04 c #Conflicts: 73000 | #Constraints: 7775
93.74/94.04 c #Conflicts: 74000 | #Constraints: 8775
93.74/94.04 c #Conflicts: 75000 | #Constraints: 9775
93.74/94.04 c #Conflicts: 76000 | #Constraints: 10775
93.74/94.04 c #Conflicts: 77000 | #Constraints: 11775
93.74/94.04 c #Conflicts: 78000 | #Constraints: 12775
93.74/94.04 c INPROCESSING
93.74/94.04 c GARBAGE COLLECT
93.74/94.04 c #Conflicts: 79000 | #Constraints: 8171
93.74/94.04 c #Conflicts: 80000 | #Constraints: 9171
93.74/94.04 c #Conflicts: 81000 | #Constraints: 10171
93.74/94.04 c #Conflicts: 82000 | #Constraints: 11171
93.74/94.04 c #Conflicts: 83000 | #Constraints: 12171
93.74/94.04 c #Conflicts: 84000 | #Constraints: 13171
93.74/94.04 c INPROCESSING
93.74/94.04 c GARBAGE COLLECT
93.74/94.04 c #Conflicts: 85000 | #Constraints: 8376
93.74/94.04 c #Conflicts: 86000 | #Constraints: 9376
93.74/94.04 c #Conflicts: 87000 | #Constraints: 10376
93.74/94.04 c #Conflicts: 88000 | #Constraints: 11376
93.74/94.04 c #Conflicts: 89000 | #Constraints: 12376
93.74/94.04 c #Conflicts: 90000 | #Constraints: 13376
93.74/94.04 c INPROCESSING
93.74/94.04 c GARBAGE COLLECT
93.74/94.04 c #Conflicts: 91000 | #Constraints: 8377
93.74/94.04 c #Conflicts: 92000 | #Constraints: 9377
93.74/94.04 c #Conflicts: 93000 | #Constraints: 10377
93.74/94.04 c GLOBAL bounds - >= 1665157605675 @ 89.5095
93.74/94.05 c GLOBAL bounds - >= 1665157605675 @ 89.5208
93.74/94.08 c GLOBAL bounds - >= 1665157605675 @ 89.5319
93.74/94.08 c GLOBAL bounds - >= 1665157605675 @ 89.5341
93.84/94.10 c GLOBAL bounds - >= 1665157605675 @ 89.5437
93.84/94.11 c GLOBAL bounds - >= 1665157605675 @ 89.544
93.84/94.13 c GLOBAL bounds - >= 1665157605675 @ 89.5553
93.84/94.13 c GLOBAL bounds - >= 1665157605675 @ 89.5574
93.84/94.15 c GLOBAL bounds - >= 1665157605675 @ 89.5689
93.84/94.15 c GLOBAL bounds - >= 1665157605675 @ 89.5702
93.84/94.18 c GLOBAL bounds - >= 1665157605675 @ 89.5807
93.84/94.18 c GLOBAL bounds - >= 1665157605675 @ 89.5829
93.93/94.20 c GLOBAL bounds - >= 1665157605675 @ 89.5945
93.93/94.20 c GLOBAL bounds - >= 1665157605675 @ 89.5959
93.93/94.23 c GLOBAL bounds - >= 1665157605675 @ 89.6052
93.93/94.23 c GLOBAL bounds - >= 1665157605675 @ 89.6063
93.93/94.25 c GLOBAL bounds - >= 1665157605675 @ 89.6189
93.93/94.25 c GLOBAL bounds - >= 1665157605675 @ 89.6208
93.93/94.28 c GLOBAL bounds - >= 1665157605675 @ 89.6319
93.93/94.28 c GLOBAL bounds - >= 1665157605675 @ 89.6338
94.03/94.30 c GLOBAL bounds - >= 1665157605675 @ 89.6457
155.86/156.34 c #Conflicts: 94000 | #Constraints: 11416
155.86/156.34 c #Conflicts: 95000 | #Constraints: 12416
155.86/156.34 c #Conflicts: 96000 | #Constraints: 13416
155.86/156.34 c INPROCESSING
155.86/156.34 c GARBAGE COLLECT
155.86/156.34 c #Conflicts: 97000 | #Constraints: 8205
155.86/156.34 c #Conflicts: 98000 | #Constraints: 9205
155.86/156.34 c #Conflicts: 99000 | #Constraints: 10205
155.86/156.34 c #Conflicts: 100000 | #Constraints: 11205
155.86/156.34 c #Conflicts: 101000 | #Constraints: 12205
155.86/156.34 c #Conflicts: 102000 | #Constraints: 13205
155.86/156.34 c #Conflicts: 103000 | #Constraints: 14205
155.86/156.34 c INPROCESSING
155.86/156.34 c GARBAGE COLLECT
155.86/156.34 c #Conflicts: 104000 | #Constraints: 8802
155.86/156.34 c #Conflicts: 105000 | #Constraints: 9802
155.86/156.34 c #Conflicts: 106000 | #Constraints: 10802
155.86/156.34 c #Conflicts: 107000 | #Constraints: 11802
155.86/156.34 c #Conflicts: 108000 | #Constraints: 12802
155.86/156.34 c #Conflicts: 109000 | #Constraints: 13802
155.86/156.34 c #Conflicts: 110000 | #Constraints: 14802
155.86/156.34 c INPROCESSING
155.86/156.34 c GARBAGE COLLECT
155.86/156.34 c #Conflicts: 111000 | #Constraints: 9199
155.86/156.34 c #Conflicts: 112000 | #Constraints: 10199
155.86/156.34 c #Conflicts: 113000 | #Constraints: 11199
155.86/156.34 c #Conflicts: 114000 | #Constraints: 12199
155.86/156.34 c #Conflicts: 115000 | #Constraints: 13199
155.86/156.34 c #Conflicts: 116000 | #Constraints: 14199
155.86/156.34 c #Conflicts: 117000 | #Constraints: 15199
155.86/156.34 c INPROCESSING
155.86/156.34 c GARBAGE COLLECT
155.86/156.34 c #Conflicts: 118000 | #Constraints: 9395
155.86/156.34 c #Conflicts: 119000 | #Constraints: 10395
155.86/156.34 c #Conflicts: 120000 | #Constraints: 11395
155.86/156.34 c #Conflicts: 121000 | #Constraints: 12395
155.86/156.34 c #Conflicts: 122000 | #Constraints: 13395
155.86/156.34 c #Conflicts: 123000 | #Constraints: 14395
155.86/156.34 c #Conflicts: 124000 | #Constraints: 15395
155.86/156.34 c INPROCESSING
155.86/156.34 c GARBAGE COLLECT
155.86/156.34 c #Conflicts: 125000 | #Constraints: 9391
155.86/156.34 c #Conflicts: 126000 | #Constraints: 10391
155.86/156.34 c #Conflicts: 127000 | #Constraints: 11391
155.86/156.34 c #Conflicts: 128000 | #Constraints: 12391
155.86/156.34 c #Conflicts: 129000 | #Constraints: 13391
155.86/156.34 c #Conflicts: 130000 | #Constraints: 14391
155.86/156.34 c #Conflicts: 131000 | #Constraints: 15391
155.86/156.34 c INPROCESSING
155.86/156.34 c GARBAGE COLLECT
155.86/156.34 c #Conflicts: 132000 | #Constraints: 9201
155.86/156.34 c #Conflicts: 133000 | #Constraints: 10201
155.86/156.34 c #Conflicts: 134000 | #Constraints: 11201
155.86/156.34 c #Conflicts: 135000 | #Constraints: 12201
155.86/156.34 c #Conflicts: 136000 | #Constraints: 13201
155.86/156.34 c #Conflicts: 137000 | #Constraints: 14201
155.86/156.34 c #Conflicts: 138000 | #Constraints: 15201
155.86/156.34 c #Conflicts: 139000 | #Constraints: 16201
155.86/156.34 c INPROCESSING
155.86/156.34 c GARBAGE COLLECT
155.86/156.34 c #Conflicts: 140000 | #Constraints: 9797
155.86/156.34 c #Conflicts: 141000 | #Constraints: 10797
155.86/156.34 c #Conflicts: 142000 | #Constraints: 11797
155.86/156.34 c #Conflicts: 143000 | #Constraints: 12797
155.86/156.34 c #Conflicts: 144000 | #Constraints: 13797
155.86/156.34 c #Conflicts: 145000 | #Constraints: 14797
155.86/156.34 c #Conflicts: 146000 | #Constraints: 15797
155.86/156.34 c #Conflicts: 147000 | #Constraints: 16797
155.86/156.34 c INPROCESSING
155.86/156.34 c GARBAGE COLLECT
155.86/156.34 c #Conflicts: 148000 | #Constraints: 10198
155.86/156.34 c #Conflicts: 149000 | #Constraints: 11198
155.86/156.34 c #Conflicts: 150000 | #Constraints: 12198
155.86/156.34 c #Conflicts: 151000 | #Constraints: 13198
155.86/156.34 c #Conflicts: 152000 | #Constraints: 14198
155.86/156.34 c GLOBAL bounds - >= 1665342075925 @ 150.426
155.86/156.35 c GLOBAL bounds - >= 1665342075925 @ 150.443
155.86/156.38 c GLOBAL bounds - >= 1665342075925 @ 150.453
155.86/156.38 c GLOBAL bounds - >= 1665342075925 @ 150.454
155.96/156.40 c GLOBAL bounds - >= 1665342075925 @ 150.464
155.96/156.40 c GLOBAL bounds - >= 1665342075925 @ 150.465
155.96/156.43 c GLOBAL bounds - >= 1665342075925 @ 150.479
155.96/156.43 c GLOBAL bounds - >= 1665342075925 @ 150.48
155.96/156.45 c GLOBAL bounds - >= 1665342075925 @ 150.491
155.96/156.45 c GLOBAL bounds - >= 1665342075925 @ 150.492
155.96/156.48 c GLOBAL bounds - >= 1665342075925 @ 150.502
155.96/156.48 c GLOBAL bounds - >= 1665342075925 @ 150.504
156.07/156.50 c GLOBAL bounds - >= 1665342075925 @ 150.513
156.07/156.50 c GLOBAL bounds - >= 1665342075925 @ 150.514
156.07/156.53 c GLOBAL bounds - >= 1665342075925 @ 150.523
156.07/156.53 c GLOBAL bounds - >= 1665342075925 @ 150.525
156.07/156.55 c GLOBAL bounds - >= 1665342075925 @ 150.537
156.07/156.55 c GLOBAL bounds - >= 1665342075925 @ 150.539
156.07/156.58 c GLOBAL bounds - >= 1665342075925 @ 150.55
156.07/156.58 c GLOBAL bounds - >= 1665342075925 @ 150.552
156.17/156.60 c GLOBAL bounds - >= 1665342075925 @ 150.565
223.17/223.83 c #Conflicts: 153000 | #Constraints: 15237
223.17/223.83 c #Conflicts: 154000 | #Constraints: 16237
223.17/223.83 c #Conflicts: 155000 | #Constraints: 17237
223.17/223.83 c INPROCESSING
223.17/223.83 c GARBAGE COLLECT
223.17/223.83 c #Conflicts: 156000 | #Constraints: 10428
223.17/223.83 c #Conflicts: 157000 | #Constraints: 11428
223.17/223.83 c #Conflicts: 158000 | #Constraints: 12428
223.17/223.83 c #Conflicts: 159000 | #Constraints: 13428
223.17/223.83 c #Conflicts: 160000 | #Constraints: 14428
223.17/223.83 c #Conflicts: 161000 | #Constraints: 15428
223.17/223.83 c #Conflicts: 162000 | #Constraints: 16428
223.17/223.83 c #Conflicts: 163000 | #Constraints: 17428
223.17/223.83 c INPROCESSING
223.17/223.83 c GARBAGE COLLECT
223.17/223.83 c #Conflicts: 164000 | #Constraints: 10422
223.17/223.83 c #Conflicts: 165000 | #Constraints: 11422
223.17/223.83 c #Conflicts: 166000 | #Constraints: 12422
223.17/223.83 c #Conflicts: 167000 | #Constraints: 13422
223.17/223.83 c #Conflicts: 168000 | #Constraints: 14422
223.17/223.83 c #Conflicts: 169000 | #Constraints: 15422
223.17/223.83 c #Conflicts: 170000 | #Constraints: 16422
223.17/223.83 c #Conflicts: 171000 | #Constraints: 17422
223.17/223.83 c INPROCESSING
223.17/223.83 c GARBAGE COLLECT
223.17/223.83 c #Conflicts: 172000 | #Constraints: 10226
223.17/223.83 c #Conflicts: 173000 | #Constraints: 11226
223.17/223.83 c #Conflicts: 174000 | #Constraints: 12226
223.17/223.83 c #Conflicts: 175000 | #Constraints: 13226
223.17/223.83 c #Conflicts: 176000 | #Constraints: 14226
223.17/223.83 c #Conflicts: 177000 | #Constraints: 15226
223.17/223.83 c #Conflicts: 178000 | #Constraints: 16226
223.17/223.83 c #Conflicts: 179000 | #Constraints: 17226
223.17/223.83 c #Conflicts: 180000 | #Constraints: 18226
223.17/223.83 c INPROCESSING
223.17/223.83 c GARBAGE COLLECT
223.17/223.83 c #Conflicts: 181000 | #Constraints: 10825
223.17/223.83 c #Conflicts: 182000 | #Constraints: 11825
223.17/223.83 c #Conflicts: 183000 | #Constraints: 12825
223.17/223.83 c #Conflicts: 184000 | #Constraints: 13825
223.17/223.83 c #Conflicts: 185000 | #Constraints: 14825
223.17/223.83 c #Conflicts: 186000 | #Constraints: 15825
223.17/223.83 c #Conflicts: 187000 | #Constraints: 16825
223.17/223.83 c #Conflicts: 188000 | #Constraints: 17825
223.17/223.83 c #Conflicts: 189000 | #Constraints: 18825
223.17/223.83 c INPROCESSING
223.17/223.83 c GARBAGE COLLECT
223.17/223.83 c #Conflicts: 190000 | #Constraints: 11223
223.17/223.83 c #Conflicts: 191000 | #Constraints: 12223
223.17/223.83 c #Conflicts: 192000 | #Constraints: 13223
223.17/223.83 c #Conflicts: 193000 | #Constraints: 14223
223.17/223.83 c #Conflicts: 194000 | #Constraints: 15223
223.17/223.83 c #Conflicts: 195000 | #Constraints: 16223
223.17/223.83 c #Conflicts: 196000 | #Constraints: 17223
223.17/223.83 c #Conflicts: 197000 | #Constraints: 18223
223.17/223.83 c #Conflicts: 198000 | #Constraints: 19223
223.17/223.83 c INPROCESSING
223.17/223.83 c GARBAGE COLLECT
223.17/223.83 c #Conflicts: 199000 | #Constraints: 11442
223.17/223.83 c #Conflicts: 200000 | #Constraints: 12442
223.17/223.83 c #Conflicts: 201000 | #Constraints: 13442
223.17/223.83 c #Conflicts: 202000 | #Constraints: 14442
223.17/223.83 c #Conflicts: 203000 | #Constraints: 15442
223.17/223.83 c #Conflicts: 204000 | #Constraints: 16442
223.17/223.83 c #Conflicts: 205000 | #Constraints: 17442
223.17/223.83 c #Conflicts: 206000 | #Constraints: 18442
223.17/223.83 c #Conflicts: 207000 | #Constraints: 19442
223.17/223.83 c INPROCESSING
223.17/223.83 c GARBAGE COLLECT
223.17/223.83 c #Conflicts: 208000 | #Constraints: 11434
223.17/223.83 c #Conflicts: 209000 | #Constraints: 12434
223.17/223.83 c #Conflicts: 210000 | #Constraints: 13434
223.17/223.83 c #Conflicts: 211000 | #Constraints: 14434
223.17/223.83 c #Conflicts: 212000 | #Constraints: 15434
223.17/223.83 c GLOBAL bounds - >= 1665526546175 @ 216.619
223.17/223.84 c GLOBAL bounds - >= 1665526546175 @ 216.635
223.17/223.87 c GLOBAL bounds - >= 1665526546175 @ 216.646
223.17/223.87 c GLOBAL bounds - >= 1665526546175 @ 216.647
223.17/223.89 c GLOBAL bounds - >= 1665526546175 @ 216.658
223.26/223.90 c GLOBAL bounds - >= 1665526546175 @ 216.661
223.26/223.92 c GLOBAL bounds - >= 1665526546175 @ 216.669
223.26/223.92 c GLOBAL bounds - >= 1665526546175 @ 216.669
223.26/223.95 c GLOBAL bounds - >= 1665526546175 @ 216.68
223.26/223.95 c GLOBAL bounds - >= 1665526546175 @ 216.681
223.26/223.97 c GLOBAL bounds - >= 1665526546175 @ 216.694
223.26/223.98 c GLOBAL bounds - >= 1665526546175 @ 216.696
223.26/224.00 c GLOBAL bounds - >= 1665526546175 @ 216.706
223.37/224.00 c GLOBAL bounds - >= 1665526546175 @ 216.709
223.37/224.03 c GLOBAL bounds - >= 1665526546175 @ 216.718
223.37/224.03 c GLOBAL bounds - >= 1665526546175 @ 216.719
223.37/224.05 c GLOBAL bounds - >= 1665526546175 @ 216.729
223.37/224.05 c GLOBAL bounds - >= 1665526546175 @ 216.732
223.37/224.08 c GLOBAL bounds - >= 1665526546175 @ 216.744
223.37/224.08 c GLOBAL bounds - >= 1665526546175 @ 216.747
223.46/224.10 c GLOBAL bounds - >= 1665526546175 @ 216.76
260.55/261.31 c #Conflicts: 213000 | #Constraints: 16473
260.55/261.31 c #Conflicts: 214000 | #Constraints: 17473
260.55/261.31 c #Conflicts: 215000 | #Constraints: 18473
260.55/261.31 c #Conflicts: 216000 | #Constraints: 19473
260.55/261.31 c INPROCESSING
260.55/261.31 c GARBAGE COLLECT
260.55/261.31 c #Conflicts: 217000 | #Constraints: 11268
260.55/261.31 c #Conflicts: 218000 | #Constraints: 12268
260.55/261.31 c #Conflicts: 219000 | #Constraints: 13268
260.55/261.31 c #Conflicts: 220000 | #Constraints: 14268
260.55/261.31 c #Conflicts: 221000 | #Constraints: 15268
260.55/261.31 c #Conflicts: 222000 | #Constraints: 16268
260.55/261.31 c #Conflicts: 223000 | #Constraints: 17268
260.55/261.31 c #Conflicts: 224000 | #Constraints: 18268
260.55/261.31 c #Conflicts: 225000 | #Constraints: 19268
260.55/261.31 c #Conflicts: 226000 | #Constraints: 20268
260.55/261.31 c INPROCESSING
260.55/261.31 c GARBAGE COLLECT
260.55/261.31 c #Conflicts: 227000 | #Constraints: 11881
260.55/261.31 c #Conflicts: 228000 | #Constraints: 12881
260.55/261.31 c #Conflicts: 229000 | #Constraints: 13881
260.55/261.31 c #Conflicts: 230000 | #Constraints: 14881
260.55/261.31 c #Conflicts: 231000 | #Constraints: 15881
260.55/261.31 c #Conflicts: 232000 | #Constraints: 16881
260.55/261.31 c #Conflicts: 233000 | #Constraints: 17881
260.55/261.31 c #Conflicts: 234000 | #Constraints: 18881
260.55/261.31 c #Conflicts: 235000 | #Constraints: 19881
260.55/261.31 c #Conflicts: 236000 | #Constraints: 20881
260.55/261.31 c INPROCESSING
260.55/261.31 c GARBAGE COLLECT
260.55/261.31 c #Conflicts: 237000 | #Constraints: 12270
260.55/261.31 c #Conflicts: 238000 | #Constraints: 13270
260.55/261.31 c #Conflicts: 239000 | #Constraints: 14270
260.55/261.31 c #Conflicts: 240000 | #Constraints: 15270
260.55/261.31 c #Conflicts: 241000 | #Constraints: 16270
260.55/261.31 c GLOBAL bounds - >= 1665711016425 @ 253.298
260.55/261.33 c GLOBAL bounds - >= 1665711016425 @ 253.311
260.55/261.35 c GLOBAL bounds - >= 1665711016425 @ 253.325
260.55/261.36 c GLOBAL bounds - >= 1665711016425 @ 253.328
260.55/261.38 c GLOBAL bounds - >= 1665711016425 @ 253.339
260.55/261.38 c GLOBAL bounds - >= 1665711016425 @ 253.342
260.64/261.40 c GLOBAL bounds - >= 1665711016425 @ 253.351
260.64/261.41 c GLOBAL bounds - >= 1665711016425 @ 253.352
260.64/261.43 c GLOBAL bounds - >= 1665711016425 @ 253.365
260.64/261.43 c GLOBAL bounds - >= 1665711016425 @ 253.367
260.64/261.46 c GLOBAL bounds - >= 1665711016425 @ 253.379
260.64/261.46 c GLOBAL bounds - >= 1665711016425 @ 253.381
260.64/261.48 c GLOBAL bounds - >= 1665711016425 @ 253.393
260.64/261.49 c GLOBAL bounds - >= 1665711016425 @ 253.395
260.75/261.51 c GLOBAL bounds - >= 1665711016425 @ 253.409
260.75/261.51 c GLOBAL bounds - >= 1665711016425 @ 253.411
260.75/261.54 c GLOBAL bounds - >= 1665711016425 @ 253.423
260.75/261.54 c GLOBAL bounds - >= 1665711016425 @ 253.424
260.75/261.56 c GLOBAL bounds - >= 1665711016425 @ 253.438
260.75/261.56 c GLOBAL bounds - >= 1665711016425 @ 253.44
260.75/261.59 c GLOBAL bounds - >= 1665711016425 @ 253.452
354.08/355.12 c #Conflicts: 242000 | #Constraints: 17309
354.08/355.12 c #Conflicts: 243000 | #Constraints: 18309
354.08/355.12 c #Conflicts: 244000 | #Constraints: 19309
354.08/355.12 c #Conflicts: 245000 | #Constraints: 20309
354.08/355.12 c #Conflicts: 246000 | #Constraints: 21309
354.08/355.12 c INPROCESSING
354.08/355.12 c GARBAGE COLLECT
354.08/355.12 c #Conflicts: 247000 | #Constraints: 12493
354.08/355.12 c #Conflicts: 248000 | #Constraints: 13493
354.08/355.12 c #Conflicts: 249000 | #Constraints: 14493
354.08/355.12 c #Conflicts: 250000 | #Constraints: 15493
354.08/355.12 c #Conflicts: 251000 | #Constraints: 16493
354.08/355.12 c #Conflicts: 252000 | #Constraints: 17493
354.08/355.12 c #Conflicts: 253000 | #Constraints: 18493
354.08/355.12 c #Conflicts: 254000 | #Constraints: 19493
354.08/355.12 c #Conflicts: 255000 | #Constraints: 20493
354.08/355.12 c #Conflicts: 256000 | #Constraints: 21493
354.08/355.12 c INPROCESSING
354.08/355.12 c GARBAGE COLLECT
354.08/355.12 c #Conflicts: 257000 | #Constraints: 12494
354.08/355.12 c #Conflicts: 258000 | #Constraints: 13494
354.08/355.12 c #Conflicts: 259000 | #Constraints: 14494
354.08/355.12 c #Conflicts: 260000 | #Constraints: 15494
354.08/355.12 c #Conflicts: 261000 | #Constraints: 16494
354.08/355.12 c #Conflicts: 262000 | #Constraints: 17494
354.08/355.12 c #Conflicts: 263000 | #Constraints: 18494
354.08/355.12 c #Conflicts: 264000 | #Constraints: 19494
354.08/355.12 c #Conflicts: 265000 | #Constraints: 20494
354.08/355.12 c #Conflicts: 266000 | #Constraints: 21494
354.08/355.12 c INPROCESSING
354.08/355.12 c GARBAGE COLLECT
354.08/355.12 c #Conflicts: 267000 | #Constraints: 12290
354.08/355.12 c #Conflicts: 268000 | #Constraints: 13290
354.08/355.12 c #Conflicts: 269000 | #Constraints: 14290
354.08/355.12 c #Conflicts: 270000 | #Constraints: 15290
354.08/355.12 c #Conflicts: 271000 | #Constraints: 16290
354.08/355.12 c #Conflicts: 272000 | #Constraints: 17290
354.08/355.12 c #Conflicts: 273000 | #Constraints: 18290
354.08/355.12 c #Conflicts: 274000 | #Constraints: 19290
354.08/355.12 c #Conflicts: 275000 | #Constraints: 20290
354.08/355.12 c #Conflicts: 276000 | #Constraints: 21290
354.08/355.12 c #Conflicts: 277000 | #Constraints: 22290
354.08/355.12 c INPROCESSING
354.08/355.12 c GARBAGE COLLECT
354.08/355.12 c #Conflicts: 278000 | #Constraints: 12890
354.08/355.12 c #Conflicts: 279000 | #Constraints: 13890
354.08/355.12 c #Conflicts: 280000 | #Constraints: 14890
354.08/355.12 c #Conflicts: 281000 | #Constraints: 15890
354.08/355.12 c #Conflicts: 282000 | #Constraints: 16890
354.08/355.12 c #Conflicts: 283000 | #Constraints: 17890
354.08/355.12 c #Conflicts: 284000 | #Constraints: 18890
354.08/355.12 c #Conflicts: 285000 | #Constraints: 19890
354.08/355.12 c #Conflicts: 286000 | #Constraints: 20890
354.08/355.12 c #Conflicts: 287000 | #Constraints: 21890
354.08/355.12 c #Conflicts: 288000 | #Constraints: 22890
354.08/355.12 c INPROCESSING
354.08/355.12 c GARBAGE COLLECT
354.08/355.12 c #Conflicts: 289000 | #Constraints: 13292
354.08/355.12 c #Conflicts: 290000 | #Constraints: 14292
354.08/355.12 c #Conflicts: 291000 | #Constraints: 15292
354.08/355.12 c #Conflicts: 292000 | #Constraints: 16292
354.08/355.12 c #Conflicts: 293000 | #Constraints: 17292
354.08/355.12 c #Conflicts: 294000 | #Constraints: 18292
354.08/355.12 c #Conflicts: 295000 | #Constraints: 19292
354.08/355.12 c #Conflicts: 296000 | #Constraints: 20292
354.08/355.12 c #Conflicts: 297000 | #Constraints: 21292
354.08/355.12 c #Conflicts: 298000 | #Constraints: 22292
354.08/355.12 c #Conflicts: 299000 | #Constraints: 23292
354.08/355.12 c INPROCESSING
354.08/355.12 c GARBAGE COLLECT
354.08/355.12 c #Conflicts: 300000 | #Constraints: 13491
354.08/355.12 c #Conflicts: 301000 | #Constraints: 14491
354.08/355.12 c #Conflicts: 302000 | #Constraints: 15491
354.08/355.12 c #Conflicts: 303000 | #Constraints: 16491
354.08/355.12 c #Conflicts: 304000 | #Constraints: 17491
354.08/355.12 c #Conflicts: 305000 | #Constraints: 18491
354.08/355.12 c #Conflicts: 306000 | #Constraints: 19491
354.08/355.12 c #Conflicts: 307000 | #Constraints: 20491
354.08/355.12 c #Conflicts: 308000 | #Constraints: 21491
354.08/355.12 c #Conflicts: 309000 | #Constraints: 22491
354.08/355.12 c #Conflicts: 310000 | #Constraints: 23491
354.08/355.12 c INPROCESSING
354.08/355.12 c GARBAGE COLLECT
354.08/355.12 c #Conflicts: 311000 | #Constraints: 13489
354.08/355.12 c #Conflicts: 312000 | #Constraints: 14489
354.08/355.12 c #Conflicts: 313000 | #Constraints: 15489
354.08/355.12 c #Conflicts: 314000 | #Constraints: 16489
354.08/355.12 c #Conflicts: 315000 | #Constraints: 17489
354.08/355.12 c #Conflicts: 316000 | #Constraints: 18489
376.90/378.03 c #Conflicts: 317000 | #Constraints: 19489
376.90/378.03 c #Conflicts: 318000 | #Constraints: 20489
376.90/378.03 c #Conflicts: 319000 | #Constraints: 21489
376.90/378.03 c #Conflicts: 320000 | #Constraints: 22489
376.90/378.03 c #Conflicts: 321000 | #Constraints: 23489
376.90/378.03 c INPROCESSING
376.90/378.03 c GARBAGE COLLECT
376.90/378.03 c #Conflicts: 322000 | #Constraints: 13290
376.90/378.03 c #Conflicts: 323000 | #Constraints: 14290
376.90/378.03 c #Conflicts: 324000 | #Constraints: 15290
376.90/378.03 c #Conflicts: 325000 | #Constraints: 16290
376.90/378.03 c #Conflicts: 326000 | #Constraints: 17290
376.90/378.03 c #Conflicts: 327000 | #Constraints: 18290
376.90/378.03 c #Conflicts: 328000 | #Constraints: 19290
376.90/378.03 c #Conflicts: 329000 | #Constraints: 20290
376.90/378.03 c #Conflicts: 330000 | #Constraints: 21290
376.90/378.03 c GLOBAL bounds - >= 1665895486675 @ 367.835
376.90/378.05 c GLOBAL bounds - >= 1665895486675 @ 367.851
376.90/378.07 c GLOBAL bounds - >= 1665895486675 @ 367.866
376.90/378.07 c GLOBAL bounds - >= 1665895486675 @ 367.869
376.90/378.10 c GLOBAL bounds - >= 1665895486675 @ 367.882
377.00/378.10 c GLOBAL bounds - >= 1665895486675 @ 367.885
377.00/378.13 c GLOBAL bounds - >= 1665895486675 @ 367.897
377.00/378.13 c GLOBAL bounds - >= 1665895486675 @ 367.9
377.00/378.16 c GLOBAL bounds - >= 1665895486675 @ 367.911
377.00/378.16 c GLOBAL bounds - >= 1665895486675 @ 367.913
377.00/378.19 c GLOBAL bounds - >= 1665895486675 @ 367.928
377.00/378.19 c GLOBAL bounds - >= 1665895486675 @ 367.93
377.09/378.22 c GLOBAL bounds - >= 1665895486675 @ 367.946
377.09/378.22 c GLOBAL bounds - >= 1665895486675 @ 367.949
377.09/378.24 c GLOBAL bounds - >= 1665895486675 @ 367.961
377.09/378.25 c GLOBAL bounds - >= 1665895486675 @ 367.962
377.09/378.27 c GLOBAL bounds - >= 1665895486675 @ 367.975
377.09/378.28 c GLOBAL bounds - >= 1665895486675 @ 367.978
377.19/378.30 c GLOBAL bounds - >= 1665895486675 @ 367.991
377.19/378.31 c GLOBAL bounds - >= 1665895486675 @ 367.993
377.19/378.33 c GLOBAL bounds - >= 1665895486675 @ 368.006
464.03/465.41 c #Conflicts: 331000 | #Constraints: 22329
464.03/465.41 c #Conflicts: 332000 | #Constraints: 23329
464.03/465.41 c #Conflicts: 333000 | #Constraints: 24329
464.03/465.41 c INPROCESSING
464.03/465.41 c GARBAGE COLLECT
464.03/465.41 c #Conflicts: 334000 | #Constraints: 13937
464.03/465.41 c #Conflicts: 335000 | #Constraints: 14937
464.03/465.41 c #Conflicts: 336000 | #Constraints: 15937
464.03/465.41 c #Conflicts: 337000 | #Constraints: 16937
464.03/465.41 c #Conflicts: 338000 | #Constraints: 17937
464.03/465.41 c #Conflicts: 339000 | #Constraints: 18937
464.03/465.41 c #Conflicts: 340000 | #Constraints: 19937
464.03/465.41 c #Conflicts: 341000 | #Constraints: 20937
464.03/465.41 c #Conflicts: 342000 | #Constraints: 21937
464.03/465.41 c #Conflicts: 343000 | #Constraints: 22937
464.03/465.41 c #Conflicts: 344000 | #Constraints: 23937
464.03/465.41 c #Conflicts: 345000 | #Constraints: 24937
464.03/465.41 c INPROCESSING
464.03/465.41 c GARBAGE COLLECT
464.03/465.41 c #Conflicts: 346000 | #Constraints: 14325
464.03/465.41 c #Conflicts: 347000 | #Constraints: 15325
464.03/465.41 c #Conflicts: 348000 | #Constraints: 16325
464.03/465.41 c #Conflicts: 349000 | #Constraints: 17325
464.03/465.41 c #Conflicts: 350000 | #Constraints: 18325
464.03/465.41 c #Conflicts: 351000 | #Constraints: 19325
464.03/465.41 c #Conflicts: 352000 | #Constraints: 20325
464.03/465.41 c #Conflicts: 353000 | #Constraints: 21325
464.03/465.41 c #Conflicts: 354000 | #Constraints: 22325
464.03/465.41 c #Conflicts: 355000 | #Constraints: 23325
464.03/465.41 c #Conflicts: 356000 | #Constraints: 24325
464.03/465.41 c #Conflicts: 357000 | #Constraints: 25325
464.03/465.41 c INPROCESSING
464.03/465.41 c GARBAGE COLLECT
464.03/465.41 c #Conflicts: 358000 | #Constraints: 14521
464.03/465.41 c #Conflicts: 359000 | #Constraints: 15521
464.03/465.41 c #Conflicts: 360000 | #Constraints: 16521
464.03/465.41 c #Conflicts: 361000 | #Constraints: 17521
464.03/465.41 c #Conflicts: 362000 | #Constraints: 18521
464.03/465.41 c #Conflicts: 363000 | #Constraints: 19521
464.03/465.41 c #Conflicts: 364000 | #Constraints: 20521
464.03/465.41 c #Conflicts: 365000 | #Constraints: 21521
464.03/465.41 c #Conflicts: 366000 | #Constraints: 22521
464.03/465.41 c #Conflicts: 367000 | #Constraints: 23521
464.03/465.41 c #Conflicts: 368000 | #Constraints: 24521
464.03/465.41 c #Conflicts: 369000 | #Constraints: 25521
464.03/465.41 c INPROCESSING
464.03/465.41 c GARBAGE COLLECT
464.03/465.41 c #Conflicts: 370000 | #Constraints: 14518
464.03/465.41 c #Conflicts: 371000 | #Constraints: 15518
464.03/465.41 c #Conflicts: 372000 | #Constraints: 16518
464.03/465.41 c #Conflicts: 373000 | #Constraints: 17518
464.03/465.41 c #Conflicts: 374000 | #Constraints: 18518
464.03/465.41 c #Conflicts: 375000 | #Constraints: 19518
464.03/465.41 c #Conflicts: 376000 | #Constraints: 20518
464.03/465.41 c #Conflicts: 377000 | #Constraints: 21518
464.03/465.41 c #Conflicts: 378000 | #Constraints: 22518
464.03/465.41 c #Conflicts: 379000 | #Constraints: 23518
464.03/465.41 c #Conflicts: 380000 | #Constraints: 24518
464.03/465.41 c GLOBAL bounds - >= 1666079956925 @ 453.624
464.03/465.42 c GLOBAL bounds - >= 1666079956925 @ 453.642
464.03/465.45 c GLOBAL bounds - >= 1666079956925 @ 453.66
464.03/465.45 c GLOBAL bounds - >= 1666079956925 @ 453.662
464.03/465.48 c GLOBAL bounds - >= 1666079956925 @ 453.678
464.03/465.48 c GLOBAL bounds - >= 1666079956925 @ 453.68
464.12/465.51 c GLOBAL bounds - >= 1666079956925 @ 453.693
464.12/465.51 c GLOBAL bounds - >= 1666079956925 @ 453.696
464.12/465.54 c GLOBAL bounds - >= 1666079956925 @ 453.709
464.12/465.54 c GLOBAL bounds - >= 1666079956925 @ 453.712
464.12/465.57 c GLOBAL bounds - >= 1666079956925 @ 453.725
464.12/465.57 c GLOBAL bounds - >= 1666079956925 @ 453.728
464.23/465.60 c GLOBAL bounds - >= 1666079956925 @ 453.744
464.23/465.60 c GLOBAL bounds - >= 1666079956925 @ 453.745
464.23/465.62 c GLOBAL bounds - >= 1666079956925 @ 453.759
464.23/465.63 c GLOBAL bounds - >= 1666079956925 @ 453.761
464.23/465.65 c GLOBAL bounds - >= 1666079956925 @ 453.774
464.23/465.66 c GLOBAL bounds - >= 1666079956925 @ 453.776
464.23/465.68 c GLOBAL bounds - >= 1666079956925 @ 453.791
464.23/465.69 c GLOBAL bounds - >= 1666079956925 @ 453.792
464.32/465.71 c GLOBAL bounds - >= 1666079956925 @ 453.807
535.91/537.52 c #Conflicts: 381000 | #Constraints: 25557
535.91/537.52 c INPROCESSING
535.91/537.52 c GARBAGE COLLECT
535.91/537.52 c #Conflicts: 382000 | #Constraints: 14351
535.91/537.52 c #Conflicts: 383000 | #Constraints: 15351
535.91/537.52 c #Conflicts: 384000 | #Constraints: 16351
535.91/537.52 c #Conflicts: 385000 | #Constraints: 17351
535.91/537.52 c #Conflicts: 386000 | #Constraints: 18351
535.91/537.52 c #Conflicts: 387000 | #Constraints: 19351
535.91/537.52 c #Conflicts: 388000 | #Constraints: 20351
535.91/537.52 c #Conflicts: 389000 | #Constraints: 21351
535.91/537.52 c #Conflicts: 390000 | #Constraints: 22351
535.91/537.52 c #Conflicts: 391000 | #Constraints: 23351
535.91/537.52 c #Conflicts: 392000 | #Constraints: 24351
535.91/537.52 c #Conflicts: 393000 | #Constraints: 25351
535.91/537.52 c #Conflicts: 394000 | #Constraints: 26351
535.91/537.52 c INPROCESSING
535.91/537.52 c GARBAGE COLLECT
535.91/537.52 c #Conflicts: 395000 | #Constraints: 14947
535.91/537.52 c #Conflicts: 396000 | #Constraints: 15947
535.91/537.52 c #Conflicts: 397000 | #Constraints: 16947
535.91/537.52 c #Conflicts: 398000 | #Constraints: 17947
535.91/537.52 c #Conflicts: 399000 | #Constraints: 18947
535.91/537.52 c #Conflicts: 400000 | #Constraints: 19947
535.91/537.52 c #Conflicts: 401000 | #Constraints: 20947
535.91/537.52 c #Conflicts: 402000 | #Constraints: 21947
535.91/537.52 c #Conflicts: 403000 | #Constraints: 22947
535.91/537.52 c #Conflicts: 404000 | #Constraints: 23947
535.91/537.52 c #Conflicts: 405000 | #Constraints: 24947
535.91/537.52 c #Conflicts: 406000 | #Constraints: 25947
535.91/537.52 c #Conflicts: 407000 | #Constraints: 26947
535.91/537.52 c INPROCESSING
535.91/537.52 c GARBAGE COLLECT
535.91/537.52 c #Conflicts: 408000 | #Constraints: 15346
535.91/537.52 c #Conflicts: 409000 | #Constraints: 16346
535.91/537.52 c #Conflicts: 410000 | #Constraints: 17346
535.91/537.52 c #Conflicts: 411000 | #Constraints: 18346
535.91/537.52 c #Conflicts: 412000 | #Constraints: 19346
535.91/537.52 c #Conflicts: 413000 | #Constraints: 20346
535.91/537.52 c #Conflicts: 414000 | #Constraints: 21346
535.91/537.52 c #Conflicts: 415000 | #Constraints: 22346
535.91/537.52 c #Conflicts: 416000 | #Constraints: 23346
535.91/537.52 c #Conflicts: 417000 | #Constraints: 24346
535.91/537.52 c #Conflicts: 418000 | #Constraints: 25346
535.91/537.52 c #Conflicts: 419000 | #Constraints: 26346
535.91/537.52 c #Conflicts: 420000 | #Constraints: 27346
535.91/537.52 c INPROCESSING
535.91/537.52 c GARBAGE COLLECT
535.91/537.52 c #Conflicts: 421000 | #Constraints: 15557
535.91/537.52 c #Conflicts: 422000 | #Constraints: 16557
535.91/537.52 c #Conflicts: 423000 | #Constraints: 17557
535.91/537.52 c #Conflicts: 424000 | #Constraints: 18557
535.91/537.52 c GLOBAL bounds - >= 1666264427175 @ 524.393
535.91/537.53 c GLOBAL bounds - >= 1666264427175 @ 524.408
535.91/537.56 c GLOBAL bounds - >= 1666264427175 @ 524.424
535.91/537.56 c GLOBAL bounds - >= 1666264427175 @ 524.426
535.91/537.58 c GLOBAL bounds - >= 1666264427175 @ 524.435
535.91/537.59 c GLOBAL bounds - >= 1666264427175 @ 524.437
536.01/537.61 c GLOBAL bounds - >= 1666264427175 @ 524.451
536.01/537.62 c GLOBAL bounds - >= 1666264427175 @ 524.453
536.01/537.64 c GLOBAL bounds - >= 1666264427175 @ 524.466
536.01/537.64 c GLOBAL bounds - >= 1666264427175 @ 524.468
536.01/537.67 c GLOBAL bounds - >= 1666264427175 @ 524.481
536.01/537.67 c GLOBAL bounds - >= 1666264427175 @ 524.483
536.01/537.69 c GLOBAL bounds - >= 1666264427175 @ 524.496
536.10/537.70 c GLOBAL bounds - >= 1666264427175 @ 524.497
536.10/537.72 c GLOBAL bounds - >= 1666264427175 @ 524.508
536.10/537.72 c GLOBAL bounds - >= 1666264427175 @ 524.511
536.10/537.75 c GLOBAL bounds - >= 1666264427175 @ 524.521
536.10/537.75 c GLOBAL bounds - >= 1666264427175 @ 524.524
536.10/537.78 c GLOBAL bounds - >= 1666264427175 @ 524.536
536.10/537.78 c GLOBAL bounds - >= 1666264427175 @ 524.537
536.20/537.80 c GLOBAL bounds - >= 1666264427175 @ 524.549
585.16/586.90 c #Conflicts: 425000 | #Constraints: 19596
585.16/586.90 c #Conflicts: 426000 | #Constraints: 20596
585.16/586.90 c #Conflicts: 427000 | #Constraints: 21596
585.16/586.90 c #Conflicts: 428000 | #Constraints: 22596
585.16/586.90 c #Conflicts: 429000 | #Constraints: 23596
585.16/586.90 c #Conflicts: 430000 | #Constraints: 24596
585.16/586.90 c #Conflicts: 431000 | #Constraints: 25596
585.16/586.90 c #Conflicts: 432000 | #Constraints: 26596
585.16/586.90 c #Conflicts: 433000 | #Constraints: 27596
585.16/586.90 c INPROCESSING
585.16/586.90 c GARBAGE COLLECT
585.16/586.90 c #Conflicts: 434000 | #Constraints: 15588
585.16/586.90 c #Conflicts: 435000 | #Constraints: 16588
585.16/586.90 c #Conflicts: 436000 | #Constraints: 17588
585.16/586.90 c #Conflicts: 437000 | #Constraints: 18588
585.16/586.90 c #Conflicts: 438000 | #Constraints: 19588
585.16/586.90 c #Conflicts: 439000 | #Constraints: 20588
585.16/586.90 c #Conflicts: 440000 | #Constraints: 21588
585.16/586.90 c #Conflicts: 441000 | #Constraints: 22588
585.16/586.90 c #Conflicts: 442000 | #Constraints: 23588
585.16/586.90 c #Conflicts: 443000 | #Constraints: 24588
585.16/586.90 c #Conflicts: 444000 | #Constraints: 25588
585.16/586.90 c #Conflicts: 445000 | #Constraints: 26588
585.16/586.90 c #Conflicts: 446000 | #Constraints: 27588
585.16/586.90 c INPROCESSING
585.16/586.90 c GARBAGE COLLECT
585.16/586.90 c #Conflicts: 447000 | #Constraints: 15377
585.16/586.90 c #Conflicts: 448000 | #Constraints: 16377
585.16/586.90 c #Conflicts: 449000 | #Constraints: 17377
585.16/586.90 c #Conflicts: 450000 | #Constraints: 18377
585.16/586.90 c #Conflicts: 451000 | #Constraints: 19377
585.16/586.90 c #Conflicts: 452000 | #Constraints: 20377
585.16/586.90 c #Conflicts: 453000 | #Constraints: 21377
585.16/586.90 c #Conflicts: 454000 | #Constraints: 22377
585.16/586.90 c #Conflicts: 455000 | #Constraints: 23377
585.16/586.90 c GLOBAL bounds - >= 1666448897425 @ 572.916
585.16/586.92 c GLOBAL bounds - >= 1666448897425 @ 572.933
585.16/586.95 c GLOBAL bounds - >= 1666448897425 @ 572.945
585.16/586.95 c GLOBAL bounds - >= 1666448897425 @ 572.948
585.16/586.97 c GLOBAL bounds - >= 1666448897425 @ 572.957
585.16/586.98 c GLOBAL bounds - >= 1666448897425 @ 572.959
585.26/587.00 c GLOBAL bounds - >= 1666448897425 @ 572.974
585.26/587.01 c GLOBAL bounds - >= 1666448897425 @ 572.977
585.26/587.03 c GLOBAL bounds - >= 1666448897425 @ 572.991
585.26/587.03 c GLOBAL bounds - >= 1666448897425 @ 572.993
585.26/587.06 c GLOBAL bounds - >= 1666448897425 @ 573.002
585.26/587.06 c GLOBAL bounds - >= 1666448897425 @ 573.005
585.26/587.09 c GLOBAL bounds - >= 1666448897425 @ 573.021
585.26/587.09 c GLOBAL bounds - >= 1666448897425 @ 573.022
585.36/587.11 c GLOBAL bounds - >= 1666448897425 @ 573.036
585.36/587.12 c GLOBAL bounds - >= 1666448897425 @ 573.038
585.36/587.14 c GLOBAL bounds - >= 1666448897425 @ 573.049
585.36/587.15 c GLOBAL bounds - >= 1666448897425 @ 573.051
585.36/587.17 c GLOBAL bounds - >= 1666448897425 @ 573.062
585.36/587.17 c GLOBAL bounds - >= 1666448897425 @ 573.066
585.45/587.20 c GLOBAL bounds - >= 1666448897425 @ 573.079
666.70/668.70 c #Conflicts: 456000 | #Constraints: 24416
666.70/668.70 c #Conflicts: 457000 | #Constraints: 25416
666.70/668.70 c #Conflicts: 458000 | #Constraints: 26416
666.70/668.70 c #Conflicts: 459000 | #Constraints: 27416
666.70/668.70 c #Conflicts: 460000 | #Constraints: 28416
666.70/668.70 c INPROCESSING
666.70/668.70 c GARBAGE COLLECT
666.70/668.70 c #Conflicts: 461000 | #Constraints: 16015
666.70/668.70 c #Conflicts: 462000 | #Constraints: 17015
666.70/668.70 c #Conflicts: 463000 | #Constraints: 18015
666.70/668.70 c #Conflicts: 464000 | #Constraints: 19015
666.70/668.70 c #Conflicts: 465000 | #Constraints: 20015
666.70/668.70 c #Conflicts: 466000 | #Constraints: 21015
666.70/668.70 c #Conflicts: 467000 | #Constraints: 22015
666.70/668.70 c #Conflicts: 468000 | #Constraints: 23015
666.70/668.70 c #Conflicts: 469000 | #Constraints: 24015
666.70/668.70 c #Conflicts: 470000 | #Constraints: 25015
666.70/668.70 c #Conflicts: 471000 | #Constraints: 26015
666.70/668.70 c #Conflicts: 472000 | #Constraints: 27015
666.70/668.70 c #Conflicts: 473000 | #Constraints: 28015
666.70/668.70 c #Conflicts: 474000 | #Constraints: 29015
666.70/668.70 c INPROCESSING
666.70/668.70 c GARBAGE COLLECT
666.70/668.70 c #Conflicts: 475000 | #Constraints: 16423
666.70/668.70 c #Conflicts: 476000 | #Constraints: 17423
666.70/668.70 c #Conflicts: 477000 | #Constraints: 18423
666.70/668.70 c #Conflicts: 478000 | #Constraints: 19423
666.70/668.70 c #Conflicts: 479000 | #Constraints: 20423
666.70/668.70 c #Conflicts: 480000 | #Constraints: 21423
666.70/668.70 c #Conflicts: 481000 | #Constraints: 22423
666.70/668.70 c #Conflicts: 482000 | #Constraints: 23423
666.70/668.70 c #Conflicts: 483000 | #Constraints: 24423
666.70/668.70 c #Conflicts: 484000 | #Constraints: 25423
666.70/668.70 c #Conflicts: 485000 | #Constraints: 26423
666.70/668.70 c #Conflicts: 486000 | #Constraints: 27423
666.70/668.70 c #Conflicts: 487000 | #Constraints: 28423
666.70/668.70 c #Conflicts: 488000 | #Constraints: 29423
666.70/668.70 c INPROCESSING
666.70/668.70 c GARBAGE COLLECT
666.70/668.70 c #Conflicts: 489000 | #Constraints: 16615
666.70/668.70 c #Conflicts: 490000 | #Constraints: 17615
666.70/668.70 c #Conflicts: 491000 | #Constraints: 18615
666.70/668.70 c #Conflicts: 492000 | #Constraints: 19615
666.70/668.70 c #Conflicts: 493000 | #Constraints: 20615
666.70/668.70 c #Conflicts: 494000 | #Constraints: 21615
666.70/668.70 c #Conflicts: 495000 | #Constraints: 22615
666.70/668.70 c #Conflicts: 496000 | #Constraints: 23615
666.70/668.70 c #Conflicts: 497000 | #Constraints: 24615
666.70/668.70 c #Conflicts: 498000 | #Constraints: 25615
666.70/668.70 c #Conflicts: 499000 | #Constraints: 26615
666.70/668.70 c GLOBAL bounds - >= 1666633367675 @ 653.179
666.70/668.72 c GLOBAL bounds - >= 1666633367675 @ 653.196
666.70/668.75 c GLOBAL bounds - >= 1666633367675 @ 653.206
666.70/668.75 c GLOBAL bounds - >= 1666633367675 @ 653.207
666.70/668.78 c GLOBAL bounds - >= 1666633367675 @ 653.222
666.70/668.78 c GLOBAL bounds - >= 1666633367675 @ 653.225
666.80/668.81 c GLOBAL bounds - >= 1666633367675 @ 653.238
666.80/668.81 c GLOBAL bounds - >= 1666633367675 @ 653.24
666.80/668.84 c GLOBAL bounds - >= 1666633367675 @ 653.25
666.80/668.85 c GLOBAL bounds - >= 1666633367675 @ 653.251
666.80/668.87 c GLOBAL bounds - >= 1666633367675 @ 653.264
666.80/668.88 c GLOBAL bounds - >= 1666633367675 @ 653.268
666.90/668.91 c GLOBAL bounds - >= 1666633367675 @ 653.28
666.90/668.91 c GLOBAL bounds - >= 1666633367675 @ 653.282
666.90/668.94 c GLOBAL bounds - >= 1666633367675 @ 653.297
666.90/668.94 c GLOBAL bounds - >= 1666633367675 @ 653.3
666.90/668.97 c GLOBAL bounds - >= 1666633367675 @ 653.317
666.90/668.97 c GLOBAL bounds - >= 1666633367675 @ 653.319
666.90/669.00 c GLOBAL bounds - >= 1666633367675 @ 653.335
667.00/669.00 c GLOBAL bounds - >= 1666633367675 @ 653.337
667.00/669.03 c GLOBAL bounds - >= 1666633367675 @ 653.352
676.37/678.46 c #Conflicts: 500000 | #Constraints: 27645
676.37/678.46 c #Conflicts: 501000 | #Constraints: 28645
676.37/678.46 c #Conflicts: 502000 | #Constraints: 29645
676.37/678.46 c INPROCESSING
676.37/678.46 c GARBAGE COLLECT
676.37/678.46 c #Conflicts: 503000 | #Constraints: 16648
676.37/678.46 c #Conflicts: 504000 | #Constraints: 17648
676.37/678.46 c #Conflicts: 505000 | #Constraints: 18648
676.37/678.46 c #Conflicts: 506000 | #Constraints: 19648
676.37/678.46 c #Conflicts: 507000 | #Constraints: 20648
676.37/678.46 c #Conflicts: 508000 | #Constraints: 21648
676.37/678.46 c GLOBAL bounds - >= 1666633367675 @ 662.687
679.26/681.33 c #Conflicts: 509000 | #Constraints: 22648
679.26/681.33 c #Conflicts: 510000 | #Constraints: 23648
679.26/681.33 c #Conflicts: 511000 | #Constraints: 24648
679.26/681.33 c GLOBAL bounds - >= 1666633367675 @ 665.5
679.86/681.97 c #Conflicts: 512000 | #Constraints: 25651
679.86/681.97 c GLOBAL bounds - >= 1666633367675 @ 666.129
679.96/682.05 c GLOBAL bounds - >= 1666633367675 @ 666.193
680.26/682.31 c GLOBAL bounds - >= 1666633367675 @ 666.43
771.88/774.26 c #Conflicts: 513000 | #Constraints: 26657
771.88/774.26 c #Conflicts: 514000 | #Constraints: 27657
771.88/774.26 c #Conflicts: 515000 | #Constraints: 28657
771.88/774.26 c #Conflicts: 516000 | #Constraints: 29657
771.88/774.26 c INPROCESSING
771.88/774.26 c GARBAGE COLLECT
771.88/774.26 c #Conflicts: 517000 | #Constraints: 16450
771.88/774.26 c #Conflicts: 518000 | #Constraints: 17450
771.88/774.26 c #Conflicts: 519000 | #Constraints: 18450
771.88/774.26 c #Conflicts: 520000 | #Constraints: 19450
771.88/774.26 c #Conflicts: 521000 | #Constraints: 20450
771.88/774.26 c #Conflicts: 522000 | #Constraints: 21450
771.88/774.26 c #Conflicts: 523000 | #Constraints: 22450
771.88/774.26 c #Conflicts: 524000 | #Constraints: 23450
771.88/774.26 c #Conflicts: 525000 | #Constraints: 24450
771.88/774.26 c #Conflicts: 526000 | #Constraints: 25450
771.88/774.26 c #Conflicts: 527000 | #Constraints: 26450
771.88/774.26 c #Conflicts: 528000 | #Constraints: 27450
771.88/774.26 c #Conflicts: 529000 | #Constraints: 28450
771.88/774.26 c #Conflicts: 530000 | #Constraints: 29450
771.88/774.26 c #Conflicts: 531000 | #Constraints: 30450
771.88/774.26 c INPROCESSING
771.88/774.26 c GARBAGE COLLECT
771.88/774.26 c #Conflicts: 532000 | #Constraints: 17051
771.88/774.26 c #Conflicts: 533000 | #Constraints: 18051
771.88/774.26 c #Conflicts: 534000 | #Constraints: 19051
771.88/774.26 c #Conflicts: 535000 | #Constraints: 20051
771.88/774.26 c #Conflicts: 536000 | #Constraints: 21051
771.88/774.26 c #Conflicts: 537000 | #Constraints: 22051
771.88/774.26 c #Conflicts: 538000 | #Constraints: 23051
771.88/774.26 c #Conflicts: 539000 | #Constraints: 24051
771.88/774.26 c #Conflicts: 540000 | #Constraints: 25051
771.88/774.26 c #Conflicts: 541000 | #Constraints: 26051
771.88/774.26 c #Conflicts: 542000 | #Constraints: 27051
771.88/774.26 c #Conflicts: 543000 | #Constraints: 28051
771.88/774.26 c #Conflicts: 544000 | #Constraints: 29051
771.88/774.26 c #Conflicts: 545000 | #Constraints: 30051
771.88/774.26 c #Conflicts: 546000 | #Constraints: 31051
771.88/774.26 c INPROCESSING
771.88/774.26 c GARBAGE COLLECT
771.88/774.26 c #Conflicts: 547000 | #Constraints: 17451
771.88/774.26 c #Conflicts: 548000 | #Constraints: 18451
771.88/774.26 c #Conflicts: 549000 | #Constraints: 19451
771.88/774.26 c #Conflicts: 550000 | #Constraints: 20451
771.88/774.26 c #Conflicts: 551000 | #Constraints: 21451
771.88/774.26 c #Conflicts: 552000 | #Constraints: 22451
771.88/774.26 c #Conflicts: 553000 | #Constraints: 23451
771.88/774.26 c #Conflicts: 554000 | #Constraints: 24451
771.88/774.26 c #Conflicts: 555000 | #Constraints: 25451
771.88/774.26 c #Conflicts: 556000 | #Constraints: 26451
771.88/774.26 c #Conflicts: 557000 | #Constraints: 27451
771.88/774.26 c #Conflicts: 558000 | #Constraints: 28451
771.88/774.26 c #Conflicts: 559000 | #Constraints: 29451
771.88/774.26 c #Conflicts: 560000 | #Constraints: 30451
771.88/774.26 c #Conflicts: 561000 | #Constraints: 31451
771.88/774.26 c INPROCESSING
771.88/774.26 c GARBAGE COLLECT
771.88/774.26 c #Conflicts: 562000 | #Constraints: 17650
771.88/774.26 c #Conflicts: 563000 | #Constraints: 18650
771.88/774.26 c #Conflicts: 564000 | #Constraints: 19650
771.88/774.26 c #Conflicts: 565000 | #Constraints: 20650
771.88/774.26 c #Conflicts: 566000 | #Constraints: 21650
771.88/774.26 c #Conflicts: 567000 | #Constraints: 22650
771.88/774.26 c #Conflicts: 568000 | #Constraints: 23650
771.88/774.26 c #Conflicts: 569000 | #Constraints: 24650
771.88/774.26 c #Conflicts: 570000 | #Constraints: 25650
771.88/774.26 c #Conflicts: 571000 | #Constraints: 26650
771.88/774.26 c #Conflicts: 572000 | #Constraints: 27650
771.88/774.26 c #Conflicts: 573000 | #Constraints: 28650
771.88/774.26 c #Conflicts: 574000 | #Constraints: 29650
771.88/774.26 c #Conflicts: 575000 | #Constraints: 30650
771.88/774.26 c #Conflicts: 576000 | #Constraints: 31650
771.88/774.26 c INPROCESSING
771.88/774.26 c GARBAGE COLLECT
771.88/774.26 c #Conflicts: 577000 | #Constraints: 17646
771.88/774.26 c #Conflicts: 578000 | #Constraints: 18646
771.88/774.26 c #Conflicts: 579000 | #Constraints: 19646
771.88/774.26 c #Conflicts: 580000 | #Constraints: 20646
771.88/774.26 c #Conflicts: 581000 | #Constraints: 21646
771.88/774.26 c #Conflicts: 582000 | #Constraints: 22646
771.88/774.26 c #Conflicts: 583000 | #Constraints: 23646
771.88/774.26 c #Conflicts: 584000 | #Constraints: 24646
771.88/774.26 c #Conflicts: 585000 | #Constraints: 25646
771.88/774.26 c #Conflicts: 586000 | #Constraints: 26646
771.88/774.26 c #Conflicts: 587000 | #Constraints: 27646
771.88/774.26 c #Conflicts: 588000 | #Constraints: 28646
862.20/864.89 c #Conflicts: 589000 | #Constraints: 29646
862.20/864.89 c #Conflicts: 590000 | #Constraints: 30646
862.20/864.89 c #Conflicts: 591000 | #Constraints: 31646
862.20/864.89 c INPROCESSING
862.20/864.89 c GARBAGE COLLECT
862.20/864.89 c #Conflicts: 592000 | #Constraints: 17457
862.20/864.89 c #Conflicts: 593000 | #Constraints: 18457
862.20/864.89 c #Conflicts: 594000 | #Constraints: 19457
862.20/864.89 c #Conflicts: 595000 | #Constraints: 20457
862.20/864.89 c #Conflicts: 596000 | #Constraints: 21457
862.20/864.89 c #Conflicts: 597000 | #Constraints: 22457
862.20/864.89 c #Conflicts: 598000 | #Constraints: 23457
862.20/864.89 c #Conflicts: 599000 | #Constraints: 24457
862.20/864.89 c #Conflicts: 600000 | #Constraints: 25457
862.20/864.89 c #Conflicts: 601000 | #Constraints: 26457
862.20/864.89 c #Conflicts: 602000 | #Constraints: 27457
862.20/864.89 c #Conflicts: 603000 | #Constraints: 28457
862.20/864.89 c #Conflicts: 604000 | #Constraints: 29457
862.20/864.89 c #Conflicts: 605000 | #Constraints: 30457
862.20/864.89 c #Conflicts: 606000 | #Constraints: 31457
862.20/864.89 c #Conflicts: 607000 | #Constraints: 32457
862.20/864.89 c INPROCESSING
862.20/864.89 c GARBAGE COLLECT
862.20/864.89 c #Conflicts: 608000 | #Constraints: 18065
862.20/864.89 c #Conflicts: 609000 | #Constraints: 19065
862.20/864.89 c #Conflicts: 610000 | #Constraints: 20065
862.20/864.89 c #Conflicts: 611000 | #Constraints: 21065
862.20/864.89 c #Conflicts: 612000 | #Constraints: 22065
862.20/864.89 c #Conflicts: 613000 | #Constraints: 23065
862.20/864.89 c #Conflicts: 614000 | #Constraints: 24065
862.20/864.89 c #Conflicts: 615000 | #Constraints: 25065
862.20/864.89 c #Conflicts: 616000 | #Constraints: 26065
862.20/864.89 c #Conflicts: 617000 | #Constraints: 27065
862.20/864.89 c #Conflicts: 618000 | #Constraints: 28065
862.20/864.89 c #Conflicts: 619000 | #Constraints: 29065
862.20/864.89 c #Conflicts: 620000 | #Constraints: 30065
862.20/864.89 c #Conflicts: 621000 | #Constraints: 31065
862.20/864.89 c #Conflicts: 622000 | #Constraints: 32065
862.20/864.89 c #Conflicts: 623000 | #Constraints: 33065
862.20/864.89 c INPROCESSING
862.20/864.89 c GARBAGE COLLECT
862.20/864.89 c #Conflicts: 624000 | #Constraints: 18450
862.20/864.89 c #Conflicts: 625000 | #Constraints: 19450
862.20/864.89 c #Conflicts: 626000 | #Constraints: 20450
862.20/864.89 c #Conflicts: 627000 | #Constraints: 21450
862.20/864.89 c #Conflicts: 628000 | #Constraints: 22450
862.20/864.89 c #Conflicts: 629000 | #Constraints: 23450
862.20/864.89 c #Conflicts: 630000 | #Constraints: 24450
862.20/864.89 c #Conflicts: 631000 | #Constraints: 25450
862.20/864.89 c #Conflicts: 632000 | #Constraints: 26450
862.20/864.89 c #Conflicts: 633000 | #Constraints: 27450
862.20/864.89 c #Conflicts: 634000 | #Constraints: 28450
862.20/864.89 c #Conflicts: 635000 | #Constraints: 29450
862.20/864.89 c #Conflicts: 636000 | #Constraints: 30450
862.20/864.89 c #Conflicts: 637000 | #Constraints: 31450
862.20/864.89 c #Conflicts: 638000 | #Constraints: 32450
862.20/864.89 c #Conflicts: 639000 | #Constraints: 33450
862.20/864.89 c INPROCESSING
862.20/864.89 c GARBAGE COLLECT
862.20/864.89 c #Conflicts: 640000 | #Constraints: 18652
862.20/864.89 c #Conflicts: 641000 | #Constraints: 19652
862.20/864.89 c #Conflicts: 642000 | #Constraints: 20652
862.20/864.89 c #Conflicts: 643000 | #Constraints: 21652
862.20/864.89 c #Conflicts: 644000 | #Constraints: 22652
862.20/864.89 c #Conflicts: 645000 | #Constraints: 23652
862.20/864.89 c #Conflicts: 646000 | #Constraints: 24652
862.20/864.89 c #Conflicts: 647000 | #Constraints: 25652
862.20/864.89 c #Conflicts: 648000 | #Constraints: 26652
862.20/864.89 c #Conflicts: 649000 | #Constraints: 27652
862.20/864.89 c #Conflicts: 650000 | #Constraints: 28652
862.20/864.89 c #Conflicts: 651000 | #Constraints: 29652
862.20/864.89 c #Conflicts: 652000 | #Constraints: 30652
862.20/864.89 c #Conflicts: 653000 | #Constraints: 31652
862.20/864.89 c #Conflicts: 654000 | #Constraints: 32652
862.20/864.89 c #Conflicts: 655000 | #Constraints: 33652
862.20/864.89 c INPROCESSING
862.20/864.89 c GARBAGE COLLECT
862.20/864.89 c #Conflicts: 656000 | #Constraints: 18647
862.20/864.89 c #Conflicts: 657000 | #Constraints: 19647
862.20/864.89 c #Conflicts: 658000 | #Constraints: 20647
862.20/864.89 c #Conflicts: 659000 | #Constraints: 21647
862.20/864.89 c #Conflicts: 660000 | #Constraints: 22647
862.20/864.89 c #Conflicts: 661000 | #Constraints: 23647
862.20/864.89 c #Conflicts: 662000 | #Constraints: 24647
862.20/864.89 c #Conflicts: 663000 | #Constraints: 25647
862.20/864.89 c #Conflicts: 664000 | #Constraints: 26647
965.57/968.57 c #Conflicts: 665000 | #Constraints: 27647
965.57/968.57 c #Conflicts: 666000 | #Constraints: 28647
965.57/968.57 c #Conflicts: 667000 | #Constraints: 29647
965.57/968.57 c #Conflicts: 668000 | #Constraints: 30647
965.57/968.57 c #Conflicts: 669000 | #Constraints: 31647
965.57/968.57 c #Conflicts: 670000 | #Constraints: 32647
965.57/968.57 c #Conflicts: 671000 | #Constraints: 33647
965.57/968.57 c INPROCESSING
965.57/968.57 c GARBAGE COLLECT
965.57/968.57 c #Conflicts: 672000 | #Constraints: 18456
965.57/968.57 c #Conflicts: 673000 | #Constraints: 19456
965.57/968.57 c #Conflicts: 674000 | #Constraints: 20456
965.57/968.57 c #Conflicts: 675000 | #Constraints: 21456
965.57/968.57 c #Conflicts: 676000 | #Constraints: 22456
965.57/968.57 c #Conflicts: 677000 | #Constraints: 23456
965.57/968.57 c #Conflicts: 678000 | #Constraints: 24456
965.57/968.57 c #Conflicts: 679000 | #Constraints: 25456
965.57/968.57 c #Conflicts: 680000 | #Constraints: 26456
965.57/968.57 c #Conflicts: 681000 | #Constraints: 27456
965.57/968.57 c #Conflicts: 682000 | #Constraints: 28456
965.57/968.57 c #Conflicts: 683000 | #Constraints: 29456
965.57/968.57 c #Conflicts: 684000 | #Constraints: 30456
965.57/968.57 c #Conflicts: 685000 | #Constraints: 31456
965.57/968.57 c #Conflicts: 686000 | #Constraints: 32456
965.57/968.57 c #Conflicts: 687000 | #Constraints: 33456
965.57/968.57 c #Conflicts: 688000 | #Constraints: 34456
965.57/968.57 c INPROCESSING
965.57/968.57 c GARBAGE COLLECT
965.57/968.57 c #Conflicts: 689000 | #Constraints: 19059
965.57/968.57 c #Conflicts: 690000 | #Constraints: 20059
965.57/968.57 c #Conflicts: 691000 | #Constraints: 21059
965.57/968.57 c #Conflicts: 692000 | #Constraints: 22059
965.57/968.57 c #Conflicts: 693000 | #Constraints: 23059
965.57/968.57 c #Conflicts: 694000 | #Constraints: 24059
965.57/968.57 c #Conflicts: 695000 | #Constraints: 25059
965.57/968.57 c #Conflicts: 696000 | #Constraints: 26059
965.57/968.57 c #Conflicts: 697000 | #Constraints: 27059
965.57/968.57 c #Conflicts: 698000 | #Constraints: 28059
965.57/968.57 c #Conflicts: 699000 | #Constraints: 29059
965.57/968.57 c #Conflicts: 700000 | #Constraints: 30059
965.57/968.57 c #Conflicts: 701000 | #Constraints: 31059
965.57/968.57 c #Conflicts: 702000 | #Constraints: 32059
965.57/968.57 c #Conflicts: 703000 | #Constraints: 33059
965.57/968.57 c #Conflicts: 704000 | #Constraints: 34059
965.57/968.57 c #Conflicts: 705000 | #Constraints: 35059
965.57/968.57 c INPROCESSING
965.57/968.57 c GARBAGE COLLECT
965.57/968.57 c #Conflicts: 706000 | #Constraints: 19457
965.57/968.57 c #Conflicts: 707000 | #Constraints: 20457
965.57/968.57 c #Conflicts: 708000 | #Constraints: 21457
965.57/968.57 c #Conflicts: 709000 | #Constraints: 22457
965.57/968.57 c #Conflicts: 710000 | #Constraints: 23457
965.57/968.57 c #Conflicts: 711000 | #Constraints: 24457
965.57/968.57 c #Conflicts: 712000 | #Constraints: 25457
965.57/968.57 c #Conflicts: 713000 | #Constraints: 26457
965.57/968.57 c #Conflicts: 714000 | #Constraints: 27457
965.57/968.57 c #Conflicts: 715000 | #Constraints: 28457
965.57/968.57 c #Conflicts: 716000 | #Constraints: 29457
965.57/968.57 c #Conflicts: 717000 | #Constraints: 30457
965.57/968.57 c #Conflicts: 718000 | #Constraints: 31457
965.57/968.57 c #Conflicts: 719000 | #Constraints: 32457
965.57/968.57 c #Conflicts: 720000 | #Constraints: 33457
965.57/968.57 c #Conflicts: 721000 | #Constraints: 34457
965.57/968.57 c #Conflicts: 722000 | #Constraints: 35457
965.57/968.57 c INPROCESSING
965.57/968.57 c GARBAGE COLLECT
965.57/968.57 c #Conflicts: 723000 | #Constraints: 19659
965.57/968.57 c #Conflicts: 724000 | #Constraints: 20659
965.57/968.57 c #Conflicts: 725000 | #Constraints: 21659
965.57/968.57 c #Conflicts: 726000 | #Constraints: 22659
965.57/968.57 c #Conflicts: 727000 | #Constraints: 23659
965.57/968.57 c #Conflicts: 728000 | #Constraints: 24659
965.57/968.57 c #Conflicts: 729000 | #Constraints: 25659
965.57/968.57 c #Conflicts: 730000 | #Constraints: 26659
965.57/968.57 c #Conflicts: 731000 | #Constraints: 27659
965.57/968.57 c #Conflicts: 732000 | #Constraints: 28659
965.57/968.57 c #Conflicts: 733000 | #Constraints: 29659
965.57/968.57 c #Conflicts: 734000 | #Constraints: 30659
965.57/968.57 c #Conflicts: 735000 | #Constraints: 31659
965.57/968.57 c #Conflicts: 736000 | #Constraints: 32659
965.57/968.57 c #Conflicts: 737000 | #Constraints: 33659
965.57/968.57 c #Conflicts: 738000 | #Constraints: 34659
965.57/968.57 c #Conflicts: 739000 | #Constraints: 35659
965.57/968.57 c INPROCESSING
965.57/968.57 c GARBAGE COLLECT
1079.02/1082.38 c #Conflicts: 740000 | #Constraints: 19662
1079.02/1082.38 c #Conflicts: 741000 | #Constraints: 20662
1079.02/1082.38 c #Conflicts: 742000 | #Constraints: 21662
1079.02/1082.38 c #Conflicts: 743000 | #Constraints: 22662
1079.02/1082.38 c #Conflicts: 744000 | #Constraints: 23662
1079.02/1082.38 c #Conflicts: 745000 | #Constraints: 24662
1079.02/1082.38 c #Conflicts: 746000 | #Constraints: 25662
1079.02/1082.38 c #Conflicts: 747000 | #Constraints: 26662
1079.02/1082.38 c #Conflicts: 748000 | #Constraints: 27662
1079.02/1082.38 c #Conflicts: 749000 | #Constraints: 28662
1079.02/1082.38 c #Conflicts: 750000 | #Constraints: 29662
1079.02/1082.38 c #Conflicts: 751000 | #Constraints: 30662
1079.02/1082.38 c #Conflicts: 752000 | #Constraints: 31662
1079.02/1082.38 c #Conflicts: 753000 | #Constraints: 32662
1079.02/1082.38 c #Conflicts: 754000 | #Constraints: 33662
1079.02/1082.38 c #Conflicts: 755000 | #Constraints: 34662
1079.02/1082.38 c #Conflicts: 756000 | #Constraints: 35662
1079.02/1082.38 c INPROCESSING
1079.02/1082.38 c GARBAGE COLLECT
1079.02/1082.38 c #Conflicts: 757000 | #Constraints: 19450
1079.02/1082.38 c #Conflicts: 758000 | #Constraints: 20450
1079.02/1082.38 c #Conflicts: 759000 | #Constraints: 21450
1079.02/1082.38 c #Conflicts: 760000 | #Constraints: 22450
1079.02/1082.38 c #Conflicts: 761000 | #Constraints: 23450
1079.02/1082.38 c #Conflicts: 762000 | #Constraints: 24450
1079.02/1082.38 c #Conflicts: 763000 | #Constraints: 25450
1079.02/1082.38 c #Conflicts: 764000 | #Constraints: 26450
1079.02/1082.38 c #Conflicts: 765000 | #Constraints: 27450
1079.02/1082.38 c #Conflicts: 766000 | #Constraints: 28450
1079.02/1082.38 c #Conflicts: 767000 | #Constraints: 29450
1079.02/1082.38 c #Conflicts: 768000 | #Constraints: 30450
1079.02/1082.38 c #Conflicts: 769000 | #Constraints: 31450
1079.02/1082.38 c #Conflicts: 770000 | #Constraints: 32450
1079.02/1082.38 c #Conflicts: 771000 | #Constraints: 33450
1079.02/1082.38 c #Conflicts: 772000 | #Constraints: 34450
1079.02/1082.38 c #Conflicts: 773000 | #Constraints: 35450
1079.02/1082.38 c #Conflicts: 774000 | #Constraints: 36450
1079.02/1082.38 c INPROCESSING
1079.02/1082.38 c GARBAGE COLLECT
1079.02/1082.38 c #Conflicts: 775000 | #Constraints: 20062
1079.02/1082.38 c #Conflicts: 776000 | #Constraints: 21062
1079.02/1082.38 c #Conflicts: 777000 | #Constraints: 22062
1079.02/1082.38 c #Conflicts: 778000 | #Constraints: 23062
1079.02/1082.38 c #Conflicts: 779000 | #Constraints: 24062
1079.02/1082.38 c #Conflicts: 780000 | #Constraints: 25062
1079.02/1082.38 c #Conflicts: 781000 | #Constraints: 26062
1079.02/1082.38 c #Conflicts: 782000 | #Constraints: 27062
1079.02/1082.38 c #Conflicts: 783000 | #Constraints: 28062
1079.02/1082.38 c #Conflicts: 784000 | #Constraints: 29062
1079.02/1082.38 c #Conflicts: 785000 | #Constraints: 30062
1079.02/1082.38 c #Conflicts: 786000 | #Constraints: 31062
1079.02/1082.38 c #Conflicts: 787000 | #Constraints: 32062
1079.02/1082.38 c #Conflicts: 788000 | #Constraints: 33062
1079.02/1082.38 c #Conflicts: 789000 | #Constraints: 34062
1079.02/1082.38 c #Conflicts: 790000 | #Constraints: 35062
1079.02/1082.38 c #Conflicts: 791000 | #Constraints: 36062
1079.02/1082.38 c #Conflicts: 792000 | #Constraints: 37062
1079.02/1082.38 c INPROCESSING
1079.02/1082.38 c GARBAGE COLLECT
1079.02/1082.38 c #Conflicts: 793000 | #Constraints: 20464
1079.02/1082.38 c #Conflicts: 794000 | #Constraints: 21464
1079.02/1082.38 c #Conflicts: 795000 | #Constraints: 22464
1079.02/1082.38 c #Conflicts: 796000 | #Constraints: 23464
1079.02/1082.38 c #Conflicts: 797000 | #Constraints: 24464
1079.02/1082.38 c #Conflicts: 798000 | #Constraints: 25464
1079.02/1082.38 c #Conflicts: 799000 | #Constraints: 26464
1079.02/1082.38 c #Conflicts: 800000 | #Constraints: 27464
1079.02/1082.38 c #Conflicts: 801000 | #Constraints: 28464
1079.02/1082.38 c #Conflicts: 802000 | #Constraints: 29464
1079.02/1082.38 c #Conflicts: 803000 | #Constraints: 30464
1079.02/1082.38 c #Conflicts: 804000 | #Constraints: 31464
1079.02/1082.38 c #Conflicts: 805000 | #Constraints: 32464
1079.02/1082.38 c #Conflicts: 806000 | #Constraints: 33464
1079.02/1082.38 c #Conflicts: 807000 | #Constraints: 34464
1079.02/1082.38 c #Conflicts: 808000 | #Constraints: 35464
1079.02/1082.38 c #Conflicts: 809000 | #Constraints: 36464
1079.02/1082.38 c #Conflicts: 810000 | #Constraints: 37464
1079.02/1082.38 c INPROCESSING
1079.02/1082.38 c GARBAGE COLLECT
1079.02/1082.38 c #Conflicts: 811000 | #Constraints: 20646
1079.02/1082.38 c #Conflicts: 812000 | #Constraints: 21646
1079.02/1082.38 c #Conflicts: 813000 | #Constraints: 22646
1079.02/1082.38 c #Conflicts: 814000 | #Constraints: 23646
1079.02/1082.38 c #Conflicts: 815000 | #Constraints: 24646
1079.02/1082.38 c #Conflicts: 816000 | #Constraints: 25646
1221.67/1225.44 c #Conflicts: 817000 | #Constraints: 26646
1221.67/1225.44 c #Conflicts: 818000 | #Constraints: 27646
1221.67/1225.44 c #Conflicts: 819000 | #Constraints: 28646
1221.67/1225.44 c #Conflicts: 820000 | #Constraints: 29646
1221.67/1225.44 c #Conflicts: 821000 | #Constraints: 30646
1221.67/1225.44 c #Conflicts: 822000 | #Constraints: 31646
1221.67/1225.44 c #Conflicts: 823000 | #Constraints: 32646
1221.67/1225.44 c #Conflicts: 824000 | #Constraints: 33646
1221.67/1225.44 c #Conflicts: 825000 | #Constraints: 34646
1221.67/1225.44 c #Conflicts: 826000 | #Constraints: 35646
1221.67/1225.44 c #Conflicts: 827000 | #Constraints: 36646
1221.67/1225.44 c #Conflicts: 828000 | #Constraints: 37646
1221.67/1225.44 c INPROCESSING
1221.67/1225.44 c GARBAGE COLLECT
1221.67/1225.44 c #Conflicts: 829000 | #Constraints: 20640
1221.67/1225.44 c #Conflicts: 830000 | #Constraints: 21640
1221.67/1225.44 c #Conflicts: 831000 | #Constraints: 22640
1221.67/1225.44 c #Conflicts: 832000 | #Constraints: 23640
1221.67/1225.44 c #Conflicts: 833000 | #Constraints: 24640
1221.67/1225.44 c #Conflicts: 834000 | #Constraints: 25640
1221.67/1225.44 c #Conflicts: 835000 | #Constraints: 26640
1221.67/1225.44 c #Conflicts: 836000 | #Constraints: 27640
1221.67/1225.44 c #Conflicts: 837000 | #Constraints: 28640
1221.67/1225.44 c #Conflicts: 838000 | #Constraints: 29640
1221.67/1225.44 c #Conflicts: 839000 | #Constraints: 30640
1221.67/1225.44 c #Conflicts: 840000 | #Constraints: 31640
1221.67/1225.44 c #Conflicts: 841000 | #Constraints: 32640
1221.67/1225.44 c #Conflicts: 842000 | #Constraints: 33640
1221.67/1225.44 c #Conflicts: 843000 | #Constraints: 34640
1221.67/1225.44 c #Conflicts: 844000 | #Constraints: 35640
1221.67/1225.44 c #Conflicts: 845000 | #Constraints: 36640
1221.67/1225.44 c #Conflicts: 846000 | #Constraints: 37640
1221.67/1225.44 c INPROCESSING
1221.67/1225.44 c GARBAGE COLLECT
1221.67/1225.44 c #Conflicts: 847000 | #Constraints: 20446
1221.67/1225.44 c #Conflicts: 848000 | #Constraints: 21446
1221.67/1225.44 c #Conflicts: 849000 | #Constraints: 22446
1221.67/1225.44 c #Conflicts: 850000 | #Constraints: 23446
1221.67/1225.44 c #Conflicts: 851000 | #Constraints: 24446
1221.67/1225.44 c #Conflicts: 852000 | #Constraints: 25446
1221.67/1225.44 c #Conflicts: 853000 | #Constraints: 26446
1221.67/1225.44 c #Conflicts: 854000 | #Constraints: 27446
1221.67/1225.44 c #Conflicts: 855000 | #Constraints: 28446
1221.67/1225.44 c #Conflicts: 856000 | #Constraints: 29446
1221.67/1225.44 c #Conflicts: 857000 | #Constraints: 30446
1221.67/1225.44 c #Conflicts: 858000 | #Constraints: 31446
1221.67/1225.44 c #Conflicts: 859000 | #Constraints: 32446
1221.67/1225.44 c #Conflicts: 860000 | #Constraints: 33446
1221.67/1225.44 c #Conflicts: 861000 | #Constraints: 34446
1221.67/1225.44 c #Conflicts: 862000 | #Constraints: 35446
1221.67/1225.44 c #Conflicts: 863000 | #Constraints: 36446
1221.67/1225.44 c #Conflicts: 864000 | #Constraints: 37446
1221.67/1225.44 c #Conflicts: 865000 | #Constraints: 38446
1221.67/1225.44 c INPROCESSING
1221.67/1225.44 c GARBAGE COLLECT
1221.67/1225.44 c #Conflicts: 866000 | #Constraints: 21044
1221.67/1225.44 c #Conflicts: 867000 | #Constraints: 22044
1221.67/1225.44 c #Conflicts: 868000 | #Constraints: 23044
1221.67/1225.44 c #Conflicts: 869000 | #Constraints: 24044
1221.67/1225.44 c #Conflicts: 870000 | #Constraints: 25044
1221.67/1225.44 c #Conflicts: 871000 | #Constraints: 26044
1221.67/1225.44 c #Conflicts: 872000 | #Constraints: 27044
1221.67/1225.44 c #Conflicts: 873000 | #Constraints: 28044
1221.67/1225.44 c #Conflicts: 874000 | #Constraints: 29044
1221.67/1225.44 c #Conflicts: 875000 | #Constraints: 30044
1221.67/1225.44 c #Conflicts: 876000 | #Constraints: 31044
1221.67/1225.44 c #Conflicts: 877000 | #Constraints: 32044
1221.67/1225.44 c #Conflicts: 878000 | #Constraints: 33044
1221.67/1225.44 c #Conflicts: 879000 | #Constraints: 34044
1221.67/1225.44 c #Conflicts: 880000 | #Constraints: 35044
1221.67/1225.44 c #Conflicts: 881000 | #Constraints: 36044
1221.67/1225.44 c #Conflicts: 882000 | #Constraints: 37044
1221.67/1225.44 c #Conflicts: 883000 | #Constraints: 38044
1221.67/1225.44 c #Conflicts: 884000 | #Constraints: 39044
1221.67/1225.44 c INPROCESSING
1221.67/1225.44 c GARBAGE COLLECT
1221.67/1225.44 c #Conflicts: 885000 | #Constraints: 21449
1221.67/1225.44 c #Conflicts: 886000 | #Constraints: 22449
1221.67/1225.44 c #Conflicts: 887000 | #Constraints: 23449
1221.67/1225.44 c #Conflicts: 888000 | #Constraints: 24449
1221.67/1225.44 c #Conflicts: 889000 | #Constraints: 25449
1221.67/1225.44 c #Conflicts: 890000 | #Constraints: 26449
1221.67/1225.44 c #Conflicts: 891000 | #Constraints: 27449
1221.67/1225.44 c #Conflicts: 892000 | #Constraints: 28449
1361.02/1365.27 c #Conflicts: 893000 | #Constraints: 29449
1361.02/1365.27 c #Conflicts: 894000 | #Constraints: 30449
1361.02/1365.27 c #Conflicts: 895000 | #Constraints: 31449
1361.02/1365.27 c #Conflicts: 896000 | #Constraints: 32449
1361.02/1365.27 c #Conflicts: 897000 | #Constraints: 33449
1361.02/1365.27 c #Conflicts: 898000 | #Constraints: 34449
1361.02/1365.27 c #Conflicts: 899000 | #Constraints: 35449
1361.02/1365.27 c #Conflicts: 900000 | #Constraints: 36449
1361.02/1365.27 c #Conflicts: 901000 | #Constraints: 37449
1361.02/1365.27 c #Conflicts: 902000 | #Constraints: 38449
1361.02/1365.27 c #Conflicts: 903000 | #Constraints: 39449
1361.02/1365.27 c INPROCESSING
1361.02/1365.27 c GARBAGE COLLECT
1361.02/1365.27 c #Conflicts: 904000 | #Constraints: 21645
1361.02/1365.27 c #Conflicts: 905000 | #Constraints: 22645
1361.02/1365.27 c #Conflicts: 906000 | #Constraints: 23645
1361.02/1365.27 c #Conflicts: 907000 | #Constraints: 24645
1361.02/1365.27 c #Conflicts: 908000 | #Constraints: 25645
1361.02/1365.27 c #Conflicts: 909000 | #Constraints: 26645
1361.02/1365.27 c #Conflicts: 910000 | #Constraints: 27645
1361.02/1365.27 c #Conflicts: 911000 | #Constraints: 28645
1361.02/1365.27 c #Conflicts: 912000 | #Constraints: 29645
1361.02/1365.27 c #Conflicts: 913000 | #Constraints: 30645
1361.02/1365.27 c #Conflicts: 914000 | #Constraints: 31645
1361.02/1365.27 c #Conflicts: 915000 | #Constraints: 32645
1361.02/1365.27 c #Conflicts: 916000 | #Constraints: 33645
1361.02/1365.27 c #Conflicts: 917000 | #Constraints: 34645
1361.02/1365.27 c #Conflicts: 918000 | #Constraints: 35645
1361.02/1365.27 c #Conflicts: 919000 | #Constraints: 36645
1361.02/1365.27 c #Conflicts: 920000 | #Constraints: 37645
1361.02/1365.27 c #Conflicts: 921000 | #Constraints: 38645
1361.02/1365.27 c #Conflicts: 922000 | #Constraints: 39645
1361.02/1365.27 c INPROCESSING
1361.02/1365.27 c GARBAGE COLLECT
1361.02/1365.27 c #Conflicts: 923000 | #Constraints: 21652
1361.02/1365.27 c #Conflicts: 924000 | #Constraints: 22652
1361.02/1365.27 c #Conflicts: 925000 | #Constraints: 23652
1361.02/1365.27 c #Conflicts: 926000 | #Constraints: 24652
1361.02/1365.27 c #Conflicts: 927000 | #Constraints: 25652
1361.02/1365.27 c #Conflicts: 928000 | #Constraints: 26652
1361.02/1365.27 c #Conflicts: 929000 | #Constraints: 27652
1361.02/1365.27 c #Conflicts: 930000 | #Constraints: 28652
1361.02/1365.27 c #Conflicts: 931000 | #Constraints: 29652
1361.02/1365.27 c #Conflicts: 932000 | #Constraints: 30652
1361.02/1365.27 c #Conflicts: 933000 | #Constraints: 31652
1361.02/1365.27 c #Conflicts: 934000 | #Constraints: 32652
1361.02/1365.27 c #Conflicts: 935000 | #Constraints: 33652
1361.02/1365.27 c #Conflicts: 936000 | #Constraints: 34652
1361.02/1365.27 c #Conflicts: 937000 | #Constraints: 35652
1361.02/1365.27 c #Conflicts: 938000 | #Constraints: 36652
1361.02/1365.27 c #Conflicts: 939000 | #Constraints: 37652
1361.02/1365.27 c #Conflicts: 940000 | #Constraints: 38652
1361.02/1365.27 c #Conflicts: 941000 | #Constraints: 39652
1361.02/1365.27 c INPROCESSING
1361.02/1365.27 c GARBAGE COLLECT
1361.02/1365.27 c #Conflicts: 942000 | #Constraints: 21453
1361.02/1365.27 c #Conflicts: 943000 | #Constraints: 22453
1361.02/1365.27 c #Conflicts: 944000 | #Constraints: 23453
1361.02/1365.27 c #Conflicts: 945000 | #Constraints: 24453
1361.02/1365.27 c #Conflicts: 946000 | #Constraints: 25453
1361.02/1365.27 c #Conflicts: 947000 | #Constraints: 26453
1361.02/1365.27 c #Conflicts: 948000 | #Constraints: 27453
1361.02/1365.27 c #Conflicts: 949000 | #Constraints: 28453
1361.02/1365.27 c #Conflicts: 950000 | #Constraints: 29453
1361.02/1365.27 c #Conflicts: 951000 | #Constraints: 30453
1361.02/1365.27 c #Conflicts: 952000 | #Constraints: 31453
1361.02/1365.27 c #Conflicts: 953000 | #Constraints: 32453
1361.02/1365.27 c #Conflicts: 954000 | #Constraints: 33453
1361.02/1365.27 c #Conflicts: 955000 | #Constraints: 34453
1361.02/1365.27 c #Conflicts: 956000 | #Constraints: 35453
1361.02/1365.27 c #Conflicts: 957000 | #Constraints: 36453
1361.02/1365.27 c #Conflicts: 958000 | #Constraints: 37453
1361.02/1365.27 c #Conflicts: 959000 | #Constraints: 38453
1361.02/1365.27 c #Conflicts: 960000 | #Constraints: 39453
1361.02/1365.27 c #Conflicts: 961000 | #Constraints: 40453
1361.02/1365.27 c INPROCESSING
1361.02/1365.27 c GARBAGE COLLECT
1361.02/1365.27 c #Conflicts: 962000 | #Constraints: 22048
1361.02/1365.27 c #Conflicts: 963000 | #Constraints: 23048
1361.02/1365.27 c #Conflicts: 964000 | #Constraints: 24048
1361.02/1365.27 c #Conflicts: 965000 | #Constraints: 25048
1361.02/1365.27 c #Conflicts: 966000 | #Constraints: 26048
1361.02/1365.27 c #Conflicts: 967000 | #Constraints: 27048
1361.02/1365.27 c #Conflicts: 968000 | #Constraints: 28048
1471.08/1475.65 c #Conflicts: 969000 | #Constraints: 29048
1471.08/1475.65 c #Conflicts: 970000 | #Constraints: 30048
1471.08/1475.65 c #Conflicts: 971000 | #Constraints: 31048
1471.08/1475.65 c #Conflicts: 972000 | #Constraints: 32048
1471.08/1475.65 c #Conflicts: 973000 | #Constraints: 33048
1471.08/1475.65 c #Conflicts: 974000 | #Constraints: 34048
1471.08/1475.65 c #Conflicts: 975000 | #Constraints: 35048
1471.08/1475.65 c #Conflicts: 976000 | #Constraints: 36048
1471.08/1475.65 c #Conflicts: 977000 | #Constraints: 37048
1471.08/1475.65 c #Conflicts: 978000 | #Constraints: 38048
1471.08/1475.65 c #Conflicts: 979000 | #Constraints: 39048
1471.08/1475.65 c #Conflicts: 980000 | #Constraints: 40048
1471.08/1475.65 c #Conflicts: 981000 | #Constraints: 41048
1471.08/1475.65 c INPROCESSING
1471.08/1475.65 c GARBAGE COLLECT
1471.08/1475.65 c #Conflicts: 982000 | #Constraints: 22464
1471.08/1475.65 c #Conflicts: 983000 | #Constraints: 23464
1471.08/1475.65 c #Conflicts: 984000 | #Constraints: 24464
1471.08/1475.65 c #Conflicts: 985000 | #Constraints: 25464
1471.08/1475.65 c #Conflicts: 986000 | #Constraints: 26464
1471.08/1475.65 c #Conflicts: 987000 | #Constraints: 27464
1471.08/1475.65 c #Conflicts: 988000 | #Constraints: 28464
1471.08/1475.65 c #Conflicts: 989000 | #Constraints: 29464
1471.08/1475.65 c #Conflicts: 990000 | #Constraints: 30464
1471.08/1475.65 c #Conflicts: 991000 | #Constraints: 31464
1471.08/1475.65 c #Conflicts: 992000 | #Constraints: 32464
1471.08/1475.65 c #Conflicts: 993000 | #Constraints: 33464
1471.08/1475.65 c #Conflicts: 994000 | #Constraints: 34464
1471.08/1475.65 c #Conflicts: 995000 | #Constraints: 35464
1471.08/1475.65 c #Conflicts: 996000 | #Constraints: 36464
1471.08/1475.65 c #Conflicts: 997000 | #Constraints: 37464
1471.08/1475.65 c #Conflicts: 998000 | #Constraints: 38464
1471.08/1475.65 c #Conflicts: 999000 | #Constraints: 39464
1471.08/1475.65 c #Conflicts: 1000000 | #Constraints: 40464
1471.08/1475.65 c #Conflicts: 1001000 | #Constraints: 41464
1471.08/1475.65 c INPROCESSING
1471.08/1475.65 c GARBAGE COLLECT
1471.08/1475.65 c #Conflicts: 1002000 | #Constraints: 22666
1471.08/1475.65 c #Conflicts: 1003000 | #Constraints: 23666
1471.08/1475.65 c #Conflicts: 1004000 | #Constraints: 24666
1471.08/1475.65 c #Conflicts: 1005000 | #Constraints: 25666
1471.08/1475.65 c #Conflicts: 1006000 | #Constraints: 26666
1471.08/1475.65 c #Conflicts: 1007000 | #Constraints: 27666
1471.08/1475.65 c #Conflicts: 1008000 | #Constraints: 28666
1471.08/1475.65 c #Conflicts: 1009000 | #Constraints: 29666
1471.08/1475.65 c #Conflicts: 1010000 | #Constraints: 30666
1471.08/1475.65 c #Conflicts: 1011000 | #Constraints: 31666
1471.08/1475.65 c #Conflicts: 1012000 | #Constraints: 32666
1471.08/1475.65 c #Conflicts: 1013000 | #Constraints: 33666
1471.08/1475.65 c #Conflicts: 1014000 | #Constraints: 34666
1471.08/1475.65 c #Conflicts: 1015000 | #Constraints: 35666
1471.08/1475.65 c #Conflicts: 1016000 | #Constraints: 36666
1471.08/1475.65 c #Conflicts: 1017000 | #Constraints: 37666
1471.08/1475.65 c #Conflicts: 1018000 | #Constraints: 38666
1471.08/1475.65 c #Conflicts: 1019000 | #Constraints: 39666
1471.08/1475.65 c #Conflicts: 1020000 | #Constraints: 40666
1471.08/1475.65 c #Conflicts: 1021000 | #Constraints: 41666
1471.08/1475.65 c INPROCESSING
1471.08/1475.65 c GARBAGE COLLECT
1471.08/1475.65 c #Conflicts: 1022000 | #Constraints: 22662
1471.08/1475.65 c #Conflicts: 1023000 | #Constraints: 23662
1471.08/1475.65 c #Conflicts: 1024000 | #Constraints: 24662
1471.08/1475.65 c #Conflicts: 1025000 | #Constraints: 25662
1471.08/1475.65 c #Conflicts: 1026000 | #Constraints: 26662
1471.08/1475.65 c #Conflicts: 1027000 | #Constraints: 27662
1471.08/1475.65 c #Conflicts: 1028000 | #Constraints: 28662
1471.08/1475.65 c #Conflicts: 1029000 | #Constraints: 29662
1471.08/1475.65 c #Conflicts: 1030000 | #Constraints: 30662
1471.08/1475.65 c #Conflicts: 1031000 | #Constraints: 31662
1471.08/1475.65 c #Conflicts: 1032000 | #Constraints: 32662
1471.08/1475.65 c #Conflicts: 1033000 | #Constraints: 33662
1471.08/1475.65 c #Conflicts: 1034000 | #Constraints: 34662
1471.08/1475.65 c #Conflicts: 1035000 | #Constraints: 35662
1471.08/1475.65 c #Conflicts: 1036000 | #Constraints: 36662
1471.08/1475.65 c #Conflicts: 1037000 | #Constraints: 37662
1471.08/1475.65 c #Conflicts: 1038000 | #Constraints: 38662
1471.08/1475.65 c #Conflicts: 1039000 | #Constraints: 39662
1471.08/1475.65 c #Conflicts: 1040000 | #Constraints: 40662
1471.08/1475.65 c #Conflicts: 1041000 | #Constraints: 41662
1471.08/1475.65 c INPROCESSING
1471.08/1475.65 c GARBAGE COLLECT
1471.08/1475.65 c #Conflicts: 1042000 | #Constraints: 22473
1471.08/1475.65 c #Conflicts: 1043000 | #Constraints: 23473
1471.08/1475.65 c #Conflicts: 1044000 | #Constraints: 24473
1642.65/1647.70 c #Conflicts: 1045000 | #Constraints: 25473
1642.65/1647.70 c #Conflicts: 1046000 | #Constraints: 26473
1642.65/1647.70 c #Conflicts: 1047000 | #Constraints: 27473
1642.65/1647.70 c #Conflicts: 1048000 | #Constraints: 28473
1642.65/1647.70 c #Conflicts: 1049000 | #Constraints: 29473
1642.65/1647.70 c #Conflicts: 1050000 | #Constraints: 30473
1642.65/1647.70 c #Conflicts: 1051000 | #Constraints: 31473
1642.65/1647.70 c #Conflicts: 1052000 | #Constraints: 32473
1642.65/1647.70 c #Conflicts: 1053000 | #Constraints: 33473
1642.65/1647.70 c #Conflicts: 1054000 | #Constraints: 34473
1642.65/1647.70 c #Conflicts: 1055000 | #Constraints: 35473
1642.65/1647.70 c #Conflicts: 1056000 | #Constraints: 36473
1642.65/1647.70 c #Conflicts: 1057000 | #Constraints: 37473
1642.65/1647.70 c #Conflicts: 1058000 | #Constraints: 38473
1642.65/1647.70 c #Conflicts: 1059000 | #Constraints: 39473
1642.65/1647.70 c #Conflicts: 1060000 | #Constraints: 40473
1642.65/1647.70 c #Conflicts: 1061000 | #Constraints: 41473
1642.65/1647.70 c #Conflicts: 1062000 | #Constraints: 42473
1642.65/1647.70 c INPROCESSING
1642.65/1647.70 c GARBAGE COLLECT
1642.65/1647.70 c #Conflicts: 1063000 | #Constraints: 23071
1642.65/1647.70 c #Conflicts: 1064000 | #Constraints: 24071
1642.65/1647.70 c #Conflicts: 1065000 | #Constraints: 25071
1642.65/1647.70 c #Conflicts: 1066000 | #Constraints: 26071
1642.65/1647.70 c #Conflicts: 1067000 | #Constraints: 27071
1642.65/1647.70 c #Conflicts: 1068000 | #Constraints: 28071
1642.65/1647.70 c #Conflicts: 1069000 | #Constraints: 29071
1642.65/1647.70 c #Conflicts: 1070000 | #Constraints: 30071
1642.65/1647.70 c #Conflicts: 1071000 | #Constraints: 31071
1642.65/1647.70 c #Conflicts: 1072000 | #Constraints: 32071
1642.65/1647.70 c #Conflicts: 1073000 | #Constraints: 33071
1642.65/1647.70 c #Conflicts: 1074000 | #Constraints: 34071
1642.65/1647.70 c #Conflicts: 1075000 | #Constraints: 35071
1642.65/1647.70 c #Conflicts: 1076000 | #Constraints: 36071
1642.65/1647.70 c #Conflicts: 1077000 | #Constraints: 37071
1642.65/1647.70 c #Conflicts: 1078000 | #Constraints: 38071
1642.65/1647.70 c #Conflicts: 1079000 | #Constraints: 39071
1642.65/1647.70 c #Conflicts: 1080000 | #Constraints: 40071
1642.65/1647.70 c #Conflicts: 1081000 | #Constraints: 41071
1642.65/1647.70 c #Conflicts: 1082000 | #Constraints: 42071
1642.65/1647.70 c #Conflicts: 1083000 | #Constraints: 43071
1642.65/1647.70 c INPROCESSING
1642.65/1647.70 c GARBAGE COLLECT
1642.65/1647.70 c #Conflicts: 1084000 | #Constraints: 23455
1642.65/1647.70 c #Conflicts: 1085000 | #Constraints: 24455
1642.65/1647.70 c #Conflicts: 1086000 | #Constraints: 25455
1642.65/1647.70 c #Conflicts: 1087000 | #Constraints: 26455
1642.65/1647.70 c #Conflicts: 1088000 | #Constraints: 27455
1642.65/1647.70 c #Conflicts: 1089000 | #Constraints: 28455
1642.65/1647.70 c #Conflicts: 1090000 | #Constraints: 29455
1642.65/1647.70 c #Conflicts: 1091000 | #Constraints: 30455
1642.65/1647.70 c #Conflicts: 1092000 | #Constraints: 31455
1642.65/1647.70 c #Conflicts: 1093000 | #Constraints: 32455
1642.65/1647.70 c #Conflicts: 1094000 | #Constraints: 33455
1642.65/1647.70 c #Conflicts: 1095000 | #Constraints: 34455
1642.65/1647.70 c #Conflicts: 1096000 | #Constraints: 35455
1642.65/1647.70 c #Conflicts: 1097000 | #Constraints: 36455
1642.65/1647.70 c #Conflicts: 1098000 | #Constraints: 37455
1642.65/1647.70 c #Conflicts: 1099000 | #Constraints: 38455
1642.65/1647.70 c #Conflicts: 1100000 | #Constraints: 39455
1642.65/1647.70 c #Conflicts: 1101000 | #Constraints: 40455
1642.65/1647.70 c #Conflicts: 1102000 | #Constraints: 41455
1642.65/1647.70 c #Conflicts: 1103000 | #Constraints: 42455
1642.65/1647.70 c #Conflicts: 1104000 | #Constraints: 43455
1642.65/1647.70 c INPROCESSING
1642.65/1647.70 c GARBAGE COLLECT
1642.65/1647.70 c #Conflicts: 1105000 | #Constraints: 23650
1642.65/1647.70 c #Conflicts: 1106000 | #Constraints: 24650
1642.65/1647.70 c #Conflicts: 1107000 | #Constraints: 25650
1642.65/1647.70 c #Conflicts: 1108000 | #Constraints: 26650
1642.65/1647.70 c #Conflicts: 1109000 | #Constraints: 27650
1642.65/1647.70 c #Conflicts: 1110000 | #Constraints: 28650
1642.65/1647.70 c #Conflicts: 1111000 | #Constraints: 29650
1642.65/1647.70 c #Conflicts: 1112000 | #Constraints: 30650
1642.65/1647.70 c #Conflicts: 1113000 | #Constraints: 31650
1642.65/1647.70 c #Conflicts: 1114000 | #Constraints: 32650
1642.65/1647.70 c #Conflicts: 1115000 | #Constraints: 33650
1642.65/1647.70 c #Conflicts: 1116000 | #Constraints: 34650
1642.65/1647.70 c #Conflicts: 1117000 | #Constraints: 35650
1642.65/1647.70 c #Conflicts: 1118000 | #Constraints: 36650
1642.65/1647.70 c #Conflicts: 1119000 | #Constraints: 37650
1642.65/1647.70 c #Conflicts: 1120000 | #Constraints: 38650
1642.65/1647.70 c #Conflicts: 1121000 | #Constraints: 39650
1905.31/1911.27 c #Conflicts: 1122000 | #Constraints: 40650
1905.31/1911.27 c #Conflicts: 1123000 | #Constraints: 41650
1905.31/1911.27 c #Conflicts: 1124000 | #Constraints: 42650
1905.31/1911.27 c #Conflicts: 1125000 | #Constraints: 43650
1905.31/1911.27 c INPROCESSING
1905.31/1911.27 c GARBAGE COLLECT
1905.31/1911.27 c #Conflicts: 1126000 | #Constraints: 23651
1905.31/1911.27 c #Conflicts: 1127000 | #Constraints: 24651
1905.31/1911.27 c #Conflicts: 1128000 | #Constraints: 25651
1905.31/1911.27 c #Conflicts: 1129000 | #Constraints: 26651
1905.31/1911.27 c #Conflicts: 1130000 | #Constraints: 27651
1905.31/1911.27 c #Conflicts: 1131000 | #Constraints: 28651
1905.31/1911.27 c #Conflicts: 1132000 | #Constraints: 29651
1905.31/1911.27 c #Conflicts: 1133000 | #Constraints: 30651
1905.31/1911.27 c #Conflicts: 1134000 | #Constraints: 31651
1905.31/1911.27 c #Conflicts: 1135000 | #Constraints: 32651
1905.31/1911.27 c #Conflicts: 1136000 | #Constraints: 33651
1905.31/1911.27 c #Conflicts: 1137000 | #Constraints: 34651
1905.31/1911.27 c #Conflicts: 1138000 | #Constraints: 35651
1905.31/1911.27 c #Conflicts: 1139000 | #Constraints: 36651
1905.31/1911.27 c #Conflicts: 1140000 | #Constraints: 37651
1905.31/1911.27 c #Conflicts: 1141000 | #Constraints: 38651
1905.31/1911.27 c #Conflicts: 1142000 | #Constraints: 39651
1905.31/1911.27 c #Conflicts: 1143000 | #Constraints: 40651
1905.31/1911.27 c #Conflicts: 1144000 | #Constraints: 41651
1905.31/1911.27 c #Conflicts: 1145000 | #Constraints: 42651
1905.31/1911.27 c #Conflicts: 1146000 | #Constraints: 43651
1905.31/1911.27 c INPROCESSING
1905.31/1911.27 c GARBAGE COLLECT
1905.31/1911.27 c #Conflicts: 1147000 | #Constraints: 23445
1905.31/1911.27 c #Conflicts: 1148000 | #Constraints: 24445
1905.31/1911.27 c #Conflicts: 1149000 | #Constraints: 25445
1905.31/1911.27 c #Conflicts: 1150000 | #Constraints: 26445
1905.31/1911.27 c #Conflicts: 1151000 | #Constraints: 27445
1905.31/1911.27 c #Conflicts: 1152000 | #Constraints: 28445
1905.31/1911.27 c #Conflicts: 1153000 | #Constraints: 29445
1905.31/1911.27 c #Conflicts: 1154000 | #Constraints: 30445
1905.31/1911.27 c #Conflicts: 1155000 | #Constraints: 31445
1905.31/1911.27 c #Conflicts: 1156000 | #Constraints: 32445
1905.31/1911.27 c #Conflicts: 1157000 | #Constraints: 33445
1905.31/1911.27 c #Conflicts: 1158000 | #Constraints: 34445
1905.31/1911.27 c #Conflicts: 1159000 | #Constraints: 35445
1905.31/1911.27 c #Conflicts: 1160000 | #Constraints: 36445
1905.31/1911.27 c #Conflicts: 1161000 | #Constraints: 37445
1905.31/1911.27 c #Conflicts: 1162000 | #Constraints: 38445
1905.31/1911.27 c #Conflicts: 1163000 | #Constraints: 39445
1905.31/1911.27 c #Conflicts: 1164000 | #Constraints: 40445
1905.31/1911.27 c #Conflicts: 1165000 | #Constraints: 41445
1905.31/1911.27 c #Conflicts: 1166000 | #Constraints: 42445
1905.31/1911.27 c #Conflicts: 1167000 | #Constraints: 43445
1905.31/1911.27 c #Conflicts: 1168000 | #Constraints: 44445
1905.31/1911.27 c INPROCESSING
1905.31/1911.27 c GARBAGE COLLECT
1905.31/1911.27 c #Conflicts: 1169000 | #Constraints: 24050
1905.31/1911.27 c #Conflicts: 1170000 | #Constraints: 25050
1905.31/1911.27 c #Conflicts: 1171000 | #Constraints: 26050
1905.31/1911.27 c #Conflicts: 1172000 | #Constraints: 27050
1905.31/1911.27 c #Conflicts: 1173000 | #Constraints: 28050
1905.31/1911.27 c #Conflicts: 1174000 | #Constraints: 29050
1905.31/1911.27 c #Conflicts: 1175000 | #Constraints: 30050
1905.31/1911.27 c #Conflicts: 1176000 | #Constraints: 31050
1905.31/1911.27 c #Conflicts: 1177000 | #Constraints: 32050
1905.31/1911.27 c #Conflicts: 1178000 | #Constraints: 33050
1905.31/1911.27 c #Conflicts: 1179000 | #Constraints: 34050
1905.31/1911.27 c #Conflicts: 1180000 | #Constraints: 35050
1905.31/1911.27 c #Conflicts: 1181000 | #Constraints: 36050
1905.31/1911.27 c #Conflicts: 1182000 | #Constraints: 37050
1905.31/1911.27 c #Conflicts: 1183000 | #Constraints: 38050
1905.31/1911.27 c #Conflicts: 1184000 | #Constraints: 39050
1905.31/1911.27 c #Conflicts: 1185000 | #Constraints: 40050
1905.31/1911.27 c #Conflicts: 1186000 | #Constraints: 41050
1905.31/1911.27 c #Conflicts: 1187000 | #Constraints: 42050
1905.31/1911.27 c #Conflicts: 1188000 | #Constraints: 43050
1905.31/1911.27 c #Conflicts: 1189000 | #Constraints: 44050
1905.31/1911.27 c #Conflicts: 1190000 | #Constraints: 45050
1905.31/1911.27 c INPROCESSING
1905.31/1911.27 c GARBAGE COLLECT
1905.31/1911.27 c #Conflicts: 1191000 | #Constraints: 24454
1905.31/1911.27 c #Conflicts: 1192000 | #Constraints: 25454
1905.31/1911.27 c #Conflicts: 1193000 | #Constraints: 26454
1905.31/1911.27 c #Conflicts: 1194000 | #Constraints: 27454
1905.31/1911.27 c #Conflicts: 1195000 | #Constraints: 28454
1905.31/1911.27 c #Conflicts: 1196000 | #Constraints: 29454
1905.31/1911.27 c #Conflicts: 1197000 | #Constraints: 30454
2194.84/2201.67 c #Conflicts: 1198000 | #Constraints: 31454
2194.84/2201.67 c #Conflicts: 1199000 | #Constraints: 32454
2194.84/2201.67 c #Conflicts: 1200000 | #Constraints: 33454
2194.84/2201.67 c #Conflicts: 1201000 | #Constraints: 34454
2194.84/2201.67 c #Conflicts: 1202000 | #Constraints: 35454
2194.84/2201.67 c #Conflicts: 1203000 | #Constraints: 36454
2194.84/2201.67 c #Conflicts: 1204000 | #Constraints: 37454
2194.84/2201.67 c #Conflicts: 1205000 | #Constraints: 38454
2194.84/2201.67 c #Conflicts: 1206000 | #Constraints: 39454
2194.84/2201.67 c #Conflicts: 1207000 | #Constraints: 40454
2194.84/2201.67 c #Conflicts: 1208000 | #Constraints: 41454
2194.84/2201.67 c #Conflicts: 1209000 | #Constraints: 42454
2194.84/2201.67 c #Conflicts: 1210000 | #Constraints: 43454
2194.84/2201.67 c #Conflicts: 1211000 | #Constraints: 44454
2194.84/2201.67 c #Conflicts: 1212000 | #Constraints: 45454
2194.84/2201.67 c INPROCESSING
2194.84/2201.67 c GARBAGE COLLECT
2194.84/2201.67 c #Conflicts: 1213000 | #Constraints: 24658
2194.84/2201.67 c #Conflicts: 1214000 | #Constraints: 25658
2194.84/2201.67 c #Conflicts: 1215000 | #Constraints: 26658
2194.84/2201.67 c #Conflicts: 1216000 | #Constraints: 27658
2194.84/2201.67 c #Conflicts: 1217000 | #Constraints: 28658
2194.84/2201.67 c #Conflicts: 1218000 | #Constraints: 29658
2194.84/2201.67 c #Conflicts: 1219000 | #Constraints: 30658
2194.84/2201.67 c #Conflicts: 1220000 | #Constraints: 31658
2194.84/2201.67 c #Conflicts: 1221000 | #Constraints: 32658
2194.84/2201.67 c #Conflicts: 1222000 | #Constraints: 33658
2194.84/2201.67 c #Conflicts: 1223000 | #Constraints: 34658
2194.84/2201.67 c #Conflicts: 1224000 | #Constraints: 35658
2194.84/2201.67 c #Conflicts: 1225000 | #Constraints: 36658
2194.84/2201.67 c #Conflicts: 1226000 | #Constraints: 37658
2194.84/2201.67 c #Conflicts: 1227000 | #Constraints: 38658
2194.84/2201.67 c #Conflicts: 1228000 | #Constraints: 39658
2194.84/2201.67 c #Conflicts: 1229000 | #Constraints: 40658
2194.84/2201.67 c #Conflicts: 1230000 | #Constraints: 41658
2194.84/2201.67 c #Conflicts: 1231000 | #Constraints: 42658
2194.84/2201.67 c #Conflicts: 1232000 | #Constraints: 43658
2194.84/2201.67 c #Conflicts: 1233000 | #Constraints: 44658
2194.84/2201.67 c #Conflicts: 1234000 | #Constraints: 45658
2194.84/2201.67 c INPROCESSING
2194.84/2201.67 c GARBAGE COLLECT
2194.84/2201.67 c #Conflicts: 1235000 | #Constraints: 24653
2194.84/2201.67 c #Conflicts: 1236000 | #Constraints: 25653
2194.84/2201.67 c #Conflicts: 1237000 | #Constraints: 26653
2194.84/2201.67 c #Conflicts: 1238000 | #Constraints: 27653
2194.84/2201.67 c #Conflicts: 1239000 | #Constraints: 28653
2194.84/2201.67 c #Conflicts: 1240000 | #Constraints: 29653
2194.84/2201.67 c #Conflicts: 1241000 | #Constraints: 30653
2194.84/2201.67 c #Conflicts: 1242000 | #Constraints: 31653
2194.84/2201.67 c #Conflicts: 1243000 | #Constraints: 32653
2194.84/2201.67 c #Conflicts: 1244000 | #Constraints: 33653
2194.84/2201.67 c #Conflicts: 1245000 | #Constraints: 34653
2194.84/2201.67 c #Conflicts: 1246000 | #Constraints: 35653
2194.84/2201.67 c #Conflicts: 1247000 | #Constraints: 36653
2194.84/2201.67 c #Conflicts: 1248000 | #Constraints: 37653
2194.84/2201.67 c #Conflicts: 1249000 | #Constraints: 38653
2194.84/2201.67 c #Conflicts: 1250000 | #Constraints: 39653
2194.84/2201.67 c #Conflicts: 1251000 | #Constraints: 40653
2194.84/2201.67 c #Conflicts: 1252000 | #Constraints: 41653
2194.84/2201.67 c #Conflicts: 1253000 | #Constraints: 42653
2194.84/2201.67 c #Conflicts: 1254000 | #Constraints: 43653
2194.84/2201.67 c #Conflicts: 1255000 | #Constraints: 44653
2194.84/2201.67 c #Conflicts: 1256000 | #Constraints: 45653
2194.84/2201.67 c INPROCESSING
2194.84/2201.67 c GARBAGE COLLECT
2194.84/2201.67 c #Conflicts: 1257000 | #Constraints: 24450
2194.84/2201.67 c #Conflicts: 1258000 | #Constraints: 25450
2194.84/2201.67 c #Conflicts: 1259000 | #Constraints: 26450
2194.84/2201.67 c #Conflicts: 1260000 | #Constraints: 27450
2194.84/2201.67 c #Conflicts: 1261000 | #Constraints: 28450
2194.84/2201.67 c #Conflicts: 1262000 | #Constraints: 29450
2194.84/2201.67 c #Conflicts: 1263000 | #Constraints: 30450
2194.84/2201.67 c #Conflicts: 1264000 | #Constraints: 31450
2194.84/2201.67 c #Conflicts: 1265000 | #Constraints: 32450
2194.84/2201.67 c #Conflicts: 1266000 | #Constraints: 33450
2194.84/2201.67 c #Conflicts: 1267000 | #Constraints: 34450
2194.84/2201.67 c #Conflicts: 1268000 | #Constraints: 35450
2194.84/2201.67 c #Conflicts: 1269000 | #Constraints: 36450
2194.84/2201.67 c #Conflicts: 1270000 | #Constraints: 37450
2194.84/2201.67 c #Conflicts: 1271000 | #Constraints: 38450
2194.84/2201.67 c #Conflicts: 1272000 | #Constraints: 39450
2194.84/2201.67 c #Conflicts: 1273000 | #Constraints: 40450
2194.84/2201.67 c #Conflicts: 1274000 | #Constraints: 41450
2417.57/2425.03 c #Conflicts: 1275000 | #Constraints: 42450
2417.57/2425.03 c #Conflicts: 1276000 | #Constraints: 43450
2417.57/2425.03 c #Conflicts: 1277000 | #Constraints: 44450
2417.57/2425.03 c #Conflicts: 1278000 | #Constraints: 45450
2417.57/2425.03 c #Conflicts: 1279000 | #Constraints: 46450
2417.57/2425.03 c INPROCESSING
2417.57/2425.03 c GARBAGE COLLECT
2417.57/2425.03 c #Conflicts: 1280000 | #Constraints: 25053
2417.57/2425.03 c #Conflicts: 1281000 | #Constraints: 26053
2417.57/2425.03 c #Conflicts: 1282000 | #Constraints: 27053
2417.57/2425.03 c #Conflicts: 1283000 | #Constraints: 28053
2417.57/2425.03 c #Conflicts: 1284000 | #Constraints: 29053
2417.57/2425.03 c #Conflicts: 1285000 | #Constraints: 30053
2417.57/2425.03 c #Conflicts: 1286000 | #Constraints: 31053
2417.57/2425.03 c #Conflicts: 1287000 | #Constraints: 32053
2417.57/2425.03 c #Conflicts: 1288000 | #Constraints: 33053
2417.57/2425.03 c #Conflicts: 1289000 | #Constraints: 34053
2417.57/2425.03 c #Conflicts: 1290000 | #Constraints: 35053
2417.57/2425.03 c #Conflicts: 1291000 | #Constraints: 36053
2417.57/2425.03 c #Conflicts: 1292000 | #Constraints: 37053
2417.57/2425.03 c #Conflicts: 1293000 | #Constraints: 38053
2417.57/2425.03 c #Conflicts: 1294000 | #Constraints: 39053
2417.57/2425.03 c #Conflicts: 1295000 | #Constraints: 40053
2417.57/2425.03 c #Conflicts: 1296000 | #Constraints: 41053
2417.57/2425.03 c #Conflicts: 1297000 | #Constraints: 42053
2417.57/2425.03 c #Conflicts: 1298000 | #Constraints: 43053
2417.57/2425.03 c #Conflicts: 1299000 | #Constraints: 44053
2417.57/2425.03 c #Conflicts: 1300000 | #Constraints: 45053
2417.57/2425.03 c #Conflicts: 1301000 | #Constraints: 46053
2417.57/2425.03 c #Conflicts: 1302000 | #Constraints: 47053
2417.57/2425.03 c INPROCESSING
2417.57/2425.03 c GARBAGE COLLECT
2417.57/2425.03 c #Conflicts: 1303000 | #Constraints: 25452
2417.57/2425.03 c #Conflicts: 1304000 | #Constraints: 26452
2417.57/2425.03 c #Conflicts: 1305000 | #Constraints: 27452
2417.57/2425.03 c #Conflicts: 1306000 | #Constraints: 28452
2417.57/2425.03 c #Conflicts: 1307000 | #Constraints: 29452
2417.57/2425.03 c #Conflicts: 1308000 | #Constraints: 30452
2417.57/2425.03 c #Conflicts: 1309000 | #Constraints: 31452
2417.57/2425.03 c #Conflicts: 1310000 | #Constraints: 32452
2417.57/2425.03 c #Conflicts: 1311000 | #Constraints: 33452
2417.57/2425.03 c #Conflicts: 1312000 | #Constraints: 34452
2417.57/2425.03 c #Conflicts: 1313000 | #Constraints: 35452
2417.57/2425.03 c #Conflicts: 1314000 | #Constraints: 36452
2417.57/2425.03 c #Conflicts: 1315000 | #Constraints: 37452
2417.57/2425.03 c #Conflicts: 1316000 | #Constraints: 38452
2417.57/2425.03 c #Conflicts: 1317000 | #Constraints: 39452
2417.57/2425.03 c #Conflicts: 1318000 | #Constraints: 40452
2417.57/2425.03 c #Conflicts: 1319000 | #Constraints: 41452
2417.57/2425.03 c #Conflicts: 1320000 | #Constraints: 42452
2417.57/2425.03 c #Conflicts: 1321000 | #Constraints: 43452
2417.57/2425.03 c #Conflicts: 1322000 | #Constraints: 44452
2417.57/2425.03 c #Conflicts: 1323000 | #Constraints: 45452
2417.57/2425.03 c #Conflicts: 1324000 | #Constraints: 46452
2417.57/2425.03 c #Conflicts: 1325000 | #Constraints: 47452
2417.57/2425.03 c INPROCESSING
2417.57/2425.03 c GARBAGE COLLECT
2417.57/2425.03 c #Conflicts: 1326000 | #Constraints: 25652
2417.57/2425.03 c #Conflicts: 1327000 | #Constraints: 26652
2417.57/2425.03 c #Conflicts: 1328000 | #Constraints: 27652
2417.57/2425.03 c #Conflicts: 1329000 | #Constraints: 28652
2417.57/2425.03 c #Conflicts: 1330000 | #Constraints: 29652
2417.57/2425.03 c #Conflicts: 1331000 | #Constraints: 30652
2417.57/2425.03 c #Conflicts: 1332000 | #Constraints: 31652
2417.57/2425.03 c #Conflicts: 1333000 | #Constraints: 32652
2417.57/2425.03 c #Conflicts: 1334000 | #Constraints: 33652
2417.57/2425.03 c #Conflicts: 1335000 | #Constraints: 34652
2417.57/2425.03 c #Conflicts: 1336000 | #Constraints: 35652
2417.57/2425.03 c #Conflicts: 1337000 | #Constraints: 36652
2417.57/2425.03 c #Conflicts: 1338000 | #Constraints: 37652
2417.57/2425.03 c #Conflicts: 1339000 | #Constraints: 38652
2417.57/2425.03 c #Conflicts: 1340000 | #Constraints: 39652
2417.57/2425.03 c #Conflicts: 1341000 | #Constraints: 40652
2417.57/2425.03 c #Conflicts: 1342000 | #Constraints: 41652
2417.57/2425.03 c #Conflicts: 1343000 | #Constraints: 42652
2417.57/2425.03 c #Conflicts: 1344000 | #Constraints: 43652
2417.57/2425.03 c #Conflicts: 1345000 | #Constraints: 44652
2417.57/2425.03 c #Conflicts: 1346000 | #Constraints: 45652
2417.57/2425.03 c #Conflicts: 1347000 | #Constraints: 46652
2417.57/2425.03 c #Conflicts: 1348000 | #Constraints: 47652
2417.57/2425.03 c INPROCESSING
2417.57/2425.03 c GARBAGE COLLECT
2417.57/2425.03 c #Conflicts: 1349000 | #Constraints: 25650
2417.57/2425.03 c #Conflicts: 1350000 | #Constraints: 26650
2638.09/2646.25 c #Conflicts: 1351000 | #Constraints: 27650
2638.09/2646.25 c #Conflicts: 1352000 | #Constraints: 28650
2638.09/2646.25 c #Conflicts: 1353000 | #Constraints: 29650
2638.09/2646.25 c #Conflicts: 1354000 | #Constraints: 30650
2638.09/2646.25 c #Conflicts: 1355000 | #Constraints: 31650
2638.09/2646.25 c #Conflicts: 1356000 | #Constraints: 32650
2638.09/2646.25 c #Conflicts: 1357000 | #Constraints: 33650
2638.09/2646.25 c #Conflicts: 1358000 | #Constraints: 34650
2638.09/2646.25 c #Conflicts: 1359000 | #Constraints: 35650
2638.09/2646.25 c #Conflicts: 1360000 | #Constraints: 36650
2638.09/2646.25 c #Conflicts: 1361000 | #Constraints: 37650
2638.09/2646.25 c #Conflicts: 1362000 | #Constraints: 38650
2638.09/2646.25 c #Conflicts: 1363000 | #Constraints: 39650
2638.09/2646.25 c #Conflicts: 1364000 | #Constraints: 40650
2638.09/2646.25 c #Conflicts: 1365000 | #Constraints: 41650
2638.09/2646.25 c #Conflicts: 1366000 | #Constraints: 42650
2638.09/2646.25 c #Conflicts: 1367000 | #Constraints: 43650
2638.09/2646.25 c #Conflicts: 1368000 | #Constraints: 44650
2638.09/2646.25 c #Conflicts: 1369000 | #Constraints: 45650
2638.09/2646.25 c #Conflicts: 1370000 | #Constraints: 46650
2638.09/2646.25 c #Conflicts: 1371000 | #Constraints: 47650
2638.09/2646.25 c INPROCESSING
2638.09/2646.25 c GARBAGE COLLECT
2638.09/2646.25 c #Conflicts: 1372000 | #Constraints: 25470
2638.09/2646.25 c #Conflicts: 1373000 | #Constraints: 26470
2638.09/2646.25 c #Conflicts: 1374000 | #Constraints: 27470
2638.09/2646.25 c #Conflicts: 1375000 | #Constraints: 28470
2638.09/2646.25 c #Conflicts: 1376000 | #Constraints: 29470
2638.09/2646.25 c #Conflicts: 1377000 | #Constraints: 30470
2638.09/2646.25 c #Conflicts: 1378000 | #Constraints: 31470
2638.09/2646.25 c #Conflicts: 1379000 | #Constraints: 32470
2638.09/2646.25 c #Conflicts: 1380000 | #Constraints: 33470
2638.09/2646.25 c #Conflicts: 1381000 | #Constraints: 34470
2638.09/2646.25 c #Conflicts: 1382000 | #Constraints: 35470
2638.09/2646.25 c #Conflicts: 1383000 | #Constraints: 36470
2638.09/2646.25 c #Conflicts: 1384000 | #Constraints: 37470
2638.09/2646.25 c #Conflicts: 1385000 | #Constraints: 38470
2638.09/2646.25 c #Conflicts: 1386000 | #Constraints: 39470
2638.09/2646.25 c #Conflicts: 1387000 | #Constraints: 40470
2638.09/2646.25 c #Conflicts: 1388000 | #Constraints: 41470
2638.09/2646.25 c #Conflicts: 1389000 | #Constraints: 42470
2638.09/2646.25 c #Conflicts: 1390000 | #Constraints: 43470
2638.09/2646.25 c #Conflicts: 1391000 | #Constraints: 44470
2638.09/2646.25 c #Conflicts: 1392000 | #Constraints: 45470
2638.09/2646.25 c #Conflicts: 1393000 | #Constraints: 46470
2638.09/2646.25 c #Conflicts: 1394000 | #Constraints: 47470
2638.09/2646.25 c #Conflicts: 1395000 | #Constraints: 48470
2638.09/2646.25 c INPROCESSING
2638.09/2646.25 c GARBAGE COLLECT
2638.09/2646.25 c #Conflicts: 1396000 | #Constraints: 26059
2638.09/2646.25 c #Conflicts: 1397000 | #Constraints: 27059
2638.09/2646.25 c #Conflicts: 1398000 | #Constraints: 28059
2638.09/2646.25 c #Conflicts: 1399000 | #Constraints: 29059
2638.09/2646.25 c #Conflicts: 1400000 | #Constraints: 30059
2638.09/2646.25 c #Conflicts: 1401000 | #Constraints: 31059
2638.09/2646.25 c #Conflicts: 1402000 | #Constraints: 32059
2638.09/2646.25 c #Conflicts: 1403000 | #Constraints: 33059
2638.09/2646.25 c #Conflicts: 1404000 | #Constraints: 34059
2638.09/2646.25 c #Conflicts: 1405000 | #Constraints: 35059
2638.09/2646.25 c #Conflicts: 1406000 | #Constraints: 36059
2638.09/2646.25 c #Conflicts: 1407000 | #Constraints: 37059
2638.09/2646.25 c #Conflicts: 1408000 | #Constraints: 38059
2638.09/2646.25 c #Conflicts: 1409000 | #Constraints: 39059
2638.09/2646.25 c #Conflicts: 1410000 | #Constraints: 40059
2638.09/2646.25 c #Conflicts: 1411000 | #Constraints: 41059
2638.09/2646.25 c #Conflicts: 1412000 | #Constraints: 42059
2638.09/2646.25 c #Conflicts: 1413000 | #Constraints: 43059
2638.09/2646.25 c #Conflicts: 1414000 | #Constraints: 44059
2638.09/2646.25 c #Conflicts: 1415000 | #Constraints: 45059
2638.09/2646.25 c #Conflicts: 1416000 | #Constraints: 46059
2638.09/2646.25 c #Conflicts: 1417000 | #Constraints: 47059
2638.09/2646.25 c #Conflicts: 1418000 | #Constraints: 48059
2638.09/2646.25 c #Conflicts: 1419000 | #Constraints: 49059
2638.09/2646.25 c INPROCESSING
2638.09/2646.25 c GARBAGE COLLECT
2638.09/2646.25 c #Conflicts: 1420000 | #Constraints: 26460
2638.09/2646.25 c #Conflicts: 1421000 | #Constraints: 27460
2638.09/2646.25 c #Conflicts: 1422000 | #Constraints: 28460
2638.09/2646.25 c #Conflicts: 1423000 | #Constraints: 29460
2638.09/2646.25 c #Conflicts: 1424000 | #Constraints: 30460
2638.09/2646.25 c #Conflicts: 1425000 | #Constraints: 31460
2638.09/2646.25 c #Conflicts: 1426000 | #Constraints: 32460
2638.09/2646.25 c #Conflicts: 1427000 | #Constraints: 33460
2876.46/2885.36 c #Conflicts: 1428000 | #Constraints: 34460
2876.46/2885.36 c #Conflicts: 1429000 | #Constraints: 35460
2876.46/2885.36 c #Conflicts: 1430000 | #Constraints: 36460
2876.46/2885.36 c #Conflicts: 1431000 | #Constraints: 37460
2876.46/2885.36 c #Conflicts: 1432000 | #Constraints: 38460
2876.46/2885.36 c #Conflicts: 1433000 | #Constraints: 39460
2876.46/2885.36 c #Conflicts: 1434000 | #Constraints: 40460
2876.46/2885.36 c #Conflicts: 1435000 | #Constraints: 41460
2876.46/2885.36 c #Conflicts: 1436000 | #Constraints: 42460
2876.46/2885.36 c #Conflicts: 1437000 | #Constraints: 43460
2876.46/2885.36 c #Conflicts: 1438000 | #Constraints: 44460
2876.46/2885.36 c #Conflicts: 1439000 | #Constraints: 45460
2876.46/2885.36 c #Conflicts: 1440000 | #Constraints: 46460
2876.46/2885.36 c #Conflicts: 1441000 | #Constraints: 47460
2876.46/2885.36 c #Conflicts: 1442000 | #Constraints: 48460
2876.46/2885.36 c #Conflicts: 1443000 | #Constraints: 49460
2876.46/2885.36 c INPROCESSING
2876.46/2885.36 c GARBAGE COLLECT
2876.46/2885.36 c #Conflicts: 1444000 | #Constraints: 26659
2876.46/2885.36 c #Conflicts: 1445000 | #Constraints: 27659
2876.46/2885.36 c #Conflicts: 1446000 | #Constraints: 28659
2876.46/2885.36 c #Conflicts: 1447000 | #Constraints: 29659
2876.46/2885.36 c #Conflicts: 1448000 | #Constraints: 30659
2876.46/2885.36 c #Conflicts: 1449000 | #Constraints: 31659
2876.46/2885.36 c #Conflicts: 1450000 | #Constraints: 32659
2876.46/2885.36 c #Conflicts: 1451000 | #Constraints: 33659
2876.46/2885.36 c #Conflicts: 1452000 | #Constraints: 34659
2876.46/2885.36 c #Conflicts: 1453000 | #Constraints: 35659
2876.46/2885.36 c #Conflicts: 1454000 | #Constraints: 36659
2876.46/2885.36 c #Conflicts: 1455000 | #Constraints: 37659
2876.46/2885.36 c #Conflicts: 1456000 | #Constraints: 38659
2876.46/2885.36 c #Conflicts: 1457000 | #Constraints: 39659
2876.46/2885.36 c #Conflicts: 1458000 | #Constraints: 40659
2876.46/2885.36 c #Conflicts: 1459000 | #Constraints: 41659
2876.46/2885.36 c #Conflicts: 1460000 | #Constraints: 42659
2876.46/2885.36 c #Conflicts: 1461000 | #Constraints: 43659
2876.46/2885.36 c #Conflicts: 1462000 | #Constraints: 44659
2876.46/2885.36 c #Conflicts: 1463000 | #Constraints: 45659
2876.46/2885.36 c #Conflicts: 1464000 | #Constraints: 46659
2876.46/2885.36 c #Conflicts: 1465000 | #Constraints: 47659
2876.46/2885.36 c #Conflicts: 1466000 | #Constraints: 48659
2876.46/2885.36 c #Conflicts: 1467000 | #Constraints: 49659
2876.46/2885.36 c INPROCESSING
2876.46/2885.36 c GARBAGE COLLECT
2876.46/2885.36 c #Conflicts: 1468000 | #Constraints: 26662
2876.46/2885.36 c #Conflicts: 1469000 | #Constraints: 27662
2876.46/2885.36 c #Conflicts: 1470000 | #Constraints: 28662
2876.46/2885.36 c #Conflicts: 1471000 | #Constraints: 29662
2876.46/2885.36 c #Conflicts: 1472000 | #Constraints: 30662
2876.46/2885.36 c #Conflicts: 1473000 | #Constraints: 31662
2876.46/2885.36 c #Conflicts: 1474000 | #Constraints: 32662
2876.46/2885.36 c #Conflicts: 1475000 | #Constraints: 33662
2876.46/2885.36 c #Conflicts: 1476000 | #Constraints: 34662
2876.46/2885.36 c #Conflicts: 1477000 | #Constraints: 35662
2876.46/2885.36 c #Conflicts: 1478000 | #Constraints: 36662
2876.46/2885.36 c #Conflicts: 1479000 | #Constraints: 37662
2876.46/2885.36 c #Conflicts: 1480000 | #Constraints: 38662
2876.46/2885.36 c #Conflicts: 1481000 | #Constraints: 39662
2876.46/2885.36 c #Conflicts: 1482000 | #Constraints: 40662
2876.46/2885.36 c #Conflicts: 1483000 | #Constraints: 41662
2876.46/2885.36 c #Conflicts: 1484000 | #Constraints: 42662
2876.46/2885.36 c #Conflicts: 1485000 | #Constraints: 43662
2876.46/2885.36 c #Conflicts: 1486000 | #Constraints: 44662
2876.46/2885.36 c #Conflicts: 1487000 | #Constraints: 45662
2876.46/2885.36 c #Conflicts: 1488000 | #Constraints: 46662
2876.46/2885.36 c #Conflicts: 1489000 | #Constraints: 47662
2876.46/2885.36 c #Conflicts: 1490000 | #Constraints: 48662
2876.46/2885.36 c #Conflicts: 1491000 | #Constraints: 49662
2876.46/2885.36 c INPROCESSING
2876.46/2885.36 c GARBAGE COLLECT
2876.46/2885.36 c #Conflicts: 1492000 | #Constraints: 26461
2876.46/2885.36 c #Conflicts: 1493000 | #Constraints: 27461
2876.46/2885.36 c #Conflicts: 1494000 | #Constraints: 28461
2876.46/2885.36 c #Conflicts: 1495000 | #Constraints: 29461
2876.46/2885.36 c #Conflicts: 1496000 | #Constraints: 30461
2876.46/2885.36 c #Conflicts: 1497000 | #Constraints: 31461
2876.46/2885.36 c #Conflicts: 1498000 | #Constraints: 32461
2876.46/2885.36 c #Conflicts: 1499000 | #Constraints: 33461
2876.46/2885.36 c #Conflicts: 1500000 | #Constraints: 34461
2876.46/2885.36 c #Conflicts: 1501000 | #Constraints: 35461
2876.46/2885.36 c #Conflicts: 1502000 | #Constraints: 36461
2876.46/2885.36 c #Conflicts: 1503000 | #Constraints: 37461
2876.46/2885.36 c #Conflicts: 1504000 | #Constraints: 38461
3107.18/3116.75 c #Conflicts: 1505000 | #Constraints: 39461
3107.18/3116.75 c #Conflicts: 1506000 | #Constraints: 40461
3107.18/3116.75 c #Conflicts: 1507000 | #Constraints: 41461
3107.18/3116.75 c #Conflicts: 1508000 | #Constraints: 42461
3107.18/3116.75 c #Conflicts: 1509000 | #Constraints: 43461
3107.18/3116.75 c #Conflicts: 1510000 | #Constraints: 44461
3107.18/3116.75 c #Conflicts: 1511000 | #Constraints: 45461
3107.18/3116.75 c #Conflicts: 1512000 | #Constraints: 46461
3107.18/3116.75 c #Conflicts: 1513000 | #Constraints: 47461
3107.18/3116.75 c #Conflicts: 1514000 | #Constraints: 48461
3107.18/3116.75 c #Conflicts: 1515000 | #Constraints: 49461
3107.18/3116.75 c #Conflicts: 1516000 | #Constraints: 50461
3107.18/3116.75 c INPROCESSING
3107.18/3116.75 c GARBAGE COLLECT
3107.18/3116.75 c #Conflicts: 1517000 | #Constraints: 27048
3107.18/3116.75 c #Conflicts: 1518000 | #Constraints: 28048
3107.18/3116.75 c #Conflicts: 1519000 | #Constraints: 29048
3107.18/3116.75 c #Conflicts: 1520000 | #Constraints: 30048
3107.18/3116.75 c #Conflicts: 1521000 | #Constraints: 31048
3107.18/3116.75 c #Conflicts: 1522000 | #Constraints: 32048
3107.18/3116.75 c #Conflicts: 1523000 | #Constraints: 33048
3107.18/3116.75 c #Conflicts: 1524000 | #Constraints: 34048
3107.18/3116.75 c #Conflicts: 1525000 | #Constraints: 35048
3107.18/3116.75 c #Conflicts: 1526000 | #Constraints: 36048
3107.18/3116.75 c #Conflicts: 1527000 | #Constraints: 37048
3107.18/3116.75 c #Conflicts: 1528000 | #Constraints: 38048
3107.18/3116.75 c #Conflicts: 1529000 | #Constraints: 39048
3107.18/3116.75 c #Conflicts: 1530000 | #Constraints: 40048
3107.18/3116.75 c #Conflicts: 1531000 | #Constraints: 41048
3107.18/3116.75 c #Conflicts: 1532000 | #Constraints: 42048
3107.18/3116.75 c #Conflicts: 1533000 | #Constraints: 43048
3107.18/3116.75 c #Conflicts: 1534000 | #Constraints: 44048
3107.18/3116.75 c #Conflicts: 1535000 | #Constraints: 45048
3107.18/3116.75 c #Conflicts: 1536000 | #Constraints: 46048
3107.18/3116.75 c #Conflicts: 1537000 | #Constraints: 47048
3107.18/3116.75 c #Conflicts: 1538000 | #Constraints: 48048
3107.18/3116.75 c #Conflicts: 1539000 | #Constraints: 49048
3107.18/3116.75 c #Conflicts: 1540000 | #Constraints: 50048
3107.18/3116.75 c #Conflicts: 1541000 | #Constraints: 51048
3107.18/3116.75 c INPROCESSING
3107.18/3116.75 c GARBAGE COLLECT
3107.18/3116.75 c #Conflicts: 1542000 | #Constraints: 27458
3107.18/3116.75 c #Conflicts: 1543000 | #Constraints: 28458
3107.18/3116.75 c #Conflicts: 1544000 | #Constraints: 29458
3107.18/3116.75 c #Conflicts: 1545000 | #Constraints: 30458
3107.18/3116.75 c #Conflicts: 1546000 | #Constraints: 31458
3107.18/3116.75 c #Conflicts: 1547000 | #Constraints: 32458
3107.18/3116.75 c #Conflicts: 1548000 | #Constraints: 33458
3107.18/3116.75 c #Conflicts: 1549000 | #Constraints: 34458
3107.18/3116.75 c #Conflicts: 1550000 | #Constraints: 35458
3107.18/3116.75 c #Conflicts: 1551000 | #Constraints: 36458
3107.18/3116.75 c #Conflicts: 1552000 | #Constraints: 37458
3107.18/3116.75 c #Conflicts: 1553000 | #Constraints: 38458
3107.18/3116.75 c #Conflicts: 1554000 | #Constraints: 39458
3107.18/3116.75 c #Conflicts: 1555000 | #Constraints: 40458
3107.18/3116.75 c #Conflicts: 1556000 | #Constraints: 41458
3107.18/3116.75 c #Conflicts: 1557000 | #Constraints: 42458
3107.18/3116.75 c #Conflicts: 1558000 | #Constraints: 43458
3107.18/3116.75 c #Conflicts: 1559000 | #Constraints: 44458
3107.18/3116.75 c #Conflicts: 1560000 | #Constraints: 45458
3107.18/3116.75 c #Conflicts: 1561000 | #Constraints: 46458
3107.18/3116.75 c #Conflicts: 1562000 | #Constraints: 47458
3107.18/3116.75 c #Conflicts: 1563000 | #Constraints: 48458
3107.18/3116.75 c #Conflicts: 1564000 | #Constraints: 49458
3107.18/3116.75 c #Conflicts: 1565000 | #Constraints: 50458
3107.18/3116.75 c #Conflicts: 1566000 | #Constraints: 51458
3107.18/3116.75 c INPROCESSING
3107.18/3116.75 c GARBAGE COLLECT
3107.18/3116.75 c #Conflicts: 1567000 | #Constraints: 27656
3107.18/3116.75 c #Conflicts: 1568000 | #Constraints: 28656
3107.18/3116.75 c #Conflicts: 1569000 | #Constraints: 29656
3107.18/3116.75 c #Conflicts: 1570000 | #Constraints: 30656
3107.18/3116.75 c #Conflicts: 1571000 | #Constraints: 31656
3107.18/3116.75 c #Conflicts: 1572000 | #Constraints: 32656
3107.18/3116.75 c #Conflicts: 1573000 | #Constraints: 33656
3107.18/3116.75 c #Conflicts: 1574000 | #Constraints: 34656
3107.18/3116.75 c #Conflicts: 1575000 | #Constraints: 35656
3107.18/3116.75 c #Conflicts: 1576000 | #Constraints: 36656
3107.18/3116.75 c #Conflicts: 1577000 | #Constraints: 37656
3107.18/3116.75 c #Conflicts: 1578000 | #Constraints: 38656
3107.18/3116.75 c #Conflicts: 1579000 | #Constraints: 39656
3107.18/3116.75 c #Conflicts: 1580000 | #Constraints: 40656
3107.18/3116.75 c #Conflicts: 1581000 | #Constraints: 41656
3265.72/3275.76 c #Conflicts: 1582000 | #Constraints: 42656
3265.72/3275.76 c #Conflicts: 1583000 | #Constraints: 43656
3265.72/3275.76 c #Conflicts: 1584000 | #Constraints: 44656
3265.72/3275.76 c #Conflicts: 1585000 | #Constraints: 45656
3265.72/3275.76 c #Conflicts: 1586000 | #Constraints: 46656
3265.72/3275.76 c #Conflicts: 1587000 | #Constraints: 47656
3265.72/3275.76 c #Conflicts: 1588000 | #Constraints: 48656
3265.72/3275.76 c #Conflicts: 1589000 | #Constraints: 49656
3265.72/3275.76 c #Conflicts: 1590000 | #Constraints: 50656
3265.72/3275.76 c #Conflicts: 1591000 | #Constraints: 51656
3265.72/3275.76 c INPROCESSING
3265.72/3275.76 c GARBAGE COLLECT
3265.72/3275.76 c #Conflicts: 1592000 | #Constraints: 27655
3265.72/3275.76 c #Conflicts: 1593000 | #Constraints: 28655
3265.72/3275.76 c #Conflicts: 1594000 | #Constraints: 29655
3265.72/3275.76 c #Conflicts: 1595000 | #Constraints: 30655
3265.72/3275.76 c #Conflicts: 1596000 | #Constraints: 31655
3265.72/3275.76 c #Conflicts: 1597000 | #Constraints: 32655
3265.72/3275.76 c #Conflicts: 1598000 | #Constraints: 33655
3265.72/3275.76 c #Conflicts: 1599000 | #Constraints: 34655
3265.72/3275.76 c #Conflicts: 1600000 | #Constraints: 35655
3265.72/3275.76 c #Conflicts: 1601000 | #Constraints: 36655
3265.72/3275.76 c #Conflicts: 1602000 | #Constraints: 37655
3265.72/3275.76 c #Conflicts: 1603000 | #Constraints: 38655
3265.72/3275.76 c #Conflicts: 1604000 | #Constraints: 39655
3265.72/3275.76 c #Conflicts: 1605000 | #Constraints: 40655
3265.72/3275.76 c #Conflicts: 1606000 | #Constraints: 41655
3265.72/3275.76 c #Conflicts: 1607000 | #Constraints: 42655
3265.72/3275.76 c #Conflicts: 1608000 | #Constraints: 43655
3265.72/3275.76 c #Conflicts: 1609000 | #Constraints: 44655
3265.72/3275.76 c #Conflicts: 1610000 | #Constraints: 45655
3265.72/3275.76 c #Conflicts: 1611000 | #Constraints: 46655
3265.72/3275.76 c #Conflicts: 1612000 | #Constraints: 47655
3265.72/3275.76 c #Conflicts: 1613000 | #Constraints: 48655
3265.72/3275.76 c #Conflicts: 1614000 | #Constraints: 49655
3265.72/3275.76 c #Conflicts: 1615000 | #Constraints: 50655
3265.72/3275.76 c #Conflicts: 1616000 | #Constraints: 51655
3265.72/3275.76 c INPROCESSING
3265.72/3275.76 c GARBAGE COLLECT
3265.72/3275.76 c #Conflicts: 1617000 | #Constraints: 27449
3265.72/3275.76 c #Conflicts: 1618000 | #Constraints: 28449
3265.72/3275.76 c #Conflicts: 1619000 | #Constraints: 29449
3265.72/3275.76 c #Conflicts: 1620000 | #Constraints: 30449
3265.72/3275.76 c #Conflicts: 1621000 | #Constraints: 31449
3265.72/3275.76 c #Conflicts: 1622000 | #Constraints: 32449
3265.72/3275.76 c #Conflicts: 1623000 | #Constraints: 33449
3265.72/3275.76 c #Conflicts: 1624000 | #Constraints: 34449
3265.72/3275.76 c #Conflicts: 1625000 | #Constraints: 35449
3265.72/3275.76 c #Conflicts: 1626000 | #Constraints: 36449
3265.72/3275.76 c #Conflicts: 1627000 | #Constraints: 37449
3265.72/3275.76 c #Conflicts: 1628000 | #Constraints: 38449
3265.72/3275.76 c #Conflicts: 1629000 | #Constraints: 39449
3265.72/3275.76 c #Conflicts: 1630000 | #Constraints: 40449
3265.72/3275.76 c #Conflicts: 1631000 | #Constraints: 41449
3265.72/3275.76 c GLOBAL bounds - >= 1825130206476 @ 3237.13
3265.72/3275.79 c GLOBAL bounds - >= 1825130206476 @ 3237.16
3265.82/3275.83 c GLOBAL bounds - >= 1825130206476 @ 3237.19
3265.82/3275.84 c GLOBAL bounds - >= 1825130206476 @ 3237.19
3265.82/3275.87 c GLOBAL bounds - >= 1825130206476 @ 3237.21
3265.82/3275.88 c GLOBAL bounds - >= 1825130206476 @ 3237.21
3265.93/3275.91 c GLOBAL bounds - >= 1825130206476 @ 3237.24
3265.93/3275.92 c GLOBAL bounds - >= 1825130206476 @ 3237.24
3265.93/3275.96 c GLOBAL bounds - >= 1825130206476 @ 3237.27
3265.93/3275.96 c GLOBAL bounds - >= 1825130206476 @ 3237.27
3265.93/3276.00 c GLOBAL bounds - >= 1825130206476 @ 3237.3
3265.93/3276.00 c GLOBAL bounds - >= 1825130206476 @ 3237.3
3266.03/3276.04 c GLOBAL bounds - >= 1825130206476 @ 3237.33
3266.03/3276.04 c GLOBAL bounds - >= 1825130206476 @ 3237.33
3266.03/3276.08 c GLOBAL bounds - >= 1825130206476 @ 3237.36
3266.03/3276.09 c GLOBAL bounds - >= 1825130206476 @ 3237.36
3266.13/3276.13 c GLOBAL bounds - >= 1825130206476 @ 3237.38
3266.13/3276.13 c GLOBAL bounds - >= 1825130206476 @ 3237.38
3266.13/3276.17 c GLOBAL bounds - >= 1825130206476 @ 3237.41
3266.13/3276.17 c GLOBAL bounds - >= 1825130206476 @ 3237.41
3266.22/3276.21 c GLOBAL bounds - >= 1825130206476 @ 3237.44
3266.22/3276.26 c GLOBAL bounds - >= 1825130206476 @ 3237.48
3266.32/3276.30 c GLOBAL bounds - >= 1825130206476 @ 3237.5
3266.32/3276.33 c GLOBAL bounds - >= 1825130206476 @ 3237.52
3379.60/3389.98 c #Conflicts: 1632000 | #Constraints: 42482
3379.60/3389.98 c #Conflicts: 1633000 | #Constraints: 43482
3379.60/3389.98 c #Conflicts: 1634000 | #Constraints: 44482
3379.60/3389.98 c #Conflicts: 1635000 | #Constraints: 45482
3379.60/3389.98 c #Conflicts: 1636000 | #Constraints: 46482
3379.60/3389.98 c #Conflicts: 1637000 | #Constraints: 47482
3379.60/3389.98 c #Conflicts: 1638000 | #Constraints: 48482
3379.60/3389.98 c #Conflicts: 1639000 | #Constraints: 49482
3379.60/3389.98 c #Conflicts: 1640000 | #Constraints: 50482
3379.60/3389.98 c #Conflicts: 1641000 | #Constraints: 51482
3379.60/3389.98 c #Conflicts: 1642000 | #Constraints: 52482
3379.60/3389.98 c INPROCESSING
3379.60/3389.98 c GARBAGE COLLECT
3379.60/3389.98 c #Conflicts: 1643000 | #Constraints: 28084
3379.60/3389.98 c #Conflicts: 1644000 | #Constraints: 29084
3379.60/3389.98 c #Conflicts: 1645000 | #Constraints: 30084
3379.60/3389.98 c #Conflicts: 1646000 | #Constraints: 31084
3379.60/3389.98 c #Conflicts: 1647000 | #Constraints: 32084
3379.60/3389.98 c #Conflicts: 1648000 | #Constraints: 33084
3379.60/3389.98 c #Conflicts: 1649000 | #Constraints: 34084
3379.60/3389.98 c #Conflicts: 1650000 | #Constraints: 35084
3379.60/3389.98 c #Conflicts: 1651000 | #Constraints: 36084
3379.60/3389.98 c #Conflicts: 1652000 | #Constraints: 37084
3379.60/3389.98 c #Conflicts: 1653000 | #Constraints: 38084
3379.60/3389.98 c #Conflicts: 1654000 | #Constraints: 39084
3379.60/3389.98 c #Conflicts: 1655000 | #Constraints: 40084
3379.60/3389.98 c #Conflicts: 1656000 | #Constraints: 41084
3379.60/3389.98 c #Conflicts: 1657000 | #Constraints: 42084
3379.60/3389.98 c #Conflicts: 1658000 | #Constraints: 43084
3379.60/3389.98 c #Conflicts: 1659000 | #Constraints: 44084
3379.60/3389.98 c #Conflicts: 1660000 | #Constraints: 45084
3379.60/3389.98 c #Conflicts: 1661000 | #Constraints: 46084
3379.60/3389.98 c #Conflicts: 1662000 | #Constraints: 47084
3379.60/3389.98 c #Conflicts: 1663000 | #Constraints: 48084
3379.60/3389.98 c #Conflicts: 1664000 | #Constraints: 49084
3379.60/3389.98 c #Conflicts: 1665000 | #Constraints: 50084
3379.60/3389.98 c #Conflicts: 1666000 | #Constraints: 51084
3379.60/3389.98 c #Conflicts: 1667000 | #Constraints: 52084
3379.60/3389.98 c #Conflicts: 1668000 | #Constraints: 53084
3379.60/3389.98 c INPROCESSING
3379.60/3389.98 c GARBAGE COLLECT
3379.60/3389.98 c #Conflicts: 1669000 | #Constraints: 28478
3379.60/3389.98 c #Conflicts: 1670000 | #Constraints: 29478
3379.60/3389.98 c #Conflicts: 1671000 | #Constraints: 30478
3379.60/3389.98 c #Conflicts: 1672000 | #Constraints: 31478
3379.60/3389.98 c #Conflicts: 1673000 | #Constraints: 32478
3379.60/3389.98 c #Conflicts: 1674000 | #Constraints: 33478
3379.60/3389.98 c #Conflicts: 1675000 | #Constraints: 34478
3379.60/3389.98 c #Conflicts: 1676000 | #Constraints: 35478
3379.60/3389.98 c #Conflicts: 1677000 | #Constraints: 36478
3379.60/3389.98 c #Conflicts: 1678000 | #Constraints: 37478
3379.60/3389.98 c #Conflicts: 1679000 | #Constraints: 38478
3379.60/3389.98 c #Conflicts: 1680000 | #Constraints: 39478
3379.60/3389.98 c #Conflicts: 1681000 | #Constraints: 40478
3379.60/3389.98 c #Conflicts: 1682000 | #Constraints: 41478
3379.60/3389.98 c #Conflicts: 1683000 | #Constraints: 42478
3379.60/3389.98 c #Conflicts: 1684000 | #Constraints: 43478
3379.60/3389.98 c #Conflicts: 1685000 | #Constraints: 44478
3379.60/3389.98 c #Conflicts: 1686000 | #Constraints: 45478
3379.60/3389.98 c #Conflicts: 1687000 | #Constraints: 46478
3379.60/3389.98 c #Conflicts: 1688000 | #Constraints: 47478
3379.60/3389.98 c #Conflicts: 1689000 | #Constraints: 48478
3379.60/3389.98 c #Conflicts: 1690000 | #Constraints: 49478
3379.60/3389.98 c #Conflicts: 1691000 | #Constraints: 50478
3379.60/3389.98 c #Conflicts: 1692000 | #Constraints: 51478
3379.60/3389.98 c #Conflicts: 1693000 | #Constraints: 52478
3379.60/3389.98 c #Conflicts: 1694000 | #Constraints: 53478
3379.60/3389.98 c INPROCESSING
3379.60/3389.98 c GARBAGE COLLECT
3379.60/3389.98 c #Conflicts: 1695000 | #Constraints: 28680
3379.60/3389.98 c #Conflicts: 1696000 | #Constraints: 29680
3379.60/3389.98 c #Conflicts: 1697000 | #Constraints: 30680
3379.60/3389.98 c #Conflicts: 1698000 | #Constraints: 31680
3379.60/3389.98 c #Conflicts: 1699000 | #Constraints: 32680
3379.60/3389.98 c #Conflicts: 1700000 | #Constraints: 33680
3379.60/3389.98 c #Conflicts: 1701000 | #Constraints: 34680
3379.60/3389.98 c #Conflicts: 1702000 | #Constraints: 35680
3379.60/3389.98 c #Conflicts: 1703000 | #Constraints: 36680
3379.60/3389.98 c #Conflicts: 1704000 | #Constraints: 37680
3379.60/3389.98 c #Conflicts: 1705000 | #Constraints: 38680
3379.60/3389.98 c #Conflicts: 1706000 | #Constraints: 39680
3379.60/3389.98 c #Conflicts: 1707000 | #Constraints: 40680
3379.60/3389.98 c #Conflicts: 1708000 | #Constraints: 41680
3501.64/3512.36 c #Conflicts: 1709000 | #Constraints: 42680
3501.64/3512.36 c #Conflicts: 1710000 | #Constraints: 43680
3501.64/3512.36 c #Conflicts: 1711000 | #Constraints: 44680
3501.64/3512.36 c #Conflicts: 1712000 | #Constraints: 45680
3501.64/3512.36 c #Conflicts: 1713000 | #Constraints: 46680
3501.64/3512.36 c #Conflicts: 1714000 | #Constraints: 47680
3501.64/3512.36 c #Conflicts: 1715000 | #Constraints: 48680
3501.64/3512.36 c #Conflicts: 1716000 | #Constraints: 49680
3501.64/3512.36 c #Conflicts: 1717000 | #Constraints: 50680
3501.64/3512.36 c #Conflicts: 1718000 | #Constraints: 51680
3501.64/3512.36 c #Conflicts: 1719000 | #Constraints: 52680
3501.64/3512.36 c #Conflicts: 1720000 | #Constraints: 53680
3501.64/3512.36 c INPROCESSING
3501.64/3512.36 c GARBAGE COLLECT
3501.64/3512.36 c #Conflicts: 1721000 | #Constraints: 28673
3501.64/3512.36 c #Conflicts: 1722000 | #Constraints: 29673
3501.64/3512.36 c #Conflicts: 1723000 | #Constraints: 30673
3501.64/3512.36 c #Conflicts: 1724000 | #Constraints: 31673
3501.64/3512.36 c #Conflicts: 1725000 | #Constraints: 32673
3501.64/3512.36 c #Conflicts: 1726000 | #Constraints: 33673
3501.64/3512.36 c #Conflicts: 1727000 | #Constraints: 34673
3501.64/3512.36 c #Conflicts: 1728000 | #Constraints: 35673
3501.64/3512.36 c #Conflicts: 1729000 | #Constraints: 36673
3501.64/3512.36 c #Conflicts: 1730000 | #Constraints: 37673
3501.64/3512.36 c #Conflicts: 1731000 | #Constraints: 38673
3501.64/3512.36 c #Conflicts: 1732000 | #Constraints: 39673
3501.64/3512.36 c #Conflicts: 1733000 | #Constraints: 40673
3501.64/3512.36 c #Conflicts: 1734000 | #Constraints: 41673
3501.64/3512.36 c #Conflicts: 1735000 | #Constraints: 42673
3501.64/3512.36 c #Conflicts: 1736000 | #Constraints: 43673
3501.64/3512.36 c #Conflicts: 1737000 | #Constraints: 44673
3501.64/3512.36 c #Conflicts: 1738000 | #Constraints: 45673
3501.64/3512.36 c #Conflicts: 1739000 | #Constraints: 46673
3501.64/3512.36 c #Conflicts: 1740000 | #Constraints: 47673
3501.64/3512.36 c #Conflicts: 1741000 | #Constraints: 48673
3501.64/3512.36 c #Conflicts: 1742000 | #Constraints: 49673
3501.64/3512.36 c #Conflicts: 1743000 | #Constraints: 50673
3501.64/3512.36 c #Conflicts: 1744000 | #Constraints: 51673
3501.64/3512.36 c #Conflicts: 1745000 | #Constraints: 52673
3501.64/3512.36 c #Conflicts: 1746000 | #Constraints: 53673
3501.64/3512.36 c INPROCESSING
3501.64/3512.36 c GARBAGE COLLECT
3501.64/3512.36 c #Conflicts: 1747000 | #Constraints: 28478
3501.64/3512.36 c #Conflicts: 1748000 | #Constraints: 29478
3501.64/3512.36 c #Conflicts: 1749000 | #Constraints: 30478
3501.64/3512.36 c #Conflicts: 1750000 | #Constraints: 31478
3501.64/3512.36 c #Conflicts: 1751000 | #Constraints: 32478
3501.64/3512.36 c #Conflicts: 1752000 | #Constraints: 33478
3501.64/3512.36 c #Conflicts: 1753000 | #Constraints: 34478
3501.64/3512.36 c #Conflicts: 1754000 | #Constraints: 35478
3501.64/3512.36 c #Conflicts: 1755000 | #Constraints: 36478
3501.64/3512.36 c #Conflicts: 1756000 | #Constraints: 37478
3501.64/3512.36 c #Conflicts: 1757000 | #Constraints: 38478
3501.64/3512.36 c #Conflicts: 1758000 | #Constraints: 39478
3501.64/3512.36 c #Conflicts: 1759000 | #Constraints: 40478
3501.64/3512.36 c #Conflicts: 1760000 | #Constraints: 41478
3501.64/3512.36 c #Conflicts: 1761000 | #Constraints: 42478
3501.64/3512.36 c #Conflicts: 1762000 | #Constraints: 43478
3501.64/3512.36 c #Conflicts: 1763000 | #Constraints: 44478
3501.64/3512.36 c #Conflicts: 1764000 | #Constraints: 45478
3501.64/3512.36 c #Conflicts: 1765000 | #Constraints: 46478
3501.64/3512.36 c #Conflicts: 1766000 | #Constraints: 47478
3501.64/3512.36 c #Conflicts: 1767000 | #Constraints: 48478
3501.64/3512.36 c #Conflicts: 1768000 | #Constraints: 49478
3501.64/3512.36 c #Conflicts: 1769000 | #Constraints: 50478
3501.64/3512.36 c #Conflicts: 1770000 | #Constraints: 51478
3501.64/3512.36 c #Conflicts: 1771000 | #Constraints: 52478
3501.64/3512.36 c #Conflicts: 1772000 | #Constraints: 53478
3501.64/3512.36 c #Conflicts: 1773000 | #Constraints: 54478
3501.64/3512.36 c INPROCESSING
3501.64/3512.36 c GARBAGE COLLECT
3501.64/3512.36 c #Conflicts: 1774000 | #Constraints: 29078
3501.64/3512.36 c #Conflicts: 1775000 | #Constraints: 30078
3501.64/3512.36 c #Conflicts: 1776000 | #Constraints: 31078
3501.64/3512.36 c #Conflicts: 1777000 | #Constraints: 32078
3501.64/3512.36 c #Conflicts: 1778000 | #Constraints: 33078
3501.64/3512.36 c #Conflicts: 1779000 | #Constraints: 34078
3501.64/3512.36 c #Conflicts: 1780000 | #Constraints: 35078
3501.64/3512.36 c #Conflicts: 1781000 | #Constraints: 36078
3501.64/3512.36 c #Conflicts: 1782000 | #Constraints: 37078
3501.64/3512.36 c #Conflicts: 1783000 | #Constraints: 38078
3501.64/3512.36 c #Conflicts: 1784000 | #Constraints: 39078
3501.64/3512.36 c #Conflicts: 1785000 | #Constraints: 40078
3600.06/3611.00 c #Conflicts: 1786000 | #Constraints: 41078
3600.06/3611.00 c #Conflicts: 1787000 | #Constraints: 42078
3600.06/3611.00 c #Conflicts: 1788000 | #Constraints: 43078
3600.06/3611.00 c #Conflicts: 1789000 | #Constraints: 44078
3600.06/3611.00 c #Conflicts: 1790000 | #Constraints: 45078
3600.06/3611.00 c #Conflicts: 1791000 | #Constraints: 46078
3600.06/3611.00 c #Conflicts: 1792000 | #Constraints: 47078
3600.06/3611.00 c #Conflicts: 1793000 | #Constraints: 48078
3600.06/3611.00 c #Conflicts: 1794000 | #Constraints: 49078
3600.06/3611.00 c #Conflicts: 1795000 | #Constraints: 50078
3600.06/3611.00 c #Conflicts: 1796000 | #Constraints: 51078
3600.06/3611.00 c #Conflicts: 1797000 | #Constraints: 52078
3600.06/3611.00 c #Conflicts: 1798000 | #Constraints: 53078
3600.06/3611.00 c #Conflicts: 1799000 | #Constraints: 54078
3600.06/3611.00 c #Conflicts: 1800000 | #Constraints: 55078
3600.06/3611.00 c INPROCESSING
3600.06/3611.00 c GARBAGE COLLECT
3600.06/3611.00 c #Conflicts: 1801000 | #Constraints: 29484
3600.06/3611.00 c #Conflicts: 1802000 | #Constraints: 30484
3600.06/3611.00 c #Conflicts: 1803000 | #Constraints: 31484
3600.06/3611.00 c #Conflicts: 1804000 | #Constraints: 32484
3600.06/3611.00 c #Conflicts: 1805000 | #Constraints: 33484
3600.06/3611.00 c #Conflicts: 1806000 | #Constraints: 34484
3600.06/3611.00 c #Conflicts: 1807000 | #Constraints: 35484
3600.06/3611.00 c #Conflicts: 1808000 | #Constraints: 36484
3600.06/3611.00 c #Conflicts: 1809000 | #Constraints: 37484
3600.06/3611.00 c #Conflicts: 1810000 | #Constraints: 38484
3600.06/3611.00 c #Conflicts: 1811000 | #Constraints: 39484
3600.06/3611.00 c #Conflicts: 1812000 | #Constraints: 40484
3600.06/3611.00 c #Conflicts: 1813000 | #Constraints: 41484
3600.06/3611.00 c #Conflicts: 1814000 | #Constraints: 42484
3600.06/3611.00 c #Conflicts: 1815000 | #Constraints: 43484
3600.06/3611.00 c #Conflicts: 1816000 | #Constraints: 44484
3600.06/3611.00 c #Conflicts: 1817000 | #Constraints: 45484
3600.06/3611.00 c #Conflicts: 1818000 | #Constraints: 46484
3600.06/3611.00 c #Conflicts: 1819000 | #Constraints: 47484
3600.06/3611.00 c #Conflicts: 1820000 | #Constraints: 48484
3600.06/3611.00 c #Conflicts: 1821000 | #Constraints: 49484
3600.06/3611.00 c #Conflicts: 1822000 | #Constraints: 50484
3600.06/3611.00 c #Conflicts: 1823000 | #Constraints: 51484
3600.06/3611.00 c #Conflicts: 1824000 | #Constraints: 52484
3600.06/3611.00 c #Conflicts: 1825000 | #Constraints: 53484
3600.06/3611.00 c #Conflicts: 1826000 | #Constraints: 54484
3600.06/3611.00 c #Conflicts: 1827000 | #Constraints: 55484
3600.06/3611.00 c INPROCESSING
3600.06/3611.00 c GARBAGE COLLECT
3600.06/3611.00 c #Conflicts: 1828000 | #Constraints: 29691
3600.06/3611.00 c #Conflicts: 1829000 | #Constraints: 30691
3600.06/3611.00 c #Conflicts: 1830000 | #Constraints: 31691
3600.06/3611.00 c #Conflicts: 1831000 | #Constraints: 32691
3600.06/3611.00 c #Conflicts: 1832000 | #Constraints: 33691
3600.06/3611.00 c #Conflicts: 1833000 | #Constraints: 34691
3600.06/3611.00 c #Conflicts: 1834000 | #Constraints: 35691
3600.06/3611.00 c #Conflicts: 1835000 | #Constraints: 36691
3600.06/3611.00 c #Conflicts: 1836000 | #Constraints: 37691
3600.06/3611.00 c #Conflicts: 1837000 | #Constraints: 38691
3600.06/3611.00 c #Conflicts: 1838000 | #Constraints: 39691
3600.06/3611.00 c #Conflicts: 1839000 | #Constraints: 40691
3600.06/3611.00 c #Conflicts: 1840000 | #Constraints: 41691
3600.06/3611.00 c #Conflicts: 1841000 | #Constraints: 42691
3600.06/3611.00 c #Conflicts: 1842000 | #Constraints: 43691
3600.06/3611.00 c #Conflicts: 1843000 | #Constraints: 44691
3600.06/3611.00 c #Conflicts: 1844000 | #Constraints: 45691
3600.06/3611.00 c #Conflicts: 1845000 | #Constraints: 46691
3600.06/3611.00 c #Conflicts: 1846000 | #Constraints: 47691
3600.06/3611.00 c #Conflicts: 1847000 | #Constraints: 48691
3600.06/3611.00 c #Conflicts: 1848000 | #Constraints: 49691
3600.06/3611.00 c #Conflicts: 1849000 | #Constraints: 50691
3600.06/3611.00 c #Conflicts: 1850000 | #Constraints: 51691
3600.06/3611.00 c cpu time 3568.52 s
3600.06/3611.00 c deterministic time 5608684 5.61e+06
3600.06/3611.00 c optimization time 3567.77 s
3600.06/3611.00 c total solve time 0.435652 s
3600.06/3611.00 c core-guided solve time 0 s
3600.06/3611.00 c propagation time 0.254933 s
3600.06/3611.00 c conflict analysis time 0.03312 s
3600.06/3611.00 c propagations 524339
3600.06/3611.00 c resolve steps 0
3600.06/3611.00 c decisions 493939
3600.06/3611.00 c conflicts 8
3600.06/3611.00 c restarts 1
3600.06/3611.00 c inprocessing phases 0
3600.06/3611.00 c garbage collections 0 ,( -nan )
3600.06/3611.00 c input clauses 98738 ,( 98.20 )
3600.06/3611.00 c input cardinalities 1561 ,( 1.55 )
3600.06/3611.00 c input general constraints 247 ,( 0.25 )
3600.06/3611.00 c input average constraint length 19.63
3600.06/3611.00 c input average constraint degree 473020426072.97
3600.06/3611.00 c learned clauses 180 ,( 82.57 )
3600.06/3611.00 c learned cardinalities 0 ,( 0.00 )
3600.06/3611.00 c learned general constraints 38 ,( 17.43 )
3600.06/3611.00 c learned average constraint length 3.24
3600.06/3611.00 c learned average constraint degree 1.22
3600.06/3611.00 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3611.00 c counting CF 32, 64, 128, Arb: 81 , 205 , 0 , 0
3600.06/3611.00 c watched constraints 0 ,( 0.00 )
3600.06/3611.00 c counting constraints 285 ,( 100.00 )
3600.06/3611.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283966 , 12186 , 1240011 ,( 0 , 1240011 )
3600.06/3611.00 c gcd simplifications 0
3600.06/3611.00 c detected cardinalities 0
3600.06/3611.00 c weakened non-implied lits 0
3600.06/3611.00 c weakened non-implying lits 0
3600.06/3611.00 c original variables 21101
3600.06/3611.00 c clausal propagations 273964
3600.06/3611.00 c cardinality propagations 170
3600.06/3611.00 c watched propagations 0
3600.06/3611.00 c counting propagations 20075
3600.06/3611.00 c watch lookups 3070471
3600.06/3611.00 c watch backjump lookups 0
3600.06/3611.00 c watch checks 144223
3600.06/3611.00 c propagation checks 350018
3600.06/3611.00 c constraint additions 5609
3600.06/3611.00 c trail pops 1017084
3600.06/3611.00 c formula constraints 99896
3600.06/3611.00 c learned constraints 218
3600.06/3611.00 c bound constraints 0
3600.06/3611.00 c core-guided constraints 0
3600.06/3611.00 c encountered formula constraints 8
3600.06/3611.00 c encountered learned constraints 0
3600.06/3611.00 c encountered bound constraints 0
3600.06/3611.00 c encountered core-guided constraints 0
3600.06/3611.00 c LP total time 0.198605 s
3600.06/3611.00 c LP solve time 0.16 s
3600.06/3611.00 c LP constraints added 99896
3600.06/3611.00 c LP constraints removed 0
3600.06/3611.00 c LP pivots internal 2000
3600.06/3611.00 c LP pivots root 1000
3600.06/3611.00 c LP calls 2
3600.06/3611.00 c LP optimalities 0
3600.06/3611.00 c LP no pivot count 0
3600.06/3611.00 c LP infeasibilities 0
3600.06/3611.00 c LP valid Farkas constraints 0
3600.06/3611.00 c LP learned Farkas constraints 0
3600.06/3611.00 c LP basis resets 0
3600.06/3611.00 c LP cycling count 0
3600.06/3611.00 c LP singular count 0
3600.06/3611.00 c LP no primal count 0
3600.06/3611.00 c LP no farkas count 0
3600.06/3611.00 c LP other issue count 0
3600.06/3611.00 c LP Gomory cuts 0
3600.06/3611.00 c LP learned cuts 0
3600.06/3611.00 c LP deleted cuts 0
3600.06/3611.00 c LP encountered Gomory constraints 0
3600.06/3611.00 c LP encountered Farkas constraints 0
3600.06/3611.00 c LP encountered learned Farkas constraints 0
3600.06/3611.00 c CG auxiliary variables introduced 228
3600.06/3611.00 c CG solutions found 0
3600.06/3611.00 c CG cores constructed 218
3600.06/3611.00 c CG core cardinality constraints returned 0
3600.06/3611.00 c CG unit cores 0
3600.06/3611.00 c CG single cores 0
3600.06/3611.00 c CG blocks removed during cardinality reduction 0
3600.06/3611.00 c CG first core best 0
3600.06/3611.00 c CG decision core best 0
3600.06/3611.00 c CG core reduction tie 0
3600.06/3611.00 c CG core degree average 0.00
3600.06/3611.00 c CG core slack average 0.00
3600.06/3611.00 c CG core upper bound improvements 0
3600.06/3611.00 c STR number of successful calls 0
3600.06/3611.00 c STR number of unsuccessful calls 0
3600.06/3611.00 c STR number of inconclusive calls 0
3600.06/3611.00 c STR number of successful attempts 0
3600.06/3611.00 c STR number of unsuccessful attempts 0
3600.06/3611.00 c STR number of inconclusive attempts 0
3600.06/3611.00 c STR average degree increase per successful call inf
3600.06/3611.00 c STR average degree increase per successful attempt inf
3600.06/3611.00 c STR total number of conflicts for successful attempts 0
3600.06/3611.00 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3611.00 c STR total number of conflicts for inconclusive attempts 0
3600.06/3611.00 c STR average number of conflicts per successful attempt inf
3600.06/3611.00 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3611.00 c STR average number of conflicts per inconclusive attempt inf
3600.06/3611.00 c AVG.sumWPerc 95.92
3600.06/3611.00 c bigint constraints 205
3600.06/3611.00 s UNKNOWN
3600.06/3611.00 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 (62138 MiB free)
memory of node 1: 64465 MiB (62481 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500638-1751470038/watcher-4500638-1751470038 -o /tmp/evaluation-result-4500638-1751470038/solver-4500638-1751470038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66042 --watchdog 3760 run-opt.sh HOME/instance-4500638-1751470038.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=66746, runsolver pid=66743
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.10 4.11 4.08 5/268 66748
/proc/meminfo: memFree=127608396/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=61232 memory=16300 CPUtime=0.08 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 2314 0 0 0 6 2 0 0 20 0 1 0 62680408 62701568 4075 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 15308 4075 1888 1147 0 2735 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65424 KiB
Current children cumulated memory: 19372 KiB
[startup+0.205558 s]*
/proc/loadavg: 4.10 4.11 4.08 5/268 66748
/proc/meminfo: memFree=127608396/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=64988 memory=21316 CPUtime=0.19 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 3081 0 0 0 14 5 0 0 20 0 1 0 62680408 66547712 5329 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 16247 5329 1888 1147 0 3674 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69180 KiB
Current children cumulated memory: 24388 KiB
[startup+0.305747 s]*
/proc/loadavg: 4.10 4.11 4.08 5/268 66748
/proc/meminfo: memFree=127604364/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=93408 memory=46464 CPUtime=0.28 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 6218 0 0 0 21 7 0 0 20 0 1 0 62680408 95649792 11616 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 23352 11616 2240 1147 0 10779 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 97600 KiB
Current children cumulated memory: 49536 KiB
[startup+0.700185 s]
/proc/loadavg: 4.10 4.11 4.08 5/268 66748
/proc/meminfo: memFree=127537324/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=213924 memory=146748 CPUtime=0.68 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 17703 0 0 0 53 15 0 0 20 0 1 0 62680408 219058176 36687 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 53481 36687 2368 1147 0 40908 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 218116 KiB
Current children cumulated memory: 149820 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 4.11 4.08 5/268 66748
/proc/meminfo: memFree=127517220/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=220064 memory=153788 CPUtime=1.47 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 19462 0 0 0 85 62 0 0 20 0 1 0 62680408 225345536 38447 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 55016 38447 2368 1147 0 42443 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 224256 KiB
Current children cumulated memory: 156860 KiB
[startup+3.1055 s]
/proc/loadavg: 4.09 4.11 4.08 5/268 66748
/proc/meminfo: memFree=127383588/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=344672 memory=265220 CPUtime=3.07 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 37620 0 0 0 189 118 0 0 20 0 1 0 62680408 352944128 66305 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 86168 66305 2368 1147 0 73595 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 348864 KiB
Current children cumulated memory: 268292 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.11 4.08 5/268 66748
/proc/meminfo: memFree=127125804/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=530596 memory=413524 CPUtime=6.26 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 67043 0 0 0 465 161 0 0 20 0 1 0 62680408 543330304 103381 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 132649 103381 2368 1147 0 120076 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 534788 KiB
Current children cumulated memory: 416596 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 66748
/proc/meminfo: memFree=126811176/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=534076 memory=460840 CPUtime=12.64 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 73798 0 0 0 1064 200 0 0 20 0 1 0 62680408 546893824 115210 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 133519 115210 2368 1147 0 120946 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 538268 KiB
Current children cumulated memory: 463912 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 66748
/proc/meminfo: memFree=126427808/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=801308 memory=635616 CPUtime=25.41 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 110337 0 0 0 2293 248 0 0 20 0 1 0 62680408 820539392 158904 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 200327 158904 2368 1147 0 187754 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 805500 KiB
Current children cumulated memory: 638688 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 4.08 5/268 66749
/proc/meminfo: memFree=126339208/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=804904 memory=680528 CPUtime=50.95 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 116447 0 0 0 4769 326 0 0 20 0 1 0 62680408 824221696 170132 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 201226 170132 2368 1147 0 188653 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 809096 KiB
Current children cumulated memory: 683600 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/268 66797
/proc/meminfo: memFree=124999788/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=1433164 memory=1080104 CPUtime=102.01 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 194935 0 0 0 9754 447 0 0 20 0 1 0 62680408 1467559936 270026 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 358291 270026 2368 1147 0 345718 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1437356 KiB
Current children cumulated memory: 1083176 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/269 66800
/proc/meminfo: memFree=124530700/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=1434324 memory=1097316 CPUtime=161.85 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 197195 0 0 0 15615 570 0 0 20 0 1 0 62680408 1468747776 274329 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 358581 274329 2368 1147 0 346008 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1438516 KiB
Current children cumulated memory: 1100388 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/269 66803
/proc/meminfo: memFree=124041872/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=1440332 memory=1185756 CPUtime=221.66 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 209098 0 0 0 21511 655 0 0 20 0 1 0 62680408 1474899968 296439 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 360083 296439 2368 1147 0 347510 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/66748/statm: 735886 664535 2368 1147 0 723313 0
Current children cumulated CPU time: 3033 s
Current children cumulated vsize: 2947736 KiB
Current children cumulated memory: 2661212 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/268 66999
/proc/meminfo: memFree=116886796/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=2943544 memory=2658140 CPUtime=3092.83 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 452302 0 0 0 306476 2807 0 0 20 0 1 0 62680408 3014189056 664535 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 735886 664535 2368 1147 0 723313 0
Current children cumulated CPU time: 3092.83 s
Current children cumulated vsize: 2947736 KiB
Current children cumulated memory: 2661212 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/267 67001
/proc/meminfo: memFree=116849668/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=2944056 memory=2658396 CPUtime=3152.65 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 452393 0 0 0 312440 2825 0 0 20 0 1 0 62680408 3014713344 664599 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 736014 664599 2368 1147 0 723441 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 2948248 KiB
Current children cumulated memory: 2661468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/268 67003
/proc/meminfo: memFree=116798120/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=2944056 memory=2658396 CPUtime=3212.48 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 452393 0 0 0 318405 2843 0 0 20 0 1 0 62680408 3014713344 664599 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 736014 664599 2368 1147 0 723441 0
Current children cumulated CPU time: 3212.48 s
Current children cumulated vsize: 2948248 KiB
Current children cumulated memory: 2661468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/268 67005
/proc/meminfo: memFree=116765844/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=2944056 memory=2658396 CPUtime=3272.3 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 453622 0 0 0 324343 2887 0 0 20 0 1 0 62680408 3014713344 664599 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 736014 664599 2368 1147 0 723441 0
Current children cumulated CPU time: 3272.3 s
Current children cumulated vsize: 2948248 KiB
Current children cumulated memory: 2661468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/268 67007
/proc/meminfo: memFree=116545104/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=2945592 memory=2725168 CPUtime=3332.13 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 453987 0 0 0 330293 2920 0 0 20 0 1 0 62680408 3016286208 681292 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 736398 681292 2368 1147 0 723825 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 2949784 KiB
Current children cumulated memory: 2728240 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.22 4.16 5/268 67009
/proc/meminfo: memFree=116476436/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=2952248 memory=2739560 CPUtime=3391.96 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 455037 0 0 0 336232 2964 0 0 20 0 1 0 62680408 3023101952 684890 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 738062 684890 2368 1147 0 725489 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 2956440 KiB
Current children cumulated memory: 2742632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.21 4.16 5/268 67011
/proc/meminfo: memFree=114773092/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=4562000 memory=3584368 CPUtime=3451.79 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 660524 0 0 0 342139 3040 0 0 20 0 1 0 62680408 4671488000 896092 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 1140500 896092 2368 1147 0 1127927 0
Current children cumulated CPU time: 3451.79 s
Current children cumulated vsize: 4566192 KiB
Current children cumulated memory: 3587440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.16 5/268 67020
/proc/meminfo: memFree=114800164/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=4562000 memory=3584368 CPUtime=3511.62 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 660889 0 0 0 348079 3083 0 0 20 0 1 0 62680408 4671488000 896092 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 1140500 896092 2368 1147 0 1127927 0
Current children cumulated CPU time: 3511.62 s
Current children cumulated vsize: 4566192 KiB
Current children cumulated memory: 3587440 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.15 4.14 5/267 67022
/proc/meminfo: memFree=114750244/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=4564048 memory=3600292 CPUtime=3571.44 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 662825 0 0 0 354014 3130 0 0 20 0 1 0 62680408 4673585152 900073 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 1141012 900073 2368 1147 0 1128439 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 4568240 KiB
Current children cumulated memory: 3603364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.09 4.15 4.14 5/267 67069
/proc/meminfo: memFree=117883668/131250000 swapFree=33010672/33010684
[pid=66746] ppid=66743 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/66746/stat : 66746 (run-opt.sh) S 66743 66746 66032 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62680407 4292608 768 18446744073709551615 94769160773632 94769161668165 140734005516288 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94769161907216 94769161954960 94769174683648 140734005524845 140734005524968 140734005524968 140734005530570 0
/proc/66746/statm: 1048 768 704 219 0 110 0
[pid=66748] ppid=66746 vsize=4564048 memory=3600292 CPUtime=3600.06 cores=0,2
/proc/66748/stat : 66748 (roundingsat) R 66746 66746 66032 0 -1 4194304 662825 0 0 0 356851 3155 0 0 20 0 1 0 62680408 4673585152 900073 18446744073709551615 4227072 8923433 140727229929264 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28663808 140727229933986 140727229934120 140727229934120 140727229939690 0
/proc/66748/statm: 1141012 900073 2368 1147 0 1128439 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4568240 KiB
Current children cumulated memory: 3603364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 66746 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001954 s
[startup+3611.05 s]
# the end of solver process 66748 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.52 s, system=31.6003 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
Child status: 2
Real time (s): 3611.05
CPU time (s): 3600.12
CPU user time (s): 3568.52
CPU system time (s): 31.6003
CPU usage (%): 99.6973
Max. virtual memory (cumulated for all children) (KiB): 4568240
Max. memory (cumulated for all children) (KiB): 3603364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.52
system time used= 31.6003
maximum resident set size= 3600676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663060
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= 484
involuntary context switches= 4649
# summary of solver processes directly reported to runsolver:
# pid: 66746,66748
# total CPU time (s): 3600.12
# total CPU user time (s): 3568.52
# total CPU system time (s): 31.6003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19299 second user time and 17.8933 second system time
The end
Begin job on nodeC014 at 2025-07-02 17:27:18
IDJOB=4500638
IDBENCH=150935
IDSOLVER=3350
FILE ID=nodeC014/4500638-1751470038
RUNJOBID= nodeC014-1751466415-66042
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-kdessh.cudf.trendy.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500638-1751470038/watcher-4500638-1751470038 -o /tmp/evaluation-result-4500638-1751470038/solver-4500638-1751470038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66042 --watchdog 3760 run-opt.sh HOME/instance-4500638-1751470038.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 56b903d437c3366243c3e03bf85aa66e
RANDOM SEED=60821652
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.104
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.124
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 : 3581.320
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 : 3597.097
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.190
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.286
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 : 3639.576
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 : 3596.807
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: 127612176 kB
MemAvailable: 129348460 kB
Buffers: 2508 kB
Cached: 2532088 kB
SwapCached: 4 kB
Active: 973728 kB
Inactive: 1984648 kB
Active(anon): 438016 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1980796 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19316 kB
Writeback: 0 kB
AnonPages: 426960 kB
Mapped: 117660 kB
Shmem: 18064 kB
KReclaimable: 118028 kB
Slab: 208516 kB
SReclaimable: 118028 kB
SUnreclaim: 90488 kB
KernelStack: 4332 kB
PageTables: 4188 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 798816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 153600 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:27:29