0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.48/0.54 c #variables 21101 #constraints 99896
0.48/0.54 c objective is ce64
0.48/0.57 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.48/0.57 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.48/0.57 c GLOBAL bounds - >= 0 @ 0.446285
0.48/0.60 c GLOBAL bounds - >= 0 @ 0.454634
0.48/0.60 c GLOBAL bounds - >= 475379834250 @ 0.455001
0.77/0.82 c GLOBAL bounds - >= 475379834250 @ 0.65065
0.77/0.84 c GLOBAL bounds - >= 475379834250 @ 0.663714
0.77/0.84 c GLOBAL bounds - >= 475379834250 @ 0.664399
0.77/0.86 c GLOBAL bounds - >= 475379834250 @ 0.67808
0.77/0.86 c GLOBAL bounds - >= 475379834250 @ 0.678589
0.77/0.88 c GLOBAL bounds - >= 475379834250 @ 0.691996
0.77/0.88 c GLOBAL bounds - >= 475379834250 @ 0.692467
0.86/0.91 c GLOBAL bounds - >= 475379834250 @ 0.704249
0.86/0.91 c GLOBAL bounds - >= 475379834250 @ 0.704744
0.86/0.93 c GLOBAL bounds - >= 475379834250 @ 0.716207
0.86/0.93 c GLOBAL bounds - >= 475379834250 @ 0.716622
0.86/0.95 c GLOBAL bounds - >= 475379834250 @ 0.726152
0.86/0.95 c GLOBAL bounds - >= 475379834250 @ 0.726664
0.86/0.97 c GLOBAL bounds - >= 475379834250 @ 0.738151
0.86/0.97 c GLOBAL bounds - >= 475379834250 @ 0.738794
0.86/0.99 c GLOBAL bounds - >= 475379834250 @ 0.753717
0.86/1.00 c GLOBAL bounds - >= 475379834250 @ 0.754284
0.97/1.02 c GLOBAL bounds - >= 475379834250 @ 0.763134
0.97/1.02 c GLOBAL bounds - >= 475379834250 @ 0.763775
0.97/1.04 c GLOBAL bounds - >= 475379834250 @ 0.774451
0.97/1.06 c GLOBAL bounds - >= 475379834250 @ 0.785161
0.97/1.08 c GLOBAL bounds - >= 475379834250 @ 0.791316
0.97/1.10 c GLOBAL bounds - >= 475379834250 @ 0.803616
1.07/1.12 c GLOBAL bounds - >= 475379834250 @ 0.812482
1.07/1.14 c GLOBAL bounds - >= 475379834250 @ 0.82211
1.07/1.15 c GLOBAL bounds - >= 713143539475 @ 0.830631
1.07/1.16 c GLOBAL bounds - >= 713143539475 @ 0.835678
1.07/1.16 c GLOBAL bounds - >= 713143539475 @ 0.835938
1.07/1.18 c GLOBAL bounds - >= 713143539475 @ 0.847349
1.07/1.18 c GLOBAL bounds - >= 713143539475 @ 0.847822
1.16/1.20 c GLOBAL bounds - >= 713143539475 @ 0.857803
1.16/1.20 c GLOBAL bounds - >= 713143539475 @ 0.858997
1.16/1.23 c GLOBAL bounds - >= 713143539475 @ 0.865807
1.16/1.23 c GLOBAL bounds - >= 713143539475 @ 0.866396
1.16/1.25 c GLOBAL bounds - >= 713143539475 @ 0.875071
1.16/1.25 c GLOBAL bounds - >= 713143539475 @ 0.875642
1.16/1.27 c GLOBAL bounds - >= 713143539475 @ 0.88442
1.16/1.27 c GLOBAL bounds - >= 713143539475 @ 0.884774
1.16/1.29 c GLOBAL bounds - >= 713143539475 @ 0.894591
1.16/1.29 c GLOBAL bounds - >= 713143539475 @ 0.894744
1.26/1.31 c GLOBAL bounds - >= 713143539475 @ 0.904752
1.26/1.31 c GLOBAL bounds - >= 713143539475 @ 0.905321
1.26/1.34 c GLOBAL bounds - >= 713143539475 @ 0.916576
1.26/1.34 c GLOBAL bounds - >= 713143539475 @ 0.916576
1.26/1.36 c GLOBAL bounds - >= 713143539475 @ 0.929058
1.26/1.36 c GLOBAL bounds - >= 713143539475 @ 0.9297
1.26/1.38 c GLOBAL bounds - >= 713143539475 @ 0.937436
1.37/1.41 c GLOBAL bounds - >= 713143539475 @ 0.951584
1.37/1.42 c GLOBAL bounds - >= 713143539475 @ 0.95557
1.37/1.43 c GLOBAL bounds - >= 713143539475 @ 0.96293
1.37/1.45 c GLOBAL bounds - >= 713143539475 @ 0.96853
1.37/1.46 c GLOBAL bounds - >= 713143539475 @ 0.971907
1.37/1.47 c GLOBAL bounds - >= 713143539475 @ 0.978501
1.37/1.49 c GLOBAL bounds - >= 713143539475 @ 0.983484
1.46/1.50 c GLOBAL bounds - >= 713143539475 @ 0.991838
1.46/1.52 c GLOBAL bounds - >= 713143539475 @ 1.00287
1.46/1.55 c GLOBAL bounds - >= 713143539475 @ 1.0187
1.46/1.57 c GLOBAL bounds - >= 713143539475 @ 1.03031
1.46/1.59 c GLOBAL bounds - >= 713143539475 @ 1.04011
1.46/1.59 c GLOBAL bounds - >= 792336617800 @ 1.04312
1.46/1.59 c GLOBAL bounds - >= 792336617800 @ 1.04626
1.46/1.59 c GLOBAL bounds - >= 792336617800 @ 1.04679
1.46/1.60 c GLOBAL bounds - >= 792336617800 @ 1.04725
1.56/1.61 c GLOBAL bounds - >= 792336617800 @ 1.04828
1.56/1.61 c GLOBAL bounds - >= 792336617800 @ 1.04834
1.56/1.64 c GLOBAL bounds - >= 792336617800 @ 1.0568
1.56/1.64 c GLOBAL bounds - >= 792336617800 @ 1.05735
1.56/1.66 c GLOBAL bounds - >= 792336617800 @ 1.06369
1.56/1.66 c GLOBAL bounds - >= 792336617800 @ 1.06422
1.56/1.67 c GLOBAL bounds - >= 792336617800 @ 1.07021
1.56/1.68 c GLOBAL bounds - >= 792336617800 @ 1.07021
1.67/1.70 c GLOBAL bounds - >= 792336617800 @ 1.08088
1.67/1.70 c GLOBAL bounds - >= 792336617800 @ 1.08118
1.67/1.72 c GLOBAL bounds - >= 792336617800 @ 1.08777
1.67/1.72 c GLOBAL bounds - >= 792336617800 @ 1.08815
1.67/1.75 c GLOBAL bounds - >= 792336617800 @ 1.09712
1.67/1.75 c GLOBAL bounds - >= 792336617800 @ 1.09811
1.67/1.77 c GLOBAL bounds - >= 792336617800 @ 1.1059
1.67/1.77 c GLOBAL bounds - >= 792336617800 @ 1.10661
1.67/1.79 c GLOBAL bounds - >= 792336617800 @ 1.1135
1.67/1.79 c GLOBAL bounds - >= 792336617800 @ 1.11414
1.76/1.81 c GLOBAL bounds - >= 792336617800 @ 1.12394
1.76/1.83 c GLOBAL bounds - >= 792336617800 @ 1.12844
1.76/1.86 c GLOBAL bounds - >= 792336617800 @ 1.14597
1.76/1.88 c GLOBAL bounds - >= 1109330295400 @ 1.15941
1.87/1.90 c GLOBAL bounds - >= 1109330295400 @ 1.17887
1.87/1.92 c GLOBAL bounds - >= 1109330295400 @ 1.18871
1.87/1.92 c GLOBAL bounds - >= 1109330295400 @ 1.18871
1.87/1.94 c GLOBAL bounds - >= 1109330295400 @ 1.19853
1.87/1.94 c GLOBAL bounds - >= 1109330295400 @ 1.19882
1.87/1.96 c GLOBAL bounds - >= 1109330295400 @ 1.20725
1.87/1.97 c GLOBAL bounds - >= 1109330295400 @ 1.20782
1.87/1.99 c GLOBAL bounds - >= 1109330295400 @ 1.21563
1.87/1.99 c GLOBAL bounds - >= 1109330295400 @ 1.21617
1.97/2.01 c GLOBAL bounds - >= 1109330295400 @ 1.22332
1.97/2.01 c GLOBAL bounds - >= 1109330295400 @ 1.22369
1.97/2.03 c GLOBAL bounds - >= 1109330295400 @ 1.23415
1.97/2.03 c GLOBAL bounds - >= 1109330295400 @ 1.23504
1.97/2.06 c GLOBAL bounds - >= 1109330295400 @ 1.24571
1.97/2.06 c GLOBAL bounds - >= 1109330295400 @ 1.24665
1.97/2.08 c GLOBAL bounds - >= 1109330295400 @ 1.25846
1.97/2.08 c GLOBAL bounds - >= 1109330295400 @ 1.25865
2.07/2.10 c GLOBAL bounds - >= 1109330295400 @ 1.27003
2.07/2.10 c GLOBAL bounds - >= 1109330295400 @ 1.27062
2.07/2.12 c GLOBAL bounds - >= 1109330295400 @ 1.27856
2.07/2.17 c GLOBAL bounds - >= 1109330295400 @ 1.31592
2.16/2.24 c GLOBAL bounds - >= 1109330295400 @ 1.36644
2.26/2.31 c GLOBAL bounds - >= 1188689396950 @ 1.43338
2.26/2.32 c GLOBAL bounds - >= 1188689396950 @ 1.44014
2.26/2.32 c GLOBAL bounds - >= 1188689396950 @ 1.44082
2.26/2.32 c GLOBAL bounds - >= 1188689396950 @ 1.44113
2.26/2.34 c GLOBAL bounds - >= 1188689396950 @ 1.45108
2.26/2.34 c GLOBAL bounds - >= 1188689396950 @ 1.45189
2.26/2.36 c GLOBAL bounds - >= 1188689396950 @ 1.45883
2.26/2.36 c GLOBAL bounds - >= 1188689396950 @ 1.45908
2.26/2.38 c GLOBAL bounds - >= 1188689396950 @ 1.46757
2.26/2.39 c GLOBAL bounds - >= 1188689396950 @ 1.46809
2.36/2.41 c GLOBAL bounds - >= 1188689396950 @ 1.47797
2.36/2.41 c GLOBAL bounds - >= 1188689396950 @ 1.47876
2.36/2.43 c GLOBAL bounds - >= 1188689396950 @ 1.48572
2.36/2.43 c GLOBAL bounds - >= 1188689396950 @ 1.486
2.36/2.45 c GLOBAL bounds - >= 1188689396950 @ 1.49939
2.36/2.45 c GLOBAL bounds - >= 1188689396950 @ 1.50007
2.36/2.48 c GLOBAL bounds - >= 1188689396950 @ 1.50883
2.36/2.48 c GLOBAL bounds - >= 1188689396950 @ 1.50974
2.46/2.50 c GLOBAL bounds - >= 1188689396950 @ 1.51941
2.46/2.50 c GLOBAL bounds - >= 1188689396950 @ 1.52031
2.46/2.52 c GLOBAL bounds - >= 1188689396950 @ 1.533
2.46/2.52 c GLOBAL bounds - >= 1188689396950 @ 1.53417
2.46/2.54 c GLOBAL bounds - >= 1188689396950 @ 1.54396
2.57/2.63 c GLOBAL bounds - >= 1188689396950 @ 1.60859
2.66/2.77 c GLOBAL bounds - >= 1188689396950 @ 1.73831
2.76/2.82 c GLOBAL bounds - >= 1188689396950 @ 1.77786
2.76/2.87 c GLOBAL bounds - >= 1188689396950 @ 1.80753
3.06/3.17 c GLOBAL bounds - >= 1347241576825 @ 2.09196
3.06/3.18 c GLOBAL bounds - >= 1347241576825 @ 2.10018
3.16/3.20 c GLOBAL bounds - >= 1347241576825 @ 2.10933
3.16/3.20 c GLOBAL bounds - >= 1347241576825 @ 2.11038
3.16/3.23 c GLOBAL bounds - >= 1347241576825 @ 2.11757
3.16/3.23 c GLOBAL bounds - >= 1347241576825 @ 2.11831
3.16/3.25 c GLOBAL bounds - >= 1347241576825 @ 2.13165
3.16/3.25 c GLOBAL bounds - >= 1347241576825 @ 2.13209
3.16/3.27 c GLOBAL bounds - >= 1347241576825 @ 2.14087
3.16/3.27 c GLOBAL bounds - >= 1347241576825 @ 2.14177
3.26/3.30 c GLOBAL bounds - >= 1347241576825 @ 2.15074
3.26/3.30 c GLOBAL bounds - >= 1347241576825 @ 2.15104
3.26/3.32 c GLOBAL bounds - >= 1347241576825 @ 2.15769
3.26/3.32 c GLOBAL bounds - >= 1347241576825 @ 2.15801
3.26/3.34 c GLOBAL bounds - >= 1347241576825 @ 2.16777
3.26/3.34 c GLOBAL bounds - >= 1347241576825 @ 2.16799
3.26/3.36 c GLOBAL bounds - >= 1347241576825 @ 2.17867
3.26/3.37 c GLOBAL bounds - >= 1347241576825 @ 2.17896
3.26/3.39 c GLOBAL bounds - >= 1347241576825 @ 2.18939
3.26/3.39 c GLOBAL bounds - >= 1347241576825 @ 2.19038
3.36/3.41 c GLOBAL bounds - >= 1347241576825 @ 2.2005
4.16/4.24 c #Conflicts: 1000 | #Constraints: 2411
4.16/4.24 c GLOBAL bounds - >= 1347426047075 @ 2.97446
4.16/4.25 c GLOBAL bounds - >= 1347426047075 @ 2.98269
4.16/4.27 c GLOBAL bounds - >= 1347426047075 @ 2.99136
4.16/4.28 c GLOBAL bounds - >= 1347426047075 @ 2.99249
4.26/4.30 c GLOBAL bounds - >= 1347426047075 @ 3.00055
4.26/4.30 c GLOBAL bounds - >= 1347426047075 @ 3.00162
4.26/4.32 c GLOBAL bounds - >= 1347426047075 @ 3.01264
4.26/4.32 c GLOBAL bounds - >= 1347426047075 @ 3.01372
4.26/4.34 c GLOBAL bounds - >= 1347426047075 @ 3.02578
4.26/4.34 c GLOBAL bounds - >= 1347426047075 @ 3.02651
4.26/4.37 c GLOBAL bounds - >= 1347426047075 @ 3.03601
4.26/4.37 c GLOBAL bounds - >= 1347426047075 @ 3.03649
4.26/4.39 c GLOBAL bounds - >= 1347426047075 @ 3.04618
4.26/4.39 c GLOBAL bounds - >= 1347426047075 @ 3.04646
4.36/4.41 c GLOBAL bounds - >= 1347426047075 @ 3.05826
4.36/4.41 c GLOBAL bounds - >= 1347426047075 @ 3.05938
4.36/4.44 c GLOBAL bounds - >= 1347426047075 @ 3.07145
4.36/4.44 c GLOBAL bounds - >= 1347426047075 @ 3.07267
4.36/4.46 c GLOBAL bounds - >= 1347426047075 @ 3.08397
4.36/4.46 c GLOBAL bounds - >= 1347426047075 @ 3.08497
4.36/4.48 c GLOBAL bounds - >= 1347426047075 @ 3.09828
4.45/4.50 c GLOBAL bounds - >= 1347426047075 @ 3.10767
4.45/4.53 c GLOBAL bounds - >= 1347426047075 @ 3.12229
4.96/5.03 c #Conflicts: 2000 | #Constraints: 3450
4.96/5.03 c INPROCESSING
4.96/5.03 c GARBAGE COLLECT
4.96/5.03 c GLOBAL bounds - >= 1347573623275 @ 3.59459
4.96/5.05 c GLOBAL bounds - >= 1347573623275 @ 3.60783
4.96/5.07 c GLOBAL bounds - >= 1347573623275 @ 3.61733
4.96/5.07 c GLOBAL bounds - >= 1347573623275 @ 3.61781
4.96/5.09 c GLOBAL bounds - >= 1347573623275 @ 3.62465
4.96/5.09 c GLOBAL bounds - >= 1347573623275 @ 3.62581
5.06/5.12 c GLOBAL bounds - >= 1347573623275 @ 3.63764
5.06/5.12 c GLOBAL bounds - >= 1347573623275 @ 3.63792
5.06/5.14 c GLOBAL bounds - >= 1347573623275 @ 3.65076
5.06/5.14 c GLOBAL bounds - >= 1347573623275 @ 3.65173
5.06/5.16 c GLOBAL bounds - >= 1347573623275 @ 3.6641
5.06/5.16 c GLOBAL bounds - >= 1347573623275 @ 3.6647
5.06/5.19 c GLOBAL bounds - >= 1347573623275 @ 3.67511
5.06/5.19 c GLOBAL bounds - >= 1347573623275 @ 3.67627
5.15/5.21 c GLOBAL bounds - >= 1347573623275 @ 3.68211
5.15/5.21 c GLOBAL bounds - >= 1347573623275 @ 3.68337
5.15/5.23 c GLOBAL bounds - >= 1347573623275 @ 3.69724
5.15/5.23 c GLOBAL bounds - >= 1347573623275 @ 3.69854
5.15/5.26 c GLOBAL bounds - >= 1347573623275 @ 3.70752
5.15/5.26 c GLOBAL bounds - >= 1347573623275 @ 3.70759
5.15/5.28 c GLOBAL bounds - >= 1347573623275 @ 3.7201
5.25/5.30 c GLOBAL bounds - >= 1347573623275 @ 3.72791
10.24/10.35 c #Conflicts: 3000 | #Constraints: 3452
10.24/10.35 c #Conflicts: 4000 | #Constraints: 4452
10.24/10.35 c INPROCESSING
10.24/10.35 c GARBAGE COLLECT
10.24/10.35 c #Conflicts: 5000 | #Constraints: 3852
10.24/10.35 c #Conflicts: 6000 | #Constraints: 4852
10.24/10.35 c INPROCESSING
10.24/10.35 c GARBAGE COLLECT
10.24/10.35 c GLOBAL bounds - >= 1426951171850 @ 8.56636
10.24/10.37 c GLOBAL bounds - >= 1426951171850 @ 8.57991
10.24/10.37 c GLOBAL bounds - >= 1426951171850 @ 8.58093
10.24/10.39 c GLOBAL bounds - >= 1426951171850 @ 8.58946
10.24/10.39 c GLOBAL bounds - >= 1426951171850 @ 8.59017
10.34/10.42 c GLOBAL bounds - >= 1426951171850 @ 8.60032
10.34/10.42 c GLOBAL bounds - >= 1426951171850 @ 8.60186
10.34/10.44 c GLOBAL bounds - >= 1426951171850 @ 8.61113
10.34/10.44 c GLOBAL bounds - >= 1426951171850 @ 8.61191
10.34/10.47 c GLOBAL bounds - >= 1426951171850 @ 8.62368
10.34/10.47 c GLOBAL bounds - >= 1426951171850 @ 8.62481
10.34/10.49 c GLOBAL bounds - >= 1426951171850 @ 8.63438
10.34/10.49 c GLOBAL bounds - >= 1426951171850 @ 8.63479
10.44/10.52 c GLOBAL bounds - >= 1426951171850 @ 8.64321
10.44/10.52 c GLOBAL bounds - >= 1426951171850 @ 8.64496
10.44/10.54 c GLOBAL bounds - >= 1426951171850 @ 8.65938
10.44/10.55 c GLOBAL bounds - >= 1426951171850 @ 8.6604
10.44/10.57 c GLOBAL bounds - >= 1426951171850 @ 8.67348
10.44/10.57 c GLOBAL bounds - >= 1426951171850 @ 8.67468
10.44/10.59 c GLOBAL bounds - >= 1426951171850 @ 8.68711
10.44/10.60 c GLOBAL bounds - >= 1426951171850 @ 8.68765
10.54/10.62 c GLOBAL bounds - >= 1426951171850 @ 8.6986
10.54/10.64 c GLOBAL bounds - >= 1426951171850 @ 8.7066
10.54/10.66 c GLOBAL bounds - >= 1426951171850 @ 8.71459
10.54/10.68 c GLOBAL bounds - >= 1426951171850 @ 8.72436
10.64/10.70 c GLOBAL bounds - >= 1426951171850 @ 8.73481
10.64/10.74 c GLOBAL bounds - >= 1426951171850 @ 8.76549
10.64/10.76 c GLOBAL bounds - >= 1426951171850 @ 8.78126
10.64/10.79 c GLOBAL bounds - >= 1426951171850 @ 8.79784
16.32/16.43 c #Conflicts: 7000 | #Constraints: 3916
16.32/16.43 c #Conflicts: 8000 | #Constraints: 4916
16.32/16.43 c #Conflicts: 9000 | #Constraints: 5916
16.32/16.43 c INPROCESSING
16.32/16.43 c GARBAGE COLLECT
16.32/16.43 c #Conflicts: 10000 | #Constraints: 4609
16.32/16.43 c #Conflicts: 11000 | #Constraints: 5609
16.32/16.43 c #Conflicts: 12000 | #Constraints: 6609
16.32/16.43 c INPROCESSING
16.32/16.43 c GARBAGE COLLECT
16.32/16.43 c GLOBAL bounds - >= 1506236485300 @ 14.2467
16.32/16.44 c GLOBAL bounds - >= 1506236485300 @ 14.2594
16.32/16.44 c GLOBAL bounds - >= 1506236485300 @ 14.2602
16.32/16.48 c GLOBAL bounds - >= 1506236485300 @ 14.2795
16.32/16.48 c GLOBAL bounds - >= 1506236485300 @ 14.2805
16.42/16.50 c GLOBAL bounds - >= 1506236485300 @ 14.2899
16.42/16.51 c GLOBAL bounds - >= 1506236485300 @ 14.2918
16.42/16.53 c GLOBAL bounds - >= 1506236485300 @ 14.3
16.42/16.53 c GLOBAL bounds - >= 1506236485300 @ 14.3008
16.42/16.55 c GLOBAL bounds - >= 1506236485300 @ 14.3129
16.42/16.56 c GLOBAL bounds - >= 1506236485300 @ 14.314
16.42/16.58 c GLOBAL bounds - >= 1506236485300 @ 14.3239
16.42/16.58 c GLOBAL bounds - >= 1506236485300 @ 14.3248
16.52/16.60 c GLOBAL bounds - >= 1506236485300 @ 14.3301
16.52/16.61 c GLOBAL bounds - >= 1506236485300 @ 14.3319
16.52/16.63 c GLOBAL bounds - >= 1506236485300 @ 14.3449
16.52/16.63 c GLOBAL bounds - >= 1506236485300 @ 14.3457
16.52/16.65 c GLOBAL bounds - >= 1506236485300 @ 14.3546
16.52/16.66 c GLOBAL bounds - >= 1506236485300 @ 14.3549
16.52/16.68 c GLOBAL bounds - >= 1506236485300 @ 14.3676
16.52/16.68 c GLOBAL bounds - >= 1506236485300 @ 14.3679
16.62/16.70 c GLOBAL bounds - >= 1506236485300 @ 14.3786
16.62/16.73 c GLOBAL bounds - >= 1506236485300 @ 14.3976
57.40/57.66 c #Conflicts: 13000 | #Constraints: 5094
57.40/57.66 c #Conflicts: 14000 | #Constraints: 6094
57.40/57.66 c #Conflicts: 15000 | #Constraints: 7094
57.40/57.66 c INPROCESSING
57.40/57.66 c GARBAGE COLLECT
57.40/57.66 c #Conflicts: 16000 | #Constraints: 5314
57.40/57.66 c #Conflicts: 17000 | #Constraints: 6314
57.40/57.66 c #Conflicts: 18000 | #Constraints: 7314
57.40/57.66 c INPROCESSING
57.40/57.66 c GARBAGE COLLECT
57.40/57.66 c #Conflicts: 19000 | #Constraints: 5329
57.40/57.66 c #Conflicts: 20000 | #Constraints: 6329
57.40/57.66 c #Conflicts: 21000 | #Constraints: 7329
57.40/57.66 c INPROCESSING
57.40/57.66 c GARBAGE COLLECT
57.40/57.66 c #Conflicts: 22000 | #Constraints: 5130
57.40/57.66 c #Conflicts: 23000 | #Constraints: 6130
57.40/57.66 c #Conflicts: 24000 | #Constraints: 7130
57.40/57.66 c #Conflicts: 25000 | #Constraints: 8130
57.40/57.66 c INPROCESSING
57.40/57.66 c GARBAGE COLLECT
57.40/57.66 c #Conflicts: 26000 | #Constraints: 5733
57.40/57.66 c #Conflicts: 27000 | #Constraints: 6733
57.40/57.66 c #Conflicts: 28000 | #Constraints: 7733
57.40/57.66 c #Conflicts: 29000 | #Constraints: 8733
57.40/57.66 c INPROCESSING
57.40/57.66 c GARBAGE COLLECT
57.40/57.66 c #Conflicts: 30000 | #Constraints: 6137
57.40/57.66 c #Conflicts: 31000 | #Constraints: 7137
57.40/57.66 c #Conflicts: 32000 | #Constraints: 8137
57.40/57.66 c #Conflicts: 33000 | #Constraints: 9137
57.40/57.66 c INPROCESSING
57.40/57.66 c GARBAGE COLLECT
57.40/57.66 c #Conflicts: 34000 | #Constraints: 6340
57.40/57.66 c #Conflicts: 35000 | #Constraints: 7340
57.40/57.66 c #Conflicts: 36000 | #Constraints: 8340
57.40/57.66 c #Conflicts: 37000 | #Constraints: 9340
57.40/57.66 c INPROCESSING
57.40/57.66 c GARBAGE COLLECT
57.40/57.66 c #Conflicts: 38000 | #Constraints: 6341
57.40/57.66 c #Conflicts: 39000 | #Constraints: 7341
57.40/57.66 c #Conflicts: 40000 | #Constraints: 8341
57.40/57.66 c #Conflicts: 41000 | #Constraints: 9341
57.40/57.66 c INPROCESSING
57.40/57.66 c GARBAGE COLLECT
57.40/57.66 c #Conflicts: 42000 | #Constraints: 6137
57.40/57.66 c #Conflicts: 43000 | #Constraints: 7137
57.40/57.66 c #Conflicts: 44000 | #Constraints: 8137
57.40/57.66 c #Conflicts: 45000 | #Constraints: 9137
57.40/57.66 c GLOBAL bounds - >= 1664954688400 @ 54.035
57.40/57.68 c GLOBAL bounds - >= 1664954688400 @ 54.0585
57.40/57.69 c GLOBAL bounds - >= 1664954688400 @ 54.0594
57.50/57.71 c GLOBAL bounds - >= 1664954688400 @ 54.0729
57.50/57.71 c GLOBAL bounds - >= 1664954688400 @ 54.0743
57.50/57.74 c GLOBAL bounds - >= 1664954688400 @ 54.0834
57.50/57.74 c GLOBAL bounds - >= 1664954688400 @ 54.0845
57.50/57.76 c GLOBAL bounds - >= 1664954688400 @ 54.0975
57.50/57.77 c GLOBAL bounds - >= 1664954688400 @ 54.0983
57.50/57.79 c GLOBAL bounds - >= 1664954688400 @ 54.1088
57.50/57.79 c GLOBAL bounds - >= 1664954688400 @ 54.1108
57.60/57.82 c GLOBAL bounds - >= 1664954688400 @ 54.1271
57.60/57.82 c GLOBAL bounds - >= 1664954688400 @ 54.1282
57.60/57.84 c GLOBAL bounds - >= 1664954688400 @ 54.1398
57.60/57.84 c GLOBAL bounds - >= 1664954688400 @ 54.1412
57.60/57.87 c GLOBAL bounds - >= 1664954688400 @ 54.1516
57.60/57.87 c GLOBAL bounds - >= 1664954688400 @ 54.1526
57.70/57.90 c GLOBAL bounds - >= 1664954688400 @ 54.1655
57.70/57.90 c GLOBAL bounds - >= 1664954688400 @ 54.1661
57.70/57.92 c GLOBAL bounds - >= 1664954688400 @ 54.1752
57.70/57.93 c GLOBAL bounds - >= 1664954688400 @ 54.1773
57.70/57.95 c GLOBAL bounds - >= 1664954688400 @ 54.1898
110.75/111.17 c #Conflicts: 46000 | #Constraints: 10177
110.75/111.17 c INPROCESSING
110.75/111.17 c GARBAGE COLLECT
110.75/111.17 c #Conflicts: 47000 | #Constraints: 6761
110.75/111.17 c #Conflicts: 48000 | #Constraints: 7761
110.75/111.17 c #Conflicts: 49000 | #Constraints: 8761
110.75/111.17 c #Conflicts: 50000 | #Constraints: 9761
110.75/111.17 c #Conflicts: 51000 | #Constraints: 10761
110.75/111.17 c INPROCESSING
110.75/111.17 c GARBAGE COLLECT
110.75/111.17 c #Conflicts: 52000 | #Constraints: 7161
110.75/111.17 c #Conflicts: 53000 | #Constraints: 8161
110.75/111.17 c #Conflicts: 54000 | #Constraints: 9161
110.75/111.17 c #Conflicts: 55000 | #Constraints: 10161
110.75/111.17 c #Conflicts: 56000 | #Constraints: 11161
110.75/111.17 c INPROCESSING
110.75/111.17 c GARBAGE COLLECT
110.75/111.17 c #Conflicts: 57000 | #Constraints: 7362
110.75/111.17 c #Conflicts: 58000 | #Constraints: 8362
110.75/111.17 c #Conflicts: 59000 | #Constraints: 9362
110.75/111.17 c #Conflicts: 60000 | #Constraints: 10362
110.75/111.17 c #Conflicts: 61000 | #Constraints: 11362
110.75/111.17 c INPROCESSING
110.75/111.17 c GARBAGE COLLECT
110.75/111.17 c #Conflicts: 62000 | #Constraints: 7372
110.75/111.17 c #Conflicts: 63000 | #Constraints: 8372
110.75/111.17 c #Conflicts: 64000 | #Constraints: 9372
110.75/111.17 c #Conflicts: 65000 | #Constraints: 10372
110.75/111.17 c #Conflicts: 66000 | #Constraints: 11372
110.75/111.17 c INPROCESSING
110.75/111.17 c GARBAGE COLLECT
110.75/111.17 c #Conflicts: 67000 | #Constraints: 7170
110.75/111.17 c #Conflicts: 68000 | #Constraints: 8170
110.75/111.17 c #Conflicts: 69000 | #Constraints: 9170
110.75/111.17 c #Conflicts: 70000 | #Constraints: 10170
110.75/111.17 c #Conflicts: 71000 | #Constraints: 11170
110.75/111.17 c #Conflicts: 72000 | #Constraints: 12170
110.75/111.17 c INPROCESSING
110.75/111.17 c GARBAGE COLLECT
110.75/111.17 c #Conflicts: 73000 | #Constraints: 7775
110.75/111.17 c #Conflicts: 74000 | #Constraints: 8775
110.75/111.17 c #Conflicts: 75000 | #Constraints: 9775
110.75/111.17 c #Conflicts: 76000 | #Constraints: 10775
110.75/111.17 c #Conflicts: 77000 | #Constraints: 11775
110.75/111.17 c #Conflicts: 78000 | #Constraints: 12775
110.75/111.17 c INPROCESSING
110.75/111.17 c GARBAGE COLLECT
110.75/111.17 c #Conflicts: 79000 | #Constraints: 8171
110.75/111.17 c #Conflicts: 80000 | #Constraints: 9171
110.75/111.17 c #Conflicts: 81000 | #Constraints: 10171
110.75/111.17 c #Conflicts: 82000 | #Constraints: 11171
110.75/111.17 c #Conflicts: 83000 | #Constraints: 12171
110.75/111.17 c #Conflicts: 84000 | #Constraints: 13171
110.75/111.17 c INPROCESSING
110.75/111.17 c GARBAGE COLLECT
110.75/111.17 c #Conflicts: 85000 | #Constraints: 8376
110.75/111.17 c #Conflicts: 86000 | #Constraints: 9376
110.75/111.17 c #Conflicts: 87000 | #Constraints: 10376
110.75/111.17 c #Conflicts: 88000 | #Constraints: 11376
110.75/111.17 c #Conflicts: 89000 | #Constraints: 12376
110.75/111.17 c #Conflicts: 90000 | #Constraints: 13376
110.75/111.17 c INPROCESSING
110.75/111.17 c GARBAGE COLLECT
110.75/111.17 c #Conflicts: 91000 | #Constraints: 8377
110.75/111.17 c #Conflicts: 92000 | #Constraints: 9377
110.75/111.17 c #Conflicts: 93000 | #Constraints: 10377
110.75/111.17 c GLOBAL bounds - >= 1665157605675 @ 105.867
110.75/111.18 c GLOBAL bounds - >= 1665157605675 @ 105.88
110.85/111.21 c GLOBAL bounds - >= 1665157605675 @ 105.895
110.85/111.21 c GLOBAL bounds - >= 1665157605675 @ 105.896
110.85/111.24 c GLOBAL bounds - >= 1665157605675 @ 105.906
110.85/111.24 c GLOBAL bounds - >= 1665157605675 @ 105.908
110.85/111.26 c GLOBAL bounds - >= 1665157605675 @ 105.92
110.85/111.26 c GLOBAL bounds - >= 1665157605675 @ 105.921
110.85/111.29 c GLOBAL bounds - >= 1665157605675 @ 105.932
110.85/111.29 c GLOBAL bounds - >= 1665157605675 @ 105.934
110.95/111.32 c GLOBAL bounds - >= 1665157605675 @ 105.948
110.95/111.32 c GLOBAL bounds - >= 1665157605675 @ 105.95
110.95/111.34 c GLOBAL bounds - >= 1665157605675 @ 105.965
110.95/111.35 c GLOBAL bounds - >= 1665157605675 @ 105.967
110.95/111.37 c GLOBAL bounds - >= 1665157605675 @ 105.981
110.95/111.37 c GLOBAL bounds - >= 1665157605675 @ 105.983
111.05/111.40 c GLOBAL bounds - >= 1665157605675 @ 106.001
111.05/111.40 c GLOBAL bounds - >= 1665157605675 @ 106.004
111.05/111.42 c GLOBAL bounds - >= 1665157605675 @ 106.014
111.05/111.43 c GLOBAL bounds - >= 1665157605675 @ 106.016
111.05/111.45 c GLOBAL bounds - >= 1665157605675 @ 106.03
180.67/181.23 c #Conflicts: 94000 | #Constraints: 11416
180.67/181.23 c #Conflicts: 95000 | #Constraints: 12416
180.67/181.23 c #Conflicts: 96000 | #Constraints: 13416
180.67/181.23 c INPROCESSING
180.67/181.23 c GARBAGE COLLECT
180.67/181.23 c #Conflicts: 97000 | #Constraints: 8205
180.67/181.23 c #Conflicts: 98000 | #Constraints: 9205
180.67/181.23 c #Conflicts: 99000 | #Constraints: 10205
180.67/181.23 c #Conflicts: 100000 | #Constraints: 11205
180.67/181.23 c #Conflicts: 101000 | #Constraints: 12205
180.67/181.23 c #Conflicts: 102000 | #Constraints: 13205
180.67/181.23 c #Conflicts: 103000 | #Constraints: 14205
180.67/181.23 c INPROCESSING
180.67/181.23 c GARBAGE COLLECT
180.67/181.23 c #Conflicts: 104000 | #Constraints: 8802
180.67/181.23 c #Conflicts: 105000 | #Constraints: 9802
180.67/181.23 c #Conflicts: 106000 | #Constraints: 10802
180.67/181.23 c #Conflicts: 107000 | #Constraints: 11802
180.67/181.23 c #Conflicts: 108000 | #Constraints: 12802
180.67/181.23 c #Conflicts: 109000 | #Constraints: 13802
180.67/181.23 c #Conflicts: 110000 | #Constraints: 14802
180.67/181.23 c INPROCESSING
180.67/181.23 c GARBAGE COLLECT
180.67/181.23 c #Conflicts: 111000 | #Constraints: 9199
180.67/181.23 c #Conflicts: 112000 | #Constraints: 10199
180.67/181.23 c #Conflicts: 113000 | #Constraints: 11199
180.67/181.23 c #Conflicts: 114000 | #Constraints: 12199
180.67/181.23 c #Conflicts: 115000 | #Constraints: 13199
180.67/181.23 c #Conflicts: 116000 | #Constraints: 14199
180.67/181.23 c #Conflicts: 117000 | #Constraints: 15199
180.67/181.23 c INPROCESSING
180.67/181.23 c GARBAGE COLLECT
180.67/181.23 c #Conflicts: 118000 | #Constraints: 9395
180.67/181.23 c #Conflicts: 119000 | #Constraints: 10395
180.67/181.23 c #Conflicts: 120000 | #Constraints: 11395
180.67/181.23 c #Conflicts: 121000 | #Constraints: 12395
180.67/181.23 c #Conflicts: 122000 | #Constraints: 13395
180.67/181.23 c #Conflicts: 123000 | #Constraints: 14395
180.67/181.23 c #Conflicts: 124000 | #Constraints: 15395
180.67/181.23 c INPROCESSING
180.67/181.23 c GARBAGE COLLECT
180.67/181.23 c #Conflicts: 125000 | #Constraints: 9391
180.67/181.23 c #Conflicts: 126000 | #Constraints: 10391
180.67/181.23 c #Conflicts: 127000 | #Constraints: 11391
180.67/181.23 c #Conflicts: 128000 | #Constraints: 12391
180.67/181.23 c #Conflicts: 129000 | #Constraints: 13391
180.67/181.23 c #Conflicts: 130000 | #Constraints: 14391
180.67/181.23 c #Conflicts: 131000 | #Constraints: 15391
180.67/181.23 c INPROCESSING
180.67/181.23 c GARBAGE COLLECT
180.67/181.23 c #Conflicts: 132000 | #Constraints: 9201
180.67/181.23 c #Conflicts: 133000 | #Constraints: 10201
180.67/181.23 c #Conflicts: 134000 | #Constraints: 11201
180.67/181.23 c #Conflicts: 135000 | #Constraints: 12201
180.67/181.23 c #Conflicts: 136000 | #Constraints: 13201
180.67/181.23 c #Conflicts: 137000 | #Constraints: 14201
180.67/181.23 c #Conflicts: 138000 | #Constraints: 15201
180.67/181.23 c #Conflicts: 139000 | #Constraints: 16201
180.67/181.23 c INPROCESSING
180.67/181.23 c GARBAGE COLLECT
180.67/181.23 c #Conflicts: 140000 | #Constraints: 9797
180.67/181.23 c #Conflicts: 141000 | #Constraints: 10797
180.67/181.23 c #Conflicts: 142000 | #Constraints: 11797
180.67/181.23 c #Conflicts: 143000 | #Constraints: 12797
180.67/181.23 c #Conflicts: 144000 | #Constraints: 13797
180.67/181.23 c #Conflicts: 145000 | #Constraints: 14797
180.67/181.23 c #Conflicts: 146000 | #Constraints: 15797
180.67/181.23 c #Conflicts: 147000 | #Constraints: 16797
180.67/181.23 c INPROCESSING
180.67/181.23 c GARBAGE COLLECT
180.67/181.23 c #Conflicts: 148000 | #Constraints: 10198
180.67/181.23 c #Conflicts: 149000 | #Constraints: 11198
180.67/181.23 c #Conflicts: 150000 | #Constraints: 12198
180.67/181.23 c #Conflicts: 151000 | #Constraints: 13198
180.67/181.23 c #Conflicts: 152000 | #Constraints: 14198
180.67/181.23 c GLOBAL bounds - >= 1665342075925 @ 174.185
180.67/181.24 c GLOBAL bounds - >= 1665342075925 @ 174.201
180.67/181.27 c GLOBAL bounds - >= 1665342075925 @ 174.217
180.67/181.27 c GLOBAL bounds - >= 1665342075925 @ 174.218
180.76/181.30 c GLOBAL bounds - >= 1665342075925 @ 174.236
180.76/181.30 c GLOBAL bounds - >= 1665342075925 @ 174.237
180.76/181.32 c GLOBAL bounds - >= 1665342075925 @ 174.25
180.76/181.33 c GLOBAL bounds - >= 1665342075925 @ 174.252
180.76/181.35 c GLOBAL bounds - >= 1665342075925 @ 174.266
180.76/181.35 c GLOBAL bounds - >= 1665342075925 @ 174.266
180.76/181.38 c GLOBAL bounds - >= 1665342075925 @ 174.28
180.76/181.38 c GLOBAL bounds - >= 1665342075925 @ 174.281
180.86/181.41 c GLOBAL bounds - >= 1665342075925 @ 174.295
180.86/181.41 c GLOBAL bounds - >= 1665342075925 @ 174.296
180.86/181.44 c GLOBAL bounds - >= 1665342075925 @ 174.307
180.86/181.44 c GLOBAL bounds - >= 1665342075925 @ 174.308
180.86/181.46 c GLOBAL bounds - >= 1665342075925 @ 174.322
180.86/181.47 c GLOBAL bounds - >= 1665342075925 @ 174.323
180.86/181.49 c GLOBAL bounds - >= 1665342075925 @ 174.332
180.86/181.49 c GLOBAL bounds - >= 1665342075925 @ 174.334
180.96/181.52 c GLOBAL bounds - >= 1665342075925 @ 174.347
256.66/257.43 c #Conflicts: 153000 | #Constraints: 15237
256.66/257.43 c #Conflicts: 154000 | #Constraints: 16237
256.66/257.43 c #Conflicts: 155000 | #Constraints: 17237
256.66/257.43 c INPROCESSING
256.66/257.43 c GARBAGE COLLECT
256.66/257.43 c #Conflicts: 156000 | #Constraints: 10428
256.66/257.43 c #Conflicts: 157000 | #Constraints: 11428
256.66/257.43 c #Conflicts: 158000 | #Constraints: 12428
256.66/257.43 c #Conflicts: 159000 | #Constraints: 13428
256.66/257.43 c #Conflicts: 160000 | #Constraints: 14428
256.66/257.43 c #Conflicts: 161000 | #Constraints: 15428
256.66/257.43 c #Conflicts: 162000 | #Constraints: 16428
256.66/257.43 c #Conflicts: 163000 | #Constraints: 17428
256.66/257.43 c INPROCESSING
256.66/257.43 c GARBAGE COLLECT
256.66/257.43 c #Conflicts: 164000 | #Constraints: 10422
256.66/257.43 c #Conflicts: 165000 | #Constraints: 11422
256.66/257.43 c #Conflicts: 166000 | #Constraints: 12422
256.66/257.43 c #Conflicts: 167000 | #Constraints: 13422
256.66/257.43 c #Conflicts: 168000 | #Constraints: 14422
256.66/257.43 c #Conflicts: 169000 | #Constraints: 15422
256.66/257.43 c #Conflicts: 170000 | #Constraints: 16422
256.66/257.43 c #Conflicts: 171000 | #Constraints: 17422
256.66/257.43 c INPROCESSING
256.66/257.43 c GARBAGE COLLECT
256.66/257.43 c #Conflicts: 172000 | #Constraints: 10226
256.66/257.43 c #Conflicts: 173000 | #Constraints: 11226
256.66/257.43 c #Conflicts: 174000 | #Constraints: 12226
256.66/257.43 c #Conflicts: 175000 | #Constraints: 13226
256.66/257.43 c #Conflicts: 176000 | #Constraints: 14226
256.66/257.43 c #Conflicts: 177000 | #Constraints: 15226
256.66/257.43 c #Conflicts: 178000 | #Constraints: 16226
256.66/257.43 c #Conflicts: 179000 | #Constraints: 17226
256.66/257.43 c #Conflicts: 180000 | #Constraints: 18226
256.66/257.43 c INPROCESSING
256.66/257.43 c GARBAGE COLLECT
256.66/257.43 c #Conflicts: 181000 | #Constraints: 10825
256.66/257.43 c #Conflicts: 182000 | #Constraints: 11825
256.66/257.43 c #Conflicts: 183000 | #Constraints: 12825
256.66/257.43 c #Conflicts: 184000 | #Constraints: 13825
256.66/257.43 c #Conflicts: 185000 | #Constraints: 14825
256.66/257.43 c #Conflicts: 186000 | #Constraints: 15825
256.66/257.43 c #Conflicts: 187000 | #Constraints: 16825
256.66/257.43 c #Conflicts: 188000 | #Constraints: 17825
256.66/257.43 c #Conflicts: 189000 | #Constraints: 18825
256.66/257.43 c INPROCESSING
256.66/257.43 c GARBAGE COLLECT
256.66/257.43 c #Conflicts: 190000 | #Constraints: 11223
256.66/257.43 c #Conflicts: 191000 | #Constraints: 12223
256.66/257.43 c #Conflicts: 192000 | #Constraints: 13223
256.66/257.43 c #Conflicts: 193000 | #Constraints: 14223
256.66/257.43 c #Conflicts: 194000 | #Constraints: 15223
256.66/257.43 c #Conflicts: 195000 | #Constraints: 16223
256.66/257.43 c #Conflicts: 196000 | #Constraints: 17223
256.66/257.43 c #Conflicts: 197000 | #Constraints: 18223
256.66/257.43 c #Conflicts: 198000 | #Constraints: 19223
256.66/257.43 c INPROCESSING
256.66/257.43 c GARBAGE COLLECT
256.66/257.43 c #Conflicts: 199000 | #Constraints: 11442
256.66/257.43 c #Conflicts: 200000 | #Constraints: 12442
256.66/257.43 c #Conflicts: 201000 | #Constraints: 13442
256.66/257.43 c #Conflicts: 202000 | #Constraints: 14442
256.66/257.43 c #Conflicts: 203000 | #Constraints: 15442
256.66/257.43 c #Conflicts: 204000 | #Constraints: 16442
256.66/257.43 c #Conflicts: 205000 | #Constraints: 17442
256.66/257.43 c #Conflicts: 206000 | #Constraints: 18442
256.66/257.43 c #Conflicts: 207000 | #Constraints: 19442
256.66/257.43 c INPROCESSING
256.66/257.43 c GARBAGE COLLECT
256.66/257.43 c #Conflicts: 208000 | #Constraints: 11434
256.66/257.43 c #Conflicts: 209000 | #Constraints: 12434
256.66/257.43 c #Conflicts: 210000 | #Constraints: 13434
256.66/257.43 c #Conflicts: 211000 | #Constraints: 14434
256.66/257.43 c #Conflicts: 212000 | #Constraints: 15434
256.66/257.43 c GLOBAL bounds - >= 1665526546175 @ 248.718
256.66/257.45 c GLOBAL bounds - >= 1665526546175 @ 248.733
256.66/257.47 c GLOBAL bounds - >= 1665526546175 @ 248.746
256.66/257.48 c GLOBAL bounds - >= 1665526546175 @ 248.748
256.76/257.50 c GLOBAL bounds - >= 1665526546175 @ 248.764
256.76/257.50 c GLOBAL bounds - >= 1665526546175 @ 248.765
256.76/257.53 c GLOBAL bounds - >= 1665526546175 @ 248.779
256.76/257.53 c GLOBAL bounds - >= 1665526546175 @ 248.782
256.76/257.56 c GLOBAL bounds - >= 1665526546175 @ 248.794
256.76/257.56 c GLOBAL bounds - >= 1665526546175 @ 248.795
256.76/257.59 c GLOBAL bounds - >= 1665526546175 @ 248.808
256.76/257.59 c GLOBAL bounds - >= 1665526546175 @ 248.811
256.85/257.62 c GLOBAL bounds - >= 1665526546175 @ 248.825
256.85/257.62 c GLOBAL bounds - >= 1665526546175 @ 248.826
256.85/257.64 c GLOBAL bounds - >= 1665526546175 @ 248.842
256.85/257.65 c GLOBAL bounds - >= 1665526546175 @ 248.845
256.85/257.67 c GLOBAL bounds - >= 1665526546175 @ 248.858
256.85/257.68 c GLOBAL bounds - >= 1665526546175 @ 248.86
256.96/257.70 c GLOBAL bounds - >= 1665526546175 @ 248.874
256.96/257.70 c GLOBAL bounds - >= 1665526546175 @ 248.875
256.96/257.73 c GLOBAL bounds - >= 1665526546175 @ 248.887
298.45/299.32 c #Conflicts: 213000 | #Constraints: 16473
298.45/299.32 c #Conflicts: 214000 | #Constraints: 17473
298.45/299.32 c #Conflicts: 215000 | #Constraints: 18473
298.45/299.32 c #Conflicts: 216000 | #Constraints: 19473
298.45/299.32 c INPROCESSING
298.45/299.32 c GARBAGE COLLECT
298.45/299.32 c #Conflicts: 217000 | #Constraints: 11268
298.45/299.32 c #Conflicts: 218000 | #Constraints: 12268
298.45/299.32 c #Conflicts: 219000 | #Constraints: 13268
298.45/299.32 c #Conflicts: 220000 | #Constraints: 14268
298.45/299.32 c #Conflicts: 221000 | #Constraints: 15268
298.45/299.32 c #Conflicts: 222000 | #Constraints: 16268
298.45/299.32 c #Conflicts: 223000 | #Constraints: 17268
298.45/299.32 c #Conflicts: 224000 | #Constraints: 18268
298.45/299.32 c #Conflicts: 225000 | #Constraints: 19268
298.45/299.32 c #Conflicts: 226000 | #Constraints: 20268
298.45/299.32 c INPROCESSING
298.45/299.32 c GARBAGE COLLECT
298.45/299.32 c #Conflicts: 227000 | #Constraints: 11881
298.45/299.32 c #Conflicts: 228000 | #Constraints: 12881
298.45/299.32 c #Conflicts: 229000 | #Constraints: 13881
298.45/299.32 c #Conflicts: 230000 | #Constraints: 14881
298.45/299.32 c #Conflicts: 231000 | #Constraints: 15881
298.45/299.32 c #Conflicts: 232000 | #Constraints: 16881
298.45/299.32 c #Conflicts: 233000 | #Constraints: 17881
298.45/299.32 c #Conflicts: 234000 | #Constraints: 18881
298.45/299.32 c #Conflicts: 235000 | #Constraints: 19881
298.45/299.32 c #Conflicts: 236000 | #Constraints: 20881
298.45/299.32 c INPROCESSING
298.45/299.32 c GARBAGE COLLECT
298.45/299.32 c #Conflicts: 237000 | #Constraints: 12270
298.45/299.32 c #Conflicts: 238000 | #Constraints: 13270
298.45/299.32 c #Conflicts: 239000 | #Constraints: 14270
298.45/299.32 c #Conflicts: 240000 | #Constraints: 15270
298.45/299.32 c #Conflicts: 241000 | #Constraints: 16270
298.45/299.32 c GLOBAL bounds - >= 1665711016425 @ 289.617
298.45/299.34 c GLOBAL bounds - >= 1665711016425 @ 289.63
298.45/299.36 c GLOBAL bounds - >= 1665711016425 @ 289.641
298.45/299.37 c GLOBAL bounds - >= 1665711016425 @ 289.644
298.45/299.39 c GLOBAL bounds - >= 1665711016425 @ 289.656
298.45/299.39 c GLOBAL bounds - >= 1665711016425 @ 289.657
298.55/299.42 c GLOBAL bounds - >= 1665711016425 @ 289.673
298.55/299.42 c GLOBAL bounds - >= 1665711016425 @ 289.673
298.55/299.45 c GLOBAL bounds - >= 1665711016425 @ 289.687
298.55/299.45 c GLOBAL bounds - >= 1665711016425 @ 289.689
298.55/299.48 c GLOBAL bounds - >= 1665711016425 @ 289.701
298.55/299.48 c GLOBAL bounds - >= 1665711016425 @ 289.704
298.65/299.50 c GLOBAL bounds - >= 1665711016425 @ 289.717
298.65/299.51 c GLOBAL bounds - >= 1665711016425 @ 289.719
298.65/299.53 c GLOBAL bounds - >= 1665711016425 @ 289.729
298.65/299.53 c GLOBAL bounds - >= 1665711016425 @ 289.731
298.65/299.56 c GLOBAL bounds - >= 1665711016425 @ 289.743
298.65/299.56 c GLOBAL bounds - >= 1665711016425 @ 289.743
298.65/299.59 c GLOBAL bounds - >= 1665711016425 @ 289.754
298.65/299.59 c GLOBAL bounds - >= 1665711016425 @ 289.754
298.75/299.61 c GLOBAL bounds - >= 1665711016425 @ 289.767
400.97/402.10 c #Conflicts: 242000 | #Constraints: 17309
400.97/402.10 c #Conflicts: 243000 | #Constraints: 18309
400.97/402.10 c #Conflicts: 244000 | #Constraints: 19309
400.97/402.10 c #Conflicts: 245000 | #Constraints: 20309
400.97/402.10 c #Conflicts: 246000 | #Constraints: 21309
400.97/402.10 c INPROCESSING
400.97/402.10 c GARBAGE COLLECT
400.97/402.10 c #Conflicts: 247000 | #Constraints: 12493
400.97/402.10 c #Conflicts: 248000 | #Constraints: 13493
400.97/402.10 c #Conflicts: 249000 | #Constraints: 14493
400.97/402.10 c #Conflicts: 250000 | #Constraints: 15493
400.97/402.10 c #Conflicts: 251000 | #Constraints: 16493
400.97/402.10 c #Conflicts: 252000 | #Constraints: 17493
400.97/402.10 c #Conflicts: 253000 | #Constraints: 18493
400.97/402.10 c #Conflicts: 254000 | #Constraints: 19493
400.97/402.10 c #Conflicts: 255000 | #Constraints: 20493
400.97/402.10 c #Conflicts: 256000 | #Constraints: 21493
400.97/402.10 c INPROCESSING
400.97/402.10 c GARBAGE COLLECT
400.97/402.10 c #Conflicts: 257000 | #Constraints: 12494
400.97/402.10 c #Conflicts: 258000 | #Constraints: 13494
400.97/402.10 c #Conflicts: 259000 | #Constraints: 14494
400.97/402.10 c #Conflicts: 260000 | #Constraints: 15494
400.97/402.10 c #Conflicts: 261000 | #Constraints: 16494
400.97/402.10 c #Conflicts: 262000 | #Constraints: 17494
400.97/402.10 c #Conflicts: 263000 | #Constraints: 18494
400.97/402.10 c #Conflicts: 264000 | #Constraints: 19494
400.97/402.10 c #Conflicts: 265000 | #Constraints: 20494
400.97/402.10 c #Conflicts: 266000 | #Constraints: 21494
400.97/402.10 c INPROCESSING
400.97/402.10 c GARBAGE COLLECT
400.97/402.10 c #Conflicts: 267000 | #Constraints: 12290
400.97/402.10 c #Conflicts: 268000 | #Constraints: 13290
400.97/402.10 c #Conflicts: 269000 | #Constraints: 14290
400.97/402.10 c #Conflicts: 270000 | #Constraints: 15290
400.97/402.10 c #Conflicts: 271000 | #Constraints: 16290
400.97/402.10 c #Conflicts: 272000 | #Constraints: 17290
400.97/402.10 c #Conflicts: 273000 | #Constraints: 18290
400.97/402.10 c #Conflicts: 274000 | #Constraints: 19290
400.97/402.10 c #Conflicts: 275000 | #Constraints: 20290
400.97/402.10 c #Conflicts: 276000 | #Constraints: 21290
400.97/402.10 c #Conflicts: 277000 | #Constraints: 22290
400.97/402.10 c INPROCESSING
400.97/402.10 c GARBAGE COLLECT
400.97/402.10 c #Conflicts: 278000 | #Constraints: 12890
400.97/402.10 c #Conflicts: 279000 | #Constraints: 13890
400.97/402.10 c #Conflicts: 280000 | #Constraints: 14890
400.97/402.10 c #Conflicts: 281000 | #Constraints: 15890
400.97/402.10 c #Conflicts: 282000 | #Constraints: 16890
400.97/402.10 c #Conflicts: 283000 | #Constraints: 17890
400.97/402.10 c #Conflicts: 284000 | #Constraints: 18890
400.97/402.10 c #Conflicts: 285000 | #Constraints: 19890
400.97/402.10 c #Conflicts: 286000 | #Constraints: 20890
400.97/402.10 c #Conflicts: 287000 | #Constraints: 21890
400.97/402.10 c #Conflicts: 288000 | #Constraints: 22890
400.97/402.10 c INPROCESSING
400.97/402.10 c GARBAGE COLLECT
400.97/402.10 c #Conflicts: 289000 | #Constraints: 13292
400.97/402.10 c #Conflicts: 290000 | #Constraints: 14292
400.97/402.10 c #Conflicts: 291000 | #Constraints: 15292
400.97/402.10 c #Conflicts: 292000 | #Constraints: 16292
400.97/402.10 c #Conflicts: 293000 | #Constraints: 17292
400.97/402.10 c #Conflicts: 294000 | #Constraints: 18292
400.97/402.10 c #Conflicts: 295000 | #Constraints: 19292
400.97/402.10 c #Conflicts: 296000 | #Constraints: 20292
400.97/402.10 c #Conflicts: 297000 | #Constraints: 21292
400.97/402.10 c #Conflicts: 298000 | #Constraints: 22292
400.97/402.10 c #Conflicts: 299000 | #Constraints: 23292
400.97/402.10 c INPROCESSING
400.97/402.10 c GARBAGE COLLECT
400.97/402.10 c #Conflicts: 300000 | #Constraints: 13491
400.97/402.10 c #Conflicts: 301000 | #Constraints: 14491
400.97/402.10 c #Conflicts: 302000 | #Constraints: 15491
400.97/402.10 c #Conflicts: 303000 | #Constraints: 16491
400.97/402.10 c #Conflicts: 304000 | #Constraints: 17491
400.97/402.10 c #Conflicts: 305000 | #Constraints: 18491
400.97/402.10 c #Conflicts: 306000 | #Constraints: 19491
400.97/402.10 c #Conflicts: 307000 | #Constraints: 20491
400.97/402.10 c #Conflicts: 308000 | #Constraints: 21491
400.97/402.10 c #Conflicts: 309000 | #Constraints: 22491
400.97/402.10 c #Conflicts: 310000 | #Constraints: 23491
400.97/402.10 c INPROCESSING
400.97/402.10 c GARBAGE COLLECT
400.97/402.10 c #Conflicts: 311000 | #Constraints: 13489
400.97/402.10 c #Conflicts: 312000 | #Constraints: 14489
400.97/402.10 c #Conflicts: 313000 | #Constraints: 15489
400.97/402.10 c #Conflicts: 314000 | #Constraints: 16489
400.97/402.10 c #Conflicts: 315000 | #Constraints: 17489
400.97/402.10 c #Conflicts: 316000 | #Constraints: 18489
426.10/427.30 c #Conflicts: 317000 | #Constraints: 19489
426.10/427.30 c #Conflicts: 318000 | #Constraints: 20489
426.10/427.30 c #Conflicts: 319000 | #Constraints: 21489
426.10/427.30 c #Conflicts: 320000 | #Constraints: 22489
426.10/427.30 c #Conflicts: 321000 | #Constraints: 23489
426.10/427.30 c INPROCESSING
426.10/427.30 c GARBAGE COLLECT
426.10/427.30 c #Conflicts: 322000 | #Constraints: 13290
426.10/427.30 c #Conflicts: 323000 | #Constraints: 14290
426.10/427.30 c #Conflicts: 324000 | #Constraints: 15290
426.10/427.30 c #Conflicts: 325000 | #Constraints: 16290
426.10/427.30 c #Conflicts: 326000 | #Constraints: 17290
426.10/427.30 c #Conflicts: 327000 | #Constraints: 18290
426.10/427.30 c #Conflicts: 328000 | #Constraints: 19290
426.10/427.30 c #Conflicts: 329000 | #Constraints: 20290
426.10/427.30 c #Conflicts: 330000 | #Constraints: 21290
426.10/427.30 c GLOBAL bounds - >= 1665895486675 @ 414.784
426.10/427.32 c GLOBAL bounds - >= 1665895486675 @ 414.802
426.10/427.35 c GLOBAL bounds - >= 1665895486675 @ 414.821
426.10/427.35 c GLOBAL bounds - >= 1665895486675 @ 414.823
426.10/427.38 c GLOBAL bounds - >= 1665895486675 @ 414.842
426.10/427.38 c GLOBAL bounds - >= 1665895486675 @ 414.843
426.19/427.41 c GLOBAL bounds - >= 1665895486675 @ 414.857
426.19/427.41 c GLOBAL bounds - >= 1665895486675 @ 414.859
426.19/427.44 c GLOBAL bounds - >= 1665895486675 @ 414.869
426.19/427.44 c GLOBAL bounds - >= 1665895486675 @ 414.872
426.19/427.47 c GLOBAL bounds - >= 1665895486675 @ 414.889
426.19/427.47 c GLOBAL bounds - >= 1665895486675 @ 414.891
426.29/427.50 c GLOBAL bounds - >= 1665895486675 @ 414.906
426.29/427.50 c GLOBAL bounds - >= 1665895486675 @ 414.908
426.29/427.53 c GLOBAL bounds - >= 1665895486675 @ 414.924
426.29/427.54 c GLOBAL bounds - >= 1665895486675 @ 414.926
426.29/427.56 c GLOBAL bounds - >= 1665895486675 @ 414.942
426.29/427.57 c GLOBAL bounds - >= 1665895486675 @ 414.944
426.29/427.59 c GLOBAL bounds - >= 1665895486675 @ 414.958
426.39/427.60 c GLOBAL bounds - >= 1665895486675 @ 414.96
426.39/427.63 c GLOBAL bounds - >= 1665895486675 @ 414.974
522.43/523.98 c #Conflicts: 331000 | #Constraints: 22329
522.43/523.98 c #Conflicts: 332000 | #Constraints: 23329
522.43/523.98 c #Conflicts: 333000 | #Constraints: 24329
522.43/523.98 c INPROCESSING
522.43/523.98 c GARBAGE COLLECT
522.43/523.98 c #Conflicts: 334000 | #Constraints: 13937
522.43/523.98 c #Conflicts: 335000 | #Constraints: 14937
522.43/523.98 c #Conflicts: 336000 | #Constraints: 15937
522.43/523.98 c #Conflicts: 337000 | #Constraints: 16937
522.43/523.98 c #Conflicts: 338000 | #Constraints: 17937
522.43/523.98 c #Conflicts: 339000 | #Constraints: 18937
522.43/523.98 c #Conflicts: 340000 | #Constraints: 19937
522.43/523.98 c #Conflicts: 341000 | #Constraints: 20937
522.43/523.98 c #Conflicts: 342000 | #Constraints: 21937
522.43/523.98 c #Conflicts: 343000 | #Constraints: 22937
522.43/523.98 c #Conflicts: 344000 | #Constraints: 23937
522.43/523.98 c #Conflicts: 345000 | #Constraints: 24937
522.43/523.98 c INPROCESSING
522.43/523.98 c GARBAGE COLLECT
522.43/523.98 c #Conflicts: 346000 | #Constraints: 14325
522.43/523.98 c #Conflicts: 347000 | #Constraints: 15325
522.43/523.98 c #Conflicts: 348000 | #Constraints: 16325
522.43/523.98 c #Conflicts: 349000 | #Constraints: 17325
522.43/523.98 c #Conflicts: 350000 | #Constraints: 18325
522.43/523.98 c #Conflicts: 351000 | #Constraints: 19325
522.43/523.98 c #Conflicts: 352000 | #Constraints: 20325
522.43/523.98 c #Conflicts: 353000 | #Constraints: 21325
522.43/523.98 c #Conflicts: 354000 | #Constraints: 22325
522.43/523.98 c #Conflicts: 355000 | #Constraints: 23325
522.43/523.98 c #Conflicts: 356000 | #Constraints: 24325
522.43/523.98 c #Conflicts: 357000 | #Constraints: 25325
522.43/523.98 c INPROCESSING
522.43/523.98 c GARBAGE COLLECT
522.43/523.98 c #Conflicts: 358000 | #Constraints: 14521
522.43/523.98 c #Conflicts: 359000 | #Constraints: 15521
522.43/523.98 c #Conflicts: 360000 | #Constraints: 16521
522.43/523.98 c #Conflicts: 361000 | #Constraints: 17521
522.43/523.98 c #Conflicts: 362000 | #Constraints: 18521
522.43/523.98 c #Conflicts: 363000 | #Constraints: 19521
522.43/523.98 c #Conflicts: 364000 | #Constraints: 20521
522.43/523.98 c #Conflicts: 365000 | #Constraints: 21521
522.43/523.98 c #Conflicts: 366000 | #Constraints: 22521
522.43/523.98 c #Conflicts: 367000 | #Constraints: 23521
522.43/523.98 c #Conflicts: 368000 | #Constraints: 24521
522.43/523.98 c #Conflicts: 369000 | #Constraints: 25521
522.43/523.98 c INPROCESSING
522.43/523.98 c GARBAGE COLLECT
522.43/523.98 c #Conflicts: 370000 | #Constraints: 14518
522.43/523.98 c #Conflicts: 371000 | #Constraints: 15518
522.43/523.98 c #Conflicts: 372000 | #Constraints: 16518
522.43/523.98 c #Conflicts: 373000 | #Constraints: 17518
522.43/523.98 c #Conflicts: 374000 | #Constraints: 18518
522.43/523.98 c #Conflicts: 375000 | #Constraints: 19518
522.43/523.98 c #Conflicts: 376000 | #Constraints: 20518
522.43/523.98 c #Conflicts: 377000 | #Constraints: 21518
522.43/523.98 c #Conflicts: 378000 | #Constraints: 22518
522.43/523.98 c #Conflicts: 379000 | #Constraints: 23518
522.43/523.98 c #Conflicts: 380000 | #Constraints: 24518
522.43/523.98 c GLOBAL bounds - >= 1666079956925 @ 509.363
522.43/524.00 c GLOBAL bounds - >= 1666079956925 @ 509.382
522.54/524.03 c GLOBAL bounds - >= 1666079956925 @ 509.395
522.54/524.03 c GLOBAL bounds - >= 1666079956925 @ 509.398
522.54/524.06 c GLOBAL bounds - >= 1666079956925 @ 509.412
522.54/524.06 c GLOBAL bounds - >= 1666079956925 @ 509.413
522.54/524.09 c GLOBAL bounds - >= 1666079956925 @ 509.434
522.54/524.09 c GLOBAL bounds - >= 1666079956925 @ 509.436
522.64/524.12 c GLOBAL bounds - >= 1666079956925 @ 509.456
522.64/524.13 c GLOBAL bounds - >= 1666079956925 @ 509.457
522.64/524.15 c GLOBAL bounds - >= 1666079956925 @ 509.468
522.64/524.16 c GLOBAL bounds - >= 1666079956925 @ 509.47
522.64/524.18 c GLOBAL bounds - >= 1666079956925 @ 509.486
522.64/524.19 c GLOBAL bounds - >= 1666079956925 @ 509.487
522.73/524.22 c GLOBAL bounds - >= 1666079956925 @ 509.501
522.73/524.22 c GLOBAL bounds - >= 1666079956925 @ 509.504
522.73/524.25 c GLOBAL bounds - >= 1666079956925 @ 509.52
522.73/524.25 c GLOBAL bounds - >= 1666079956925 @ 509.521
522.73/524.28 c GLOBAL bounds - >= 1666079956925 @ 509.534
522.73/524.28 c GLOBAL bounds - >= 1666079956925 @ 509.537
522.83/524.31 c GLOBAL bounds - >= 1666079956925 @ 509.549
601.22/602.93 c #Conflicts: 381000 | #Constraints: 25557
601.22/602.93 c INPROCESSING
601.22/602.93 c GARBAGE COLLECT
601.22/602.93 c #Conflicts: 382000 | #Constraints: 14351
601.22/602.93 c #Conflicts: 383000 | #Constraints: 15351
601.22/602.93 c #Conflicts: 384000 | #Constraints: 16351
601.22/602.93 c #Conflicts: 385000 | #Constraints: 17351
601.22/602.93 c #Conflicts: 386000 | #Constraints: 18351
601.22/602.93 c #Conflicts: 387000 | #Constraints: 19351
601.22/602.93 c #Conflicts: 388000 | #Constraints: 20351
601.22/602.93 c #Conflicts: 389000 | #Constraints: 21351
601.22/602.93 c #Conflicts: 390000 | #Constraints: 22351
601.22/602.93 c #Conflicts: 391000 | #Constraints: 23351
601.22/602.93 c #Conflicts: 392000 | #Constraints: 24351
601.22/602.93 c #Conflicts: 393000 | #Constraints: 25351
601.22/602.93 c #Conflicts: 394000 | #Constraints: 26351
601.22/602.93 c INPROCESSING
601.22/602.93 c GARBAGE COLLECT
601.22/602.93 c #Conflicts: 395000 | #Constraints: 14947
601.22/602.93 c #Conflicts: 396000 | #Constraints: 15947
601.22/602.93 c #Conflicts: 397000 | #Constraints: 16947
601.22/602.93 c #Conflicts: 398000 | #Constraints: 17947
601.22/602.93 c #Conflicts: 399000 | #Constraints: 18947
601.22/602.93 c #Conflicts: 400000 | #Constraints: 19947
601.22/602.93 c #Conflicts: 401000 | #Constraints: 20947
601.22/602.93 c #Conflicts: 402000 | #Constraints: 21947
601.22/602.93 c #Conflicts: 403000 | #Constraints: 22947
601.22/602.93 c #Conflicts: 404000 | #Constraints: 23947
601.22/602.93 c #Conflicts: 405000 | #Constraints: 24947
601.22/602.93 c #Conflicts: 406000 | #Constraints: 25947
601.22/602.93 c #Conflicts: 407000 | #Constraints: 26947
601.22/602.93 c INPROCESSING
601.22/602.93 c GARBAGE COLLECT
601.22/602.93 c #Conflicts: 408000 | #Constraints: 15346
601.22/602.93 c #Conflicts: 409000 | #Constraints: 16346
601.22/602.93 c #Conflicts: 410000 | #Constraints: 17346
601.22/602.93 c #Conflicts: 411000 | #Constraints: 18346
601.22/602.93 c #Conflicts: 412000 | #Constraints: 19346
601.22/602.93 c #Conflicts: 413000 | #Constraints: 20346
601.22/602.93 c #Conflicts: 414000 | #Constraints: 21346
601.22/602.93 c #Conflicts: 415000 | #Constraints: 22346
601.22/602.93 c #Conflicts: 416000 | #Constraints: 23346
601.22/602.93 c #Conflicts: 417000 | #Constraints: 24346
601.22/602.93 c #Conflicts: 418000 | #Constraints: 25346
601.22/602.93 c #Conflicts: 419000 | #Constraints: 26346
601.22/602.93 c #Conflicts: 420000 | #Constraints: 27346
601.22/602.93 c INPROCESSING
601.22/602.93 c GARBAGE COLLECT
601.22/602.93 c #Conflicts: 421000 | #Constraints: 15557
601.22/602.93 c #Conflicts: 422000 | #Constraints: 16557
601.22/602.93 c #Conflicts: 423000 | #Constraints: 17557
601.22/602.93 c #Conflicts: 424000 | #Constraints: 18557
601.22/602.93 c GLOBAL bounds - >= 1666264427175 @ 586.559
601.22/602.95 c GLOBAL bounds - >= 1666264427175 @ 586.572
601.22/602.98 c GLOBAL bounds - >= 1666264427175 @ 586.588
601.22/602.98 c GLOBAL bounds - >= 1666264427175 @ 586.591
601.33/603.01 c GLOBAL bounds - >= 1666264427175 @ 586.603
601.33/603.01 c GLOBAL bounds - >= 1666264427175 @ 586.605
601.33/603.04 c GLOBAL bounds - >= 1666264427175 @ 586.619
601.33/603.04 c GLOBAL bounds - >= 1666264427175 @ 586.621
601.33/603.06 c GLOBAL bounds - >= 1666264427175 @ 586.635
601.33/603.07 c GLOBAL bounds - >= 1666264427175 @ 586.638
601.33/603.09 c GLOBAL bounds - >= 1666264427175 @ 586.647
601.33/603.10 c GLOBAL bounds - >= 1666264427175 @ 586.648
601.43/603.12 c GLOBAL bounds - >= 1666264427175 @ 586.659
601.43/603.13 c GLOBAL bounds - >= 1666264427175 @ 586.662
601.43/603.15 c GLOBAL bounds - >= 1666264427175 @ 586.676
601.43/603.16 c GLOBAL bounds - >= 1666264427175 @ 586.678
601.43/603.18 c GLOBAL bounds - >= 1666264427175 @ 586.691
601.43/603.18 c GLOBAL bounds - >= 1666264427175 @ 586.693
601.52/603.21 c GLOBAL bounds - >= 1666264427175 @ 586.708
601.52/603.21 c GLOBAL bounds - >= 1666264427175 @ 586.71
601.52/603.24 c GLOBAL bounds - >= 1666264427175 @ 586.726
656.28/658.18 c #Conflicts: 425000 | #Constraints: 19596
656.28/658.18 c #Conflicts: 426000 | #Constraints: 20596
656.28/658.18 c #Conflicts: 427000 | #Constraints: 21596
656.28/658.18 c #Conflicts: 428000 | #Constraints: 22596
656.28/658.18 c #Conflicts: 429000 | #Constraints: 23596
656.28/658.18 c #Conflicts: 430000 | #Constraints: 24596
656.28/658.18 c #Conflicts: 431000 | #Constraints: 25596
656.28/658.18 c #Conflicts: 432000 | #Constraints: 26596
656.28/658.18 c #Conflicts: 433000 | #Constraints: 27596
656.28/658.18 c INPROCESSING
656.28/658.18 c GARBAGE COLLECT
656.28/658.18 c #Conflicts: 434000 | #Constraints: 15588
656.28/658.18 c #Conflicts: 435000 | #Constraints: 16588
656.28/658.18 c #Conflicts: 436000 | #Constraints: 17588
656.28/658.18 c #Conflicts: 437000 | #Constraints: 18588
656.28/658.18 c #Conflicts: 438000 | #Constraints: 19588
656.28/658.18 c #Conflicts: 439000 | #Constraints: 20588
656.28/658.18 c #Conflicts: 440000 | #Constraints: 21588
656.28/658.18 c #Conflicts: 441000 | #Constraints: 22588
656.28/658.18 c #Conflicts: 442000 | #Constraints: 23588
656.28/658.18 c #Conflicts: 443000 | #Constraints: 24588
656.28/658.18 c #Conflicts: 444000 | #Constraints: 25588
656.28/658.18 c #Conflicts: 445000 | #Constraints: 26588
656.28/658.18 c #Conflicts: 446000 | #Constraints: 27588
656.28/658.18 c INPROCESSING
656.28/658.18 c GARBAGE COLLECT
656.28/658.18 c #Conflicts: 447000 | #Constraints: 15377
656.28/658.18 c #Conflicts: 448000 | #Constraints: 16377
656.28/658.18 c #Conflicts: 449000 | #Constraints: 17377
656.28/658.18 c #Conflicts: 450000 | #Constraints: 18377
656.28/658.18 c #Conflicts: 451000 | #Constraints: 19377
656.28/658.18 c #Conflicts: 452000 | #Constraints: 20377
656.28/658.18 c #Conflicts: 453000 | #Constraints: 21377
656.28/658.18 c #Conflicts: 454000 | #Constraints: 22377
656.28/658.18 c #Conflicts: 455000 | #Constraints: 23377
656.28/658.18 c GLOBAL bounds - >= 1666448897425 @ 640.599
656.37/658.20 c GLOBAL bounds - >= 1666448897425 @ 640.616
656.37/658.22 c GLOBAL bounds - >= 1666448897425 @ 640.629
656.37/658.23 c GLOBAL bounds - >= 1666448897425 @ 640.632
656.37/658.25 c GLOBAL bounds - >= 1666448897425 @ 640.65
656.37/658.26 c GLOBAL bounds - >= 1666448897425 @ 640.653
656.37/658.28 c GLOBAL bounds - >= 1666448897425 @ 640.668
656.37/658.29 c GLOBAL bounds - >= 1666448897425 @ 640.67
656.47/658.31 c GLOBAL bounds - >= 1666448897425 @ 640.684
656.47/658.32 c GLOBAL bounds - >= 1666448897425 @ 640.685
656.47/658.35 c GLOBAL bounds - >= 1666448897425 @ 640.703
656.47/658.35 c GLOBAL bounds - >= 1666448897425 @ 640.705
656.47/658.38 c GLOBAL bounds - >= 1666448897425 @ 640.72
656.47/658.38 c GLOBAL bounds - >= 1666448897425 @ 640.722
656.57/658.41 c GLOBAL bounds - >= 1666448897425 @ 640.738
656.57/658.41 c GLOBAL bounds - >= 1666448897425 @ 640.739
656.57/658.44 c GLOBAL bounds - >= 1666448897425 @ 640.751
656.57/658.44 c GLOBAL bounds - >= 1666448897425 @ 640.754
656.57/658.47 c GLOBAL bounds - >= 1666448897425 @ 640.767
656.57/658.47 c GLOBAL bounds - >= 1666448897425 @ 640.77
656.67/658.50 c GLOBAL bounds - >= 1666448897425 @ 640.779
745.93/748.09 c #Conflicts: 456000 | #Constraints: 24416
745.93/748.09 c #Conflicts: 457000 | #Constraints: 25416
745.93/748.09 c #Conflicts: 458000 | #Constraints: 26416
745.93/748.09 c #Conflicts: 459000 | #Constraints: 27416
745.93/748.09 c #Conflicts: 460000 | #Constraints: 28416
745.93/748.09 c INPROCESSING
745.93/748.09 c GARBAGE COLLECT
745.93/748.09 c #Conflicts: 461000 | #Constraints: 16015
745.93/748.09 c #Conflicts: 462000 | #Constraints: 17015
745.93/748.09 c #Conflicts: 463000 | #Constraints: 18015
745.93/748.09 c #Conflicts: 464000 | #Constraints: 19015
745.93/748.09 c #Conflicts: 465000 | #Constraints: 20015
745.93/748.09 c #Conflicts: 466000 | #Constraints: 21015
745.93/748.09 c #Conflicts: 467000 | #Constraints: 22015
745.93/748.09 c #Conflicts: 468000 | #Constraints: 23015
745.93/748.09 c #Conflicts: 469000 | #Constraints: 24015
745.93/748.09 c #Conflicts: 470000 | #Constraints: 25015
745.93/748.09 c #Conflicts: 471000 | #Constraints: 26015
745.93/748.09 c #Conflicts: 472000 | #Constraints: 27015
745.93/748.09 c #Conflicts: 473000 | #Constraints: 28015
745.93/748.09 c #Conflicts: 474000 | #Constraints: 29015
745.93/748.09 c INPROCESSING
745.93/748.09 c GARBAGE COLLECT
745.93/748.09 c #Conflicts: 475000 | #Constraints: 16423
745.93/748.09 c #Conflicts: 476000 | #Constraints: 17423
745.93/748.09 c #Conflicts: 477000 | #Constraints: 18423
745.93/748.09 c #Conflicts: 478000 | #Constraints: 19423
745.93/748.09 c #Conflicts: 479000 | #Constraints: 20423
745.93/748.09 c #Conflicts: 480000 | #Constraints: 21423
745.93/748.09 c #Conflicts: 481000 | #Constraints: 22423
745.93/748.09 c #Conflicts: 482000 | #Constraints: 23423
745.93/748.09 c #Conflicts: 483000 | #Constraints: 24423
745.93/748.09 c #Conflicts: 484000 | #Constraints: 25423
745.93/748.09 c #Conflicts: 485000 | #Constraints: 26423
745.93/748.09 c #Conflicts: 486000 | #Constraints: 27423
745.93/748.09 c #Conflicts: 487000 | #Constraints: 28423
745.93/748.09 c #Conflicts: 488000 | #Constraints: 29423
745.93/748.09 c INPROCESSING
745.93/748.09 c GARBAGE COLLECT
745.93/748.09 c #Conflicts: 489000 | #Constraints: 16615
745.93/748.09 c #Conflicts: 490000 | #Constraints: 17615
745.93/748.09 c #Conflicts: 491000 | #Constraints: 18615
745.93/748.09 c #Conflicts: 492000 | #Constraints: 19615
745.93/748.09 c #Conflicts: 493000 | #Constraints: 20615
745.93/748.09 c #Conflicts: 494000 | #Constraints: 21615
745.93/748.09 c #Conflicts: 495000 | #Constraints: 22615
745.93/748.09 c #Conflicts: 496000 | #Constraints: 23615
745.93/748.09 c #Conflicts: 497000 | #Constraints: 24615
745.93/748.09 c #Conflicts: 498000 | #Constraints: 25615
745.93/748.09 c #Conflicts: 499000 | #Constraints: 26615
745.93/748.09 c GLOBAL bounds - >= 1666633367675 @ 728.485
746.03/748.11 c GLOBAL bounds - >= 1666633367675 @ 728.502
746.03/748.14 c GLOBAL bounds - >= 1666633367675 @ 728.52
746.03/748.14 c GLOBAL bounds - >= 1666633367675 @ 728.524
746.03/748.17 c GLOBAL bounds - >= 1666633367675 @ 728.54
746.03/748.18 c GLOBAL bounds - >= 1666633367675 @ 728.543
746.13/748.21 c GLOBAL bounds - >= 1666633367675 @ 728.557
746.13/748.21 c GLOBAL bounds - >= 1666633367675 @ 728.559
746.13/748.24 c GLOBAL bounds - >= 1666633367675 @ 728.581
746.13/748.24 c GLOBAL bounds - >= 1666633367675 @ 728.584
746.13/748.27 c GLOBAL bounds - >= 1666633367675 @ 728.601
746.13/748.28 c GLOBAL bounds - >= 1666633367675 @ 728.603
746.23/748.31 c GLOBAL bounds - >= 1666633367675 @ 728.622
746.23/748.31 c GLOBAL bounds - >= 1666633367675 @ 728.625
746.23/748.34 c GLOBAL bounds - >= 1666633367675 @ 728.639
746.23/748.34 c GLOBAL bounds - >= 1666633367675 @ 728.64
746.23/748.37 c GLOBAL bounds - >= 1666633367675 @ 728.658
746.23/748.38 c GLOBAL bounds - >= 1666633367675 @ 728.661
746.33/748.41 c GLOBAL bounds - >= 1666633367675 @ 728.681
746.33/748.41 c GLOBAL bounds - >= 1666633367675 @ 728.682
746.33/748.44 c GLOBAL bounds - >= 1666633367675 @ 728.703
756.40/758.52 c #Conflicts: 500000 | #Constraints: 27645
756.40/758.52 c #Conflicts: 501000 | #Constraints: 28645
756.40/758.52 c #Conflicts: 502000 | #Constraints: 29645
756.40/758.52 c INPROCESSING
756.40/758.52 c GARBAGE COLLECT
756.40/758.52 c #Conflicts: 503000 | #Constraints: 16648
756.40/758.52 c #Conflicts: 504000 | #Constraints: 17648
756.40/758.52 c #Conflicts: 505000 | #Constraints: 18648
756.40/758.52 c #Conflicts: 506000 | #Constraints: 19648
756.40/758.52 c #Conflicts: 507000 | #Constraints: 20648
756.40/758.52 c #Conflicts: 508000 | #Constraints: 21648
756.40/758.52 c GLOBAL bounds - >= 1666633367675 @ 738.659
759.29/761.49 c #Conflicts: 509000 | #Constraints: 22648
759.29/761.49 c #Conflicts: 510000 | #Constraints: 23648
759.29/761.49 c #Conflicts: 511000 | #Constraints: 24648
759.29/761.49 c GLOBAL bounds - >= 1666633367675 @ 741.582
759.99/762.18 c #Conflicts: 512000 | #Constraints: 25651
759.99/762.18 c GLOBAL bounds - >= 1666633367675 @ 742.25
760.09/762.26 c GLOBAL bounds - >= 1666633367675 @ 742.318
760.38/762.52 c GLOBAL bounds - >= 1666633367675 @ 742.566
854.74/857.18 c #Conflicts: 513000 | #Constraints: 26657
854.74/857.18 c #Conflicts: 514000 | #Constraints: 27657
854.74/857.18 c #Conflicts: 515000 | #Constraints: 28657
854.74/857.18 c #Conflicts: 516000 | #Constraints: 29657
854.74/857.18 c INPROCESSING
854.74/857.18 c GARBAGE COLLECT
854.74/857.18 c #Conflicts: 517000 | #Constraints: 16450
854.74/857.18 c #Conflicts: 518000 | #Constraints: 17450
854.74/857.18 c #Conflicts: 519000 | #Constraints: 18450
854.74/857.18 c #Conflicts: 520000 | #Constraints: 19450
854.74/857.18 c #Conflicts: 521000 | #Constraints: 20450
854.74/857.18 c #Conflicts: 522000 | #Constraints: 21450
854.74/857.18 c #Conflicts: 523000 | #Constraints: 22450
854.74/857.18 c #Conflicts: 524000 | #Constraints: 23450
854.74/857.18 c #Conflicts: 525000 | #Constraints: 24450
854.74/857.18 c #Conflicts: 526000 | #Constraints: 25450
854.74/857.18 c #Conflicts: 527000 | #Constraints: 26450
854.74/857.18 c #Conflicts: 528000 | #Constraints: 27450
854.74/857.18 c #Conflicts: 529000 | #Constraints: 28450
854.74/857.18 c #Conflicts: 530000 | #Constraints: 29450
854.74/857.18 c #Conflicts: 531000 | #Constraints: 30450
854.74/857.18 c INPROCESSING
854.74/857.18 c GARBAGE COLLECT
854.74/857.18 c #Conflicts: 532000 | #Constraints: 17051
854.74/857.18 c #Conflicts: 533000 | #Constraints: 18051
854.74/857.18 c #Conflicts: 534000 | #Constraints: 19051
854.74/857.18 c #Conflicts: 535000 | #Constraints: 20051
854.74/857.18 c #Conflicts: 536000 | #Constraints: 21051
854.74/857.18 c #Conflicts: 537000 | #Constraints: 22051
854.74/857.18 c #Conflicts: 538000 | #Constraints: 23051
854.74/857.18 c #Conflicts: 539000 | #Constraints: 24051
854.74/857.18 c #Conflicts: 540000 | #Constraints: 25051
854.74/857.18 c #Conflicts: 541000 | #Constraints: 26051
854.74/857.18 c #Conflicts: 542000 | #Constraints: 27051
854.74/857.18 c #Conflicts: 543000 | #Constraints: 28051
854.74/857.18 c #Conflicts: 544000 | #Constraints: 29051
854.74/857.18 c #Conflicts: 545000 | #Constraints: 30051
854.74/857.18 c #Conflicts: 546000 | #Constraints: 31051
854.74/857.18 c INPROCESSING
854.74/857.18 c GARBAGE COLLECT
854.74/857.18 c #Conflicts: 547000 | #Constraints: 17451
854.74/857.18 c #Conflicts: 548000 | #Constraints: 18451
854.74/857.18 c #Conflicts: 549000 | #Constraints: 19451
854.74/857.18 c #Conflicts: 550000 | #Constraints: 20451
854.74/857.18 c #Conflicts: 551000 | #Constraints: 21451
854.74/857.18 c #Conflicts: 552000 | #Constraints: 22451
854.74/857.18 c #Conflicts: 553000 | #Constraints: 23451
854.74/857.18 c #Conflicts: 554000 | #Constraints: 24451
854.74/857.18 c #Conflicts: 555000 | #Constraints: 25451
854.74/857.18 c #Conflicts: 556000 | #Constraints: 26451
854.74/857.18 c #Conflicts: 557000 | #Constraints: 27451
854.74/857.18 c #Conflicts: 558000 | #Constraints: 28451
854.74/857.18 c #Conflicts: 559000 | #Constraints: 29451
854.74/857.18 c #Conflicts: 560000 | #Constraints: 30451
854.74/857.18 c #Conflicts: 561000 | #Constraints: 31451
854.74/857.18 c INPROCESSING
854.74/857.18 c GARBAGE COLLECT
854.74/857.18 c #Conflicts: 562000 | #Constraints: 17650
854.74/857.18 c #Conflicts: 563000 | #Constraints: 18650
854.74/857.18 c #Conflicts: 564000 | #Constraints: 19650
854.74/857.18 c #Conflicts: 565000 | #Constraints: 20650
854.74/857.18 c #Conflicts: 566000 | #Constraints: 21650
854.74/857.18 c #Conflicts: 567000 | #Constraints: 22650
854.74/857.18 c #Conflicts: 568000 | #Constraints: 23650
854.74/857.18 c #Conflicts: 569000 | #Constraints: 24650
854.74/857.18 c #Conflicts: 570000 | #Constraints: 25650
854.74/857.18 c #Conflicts: 571000 | #Constraints: 26650
854.74/857.18 c #Conflicts: 572000 | #Constraints: 27650
854.74/857.18 c #Conflicts: 573000 | #Constraints: 28650
854.74/857.18 c #Conflicts: 574000 | #Constraints: 29650
854.74/857.18 c #Conflicts: 575000 | #Constraints: 30650
854.74/857.18 c #Conflicts: 576000 | #Constraints: 31650
854.74/857.18 c INPROCESSING
854.74/857.18 c GARBAGE COLLECT
854.74/857.18 c #Conflicts: 577000 | #Constraints: 17646
854.74/857.18 c #Conflicts: 578000 | #Constraints: 18646
854.74/857.18 c #Conflicts: 579000 | #Constraints: 19646
854.74/857.18 c #Conflicts: 580000 | #Constraints: 20646
854.74/857.18 c #Conflicts: 581000 | #Constraints: 21646
854.74/857.18 c #Conflicts: 582000 | #Constraints: 22646
854.74/857.18 c #Conflicts: 583000 | #Constraints: 23646
854.74/857.18 c #Conflicts: 584000 | #Constraints: 24646
854.74/857.18 c #Conflicts: 585000 | #Constraints: 25646
854.74/857.18 c #Conflicts: 586000 | #Constraints: 26646
854.74/857.18 c #Conflicts: 587000 | #Constraints: 27646
854.74/857.18 c #Conflicts: 588000 | #Constraints: 28646
947.10/949.72 c #Conflicts: 589000 | #Constraints: 29646
947.10/949.72 c #Conflicts: 590000 | #Constraints: 30646
947.10/949.72 c #Conflicts: 591000 | #Constraints: 31646
947.10/949.72 c INPROCESSING
947.10/949.72 c GARBAGE COLLECT
947.10/949.72 c #Conflicts: 592000 | #Constraints: 17457
947.10/949.72 c #Conflicts: 593000 | #Constraints: 18457
947.10/949.72 c #Conflicts: 594000 | #Constraints: 19457
947.10/949.72 c #Conflicts: 595000 | #Constraints: 20457
947.10/949.72 c #Conflicts: 596000 | #Constraints: 21457
947.10/949.72 c #Conflicts: 597000 | #Constraints: 22457
947.10/949.72 c #Conflicts: 598000 | #Constraints: 23457
947.10/949.72 c #Conflicts: 599000 | #Constraints: 24457
947.10/949.72 c #Conflicts: 600000 | #Constraints: 25457
947.10/949.72 c #Conflicts: 601000 | #Constraints: 26457
947.10/949.72 c #Conflicts: 602000 | #Constraints: 27457
947.10/949.72 c #Conflicts: 603000 | #Constraints: 28457
947.10/949.72 c #Conflicts: 604000 | #Constraints: 29457
947.10/949.72 c #Conflicts: 605000 | #Constraints: 30457
947.10/949.72 c #Conflicts: 606000 | #Constraints: 31457
947.10/949.72 c #Conflicts: 607000 | #Constraints: 32457
947.10/949.72 c INPROCESSING
947.10/949.72 c GARBAGE COLLECT
947.10/949.72 c #Conflicts: 608000 | #Constraints: 18065
947.10/949.72 c #Conflicts: 609000 | #Constraints: 19065
947.10/949.72 c #Conflicts: 610000 | #Constraints: 20065
947.10/949.72 c #Conflicts: 611000 | #Constraints: 21065
947.10/949.72 c #Conflicts: 612000 | #Constraints: 22065
947.10/949.72 c #Conflicts: 613000 | #Constraints: 23065
947.10/949.72 c #Conflicts: 614000 | #Constraints: 24065
947.10/949.72 c #Conflicts: 615000 | #Constraints: 25065
947.10/949.72 c #Conflicts: 616000 | #Constraints: 26065
947.10/949.72 c #Conflicts: 617000 | #Constraints: 27065
947.10/949.72 c #Conflicts: 618000 | #Constraints: 28065
947.10/949.72 c #Conflicts: 619000 | #Constraints: 29065
947.10/949.72 c #Conflicts: 620000 | #Constraints: 30065
947.10/949.72 c #Conflicts: 621000 | #Constraints: 31065
947.10/949.72 c #Conflicts: 622000 | #Constraints: 32065
947.10/949.72 c #Conflicts: 623000 | #Constraints: 33065
947.10/949.72 c INPROCESSING
947.10/949.72 c GARBAGE COLLECT
947.10/949.72 c #Conflicts: 624000 | #Constraints: 18450
947.10/949.72 c #Conflicts: 625000 | #Constraints: 19450
947.10/949.72 c #Conflicts: 626000 | #Constraints: 20450
947.10/949.72 c #Conflicts: 627000 | #Constraints: 21450
947.10/949.72 c #Conflicts: 628000 | #Constraints: 22450
947.10/949.72 c #Conflicts: 629000 | #Constraints: 23450
947.10/949.72 c #Conflicts: 630000 | #Constraints: 24450
947.10/949.72 c #Conflicts: 631000 | #Constraints: 25450
947.10/949.72 c #Conflicts: 632000 | #Constraints: 26450
947.10/949.72 c #Conflicts: 633000 | #Constraints: 27450
947.10/949.72 c #Conflicts: 634000 | #Constraints: 28450
947.10/949.72 c #Conflicts: 635000 | #Constraints: 29450
947.10/949.72 c #Conflicts: 636000 | #Constraints: 30450
947.10/949.72 c #Conflicts: 637000 | #Constraints: 31450
947.10/949.72 c #Conflicts: 638000 | #Constraints: 32450
947.10/949.72 c #Conflicts: 639000 | #Constraints: 33450
947.10/949.72 c INPROCESSING
947.10/949.72 c GARBAGE COLLECT
947.10/949.72 c #Conflicts: 640000 | #Constraints: 18652
947.10/949.72 c #Conflicts: 641000 | #Constraints: 19652
947.10/949.72 c #Conflicts: 642000 | #Constraints: 20652
947.10/949.72 c #Conflicts: 643000 | #Constraints: 21652
947.10/949.72 c #Conflicts: 644000 | #Constraints: 22652
947.10/949.72 c #Conflicts: 645000 | #Constraints: 23652
947.10/949.72 c #Conflicts: 646000 | #Constraints: 24652
947.10/949.72 c #Conflicts: 647000 | #Constraints: 25652
947.10/949.72 c #Conflicts: 648000 | #Constraints: 26652
947.10/949.72 c #Conflicts: 649000 | #Constraints: 27652
947.10/949.72 c #Conflicts: 650000 | #Constraints: 28652
947.10/949.72 c #Conflicts: 651000 | #Constraints: 29652
947.10/949.72 c #Conflicts: 652000 | #Constraints: 30652
947.10/949.72 c #Conflicts: 653000 | #Constraints: 31652
947.10/949.72 c #Conflicts: 654000 | #Constraints: 32652
947.10/949.72 c #Conflicts: 655000 | #Constraints: 33652
947.10/949.72 c INPROCESSING
947.10/949.72 c GARBAGE COLLECT
947.10/949.72 c #Conflicts: 656000 | #Constraints: 18647
947.10/949.72 c #Conflicts: 657000 | #Constraints: 19647
947.10/949.72 c #Conflicts: 658000 | #Constraints: 20647
947.10/949.72 c #Conflicts: 659000 | #Constraints: 21647
947.10/949.72 c #Conflicts: 660000 | #Constraints: 22647
947.10/949.72 c #Conflicts: 661000 | #Constraints: 23647
947.10/949.72 c #Conflicts: 662000 | #Constraints: 24647
947.10/949.72 c #Conflicts: 663000 | #Constraints: 25647
947.10/949.72 c #Conflicts: 664000 | #Constraints: 26647
1050.13/1053.06 c #Conflicts: 665000 | #Constraints: 27647
1050.13/1053.06 c #Conflicts: 666000 | #Constraints: 28647
1050.13/1053.06 c #Conflicts: 667000 | #Constraints: 29647
1050.13/1053.06 c #Conflicts: 668000 | #Constraints: 30647
1050.13/1053.06 c #Conflicts: 669000 | #Constraints: 31647
1050.13/1053.06 c #Conflicts: 670000 | #Constraints: 32647
1050.13/1053.06 c #Conflicts: 671000 | #Constraints: 33647
1050.13/1053.06 c INPROCESSING
1050.13/1053.06 c GARBAGE COLLECT
1050.13/1053.06 c #Conflicts: 672000 | #Constraints: 18456
1050.13/1053.06 c #Conflicts: 673000 | #Constraints: 19456
1050.13/1053.06 c #Conflicts: 674000 | #Constraints: 20456
1050.13/1053.06 c #Conflicts: 675000 | #Constraints: 21456
1050.13/1053.06 c #Conflicts: 676000 | #Constraints: 22456
1050.13/1053.06 c #Conflicts: 677000 | #Constraints: 23456
1050.13/1053.06 c #Conflicts: 678000 | #Constraints: 24456
1050.13/1053.06 c #Conflicts: 679000 | #Constraints: 25456
1050.13/1053.06 c #Conflicts: 680000 | #Constraints: 26456
1050.13/1053.06 c #Conflicts: 681000 | #Constraints: 27456
1050.13/1053.06 c #Conflicts: 682000 | #Constraints: 28456
1050.13/1053.06 c #Conflicts: 683000 | #Constraints: 29456
1050.13/1053.06 c #Conflicts: 684000 | #Constraints: 30456
1050.13/1053.06 c #Conflicts: 685000 | #Constraints: 31456
1050.13/1053.06 c #Conflicts: 686000 | #Constraints: 32456
1050.13/1053.06 c #Conflicts: 687000 | #Constraints: 33456
1050.13/1053.06 c #Conflicts: 688000 | #Constraints: 34456
1050.13/1053.06 c INPROCESSING
1050.13/1053.06 c GARBAGE COLLECT
1050.13/1053.06 c #Conflicts: 689000 | #Constraints: 19059
1050.13/1053.06 c #Conflicts: 690000 | #Constraints: 20059
1050.13/1053.06 c #Conflicts: 691000 | #Constraints: 21059
1050.13/1053.06 c #Conflicts: 692000 | #Constraints: 22059
1050.13/1053.06 c #Conflicts: 693000 | #Constraints: 23059
1050.13/1053.06 c #Conflicts: 694000 | #Constraints: 24059
1050.13/1053.06 c #Conflicts: 695000 | #Constraints: 25059
1050.13/1053.06 c #Conflicts: 696000 | #Constraints: 26059
1050.13/1053.06 c #Conflicts: 697000 | #Constraints: 27059
1050.13/1053.06 c #Conflicts: 698000 | #Constraints: 28059
1050.13/1053.06 c #Conflicts: 699000 | #Constraints: 29059
1050.13/1053.06 c #Conflicts: 700000 | #Constraints: 30059
1050.13/1053.06 c #Conflicts: 701000 | #Constraints: 31059
1050.13/1053.06 c #Conflicts: 702000 | #Constraints: 32059
1050.13/1053.06 c #Conflicts: 703000 | #Constraints: 33059
1050.13/1053.06 c #Conflicts: 704000 | #Constraints: 34059
1050.13/1053.06 c #Conflicts: 705000 | #Constraints: 35059
1050.13/1053.06 c INPROCESSING
1050.13/1053.06 c GARBAGE COLLECT
1050.13/1053.06 c #Conflicts: 706000 | #Constraints: 19457
1050.13/1053.06 c #Conflicts: 707000 | #Constraints: 20457
1050.13/1053.06 c #Conflicts: 708000 | #Constraints: 21457
1050.13/1053.06 c #Conflicts: 709000 | #Constraints: 22457
1050.13/1053.06 c #Conflicts: 710000 | #Constraints: 23457
1050.13/1053.06 c #Conflicts: 711000 | #Constraints: 24457
1050.13/1053.06 c #Conflicts: 712000 | #Constraints: 25457
1050.13/1053.06 c #Conflicts: 713000 | #Constraints: 26457
1050.13/1053.06 c #Conflicts: 714000 | #Constraints: 27457
1050.13/1053.06 c #Conflicts: 715000 | #Constraints: 28457
1050.13/1053.06 c #Conflicts: 716000 | #Constraints: 29457
1050.13/1053.06 c #Conflicts: 717000 | #Constraints: 30457
1050.13/1053.06 c #Conflicts: 718000 | #Constraints: 31457
1050.13/1053.06 c #Conflicts: 719000 | #Constraints: 32457
1050.13/1053.06 c #Conflicts: 720000 | #Constraints: 33457
1050.13/1053.06 c #Conflicts: 721000 | #Constraints: 34457
1050.13/1053.06 c #Conflicts: 722000 | #Constraints: 35457
1050.13/1053.06 c INPROCESSING
1050.13/1053.06 c GARBAGE COLLECT
1050.13/1053.06 c #Conflicts: 723000 | #Constraints: 19659
1050.13/1053.06 c #Conflicts: 724000 | #Constraints: 20659
1050.13/1053.06 c #Conflicts: 725000 | #Constraints: 21659
1050.13/1053.06 c #Conflicts: 726000 | #Constraints: 22659
1050.13/1053.06 c #Conflicts: 727000 | #Constraints: 23659
1050.13/1053.06 c #Conflicts: 728000 | #Constraints: 24659
1050.13/1053.06 c #Conflicts: 729000 | #Constraints: 25659
1050.13/1053.06 c #Conflicts: 730000 | #Constraints: 26659
1050.13/1053.06 c #Conflicts: 731000 | #Constraints: 27659
1050.13/1053.06 c #Conflicts: 732000 | #Constraints: 28659
1050.13/1053.06 c #Conflicts: 733000 | #Constraints: 29659
1050.13/1053.06 c #Conflicts: 734000 | #Constraints: 30659
1050.13/1053.06 c #Conflicts: 735000 | #Constraints: 31659
1050.13/1053.06 c #Conflicts: 736000 | #Constraints: 32659
1050.13/1053.06 c #Conflicts: 737000 | #Constraints: 33659
1050.13/1053.06 c #Conflicts: 738000 | #Constraints: 34659
1050.13/1053.06 c #Conflicts: 739000 | #Constraints: 35659
1050.13/1053.06 c INPROCESSING
1050.13/1053.06 c GARBAGE COLLECT
1165.42/1168.69 c #Conflicts: 740000 | #Constraints: 19662
1165.42/1168.69 c #Conflicts: 741000 | #Constraints: 20662
1165.42/1168.69 c #Conflicts: 742000 | #Constraints: 21662
1165.42/1168.69 c #Conflicts: 743000 | #Constraints: 22662
1165.42/1168.69 c #Conflicts: 744000 | #Constraints: 23662
1165.42/1168.69 c #Conflicts: 745000 | #Constraints: 24662
1165.42/1168.69 c #Conflicts: 746000 | #Constraints: 25662
1165.42/1168.69 c #Conflicts: 747000 | #Constraints: 26662
1165.42/1168.69 c #Conflicts: 748000 | #Constraints: 27662
1165.42/1168.69 c #Conflicts: 749000 | #Constraints: 28662
1165.42/1168.69 c #Conflicts: 750000 | #Constraints: 29662
1165.42/1168.69 c #Conflicts: 751000 | #Constraints: 30662
1165.42/1168.69 c #Conflicts: 752000 | #Constraints: 31662
1165.42/1168.69 c #Conflicts: 753000 | #Constraints: 32662
1165.42/1168.69 c #Conflicts: 754000 | #Constraints: 33662
1165.42/1168.69 c #Conflicts: 755000 | #Constraints: 34662
1165.42/1168.69 c #Conflicts: 756000 | #Constraints: 35662
1165.42/1168.69 c INPROCESSING
1165.42/1168.69 c GARBAGE COLLECT
1165.42/1168.69 c #Conflicts: 757000 | #Constraints: 19450
1165.42/1168.69 c #Conflicts: 758000 | #Constraints: 20450
1165.42/1168.69 c #Conflicts: 759000 | #Constraints: 21450
1165.42/1168.69 c #Conflicts: 760000 | #Constraints: 22450
1165.42/1168.69 c #Conflicts: 761000 | #Constraints: 23450
1165.42/1168.69 c #Conflicts: 762000 | #Constraints: 24450
1165.42/1168.69 c #Conflicts: 763000 | #Constraints: 25450
1165.42/1168.69 c #Conflicts: 764000 | #Constraints: 26450
1165.42/1168.69 c #Conflicts: 765000 | #Constraints: 27450
1165.42/1168.69 c #Conflicts: 766000 | #Constraints: 28450
1165.42/1168.69 c #Conflicts: 767000 | #Constraints: 29450
1165.42/1168.69 c #Conflicts: 768000 | #Constraints: 30450
1165.42/1168.69 c #Conflicts: 769000 | #Constraints: 31450
1165.42/1168.69 c #Conflicts: 770000 | #Constraints: 32450
1165.42/1168.69 c #Conflicts: 771000 | #Constraints: 33450
1165.42/1168.69 c #Conflicts: 772000 | #Constraints: 34450
1165.42/1168.69 c #Conflicts: 773000 | #Constraints: 35450
1165.42/1168.69 c #Conflicts: 774000 | #Constraints: 36450
1165.42/1168.69 c INPROCESSING
1165.42/1168.69 c GARBAGE COLLECT
1165.42/1168.69 c #Conflicts: 775000 | #Constraints: 20062
1165.42/1168.69 c #Conflicts: 776000 | #Constraints: 21062
1165.42/1168.69 c #Conflicts: 777000 | #Constraints: 22062
1165.42/1168.69 c #Conflicts: 778000 | #Constraints: 23062
1165.42/1168.69 c #Conflicts: 779000 | #Constraints: 24062
1165.42/1168.69 c #Conflicts: 780000 | #Constraints: 25062
1165.42/1168.69 c #Conflicts: 781000 | #Constraints: 26062
1165.42/1168.69 c #Conflicts: 782000 | #Constraints: 27062
1165.42/1168.69 c #Conflicts: 783000 | #Constraints: 28062
1165.42/1168.69 c #Conflicts: 784000 | #Constraints: 29062
1165.42/1168.69 c #Conflicts: 785000 | #Constraints: 30062
1165.42/1168.69 c #Conflicts: 786000 | #Constraints: 31062
1165.42/1168.69 c #Conflicts: 787000 | #Constraints: 32062
1165.42/1168.69 c #Conflicts: 788000 | #Constraints: 33062
1165.42/1168.69 c #Conflicts: 789000 | #Constraints: 34062
1165.42/1168.69 c #Conflicts: 790000 | #Constraints: 35062
1165.42/1168.69 c #Conflicts: 791000 | #Constraints: 36062
1165.42/1168.69 c #Conflicts: 792000 | #Constraints: 37062
1165.42/1168.69 c INPROCESSING
1165.42/1168.69 c GARBAGE COLLECT
1165.42/1168.69 c #Conflicts: 793000 | #Constraints: 20464
1165.42/1168.69 c #Conflicts: 794000 | #Constraints: 21464
1165.42/1168.69 c #Conflicts: 795000 | #Constraints: 22464
1165.42/1168.69 c #Conflicts: 796000 | #Constraints: 23464
1165.42/1168.69 c #Conflicts: 797000 | #Constraints: 24464
1165.42/1168.69 c #Conflicts: 798000 | #Constraints: 25464
1165.42/1168.69 c #Conflicts: 799000 | #Constraints: 26464
1165.42/1168.69 c #Conflicts: 800000 | #Constraints: 27464
1165.42/1168.69 c #Conflicts: 801000 | #Constraints: 28464
1165.42/1168.69 c #Conflicts: 802000 | #Constraints: 29464
1165.42/1168.69 c #Conflicts: 803000 | #Constraints: 30464
1165.42/1168.69 c #Conflicts: 804000 | #Constraints: 31464
1165.42/1168.69 c #Conflicts: 805000 | #Constraints: 32464
1165.42/1168.69 c #Conflicts: 806000 | #Constraints: 33464
1165.42/1168.69 c #Conflicts: 807000 | #Constraints: 34464
1165.42/1168.69 c #Conflicts: 808000 | #Constraints: 35464
1165.42/1168.69 c #Conflicts: 809000 | #Constraints: 36464
1165.42/1168.69 c #Conflicts: 810000 | #Constraints: 37464
1165.42/1168.69 c INPROCESSING
1165.42/1168.69 c GARBAGE COLLECT
1165.42/1168.69 c #Conflicts: 811000 | #Constraints: 20646
1165.42/1168.69 c #Conflicts: 812000 | #Constraints: 21646
1165.42/1168.69 c #Conflicts: 813000 | #Constraints: 22646
1165.42/1168.69 c #Conflicts: 814000 | #Constraints: 23646
1165.42/1168.69 c #Conflicts: 815000 | #Constraints: 24646
1165.42/1168.69 c #Conflicts: 816000 | #Constraints: 25646
1310.93/1314.51 c #Conflicts: 817000 | #Constraints: 26646
1310.93/1314.51 c #Conflicts: 818000 | #Constraints: 27646
1310.93/1314.51 c #Conflicts: 819000 | #Constraints: 28646
1310.93/1314.51 c #Conflicts: 820000 | #Constraints: 29646
1310.93/1314.51 c #Conflicts: 821000 | #Constraints: 30646
1310.93/1314.51 c #Conflicts: 822000 | #Constraints: 31646
1310.93/1314.51 c #Conflicts: 823000 | #Constraints: 32646
1310.93/1314.51 c #Conflicts: 824000 | #Constraints: 33646
1310.93/1314.51 c #Conflicts: 825000 | #Constraints: 34646
1310.93/1314.51 c #Conflicts: 826000 | #Constraints: 35646
1310.93/1314.51 c #Conflicts: 827000 | #Constraints: 36646
1310.93/1314.51 c #Conflicts: 828000 | #Constraints: 37646
1310.93/1314.51 c INPROCESSING
1310.93/1314.51 c GARBAGE COLLECT
1310.93/1314.51 c #Conflicts: 829000 | #Constraints: 20640
1310.93/1314.51 c #Conflicts: 830000 | #Constraints: 21640
1310.93/1314.51 c #Conflicts: 831000 | #Constraints: 22640
1310.93/1314.51 c #Conflicts: 832000 | #Constraints: 23640
1310.93/1314.51 c #Conflicts: 833000 | #Constraints: 24640
1310.93/1314.51 c #Conflicts: 834000 | #Constraints: 25640
1310.93/1314.51 c #Conflicts: 835000 | #Constraints: 26640
1310.93/1314.51 c #Conflicts: 836000 | #Constraints: 27640
1310.93/1314.51 c #Conflicts: 837000 | #Constraints: 28640
1310.93/1314.51 c #Conflicts: 838000 | #Constraints: 29640
1310.93/1314.51 c #Conflicts: 839000 | #Constraints: 30640
1310.93/1314.51 c #Conflicts: 840000 | #Constraints: 31640
1310.93/1314.51 c #Conflicts: 841000 | #Constraints: 32640
1310.93/1314.51 c #Conflicts: 842000 | #Constraints: 33640
1310.93/1314.51 c #Conflicts: 843000 | #Constraints: 34640
1310.93/1314.51 c #Conflicts: 844000 | #Constraints: 35640
1310.93/1314.51 c #Conflicts: 845000 | #Constraints: 36640
1310.93/1314.51 c #Conflicts: 846000 | #Constraints: 37640
1310.93/1314.51 c INPROCESSING
1310.93/1314.51 c GARBAGE COLLECT
1310.93/1314.51 c #Conflicts: 847000 | #Constraints: 20446
1310.93/1314.51 c #Conflicts: 848000 | #Constraints: 21446
1310.93/1314.51 c #Conflicts: 849000 | #Constraints: 22446
1310.93/1314.51 c #Conflicts: 850000 | #Constraints: 23446
1310.93/1314.51 c #Conflicts: 851000 | #Constraints: 24446
1310.93/1314.51 c #Conflicts: 852000 | #Constraints: 25446
1310.93/1314.51 c #Conflicts: 853000 | #Constraints: 26446
1310.93/1314.51 c #Conflicts: 854000 | #Constraints: 27446
1310.93/1314.51 c #Conflicts: 855000 | #Constraints: 28446
1310.93/1314.51 c #Conflicts: 856000 | #Constraints: 29446
1310.93/1314.51 c #Conflicts: 857000 | #Constraints: 30446
1310.93/1314.51 c #Conflicts: 858000 | #Constraints: 31446
1310.93/1314.51 c #Conflicts: 859000 | #Constraints: 32446
1310.93/1314.51 c #Conflicts: 860000 | #Constraints: 33446
1310.93/1314.51 c #Conflicts: 861000 | #Constraints: 34446
1310.93/1314.51 c #Conflicts: 862000 | #Constraints: 35446
1310.93/1314.51 c #Conflicts: 863000 | #Constraints: 36446
1310.93/1314.51 c #Conflicts: 864000 | #Constraints: 37446
1310.93/1314.51 c #Conflicts: 865000 | #Constraints: 38446
1310.93/1314.51 c INPROCESSING
1310.93/1314.51 c GARBAGE COLLECT
1310.93/1314.51 c #Conflicts: 866000 | #Constraints: 21044
1310.93/1314.51 c #Conflicts: 867000 | #Constraints: 22044
1310.93/1314.51 c #Conflicts: 868000 | #Constraints: 23044
1310.93/1314.51 c #Conflicts: 869000 | #Constraints: 24044
1310.93/1314.51 c #Conflicts: 870000 | #Constraints: 25044
1310.93/1314.51 c #Conflicts: 871000 | #Constraints: 26044
1310.93/1314.51 c #Conflicts: 872000 | #Constraints: 27044
1310.93/1314.51 c #Conflicts: 873000 | #Constraints: 28044
1310.93/1314.51 c #Conflicts: 874000 | #Constraints: 29044
1310.93/1314.51 c #Conflicts: 875000 | #Constraints: 30044
1310.93/1314.51 c #Conflicts: 876000 | #Constraints: 31044
1310.93/1314.51 c #Conflicts: 877000 | #Constraints: 32044
1310.93/1314.51 c #Conflicts: 878000 | #Constraints: 33044
1310.93/1314.51 c #Conflicts: 879000 | #Constraints: 34044
1310.93/1314.51 c #Conflicts: 880000 | #Constraints: 35044
1310.93/1314.51 c #Conflicts: 881000 | #Constraints: 36044
1310.93/1314.51 c #Conflicts: 882000 | #Constraints: 37044
1310.93/1314.51 c #Conflicts: 883000 | #Constraints: 38044
1310.93/1314.51 c #Conflicts: 884000 | #Constraints: 39044
1310.93/1314.51 c INPROCESSING
1310.93/1314.51 c GARBAGE COLLECT
1310.93/1314.51 c #Conflicts: 885000 | #Constraints: 21449
1310.93/1314.51 c #Conflicts: 886000 | #Constraints: 22449
1310.93/1314.51 c #Conflicts: 887000 | #Constraints: 23449
1310.93/1314.51 c #Conflicts: 888000 | #Constraints: 24449
1310.93/1314.51 c #Conflicts: 889000 | #Constraints: 25449
1310.93/1314.51 c #Conflicts: 890000 | #Constraints: 26449
1310.93/1314.51 c #Conflicts: 891000 | #Constraints: 27449
1310.93/1314.51 c #Conflicts: 892000 | #Constraints: 28449
1453.36/1457.30 c #Conflicts: 893000 | #Constraints: 29449
1453.36/1457.30 c #Conflicts: 894000 | #Constraints: 30449
1453.36/1457.30 c #Conflicts: 895000 | #Constraints: 31449
1453.36/1457.30 c #Conflicts: 896000 | #Constraints: 32449
1453.36/1457.30 c #Conflicts: 897000 | #Constraints: 33449
1453.36/1457.30 c #Conflicts: 898000 | #Constraints: 34449
1453.36/1457.30 c #Conflicts: 899000 | #Constraints: 35449
1453.36/1457.30 c #Conflicts: 900000 | #Constraints: 36449
1453.36/1457.30 c #Conflicts: 901000 | #Constraints: 37449
1453.36/1457.30 c #Conflicts: 902000 | #Constraints: 38449
1453.36/1457.30 c #Conflicts: 903000 | #Constraints: 39449
1453.36/1457.30 c INPROCESSING
1453.36/1457.30 c GARBAGE COLLECT
1453.36/1457.30 c #Conflicts: 904000 | #Constraints: 21645
1453.36/1457.30 c #Conflicts: 905000 | #Constraints: 22645
1453.36/1457.30 c #Conflicts: 906000 | #Constraints: 23645
1453.36/1457.30 c #Conflicts: 907000 | #Constraints: 24645
1453.36/1457.30 c #Conflicts: 908000 | #Constraints: 25645
1453.36/1457.30 c #Conflicts: 909000 | #Constraints: 26645
1453.36/1457.30 c #Conflicts: 910000 | #Constraints: 27645
1453.36/1457.30 c #Conflicts: 911000 | #Constraints: 28645
1453.36/1457.30 c #Conflicts: 912000 | #Constraints: 29645
1453.36/1457.30 c #Conflicts: 913000 | #Constraints: 30645
1453.36/1457.30 c #Conflicts: 914000 | #Constraints: 31645
1453.36/1457.30 c #Conflicts: 915000 | #Constraints: 32645
1453.36/1457.30 c #Conflicts: 916000 | #Constraints: 33645
1453.36/1457.30 c #Conflicts: 917000 | #Constraints: 34645
1453.36/1457.30 c #Conflicts: 918000 | #Constraints: 35645
1453.36/1457.30 c #Conflicts: 919000 | #Constraints: 36645
1453.36/1457.30 c #Conflicts: 920000 | #Constraints: 37645
1453.36/1457.30 c #Conflicts: 921000 | #Constraints: 38645
1453.36/1457.30 c #Conflicts: 922000 | #Constraints: 39645
1453.36/1457.30 c INPROCESSING
1453.36/1457.30 c GARBAGE COLLECT
1453.36/1457.30 c #Conflicts: 923000 | #Constraints: 21652
1453.36/1457.30 c #Conflicts: 924000 | #Constraints: 22652
1453.36/1457.30 c #Conflicts: 925000 | #Constraints: 23652
1453.36/1457.30 c #Conflicts: 926000 | #Constraints: 24652
1453.36/1457.30 c #Conflicts: 927000 | #Constraints: 25652
1453.36/1457.30 c #Conflicts: 928000 | #Constraints: 26652
1453.36/1457.30 c #Conflicts: 929000 | #Constraints: 27652
1453.36/1457.30 c #Conflicts: 930000 | #Constraints: 28652
1453.36/1457.30 c #Conflicts: 931000 | #Constraints: 29652
1453.36/1457.30 c #Conflicts: 932000 | #Constraints: 30652
1453.36/1457.30 c #Conflicts: 933000 | #Constraints: 31652
1453.36/1457.30 c #Conflicts: 934000 | #Constraints: 32652
1453.36/1457.30 c #Conflicts: 935000 | #Constraints: 33652
1453.36/1457.30 c #Conflicts: 936000 | #Constraints: 34652
1453.36/1457.30 c #Conflicts: 937000 | #Constraints: 35652
1453.36/1457.30 c #Conflicts: 938000 | #Constraints: 36652
1453.36/1457.30 c #Conflicts: 939000 | #Constraints: 37652
1453.36/1457.30 c #Conflicts: 940000 | #Constraints: 38652
1453.36/1457.30 c #Conflicts: 941000 | #Constraints: 39652
1453.36/1457.30 c INPROCESSING
1453.36/1457.30 c GARBAGE COLLECT
1453.36/1457.30 c #Conflicts: 942000 | #Constraints: 21453
1453.36/1457.30 c #Conflicts: 943000 | #Constraints: 22453
1453.36/1457.30 c #Conflicts: 944000 | #Constraints: 23453
1453.36/1457.30 c #Conflicts: 945000 | #Constraints: 24453
1453.36/1457.30 c #Conflicts: 946000 | #Constraints: 25453
1453.36/1457.30 c #Conflicts: 947000 | #Constraints: 26453
1453.36/1457.30 c #Conflicts: 948000 | #Constraints: 27453
1453.36/1457.30 c #Conflicts: 949000 | #Constraints: 28453
1453.36/1457.30 c #Conflicts: 950000 | #Constraints: 29453
1453.36/1457.30 c #Conflicts: 951000 | #Constraints: 30453
1453.36/1457.30 c #Conflicts: 952000 | #Constraints: 31453
1453.36/1457.30 c #Conflicts: 953000 | #Constraints: 32453
1453.36/1457.30 c #Conflicts: 954000 | #Constraints: 33453
1453.36/1457.30 c #Conflicts: 955000 | #Constraints: 34453
1453.36/1457.30 c #Conflicts: 956000 | #Constraints: 35453
1453.36/1457.30 c #Conflicts: 957000 | #Constraints: 36453
1453.36/1457.30 c #Conflicts: 958000 | #Constraints: 37453
1453.36/1457.30 c #Conflicts: 959000 | #Constraints: 38453
1453.36/1457.30 c #Conflicts: 960000 | #Constraints: 39453
1453.36/1457.30 c #Conflicts: 961000 | #Constraints: 40453
1453.36/1457.30 c INPROCESSING
1453.36/1457.30 c GARBAGE COLLECT
1453.36/1457.30 c #Conflicts: 962000 | #Constraints: 22048
1453.36/1457.30 c #Conflicts: 963000 | #Constraints: 23048
1453.36/1457.30 c #Conflicts: 964000 | #Constraints: 24048
1453.36/1457.30 c #Conflicts: 965000 | #Constraints: 25048
1453.36/1457.30 c #Conflicts: 966000 | #Constraints: 26048
1453.36/1457.30 c #Conflicts: 967000 | #Constraints: 27048
1453.36/1457.30 c #Conflicts: 968000 | #Constraints: 28048
1568.23/1572.50 c #Conflicts: 969000 | #Constraints: 29048
1568.23/1572.50 c #Conflicts: 970000 | #Constraints: 30048
1568.23/1572.50 c #Conflicts: 971000 | #Constraints: 31048
1568.23/1572.50 c #Conflicts: 972000 | #Constraints: 32048
1568.23/1572.50 c #Conflicts: 973000 | #Constraints: 33048
1568.23/1572.50 c #Conflicts: 974000 | #Constraints: 34048
1568.23/1572.50 c #Conflicts: 975000 | #Constraints: 35048
1568.23/1572.50 c #Conflicts: 976000 | #Constraints: 36048
1568.23/1572.50 c #Conflicts: 977000 | #Constraints: 37048
1568.23/1572.50 c #Conflicts: 978000 | #Constraints: 38048
1568.23/1572.50 c #Conflicts: 979000 | #Constraints: 39048
1568.23/1572.50 c #Conflicts: 980000 | #Constraints: 40048
1568.23/1572.50 c #Conflicts: 981000 | #Constraints: 41048
1568.23/1572.50 c INPROCESSING
1568.23/1572.50 c GARBAGE COLLECT
1568.23/1572.50 c #Conflicts: 982000 | #Constraints: 22464
1568.23/1572.50 c #Conflicts: 983000 | #Constraints: 23464
1568.23/1572.50 c #Conflicts: 984000 | #Constraints: 24464
1568.23/1572.50 c #Conflicts: 985000 | #Constraints: 25464
1568.23/1572.50 c #Conflicts: 986000 | #Constraints: 26464
1568.23/1572.50 c #Conflicts: 987000 | #Constraints: 27464
1568.23/1572.50 c #Conflicts: 988000 | #Constraints: 28464
1568.23/1572.50 c #Conflicts: 989000 | #Constraints: 29464
1568.23/1572.50 c #Conflicts: 990000 | #Constraints: 30464
1568.23/1572.50 c #Conflicts: 991000 | #Constraints: 31464
1568.23/1572.50 c #Conflicts: 992000 | #Constraints: 32464
1568.23/1572.50 c #Conflicts: 993000 | #Constraints: 33464
1568.23/1572.50 c #Conflicts: 994000 | #Constraints: 34464
1568.23/1572.50 c #Conflicts: 995000 | #Constraints: 35464
1568.23/1572.50 c #Conflicts: 996000 | #Constraints: 36464
1568.23/1572.50 c #Conflicts: 997000 | #Constraints: 37464
1568.23/1572.50 c #Conflicts: 998000 | #Constraints: 38464
1568.23/1572.50 c #Conflicts: 999000 | #Constraints: 39464
1568.23/1572.50 c #Conflicts: 1000000 | #Constraints: 40464
1568.23/1572.50 c #Conflicts: 1001000 | #Constraints: 41464
1568.23/1572.50 c INPROCESSING
1568.23/1572.50 c GARBAGE COLLECT
1568.23/1572.50 c #Conflicts: 1002000 | #Constraints: 22666
1568.23/1572.50 c #Conflicts: 1003000 | #Constraints: 23666
1568.23/1572.50 c #Conflicts: 1004000 | #Constraints: 24666
1568.23/1572.50 c #Conflicts: 1005000 | #Constraints: 25666
1568.23/1572.50 c #Conflicts: 1006000 | #Constraints: 26666
1568.23/1572.50 c #Conflicts: 1007000 | #Constraints: 27666
1568.23/1572.50 c #Conflicts: 1008000 | #Constraints: 28666
1568.23/1572.50 c #Conflicts: 1009000 | #Constraints: 29666
1568.23/1572.50 c #Conflicts: 1010000 | #Constraints: 30666
1568.23/1572.50 c #Conflicts: 1011000 | #Constraints: 31666
1568.23/1572.50 c #Conflicts: 1012000 | #Constraints: 32666
1568.23/1572.50 c #Conflicts: 1013000 | #Constraints: 33666
1568.23/1572.50 c #Conflicts: 1014000 | #Constraints: 34666
1568.23/1572.50 c #Conflicts: 1015000 | #Constraints: 35666
1568.23/1572.50 c #Conflicts: 1016000 | #Constraints: 36666
1568.23/1572.50 c #Conflicts: 1017000 | #Constraints: 37666
1568.23/1572.50 c #Conflicts: 1018000 | #Constraints: 38666
1568.23/1572.50 c #Conflicts: 1019000 | #Constraints: 39666
1568.23/1572.50 c #Conflicts: 1020000 | #Constraints: 40666
1568.23/1572.50 c #Conflicts: 1021000 | #Constraints: 41666
1568.23/1572.50 c INPROCESSING
1568.23/1572.50 c GARBAGE COLLECT
1568.23/1572.50 c #Conflicts: 1022000 | #Constraints: 22662
1568.23/1572.50 c #Conflicts: 1023000 | #Constraints: 23662
1568.23/1572.50 c #Conflicts: 1024000 | #Constraints: 24662
1568.23/1572.50 c #Conflicts: 1025000 | #Constraints: 25662
1568.23/1572.50 c #Conflicts: 1026000 | #Constraints: 26662
1568.23/1572.50 c #Conflicts: 1027000 | #Constraints: 27662
1568.23/1572.50 c #Conflicts: 1028000 | #Constraints: 28662
1568.23/1572.50 c #Conflicts: 1029000 | #Constraints: 29662
1568.23/1572.50 c #Conflicts: 1030000 | #Constraints: 30662
1568.23/1572.50 c #Conflicts: 1031000 | #Constraints: 31662
1568.23/1572.50 c #Conflicts: 1032000 | #Constraints: 32662
1568.23/1572.50 c #Conflicts: 1033000 | #Constraints: 33662
1568.23/1572.50 c #Conflicts: 1034000 | #Constraints: 34662
1568.23/1572.50 c #Conflicts: 1035000 | #Constraints: 35662
1568.23/1572.50 c #Conflicts: 1036000 | #Constraints: 36662
1568.23/1572.50 c #Conflicts: 1037000 | #Constraints: 37662
1568.23/1572.50 c #Conflicts: 1038000 | #Constraints: 38662
1568.23/1572.50 c #Conflicts: 1039000 | #Constraints: 39662
1568.23/1572.50 c #Conflicts: 1040000 | #Constraints: 40662
1568.23/1572.50 c #Conflicts: 1041000 | #Constraints: 41662
1568.23/1572.50 c INPROCESSING
1568.23/1572.50 c GARBAGE COLLECT
1568.23/1572.50 c #Conflicts: 1042000 | #Constraints: 22473
1568.23/1572.50 c #Conflicts: 1043000 | #Constraints: 23473
1568.23/1572.50 c #Conflicts: 1044000 | #Constraints: 24473
1745.95/1750.73 c #Conflicts: 1045000 | #Constraints: 25473
1745.95/1750.73 c #Conflicts: 1046000 | #Constraints: 26473
1745.95/1750.73 c #Conflicts: 1047000 | #Constraints: 27473
1745.95/1750.73 c #Conflicts: 1048000 | #Constraints: 28473
1745.95/1750.73 c #Conflicts: 1049000 | #Constraints: 29473
1745.95/1750.73 c #Conflicts: 1050000 | #Constraints: 30473
1745.95/1750.73 c #Conflicts: 1051000 | #Constraints: 31473
1745.95/1750.73 c #Conflicts: 1052000 | #Constraints: 32473
1745.95/1750.73 c #Conflicts: 1053000 | #Constraints: 33473
1745.95/1750.73 c #Conflicts: 1054000 | #Constraints: 34473
1745.95/1750.73 c #Conflicts: 1055000 | #Constraints: 35473
1745.95/1750.73 c #Conflicts: 1056000 | #Constraints: 36473
1745.95/1750.73 c #Conflicts: 1057000 | #Constraints: 37473
1745.95/1750.73 c #Conflicts: 1058000 | #Constraints: 38473
1745.95/1750.73 c #Conflicts: 1059000 | #Constraints: 39473
1745.95/1750.73 c #Conflicts: 1060000 | #Constraints: 40473
1745.95/1750.73 c #Conflicts: 1061000 | #Constraints: 41473
1745.95/1750.73 c #Conflicts: 1062000 | #Constraints: 42473
1745.95/1750.73 c INPROCESSING
1745.95/1750.73 c GARBAGE COLLECT
1745.95/1750.73 c #Conflicts: 1063000 | #Constraints: 23071
1745.95/1750.73 c #Conflicts: 1064000 | #Constraints: 24071
1745.95/1750.73 c #Conflicts: 1065000 | #Constraints: 25071
1745.95/1750.73 c #Conflicts: 1066000 | #Constraints: 26071
1745.95/1750.73 c #Conflicts: 1067000 | #Constraints: 27071
1745.95/1750.73 c #Conflicts: 1068000 | #Constraints: 28071
1745.95/1750.73 c #Conflicts: 1069000 | #Constraints: 29071
1745.95/1750.73 c #Conflicts: 1070000 | #Constraints: 30071
1745.95/1750.73 c #Conflicts: 1071000 | #Constraints: 31071
1745.95/1750.73 c #Conflicts: 1072000 | #Constraints: 32071
1745.95/1750.73 c #Conflicts: 1073000 | #Constraints: 33071
1745.95/1750.73 c #Conflicts: 1074000 | #Constraints: 34071
1745.95/1750.73 c #Conflicts: 1075000 | #Constraints: 35071
1745.95/1750.73 c #Conflicts: 1076000 | #Constraints: 36071
1745.95/1750.73 c #Conflicts: 1077000 | #Constraints: 37071
1745.95/1750.73 c #Conflicts: 1078000 | #Constraints: 38071
1745.95/1750.73 c #Conflicts: 1079000 | #Constraints: 39071
1745.95/1750.73 c #Conflicts: 1080000 | #Constraints: 40071
1745.95/1750.73 c #Conflicts: 1081000 | #Constraints: 41071
1745.95/1750.73 c #Conflicts: 1082000 | #Constraints: 42071
1745.95/1750.73 c #Conflicts: 1083000 | #Constraints: 43071
1745.95/1750.73 c INPROCESSING
1745.95/1750.73 c GARBAGE COLLECT
1745.95/1750.73 c #Conflicts: 1084000 | #Constraints: 23455
1745.95/1750.73 c #Conflicts: 1085000 | #Constraints: 24455
1745.95/1750.73 c #Conflicts: 1086000 | #Constraints: 25455
1745.95/1750.73 c #Conflicts: 1087000 | #Constraints: 26455
1745.95/1750.73 c #Conflicts: 1088000 | #Constraints: 27455
1745.95/1750.73 c #Conflicts: 1089000 | #Constraints: 28455
1745.95/1750.73 c #Conflicts: 1090000 | #Constraints: 29455
1745.95/1750.73 c #Conflicts: 1091000 | #Constraints: 30455
1745.95/1750.73 c #Conflicts: 1092000 | #Constraints: 31455
1745.95/1750.73 c #Conflicts: 1093000 | #Constraints: 32455
1745.95/1750.73 c #Conflicts: 1094000 | #Constraints: 33455
1745.95/1750.73 c #Conflicts: 1095000 | #Constraints: 34455
1745.95/1750.73 c #Conflicts: 1096000 | #Constraints: 35455
1745.95/1750.73 c #Conflicts: 1097000 | #Constraints: 36455
1745.95/1750.73 c #Conflicts: 1098000 | #Constraints: 37455
1745.95/1750.73 c #Conflicts: 1099000 | #Constraints: 38455
1745.95/1750.73 c #Conflicts: 1100000 | #Constraints: 39455
1745.95/1750.73 c #Conflicts: 1101000 | #Constraints: 40455
1745.95/1750.73 c #Conflicts: 1102000 | #Constraints: 41455
1745.95/1750.73 c #Conflicts: 1103000 | #Constraints: 42455
1745.95/1750.73 c #Conflicts: 1104000 | #Constraints: 43455
1745.95/1750.73 c INPROCESSING
1745.95/1750.73 c GARBAGE COLLECT
1745.95/1750.73 c #Conflicts: 1105000 | #Constraints: 23650
1745.95/1750.73 c #Conflicts: 1106000 | #Constraints: 24650
1745.95/1750.73 c #Conflicts: 1107000 | #Constraints: 25650
1745.95/1750.73 c #Conflicts: 1108000 | #Constraints: 26650
1745.95/1750.73 c #Conflicts: 1109000 | #Constraints: 27650
1745.95/1750.73 c #Conflicts: 1110000 | #Constraints: 28650
1745.95/1750.73 c #Conflicts: 1111000 | #Constraints: 29650
1745.95/1750.73 c #Conflicts: 1112000 | #Constraints: 30650
1745.95/1750.73 c #Conflicts: 1113000 | #Constraints: 31650
1745.95/1750.73 c #Conflicts: 1114000 | #Constraints: 32650
1745.95/1750.73 c #Conflicts: 1115000 | #Constraints: 33650
1745.95/1750.73 c #Conflicts: 1116000 | #Constraints: 34650
1745.95/1750.73 c #Conflicts: 1117000 | #Constraints: 35650
1745.95/1750.73 c #Conflicts: 1118000 | #Constraints: 36650
1745.95/1750.73 c #Conflicts: 1119000 | #Constraints: 37650
1745.95/1750.73 c #Conflicts: 1120000 | #Constraints: 38650
1745.95/1750.73 c #Conflicts: 1121000 | #Constraints: 39650
2011.92/2017.48 c #Conflicts: 1122000 | #Constraints: 40650
2011.92/2017.48 c #Conflicts: 1123000 | #Constraints: 41650
2011.92/2017.48 c #Conflicts: 1124000 | #Constraints: 42650
2011.92/2017.48 c #Conflicts: 1125000 | #Constraints: 43650
2011.92/2017.48 c INPROCESSING
2011.92/2017.48 c GARBAGE COLLECT
2011.92/2017.48 c #Conflicts: 1126000 | #Constraints: 23651
2011.92/2017.48 c #Conflicts: 1127000 | #Constraints: 24651
2011.92/2017.48 c #Conflicts: 1128000 | #Constraints: 25651
2011.92/2017.48 c #Conflicts: 1129000 | #Constraints: 26651
2011.92/2017.48 c #Conflicts: 1130000 | #Constraints: 27651
2011.92/2017.48 c #Conflicts: 1131000 | #Constraints: 28651
2011.92/2017.48 c #Conflicts: 1132000 | #Constraints: 29651
2011.92/2017.48 c #Conflicts: 1133000 | #Constraints: 30651
2011.92/2017.48 c #Conflicts: 1134000 | #Constraints: 31651
2011.92/2017.48 c #Conflicts: 1135000 | #Constraints: 32651
2011.92/2017.48 c #Conflicts: 1136000 | #Constraints: 33651
2011.92/2017.48 c #Conflicts: 1137000 | #Constraints: 34651
2011.92/2017.48 c #Conflicts: 1138000 | #Constraints: 35651
2011.92/2017.48 c #Conflicts: 1139000 | #Constraints: 36651
2011.92/2017.48 c #Conflicts: 1140000 | #Constraints: 37651
2011.92/2017.48 c #Conflicts: 1141000 | #Constraints: 38651
2011.92/2017.48 c #Conflicts: 1142000 | #Constraints: 39651
2011.92/2017.48 c #Conflicts: 1143000 | #Constraints: 40651
2011.92/2017.48 c #Conflicts: 1144000 | #Constraints: 41651
2011.92/2017.48 c #Conflicts: 1145000 | #Constraints: 42651
2011.92/2017.48 c #Conflicts: 1146000 | #Constraints: 43651
2011.92/2017.48 c INPROCESSING
2011.92/2017.48 c GARBAGE COLLECT
2011.92/2017.48 c #Conflicts: 1147000 | #Constraints: 23445
2011.92/2017.48 c #Conflicts: 1148000 | #Constraints: 24445
2011.92/2017.48 c #Conflicts: 1149000 | #Constraints: 25445
2011.92/2017.48 c #Conflicts: 1150000 | #Constraints: 26445
2011.92/2017.48 c #Conflicts: 1151000 | #Constraints: 27445
2011.92/2017.48 c #Conflicts: 1152000 | #Constraints: 28445
2011.92/2017.48 c #Conflicts: 1153000 | #Constraints: 29445
2011.92/2017.48 c #Conflicts: 1154000 | #Constraints: 30445
2011.92/2017.48 c #Conflicts: 1155000 | #Constraints: 31445
2011.92/2017.48 c #Conflicts: 1156000 | #Constraints: 32445
2011.92/2017.48 c #Conflicts: 1157000 | #Constraints: 33445
2011.92/2017.48 c #Conflicts: 1158000 | #Constraints: 34445
2011.92/2017.48 c #Conflicts: 1159000 | #Constraints: 35445
2011.92/2017.48 c #Conflicts: 1160000 | #Constraints: 36445
2011.92/2017.48 c #Conflicts: 1161000 | #Constraints: 37445
2011.92/2017.48 c #Conflicts: 1162000 | #Constraints: 38445
2011.92/2017.48 c #Conflicts: 1163000 | #Constraints: 39445
2011.92/2017.48 c #Conflicts: 1164000 | #Constraints: 40445
2011.92/2017.48 c #Conflicts: 1165000 | #Constraints: 41445
2011.92/2017.48 c #Conflicts: 1166000 | #Constraints: 42445
2011.92/2017.48 c #Conflicts: 1167000 | #Constraints: 43445
2011.92/2017.48 c #Conflicts: 1168000 | #Constraints: 44445
2011.92/2017.48 c INPROCESSING
2011.92/2017.48 c GARBAGE COLLECT
2011.92/2017.48 c #Conflicts: 1169000 | #Constraints: 24050
2011.92/2017.48 c #Conflicts: 1170000 | #Constraints: 25050
2011.92/2017.48 c #Conflicts: 1171000 | #Constraints: 26050
2011.92/2017.48 c #Conflicts: 1172000 | #Constraints: 27050
2011.92/2017.48 c #Conflicts: 1173000 | #Constraints: 28050
2011.92/2017.48 c #Conflicts: 1174000 | #Constraints: 29050
2011.92/2017.48 c #Conflicts: 1175000 | #Constraints: 30050
2011.92/2017.48 c #Conflicts: 1176000 | #Constraints: 31050
2011.92/2017.48 c #Conflicts: 1177000 | #Constraints: 32050
2011.92/2017.48 c #Conflicts: 1178000 | #Constraints: 33050
2011.92/2017.48 c #Conflicts: 1179000 | #Constraints: 34050
2011.92/2017.48 c #Conflicts: 1180000 | #Constraints: 35050
2011.92/2017.48 c #Conflicts: 1181000 | #Constraints: 36050
2011.92/2017.48 c #Conflicts: 1182000 | #Constraints: 37050
2011.92/2017.48 c #Conflicts: 1183000 | #Constraints: 38050
2011.92/2017.48 c #Conflicts: 1184000 | #Constraints: 39050
2011.92/2017.48 c #Conflicts: 1185000 | #Constraints: 40050
2011.92/2017.48 c #Conflicts: 1186000 | #Constraints: 41050
2011.92/2017.48 c #Conflicts: 1187000 | #Constraints: 42050
2011.92/2017.48 c #Conflicts: 1188000 | #Constraints: 43050
2011.92/2017.48 c #Conflicts: 1189000 | #Constraints: 44050
2011.92/2017.48 c #Conflicts: 1190000 | #Constraints: 45050
2011.92/2017.48 c INPROCESSING
2011.92/2017.48 c GARBAGE COLLECT
2011.92/2017.48 c #Conflicts: 1191000 | #Constraints: 24454
2011.92/2017.48 c #Conflicts: 1192000 | #Constraints: 25454
2011.92/2017.48 c #Conflicts: 1193000 | #Constraints: 26454
2011.92/2017.48 c #Conflicts: 1194000 | #Constraints: 27454
2011.92/2017.48 c #Conflicts: 1195000 | #Constraints: 28454
2011.92/2017.48 c #Conflicts: 1196000 | #Constraints: 29454
2011.92/2017.48 c #Conflicts: 1197000 | #Constraints: 30454
2309.12/2315.42 c #Conflicts: 1198000 | #Constraints: 31454
2309.12/2315.42 c #Conflicts: 1199000 | #Constraints: 32454
2309.12/2315.42 c #Conflicts: 1200000 | #Constraints: 33454
2309.12/2315.42 c #Conflicts: 1201000 | #Constraints: 34454
2309.12/2315.42 c #Conflicts: 1202000 | #Constraints: 35454
2309.12/2315.42 c #Conflicts: 1203000 | #Constraints: 36454
2309.12/2315.42 c #Conflicts: 1204000 | #Constraints: 37454
2309.12/2315.42 c #Conflicts: 1205000 | #Constraints: 38454
2309.12/2315.42 c #Conflicts: 1206000 | #Constraints: 39454
2309.12/2315.42 c #Conflicts: 1207000 | #Constraints: 40454
2309.12/2315.42 c #Conflicts: 1208000 | #Constraints: 41454
2309.12/2315.42 c #Conflicts: 1209000 | #Constraints: 42454
2309.12/2315.42 c #Conflicts: 1210000 | #Constraints: 43454
2309.12/2315.42 c #Conflicts: 1211000 | #Constraints: 44454
2309.12/2315.42 c #Conflicts: 1212000 | #Constraints: 45454
2309.12/2315.42 c INPROCESSING
2309.12/2315.42 c GARBAGE COLLECT
2309.12/2315.42 c #Conflicts: 1213000 | #Constraints: 24658
2309.12/2315.42 c #Conflicts: 1214000 | #Constraints: 25658
2309.12/2315.42 c #Conflicts: 1215000 | #Constraints: 26658
2309.12/2315.42 c #Conflicts: 1216000 | #Constraints: 27658
2309.12/2315.42 c #Conflicts: 1217000 | #Constraints: 28658
2309.12/2315.42 c #Conflicts: 1218000 | #Constraints: 29658
2309.12/2315.42 c #Conflicts: 1219000 | #Constraints: 30658
2309.12/2315.42 c #Conflicts: 1220000 | #Constraints: 31658
2309.12/2315.42 c #Conflicts: 1221000 | #Constraints: 32658
2309.12/2315.42 c #Conflicts: 1222000 | #Constraints: 33658
2309.12/2315.42 c #Conflicts: 1223000 | #Constraints: 34658
2309.12/2315.42 c #Conflicts: 1224000 | #Constraints: 35658
2309.12/2315.42 c #Conflicts: 1225000 | #Constraints: 36658
2309.12/2315.42 c #Conflicts: 1226000 | #Constraints: 37658
2309.12/2315.42 c #Conflicts: 1227000 | #Constraints: 38658
2309.12/2315.42 c #Conflicts: 1228000 | #Constraints: 39658
2309.12/2315.42 c #Conflicts: 1229000 | #Constraints: 40658
2309.12/2315.42 c #Conflicts: 1230000 | #Constraints: 41658
2309.12/2315.42 c #Conflicts: 1231000 | #Constraints: 42658
2309.12/2315.42 c #Conflicts: 1232000 | #Constraints: 43658
2309.12/2315.42 c #Conflicts: 1233000 | #Constraints: 44658
2309.12/2315.42 c #Conflicts: 1234000 | #Constraints: 45658
2309.12/2315.42 c INPROCESSING
2309.12/2315.42 c GARBAGE COLLECT
2309.12/2315.42 c #Conflicts: 1235000 | #Constraints: 24653
2309.12/2315.42 c #Conflicts: 1236000 | #Constraints: 25653
2309.12/2315.42 c #Conflicts: 1237000 | #Constraints: 26653
2309.12/2315.42 c #Conflicts: 1238000 | #Constraints: 27653
2309.12/2315.42 c #Conflicts: 1239000 | #Constraints: 28653
2309.12/2315.42 c #Conflicts: 1240000 | #Constraints: 29653
2309.12/2315.42 c #Conflicts: 1241000 | #Constraints: 30653
2309.12/2315.42 c #Conflicts: 1242000 | #Constraints: 31653
2309.12/2315.42 c #Conflicts: 1243000 | #Constraints: 32653
2309.12/2315.42 c #Conflicts: 1244000 | #Constraints: 33653
2309.12/2315.42 c #Conflicts: 1245000 | #Constraints: 34653
2309.12/2315.42 c #Conflicts: 1246000 | #Constraints: 35653
2309.12/2315.42 c #Conflicts: 1247000 | #Constraints: 36653
2309.12/2315.42 c #Conflicts: 1248000 | #Constraints: 37653
2309.12/2315.42 c #Conflicts: 1249000 | #Constraints: 38653
2309.12/2315.42 c #Conflicts: 1250000 | #Constraints: 39653
2309.12/2315.42 c #Conflicts: 1251000 | #Constraints: 40653
2309.12/2315.42 c #Conflicts: 1252000 | #Constraints: 41653
2309.12/2315.42 c #Conflicts: 1253000 | #Constraints: 42653
2309.12/2315.42 c #Conflicts: 1254000 | #Constraints: 43653
2309.12/2315.42 c #Conflicts: 1255000 | #Constraints: 44653
2309.12/2315.42 c #Conflicts: 1256000 | #Constraints: 45653
2309.12/2315.42 c INPROCESSING
2309.12/2315.42 c GARBAGE COLLECT
2309.12/2315.42 c #Conflicts: 1257000 | #Constraints: 24450
2309.12/2315.42 c #Conflicts: 1258000 | #Constraints: 25450
2309.12/2315.42 c #Conflicts: 1259000 | #Constraints: 26450
2309.12/2315.42 c #Conflicts: 1260000 | #Constraints: 27450
2309.12/2315.42 c #Conflicts: 1261000 | #Constraints: 28450
2309.12/2315.42 c #Conflicts: 1262000 | #Constraints: 29450
2309.12/2315.42 c #Conflicts: 1263000 | #Constraints: 30450
2309.12/2315.42 c #Conflicts: 1264000 | #Constraints: 31450
2309.12/2315.42 c #Conflicts: 1265000 | #Constraints: 32450
2309.12/2315.42 c #Conflicts: 1266000 | #Constraints: 33450
2309.12/2315.42 c #Conflicts: 1267000 | #Constraints: 34450
2309.12/2315.42 c #Conflicts: 1268000 | #Constraints: 35450
2309.12/2315.42 c #Conflicts: 1269000 | #Constraints: 36450
2309.12/2315.42 c #Conflicts: 1270000 | #Constraints: 37450
2309.12/2315.42 c #Conflicts: 1271000 | #Constraints: 38450
2309.12/2315.42 c #Conflicts: 1272000 | #Constraints: 39450
2309.12/2315.42 c #Conflicts: 1273000 | #Constraints: 40450
2309.12/2315.42 c #Conflicts: 1274000 | #Constraints: 41450
2540.18/2547.18 c #Conflicts: 1275000 | #Constraints: 42450
2540.18/2547.18 c #Conflicts: 1276000 | #Constraints: 43450
2540.18/2547.18 c #Conflicts: 1277000 | #Constraints: 44450
2540.18/2547.18 c #Conflicts: 1278000 | #Constraints: 45450
2540.18/2547.18 c #Conflicts: 1279000 | #Constraints: 46450
2540.18/2547.18 c INPROCESSING
2540.18/2547.18 c GARBAGE COLLECT
2540.18/2547.18 c #Conflicts: 1280000 | #Constraints: 25053
2540.18/2547.18 c #Conflicts: 1281000 | #Constraints: 26053
2540.18/2547.18 c #Conflicts: 1282000 | #Constraints: 27053
2540.18/2547.18 c #Conflicts: 1283000 | #Constraints: 28053
2540.18/2547.18 c #Conflicts: 1284000 | #Constraints: 29053
2540.18/2547.18 c #Conflicts: 1285000 | #Constraints: 30053
2540.18/2547.18 c #Conflicts: 1286000 | #Constraints: 31053
2540.18/2547.18 c #Conflicts: 1287000 | #Constraints: 32053
2540.18/2547.18 c #Conflicts: 1288000 | #Constraints: 33053
2540.18/2547.18 c #Conflicts: 1289000 | #Constraints: 34053
2540.18/2547.18 c #Conflicts: 1290000 | #Constraints: 35053
2540.18/2547.18 c #Conflicts: 1291000 | #Constraints: 36053
2540.18/2547.18 c #Conflicts: 1292000 | #Constraints: 37053
2540.18/2547.18 c #Conflicts: 1293000 | #Constraints: 38053
2540.18/2547.18 c #Conflicts: 1294000 | #Constraints: 39053
2540.18/2547.18 c #Conflicts: 1295000 | #Constraints: 40053
2540.18/2547.18 c #Conflicts: 1296000 | #Constraints: 41053
2540.18/2547.18 c #Conflicts: 1297000 | #Constraints: 42053
2540.18/2547.18 c #Conflicts: 1298000 | #Constraints: 43053
2540.18/2547.18 c #Conflicts: 1299000 | #Constraints: 44053
2540.18/2547.18 c #Conflicts: 1300000 | #Constraints: 45053
2540.18/2547.18 c #Conflicts: 1301000 | #Constraints: 46053
2540.18/2547.18 c #Conflicts: 1302000 | #Constraints: 47053
2540.18/2547.18 c INPROCESSING
2540.18/2547.18 c GARBAGE COLLECT
2540.18/2547.18 c #Conflicts: 1303000 | #Constraints: 25452
2540.18/2547.18 c #Conflicts: 1304000 | #Constraints: 26452
2540.18/2547.18 c #Conflicts: 1305000 | #Constraints: 27452
2540.18/2547.18 c #Conflicts: 1306000 | #Constraints: 28452
2540.18/2547.18 c #Conflicts: 1307000 | #Constraints: 29452
2540.18/2547.18 c #Conflicts: 1308000 | #Constraints: 30452
2540.18/2547.18 c #Conflicts: 1309000 | #Constraints: 31452
2540.18/2547.18 c #Conflicts: 1310000 | #Constraints: 32452
2540.18/2547.18 c #Conflicts: 1311000 | #Constraints: 33452
2540.18/2547.18 c #Conflicts: 1312000 | #Constraints: 34452
2540.18/2547.18 c #Conflicts: 1313000 | #Constraints: 35452
2540.18/2547.18 c #Conflicts: 1314000 | #Constraints: 36452
2540.18/2547.18 c #Conflicts: 1315000 | #Constraints: 37452
2540.18/2547.18 c #Conflicts: 1316000 | #Constraints: 38452
2540.18/2547.18 c #Conflicts: 1317000 | #Constraints: 39452
2540.18/2547.18 c #Conflicts: 1318000 | #Constraints: 40452
2540.18/2547.18 c #Conflicts: 1319000 | #Constraints: 41452
2540.18/2547.18 c #Conflicts: 1320000 | #Constraints: 42452
2540.18/2547.18 c #Conflicts: 1321000 | #Constraints: 43452
2540.18/2547.18 c #Conflicts: 1322000 | #Constraints: 44452
2540.18/2547.18 c #Conflicts: 1323000 | #Constraints: 45452
2540.18/2547.18 c #Conflicts: 1324000 | #Constraints: 46452
2540.18/2547.18 c #Conflicts: 1325000 | #Constraints: 47452
2540.18/2547.18 c INPROCESSING
2540.18/2547.18 c GARBAGE COLLECT
2540.18/2547.18 c #Conflicts: 1326000 | #Constraints: 25652
2540.18/2547.18 c #Conflicts: 1327000 | #Constraints: 26652
2540.18/2547.18 c #Conflicts: 1328000 | #Constraints: 27652
2540.18/2547.18 c #Conflicts: 1329000 | #Constraints: 28652
2540.18/2547.18 c #Conflicts: 1330000 | #Constraints: 29652
2540.18/2547.18 c #Conflicts: 1331000 | #Constraints: 30652
2540.18/2547.18 c #Conflicts: 1332000 | #Constraints: 31652
2540.18/2547.18 c #Conflicts: 1333000 | #Constraints: 32652
2540.18/2547.18 c #Conflicts: 1334000 | #Constraints: 33652
2540.18/2547.18 c #Conflicts: 1335000 | #Constraints: 34652
2540.18/2547.18 c #Conflicts: 1336000 | #Constraints: 35652
2540.18/2547.18 c #Conflicts: 1337000 | #Constraints: 36652
2540.18/2547.18 c #Conflicts: 1338000 | #Constraints: 37652
2540.18/2547.18 c #Conflicts: 1339000 | #Constraints: 38652
2540.18/2547.18 c #Conflicts: 1340000 | #Constraints: 39652
2540.18/2547.18 c #Conflicts: 1341000 | #Constraints: 40652
2540.18/2547.18 c #Conflicts: 1342000 | #Constraints: 41652
2540.18/2547.18 c #Conflicts: 1343000 | #Constraints: 42652
2540.18/2547.18 c #Conflicts: 1344000 | #Constraints: 43652
2540.18/2547.18 c #Conflicts: 1345000 | #Constraints: 44652
2540.18/2547.18 c #Conflicts: 1346000 | #Constraints: 45652
2540.18/2547.18 c #Conflicts: 1347000 | #Constraints: 46652
2540.18/2547.18 c #Conflicts: 1348000 | #Constraints: 47652
2540.18/2547.18 c INPROCESSING
2540.18/2547.18 c GARBAGE COLLECT
2540.18/2547.18 c #Conflicts: 1349000 | #Constraints: 25650
2540.18/2547.18 c #Conflicts: 1350000 | #Constraints: 26650
2771.73/2779.30 c #Conflicts: 1351000 | #Constraints: 27650
2771.73/2779.30 c #Conflicts: 1352000 | #Constraints: 28650
2771.73/2779.30 c #Conflicts: 1353000 | #Constraints: 29650
2771.73/2779.30 c #Conflicts: 1354000 | #Constraints: 30650
2771.73/2779.30 c #Conflicts: 1355000 | #Constraints: 31650
2771.73/2779.30 c #Conflicts: 1356000 | #Constraints: 32650
2771.73/2779.30 c #Conflicts: 1357000 | #Constraints: 33650
2771.73/2779.30 c #Conflicts: 1358000 | #Constraints: 34650
2771.73/2779.30 c #Conflicts: 1359000 | #Constraints: 35650
2771.73/2779.30 c #Conflicts: 1360000 | #Constraints: 36650
2771.73/2779.30 c #Conflicts: 1361000 | #Constraints: 37650
2771.73/2779.30 c #Conflicts: 1362000 | #Constraints: 38650
2771.73/2779.30 c #Conflicts: 1363000 | #Constraints: 39650
2771.73/2779.30 c #Conflicts: 1364000 | #Constraints: 40650
2771.73/2779.30 c #Conflicts: 1365000 | #Constraints: 41650
2771.73/2779.30 c #Conflicts: 1366000 | #Constraints: 42650
2771.73/2779.30 c #Conflicts: 1367000 | #Constraints: 43650
2771.73/2779.30 c #Conflicts: 1368000 | #Constraints: 44650
2771.73/2779.30 c #Conflicts: 1369000 | #Constraints: 45650
2771.73/2779.30 c #Conflicts: 1370000 | #Constraints: 46650
2771.73/2779.30 c #Conflicts: 1371000 | #Constraints: 47650
2771.73/2779.30 c INPROCESSING
2771.73/2779.30 c GARBAGE COLLECT
2771.73/2779.30 c #Conflicts: 1372000 | #Constraints: 25470
2771.73/2779.30 c #Conflicts: 1373000 | #Constraints: 26470
2771.73/2779.30 c #Conflicts: 1374000 | #Constraints: 27470
2771.73/2779.30 c #Conflicts: 1375000 | #Constraints: 28470
2771.73/2779.30 c #Conflicts: 1376000 | #Constraints: 29470
2771.73/2779.30 c #Conflicts: 1377000 | #Constraints: 30470
2771.73/2779.30 c #Conflicts: 1378000 | #Constraints: 31470
2771.73/2779.30 c #Conflicts: 1379000 | #Constraints: 32470
2771.73/2779.30 c #Conflicts: 1380000 | #Constraints: 33470
2771.73/2779.30 c #Conflicts: 1381000 | #Constraints: 34470
2771.73/2779.30 c #Conflicts: 1382000 | #Constraints: 35470
2771.73/2779.30 c #Conflicts: 1383000 | #Constraints: 36470
2771.73/2779.30 c #Conflicts: 1384000 | #Constraints: 37470
2771.73/2779.30 c #Conflicts: 1385000 | #Constraints: 38470
2771.73/2779.30 c #Conflicts: 1386000 | #Constraints: 39470
2771.73/2779.30 c #Conflicts: 1387000 | #Constraints: 40470
2771.73/2779.30 c #Conflicts: 1388000 | #Constraints: 41470
2771.73/2779.30 c #Conflicts: 1389000 | #Constraints: 42470
2771.73/2779.30 c #Conflicts: 1390000 | #Constraints: 43470
2771.73/2779.30 c #Conflicts: 1391000 | #Constraints: 44470
2771.73/2779.30 c #Conflicts: 1392000 | #Constraints: 45470
2771.73/2779.30 c #Conflicts: 1393000 | #Constraints: 46470
2771.73/2779.30 c #Conflicts: 1394000 | #Constraints: 47470
2771.73/2779.30 c #Conflicts: 1395000 | #Constraints: 48470
2771.73/2779.30 c INPROCESSING
2771.73/2779.30 c GARBAGE COLLECT
2771.73/2779.30 c #Conflicts: 1396000 | #Constraints: 26059
2771.73/2779.30 c #Conflicts: 1397000 | #Constraints: 27059
2771.73/2779.30 c #Conflicts: 1398000 | #Constraints: 28059
2771.73/2779.30 c #Conflicts: 1399000 | #Constraints: 29059
2771.73/2779.30 c #Conflicts: 1400000 | #Constraints: 30059
2771.73/2779.30 c #Conflicts: 1401000 | #Constraints: 31059
2771.73/2779.30 c #Conflicts: 1402000 | #Constraints: 32059
2771.73/2779.30 c #Conflicts: 1403000 | #Constraints: 33059
2771.73/2779.30 c #Conflicts: 1404000 | #Constraints: 34059
2771.73/2779.30 c #Conflicts: 1405000 | #Constraints: 35059
2771.73/2779.30 c #Conflicts: 1406000 | #Constraints: 36059
2771.73/2779.30 c #Conflicts: 1407000 | #Constraints: 37059
2771.73/2779.30 c #Conflicts: 1408000 | #Constraints: 38059
2771.73/2779.30 c #Conflicts: 1409000 | #Constraints: 39059
2771.73/2779.30 c #Conflicts: 1410000 | #Constraints: 40059
2771.73/2779.30 c #Conflicts: 1411000 | #Constraints: 41059
2771.73/2779.30 c #Conflicts: 1412000 | #Constraints: 42059
2771.73/2779.30 c #Conflicts: 1413000 | #Constraints: 43059
2771.73/2779.30 c #Conflicts: 1414000 | #Constraints: 44059
2771.73/2779.30 c #Conflicts: 1415000 | #Constraints: 45059
2771.73/2779.30 c #Conflicts: 1416000 | #Constraints: 46059
2771.73/2779.30 c #Conflicts: 1417000 | #Constraints: 47059
2771.73/2779.30 c #Conflicts: 1418000 | #Constraints: 48059
2771.73/2779.30 c #Conflicts: 1419000 | #Constraints: 49059
2771.73/2779.30 c INPROCESSING
2771.73/2779.30 c GARBAGE COLLECT
2771.73/2779.30 c #Conflicts: 1420000 | #Constraints: 26460
2771.73/2779.30 c #Conflicts: 1421000 | #Constraints: 27460
2771.73/2779.30 c #Conflicts: 1422000 | #Constraints: 28460
2771.73/2779.30 c #Conflicts: 1423000 | #Constraints: 29460
2771.73/2779.30 c #Conflicts: 1424000 | #Constraints: 30460
2771.73/2779.30 c #Conflicts: 1425000 | #Constraints: 31460
2771.73/2779.30 c #Conflicts: 1426000 | #Constraints: 32460
2771.73/2779.30 c #Conflicts: 1427000 | #Constraints: 33460
3050.06/3058.49 c #Conflicts: 1428000 | #Constraints: 34460
3050.06/3058.49 c #Conflicts: 1429000 | #Constraints: 35460
3050.06/3058.49 c #Conflicts: 1430000 | #Constraints: 36460
3050.06/3058.49 c #Conflicts: 1431000 | #Constraints: 37460
3050.06/3058.49 c #Conflicts: 1432000 | #Constraints: 38460
3050.06/3058.49 c #Conflicts: 1433000 | #Constraints: 39460
3050.06/3058.49 c #Conflicts: 1434000 | #Constraints: 40460
3050.06/3058.49 c #Conflicts: 1435000 | #Constraints: 41460
3050.06/3058.49 c #Conflicts: 1436000 | #Constraints: 42460
3050.06/3058.49 c #Conflicts: 1437000 | #Constraints: 43460
3050.06/3058.49 c #Conflicts: 1438000 | #Constraints: 44460
3050.06/3058.49 c #Conflicts: 1439000 | #Constraints: 45460
3050.06/3058.49 c #Conflicts: 1440000 | #Constraints: 46460
3050.06/3058.49 c #Conflicts: 1441000 | #Constraints: 47460
3050.06/3058.49 c #Conflicts: 1442000 | #Constraints: 48460
3050.06/3058.49 c #Conflicts: 1443000 | #Constraints: 49460
3050.06/3058.49 c INPROCESSING
3050.06/3058.49 c GARBAGE COLLECT
3050.06/3058.49 c #Conflicts: 1444000 | #Constraints: 26659
3050.06/3058.49 c #Conflicts: 1445000 | #Constraints: 27659
3050.06/3058.49 c #Conflicts: 1446000 | #Constraints: 28659
3050.06/3058.49 c #Conflicts: 1447000 | #Constraints: 29659
3050.06/3058.49 c #Conflicts: 1448000 | #Constraints: 30659
3050.06/3058.49 c #Conflicts: 1449000 | #Constraints: 31659
3050.06/3058.49 c #Conflicts: 1450000 | #Constraints: 32659
3050.06/3058.49 c #Conflicts: 1451000 | #Constraints: 33659
3050.06/3058.49 c #Conflicts: 1452000 | #Constraints: 34659
3050.06/3058.49 c #Conflicts: 1453000 | #Constraints: 35659
3050.06/3058.49 c #Conflicts: 1454000 | #Constraints: 36659
3050.06/3058.49 c #Conflicts: 1455000 | #Constraints: 37659
3050.06/3058.49 c #Conflicts: 1456000 | #Constraints: 38659
3050.06/3058.49 c #Conflicts: 1457000 | #Constraints: 39659
3050.06/3058.49 c #Conflicts: 1458000 | #Constraints: 40659
3050.06/3058.49 c #Conflicts: 1459000 | #Constraints: 41659
3050.06/3058.49 c #Conflicts: 1460000 | #Constraints: 42659
3050.06/3058.49 c #Conflicts: 1461000 | #Constraints: 43659
3050.06/3058.49 c #Conflicts: 1462000 | #Constraints: 44659
3050.06/3058.49 c #Conflicts: 1463000 | #Constraints: 45659
3050.06/3058.49 c #Conflicts: 1464000 | #Constraints: 46659
3050.06/3058.49 c #Conflicts: 1465000 | #Constraints: 47659
3050.06/3058.49 c #Conflicts: 1466000 | #Constraints: 48659
3050.06/3058.49 c #Conflicts: 1467000 | #Constraints: 49659
3050.06/3058.49 c INPROCESSING
3050.06/3058.49 c GARBAGE COLLECT
3050.06/3058.49 c #Conflicts: 1468000 | #Constraints: 26662
3050.06/3058.49 c #Conflicts: 1469000 | #Constraints: 27662
3050.06/3058.49 c #Conflicts: 1470000 | #Constraints: 28662
3050.06/3058.49 c #Conflicts: 1471000 | #Constraints: 29662
3050.06/3058.49 c #Conflicts: 1472000 | #Constraints: 30662
3050.06/3058.49 c #Conflicts: 1473000 | #Constraints: 31662
3050.06/3058.49 c #Conflicts: 1474000 | #Constraints: 32662
3050.06/3058.49 c #Conflicts: 1475000 | #Constraints: 33662
3050.06/3058.49 c #Conflicts: 1476000 | #Constraints: 34662
3050.06/3058.49 c #Conflicts: 1477000 | #Constraints: 35662
3050.06/3058.49 c #Conflicts: 1478000 | #Constraints: 36662
3050.06/3058.49 c #Conflicts: 1479000 | #Constraints: 37662
3050.06/3058.49 c #Conflicts: 1480000 | #Constraints: 38662
3050.06/3058.49 c #Conflicts: 1481000 | #Constraints: 39662
3050.06/3058.49 c #Conflicts: 1482000 | #Constraints: 40662
3050.06/3058.49 c #Conflicts: 1483000 | #Constraints: 41662
3050.06/3058.49 c #Conflicts: 1484000 | #Constraints: 42662
3050.06/3058.49 c #Conflicts: 1485000 | #Constraints: 43662
3050.06/3058.49 c #Conflicts: 1486000 | #Constraints: 44662
3050.06/3058.49 c #Conflicts: 1487000 | #Constraints: 45662
3050.06/3058.49 c #Conflicts: 1488000 | #Constraints: 46662
3050.06/3058.49 c #Conflicts: 1489000 | #Constraints: 47662
3050.06/3058.49 c #Conflicts: 1490000 | #Constraints: 48662
3050.06/3058.49 c #Conflicts: 1491000 | #Constraints: 49662
3050.06/3058.49 c INPROCESSING
3050.06/3058.49 c GARBAGE COLLECT
3050.06/3058.49 c #Conflicts: 1492000 | #Constraints: 26461
3050.06/3058.49 c #Conflicts: 1493000 | #Constraints: 27461
3050.06/3058.49 c #Conflicts: 1494000 | #Constraints: 28461
3050.06/3058.49 c #Conflicts: 1495000 | #Constraints: 29461
3050.06/3058.49 c #Conflicts: 1496000 | #Constraints: 30461
3050.06/3058.49 c #Conflicts: 1497000 | #Constraints: 31461
3050.06/3058.49 c #Conflicts: 1498000 | #Constraints: 32461
3050.06/3058.49 c #Conflicts: 1499000 | #Constraints: 33461
3050.06/3058.49 c #Conflicts: 1500000 | #Constraints: 34461
3050.06/3058.49 c #Conflicts: 1501000 | #Constraints: 35461
3050.06/3058.49 c #Conflicts: 1502000 | #Constraints: 36461
3050.06/3058.49 c #Conflicts: 1503000 | #Constraints: 37461
3050.06/3058.49 c #Conflicts: 1504000 | #Constraints: 38461
3334.27/3343.48 c #Conflicts: 1505000 | #Constraints: 39461
3334.27/3343.48 c #Conflicts: 1506000 | #Constraints: 40461
3334.27/3343.48 c #Conflicts: 1507000 | #Constraints: 41461
3334.27/3343.48 c #Conflicts: 1508000 | #Constraints: 42461
3334.27/3343.48 c #Conflicts: 1509000 | #Constraints: 43461
3334.27/3343.48 c #Conflicts: 1510000 | #Constraints: 44461
3334.27/3343.48 c #Conflicts: 1511000 | #Constraints: 45461
3334.27/3343.48 c #Conflicts: 1512000 | #Constraints: 46461
3334.27/3343.48 c #Conflicts: 1513000 | #Constraints: 47461
3334.27/3343.48 c #Conflicts: 1514000 | #Constraints: 48461
3334.27/3343.48 c #Conflicts: 1515000 | #Constraints: 49461
3334.27/3343.48 c #Conflicts: 1516000 | #Constraints: 50461
3334.27/3343.48 c INPROCESSING
3334.27/3343.48 c GARBAGE COLLECT
3334.27/3343.48 c #Conflicts: 1517000 | #Constraints: 27048
3334.27/3343.48 c #Conflicts: 1518000 | #Constraints: 28048
3334.27/3343.48 c #Conflicts: 1519000 | #Constraints: 29048
3334.27/3343.48 c #Conflicts: 1520000 | #Constraints: 30048
3334.27/3343.48 c #Conflicts: 1521000 | #Constraints: 31048
3334.27/3343.48 c #Conflicts: 1522000 | #Constraints: 32048
3334.27/3343.48 c #Conflicts: 1523000 | #Constraints: 33048
3334.27/3343.48 c #Conflicts: 1524000 | #Constraints: 34048
3334.27/3343.48 c #Conflicts: 1525000 | #Constraints: 35048
3334.27/3343.48 c #Conflicts: 1526000 | #Constraints: 36048
3334.27/3343.48 c #Conflicts: 1527000 | #Constraints: 37048
3334.27/3343.48 c #Conflicts: 1528000 | #Constraints: 38048
3334.27/3343.48 c #Conflicts: 1529000 | #Constraints: 39048
3334.27/3343.48 c #Conflicts: 1530000 | #Constraints: 40048
3334.27/3343.48 c #Conflicts: 1531000 | #Constraints: 41048
3334.27/3343.48 c #Conflicts: 1532000 | #Constraints: 42048
3334.27/3343.48 c #Conflicts: 1533000 | #Constraints: 43048
3334.27/3343.48 c #Conflicts: 1534000 | #Constraints: 44048
3334.27/3343.48 c #Conflicts: 1535000 | #Constraints: 45048
3334.27/3343.48 c #Conflicts: 1536000 | #Constraints: 46048
3334.27/3343.48 c #Conflicts: 1537000 | #Constraints: 47048
3334.27/3343.48 c #Conflicts: 1538000 | #Constraints: 48048
3334.27/3343.48 c #Conflicts: 1539000 | #Constraints: 49048
3334.27/3343.48 c #Conflicts: 1540000 | #Constraints: 50048
3334.27/3343.48 c #Conflicts: 1541000 | #Constraints: 51048
3334.27/3343.48 c INPROCESSING
3334.27/3343.48 c GARBAGE COLLECT
3334.27/3343.48 c #Conflicts: 1542000 | #Constraints: 27458
3334.27/3343.48 c #Conflicts: 1543000 | #Constraints: 28458
3334.27/3343.48 c #Conflicts: 1544000 | #Constraints: 29458
3334.27/3343.48 c #Conflicts: 1545000 | #Constraints: 30458
3334.27/3343.48 c #Conflicts: 1546000 | #Constraints: 31458
3334.27/3343.48 c #Conflicts: 1547000 | #Constraints: 32458
3334.27/3343.48 c #Conflicts: 1548000 | #Constraints: 33458
3334.27/3343.48 c #Conflicts: 1549000 | #Constraints: 34458
3334.27/3343.48 c #Conflicts: 1550000 | #Constraints: 35458
3334.27/3343.48 c #Conflicts: 1551000 | #Constraints: 36458
3334.27/3343.48 c #Conflicts: 1552000 | #Constraints: 37458
3334.27/3343.48 c #Conflicts: 1553000 | #Constraints: 38458
3334.27/3343.48 c #Conflicts: 1554000 | #Constraints: 39458
3334.27/3343.48 c #Conflicts: 1555000 | #Constraints: 40458
3334.27/3343.48 c #Conflicts: 1556000 | #Constraints: 41458
3334.27/3343.48 c #Conflicts: 1557000 | #Constraints: 42458
3334.27/3343.48 c #Conflicts: 1558000 | #Constraints: 43458
3334.27/3343.48 c #Conflicts: 1559000 | #Constraints: 44458
3334.27/3343.48 c #Conflicts: 1560000 | #Constraints: 45458
3334.27/3343.48 c #Conflicts: 1561000 | #Constraints: 46458
3334.27/3343.48 c #Conflicts: 1562000 | #Constraints: 47458
3334.27/3343.48 c #Conflicts: 1563000 | #Constraints: 48458
3334.27/3343.48 c #Conflicts: 1564000 | #Constraints: 49458
3334.27/3343.48 c #Conflicts: 1565000 | #Constraints: 50458
3334.27/3343.48 c #Conflicts: 1566000 | #Constraints: 51458
3334.27/3343.48 c INPROCESSING
3334.27/3343.48 c GARBAGE COLLECT
3334.27/3343.48 c #Conflicts: 1567000 | #Constraints: 27656
3334.27/3343.48 c #Conflicts: 1568000 | #Constraints: 28656
3334.27/3343.48 c #Conflicts: 1569000 | #Constraints: 29656
3334.27/3343.48 c #Conflicts: 1570000 | #Constraints: 30656
3334.27/3343.48 c #Conflicts: 1571000 | #Constraints: 31656
3334.27/3343.48 c #Conflicts: 1572000 | #Constraints: 32656
3334.27/3343.48 c #Conflicts: 1573000 | #Constraints: 33656
3334.27/3343.48 c #Conflicts: 1574000 | #Constraints: 34656
3334.27/3343.48 c #Conflicts: 1575000 | #Constraints: 35656
3334.27/3343.48 c #Conflicts: 1576000 | #Constraints: 36656
3334.27/3343.48 c #Conflicts: 1577000 | #Constraints: 37656
3334.27/3343.48 c #Conflicts: 1578000 | #Constraints: 38656
3334.27/3343.48 c #Conflicts: 1579000 | #Constraints: 39656
3334.27/3343.48 c #Conflicts: 1580000 | #Constraints: 40656
3334.27/3343.48 c #Conflicts: 1581000 | #Constraints: 41656
3530.51/3540.26 c #Conflicts: 1582000 | #Constraints: 42656
3530.51/3540.26 c #Conflicts: 1583000 | #Constraints: 43656
3530.51/3540.26 c #Conflicts: 1584000 | #Constraints: 44656
3530.51/3540.26 c #Conflicts: 1585000 | #Constraints: 45656
3530.51/3540.26 c #Conflicts: 1586000 | #Constraints: 46656
3530.51/3540.26 c #Conflicts: 1587000 | #Constraints: 47656
3530.51/3540.26 c #Conflicts: 1588000 | #Constraints: 48656
3530.51/3540.26 c #Conflicts: 1589000 | #Constraints: 49656
3530.51/3540.26 c #Conflicts: 1590000 | #Constraints: 50656
3530.51/3540.26 c #Conflicts: 1591000 | #Constraints: 51656
3530.51/3540.26 c INPROCESSING
3530.51/3540.26 c GARBAGE COLLECT
3530.51/3540.26 c #Conflicts: 1592000 | #Constraints: 27655
3530.51/3540.26 c #Conflicts: 1593000 | #Constraints: 28655
3530.51/3540.26 c #Conflicts: 1594000 | #Constraints: 29655
3530.51/3540.26 c #Conflicts: 1595000 | #Constraints: 30655
3530.51/3540.26 c #Conflicts: 1596000 | #Constraints: 31655
3530.51/3540.26 c #Conflicts: 1597000 | #Constraints: 32655
3530.51/3540.26 c #Conflicts: 1598000 | #Constraints: 33655
3530.51/3540.26 c #Conflicts: 1599000 | #Constraints: 34655
3530.51/3540.26 c #Conflicts: 1600000 | #Constraints: 35655
3530.51/3540.26 c #Conflicts: 1601000 | #Constraints: 36655
3530.51/3540.26 c #Conflicts: 1602000 | #Constraints: 37655
3530.51/3540.26 c #Conflicts: 1603000 | #Constraints: 38655
3530.51/3540.26 c #Conflicts: 1604000 | #Constraints: 39655
3530.51/3540.26 c #Conflicts: 1605000 | #Constraints: 40655
3530.51/3540.26 c #Conflicts: 1606000 | #Constraints: 41655
3530.51/3540.26 c #Conflicts: 1607000 | #Constraints: 42655
3530.51/3540.26 c #Conflicts: 1608000 | #Constraints: 43655
3530.51/3540.26 c #Conflicts: 1609000 | #Constraints: 44655
3530.51/3540.26 c #Conflicts: 1610000 | #Constraints: 45655
3530.51/3540.26 c #Conflicts: 1611000 | #Constraints: 46655
3530.51/3540.26 c #Conflicts: 1612000 | #Constraints: 47655
3530.51/3540.26 c #Conflicts: 1613000 | #Constraints: 48655
3530.51/3540.26 c #Conflicts: 1614000 | #Constraints: 49655
3530.51/3540.26 c #Conflicts: 1615000 | #Constraints: 50655
3530.51/3540.26 c #Conflicts: 1616000 | #Constraints: 51655
3530.51/3540.26 c INPROCESSING
3530.51/3540.26 c GARBAGE COLLECT
3530.51/3540.26 c #Conflicts: 1617000 | #Constraints: 27449
3530.51/3540.26 c #Conflicts: 1618000 | #Constraints: 28449
3530.51/3540.26 c #Conflicts: 1619000 | #Constraints: 29449
3530.51/3540.26 c #Conflicts: 1620000 | #Constraints: 30449
3530.51/3540.26 c #Conflicts: 1621000 | #Constraints: 31449
3530.51/3540.26 c #Conflicts: 1622000 | #Constraints: 32449
3530.51/3540.26 c #Conflicts: 1623000 | #Constraints: 33449
3530.51/3540.26 c #Conflicts: 1624000 | #Constraints: 34449
3530.51/3540.26 c #Conflicts: 1625000 | #Constraints: 35449
3530.51/3540.26 c #Conflicts: 1626000 | #Constraints: 36449
3530.51/3540.26 c #Conflicts: 1627000 | #Constraints: 37449
3530.51/3540.26 c #Conflicts: 1628000 | #Constraints: 38449
3530.51/3540.26 c #Conflicts: 1629000 | #Constraints: 39449
3530.51/3540.26 c #Conflicts: 1630000 | #Constraints: 40449
3530.51/3540.26 c #Conflicts: 1631000 | #Constraints: 41449
3530.51/3540.26 c GLOBAL bounds - >= 1825130206476 @ 3489.52
3530.51/3540.29 c GLOBAL bounds - >= 1825130206476 @ 3489.55
3530.61/3540.33 c GLOBAL bounds - >= 1825130206476 @ 3489.57
3530.61/3540.33 c GLOBAL bounds - >= 1825130206476 @ 3489.58
3530.61/3540.37 c GLOBAL bounds - >= 1825130206476 @ 3489.6
3530.61/3540.37 c GLOBAL bounds - >= 1825130206476 @ 3489.61
3530.71/3540.41 c GLOBAL bounds - >= 1825130206476 @ 3489.63
3530.71/3540.42 c GLOBAL bounds - >= 1825130206476 @ 3489.64
3530.71/3540.46 c GLOBAL bounds - >= 1825130206476 @ 3489.67
3530.71/3540.46 c GLOBAL bounds - >= 1825130206476 @ 3489.67
3530.81/3540.50 c GLOBAL bounds - >= 1825130206476 @ 3489.7
3530.81/3540.50 c GLOBAL bounds - >= 1825130206476 @ 3489.7
3530.81/3540.54 c GLOBAL bounds - >= 1825130206476 @ 3489.73
3530.81/3540.55 c GLOBAL bounds - >= 1825130206476 @ 3489.73
3530.81/3540.59 c GLOBAL bounds - >= 1825130206476 @ 3489.76
3530.81/3540.59 c GLOBAL bounds - >= 1825130206476 @ 3489.76
3530.91/3540.63 c GLOBAL bounds - >= 1825130206476 @ 3489.79
3530.91/3540.64 c GLOBAL bounds - >= 1825130206476 @ 3489.79
3530.91/3540.68 c GLOBAL bounds - >= 1825130206476 @ 3489.82
3530.91/3540.68 c GLOBAL bounds - >= 1825130206476 @ 3489.82
3531.01/3540.73 c GLOBAL bounds - >= 1825130206476 @ 3489.86
3531.01/3540.78 c GLOBAL bounds - >= 1825130206476 @ 3489.9
3531.11/3540.81 c GLOBAL bounds - >= 1825130206476 @ 3489.92
3531.11/3540.85 c GLOBAL bounds - >= 1825130206476 @ 3489.95
3601.11/3611.02 c #Conflicts: 1632000 | #Constraints: 42482
3601.11/3611.02 c #Conflicts: 1633000 | #Constraints: 43482
3601.11/3611.02 c #Conflicts: 1634000 | #Constraints: 44482
3601.11/3611.02 c #Conflicts: 1635000 | #Constraints: 45482
3601.11/3611.02 c #Conflicts: 1636000 | #Constraints: 46482
3601.11/3611.02 c #Conflicts: 1637000 | #Constraints: 47482
3601.11/3611.02 c #Conflicts: 1638000 | #Constraints: 48482
3601.11/3611.02 c #Conflicts: 1639000 | #Constraints: 49482
3601.11/3611.02 c #Conflicts: 1640000 | #Constraints: 50482
3601.11/3611.02 c #Conflicts: 1641000 | #Constraints: 51482
3601.11/3611.02 c #Conflicts: 1642000 | #Constraints: 52482
3601.11/3611.02 c INPROCESSING
3601.11/3611.02 c GARBAGE COLLECT
3601.11/3611.02 c #Conflicts: 1643000 | #Constraints: 28084
3601.11/3611.02 c #Conflicts: 1644000 | #Constraints: 29084
3601.11/3611.02 c #Conflicts: 1645000 | #Constraints: 30084
3601.11/3611.02 c #Conflicts: 1646000 | #Constraints: 31084
3601.11/3611.02 c #Conflicts: 1647000 | #Constraints: 32084
3601.11/3611.02 c #Conflicts: 1648000 | #Constraints: 33084
3601.11/3611.02 c #Conflicts: 1649000 | #Constraints: 34084
3601.11/3611.02 c #Conflicts: 1650000 | #Constraints: 35084
3601.11/3611.02 c #Conflicts: 1651000 | #Constraints: 36084
3601.11/3611.02 c #Conflicts: 1652000 | #Constraints: 37084
3601.11/3611.02 c #Conflicts: 1653000 | #Constraints: 38084
3601.11/3611.02 c #Conflicts: 1654000 | #Constraints: 39084
3601.11/3611.02 c #Conflicts: 1655000 | #Constraints: 40084
3601.11/3611.02 c #Conflicts: 1656000 | #Constraints: 41084
3601.11/3611.02 c #Conflicts: 1657000 | #Constraints: 42084
3601.11/3611.02 c #Conflicts: 1658000 | #Constraints: 43084
3601.11/3611.02 c #Conflicts: 1659000 | #Constraints: 44084
3601.11/3611.02 c #Conflicts: 1660000 | #Constraints: 45084
3601.11/3611.02 c #Conflicts: 1661000 | #Constraints: 46084
3601.11/3611.02 c #Conflicts: 1662000 | #Constraints: 47084
3601.11/3611.02 c #Conflicts: 1663000 | #Constraints: 48084
3601.11/3611.02 c #Conflicts: 1664000 | #Constraints: 49084
3601.11/3611.02 c #Conflicts: 1665000 | #Constraints: 50084
3601.11/3611.02 c #Conflicts: 1666000 | #Constraints: 51084
3601.11/3611.02 c #Conflicts: 1667000 | #Constraints: 52084
3601.11/3611.02 c #Conflicts: 1668000 | #Constraints: 53084
3601.11/3611.02 c INPROCESSING
3601.11/3611.02 c GARBAGE COLLECT
3601.11/3611.02 c cpu time 3559.31 s
3601.11/3611.02 c deterministic time 5608684 5.61e+06
3601.11/3611.02 c optimization time 3558.47 s
3601.11/3611.02 c total solve time 0.422083 s
3601.11/3611.02 c core-guided solve time 0 s
3601.11/3611.02 c propagation time 0.251169 s
3601.11/3611.02 c conflict analysis time 0.029873 s
3601.11/3611.02 c propagations 524339
3601.11/3611.02 c resolve steps 0
3601.11/3611.02 c decisions 493939
3601.11/3611.02 c conflicts 8
3601.11/3611.02 c restarts 1
3601.11/3611.02 c inprocessing phases 0
3601.11/3611.02 c garbage collections 0 ,( -nan )
3601.11/3611.02 c input clauses 98738 ,( 98.20 )
3601.11/3611.02 c input cardinalities 1561 ,( 1.55 )
3601.11/3611.02 c input general constraints 247 ,( 0.25 )
3601.11/3611.02 c input average constraint length 19.63
3601.11/3611.02 c input average constraint degree 473020426072.97
3601.11/3611.02 c learned clauses 180 ,( 82.57 )
3601.11/3611.02 c learned cardinalities 0 ,( 0.00 )
3601.11/3611.02 c learned general constraints 38 ,( 17.43 )
3601.11/3611.02 c learned average constraint length 3.24
3601.11/3611.02 c learned average constraint degree 1.22
3601.11/3611.02 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3601.11/3611.02 c counting CF 32, 64, 128, Arb: 81 , 205 , 0 , 0
3601.11/3611.02 c watched constraints 0 ,( 0.00 )
3601.11/3611.02 c counting constraints 285 ,( 100.00 )
3601.11/3611.02 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283966 , 12186 , 1240011 ,( 0 , 1240011 )
3601.11/3611.02 c gcd simplifications 0
3601.11/3611.02 c detected cardinalities 0
3601.11/3611.02 c weakened non-implied lits 0
3601.11/3611.02 c weakened non-implying lits 0
3601.11/3611.02 c original variables 21101
3601.11/3611.02 c clausal propagations 273964
3601.11/3611.02 c cardinality propagations 170
3601.11/3611.02 c watched propagations 0
3601.11/3611.02 c counting propagations 20075
3601.11/3611.02 c watch lookups 3070471
3601.11/3611.02 c watch backjump lookups 0
3601.11/3611.02 c watch checks 144223
3601.11/3611.02 c propagation checks 350018
3601.11/3611.02 c constraint additions 5609
3601.11/3611.02 c trail pops 1017084
3601.11/3611.02 c formula constraints 99896
3601.11/3611.02 c learned constraints 218
3601.11/3611.02 c bound constraints 0
3601.11/3611.02 c core-guided constraints 0
3601.11/3611.02 c encountered formula constraints 8
3601.11/3611.02 c encountered learned constraints 0
3601.11/3611.02 c encountered bound constraints 0
3601.11/3611.02 c encountered core-guided constraints 0
3601.11/3611.02 c LP total time 0.193342 s
3601.11/3611.02 c LP solve time 0.15 s
3601.11/3611.02 c LP constraints added 99896
3601.11/3611.02 c LP constraints removed 0
3601.11/3611.02 c LP pivots internal 2000
3601.11/3611.02 c LP pivots root 1000
3601.11/3611.02 c LP calls 2
3601.11/3611.02 c LP optimalities 0
3601.11/3611.02 c LP no pivot count 0
3601.11/3611.02 c LP infeasibilities 0
3601.11/3611.02 c LP valid Farkas constraints 0
3601.11/3611.02 c LP learned Farkas constraints 0
3601.11/3611.02 c LP basis resets 0
3601.11/3611.02 c LP cycling count 0
3601.11/3611.02 c LP singular count 0
3601.11/3611.02 c LP no primal count 0
3601.11/3611.02 c LP no farkas count 0
3601.11/3611.02 c LP other issue count 0
3601.11/3611.02 c LP Gomory cuts 0
3601.11/3611.02 c LP learned cuts 0
3601.11/3611.02 c LP deleted cuts 0
3601.11/3611.02 c LP encountered Gomory constraints 0
3601.11/3611.02 c LP encountered Farkas constraints 0
3601.11/3611.02 c LP encountered learned Farkas constraints 0
3601.11/3611.02 c CG auxiliary variables introduced 228
3601.11/3611.02 c CG solutions found 0
3601.11/3611.02 c CG cores constructed 218
3601.11/3611.02 c CG core cardinality constraints returned 0
3601.11/3611.02 c CG unit cores 0
3601.11/3611.02 c CG single cores 0
3601.11/3611.02 c CG blocks removed during cardinality reduction 0
3601.11/3611.02 c CG first core best 0
3601.11/3611.02 c CG decision core best 0
3601.11/3611.02 c CG core reduction tie 0
3601.11/3611.02 c CG core degree average 0.00
3601.11/3611.02 c CG core slack average 0.00
3601.11/3611.02 c CG core upper bound improvements 0
3601.11/3611.02 c STR number of successful calls 0
3601.11/3611.02 c STR number of unsuccessful calls 0
3601.11/3611.02 c STR number of inconclusive calls 0
3601.11/3611.02 c STR number of successful attempts 0
3601.11/3611.02 c STR number of unsuccessful attempts 0
3601.11/3611.02 c STR number of inconclusive attempts 0
3601.11/3611.02 c STR average degree increase per successful call inf
3601.11/3611.02 c STR average degree increase per successful attempt inf
3601.11/3611.02 c STR total number of conflicts for successful attempts 0
3601.11/3611.02 c STR total number of conflicts for unsuccessful attempts 0
3601.11/3611.02 c STR total number of conflicts for inconclusive attempts 0
3601.11/3611.02 c STR average number of conflicts per successful attempt inf
3601.11/3611.02 c STR average number of conflicts per unsuccessful attempt inf
3601.11/3611.02 c STR average number of conflicts per inconclusive attempt inf
3601.11/3611.02 c AVG.sumWPerc 95.92
3601.11/3611.02 c bigint constraints 205
3601.11/3611.02 s UNKNOWN
3601.11/3611.02 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62381 MiB free)
memory of node 1: 64507 MiB (63564 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500915-1751474816/watcher-4500915-1751474816 -o /tmp/evaluation-result-4500915-1751474816/solver-4500915-1751474816 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72303 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500915-1751474816.opb PROOFDIR/proof-4500915-1751474816
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=72361, runsolver pid=72344
[startup+0.100057 s]*
/proc/loadavg: 2.51 3.70 3.96 5/263 72364
/proc/meminfo: memFree=128949812/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=62020 memory=17368 CPUtime=0.07 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 2472 0 0 0 6 1 0 0 20 0 1 0 63161902 63508480 4342 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 15505 4342 2016 1147 0 2932 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66212 KiB
Current children cumulated memory: 20312 KiB
[startup+0.204634 s]*
/proc/loadavg: 2.51 3.70 3.96 3/256 72380
/proc/meminfo: memFree=128964660/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=65052 memory=22360 CPUtime=0.18 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 3210 0 0 0 14 4 0 0 20 0 1 0 63161902 66613248 5590 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 16263 5590 2016 1147 0 3690 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 69244 KiB
Current children cumulated memory: 25304 KiB
[startup+0.305006 s]*
/proc/loadavg: 2.51 3.70 3.96 3/254 72388
/proc/meminfo: memFree=128956144/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=68372 memory=25432 CPUtime=0.27 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 3968 0 0 0 22 5 0 0 20 0 1 0 63161902 70012928 6358 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 17093 6358 2016 1147 0 4520 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72564 KiB
Current children cumulated memory: 28376 KiB
[startup+0.7002 s]
/proc/loadavg: 2.51 3.70 3.96 2/254 72388
/proc/meminfo: memFree=128866920/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=219688 memory=151640 CPUtime=0.66 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 19384 0 0 0 53 13 0 0 20 0 1 0 63161902 224960512 37910 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 54922 37910 2400 1147 0 42349 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 223880 KiB
Current children cumulated memory: 154584 KiB
[startup+1.50017 s]
/proc/loadavg: 2.51 3.70 3.96 2/256 72396
/proc/meminfo: memFree=128822456/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=221984 memory=154456 CPUtime=1.46 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 20068 0 0 0 98 48 0 0 20 0 1 0 63161902 227311616 38614 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 55496 38614 2432 1147 0 42923 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 226176 KiB
Current children cumulated memory: 157400 KiB
[startup+3.10477 s]
/proc/loadavg: 2.63 3.71 3.96 5/259 72585
/proc/meminfo: memFree=128619536/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=312516 memory=247432 CPUtime=3.06 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 35672 0 0 0 202 104 0 0 20 0 1 0 63161902 320016384 61858 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 78129 61858 2432 1147 0 65556 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 316708 KiB
Current children cumulated memory: 250376 KiB
[startup+6.30019 s]
/proc/loadavg: 2.63 3.71 3.96 3/269 72599
/proc/meminfo: memFree=128402868/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=395544 memory=330424 CPUtime=6.25 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 49762 0 0 0 469 156 0 0 20 0 1 0 63161902 405037056 82606 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 98886 82606 2432 1147 0 86313 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 399736 KiB
Current children cumulated memory: 333368 KiB
[startup+12.7002 s]
/proc/loadavg: 2.74 3.71 3.96 5/270 72695
/proc/meminfo: memFree=127598620/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=541220 memory=454640 CPUtime=12.63 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 74710 0 0 0 1066 197 0 0 20 0 1 0 63161902 554209280 113660 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 135305 113660 2432 1147 0 122732 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 545412 KiB
Current children cumulated memory: 457584 KiB
[startup+25.5002 s]
/proc/loadavg: 3.02 3.73 3.96 5/265 72725
/proc/meminfo: memFree=125932192/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=805824 memory=615340 CPUtime=25.4 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 109767 0 0 0 2285 255 0 0 20 0 1 0 63161902 825163776 153835 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 201456 153835 2432 1147 0 188883 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 810016 KiB
Current children cumulated memory: 618284 KiB
[startup+51.1056 s]
/proc/loadavg: 3.54 3.80 3.98 5/272 72794
/proc/meminfo: memFree=123091948/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=808640 memory=684896 CPUtime=50.92 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 118986 0 0 0 4769 323 0 0 20 0 1 0 63161902 828047360 171224 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 202160 171224 2432 1147 0 189587 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 812832 KiB
Current children cumulated memory: 687840 KiB
[startup+102.3 s]
/proc/loadavg: 3.85 3.84 3.99 5/272 72797
/proc/meminfo: memFree=115593676/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=1300580 memory=1021980 CPUtime=101.97 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 188037 0 0 0 9732 465 0 0 20 0 1 0 63161902 1331793920 255495 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 325145 255495 2432 1147 0 312572 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1304772 KiB
Current children cumulated memory: 1024924 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.89 4.00 5/272 72799
/proc/meminfo: memFree=108591208/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=1437704 memory=1106052 CPUtime=161.82 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 199847 0 0 0 15580 602 0 0 20 0 1 0 63161902 1472208896 276513 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 359426 276513 2432 1147 0 346853 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1441896 KiB
Current children cumulated memory: 1108996 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.93 4.00 5/274 72803
/proc/meminfo: memFree=101447772/131250000 swapFree=33010684/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=1443596 memory=1196464 CPUtime=221.65 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 211737 0 0 0 21427 738 0 0 20 0 1 0 63161902 1478242304 299116 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 360899 299116 2432 1147 0 348326 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.32 4.21 4.14 5/273 72977
/proc/meminfo: memFree=1061740/131250000 swapFree=33008100/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=2947572 memory=2556600 CPUtime=3273.33 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 449044 0 0 0 323375 3958 0 0 20 0 1 0 63161902 3018313728 639150 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 736893 639150 2432 1147 0 724320 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 2951764 KiB
Current children cumulated memory: 2559544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.44 4.27 4.17 5/272 72979
/proc/meminfo: memFree=1093844/131250000 swapFree=33008100/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=2947572 memory=2556600 CPUtime=3333.17 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 449060 0 0 0 329321 3996 0 0 20 0 1 0 63161902 3018313728 639150 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 736893 639150 2432 1147 0 724320 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 2951764 KiB
Current children cumulated memory: 2559544 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.25 4.17 5/273 72982
/proc/meminfo: memFree=894680/131250000 swapFree=33008100/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=2948596 memory=2557240 CPUtime=3392.99 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 449711 0 0 0 335271 4028 0 0 20 0 1 0 63161902 3019362304 639310 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 737149 639310 2432 1147 0 724576 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 2952788 KiB
Current children cumulated memory: 2560184 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.20 4.16 5/274 72989
/proc/meminfo: memFree=1085488/131250000 swapFree=33008100/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=2948596 memory=2557240 CPUtime=3452.83 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 449716 0 0 0 341220 4063 0 0 20 0 1 0 63161902 3019362304 639310 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 737149 639310 2432 1147 0 724576 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 2952788 KiB
Current children cumulated memory: 2560184 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.25 4.17 5/274 72991
/proc/meminfo: memFree=1216548/131250000 swapFree=33008100/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=2948596 memory=2557368 CPUtime=3512.66 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 449804 0 0 0 347166 4100 0 0 20 0 1 0 63161902 3019362304 639342 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 737149 639342 2432 1147 0 724576 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 2952788 KiB
Current children cumulated memory: 2560312 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.24 4.18 5/274 72993
/proc/meminfo: memFree=1000272/131250000 swapFree=33008100/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=2949108 memory=2557880 CPUtime=3572.5 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 450251 0 0 0 353094 4156 0 0 20 0 1 0 63161902 3019886592 639470 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 737277 639470 2432 1147 0 724704 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 2953300 KiB
Current children cumulated memory: 2560824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.36 4.27 4.19 5/274 72994
/proc/meminfo: memFree=941876/131250000 swapFree=33008100/33010684
[pid=72361] ppid=72344 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72361/stat : 72361 (run-opt-log.sh) S 72344 72361 72291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63161901 4292608 736 18446744073709551615 94392206979072 94392207873605 140722943867776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94392208112656 94392208160400 94392233979904 140722943871265 140722943871460 140722943871460 140722943877062 0
/proc/72361/statm: 1048 736 672 219 0 110 0
[pid=72364] ppid=72361 vsize=2949620 memory=2686576 CPUtime=3600.02 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72361 72361 72291 0 -1 4194304 467059 0 0 0 355822 4180 0 0 20 0 1 0 63161902 3020410880 671644 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 737405 671644 2432 1147 0 724832 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2953812 KiB
Current children cumulated memory: 2689520 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.91 s]
# the end of solver process 72361 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.002883 s
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 72364 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.32 s, system=41.8678 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.36 4.27 4.19 5/273 72994
/proc/meminfo: memFree=1157284/131250000 swapFree=33008100/33010684
[pid=72364] ppid=72344 vsize=2949620 memory=2686576 CPUtime=3600.52 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72344 72361 72291 0 -1 4194304 467060 0 0 0 355872 4180 0 0 20 0 1 0 63161902 3020410880 671644 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 737405 671644 2432 1147 0 724832 0
Current cumulated CPU time of completed processes: 0.002883 s
Current children cumulated CPU time: 3600.52 s
Current children cumulated vsize: 2949620 KiB
Current children cumulated memory: 2686576 KiB
[startup+3610.8 s]
/proc/loadavg: 4.36 4.27 4.19 5/273 72994
/proc/meminfo: memFree=1157284/131250000 swapFree=33008100/33010684
[pid=72364] ppid=72344 vsize=2949620 memory=2686576 CPUtime=3600.92 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72344 72361 72291 0 -1 4194304 467060 0 0 0 355912 4180 0 0 20 0 1 0 63161902 3020410880 671644 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 737405 671644 2432 1147 0 724832 0
Current cumulated CPU time of completed processes: 0.002883 s
Current children cumulated CPU time: 3600.92 s
Current children cumulated vsize: 2949620 KiB
Current children cumulated memory: 2686576 KiB
[startup+3611 s]*
/proc/loadavg: 4.36 4.27 4.19 4/273 72994
/proc/meminfo: memFree=1165876/131250000 swapFree=33008100/33010684
[pid=72364] ppid=72344 vsize=2949620 memory=2686704 CPUtime=3601.11 cores=1,3
/proc/72364/stat : 72364 (roundingsat) D 72344 72361 72291 0 -1 4194304 467062 0 0 0 355931 4180 0 0 20 0 1 0 63161902 3020410880 671676 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 737405 671676 2464 1147 0 724832 0
Current cumulated CPU time of completed processes: 0.002883 s
Current children cumulated CPU time: 3601.11 s
Current children cumulated vsize: 2949620 KiB
Current children cumulated memory: 2686704 KiB
[startup+3611.11 s]
/proc/loadavg: 4.36 4.27 4.19 4/273 72994
/proc/meminfo: memFree=1165876/131250000 swapFree=33008100/33010684
[pid=72364] ppid=72344 vsize=1043992 memory=1003612 CPUtime=3601.17 cores=1,3
/proc/72364/stat : 72364 (roundingsat) R 72344 72361 72291 0 -1 4194304 467073 0 1 0 355931 4186 0 0 20 0 1 0 63161902 1069047808 250903 18446744073709551615 4227072 8923433 140721023942640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140721023949138 140721023949352 140721023949352 140721023954922 0
/proc/72364/statm: 260998 250903 2496 1147 0 248425 0
Current cumulated CPU time of completed processes: 0.002883 s
Current children cumulated CPU time: 3601.17 s
Current children cumulated vsize: 1043992 KiB
Current children cumulated memory: 1003612 KiB
Child status: 2
Real time (s): 3611.11
CPU time (s): 3601.19
CPU user time (s): 3559.32
CPU system time (s): 41.8678
CPU usage (%): 99.7252
Max. virtual memory (cumulated for all children) (KiB): 2953812
Max. memory (cumulated for all children) (KiB): 2689520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.32
system time used= 41.8678
maximum resident set size= 2686832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467294
page faults= 1
swaps= 0
block input operations= 3912
block output operations= 35381184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 592
involuntary context switches= 8717
# summary of solver processes directly reported to runsolver:
# pid: 72361,72364
# total CPU time (s): 3601.19
# total CPU user time (s): 3559.32
# total CPU system time (s): 41.8678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37377 second user time and 17.1443 second system time
The end
Begin job on nodeC013 at 2025-07-02 18:46:56
IDJOB=4500915
IDBENCH=150978
IDSOLVER=3351
FILE ID=nodeC013/4500915-1751474816
RUNJOBID= nodeC013-1751474816-72303
SLURM_JOB_ID= 9598506
Free space on /tmp= 432684 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-synaptic.cudf.trendy.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500915-1751474816/watcher-4500915-1751474816 -o /tmp/evaluation-result-4500915-1751474816/solver-4500915-1751474816 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72303 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500915-1751474816.opb PROOFDIR/proof-4500915-1751474816
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8966d285f2748c155bf76cd96ff51ed3
RANDOM SEED=1815030398
nodeC013 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 : 3599.507
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.774
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.924
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.816
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.757
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3598.849
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.753
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.957
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128977096 kB
MemAvailable: 129795480 kB
Buffers: 3280 kB
Cached: 1616904 kB
SwapCached: 0 kB
Active: 315168 kB
Inactive: 1372000 kB
Active(anon): 80268 kB
Inactive(anon): 0 kB
Active(file): 234900 kB
Inactive(file): 1372000 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32516 kB
Writeback: 0 kB
AnonPages: 70132 kB
Mapped: 99804 kB
Shmem: 13284 kB
KReclaimable: 101044 kB
Slab: 190564 kB
SReclaimable: 101044 kB
SUnreclaim: 89520 kB
KernelStack: 4176 kB
PageTables: 2932 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 320264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432612 MiB
End job on nodeC013 at 2025-07-02 19:47:08