0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.76/0.86 c #variables 21101 #constraints 99896
0.76/0.86 c objective is ce64
0.76/0.90 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.76/0.90 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.76/0.90 c GLOBAL bounds - >= 0 @ 0.71918
0.87/0.93 c GLOBAL bounds - >= 0 @ 0.73025
0.87/0.93 c GLOBAL bounds - >= 475379834250 @ 0.730703
1.16/1.22 c GLOBAL bounds - >= 475379834250 @ 1.00041
1.16/1.25 c GLOBAL bounds - >= 475379834250 @ 1.00887
1.16/1.25 c GLOBAL bounds - >= 475379834250 @ 1.00962
1.16/1.27 c GLOBAL bounds - >= 475379834250 @ 1.02247
1.16/1.27 c GLOBAL bounds - >= 475379834250 @ 1.02279
1.26/1.30 c GLOBAL bounds - >= 475379834250 @ 1.03459
1.26/1.30 c GLOBAL bounds - >= 475379834250 @ 1.03507
1.26/1.32 c GLOBAL bounds - >= 475379834250 @ 1.0461
1.26/1.32 c GLOBAL bounds - >= 475379834250 @ 1.04654
1.26/1.35 c GLOBAL bounds - >= 475379834250 @ 1.05718
1.26/1.35 c GLOBAL bounds - >= 475379834250 @ 1.05758
1.26/1.37 c GLOBAL bounds - >= 475379834250 @ 1.06921
1.26/1.37 c GLOBAL bounds - >= 475379834250 @ 1.06976
1.26/1.39 c GLOBAL bounds - >= 475379834250 @ 1.07944
1.26/1.40 c GLOBAL bounds - >= 475379834250 @ 1.0801
1.36/1.42 c GLOBAL bounds - >= 475379834250 @ 1.09247
1.36/1.42 c GLOBAL bounds - >= 475379834250 @ 1.09302
1.36/1.44 c GLOBAL bounds - >= 475379834250 @ 1.10305
1.36/1.44 c GLOBAL bounds - >= 475379834250 @ 1.10355
1.36/1.47 c GLOBAL bounds - >= 475379834250 @ 1.11246
1.36/1.49 c GLOBAL bounds - >= 475379834250 @ 1.12461
1.46/1.51 c GLOBAL bounds - >= 475379834250 @ 1.13357
1.46/1.53 c GLOBAL bounds - >= 475379834250 @ 1.14607
1.46/1.56 c GLOBAL bounds - >= 475379834250 @ 1.16214
1.46/1.58 c GLOBAL bounds - >= 475379834250 @ 1.18122
1.46/1.59 c GLOBAL bounds - >= 713143539475 @ 1.18939
1.56/1.60 c GLOBAL bounds - >= 713143539475 @ 1.19445
1.56/1.60 c GLOBAL bounds - >= 713143539475 @ 1.19445
1.56/1.62 c GLOBAL bounds - >= 713143539475 @ 1.20687
1.56/1.62 c GLOBAL bounds - >= 713143539475 @ 1.20742
1.56/1.65 c GLOBAL bounds - >= 713143539475 @ 1.22089
1.56/1.65 c GLOBAL bounds - >= 713143539475 @ 1.22217
1.56/1.67 c GLOBAL bounds - >= 713143539475 @ 1.23522
1.56/1.67 c GLOBAL bounds - >= 713143539475 @ 1.23586
1.66/1.70 c GLOBAL bounds - >= 713143539475 @ 1.24656
1.66/1.70 c GLOBAL bounds - >= 713143539475 @ 1.24715
1.66/1.72 c GLOBAL bounds - >= 713143539475 @ 1.25792
1.66/1.72 c GLOBAL bounds - >= 713143539475 @ 1.25839
1.66/1.74 c GLOBAL bounds - >= 713143539475 @ 1.27099
1.66/1.74 c GLOBAL bounds - >= 713143539475 @ 1.27127
1.66/1.77 c GLOBAL bounds - >= 713143539475 @ 1.28022
1.66/1.77 c GLOBAL bounds - >= 713143539475 @ 1.28081
1.66/1.79 c GLOBAL bounds - >= 713143539475 @ 1.29014
1.66/1.79 c GLOBAL bounds - >= 713143539475 @ 1.29014
1.76/1.81 c GLOBAL bounds - >= 713143539475 @ 1.29966
1.76/1.82 c GLOBAL bounds - >= 713143539475 @ 1.30022
1.76/1.84 c GLOBAL bounds - >= 713143539475 @ 1.31483
1.76/1.86 c GLOBAL bounds - >= 713143539475 @ 1.32547
1.76/1.88 c GLOBAL bounds - >= 713143539475 @ 1.32717
1.76/1.89 c GLOBAL bounds - >= 713143539475 @ 1.33344
1.86/1.90 c GLOBAL bounds - >= 713143539475 @ 1.33743
1.86/1.92 c GLOBAL bounds - >= 713143539475 @ 1.3433
1.86/1.93 c GLOBAL bounds - >= 713143539475 @ 1.34823
1.86/1.95 c GLOBAL bounds - >= 713143539475 @ 1.35515
1.86/1.96 c GLOBAL bounds - >= 713143539475 @ 1.36582
1.86/1.98 c GLOBAL bounds - >= 713143539475 @ 1.38159
1.97/2.01 c GLOBAL bounds - >= 713143539475 @ 1.39802
1.97/2.03 c GLOBAL bounds - >= 713143539475 @ 1.40751
1.97/2.05 c GLOBAL bounds - >= 713143539475 @ 1.41962
1.97/2.05 c GLOBAL bounds - >= 792336617800 @ 1.42271
1.97/2.06 c GLOBAL bounds - >= 792336617800 @ 1.42603
1.97/2.06 c GLOBAL bounds - >= 792336617800 @ 1.42657
1.97/2.06 c GLOBAL bounds - >= 792336617800 @ 1.42705
1.97/2.08 c GLOBAL bounds - >= 792336617800 @ 1.43293
1.97/2.08 c GLOBAL bounds - >= 792336617800 @ 1.43293
1.97/2.10 c GLOBAL bounds - >= 792336617800 @ 1.44573
1.97/2.10 c GLOBAL bounds - >= 792336617800 @ 1.44573
2.07/2.12 c GLOBAL bounds - >= 792336617800 @ 1.44987
2.07/2.12 c GLOBAL bounds - >= 792336617800 @ 1.45043
2.07/2.14 c GLOBAL bounds - >= 792336617800 @ 1.45986
2.07/2.14 c GLOBAL bounds - >= 792336617800 @ 1.45986
2.07/2.17 c GLOBAL bounds - >= 792336617800 @ 1.47271
2.07/2.17 c GLOBAL bounds - >= 792336617800 @ 1.47271
2.07/2.19 c GLOBAL bounds - >= 792336617800 @ 1.48225
2.07/2.19 c GLOBAL bounds - >= 792336617800 @ 1.48282
2.16/2.22 c GLOBAL bounds - >= 792336617800 @ 1.49338
2.16/2.22 c GLOBAL bounds - >= 792336617800 @ 1.4938
2.16/2.24 c GLOBAL bounds - >= 792336617800 @ 1.50686
2.16/2.24 c GLOBAL bounds - >= 792336617800 @ 1.50773
2.16/2.26 c GLOBAL bounds - >= 792336617800 @ 1.51647
2.16/2.26 c GLOBAL bounds - >= 792336617800 @ 1.51717
2.16/2.29 c GLOBAL bounds - >= 792336617800 @ 1.53177
2.26/2.31 c GLOBAL bounds - >= 792336617800 @ 1.54432
2.26/2.34 c GLOBAL bounds - >= 792336617800 @ 1.56463
2.26/2.35 c GLOBAL bounds - >= 1109330295400 @ 1.57786
2.26/2.37 c GLOBAL bounds - >= 1109330295400 @ 1.59653
2.36/2.40 c GLOBAL bounds - >= 1109330295400 @ 1.60562
2.36/2.40 c GLOBAL bounds - >= 1109330295400 @ 1.60646
2.36/2.42 c GLOBAL bounds - >= 1109330295400 @ 1.61918
2.36/2.42 c GLOBAL bounds - >= 1109330295400 @ 1.62003
2.36/2.44 c GLOBAL bounds - >= 1109330295400 @ 1.62893
2.36/2.45 c GLOBAL bounds - >= 1109330295400 @ 1.62959
2.36/2.47 c GLOBAL bounds - >= 1109330295400 @ 1.64036
2.36/2.47 c GLOBAL bounds - >= 1109330295400 @ 1.64092
2.36/2.49 c GLOBAL bounds - >= 1109330295400 @ 1.64787
2.36/2.49 c GLOBAL bounds - >= 1109330295400 @ 1.64824
2.46/2.51 c GLOBAL bounds - >= 1109330295400 @ 1.65667
2.46/2.52 c GLOBAL bounds - >= 1109330295400 @ 1.65739
2.46/2.54 c GLOBAL bounds - >= 1109330295400 @ 1.66824
2.46/2.54 c GLOBAL bounds - >= 1109330295400 @ 1.66923
2.46/2.56 c GLOBAL bounds - >= 1109330295400 @ 1.68305
2.46/2.56 c GLOBAL bounds - >= 1109330295400 @ 1.68334
2.46/2.59 c GLOBAL bounds - >= 1109330295400 @ 1.69484
2.46/2.59 c GLOBAL bounds - >= 1109330295400 @ 1.69532
2.56/2.61 c GLOBAL bounds - >= 1109330295400 @ 1.70435
2.56/2.66 c GLOBAL bounds - >= 1109330295400 @ 1.74946
2.66/2.73 c GLOBAL bounds - >= 1109330295400 @ 1.79571
2.76/2.80 c GLOBAL bounds - >= 1188689396950 @ 1.86619
2.76/2.81 c GLOBAL bounds - >= 1188689396950 @ 1.87292
2.76/2.81 c GLOBAL bounds - >= 1188689396950 @ 1.87362
2.76/2.81 c GLOBAL bounds - >= 1188689396950 @ 1.87379
2.76/2.83 c GLOBAL bounds - >= 1188689396950 @ 1.88249
2.76/2.83 c GLOBAL bounds - >= 1188689396950 @ 1.88311
2.76/2.85 c GLOBAL bounds - >= 1188689396950 @ 1.8926
2.76/2.86 c GLOBAL bounds - >= 1188689396950 @ 1.89338
2.76/2.88 c GLOBAL bounds - >= 1188689396950 @ 1.90111
2.76/2.88 c GLOBAL bounds - >= 1188689396950 @ 1.90168
2.86/2.90 c GLOBAL bounds - >= 1188689396950 @ 1.90747
2.86/2.90 c GLOBAL bounds - >= 1188689396950 @ 1.90812
2.86/2.92 c GLOBAL bounds - >= 1188689396950 @ 1.91871
2.86/2.92 c GLOBAL bounds - >= 1188689396950 @ 1.91949
2.86/2.94 c GLOBAL bounds - >= 1188689396950 @ 1.92577
2.86/2.94 c GLOBAL bounds - >= 1188689396950 @ 1.92667
2.86/2.97 c GLOBAL bounds - >= 1188689396950 @ 1.935
2.86/2.97 c GLOBAL bounds - >= 1188689396950 @ 1.93565
2.86/2.99 c GLOBAL bounds - >= 1188689396950 @ 1.94532
2.86/2.99 c GLOBAL bounds - >= 1188689396950 @ 1.94563
2.97/3.01 c GLOBAL bounds - >= 1188689396950 @ 1.95313
2.97/3.01 c GLOBAL bounds - >= 1188689396950 @ 1.95419
2.97/3.03 c GLOBAL bounds - >= 1188689396950 @ 1.9669
3.07/3.12 c GLOBAL bounds - >= 1188689396950 @ 2.03007
3.16/3.26 c GLOBAL bounds - >= 1188689396950 @ 2.15011
3.26/3.31 c GLOBAL bounds - >= 1188689396950 @ 2.19044
3.26/3.35 c GLOBAL bounds - >= 1188689396950 @ 2.22131
3.56/3.65 c GLOBAL bounds - >= 1347241576825 @ 2.50218
3.56/3.66 c GLOBAL bounds - >= 1347241576825 @ 2.51228
3.56/3.68 c GLOBAL bounds - >= 1347241576825 @ 2.52041
3.56/3.68 c GLOBAL bounds - >= 1347241576825 @ 2.52148
3.65/3.70 c GLOBAL bounds - >= 1347241576825 @ 2.53036
3.65/3.71 c GLOBAL bounds - >= 1347241576825 @ 2.53102
3.65/3.73 c GLOBAL bounds - >= 1347241576825 @ 2.5425
3.65/3.73 c GLOBAL bounds - >= 1347241576825 @ 2.54344
3.65/3.75 c GLOBAL bounds - >= 1347241576825 @ 2.55528
3.65/3.75 c GLOBAL bounds - >= 1347241576825 @ 2.5559
3.65/3.77 c GLOBAL bounds - >= 1347241576825 @ 2.56093
3.65/3.78 c GLOBAL bounds - >= 1347241576825 @ 2.56192
3.76/3.80 c GLOBAL bounds - >= 1347241576825 @ 2.57369
3.76/3.80 c GLOBAL bounds - >= 1347241576825 @ 2.57389
3.76/3.82 c GLOBAL bounds - >= 1347241576825 @ 2.5865
3.76/3.82 c GLOBAL bounds - >= 1347241576825 @ 2.58688
3.76/3.84 c GLOBAL bounds - >= 1347241576825 @ 2.5982
3.76/3.84 c GLOBAL bounds - >= 1347241576825 @ 2.59886
3.76/3.87 c GLOBAL bounds - >= 1347241576825 @ 2.60974
3.76/3.87 c GLOBAL bounds - >= 1347241576825 @ 2.61072
3.76/3.89 c GLOBAL bounds - >= 1347241576825 @ 2.61948
4.66/4.71 c #Conflicts: 1000 | #Constraints: 2411
4.66/4.71 c GLOBAL bounds - >= 1347426047075 @ 3.37238
4.66/4.72 c GLOBAL bounds - >= 1347426047075 @ 3.38179
4.66/4.74 c GLOBAL bounds - >= 1347426047075 @ 3.39346
4.66/4.74 c GLOBAL bounds - >= 1347426047075 @ 3.39375
4.66/4.76 c GLOBAL bounds - >= 1347426047075 @ 3.40149
4.66/4.76 c GLOBAL bounds - >= 1347426047075 @ 3.4025
4.66/4.79 c GLOBAL bounds - >= 1347426047075 @ 3.41545
4.66/4.79 c GLOBAL bounds - >= 1347426047075 @ 3.41572
4.76/4.81 c GLOBAL bounds - >= 1347426047075 @ 3.42363
4.76/4.81 c GLOBAL bounds - >= 1347426047075 @ 3.4247
4.76/4.83 c GLOBAL bounds - >= 1347426047075 @ 3.43759
4.76/4.83 c GLOBAL bounds - >= 1347426047075 @ 3.43862
4.76/4.86 c GLOBAL bounds - >= 1347426047075 @ 3.44637
4.76/4.86 c GLOBAL bounds - >= 1347426047075 @ 3.44662
4.76/4.88 c GLOBAL bounds - >= 1347426047075 @ 3.45607
4.76/4.88 c GLOBAL bounds - >= 1347426047075 @ 3.4566
4.86/4.90 c GLOBAL bounds - >= 1347426047075 @ 3.4632
4.86/4.90 c GLOBAL bounds - >= 1347426047075 @ 3.46428
4.86/4.92 c GLOBAL bounds - >= 1347426047075 @ 3.47201
4.86/4.93 c GLOBAL bounds - >= 1347426047075 @ 3.47258
4.86/4.95 c GLOBAL bounds - >= 1347426047075 @ 3.48143
4.86/4.97 c GLOBAL bounds - >= 1347426047075 @ 3.48915
4.86/4.99 c GLOBAL bounds - >= 1347426047075 @ 3.50088
5.35/5.50 c #Conflicts: 2000 | #Constraints: 3450
5.35/5.50 c INPROCESSING
5.35/5.50 c GARBAGE COLLECT
5.35/5.50 c GLOBAL bounds - >= 1347573623275 @ 3.96919
5.46/5.51 c GLOBAL bounds - >= 1347573623275 @ 3.98173
5.46/5.53 c GLOBAL bounds - >= 1347573623275 @ 3.9921
5.46/5.53 c GLOBAL bounds - >= 1347573623275 @ 3.99218
5.46/5.55 c GLOBAL bounds - >= 1347573623275 @ 4.00014
5.46/5.56 c GLOBAL bounds - >= 1347573623275 @ 4.00117
5.46/5.58 c GLOBAL bounds - >= 1347573623275 @ 4.00803
5.46/5.58 c GLOBAL bounds - >= 1347573623275 @ 4.00929
5.55/5.60 c GLOBAL bounds - >= 1347573623275 @ 4.01715
5.55/5.60 c GLOBAL bounds - >= 1347573623275 @ 4.01749
5.55/5.62 c GLOBAL bounds - >= 1347573623275 @ 4.02818
5.55/5.63 c GLOBAL bounds - >= 1347573623275 @ 4.02948
5.55/5.65 c GLOBAL bounds - >= 1347573623275 @ 4.04042
5.55/5.65 c GLOBAL bounds - >= 1347573623275 @ 4.04143
5.55/5.67 c GLOBAL bounds - >= 1347573623275 @ 4.05406
5.55/5.67 c GLOBAL bounds - >= 1347573623275 @ 4.05503
5.55/5.69 c GLOBAL bounds - >= 1347573623275 @ 4.06544
5.55/5.69 c GLOBAL bounds - >= 1347573623275 @ 4.06602
5.65/5.72 c GLOBAL bounds - >= 1347573623275 @ 4.07669
5.65/5.72 c GLOBAL bounds - >= 1347573623275 @ 4.0772
5.65/5.74 c GLOBAL bounds - >= 1347573623275 @ 4.08578
5.65/5.76 c GLOBAL bounds - >= 1347573623275 @ 4.09412
10.54/10.69 c #Conflicts: 3000 | #Constraints: 3452
10.54/10.69 c #Conflicts: 4000 | #Constraints: 4452
10.54/10.69 c INPROCESSING
10.54/10.69 c GARBAGE COLLECT
10.54/10.69 c #Conflicts: 5000 | #Constraints: 3852
10.54/10.69 c #Conflicts: 6000 | #Constraints: 4852
10.54/10.69 c INPROCESSING
10.54/10.69 c GARBAGE COLLECT
10.54/10.69 c GLOBAL bounds - >= 1426951171850 @ 8.8021
10.64/10.70 c GLOBAL bounds - >= 1426951171850 @ 8.815
10.64/10.70 c GLOBAL bounds - >= 1426951171850 @ 8.815
10.64/10.73 c GLOBAL bounds - >= 1426951171850 @ 8.82572
10.64/10.73 c GLOBAL bounds - >= 1426951171850 @ 8.82727
10.64/10.75 c GLOBAL bounds - >= 1426951171850 @ 8.83957
10.64/10.75 c GLOBAL bounds - >= 1426951171850 @ 8.84105
10.64/10.78 c GLOBAL bounds - >= 1426951171850 @ 8.84844
10.64/10.78 c GLOBAL bounds - >= 1426951171850 @ 8.8501
10.74/10.80 c GLOBAL bounds - >= 1426951171850 @ 8.86767
10.74/10.81 c GLOBAL bounds - >= 1426951171850 @ 8.8689
10.74/10.83 c GLOBAL bounds - >= 1426951171850 @ 8.88064
10.74/10.83 c GLOBAL bounds - >= 1426951171850 @ 8.88184
10.74/10.85 c GLOBAL bounds - >= 1426951171850 @ 8.89144
10.74/10.85 c GLOBAL bounds - >= 1426951171850 @ 8.89203
10.74/10.88 c GLOBAL bounds - >= 1426951171850 @ 8.90032
10.74/10.88 c GLOBAL bounds - >= 1426951171850 @ 8.90081
10.84/10.90 c GLOBAL bounds - >= 1426951171850 @ 8.90972
10.84/10.90 c GLOBAL bounds - >= 1426951171850 @ 8.91125
10.84/10.93 c GLOBAL bounds - >= 1426951171850 @ 8.92064
10.84/10.93 c GLOBAL bounds - >= 1426951171850 @ 8.92178
10.84/10.95 c GLOBAL bounds - >= 1426951171850 @ 8.93072
10.84/10.97 c GLOBAL bounds - >= 1426951171850 @ 8.93607
10.84/10.99 c GLOBAL bounds - >= 1426951171850 @ 8.94213
10.95/11.01 c GLOBAL bounds - >= 1426951171850 @ 8.95069
10.95/11.03 c GLOBAL bounds - >= 1426951171850 @ 8.96419
10.95/11.07 c GLOBAL bounds - >= 1426951171850 @ 8.99098
10.95/11.09 c GLOBAL bounds - >= 1426951171850 @ 9.00604
11.05/11.12 c GLOBAL bounds - >= 1426951171850 @ 9.02132
16.42/16.59 c #Conflicts: 7000 | #Constraints: 3916
16.42/16.59 c #Conflicts: 8000 | #Constraints: 4916
16.42/16.59 c #Conflicts: 9000 | #Constraints: 5916
16.42/16.59 c INPROCESSING
16.42/16.59 c GARBAGE COLLECT
16.42/16.59 c #Conflicts: 10000 | #Constraints: 4609
16.42/16.59 c #Conflicts: 11000 | #Constraints: 5609
16.42/16.59 c #Conflicts: 12000 | #Constraints: 6609
16.42/16.59 c INPROCESSING
16.42/16.59 c GARBAGE COLLECT
16.42/16.59 c GLOBAL bounds - >= 1506236485300 @ 14.3001
16.52/16.60 c GLOBAL bounds - >= 1506236485300 @ 14.3112
16.52/16.61 c GLOBAL bounds - >= 1506236485300 @ 14.312
16.52/16.64 c GLOBAL bounds - >= 1506236485300 @ 14.3345
16.52/16.64 c GLOBAL bounds - >= 1506236485300 @ 14.3353
16.52/16.66 c GLOBAL bounds - >= 1506236485300 @ 14.344
16.52/16.67 c GLOBAL bounds - >= 1506236485300 @ 14.3455
16.52/16.69 c GLOBAL bounds - >= 1506236485300 @ 14.356
16.52/16.69 c GLOBAL bounds - >= 1506236485300 @ 14.3561
16.62/16.71 c GLOBAL bounds - >= 1506236485300 @ 14.369
16.62/16.71 c GLOBAL bounds - >= 1506236485300 @ 14.3707
16.62/16.74 c GLOBAL bounds - >= 1506236485300 @ 14.3812
16.62/16.74 c GLOBAL bounds - >= 1506236485300 @ 14.3828
16.62/16.76 c GLOBAL bounds - >= 1506236485300 @ 14.3934
16.62/16.76 c GLOBAL bounds - >= 1506236485300 @ 14.395
16.62/16.79 c GLOBAL bounds - >= 1506236485300 @ 14.4076
16.62/16.79 c GLOBAL bounds - >= 1506236485300 @ 14.408
16.72/16.81 c GLOBAL bounds - >= 1506236485300 @ 14.4185
16.72/16.81 c GLOBAL bounds - >= 1506236485300 @ 14.4194
16.72/16.83 c GLOBAL bounds - >= 1506236485300 @ 14.431
16.72/16.84 c GLOBAL bounds - >= 1506236485300 @ 14.4328
16.72/16.86 c GLOBAL bounds - >= 1506236485300 @ 14.4415
16.72/16.89 c GLOBAL bounds - >= 1506236485300 @ 14.4579
56.00/56.21 c #Conflicts: 13000 | #Constraints: 5094
56.00/56.21 c #Conflicts: 14000 | #Constraints: 6094
56.00/56.21 c #Conflicts: 15000 | #Constraints: 7094
56.00/56.21 c INPROCESSING
56.00/56.21 c GARBAGE COLLECT
56.00/56.21 c #Conflicts: 16000 | #Constraints: 5314
56.00/56.21 c #Conflicts: 17000 | #Constraints: 6314
56.00/56.21 c #Conflicts: 18000 | #Constraints: 7314
56.00/56.21 c INPROCESSING
56.00/56.21 c GARBAGE COLLECT
56.00/56.21 c #Conflicts: 19000 | #Constraints: 5329
56.00/56.21 c #Conflicts: 20000 | #Constraints: 6329
56.00/56.21 c #Conflicts: 21000 | #Constraints: 7329
56.00/56.21 c INPROCESSING
56.00/56.21 c GARBAGE COLLECT
56.00/56.21 c #Conflicts: 22000 | #Constraints: 5130
56.00/56.21 c #Conflicts: 23000 | #Constraints: 6130
56.00/56.21 c #Conflicts: 24000 | #Constraints: 7130
56.00/56.21 c #Conflicts: 25000 | #Constraints: 8130
56.00/56.21 c INPROCESSING
56.00/56.21 c GARBAGE COLLECT
56.00/56.21 c #Conflicts: 26000 | #Constraints: 5733
56.00/56.21 c #Conflicts: 27000 | #Constraints: 6733
56.00/56.21 c #Conflicts: 28000 | #Constraints: 7733
56.00/56.21 c #Conflicts: 29000 | #Constraints: 8733
56.00/56.21 c INPROCESSING
56.00/56.21 c GARBAGE COLLECT
56.00/56.21 c #Conflicts: 30000 | #Constraints: 6137
56.00/56.21 c #Conflicts: 31000 | #Constraints: 7137
56.00/56.21 c #Conflicts: 32000 | #Constraints: 8137
56.00/56.21 c #Conflicts: 33000 | #Constraints: 9137
56.00/56.21 c INPROCESSING
56.00/56.21 c GARBAGE COLLECT
56.00/56.21 c #Conflicts: 34000 | #Constraints: 6340
56.00/56.21 c #Conflicts: 35000 | #Constraints: 7340
56.00/56.21 c #Conflicts: 36000 | #Constraints: 8340
56.00/56.21 c #Conflicts: 37000 | #Constraints: 9340
56.00/56.21 c INPROCESSING
56.00/56.21 c GARBAGE COLLECT
56.00/56.21 c #Conflicts: 38000 | #Constraints: 6341
56.00/56.21 c #Conflicts: 39000 | #Constraints: 7341
56.00/56.21 c #Conflicts: 40000 | #Constraints: 8341
56.00/56.21 c #Conflicts: 41000 | #Constraints: 9341
56.00/56.21 c INPROCESSING
56.00/56.21 c GARBAGE COLLECT
56.00/56.21 c #Conflicts: 42000 | #Constraints: 6137
56.00/56.21 c #Conflicts: 43000 | #Constraints: 7137
56.00/56.21 c #Conflicts: 44000 | #Constraints: 8137
56.00/56.21 c #Conflicts: 45000 | #Constraints: 9137
56.00/56.21 c GLOBAL bounds - >= 1664954688400 @ 52.5345
56.00/56.23 c GLOBAL bounds - >= 1664954688400 @ 52.5562
56.00/56.23 c GLOBAL bounds - >= 1664954688400 @ 52.5568
56.00/56.26 c GLOBAL bounds - >= 1664954688400 @ 52.5671
56.00/56.26 c GLOBAL bounds - >= 1664954688400 @ 52.5678
56.00/56.28 c GLOBAL bounds - >= 1664954688400 @ 52.5772
56.00/56.28 c GLOBAL bounds - >= 1664954688400 @ 52.5778
56.10/56.31 c GLOBAL bounds - >= 1664954688400 @ 52.5882
56.10/56.31 c GLOBAL bounds - >= 1664954688400 @ 52.5898
56.10/56.33 c GLOBAL bounds - >= 1664954688400 @ 52.6002
56.10/56.33 c GLOBAL bounds - >= 1664954688400 @ 52.6008
56.10/56.36 c GLOBAL bounds - >= 1664954688400 @ 52.6141
56.10/56.36 c GLOBAL bounds - >= 1664954688400 @ 52.6156
56.10/56.38 c GLOBAL bounds - >= 1664954688400 @ 52.6269
56.10/56.38 c GLOBAL bounds - >= 1664954688400 @ 52.6277
56.20/56.41 c GLOBAL bounds - >= 1664954688400 @ 52.639
56.20/56.41 c GLOBAL bounds - >= 1664954688400 @ 52.6397
56.20/56.43 c GLOBAL bounds - >= 1664954688400 @ 52.6497
56.20/56.43 c GLOBAL bounds - >= 1664954688400 @ 52.6506
56.20/56.46 c GLOBAL bounds - >= 1664954688400 @ 52.6644
56.20/56.46 c GLOBAL bounds - >= 1664954688400 @ 52.6656
56.20/56.48 c GLOBAL bounds - >= 1664954688400 @ 52.6772
107.44/107.80 c #Conflicts: 46000 | #Constraints: 10177
107.44/107.80 c INPROCESSING
107.44/107.80 c GARBAGE COLLECT
107.44/107.80 c #Conflicts: 47000 | #Constraints: 6761
107.44/107.80 c #Conflicts: 48000 | #Constraints: 7761
107.44/107.80 c #Conflicts: 49000 | #Constraints: 8761
107.44/107.80 c #Conflicts: 50000 | #Constraints: 9761
107.44/107.80 c #Conflicts: 51000 | #Constraints: 10761
107.44/107.80 c INPROCESSING
107.44/107.80 c GARBAGE COLLECT
107.44/107.80 c #Conflicts: 52000 | #Constraints: 7161
107.44/107.80 c #Conflicts: 53000 | #Constraints: 8161
107.44/107.80 c #Conflicts: 54000 | #Constraints: 9161
107.44/107.80 c #Conflicts: 55000 | #Constraints: 10161
107.44/107.80 c #Conflicts: 56000 | #Constraints: 11161
107.44/107.80 c INPROCESSING
107.44/107.80 c GARBAGE COLLECT
107.44/107.80 c #Conflicts: 57000 | #Constraints: 7362
107.44/107.80 c #Conflicts: 58000 | #Constraints: 8362
107.44/107.80 c #Conflicts: 59000 | #Constraints: 9362
107.44/107.80 c #Conflicts: 60000 | #Constraints: 10362
107.44/107.80 c #Conflicts: 61000 | #Constraints: 11362
107.44/107.80 c INPROCESSING
107.44/107.80 c GARBAGE COLLECT
107.44/107.80 c #Conflicts: 62000 | #Constraints: 7372
107.44/107.80 c #Conflicts: 63000 | #Constraints: 8372
107.44/107.80 c #Conflicts: 64000 | #Constraints: 9372
107.44/107.80 c #Conflicts: 65000 | #Constraints: 10372
107.44/107.80 c #Conflicts: 66000 | #Constraints: 11372
107.44/107.80 c INPROCESSING
107.44/107.80 c GARBAGE COLLECT
107.44/107.80 c #Conflicts: 67000 | #Constraints: 7170
107.44/107.80 c #Conflicts: 68000 | #Constraints: 8170
107.44/107.80 c #Conflicts: 69000 | #Constraints: 9170
107.44/107.80 c #Conflicts: 70000 | #Constraints: 10170
107.44/107.80 c #Conflicts: 71000 | #Constraints: 11170
107.44/107.80 c #Conflicts: 72000 | #Constraints: 12170
107.44/107.80 c INPROCESSING
107.44/107.80 c GARBAGE COLLECT
107.44/107.80 c #Conflicts: 73000 | #Constraints: 7775
107.44/107.80 c #Conflicts: 74000 | #Constraints: 8775
107.44/107.80 c #Conflicts: 75000 | #Constraints: 9775
107.44/107.80 c #Conflicts: 76000 | #Constraints: 10775
107.44/107.80 c #Conflicts: 77000 | #Constraints: 11775
107.44/107.80 c #Conflicts: 78000 | #Constraints: 12775
107.44/107.80 c INPROCESSING
107.44/107.80 c GARBAGE COLLECT
107.44/107.80 c #Conflicts: 79000 | #Constraints: 8171
107.44/107.80 c #Conflicts: 80000 | #Constraints: 9171
107.44/107.80 c #Conflicts: 81000 | #Constraints: 10171
107.44/107.80 c #Conflicts: 82000 | #Constraints: 11171
107.44/107.80 c #Conflicts: 83000 | #Constraints: 12171
107.44/107.80 c #Conflicts: 84000 | #Constraints: 13171
107.44/107.80 c INPROCESSING
107.44/107.80 c GARBAGE COLLECT
107.44/107.80 c #Conflicts: 85000 | #Constraints: 8376
107.44/107.80 c #Conflicts: 86000 | #Constraints: 9376
107.44/107.80 c #Conflicts: 87000 | #Constraints: 10376
107.44/107.80 c #Conflicts: 88000 | #Constraints: 11376
107.44/107.80 c #Conflicts: 89000 | #Constraints: 12376
107.44/107.80 c #Conflicts: 90000 | #Constraints: 13376
107.44/107.80 c INPROCESSING
107.44/107.80 c GARBAGE COLLECT
107.44/107.80 c #Conflicts: 91000 | #Constraints: 8377
107.44/107.80 c #Conflicts: 92000 | #Constraints: 9377
107.44/107.80 c #Conflicts: 93000 | #Constraints: 10377
107.44/107.80 c GLOBAL bounds - >= 1665157605675 @ 102.482
107.44/107.81 c GLOBAL bounds - >= 1665157605675 @ 102.494
107.44/107.84 c GLOBAL bounds - >= 1665157605675 @ 102.511
107.44/107.84 c GLOBAL bounds - >= 1665157605675 @ 102.513
107.44/107.87 c GLOBAL bounds - >= 1665157605675 @ 102.526
107.44/107.87 c GLOBAL bounds - >= 1665157605675 @ 102.528
107.44/107.89 c GLOBAL bounds - >= 1665157605675 @ 102.54
107.44/107.89 c GLOBAL bounds - >= 1665157605675 @ 102.54
107.54/107.92 c GLOBAL bounds - >= 1665157605675 @ 102.549
107.54/107.92 c GLOBAL bounds - >= 1665157605675 @ 102.55
107.54/107.94 c GLOBAL bounds - >= 1665157605675 @ 102.562
107.54/107.94 c GLOBAL bounds - >= 1665157605675 @ 102.563
107.54/107.97 c GLOBAL bounds - >= 1665157605675 @ 102.575
107.54/107.97 c GLOBAL bounds - >= 1665157605675 @ 102.576
107.54/107.99 c GLOBAL bounds - >= 1665157605675 @ 102.587
107.54/107.99 c GLOBAL bounds - >= 1665157605675 @ 102.589
107.65/108.02 c GLOBAL bounds - >= 1665157605675 @ 102.599
107.65/108.02 c GLOBAL bounds - >= 1665157605675 @ 102.601
107.65/108.04 c GLOBAL bounds - >= 1665157605675 @ 102.614
107.65/108.05 c GLOBAL bounds - >= 1665157605675 @ 102.616
107.65/108.07 c GLOBAL bounds - >= 1665157605675 @ 102.625
174.62/175.23 c #Conflicts: 94000 | #Constraints: 11416
174.62/175.23 c #Conflicts: 95000 | #Constraints: 12416
174.62/175.23 c #Conflicts: 96000 | #Constraints: 13416
174.62/175.23 c INPROCESSING
174.62/175.23 c GARBAGE COLLECT
174.62/175.23 c #Conflicts: 97000 | #Constraints: 8205
174.62/175.23 c #Conflicts: 98000 | #Constraints: 9205
174.62/175.23 c #Conflicts: 99000 | #Constraints: 10205
174.62/175.23 c #Conflicts: 100000 | #Constraints: 11205
174.62/175.23 c #Conflicts: 101000 | #Constraints: 12205
174.62/175.23 c #Conflicts: 102000 | #Constraints: 13205
174.62/175.23 c #Conflicts: 103000 | #Constraints: 14205
174.62/175.23 c INPROCESSING
174.62/175.23 c GARBAGE COLLECT
174.62/175.23 c #Conflicts: 104000 | #Constraints: 8802
174.62/175.23 c #Conflicts: 105000 | #Constraints: 9802
174.62/175.23 c #Conflicts: 106000 | #Constraints: 10802
174.62/175.23 c #Conflicts: 107000 | #Constraints: 11802
174.62/175.23 c #Conflicts: 108000 | #Constraints: 12802
174.62/175.23 c #Conflicts: 109000 | #Constraints: 13802
174.62/175.23 c #Conflicts: 110000 | #Constraints: 14802
174.62/175.23 c INPROCESSING
174.62/175.23 c GARBAGE COLLECT
174.62/175.23 c #Conflicts: 111000 | #Constraints: 9199
174.62/175.23 c #Conflicts: 112000 | #Constraints: 10199
174.62/175.23 c #Conflicts: 113000 | #Constraints: 11199
174.62/175.23 c #Conflicts: 114000 | #Constraints: 12199
174.62/175.23 c #Conflicts: 115000 | #Constraints: 13199
174.62/175.23 c #Conflicts: 116000 | #Constraints: 14199
174.62/175.23 c #Conflicts: 117000 | #Constraints: 15199
174.62/175.23 c INPROCESSING
174.62/175.23 c GARBAGE COLLECT
174.62/175.23 c #Conflicts: 118000 | #Constraints: 9395
174.62/175.23 c #Conflicts: 119000 | #Constraints: 10395
174.62/175.23 c #Conflicts: 120000 | #Constraints: 11395
174.62/175.23 c #Conflicts: 121000 | #Constraints: 12395
174.62/175.23 c #Conflicts: 122000 | #Constraints: 13395
174.62/175.23 c #Conflicts: 123000 | #Constraints: 14395
174.62/175.23 c #Conflicts: 124000 | #Constraints: 15395
174.62/175.23 c INPROCESSING
174.62/175.23 c GARBAGE COLLECT
174.62/175.23 c #Conflicts: 125000 | #Constraints: 9391
174.62/175.23 c #Conflicts: 126000 | #Constraints: 10391
174.62/175.23 c #Conflicts: 127000 | #Constraints: 11391
174.62/175.23 c #Conflicts: 128000 | #Constraints: 12391
174.62/175.23 c #Conflicts: 129000 | #Constraints: 13391
174.62/175.23 c #Conflicts: 130000 | #Constraints: 14391
174.62/175.23 c #Conflicts: 131000 | #Constraints: 15391
174.62/175.23 c INPROCESSING
174.62/175.23 c GARBAGE COLLECT
174.62/175.23 c #Conflicts: 132000 | #Constraints: 9201
174.62/175.23 c #Conflicts: 133000 | #Constraints: 10201
174.62/175.23 c #Conflicts: 134000 | #Constraints: 11201
174.62/175.23 c #Conflicts: 135000 | #Constraints: 12201
174.62/175.23 c #Conflicts: 136000 | #Constraints: 13201
174.62/175.23 c #Conflicts: 137000 | #Constraints: 14201
174.62/175.23 c #Conflicts: 138000 | #Constraints: 15201
174.62/175.23 c #Conflicts: 139000 | #Constraints: 16201
174.62/175.23 c INPROCESSING
174.62/175.23 c GARBAGE COLLECT
174.62/175.23 c #Conflicts: 140000 | #Constraints: 9797
174.62/175.23 c #Conflicts: 141000 | #Constraints: 10797
174.62/175.23 c #Conflicts: 142000 | #Constraints: 11797
174.62/175.23 c #Conflicts: 143000 | #Constraints: 12797
174.62/175.23 c #Conflicts: 144000 | #Constraints: 13797
174.62/175.23 c #Conflicts: 145000 | #Constraints: 14797
174.62/175.23 c #Conflicts: 146000 | #Constraints: 15797
174.62/175.23 c #Conflicts: 147000 | #Constraints: 16797
174.62/175.23 c INPROCESSING
174.62/175.23 c GARBAGE COLLECT
174.62/175.23 c #Conflicts: 148000 | #Constraints: 10198
174.62/175.23 c #Conflicts: 149000 | #Constraints: 11198
174.62/175.23 c #Conflicts: 150000 | #Constraints: 12198
174.62/175.23 c #Conflicts: 151000 | #Constraints: 13198
174.62/175.23 c #Conflicts: 152000 | #Constraints: 14198
174.62/175.23 c GLOBAL bounds - >= 1665342075925 @ 168.192
174.62/175.24 c GLOBAL bounds - >= 1665342075925 @ 168.205
174.62/175.27 c GLOBAL bounds - >= 1665342075925 @ 168.218
174.62/175.27 c GLOBAL bounds - >= 1665342075925 @ 168.219
174.62/175.30 c GLOBAL bounds - >= 1665342075925 @ 168.231
174.72/175.30 c GLOBAL bounds - >= 1665342075925 @ 168.233
174.72/175.32 c GLOBAL bounds - >= 1665342075925 @ 168.245
174.72/175.32 c GLOBAL bounds - >= 1665342075925 @ 168.246
174.72/175.35 c GLOBAL bounds - >= 1665342075925 @ 168.254
174.72/175.35 c GLOBAL bounds - >= 1665342075925 @ 168.255
174.72/175.37 c GLOBAL bounds - >= 1665342075925 @ 168.264
174.72/175.38 c GLOBAL bounds - >= 1665342075925 @ 168.265
174.82/175.40 c GLOBAL bounds - >= 1665342075925 @ 168.276
174.82/175.40 c GLOBAL bounds - >= 1665342075925 @ 168.277
174.82/175.43 c GLOBAL bounds - >= 1665342075925 @ 168.291
174.82/175.43 c GLOBAL bounds - >= 1665342075925 @ 168.293
174.82/175.45 c GLOBAL bounds - >= 1665342075925 @ 168.301
174.82/175.45 c GLOBAL bounds - >= 1665342075925 @ 168.301
174.82/175.48 c GLOBAL bounds - >= 1665342075925 @ 168.31
174.82/175.48 c GLOBAL bounds - >= 1665342075925 @ 168.312
174.92/175.50 c GLOBAL bounds - >= 1665342075925 @ 168.323
247.93/249.11 c #Conflicts: 153000 | #Constraints: 15237
247.93/249.11 c #Conflicts: 154000 | #Constraints: 16237
247.93/249.11 c #Conflicts: 155000 | #Constraints: 17237
247.93/249.11 c INPROCESSING
247.93/249.11 c GARBAGE COLLECT
247.93/249.11 c #Conflicts: 156000 | #Constraints: 10428
247.93/249.11 c #Conflicts: 157000 | #Constraints: 11428
247.93/249.11 c #Conflicts: 158000 | #Constraints: 12428
247.93/249.11 c #Conflicts: 159000 | #Constraints: 13428
247.93/249.11 c #Conflicts: 160000 | #Constraints: 14428
247.93/249.11 c #Conflicts: 161000 | #Constraints: 15428
247.93/249.11 c #Conflicts: 162000 | #Constraints: 16428
247.93/249.11 c #Conflicts: 163000 | #Constraints: 17428
247.93/249.11 c INPROCESSING
247.93/249.11 c GARBAGE COLLECT
247.93/249.11 c #Conflicts: 164000 | #Constraints: 10422
247.93/249.11 c #Conflicts: 165000 | #Constraints: 11422
247.93/249.11 c #Conflicts: 166000 | #Constraints: 12422
247.93/249.11 c #Conflicts: 167000 | #Constraints: 13422
247.93/249.11 c #Conflicts: 168000 | #Constraints: 14422
247.93/249.11 c #Conflicts: 169000 | #Constraints: 15422
247.93/249.11 c #Conflicts: 170000 | #Constraints: 16422
247.93/249.11 c #Conflicts: 171000 | #Constraints: 17422
247.93/249.11 c INPROCESSING
247.93/249.11 c GARBAGE COLLECT
247.93/249.11 c #Conflicts: 172000 | #Constraints: 10226
247.93/249.11 c #Conflicts: 173000 | #Constraints: 11226
247.93/249.11 c #Conflicts: 174000 | #Constraints: 12226
247.93/249.11 c #Conflicts: 175000 | #Constraints: 13226
247.93/249.11 c #Conflicts: 176000 | #Constraints: 14226
247.93/249.11 c #Conflicts: 177000 | #Constraints: 15226
247.93/249.11 c #Conflicts: 178000 | #Constraints: 16226
247.93/249.11 c #Conflicts: 179000 | #Constraints: 17226
247.93/249.11 c #Conflicts: 180000 | #Constraints: 18226
247.93/249.11 c INPROCESSING
247.93/249.11 c GARBAGE COLLECT
247.93/249.11 c #Conflicts: 181000 | #Constraints: 10825
247.93/249.11 c #Conflicts: 182000 | #Constraints: 11825
247.93/249.11 c #Conflicts: 183000 | #Constraints: 12825
247.93/249.11 c #Conflicts: 184000 | #Constraints: 13825
247.93/249.11 c #Conflicts: 185000 | #Constraints: 14825
247.93/249.11 c #Conflicts: 186000 | #Constraints: 15825
247.93/249.11 c #Conflicts: 187000 | #Constraints: 16825
247.93/249.11 c #Conflicts: 188000 | #Constraints: 17825
247.93/249.11 c #Conflicts: 189000 | #Constraints: 18825
247.93/249.11 c INPROCESSING
247.93/249.11 c GARBAGE COLLECT
247.93/249.11 c #Conflicts: 190000 | #Constraints: 11223
247.93/249.11 c #Conflicts: 191000 | #Constraints: 12223
247.93/249.11 c #Conflicts: 192000 | #Constraints: 13223
247.93/249.11 c #Conflicts: 193000 | #Constraints: 14223
247.93/249.11 c #Conflicts: 194000 | #Constraints: 15223
247.93/249.11 c #Conflicts: 195000 | #Constraints: 16223
247.93/249.11 c #Conflicts: 196000 | #Constraints: 17223
247.93/249.11 c #Conflicts: 197000 | #Constraints: 18223
247.93/249.11 c #Conflicts: 198000 | #Constraints: 19223
247.93/249.11 c INPROCESSING
247.93/249.11 c GARBAGE COLLECT
247.93/249.11 c #Conflicts: 199000 | #Constraints: 11442
247.93/249.11 c #Conflicts: 200000 | #Constraints: 12442
247.93/249.11 c #Conflicts: 201000 | #Constraints: 13442
247.93/249.11 c #Conflicts: 202000 | #Constraints: 14442
247.93/249.11 c #Conflicts: 203000 | #Constraints: 15442
247.93/249.11 c #Conflicts: 204000 | #Constraints: 16442
247.93/249.11 c #Conflicts: 205000 | #Constraints: 17442
247.93/249.11 c #Conflicts: 206000 | #Constraints: 18442
247.93/249.11 c #Conflicts: 207000 | #Constraints: 19442
247.93/249.11 c INPROCESSING
247.93/249.11 c GARBAGE COLLECT
247.93/249.11 c #Conflicts: 208000 | #Constraints: 11434
247.93/249.11 c #Conflicts: 209000 | #Constraints: 12434
247.93/249.11 c #Conflicts: 210000 | #Constraints: 13434
247.93/249.11 c #Conflicts: 211000 | #Constraints: 14434
247.93/249.11 c #Conflicts: 212000 | #Constraints: 15434
247.93/249.11 c GLOBAL bounds - >= 1665526546175 @ 239.994
247.93/249.13 c GLOBAL bounds - >= 1665526546175 @ 240.011
247.93/249.15 c GLOBAL bounds - >= 1665526546175 @ 240.024
247.93/249.15 c GLOBAL bounds - >= 1665526546175 @ 240.025
247.93/249.18 c GLOBAL bounds - >= 1665526546175 @ 240.036
247.93/249.18 c GLOBAL bounds - >= 1665526546175 @ 240.037
248.02/249.21 c GLOBAL bounds - >= 1665526546175 @ 240.051
248.02/249.21 c GLOBAL bounds - >= 1665526546175 @ 240.052
248.02/249.23 c GLOBAL bounds - >= 1665526546175 @ 240.066
248.02/249.23 c GLOBAL bounds - >= 1665526546175 @ 240.067
248.02/249.26 c GLOBAL bounds - >= 1665526546175 @ 240.077
248.02/249.26 c GLOBAL bounds - >= 1665526546175 @ 240.078
248.02/249.29 c GLOBAL bounds - >= 1665526546175 @ 240.089
248.02/249.29 c GLOBAL bounds - >= 1665526546175 @ 240.09
248.12/249.31 c GLOBAL bounds - >= 1665526546175 @ 240.102
248.12/249.31 c GLOBAL bounds - >= 1665526546175 @ 240.104
248.12/249.34 c GLOBAL bounds - >= 1665526546175 @ 240.118
248.12/249.34 c GLOBAL bounds - >= 1665526546175 @ 240.119
248.12/249.37 c GLOBAL bounds - >= 1665526546175 @ 240.126
248.12/249.37 c GLOBAL bounds - >= 1665526546175 @ 240.128
248.12/249.39 c GLOBAL bounds - >= 1665526546175 @ 240.138
287.74/289.34 c #Conflicts: 213000 | #Constraints: 16473
287.74/289.34 c #Conflicts: 214000 | #Constraints: 17473
287.74/289.34 c #Conflicts: 215000 | #Constraints: 18473
287.74/289.34 c #Conflicts: 216000 | #Constraints: 19473
287.74/289.34 c INPROCESSING
287.74/289.34 c GARBAGE COLLECT
287.74/289.34 c #Conflicts: 217000 | #Constraints: 11268
287.74/289.34 c #Conflicts: 218000 | #Constraints: 12268
287.74/289.34 c #Conflicts: 219000 | #Constraints: 13268
287.74/289.34 c #Conflicts: 220000 | #Constraints: 14268
287.74/289.34 c #Conflicts: 221000 | #Constraints: 15268
287.74/289.34 c #Conflicts: 222000 | #Constraints: 16268
287.74/289.34 c #Conflicts: 223000 | #Constraints: 17268
287.74/289.34 c #Conflicts: 224000 | #Constraints: 18268
287.74/289.34 c #Conflicts: 225000 | #Constraints: 19268
287.74/289.34 c #Conflicts: 226000 | #Constraints: 20268
287.74/289.34 c INPROCESSING
287.74/289.34 c GARBAGE COLLECT
287.74/289.34 c #Conflicts: 227000 | #Constraints: 11881
287.74/289.34 c #Conflicts: 228000 | #Constraints: 12881
287.74/289.34 c #Conflicts: 229000 | #Constraints: 13881
287.74/289.34 c #Conflicts: 230000 | #Constraints: 14881
287.74/289.34 c #Conflicts: 231000 | #Constraints: 15881
287.74/289.34 c #Conflicts: 232000 | #Constraints: 16881
287.74/289.34 c #Conflicts: 233000 | #Constraints: 17881
287.74/289.34 c #Conflicts: 234000 | #Constraints: 18881
287.74/289.34 c #Conflicts: 235000 | #Constraints: 19881
287.74/289.34 c #Conflicts: 236000 | #Constraints: 20881
287.74/289.34 c INPROCESSING
287.74/289.34 c GARBAGE COLLECT
287.74/289.34 c #Conflicts: 237000 | #Constraints: 12270
287.74/289.34 c #Conflicts: 238000 | #Constraints: 13270
287.74/289.34 c #Conflicts: 239000 | #Constraints: 14270
287.74/289.34 c #Conflicts: 240000 | #Constraints: 15270
287.74/289.34 c #Conflicts: 241000 | #Constraints: 16270
287.74/289.34 c GLOBAL bounds - >= 1665711016425 @ 278.867
287.74/289.35 c GLOBAL bounds - >= 1665711016425 @ 278.882
287.74/289.38 c GLOBAL bounds - >= 1665711016425 @ 278.895
287.74/289.38 c GLOBAL bounds - >= 1665711016425 @ 278.896
287.84/289.40 c GLOBAL bounds - >= 1665711016425 @ 278.908
287.84/289.41 c GLOBAL bounds - >= 1665711016425 @ 278.909
287.84/289.43 c GLOBAL bounds - >= 1665711016425 @ 278.923
287.84/289.43 c GLOBAL bounds - >= 1665711016425 @ 278.924
287.84/289.46 c GLOBAL bounds - >= 1665711016425 @ 278.934
287.84/289.46 c GLOBAL bounds - >= 1665711016425 @ 278.935
287.84/289.48 c GLOBAL bounds - >= 1665711016425 @ 278.95
287.84/289.49 c GLOBAL bounds - >= 1665711016425 @ 278.951
287.93/289.51 c GLOBAL bounds - >= 1665711016425 @ 278.963
287.93/289.51 c GLOBAL bounds - >= 1665711016425 @ 278.964
287.93/289.54 c GLOBAL bounds - >= 1665711016425 @ 278.975
287.93/289.54 c GLOBAL bounds - >= 1665711016425 @ 278.976
287.93/289.56 c GLOBAL bounds - >= 1665711016425 @ 278.985
287.93/289.57 c GLOBAL bounds - >= 1665711016425 @ 278.987
287.93/289.59 c GLOBAL bounds - >= 1665711016425 @ 278.997
287.93/289.59 c GLOBAL bounds - >= 1665711016425 @ 278.998
288.04/289.62 c GLOBAL bounds - >= 1665711016425 @ 279.011
386.49/388.73 c #Conflicts: 242000 | #Constraints: 17309
386.49/388.73 c #Conflicts: 243000 | #Constraints: 18309
386.49/388.73 c #Conflicts: 244000 | #Constraints: 19309
386.49/388.73 c #Conflicts: 245000 | #Constraints: 20309
386.49/388.73 c #Conflicts: 246000 | #Constraints: 21309
386.49/388.73 c INPROCESSING
386.49/388.73 c GARBAGE COLLECT
386.49/388.73 c #Conflicts: 247000 | #Constraints: 12493
386.49/388.73 c #Conflicts: 248000 | #Constraints: 13493
386.49/388.73 c #Conflicts: 249000 | #Constraints: 14493
386.49/388.73 c #Conflicts: 250000 | #Constraints: 15493
386.49/388.73 c #Conflicts: 251000 | #Constraints: 16493
386.49/388.73 c #Conflicts: 252000 | #Constraints: 17493
386.49/388.73 c #Conflicts: 253000 | #Constraints: 18493
386.49/388.73 c #Conflicts: 254000 | #Constraints: 19493
386.49/388.73 c #Conflicts: 255000 | #Constraints: 20493
386.49/388.73 c #Conflicts: 256000 | #Constraints: 21493
386.49/388.73 c INPROCESSING
386.49/388.73 c GARBAGE COLLECT
386.49/388.73 c #Conflicts: 257000 | #Constraints: 12494
386.49/388.73 c #Conflicts: 258000 | #Constraints: 13494
386.49/388.73 c #Conflicts: 259000 | #Constraints: 14494
386.49/388.73 c #Conflicts: 260000 | #Constraints: 15494
386.49/388.73 c #Conflicts: 261000 | #Constraints: 16494
386.49/388.73 c #Conflicts: 262000 | #Constraints: 17494
386.49/388.73 c #Conflicts: 263000 | #Constraints: 18494
386.49/388.73 c #Conflicts: 264000 | #Constraints: 19494
386.49/388.73 c #Conflicts: 265000 | #Constraints: 20494
386.49/388.73 c #Conflicts: 266000 | #Constraints: 21494
386.49/388.73 c INPROCESSING
386.49/388.73 c GARBAGE COLLECT
386.49/388.73 c #Conflicts: 267000 | #Constraints: 12290
386.49/388.73 c #Conflicts: 268000 | #Constraints: 13290
386.49/388.73 c #Conflicts: 269000 | #Constraints: 14290
386.49/388.73 c #Conflicts: 270000 | #Constraints: 15290
386.49/388.73 c #Conflicts: 271000 | #Constraints: 16290
386.49/388.73 c #Conflicts: 272000 | #Constraints: 17290
386.49/388.73 c #Conflicts: 273000 | #Constraints: 18290
386.49/388.73 c #Conflicts: 274000 | #Constraints: 19290
386.49/388.73 c #Conflicts: 275000 | #Constraints: 20290
386.49/388.73 c #Conflicts: 276000 | #Constraints: 21290
386.49/388.73 c #Conflicts: 277000 | #Constraints: 22290
386.49/388.73 c INPROCESSING
386.49/388.73 c GARBAGE COLLECT
386.49/388.73 c #Conflicts: 278000 | #Constraints: 12890
386.49/388.73 c #Conflicts: 279000 | #Constraints: 13890
386.49/388.73 c #Conflicts: 280000 | #Constraints: 14890
386.49/388.73 c #Conflicts: 281000 | #Constraints: 15890
386.49/388.73 c #Conflicts: 282000 | #Constraints: 16890
386.49/388.73 c #Conflicts: 283000 | #Constraints: 17890
386.49/388.73 c #Conflicts: 284000 | #Constraints: 18890
386.49/388.73 c #Conflicts: 285000 | #Constraints: 19890
386.49/388.73 c #Conflicts: 286000 | #Constraints: 20890
386.49/388.73 c #Conflicts: 287000 | #Constraints: 21890
386.49/388.73 c #Conflicts: 288000 | #Constraints: 22890
386.49/388.73 c INPROCESSING
386.49/388.73 c GARBAGE COLLECT
386.49/388.73 c #Conflicts: 289000 | #Constraints: 13292
386.49/388.73 c #Conflicts: 290000 | #Constraints: 14292
386.49/388.73 c #Conflicts: 291000 | #Constraints: 15292
386.49/388.73 c #Conflicts: 292000 | #Constraints: 16292
386.49/388.73 c #Conflicts: 293000 | #Constraints: 17292
386.49/388.73 c #Conflicts: 294000 | #Constraints: 18292
386.49/388.73 c #Conflicts: 295000 | #Constraints: 19292
386.49/388.73 c #Conflicts: 296000 | #Constraints: 20292
386.49/388.73 c #Conflicts: 297000 | #Constraints: 21292
386.49/388.73 c #Conflicts: 298000 | #Constraints: 22292
386.49/388.73 c #Conflicts: 299000 | #Constraints: 23292
386.49/388.73 c INPROCESSING
386.49/388.73 c GARBAGE COLLECT
386.49/388.73 c #Conflicts: 300000 | #Constraints: 13491
386.49/388.73 c #Conflicts: 301000 | #Constraints: 14491
386.49/388.73 c #Conflicts: 302000 | #Constraints: 15491
386.49/388.73 c #Conflicts: 303000 | #Constraints: 16491
386.49/388.73 c #Conflicts: 304000 | #Constraints: 17491
386.49/388.73 c #Conflicts: 305000 | #Constraints: 18491
386.49/388.73 c #Conflicts: 306000 | #Constraints: 19491
386.49/388.73 c #Conflicts: 307000 | #Constraints: 20491
386.49/388.73 c #Conflicts: 308000 | #Constraints: 21491
386.49/388.73 c #Conflicts: 309000 | #Constraints: 22491
386.49/388.73 c #Conflicts: 310000 | #Constraints: 23491
386.49/388.73 c INPROCESSING
386.49/388.73 c GARBAGE COLLECT
386.49/388.73 c #Conflicts: 311000 | #Constraints: 13489
386.49/388.73 c #Conflicts: 312000 | #Constraints: 14489
386.49/388.73 c #Conflicts: 313000 | #Constraints: 15489
386.49/388.73 c #Conflicts: 314000 | #Constraints: 16489
386.49/388.73 c #Conflicts: 315000 | #Constraints: 17489
386.49/388.73 c #Conflicts: 316000 | #Constraints: 18489
410.13/412.43 c #Conflicts: 317000 | #Constraints: 19489
410.13/412.43 c #Conflicts: 318000 | #Constraints: 20489
410.13/412.43 c #Conflicts: 319000 | #Constraints: 21489
410.13/412.43 c #Conflicts: 320000 | #Constraints: 22489
410.13/412.43 c #Conflicts: 321000 | #Constraints: 23489
410.13/412.43 c INPROCESSING
410.13/412.43 c GARBAGE COLLECT
410.13/412.43 c #Conflicts: 322000 | #Constraints: 13290
410.13/412.43 c #Conflicts: 323000 | #Constraints: 14290
410.13/412.43 c #Conflicts: 324000 | #Constraints: 15290
410.13/412.43 c #Conflicts: 325000 | #Constraints: 16290
410.13/412.43 c #Conflicts: 326000 | #Constraints: 17290
410.13/412.43 c #Conflicts: 327000 | #Constraints: 18290
410.13/412.43 c #Conflicts: 328000 | #Constraints: 19290
410.13/412.43 c #Conflicts: 329000 | #Constraints: 20290
410.13/412.43 c #Conflicts: 330000 | #Constraints: 21290
410.13/412.43 c GLOBAL bounds - >= 1665895486675 @ 398.748
410.13/412.45 c GLOBAL bounds - >= 1665895486675 @ 398.765
410.13/412.48 c GLOBAL bounds - >= 1665895486675 @ 398.777
410.13/412.48 c GLOBAL bounds - >= 1665895486675 @ 398.779
410.22/412.51 c GLOBAL bounds - >= 1665895486675 @ 398.791
410.22/412.51 c GLOBAL bounds - >= 1665895486675 @ 398.793
410.22/412.54 c GLOBAL bounds - >= 1665895486675 @ 398.808
410.22/412.54 c GLOBAL bounds - >= 1665895486675 @ 398.809
410.22/412.57 c GLOBAL bounds - >= 1665895486675 @ 398.823
410.22/412.57 c GLOBAL bounds - >= 1665895486675 @ 398.824
410.32/412.60 c GLOBAL bounds - >= 1665895486675 @ 398.838
410.32/412.60 c GLOBAL bounds - >= 1665895486675 @ 398.839
410.32/412.63 c GLOBAL bounds - >= 1665895486675 @ 398.855
410.32/412.63 c GLOBAL bounds - >= 1665895486675 @ 398.857
410.32/412.66 c GLOBAL bounds - >= 1665895486675 @ 398.874
410.32/412.66 c GLOBAL bounds - >= 1665895486675 @ 398.874
410.32/412.69 c GLOBAL bounds - >= 1665895486675 @ 398.892
410.32/412.69 c GLOBAL bounds - >= 1665895486675 @ 398.892
410.42/412.72 c GLOBAL bounds - >= 1665895486675 @ 398.904
410.42/412.72 c GLOBAL bounds - >= 1665895486675 @ 398.904
410.42/412.75 c GLOBAL bounds - >= 1665895486675 @ 398.915
501.33/503.93 c #Conflicts: 331000 | #Constraints: 22329
501.33/503.93 c #Conflicts: 332000 | #Constraints: 23329
501.33/503.93 c #Conflicts: 333000 | #Constraints: 24329
501.33/503.93 c INPROCESSING
501.33/503.93 c GARBAGE COLLECT
501.33/503.93 c #Conflicts: 334000 | #Constraints: 13937
501.33/503.93 c #Conflicts: 335000 | #Constraints: 14937
501.33/503.93 c #Conflicts: 336000 | #Constraints: 15937
501.33/503.93 c #Conflicts: 337000 | #Constraints: 16937
501.33/503.93 c #Conflicts: 338000 | #Constraints: 17937
501.33/503.93 c #Conflicts: 339000 | #Constraints: 18937
501.33/503.93 c #Conflicts: 340000 | #Constraints: 19937
501.33/503.93 c #Conflicts: 341000 | #Constraints: 20937
501.33/503.93 c #Conflicts: 342000 | #Constraints: 21937
501.33/503.93 c #Conflicts: 343000 | #Constraints: 22937
501.33/503.93 c #Conflicts: 344000 | #Constraints: 23937
501.33/503.93 c #Conflicts: 345000 | #Constraints: 24937
501.33/503.93 c INPROCESSING
501.33/503.93 c GARBAGE COLLECT
501.33/503.93 c #Conflicts: 346000 | #Constraints: 14325
501.33/503.93 c #Conflicts: 347000 | #Constraints: 15325
501.33/503.93 c #Conflicts: 348000 | #Constraints: 16325
501.33/503.93 c #Conflicts: 349000 | #Constraints: 17325
501.33/503.93 c #Conflicts: 350000 | #Constraints: 18325
501.33/503.93 c #Conflicts: 351000 | #Constraints: 19325
501.33/503.93 c #Conflicts: 352000 | #Constraints: 20325
501.33/503.93 c #Conflicts: 353000 | #Constraints: 21325
501.33/503.93 c #Conflicts: 354000 | #Constraints: 22325
501.33/503.93 c #Conflicts: 355000 | #Constraints: 23325
501.33/503.93 c #Conflicts: 356000 | #Constraints: 24325
501.33/503.93 c #Conflicts: 357000 | #Constraints: 25325
501.33/503.93 c INPROCESSING
501.33/503.93 c GARBAGE COLLECT
501.33/503.93 c #Conflicts: 358000 | #Constraints: 14521
501.33/503.93 c #Conflicts: 359000 | #Constraints: 15521
501.33/503.93 c #Conflicts: 360000 | #Constraints: 16521
501.33/503.93 c #Conflicts: 361000 | #Constraints: 17521
501.33/503.93 c #Conflicts: 362000 | #Constraints: 18521
501.33/503.93 c #Conflicts: 363000 | #Constraints: 19521
501.33/503.93 c #Conflicts: 364000 | #Constraints: 20521
501.33/503.93 c #Conflicts: 365000 | #Constraints: 21521
501.33/503.93 c #Conflicts: 366000 | #Constraints: 22521
501.33/503.93 c #Conflicts: 367000 | #Constraints: 23521
501.33/503.93 c #Conflicts: 368000 | #Constraints: 24521
501.33/503.93 c #Conflicts: 369000 | #Constraints: 25521
501.33/503.93 c INPROCESSING
501.33/503.93 c GARBAGE COLLECT
501.33/503.93 c #Conflicts: 370000 | #Constraints: 14518
501.33/503.93 c #Conflicts: 371000 | #Constraints: 15518
501.33/503.93 c #Conflicts: 372000 | #Constraints: 16518
501.33/503.93 c #Conflicts: 373000 | #Constraints: 17518
501.33/503.93 c #Conflicts: 374000 | #Constraints: 18518
501.33/503.93 c #Conflicts: 375000 | #Constraints: 19518
501.33/503.93 c #Conflicts: 376000 | #Constraints: 20518
501.33/503.93 c #Conflicts: 377000 | #Constraints: 21518
501.33/503.93 c #Conflicts: 378000 | #Constraints: 22518
501.33/503.93 c #Conflicts: 379000 | #Constraints: 23518
501.33/503.93 c #Conflicts: 380000 | #Constraints: 24518
501.33/503.93 c GLOBAL bounds - >= 1666079956925 @ 488.155
501.33/503.95 c GLOBAL bounds - >= 1666079956925 @ 488.172
501.33/503.98 c GLOBAL bounds - >= 1666079956925 @ 488.187
501.33/503.98 c GLOBAL bounds - >= 1666079956925 @ 488.19
501.45/504.01 c GLOBAL bounds - >= 1666079956925 @ 488.203
501.45/504.01 c GLOBAL bounds - >= 1666079956925 @ 488.206
501.45/504.04 c GLOBAL bounds - >= 1666079956925 @ 488.217
501.45/504.04 c GLOBAL bounds - >= 1666079956925 @ 488.22
501.45/504.07 c GLOBAL bounds - >= 1666079956925 @ 488.236
501.45/504.07 c GLOBAL bounds - >= 1666079956925 @ 488.237
501.45/504.10 c GLOBAL bounds - >= 1666079956925 @ 488.25
501.45/504.10 c GLOBAL bounds - >= 1666079956925 @ 488.252
501.55/504.13 c GLOBAL bounds - >= 1666079956925 @ 488.264
501.55/504.13 c GLOBAL bounds - >= 1666079956925 @ 488.267
501.55/504.16 c GLOBAL bounds - >= 1666079956925 @ 488.282
501.55/504.16 c GLOBAL bounds - >= 1666079956925 @ 488.284
501.55/504.19 c GLOBAL bounds - >= 1666079956925 @ 488.296
501.55/504.19 c GLOBAL bounds - >= 1666079956925 @ 488.297
501.64/504.22 c GLOBAL bounds - >= 1666079956925 @ 488.312
501.64/504.22 c GLOBAL bounds - >= 1666079956925 @ 488.314
501.64/504.25 c GLOBAL bounds - >= 1666079956925 @ 488.329
575.80/578.61 c #Conflicts: 381000 | #Constraints: 25557
575.80/578.61 c INPROCESSING
575.80/578.61 c GARBAGE COLLECT
575.80/578.61 c #Conflicts: 382000 | #Constraints: 14351
575.80/578.61 c #Conflicts: 383000 | #Constraints: 15351
575.80/578.61 c #Conflicts: 384000 | #Constraints: 16351
575.80/578.61 c #Conflicts: 385000 | #Constraints: 17351
575.80/578.61 c #Conflicts: 386000 | #Constraints: 18351
575.80/578.61 c #Conflicts: 387000 | #Constraints: 19351
575.80/578.61 c #Conflicts: 388000 | #Constraints: 20351
575.80/578.61 c #Conflicts: 389000 | #Constraints: 21351
575.80/578.61 c #Conflicts: 390000 | #Constraints: 22351
575.80/578.61 c #Conflicts: 391000 | #Constraints: 23351
575.80/578.61 c #Conflicts: 392000 | #Constraints: 24351
575.80/578.61 c #Conflicts: 393000 | #Constraints: 25351
575.80/578.61 c #Conflicts: 394000 | #Constraints: 26351
575.80/578.61 c INPROCESSING
575.80/578.61 c GARBAGE COLLECT
575.80/578.61 c #Conflicts: 395000 | #Constraints: 14947
575.80/578.61 c #Conflicts: 396000 | #Constraints: 15947
575.80/578.61 c #Conflicts: 397000 | #Constraints: 16947
575.80/578.61 c #Conflicts: 398000 | #Constraints: 17947
575.80/578.61 c #Conflicts: 399000 | #Constraints: 18947
575.80/578.61 c #Conflicts: 400000 | #Constraints: 19947
575.80/578.61 c #Conflicts: 401000 | #Constraints: 20947
575.80/578.61 c #Conflicts: 402000 | #Constraints: 21947
575.80/578.61 c #Conflicts: 403000 | #Constraints: 22947
575.80/578.61 c #Conflicts: 404000 | #Constraints: 23947
575.80/578.61 c #Conflicts: 405000 | #Constraints: 24947
575.80/578.61 c #Conflicts: 406000 | #Constraints: 25947
575.80/578.61 c #Conflicts: 407000 | #Constraints: 26947
575.80/578.61 c INPROCESSING
575.80/578.61 c GARBAGE COLLECT
575.80/578.61 c #Conflicts: 408000 | #Constraints: 15346
575.80/578.61 c #Conflicts: 409000 | #Constraints: 16346
575.80/578.61 c #Conflicts: 410000 | #Constraints: 17346
575.80/578.61 c #Conflicts: 411000 | #Constraints: 18346
575.80/578.61 c #Conflicts: 412000 | #Constraints: 19346
575.80/578.61 c #Conflicts: 413000 | #Constraints: 20346
575.80/578.61 c #Conflicts: 414000 | #Constraints: 21346
575.80/578.61 c #Conflicts: 415000 | #Constraints: 22346
575.80/578.61 c #Conflicts: 416000 | #Constraints: 23346
575.80/578.61 c #Conflicts: 417000 | #Constraints: 24346
575.80/578.61 c #Conflicts: 418000 | #Constraints: 25346
575.80/578.61 c #Conflicts: 419000 | #Constraints: 26346
575.80/578.61 c #Conflicts: 420000 | #Constraints: 27346
575.80/578.61 c INPROCESSING
575.80/578.61 c GARBAGE COLLECT
575.80/578.61 c #Conflicts: 421000 | #Constraints: 15557
575.80/578.61 c #Conflicts: 422000 | #Constraints: 16557
575.80/578.61 c #Conflicts: 423000 | #Constraints: 17557
575.80/578.61 c #Conflicts: 424000 | #Constraints: 18557
575.80/578.61 c GLOBAL bounds - >= 1666264427175 @ 561.105
575.80/578.62 c GLOBAL bounds - >= 1666264427175 @ 561.121
575.80/578.65 c GLOBAL bounds - >= 1666264427175 @ 561.135
575.80/578.65 c GLOBAL bounds - >= 1666264427175 @ 561.136
575.80/578.68 c GLOBAL bounds - >= 1666264427175 @ 561.15
575.80/578.68 c GLOBAL bounds - >= 1666264427175 @ 561.153
575.90/578.71 c GLOBAL bounds - >= 1666264427175 @ 561.165
575.90/578.71 c GLOBAL bounds - >= 1666264427175 @ 561.167
575.90/578.73 c GLOBAL bounds - >= 1666264427175 @ 561.18
575.90/578.74 c GLOBAL bounds - >= 1666264427175 @ 561.181
575.90/578.76 c GLOBAL bounds - >= 1666264427175 @ 561.191
575.90/578.76 c GLOBAL bounds - >= 1666264427175 @ 561.193
575.90/578.79 c GLOBAL bounds - >= 1666264427175 @ 561.208
575.90/578.79 c GLOBAL bounds - >= 1666264427175 @ 561.209
576.00/578.82 c GLOBAL bounds - >= 1666264427175 @ 561.224
576.00/578.82 c GLOBAL bounds - >= 1666264427175 @ 561.226
576.00/578.84 c GLOBAL bounds - >= 1666264427175 @ 561.238
576.00/578.85 c GLOBAL bounds - >= 1666264427175 @ 561.239
576.00/578.87 c GLOBAL bounds - >= 1666264427175 @ 561.253
576.00/578.87 c GLOBAL bounds - >= 1666264427175 @ 561.255
576.10/578.90 c GLOBAL bounds - >= 1666264427175 @ 561.269
627.85/630.84 c #Conflicts: 425000 | #Constraints: 19596
627.85/630.84 c #Conflicts: 426000 | #Constraints: 20596
627.85/630.84 c #Conflicts: 427000 | #Constraints: 21596
627.85/630.84 c #Conflicts: 428000 | #Constraints: 22596
627.85/630.84 c #Conflicts: 429000 | #Constraints: 23596
627.85/630.84 c #Conflicts: 430000 | #Constraints: 24596
627.85/630.84 c #Conflicts: 431000 | #Constraints: 25596
627.85/630.84 c #Conflicts: 432000 | #Constraints: 26596
627.85/630.84 c #Conflicts: 433000 | #Constraints: 27596
627.85/630.84 c INPROCESSING
627.85/630.84 c GARBAGE COLLECT
627.85/630.84 c #Conflicts: 434000 | #Constraints: 15588
627.85/630.84 c #Conflicts: 435000 | #Constraints: 16588
627.85/630.84 c #Conflicts: 436000 | #Constraints: 17588
627.85/630.84 c #Conflicts: 437000 | #Constraints: 18588
627.85/630.84 c #Conflicts: 438000 | #Constraints: 19588
627.85/630.84 c #Conflicts: 439000 | #Constraints: 20588
627.85/630.84 c #Conflicts: 440000 | #Constraints: 21588
627.85/630.84 c #Conflicts: 441000 | #Constraints: 22588
627.85/630.84 c #Conflicts: 442000 | #Constraints: 23588
627.85/630.84 c #Conflicts: 443000 | #Constraints: 24588
627.85/630.84 c #Conflicts: 444000 | #Constraints: 25588
627.85/630.84 c #Conflicts: 445000 | #Constraints: 26588
627.85/630.84 c #Conflicts: 446000 | #Constraints: 27588
627.85/630.84 c INPROCESSING
627.85/630.84 c GARBAGE COLLECT
627.85/630.84 c #Conflicts: 447000 | #Constraints: 15377
627.85/630.84 c #Conflicts: 448000 | #Constraints: 16377
627.85/630.84 c #Conflicts: 449000 | #Constraints: 17377
627.85/630.84 c #Conflicts: 450000 | #Constraints: 18377
627.85/630.84 c #Conflicts: 451000 | #Constraints: 19377
627.85/630.84 c #Conflicts: 452000 | #Constraints: 20377
627.85/630.84 c #Conflicts: 453000 | #Constraints: 21377
627.85/630.84 c #Conflicts: 454000 | #Constraints: 22377
627.85/630.84 c #Conflicts: 455000 | #Constraints: 23377
627.85/630.84 c GLOBAL bounds - >= 1666448897425 @ 612.143
627.85/630.86 c GLOBAL bounds - >= 1666448897425 @ 612.157
627.85/630.88 c GLOBAL bounds - >= 1666448897425 @ 612.173
627.85/630.89 c GLOBAL bounds - >= 1666448897425 @ 612.176
627.95/630.91 c GLOBAL bounds - >= 1666448897425 @ 612.191
627.95/630.91 c GLOBAL bounds - >= 1666448897425 @ 612.194
627.95/630.94 c GLOBAL bounds - >= 1666448897425 @ 612.205
627.95/630.94 c GLOBAL bounds - >= 1666448897425 @ 612.207
627.95/630.97 c GLOBAL bounds - >= 1666448897425 @ 612.22
627.95/630.97 c GLOBAL bounds - >= 1666448897425 @ 612.222
627.95/631.00 c GLOBAL bounds - >= 1666448897425 @ 612.241
627.95/631.00 c GLOBAL bounds - >= 1666448897425 @ 612.242
628.07/631.03 c GLOBAL bounds - >= 1666448897425 @ 612.256
628.07/631.03 c GLOBAL bounds - >= 1666448897425 @ 612.258
628.07/631.06 c GLOBAL bounds - >= 1666448897425 @ 612.268
628.07/631.06 c GLOBAL bounds - >= 1666448897425 @ 612.269
628.07/631.08 c GLOBAL bounds - >= 1666448897425 @ 612.283
628.07/631.09 c GLOBAL bounds - >= 1666448897425 @ 612.286
628.16/631.11 c GLOBAL bounds - >= 1666448897425 @ 612.302
628.16/631.12 c GLOBAL bounds - >= 1666448897425 @ 612.304
628.16/631.14 c GLOBAL bounds - >= 1666448897425 @ 612.321
711.10/714.36 c #Conflicts: 456000 | #Constraints: 24416
711.10/714.36 c #Conflicts: 457000 | #Constraints: 25416
711.10/714.36 c #Conflicts: 458000 | #Constraints: 26416
711.10/714.36 c #Conflicts: 459000 | #Constraints: 27416
711.10/714.36 c #Conflicts: 460000 | #Constraints: 28416
711.10/714.36 c INPROCESSING
711.10/714.36 c GARBAGE COLLECT
711.10/714.36 c #Conflicts: 461000 | #Constraints: 16015
711.10/714.36 c #Conflicts: 462000 | #Constraints: 17015
711.10/714.36 c #Conflicts: 463000 | #Constraints: 18015
711.10/714.36 c #Conflicts: 464000 | #Constraints: 19015
711.10/714.36 c #Conflicts: 465000 | #Constraints: 20015
711.10/714.36 c #Conflicts: 466000 | #Constraints: 21015
711.10/714.36 c #Conflicts: 467000 | #Constraints: 22015
711.10/714.36 c #Conflicts: 468000 | #Constraints: 23015
711.10/714.36 c #Conflicts: 469000 | #Constraints: 24015
711.10/714.36 c #Conflicts: 470000 | #Constraints: 25015
711.10/714.36 c #Conflicts: 471000 | #Constraints: 26015
711.10/714.36 c #Conflicts: 472000 | #Constraints: 27015
711.10/714.36 c #Conflicts: 473000 | #Constraints: 28015
711.10/714.36 c #Conflicts: 474000 | #Constraints: 29015
711.10/714.36 c INPROCESSING
711.10/714.36 c GARBAGE COLLECT
711.10/714.36 c #Conflicts: 475000 | #Constraints: 16423
711.10/714.36 c #Conflicts: 476000 | #Constraints: 17423
711.10/714.36 c #Conflicts: 477000 | #Constraints: 18423
711.10/714.36 c #Conflicts: 478000 | #Constraints: 19423
711.10/714.36 c #Conflicts: 479000 | #Constraints: 20423
711.10/714.36 c #Conflicts: 480000 | #Constraints: 21423
711.10/714.36 c #Conflicts: 481000 | #Constraints: 22423
711.10/714.36 c #Conflicts: 482000 | #Constraints: 23423
711.10/714.36 c #Conflicts: 483000 | #Constraints: 24423
711.10/714.36 c #Conflicts: 484000 | #Constraints: 25423
711.10/714.36 c #Conflicts: 485000 | #Constraints: 26423
711.10/714.36 c #Conflicts: 486000 | #Constraints: 27423
711.10/714.36 c #Conflicts: 487000 | #Constraints: 28423
711.10/714.36 c #Conflicts: 488000 | #Constraints: 29423
711.10/714.36 c INPROCESSING
711.10/714.36 c GARBAGE COLLECT
711.10/714.36 c #Conflicts: 489000 | #Constraints: 16615
711.10/714.36 c #Conflicts: 490000 | #Constraints: 17615
711.10/714.36 c #Conflicts: 491000 | #Constraints: 18615
711.10/714.36 c #Conflicts: 492000 | #Constraints: 19615
711.10/714.36 c #Conflicts: 493000 | #Constraints: 20615
711.10/714.36 c #Conflicts: 494000 | #Constraints: 21615
711.10/714.36 c #Conflicts: 495000 | #Constraints: 22615
711.10/714.36 c #Conflicts: 496000 | #Constraints: 23615
711.10/714.36 c #Conflicts: 497000 | #Constraints: 24615
711.10/714.36 c #Conflicts: 498000 | #Constraints: 25615
711.10/714.36 c #Conflicts: 499000 | #Constraints: 26615
711.10/714.36 c GLOBAL bounds - >= 1666633367675 @ 693.733
711.10/714.38 c GLOBAL bounds - >= 1666633367675 @ 693.75
711.20/714.40 c GLOBAL bounds - >= 1666633367675 @ 693.766
711.20/714.41 c GLOBAL bounds - >= 1666633367675 @ 693.768
711.20/714.44 c GLOBAL bounds - >= 1666633367675 @ 693.785
711.20/714.44 c GLOBAL bounds - >= 1666633367675 @ 693.787
711.20/714.47 c GLOBAL bounds - >= 1666633367675 @ 693.803
711.20/714.47 c GLOBAL bounds - >= 1666633367675 @ 693.806
711.30/714.50 c GLOBAL bounds - >= 1666633367675 @ 693.824
711.30/714.50 c GLOBAL bounds - >= 1666633367675 @ 693.828
711.30/714.53 c GLOBAL bounds - >= 1666633367675 @ 693.843
711.30/714.53 c GLOBAL bounds - >= 1666633367675 @ 693.843
711.30/714.56 c GLOBAL bounds - >= 1666633367675 @ 693.859
711.30/714.57 c GLOBAL bounds - >= 1666633367675 @ 693.861
711.30/714.59 c GLOBAL bounds - >= 1666633367675 @ 693.879
711.40/714.60 c GLOBAL bounds - >= 1666633367675 @ 693.882
711.40/714.63 c GLOBAL bounds - >= 1666633367675 @ 693.9
711.40/714.63 c GLOBAL bounds - >= 1666633367675 @ 693.9
711.40/714.66 c GLOBAL bounds - >= 1666633367675 @ 693.914
711.40/714.66 c GLOBAL bounds - >= 1666633367675 @ 693.917
711.40/714.69 c GLOBAL bounds - >= 1666633367675 @ 693.936
720.97/724.21 c #Conflicts: 500000 | #Constraints: 27645
720.97/724.21 c #Conflicts: 501000 | #Constraints: 28645
720.97/724.21 c #Conflicts: 502000 | #Constraints: 29645
720.97/724.21 c INPROCESSING
720.97/724.21 c GARBAGE COLLECT
720.97/724.21 c #Conflicts: 503000 | #Constraints: 16648
720.97/724.21 c #Conflicts: 504000 | #Constraints: 17648
720.97/724.21 c #Conflicts: 505000 | #Constraints: 18648
720.97/724.21 c #Conflicts: 506000 | #Constraints: 19648
720.97/724.21 c #Conflicts: 507000 | #Constraints: 20648
720.97/724.21 c #Conflicts: 508000 | #Constraints: 21648
720.97/724.21 c GLOBAL bounds - >= 1666633367675 @ 703.33
723.67/726.99 c #Conflicts: 509000 | #Constraints: 22648
723.67/726.99 c #Conflicts: 510000 | #Constraints: 23648
723.67/726.99 c #Conflicts: 511000 | #Constraints: 24648
723.67/726.99 c GLOBAL bounds - >= 1666633367675 @ 706.063
724.36/727.64 c #Conflicts: 512000 | #Constraints: 25651
724.36/727.64 c GLOBAL bounds - >= 1666633367675 @ 706.699
724.46/727.72 c GLOBAL bounds - >= 1666633367675 @ 706.762
724.66/727.96 c GLOBAL bounds - >= 1666633367675 @ 706.987
814.22/817.73 c #Conflicts: 513000 | #Constraints: 26657
814.22/817.73 c #Conflicts: 514000 | #Constraints: 27657
814.22/817.73 c #Conflicts: 515000 | #Constraints: 28657
814.22/817.73 c #Conflicts: 516000 | #Constraints: 29657
814.22/817.73 c INPROCESSING
814.22/817.73 c GARBAGE COLLECT
814.22/817.73 c #Conflicts: 517000 | #Constraints: 16450
814.22/817.73 c #Conflicts: 518000 | #Constraints: 17450
814.22/817.73 c #Conflicts: 519000 | #Constraints: 18450
814.22/817.73 c #Conflicts: 520000 | #Constraints: 19450
814.22/817.73 c #Conflicts: 521000 | #Constraints: 20450
814.22/817.73 c #Conflicts: 522000 | #Constraints: 21450
814.22/817.73 c #Conflicts: 523000 | #Constraints: 22450
814.22/817.73 c #Conflicts: 524000 | #Constraints: 23450
814.22/817.73 c #Conflicts: 525000 | #Constraints: 24450
814.22/817.73 c #Conflicts: 526000 | #Constraints: 25450
814.22/817.73 c #Conflicts: 527000 | #Constraints: 26450
814.22/817.73 c #Conflicts: 528000 | #Constraints: 27450
814.22/817.73 c #Conflicts: 529000 | #Constraints: 28450
814.22/817.73 c #Conflicts: 530000 | #Constraints: 29450
814.22/817.73 c #Conflicts: 531000 | #Constraints: 30450
814.22/817.73 c INPROCESSING
814.22/817.73 c GARBAGE COLLECT
814.22/817.73 c #Conflicts: 532000 | #Constraints: 17051
814.22/817.73 c #Conflicts: 533000 | #Constraints: 18051
814.22/817.73 c #Conflicts: 534000 | #Constraints: 19051
814.22/817.73 c #Conflicts: 535000 | #Constraints: 20051
814.22/817.73 c #Conflicts: 536000 | #Constraints: 21051
814.22/817.73 c #Conflicts: 537000 | #Constraints: 22051
814.22/817.73 c #Conflicts: 538000 | #Constraints: 23051
814.22/817.73 c #Conflicts: 539000 | #Constraints: 24051
814.22/817.73 c #Conflicts: 540000 | #Constraints: 25051
814.22/817.73 c #Conflicts: 541000 | #Constraints: 26051
814.22/817.73 c #Conflicts: 542000 | #Constraints: 27051
814.22/817.73 c #Conflicts: 543000 | #Constraints: 28051
814.22/817.73 c #Conflicts: 544000 | #Constraints: 29051
814.22/817.73 c #Conflicts: 545000 | #Constraints: 30051
814.22/817.73 c #Conflicts: 546000 | #Constraints: 31051
814.22/817.73 c INPROCESSING
814.22/817.73 c GARBAGE COLLECT
814.22/817.73 c #Conflicts: 547000 | #Constraints: 17451
814.22/817.73 c #Conflicts: 548000 | #Constraints: 18451
814.22/817.73 c #Conflicts: 549000 | #Constraints: 19451
814.22/817.73 c #Conflicts: 550000 | #Constraints: 20451
814.22/817.73 c #Conflicts: 551000 | #Constraints: 21451
814.22/817.73 c #Conflicts: 552000 | #Constraints: 22451
814.22/817.73 c #Conflicts: 553000 | #Constraints: 23451
814.22/817.73 c #Conflicts: 554000 | #Constraints: 24451
814.22/817.73 c #Conflicts: 555000 | #Constraints: 25451
814.22/817.73 c #Conflicts: 556000 | #Constraints: 26451
814.22/817.73 c #Conflicts: 557000 | #Constraints: 27451
814.22/817.73 c #Conflicts: 558000 | #Constraints: 28451
814.22/817.73 c #Conflicts: 559000 | #Constraints: 29451
814.22/817.73 c #Conflicts: 560000 | #Constraints: 30451
814.22/817.73 c #Conflicts: 561000 | #Constraints: 31451
814.22/817.73 c INPROCESSING
814.22/817.73 c GARBAGE COLLECT
814.22/817.73 c #Conflicts: 562000 | #Constraints: 17650
814.22/817.73 c #Conflicts: 563000 | #Constraints: 18650
814.22/817.73 c #Conflicts: 564000 | #Constraints: 19650
814.22/817.73 c #Conflicts: 565000 | #Constraints: 20650
814.22/817.73 c #Conflicts: 566000 | #Constraints: 21650
814.22/817.73 c #Conflicts: 567000 | #Constraints: 22650
814.22/817.73 c #Conflicts: 568000 | #Constraints: 23650
814.22/817.73 c #Conflicts: 569000 | #Constraints: 24650
814.22/817.73 c #Conflicts: 570000 | #Constraints: 25650
814.22/817.73 c #Conflicts: 571000 | #Constraints: 26650
814.22/817.73 c #Conflicts: 572000 | #Constraints: 27650
814.22/817.73 c #Conflicts: 573000 | #Constraints: 28650
814.22/817.73 c #Conflicts: 574000 | #Constraints: 29650
814.22/817.73 c #Conflicts: 575000 | #Constraints: 30650
814.22/817.73 c #Conflicts: 576000 | #Constraints: 31650
814.22/817.73 c INPROCESSING
814.22/817.73 c GARBAGE COLLECT
814.22/817.73 c #Conflicts: 577000 | #Constraints: 17646
814.22/817.73 c #Conflicts: 578000 | #Constraints: 18646
814.22/817.73 c #Conflicts: 579000 | #Constraints: 19646
814.22/817.73 c #Conflicts: 580000 | #Constraints: 20646
814.22/817.73 c #Conflicts: 581000 | #Constraints: 21646
814.22/817.73 c #Conflicts: 582000 | #Constraints: 22646
814.22/817.73 c #Conflicts: 583000 | #Constraints: 23646
814.22/817.73 c #Conflicts: 584000 | #Constraints: 24646
814.22/817.73 c #Conflicts: 585000 | #Constraints: 25646
814.22/817.73 c #Conflicts: 586000 | #Constraints: 26646
814.22/817.73 c #Conflicts: 587000 | #Constraints: 27646
814.22/817.73 c #Conflicts: 588000 | #Constraints: 28646
901.79/905.52 c #Conflicts: 589000 | #Constraints: 29646
901.79/905.52 c #Conflicts: 590000 | #Constraints: 30646
901.79/905.52 c #Conflicts: 591000 | #Constraints: 31646
901.79/905.52 c INPROCESSING
901.79/905.52 c GARBAGE COLLECT
901.79/905.52 c #Conflicts: 592000 | #Constraints: 17457
901.79/905.52 c #Conflicts: 593000 | #Constraints: 18457
901.79/905.52 c #Conflicts: 594000 | #Constraints: 19457
901.79/905.52 c #Conflicts: 595000 | #Constraints: 20457
901.79/905.52 c #Conflicts: 596000 | #Constraints: 21457
901.79/905.52 c #Conflicts: 597000 | #Constraints: 22457
901.79/905.52 c #Conflicts: 598000 | #Constraints: 23457
901.79/905.52 c #Conflicts: 599000 | #Constraints: 24457
901.79/905.52 c #Conflicts: 600000 | #Constraints: 25457
901.79/905.52 c #Conflicts: 601000 | #Constraints: 26457
901.79/905.52 c #Conflicts: 602000 | #Constraints: 27457
901.79/905.52 c #Conflicts: 603000 | #Constraints: 28457
901.79/905.52 c #Conflicts: 604000 | #Constraints: 29457
901.79/905.52 c #Conflicts: 605000 | #Constraints: 30457
901.79/905.52 c #Conflicts: 606000 | #Constraints: 31457
901.79/905.52 c #Conflicts: 607000 | #Constraints: 32457
901.79/905.52 c INPROCESSING
901.79/905.52 c GARBAGE COLLECT
901.79/905.52 c #Conflicts: 608000 | #Constraints: 18065
901.79/905.52 c #Conflicts: 609000 | #Constraints: 19065
901.79/905.52 c #Conflicts: 610000 | #Constraints: 20065
901.79/905.52 c #Conflicts: 611000 | #Constraints: 21065
901.79/905.52 c #Conflicts: 612000 | #Constraints: 22065
901.79/905.52 c #Conflicts: 613000 | #Constraints: 23065
901.79/905.52 c #Conflicts: 614000 | #Constraints: 24065
901.79/905.52 c #Conflicts: 615000 | #Constraints: 25065
901.79/905.52 c #Conflicts: 616000 | #Constraints: 26065
901.79/905.52 c #Conflicts: 617000 | #Constraints: 27065
901.79/905.52 c #Conflicts: 618000 | #Constraints: 28065
901.79/905.52 c #Conflicts: 619000 | #Constraints: 29065
901.79/905.52 c #Conflicts: 620000 | #Constraints: 30065
901.79/905.52 c #Conflicts: 621000 | #Constraints: 31065
901.79/905.52 c #Conflicts: 622000 | #Constraints: 32065
901.79/905.52 c #Conflicts: 623000 | #Constraints: 33065
901.79/905.52 c INPROCESSING
901.79/905.52 c GARBAGE COLLECT
901.79/905.52 c #Conflicts: 624000 | #Constraints: 18450
901.79/905.52 c #Conflicts: 625000 | #Constraints: 19450
901.79/905.52 c #Conflicts: 626000 | #Constraints: 20450
901.79/905.52 c #Conflicts: 627000 | #Constraints: 21450
901.79/905.52 c #Conflicts: 628000 | #Constraints: 22450
901.79/905.52 c #Conflicts: 629000 | #Constraints: 23450
901.79/905.52 c #Conflicts: 630000 | #Constraints: 24450
901.79/905.52 c #Conflicts: 631000 | #Constraints: 25450
901.79/905.52 c #Conflicts: 632000 | #Constraints: 26450
901.79/905.52 c #Conflicts: 633000 | #Constraints: 27450
901.79/905.52 c #Conflicts: 634000 | #Constraints: 28450
901.79/905.52 c #Conflicts: 635000 | #Constraints: 29450
901.79/905.52 c #Conflicts: 636000 | #Constraints: 30450
901.79/905.52 c #Conflicts: 637000 | #Constraints: 31450
901.79/905.52 c #Conflicts: 638000 | #Constraints: 32450
901.79/905.52 c #Conflicts: 639000 | #Constraints: 33450
901.79/905.52 c INPROCESSING
901.79/905.52 c GARBAGE COLLECT
901.79/905.52 c #Conflicts: 640000 | #Constraints: 18652
901.79/905.52 c #Conflicts: 641000 | #Constraints: 19652
901.79/905.52 c #Conflicts: 642000 | #Constraints: 20652
901.79/905.52 c #Conflicts: 643000 | #Constraints: 21652
901.79/905.52 c #Conflicts: 644000 | #Constraints: 22652
901.79/905.52 c #Conflicts: 645000 | #Constraints: 23652
901.79/905.52 c #Conflicts: 646000 | #Constraints: 24652
901.79/905.52 c #Conflicts: 647000 | #Constraints: 25652
901.79/905.52 c #Conflicts: 648000 | #Constraints: 26652
901.79/905.52 c #Conflicts: 649000 | #Constraints: 27652
901.79/905.52 c #Conflicts: 650000 | #Constraints: 28652
901.79/905.52 c #Conflicts: 651000 | #Constraints: 29652
901.79/905.52 c #Conflicts: 652000 | #Constraints: 30652
901.79/905.52 c #Conflicts: 653000 | #Constraints: 31652
901.79/905.52 c #Conflicts: 654000 | #Constraints: 32652
901.79/905.52 c #Conflicts: 655000 | #Constraints: 33652
901.79/905.52 c INPROCESSING
901.79/905.52 c GARBAGE COLLECT
901.79/905.52 c #Conflicts: 656000 | #Constraints: 18647
901.79/905.52 c #Conflicts: 657000 | #Constraints: 19647
901.79/905.52 c #Conflicts: 658000 | #Constraints: 20647
901.79/905.52 c #Conflicts: 659000 | #Constraints: 21647
901.79/905.52 c #Conflicts: 660000 | #Constraints: 22647
901.79/905.52 c #Conflicts: 661000 | #Constraints: 23647
901.79/905.52 c #Conflicts: 662000 | #Constraints: 24647
901.79/905.52 c #Conflicts: 663000 | #Constraints: 25647
901.79/905.52 c #Conflicts: 664000 | #Constraints: 26647
999.14/1003.12 c #Conflicts: 665000 | #Constraints: 27647
999.14/1003.12 c #Conflicts: 666000 | #Constraints: 28647
999.14/1003.12 c #Conflicts: 667000 | #Constraints: 29647
999.14/1003.12 c #Conflicts: 668000 | #Constraints: 30647
999.14/1003.12 c #Conflicts: 669000 | #Constraints: 31647
999.14/1003.12 c #Conflicts: 670000 | #Constraints: 32647
999.14/1003.12 c #Conflicts: 671000 | #Constraints: 33647
999.14/1003.12 c INPROCESSING
999.14/1003.12 c GARBAGE COLLECT
999.14/1003.12 c #Conflicts: 672000 | #Constraints: 18456
999.14/1003.12 c #Conflicts: 673000 | #Constraints: 19456
999.14/1003.12 c #Conflicts: 674000 | #Constraints: 20456
999.14/1003.12 c #Conflicts: 675000 | #Constraints: 21456
999.14/1003.12 c #Conflicts: 676000 | #Constraints: 22456
999.14/1003.12 c #Conflicts: 677000 | #Constraints: 23456
999.14/1003.12 c #Conflicts: 678000 | #Constraints: 24456
999.14/1003.12 c #Conflicts: 679000 | #Constraints: 25456
999.14/1003.12 c #Conflicts: 680000 | #Constraints: 26456
999.14/1003.12 c #Conflicts: 681000 | #Constraints: 27456
999.14/1003.12 c #Conflicts: 682000 | #Constraints: 28456
999.14/1003.12 c #Conflicts: 683000 | #Constraints: 29456
999.14/1003.12 c #Conflicts: 684000 | #Constraints: 30456
999.14/1003.12 c #Conflicts: 685000 | #Constraints: 31456
999.14/1003.12 c #Conflicts: 686000 | #Constraints: 32456
999.14/1003.12 c #Conflicts: 687000 | #Constraints: 33456
999.14/1003.12 c #Conflicts: 688000 | #Constraints: 34456
999.14/1003.12 c INPROCESSING
999.14/1003.12 c GARBAGE COLLECT
999.14/1003.12 c #Conflicts: 689000 | #Constraints: 19059
999.14/1003.12 c #Conflicts: 690000 | #Constraints: 20059
999.14/1003.12 c #Conflicts: 691000 | #Constraints: 21059
999.14/1003.12 c #Conflicts: 692000 | #Constraints: 22059
999.14/1003.12 c #Conflicts: 693000 | #Constraints: 23059
999.14/1003.12 c #Conflicts: 694000 | #Constraints: 24059
999.14/1003.12 c #Conflicts: 695000 | #Constraints: 25059
999.14/1003.12 c #Conflicts: 696000 | #Constraints: 26059
999.14/1003.12 c #Conflicts: 697000 | #Constraints: 27059
999.14/1003.12 c #Conflicts: 698000 | #Constraints: 28059
999.14/1003.12 c #Conflicts: 699000 | #Constraints: 29059
999.14/1003.12 c #Conflicts: 700000 | #Constraints: 30059
999.14/1003.12 c #Conflicts: 701000 | #Constraints: 31059
999.14/1003.12 c #Conflicts: 702000 | #Constraints: 32059
999.14/1003.12 c #Conflicts: 703000 | #Constraints: 33059
999.14/1003.12 c #Conflicts: 704000 | #Constraints: 34059
999.14/1003.12 c #Conflicts: 705000 | #Constraints: 35059
999.14/1003.12 c INPROCESSING
999.14/1003.12 c GARBAGE COLLECT
999.14/1003.12 c #Conflicts: 706000 | #Constraints: 19457
999.14/1003.12 c #Conflicts: 707000 | #Constraints: 20457
999.14/1003.12 c #Conflicts: 708000 | #Constraints: 21457
999.14/1003.12 c #Conflicts: 709000 | #Constraints: 22457
999.14/1003.12 c #Conflicts: 710000 | #Constraints: 23457
999.14/1003.12 c #Conflicts: 711000 | #Constraints: 24457
999.14/1003.12 c #Conflicts: 712000 | #Constraints: 25457
999.14/1003.12 c #Conflicts: 713000 | #Constraints: 26457
999.14/1003.12 c #Conflicts: 714000 | #Constraints: 27457
999.14/1003.12 c #Conflicts: 715000 | #Constraints: 28457
999.14/1003.12 c #Conflicts: 716000 | #Constraints: 29457
999.14/1003.12 c #Conflicts: 717000 | #Constraints: 30457
999.14/1003.12 c #Conflicts: 718000 | #Constraints: 31457
999.14/1003.12 c #Conflicts: 719000 | #Constraints: 32457
999.14/1003.12 c #Conflicts: 720000 | #Constraints: 33457
999.14/1003.12 c #Conflicts: 721000 | #Constraints: 34457
999.14/1003.12 c #Conflicts: 722000 | #Constraints: 35457
999.14/1003.12 c INPROCESSING
999.14/1003.12 c GARBAGE COLLECT
999.14/1003.12 c #Conflicts: 723000 | #Constraints: 19659
999.14/1003.12 c #Conflicts: 724000 | #Constraints: 20659
999.14/1003.12 c #Conflicts: 725000 | #Constraints: 21659
999.14/1003.12 c #Conflicts: 726000 | #Constraints: 22659
999.14/1003.12 c #Conflicts: 727000 | #Constraints: 23659
999.14/1003.12 c #Conflicts: 728000 | #Constraints: 24659
999.14/1003.12 c #Conflicts: 729000 | #Constraints: 25659
999.14/1003.12 c #Conflicts: 730000 | #Constraints: 26659
999.14/1003.12 c #Conflicts: 731000 | #Constraints: 27659
999.14/1003.12 c #Conflicts: 732000 | #Constraints: 28659
999.14/1003.12 c #Conflicts: 733000 | #Constraints: 29659
999.14/1003.12 c #Conflicts: 734000 | #Constraints: 30659
999.14/1003.12 c #Conflicts: 735000 | #Constraints: 31659
999.14/1003.12 c #Conflicts: 736000 | #Constraints: 32659
999.14/1003.12 c #Conflicts: 737000 | #Constraints: 33659
999.14/1003.12 c #Conflicts: 738000 | #Constraints: 34659
999.14/1003.12 c #Conflicts: 739000 | #Constraints: 35659
999.14/1003.12 c INPROCESSING
999.14/1003.12 c GARBAGE COLLECT
1107.64/1111.97 c #Conflicts: 740000 | #Constraints: 19662
1107.64/1111.97 c #Conflicts: 741000 | #Constraints: 20662
1107.64/1111.97 c #Conflicts: 742000 | #Constraints: 21662
1107.64/1111.97 c #Conflicts: 743000 | #Constraints: 22662
1107.64/1111.97 c #Conflicts: 744000 | #Constraints: 23662
1107.64/1111.97 c #Conflicts: 745000 | #Constraints: 24662
1107.64/1111.97 c #Conflicts: 746000 | #Constraints: 25662
1107.64/1111.97 c #Conflicts: 747000 | #Constraints: 26662
1107.64/1111.97 c #Conflicts: 748000 | #Constraints: 27662
1107.64/1111.97 c #Conflicts: 749000 | #Constraints: 28662
1107.64/1111.97 c #Conflicts: 750000 | #Constraints: 29662
1107.64/1111.97 c #Conflicts: 751000 | #Constraints: 30662
1107.64/1111.97 c #Conflicts: 752000 | #Constraints: 31662
1107.64/1111.97 c #Conflicts: 753000 | #Constraints: 32662
1107.64/1111.97 c #Conflicts: 754000 | #Constraints: 33662
1107.64/1111.97 c #Conflicts: 755000 | #Constraints: 34662
1107.64/1111.97 c #Conflicts: 756000 | #Constraints: 35662
1107.64/1111.97 c INPROCESSING
1107.64/1111.97 c GARBAGE COLLECT
1107.64/1111.97 c #Conflicts: 757000 | #Constraints: 19450
1107.64/1111.97 c #Conflicts: 758000 | #Constraints: 20450
1107.64/1111.97 c #Conflicts: 759000 | #Constraints: 21450
1107.64/1111.97 c #Conflicts: 760000 | #Constraints: 22450
1107.64/1111.97 c #Conflicts: 761000 | #Constraints: 23450
1107.64/1111.97 c #Conflicts: 762000 | #Constraints: 24450
1107.64/1111.97 c #Conflicts: 763000 | #Constraints: 25450
1107.64/1111.97 c #Conflicts: 764000 | #Constraints: 26450
1107.64/1111.97 c #Conflicts: 765000 | #Constraints: 27450
1107.64/1111.97 c #Conflicts: 766000 | #Constraints: 28450
1107.64/1111.97 c #Conflicts: 767000 | #Constraints: 29450
1107.64/1111.97 c #Conflicts: 768000 | #Constraints: 30450
1107.64/1111.97 c #Conflicts: 769000 | #Constraints: 31450
1107.64/1111.97 c #Conflicts: 770000 | #Constraints: 32450
1107.64/1111.97 c #Conflicts: 771000 | #Constraints: 33450
1107.64/1111.97 c #Conflicts: 772000 | #Constraints: 34450
1107.64/1111.97 c #Conflicts: 773000 | #Constraints: 35450
1107.64/1111.97 c #Conflicts: 774000 | #Constraints: 36450
1107.64/1111.97 c INPROCESSING
1107.64/1111.97 c GARBAGE COLLECT
1107.64/1111.97 c #Conflicts: 775000 | #Constraints: 20062
1107.64/1111.97 c #Conflicts: 776000 | #Constraints: 21062
1107.64/1111.97 c #Conflicts: 777000 | #Constraints: 22062
1107.64/1111.97 c #Conflicts: 778000 | #Constraints: 23062
1107.64/1111.97 c #Conflicts: 779000 | #Constraints: 24062
1107.64/1111.97 c #Conflicts: 780000 | #Constraints: 25062
1107.64/1111.97 c #Conflicts: 781000 | #Constraints: 26062
1107.64/1111.97 c #Conflicts: 782000 | #Constraints: 27062
1107.64/1111.97 c #Conflicts: 783000 | #Constraints: 28062
1107.64/1111.97 c #Conflicts: 784000 | #Constraints: 29062
1107.64/1111.97 c #Conflicts: 785000 | #Constraints: 30062
1107.64/1111.97 c #Conflicts: 786000 | #Constraints: 31062
1107.64/1111.97 c #Conflicts: 787000 | #Constraints: 32062
1107.64/1111.97 c #Conflicts: 788000 | #Constraints: 33062
1107.64/1111.97 c #Conflicts: 789000 | #Constraints: 34062
1107.64/1111.97 c #Conflicts: 790000 | #Constraints: 35062
1107.64/1111.97 c #Conflicts: 791000 | #Constraints: 36062
1107.64/1111.97 c #Conflicts: 792000 | #Constraints: 37062
1107.64/1111.97 c INPROCESSING
1107.64/1111.97 c GARBAGE COLLECT
1107.64/1111.97 c #Conflicts: 793000 | #Constraints: 20464
1107.64/1111.97 c #Conflicts: 794000 | #Constraints: 21464
1107.64/1111.97 c #Conflicts: 795000 | #Constraints: 22464
1107.64/1111.97 c #Conflicts: 796000 | #Constraints: 23464
1107.64/1111.97 c #Conflicts: 797000 | #Constraints: 24464
1107.64/1111.97 c #Conflicts: 798000 | #Constraints: 25464
1107.64/1111.97 c #Conflicts: 799000 | #Constraints: 26464
1107.64/1111.97 c #Conflicts: 800000 | #Constraints: 27464
1107.64/1111.97 c #Conflicts: 801000 | #Constraints: 28464
1107.64/1111.97 c #Conflicts: 802000 | #Constraints: 29464
1107.64/1111.97 c #Conflicts: 803000 | #Constraints: 30464
1107.64/1111.97 c #Conflicts: 804000 | #Constraints: 31464
1107.64/1111.97 c #Conflicts: 805000 | #Constraints: 32464
1107.64/1111.97 c #Conflicts: 806000 | #Constraints: 33464
1107.64/1111.97 c #Conflicts: 807000 | #Constraints: 34464
1107.64/1111.97 c #Conflicts: 808000 | #Constraints: 35464
1107.64/1111.97 c #Conflicts: 809000 | #Constraints: 36464
1107.64/1111.97 c #Conflicts: 810000 | #Constraints: 37464
1107.64/1111.97 c INPROCESSING
1107.64/1111.97 c GARBAGE COLLECT
1107.64/1111.97 c #Conflicts: 811000 | #Constraints: 20646
1107.64/1111.97 c #Conflicts: 812000 | #Constraints: 21646
1107.64/1111.97 c #Conflicts: 813000 | #Constraints: 22646
1107.64/1111.97 c #Conflicts: 814000 | #Constraints: 23646
1107.64/1111.97 c #Conflicts: 815000 | #Constraints: 24646
1107.64/1111.97 c #Conflicts: 816000 | #Constraints: 25646
1242.39/1247.04 c #Conflicts: 817000 | #Constraints: 26646
1242.39/1247.04 c #Conflicts: 818000 | #Constraints: 27646
1242.39/1247.04 c #Conflicts: 819000 | #Constraints: 28646
1242.39/1247.04 c #Conflicts: 820000 | #Constraints: 29646
1242.39/1247.04 c #Conflicts: 821000 | #Constraints: 30646
1242.39/1247.04 c #Conflicts: 822000 | #Constraints: 31646
1242.39/1247.04 c #Conflicts: 823000 | #Constraints: 32646
1242.39/1247.04 c #Conflicts: 824000 | #Constraints: 33646
1242.39/1247.04 c #Conflicts: 825000 | #Constraints: 34646
1242.39/1247.04 c #Conflicts: 826000 | #Constraints: 35646
1242.39/1247.04 c #Conflicts: 827000 | #Constraints: 36646
1242.39/1247.04 c #Conflicts: 828000 | #Constraints: 37646
1242.39/1247.04 c INPROCESSING
1242.39/1247.04 c GARBAGE COLLECT
1242.39/1247.04 c #Conflicts: 829000 | #Constraints: 20640
1242.39/1247.04 c #Conflicts: 830000 | #Constraints: 21640
1242.39/1247.04 c #Conflicts: 831000 | #Constraints: 22640
1242.39/1247.04 c #Conflicts: 832000 | #Constraints: 23640
1242.39/1247.04 c #Conflicts: 833000 | #Constraints: 24640
1242.39/1247.04 c #Conflicts: 834000 | #Constraints: 25640
1242.39/1247.04 c #Conflicts: 835000 | #Constraints: 26640
1242.39/1247.04 c #Conflicts: 836000 | #Constraints: 27640
1242.39/1247.04 c #Conflicts: 837000 | #Constraints: 28640
1242.39/1247.04 c #Conflicts: 838000 | #Constraints: 29640
1242.39/1247.04 c #Conflicts: 839000 | #Constraints: 30640
1242.39/1247.04 c #Conflicts: 840000 | #Constraints: 31640
1242.39/1247.04 c #Conflicts: 841000 | #Constraints: 32640
1242.39/1247.04 c #Conflicts: 842000 | #Constraints: 33640
1242.39/1247.04 c #Conflicts: 843000 | #Constraints: 34640
1242.39/1247.04 c #Conflicts: 844000 | #Constraints: 35640
1242.39/1247.04 c #Conflicts: 845000 | #Constraints: 36640
1242.39/1247.04 c #Conflicts: 846000 | #Constraints: 37640
1242.39/1247.04 c INPROCESSING
1242.39/1247.04 c GARBAGE COLLECT
1242.39/1247.04 c #Conflicts: 847000 | #Constraints: 20446
1242.39/1247.04 c #Conflicts: 848000 | #Constraints: 21446
1242.39/1247.04 c #Conflicts: 849000 | #Constraints: 22446
1242.39/1247.04 c #Conflicts: 850000 | #Constraints: 23446
1242.39/1247.04 c #Conflicts: 851000 | #Constraints: 24446
1242.39/1247.04 c #Conflicts: 852000 | #Constraints: 25446
1242.39/1247.04 c #Conflicts: 853000 | #Constraints: 26446
1242.39/1247.04 c #Conflicts: 854000 | #Constraints: 27446
1242.39/1247.04 c #Conflicts: 855000 | #Constraints: 28446
1242.39/1247.04 c #Conflicts: 856000 | #Constraints: 29446
1242.39/1247.04 c #Conflicts: 857000 | #Constraints: 30446
1242.39/1247.04 c #Conflicts: 858000 | #Constraints: 31446
1242.39/1247.04 c #Conflicts: 859000 | #Constraints: 32446
1242.39/1247.04 c #Conflicts: 860000 | #Constraints: 33446
1242.39/1247.04 c #Conflicts: 861000 | #Constraints: 34446
1242.39/1247.04 c #Conflicts: 862000 | #Constraints: 35446
1242.39/1247.04 c #Conflicts: 863000 | #Constraints: 36446
1242.39/1247.04 c #Conflicts: 864000 | #Constraints: 37446
1242.39/1247.04 c #Conflicts: 865000 | #Constraints: 38446
1242.39/1247.04 c INPROCESSING
1242.39/1247.04 c GARBAGE COLLECT
1242.39/1247.04 c #Conflicts: 866000 | #Constraints: 21044
1242.39/1247.04 c #Conflicts: 867000 | #Constraints: 22044
1242.39/1247.04 c #Conflicts: 868000 | #Constraints: 23044
1242.39/1247.04 c #Conflicts: 869000 | #Constraints: 24044
1242.39/1247.04 c #Conflicts: 870000 | #Constraints: 25044
1242.39/1247.04 c #Conflicts: 871000 | #Constraints: 26044
1242.39/1247.04 c #Conflicts: 872000 | #Constraints: 27044
1242.39/1247.04 c #Conflicts: 873000 | #Constraints: 28044
1242.39/1247.04 c #Conflicts: 874000 | #Constraints: 29044
1242.39/1247.04 c #Conflicts: 875000 | #Constraints: 30044
1242.39/1247.04 c #Conflicts: 876000 | #Constraints: 31044
1242.39/1247.04 c #Conflicts: 877000 | #Constraints: 32044
1242.39/1247.04 c #Conflicts: 878000 | #Constraints: 33044
1242.39/1247.04 c #Conflicts: 879000 | #Constraints: 34044
1242.39/1247.04 c #Conflicts: 880000 | #Constraints: 35044
1242.39/1247.04 c #Conflicts: 881000 | #Constraints: 36044
1242.39/1247.04 c #Conflicts: 882000 | #Constraints: 37044
1242.39/1247.04 c #Conflicts: 883000 | #Constraints: 38044
1242.39/1247.04 c #Conflicts: 884000 | #Constraints: 39044
1242.39/1247.04 c INPROCESSING
1242.39/1247.04 c GARBAGE COLLECT
1242.39/1247.04 c #Conflicts: 885000 | #Constraints: 21449
1242.39/1247.04 c #Conflicts: 886000 | #Constraints: 22449
1242.39/1247.04 c #Conflicts: 887000 | #Constraints: 23449
1242.39/1247.04 c #Conflicts: 888000 | #Constraints: 24449
1242.39/1247.04 c #Conflicts: 889000 | #Constraints: 25449
1242.39/1247.04 c #Conflicts: 890000 | #Constraints: 26449
1242.39/1247.04 c #Conflicts: 891000 | #Constraints: 27449
1242.39/1247.04 c #Conflicts: 892000 | #Constraints: 28449
1373.14/1378.16 c #Conflicts: 893000 | #Constraints: 29449
1373.14/1378.16 c #Conflicts: 894000 | #Constraints: 30449
1373.14/1378.16 c #Conflicts: 895000 | #Constraints: 31449
1373.14/1378.16 c #Conflicts: 896000 | #Constraints: 32449
1373.14/1378.16 c #Conflicts: 897000 | #Constraints: 33449
1373.14/1378.16 c #Conflicts: 898000 | #Constraints: 34449
1373.14/1378.16 c #Conflicts: 899000 | #Constraints: 35449
1373.14/1378.16 c #Conflicts: 900000 | #Constraints: 36449
1373.14/1378.16 c #Conflicts: 901000 | #Constraints: 37449
1373.14/1378.16 c #Conflicts: 902000 | #Constraints: 38449
1373.14/1378.16 c #Conflicts: 903000 | #Constraints: 39449
1373.14/1378.16 c INPROCESSING
1373.14/1378.16 c GARBAGE COLLECT
1373.14/1378.16 c #Conflicts: 904000 | #Constraints: 21645
1373.14/1378.16 c #Conflicts: 905000 | #Constraints: 22645
1373.14/1378.16 c #Conflicts: 906000 | #Constraints: 23645
1373.14/1378.16 c #Conflicts: 907000 | #Constraints: 24645
1373.14/1378.16 c #Conflicts: 908000 | #Constraints: 25645
1373.14/1378.16 c #Conflicts: 909000 | #Constraints: 26645
1373.14/1378.16 c #Conflicts: 910000 | #Constraints: 27645
1373.14/1378.16 c #Conflicts: 911000 | #Constraints: 28645
1373.14/1378.16 c #Conflicts: 912000 | #Constraints: 29645
1373.14/1378.16 c #Conflicts: 913000 | #Constraints: 30645
1373.14/1378.16 c #Conflicts: 914000 | #Constraints: 31645
1373.14/1378.16 c #Conflicts: 915000 | #Constraints: 32645
1373.14/1378.16 c #Conflicts: 916000 | #Constraints: 33645
1373.14/1378.16 c #Conflicts: 917000 | #Constraints: 34645
1373.14/1378.16 c #Conflicts: 918000 | #Constraints: 35645
1373.14/1378.16 c #Conflicts: 919000 | #Constraints: 36645
1373.14/1378.16 c #Conflicts: 920000 | #Constraints: 37645
1373.14/1378.16 c #Conflicts: 921000 | #Constraints: 38645
1373.14/1378.16 c #Conflicts: 922000 | #Constraints: 39645
1373.14/1378.16 c INPROCESSING
1373.14/1378.16 c GARBAGE COLLECT
1373.14/1378.16 c #Conflicts: 923000 | #Constraints: 21652
1373.14/1378.16 c #Conflicts: 924000 | #Constraints: 22652
1373.14/1378.16 c #Conflicts: 925000 | #Constraints: 23652
1373.14/1378.16 c #Conflicts: 926000 | #Constraints: 24652
1373.14/1378.16 c #Conflicts: 927000 | #Constraints: 25652
1373.14/1378.16 c #Conflicts: 928000 | #Constraints: 26652
1373.14/1378.16 c #Conflicts: 929000 | #Constraints: 27652
1373.14/1378.16 c #Conflicts: 930000 | #Constraints: 28652
1373.14/1378.16 c #Conflicts: 931000 | #Constraints: 29652
1373.14/1378.16 c #Conflicts: 932000 | #Constraints: 30652
1373.14/1378.16 c #Conflicts: 933000 | #Constraints: 31652
1373.14/1378.16 c #Conflicts: 934000 | #Constraints: 32652
1373.14/1378.16 c #Conflicts: 935000 | #Constraints: 33652
1373.14/1378.16 c #Conflicts: 936000 | #Constraints: 34652
1373.14/1378.16 c #Conflicts: 937000 | #Constraints: 35652
1373.14/1378.16 c #Conflicts: 938000 | #Constraints: 36652
1373.14/1378.16 c #Conflicts: 939000 | #Constraints: 37652
1373.14/1378.16 c #Conflicts: 940000 | #Constraints: 38652
1373.14/1378.16 c #Conflicts: 941000 | #Constraints: 39652
1373.14/1378.16 c INPROCESSING
1373.14/1378.16 c GARBAGE COLLECT
1373.14/1378.16 c #Conflicts: 942000 | #Constraints: 21453
1373.14/1378.16 c #Conflicts: 943000 | #Constraints: 22453
1373.14/1378.16 c #Conflicts: 944000 | #Constraints: 23453
1373.14/1378.16 c #Conflicts: 945000 | #Constraints: 24453
1373.14/1378.16 c #Conflicts: 946000 | #Constraints: 25453
1373.14/1378.16 c #Conflicts: 947000 | #Constraints: 26453
1373.14/1378.16 c #Conflicts: 948000 | #Constraints: 27453
1373.14/1378.16 c #Conflicts: 949000 | #Constraints: 28453
1373.14/1378.16 c #Conflicts: 950000 | #Constraints: 29453
1373.14/1378.16 c #Conflicts: 951000 | #Constraints: 30453
1373.14/1378.16 c #Conflicts: 952000 | #Constraints: 31453
1373.14/1378.16 c #Conflicts: 953000 | #Constraints: 32453
1373.14/1378.16 c #Conflicts: 954000 | #Constraints: 33453
1373.14/1378.16 c #Conflicts: 955000 | #Constraints: 34453
1373.14/1378.16 c #Conflicts: 956000 | #Constraints: 35453
1373.14/1378.16 c #Conflicts: 957000 | #Constraints: 36453
1373.14/1378.16 c #Conflicts: 958000 | #Constraints: 37453
1373.14/1378.16 c #Conflicts: 959000 | #Constraints: 38453
1373.14/1378.16 c #Conflicts: 960000 | #Constraints: 39453
1373.14/1378.16 c #Conflicts: 961000 | #Constraints: 40453
1373.14/1378.16 c INPROCESSING
1373.14/1378.16 c GARBAGE COLLECT
1373.14/1378.16 c #Conflicts: 962000 | #Constraints: 22048
1373.14/1378.16 c #Conflicts: 963000 | #Constraints: 23048
1373.14/1378.16 c #Conflicts: 964000 | #Constraints: 24048
1373.14/1378.16 c #Conflicts: 965000 | #Constraints: 25048
1373.14/1378.16 c #Conflicts: 966000 | #Constraints: 26048
1373.14/1378.16 c #Conflicts: 967000 | #Constraints: 27048
1373.14/1378.16 c #Conflicts: 968000 | #Constraints: 28048
1479.24/1484.50 c #Conflicts: 969000 | #Constraints: 29048
1479.24/1484.50 c #Conflicts: 970000 | #Constraints: 30048
1479.24/1484.50 c #Conflicts: 971000 | #Constraints: 31048
1479.24/1484.50 c #Conflicts: 972000 | #Constraints: 32048
1479.24/1484.50 c #Conflicts: 973000 | #Constraints: 33048
1479.24/1484.50 c #Conflicts: 974000 | #Constraints: 34048
1479.24/1484.50 c #Conflicts: 975000 | #Constraints: 35048
1479.24/1484.50 c #Conflicts: 976000 | #Constraints: 36048
1479.24/1484.50 c #Conflicts: 977000 | #Constraints: 37048
1479.24/1484.50 c #Conflicts: 978000 | #Constraints: 38048
1479.24/1484.50 c #Conflicts: 979000 | #Constraints: 39048
1479.24/1484.50 c #Conflicts: 980000 | #Constraints: 40048
1479.24/1484.50 c #Conflicts: 981000 | #Constraints: 41048
1479.24/1484.50 c INPROCESSING
1479.24/1484.50 c GARBAGE COLLECT
1479.24/1484.50 c #Conflicts: 982000 | #Constraints: 22464
1479.24/1484.50 c #Conflicts: 983000 | #Constraints: 23464
1479.24/1484.50 c #Conflicts: 984000 | #Constraints: 24464
1479.24/1484.50 c #Conflicts: 985000 | #Constraints: 25464
1479.24/1484.50 c #Conflicts: 986000 | #Constraints: 26464
1479.24/1484.50 c #Conflicts: 987000 | #Constraints: 27464
1479.24/1484.50 c #Conflicts: 988000 | #Constraints: 28464
1479.24/1484.50 c #Conflicts: 989000 | #Constraints: 29464
1479.24/1484.50 c #Conflicts: 990000 | #Constraints: 30464
1479.24/1484.50 c #Conflicts: 991000 | #Constraints: 31464
1479.24/1484.50 c #Conflicts: 992000 | #Constraints: 32464
1479.24/1484.50 c #Conflicts: 993000 | #Constraints: 33464
1479.24/1484.50 c #Conflicts: 994000 | #Constraints: 34464
1479.24/1484.50 c #Conflicts: 995000 | #Constraints: 35464
1479.24/1484.50 c #Conflicts: 996000 | #Constraints: 36464
1479.24/1484.50 c #Conflicts: 997000 | #Constraints: 37464
1479.24/1484.50 c #Conflicts: 998000 | #Constraints: 38464
1479.24/1484.50 c #Conflicts: 999000 | #Constraints: 39464
1479.24/1484.50 c #Conflicts: 1000000 | #Constraints: 40464
1479.24/1484.50 c #Conflicts: 1001000 | #Constraints: 41464
1479.24/1484.50 c INPROCESSING
1479.24/1484.50 c GARBAGE COLLECT
1479.24/1484.50 c #Conflicts: 1002000 | #Constraints: 22666
1479.24/1484.50 c #Conflicts: 1003000 | #Constraints: 23666
1479.24/1484.50 c #Conflicts: 1004000 | #Constraints: 24666
1479.24/1484.50 c #Conflicts: 1005000 | #Constraints: 25666
1479.24/1484.50 c #Conflicts: 1006000 | #Constraints: 26666
1479.24/1484.50 c #Conflicts: 1007000 | #Constraints: 27666
1479.24/1484.50 c #Conflicts: 1008000 | #Constraints: 28666
1479.24/1484.50 c #Conflicts: 1009000 | #Constraints: 29666
1479.24/1484.50 c #Conflicts: 1010000 | #Constraints: 30666
1479.24/1484.50 c #Conflicts: 1011000 | #Constraints: 31666
1479.24/1484.50 c #Conflicts: 1012000 | #Constraints: 32666
1479.24/1484.50 c #Conflicts: 1013000 | #Constraints: 33666
1479.24/1484.50 c #Conflicts: 1014000 | #Constraints: 34666
1479.24/1484.50 c #Conflicts: 1015000 | #Constraints: 35666
1479.24/1484.50 c #Conflicts: 1016000 | #Constraints: 36666
1479.24/1484.50 c #Conflicts: 1017000 | #Constraints: 37666
1479.24/1484.50 c #Conflicts: 1018000 | #Constraints: 38666
1479.24/1484.50 c #Conflicts: 1019000 | #Constraints: 39666
1479.24/1484.50 c #Conflicts: 1020000 | #Constraints: 40666
1479.24/1484.50 c #Conflicts: 1021000 | #Constraints: 41666
1479.24/1484.50 c INPROCESSING
1479.24/1484.50 c GARBAGE COLLECT
1479.24/1484.50 c #Conflicts: 1022000 | #Constraints: 22662
1479.24/1484.50 c #Conflicts: 1023000 | #Constraints: 23662
1479.24/1484.50 c #Conflicts: 1024000 | #Constraints: 24662
1479.24/1484.50 c #Conflicts: 1025000 | #Constraints: 25662
1479.24/1484.50 c #Conflicts: 1026000 | #Constraints: 26662
1479.24/1484.50 c #Conflicts: 1027000 | #Constraints: 27662
1479.24/1484.50 c #Conflicts: 1028000 | #Constraints: 28662
1479.24/1484.50 c #Conflicts: 1029000 | #Constraints: 29662
1479.24/1484.50 c #Conflicts: 1030000 | #Constraints: 30662
1479.24/1484.50 c #Conflicts: 1031000 | #Constraints: 31662
1479.24/1484.50 c #Conflicts: 1032000 | #Constraints: 32662
1479.24/1484.50 c #Conflicts: 1033000 | #Constraints: 33662
1479.24/1484.50 c #Conflicts: 1034000 | #Constraints: 34662
1479.24/1484.50 c #Conflicts: 1035000 | #Constraints: 35662
1479.24/1484.50 c #Conflicts: 1036000 | #Constraints: 36662
1479.24/1484.50 c #Conflicts: 1037000 | #Constraints: 37662
1479.24/1484.50 c #Conflicts: 1038000 | #Constraints: 38662
1479.24/1484.50 c #Conflicts: 1039000 | #Constraints: 39662
1479.24/1484.50 c #Conflicts: 1040000 | #Constraints: 40662
1479.24/1484.50 c #Conflicts: 1041000 | #Constraints: 41662
1479.24/1484.50 c INPROCESSING
1479.24/1484.50 c GARBAGE COLLECT
1479.24/1484.50 c #Conflicts: 1042000 | #Constraints: 22473
1479.24/1484.50 c #Conflicts: 1043000 | #Constraints: 23473
1479.24/1484.50 c #Conflicts: 1044000 | #Constraints: 24473
1641.60/1647.39 c #Conflicts: 1045000 | #Constraints: 25473
1641.60/1647.39 c #Conflicts: 1046000 | #Constraints: 26473
1641.60/1647.39 c #Conflicts: 1047000 | #Constraints: 27473
1641.60/1647.39 c #Conflicts: 1048000 | #Constraints: 28473
1641.60/1647.39 c #Conflicts: 1049000 | #Constraints: 29473
1641.60/1647.39 c #Conflicts: 1050000 | #Constraints: 30473
1641.60/1647.39 c #Conflicts: 1051000 | #Constraints: 31473
1641.60/1647.39 c #Conflicts: 1052000 | #Constraints: 32473
1641.60/1647.39 c #Conflicts: 1053000 | #Constraints: 33473
1641.60/1647.39 c #Conflicts: 1054000 | #Constraints: 34473
1641.60/1647.39 c #Conflicts: 1055000 | #Constraints: 35473
1641.60/1647.39 c #Conflicts: 1056000 | #Constraints: 36473
1641.60/1647.39 c #Conflicts: 1057000 | #Constraints: 37473
1641.60/1647.39 c #Conflicts: 1058000 | #Constraints: 38473
1641.60/1647.39 c #Conflicts: 1059000 | #Constraints: 39473
1641.60/1647.39 c #Conflicts: 1060000 | #Constraints: 40473
1641.60/1647.39 c #Conflicts: 1061000 | #Constraints: 41473
1641.60/1647.39 c #Conflicts: 1062000 | #Constraints: 42473
1641.60/1647.39 c INPROCESSING
1641.60/1647.39 c GARBAGE COLLECT
1641.60/1647.39 c #Conflicts: 1063000 | #Constraints: 23071
1641.60/1647.39 c #Conflicts: 1064000 | #Constraints: 24071
1641.60/1647.39 c #Conflicts: 1065000 | #Constraints: 25071
1641.60/1647.39 c #Conflicts: 1066000 | #Constraints: 26071
1641.60/1647.39 c #Conflicts: 1067000 | #Constraints: 27071
1641.60/1647.39 c #Conflicts: 1068000 | #Constraints: 28071
1641.60/1647.39 c #Conflicts: 1069000 | #Constraints: 29071
1641.60/1647.39 c #Conflicts: 1070000 | #Constraints: 30071
1641.60/1647.39 c #Conflicts: 1071000 | #Constraints: 31071
1641.60/1647.39 c #Conflicts: 1072000 | #Constraints: 32071
1641.60/1647.39 c #Conflicts: 1073000 | #Constraints: 33071
1641.60/1647.39 c #Conflicts: 1074000 | #Constraints: 34071
1641.60/1647.39 c #Conflicts: 1075000 | #Constraints: 35071
1641.60/1647.39 c #Conflicts: 1076000 | #Constraints: 36071
1641.60/1647.39 c #Conflicts: 1077000 | #Constraints: 37071
1641.60/1647.39 c #Conflicts: 1078000 | #Constraints: 38071
1641.60/1647.39 c #Conflicts: 1079000 | #Constraints: 39071
1641.60/1647.39 c #Conflicts: 1080000 | #Constraints: 40071
1641.60/1647.39 c #Conflicts: 1081000 | #Constraints: 41071
1641.60/1647.39 c #Conflicts: 1082000 | #Constraints: 42071
1641.60/1647.39 c #Conflicts: 1083000 | #Constraints: 43071
1641.60/1647.39 c INPROCESSING
1641.60/1647.39 c GARBAGE COLLECT
1641.60/1647.39 c #Conflicts: 1084000 | #Constraints: 23455
1641.60/1647.39 c #Conflicts: 1085000 | #Constraints: 24455
1641.60/1647.39 c #Conflicts: 1086000 | #Constraints: 25455
1641.60/1647.39 c #Conflicts: 1087000 | #Constraints: 26455
1641.60/1647.39 c #Conflicts: 1088000 | #Constraints: 27455
1641.60/1647.39 c #Conflicts: 1089000 | #Constraints: 28455
1641.60/1647.39 c #Conflicts: 1090000 | #Constraints: 29455
1641.60/1647.39 c #Conflicts: 1091000 | #Constraints: 30455
1641.60/1647.39 c #Conflicts: 1092000 | #Constraints: 31455
1641.60/1647.39 c #Conflicts: 1093000 | #Constraints: 32455
1641.60/1647.39 c #Conflicts: 1094000 | #Constraints: 33455
1641.60/1647.39 c #Conflicts: 1095000 | #Constraints: 34455
1641.60/1647.39 c #Conflicts: 1096000 | #Constraints: 35455
1641.60/1647.39 c #Conflicts: 1097000 | #Constraints: 36455
1641.60/1647.39 c #Conflicts: 1098000 | #Constraints: 37455
1641.60/1647.39 c #Conflicts: 1099000 | #Constraints: 38455
1641.60/1647.39 c #Conflicts: 1100000 | #Constraints: 39455
1641.60/1647.39 c #Conflicts: 1101000 | #Constraints: 40455
1641.60/1647.39 c #Conflicts: 1102000 | #Constraints: 41455
1641.60/1647.39 c #Conflicts: 1103000 | #Constraints: 42455
1641.60/1647.39 c #Conflicts: 1104000 | #Constraints: 43455
1641.60/1647.39 c INPROCESSING
1641.60/1647.39 c GARBAGE COLLECT
1641.60/1647.39 c #Conflicts: 1105000 | #Constraints: 23650
1641.60/1647.39 c #Conflicts: 1106000 | #Constraints: 24650
1641.60/1647.39 c #Conflicts: 1107000 | #Constraints: 25650
1641.60/1647.39 c #Conflicts: 1108000 | #Constraints: 26650
1641.60/1647.39 c #Conflicts: 1109000 | #Constraints: 27650
1641.60/1647.39 c #Conflicts: 1110000 | #Constraints: 28650
1641.60/1647.39 c #Conflicts: 1111000 | #Constraints: 29650
1641.60/1647.39 c #Conflicts: 1112000 | #Constraints: 30650
1641.60/1647.39 c #Conflicts: 1113000 | #Constraints: 31650
1641.60/1647.39 c #Conflicts: 1114000 | #Constraints: 32650
1641.60/1647.39 c #Conflicts: 1115000 | #Constraints: 33650
1641.60/1647.39 c #Conflicts: 1116000 | #Constraints: 34650
1641.60/1647.39 c #Conflicts: 1117000 | #Constraints: 35650
1641.60/1647.39 c #Conflicts: 1118000 | #Constraints: 36650
1641.60/1647.39 c #Conflicts: 1119000 | #Constraints: 37650
1641.60/1647.39 c #Conflicts: 1120000 | #Constraints: 38650
1641.60/1647.39 c #Conflicts: 1121000 | #Constraints: 39650
1884.50/1890.93 c #Conflicts: 1122000 | #Constraints: 40650
1884.50/1890.93 c #Conflicts: 1123000 | #Constraints: 41650
1884.50/1890.93 c #Conflicts: 1124000 | #Constraints: 42650
1884.50/1890.93 c #Conflicts: 1125000 | #Constraints: 43650
1884.50/1890.93 c INPROCESSING
1884.50/1890.93 c GARBAGE COLLECT
1884.50/1890.93 c #Conflicts: 1126000 | #Constraints: 23651
1884.50/1890.93 c #Conflicts: 1127000 | #Constraints: 24651
1884.50/1890.93 c #Conflicts: 1128000 | #Constraints: 25651
1884.50/1890.93 c #Conflicts: 1129000 | #Constraints: 26651
1884.50/1890.93 c #Conflicts: 1130000 | #Constraints: 27651
1884.50/1890.93 c #Conflicts: 1131000 | #Constraints: 28651
1884.50/1890.93 c #Conflicts: 1132000 | #Constraints: 29651
1884.50/1890.93 c #Conflicts: 1133000 | #Constraints: 30651
1884.50/1890.93 c #Conflicts: 1134000 | #Constraints: 31651
1884.50/1890.93 c #Conflicts: 1135000 | #Constraints: 32651
1884.50/1890.93 c #Conflicts: 1136000 | #Constraints: 33651
1884.50/1890.93 c #Conflicts: 1137000 | #Constraints: 34651
1884.50/1890.93 c #Conflicts: 1138000 | #Constraints: 35651
1884.50/1890.93 c #Conflicts: 1139000 | #Constraints: 36651
1884.50/1890.93 c #Conflicts: 1140000 | #Constraints: 37651
1884.50/1890.93 c #Conflicts: 1141000 | #Constraints: 38651
1884.50/1890.93 c #Conflicts: 1142000 | #Constraints: 39651
1884.50/1890.93 c #Conflicts: 1143000 | #Constraints: 40651
1884.50/1890.93 c #Conflicts: 1144000 | #Constraints: 41651
1884.50/1890.93 c #Conflicts: 1145000 | #Constraints: 42651
1884.50/1890.93 c #Conflicts: 1146000 | #Constraints: 43651
1884.50/1890.93 c INPROCESSING
1884.50/1890.93 c GARBAGE COLLECT
1884.50/1890.93 c #Conflicts: 1147000 | #Constraints: 23445
1884.50/1890.93 c #Conflicts: 1148000 | #Constraints: 24445
1884.50/1890.93 c #Conflicts: 1149000 | #Constraints: 25445
1884.50/1890.93 c #Conflicts: 1150000 | #Constraints: 26445
1884.50/1890.93 c #Conflicts: 1151000 | #Constraints: 27445
1884.50/1890.93 c #Conflicts: 1152000 | #Constraints: 28445
1884.50/1890.93 c #Conflicts: 1153000 | #Constraints: 29445
1884.50/1890.93 c #Conflicts: 1154000 | #Constraints: 30445
1884.50/1890.93 c #Conflicts: 1155000 | #Constraints: 31445
1884.50/1890.93 c #Conflicts: 1156000 | #Constraints: 32445
1884.50/1890.93 c #Conflicts: 1157000 | #Constraints: 33445
1884.50/1890.93 c #Conflicts: 1158000 | #Constraints: 34445
1884.50/1890.93 c #Conflicts: 1159000 | #Constraints: 35445
1884.50/1890.93 c #Conflicts: 1160000 | #Constraints: 36445
1884.50/1890.93 c #Conflicts: 1161000 | #Constraints: 37445
1884.50/1890.93 c #Conflicts: 1162000 | #Constraints: 38445
1884.50/1890.93 c #Conflicts: 1163000 | #Constraints: 39445
1884.50/1890.93 c #Conflicts: 1164000 | #Constraints: 40445
1884.50/1890.93 c #Conflicts: 1165000 | #Constraints: 41445
1884.50/1890.93 c #Conflicts: 1166000 | #Constraints: 42445
1884.50/1890.93 c #Conflicts: 1167000 | #Constraints: 43445
1884.50/1890.93 c #Conflicts: 1168000 | #Constraints: 44445
1884.50/1890.93 c INPROCESSING
1884.50/1890.93 c GARBAGE COLLECT
1884.50/1890.93 c #Conflicts: 1169000 | #Constraints: 24050
1884.50/1890.93 c #Conflicts: 1170000 | #Constraints: 25050
1884.50/1890.93 c #Conflicts: 1171000 | #Constraints: 26050
1884.50/1890.93 c #Conflicts: 1172000 | #Constraints: 27050
1884.50/1890.93 c #Conflicts: 1173000 | #Constraints: 28050
1884.50/1890.93 c #Conflicts: 1174000 | #Constraints: 29050
1884.50/1890.93 c #Conflicts: 1175000 | #Constraints: 30050
1884.50/1890.93 c #Conflicts: 1176000 | #Constraints: 31050
1884.50/1890.93 c #Conflicts: 1177000 | #Constraints: 32050
1884.50/1890.93 c #Conflicts: 1178000 | #Constraints: 33050
1884.50/1890.93 c #Conflicts: 1179000 | #Constraints: 34050
1884.50/1890.93 c #Conflicts: 1180000 | #Constraints: 35050
1884.50/1890.93 c #Conflicts: 1181000 | #Constraints: 36050
1884.50/1890.93 c #Conflicts: 1182000 | #Constraints: 37050
1884.50/1890.93 c #Conflicts: 1183000 | #Constraints: 38050
1884.50/1890.93 c #Conflicts: 1184000 | #Constraints: 39050
1884.50/1890.93 c #Conflicts: 1185000 | #Constraints: 40050
1884.50/1890.93 c #Conflicts: 1186000 | #Constraints: 41050
1884.50/1890.93 c #Conflicts: 1187000 | #Constraints: 42050
1884.50/1890.93 c #Conflicts: 1188000 | #Constraints: 43050
1884.50/1890.93 c #Conflicts: 1189000 | #Constraints: 44050
1884.50/1890.93 c #Conflicts: 1190000 | #Constraints: 45050
1884.50/1890.93 c INPROCESSING
1884.50/1890.93 c GARBAGE COLLECT
1884.50/1890.93 c #Conflicts: 1191000 | #Constraints: 24454
1884.50/1890.93 c #Conflicts: 1192000 | #Constraints: 25454
1884.50/1890.93 c #Conflicts: 1193000 | #Constraints: 26454
1884.50/1890.93 c #Conflicts: 1194000 | #Constraints: 27454
1884.50/1890.93 c #Conflicts: 1195000 | #Constraints: 28454
1884.50/1890.93 c #Conflicts: 1196000 | #Constraints: 29454
1884.50/1890.93 c #Conflicts: 1197000 | #Constraints: 30454
2156.24/2163.42 c #Conflicts: 1198000 | #Constraints: 31454
2156.24/2163.42 c #Conflicts: 1199000 | #Constraints: 32454
2156.24/2163.42 c #Conflicts: 1200000 | #Constraints: 33454
2156.24/2163.42 c #Conflicts: 1201000 | #Constraints: 34454
2156.24/2163.42 c #Conflicts: 1202000 | #Constraints: 35454
2156.24/2163.42 c #Conflicts: 1203000 | #Constraints: 36454
2156.24/2163.42 c #Conflicts: 1204000 | #Constraints: 37454
2156.24/2163.42 c #Conflicts: 1205000 | #Constraints: 38454
2156.24/2163.42 c #Conflicts: 1206000 | #Constraints: 39454
2156.24/2163.42 c #Conflicts: 1207000 | #Constraints: 40454
2156.24/2163.42 c #Conflicts: 1208000 | #Constraints: 41454
2156.24/2163.42 c #Conflicts: 1209000 | #Constraints: 42454
2156.24/2163.42 c #Conflicts: 1210000 | #Constraints: 43454
2156.24/2163.42 c #Conflicts: 1211000 | #Constraints: 44454
2156.24/2163.42 c #Conflicts: 1212000 | #Constraints: 45454
2156.24/2163.42 c INPROCESSING
2156.24/2163.42 c GARBAGE COLLECT
2156.24/2163.42 c #Conflicts: 1213000 | #Constraints: 24658
2156.24/2163.42 c #Conflicts: 1214000 | #Constraints: 25658
2156.24/2163.42 c #Conflicts: 1215000 | #Constraints: 26658
2156.24/2163.42 c #Conflicts: 1216000 | #Constraints: 27658
2156.24/2163.42 c #Conflicts: 1217000 | #Constraints: 28658
2156.24/2163.42 c #Conflicts: 1218000 | #Constraints: 29658
2156.24/2163.42 c #Conflicts: 1219000 | #Constraints: 30658
2156.24/2163.42 c #Conflicts: 1220000 | #Constraints: 31658
2156.24/2163.42 c #Conflicts: 1221000 | #Constraints: 32658
2156.24/2163.42 c #Conflicts: 1222000 | #Constraints: 33658
2156.24/2163.42 c #Conflicts: 1223000 | #Constraints: 34658
2156.24/2163.42 c #Conflicts: 1224000 | #Constraints: 35658
2156.24/2163.42 c #Conflicts: 1225000 | #Constraints: 36658
2156.24/2163.42 c #Conflicts: 1226000 | #Constraints: 37658
2156.24/2163.42 c #Conflicts: 1227000 | #Constraints: 38658
2156.24/2163.42 c #Conflicts: 1228000 | #Constraints: 39658
2156.24/2163.42 c #Conflicts: 1229000 | #Constraints: 40658
2156.24/2163.42 c #Conflicts: 1230000 | #Constraints: 41658
2156.24/2163.42 c #Conflicts: 1231000 | #Constraints: 42658
2156.24/2163.42 c #Conflicts: 1232000 | #Constraints: 43658
2156.24/2163.42 c #Conflicts: 1233000 | #Constraints: 44658
2156.24/2163.42 c #Conflicts: 1234000 | #Constraints: 45658
2156.24/2163.42 c INPROCESSING
2156.24/2163.42 c GARBAGE COLLECT
2156.24/2163.42 c #Conflicts: 1235000 | #Constraints: 24653
2156.24/2163.42 c #Conflicts: 1236000 | #Constraints: 25653
2156.24/2163.42 c #Conflicts: 1237000 | #Constraints: 26653
2156.24/2163.42 c #Conflicts: 1238000 | #Constraints: 27653
2156.24/2163.42 c #Conflicts: 1239000 | #Constraints: 28653
2156.24/2163.42 c #Conflicts: 1240000 | #Constraints: 29653
2156.24/2163.42 c #Conflicts: 1241000 | #Constraints: 30653
2156.24/2163.42 c #Conflicts: 1242000 | #Constraints: 31653
2156.24/2163.42 c #Conflicts: 1243000 | #Constraints: 32653
2156.24/2163.42 c #Conflicts: 1244000 | #Constraints: 33653
2156.24/2163.42 c #Conflicts: 1245000 | #Constraints: 34653
2156.24/2163.42 c #Conflicts: 1246000 | #Constraints: 35653
2156.24/2163.42 c #Conflicts: 1247000 | #Constraints: 36653
2156.24/2163.42 c #Conflicts: 1248000 | #Constraints: 37653
2156.24/2163.42 c #Conflicts: 1249000 | #Constraints: 38653
2156.24/2163.42 c #Conflicts: 1250000 | #Constraints: 39653
2156.24/2163.42 c #Conflicts: 1251000 | #Constraints: 40653
2156.24/2163.42 c #Conflicts: 1252000 | #Constraints: 41653
2156.24/2163.42 c #Conflicts: 1253000 | #Constraints: 42653
2156.24/2163.42 c #Conflicts: 1254000 | #Constraints: 43653
2156.24/2163.42 c #Conflicts: 1255000 | #Constraints: 44653
2156.24/2163.42 c #Conflicts: 1256000 | #Constraints: 45653
2156.24/2163.42 c INPROCESSING
2156.24/2163.42 c GARBAGE COLLECT
2156.24/2163.42 c #Conflicts: 1257000 | #Constraints: 24450
2156.24/2163.42 c #Conflicts: 1258000 | #Constraints: 25450
2156.24/2163.42 c #Conflicts: 1259000 | #Constraints: 26450
2156.24/2163.42 c #Conflicts: 1260000 | #Constraints: 27450
2156.24/2163.42 c #Conflicts: 1261000 | #Constraints: 28450
2156.24/2163.42 c #Conflicts: 1262000 | #Constraints: 29450
2156.24/2163.42 c #Conflicts: 1263000 | #Constraints: 30450
2156.24/2163.42 c #Conflicts: 1264000 | #Constraints: 31450
2156.24/2163.42 c #Conflicts: 1265000 | #Constraints: 32450
2156.24/2163.42 c #Conflicts: 1266000 | #Constraints: 33450
2156.24/2163.42 c #Conflicts: 1267000 | #Constraints: 34450
2156.24/2163.42 c #Conflicts: 1268000 | #Constraints: 35450
2156.24/2163.42 c #Conflicts: 1269000 | #Constraints: 36450
2156.24/2163.42 c #Conflicts: 1270000 | #Constraints: 37450
2156.24/2163.42 c #Conflicts: 1271000 | #Constraints: 38450
2156.24/2163.42 c #Conflicts: 1272000 | #Constraints: 39450
2156.24/2163.42 c #Conflicts: 1273000 | #Constraints: 40450
2156.24/2163.42 c #Conflicts: 1274000 | #Constraints: 41450
2366.52/2374.34 c #Conflicts: 1275000 | #Constraints: 42450
2366.52/2374.34 c #Conflicts: 1276000 | #Constraints: 43450
2366.52/2374.34 c #Conflicts: 1277000 | #Constraints: 44450
2366.52/2374.34 c #Conflicts: 1278000 | #Constraints: 45450
2366.52/2374.34 c #Conflicts: 1279000 | #Constraints: 46450
2366.52/2374.34 c INPROCESSING
2366.52/2374.34 c GARBAGE COLLECT
2366.52/2374.34 c #Conflicts: 1280000 | #Constraints: 25053
2366.52/2374.34 c #Conflicts: 1281000 | #Constraints: 26053
2366.52/2374.34 c #Conflicts: 1282000 | #Constraints: 27053
2366.52/2374.34 c #Conflicts: 1283000 | #Constraints: 28053
2366.52/2374.34 c #Conflicts: 1284000 | #Constraints: 29053
2366.52/2374.34 c #Conflicts: 1285000 | #Constraints: 30053
2366.52/2374.34 c #Conflicts: 1286000 | #Constraints: 31053
2366.52/2374.34 c #Conflicts: 1287000 | #Constraints: 32053
2366.52/2374.34 c #Conflicts: 1288000 | #Constraints: 33053
2366.52/2374.34 c #Conflicts: 1289000 | #Constraints: 34053
2366.52/2374.34 c #Conflicts: 1290000 | #Constraints: 35053
2366.52/2374.34 c #Conflicts: 1291000 | #Constraints: 36053
2366.52/2374.34 c #Conflicts: 1292000 | #Constraints: 37053
2366.52/2374.34 c #Conflicts: 1293000 | #Constraints: 38053
2366.52/2374.34 c #Conflicts: 1294000 | #Constraints: 39053
2366.52/2374.34 c #Conflicts: 1295000 | #Constraints: 40053
2366.52/2374.34 c #Conflicts: 1296000 | #Constraints: 41053
2366.52/2374.34 c #Conflicts: 1297000 | #Constraints: 42053
2366.52/2374.34 c #Conflicts: 1298000 | #Constraints: 43053
2366.52/2374.34 c #Conflicts: 1299000 | #Constraints: 44053
2366.52/2374.34 c #Conflicts: 1300000 | #Constraints: 45053
2366.52/2374.34 c #Conflicts: 1301000 | #Constraints: 46053
2366.52/2374.34 c #Conflicts: 1302000 | #Constraints: 47053
2366.52/2374.34 c INPROCESSING
2366.52/2374.34 c GARBAGE COLLECT
2366.52/2374.34 c #Conflicts: 1303000 | #Constraints: 25452
2366.52/2374.34 c #Conflicts: 1304000 | #Constraints: 26452
2366.52/2374.34 c #Conflicts: 1305000 | #Constraints: 27452
2366.52/2374.34 c #Conflicts: 1306000 | #Constraints: 28452
2366.52/2374.34 c #Conflicts: 1307000 | #Constraints: 29452
2366.52/2374.34 c #Conflicts: 1308000 | #Constraints: 30452
2366.52/2374.34 c #Conflicts: 1309000 | #Constraints: 31452
2366.52/2374.34 c #Conflicts: 1310000 | #Constraints: 32452
2366.52/2374.34 c #Conflicts: 1311000 | #Constraints: 33452
2366.52/2374.34 c #Conflicts: 1312000 | #Constraints: 34452
2366.52/2374.34 c #Conflicts: 1313000 | #Constraints: 35452
2366.52/2374.34 c #Conflicts: 1314000 | #Constraints: 36452
2366.52/2374.34 c #Conflicts: 1315000 | #Constraints: 37452
2366.52/2374.34 c #Conflicts: 1316000 | #Constraints: 38452
2366.52/2374.34 c #Conflicts: 1317000 | #Constraints: 39452
2366.52/2374.34 c #Conflicts: 1318000 | #Constraints: 40452
2366.52/2374.34 c #Conflicts: 1319000 | #Constraints: 41452
2366.52/2374.34 c #Conflicts: 1320000 | #Constraints: 42452
2366.52/2374.34 c #Conflicts: 1321000 | #Constraints: 43452
2366.52/2374.34 c #Conflicts: 1322000 | #Constraints: 44452
2366.52/2374.34 c #Conflicts: 1323000 | #Constraints: 45452
2366.52/2374.34 c #Conflicts: 1324000 | #Constraints: 46452
2366.52/2374.34 c #Conflicts: 1325000 | #Constraints: 47452
2366.52/2374.34 c INPROCESSING
2366.52/2374.34 c GARBAGE COLLECT
2366.52/2374.34 c #Conflicts: 1326000 | #Constraints: 25652
2366.52/2374.34 c #Conflicts: 1327000 | #Constraints: 26652
2366.52/2374.34 c #Conflicts: 1328000 | #Constraints: 27652
2366.52/2374.34 c #Conflicts: 1329000 | #Constraints: 28652
2366.52/2374.34 c #Conflicts: 1330000 | #Constraints: 29652
2366.52/2374.34 c #Conflicts: 1331000 | #Constraints: 30652
2366.52/2374.34 c #Conflicts: 1332000 | #Constraints: 31652
2366.52/2374.34 c #Conflicts: 1333000 | #Constraints: 32652
2366.52/2374.34 c #Conflicts: 1334000 | #Constraints: 33652
2366.52/2374.34 c #Conflicts: 1335000 | #Constraints: 34652
2366.52/2374.34 c #Conflicts: 1336000 | #Constraints: 35652
2366.52/2374.34 c #Conflicts: 1337000 | #Constraints: 36652
2366.52/2374.34 c #Conflicts: 1338000 | #Constraints: 37652
2366.52/2374.34 c #Conflicts: 1339000 | #Constraints: 38652
2366.52/2374.34 c #Conflicts: 1340000 | #Constraints: 39652
2366.52/2374.34 c #Conflicts: 1341000 | #Constraints: 40652
2366.52/2374.34 c #Conflicts: 1342000 | #Constraints: 41652
2366.52/2374.34 c #Conflicts: 1343000 | #Constraints: 42652
2366.52/2374.34 c #Conflicts: 1344000 | #Constraints: 43652
2366.52/2374.34 c #Conflicts: 1345000 | #Constraints: 44652
2366.52/2374.34 c #Conflicts: 1346000 | #Constraints: 45652
2366.52/2374.34 c #Conflicts: 1347000 | #Constraints: 46652
2366.52/2374.34 c #Conflicts: 1348000 | #Constraints: 47652
2366.52/2374.34 c INPROCESSING
2366.52/2374.34 c GARBAGE COLLECT
2366.52/2374.34 c #Conflicts: 1349000 | #Constraints: 25650
2366.52/2374.34 c #Conflicts: 1350000 | #Constraints: 26650
2558.36/2566.74 c #Conflicts: 1351000 | #Constraints: 27650
2558.36/2566.74 c #Conflicts: 1352000 | #Constraints: 28650
2558.36/2566.74 c #Conflicts: 1353000 | #Constraints: 29650
2558.36/2566.74 c #Conflicts: 1354000 | #Constraints: 30650
2558.36/2566.74 c #Conflicts: 1355000 | #Constraints: 31650
2558.36/2566.74 c #Conflicts: 1356000 | #Constraints: 32650
2558.36/2566.74 c #Conflicts: 1357000 | #Constraints: 33650
2558.36/2566.74 c #Conflicts: 1358000 | #Constraints: 34650
2558.36/2566.74 c #Conflicts: 1359000 | #Constraints: 35650
2558.36/2566.74 c #Conflicts: 1360000 | #Constraints: 36650
2558.36/2566.74 c #Conflicts: 1361000 | #Constraints: 37650
2558.36/2566.74 c #Conflicts: 1362000 | #Constraints: 38650
2558.36/2566.74 c #Conflicts: 1363000 | #Constraints: 39650
2558.36/2566.74 c #Conflicts: 1364000 | #Constraints: 40650
2558.36/2566.74 c #Conflicts: 1365000 | #Constraints: 41650
2558.36/2566.74 c #Conflicts: 1366000 | #Constraints: 42650
2558.36/2566.74 c #Conflicts: 1367000 | #Constraints: 43650
2558.36/2566.74 c #Conflicts: 1368000 | #Constraints: 44650
2558.36/2566.74 c #Conflicts: 1369000 | #Constraints: 45650
2558.36/2566.74 c #Conflicts: 1370000 | #Constraints: 46650
2558.36/2566.74 c #Conflicts: 1371000 | #Constraints: 47650
2558.36/2566.74 c INPROCESSING
2558.36/2566.74 c GARBAGE COLLECT
2558.36/2566.74 c #Conflicts: 1372000 | #Constraints: 25470
2558.36/2566.74 c #Conflicts: 1373000 | #Constraints: 26470
2558.36/2566.74 c #Conflicts: 1374000 | #Constraints: 27470
2558.36/2566.74 c #Conflicts: 1375000 | #Constraints: 28470
2558.36/2566.74 c #Conflicts: 1376000 | #Constraints: 29470
2558.36/2566.74 c #Conflicts: 1377000 | #Constraints: 30470
2558.36/2566.74 c #Conflicts: 1378000 | #Constraints: 31470
2558.36/2566.74 c #Conflicts: 1379000 | #Constraints: 32470
2558.36/2566.74 c #Conflicts: 1380000 | #Constraints: 33470
2558.36/2566.74 c #Conflicts: 1381000 | #Constraints: 34470
2558.36/2566.74 c #Conflicts: 1382000 | #Constraints: 35470
2558.36/2566.74 c #Conflicts: 1383000 | #Constraints: 36470
2558.36/2566.74 c #Conflicts: 1384000 | #Constraints: 37470
2558.36/2566.74 c #Conflicts: 1385000 | #Constraints: 38470
2558.36/2566.74 c #Conflicts: 1386000 | #Constraints: 39470
2558.36/2566.74 c #Conflicts: 1387000 | #Constraints: 40470
2558.36/2566.74 c #Conflicts: 1388000 | #Constraints: 41470
2558.36/2566.74 c #Conflicts: 1389000 | #Constraints: 42470
2558.36/2566.74 c #Conflicts: 1390000 | #Constraints: 43470
2558.36/2566.74 c #Conflicts: 1391000 | #Constraints: 44470
2558.36/2566.74 c #Conflicts: 1392000 | #Constraints: 45470
2558.36/2566.74 c #Conflicts: 1393000 | #Constraints: 46470
2558.36/2566.74 c #Conflicts: 1394000 | #Constraints: 47470
2558.36/2566.74 c #Conflicts: 1395000 | #Constraints: 48470
2558.36/2566.74 c INPROCESSING
2558.36/2566.74 c GARBAGE COLLECT
2558.36/2566.74 c #Conflicts: 1396000 | #Constraints: 26059
2558.36/2566.74 c #Conflicts: 1397000 | #Constraints: 27059
2558.36/2566.74 c #Conflicts: 1398000 | #Constraints: 28059
2558.36/2566.74 c #Conflicts: 1399000 | #Constraints: 29059
2558.36/2566.74 c #Conflicts: 1400000 | #Constraints: 30059
2558.36/2566.74 c #Conflicts: 1401000 | #Constraints: 31059
2558.36/2566.74 c #Conflicts: 1402000 | #Constraints: 32059
2558.36/2566.74 c #Conflicts: 1403000 | #Constraints: 33059
2558.36/2566.74 c #Conflicts: 1404000 | #Constraints: 34059
2558.36/2566.74 c #Conflicts: 1405000 | #Constraints: 35059
2558.36/2566.74 c #Conflicts: 1406000 | #Constraints: 36059
2558.36/2566.74 c #Conflicts: 1407000 | #Constraints: 37059
2558.36/2566.74 c #Conflicts: 1408000 | #Constraints: 38059
2558.36/2566.74 c #Conflicts: 1409000 | #Constraints: 39059
2558.36/2566.74 c #Conflicts: 1410000 | #Constraints: 40059
2558.36/2566.74 c #Conflicts: 1411000 | #Constraints: 41059
2558.36/2566.74 c #Conflicts: 1412000 | #Constraints: 42059
2558.36/2566.74 c #Conflicts: 1413000 | #Constraints: 43059
2558.36/2566.74 c #Conflicts: 1414000 | #Constraints: 44059
2558.36/2566.74 c #Conflicts: 1415000 | #Constraints: 45059
2558.36/2566.74 c #Conflicts: 1416000 | #Constraints: 46059
2558.36/2566.74 c #Conflicts: 1417000 | #Constraints: 47059
2558.36/2566.74 c #Conflicts: 1418000 | #Constraints: 48059
2558.36/2566.74 c #Conflicts: 1419000 | #Constraints: 49059
2558.36/2566.74 c INPROCESSING
2558.36/2566.74 c GARBAGE COLLECT
2558.36/2566.74 c #Conflicts: 1420000 | #Constraints: 26460
2558.36/2566.74 c #Conflicts: 1421000 | #Constraints: 27460
2558.36/2566.74 c #Conflicts: 1422000 | #Constraints: 28460
2558.36/2566.74 c #Conflicts: 1423000 | #Constraints: 29460
2558.36/2566.74 c #Conflicts: 1424000 | #Constraints: 30460
2558.36/2566.74 c #Conflicts: 1425000 | #Constraints: 31460
2558.36/2566.74 c #Conflicts: 1426000 | #Constraints: 32460
2558.36/2566.74 c #Conflicts: 1427000 | #Constraints: 33460
2772.83/2781.79 c #Conflicts: 1428000 | #Constraints: 34460
2772.83/2781.79 c #Conflicts: 1429000 | #Constraints: 35460
2772.83/2781.79 c #Conflicts: 1430000 | #Constraints: 36460
2772.83/2781.79 c #Conflicts: 1431000 | #Constraints: 37460
2772.83/2781.79 c #Conflicts: 1432000 | #Constraints: 38460
2772.83/2781.79 c #Conflicts: 1433000 | #Constraints: 39460
2772.83/2781.79 c #Conflicts: 1434000 | #Constraints: 40460
2772.83/2781.79 c #Conflicts: 1435000 | #Constraints: 41460
2772.83/2781.79 c #Conflicts: 1436000 | #Constraints: 42460
2772.83/2781.79 c #Conflicts: 1437000 | #Constraints: 43460
2772.83/2781.79 c #Conflicts: 1438000 | #Constraints: 44460
2772.83/2781.79 c #Conflicts: 1439000 | #Constraints: 45460
2772.83/2781.79 c #Conflicts: 1440000 | #Constraints: 46460
2772.83/2781.79 c #Conflicts: 1441000 | #Constraints: 47460
2772.83/2781.79 c #Conflicts: 1442000 | #Constraints: 48460
2772.83/2781.79 c #Conflicts: 1443000 | #Constraints: 49460
2772.83/2781.79 c INPROCESSING
2772.83/2781.79 c GARBAGE COLLECT
2772.83/2781.79 c #Conflicts: 1444000 | #Constraints: 26659
2772.83/2781.79 c #Conflicts: 1445000 | #Constraints: 27659
2772.83/2781.79 c #Conflicts: 1446000 | #Constraints: 28659
2772.83/2781.79 c #Conflicts: 1447000 | #Constraints: 29659
2772.83/2781.79 c #Conflicts: 1448000 | #Constraints: 30659
2772.83/2781.79 c #Conflicts: 1449000 | #Constraints: 31659
2772.83/2781.79 c #Conflicts: 1450000 | #Constraints: 32659
2772.83/2781.79 c #Conflicts: 1451000 | #Constraints: 33659
2772.83/2781.79 c #Conflicts: 1452000 | #Constraints: 34659
2772.83/2781.79 c #Conflicts: 1453000 | #Constraints: 35659
2772.83/2781.79 c #Conflicts: 1454000 | #Constraints: 36659
2772.83/2781.79 c #Conflicts: 1455000 | #Constraints: 37659
2772.83/2781.79 c #Conflicts: 1456000 | #Constraints: 38659
2772.83/2781.79 c #Conflicts: 1457000 | #Constraints: 39659
2772.83/2781.79 c #Conflicts: 1458000 | #Constraints: 40659
2772.83/2781.79 c #Conflicts: 1459000 | #Constraints: 41659
2772.83/2781.79 c #Conflicts: 1460000 | #Constraints: 42659
2772.83/2781.79 c #Conflicts: 1461000 | #Constraints: 43659
2772.83/2781.79 c #Conflicts: 1462000 | #Constraints: 44659
2772.83/2781.79 c #Conflicts: 1463000 | #Constraints: 45659
2772.83/2781.79 c #Conflicts: 1464000 | #Constraints: 46659
2772.83/2781.79 c #Conflicts: 1465000 | #Constraints: 47659
2772.83/2781.79 c #Conflicts: 1466000 | #Constraints: 48659
2772.83/2781.79 c #Conflicts: 1467000 | #Constraints: 49659
2772.83/2781.79 c INPROCESSING
2772.83/2781.79 c GARBAGE COLLECT
2772.83/2781.79 c #Conflicts: 1468000 | #Constraints: 26662
2772.83/2781.79 c #Conflicts: 1469000 | #Constraints: 27662
2772.83/2781.79 c #Conflicts: 1470000 | #Constraints: 28662
2772.83/2781.79 c #Conflicts: 1471000 | #Constraints: 29662
2772.83/2781.79 c #Conflicts: 1472000 | #Constraints: 30662
2772.83/2781.79 c #Conflicts: 1473000 | #Constraints: 31662
2772.83/2781.79 c #Conflicts: 1474000 | #Constraints: 32662
2772.83/2781.79 c #Conflicts: 1475000 | #Constraints: 33662
2772.83/2781.79 c #Conflicts: 1476000 | #Constraints: 34662
2772.83/2781.79 c #Conflicts: 1477000 | #Constraints: 35662
2772.83/2781.79 c #Conflicts: 1478000 | #Constraints: 36662
2772.83/2781.79 c #Conflicts: 1479000 | #Constraints: 37662
2772.83/2781.79 c #Conflicts: 1480000 | #Constraints: 38662
2772.83/2781.79 c #Conflicts: 1481000 | #Constraints: 39662
2772.83/2781.79 c #Conflicts: 1482000 | #Constraints: 40662
2772.83/2781.79 c #Conflicts: 1483000 | #Constraints: 41662
2772.83/2781.79 c #Conflicts: 1484000 | #Constraints: 42662
2772.83/2781.79 c #Conflicts: 1485000 | #Constraints: 43662
2772.83/2781.79 c #Conflicts: 1486000 | #Constraints: 44662
2772.83/2781.79 c #Conflicts: 1487000 | #Constraints: 45662
2772.83/2781.79 c #Conflicts: 1488000 | #Constraints: 46662
2772.83/2781.79 c #Conflicts: 1489000 | #Constraints: 47662
2772.83/2781.79 c #Conflicts: 1490000 | #Constraints: 48662
2772.83/2781.79 c #Conflicts: 1491000 | #Constraints: 49662
2772.83/2781.79 c INPROCESSING
2772.83/2781.79 c GARBAGE COLLECT
2772.83/2781.79 c #Conflicts: 1492000 | #Constraints: 26461
2772.83/2781.79 c #Conflicts: 1493000 | #Constraints: 27461
2772.83/2781.79 c #Conflicts: 1494000 | #Constraints: 28461
2772.83/2781.79 c #Conflicts: 1495000 | #Constraints: 29461
2772.83/2781.79 c #Conflicts: 1496000 | #Constraints: 30461
2772.83/2781.79 c #Conflicts: 1497000 | #Constraints: 31461
2772.83/2781.79 c #Conflicts: 1498000 | #Constraints: 32461
2772.83/2781.79 c #Conflicts: 1499000 | #Constraints: 33461
2772.83/2781.79 c #Conflicts: 1500000 | #Constraints: 34461
2772.83/2781.79 c #Conflicts: 1501000 | #Constraints: 35461
2772.83/2781.79 c #Conflicts: 1502000 | #Constraints: 36461
2772.83/2781.79 c #Conflicts: 1503000 | #Constraints: 37461
2772.83/2781.79 c #Conflicts: 1504000 | #Constraints: 38461
2992.78/3002.22 c #Conflicts: 1505000 | #Constraints: 39461
2992.78/3002.22 c #Conflicts: 1506000 | #Constraints: 40461
2992.78/3002.22 c #Conflicts: 1507000 | #Constraints: 41461
2992.78/3002.22 c #Conflicts: 1508000 | #Constraints: 42461
2992.78/3002.22 c #Conflicts: 1509000 | #Constraints: 43461
2992.78/3002.22 c #Conflicts: 1510000 | #Constraints: 44461
2992.78/3002.22 c #Conflicts: 1511000 | #Constraints: 45461
2992.78/3002.22 c #Conflicts: 1512000 | #Constraints: 46461
2992.78/3002.22 c #Conflicts: 1513000 | #Constraints: 47461
2992.78/3002.22 c #Conflicts: 1514000 | #Constraints: 48461
2992.78/3002.22 c #Conflicts: 1515000 | #Constraints: 49461
2992.78/3002.22 c #Conflicts: 1516000 | #Constraints: 50461
2992.78/3002.22 c INPROCESSING
2992.78/3002.22 c GARBAGE COLLECT
2992.78/3002.22 c #Conflicts: 1517000 | #Constraints: 27048
2992.78/3002.22 c #Conflicts: 1518000 | #Constraints: 28048
2992.78/3002.22 c #Conflicts: 1519000 | #Constraints: 29048
2992.78/3002.22 c #Conflicts: 1520000 | #Constraints: 30048
2992.78/3002.22 c #Conflicts: 1521000 | #Constraints: 31048
2992.78/3002.22 c #Conflicts: 1522000 | #Constraints: 32048
2992.78/3002.22 c #Conflicts: 1523000 | #Constraints: 33048
2992.78/3002.22 c #Conflicts: 1524000 | #Constraints: 34048
2992.78/3002.22 c #Conflicts: 1525000 | #Constraints: 35048
2992.78/3002.22 c #Conflicts: 1526000 | #Constraints: 36048
2992.78/3002.22 c #Conflicts: 1527000 | #Constraints: 37048
2992.78/3002.22 c #Conflicts: 1528000 | #Constraints: 38048
2992.78/3002.22 c #Conflicts: 1529000 | #Constraints: 39048
2992.78/3002.22 c #Conflicts: 1530000 | #Constraints: 40048
2992.78/3002.22 c #Conflicts: 1531000 | #Constraints: 41048
2992.78/3002.22 c #Conflicts: 1532000 | #Constraints: 42048
2992.78/3002.22 c #Conflicts: 1533000 | #Constraints: 43048
2992.78/3002.22 c #Conflicts: 1534000 | #Constraints: 44048
2992.78/3002.22 c #Conflicts: 1535000 | #Constraints: 45048
2992.78/3002.22 c #Conflicts: 1536000 | #Constraints: 46048
2992.78/3002.22 c #Conflicts: 1537000 | #Constraints: 47048
2992.78/3002.22 c #Conflicts: 1538000 | #Constraints: 48048
2992.78/3002.22 c #Conflicts: 1539000 | #Constraints: 49048
2992.78/3002.22 c #Conflicts: 1540000 | #Constraints: 50048
2992.78/3002.22 c #Conflicts: 1541000 | #Constraints: 51048
2992.78/3002.22 c INPROCESSING
2992.78/3002.22 c GARBAGE COLLECT
2992.78/3002.22 c #Conflicts: 1542000 | #Constraints: 27458
2992.78/3002.22 c #Conflicts: 1543000 | #Constraints: 28458
2992.78/3002.22 c #Conflicts: 1544000 | #Constraints: 29458
2992.78/3002.22 c #Conflicts: 1545000 | #Constraints: 30458
2992.78/3002.22 c #Conflicts: 1546000 | #Constraints: 31458
2992.78/3002.22 c #Conflicts: 1547000 | #Constraints: 32458
2992.78/3002.22 c #Conflicts: 1548000 | #Constraints: 33458
2992.78/3002.22 c #Conflicts: 1549000 | #Constraints: 34458
2992.78/3002.22 c #Conflicts: 1550000 | #Constraints: 35458
2992.78/3002.22 c #Conflicts: 1551000 | #Constraints: 36458
2992.78/3002.22 c #Conflicts: 1552000 | #Constraints: 37458
2992.78/3002.22 c #Conflicts: 1553000 | #Constraints: 38458
2992.78/3002.22 c #Conflicts: 1554000 | #Constraints: 39458
2992.78/3002.22 c #Conflicts: 1555000 | #Constraints: 40458
2992.78/3002.22 c #Conflicts: 1556000 | #Constraints: 41458
2992.78/3002.22 c #Conflicts: 1557000 | #Constraints: 42458
2992.78/3002.22 c #Conflicts: 1558000 | #Constraints: 43458
2992.78/3002.22 c #Conflicts: 1559000 | #Constraints: 44458
2992.78/3002.22 c #Conflicts: 1560000 | #Constraints: 45458
2992.78/3002.22 c #Conflicts: 1561000 | #Constraints: 46458
2992.78/3002.22 c #Conflicts: 1562000 | #Constraints: 47458
2992.78/3002.22 c #Conflicts: 1563000 | #Constraints: 48458
2992.78/3002.22 c #Conflicts: 1564000 | #Constraints: 49458
2992.78/3002.22 c #Conflicts: 1565000 | #Constraints: 50458
2992.78/3002.22 c #Conflicts: 1566000 | #Constraints: 51458
2992.78/3002.22 c INPROCESSING
2992.78/3002.22 c GARBAGE COLLECT
2992.78/3002.22 c #Conflicts: 1567000 | #Constraints: 27656
2992.78/3002.22 c #Conflicts: 1568000 | #Constraints: 28656
2992.78/3002.22 c #Conflicts: 1569000 | #Constraints: 29656
2992.78/3002.22 c #Conflicts: 1570000 | #Constraints: 30656
2992.78/3002.22 c #Conflicts: 1571000 | #Constraints: 31656
2992.78/3002.22 c #Conflicts: 1572000 | #Constraints: 32656
2992.78/3002.22 c #Conflicts: 1573000 | #Constraints: 33656
2992.78/3002.22 c #Conflicts: 1574000 | #Constraints: 34656
2992.78/3002.22 c #Conflicts: 1575000 | #Constraints: 35656
2992.78/3002.22 c #Conflicts: 1576000 | #Constraints: 36656
2992.78/3002.22 c #Conflicts: 1577000 | #Constraints: 37656
2992.78/3002.22 c #Conflicts: 1578000 | #Constraints: 38656
2992.78/3002.22 c #Conflicts: 1579000 | #Constraints: 39656
2992.78/3002.22 c #Conflicts: 1580000 | #Constraints: 40656
2992.78/3002.22 c #Conflicts: 1581000 | #Constraints: 41656
3142.72/3152.55 c #Conflicts: 1582000 | #Constraints: 42656
3142.72/3152.55 c #Conflicts: 1583000 | #Constraints: 43656
3142.72/3152.55 c #Conflicts: 1584000 | #Constraints: 44656
3142.72/3152.55 c #Conflicts: 1585000 | #Constraints: 45656
3142.72/3152.55 c #Conflicts: 1586000 | #Constraints: 46656
3142.72/3152.55 c #Conflicts: 1587000 | #Constraints: 47656
3142.72/3152.55 c #Conflicts: 1588000 | #Constraints: 48656
3142.72/3152.55 c #Conflicts: 1589000 | #Constraints: 49656
3142.72/3152.55 c #Conflicts: 1590000 | #Constraints: 50656
3142.72/3152.55 c #Conflicts: 1591000 | #Constraints: 51656
3142.72/3152.55 c INPROCESSING
3142.72/3152.55 c GARBAGE COLLECT
3142.72/3152.55 c #Conflicts: 1592000 | #Constraints: 27655
3142.72/3152.55 c #Conflicts: 1593000 | #Constraints: 28655
3142.72/3152.55 c #Conflicts: 1594000 | #Constraints: 29655
3142.72/3152.55 c #Conflicts: 1595000 | #Constraints: 30655
3142.72/3152.55 c #Conflicts: 1596000 | #Constraints: 31655
3142.72/3152.55 c #Conflicts: 1597000 | #Constraints: 32655
3142.72/3152.55 c #Conflicts: 1598000 | #Constraints: 33655
3142.72/3152.55 c #Conflicts: 1599000 | #Constraints: 34655
3142.72/3152.55 c #Conflicts: 1600000 | #Constraints: 35655
3142.72/3152.55 c #Conflicts: 1601000 | #Constraints: 36655
3142.72/3152.55 c #Conflicts: 1602000 | #Constraints: 37655
3142.72/3152.55 c #Conflicts: 1603000 | #Constraints: 38655
3142.72/3152.55 c #Conflicts: 1604000 | #Constraints: 39655
3142.72/3152.55 c #Conflicts: 1605000 | #Constraints: 40655
3142.72/3152.55 c #Conflicts: 1606000 | #Constraints: 41655
3142.72/3152.55 c #Conflicts: 1607000 | #Constraints: 42655
3142.72/3152.55 c #Conflicts: 1608000 | #Constraints: 43655
3142.72/3152.55 c #Conflicts: 1609000 | #Constraints: 44655
3142.72/3152.55 c #Conflicts: 1610000 | #Constraints: 45655
3142.72/3152.55 c #Conflicts: 1611000 | #Constraints: 46655
3142.72/3152.55 c #Conflicts: 1612000 | #Constraints: 47655
3142.72/3152.55 c #Conflicts: 1613000 | #Constraints: 48655
3142.72/3152.55 c #Conflicts: 1614000 | #Constraints: 49655
3142.72/3152.55 c #Conflicts: 1615000 | #Constraints: 50655
3142.72/3152.55 c #Conflicts: 1616000 | #Constraints: 51655
3142.72/3152.55 c INPROCESSING
3142.72/3152.55 c GARBAGE COLLECT
3142.72/3152.55 c #Conflicts: 1617000 | #Constraints: 27449
3142.72/3152.55 c #Conflicts: 1618000 | #Constraints: 28449
3142.72/3152.55 c #Conflicts: 1619000 | #Constraints: 29449
3142.72/3152.55 c #Conflicts: 1620000 | #Constraints: 30449
3142.72/3152.55 c #Conflicts: 1621000 | #Constraints: 31449
3142.72/3152.55 c #Conflicts: 1622000 | #Constraints: 32449
3142.72/3152.55 c #Conflicts: 1623000 | #Constraints: 33449
3142.72/3152.55 c #Conflicts: 1624000 | #Constraints: 34449
3142.72/3152.55 c #Conflicts: 1625000 | #Constraints: 35449
3142.72/3152.55 c #Conflicts: 1626000 | #Constraints: 36449
3142.72/3152.55 c #Conflicts: 1627000 | #Constraints: 37449
3142.72/3152.55 c #Conflicts: 1628000 | #Constraints: 38449
3142.72/3152.55 c #Conflicts: 1629000 | #Constraints: 39449
3142.72/3152.55 c #Conflicts: 1630000 | #Constraints: 40449
3142.72/3152.55 c #Conflicts: 1631000 | #Constraints: 41449
3142.72/3152.55 c GLOBAL bounds - >= 1825130206476 @ 3103.66
3142.72/3152.58 c GLOBAL bounds - >= 1825130206476 @ 3103.69
3142.82/3152.61 c GLOBAL bounds - >= 1825130206476 @ 3103.71
3142.82/3152.62 c GLOBAL bounds - >= 1825130206476 @ 3103.71
3142.82/3152.65 c GLOBAL bounds - >= 1825130206476 @ 3103.73
3142.82/3152.65 c GLOBAL bounds - >= 1825130206476 @ 3103.74
3142.82/3152.69 c GLOBAL bounds - >= 1825130206476 @ 3103.76
3142.92/3152.70 c GLOBAL bounds - >= 1825130206476 @ 3103.77
3142.92/3152.74 c GLOBAL bounds - >= 1825130206476 @ 3103.79
3142.92/3152.74 c GLOBAL bounds - >= 1825130206476 @ 3103.8
3142.92/3152.78 c GLOBAL bounds - >= 1825130206476 @ 3103.82
3142.92/3152.78 c GLOBAL bounds - >= 1825130206476 @ 3103.83
3143.02/3152.82 c GLOBAL bounds - >= 1825130206476 @ 3103.85
3143.02/3152.83 c GLOBAL bounds - >= 1825130206476 @ 3103.85
3143.02/3152.87 c GLOBAL bounds - >= 1825130206476 @ 3103.88
3143.02/3152.87 c GLOBAL bounds - >= 1825130206476 @ 3103.88
3143.12/3152.91 c GLOBAL bounds - >= 1825130206476 @ 3103.91
3143.12/3152.91 c GLOBAL bounds - >= 1825130206476 @ 3103.91
3143.12/3152.95 c GLOBAL bounds - >= 1825130206476 @ 3103.94
3143.12/3152.96 c GLOBAL bounds - >= 1825130206476 @ 3103.95
3143.12/3153.00 c GLOBAL bounds - >= 1825130206476 @ 3103.98
3143.23/3153.05 c GLOBAL bounds - >= 1825130206476 @ 3104.02
3143.23/3153.09 c GLOBAL bounds - >= 1825130206476 @ 3104.04
3143.34/3153.12 c GLOBAL bounds - >= 1825130206476 @ 3104.07
3255.84/3265.95 c #Conflicts: 1632000 | #Constraints: 42482
3255.84/3265.95 c #Conflicts: 1633000 | #Constraints: 43482
3255.84/3265.95 c #Conflicts: 1634000 | #Constraints: 44482
3255.84/3265.95 c #Conflicts: 1635000 | #Constraints: 45482
3255.84/3265.95 c #Conflicts: 1636000 | #Constraints: 46482
3255.84/3265.95 c #Conflicts: 1637000 | #Constraints: 47482
3255.84/3265.95 c #Conflicts: 1638000 | #Constraints: 48482
3255.84/3265.95 c #Conflicts: 1639000 | #Constraints: 49482
3255.84/3265.95 c #Conflicts: 1640000 | #Constraints: 50482
3255.84/3265.95 c #Conflicts: 1641000 | #Constraints: 51482
3255.84/3265.95 c #Conflicts: 1642000 | #Constraints: 52482
3255.84/3265.95 c INPROCESSING
3255.84/3265.95 c GARBAGE COLLECT
3255.84/3265.95 c #Conflicts: 1643000 | #Constraints: 28084
3255.84/3265.95 c #Conflicts: 1644000 | #Constraints: 29084
3255.84/3265.95 c #Conflicts: 1645000 | #Constraints: 30084
3255.84/3265.95 c #Conflicts: 1646000 | #Constraints: 31084
3255.84/3265.95 c #Conflicts: 1647000 | #Constraints: 32084
3255.84/3265.95 c #Conflicts: 1648000 | #Constraints: 33084
3255.84/3265.95 c #Conflicts: 1649000 | #Constraints: 34084
3255.84/3265.95 c #Conflicts: 1650000 | #Constraints: 35084
3255.84/3265.95 c #Conflicts: 1651000 | #Constraints: 36084
3255.84/3265.95 c #Conflicts: 1652000 | #Constraints: 37084
3255.84/3265.95 c #Conflicts: 1653000 | #Constraints: 38084
3255.84/3265.95 c #Conflicts: 1654000 | #Constraints: 39084
3255.84/3265.95 c #Conflicts: 1655000 | #Constraints: 40084
3255.84/3265.95 c #Conflicts: 1656000 | #Constraints: 41084
3255.84/3265.95 c #Conflicts: 1657000 | #Constraints: 42084
3255.84/3265.95 c #Conflicts: 1658000 | #Constraints: 43084
3255.84/3265.95 c #Conflicts: 1659000 | #Constraints: 44084
3255.84/3265.95 c #Conflicts: 1660000 | #Constraints: 45084
3255.84/3265.95 c #Conflicts: 1661000 | #Constraints: 46084
3255.84/3265.95 c #Conflicts: 1662000 | #Constraints: 47084
3255.84/3265.95 c #Conflicts: 1663000 | #Constraints: 48084
3255.84/3265.95 c #Conflicts: 1664000 | #Constraints: 49084
3255.84/3265.95 c #Conflicts: 1665000 | #Constraints: 50084
3255.84/3265.95 c #Conflicts: 1666000 | #Constraints: 51084
3255.84/3265.95 c #Conflicts: 1667000 | #Constraints: 52084
3255.84/3265.95 c #Conflicts: 1668000 | #Constraints: 53084
3255.84/3265.95 c INPROCESSING
3255.84/3265.95 c GARBAGE COLLECT
3255.84/3265.95 c #Conflicts: 1669000 | #Constraints: 28478
3255.84/3265.95 c #Conflicts: 1670000 | #Constraints: 29478
3255.84/3265.95 c #Conflicts: 1671000 | #Constraints: 30478
3255.84/3265.95 c #Conflicts: 1672000 | #Constraints: 31478
3255.84/3265.95 c #Conflicts: 1673000 | #Constraints: 32478
3255.84/3265.95 c #Conflicts: 1674000 | #Constraints: 33478
3255.84/3265.95 c #Conflicts: 1675000 | #Constraints: 34478
3255.84/3265.95 c #Conflicts: 1676000 | #Constraints: 35478
3255.84/3265.95 c #Conflicts: 1677000 | #Constraints: 36478
3255.84/3265.95 c #Conflicts: 1678000 | #Constraints: 37478
3255.84/3265.95 c #Conflicts: 1679000 | #Constraints: 38478
3255.84/3265.95 c #Conflicts: 1680000 | #Constraints: 39478
3255.84/3265.95 c #Conflicts: 1681000 | #Constraints: 40478
3255.84/3265.95 c #Conflicts: 1682000 | #Constraints: 41478
3255.84/3265.95 c #Conflicts: 1683000 | #Constraints: 42478
3255.84/3265.95 c #Conflicts: 1684000 | #Constraints: 43478
3255.84/3265.95 c #Conflicts: 1685000 | #Constraints: 44478
3255.84/3265.95 c #Conflicts: 1686000 | #Constraints: 45478
3255.84/3265.95 c #Conflicts: 1687000 | #Constraints: 46478
3255.84/3265.95 c #Conflicts: 1688000 | #Constraints: 47478
3255.84/3265.95 c #Conflicts: 1689000 | #Constraints: 48478
3255.84/3265.95 c #Conflicts: 1690000 | #Constraints: 49478
3255.84/3265.95 c #Conflicts: 1691000 | #Constraints: 50478
3255.84/3265.95 c #Conflicts: 1692000 | #Constraints: 51478
3255.84/3265.95 c #Conflicts: 1693000 | #Constraints: 52478
3255.84/3265.95 c #Conflicts: 1694000 | #Constraints: 53478
3255.84/3265.95 c INPROCESSING
3255.84/3265.95 c GARBAGE COLLECT
3255.84/3265.95 c #Conflicts: 1695000 | #Constraints: 28680
3255.84/3265.95 c #Conflicts: 1696000 | #Constraints: 29680
3255.84/3265.95 c #Conflicts: 1697000 | #Constraints: 30680
3255.84/3265.95 c #Conflicts: 1698000 | #Constraints: 31680
3255.84/3265.95 c #Conflicts: 1699000 | #Constraints: 32680
3255.84/3265.95 c #Conflicts: 1700000 | #Constraints: 33680
3255.84/3265.95 c #Conflicts: 1701000 | #Constraints: 34680
3255.84/3265.95 c #Conflicts: 1702000 | #Constraints: 35680
3255.84/3265.95 c #Conflicts: 1703000 | #Constraints: 36680
3255.84/3265.95 c #Conflicts: 1704000 | #Constraints: 37680
3255.84/3265.95 c #Conflicts: 1705000 | #Constraints: 38680
3255.84/3265.95 c #Conflicts: 1706000 | #Constraints: 39680
3255.84/3265.95 c #Conflicts: 1707000 | #Constraints: 40680
3255.84/3265.95 c #Conflicts: 1708000 | #Constraints: 41680
3376.83/3387.22 c #Conflicts: 1709000 | #Constraints: 42680
3376.83/3387.22 c #Conflicts: 1710000 | #Constraints: 43680
3376.83/3387.22 c #Conflicts: 1711000 | #Constraints: 44680
3376.83/3387.22 c #Conflicts: 1712000 | #Constraints: 45680
3376.83/3387.22 c #Conflicts: 1713000 | #Constraints: 46680
3376.83/3387.22 c #Conflicts: 1714000 | #Constraints: 47680
3376.83/3387.22 c #Conflicts: 1715000 | #Constraints: 48680
3376.83/3387.22 c #Conflicts: 1716000 | #Constraints: 49680
3376.83/3387.22 c #Conflicts: 1717000 | #Constraints: 50680
3376.83/3387.22 c #Conflicts: 1718000 | #Constraints: 51680
3376.83/3387.22 c #Conflicts: 1719000 | #Constraints: 52680
3376.83/3387.22 c #Conflicts: 1720000 | #Constraints: 53680
3376.83/3387.22 c INPROCESSING
3376.83/3387.22 c GARBAGE COLLECT
3376.83/3387.22 c #Conflicts: 1721000 | #Constraints: 28673
3376.83/3387.22 c #Conflicts: 1722000 | #Constraints: 29673
3376.83/3387.22 c #Conflicts: 1723000 | #Constraints: 30673
3376.83/3387.22 c #Conflicts: 1724000 | #Constraints: 31673
3376.83/3387.22 c #Conflicts: 1725000 | #Constraints: 32673
3376.83/3387.22 c #Conflicts: 1726000 | #Constraints: 33673
3376.83/3387.22 c #Conflicts: 1727000 | #Constraints: 34673
3376.83/3387.22 c #Conflicts: 1728000 | #Constraints: 35673
3376.83/3387.22 c #Conflicts: 1729000 | #Constraints: 36673
3376.83/3387.22 c #Conflicts: 1730000 | #Constraints: 37673
3376.83/3387.22 c #Conflicts: 1731000 | #Constraints: 38673
3376.83/3387.22 c #Conflicts: 1732000 | #Constraints: 39673
3376.83/3387.22 c #Conflicts: 1733000 | #Constraints: 40673
3376.83/3387.22 c #Conflicts: 1734000 | #Constraints: 41673
3376.83/3387.22 c #Conflicts: 1735000 | #Constraints: 42673
3376.83/3387.22 c #Conflicts: 1736000 | #Constraints: 43673
3376.83/3387.22 c #Conflicts: 1737000 | #Constraints: 44673
3376.83/3387.22 c #Conflicts: 1738000 | #Constraints: 45673
3376.83/3387.22 c #Conflicts: 1739000 | #Constraints: 46673
3376.83/3387.22 c #Conflicts: 1740000 | #Constraints: 47673
3376.83/3387.22 c #Conflicts: 1741000 | #Constraints: 48673
3376.83/3387.22 c #Conflicts: 1742000 | #Constraints: 49673
3376.83/3387.22 c #Conflicts: 1743000 | #Constraints: 50673
3376.83/3387.22 c #Conflicts: 1744000 | #Constraints: 51673
3376.83/3387.22 c #Conflicts: 1745000 | #Constraints: 52673
3376.83/3387.22 c #Conflicts: 1746000 | #Constraints: 53673
3376.83/3387.22 c INPROCESSING
3376.83/3387.22 c GARBAGE COLLECT
3376.83/3387.22 c #Conflicts: 1747000 | #Constraints: 28478
3376.83/3387.22 c #Conflicts: 1748000 | #Constraints: 29478
3376.83/3387.22 c #Conflicts: 1749000 | #Constraints: 30478
3376.83/3387.22 c #Conflicts: 1750000 | #Constraints: 31478
3376.83/3387.22 c #Conflicts: 1751000 | #Constraints: 32478
3376.83/3387.22 c #Conflicts: 1752000 | #Constraints: 33478
3376.83/3387.22 c #Conflicts: 1753000 | #Constraints: 34478
3376.83/3387.22 c #Conflicts: 1754000 | #Constraints: 35478
3376.83/3387.22 c #Conflicts: 1755000 | #Constraints: 36478
3376.83/3387.22 c #Conflicts: 1756000 | #Constraints: 37478
3376.83/3387.22 c #Conflicts: 1757000 | #Constraints: 38478
3376.83/3387.22 c #Conflicts: 1758000 | #Constraints: 39478
3376.83/3387.22 c #Conflicts: 1759000 | #Constraints: 40478
3376.83/3387.22 c #Conflicts: 1760000 | #Constraints: 41478
3376.83/3387.22 c #Conflicts: 1761000 | #Constraints: 42478
3376.83/3387.22 c #Conflicts: 1762000 | #Constraints: 43478
3376.83/3387.22 c #Conflicts: 1763000 | #Constraints: 44478
3376.83/3387.22 c #Conflicts: 1764000 | #Constraints: 45478
3376.83/3387.22 c #Conflicts: 1765000 | #Constraints: 46478
3376.83/3387.22 c #Conflicts: 1766000 | #Constraints: 47478
3376.83/3387.22 c #Conflicts: 1767000 | #Constraints: 48478
3376.83/3387.22 c #Conflicts: 1768000 | #Constraints: 49478
3376.83/3387.22 c #Conflicts: 1769000 | #Constraints: 50478
3376.83/3387.22 c #Conflicts: 1770000 | #Constraints: 51478
3376.83/3387.22 c #Conflicts: 1771000 | #Constraints: 52478
3376.83/3387.22 c #Conflicts: 1772000 | #Constraints: 53478
3376.83/3387.22 c #Conflicts: 1773000 | #Constraints: 54478
3376.83/3387.22 c INPROCESSING
3376.83/3387.22 c GARBAGE COLLECT
3376.83/3387.22 c #Conflicts: 1774000 | #Constraints: 29078
3376.83/3387.22 c #Conflicts: 1775000 | #Constraints: 30078
3376.83/3387.22 c #Conflicts: 1776000 | #Constraints: 31078
3376.83/3387.22 c #Conflicts: 1777000 | #Constraints: 32078
3376.83/3387.22 c #Conflicts: 1778000 | #Constraints: 33078
3376.83/3387.22 c #Conflicts: 1779000 | #Constraints: 34078
3376.83/3387.22 c #Conflicts: 1780000 | #Constraints: 35078
3376.83/3387.22 c #Conflicts: 1781000 | #Constraints: 36078
3376.83/3387.22 c #Conflicts: 1782000 | #Constraints: 37078
3376.83/3387.22 c #Conflicts: 1783000 | #Constraints: 38078
3376.83/3387.22 c #Conflicts: 1784000 | #Constraints: 39078
3376.83/3387.22 c #Conflicts: 1785000 | #Constraints: 40078
3486.75/3497.44 c #Conflicts: 1786000 | #Constraints: 41078
3486.75/3497.44 c #Conflicts: 1787000 | #Constraints: 42078
3486.75/3497.44 c #Conflicts: 1788000 | #Constraints: 43078
3486.75/3497.44 c #Conflicts: 1789000 | #Constraints: 44078
3486.75/3497.44 c #Conflicts: 1790000 | #Constraints: 45078
3486.75/3497.44 c #Conflicts: 1791000 | #Constraints: 46078
3486.75/3497.44 c #Conflicts: 1792000 | #Constraints: 47078
3486.75/3497.44 c #Conflicts: 1793000 | #Constraints: 48078
3486.75/3497.44 c #Conflicts: 1794000 | #Constraints: 49078
3486.75/3497.44 c #Conflicts: 1795000 | #Constraints: 50078
3486.75/3497.44 c #Conflicts: 1796000 | #Constraints: 51078
3486.75/3497.44 c #Conflicts: 1797000 | #Constraints: 52078
3486.75/3497.44 c #Conflicts: 1798000 | #Constraints: 53078
3486.75/3497.44 c #Conflicts: 1799000 | #Constraints: 54078
3486.75/3497.44 c #Conflicts: 1800000 | #Constraints: 55078
3486.75/3497.44 c INPROCESSING
3486.75/3497.44 c GARBAGE COLLECT
3486.75/3497.44 c #Conflicts: 1801000 | #Constraints: 29484
3486.75/3497.44 c #Conflicts: 1802000 | #Constraints: 30484
3486.75/3497.44 c #Conflicts: 1803000 | #Constraints: 31484
3486.75/3497.44 c #Conflicts: 1804000 | #Constraints: 32484
3486.75/3497.44 c #Conflicts: 1805000 | #Constraints: 33484
3486.75/3497.44 c #Conflicts: 1806000 | #Constraints: 34484
3486.75/3497.44 c #Conflicts: 1807000 | #Constraints: 35484
3486.75/3497.44 c #Conflicts: 1808000 | #Constraints: 36484
3486.75/3497.44 c #Conflicts: 1809000 | #Constraints: 37484
3486.75/3497.44 c #Conflicts: 1810000 | #Constraints: 38484
3486.75/3497.44 c #Conflicts: 1811000 | #Constraints: 39484
3486.75/3497.44 c #Conflicts: 1812000 | #Constraints: 40484
3486.75/3497.44 c #Conflicts: 1813000 | #Constraints: 41484
3486.75/3497.44 c #Conflicts: 1814000 | #Constraints: 42484
3486.75/3497.44 c #Conflicts: 1815000 | #Constraints: 43484
3486.75/3497.44 c #Conflicts: 1816000 | #Constraints: 44484
3486.75/3497.44 c #Conflicts: 1817000 | #Constraints: 45484
3486.75/3497.44 c #Conflicts: 1818000 | #Constraints: 46484
3486.75/3497.44 c #Conflicts: 1819000 | #Constraints: 47484
3486.75/3497.44 c #Conflicts: 1820000 | #Constraints: 48484
3486.75/3497.44 c #Conflicts: 1821000 | #Constraints: 49484
3486.75/3497.44 c #Conflicts: 1822000 | #Constraints: 50484
3486.75/3497.44 c #Conflicts: 1823000 | #Constraints: 51484
3486.75/3497.44 c #Conflicts: 1824000 | #Constraints: 52484
3486.75/3497.44 c #Conflicts: 1825000 | #Constraints: 53484
3486.75/3497.44 c #Conflicts: 1826000 | #Constraints: 54484
3486.75/3497.44 c #Conflicts: 1827000 | #Constraints: 55484
3486.75/3497.44 c INPROCESSING
3486.75/3497.44 c GARBAGE COLLECT
3486.75/3497.44 c #Conflicts: 1828000 | #Constraints: 29691
3486.75/3497.44 c #Conflicts: 1829000 | #Constraints: 30691
3486.75/3497.44 c #Conflicts: 1830000 | #Constraints: 31691
3486.75/3497.44 c #Conflicts: 1831000 | #Constraints: 32691
3486.75/3497.44 c #Conflicts: 1832000 | #Constraints: 33691
3486.75/3497.44 c #Conflicts: 1833000 | #Constraints: 34691
3486.75/3497.44 c #Conflicts: 1834000 | #Constraints: 35691
3486.75/3497.44 c #Conflicts: 1835000 | #Constraints: 36691
3486.75/3497.44 c #Conflicts: 1836000 | #Constraints: 37691
3486.75/3497.44 c #Conflicts: 1837000 | #Constraints: 38691
3486.75/3497.44 c #Conflicts: 1838000 | #Constraints: 39691
3486.75/3497.44 c #Conflicts: 1839000 | #Constraints: 40691
3486.75/3497.44 c #Conflicts: 1840000 | #Constraints: 41691
3486.75/3497.44 c #Conflicts: 1841000 | #Constraints: 42691
3486.75/3497.44 c #Conflicts: 1842000 | #Constraints: 43691
3486.75/3497.44 c #Conflicts: 1843000 | #Constraints: 44691
3486.75/3497.44 c #Conflicts: 1844000 | #Constraints: 45691
3486.75/3497.44 c #Conflicts: 1845000 | #Constraints: 46691
3486.75/3497.44 c #Conflicts: 1846000 | #Constraints: 47691
3486.75/3497.44 c #Conflicts: 1847000 | #Constraints: 48691
3486.75/3497.44 c #Conflicts: 1848000 | #Constraints: 49691
3486.75/3497.44 c #Conflicts: 1849000 | #Constraints: 50691
3486.75/3497.44 c #Conflicts: 1850000 | #Constraints: 51691
3486.75/3497.44 c #Conflicts: 1851000 | #Constraints: 52691
3486.75/3497.44 c #Conflicts: 1852000 | #Constraints: 53691
3486.75/3497.44 c #Conflicts: 1853000 | #Constraints: 54691
3486.75/3497.44 c #Conflicts: 1854000 | #Constraints: 55691
3486.75/3497.44 c INPROCESSING
3486.75/3497.44 c GARBAGE COLLECT
3486.75/3497.44 c #Conflicts: 1855000 | #Constraints: 29674
3486.75/3497.44 c #Conflicts: 1856000 | #Constraints: 30674
3486.75/3497.44 c #Conflicts: 1857000 | #Constraints: 31674
3486.75/3497.44 c #Conflicts: 1858000 | #Constraints: 32674
3486.75/3497.44 c #Conflicts: 1859000 | #Constraints: 33674
3486.75/3497.44 c #Conflicts: 1860000 | #Constraints: 34674
3486.75/3497.44 c #Conflicts: 1861000 | #Constraints: 35674
3486.75/3497.44 c #Conflicts: 1862000 | #Constraints: 36674
3600.08/3611.01 c #Conflicts: 1863000 | #Constraints: 37674
3600.08/3611.01 c #Conflicts: 1864000 | #Constraints: 38674
3600.08/3611.01 c #Conflicts: 1865000 | #Constraints: 39674
3600.08/3611.01 c #Conflicts: 1866000 | #Constraints: 40674
3600.08/3611.01 c #Conflicts: 1867000 | #Constraints: 41674
3600.08/3611.01 c #Conflicts: 1868000 | #Constraints: 42674
3600.08/3611.01 c #Conflicts: 1869000 | #Constraints: 43674
3600.08/3611.01 c #Conflicts: 1870000 | #Constraints: 44674
3600.08/3611.01 c #Conflicts: 1871000 | #Constraints: 45674
3600.08/3611.01 c #Conflicts: 1872000 | #Constraints: 46674
3600.08/3611.01 c #Conflicts: 1873000 | #Constraints: 47674
3600.08/3611.01 c #Conflicts: 1874000 | #Constraints: 48674
3600.08/3611.01 c #Conflicts: 1875000 | #Constraints: 49674
3600.08/3611.01 c #Conflicts: 1876000 | #Constraints: 50674
3600.08/3611.01 c #Conflicts: 1877000 | #Constraints: 51674
3600.08/3611.01 c #Conflicts: 1878000 | #Constraints: 52674
3600.08/3611.01 c #Conflicts: 1879000 | #Constraints: 53674
3600.08/3611.01 c #Conflicts: 1880000 | #Constraints: 54674
3600.08/3611.01 c #Conflicts: 1881000 | #Constraints: 55674
3600.08/3611.01 c INPROCESSING
3600.08/3611.01 c GARBAGE COLLECT
3600.08/3611.01 c #Conflicts: 1882000 | #Constraints: 29471
3600.08/3611.01 c #Conflicts: 1883000 | #Constraints: 30471
3600.08/3611.01 c #Conflicts: 1884000 | #Constraints: 31471
3600.08/3611.01 c #Conflicts: 1885000 | #Constraints: 32471
3600.08/3611.01 c #Conflicts: 1886000 | #Constraints: 33471
3600.08/3611.01 c #Conflicts: 1887000 | #Constraints: 34471
3600.08/3611.01 c #Conflicts: 1888000 | #Constraints: 35471
3600.08/3611.01 c #Conflicts: 1889000 | #Constraints: 36471
3600.08/3611.01 c #Conflicts: 1890000 | #Constraints: 37471
3600.08/3611.01 c #Conflicts: 1891000 | #Constraints: 38471
3600.08/3611.01 c #Conflicts: 1892000 | #Constraints: 39471
3600.08/3611.01 c #Conflicts: 1893000 | #Constraints: 40471
3600.08/3611.01 c #Conflicts: 1894000 | #Constraints: 41471
3600.08/3611.01 c #Conflicts: 1895000 | #Constraints: 42471
3600.08/3611.01 c #Conflicts: 1896000 | #Constraints: 43471
3600.08/3611.01 c #Conflicts: 1897000 | #Constraints: 44471
3600.08/3611.01 c #Conflicts: 1898000 | #Constraints: 45471
3600.08/3611.01 c #Conflicts: 1899000 | #Constraints: 46471
3600.08/3611.01 c #Conflicts: 1900000 | #Constraints: 47471
3600.08/3611.01 c #Conflicts: 1901000 | #Constraints: 48471
3600.08/3611.01 c #Conflicts: 1902000 | #Constraints: 49471
3600.08/3611.01 c #Conflicts: 1903000 | #Constraints: 50471
3600.08/3611.01 c #Conflicts: 1904000 | #Constraints: 51471
3600.08/3611.01 c #Conflicts: 1905000 | #Constraints: 52471
3600.08/3611.01 c #Conflicts: 1906000 | #Constraints: 53471
3600.08/3611.01 c #Conflicts: 1907000 | #Constraints: 54471
3600.08/3611.01 c #Conflicts: 1908000 | #Constraints: 55471
3600.08/3611.01 c #Conflicts: 1909000 | #Constraints: 56471
3600.08/3611.01 c INPROCESSING
3600.08/3611.01 c GARBAGE COLLECT
3600.08/3611.01 c #Conflicts: 1910000 | #Constraints: 30077
3600.08/3611.01 c #Conflicts: 1911000 | #Constraints: 31077
3600.08/3611.01 c #Conflicts: 1912000 | #Constraints: 32077
3600.08/3611.01 c #Conflicts: 1913000 | #Constraints: 33077
3600.08/3611.01 c #Conflicts: 1914000 | #Constraints: 34077
3600.08/3611.01 c #Conflicts: 1915000 | #Constraints: 35077
3600.08/3611.01 c #Conflicts: 1916000 | #Constraints: 36077
3600.08/3611.01 c #Conflicts: 1917000 | #Constraints: 37077
3600.08/3611.01 c #Conflicts: 1918000 | #Constraints: 38077
3600.08/3611.01 c #Conflicts: 1919000 | #Constraints: 39077
3600.08/3611.01 c #Conflicts: 1920000 | #Constraints: 40077
3600.08/3611.01 c #Conflicts: 1921000 | #Constraints: 41077
3600.08/3611.01 c cpu time 3555.87 s
3600.08/3611.01 c deterministic time 5608684 5.61e+06
3600.08/3611.01 c optimization time 3554.72 s
3600.08/3611.01 c total solve time 0.473284 s
3600.08/3611.01 c core-guided solve time 0 s
3600.08/3611.01 c propagation time 0.293203 s
3600.08/3611.01 c conflict analysis time 0.026158 s
3600.08/3611.01 c propagations 524339
3600.08/3611.01 c resolve steps 0
3600.08/3611.01 c decisions 493939
3600.08/3611.01 c conflicts 8
3600.08/3611.01 c restarts 1
3600.08/3611.01 c inprocessing phases 0
3600.08/3611.01 c garbage collections 0 ,( -nan )
3600.08/3611.01 c input clauses 98738 ,( 98.20 )
3600.08/3611.01 c input cardinalities 1561 ,( 1.55 )
3600.08/3611.01 c input general constraints 247 ,( 0.25 )
3600.08/3611.01 c input average constraint length 19.63
3600.08/3611.01 c input average constraint degree 473020426072.97
3600.08/3611.01 c learned clauses 180 ,( 82.57 )
3600.08/3611.01 c learned cardinalities 0 ,( 0.00 )
3600.08/3611.01 c learned general constraints 38 ,( 17.43 )
3600.08/3611.01 c learned average constraint length 3.24
3600.08/3611.01 c learned average constraint degree 1.22
3600.08/3611.01 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3611.01 c counting CF 32, 64, 128, Arb: 81 , 205 , 0 , 0
3600.08/3611.01 c watched constraints 0 ,( 0.00 )
3600.08/3611.01 c counting constraints 285 ,( 100.00 )
3600.08/3611.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283966 , 12186 , 1240011 ,( 0 , 1240011 )
3600.08/3611.01 c gcd simplifications 0
3600.08/3611.01 c detected cardinalities 0
3600.08/3611.01 c weakened non-implied lits 0
3600.08/3611.01 c weakened non-implying lits 0
3600.08/3611.01 c original variables 21101
3600.08/3611.01 c clausal propagations 273964
3600.08/3611.01 c cardinality propagations 170
3600.08/3611.01 c watched propagations 0
3600.08/3611.01 c counting propagations 20075
3600.08/3611.01 c watch lookups 3070471
3600.08/3611.01 c watch backjump lookups 0
3600.08/3611.01 c watch checks 144223
3600.08/3611.01 c propagation checks 350018
3600.08/3611.01 c constraint additions 5609
3600.08/3611.01 c trail pops 1017084
3600.08/3611.01 c formula constraints 99896
3600.08/3611.01 c learned constraints 218
3600.08/3611.01 c bound constraints 0
3600.08/3611.01 c core-guided constraints 0
3600.08/3611.01 c encountered formula constraints 8
3600.08/3611.01 c encountered learned constraints 0
3600.08/3611.01 c encountered bound constraints 0
3600.08/3611.01 c encountered core-guided constraints 0
3600.08/3611.01 c LP total time 0.268248 s
3600.08/3611.01 c LP solve time 0.21 s
3600.08/3611.01 c LP constraints added 99896
3600.08/3611.01 c LP constraints removed 0
3600.08/3611.01 c LP pivots internal 2000
3600.08/3611.01 c LP pivots root 1000
3600.08/3611.01 c LP calls 2
3600.08/3611.01 c LP optimalities 0
3600.08/3611.01 c LP no pivot count 0
3600.08/3611.01 c LP infeasibilities 0
3600.08/3611.01 c LP valid Farkas constraints 0
3600.08/3611.01 c LP learned Farkas constraints 0
3600.08/3611.01 c LP basis resets 0
3600.08/3611.01 c LP cycling count 0
3600.08/3611.01 c LP singular count 0
3600.08/3611.01 c LP no primal count 0
3600.08/3611.01 c LP no farkas count 0
3600.08/3611.01 c LP other issue count 0
3600.08/3611.01 c LP Gomory cuts 0
3600.08/3611.01 c LP learned cuts 0
3600.08/3611.01 c LP deleted cuts 0
3600.08/3611.01 c LP encountered Gomory constraints 0
3600.08/3611.01 c LP encountered Farkas constraints 0
3600.08/3611.01 c LP encountered learned Farkas constraints 0
3600.08/3611.01 c CG auxiliary variables introduced 228
3600.08/3611.01 c CG solutions found 0
3600.08/3611.01 c CG cores constructed 218
3600.08/3611.01 c CG core cardinality constraints returned 0
3600.08/3611.01 c CG unit cores 0
3600.08/3611.01 c CG single cores 0
3600.08/3611.01 c CG blocks removed during cardinality reduction 0
3600.08/3611.01 c CG first core best 0
3600.08/3611.01 c CG decision core best 0
3600.08/3611.01 c CG core reduction tie 0
3600.08/3611.01 c CG core degree average 0.00
3600.08/3611.01 c CG core slack average 0.00
3600.08/3611.01 c CG core upper bound improvements 0
3600.08/3611.01 c STR number of successful calls 0
3600.08/3611.01 c STR number of unsuccessful calls 0
3600.08/3611.01 c STR number of inconclusive calls 0
3600.08/3611.01 c STR number of successful attempts 0
3600.08/3611.01 c STR number of unsuccessful attempts 0
3600.08/3611.01 c STR number of inconclusive attempts 0
3600.08/3611.01 c STR average degree increase per successful call inf
3600.08/3611.01 c STR average degree increase per successful attempt inf
3600.08/3611.01 c STR total number of conflicts for successful attempts 0
3600.08/3611.01 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.01 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.01 c STR average number of conflicts per successful attempt inf
3600.08/3611.01 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.01 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.01 c AVG.sumWPerc 95.92
3600.08/3611.01 c bigint constraints 205
3600.08/3611.01 s UNKNOWN
3600.08/3611.01 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62105 MiB free)
memory of node 1: 64465 MiB (63713 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500685-1751424839/watcher-4500685-1751424839 -o /tmp/evaluation-result-4500685-1751424839/solver-4500685-1751424839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751421217-62690 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500685-1751424839.opb PROOFDIR/proof-4500685-1751424839
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=63155, runsolver pid=63152
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 1.14 1.11 1.09 2/237 63157
/proc/meminfo: memFree=128831092/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=60900 memory=16340 CPUtime=0.08 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 2238 0 0 0 6 2 0 0 20 0 1 0 58163346 62361600 4085 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 15225 4085 1984 1147 0 2652 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65092 KiB
Current children cumulated memory: 19412 KiB
[startup+0.212949 s]*
/proc/loadavg: 1.14 1.11 1.09 2/237 63157
/proc/meminfo: memFree=128831092/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=63328 memory=18516 CPUtime=0.19 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 2777 0 0 0 15 4 0 0 20 0 1 0 58163346 64847872 4629 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 15832 4629 1984 1147 0 3259 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67520 KiB
Current children cumulated memory: 21588 KiB
[startup+0.312016 s]*
/proc/loadavg: 1.14 1.11 1.09 2/237 63157
/proc/meminfo: memFree=128829328/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=65052 memory=22228 CPUtime=0.29 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 3208 0 0 0 23 6 0 0 20 0 1 0 58163346 66613248 5557 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 16263 5557 1984 1147 0 3690 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69244 KiB
Current children cumulated memory: 25300 KiB
[startup+0.70045 s]
/proc/loadavg: 1.14 1.11 1.09 2/237 63157
/proc/meminfo: memFree=128823280/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=132952 memory=72988 CPUtime=0.67 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 7710 0 0 0 54 13 0 0 20 0 1 0 58163346 136142848 18247 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 33238 18247 2272 1147 0 20665 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 137144 KiB
Current children cumulated memory: 76060 KiB
[startup+1.50033 s]
/proc/loadavg: 1.14 1.11 1.09 2/237 63157
/proc/meminfo: memFree=128698712/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=219688 memory=153060 CPUtime=1.46 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 19249 0 0 0 112 34 0 0 20 0 1 0 58163346 224960512 38265 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 54922 38265 2400 1147 0 42349 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 223880 KiB
Current children cumulated memory: 156132 KiB
[startup+3.11253 s]
/proc/loadavg: 1.13 1.11 1.09 2/237 63157
/proc/meminfo: memFree=128634388/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=263268 memory=200336 CPUtime=3.07 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 29533 0 0 0 202 105 0 0 20 0 1 0 58163346 269586432 50084 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 65817 50084 2400 1147 0 53244 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 267460 KiB
Current children cumulated memory: 203408 KiB
[startup+6.30032 s]
/proc/loadavg: 1.13 1.11 1.09 2/237 63157
/proc/meminfo: memFree=128460852/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=395856 memory=325276 CPUtime=6.25 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 49032 0 0 0 461 164 0 0 20 0 1 0 58163346 405356544 81319 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 98964 81319 2400 1147 0 86391 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 400048 KiB
Current children cumulated memory: 328348 KiB
[startup+12.7004 s]
/proc/loadavg: 1.12 1.10 1.09 2/237 63157
/proc/meminfo: memFree=128262960/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=541044 memory=440068 CPUtime=12.63 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 72077 0 0 0 1055 208 0 0 20 0 1 0 58163346 554029056 110017 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 135261 110017 2400 1147 0 122688 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 545236 KiB
Current children cumulated memory: 443140 KiB
[startup+25.5004 s]
/proc/loadavg: 1.09 1.10 1.09 2/237 63157
/proc/meminfo: memFree=127941468/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=808016 memory=617248 CPUtime=25.4 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 108706 0 0 0 2279 261 0 0 20 0 1 0 58163346 827408384 154312 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 202004 154312 2400 1147 0 189431 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 812208 KiB
Current children cumulated memory: 620320 KiB
[startup+51.1127 s]
/proc/loadavg: 1.13 1.11 1.09 2/239 63159
/proc/meminfo: memFree=127582832/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=811344 memory=689996 CPUtime=50.93 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 118329 0 0 0 4763 330 0 0 20 0 1 0 58163346 830816256 172499 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 202836 172499 2400 1147 0 190263 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 815536 KiB
Current children cumulated memory: 693068 KiB
[startup+102.3 s]
/proc/loadavg: 1.12 1.10 1.09 2/242 63166
/proc/meminfo: memFree=126737568/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=1300480 memory=1022396 CPUtime=101.95 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 187143 0 0 0 9719 476 0 0 20 0 1 0 58163346 1331691520 255599 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 325120 255599 2400 1147 0 312547 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1304672 KiB
Current children cumulated memory: 1025468 KiB
[startup+162.3 s]
/proc/loadavg: 1.10 1.10 1.09 2/241 63168
/proc/meminfo: memFree=126223424/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=1439396 memory=1107068 CPUtime=161.76 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 199138 0 0 0 15566 610 0 0 20 0 1 0 58163346 1473941504 276767 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 359849 276767 2400 1147 0 347276 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1443588 KiB
Current children cumulated memory: 1110140 KiB
[startup+222.3 s]
/proc/loadavg: 1.11 1.09 1.09 2/242 63171
/proc/meminfo: memFree=125661972/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=1444772 memory=1196972 CPUtime=221.38 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 211040 0 0 0 21392 746 0 0 20 0 1 0 58163346 1479446528 299243 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 361193 299243 2400 1147 0 348620 0
################
# More data... #
################
Current children cumulated memory: 2753464 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.09 1.09 2/240 63348
/proc/meminfo: memFree=106977092/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=4590504 memory=3605076 CPUtime=3332.05 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 651377 0 0 0 329068 4137 0 0 20 0 1 0 58163346 4700676096 901269 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1147626 901269 2400 1147 0 1135053 0
Current children cumulated CPU time: 3332.05 s
Current children cumulated vsize: 4594696 KiB
Current children cumulated memory: 3608148 KiB
[startup+3402.3 s]
/proc/loadavg: 1.07 1.08 1.09 2/239 63350
/proc/meminfo: memFree=106678444/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=4590504 memory=3605076 CPUtime=3391.9 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 651482 0 0 0 334989 4201 0 0 20 0 1 0 58163346 4700676096 901269 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1147626 901269 2400 1147 0 1135053 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 4594696 KiB
Current children cumulated memory: 3608148 KiB
[startup+3462.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/239 63352
/proc/meminfo: memFree=106396488/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=4590504 memory=3620012 CPUtime=3451.74 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 654361 0 0 0 340907 4267 0 0 20 0 1 0 58163346 4700676096 905003 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1147626 905003 2400 1147 0 1135053 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 4594696 KiB
Current children cumulated memory: 3623084 KiB
[startup+3522.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/239 63354
/proc/meminfo: memFree=106066916/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=4603816 memory=3692604 CPUtime=3511.59 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 664861 0 0 0 346834 4325 0 0 20 0 1 0 58163346 4714307584 923151 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1150954 923151 2400 1147 0 1138381 0
Current children cumulated CPU time: 3511.59 s
Current children cumulated vsize: 4608008 KiB
Current children cumulated memory: 3695676 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.09 1.09 2/236 63356
/proc/meminfo: memFree=105681372/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=4603816 memory=3692732 CPUtime=3571.43 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 665173 0 0 0 352754 4389 0 0 20 0 1 0 58163346 4714307584 923183 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1150954 923183 2400 1147 0 1138381 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 4608008 KiB
Current children cumulated memory: 3695804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 1.08 1.08 1.09 2/236 63357
/proc/meminfo: memFree=105559792/131382112 swapFree=33010684/33010684
[pid=63155] ppid=63152 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63155/stat : 63155 (run-opt-log.sh) S 63152 63155 62217 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 58163345 4292608 768 18446744073709551615 94016227360768 94016228255301 140729419480944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94016228494352 94016228542096 94016232804352 140729419487521 140729419487716 140729419487716 140729419493318 0
/proc/63155/statm: 1048 768 704 219 0 110 0
[pid=63157] ppid=63155 vsize=4603816 memory=3692732 CPUtime=3600.08 cores=4,6
/proc/63157/stat : 63157 (roundingsat) R 63155 63155 62217 0 -1 4194304 665242 0 0 0 355587 4421 0 0 20 0 1 0 58163346 4714307584 923183 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1150954 923183 2400 1147 0 1138381 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4608008 KiB
Current children cumulated memory: 3695804 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.02 s]
# the end of solver process 63155 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002377 s, system=0.002391 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 1.08 1.08 1.09 1/235 63357
/proc/meminfo: memFree=105573020/131382112 swapFree=33010684/33010684
[pid=63157] ppid=63152 vsize=4603816 memory=3693116 CPUtime=3600.09 cores=4,6
/proc/63157/stat : 63157 (roundingsat) D 63152 63155 62217 0 -1 4194304 665249 0 0 0 355587 4422 0 0 20 0 1 0 58163346 4714307584 923279 18446744073709551615 4227072 8923433 140733829341056 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 9
/proc/63157/statm: 1150954 923279 2496 1147 0 1138381 0
??? kill 63157 sig 9
??? end of watcher thread
[startup+3616.58 s]
# the end of solver process 63157 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3555.88 s, system=44.3461 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.21 s]
/proc/loadavg: 1.08 1.08 1.09 1/235 63357
/proc/meminfo: memFree=105572508/131382112 swapFree=33010684/33010684
[pid=63157] ppid=63152 vsize=4603816 memory=3693116 CPUtime=3600.09 cores=4,6
/proc/63157/stat : 63157 (roundingsat) D 63152 63155 62217 0 -1 4194304 665249 0 0 0 355587 4422 0 0 20 0 1 0 58163346 4714307584 923279 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1150954 923279 2496 1147 0 1138381 0
Current cumulated CPU time of completed processes: 0.004768 s
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4603816 KiB
Current children cumulated memory: 3693116 KiB
[startup+3612 s]*
/proc/loadavg: 1.08 1.08 1.09 1/235 63357
/proc/meminfo: memFree=105573020/131382112 swapFree=33010684/33010684
[pid=63157] ppid=63152 vsize=4603816 memory=3693116 CPUtime=3600.09 cores=4,6
/proc/63157/stat : 63157 (roundingsat) D 63152 63155 62217 0 -1 4194304 665249 0 0 0 355587 4422 0 0 20 0 1 0 58163346 4714307584 923279 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1150954 923279 2496 1147 0 1138381 0
Current cumulated CPU time of completed processes: 0.004768 s
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4603816 KiB
Current children cumulated memory: 3693116 KiB
[startup+3612.8 s]
/proc/loadavg: 1.08 1.08 1.09 1/235 63357
/proc/meminfo: memFree=105573020/131382112 swapFree=33010684/33010684
[pid=63157] ppid=63152 vsize=4603816 memory=3693116 CPUtime=3600.09 cores=4,6
/proc/63157/stat : 63157 (roundingsat) D 63152 63155 62217 0 -1 4194304 665249 0 0 0 355587 4422 0 0 20 0 1 0 58163346 4714307584 923279 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1150954 923279 2496 1147 0 1138381 0
Current cumulated CPU time of completed processes: 0.004768 s
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4603816 KiB
Current children cumulated memory: 3693116 KiB
[startup+3613 s]*
/proc/loadavg: 1.08 1.08 1.09 1/235 63357
/proc/meminfo: memFree=105573020/131382112 swapFree=33010684/33010684
[pid=63157] ppid=63152 vsize=4603816 memory=3693116 CPUtime=3600.09 cores=4,6
/proc/63157/stat : 63157 (roundingsat) D 63152 63155 62217 0 -1 4194304 665249 0 0 0 355587 4422 0 0 20 0 1 0 58163346 4714307584 923279 18446744073709551615 4227072 8923433 140733829341056 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140733829343570 140733829343784 140733829343784 140733829349354 0
/proc/63157/statm: 1150954 923279 2496 1147 0 1138381 0
Current cumulated CPU time of completed processes: 0.004768 s
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4603816 KiB
Current children cumulated memory: 3693116 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.58
CPU time (s): 3600.22
CPU user time (s): 3555.88
CPU system time (s): 44.3461
CPU usage (%): 99.5476
Max. virtual memory (cumulated for all children) (KiB): 4608008
Max. memory (cumulated for all children) (KiB): 3695804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.88
system time used= 44.3461
maximum resident set size= 3693116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 665460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39085336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3243
involuntary context switches= 23087
# summary of solver processes directly reported to runsolver:
# pid: 63155,63157
# total CPU time (s): 3600.22
# total CPU user time (s): 3555.88
# total CPU system time (s): 44.3461
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2005 second user time and 35.4179 second system time
The end
Begin job on nodeC005 at 2025-07-02 04:54:00
IDJOB=4500685
IDBENCH=150940
IDSOLVER=3351
FILE ID=nodeC005/4500685-1751424839
RUNJOBID= nodeC005-1751421217-62690
SLURM_JOB_ID= 9598349
Free space on /tmp= 430376 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-libgnokii4.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-4500685-1751424839/watcher-4500685-1751424839 -o /tmp/evaluation-result-4500685-1751424839/solver-4500685-1751424839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751421217-62690 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500685-1751424839.opb PROOFDIR/proof-4500685-1751424839
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a5666098a85f635130919a69a093a113
RANDOM SEED=634022330
nodeC005 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 : 0xb00001f
cpu MHz : 1197.398
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.976
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 2394.486
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.414
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.241
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.857
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128839320 kB
MemAvailable: 129960648 kB
Buffers: 2752 kB
Cached: 1919448 kB
SwapCached: 0 kB
Active: 418064 kB
Inactive: 1569364 kB
Active(anon): 75024 kB
Inactive(anon): 8164 kB
Active(file): 343040 kB
Inactive(file): 1561200 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10724 kB
Writeback: 0 kB
AnonPages: 68300 kB
Mapped: 103544 kB
Shmem: 17960 kB
KReclaimable: 113428 kB
Slab: 198660 kB
SReclaimable: 113428 kB
SUnreclaim: 85232 kB
KernelStack: 3840 kB
PageTables: 2652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 336044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430368 MiB
End job on nodeC005 at 2025-07-02 05:54:16