0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.16/1.20 c #variables 21101 #constraints 99896
1.16/1.20 c objective is ce64
1.16/1.24 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.16/1.24 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
1.16/1.24 c GLOBAL bounds - >= 0 @ 1.00738
1.16/1.28 c GLOBAL bounds - >= 0 @ 1.0261
1.16/1.28 c GLOBAL bounds - >= 475379834250 @ 1.0266
1.57/1.61 c GLOBAL bounds - >= 475379834250 @ 1.33361
1.57/1.64 c GLOBAL bounds - >= 475379834250 @ 1.34654
1.57/1.64 c GLOBAL bounds - >= 475379834250 @ 1.3474
1.57/1.67 c GLOBAL bounds - >= 475379834250 @ 1.35895
1.57/1.67 c GLOBAL bounds - >= 475379834250 @ 1.35948
1.57/1.69 c GLOBAL bounds - >= 475379834250 @ 1.36869
1.57/1.69 c GLOBAL bounds - >= 475379834250 @ 1.36916
1.66/1.72 c GLOBAL bounds - >= 475379834250 @ 1.38271
1.66/1.72 c GLOBAL bounds - >= 475379834250 @ 1.38321
1.66/1.75 c GLOBAL bounds - >= 475379834250 @ 1.3943
1.66/1.75 c GLOBAL bounds - >= 475379834250 @ 1.39485
1.66/1.77 c GLOBAL bounds - >= 475379834250 @ 1.41099
1.66/1.77 c GLOBAL bounds - >= 475379834250 @ 1.41174
1.77/1.80 c GLOBAL bounds - >= 475379834250 @ 1.42288
1.77/1.80 c GLOBAL bounds - >= 475379834250 @ 1.42353
1.77/1.83 c GLOBAL bounds - >= 475379834250 @ 1.43714
1.77/1.83 c GLOBAL bounds - >= 475379834250 @ 1.43781
1.77/1.85 c GLOBAL bounds - >= 475379834250 @ 1.45187
1.77/1.85 c GLOBAL bounds - >= 475379834250 @ 1.45212
1.77/1.88 c GLOBAL bounds - >= 475379834250 @ 1.46157
1.86/1.91 c GLOBAL bounds - >= 475379834250 @ 1.47075
1.86/1.92 c GLOBAL bounds - >= 475379834250 @ 1.48105
1.86/1.95 c GLOBAL bounds - >= 475379834250 @ 1.49651
1.86/1.98 c GLOBAL bounds - >= 475379834250 @ 1.50655
1.86/2.01 c GLOBAL bounds - >= 475379834250 @ 1.52641
1.98/2.02 c GLOBAL bounds - >= 713143539475 @ 1.53563
1.98/2.02 c GLOBAL bounds - >= 713143539475 @ 1.54169
1.98/2.02 c GLOBAL bounds - >= 713143539475 @ 1.5423
1.98/2.05 c GLOBAL bounds - >= 713143539475 @ 1.55362
1.98/2.05 c GLOBAL bounds - >= 713143539475 @ 1.55442
1.98/2.08 c GLOBAL bounds - >= 713143539475 @ 1.56433
1.98/2.08 c GLOBAL bounds - >= 713143539475 @ 1.56569
1.98/2.11 c GLOBAL bounds - >= 713143539475 @ 1.57901
1.98/2.11 c GLOBAL bounds - >= 713143539475 @ 1.57971
2.08/2.13 c GLOBAL bounds - >= 713143539475 @ 1.59213
2.08/2.13 c GLOBAL bounds - >= 713143539475 @ 1.59272
2.08/2.15 c GLOBAL bounds - >= 713143539475 @ 1.60631
2.08/2.15 c GLOBAL bounds - >= 713143539475 @ 1.60679
2.08/2.18 c GLOBAL bounds - >= 713143539475 @ 1.61828
2.08/2.18 c GLOBAL bounds - >= 713143539475 @ 1.61875
2.17/2.20 c GLOBAL bounds - >= 713143539475 @ 1.63016
2.17/2.20 c GLOBAL bounds - >= 713143539475 @ 1.63064
2.17/2.22 c GLOBAL bounds - >= 713143539475 @ 1.64583
2.17/2.22 c GLOBAL bounds - >= 713143539475 @ 1.64662
2.17/2.25 c GLOBAL bounds - >= 713143539475 @ 1.66115
2.17/2.25 c GLOBAL bounds - >= 713143539475 @ 1.66183
2.17/2.27 c GLOBAL bounds - >= 713143539475 @ 1.67441
2.17/2.29 c GLOBAL bounds - >= 713143539475 @ 1.68949
2.26/2.31 c GLOBAL bounds - >= 713143539475 @ 1.69478
2.26/2.32 c GLOBAL bounds - >= 713143539475 @ 1.70175
2.26/2.33 c GLOBAL bounds - >= 713143539475 @ 1.70644
2.26/2.35 c GLOBAL bounds - >= 713143539475 @ 1.7133
2.26/2.36 c GLOBAL bounds - >= 713143539475 @ 1.71818
2.26/2.38 c GLOBAL bounds - >= 713143539475 @ 1.72439
2.26/2.39 c GLOBAL bounds - >= 713143539475 @ 1.73038
2.36/2.41 c GLOBAL bounds - >= 713143539475 @ 1.74087
2.36/2.44 c GLOBAL bounds - >= 713143539475 @ 1.75729
2.36/2.46 c GLOBAL bounds - >= 713143539475 @ 1.76687
2.36/2.48 c GLOBAL bounds - >= 713143539475 @ 1.77805
2.36/2.48 c GLOBAL bounds - >= 792336617800 @ 1.78097
2.36/2.49 c GLOBAL bounds - >= 792336617800 @ 1.78428
2.36/2.49 c GLOBAL bounds - >= 792336617800 @ 1.78479
2.36/2.49 c GLOBAL bounds - >= 792336617800 @ 1.78528
2.46/2.51 c GLOBAL bounds - >= 792336617800 @ 1.7945
2.46/2.51 c GLOBAL bounds - >= 792336617800 @ 1.79506
2.46/2.53 c GLOBAL bounds - >= 792336617800 @ 1.8038
2.46/2.53 c GLOBAL bounds - >= 792336617800 @ 1.80415
2.46/2.55 c GLOBAL bounds - >= 792336617800 @ 1.81113
2.46/2.55 c GLOBAL bounds - >= 792336617800 @ 1.81113
2.46/2.57 c GLOBAL bounds - >= 792336617800 @ 1.82038
2.46/2.57 c GLOBAL bounds - >= 792336617800 @ 1.82096
2.46/2.59 c GLOBAL bounds - >= 792336617800 @ 1.83249
2.46/2.59 c GLOBAL bounds - >= 792336617800 @ 1.83315
2.56/2.62 c GLOBAL bounds - >= 792336617800 @ 1.844
2.56/2.62 c GLOBAL bounds - >= 792336617800 @ 1.84479
2.56/2.64 c GLOBAL bounds - >= 792336617800 @ 1.85267
2.56/2.64 c GLOBAL bounds - >= 792336617800 @ 1.85367
2.56/2.67 c GLOBAL bounds - >= 792336617800 @ 1.86507
2.56/2.67 c GLOBAL bounds - >= 792336617800 @ 1.86593
2.56/2.69 c GLOBAL bounds - >= 792336617800 @ 1.87634
2.56/2.69 c GLOBAL bounds - >= 792336617800 @ 1.87694
2.67/2.71 c GLOBAL bounds - >= 792336617800 @ 1.88476
2.67/2.73 c GLOBAL bounds - >= 792336617800 @ 1.89417
2.67/2.77 c GLOBAL bounds - >= 792336617800 @ 1.91013
2.67/2.78 c GLOBAL bounds - >= 1109330295400 @ 1.92411
2.76/2.80 c GLOBAL bounds - >= 1109330295400 @ 1.94271
2.76/2.82 c GLOBAL bounds - >= 1109330295400 @ 1.94959
2.76/2.82 c GLOBAL bounds - >= 1109330295400 @ 1.94959
2.76/2.85 c GLOBAL bounds - >= 1109330295400 @ 1.96323
2.76/2.85 c GLOBAL bounds - >= 1109330295400 @ 1.96365
2.76/2.87 c GLOBAL bounds - >= 1109330295400 @ 1.97465
2.76/2.87 c GLOBAL bounds - >= 1109330295400 @ 1.97555
2.76/2.89 c GLOBAL bounds - >= 1109330295400 @ 1.98698
2.76/2.89 c GLOBAL bounds - >= 1109330295400 @ 1.98753
2.87/2.92 c GLOBAL bounds - >= 1109330295400 @ 1.99926
2.87/2.92 c GLOBAL bounds - >= 1109330295400 @ 1.99954
2.87/2.94 c GLOBAL bounds - >= 1109330295400 @ 2.00732
2.87/2.94 c GLOBAL bounds - >= 1109330295400 @ 2.00825
2.87/2.96 c GLOBAL bounds - >= 1109330295400 @ 2.01606
2.87/2.97 c GLOBAL bounds - >= 1109330295400 @ 2.01649
2.87/2.99 c GLOBAL bounds - >= 1109330295400 @ 2.0254
2.87/2.99 c GLOBAL bounds - >= 1109330295400 @ 2.0254
2.97/3.01 c GLOBAL bounds - >= 1109330295400 @ 2.0351
2.97/3.01 c GLOBAL bounds - >= 1109330295400 @ 2.03593
2.97/3.04 c GLOBAL bounds - >= 1109330295400 @ 2.04485
2.97/3.09 c GLOBAL bounds - >= 1109330295400 @ 2.07985
3.08/3.15 c GLOBAL bounds - >= 1109330295400 @ 2.12891
3.16/3.23 c GLOBAL bounds - >= 1188689396950 @ 2.19621
3.16/3.23 c GLOBAL bounds - >= 1188689396950 @ 2.2028
3.16/3.23 c GLOBAL bounds - >= 1188689396950 @ 2.20346
3.16/3.23 c GLOBAL bounds - >= 1188689396950 @ 2.20423
3.16/3.26 c GLOBAL bounds - >= 1188689396950 @ 2.21546
3.16/3.26 c GLOBAL bounds - >= 1188689396950 @ 2.21583
3.16/3.28 c GLOBAL bounds - >= 1188689396950 @ 2.22457
3.16/3.28 c GLOBAL bounds - >= 1188689396950 @ 2.22522
3.26/3.30 c GLOBAL bounds - >= 1188689396950 @ 2.23453
3.26/3.30 c GLOBAL bounds - >= 1188689396950 @ 2.23516
3.26/3.32 c GLOBAL bounds - >= 1188689396950 @ 2.24863
3.26/3.32 c GLOBAL bounds - >= 1188689396950 @ 2.24937
3.26/3.34 c GLOBAL bounds - >= 1188689396950 @ 2.25656
3.26/3.35 c GLOBAL bounds - >= 1188689396950 @ 2.25723
3.26/3.37 c GLOBAL bounds - >= 1188689396950 @ 2.26967
3.26/3.37 c GLOBAL bounds - >= 1188689396950 @ 2.27054
3.26/3.39 c GLOBAL bounds - >= 1188689396950 @ 2.27998
3.26/3.39 c GLOBAL bounds - >= 1188689396950 @ 2.28066
3.36/3.41 c GLOBAL bounds - >= 1188689396950 @ 2.2884
3.36/3.41 c GLOBAL bounds - >= 1188689396950 @ 2.28864
3.36/3.43 c GLOBAL bounds - >= 1188689396950 @ 2.29857
3.36/3.44 c GLOBAL bounds - >= 1188689396950 @ 2.29974
3.36/3.46 c GLOBAL bounds - >= 1188689396950 @ 2.31513
3.46/3.54 c GLOBAL bounds - >= 1188689396950 @ 2.37217
3.56/3.68 c GLOBAL bounds - >= 1188689396950 @ 2.48904
3.66/3.73 c GLOBAL bounds - >= 1188689396950 @ 2.53186
3.66/3.77 c GLOBAL bounds - >= 1188689396950 @ 2.56051
3.97/4.07 c GLOBAL bounds - >= 1347241576825 @ 2.84325
3.97/4.08 c GLOBAL bounds - >= 1347241576825 @ 2.85333
3.97/4.10 c GLOBAL bounds - >= 1347241576825 @ 2.86559
3.97/4.10 c GLOBAL bounds - >= 1347241576825 @ 2.86612
4.08/4.12 c GLOBAL bounds - >= 1347241576825 @ 2.87514
4.08/4.12 c GLOBAL bounds - >= 1347241576825 @ 2.87612
4.08/4.15 c GLOBAL bounds - >= 1347241576825 @ 2.88707
4.08/4.15 c GLOBAL bounds - >= 1347241576825 @ 2.88822
4.08/4.17 c GLOBAL bounds - >= 1347241576825 @ 2.8958
4.08/4.17 c GLOBAL bounds - >= 1347241576825 @ 2.89607
4.08/4.19 c GLOBAL bounds - >= 1347241576825 @ 2.90411
4.08/4.19 c GLOBAL bounds - >= 1347241576825 @ 2.9051
4.15/4.21 c GLOBAL bounds - >= 1347241576825 @ 2.91662
4.15/4.21 c GLOBAL bounds - >= 1347241576825 @ 2.91703
4.15/4.24 c GLOBAL bounds - >= 1347241576825 @ 2.92758
4.15/4.24 c GLOBAL bounds - >= 1347241576825 @ 2.92802
4.15/4.26 c GLOBAL bounds - >= 1347241576825 @ 2.93695
4.15/4.26 c GLOBAL bounds - >= 1347241576825 @ 2.93793
4.15/4.28 c GLOBAL bounds - >= 1347241576825 @ 2.94634
4.15/4.28 c GLOBAL bounds - >= 1347241576825 @ 2.94729
4.25/4.30 c GLOBAL bounds - >= 1347241576825 @ 2.95881
5.07/5.12 c #Conflicts: 1000 | #Constraints: 2411
5.07/5.12 c GLOBAL bounds - >= 1347426047075 @ 3.70147
5.07/5.13 c GLOBAL bounds - >= 1347426047075 @ 3.71084
5.07/5.15 c GLOBAL bounds - >= 1347426047075 @ 3.72235
5.07/5.15 c GLOBAL bounds - >= 1347426047075 @ 3.72282
5.07/5.17 c GLOBAL bounds - >= 1347426047075 @ 3.73216
5.07/5.17 c GLOBAL bounds - >= 1347426047075 @ 3.73279
5.07/5.19 c GLOBAL bounds - >= 1347426047075 @ 3.74182
5.07/5.20 c GLOBAL bounds - >= 1347426047075 @ 3.74287
5.15/5.22 c GLOBAL bounds - >= 1347426047075 @ 3.75163
5.15/5.22 c GLOBAL bounds - >= 1347426047075 @ 3.75168
5.15/5.24 c GLOBAL bounds - >= 1347426047075 @ 3.76353
5.15/5.24 c GLOBAL bounds - >= 1347426047075 @ 3.7645
5.15/5.26 c GLOBAL bounds - >= 1347426047075 @ 3.7754
5.15/5.26 c GLOBAL bounds - >= 1347426047075 @ 3.77642
5.15/5.29 c GLOBAL bounds - >= 1347426047075 @ 3.78627
5.15/5.29 c GLOBAL bounds - >= 1347426047075 @ 3.78724
5.26/5.31 c GLOBAL bounds - >= 1347426047075 @ 3.79599
5.26/5.31 c GLOBAL bounds - >= 1347426047075 @ 3.79662
5.26/5.33 c GLOBAL bounds - >= 1347426047075 @ 3.80522
5.26/5.33 c GLOBAL bounds - >= 1347426047075 @ 3.80559
5.26/5.35 c GLOBAL bounds - >= 1347426047075 @ 3.81717
5.26/5.38 c GLOBAL bounds - >= 1347426047075 @ 3.82892
5.36/5.40 c GLOBAL bounds - >= 1347426047075 @ 3.84088
5.85/5.90 c #Conflicts: 2000 | #Constraints: 3450
5.85/5.90 c INPROCESSING
5.85/5.90 c GARBAGE COLLECT
5.85/5.90 c GLOBAL bounds - >= 1347573623275 @ 4.30841
5.85/5.91 c GLOBAL bounds - >= 1347573623275 @ 4.31896
5.85/5.94 c GLOBAL bounds - >= 1347573623275 @ 4.33521
5.85/5.94 c GLOBAL bounds - >= 1347573623275 @ 4.3359
5.85/5.96 c GLOBAL bounds - >= 1347573623275 @ 4.34737
5.85/5.96 c GLOBAL bounds - >= 1347573623275 @ 4.34787
5.85/5.98 c GLOBAL bounds - >= 1347573623275 @ 4.35495
5.85/5.98 c GLOBAL bounds - >= 1347573623275 @ 4.35584
5.85/6.00 c GLOBAL bounds - >= 1347573623275 @ 4.36082
5.85/6.01 c GLOBAL bounds - >= 1347573623275 @ 4.3621
5.96/6.03 c GLOBAL bounds - >= 1347573623275 @ 4.37271
5.96/6.03 c GLOBAL bounds - >= 1347573623275 @ 4.37296
5.96/6.05 c GLOBAL bounds - >= 1347573623275 @ 4.38659
5.96/6.05 c GLOBAL bounds - >= 1347573623275 @ 4.38776
5.96/6.07 c GLOBAL bounds - >= 1347573623275 @ 4.39643
5.96/6.07 c GLOBAL bounds - >= 1347573623275 @ 4.39673
5.96/6.10 c GLOBAL bounds - >= 1347573623275 @ 4.40629
5.96/6.10 c GLOBAL bounds - >= 1347573623275 @ 4.40671
6.07/6.12 c GLOBAL bounds - >= 1347573623275 @ 4.41347
6.07/6.12 c GLOBAL bounds - >= 1347573623275 @ 4.41388
6.07/6.14 c GLOBAL bounds - >= 1347573623275 @ 4.42651
6.07/6.16 c GLOBAL bounds - >= 1347573623275 @ 4.4338
10.95/11.06 c #Conflicts: 3000 | #Constraints: 3452
10.95/11.06 c #Conflicts: 4000 | #Constraints: 4452
10.95/11.06 c INPROCESSING
10.95/11.06 c GARBAGE COLLECT
10.95/11.06 c #Conflicts: 5000 | #Constraints: 3852
10.95/11.06 c #Conflicts: 6000 | #Constraints: 4852
10.95/11.06 c INPROCESSING
10.95/11.06 c GARBAGE COLLECT
10.95/11.06 c GLOBAL bounds - >= 1426951171850 @ 9.11038
10.95/11.08 c GLOBAL bounds - >= 1426951171850 @ 9.12409
10.95/11.08 c GLOBAL bounds - >= 1426951171850 @ 9.1255
10.95/11.10 c GLOBAL bounds - >= 1426951171850 @ 9.13588
10.95/11.10 c GLOBAL bounds - >= 1426951171850 @ 9.13654
11.05/11.13 c GLOBAL bounds - >= 1426951171850 @ 9.14613
11.05/11.13 c GLOBAL bounds - >= 1426951171850 @ 9.14751
11.05/11.15 c GLOBAL bounds - >= 1426951171850 @ 9.16158
11.05/11.15 c GLOBAL bounds - >= 1426951171850 @ 9.16243
11.05/11.18 c GLOBAL bounds - >= 1426951171850 @ 9.17454
11.05/11.18 c GLOBAL bounds - >= 1426951171850 @ 9.17614
11.14/11.20 c GLOBAL bounds - >= 1426951171850 @ 9.18734
11.14/11.20 c GLOBAL bounds - >= 1426951171850 @ 9.18795
11.14/11.23 c GLOBAL bounds - >= 1426951171850 @ 9.19611
11.14/11.23 c GLOBAL bounds - >= 1426951171850 @ 9.19757
11.14/11.25 c GLOBAL bounds - >= 1426951171850 @ 9.20968
11.14/11.25 c GLOBAL bounds - >= 1426951171850 @ 9.21068
11.14/11.27 c GLOBAL bounds - >= 1426951171850 @ 9.21963
11.14/11.28 c GLOBAL bounds - >= 1426951171850 @ 9.22115
11.24/11.30 c GLOBAL bounds - >= 1426951171850 @ 9.23261
11.24/11.30 c GLOBAL bounds - >= 1426951171850 @ 9.23362
11.24/11.32 c GLOBAL bounds - >= 1426951171850 @ 9.23948
11.24/11.34 c GLOBAL bounds - >= 1426951171850 @ 9.24859
11.24/11.36 c GLOBAL bounds - >= 1426951171850 @ 9.25357
11.24/11.38 c GLOBAL bounds - >= 1426951171850 @ 9.26548
11.33/11.40 c GLOBAL bounds - >= 1426951171850 @ 9.27723
11.33/11.44 c GLOBAL bounds - >= 1426951171850 @ 9.30883
11.33/11.46 c GLOBAL bounds - >= 1426951171850 @ 9.32305
11.33/11.49 c GLOBAL bounds - >= 1426951171850 @ 9.33609
16.81/16.98 c #Conflicts: 7000 | #Constraints: 3916
16.81/16.98 c #Conflicts: 8000 | #Constraints: 4916
16.81/16.98 c #Conflicts: 9000 | #Constraints: 5916
16.81/16.98 c INPROCESSING
16.81/16.98 c GARBAGE COLLECT
16.81/16.98 c #Conflicts: 10000 | #Constraints: 4609
16.81/16.98 c #Conflicts: 11000 | #Constraints: 5609
16.81/16.98 c #Conflicts: 12000 | #Constraints: 6609
16.81/16.98 c INPROCESSING
16.81/16.98 c GARBAGE COLLECT
16.81/16.98 c GLOBAL bounds - >= 1506236485300 @ 14.6471
16.81/17.00 c GLOBAL bounds - >= 1506236485300 @ 14.6607
16.81/17.00 c GLOBAL bounds - >= 1506236485300 @ 14.6612
16.93/17.03 c GLOBAL bounds - >= 1506236485300 @ 14.685
16.93/17.03 c GLOBAL bounds - >= 1506236485300 @ 14.686
16.93/17.06 c GLOBAL bounds - >= 1506236485300 @ 14.6955
16.93/17.06 c GLOBAL bounds - >= 1506236485300 @ 14.6971
16.93/17.08 c GLOBAL bounds - >= 1506236485300 @ 14.7064
16.93/17.08 c GLOBAL bounds - >= 1506236485300 @ 14.7079
16.93/17.11 c GLOBAL bounds - >= 1506236485300 @ 14.7184
16.93/17.11 c GLOBAL bounds - >= 1506236485300 @ 14.72
17.03/17.13 c GLOBAL bounds - >= 1506236485300 @ 14.7268
17.03/17.13 c GLOBAL bounds - >= 1506236485300 @ 14.7278
17.03/17.15 c GLOBAL bounds - >= 1506236485300 @ 14.7409
17.03/17.16 c GLOBAL bounds - >= 1506236485300 @ 14.7418
17.03/17.18 c GLOBAL bounds - >= 1506236485300 @ 14.7503
17.03/17.18 c GLOBAL bounds - >= 1506236485300 @ 14.751
17.12/17.20 c GLOBAL bounds - >= 1506236485300 @ 14.7613
17.12/17.20 c GLOBAL bounds - >= 1506236485300 @ 14.7627
17.12/17.23 c GLOBAL bounds - >= 1506236485300 @ 14.7746
17.12/17.23 c GLOBAL bounds - >= 1506236485300 @ 14.7757
17.12/17.25 c GLOBAL bounds - >= 1506236485300 @ 14.7839
17.12/17.28 c GLOBAL bounds - >= 1506236485300 @ 14.7984
56.50/56.74 c #Conflicts: 13000 | #Constraints: 5094
56.50/56.74 c #Conflicts: 14000 | #Constraints: 6094
56.50/56.74 c #Conflicts: 15000 | #Constraints: 7094
56.50/56.74 c INPROCESSING
56.50/56.74 c GARBAGE COLLECT
56.50/56.74 c #Conflicts: 16000 | #Constraints: 5314
56.50/56.74 c #Conflicts: 17000 | #Constraints: 6314
56.50/56.74 c #Conflicts: 18000 | #Constraints: 7314
56.50/56.74 c INPROCESSING
56.50/56.74 c GARBAGE COLLECT
56.50/56.74 c #Conflicts: 19000 | #Constraints: 5329
56.50/56.74 c #Conflicts: 20000 | #Constraints: 6329
56.50/56.74 c #Conflicts: 21000 | #Constraints: 7329
56.50/56.74 c INPROCESSING
56.50/56.74 c GARBAGE COLLECT
56.50/56.74 c #Conflicts: 22000 | #Constraints: 5130
56.50/56.74 c #Conflicts: 23000 | #Constraints: 6130
56.50/56.74 c #Conflicts: 24000 | #Constraints: 7130
56.50/56.74 c #Conflicts: 25000 | #Constraints: 8130
56.50/56.74 c INPROCESSING
56.50/56.74 c GARBAGE COLLECT
56.50/56.74 c #Conflicts: 26000 | #Constraints: 5733
56.50/56.74 c #Conflicts: 27000 | #Constraints: 6733
56.50/56.74 c #Conflicts: 28000 | #Constraints: 7733
56.50/56.74 c #Conflicts: 29000 | #Constraints: 8733
56.50/56.74 c INPROCESSING
56.50/56.74 c GARBAGE COLLECT
56.50/56.74 c #Conflicts: 30000 | #Constraints: 6137
56.50/56.74 c #Conflicts: 31000 | #Constraints: 7137
56.50/56.74 c #Conflicts: 32000 | #Constraints: 8137
56.50/56.74 c #Conflicts: 33000 | #Constraints: 9137
56.50/56.74 c INPROCESSING
56.50/56.74 c GARBAGE COLLECT
56.50/56.74 c #Conflicts: 34000 | #Constraints: 6340
56.50/56.74 c #Conflicts: 35000 | #Constraints: 7340
56.50/56.74 c #Conflicts: 36000 | #Constraints: 8340
56.50/56.74 c #Conflicts: 37000 | #Constraints: 9340
56.50/56.74 c INPROCESSING
56.50/56.74 c GARBAGE COLLECT
56.50/56.74 c #Conflicts: 38000 | #Constraints: 6341
56.50/56.74 c #Conflicts: 39000 | #Constraints: 7341
56.50/56.74 c #Conflicts: 40000 | #Constraints: 8341
56.50/56.74 c #Conflicts: 41000 | #Constraints: 9341
56.50/56.74 c INPROCESSING
56.50/56.74 c GARBAGE COLLECT
56.50/56.74 c #Conflicts: 42000 | #Constraints: 6137
56.50/56.74 c #Conflicts: 43000 | #Constraints: 7137
56.50/56.74 c #Conflicts: 44000 | #Constraints: 8137
56.50/56.74 c #Conflicts: 45000 | #Constraints: 9137
56.50/56.74 c GLOBAL bounds - >= 1664954688400 @ 53.0382
56.50/56.77 c GLOBAL bounds - >= 1664954688400 @ 53.0602
56.50/56.77 c GLOBAL bounds - >= 1664954688400 @ 53.0619
56.50/56.79 c GLOBAL bounds - >= 1664954688400 @ 53.0722
56.50/56.79 c GLOBAL bounds - >= 1664954688400 @ 53.073
56.59/56.82 c GLOBAL bounds - >= 1664954688400 @ 53.0814
56.59/56.82 c GLOBAL bounds - >= 1664954688400 @ 53.0829
56.59/56.84 c GLOBAL bounds - >= 1664954688400 @ 53.0903
56.59/56.84 c GLOBAL bounds - >= 1664954688400 @ 53.0909
56.59/56.87 c GLOBAL bounds - >= 1664954688400 @ 53.1032
56.59/56.87 c GLOBAL bounds - >= 1664954688400 @ 53.1047
56.59/56.89 c GLOBAL bounds - >= 1664954688400 @ 53.1191
56.59/56.89 c GLOBAL bounds - >= 1664954688400 @ 53.1206
56.69/56.92 c GLOBAL bounds - >= 1664954688400 @ 53.133
56.69/56.92 c GLOBAL bounds - >= 1664954688400 @ 53.1337
56.69/56.94 c GLOBAL bounds - >= 1664954688400 @ 53.1447
56.69/56.94 c GLOBAL bounds - >= 1664954688400 @ 53.1457
56.69/56.97 c GLOBAL bounds - >= 1664954688400 @ 53.1576
56.69/56.97 c GLOBAL bounds - >= 1664954688400 @ 53.1592
56.69/56.99 c GLOBAL bounds - >= 1664954688400 @ 53.1716
56.69/56.99 c GLOBAL bounds - >= 1664954688400 @ 53.1726
56.81/57.02 c GLOBAL bounds - >= 1664954688400 @ 53.1856
107.81/108.25 c #Conflicts: 46000 | #Constraints: 10177
107.81/108.25 c INPROCESSING
107.81/108.25 c GARBAGE COLLECT
107.81/108.25 c #Conflicts: 47000 | #Constraints: 6761
107.81/108.25 c #Conflicts: 48000 | #Constraints: 7761
107.81/108.25 c #Conflicts: 49000 | #Constraints: 8761
107.81/108.25 c #Conflicts: 50000 | #Constraints: 9761
107.81/108.25 c #Conflicts: 51000 | #Constraints: 10761
107.81/108.25 c INPROCESSING
107.81/108.25 c GARBAGE COLLECT
107.81/108.25 c #Conflicts: 52000 | #Constraints: 7161
107.81/108.25 c #Conflicts: 53000 | #Constraints: 8161
107.81/108.25 c #Conflicts: 54000 | #Constraints: 9161
107.81/108.25 c #Conflicts: 55000 | #Constraints: 10161
107.81/108.25 c #Conflicts: 56000 | #Constraints: 11161
107.81/108.25 c INPROCESSING
107.81/108.25 c GARBAGE COLLECT
107.81/108.25 c #Conflicts: 57000 | #Constraints: 7362
107.81/108.25 c #Conflicts: 58000 | #Constraints: 8362
107.81/108.25 c #Conflicts: 59000 | #Constraints: 9362
107.81/108.25 c #Conflicts: 60000 | #Constraints: 10362
107.81/108.25 c #Conflicts: 61000 | #Constraints: 11362
107.81/108.25 c INPROCESSING
107.81/108.25 c GARBAGE COLLECT
107.81/108.25 c #Conflicts: 62000 | #Constraints: 7372
107.81/108.25 c #Conflicts: 63000 | #Constraints: 8372
107.81/108.25 c #Conflicts: 64000 | #Constraints: 9372
107.81/108.25 c #Conflicts: 65000 | #Constraints: 10372
107.81/108.25 c #Conflicts: 66000 | #Constraints: 11372
107.81/108.25 c INPROCESSING
107.81/108.25 c GARBAGE COLLECT
107.81/108.25 c #Conflicts: 67000 | #Constraints: 7170
107.81/108.25 c #Conflicts: 68000 | #Constraints: 8170
107.81/108.25 c #Conflicts: 69000 | #Constraints: 9170
107.81/108.25 c #Conflicts: 70000 | #Constraints: 10170
107.81/108.25 c #Conflicts: 71000 | #Constraints: 11170
107.81/108.25 c #Conflicts: 72000 | #Constraints: 12170
107.81/108.25 c INPROCESSING
107.81/108.25 c GARBAGE COLLECT
107.81/108.25 c #Conflicts: 73000 | #Constraints: 7775
107.81/108.25 c #Conflicts: 74000 | #Constraints: 8775
107.81/108.25 c #Conflicts: 75000 | #Constraints: 9775
107.81/108.25 c #Conflicts: 76000 | #Constraints: 10775
107.81/108.25 c #Conflicts: 77000 | #Constraints: 11775
107.81/108.25 c #Conflicts: 78000 | #Constraints: 12775
107.81/108.25 c INPROCESSING
107.81/108.25 c GARBAGE COLLECT
107.81/108.25 c #Conflicts: 79000 | #Constraints: 8171
107.81/108.25 c #Conflicts: 80000 | #Constraints: 9171
107.81/108.25 c #Conflicts: 81000 | #Constraints: 10171
107.81/108.25 c #Conflicts: 82000 | #Constraints: 11171
107.81/108.25 c #Conflicts: 83000 | #Constraints: 12171
107.81/108.25 c #Conflicts: 84000 | #Constraints: 13171
107.81/108.25 c INPROCESSING
107.81/108.25 c GARBAGE COLLECT
107.81/108.25 c #Conflicts: 85000 | #Constraints: 8376
107.81/108.25 c #Conflicts: 86000 | #Constraints: 9376
107.81/108.25 c #Conflicts: 87000 | #Constraints: 10376
107.81/108.25 c #Conflicts: 88000 | #Constraints: 11376
107.81/108.25 c #Conflicts: 89000 | #Constraints: 12376
107.81/108.25 c #Conflicts: 90000 | #Constraints: 13376
107.81/108.25 c INPROCESSING
107.81/108.25 c GARBAGE COLLECT
107.81/108.25 c #Conflicts: 91000 | #Constraints: 8377
107.81/108.25 c #Conflicts: 92000 | #Constraints: 9377
107.81/108.25 c #Conflicts: 93000 | #Constraints: 10377
107.81/108.25 c GLOBAL bounds - >= 1665157605675 @ 102.858
107.81/108.27 c GLOBAL bounds - >= 1665157605675 @ 102.869
107.81/108.29 c GLOBAL bounds - >= 1665157605675 @ 102.88
107.81/108.30 c GLOBAL bounds - >= 1665157605675 @ 102.881
107.92/108.32 c GLOBAL bounds - >= 1665157605675 @ 102.891
107.92/108.32 c GLOBAL bounds - >= 1665157605675 @ 102.892
107.92/108.34 c GLOBAL bounds - >= 1665157605675 @ 102.901
107.92/108.35 c GLOBAL bounds - >= 1665157605675 @ 102.902
107.92/108.37 c GLOBAL bounds - >= 1665157605675 @ 102.913
107.92/108.37 c GLOBAL bounds - >= 1665157605675 @ 102.915
107.92/108.39 c GLOBAL bounds - >= 1665157605675 @ 102.927
108.02/108.40 c GLOBAL bounds - >= 1665157605675 @ 102.928
108.02/108.42 c GLOBAL bounds - >= 1665157605675 @ 102.94
108.02/108.42 c GLOBAL bounds - >= 1665157605675 @ 102.941
108.02/108.45 c GLOBAL bounds - >= 1665157605675 @ 102.95
108.02/108.45 c GLOBAL bounds - >= 1665157605675 @ 102.951
108.02/108.47 c GLOBAL bounds - >= 1665157605675 @ 102.963
108.02/108.47 c GLOBAL bounds - >= 1665157605675 @ 102.963
108.02/108.50 c GLOBAL bounds - >= 1665157605675 @ 102.976
108.11/108.50 c GLOBAL bounds - >= 1665157605675 @ 102.978
108.11/108.52 c GLOBAL bounds - >= 1665157605675 @ 102.989
174.78/175.44 c #Conflicts: 94000 | #Constraints: 11416
174.78/175.44 c #Conflicts: 95000 | #Constraints: 12416
174.78/175.44 c #Conflicts: 96000 | #Constraints: 13416
174.78/175.44 c INPROCESSING
174.78/175.44 c GARBAGE COLLECT
174.78/175.44 c #Conflicts: 97000 | #Constraints: 8205
174.78/175.44 c #Conflicts: 98000 | #Constraints: 9205
174.78/175.44 c #Conflicts: 99000 | #Constraints: 10205
174.78/175.44 c #Conflicts: 100000 | #Constraints: 11205
174.78/175.44 c #Conflicts: 101000 | #Constraints: 12205
174.78/175.44 c #Conflicts: 102000 | #Constraints: 13205
174.78/175.44 c #Conflicts: 103000 | #Constraints: 14205
174.78/175.44 c INPROCESSING
174.78/175.44 c GARBAGE COLLECT
174.78/175.44 c #Conflicts: 104000 | #Constraints: 8802
174.78/175.44 c #Conflicts: 105000 | #Constraints: 9802
174.78/175.44 c #Conflicts: 106000 | #Constraints: 10802
174.78/175.44 c #Conflicts: 107000 | #Constraints: 11802
174.78/175.44 c #Conflicts: 108000 | #Constraints: 12802
174.78/175.44 c #Conflicts: 109000 | #Constraints: 13802
174.78/175.44 c #Conflicts: 110000 | #Constraints: 14802
174.78/175.44 c INPROCESSING
174.78/175.44 c GARBAGE COLLECT
174.78/175.44 c #Conflicts: 111000 | #Constraints: 9199
174.78/175.44 c #Conflicts: 112000 | #Constraints: 10199
174.78/175.44 c #Conflicts: 113000 | #Constraints: 11199
174.78/175.44 c #Conflicts: 114000 | #Constraints: 12199
174.78/175.44 c #Conflicts: 115000 | #Constraints: 13199
174.78/175.44 c #Conflicts: 116000 | #Constraints: 14199
174.78/175.44 c #Conflicts: 117000 | #Constraints: 15199
174.78/175.44 c INPROCESSING
174.78/175.44 c GARBAGE COLLECT
174.78/175.44 c #Conflicts: 118000 | #Constraints: 9395
174.78/175.44 c #Conflicts: 119000 | #Constraints: 10395
174.78/175.44 c #Conflicts: 120000 | #Constraints: 11395
174.78/175.44 c #Conflicts: 121000 | #Constraints: 12395
174.78/175.44 c #Conflicts: 122000 | #Constraints: 13395
174.78/175.44 c #Conflicts: 123000 | #Constraints: 14395
174.78/175.44 c #Conflicts: 124000 | #Constraints: 15395
174.78/175.44 c INPROCESSING
174.78/175.44 c GARBAGE COLLECT
174.78/175.44 c #Conflicts: 125000 | #Constraints: 9391
174.78/175.44 c #Conflicts: 126000 | #Constraints: 10391
174.78/175.44 c #Conflicts: 127000 | #Constraints: 11391
174.78/175.44 c #Conflicts: 128000 | #Constraints: 12391
174.78/175.44 c #Conflicts: 129000 | #Constraints: 13391
174.78/175.44 c #Conflicts: 130000 | #Constraints: 14391
174.78/175.44 c #Conflicts: 131000 | #Constraints: 15391
174.78/175.44 c INPROCESSING
174.78/175.44 c GARBAGE COLLECT
174.78/175.44 c #Conflicts: 132000 | #Constraints: 9201
174.78/175.44 c #Conflicts: 133000 | #Constraints: 10201
174.78/175.44 c #Conflicts: 134000 | #Constraints: 11201
174.78/175.44 c #Conflicts: 135000 | #Constraints: 12201
174.78/175.44 c #Conflicts: 136000 | #Constraints: 13201
174.78/175.44 c #Conflicts: 137000 | #Constraints: 14201
174.78/175.44 c #Conflicts: 138000 | #Constraints: 15201
174.78/175.44 c #Conflicts: 139000 | #Constraints: 16201
174.78/175.44 c INPROCESSING
174.78/175.44 c GARBAGE COLLECT
174.78/175.44 c #Conflicts: 140000 | #Constraints: 9797
174.78/175.44 c #Conflicts: 141000 | #Constraints: 10797
174.78/175.44 c #Conflicts: 142000 | #Constraints: 11797
174.78/175.44 c #Conflicts: 143000 | #Constraints: 12797
174.78/175.44 c #Conflicts: 144000 | #Constraints: 13797
174.78/175.44 c #Conflicts: 145000 | #Constraints: 14797
174.78/175.44 c #Conflicts: 146000 | #Constraints: 15797
174.78/175.44 c #Conflicts: 147000 | #Constraints: 16797
174.78/175.44 c INPROCESSING
174.78/175.44 c GARBAGE COLLECT
174.78/175.44 c #Conflicts: 148000 | #Constraints: 10198
174.78/175.44 c #Conflicts: 149000 | #Constraints: 11198
174.78/175.44 c #Conflicts: 150000 | #Constraints: 12198
174.78/175.44 c #Conflicts: 151000 | #Constraints: 13198
174.78/175.44 c #Conflicts: 152000 | #Constraints: 14198
174.78/175.44 c GLOBAL bounds - >= 1665342075925 @ 168.279
174.78/175.45 c GLOBAL bounds - >= 1665342075925 @ 168.294
174.78/175.48 c GLOBAL bounds - >= 1665342075925 @ 168.304
174.78/175.48 c GLOBAL bounds - >= 1665342075925 @ 168.306
174.88/175.50 c GLOBAL bounds - >= 1665342075925 @ 168.315
174.88/175.51 c GLOBAL bounds - >= 1665342075925 @ 168.316
174.88/175.53 c GLOBAL bounds - >= 1665342075925 @ 168.328
174.88/175.53 c GLOBAL bounds - >= 1665342075925 @ 168.329
174.88/175.56 c GLOBAL bounds - >= 1665342075925 @ 168.342
174.88/175.56 c GLOBAL bounds - >= 1665342075925 @ 168.343
174.88/175.58 c GLOBAL bounds - >= 1665342075925 @ 168.355
174.88/175.58 c GLOBAL bounds - >= 1665342075925 @ 168.356
174.98/175.61 c GLOBAL bounds - >= 1665342075925 @ 168.369
174.98/175.61 c GLOBAL bounds - >= 1665342075925 @ 168.37
174.98/175.63 c GLOBAL bounds - >= 1665342075925 @ 168.382
174.98/175.64 c GLOBAL bounds - >= 1665342075925 @ 168.383
174.98/175.66 c GLOBAL bounds - >= 1665342075925 @ 168.395
174.98/175.66 c GLOBAL bounds - >= 1665342075925 @ 168.397
174.98/175.68 c GLOBAL bounds - >= 1665342075925 @ 168.404
174.98/175.69 c GLOBAL bounds - >= 1665342075925 @ 168.405
175.08/175.71 c GLOBAL bounds - >= 1665342075925 @ 168.418
247.12/248.02 c #Conflicts: 153000 | #Constraints: 15237
247.12/248.02 c #Conflicts: 154000 | #Constraints: 16237
247.12/248.02 c #Conflicts: 155000 | #Constraints: 17237
247.12/248.02 c INPROCESSING
247.12/248.02 c GARBAGE COLLECT
247.12/248.02 c #Conflicts: 156000 | #Constraints: 10428
247.12/248.02 c #Conflicts: 157000 | #Constraints: 11428
247.12/248.02 c #Conflicts: 158000 | #Constraints: 12428
247.12/248.02 c #Conflicts: 159000 | #Constraints: 13428
247.12/248.02 c #Conflicts: 160000 | #Constraints: 14428
247.12/248.02 c #Conflicts: 161000 | #Constraints: 15428
247.12/248.02 c #Conflicts: 162000 | #Constraints: 16428
247.12/248.02 c #Conflicts: 163000 | #Constraints: 17428
247.12/248.02 c INPROCESSING
247.12/248.02 c GARBAGE COLLECT
247.12/248.02 c #Conflicts: 164000 | #Constraints: 10422
247.12/248.02 c #Conflicts: 165000 | #Constraints: 11422
247.12/248.02 c #Conflicts: 166000 | #Constraints: 12422
247.12/248.02 c #Conflicts: 167000 | #Constraints: 13422
247.12/248.02 c #Conflicts: 168000 | #Constraints: 14422
247.12/248.02 c #Conflicts: 169000 | #Constraints: 15422
247.12/248.02 c #Conflicts: 170000 | #Constraints: 16422
247.12/248.02 c #Conflicts: 171000 | #Constraints: 17422
247.12/248.02 c INPROCESSING
247.12/248.02 c GARBAGE COLLECT
247.12/248.02 c #Conflicts: 172000 | #Constraints: 10226
247.12/248.02 c #Conflicts: 173000 | #Constraints: 11226
247.12/248.02 c #Conflicts: 174000 | #Constraints: 12226
247.12/248.02 c #Conflicts: 175000 | #Constraints: 13226
247.12/248.02 c #Conflicts: 176000 | #Constraints: 14226
247.12/248.02 c #Conflicts: 177000 | #Constraints: 15226
247.12/248.02 c #Conflicts: 178000 | #Constraints: 16226
247.12/248.02 c #Conflicts: 179000 | #Constraints: 17226
247.12/248.02 c #Conflicts: 180000 | #Constraints: 18226
247.12/248.02 c INPROCESSING
247.12/248.02 c GARBAGE COLLECT
247.12/248.02 c #Conflicts: 181000 | #Constraints: 10825
247.12/248.02 c #Conflicts: 182000 | #Constraints: 11825
247.12/248.02 c #Conflicts: 183000 | #Constraints: 12825
247.12/248.02 c #Conflicts: 184000 | #Constraints: 13825
247.12/248.02 c #Conflicts: 185000 | #Constraints: 14825
247.12/248.02 c #Conflicts: 186000 | #Constraints: 15825
247.12/248.02 c #Conflicts: 187000 | #Constraints: 16825
247.12/248.02 c #Conflicts: 188000 | #Constraints: 17825
247.12/248.02 c #Conflicts: 189000 | #Constraints: 18825
247.12/248.02 c INPROCESSING
247.12/248.02 c GARBAGE COLLECT
247.12/248.02 c #Conflicts: 190000 | #Constraints: 11223
247.12/248.02 c #Conflicts: 191000 | #Constraints: 12223
247.12/248.02 c #Conflicts: 192000 | #Constraints: 13223
247.12/248.02 c #Conflicts: 193000 | #Constraints: 14223
247.12/248.02 c #Conflicts: 194000 | #Constraints: 15223
247.12/248.02 c #Conflicts: 195000 | #Constraints: 16223
247.12/248.02 c #Conflicts: 196000 | #Constraints: 17223
247.12/248.02 c #Conflicts: 197000 | #Constraints: 18223
247.12/248.02 c #Conflicts: 198000 | #Constraints: 19223
247.12/248.02 c INPROCESSING
247.12/248.02 c GARBAGE COLLECT
247.12/248.02 c #Conflicts: 199000 | #Constraints: 11442
247.12/248.02 c #Conflicts: 200000 | #Constraints: 12442
247.12/248.02 c #Conflicts: 201000 | #Constraints: 13442
247.12/248.02 c #Conflicts: 202000 | #Constraints: 14442
247.12/248.02 c #Conflicts: 203000 | #Constraints: 15442
247.12/248.02 c #Conflicts: 204000 | #Constraints: 16442
247.12/248.02 c #Conflicts: 205000 | #Constraints: 17442
247.12/248.02 c #Conflicts: 206000 | #Constraints: 18442
247.12/248.02 c #Conflicts: 207000 | #Constraints: 19442
247.12/248.02 c INPROCESSING
247.12/248.02 c GARBAGE COLLECT
247.12/248.02 c #Conflicts: 208000 | #Constraints: 11434
247.12/248.02 c #Conflicts: 209000 | #Constraints: 12434
247.12/248.02 c #Conflicts: 210000 | #Constraints: 13434
247.12/248.02 c #Conflicts: 211000 | #Constraints: 14434
247.12/248.02 c #Conflicts: 212000 | #Constraints: 15434
247.12/248.02 c GLOBAL bounds - >= 1665526546175 @ 239.123
247.12/248.03 c GLOBAL bounds - >= 1665526546175 @ 239.139
247.12/248.06 c GLOBAL bounds - >= 1665526546175 @ 239.149
247.12/248.06 c GLOBAL bounds - >= 1665526546175 @ 239.152
247.12/248.08 c GLOBAL bounds - >= 1665526546175 @ 239.166
247.12/248.09 c GLOBAL bounds - >= 1665526546175 @ 239.167
247.22/248.11 c GLOBAL bounds - >= 1665526546175 @ 239.18
247.22/248.11 c GLOBAL bounds - >= 1665526546175 @ 239.182
247.22/248.14 c GLOBAL bounds - >= 1665526546175 @ 239.193
247.22/248.14 c GLOBAL bounds - >= 1665526546175 @ 239.195
247.22/248.16 c GLOBAL bounds - >= 1665526546175 @ 239.206
247.22/248.17 c GLOBAL bounds - >= 1665526546175 @ 239.207
247.22/248.19 c GLOBAL bounds - >= 1665526546175 @ 239.22
247.22/248.19 c GLOBAL bounds - >= 1665526546175 @ 239.22
247.30/248.22 c GLOBAL bounds - >= 1665526546175 @ 239.229
247.30/248.22 c GLOBAL bounds - >= 1665526546175 @ 239.23
247.30/248.24 c GLOBAL bounds - >= 1665526546175 @ 239.242
247.30/248.25 c GLOBAL bounds - >= 1665526546175 @ 239.243
247.30/248.27 c GLOBAL bounds - >= 1665526546175 @ 239.254
247.30/248.27 c GLOBAL bounds - >= 1665526546175 @ 239.255
247.41/248.30 c GLOBAL bounds - >= 1665526546175 @ 239.27
286.86/287.96 c #Conflicts: 213000 | #Constraints: 16473
286.86/287.96 c #Conflicts: 214000 | #Constraints: 17473
286.86/287.96 c #Conflicts: 215000 | #Constraints: 18473
286.86/287.96 c #Conflicts: 216000 | #Constraints: 19473
286.86/287.96 c INPROCESSING
286.86/287.96 c GARBAGE COLLECT
286.86/287.96 c #Conflicts: 217000 | #Constraints: 11268
286.86/287.96 c #Conflicts: 218000 | #Constraints: 12268
286.86/287.96 c #Conflicts: 219000 | #Constraints: 13268
286.86/287.96 c #Conflicts: 220000 | #Constraints: 14268
286.86/287.96 c #Conflicts: 221000 | #Constraints: 15268
286.86/287.96 c #Conflicts: 222000 | #Constraints: 16268
286.86/287.96 c #Conflicts: 223000 | #Constraints: 17268
286.86/287.96 c #Conflicts: 224000 | #Constraints: 18268
286.86/287.96 c #Conflicts: 225000 | #Constraints: 19268
286.86/287.96 c #Conflicts: 226000 | #Constraints: 20268
286.86/287.96 c INPROCESSING
286.86/287.96 c GARBAGE COLLECT
286.86/287.96 c #Conflicts: 227000 | #Constraints: 11881
286.86/287.96 c #Conflicts: 228000 | #Constraints: 12881
286.86/287.96 c #Conflicts: 229000 | #Constraints: 13881
286.86/287.96 c #Conflicts: 230000 | #Constraints: 14881
286.86/287.96 c #Conflicts: 231000 | #Constraints: 15881
286.86/287.96 c #Conflicts: 232000 | #Constraints: 16881
286.86/287.96 c #Conflicts: 233000 | #Constraints: 17881
286.86/287.96 c #Conflicts: 234000 | #Constraints: 18881
286.86/287.96 c #Conflicts: 235000 | #Constraints: 19881
286.86/287.96 c #Conflicts: 236000 | #Constraints: 20881
286.86/287.96 c INPROCESSING
286.86/287.96 c GARBAGE COLLECT
286.86/287.96 c #Conflicts: 237000 | #Constraints: 12270
286.86/287.96 c #Conflicts: 238000 | #Constraints: 13270
286.86/287.96 c #Conflicts: 239000 | #Constraints: 14270
286.86/287.96 c #Conflicts: 240000 | #Constraints: 15270
286.86/287.96 c #Conflicts: 241000 | #Constraints: 16270
286.86/287.96 c GLOBAL bounds - >= 1665711016425 @ 278.021
286.86/287.98 c GLOBAL bounds - >= 1665711016425 @ 278.035
286.86/288.00 c GLOBAL bounds - >= 1665711016425 @ 278.047
286.86/288.00 c GLOBAL bounds - >= 1665711016425 @ 278.047
286.97/288.03 c GLOBAL bounds - >= 1665711016425 @ 278.057
286.97/288.03 c GLOBAL bounds - >= 1665711016425 @ 278.058
286.97/288.06 c GLOBAL bounds - >= 1665711016425 @ 278.071
286.97/288.06 c GLOBAL bounds - >= 1665711016425 @ 278.072
286.97/288.08 c GLOBAL bounds - >= 1665711016425 @ 278.081
286.97/288.08 c GLOBAL bounds - >= 1665711016425 @ 278.082
286.97/288.11 c GLOBAL bounds - >= 1665711016425 @ 278.091
287.06/288.11 c GLOBAL bounds - >= 1665711016425 @ 278.092
287.06/288.13 c GLOBAL bounds - >= 1665711016425 @ 278.103
287.06/288.14 c GLOBAL bounds - >= 1665711016425 @ 278.104
287.06/288.16 c GLOBAL bounds - >= 1665711016425 @ 278.116
287.06/288.16 c GLOBAL bounds - >= 1665711016425 @ 278.117
287.06/288.19 c GLOBAL bounds - >= 1665711016425 @ 278.129
287.06/288.19 c GLOBAL bounds - >= 1665711016425 @ 278.13
287.15/288.21 c GLOBAL bounds - >= 1665711016425 @ 278.141
287.15/288.22 c GLOBAL bounds - >= 1665711016425 @ 278.142
287.15/288.24 c GLOBAL bounds - >= 1665711016425 @ 278.153
384.24/385.65 c #Conflicts: 242000 | #Constraints: 17309
384.24/385.65 c #Conflicts: 243000 | #Constraints: 18309
384.24/385.65 c #Conflicts: 244000 | #Constraints: 19309
384.24/385.65 c #Conflicts: 245000 | #Constraints: 20309
384.24/385.65 c #Conflicts: 246000 | #Constraints: 21309
384.24/385.65 c INPROCESSING
384.24/385.65 c GARBAGE COLLECT
384.24/385.65 c #Conflicts: 247000 | #Constraints: 12493
384.24/385.65 c #Conflicts: 248000 | #Constraints: 13493
384.24/385.65 c #Conflicts: 249000 | #Constraints: 14493
384.24/385.65 c #Conflicts: 250000 | #Constraints: 15493
384.24/385.65 c #Conflicts: 251000 | #Constraints: 16493
384.24/385.65 c #Conflicts: 252000 | #Constraints: 17493
384.24/385.65 c #Conflicts: 253000 | #Constraints: 18493
384.24/385.65 c #Conflicts: 254000 | #Constraints: 19493
384.24/385.65 c #Conflicts: 255000 | #Constraints: 20493
384.24/385.65 c #Conflicts: 256000 | #Constraints: 21493
384.24/385.65 c INPROCESSING
384.24/385.65 c GARBAGE COLLECT
384.24/385.65 c #Conflicts: 257000 | #Constraints: 12494
384.24/385.65 c #Conflicts: 258000 | #Constraints: 13494
384.24/385.65 c #Conflicts: 259000 | #Constraints: 14494
384.24/385.65 c #Conflicts: 260000 | #Constraints: 15494
384.24/385.65 c #Conflicts: 261000 | #Constraints: 16494
384.24/385.65 c #Conflicts: 262000 | #Constraints: 17494
384.24/385.65 c #Conflicts: 263000 | #Constraints: 18494
384.24/385.65 c #Conflicts: 264000 | #Constraints: 19494
384.24/385.65 c #Conflicts: 265000 | #Constraints: 20494
384.24/385.65 c #Conflicts: 266000 | #Constraints: 21494
384.24/385.65 c INPROCESSING
384.24/385.65 c GARBAGE COLLECT
384.24/385.65 c #Conflicts: 267000 | #Constraints: 12290
384.24/385.65 c #Conflicts: 268000 | #Constraints: 13290
384.24/385.65 c #Conflicts: 269000 | #Constraints: 14290
384.24/385.65 c #Conflicts: 270000 | #Constraints: 15290
384.24/385.65 c #Conflicts: 271000 | #Constraints: 16290
384.24/385.65 c #Conflicts: 272000 | #Constraints: 17290
384.24/385.65 c #Conflicts: 273000 | #Constraints: 18290
384.24/385.65 c #Conflicts: 274000 | #Constraints: 19290
384.24/385.65 c #Conflicts: 275000 | #Constraints: 20290
384.24/385.65 c #Conflicts: 276000 | #Constraints: 21290
384.24/385.65 c #Conflicts: 277000 | #Constraints: 22290
384.24/385.65 c INPROCESSING
384.24/385.65 c GARBAGE COLLECT
384.24/385.65 c #Conflicts: 278000 | #Constraints: 12890
384.24/385.65 c #Conflicts: 279000 | #Constraints: 13890
384.24/385.65 c #Conflicts: 280000 | #Constraints: 14890
384.24/385.65 c #Conflicts: 281000 | #Constraints: 15890
384.24/385.65 c #Conflicts: 282000 | #Constraints: 16890
384.24/385.65 c #Conflicts: 283000 | #Constraints: 17890
384.24/385.65 c #Conflicts: 284000 | #Constraints: 18890
384.24/385.65 c #Conflicts: 285000 | #Constraints: 19890
384.24/385.65 c #Conflicts: 286000 | #Constraints: 20890
384.24/385.65 c #Conflicts: 287000 | #Constraints: 21890
384.24/385.65 c #Conflicts: 288000 | #Constraints: 22890
384.24/385.65 c INPROCESSING
384.24/385.65 c GARBAGE COLLECT
384.24/385.65 c #Conflicts: 289000 | #Constraints: 13292
384.24/385.65 c #Conflicts: 290000 | #Constraints: 14292
384.24/385.65 c #Conflicts: 291000 | #Constraints: 15292
384.24/385.65 c #Conflicts: 292000 | #Constraints: 16292
384.24/385.65 c #Conflicts: 293000 | #Constraints: 17292
384.24/385.65 c #Conflicts: 294000 | #Constraints: 18292
384.24/385.65 c #Conflicts: 295000 | #Constraints: 19292
384.24/385.65 c #Conflicts: 296000 | #Constraints: 20292
384.24/385.65 c #Conflicts: 297000 | #Constraints: 21292
384.24/385.65 c #Conflicts: 298000 | #Constraints: 22292
384.24/385.65 c #Conflicts: 299000 | #Constraints: 23292
384.24/385.65 c INPROCESSING
384.24/385.65 c GARBAGE COLLECT
384.24/385.65 c #Conflicts: 300000 | #Constraints: 13491
384.24/385.65 c #Conflicts: 301000 | #Constraints: 14491
384.24/385.65 c #Conflicts: 302000 | #Constraints: 15491
384.24/385.65 c #Conflicts: 303000 | #Constraints: 16491
384.24/385.65 c #Conflicts: 304000 | #Constraints: 17491
384.24/385.65 c #Conflicts: 305000 | #Constraints: 18491
384.24/385.65 c #Conflicts: 306000 | #Constraints: 19491
384.24/385.65 c #Conflicts: 307000 | #Constraints: 20491
384.24/385.65 c #Conflicts: 308000 | #Constraints: 21491
384.24/385.65 c #Conflicts: 309000 | #Constraints: 22491
384.24/385.65 c #Conflicts: 310000 | #Constraints: 23491
384.24/385.65 c INPROCESSING
384.24/385.65 c GARBAGE COLLECT
384.24/385.65 c #Conflicts: 311000 | #Constraints: 13489
384.24/385.65 c #Conflicts: 312000 | #Constraints: 14489
384.24/385.65 c #Conflicts: 313000 | #Constraints: 15489
384.24/385.65 c #Conflicts: 314000 | #Constraints: 16489
384.24/385.65 c #Conflicts: 315000 | #Constraints: 17489
384.24/385.65 c #Conflicts: 316000 | #Constraints: 18489
407.75/409.29 c #Conflicts: 317000 | #Constraints: 19489
407.75/409.29 c #Conflicts: 318000 | #Constraints: 20489
407.75/409.29 c #Conflicts: 319000 | #Constraints: 21489
407.75/409.29 c #Conflicts: 320000 | #Constraints: 22489
407.75/409.29 c #Conflicts: 321000 | #Constraints: 23489
407.75/409.29 c INPROCESSING
407.75/409.29 c GARBAGE COLLECT
407.75/409.29 c #Conflicts: 322000 | #Constraints: 13290
407.75/409.29 c #Conflicts: 323000 | #Constraints: 14290
407.75/409.29 c #Conflicts: 324000 | #Constraints: 15290
407.75/409.29 c #Conflicts: 325000 | #Constraints: 16290
407.75/409.29 c #Conflicts: 326000 | #Constraints: 17290
407.75/409.29 c #Conflicts: 327000 | #Constraints: 18290
407.75/409.29 c #Conflicts: 328000 | #Constraints: 19290
407.75/409.29 c #Conflicts: 329000 | #Constraints: 20290
407.75/409.29 c #Conflicts: 330000 | #Constraints: 21290
407.75/409.29 c GLOBAL bounds - >= 1665895486675 @ 396.595
407.85/409.31 c GLOBAL bounds - >= 1665895486675 @ 396.612
407.85/409.33 c GLOBAL bounds - >= 1665895486675 @ 396.624
407.85/409.34 c GLOBAL bounds - >= 1665895486675 @ 396.626
407.85/409.36 c GLOBAL bounds - >= 1665895486675 @ 396.643
407.85/409.37 c GLOBAL bounds - >= 1665895486675 @ 396.645
407.85/409.39 c GLOBAL bounds - >= 1665895486675 @ 396.655
407.85/409.40 c GLOBAL bounds - >= 1665895486675 @ 396.658
407.96/409.42 c GLOBAL bounds - >= 1665895486675 @ 396.674
407.96/409.43 c GLOBAL bounds - >= 1665895486675 @ 396.676
407.96/409.45 c GLOBAL bounds - >= 1665895486675 @ 396.695
407.96/409.46 c GLOBAL bounds - >= 1665895486675 @ 396.697
407.96/409.48 c GLOBAL bounds - >= 1665895486675 @ 396.712
407.96/409.48 c GLOBAL bounds - >= 1665895486675 @ 396.713
408.05/409.51 c GLOBAL bounds - >= 1665895486675 @ 396.726
408.05/409.51 c GLOBAL bounds - >= 1665895486675 @ 396.729
408.05/409.54 c GLOBAL bounds - >= 1665895486675 @ 396.744
408.05/409.54 c GLOBAL bounds - >= 1665895486675 @ 396.744
408.05/409.57 c GLOBAL bounds - >= 1665895486675 @ 396.757
408.05/409.57 c GLOBAL bounds - >= 1665895486675 @ 396.759
408.15/409.60 c GLOBAL bounds - >= 1665895486675 @ 396.773
498.67/500.47 c #Conflicts: 331000 | #Constraints: 22329
498.67/500.47 c #Conflicts: 332000 | #Constraints: 23329
498.67/500.47 c #Conflicts: 333000 | #Constraints: 24329
498.67/500.47 c INPROCESSING
498.67/500.47 c GARBAGE COLLECT
498.67/500.47 c #Conflicts: 334000 | #Constraints: 13937
498.67/500.47 c #Conflicts: 335000 | #Constraints: 14937
498.67/500.47 c #Conflicts: 336000 | #Constraints: 15937
498.67/500.47 c #Conflicts: 337000 | #Constraints: 16937
498.67/500.47 c #Conflicts: 338000 | #Constraints: 17937
498.67/500.47 c #Conflicts: 339000 | #Constraints: 18937
498.67/500.47 c #Conflicts: 340000 | #Constraints: 19937
498.67/500.47 c #Conflicts: 341000 | #Constraints: 20937
498.67/500.47 c #Conflicts: 342000 | #Constraints: 21937
498.67/500.47 c #Conflicts: 343000 | #Constraints: 22937
498.67/500.47 c #Conflicts: 344000 | #Constraints: 23937
498.67/500.47 c #Conflicts: 345000 | #Constraints: 24937
498.67/500.47 c INPROCESSING
498.67/500.47 c GARBAGE COLLECT
498.67/500.47 c #Conflicts: 346000 | #Constraints: 14325
498.67/500.47 c #Conflicts: 347000 | #Constraints: 15325
498.67/500.47 c #Conflicts: 348000 | #Constraints: 16325
498.67/500.47 c #Conflicts: 349000 | #Constraints: 17325
498.67/500.47 c #Conflicts: 350000 | #Constraints: 18325
498.67/500.47 c #Conflicts: 351000 | #Constraints: 19325
498.67/500.47 c #Conflicts: 352000 | #Constraints: 20325
498.67/500.47 c #Conflicts: 353000 | #Constraints: 21325
498.67/500.47 c #Conflicts: 354000 | #Constraints: 22325
498.67/500.47 c #Conflicts: 355000 | #Constraints: 23325
498.67/500.47 c #Conflicts: 356000 | #Constraints: 24325
498.67/500.47 c #Conflicts: 357000 | #Constraints: 25325
498.67/500.47 c INPROCESSING
498.67/500.47 c GARBAGE COLLECT
498.67/500.47 c #Conflicts: 358000 | #Constraints: 14521
498.67/500.47 c #Conflicts: 359000 | #Constraints: 15521
498.67/500.47 c #Conflicts: 360000 | #Constraints: 16521
498.67/500.47 c #Conflicts: 361000 | #Constraints: 17521
498.67/500.47 c #Conflicts: 362000 | #Constraints: 18521
498.67/500.47 c #Conflicts: 363000 | #Constraints: 19521
498.67/500.47 c #Conflicts: 364000 | #Constraints: 20521
498.67/500.47 c #Conflicts: 365000 | #Constraints: 21521
498.67/500.47 c #Conflicts: 366000 | #Constraints: 22521
498.67/500.47 c #Conflicts: 367000 | #Constraints: 23521
498.67/500.47 c #Conflicts: 368000 | #Constraints: 24521
498.67/500.47 c #Conflicts: 369000 | #Constraints: 25521
498.67/500.47 c INPROCESSING
498.67/500.47 c GARBAGE COLLECT
498.67/500.47 c #Conflicts: 370000 | #Constraints: 14518
498.67/500.47 c #Conflicts: 371000 | #Constraints: 15518
498.67/500.47 c #Conflicts: 372000 | #Constraints: 16518
498.67/500.47 c #Conflicts: 373000 | #Constraints: 17518
498.67/500.47 c #Conflicts: 374000 | #Constraints: 18518
498.67/500.47 c #Conflicts: 375000 | #Constraints: 19518
498.67/500.47 c #Conflicts: 376000 | #Constraints: 20518
498.67/500.47 c #Conflicts: 377000 | #Constraints: 21518
498.67/500.47 c #Conflicts: 378000 | #Constraints: 22518
498.67/500.47 c #Conflicts: 379000 | #Constraints: 23518
498.67/500.47 c #Conflicts: 380000 | #Constraints: 24518
498.67/500.47 c GLOBAL bounds - >= 1666079956925 @ 485.714
498.67/500.49 c GLOBAL bounds - >= 1666079956925 @ 485.732
498.77/500.52 c GLOBAL bounds - >= 1666079956925 @ 485.746
498.77/500.52 c GLOBAL bounds - >= 1666079956925 @ 485.749
498.77/500.55 c GLOBAL bounds - >= 1666079956925 @ 485.761
498.77/500.55 c GLOBAL bounds - >= 1666079956925 @ 485.763
498.77/500.58 c GLOBAL bounds - >= 1666079956925 @ 485.774
498.77/500.58 c GLOBAL bounds - >= 1666079956925 @ 485.776
498.87/500.61 c GLOBAL bounds - >= 1666079956925 @ 485.791
498.87/500.61 c GLOBAL bounds - >= 1666079956925 @ 485.793
498.87/500.64 c GLOBAL bounds - >= 1666079956925 @ 485.81
498.87/500.64 c GLOBAL bounds - >= 1666079956925 @ 485.812
498.87/500.66 c GLOBAL bounds - >= 1666079956925 @ 485.827
498.87/500.67 c GLOBAL bounds - >= 1666079956925 @ 485.829
498.87/500.69 c GLOBAL bounds - >= 1666079956925 @ 485.846
498.97/500.70 c GLOBAL bounds - >= 1666079956925 @ 485.847
498.97/500.72 c GLOBAL bounds - >= 1666079956925 @ 485.861
498.97/500.73 c GLOBAL bounds - >= 1666079956925 @ 485.863
498.97/500.75 c GLOBAL bounds - >= 1666079956925 @ 485.878
498.97/500.76 c GLOBAL bounds - >= 1666079956925 @ 485.879
498.97/500.78 c GLOBAL bounds - >= 1666079956925 @ 485.891
572.74/574.77 c #Conflicts: 381000 | #Constraints: 25557
572.74/574.77 c INPROCESSING
572.74/574.77 c GARBAGE COLLECT
572.74/574.77 c #Conflicts: 382000 | #Constraints: 14351
572.74/574.77 c #Conflicts: 383000 | #Constraints: 15351
572.74/574.77 c #Conflicts: 384000 | #Constraints: 16351
572.74/574.77 c #Conflicts: 385000 | #Constraints: 17351
572.74/574.77 c #Conflicts: 386000 | #Constraints: 18351
572.74/574.77 c #Conflicts: 387000 | #Constraints: 19351
572.74/574.77 c #Conflicts: 388000 | #Constraints: 20351
572.74/574.77 c #Conflicts: 389000 | #Constraints: 21351
572.74/574.77 c #Conflicts: 390000 | #Constraints: 22351
572.74/574.77 c #Conflicts: 391000 | #Constraints: 23351
572.74/574.77 c #Conflicts: 392000 | #Constraints: 24351
572.74/574.77 c #Conflicts: 393000 | #Constraints: 25351
572.74/574.77 c #Conflicts: 394000 | #Constraints: 26351
572.74/574.77 c INPROCESSING
572.74/574.77 c GARBAGE COLLECT
572.74/574.77 c #Conflicts: 395000 | #Constraints: 14947
572.74/574.77 c #Conflicts: 396000 | #Constraints: 15947
572.74/574.77 c #Conflicts: 397000 | #Constraints: 16947
572.74/574.77 c #Conflicts: 398000 | #Constraints: 17947
572.74/574.77 c #Conflicts: 399000 | #Constraints: 18947
572.74/574.77 c #Conflicts: 400000 | #Constraints: 19947
572.74/574.77 c #Conflicts: 401000 | #Constraints: 20947
572.74/574.77 c #Conflicts: 402000 | #Constraints: 21947
572.74/574.77 c #Conflicts: 403000 | #Constraints: 22947
572.74/574.77 c #Conflicts: 404000 | #Constraints: 23947
572.74/574.77 c #Conflicts: 405000 | #Constraints: 24947
572.74/574.77 c #Conflicts: 406000 | #Constraints: 25947
572.74/574.77 c #Conflicts: 407000 | #Constraints: 26947
572.74/574.77 c INPROCESSING
572.74/574.77 c GARBAGE COLLECT
572.74/574.77 c #Conflicts: 408000 | #Constraints: 15346
572.74/574.77 c #Conflicts: 409000 | #Constraints: 16346
572.74/574.77 c #Conflicts: 410000 | #Constraints: 17346
572.74/574.77 c #Conflicts: 411000 | #Constraints: 18346
572.74/574.77 c #Conflicts: 412000 | #Constraints: 19346
572.74/574.77 c #Conflicts: 413000 | #Constraints: 20346
572.74/574.77 c #Conflicts: 414000 | #Constraints: 21346
572.74/574.77 c #Conflicts: 415000 | #Constraints: 22346
572.74/574.77 c #Conflicts: 416000 | #Constraints: 23346
572.74/574.77 c #Conflicts: 417000 | #Constraints: 24346
572.74/574.77 c #Conflicts: 418000 | #Constraints: 25346
572.74/574.77 c #Conflicts: 419000 | #Constraints: 26346
572.74/574.77 c #Conflicts: 420000 | #Constraints: 27346
572.74/574.77 c INPROCESSING
572.74/574.77 c GARBAGE COLLECT
572.74/574.77 c #Conflicts: 421000 | #Constraints: 15557
572.74/574.77 c #Conflicts: 422000 | #Constraints: 16557
572.74/574.77 c #Conflicts: 423000 | #Constraints: 17557
572.74/574.77 c #Conflicts: 424000 | #Constraints: 18557
572.74/574.77 c GLOBAL bounds - >= 1666264427175 @ 558.313
572.74/574.79 c GLOBAL bounds - >= 1666264427175 @ 558.327
572.84/574.81 c GLOBAL bounds - >= 1666264427175 @ 558.344
572.84/574.81 c GLOBAL bounds - >= 1666264427175 @ 558.345
572.84/574.84 c GLOBAL bounds - >= 1666264427175 @ 558.359
572.84/574.84 c GLOBAL bounds - >= 1666264427175 @ 558.36
572.84/574.87 c GLOBAL bounds - >= 1666264427175 @ 558.369
572.84/574.87 c GLOBAL bounds - >= 1666264427175 @ 558.371
572.84/574.89 c GLOBAL bounds - >= 1666264427175 @ 558.385
572.94/574.90 c GLOBAL bounds - >= 1666264427175 @ 558.387
572.94/574.92 c GLOBAL bounds - >= 1666264427175 @ 558.399
572.94/574.92 c GLOBAL bounds - >= 1666264427175 @ 558.4
572.94/574.95 c GLOBAL bounds - >= 1666264427175 @ 558.412
572.94/574.95 c GLOBAL bounds - >= 1666264427175 @ 558.413
572.94/574.98 c GLOBAL bounds - >= 1666264427175 @ 558.425
572.94/574.98 c GLOBAL bounds - >= 1666264427175 @ 558.427
572.94/575.00 c GLOBAL bounds - >= 1666264427175 @ 558.441
572.94/575.01 c GLOBAL bounds - >= 1666264427175 @ 558.442
573.05/575.03 c GLOBAL bounds - >= 1666264427175 @ 558.455
573.05/575.03 c GLOBAL bounds - >= 1666264427175 @ 558.458
573.05/575.06 c GLOBAL bounds - >= 1666264427175 @ 558.472
624.58/626.76 c #Conflicts: 425000 | #Constraints: 19596
624.58/626.76 c #Conflicts: 426000 | #Constraints: 20596
624.58/626.76 c #Conflicts: 427000 | #Constraints: 21596
624.58/626.76 c #Conflicts: 428000 | #Constraints: 22596
624.58/626.76 c #Conflicts: 429000 | #Constraints: 23596
624.58/626.76 c #Conflicts: 430000 | #Constraints: 24596
624.58/626.76 c #Conflicts: 431000 | #Constraints: 25596
624.58/626.76 c #Conflicts: 432000 | #Constraints: 26596
624.58/626.76 c #Conflicts: 433000 | #Constraints: 27596
624.58/626.76 c INPROCESSING
624.58/626.76 c GARBAGE COLLECT
624.58/626.76 c #Conflicts: 434000 | #Constraints: 15588
624.58/626.76 c #Conflicts: 435000 | #Constraints: 16588
624.58/626.76 c #Conflicts: 436000 | #Constraints: 17588
624.58/626.76 c #Conflicts: 437000 | #Constraints: 18588
624.58/626.76 c #Conflicts: 438000 | #Constraints: 19588
624.58/626.76 c #Conflicts: 439000 | #Constraints: 20588
624.58/626.76 c #Conflicts: 440000 | #Constraints: 21588
624.58/626.76 c #Conflicts: 441000 | #Constraints: 22588
624.58/626.76 c #Conflicts: 442000 | #Constraints: 23588
624.58/626.76 c #Conflicts: 443000 | #Constraints: 24588
624.58/626.76 c #Conflicts: 444000 | #Constraints: 25588
624.58/626.76 c #Conflicts: 445000 | #Constraints: 26588
624.58/626.76 c #Conflicts: 446000 | #Constraints: 27588
624.58/626.76 c INPROCESSING
624.58/626.76 c GARBAGE COLLECT
624.58/626.76 c #Conflicts: 447000 | #Constraints: 15377
624.58/626.76 c #Conflicts: 448000 | #Constraints: 16377
624.58/626.76 c #Conflicts: 449000 | #Constraints: 17377
624.58/626.76 c #Conflicts: 450000 | #Constraints: 18377
624.58/626.76 c #Conflicts: 451000 | #Constraints: 19377
624.58/626.76 c #Conflicts: 452000 | #Constraints: 20377
624.58/626.76 c #Conflicts: 453000 | #Constraints: 21377
624.58/626.76 c #Conflicts: 454000 | #Constraints: 22377
624.58/626.76 c #Conflicts: 455000 | #Constraints: 23377
624.58/626.76 c GLOBAL bounds - >= 1666448897425 @ 609.113
624.58/626.78 c GLOBAL bounds - >= 1666448897425 @ 609.129
624.68/626.80 c GLOBAL bounds - >= 1666448897425 @ 609.145
624.68/626.81 c GLOBAL bounds - >= 1666448897425 @ 609.147
624.68/626.83 c GLOBAL bounds - >= 1666448897425 @ 609.161
624.68/626.83 c GLOBAL bounds - >= 1666448897425 @ 609.161
624.68/626.86 c GLOBAL bounds - >= 1666448897425 @ 609.174
624.68/626.86 c GLOBAL bounds - >= 1666448897425 @ 609.176
624.68/626.89 c GLOBAL bounds - >= 1666448897425 @ 609.187
624.68/626.89 c GLOBAL bounds - >= 1666448897425 @ 609.187
624.78/626.92 c GLOBAL bounds - >= 1666448897425 @ 609.198
624.78/626.92 c GLOBAL bounds - >= 1666448897425 @ 609.2
624.78/626.95 c GLOBAL bounds - >= 1666448897425 @ 609.217
624.78/626.95 c GLOBAL bounds - >= 1666448897425 @ 609.219
624.78/626.97 c GLOBAL bounds - >= 1666448897425 @ 609.235
624.78/626.98 c GLOBAL bounds - >= 1666448897425 @ 609.237
624.78/627.00 c GLOBAL bounds - >= 1666448897425 @ 609.25
624.78/627.01 c GLOBAL bounds - >= 1666448897425 @ 609.251
624.88/627.03 c GLOBAL bounds - >= 1666448897425 @ 609.265
624.88/627.03 c GLOBAL bounds - >= 1666448897425 @ 609.266
624.88/627.06 c GLOBAL bounds - >= 1666448897425 @ 609.277
708.71/711.17 c #Conflicts: 456000 | #Constraints: 24416
708.71/711.17 c #Conflicts: 457000 | #Constraints: 25416
708.71/711.17 c #Conflicts: 458000 | #Constraints: 26416
708.71/711.17 c #Conflicts: 459000 | #Constraints: 27416
708.71/711.17 c #Conflicts: 460000 | #Constraints: 28416
708.71/711.17 c INPROCESSING
708.71/711.17 c GARBAGE COLLECT
708.71/711.17 c #Conflicts: 461000 | #Constraints: 16015
708.71/711.17 c #Conflicts: 462000 | #Constraints: 17015
708.71/711.17 c #Conflicts: 463000 | #Constraints: 18015
708.71/711.17 c #Conflicts: 464000 | #Constraints: 19015
708.71/711.17 c #Conflicts: 465000 | #Constraints: 20015
708.71/711.17 c #Conflicts: 466000 | #Constraints: 21015
708.71/711.17 c #Conflicts: 467000 | #Constraints: 22015
708.71/711.17 c #Conflicts: 468000 | #Constraints: 23015
708.71/711.17 c #Conflicts: 469000 | #Constraints: 24015
708.71/711.17 c #Conflicts: 470000 | #Constraints: 25015
708.71/711.17 c #Conflicts: 471000 | #Constraints: 26015
708.71/711.17 c #Conflicts: 472000 | #Constraints: 27015
708.71/711.17 c #Conflicts: 473000 | #Constraints: 28015
708.71/711.17 c #Conflicts: 474000 | #Constraints: 29015
708.71/711.17 c INPROCESSING
708.71/711.17 c GARBAGE COLLECT
708.71/711.17 c #Conflicts: 475000 | #Constraints: 16423
708.71/711.17 c #Conflicts: 476000 | #Constraints: 17423
708.71/711.17 c #Conflicts: 477000 | #Constraints: 18423
708.71/711.17 c #Conflicts: 478000 | #Constraints: 19423
708.71/711.17 c #Conflicts: 479000 | #Constraints: 20423
708.71/711.17 c #Conflicts: 480000 | #Constraints: 21423
708.71/711.17 c #Conflicts: 481000 | #Constraints: 22423
708.71/711.17 c #Conflicts: 482000 | #Constraints: 23423
708.71/711.17 c #Conflicts: 483000 | #Constraints: 24423
708.71/711.17 c #Conflicts: 484000 | #Constraints: 25423
708.71/711.17 c #Conflicts: 485000 | #Constraints: 26423
708.71/711.17 c #Conflicts: 486000 | #Constraints: 27423
708.71/711.17 c #Conflicts: 487000 | #Constraints: 28423
708.71/711.17 c #Conflicts: 488000 | #Constraints: 29423
708.71/711.17 c INPROCESSING
708.71/711.17 c GARBAGE COLLECT
708.71/711.17 c #Conflicts: 489000 | #Constraints: 16615
708.71/711.17 c #Conflicts: 490000 | #Constraints: 17615
708.71/711.17 c #Conflicts: 491000 | #Constraints: 18615
708.71/711.17 c #Conflicts: 492000 | #Constraints: 19615
708.71/711.17 c #Conflicts: 493000 | #Constraints: 20615
708.71/711.17 c #Conflicts: 494000 | #Constraints: 21615
708.71/711.17 c #Conflicts: 495000 | #Constraints: 22615
708.71/711.17 c #Conflicts: 496000 | #Constraints: 23615
708.71/711.17 c #Conflicts: 497000 | #Constraints: 24615
708.71/711.17 c #Conflicts: 498000 | #Constraints: 25615
708.71/711.17 c #Conflicts: 499000 | #Constraints: 26615
708.71/711.17 c GLOBAL bounds - >= 1666633367675 @ 691.496
708.71/711.18 c GLOBAL bounds - >= 1666633367675 @ 691.514
708.79/711.21 c GLOBAL bounds - >= 1666633367675 @ 691.529
708.79/711.22 c GLOBAL bounds - >= 1666633367675 @ 691.531
708.79/711.24 c GLOBAL bounds - >= 1666633367675 @ 691.548
708.79/711.25 c GLOBAL bounds - >= 1666633367675 @ 691.55
708.79/711.27 c GLOBAL bounds - >= 1666633367675 @ 691.566
708.79/711.28 c GLOBAL bounds - >= 1666633367675 @ 691.569
708.89/711.31 c GLOBAL bounds - >= 1666633367675 @ 691.583
708.89/711.31 c GLOBAL bounds - >= 1666633367675 @ 691.584
708.89/711.34 c GLOBAL bounds - >= 1666633367675 @ 691.598
708.89/711.34 c GLOBAL bounds - >= 1666633367675 @ 691.602
708.89/711.37 c GLOBAL bounds - >= 1666633367675 @ 691.616
708.89/711.37 c GLOBAL bounds - >= 1666633367675 @ 691.618
708.99/711.40 c GLOBAL bounds - >= 1666633367675 @ 691.636
708.99/711.41 c GLOBAL bounds - >= 1666633367675 @ 691.639
708.99/711.44 c GLOBAL bounds - >= 1666633367675 @ 691.655
708.99/711.44 c GLOBAL bounds - >= 1666633367675 @ 691.656
708.99/711.47 c GLOBAL bounds - >= 1666633367675 @ 691.672
708.99/711.47 c GLOBAL bounds - >= 1666633367675 @ 691.675
709.09/711.50 c GLOBAL bounds - >= 1666633367675 @ 691.69
718.68/721.19 c #Conflicts: 500000 | #Constraints: 27645
718.68/721.19 c #Conflicts: 501000 | #Constraints: 28645
718.68/721.19 c #Conflicts: 502000 | #Constraints: 29645
718.68/721.19 c INPROCESSING
718.68/721.19 c GARBAGE COLLECT
718.68/721.19 c #Conflicts: 503000 | #Constraints: 16648
718.68/721.19 c #Conflicts: 504000 | #Constraints: 17648
718.68/721.19 c #Conflicts: 505000 | #Constraints: 18648
718.68/721.19 c #Conflicts: 506000 | #Constraints: 19648
718.68/721.19 c #Conflicts: 507000 | #Constraints: 20648
718.68/721.19 c #Conflicts: 508000 | #Constraints: 21648
718.68/721.19 c GLOBAL bounds - >= 1666633367675 @ 701.25
721.57/724.03 c #Conflicts: 509000 | #Constraints: 22648
721.57/724.03 c #Conflicts: 510000 | #Constraints: 23648
721.57/724.03 c #Conflicts: 511000 | #Constraints: 24648
721.57/724.03 c GLOBAL bounds - >= 1666633367675 @ 704.032
722.15/724.69 c #Conflicts: 512000 | #Constraints: 25651
722.15/724.69 c GLOBAL bounds - >= 1666633367675 @ 704.679
722.25/724.77 c GLOBAL bounds - >= 1666633367675 @ 704.748
722.56/725.02 c GLOBAL bounds - >= 1666633367675 @ 704.979
813.37/816.17 c #Conflicts: 513000 | #Constraints: 26657
813.37/816.17 c #Conflicts: 514000 | #Constraints: 27657
813.37/816.17 c #Conflicts: 515000 | #Constraints: 28657
813.37/816.17 c #Conflicts: 516000 | #Constraints: 29657
813.37/816.17 c INPROCESSING
813.37/816.17 c GARBAGE COLLECT
813.37/816.17 c #Conflicts: 517000 | #Constraints: 16450
813.37/816.17 c #Conflicts: 518000 | #Constraints: 17450
813.37/816.17 c #Conflicts: 519000 | #Constraints: 18450
813.37/816.17 c #Conflicts: 520000 | #Constraints: 19450
813.37/816.17 c #Conflicts: 521000 | #Constraints: 20450
813.37/816.17 c #Conflicts: 522000 | #Constraints: 21450
813.37/816.17 c #Conflicts: 523000 | #Constraints: 22450
813.37/816.17 c #Conflicts: 524000 | #Constraints: 23450
813.37/816.17 c #Conflicts: 525000 | #Constraints: 24450
813.37/816.17 c #Conflicts: 526000 | #Constraints: 25450
813.37/816.17 c #Conflicts: 527000 | #Constraints: 26450
813.37/816.17 c #Conflicts: 528000 | #Constraints: 27450
813.37/816.17 c #Conflicts: 529000 | #Constraints: 28450
813.37/816.17 c #Conflicts: 530000 | #Constraints: 29450
813.37/816.17 c #Conflicts: 531000 | #Constraints: 30450
813.37/816.17 c INPROCESSING
813.37/816.17 c GARBAGE COLLECT
813.37/816.17 c #Conflicts: 532000 | #Constraints: 17051
813.37/816.17 c #Conflicts: 533000 | #Constraints: 18051
813.37/816.17 c #Conflicts: 534000 | #Constraints: 19051
813.37/816.17 c #Conflicts: 535000 | #Constraints: 20051
813.37/816.17 c #Conflicts: 536000 | #Constraints: 21051
813.37/816.17 c #Conflicts: 537000 | #Constraints: 22051
813.37/816.17 c #Conflicts: 538000 | #Constraints: 23051
813.37/816.17 c #Conflicts: 539000 | #Constraints: 24051
813.37/816.17 c #Conflicts: 540000 | #Constraints: 25051
813.37/816.17 c #Conflicts: 541000 | #Constraints: 26051
813.37/816.17 c #Conflicts: 542000 | #Constraints: 27051
813.37/816.17 c #Conflicts: 543000 | #Constraints: 28051
813.37/816.17 c #Conflicts: 544000 | #Constraints: 29051
813.37/816.17 c #Conflicts: 545000 | #Constraints: 30051
813.37/816.17 c #Conflicts: 546000 | #Constraints: 31051
813.37/816.17 c INPROCESSING
813.37/816.17 c GARBAGE COLLECT
813.37/816.17 c #Conflicts: 547000 | #Constraints: 17451
813.37/816.17 c #Conflicts: 548000 | #Constraints: 18451
813.37/816.17 c #Conflicts: 549000 | #Constraints: 19451
813.37/816.17 c #Conflicts: 550000 | #Constraints: 20451
813.37/816.17 c #Conflicts: 551000 | #Constraints: 21451
813.37/816.17 c #Conflicts: 552000 | #Constraints: 22451
813.37/816.17 c #Conflicts: 553000 | #Constraints: 23451
813.37/816.17 c #Conflicts: 554000 | #Constraints: 24451
813.37/816.17 c #Conflicts: 555000 | #Constraints: 25451
813.37/816.17 c #Conflicts: 556000 | #Constraints: 26451
813.37/816.17 c #Conflicts: 557000 | #Constraints: 27451
813.37/816.17 c #Conflicts: 558000 | #Constraints: 28451
813.37/816.17 c #Conflicts: 559000 | #Constraints: 29451
813.37/816.17 c #Conflicts: 560000 | #Constraints: 30451
813.37/816.17 c #Conflicts: 561000 | #Constraints: 31451
813.37/816.17 c INPROCESSING
813.37/816.17 c GARBAGE COLLECT
813.37/816.17 c #Conflicts: 562000 | #Constraints: 17650
813.37/816.17 c #Conflicts: 563000 | #Constraints: 18650
813.37/816.17 c #Conflicts: 564000 | #Constraints: 19650
813.37/816.17 c #Conflicts: 565000 | #Constraints: 20650
813.37/816.17 c #Conflicts: 566000 | #Constraints: 21650
813.37/816.17 c #Conflicts: 567000 | #Constraints: 22650
813.37/816.17 c #Conflicts: 568000 | #Constraints: 23650
813.37/816.17 c #Conflicts: 569000 | #Constraints: 24650
813.37/816.17 c #Conflicts: 570000 | #Constraints: 25650
813.37/816.17 c #Conflicts: 571000 | #Constraints: 26650
813.37/816.17 c #Conflicts: 572000 | #Constraints: 27650
813.37/816.17 c #Conflicts: 573000 | #Constraints: 28650
813.37/816.17 c #Conflicts: 574000 | #Constraints: 29650
813.37/816.17 c #Conflicts: 575000 | #Constraints: 30650
813.37/816.17 c #Conflicts: 576000 | #Constraints: 31650
813.37/816.17 c INPROCESSING
813.37/816.17 c GARBAGE COLLECT
813.37/816.17 c #Conflicts: 577000 | #Constraints: 17646
813.37/816.17 c #Conflicts: 578000 | #Constraints: 18646
813.37/816.17 c #Conflicts: 579000 | #Constraints: 19646
813.37/816.17 c #Conflicts: 580000 | #Constraints: 20646
813.37/816.17 c #Conflicts: 581000 | #Constraints: 21646
813.37/816.17 c #Conflicts: 582000 | #Constraints: 22646
813.37/816.17 c #Conflicts: 583000 | #Constraints: 23646
813.37/816.17 c #Conflicts: 584000 | #Constraints: 24646
813.37/816.17 c #Conflicts: 585000 | #Constraints: 25646
813.37/816.17 c #Conflicts: 586000 | #Constraints: 26646
813.37/816.17 c #Conflicts: 587000 | #Constraints: 27646
813.37/816.17 c #Conflicts: 588000 | #Constraints: 28646
900.59/903.67 c #Conflicts: 589000 | #Constraints: 29646
900.59/903.67 c #Conflicts: 590000 | #Constraints: 30646
900.59/903.67 c #Conflicts: 591000 | #Constraints: 31646
900.59/903.67 c INPROCESSING
900.59/903.67 c GARBAGE COLLECT
900.59/903.67 c #Conflicts: 592000 | #Constraints: 17457
900.59/903.67 c #Conflicts: 593000 | #Constraints: 18457
900.59/903.67 c #Conflicts: 594000 | #Constraints: 19457
900.59/903.67 c #Conflicts: 595000 | #Constraints: 20457
900.59/903.67 c #Conflicts: 596000 | #Constraints: 21457
900.59/903.67 c #Conflicts: 597000 | #Constraints: 22457
900.59/903.67 c #Conflicts: 598000 | #Constraints: 23457
900.59/903.67 c #Conflicts: 599000 | #Constraints: 24457
900.59/903.67 c #Conflicts: 600000 | #Constraints: 25457
900.59/903.67 c #Conflicts: 601000 | #Constraints: 26457
900.59/903.67 c #Conflicts: 602000 | #Constraints: 27457
900.59/903.67 c #Conflicts: 603000 | #Constraints: 28457
900.59/903.67 c #Conflicts: 604000 | #Constraints: 29457
900.59/903.67 c #Conflicts: 605000 | #Constraints: 30457
900.59/903.67 c #Conflicts: 606000 | #Constraints: 31457
900.59/903.67 c #Conflicts: 607000 | #Constraints: 32457
900.59/903.67 c INPROCESSING
900.59/903.67 c GARBAGE COLLECT
900.59/903.67 c #Conflicts: 608000 | #Constraints: 18065
900.59/903.67 c #Conflicts: 609000 | #Constraints: 19065
900.59/903.67 c #Conflicts: 610000 | #Constraints: 20065
900.59/903.67 c #Conflicts: 611000 | #Constraints: 21065
900.59/903.67 c #Conflicts: 612000 | #Constraints: 22065
900.59/903.67 c #Conflicts: 613000 | #Constraints: 23065
900.59/903.67 c #Conflicts: 614000 | #Constraints: 24065
900.59/903.67 c #Conflicts: 615000 | #Constraints: 25065
900.59/903.67 c #Conflicts: 616000 | #Constraints: 26065
900.59/903.67 c #Conflicts: 617000 | #Constraints: 27065
900.59/903.67 c #Conflicts: 618000 | #Constraints: 28065
900.59/903.67 c #Conflicts: 619000 | #Constraints: 29065
900.59/903.67 c #Conflicts: 620000 | #Constraints: 30065
900.59/903.67 c #Conflicts: 621000 | #Constraints: 31065
900.59/903.67 c #Conflicts: 622000 | #Constraints: 32065
900.59/903.67 c #Conflicts: 623000 | #Constraints: 33065
900.59/903.67 c INPROCESSING
900.59/903.67 c GARBAGE COLLECT
900.59/903.67 c #Conflicts: 624000 | #Constraints: 18450
900.59/903.67 c #Conflicts: 625000 | #Constraints: 19450
900.59/903.67 c #Conflicts: 626000 | #Constraints: 20450
900.59/903.67 c #Conflicts: 627000 | #Constraints: 21450
900.59/903.67 c #Conflicts: 628000 | #Constraints: 22450
900.59/903.67 c #Conflicts: 629000 | #Constraints: 23450
900.59/903.67 c #Conflicts: 630000 | #Constraints: 24450
900.59/903.67 c #Conflicts: 631000 | #Constraints: 25450
900.59/903.67 c #Conflicts: 632000 | #Constraints: 26450
900.59/903.67 c #Conflicts: 633000 | #Constraints: 27450
900.59/903.67 c #Conflicts: 634000 | #Constraints: 28450
900.59/903.67 c #Conflicts: 635000 | #Constraints: 29450
900.59/903.67 c #Conflicts: 636000 | #Constraints: 30450
900.59/903.67 c #Conflicts: 637000 | #Constraints: 31450
900.59/903.67 c #Conflicts: 638000 | #Constraints: 32450
900.59/903.67 c #Conflicts: 639000 | #Constraints: 33450
900.59/903.67 c INPROCESSING
900.59/903.67 c GARBAGE COLLECT
900.59/903.67 c #Conflicts: 640000 | #Constraints: 18652
900.59/903.67 c #Conflicts: 641000 | #Constraints: 19652
900.59/903.67 c #Conflicts: 642000 | #Constraints: 20652
900.59/903.67 c #Conflicts: 643000 | #Constraints: 21652
900.59/903.67 c #Conflicts: 644000 | #Constraints: 22652
900.59/903.67 c #Conflicts: 645000 | #Constraints: 23652
900.59/903.67 c #Conflicts: 646000 | #Constraints: 24652
900.59/903.67 c #Conflicts: 647000 | #Constraints: 25652
900.59/903.67 c #Conflicts: 648000 | #Constraints: 26652
900.59/903.67 c #Conflicts: 649000 | #Constraints: 27652
900.59/903.67 c #Conflicts: 650000 | #Constraints: 28652
900.59/903.67 c #Conflicts: 651000 | #Constraints: 29652
900.59/903.67 c #Conflicts: 652000 | #Constraints: 30652
900.59/903.67 c #Conflicts: 653000 | #Constraints: 31652
900.59/903.67 c #Conflicts: 654000 | #Constraints: 32652
900.59/903.67 c #Conflicts: 655000 | #Constraints: 33652
900.59/903.67 c INPROCESSING
900.59/903.67 c GARBAGE COLLECT
900.59/903.67 c #Conflicts: 656000 | #Constraints: 18647
900.59/903.67 c #Conflicts: 657000 | #Constraints: 19647
900.59/903.67 c #Conflicts: 658000 | #Constraints: 20647
900.59/903.67 c #Conflicts: 659000 | #Constraints: 21647
900.59/903.67 c #Conflicts: 660000 | #Constraints: 22647
900.59/903.67 c #Conflicts: 661000 | #Constraints: 23647
900.59/903.67 c #Conflicts: 662000 | #Constraints: 24647
900.59/903.67 c #Conflicts: 663000 | #Constraints: 25647
900.59/903.67 c #Conflicts: 664000 | #Constraints: 26647
997.52/1000.85 c #Conflicts: 665000 | #Constraints: 27647
997.52/1000.85 c #Conflicts: 666000 | #Constraints: 28647
997.52/1000.85 c #Conflicts: 667000 | #Constraints: 29647
997.52/1000.85 c #Conflicts: 668000 | #Constraints: 30647
997.52/1000.85 c #Conflicts: 669000 | #Constraints: 31647
997.52/1000.85 c #Conflicts: 670000 | #Constraints: 32647
997.52/1000.85 c #Conflicts: 671000 | #Constraints: 33647
997.52/1000.85 c INPROCESSING
997.52/1000.85 c GARBAGE COLLECT
997.52/1000.85 c #Conflicts: 672000 | #Constraints: 18456
997.52/1000.85 c #Conflicts: 673000 | #Constraints: 19456
997.52/1000.85 c #Conflicts: 674000 | #Constraints: 20456
997.52/1000.85 c #Conflicts: 675000 | #Constraints: 21456
997.52/1000.85 c #Conflicts: 676000 | #Constraints: 22456
997.52/1000.85 c #Conflicts: 677000 | #Constraints: 23456
997.52/1000.85 c #Conflicts: 678000 | #Constraints: 24456
997.52/1000.85 c #Conflicts: 679000 | #Constraints: 25456
997.52/1000.85 c #Conflicts: 680000 | #Constraints: 26456
997.52/1000.85 c #Conflicts: 681000 | #Constraints: 27456
997.52/1000.85 c #Conflicts: 682000 | #Constraints: 28456
997.52/1000.85 c #Conflicts: 683000 | #Constraints: 29456
997.52/1000.85 c #Conflicts: 684000 | #Constraints: 30456
997.52/1000.85 c #Conflicts: 685000 | #Constraints: 31456
997.52/1000.85 c #Conflicts: 686000 | #Constraints: 32456
997.52/1000.85 c #Conflicts: 687000 | #Constraints: 33456
997.52/1000.85 c #Conflicts: 688000 | #Constraints: 34456
997.52/1000.85 c INPROCESSING
997.52/1000.85 c GARBAGE COLLECT
997.52/1000.85 c #Conflicts: 689000 | #Constraints: 19059
997.52/1000.85 c #Conflicts: 690000 | #Constraints: 20059
997.52/1000.85 c #Conflicts: 691000 | #Constraints: 21059
997.52/1000.85 c #Conflicts: 692000 | #Constraints: 22059
997.52/1000.85 c #Conflicts: 693000 | #Constraints: 23059
997.52/1000.85 c #Conflicts: 694000 | #Constraints: 24059
997.52/1000.85 c #Conflicts: 695000 | #Constraints: 25059
997.52/1000.85 c #Conflicts: 696000 | #Constraints: 26059
997.52/1000.85 c #Conflicts: 697000 | #Constraints: 27059
997.52/1000.85 c #Conflicts: 698000 | #Constraints: 28059
997.52/1000.85 c #Conflicts: 699000 | #Constraints: 29059
997.52/1000.85 c #Conflicts: 700000 | #Constraints: 30059
997.52/1000.85 c #Conflicts: 701000 | #Constraints: 31059
997.52/1000.85 c #Conflicts: 702000 | #Constraints: 32059
997.52/1000.85 c #Conflicts: 703000 | #Constraints: 33059
997.52/1000.85 c #Conflicts: 704000 | #Constraints: 34059
997.52/1000.85 c #Conflicts: 705000 | #Constraints: 35059
997.52/1000.85 c INPROCESSING
997.52/1000.85 c GARBAGE COLLECT
997.52/1000.85 c #Conflicts: 706000 | #Constraints: 19457
997.52/1000.85 c #Conflicts: 707000 | #Constraints: 20457
997.52/1000.85 c #Conflicts: 708000 | #Constraints: 21457
997.52/1000.85 c #Conflicts: 709000 | #Constraints: 22457
997.52/1000.85 c #Conflicts: 710000 | #Constraints: 23457
997.52/1000.85 c #Conflicts: 711000 | #Constraints: 24457
997.52/1000.85 c #Conflicts: 712000 | #Constraints: 25457
997.52/1000.85 c #Conflicts: 713000 | #Constraints: 26457
997.52/1000.85 c #Conflicts: 714000 | #Constraints: 27457
997.52/1000.85 c #Conflicts: 715000 | #Constraints: 28457
997.52/1000.85 c #Conflicts: 716000 | #Constraints: 29457
997.52/1000.85 c #Conflicts: 717000 | #Constraints: 30457
997.52/1000.85 c #Conflicts: 718000 | #Constraints: 31457
997.52/1000.85 c #Conflicts: 719000 | #Constraints: 32457
997.52/1000.85 c #Conflicts: 720000 | #Constraints: 33457
997.52/1000.85 c #Conflicts: 721000 | #Constraints: 34457
997.52/1000.85 c #Conflicts: 722000 | #Constraints: 35457
997.52/1000.85 c INPROCESSING
997.52/1000.85 c GARBAGE COLLECT
997.52/1000.85 c #Conflicts: 723000 | #Constraints: 19659
997.52/1000.85 c #Conflicts: 724000 | #Constraints: 20659
997.52/1000.85 c #Conflicts: 725000 | #Constraints: 21659
997.52/1000.85 c #Conflicts: 726000 | #Constraints: 22659
997.52/1000.85 c #Conflicts: 727000 | #Constraints: 23659
997.52/1000.85 c #Conflicts: 728000 | #Constraints: 24659
997.52/1000.85 c #Conflicts: 729000 | #Constraints: 25659
997.52/1000.85 c #Conflicts: 730000 | #Constraints: 26659
997.52/1000.85 c #Conflicts: 731000 | #Constraints: 27659
997.52/1000.85 c #Conflicts: 732000 | #Constraints: 28659
997.52/1000.85 c #Conflicts: 733000 | #Constraints: 29659
997.52/1000.85 c #Conflicts: 734000 | #Constraints: 30659
997.52/1000.85 c #Conflicts: 735000 | #Constraints: 31659
997.52/1000.85 c #Conflicts: 736000 | #Constraints: 32659
997.52/1000.85 c #Conflicts: 737000 | #Constraints: 33659
997.52/1000.85 c #Conflicts: 738000 | #Constraints: 34659
997.52/1000.85 c #Conflicts: 739000 | #Constraints: 35659
997.52/1000.85 c INPROCESSING
997.52/1000.85 c GARBAGE COLLECT
1105.70/1109.30 c #Conflicts: 740000 | #Constraints: 19662
1105.70/1109.30 c #Conflicts: 741000 | #Constraints: 20662
1105.70/1109.30 c #Conflicts: 742000 | #Constraints: 21662
1105.70/1109.30 c #Conflicts: 743000 | #Constraints: 22662
1105.70/1109.30 c #Conflicts: 744000 | #Constraints: 23662
1105.70/1109.30 c #Conflicts: 745000 | #Constraints: 24662
1105.70/1109.30 c #Conflicts: 746000 | #Constraints: 25662
1105.70/1109.30 c #Conflicts: 747000 | #Constraints: 26662
1105.70/1109.30 c #Conflicts: 748000 | #Constraints: 27662
1105.70/1109.30 c #Conflicts: 749000 | #Constraints: 28662
1105.70/1109.30 c #Conflicts: 750000 | #Constraints: 29662
1105.70/1109.30 c #Conflicts: 751000 | #Constraints: 30662
1105.70/1109.30 c #Conflicts: 752000 | #Constraints: 31662
1105.70/1109.30 c #Conflicts: 753000 | #Constraints: 32662
1105.70/1109.30 c #Conflicts: 754000 | #Constraints: 33662
1105.70/1109.30 c #Conflicts: 755000 | #Constraints: 34662
1105.70/1109.30 c #Conflicts: 756000 | #Constraints: 35662
1105.70/1109.30 c INPROCESSING
1105.70/1109.30 c GARBAGE COLLECT
1105.70/1109.30 c #Conflicts: 757000 | #Constraints: 19450
1105.70/1109.30 c #Conflicts: 758000 | #Constraints: 20450
1105.70/1109.30 c #Conflicts: 759000 | #Constraints: 21450
1105.70/1109.30 c #Conflicts: 760000 | #Constraints: 22450
1105.70/1109.30 c #Conflicts: 761000 | #Constraints: 23450
1105.70/1109.30 c #Conflicts: 762000 | #Constraints: 24450
1105.70/1109.30 c #Conflicts: 763000 | #Constraints: 25450
1105.70/1109.30 c #Conflicts: 764000 | #Constraints: 26450
1105.70/1109.30 c #Conflicts: 765000 | #Constraints: 27450
1105.70/1109.30 c #Conflicts: 766000 | #Constraints: 28450
1105.70/1109.30 c #Conflicts: 767000 | #Constraints: 29450
1105.70/1109.30 c #Conflicts: 768000 | #Constraints: 30450
1105.70/1109.30 c #Conflicts: 769000 | #Constraints: 31450
1105.70/1109.30 c #Conflicts: 770000 | #Constraints: 32450
1105.70/1109.30 c #Conflicts: 771000 | #Constraints: 33450
1105.70/1109.30 c #Conflicts: 772000 | #Constraints: 34450
1105.70/1109.30 c #Conflicts: 773000 | #Constraints: 35450
1105.70/1109.30 c #Conflicts: 774000 | #Constraints: 36450
1105.70/1109.30 c INPROCESSING
1105.70/1109.30 c GARBAGE COLLECT
1105.70/1109.30 c #Conflicts: 775000 | #Constraints: 20062
1105.70/1109.30 c #Conflicts: 776000 | #Constraints: 21062
1105.70/1109.30 c #Conflicts: 777000 | #Constraints: 22062
1105.70/1109.30 c #Conflicts: 778000 | #Constraints: 23062
1105.70/1109.30 c #Conflicts: 779000 | #Constraints: 24062
1105.70/1109.30 c #Conflicts: 780000 | #Constraints: 25062
1105.70/1109.30 c #Conflicts: 781000 | #Constraints: 26062
1105.70/1109.30 c #Conflicts: 782000 | #Constraints: 27062
1105.70/1109.30 c #Conflicts: 783000 | #Constraints: 28062
1105.70/1109.30 c #Conflicts: 784000 | #Constraints: 29062
1105.70/1109.30 c #Conflicts: 785000 | #Constraints: 30062
1105.70/1109.30 c #Conflicts: 786000 | #Constraints: 31062
1105.70/1109.30 c #Conflicts: 787000 | #Constraints: 32062
1105.70/1109.30 c #Conflicts: 788000 | #Constraints: 33062
1105.70/1109.30 c #Conflicts: 789000 | #Constraints: 34062
1105.70/1109.30 c #Conflicts: 790000 | #Constraints: 35062
1105.70/1109.30 c #Conflicts: 791000 | #Constraints: 36062
1105.70/1109.30 c #Conflicts: 792000 | #Constraints: 37062
1105.70/1109.30 c INPROCESSING
1105.70/1109.30 c GARBAGE COLLECT
1105.70/1109.30 c #Conflicts: 793000 | #Constraints: 20464
1105.70/1109.30 c #Conflicts: 794000 | #Constraints: 21464
1105.70/1109.30 c #Conflicts: 795000 | #Constraints: 22464
1105.70/1109.30 c #Conflicts: 796000 | #Constraints: 23464
1105.70/1109.30 c #Conflicts: 797000 | #Constraints: 24464
1105.70/1109.30 c #Conflicts: 798000 | #Constraints: 25464
1105.70/1109.30 c #Conflicts: 799000 | #Constraints: 26464
1105.70/1109.30 c #Conflicts: 800000 | #Constraints: 27464
1105.70/1109.30 c #Conflicts: 801000 | #Constraints: 28464
1105.70/1109.30 c #Conflicts: 802000 | #Constraints: 29464
1105.70/1109.30 c #Conflicts: 803000 | #Constraints: 30464
1105.70/1109.30 c #Conflicts: 804000 | #Constraints: 31464
1105.70/1109.30 c #Conflicts: 805000 | #Constraints: 32464
1105.70/1109.30 c #Conflicts: 806000 | #Constraints: 33464
1105.70/1109.30 c #Conflicts: 807000 | #Constraints: 34464
1105.70/1109.30 c #Conflicts: 808000 | #Constraints: 35464
1105.70/1109.30 c #Conflicts: 809000 | #Constraints: 36464
1105.70/1109.30 c #Conflicts: 810000 | #Constraints: 37464
1105.70/1109.30 c INPROCESSING
1105.70/1109.30 c GARBAGE COLLECT
1105.70/1109.30 c #Conflicts: 811000 | #Constraints: 20646
1105.70/1109.30 c #Conflicts: 812000 | #Constraints: 21646
1105.70/1109.30 c #Conflicts: 813000 | #Constraints: 22646
1105.70/1109.30 c #Conflicts: 814000 | #Constraints: 23646
1105.70/1109.30 c #Conflicts: 815000 | #Constraints: 24646
1105.70/1109.30 c #Conflicts: 816000 | #Constraints: 25646
1240.18/1244.20 c #Conflicts: 817000 | #Constraints: 26646
1240.18/1244.20 c #Conflicts: 818000 | #Constraints: 27646
1240.18/1244.20 c #Conflicts: 819000 | #Constraints: 28646
1240.18/1244.20 c #Conflicts: 820000 | #Constraints: 29646
1240.18/1244.20 c #Conflicts: 821000 | #Constraints: 30646
1240.18/1244.20 c #Conflicts: 822000 | #Constraints: 31646
1240.18/1244.20 c #Conflicts: 823000 | #Constraints: 32646
1240.18/1244.20 c #Conflicts: 824000 | #Constraints: 33646
1240.18/1244.20 c #Conflicts: 825000 | #Constraints: 34646
1240.18/1244.20 c #Conflicts: 826000 | #Constraints: 35646
1240.18/1244.20 c #Conflicts: 827000 | #Constraints: 36646
1240.18/1244.20 c #Conflicts: 828000 | #Constraints: 37646
1240.18/1244.20 c INPROCESSING
1240.18/1244.20 c GARBAGE COLLECT
1240.18/1244.20 c #Conflicts: 829000 | #Constraints: 20640
1240.18/1244.20 c #Conflicts: 830000 | #Constraints: 21640
1240.18/1244.20 c #Conflicts: 831000 | #Constraints: 22640
1240.18/1244.20 c #Conflicts: 832000 | #Constraints: 23640
1240.18/1244.20 c #Conflicts: 833000 | #Constraints: 24640
1240.18/1244.20 c #Conflicts: 834000 | #Constraints: 25640
1240.18/1244.20 c #Conflicts: 835000 | #Constraints: 26640
1240.18/1244.20 c #Conflicts: 836000 | #Constraints: 27640
1240.18/1244.20 c #Conflicts: 837000 | #Constraints: 28640
1240.18/1244.20 c #Conflicts: 838000 | #Constraints: 29640
1240.18/1244.20 c #Conflicts: 839000 | #Constraints: 30640
1240.18/1244.20 c #Conflicts: 840000 | #Constraints: 31640
1240.18/1244.20 c #Conflicts: 841000 | #Constraints: 32640
1240.18/1244.20 c #Conflicts: 842000 | #Constraints: 33640
1240.18/1244.20 c #Conflicts: 843000 | #Constraints: 34640
1240.18/1244.20 c #Conflicts: 844000 | #Constraints: 35640
1240.18/1244.20 c #Conflicts: 845000 | #Constraints: 36640
1240.18/1244.20 c #Conflicts: 846000 | #Constraints: 37640
1240.18/1244.20 c INPROCESSING
1240.18/1244.20 c GARBAGE COLLECT
1240.18/1244.20 c #Conflicts: 847000 | #Constraints: 20446
1240.18/1244.20 c #Conflicts: 848000 | #Constraints: 21446
1240.18/1244.20 c #Conflicts: 849000 | #Constraints: 22446
1240.18/1244.20 c #Conflicts: 850000 | #Constraints: 23446
1240.18/1244.20 c #Conflicts: 851000 | #Constraints: 24446
1240.18/1244.20 c #Conflicts: 852000 | #Constraints: 25446
1240.18/1244.20 c #Conflicts: 853000 | #Constraints: 26446
1240.18/1244.20 c #Conflicts: 854000 | #Constraints: 27446
1240.18/1244.20 c #Conflicts: 855000 | #Constraints: 28446
1240.18/1244.20 c #Conflicts: 856000 | #Constraints: 29446
1240.18/1244.20 c #Conflicts: 857000 | #Constraints: 30446
1240.18/1244.20 c #Conflicts: 858000 | #Constraints: 31446
1240.18/1244.20 c #Conflicts: 859000 | #Constraints: 32446
1240.18/1244.20 c #Conflicts: 860000 | #Constraints: 33446
1240.18/1244.20 c #Conflicts: 861000 | #Constraints: 34446
1240.18/1244.20 c #Conflicts: 862000 | #Constraints: 35446
1240.18/1244.20 c #Conflicts: 863000 | #Constraints: 36446
1240.18/1244.20 c #Conflicts: 864000 | #Constraints: 37446
1240.18/1244.20 c #Conflicts: 865000 | #Constraints: 38446
1240.18/1244.20 c INPROCESSING
1240.18/1244.20 c GARBAGE COLLECT
1240.18/1244.20 c #Conflicts: 866000 | #Constraints: 21044
1240.18/1244.20 c #Conflicts: 867000 | #Constraints: 22044
1240.18/1244.20 c #Conflicts: 868000 | #Constraints: 23044
1240.18/1244.20 c #Conflicts: 869000 | #Constraints: 24044
1240.18/1244.20 c #Conflicts: 870000 | #Constraints: 25044
1240.18/1244.20 c #Conflicts: 871000 | #Constraints: 26044
1240.18/1244.20 c #Conflicts: 872000 | #Constraints: 27044
1240.18/1244.20 c #Conflicts: 873000 | #Constraints: 28044
1240.18/1244.20 c #Conflicts: 874000 | #Constraints: 29044
1240.18/1244.20 c #Conflicts: 875000 | #Constraints: 30044
1240.18/1244.20 c #Conflicts: 876000 | #Constraints: 31044
1240.18/1244.20 c #Conflicts: 877000 | #Constraints: 32044
1240.18/1244.20 c #Conflicts: 878000 | #Constraints: 33044
1240.18/1244.20 c #Conflicts: 879000 | #Constraints: 34044
1240.18/1244.20 c #Conflicts: 880000 | #Constraints: 35044
1240.18/1244.20 c #Conflicts: 881000 | #Constraints: 36044
1240.18/1244.20 c #Conflicts: 882000 | #Constraints: 37044
1240.18/1244.20 c #Conflicts: 883000 | #Constraints: 38044
1240.18/1244.20 c #Conflicts: 884000 | #Constraints: 39044
1240.18/1244.20 c INPROCESSING
1240.18/1244.20 c GARBAGE COLLECT
1240.18/1244.20 c #Conflicts: 885000 | #Constraints: 21449
1240.18/1244.20 c #Conflicts: 886000 | #Constraints: 22449
1240.18/1244.20 c #Conflicts: 887000 | #Constraints: 23449
1240.18/1244.20 c #Conflicts: 888000 | #Constraints: 24449
1240.18/1244.20 c #Conflicts: 889000 | #Constraints: 25449
1240.18/1244.20 c #Conflicts: 890000 | #Constraints: 26449
1240.18/1244.20 c #Conflicts: 891000 | #Constraints: 27449
1240.18/1244.20 c #Conflicts: 892000 | #Constraints: 28449
1370.79/1375.21 c #Conflicts: 893000 | #Constraints: 29449
1370.79/1375.21 c #Conflicts: 894000 | #Constraints: 30449
1370.79/1375.21 c #Conflicts: 895000 | #Constraints: 31449
1370.79/1375.21 c #Conflicts: 896000 | #Constraints: 32449
1370.79/1375.21 c #Conflicts: 897000 | #Constraints: 33449
1370.79/1375.21 c #Conflicts: 898000 | #Constraints: 34449
1370.79/1375.21 c #Conflicts: 899000 | #Constraints: 35449
1370.79/1375.21 c #Conflicts: 900000 | #Constraints: 36449
1370.79/1375.21 c #Conflicts: 901000 | #Constraints: 37449
1370.79/1375.21 c #Conflicts: 902000 | #Constraints: 38449
1370.79/1375.21 c #Conflicts: 903000 | #Constraints: 39449
1370.79/1375.21 c INPROCESSING
1370.79/1375.21 c GARBAGE COLLECT
1370.79/1375.21 c #Conflicts: 904000 | #Constraints: 21645
1370.79/1375.21 c #Conflicts: 905000 | #Constraints: 22645
1370.79/1375.21 c #Conflicts: 906000 | #Constraints: 23645
1370.79/1375.21 c #Conflicts: 907000 | #Constraints: 24645
1370.79/1375.21 c #Conflicts: 908000 | #Constraints: 25645
1370.79/1375.21 c #Conflicts: 909000 | #Constraints: 26645
1370.79/1375.21 c #Conflicts: 910000 | #Constraints: 27645
1370.79/1375.21 c #Conflicts: 911000 | #Constraints: 28645
1370.79/1375.21 c #Conflicts: 912000 | #Constraints: 29645
1370.79/1375.21 c #Conflicts: 913000 | #Constraints: 30645
1370.79/1375.21 c #Conflicts: 914000 | #Constraints: 31645
1370.79/1375.21 c #Conflicts: 915000 | #Constraints: 32645
1370.79/1375.21 c #Conflicts: 916000 | #Constraints: 33645
1370.79/1375.21 c #Conflicts: 917000 | #Constraints: 34645
1370.79/1375.21 c #Conflicts: 918000 | #Constraints: 35645
1370.79/1375.21 c #Conflicts: 919000 | #Constraints: 36645
1370.79/1375.21 c #Conflicts: 920000 | #Constraints: 37645
1370.79/1375.21 c #Conflicts: 921000 | #Constraints: 38645
1370.79/1375.21 c #Conflicts: 922000 | #Constraints: 39645
1370.79/1375.21 c INPROCESSING
1370.79/1375.21 c GARBAGE COLLECT
1370.79/1375.21 c #Conflicts: 923000 | #Constraints: 21652
1370.79/1375.21 c #Conflicts: 924000 | #Constraints: 22652
1370.79/1375.21 c #Conflicts: 925000 | #Constraints: 23652
1370.79/1375.21 c #Conflicts: 926000 | #Constraints: 24652
1370.79/1375.21 c #Conflicts: 927000 | #Constraints: 25652
1370.79/1375.21 c #Conflicts: 928000 | #Constraints: 26652
1370.79/1375.21 c #Conflicts: 929000 | #Constraints: 27652
1370.79/1375.21 c #Conflicts: 930000 | #Constraints: 28652
1370.79/1375.21 c #Conflicts: 931000 | #Constraints: 29652
1370.79/1375.21 c #Conflicts: 932000 | #Constraints: 30652
1370.79/1375.21 c #Conflicts: 933000 | #Constraints: 31652
1370.79/1375.21 c #Conflicts: 934000 | #Constraints: 32652
1370.79/1375.21 c #Conflicts: 935000 | #Constraints: 33652
1370.79/1375.21 c #Conflicts: 936000 | #Constraints: 34652
1370.79/1375.21 c #Conflicts: 937000 | #Constraints: 35652
1370.79/1375.21 c #Conflicts: 938000 | #Constraints: 36652
1370.79/1375.21 c #Conflicts: 939000 | #Constraints: 37652
1370.79/1375.21 c #Conflicts: 940000 | #Constraints: 38652
1370.79/1375.21 c #Conflicts: 941000 | #Constraints: 39652
1370.79/1375.21 c INPROCESSING
1370.79/1375.21 c GARBAGE COLLECT
1370.79/1375.21 c #Conflicts: 942000 | #Constraints: 21453
1370.79/1375.21 c #Conflicts: 943000 | #Constraints: 22453
1370.79/1375.21 c #Conflicts: 944000 | #Constraints: 23453
1370.79/1375.21 c #Conflicts: 945000 | #Constraints: 24453
1370.79/1375.21 c #Conflicts: 946000 | #Constraints: 25453
1370.79/1375.21 c #Conflicts: 947000 | #Constraints: 26453
1370.79/1375.21 c #Conflicts: 948000 | #Constraints: 27453
1370.79/1375.21 c #Conflicts: 949000 | #Constraints: 28453
1370.79/1375.22 c #Conflicts: 950000 | #Constraints: 29453
1370.79/1375.22 c #Conflicts: 951000 | #Constraints: 30453
1370.79/1375.22 c #Conflicts: 952000 | #Constraints: 31453
1370.79/1375.22 c #Conflicts: 953000 | #Constraints: 32453
1370.79/1375.22 c #Conflicts: 954000 | #Constraints: 33453
1370.79/1375.22 c #Conflicts: 955000 | #Constraints: 34453
1370.79/1375.22 c #Conflicts: 956000 | #Constraints: 35453
1370.79/1375.22 c #Conflicts: 957000 | #Constraints: 36453
1370.79/1375.22 c #Conflicts: 958000 | #Constraints: 37453
1370.79/1375.22 c #Conflicts: 959000 | #Constraints: 38453
1370.79/1375.22 c #Conflicts: 960000 | #Constraints: 39453
1370.79/1375.22 c #Conflicts: 961000 | #Constraints: 40453
1370.79/1375.22 c INPROCESSING
1370.79/1375.22 c GARBAGE COLLECT
1370.79/1375.22 c #Conflicts: 962000 | #Constraints: 22048
1370.79/1375.22 c #Conflicts: 963000 | #Constraints: 23048
1370.79/1375.22 c #Conflicts: 964000 | #Constraints: 24048
1370.79/1375.22 c #Conflicts: 965000 | #Constraints: 25048
1370.79/1375.22 c #Conflicts: 966000 | #Constraints: 26048
1370.79/1375.22 c #Conflicts: 967000 | #Constraints: 27048
1370.79/1375.22 c #Conflicts: 968000 | #Constraints: 28048
1476.56/1481.33 c #Conflicts: 969000 | #Constraints: 29048
1476.56/1481.33 c #Conflicts: 970000 | #Constraints: 30048
1476.56/1481.33 c #Conflicts: 971000 | #Constraints: 31048
1476.56/1481.33 c #Conflicts: 972000 | #Constraints: 32048
1476.56/1481.33 c #Conflicts: 973000 | #Constraints: 33048
1476.56/1481.33 c #Conflicts: 974000 | #Constraints: 34048
1476.56/1481.33 c #Conflicts: 975000 | #Constraints: 35048
1476.56/1481.33 c #Conflicts: 976000 | #Constraints: 36048
1476.56/1481.33 c #Conflicts: 977000 | #Constraints: 37048
1476.56/1481.33 c #Conflicts: 978000 | #Constraints: 38048
1476.56/1481.33 c #Conflicts: 979000 | #Constraints: 39048
1476.56/1481.33 c #Conflicts: 980000 | #Constraints: 40048
1476.56/1481.33 c #Conflicts: 981000 | #Constraints: 41048
1476.56/1481.33 c INPROCESSING
1476.56/1481.33 c GARBAGE COLLECT
1476.56/1481.33 c #Conflicts: 982000 | #Constraints: 22464
1476.56/1481.33 c #Conflicts: 983000 | #Constraints: 23464
1476.56/1481.33 c #Conflicts: 984000 | #Constraints: 24464
1476.56/1481.33 c #Conflicts: 985000 | #Constraints: 25464
1476.56/1481.33 c #Conflicts: 986000 | #Constraints: 26464
1476.56/1481.33 c #Conflicts: 987000 | #Constraints: 27464
1476.56/1481.33 c #Conflicts: 988000 | #Constraints: 28464
1476.56/1481.33 c #Conflicts: 989000 | #Constraints: 29464
1476.56/1481.33 c #Conflicts: 990000 | #Constraints: 30464
1476.56/1481.33 c #Conflicts: 991000 | #Constraints: 31464
1476.56/1481.33 c #Conflicts: 992000 | #Constraints: 32464
1476.56/1481.33 c #Conflicts: 993000 | #Constraints: 33464
1476.56/1481.33 c #Conflicts: 994000 | #Constraints: 34464
1476.56/1481.33 c #Conflicts: 995000 | #Constraints: 35464
1476.56/1481.33 c #Conflicts: 996000 | #Constraints: 36464
1476.56/1481.33 c #Conflicts: 997000 | #Constraints: 37464
1476.56/1481.33 c #Conflicts: 998000 | #Constraints: 38464
1476.56/1481.33 c #Conflicts: 999000 | #Constraints: 39464
1476.56/1481.33 c #Conflicts: 1000000 | #Constraints: 40464
1476.56/1481.33 c #Conflicts: 1001000 | #Constraints: 41464
1476.56/1481.33 c INPROCESSING
1476.56/1481.33 c GARBAGE COLLECT
1476.56/1481.33 c #Conflicts: 1002000 | #Constraints: 22666
1476.56/1481.33 c #Conflicts: 1003000 | #Constraints: 23666
1476.56/1481.33 c #Conflicts: 1004000 | #Constraints: 24666
1476.56/1481.33 c #Conflicts: 1005000 | #Constraints: 25666
1476.56/1481.33 c #Conflicts: 1006000 | #Constraints: 26666
1476.56/1481.33 c #Conflicts: 1007000 | #Constraints: 27666
1476.56/1481.33 c #Conflicts: 1008000 | #Constraints: 28666
1476.56/1481.33 c #Conflicts: 1009000 | #Constraints: 29666
1476.56/1481.33 c #Conflicts: 1010000 | #Constraints: 30666
1476.56/1481.33 c #Conflicts: 1011000 | #Constraints: 31666
1476.56/1481.33 c #Conflicts: 1012000 | #Constraints: 32666
1476.56/1481.33 c #Conflicts: 1013000 | #Constraints: 33666
1476.56/1481.33 c #Conflicts: 1014000 | #Constraints: 34666
1476.56/1481.33 c #Conflicts: 1015000 | #Constraints: 35666
1476.56/1481.33 c #Conflicts: 1016000 | #Constraints: 36666
1476.56/1481.33 c #Conflicts: 1017000 | #Constraints: 37666
1476.56/1481.33 c #Conflicts: 1018000 | #Constraints: 38666
1476.56/1481.33 c #Conflicts: 1019000 | #Constraints: 39666
1476.56/1481.33 c #Conflicts: 1020000 | #Constraints: 40666
1476.56/1481.33 c #Conflicts: 1021000 | #Constraints: 41666
1476.56/1481.33 c INPROCESSING
1476.56/1481.33 c GARBAGE COLLECT
1476.56/1481.33 c #Conflicts: 1022000 | #Constraints: 22662
1476.56/1481.33 c #Conflicts: 1023000 | #Constraints: 23662
1476.56/1481.33 c #Conflicts: 1024000 | #Constraints: 24662
1476.56/1481.33 c #Conflicts: 1025000 | #Constraints: 25662
1476.56/1481.33 c #Conflicts: 1026000 | #Constraints: 26662
1476.56/1481.33 c #Conflicts: 1027000 | #Constraints: 27662
1476.56/1481.33 c #Conflicts: 1028000 | #Constraints: 28662
1476.56/1481.33 c #Conflicts: 1029000 | #Constraints: 29662
1476.56/1481.33 c #Conflicts: 1030000 | #Constraints: 30662
1476.56/1481.33 c #Conflicts: 1031000 | #Constraints: 31662
1476.56/1481.33 c #Conflicts: 1032000 | #Constraints: 32662
1476.56/1481.33 c #Conflicts: 1033000 | #Constraints: 33662
1476.56/1481.33 c #Conflicts: 1034000 | #Constraints: 34662
1476.56/1481.33 c #Conflicts: 1035000 | #Constraints: 35662
1476.56/1481.33 c #Conflicts: 1036000 | #Constraints: 36662
1476.56/1481.33 c #Conflicts: 1037000 | #Constraints: 37662
1476.56/1481.33 c #Conflicts: 1038000 | #Constraints: 38662
1476.56/1481.33 c #Conflicts: 1039000 | #Constraints: 39662
1476.56/1481.33 c #Conflicts: 1040000 | #Constraints: 40662
1476.56/1481.33 c #Conflicts: 1041000 | #Constraints: 41662
1476.56/1481.33 c INPROCESSING
1476.56/1481.33 c GARBAGE COLLECT
1476.56/1481.33 c #Conflicts: 1042000 | #Constraints: 22473
1476.56/1481.33 c #Conflicts: 1043000 | #Constraints: 23473
1476.56/1481.33 c #Conflicts: 1044000 | #Constraints: 24473
1638.71/1643.92 c #Conflicts: 1045000 | #Constraints: 25473
1638.71/1643.92 c #Conflicts: 1046000 | #Constraints: 26473
1638.71/1643.92 c #Conflicts: 1047000 | #Constraints: 27473
1638.71/1643.92 c #Conflicts: 1048000 | #Constraints: 28473
1638.71/1643.92 c #Conflicts: 1049000 | #Constraints: 29473
1638.71/1643.92 c #Conflicts: 1050000 | #Constraints: 30473
1638.71/1643.92 c #Conflicts: 1051000 | #Constraints: 31473
1638.71/1643.92 c #Conflicts: 1052000 | #Constraints: 32473
1638.71/1643.92 c #Conflicts: 1053000 | #Constraints: 33473
1638.71/1643.92 c #Conflicts: 1054000 | #Constraints: 34473
1638.71/1643.92 c #Conflicts: 1055000 | #Constraints: 35473
1638.71/1643.92 c #Conflicts: 1056000 | #Constraints: 36473
1638.71/1643.92 c #Conflicts: 1057000 | #Constraints: 37473
1638.71/1643.92 c #Conflicts: 1058000 | #Constraints: 38473
1638.71/1643.92 c #Conflicts: 1059000 | #Constraints: 39473
1638.71/1643.92 c #Conflicts: 1060000 | #Constraints: 40473
1638.71/1643.92 c #Conflicts: 1061000 | #Constraints: 41473
1638.71/1643.92 c #Conflicts: 1062000 | #Constraints: 42473
1638.71/1643.92 c INPROCESSING
1638.71/1643.92 c GARBAGE COLLECT
1638.71/1643.92 c #Conflicts: 1063000 | #Constraints: 23071
1638.71/1643.92 c #Conflicts: 1064000 | #Constraints: 24071
1638.71/1643.92 c #Conflicts: 1065000 | #Constraints: 25071
1638.71/1643.92 c #Conflicts: 1066000 | #Constraints: 26071
1638.71/1643.92 c #Conflicts: 1067000 | #Constraints: 27071
1638.71/1643.92 c #Conflicts: 1068000 | #Constraints: 28071
1638.71/1643.92 c #Conflicts: 1069000 | #Constraints: 29071
1638.71/1643.92 c #Conflicts: 1070000 | #Constraints: 30071
1638.71/1643.92 c #Conflicts: 1071000 | #Constraints: 31071
1638.71/1643.92 c #Conflicts: 1072000 | #Constraints: 32071
1638.71/1643.92 c #Conflicts: 1073000 | #Constraints: 33071
1638.71/1643.92 c #Conflicts: 1074000 | #Constraints: 34071
1638.71/1643.92 c #Conflicts: 1075000 | #Constraints: 35071
1638.71/1643.92 c #Conflicts: 1076000 | #Constraints: 36071
1638.71/1643.92 c #Conflicts: 1077000 | #Constraints: 37071
1638.71/1643.92 c #Conflicts: 1078000 | #Constraints: 38071
1638.71/1643.92 c #Conflicts: 1079000 | #Constraints: 39071
1638.71/1643.92 c #Conflicts: 1080000 | #Constraints: 40071
1638.71/1643.92 c #Conflicts: 1081000 | #Constraints: 41071
1638.71/1643.92 c #Conflicts: 1082000 | #Constraints: 42071
1638.71/1643.92 c #Conflicts: 1083000 | #Constraints: 43071
1638.71/1643.92 c INPROCESSING
1638.71/1643.92 c GARBAGE COLLECT
1638.71/1643.92 c #Conflicts: 1084000 | #Constraints: 23455
1638.71/1643.92 c #Conflicts: 1085000 | #Constraints: 24455
1638.71/1643.92 c #Conflicts: 1086000 | #Constraints: 25455
1638.71/1643.92 c #Conflicts: 1087000 | #Constraints: 26455
1638.71/1643.92 c #Conflicts: 1088000 | #Constraints: 27455
1638.71/1643.92 c #Conflicts: 1089000 | #Constraints: 28455
1638.71/1643.92 c #Conflicts: 1090000 | #Constraints: 29455
1638.71/1643.92 c #Conflicts: 1091000 | #Constraints: 30455
1638.71/1643.92 c #Conflicts: 1092000 | #Constraints: 31455
1638.71/1643.92 c #Conflicts: 1093000 | #Constraints: 32455
1638.71/1643.92 c #Conflicts: 1094000 | #Constraints: 33455
1638.71/1643.92 c #Conflicts: 1095000 | #Constraints: 34455
1638.71/1643.92 c #Conflicts: 1096000 | #Constraints: 35455
1638.71/1643.92 c #Conflicts: 1097000 | #Constraints: 36455
1638.71/1643.92 c #Conflicts: 1098000 | #Constraints: 37455
1638.71/1643.92 c #Conflicts: 1099000 | #Constraints: 38455
1638.71/1643.92 c #Conflicts: 1100000 | #Constraints: 39455
1638.71/1643.92 c #Conflicts: 1101000 | #Constraints: 40455
1638.71/1643.92 c #Conflicts: 1102000 | #Constraints: 41455
1638.71/1643.92 c #Conflicts: 1103000 | #Constraints: 42455
1638.71/1643.92 c #Conflicts: 1104000 | #Constraints: 43455
1638.71/1643.92 c INPROCESSING
1638.71/1643.92 c GARBAGE COLLECT
1638.71/1643.92 c #Conflicts: 1105000 | #Constraints: 23650
1638.71/1643.92 c #Conflicts: 1106000 | #Constraints: 24650
1638.71/1643.92 c #Conflicts: 1107000 | #Constraints: 25650
1638.71/1643.92 c #Conflicts: 1108000 | #Constraints: 26650
1638.71/1643.92 c #Conflicts: 1109000 | #Constraints: 27650
1638.71/1643.92 c #Conflicts: 1110000 | #Constraints: 28650
1638.71/1643.92 c #Conflicts: 1111000 | #Constraints: 29650
1638.71/1643.92 c #Conflicts: 1112000 | #Constraints: 30650
1638.71/1643.92 c #Conflicts: 1113000 | #Constraints: 31650
1638.71/1643.92 c #Conflicts: 1114000 | #Constraints: 32650
1638.71/1643.92 c #Conflicts: 1115000 | #Constraints: 33650
1638.71/1643.92 c #Conflicts: 1116000 | #Constraints: 34650
1638.71/1643.92 c #Conflicts: 1117000 | #Constraints: 35650
1638.71/1643.92 c #Conflicts: 1118000 | #Constraints: 36650
1638.71/1643.92 c #Conflicts: 1119000 | #Constraints: 37650
1638.71/1643.92 c #Conflicts: 1120000 | #Constraints: 38650
1638.71/1643.92 c #Conflicts: 1121000 | #Constraints: 39650
1881.19/1887.16 c #Conflicts: 1122000 | #Constraints: 40650
1881.19/1887.16 c #Conflicts: 1123000 | #Constraints: 41650
1881.19/1887.16 c #Conflicts: 1124000 | #Constraints: 42650
1881.19/1887.16 c #Conflicts: 1125000 | #Constraints: 43650
1881.19/1887.16 c INPROCESSING
1881.19/1887.16 c GARBAGE COLLECT
1881.19/1887.16 c #Conflicts: 1126000 | #Constraints: 23651
1881.19/1887.16 c #Conflicts: 1127000 | #Constraints: 24651
1881.19/1887.16 c #Conflicts: 1128000 | #Constraints: 25651
1881.19/1887.16 c #Conflicts: 1129000 | #Constraints: 26651
1881.19/1887.16 c #Conflicts: 1130000 | #Constraints: 27651
1881.19/1887.16 c #Conflicts: 1131000 | #Constraints: 28651
1881.19/1887.16 c #Conflicts: 1132000 | #Constraints: 29651
1881.19/1887.16 c #Conflicts: 1133000 | #Constraints: 30651
1881.19/1887.16 c #Conflicts: 1134000 | #Constraints: 31651
1881.19/1887.16 c #Conflicts: 1135000 | #Constraints: 32651
1881.19/1887.16 c #Conflicts: 1136000 | #Constraints: 33651
1881.19/1887.16 c #Conflicts: 1137000 | #Constraints: 34651
1881.19/1887.16 c #Conflicts: 1138000 | #Constraints: 35651
1881.19/1887.16 c #Conflicts: 1139000 | #Constraints: 36651
1881.19/1887.16 c #Conflicts: 1140000 | #Constraints: 37651
1881.19/1887.16 c #Conflicts: 1141000 | #Constraints: 38651
1881.19/1887.16 c #Conflicts: 1142000 | #Constraints: 39651
1881.19/1887.16 c #Conflicts: 1143000 | #Constraints: 40651
1881.19/1887.16 c #Conflicts: 1144000 | #Constraints: 41651
1881.19/1887.16 c #Conflicts: 1145000 | #Constraints: 42651
1881.19/1887.16 c #Conflicts: 1146000 | #Constraints: 43651
1881.19/1887.16 c INPROCESSING
1881.19/1887.16 c GARBAGE COLLECT
1881.19/1887.16 c #Conflicts: 1147000 | #Constraints: 23445
1881.19/1887.16 c #Conflicts: 1148000 | #Constraints: 24445
1881.19/1887.16 c #Conflicts: 1149000 | #Constraints: 25445
1881.19/1887.16 c #Conflicts: 1150000 | #Constraints: 26445
1881.19/1887.16 c #Conflicts: 1151000 | #Constraints: 27445
1881.19/1887.16 c #Conflicts: 1152000 | #Constraints: 28445
1881.19/1887.16 c #Conflicts: 1153000 | #Constraints: 29445
1881.19/1887.16 c #Conflicts: 1154000 | #Constraints: 30445
1881.19/1887.16 c #Conflicts: 1155000 | #Constraints: 31445
1881.19/1887.16 c #Conflicts: 1156000 | #Constraints: 32445
1881.19/1887.16 c #Conflicts: 1157000 | #Constraints: 33445
1881.19/1887.16 c #Conflicts: 1158000 | #Constraints: 34445
1881.19/1887.16 c #Conflicts: 1159000 | #Constraints: 35445
1881.19/1887.16 c #Conflicts: 1160000 | #Constraints: 36445
1881.19/1887.16 c #Conflicts: 1161000 | #Constraints: 37445
1881.19/1887.16 c #Conflicts: 1162000 | #Constraints: 38445
1881.19/1887.16 c #Conflicts: 1163000 | #Constraints: 39445
1881.19/1887.16 c #Conflicts: 1164000 | #Constraints: 40445
1881.19/1887.16 c #Conflicts: 1165000 | #Constraints: 41445
1881.19/1887.16 c #Conflicts: 1166000 | #Constraints: 42445
1881.19/1887.16 c #Conflicts: 1167000 | #Constraints: 43445
1881.19/1887.16 c #Conflicts: 1168000 | #Constraints: 44445
1881.19/1887.16 c INPROCESSING
1881.19/1887.16 c GARBAGE COLLECT
1881.19/1887.16 c #Conflicts: 1169000 | #Constraints: 24050
1881.19/1887.16 c #Conflicts: 1170000 | #Constraints: 25050
1881.19/1887.16 c #Conflicts: 1171000 | #Constraints: 26050
1881.19/1887.16 c #Conflicts: 1172000 | #Constraints: 27050
1881.19/1887.16 c #Conflicts: 1173000 | #Constraints: 28050
1881.19/1887.16 c #Conflicts: 1174000 | #Constraints: 29050
1881.19/1887.16 c #Conflicts: 1175000 | #Constraints: 30050
1881.19/1887.16 c #Conflicts: 1176000 | #Constraints: 31050
1881.19/1887.16 c #Conflicts: 1177000 | #Constraints: 32050
1881.19/1887.16 c #Conflicts: 1178000 | #Constraints: 33050
1881.19/1887.16 c #Conflicts: 1179000 | #Constraints: 34050
1881.19/1887.16 c #Conflicts: 1180000 | #Constraints: 35050
1881.19/1887.16 c #Conflicts: 1181000 | #Constraints: 36050
1881.19/1887.16 c #Conflicts: 1182000 | #Constraints: 37050
1881.19/1887.16 c #Conflicts: 1183000 | #Constraints: 38050
1881.19/1887.16 c #Conflicts: 1184000 | #Constraints: 39050
1881.19/1887.16 c #Conflicts: 1185000 | #Constraints: 40050
1881.19/1887.16 c #Conflicts: 1186000 | #Constraints: 41050
1881.19/1887.16 c #Conflicts: 1187000 | #Constraints: 42050
1881.19/1887.16 c #Conflicts: 1188000 | #Constraints: 43050
1881.19/1887.16 c #Conflicts: 1189000 | #Constraints: 44050
1881.19/1887.16 c #Conflicts: 1190000 | #Constraints: 45050
1881.19/1887.16 c INPROCESSING
1881.19/1887.16 c GARBAGE COLLECT
1881.19/1887.16 c #Conflicts: 1191000 | #Constraints: 24454
1881.19/1887.16 c #Conflicts: 1192000 | #Constraints: 25454
1881.19/1887.16 c #Conflicts: 1193000 | #Constraints: 26454
1881.19/1887.16 c #Conflicts: 1194000 | #Constraints: 27454
1881.19/1887.16 c #Conflicts: 1195000 | #Constraints: 28454
1881.19/1887.16 c #Conflicts: 1196000 | #Constraints: 29454
1881.19/1887.16 c #Conflicts: 1197000 | #Constraints: 30454
2152.97/2159.83 c #Conflicts: 1198000 | #Constraints: 31454
2152.97/2159.83 c #Conflicts: 1199000 | #Constraints: 32454
2152.97/2159.83 c #Conflicts: 1200000 | #Constraints: 33454
2152.97/2159.83 c #Conflicts: 1201000 | #Constraints: 34454
2152.97/2159.83 c #Conflicts: 1202000 | #Constraints: 35454
2152.97/2159.83 c #Conflicts: 1203000 | #Constraints: 36454
2152.97/2159.83 c #Conflicts: 1204000 | #Constraints: 37454
2152.97/2159.83 c #Conflicts: 1205000 | #Constraints: 38454
2152.97/2159.83 c #Conflicts: 1206000 | #Constraints: 39454
2152.97/2159.83 c #Conflicts: 1207000 | #Constraints: 40454
2152.97/2159.83 c #Conflicts: 1208000 | #Constraints: 41454
2152.97/2159.83 c #Conflicts: 1209000 | #Constraints: 42454
2152.97/2159.83 c #Conflicts: 1210000 | #Constraints: 43454
2152.97/2159.83 c #Conflicts: 1211000 | #Constraints: 44454
2152.97/2159.83 c #Conflicts: 1212000 | #Constraints: 45454
2152.97/2159.83 c INPROCESSING
2152.97/2159.83 c GARBAGE COLLECT
2152.97/2159.83 c #Conflicts: 1213000 | #Constraints: 24658
2152.97/2159.83 c #Conflicts: 1214000 | #Constraints: 25658
2152.97/2159.83 c #Conflicts: 1215000 | #Constraints: 26658
2152.97/2159.83 c #Conflicts: 1216000 | #Constraints: 27658
2152.97/2159.83 c #Conflicts: 1217000 | #Constraints: 28658
2152.97/2159.83 c #Conflicts: 1218000 | #Constraints: 29658
2152.97/2159.83 c #Conflicts: 1219000 | #Constraints: 30658
2152.97/2159.83 c #Conflicts: 1220000 | #Constraints: 31658
2152.97/2159.83 c #Conflicts: 1221000 | #Constraints: 32658
2152.97/2159.83 c #Conflicts: 1222000 | #Constraints: 33658
2152.97/2159.83 c #Conflicts: 1223000 | #Constraints: 34658
2152.97/2159.83 c #Conflicts: 1224000 | #Constraints: 35658
2152.97/2159.83 c #Conflicts: 1225000 | #Constraints: 36658
2152.97/2159.83 c #Conflicts: 1226000 | #Constraints: 37658
2152.97/2159.83 c #Conflicts: 1227000 | #Constraints: 38658
2152.97/2159.83 c #Conflicts: 1228000 | #Constraints: 39658
2152.97/2159.83 c #Conflicts: 1229000 | #Constraints: 40658
2152.97/2159.83 c #Conflicts: 1230000 | #Constraints: 41658
2152.97/2159.83 c #Conflicts: 1231000 | #Constraints: 42658
2152.97/2159.83 c #Conflicts: 1232000 | #Constraints: 43658
2152.97/2159.83 c #Conflicts: 1233000 | #Constraints: 44658
2152.97/2159.83 c #Conflicts: 1234000 | #Constraints: 45658
2152.97/2159.83 c INPROCESSING
2152.97/2159.83 c GARBAGE COLLECT
2152.97/2159.83 c #Conflicts: 1235000 | #Constraints: 24653
2152.97/2159.83 c #Conflicts: 1236000 | #Constraints: 25653
2152.97/2159.83 c #Conflicts: 1237000 | #Constraints: 26653
2152.97/2159.83 c #Conflicts: 1238000 | #Constraints: 27653
2152.97/2159.83 c #Conflicts: 1239000 | #Constraints: 28653
2152.97/2159.83 c #Conflicts: 1240000 | #Constraints: 29653
2152.97/2159.83 c #Conflicts: 1241000 | #Constraints: 30653
2152.97/2159.83 c #Conflicts: 1242000 | #Constraints: 31653
2152.97/2159.83 c #Conflicts: 1243000 | #Constraints: 32653
2152.97/2159.83 c #Conflicts: 1244000 | #Constraints: 33653
2152.97/2159.83 c #Conflicts: 1245000 | #Constraints: 34653
2152.97/2159.83 c #Conflicts: 1246000 | #Constraints: 35653
2152.97/2159.83 c #Conflicts: 1247000 | #Constraints: 36653
2152.97/2159.83 c #Conflicts: 1248000 | #Constraints: 37653
2152.97/2159.83 c #Conflicts: 1249000 | #Constraints: 38653
2152.97/2159.83 c #Conflicts: 1250000 | #Constraints: 39653
2152.97/2159.83 c #Conflicts: 1251000 | #Constraints: 40653
2152.97/2159.83 c #Conflicts: 1252000 | #Constraints: 41653
2152.97/2159.83 c #Conflicts: 1253000 | #Constraints: 42653
2152.97/2159.83 c #Conflicts: 1254000 | #Constraints: 43653
2152.97/2159.83 c #Conflicts: 1255000 | #Constraints: 44653
2152.97/2159.83 c #Conflicts: 1256000 | #Constraints: 45653
2152.97/2159.83 c INPROCESSING
2152.97/2159.83 c GARBAGE COLLECT
2152.97/2159.83 c #Conflicts: 1257000 | #Constraints: 24450
2152.97/2159.83 c #Conflicts: 1258000 | #Constraints: 25450
2152.97/2159.83 c #Conflicts: 1259000 | #Constraints: 26450
2152.97/2159.83 c #Conflicts: 1260000 | #Constraints: 27450
2152.97/2159.83 c #Conflicts: 1261000 | #Constraints: 28450
2152.97/2159.83 c #Conflicts: 1262000 | #Constraints: 29450
2152.97/2159.83 c #Conflicts: 1263000 | #Constraints: 30450
2152.97/2159.83 c #Conflicts: 1264000 | #Constraints: 31450
2152.97/2159.83 c #Conflicts: 1265000 | #Constraints: 32450
2152.97/2159.83 c #Conflicts: 1266000 | #Constraints: 33450
2152.97/2159.83 c #Conflicts: 1267000 | #Constraints: 34450
2152.97/2159.83 c #Conflicts: 1268000 | #Constraints: 35450
2152.97/2159.83 c #Conflicts: 1269000 | #Constraints: 36450
2152.97/2159.83 c #Conflicts: 1270000 | #Constraints: 37450
2152.97/2159.83 c #Conflicts: 1271000 | #Constraints: 38450
2152.97/2159.83 c #Conflicts: 1272000 | #Constraints: 39450
2152.97/2159.83 c #Conflicts: 1273000 | #Constraints: 40450
2152.97/2159.83 c #Conflicts: 1274000 | #Constraints: 41450
2362.88/2370.41 c #Conflicts: 1275000 | #Constraints: 42450
2362.88/2370.41 c #Conflicts: 1276000 | #Constraints: 43450
2362.88/2370.41 c #Conflicts: 1277000 | #Constraints: 44450
2362.88/2370.41 c #Conflicts: 1278000 | #Constraints: 45450
2362.88/2370.41 c #Conflicts: 1279000 | #Constraints: 46450
2362.88/2370.41 c INPROCESSING
2362.88/2370.41 c GARBAGE COLLECT
2362.88/2370.41 c #Conflicts: 1280000 | #Constraints: 25053
2362.88/2370.41 c #Conflicts: 1281000 | #Constraints: 26053
2362.88/2370.41 c #Conflicts: 1282000 | #Constraints: 27053
2362.88/2370.41 c #Conflicts: 1283000 | #Constraints: 28053
2362.88/2370.41 c #Conflicts: 1284000 | #Constraints: 29053
2362.88/2370.41 c #Conflicts: 1285000 | #Constraints: 30053
2362.88/2370.41 c #Conflicts: 1286000 | #Constraints: 31053
2362.88/2370.41 c #Conflicts: 1287000 | #Constraints: 32053
2362.88/2370.41 c #Conflicts: 1288000 | #Constraints: 33053
2362.88/2370.41 c #Conflicts: 1289000 | #Constraints: 34053
2362.88/2370.41 c #Conflicts: 1290000 | #Constraints: 35053
2362.88/2370.41 c #Conflicts: 1291000 | #Constraints: 36053
2362.88/2370.41 c #Conflicts: 1292000 | #Constraints: 37053
2362.88/2370.41 c #Conflicts: 1293000 | #Constraints: 38053
2362.88/2370.41 c #Conflicts: 1294000 | #Constraints: 39053
2362.88/2370.41 c #Conflicts: 1295000 | #Constraints: 40053
2362.88/2370.41 c #Conflicts: 1296000 | #Constraints: 41053
2362.88/2370.41 c #Conflicts: 1297000 | #Constraints: 42053
2362.88/2370.41 c #Conflicts: 1298000 | #Constraints: 43053
2362.88/2370.41 c #Conflicts: 1299000 | #Constraints: 44053
2362.88/2370.41 c #Conflicts: 1300000 | #Constraints: 45053
2362.88/2370.41 c #Conflicts: 1301000 | #Constraints: 46053
2362.88/2370.41 c #Conflicts: 1302000 | #Constraints: 47053
2362.88/2370.41 c INPROCESSING
2362.88/2370.41 c GARBAGE COLLECT
2362.88/2370.41 c #Conflicts: 1303000 | #Constraints: 25452
2362.88/2370.41 c #Conflicts: 1304000 | #Constraints: 26452
2362.88/2370.41 c #Conflicts: 1305000 | #Constraints: 27452
2362.88/2370.41 c #Conflicts: 1306000 | #Constraints: 28452
2362.88/2370.41 c #Conflicts: 1307000 | #Constraints: 29452
2362.88/2370.41 c #Conflicts: 1308000 | #Constraints: 30452
2362.88/2370.41 c #Conflicts: 1309000 | #Constraints: 31452
2362.88/2370.41 c #Conflicts: 1310000 | #Constraints: 32452
2362.88/2370.41 c #Conflicts: 1311000 | #Constraints: 33452
2362.88/2370.41 c #Conflicts: 1312000 | #Constraints: 34452
2362.88/2370.41 c #Conflicts: 1313000 | #Constraints: 35452
2362.88/2370.41 c #Conflicts: 1314000 | #Constraints: 36452
2362.88/2370.41 c #Conflicts: 1315000 | #Constraints: 37452
2362.88/2370.41 c #Conflicts: 1316000 | #Constraints: 38452
2362.88/2370.41 c #Conflicts: 1317000 | #Constraints: 39452
2362.88/2370.41 c #Conflicts: 1318000 | #Constraints: 40452
2362.88/2370.41 c #Conflicts: 1319000 | #Constraints: 41452
2362.88/2370.41 c #Conflicts: 1320000 | #Constraints: 42452
2362.88/2370.41 c #Conflicts: 1321000 | #Constraints: 43452
2362.88/2370.41 c #Conflicts: 1322000 | #Constraints: 44452
2362.88/2370.41 c #Conflicts: 1323000 | #Constraints: 45452
2362.88/2370.41 c #Conflicts: 1324000 | #Constraints: 46452
2362.88/2370.41 c #Conflicts: 1325000 | #Constraints: 47452
2362.88/2370.41 c INPROCESSING
2362.88/2370.41 c GARBAGE COLLECT
2362.88/2370.41 c #Conflicts: 1326000 | #Constraints: 25652
2362.88/2370.41 c #Conflicts: 1327000 | #Constraints: 26652
2362.88/2370.41 c #Conflicts: 1328000 | #Constraints: 27652
2362.88/2370.41 c #Conflicts: 1329000 | #Constraints: 28652
2362.88/2370.41 c #Conflicts: 1330000 | #Constraints: 29652
2362.88/2370.41 c #Conflicts: 1331000 | #Constraints: 30652
2362.88/2370.41 c #Conflicts: 1332000 | #Constraints: 31652
2362.88/2370.41 c #Conflicts: 1333000 | #Constraints: 32652
2362.88/2370.41 c #Conflicts: 1334000 | #Constraints: 33652
2362.88/2370.41 c #Conflicts: 1335000 | #Constraints: 34652
2362.88/2370.41 c #Conflicts: 1336000 | #Constraints: 35652
2362.88/2370.41 c #Conflicts: 1337000 | #Constraints: 36652
2362.88/2370.41 c #Conflicts: 1338000 | #Constraints: 37652
2362.88/2370.41 c #Conflicts: 1339000 | #Constraints: 38652
2362.88/2370.41 c #Conflicts: 1340000 | #Constraints: 39652
2362.88/2370.41 c #Conflicts: 1341000 | #Constraints: 40652
2362.88/2370.41 c #Conflicts: 1342000 | #Constraints: 41652
2362.88/2370.41 c #Conflicts: 1343000 | #Constraints: 42652
2362.88/2370.41 c #Conflicts: 1344000 | #Constraints: 43652
2362.88/2370.41 c #Conflicts: 1345000 | #Constraints: 44652
2362.88/2370.41 c #Conflicts: 1346000 | #Constraints: 45652
2362.88/2370.41 c #Conflicts: 1347000 | #Constraints: 46652
2362.88/2370.41 c #Conflicts: 1348000 | #Constraints: 47652
2362.88/2370.41 c INPROCESSING
2362.88/2370.41 c GARBAGE COLLECT
2362.88/2370.41 c #Conflicts: 1349000 | #Constraints: 25650
2362.88/2370.41 c #Conflicts: 1350000 | #Constraints: 26650
2560.35/2568.51 c #Conflicts: 1351000 | #Constraints: 27650
2560.35/2568.51 c #Conflicts: 1352000 | #Constraints: 28650
2560.35/2568.51 c #Conflicts: 1353000 | #Constraints: 29650
2560.35/2568.51 c #Conflicts: 1354000 | #Constraints: 30650
2560.35/2568.51 c #Conflicts: 1355000 | #Constraints: 31650
2560.35/2568.51 c #Conflicts: 1356000 | #Constraints: 32650
2560.35/2568.51 c #Conflicts: 1357000 | #Constraints: 33650
2560.35/2568.51 c #Conflicts: 1358000 | #Constraints: 34650
2560.35/2568.51 c #Conflicts: 1359000 | #Constraints: 35650
2560.35/2568.51 c #Conflicts: 1360000 | #Constraints: 36650
2560.35/2568.51 c #Conflicts: 1361000 | #Constraints: 37650
2560.35/2568.51 c #Conflicts: 1362000 | #Constraints: 38650
2560.35/2568.51 c #Conflicts: 1363000 | #Constraints: 39650
2560.35/2568.51 c #Conflicts: 1364000 | #Constraints: 40650
2560.35/2568.51 c #Conflicts: 1365000 | #Constraints: 41650
2560.35/2568.51 c #Conflicts: 1366000 | #Constraints: 42650
2560.35/2568.51 c #Conflicts: 1367000 | #Constraints: 43650
2560.35/2568.51 c #Conflicts: 1368000 | #Constraints: 44650
2560.35/2568.51 c #Conflicts: 1369000 | #Constraints: 45650
2560.35/2568.51 c #Conflicts: 1370000 | #Constraints: 46650
2560.35/2568.51 c #Conflicts: 1371000 | #Constraints: 47650
2560.35/2568.51 c INPROCESSING
2560.35/2568.51 c GARBAGE COLLECT
2560.35/2568.51 c #Conflicts: 1372000 | #Constraints: 25470
2560.35/2568.51 c #Conflicts: 1373000 | #Constraints: 26470
2560.35/2568.51 c #Conflicts: 1374000 | #Constraints: 27470
2560.35/2568.51 c #Conflicts: 1375000 | #Constraints: 28470
2560.35/2568.51 c #Conflicts: 1376000 | #Constraints: 29470
2560.35/2568.51 c #Conflicts: 1377000 | #Constraints: 30470
2560.35/2568.51 c #Conflicts: 1378000 | #Constraints: 31470
2560.35/2568.51 c #Conflicts: 1379000 | #Constraints: 32470
2560.35/2568.51 c #Conflicts: 1380000 | #Constraints: 33470
2560.35/2568.51 c #Conflicts: 1381000 | #Constraints: 34470
2560.35/2568.51 c #Conflicts: 1382000 | #Constraints: 35470
2560.35/2568.51 c #Conflicts: 1383000 | #Constraints: 36470
2560.35/2568.51 c #Conflicts: 1384000 | #Constraints: 37470
2560.35/2568.51 c #Conflicts: 1385000 | #Constraints: 38470
2560.35/2568.51 c #Conflicts: 1386000 | #Constraints: 39470
2560.35/2568.51 c #Conflicts: 1387000 | #Constraints: 40470
2560.35/2568.51 c #Conflicts: 1388000 | #Constraints: 41470
2560.35/2568.51 c #Conflicts: 1389000 | #Constraints: 42470
2560.35/2568.51 c #Conflicts: 1390000 | #Constraints: 43470
2560.35/2568.51 c #Conflicts: 1391000 | #Constraints: 44470
2560.35/2568.51 c #Conflicts: 1392000 | #Constraints: 45470
2560.35/2568.51 c #Conflicts: 1393000 | #Constraints: 46470
2560.35/2568.51 c #Conflicts: 1394000 | #Constraints: 47470
2560.35/2568.51 c #Conflicts: 1395000 | #Constraints: 48470
2560.35/2568.51 c INPROCESSING
2560.35/2568.51 c GARBAGE COLLECT
2560.35/2568.51 c #Conflicts: 1396000 | #Constraints: 26059
2560.35/2568.51 c #Conflicts: 1397000 | #Constraints: 27059
2560.35/2568.51 c #Conflicts: 1398000 | #Constraints: 28059
2560.35/2568.51 c #Conflicts: 1399000 | #Constraints: 29059
2560.35/2568.51 c #Conflicts: 1400000 | #Constraints: 30059
2560.35/2568.51 c #Conflicts: 1401000 | #Constraints: 31059
2560.35/2568.51 c #Conflicts: 1402000 | #Constraints: 32059
2560.35/2568.51 c #Conflicts: 1403000 | #Constraints: 33059
2560.35/2568.51 c #Conflicts: 1404000 | #Constraints: 34059
2560.35/2568.51 c #Conflicts: 1405000 | #Constraints: 35059
2560.35/2568.51 c #Conflicts: 1406000 | #Constraints: 36059
2560.35/2568.51 c #Conflicts: 1407000 | #Constraints: 37059
2560.35/2568.51 c #Conflicts: 1408000 | #Constraints: 38059
2560.35/2568.51 c #Conflicts: 1409000 | #Constraints: 39059
2560.35/2568.51 c #Conflicts: 1410000 | #Constraints: 40059
2560.35/2568.51 c #Conflicts: 1411000 | #Constraints: 41059
2560.35/2568.51 c #Conflicts: 1412000 | #Constraints: 42059
2560.35/2568.51 c #Conflicts: 1413000 | #Constraints: 43059
2560.35/2568.51 c #Conflicts: 1414000 | #Constraints: 44059
2560.35/2568.51 c #Conflicts: 1415000 | #Constraints: 45059
2560.35/2568.51 c #Conflicts: 1416000 | #Constraints: 46059
2560.35/2568.51 c #Conflicts: 1417000 | #Constraints: 47059
2560.35/2568.51 c #Conflicts: 1418000 | #Constraints: 48059
2560.35/2568.51 c #Conflicts: 1419000 | #Constraints: 49059
2560.35/2568.51 c INPROCESSING
2560.35/2568.51 c GARBAGE COLLECT
2560.35/2568.51 c #Conflicts: 1420000 | #Constraints: 26460
2560.35/2568.51 c #Conflicts: 1421000 | #Constraints: 27460
2560.35/2568.51 c #Conflicts: 1422000 | #Constraints: 28460
2560.35/2568.51 c #Conflicts: 1423000 | #Constraints: 29460
2560.35/2568.51 c #Conflicts: 1424000 | #Constraints: 30460
2560.35/2568.51 c #Conflicts: 1425000 | #Constraints: 31460
2560.35/2568.51 c #Conflicts: 1426000 | #Constraints: 32460
2560.35/2568.51 c #Conflicts: 1427000 | #Constraints: 33460
2774.55/2783.37 c #Conflicts: 1428000 | #Constraints: 34460
2774.55/2783.37 c #Conflicts: 1429000 | #Constraints: 35460
2774.55/2783.37 c #Conflicts: 1430000 | #Constraints: 36460
2774.55/2783.37 c #Conflicts: 1431000 | #Constraints: 37460
2774.55/2783.37 c #Conflicts: 1432000 | #Constraints: 38460
2774.55/2783.37 c #Conflicts: 1433000 | #Constraints: 39460
2774.55/2783.37 c #Conflicts: 1434000 | #Constraints: 40460
2774.55/2783.37 c #Conflicts: 1435000 | #Constraints: 41460
2774.55/2783.37 c #Conflicts: 1436000 | #Constraints: 42460
2774.55/2783.37 c #Conflicts: 1437000 | #Constraints: 43460
2774.55/2783.37 c #Conflicts: 1438000 | #Constraints: 44460
2774.55/2783.37 c #Conflicts: 1439000 | #Constraints: 45460
2774.55/2783.37 c #Conflicts: 1440000 | #Constraints: 46460
2774.55/2783.37 c #Conflicts: 1441000 | #Constraints: 47460
2774.55/2783.37 c #Conflicts: 1442000 | #Constraints: 48460
2774.55/2783.37 c #Conflicts: 1443000 | #Constraints: 49460
2774.55/2783.37 c INPROCESSING
2774.55/2783.37 c GARBAGE COLLECT
2774.55/2783.37 c #Conflicts: 1444000 | #Constraints: 26659
2774.55/2783.37 c #Conflicts: 1445000 | #Constraints: 27659
2774.55/2783.37 c #Conflicts: 1446000 | #Constraints: 28659
2774.55/2783.37 c #Conflicts: 1447000 | #Constraints: 29659
2774.55/2783.37 c #Conflicts: 1448000 | #Constraints: 30659
2774.55/2783.37 c #Conflicts: 1449000 | #Constraints: 31659
2774.55/2783.37 c #Conflicts: 1450000 | #Constraints: 32659
2774.55/2783.37 c #Conflicts: 1451000 | #Constraints: 33659
2774.55/2783.37 c #Conflicts: 1452000 | #Constraints: 34659
2774.55/2783.37 c #Conflicts: 1453000 | #Constraints: 35659
2774.55/2783.37 c #Conflicts: 1454000 | #Constraints: 36659
2774.55/2783.37 c #Conflicts: 1455000 | #Constraints: 37659
2774.55/2783.37 c #Conflicts: 1456000 | #Constraints: 38659
2774.55/2783.37 c #Conflicts: 1457000 | #Constraints: 39659
2774.55/2783.37 c #Conflicts: 1458000 | #Constraints: 40659
2774.55/2783.37 c #Conflicts: 1459000 | #Constraints: 41659
2774.55/2783.37 c #Conflicts: 1460000 | #Constraints: 42659
2774.55/2783.37 c #Conflicts: 1461000 | #Constraints: 43659
2774.55/2783.37 c #Conflicts: 1462000 | #Constraints: 44659
2774.55/2783.37 c #Conflicts: 1463000 | #Constraints: 45659
2774.55/2783.37 c #Conflicts: 1464000 | #Constraints: 46659
2774.55/2783.37 c #Conflicts: 1465000 | #Constraints: 47659
2774.55/2783.37 c #Conflicts: 1466000 | #Constraints: 48659
2774.55/2783.37 c #Conflicts: 1467000 | #Constraints: 49659
2774.55/2783.37 c INPROCESSING
2774.55/2783.37 c GARBAGE COLLECT
2774.55/2783.37 c #Conflicts: 1468000 | #Constraints: 26662
2774.55/2783.37 c #Conflicts: 1469000 | #Constraints: 27662
2774.55/2783.37 c #Conflicts: 1470000 | #Constraints: 28662
2774.55/2783.37 c #Conflicts: 1471000 | #Constraints: 29662
2774.55/2783.37 c #Conflicts: 1472000 | #Constraints: 30662
2774.55/2783.37 c #Conflicts: 1473000 | #Constraints: 31662
2774.55/2783.37 c #Conflicts: 1474000 | #Constraints: 32662
2774.55/2783.37 c #Conflicts: 1475000 | #Constraints: 33662
2774.55/2783.37 c #Conflicts: 1476000 | #Constraints: 34662
2774.55/2783.37 c #Conflicts: 1477000 | #Constraints: 35662
2774.55/2783.37 c #Conflicts: 1478000 | #Constraints: 36662
2774.55/2783.37 c #Conflicts: 1479000 | #Constraints: 37662
2774.55/2783.37 c #Conflicts: 1480000 | #Constraints: 38662
2774.55/2783.37 c #Conflicts: 1481000 | #Constraints: 39662
2774.55/2783.37 c #Conflicts: 1482000 | #Constraints: 40662
2774.55/2783.37 c #Conflicts: 1483000 | #Constraints: 41662
2774.55/2783.37 c #Conflicts: 1484000 | #Constraints: 42662
2774.55/2783.37 c #Conflicts: 1485000 | #Constraints: 43662
2774.55/2783.37 c #Conflicts: 1486000 | #Constraints: 44662
2774.55/2783.37 c #Conflicts: 1487000 | #Constraints: 45662
2774.55/2783.37 c #Conflicts: 1488000 | #Constraints: 46662
2774.55/2783.37 c #Conflicts: 1489000 | #Constraints: 47662
2774.55/2783.37 c #Conflicts: 1490000 | #Constraints: 48662
2774.55/2783.37 c #Conflicts: 1491000 | #Constraints: 49662
2774.55/2783.37 c INPROCESSING
2774.55/2783.37 c GARBAGE COLLECT
2774.55/2783.37 c #Conflicts: 1492000 | #Constraints: 26461
2774.55/2783.37 c #Conflicts: 1493000 | #Constraints: 27461
2774.55/2783.37 c #Conflicts: 1494000 | #Constraints: 28461
2774.55/2783.37 c #Conflicts: 1495000 | #Constraints: 29461
2774.55/2783.37 c #Conflicts: 1496000 | #Constraints: 30461
2774.55/2783.37 c #Conflicts: 1497000 | #Constraints: 31461
2774.55/2783.37 c #Conflicts: 1498000 | #Constraints: 32461
2774.55/2783.37 c #Conflicts: 1499000 | #Constraints: 33461
2774.55/2783.37 c #Conflicts: 1500000 | #Constraints: 34461
2774.55/2783.37 c #Conflicts: 1501000 | #Constraints: 35461
2774.55/2783.37 c #Conflicts: 1502000 | #Constraints: 36461
2774.55/2783.37 c #Conflicts: 1503000 | #Constraints: 37461
2774.55/2783.37 c #Conflicts: 1504000 | #Constraints: 38461
2993.15/3002.52 c #Conflicts: 1505000 | #Constraints: 39461
2993.15/3002.52 c #Conflicts: 1506000 | #Constraints: 40461
2993.15/3002.52 c #Conflicts: 1507000 | #Constraints: 41461
2993.15/3002.52 c #Conflicts: 1508000 | #Constraints: 42461
2993.15/3002.52 c #Conflicts: 1509000 | #Constraints: 43461
2993.15/3002.52 c #Conflicts: 1510000 | #Constraints: 44461
2993.15/3002.52 c #Conflicts: 1511000 | #Constraints: 45461
2993.15/3002.52 c #Conflicts: 1512000 | #Constraints: 46461
2993.15/3002.52 c #Conflicts: 1513000 | #Constraints: 47461
2993.15/3002.52 c #Conflicts: 1514000 | #Constraints: 48461
2993.15/3002.52 c #Conflicts: 1515000 | #Constraints: 49461
2993.15/3002.52 c #Conflicts: 1516000 | #Constraints: 50461
2993.15/3002.52 c INPROCESSING
2993.15/3002.52 c GARBAGE COLLECT
2993.15/3002.52 c #Conflicts: 1517000 | #Constraints: 27048
2993.15/3002.52 c #Conflicts: 1518000 | #Constraints: 28048
2993.15/3002.52 c #Conflicts: 1519000 | #Constraints: 29048
2993.15/3002.52 c #Conflicts: 1520000 | #Constraints: 30048
2993.15/3002.52 c #Conflicts: 1521000 | #Constraints: 31048
2993.15/3002.52 c #Conflicts: 1522000 | #Constraints: 32048
2993.15/3002.52 c #Conflicts: 1523000 | #Constraints: 33048
2993.15/3002.52 c #Conflicts: 1524000 | #Constraints: 34048
2993.15/3002.52 c #Conflicts: 1525000 | #Constraints: 35048
2993.15/3002.52 c #Conflicts: 1526000 | #Constraints: 36048
2993.15/3002.52 c #Conflicts: 1527000 | #Constraints: 37048
2993.15/3002.52 c #Conflicts: 1528000 | #Constraints: 38048
2993.15/3002.52 c #Conflicts: 1529000 | #Constraints: 39048
2993.15/3002.52 c #Conflicts: 1530000 | #Constraints: 40048
2993.15/3002.52 c #Conflicts: 1531000 | #Constraints: 41048
2993.15/3002.52 c #Conflicts: 1532000 | #Constraints: 42048
2993.15/3002.52 c #Conflicts: 1533000 | #Constraints: 43048
2993.15/3002.52 c #Conflicts: 1534000 | #Constraints: 44048
2993.15/3002.52 c #Conflicts: 1535000 | #Constraints: 45048
2993.15/3002.52 c #Conflicts: 1536000 | #Constraints: 46048
2993.15/3002.52 c #Conflicts: 1537000 | #Constraints: 47048
2993.15/3002.52 c #Conflicts: 1538000 | #Constraints: 48048
2993.15/3002.52 c #Conflicts: 1539000 | #Constraints: 49048
2993.15/3002.52 c #Conflicts: 1540000 | #Constraints: 50048
2993.15/3002.52 c #Conflicts: 1541000 | #Constraints: 51048
2993.15/3002.52 c INPROCESSING
2993.15/3002.52 c GARBAGE COLLECT
2993.15/3002.52 c #Conflicts: 1542000 | #Constraints: 27458
2993.15/3002.52 c #Conflicts: 1543000 | #Constraints: 28458
2993.15/3002.52 c #Conflicts: 1544000 | #Constraints: 29458
2993.15/3002.52 c #Conflicts: 1545000 | #Constraints: 30458
2993.15/3002.52 c #Conflicts: 1546000 | #Constraints: 31458
2993.15/3002.52 c #Conflicts: 1547000 | #Constraints: 32458
2993.15/3002.52 c #Conflicts: 1548000 | #Constraints: 33458
2993.15/3002.52 c #Conflicts: 1549000 | #Constraints: 34458
2993.15/3002.52 c #Conflicts: 1550000 | #Constraints: 35458
2993.15/3002.52 c #Conflicts: 1551000 | #Constraints: 36458
2993.15/3002.52 c #Conflicts: 1552000 | #Constraints: 37458
2993.15/3002.52 c #Conflicts: 1553000 | #Constraints: 38458
2993.15/3002.52 c #Conflicts: 1554000 | #Constraints: 39458
2993.15/3002.52 c #Conflicts: 1555000 | #Constraints: 40458
2993.15/3002.52 c #Conflicts: 1556000 | #Constraints: 41458
2993.15/3002.52 c #Conflicts: 1557000 | #Constraints: 42458
2993.15/3002.52 c #Conflicts: 1558000 | #Constraints: 43458
2993.15/3002.52 c #Conflicts: 1559000 | #Constraints: 44458
2993.15/3002.52 c #Conflicts: 1560000 | #Constraints: 45458
2993.15/3002.52 c #Conflicts: 1561000 | #Constraints: 46458
2993.15/3002.52 c #Conflicts: 1562000 | #Constraints: 47458
2993.15/3002.52 c #Conflicts: 1563000 | #Constraints: 48458
2993.15/3002.52 c #Conflicts: 1564000 | #Constraints: 49458
2993.15/3002.52 c #Conflicts: 1565000 | #Constraints: 50458
2993.15/3002.52 c #Conflicts: 1566000 | #Constraints: 51458
2993.15/3002.52 c INPROCESSING
2993.15/3002.52 c GARBAGE COLLECT
2993.15/3002.52 c #Conflicts: 1567000 | #Constraints: 27656
2993.15/3002.52 c #Conflicts: 1568000 | #Constraints: 28656
2993.15/3002.52 c #Conflicts: 1569000 | #Constraints: 29656
2993.15/3002.52 c #Conflicts: 1570000 | #Constraints: 30656
2993.15/3002.52 c #Conflicts: 1571000 | #Constraints: 31656
2993.15/3002.52 c #Conflicts: 1572000 | #Constraints: 32656
2993.15/3002.52 c #Conflicts: 1573000 | #Constraints: 33656
2993.15/3002.52 c #Conflicts: 1574000 | #Constraints: 34656
2993.15/3002.52 c #Conflicts: 1575000 | #Constraints: 35656
2993.15/3002.52 c #Conflicts: 1576000 | #Constraints: 36656
2993.15/3002.52 c #Conflicts: 1577000 | #Constraints: 37656
2993.15/3002.52 c #Conflicts: 1578000 | #Constraints: 38656
2993.15/3002.52 c #Conflicts: 1579000 | #Constraints: 39656
2993.15/3002.52 c #Conflicts: 1580000 | #Constraints: 40656
2993.15/3002.52 c #Conflicts: 1581000 | #Constraints: 41656
3142.10/3151.90 c #Conflicts: 1582000 | #Constraints: 42656
3142.10/3151.90 c #Conflicts: 1583000 | #Constraints: 43656
3142.10/3151.90 c #Conflicts: 1584000 | #Constraints: 44656
3142.10/3151.90 c #Conflicts: 1585000 | #Constraints: 45656
3142.10/3151.90 c #Conflicts: 1586000 | #Constraints: 46656
3142.10/3151.90 c #Conflicts: 1587000 | #Constraints: 47656
3142.10/3151.90 c #Conflicts: 1588000 | #Constraints: 48656
3142.10/3151.90 c #Conflicts: 1589000 | #Constraints: 49656
3142.10/3151.90 c #Conflicts: 1590000 | #Constraints: 50656
3142.10/3151.90 c #Conflicts: 1591000 | #Constraints: 51656
3142.10/3151.90 c INPROCESSING
3142.10/3151.90 c GARBAGE COLLECT
3142.10/3151.90 c #Conflicts: 1592000 | #Constraints: 27655
3142.10/3151.90 c #Conflicts: 1593000 | #Constraints: 28655
3142.10/3151.90 c #Conflicts: 1594000 | #Constraints: 29655
3142.10/3151.90 c #Conflicts: 1595000 | #Constraints: 30655
3142.10/3151.90 c #Conflicts: 1596000 | #Constraints: 31655
3142.10/3151.90 c #Conflicts: 1597000 | #Constraints: 32655
3142.10/3151.90 c #Conflicts: 1598000 | #Constraints: 33655
3142.10/3151.90 c #Conflicts: 1599000 | #Constraints: 34655
3142.10/3151.90 c #Conflicts: 1600000 | #Constraints: 35655
3142.10/3151.90 c #Conflicts: 1601000 | #Constraints: 36655
3142.10/3151.90 c #Conflicts: 1602000 | #Constraints: 37655
3142.10/3151.90 c #Conflicts: 1603000 | #Constraints: 38655
3142.10/3151.90 c #Conflicts: 1604000 | #Constraints: 39655
3142.10/3151.90 c #Conflicts: 1605000 | #Constraints: 40655
3142.10/3151.90 c #Conflicts: 1606000 | #Constraints: 41655
3142.10/3151.90 c #Conflicts: 1607000 | #Constraints: 42655
3142.10/3151.90 c #Conflicts: 1608000 | #Constraints: 43655
3142.10/3151.90 c #Conflicts: 1609000 | #Constraints: 44655
3142.10/3151.90 c #Conflicts: 1610000 | #Constraints: 45655
3142.10/3151.90 c #Conflicts: 1611000 | #Constraints: 46655
3142.10/3151.90 c #Conflicts: 1612000 | #Constraints: 47655
3142.10/3151.90 c #Conflicts: 1613000 | #Constraints: 48655
3142.10/3151.90 c #Conflicts: 1614000 | #Constraints: 49655
3142.10/3151.90 c #Conflicts: 1615000 | #Constraints: 50655
3142.10/3151.90 c #Conflicts: 1616000 | #Constraints: 51655
3142.10/3151.90 c INPROCESSING
3142.10/3151.90 c GARBAGE COLLECT
3142.10/3151.90 c #Conflicts: 1617000 | #Constraints: 27449
3142.10/3151.90 c #Conflicts: 1618000 | #Constraints: 28449
3142.10/3151.90 c #Conflicts: 1619000 | #Constraints: 29449
3142.10/3151.90 c #Conflicts: 1620000 | #Constraints: 30449
3142.10/3151.90 c #Conflicts: 1621000 | #Constraints: 31449
3142.10/3151.90 c #Conflicts: 1622000 | #Constraints: 32449
3142.10/3151.90 c #Conflicts: 1623000 | #Constraints: 33449
3142.10/3151.90 c #Conflicts: 1624000 | #Constraints: 34449
3142.10/3151.90 c #Conflicts: 1625000 | #Constraints: 35449
3142.10/3151.90 c #Conflicts: 1626000 | #Constraints: 36449
3142.10/3151.90 c #Conflicts: 1627000 | #Constraints: 37449
3142.10/3151.90 c #Conflicts: 1628000 | #Constraints: 38449
3142.10/3151.90 c #Conflicts: 1629000 | #Constraints: 39449
3142.10/3151.90 c #Conflicts: 1630000 | #Constraints: 40449
3142.10/3151.90 c #Conflicts: 1631000 | #Constraints: 41449
3142.10/3151.90 c GLOBAL bounds - >= 1825130206476 @ 3103.18
3142.10/3151.93 c GLOBAL bounds - >= 1825130206476 @ 3103.21
3142.10/3151.96 c GLOBAL bounds - >= 1825130206476 @ 3103.24
3142.10/3151.97 c GLOBAL bounds - >= 1825130206476 @ 3103.24
3142.10/3152.00 c GLOBAL bounds - >= 1825130206476 @ 3103.26
3142.10/3152.01 c GLOBAL bounds - >= 1825130206476 @ 3103.26
3142.21/3152.05 c GLOBAL bounds - >= 1825130206476 @ 3103.29
3142.21/3152.05 c GLOBAL bounds - >= 1825130206476 @ 3103.29
3142.21/3152.09 c GLOBAL bounds - >= 1825130206476 @ 3103.32
3142.21/3152.09 c GLOBAL bounds - >= 1825130206476 @ 3103.32
3142.31/3152.13 c GLOBAL bounds - >= 1825130206476 @ 3103.35
3142.31/3152.13 c GLOBAL bounds - >= 1825130206476 @ 3103.35
3142.31/3152.17 c GLOBAL bounds - >= 1825130206476 @ 3103.37
3142.31/3152.18 c GLOBAL bounds - >= 1825130206476 @ 3103.38
3142.40/3152.22 c GLOBAL bounds - >= 1825130206476 @ 3103.4
3142.40/3152.22 c GLOBAL bounds - >= 1825130206476 @ 3103.41
3142.40/3152.26 c GLOBAL bounds - >= 1825130206476 @ 3103.44
3142.40/3152.27 c GLOBAL bounds - >= 1825130206476 @ 3103.44
3142.50/3152.31 c GLOBAL bounds - >= 1825130206476 @ 3103.47
3142.50/3152.31 c GLOBAL bounds - >= 1825130206476 @ 3103.47
3142.50/3152.35 c GLOBAL bounds - >= 1825130206476 @ 3103.5
3142.60/3152.40 c GLOBAL bounds - >= 1825130206476 @ 3103.54
3142.60/3152.43 c GLOBAL bounds - >= 1825130206476 @ 3103.56
3142.60/3152.47 c GLOBAL bounds - >= 1825130206476 @ 3103.58
3254.66/3264.89 c #Conflicts: 1632000 | #Constraints: 42482
3254.66/3264.89 c #Conflicts: 1633000 | #Constraints: 43482
3254.66/3264.89 c #Conflicts: 1634000 | #Constraints: 44482
3254.66/3264.89 c #Conflicts: 1635000 | #Constraints: 45482
3254.66/3264.89 c #Conflicts: 1636000 | #Constraints: 46482
3254.66/3264.89 c #Conflicts: 1637000 | #Constraints: 47482
3254.66/3264.89 c #Conflicts: 1638000 | #Constraints: 48482
3254.66/3264.89 c #Conflicts: 1639000 | #Constraints: 49482
3254.66/3264.89 c #Conflicts: 1640000 | #Constraints: 50482
3254.66/3264.89 c #Conflicts: 1641000 | #Constraints: 51482
3254.66/3264.89 c #Conflicts: 1642000 | #Constraints: 52482
3254.66/3264.89 c INPROCESSING
3254.66/3264.89 c GARBAGE COLLECT
3254.66/3264.89 c #Conflicts: 1643000 | #Constraints: 28084
3254.66/3264.89 c #Conflicts: 1644000 | #Constraints: 29084
3254.66/3264.89 c #Conflicts: 1645000 | #Constraints: 30084
3254.66/3264.89 c #Conflicts: 1646000 | #Constraints: 31084
3254.66/3264.89 c #Conflicts: 1647000 | #Constraints: 32084
3254.66/3264.89 c #Conflicts: 1648000 | #Constraints: 33084
3254.66/3264.89 c #Conflicts: 1649000 | #Constraints: 34084
3254.66/3264.89 c #Conflicts: 1650000 | #Constraints: 35084
3254.66/3264.89 c #Conflicts: 1651000 | #Constraints: 36084
3254.66/3264.89 c #Conflicts: 1652000 | #Constraints: 37084
3254.66/3264.89 c #Conflicts: 1653000 | #Constraints: 38084
3254.66/3264.89 c #Conflicts: 1654000 | #Constraints: 39084
3254.66/3264.89 c #Conflicts: 1655000 | #Constraints: 40084
3254.66/3264.89 c #Conflicts: 1656000 | #Constraints: 41084
3254.66/3264.89 c #Conflicts: 1657000 | #Constraints: 42084
3254.66/3264.89 c #Conflicts: 1658000 | #Constraints: 43084
3254.66/3264.89 c #Conflicts: 1659000 | #Constraints: 44084
3254.66/3264.89 c #Conflicts: 1660000 | #Constraints: 45084
3254.66/3264.89 c #Conflicts: 1661000 | #Constraints: 46084
3254.66/3264.89 c #Conflicts: 1662000 | #Constraints: 47084
3254.66/3264.89 c #Conflicts: 1663000 | #Constraints: 48084
3254.66/3264.89 c #Conflicts: 1664000 | #Constraints: 49084
3254.66/3264.89 c #Conflicts: 1665000 | #Constraints: 50084
3254.66/3264.89 c #Conflicts: 1666000 | #Constraints: 51084
3254.66/3264.89 c #Conflicts: 1667000 | #Constraints: 52084
3254.66/3264.89 c #Conflicts: 1668000 | #Constraints: 53084
3254.66/3264.89 c INPROCESSING
3254.66/3264.89 c GARBAGE COLLECT
3254.66/3264.89 c #Conflicts: 1669000 | #Constraints: 28478
3254.66/3264.89 c #Conflicts: 1670000 | #Constraints: 29478
3254.66/3264.89 c #Conflicts: 1671000 | #Constraints: 30478
3254.66/3264.89 c #Conflicts: 1672000 | #Constraints: 31478
3254.66/3264.89 c #Conflicts: 1673000 | #Constraints: 32478
3254.66/3264.89 c #Conflicts: 1674000 | #Constraints: 33478
3254.66/3264.89 c #Conflicts: 1675000 | #Constraints: 34478
3254.66/3264.89 c #Conflicts: 1676000 | #Constraints: 35478
3254.66/3264.89 c #Conflicts: 1677000 | #Constraints: 36478
3254.66/3264.89 c #Conflicts: 1678000 | #Constraints: 37478
3254.66/3264.89 c #Conflicts: 1679000 | #Constraints: 38478
3254.66/3264.89 c #Conflicts: 1680000 | #Constraints: 39478
3254.66/3264.89 c #Conflicts: 1681000 | #Constraints: 40478
3254.66/3264.89 c #Conflicts: 1682000 | #Constraints: 41478
3254.66/3264.89 c #Conflicts: 1683000 | #Constraints: 42478
3254.66/3264.89 c #Conflicts: 1684000 | #Constraints: 43478
3254.66/3264.89 c #Conflicts: 1685000 | #Constraints: 44478
3254.66/3264.89 c #Conflicts: 1686000 | #Constraints: 45478
3254.66/3264.89 c #Conflicts: 1687000 | #Constraints: 46478
3254.66/3264.89 c #Conflicts: 1688000 | #Constraints: 47478
3254.66/3264.89 c #Conflicts: 1689000 | #Constraints: 48478
3254.66/3264.89 c #Conflicts: 1690000 | #Constraints: 49478
3254.66/3264.89 c #Conflicts: 1691000 | #Constraints: 50478
3254.66/3264.89 c #Conflicts: 1692000 | #Constraints: 51478
3254.66/3264.89 c #Conflicts: 1693000 | #Constraints: 52478
3254.66/3264.89 c #Conflicts: 1694000 | #Constraints: 53478
3254.66/3264.89 c INPROCESSING
3254.66/3264.89 c GARBAGE COLLECT
3254.66/3264.89 c #Conflicts: 1695000 | #Constraints: 28680
3254.66/3264.89 c #Conflicts: 1696000 | #Constraints: 29680
3254.66/3264.89 c #Conflicts: 1697000 | #Constraints: 30680
3254.66/3264.89 c #Conflicts: 1698000 | #Constraints: 31680
3254.66/3264.89 c #Conflicts: 1699000 | #Constraints: 32680
3254.66/3264.89 c #Conflicts: 1700000 | #Constraints: 33680
3254.66/3264.89 c #Conflicts: 1701000 | #Constraints: 34680
3254.66/3264.89 c #Conflicts: 1702000 | #Constraints: 35680
3254.66/3264.89 c #Conflicts: 1703000 | #Constraints: 36680
3254.66/3264.89 c #Conflicts: 1704000 | #Constraints: 37680
3254.66/3264.89 c #Conflicts: 1705000 | #Constraints: 38680
3254.66/3264.89 c #Conflicts: 1706000 | #Constraints: 39680
3254.66/3264.89 c #Conflicts: 1707000 | #Constraints: 40680
3254.66/3264.89 c #Conflicts: 1708000 | #Constraints: 41680
3375.08/3385.64 c #Conflicts: 1709000 | #Constraints: 42680
3375.08/3385.64 c #Conflicts: 1710000 | #Constraints: 43680
3375.08/3385.64 c #Conflicts: 1711000 | #Constraints: 44680
3375.08/3385.64 c #Conflicts: 1712000 | #Constraints: 45680
3375.08/3385.64 c #Conflicts: 1713000 | #Constraints: 46680
3375.08/3385.64 c #Conflicts: 1714000 | #Constraints: 47680
3375.08/3385.64 c #Conflicts: 1715000 | #Constraints: 48680
3375.08/3385.64 c #Conflicts: 1716000 | #Constraints: 49680
3375.08/3385.64 c #Conflicts: 1717000 | #Constraints: 50680
3375.08/3385.64 c #Conflicts: 1718000 | #Constraints: 51680
3375.08/3385.64 c #Conflicts: 1719000 | #Constraints: 52680
3375.08/3385.64 c #Conflicts: 1720000 | #Constraints: 53680
3375.08/3385.64 c INPROCESSING
3375.08/3385.64 c GARBAGE COLLECT
3375.08/3385.64 c #Conflicts: 1721000 | #Constraints: 28673
3375.08/3385.64 c #Conflicts: 1722000 | #Constraints: 29673
3375.08/3385.64 c #Conflicts: 1723000 | #Constraints: 30673
3375.08/3385.64 c #Conflicts: 1724000 | #Constraints: 31673
3375.08/3385.64 c #Conflicts: 1725000 | #Constraints: 32673
3375.08/3385.64 c #Conflicts: 1726000 | #Constraints: 33673
3375.08/3385.64 c #Conflicts: 1727000 | #Constraints: 34673
3375.08/3385.64 c #Conflicts: 1728000 | #Constraints: 35673
3375.08/3385.64 c #Conflicts: 1729000 | #Constraints: 36673
3375.08/3385.64 c #Conflicts: 1730000 | #Constraints: 37673
3375.08/3385.64 c #Conflicts: 1731000 | #Constraints: 38673
3375.08/3385.64 c #Conflicts: 1732000 | #Constraints: 39673
3375.08/3385.64 c #Conflicts: 1733000 | #Constraints: 40673
3375.08/3385.64 c #Conflicts: 1734000 | #Constraints: 41673
3375.08/3385.64 c #Conflicts: 1735000 | #Constraints: 42673
3375.08/3385.64 c #Conflicts: 1736000 | #Constraints: 43673
3375.08/3385.64 c #Conflicts: 1737000 | #Constraints: 44673
3375.08/3385.64 c #Conflicts: 1738000 | #Constraints: 45673
3375.08/3385.64 c #Conflicts: 1739000 | #Constraints: 46673
3375.08/3385.64 c #Conflicts: 1740000 | #Constraints: 47673
3375.08/3385.64 c #Conflicts: 1741000 | #Constraints: 48673
3375.08/3385.64 c #Conflicts: 1742000 | #Constraints: 49673
3375.08/3385.64 c #Conflicts: 1743000 | #Constraints: 50673
3375.08/3385.64 c #Conflicts: 1744000 | #Constraints: 51673
3375.08/3385.64 c #Conflicts: 1745000 | #Constraints: 52673
3375.08/3385.64 c #Conflicts: 1746000 | #Constraints: 53673
3375.08/3385.64 c INPROCESSING
3375.08/3385.64 c GARBAGE COLLECT
3375.08/3385.64 c #Conflicts: 1747000 | #Constraints: 28478
3375.08/3385.64 c #Conflicts: 1748000 | #Constraints: 29478
3375.08/3385.64 c #Conflicts: 1749000 | #Constraints: 30478
3375.08/3385.64 c #Conflicts: 1750000 | #Constraints: 31478
3375.08/3385.64 c #Conflicts: 1751000 | #Constraints: 32478
3375.08/3385.64 c #Conflicts: 1752000 | #Constraints: 33478
3375.08/3385.64 c #Conflicts: 1753000 | #Constraints: 34478
3375.08/3385.64 c #Conflicts: 1754000 | #Constraints: 35478
3375.08/3385.64 c #Conflicts: 1755000 | #Constraints: 36478
3375.08/3385.64 c #Conflicts: 1756000 | #Constraints: 37478
3375.08/3385.64 c #Conflicts: 1757000 | #Constraints: 38478
3375.08/3385.64 c #Conflicts: 1758000 | #Constraints: 39478
3375.08/3385.64 c #Conflicts: 1759000 | #Constraints: 40478
3375.08/3385.64 c #Conflicts: 1760000 | #Constraints: 41478
3375.08/3385.64 c #Conflicts: 1761000 | #Constraints: 42478
3375.08/3385.64 c #Conflicts: 1762000 | #Constraints: 43478
3375.08/3385.64 c #Conflicts: 1763000 | #Constraints: 44478
3375.08/3385.64 c #Conflicts: 1764000 | #Constraints: 45478
3375.08/3385.64 c #Conflicts: 1765000 | #Constraints: 46478
3375.08/3385.64 c #Conflicts: 1766000 | #Constraints: 47478
3375.08/3385.64 c #Conflicts: 1767000 | #Constraints: 48478
3375.08/3385.64 c #Conflicts: 1768000 | #Constraints: 49478
3375.08/3385.64 c #Conflicts: 1769000 | #Constraints: 50478
3375.08/3385.64 c #Conflicts: 1770000 | #Constraints: 51478
3375.08/3385.64 c #Conflicts: 1771000 | #Constraints: 52478
3375.08/3385.64 c #Conflicts: 1772000 | #Constraints: 53478
3375.08/3385.64 c #Conflicts: 1773000 | #Constraints: 54478
3375.08/3385.64 c INPROCESSING
3375.08/3385.64 c GARBAGE COLLECT
3375.08/3385.64 c #Conflicts: 1774000 | #Constraints: 29078
3375.08/3385.64 c #Conflicts: 1775000 | #Constraints: 30078
3375.08/3385.64 c #Conflicts: 1776000 | #Constraints: 31078
3375.08/3385.64 c #Conflicts: 1777000 | #Constraints: 32078
3375.08/3385.64 c #Conflicts: 1778000 | #Constraints: 33078
3375.08/3385.64 c #Conflicts: 1779000 | #Constraints: 34078
3375.08/3385.64 c #Conflicts: 1780000 | #Constraints: 35078
3375.08/3385.64 c #Conflicts: 1781000 | #Constraints: 36078
3375.08/3385.64 c #Conflicts: 1782000 | #Constraints: 37078
3375.08/3385.64 c #Conflicts: 1783000 | #Constraints: 38078
3375.08/3385.64 c #Conflicts: 1784000 | #Constraints: 39078
3375.08/3385.64 c #Conflicts: 1785000 | #Constraints: 40078
3484.46/3495.32 c #Conflicts: 1786000 | #Constraints: 41078
3484.46/3495.32 c #Conflicts: 1787000 | #Constraints: 42078
3484.46/3495.32 c #Conflicts: 1788000 | #Constraints: 43078
3484.46/3495.32 c #Conflicts: 1789000 | #Constraints: 44078
3484.46/3495.32 c #Conflicts: 1790000 | #Constraints: 45078
3484.46/3495.32 c #Conflicts: 1791000 | #Constraints: 46078
3484.46/3495.32 c #Conflicts: 1792000 | #Constraints: 47078
3484.46/3495.32 c #Conflicts: 1793000 | #Constraints: 48078
3484.46/3495.32 c #Conflicts: 1794000 | #Constraints: 49078
3484.46/3495.32 c #Conflicts: 1795000 | #Constraints: 50078
3484.46/3495.32 c #Conflicts: 1796000 | #Constraints: 51078
3484.46/3495.32 c #Conflicts: 1797000 | #Constraints: 52078
3484.46/3495.32 c #Conflicts: 1798000 | #Constraints: 53078
3484.46/3495.32 c #Conflicts: 1799000 | #Constraints: 54078
3484.46/3495.32 c #Conflicts: 1800000 | #Constraints: 55078
3484.46/3495.32 c INPROCESSING
3484.46/3495.32 c GARBAGE COLLECT
3484.46/3495.32 c #Conflicts: 1801000 | #Constraints: 29484
3484.46/3495.32 c #Conflicts: 1802000 | #Constraints: 30484
3484.46/3495.32 c #Conflicts: 1803000 | #Constraints: 31484
3484.46/3495.32 c #Conflicts: 1804000 | #Constraints: 32484
3484.46/3495.32 c #Conflicts: 1805000 | #Constraints: 33484
3484.46/3495.32 c #Conflicts: 1806000 | #Constraints: 34484
3484.46/3495.32 c #Conflicts: 1807000 | #Constraints: 35484
3484.46/3495.32 c #Conflicts: 1808000 | #Constraints: 36484
3484.46/3495.32 c #Conflicts: 1809000 | #Constraints: 37484
3484.46/3495.32 c #Conflicts: 1810000 | #Constraints: 38484
3484.46/3495.32 c #Conflicts: 1811000 | #Constraints: 39484
3484.46/3495.32 c #Conflicts: 1812000 | #Constraints: 40484
3484.46/3495.32 c #Conflicts: 1813000 | #Constraints: 41484
3484.46/3495.32 c #Conflicts: 1814000 | #Constraints: 42484
3484.46/3495.32 c #Conflicts: 1815000 | #Constraints: 43484
3484.46/3495.32 c #Conflicts: 1816000 | #Constraints: 44484
3484.46/3495.32 c #Conflicts: 1817000 | #Constraints: 45484
3484.46/3495.32 c #Conflicts: 1818000 | #Constraints: 46484
3484.46/3495.32 c #Conflicts: 1819000 | #Constraints: 47484
3484.46/3495.32 c #Conflicts: 1820000 | #Constraints: 48484
3484.46/3495.32 c #Conflicts: 1821000 | #Constraints: 49484
3484.46/3495.32 c #Conflicts: 1822000 | #Constraints: 50484
3484.46/3495.32 c #Conflicts: 1823000 | #Constraints: 51484
3484.46/3495.32 c #Conflicts: 1824000 | #Constraints: 52484
3484.46/3495.32 c #Conflicts: 1825000 | #Constraints: 53484
3484.46/3495.32 c #Conflicts: 1826000 | #Constraints: 54484
3484.46/3495.32 c #Conflicts: 1827000 | #Constraints: 55484
3484.46/3495.32 c INPROCESSING
3484.46/3495.32 c GARBAGE COLLECT
3484.46/3495.32 c #Conflicts: 1828000 | #Constraints: 29691
3484.46/3495.32 c #Conflicts: 1829000 | #Constraints: 30691
3484.46/3495.32 c #Conflicts: 1830000 | #Constraints: 31691
3484.46/3495.32 c #Conflicts: 1831000 | #Constraints: 32691
3484.46/3495.32 c #Conflicts: 1832000 | #Constraints: 33691
3484.46/3495.32 c #Conflicts: 1833000 | #Constraints: 34691
3484.46/3495.32 c #Conflicts: 1834000 | #Constraints: 35691
3484.46/3495.32 c #Conflicts: 1835000 | #Constraints: 36691
3484.46/3495.32 c #Conflicts: 1836000 | #Constraints: 37691
3484.46/3495.32 c #Conflicts: 1837000 | #Constraints: 38691
3484.46/3495.32 c #Conflicts: 1838000 | #Constraints: 39691
3484.46/3495.32 c #Conflicts: 1839000 | #Constraints: 40691
3484.46/3495.32 c #Conflicts: 1840000 | #Constraints: 41691
3484.46/3495.32 c #Conflicts: 1841000 | #Constraints: 42691
3484.46/3495.32 c #Conflicts: 1842000 | #Constraints: 43691
3484.46/3495.32 c #Conflicts: 1843000 | #Constraints: 44691
3484.46/3495.32 c #Conflicts: 1844000 | #Constraints: 45691
3484.46/3495.32 c #Conflicts: 1845000 | #Constraints: 46691
3484.46/3495.32 c #Conflicts: 1846000 | #Constraints: 47691
3484.46/3495.32 c #Conflicts: 1847000 | #Constraints: 48691
3484.46/3495.32 c #Conflicts: 1848000 | #Constraints: 49691
3484.46/3495.32 c #Conflicts: 1849000 | #Constraints: 50691
3484.46/3495.32 c #Conflicts: 1850000 | #Constraints: 51691
3484.46/3495.32 c #Conflicts: 1851000 | #Constraints: 52691
3484.46/3495.32 c #Conflicts: 1852000 | #Constraints: 53691
3484.46/3495.32 c #Conflicts: 1853000 | #Constraints: 54691
3484.46/3495.32 c #Conflicts: 1854000 | #Constraints: 55691
3484.46/3495.32 c INPROCESSING
3484.46/3495.32 c GARBAGE COLLECT
3484.46/3495.32 c #Conflicts: 1855000 | #Constraints: 29674
3484.46/3495.32 c #Conflicts: 1856000 | #Constraints: 30674
3484.46/3495.32 c #Conflicts: 1857000 | #Constraints: 31674
3484.46/3495.32 c #Conflicts: 1858000 | #Constraints: 32674
3484.46/3495.32 c #Conflicts: 1859000 | #Constraints: 33674
3484.46/3495.32 c #Conflicts: 1860000 | #Constraints: 34674
3484.46/3495.32 c #Conflicts: 1861000 | #Constraints: 35674
3484.46/3495.32 c #Conflicts: 1862000 | #Constraints: 36674
3600.00/3611.20 c #Conflicts: 1863000 | #Constraints: 37674
3600.00/3611.20 c #Conflicts: 1864000 | #Constraints: 38674
3600.00/3611.20 c #Conflicts: 1865000 | #Constraints: 39674
3600.00/3611.20 c #Conflicts: 1866000 | #Constraints: 40674
3600.00/3611.20 c #Conflicts: 1867000 | #Constraints: 41674
3600.00/3611.20 c #Conflicts: 1868000 | #Constraints: 42674
3600.00/3611.20 c #Conflicts: 1869000 | #Constraints: 43674
3600.00/3611.20 c #Conflicts: 1870000 | #Constraints: 44674
3600.00/3611.20 c #Conflicts: 1871000 | #Constraints: 45674
3600.00/3611.20 c #Conflicts: 1872000 | #Constraints: 46674
3600.00/3611.20 c #Conflicts: 1873000 | #Constraints: 47674
3600.00/3611.20 c #Conflicts: 1874000 | #Constraints: 48674
3600.00/3611.20 c #Conflicts: 1875000 | #Constraints: 49674
3600.00/3611.20 c #Conflicts: 1876000 | #Constraints: 50674
3600.00/3611.20 c #Conflicts: 1877000 | #Constraints: 51674
3600.00/3611.20 c #Conflicts: 1878000 | #Constraints: 52674
3600.00/3611.20 c #Conflicts: 1879000 | #Constraints: 53674
3600.00/3611.20 c #Conflicts: 1880000 | #Constraints: 54674
3600.00/3611.20 c #Conflicts: 1881000 | #Constraints: 55674
3600.00/3611.20 c INPROCESSING
3600.00/3611.20 c GARBAGE COLLECT
3600.00/3611.20 c #Conflicts: 1882000 | #Constraints: 29471
3600.00/3611.20 c #Conflicts: 1883000 | #Constraints: 30471
3600.00/3611.20 c #Conflicts: 1884000 | #Constraints: 31471
3600.00/3611.20 c #Conflicts: 1885000 | #Constraints: 32471
3600.00/3611.20 c #Conflicts: 1886000 | #Constraints: 33471
3600.00/3611.20 c #Conflicts: 1887000 | #Constraints: 34471
3600.00/3611.20 c #Conflicts: 1888000 | #Constraints: 35471
3600.00/3611.20 c #Conflicts: 1889000 | #Constraints: 36471
3600.00/3611.20 c #Conflicts: 1890000 | #Constraints: 37471
3600.00/3611.20 c #Conflicts: 1891000 | #Constraints: 38471
3600.00/3611.20 c #Conflicts: 1892000 | #Constraints: 39471
3600.00/3611.20 c #Conflicts: 1893000 | #Constraints: 40471
3600.00/3611.20 c #Conflicts: 1894000 | #Constraints: 41471
3600.00/3611.20 c #Conflicts: 1895000 | #Constraints: 42471
3600.00/3611.20 c #Conflicts: 1896000 | #Constraints: 43471
3600.00/3611.20 c #Conflicts: 1897000 | #Constraints: 44471
3600.00/3611.20 c #Conflicts: 1898000 | #Constraints: 45471
3600.00/3611.20 c #Conflicts: 1899000 | #Constraints: 46471
3600.00/3611.20 c #Conflicts: 1900000 | #Constraints: 47471
3600.00/3611.20 c #Conflicts: 1901000 | #Constraints: 48471
3600.00/3611.20 c #Conflicts: 1902000 | #Constraints: 49471
3600.00/3611.20 c #Conflicts: 1903000 | #Constraints: 50471
3600.00/3611.20 c #Conflicts: 1904000 | #Constraints: 51471
3600.00/3611.20 c #Conflicts: 1905000 | #Constraints: 52471
3600.00/3611.20 c #Conflicts: 1906000 | #Constraints: 53471
3600.00/3611.20 c #Conflicts: 1907000 | #Constraints: 54471
3600.00/3611.20 c #Conflicts: 1908000 | #Constraints: 55471
3600.00/3611.20 c #Conflicts: 1909000 | #Constraints: 56471
3600.00/3611.20 c INPROCESSING
3600.00/3611.20 c GARBAGE COLLECT
3600.00/3611.20 c #Conflicts: 1910000 | #Constraints: 30077
3600.00/3611.20 c #Conflicts: 1911000 | #Constraints: 31077
3600.00/3611.20 c #Conflicts: 1912000 | #Constraints: 32077
3600.00/3611.20 c #Conflicts: 1913000 | #Constraints: 33077
3600.00/3611.20 c #Conflicts: 1914000 | #Constraints: 34077
3600.00/3611.20 c #Conflicts: 1915000 | #Constraints: 35077
3600.00/3611.20 c #Conflicts: 1916000 | #Constraints: 36077
3600.00/3611.20 c #Conflicts: 1917000 | #Constraints: 37077
3600.00/3611.20 c #Conflicts: 1918000 | #Constraints: 38077
3600.00/3611.20 c #Conflicts: 1919000 | #Constraints: 39077
3600.00/3611.20 c #Conflicts: 1920000 | #Constraints: 40077
3600.00/3611.20 c #Conflicts: 1921000 | #Constraints: 41077
3600.00/3611.20 c #Conflicts: 1922000 | #Constraints: 42077
3600.00/3611.20 c #Conflicts: 1923000 | #Constraints: 43077
3600.00/3611.20 c cpu time 3556.03 s
3600.00/3611.20 c deterministic time 5608684 5.61e+06
3600.00/3611.20 c optimization time 3554.55 s
3600.00/3611.20 c total solve time 0.505724 s
3600.00/3611.20 c core-guided solve time 0 s
3600.00/3611.20 c propagation time 0.342939 s
3600.00/3611.20 c conflict analysis time 0.026515 s
3600.00/3611.20 c propagations 524339
3600.00/3611.20 c resolve steps 0
3600.00/3611.20 c decisions 493939
3600.00/3611.20 c conflicts 8
3600.00/3611.20 c restarts 1
3600.00/3611.20 c inprocessing phases 0
3600.00/3611.20 c garbage collections 0 ,( -nan )
3600.00/3611.20 c input clauses 98738 ,( 98.20 )
3600.00/3611.20 c input cardinalities 1561 ,( 1.55 )
3600.00/3611.20 c input general constraints 247 ,( 0.25 )
3600.00/3611.20 c input average constraint length 19.63
3600.00/3611.20 c input average constraint degree 473020426072.97
3600.00/3611.20 c learned clauses 180 ,( 82.57 )
3600.00/3611.20 c learned cardinalities 0 ,( 0.00 )
3600.00/3611.20 c learned general constraints 38 ,( 17.43 )
3600.00/3611.20 c learned average constraint length 3.24
3600.00/3611.20 c learned average constraint degree 1.22
3600.00/3611.20 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3611.20 c counting CF 32, 64, 128, Arb: 81 , 205 , 0 , 0
3600.00/3611.20 c watched constraints 0 ,( 0.00 )
3600.00/3611.20 c counting constraints 285 ,( 100.00 )
3600.00/3611.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283966 , 12186 , 1240011 ,( 0 , 1240011 )
3600.00/3611.20 c gcd simplifications 0
3600.00/3611.20 c detected cardinalities 0
3600.00/3611.20 c weakened non-implied lits 0
3600.00/3611.20 c weakened non-implying lits 0
3600.00/3611.20 c original variables 21101
3600.00/3611.20 c clausal propagations 273964
3600.00/3611.20 c cardinality propagations 170
3600.00/3611.20 c watched propagations 0
3600.00/3611.20 c counting propagations 20075
3600.00/3611.20 c watch lookups 3070471
3600.00/3611.20 c watch backjump lookups 0
3600.00/3611.20 c watch checks 144223
3600.00/3611.20 c propagation checks 350018
3600.00/3611.20 c constraint additions 5609
3600.00/3611.20 c trail pops 1017084
3600.00/3611.20 c formula constraints 99896
3600.00/3611.20 c learned constraints 218
3600.00/3611.20 c bound constraints 0
3600.00/3611.20 c core-guided constraints 0
3600.00/3611.20 c encountered formula constraints 8
3600.00/3611.20 c encountered learned constraints 0
3600.00/3611.20 c encountered bound constraints 0
3600.00/3611.20 c encountered core-guided constraints 0
3600.00/3611.20 c LP total time 0.303539 s
3600.00/3611.20 c LP solve time 0.23 s
3600.00/3611.20 c LP constraints added 99896
3600.00/3611.20 c LP constraints removed 0
3600.00/3611.20 c LP pivots internal 2000
3600.00/3611.20 c LP pivots root 1000
3600.00/3611.20 c LP calls 2
3600.00/3611.20 c LP optimalities 0
3600.00/3611.20 c LP no pivot count 0
3600.00/3611.20 c LP infeasibilities 0
3600.00/3611.20 c LP valid Farkas constraints 0
3600.00/3611.20 c LP learned Farkas constraints 0
3600.00/3611.20 c LP basis resets 0
3600.00/3611.20 c LP cycling count 0
3600.00/3611.20 c LP singular count 0
3600.00/3611.20 c LP no primal count 0
3600.00/3611.20 c LP no farkas count 0
3600.00/3611.20 c LP other issue count 0
3600.00/3611.20 c LP Gomory cuts 0
3600.00/3611.20 c LP learned cuts 0
3600.00/3611.20 c LP deleted cuts 0
3600.00/3611.20 c LP encountered Gomory constraints 0
3600.00/3611.20 c LP encountered Farkas constraints 0
3600.00/3611.20 c LP encountered learned Farkas constraints 0
3600.00/3611.20 c CG auxiliary variables introduced 228
3600.00/3611.20 c CG solutions found 0
3600.00/3611.20 c CG cores constructed 218
3600.00/3611.20 c CG core cardinality constraints returned 0
3600.00/3611.20 c CG unit cores 0
3600.00/3611.20 c CG single cores 0
3600.00/3611.20 c CG blocks removed during cardinality reduction 0
3600.00/3611.20 c CG first core best 0
3600.00/3611.20 c CG decision core best 0
3600.00/3611.20 c CG core reduction tie 0
3600.00/3611.20 c CG core degree average 0.00
3600.00/3611.20 c CG core slack average 0.00
3600.00/3611.20 c CG core upper bound improvements 0
3600.00/3611.20 c STR number of successful calls 0
3600.00/3611.20 c STR number of unsuccessful calls 0
3600.00/3611.20 c STR number of inconclusive calls 0
3600.00/3611.20 c STR number of successful attempts 0
3600.00/3611.20 c STR number of unsuccessful attempts 0
3600.00/3611.20 c STR number of inconclusive attempts 0
3600.00/3611.20 c STR average degree increase per successful call inf
3600.00/3611.20 c STR average degree increase per successful attempt inf
3600.00/3611.20 c STR total number of conflicts for successful attempts 0
3600.00/3611.20 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.20 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.20 c STR average number of conflicts per successful attempt inf
3600.00/3611.20 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.20 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.20 c AVG.sumWPerc 95.92
3600.00/3611.20 c bigint constraints 205
3600.00/3611.20 s UNKNOWN
3600.00/3611.20 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 (41982 MiB free)
memory of node 1: 64465 MiB (49350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500731-1752681292/watcher-4500731-1752681292 -o /tmp/evaluation-result-4500731-1752681292/solver-4500731-1752681292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752681292-136430 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500731-1752681292.opb PROOFDIR/proof-4500731-1752681292
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=136446, runsolver pid=136443
[startup+0.1001 s]*
/proc/loadavg: 0.16 0.12 0.09 2/236 136448
/proc/meminfo: memFree=93525688/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=60180 memory=15576 CPUtime=0.09 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 2058 0 0 0 7 2 0 0 20 0 1 0 183807995 61624320 3894 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 15045 3894 1984 1147 0 2472 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64372 KiB
Current children cumulated memory: 18520 KiB
[startup+0.214466 s]*
/proc/loadavg: 0.16 0.12 0.09 2/236 136448
/proc/meminfo: memFree=93525688/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=61564 memory=16728 CPUtime=0.2 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 2351 0 0 0 16 4 0 0 20 0 1 0 183807995 63041536 4182 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 15391 4182 1984 1147 0 2818 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65756 KiB
Current children cumulated memory: 19672 KiB
[startup+0.313133 s]*
/proc/loadavg: 0.16 0.12 0.09 2/236 136448
/proc/meminfo: memFree=93525688/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=62420 memory=17880 CPUtime=0.29 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 2608 0 0 0 24 5 0 0 20 0 1 0 183807995 63918080 4470 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 15605 4470 1984 1147 0 3032 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66612 KiB
Current children cumulated memory: 20824 KiB
[startup+0.70033 s]
/proc/loadavg: 0.16 0.12 0.09 2/236 136448
/proc/meminfo: memFree=93525688/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=67976 memory=24664 CPUtime=0.67 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 3824 0 0 0 55 12 0 0 20 0 1 0 183807995 69607424 6166 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 16994 6166 1984 1147 0 4421 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 72168 KiB
Current children cumulated memory: 27608 KiB
[startup+1.50044 s]
/proc/loadavg: 0.16 0.12 0.09 2/236 136448
/proc/meminfo: memFree=93477060/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=219688 memory=151636 CPUtime=1.46 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 19393 0 0 0 122 24 0 0 20 0 1 0 183807995 224960512 37909 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 54922 37909 2400 1147 0 42349 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 223880 KiB
Current children cumulated memory: 154580 KiB
[startup+3.11361 s]
/proc/loadavg: 0.23 0.13 0.10 2/236 136448
/proc/meminfo: memFree=93360488/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=243344 memory=178516 CPUtime=3.08 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 25586 0 0 0 210 98 0 0 20 0 1 0 183807995 249184256 44629 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 60836 44629 2432 1147 0 48263 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 247536 KiB
Current children cumulated memory: 181460 KiB
[startup+6.30033 s]
/proc/loadavg: 0.23 0.13 0.10 2/236 136448
/proc/meminfo: memFree=93166688/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=395424 memory=326116 CPUtime=6.25 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 49734 0 0 0 456 169 0 0 20 0 1 0 183807995 404914176 81529 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 98856 81529 2432 1147 0 86283 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 399616 KiB
Current children cumulated memory: 329060 KiB
[startup+12.7004 s]
/proc/loadavg: 0.29 0.15 0.10 2/238 136450
/proc/meminfo: memFree=93013336/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=540776 memory=440880 CPUtime=12.64 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 72796 0 0 0 1052 212 0 0 20 0 1 0 183807995 553754624 110220 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 135194 110220 2432 1147 0 122621 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 544968 KiB
Current children cumulated memory: 443824 KiB
[startup+25.5004 s]
/proc/loadavg: 0.45 0.19 0.12 2/238 136450
/proc/meminfo: memFree=92682716/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=806396 memory=615568 CPUtime=25.39 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 109835 0 0 0 2274 265 0 0 20 0 1 0 183807995 825749504 153892 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 201599 153892 2432 1147 0 189026 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 810588 KiB
Current children cumulated memory: 618512 KiB
[startup+51.1138 s]
/proc/loadavg: 0.71 0.27 0.15 2/241 136454
/proc/meminfo: memFree=92338424/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=808444 memory=685224 CPUtime=50.92 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 119084 0 0 0 4761 331 0 0 20 0 1 0 183807995 827846656 171306 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 202111 171306 2432 1147 0 189538 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 812636 KiB
Current children cumulated memory: 688168 KiB
[startup+102.3 s]
/proc/loadavg: 0.94 0.40 0.20 2/241 136455
/proc/meminfo: memFree=91510384/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=1301396 memory=1022612 CPUtime=101.93 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 188201 0 0 0 9713 480 0 0 20 0 1 0 183807995 1332629504 255653 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 325349 255653 2432 1147 0 312776 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1305588 KiB
Current children cumulated memory: 1025556 KiB
[startup+162.3 s]
/proc/loadavg: 1.03 0.53 0.26 2/238 136458
/proc/meminfo: memFree=90909516/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=1438776 memory=1106444 CPUtime=161.72 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 199947 0 0 0 15555 617 0 0 20 0 1 0 183807995 1473306624 276611 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 359694 276611 2432 1147 0 347121 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1442968 KiB
Current children cumulated memory: 1109388 KiB
[startup+222.3 s]
/proc/loadavg: 1.13 0.65 0.32 2/238 136460
/proc/meminfo: memFree=90334440/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=1444664 memory=1196860 CPUtime=221.5 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 211871 0 0 0 21395 755 0 0 20 0 1 0 183807995 1479335936 299215 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 361166 299215 2432 1147 0 348593 0
################
# More data... #
################
[pid=136448] ppid=136446 vsize=2949920 memory=2664188 CPUtime=3092.65 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 440266 0 0 0 305409 3856 0 0 20 0 1 0 183807995 3020718080 666047 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 737480 666047 2432 1147 0 724907 0
Current children cumulated CPU time: 3092.65 s
Current children cumulated vsize: 2954112 KiB
Current children cumulated memory: 2667132 KiB
[startup+3162.3 s]
/proc/loadavg: 1.18 1.16 1.09 2/240 136625
/proc/meminfo: memFree=73376024/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=2950432 memory=2664444 CPUtime=3152.47 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 440457 0 0 0 311332 3915 0 0 20 0 1 0 183807995 3021242368 666111 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 737608 666111 2432 1147 0 725035 0
Current children cumulated CPU time: 3152.47 s
Current children cumulated vsize: 2954624 KiB
Current children cumulated memory: 2667388 KiB
[startup+3222.3 s]
/proc/loadavg: 1.11 1.14 1.09 2/240 136627
/proc/meminfo: memFree=73016484/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=2951968 memory=2731252 CPUtime=3212.29 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 441968 0 0 0 317260 3969 0 0 20 0 1 0 183807995 3022815232 682813 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 737992 682813 2432 1147 0 725419 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 2956160 KiB
Current children cumulated memory: 2734196 KiB
[startup+3282.3 s]
/proc/loadavg: 1.15 1.14 1.09 2/239 136629
/proc/meminfo: memFree=72740816/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=2958624 memory=2747744 CPUtime=3272.11 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 443067 0 0 0 323174 4037 0 0 20 0 1 0 183807995 3029630976 686936 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 739656 686936 2432 1147 0 727083 0
Current children cumulated CPU time: 3272.11 s
Current children cumulated vsize: 2962816 KiB
Current children cumulated memory: 2750688 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.13 1.09 2/239 136632
/proc/meminfo: memFree=71644784/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=4591932 memory=3604684 CPUtime=3331.92 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 650641 0 0 0 329066 4126 0 0 20 0 1 0 183807995 4702138368 901171 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 1147983 901171 2432 1147 0 1135410 0
Current children cumulated CPU time: 3331.92 s
Current children cumulated vsize: 4596124 KiB
Current children cumulated memory: 3607628 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.12 1.09 2/239 136634
/proc/meminfo: memFree=71346752/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=4591932 memory=3604684 CPUtime=3391.74 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 651901 0 0 0 334987 4187 0 0 20 0 1 0 183807995 4702138368 901171 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 1147983 901171 2432 1147 0 1135410 0
Current children cumulated CPU time: 3391.74 s
Current children cumulated vsize: 4596124 KiB
Current children cumulated memory: 3607628 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 1.13 1.09 2/240 136643
/proc/meminfo: memFree=71078304/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=4591932 memory=3617512 CPUtime=3451.55 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 653637 0 0 0 340903 4252 0 0 20 0 1 0 183807995 4702138368 904378 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 1147983 904378 2432 1147 0 1135410 0
Current children cumulated CPU time: 3451.55 s
Current children cumulated vsize: 4596124 KiB
Current children cumulated memory: 3620456 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.11 1.09 2/241 136646
/proc/meminfo: memFree=70723836/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=4608316 memory=3693732 CPUtime=3511.37 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 664769 0 0 0 346833 4304 0 0 20 0 1 0 183807995 4718915584 923433 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 1152079 923433 2432 1147 0 1139506 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 4612508 KiB
Current children cumulated memory: 3696676 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.12 1.09 2/241 136648
/proc/meminfo: memFree=70327784/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=4608316 memory=3693732 CPUtime=3571.19 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 664889 0 0 0 352752 4367 0 0 20 0 1 0 183807995 4718915584 923433 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 1152079 923433 2432 1147 0 1139506 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 4612508 KiB
Current children cumulated memory: 3696676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 1.08 1.11 1.09 2/243 136652
/proc/meminfo: memFree=70274348/131382120 swapFree=33010416/33010684
[pid=136446] ppid=136443 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136446/stat : 136446 (run-opt-log.sh) S 136443 136446 136420 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183807994 4292608 736 18446744073709551615 93962265911296 93962266805829 140731058481232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93962267044880 93962267092624 93962267828224 140731058485535 140731058485730 140731058485730 140731058491334 0
/proc/136446/statm: 1048 736 672 219 0 110 0
[pid=136448] ppid=136446 vsize=4608316 memory=3693732 CPUtime=3600 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136446 136446 136420 0 -1 4194304 664889 0 0 0 355602 4398 0 0 20 0 1 0 183807995 4718915584 923433 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 1152079 923433 2432 1147 0 1139506 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4612508 KiB
Current children cumulated memory: 3696676 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.21 s]
# the end of solver process 136446 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001264 s, system=0.004073 s
Sleeping 2 seconds
[startup+3611.33 s]
# the end of solver process 136448 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3556.04 s, system=44.0395 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.31 s]*
/proc/loadavg: 1.08 1.11 1.09 2/242 136652
/proc/meminfo: memFree=70935980/131382120 swapFree=33010416/33010684
[pid=136448] ppid=136443 vsize=1891332 memory=1850132 CPUtime=3600.06 cores=0,2
/proc/136448/stat : 136448 (roundingsat) R 136443 136446 136420 0 -1 4194304 664904 0 0 0 355603 4403 0 0 20 0 1 0 183807995 1936723968 462533 18446744073709551615 4227072 8923433 140721699418352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42577920 140721699424592 140721699424806 140721699424806 140721699430378 0
/proc/136448/statm: 472833 462533 2496 1147 0 460260 0
Current cumulated CPU time of completed processes: 0.005337 s
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1891332 KiB
Current children cumulated memory: 1850132 KiB
Child status: 2
Real time (s): 3611.33
CPU time (s): 3600.08
CPU user time (s): 3556.04
CPU system time (s): 44.0395
CPU usage (%): 99.6886
Max. virtual memory (cumulated for all children) (KiB): 4612508
Max. memory (cumulated for all children) (KiB): 3696676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.04
system time used= 44.0395
maximum resident set size= 3693988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 665126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39104896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2073
involuntary context switches= 8482
# summary of solver processes directly reported to runsolver:
# pid: 136446,136448
# total CPU time (s): 3600.08
# total CPU user time (s): 3556.04
# total CPU system time (s): 44.0395
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8721 second user time and 39.363 second system time
The end
Begin job on nodeC002 at 2025-07-16 17:54:52
IDJOB=4500731
IDBENCH=150951
IDSOLVER=3351
FILE ID=nodeC002/4500731-1752681292
RUNJOBID= nodeC002-1752681292-136430
SLURM_JOB_ID= 9686895
Free space on /tmp= 431620 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kfilereplace.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-4500731-1752681292/watcher-4500731-1752681292 -o /tmp/evaluation-result-4500731-1752681292/solver-4500731-1752681292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752681292-136430 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500731-1752681292.opb PROOFDIR/proof-4500731-1752681292
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a59502de7bf6e4011de47449968e9ccd
RANDOM SEED=793755425
nodeC002 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.249
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.81
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 : 1197.634
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.81
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 : 1196.948
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.81
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.523
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.81
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 : 3700.000
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.81
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 : 3700.000
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.81
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 : 3700.000
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.81
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.134
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 93525220 kB
MemAvailable: 129877148 kB
Buffers: 2128 kB
Cached: 37114012 kB
SwapCached: 28 kB
Active: 921392 kB
Inactive: 36258372 kB
Active(anon): 85500 kB
Inactive(anon): 4248 kB
Active(file): 835892 kB
Inactive(file): 36254124 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10700 kB
Writeback: 0 kB
AnonPages: 66676 kB
Mapped: 107872 kB
Shmem: 26124 kB
KReclaimable: 203080 kB
Slab: 293784 kB
SReclaimable: 203080 kB
SUnreclaim: 90704 kB
KernelStack: 3780 kB
PageTables: 2456 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 338116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149208 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431612 MiB
End job on nodeC002 at 2025-07-16 18:55:03