0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.91/1.02 c #variables 21101 #constraints 99896
0.91/1.02 c objective is ce64
0.91/1.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.91/1.06 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.91/1.06 c GLOBAL bounds - >= 0 @ 0.802152
0.91/1.09 c GLOBAL bounds - >= 0 @ 0.815201
0.91/1.09 c GLOBAL bounds - >= 475379834250 @ 0.815201
1.21/1.39 c GLOBAL bounds - >= 475379834250 @ 1.08073
1.30/1.42 c GLOBAL bounds - >= 475379834250 @ 1.09537
1.30/1.42 c GLOBAL bounds - >= 475379834250 @ 1.09588
1.30/1.44 c GLOBAL bounds - >= 475379834250 @ 1.11146
1.30/1.44 c GLOBAL bounds - >= 475379834250 @ 1.11214
1.30/1.47 c GLOBAL bounds - >= 475379834250 @ 1.12493
1.30/1.47 c GLOBAL bounds - >= 475379834250 @ 1.12567
1.30/1.49 c GLOBAL bounds - >= 475379834250 @ 1.13775
1.30/1.49 c GLOBAL bounds - >= 475379834250 @ 1.13775
1.41/1.52 c GLOBAL bounds - >= 475379834250 @ 1.14518
1.41/1.52 c GLOBAL bounds - >= 475379834250 @ 1.1459
1.41/1.55 c GLOBAL bounds - >= 475379834250 @ 1.15816
1.41/1.55 c GLOBAL bounds - >= 475379834250 @ 1.15851
1.41/1.57 c GLOBAL bounds - >= 475379834250 @ 1.16901
1.41/1.57 c GLOBAL bounds - >= 475379834250 @ 1.16978
1.50/1.60 c GLOBAL bounds - >= 475379834250 @ 1.18726
1.50/1.60 c GLOBAL bounds - >= 475379834250 @ 1.18813
1.50/1.63 c GLOBAL bounds - >= 475379834250 @ 1.20158
1.50/1.63 c GLOBAL bounds - >= 475379834250 @ 1.20222
1.50/1.65 c GLOBAL bounds - >= 475379834250 @ 1.21281
1.50/1.68 c GLOBAL bounds - >= 475379834250 @ 1.22672
1.50/1.69 c GLOBAL bounds - >= 475379834250 @ 1.23508
1.60/1.72 c GLOBAL bounds - >= 475379834250 @ 1.24776
1.60/1.75 c GLOBAL bounds - >= 475379834250 @ 1.25833
1.60/1.77 c GLOBAL bounds - >= 475379834250 @ 1.27433
1.60/1.78 c GLOBAL bounds - >= 713143539475 @ 1.28247
1.60/1.79 c GLOBAL bounds - >= 713143539475 @ 1.28781
1.60/1.79 c GLOBAL bounds - >= 713143539475 @ 1.28781
1.71/1.82 c GLOBAL bounds - >= 713143539475 @ 1.30078
1.71/1.82 c GLOBAL bounds - >= 713143539475 @ 1.30171
1.71/1.84 c GLOBAL bounds - >= 713143539475 @ 1.31536
1.71/1.85 c GLOBAL bounds - >= 713143539475 @ 1.3158
1.71/1.87 c GLOBAL bounds - >= 713143539475 @ 1.32537
1.71/1.87 c GLOBAL bounds - >= 713143539475 @ 1.32623
1.71/1.89 c GLOBAL bounds - >= 713143539475 @ 1.33762
1.71/1.89 c GLOBAL bounds - >= 713143539475 @ 1.33847
1.81/1.92 c GLOBAL bounds - >= 713143539475 @ 1.34716
1.81/1.92 c GLOBAL bounds - >= 713143539475 @ 1.34802
1.81/1.94 c GLOBAL bounds - >= 713143539475 @ 1.3585
1.81/1.94 c GLOBAL bounds - >= 713143539475 @ 1.35936
1.81/1.97 c GLOBAL bounds - >= 713143539475 @ 1.36997
1.81/1.97 c GLOBAL bounds - >= 713143539475 @ 1.3707
1.81/1.99 c GLOBAL bounds - >= 713143539475 @ 1.38281
1.81/1.99 c GLOBAL bounds - >= 713143539475 @ 1.38328
1.90/2.02 c GLOBAL bounds - >= 713143539475 @ 1.39531
1.90/2.02 c GLOBAL bounds - >= 713143539475 @ 1.39531
1.90/2.05 c GLOBAL bounds - >= 713143539475 @ 1.40664
1.90/2.07 c GLOBAL bounds - >= 713143539475 @ 1.41996
1.90/2.09 c GLOBAL bounds - >= 713143539475 @ 1.43033
1.90/2.10 c GLOBAL bounds - >= 713143539475 @ 1.43831
2.01/2.12 c GLOBAL bounds - >= 713143539475 @ 1.44361
2.01/2.13 c GLOBAL bounds - >= 713143539475 @ 1.44989
2.01/2.14 c GLOBAL bounds - >= 713143539475 @ 1.45316
2.01/2.16 c GLOBAL bounds - >= 713143539475 @ 1.45752
2.01/2.18 c GLOBAL bounds - >= 713143539475 @ 1.4657
2.10/2.20 c GLOBAL bounds - >= 713143539475 @ 1.4796
2.10/2.23 c GLOBAL bounds - >= 713143539475 @ 1.49872
2.10/2.25 c GLOBAL bounds - >= 713143539475 @ 1.50834
2.10/2.27 c GLOBAL bounds - >= 713143539475 @ 1.52038
2.10/2.27 c GLOBAL bounds - >= 792336617800 @ 1.52393
2.10/2.27 c GLOBAL bounds - >= 792336617800 @ 1.52844
2.10/2.28 c GLOBAL bounds - >= 792336617800 @ 1.52903
2.10/2.28 c GLOBAL bounds - >= 792336617800 @ 1.52953
2.10/2.30 c GLOBAL bounds - >= 792336617800 @ 1.53708
2.20/2.30 c GLOBAL bounds - >= 792336617800 @ 1.53765
2.20/2.32 c GLOBAL bounds - >= 792336617800 @ 1.54958
2.20/2.32 c GLOBAL bounds - >= 792336617800 @ 1.54959
2.20/2.34 c GLOBAL bounds - >= 792336617800 @ 1.55563
2.20/2.34 c GLOBAL bounds - >= 792336617800 @ 1.55604
2.20/2.36 c GLOBAL bounds - >= 792336617800 @ 1.56428
2.20/2.36 c GLOBAL bounds - >= 792336617800 @ 1.56461
2.20/2.39 c GLOBAL bounds - >= 792336617800 @ 1.57323
2.20/2.39 c GLOBAL bounds - >= 792336617800 @ 1.57358
2.30/2.41 c GLOBAL bounds - >= 792336617800 @ 1.58492
2.30/2.41 c GLOBAL bounds - >= 792336617800 @ 1.58589
2.30/2.44 c GLOBAL bounds - >= 792336617800 @ 1.59555
2.30/2.44 c GLOBAL bounds - >= 792336617800 @ 1.59639
2.30/2.46 c GLOBAL bounds - >= 792336617800 @ 1.60417
2.30/2.46 c GLOBAL bounds - >= 792336617800 @ 1.60524
2.30/2.49 c GLOBAL bounds - >= 792336617800 @ 1.61563
2.30/2.49 c GLOBAL bounds - >= 792336617800 @ 1.61672
2.40/2.51 c GLOBAL bounds - >= 792336617800 @ 1.62874
2.40/2.53 c GLOBAL bounds - >= 792336617800 @ 1.63716
2.40/2.56 c GLOBAL bounds - >= 792336617800 @ 1.65607
2.40/2.58 c GLOBAL bounds - >= 1109330295400 @ 1.67077
2.50/2.60 c GLOBAL bounds - >= 1109330295400 @ 1.69328
2.50/2.63 c GLOBAL bounds - >= 1109330295400 @ 1.70435
2.50/2.63 c GLOBAL bounds - >= 1109330295400 @ 1.70534
2.50/2.65 c GLOBAL bounds - >= 1109330295400 @ 1.7099
2.50/2.65 c GLOBAL bounds - >= 1109330295400 @ 1.71078
2.50/2.68 c GLOBAL bounds - >= 1109330295400 @ 1.72268
2.50/2.68 c GLOBAL bounds - >= 1109330295400 @ 1.72387
2.60/2.70 c GLOBAL bounds - >= 1109330295400 @ 1.73662
2.60/2.70 c GLOBAL bounds - >= 1109330295400 @ 1.73736
2.60/2.73 c GLOBAL bounds - >= 1109330295400 @ 1.74706
2.60/2.73 c GLOBAL bounds - >= 1109330295400 @ 1.74772
2.60/2.75 c GLOBAL bounds - >= 1109330295400 @ 1.7563
2.60/2.75 c GLOBAL bounds - >= 1109330295400 @ 1.75755
2.60/2.77 c GLOBAL bounds - >= 1109330295400 @ 1.76921
2.60/2.78 c GLOBAL bounds - >= 1109330295400 @ 1.77039
2.70/2.80 c GLOBAL bounds - >= 1109330295400 @ 1.78223
2.70/2.80 c GLOBAL bounds - >= 1109330295400 @ 1.78249
2.70/2.82 c GLOBAL bounds - >= 1109330295400 @ 1.79212
2.70/2.83 c GLOBAL bounds - >= 1109330295400 @ 1.7933
2.70/2.85 c GLOBAL bounds - >= 1109330295400 @ 1.8047
2.80/2.91 c GLOBAL bounds - >= 1109330295400 @ 1.84286
2.80/2.97 c GLOBAL bounds - >= 1109330295400 @ 1.89353
2.90/3.05 c GLOBAL bounds - >= 1188689396950 @ 1.96036
2.90/3.06 c GLOBAL bounds - >= 1188689396950 @ 1.96689
2.90/3.06 c GLOBAL bounds - >= 1188689396950 @ 1.96689
2.90/3.06 c GLOBAL bounds - >= 1188689396950 @ 1.96709
2.90/3.08 c GLOBAL bounds - >= 1188689396950 @ 1.9836
2.90/3.08 c GLOBAL bounds - >= 1188689396950 @ 1.98383
3.00/3.10 c GLOBAL bounds - >= 1188689396950 @ 1.99238
3.00/3.11 c GLOBAL bounds - >= 1188689396950 @ 1.9935
3.00/3.13 c GLOBAL bounds - >= 1188689396950 @ 2.00231
3.00/3.13 c GLOBAL bounds - >= 1188689396950 @ 2.00326
3.00/3.15 c GLOBAL bounds - >= 1188689396950 @ 2.01565
3.00/3.15 c GLOBAL bounds - >= 1188689396950 @ 2.01676
3.00/3.18 c GLOBAL bounds - >= 1188689396950 @ 2.02625
3.00/3.18 c GLOBAL bounds - >= 1188689396950 @ 2.0272
3.08/3.20 c GLOBAL bounds - >= 1188689396950 @ 2.03886
3.08/3.20 c GLOBAL bounds - >= 1188689396950 @ 2.03939
3.08/3.22 c GLOBAL bounds - >= 1188689396950 @ 2.05023
3.08/3.22 c GLOBAL bounds - >= 1188689396950 @ 2.05149
3.08/3.25 c GLOBAL bounds - >= 1188689396950 @ 2.06201
3.08/3.25 c GLOBAL bounds - >= 1188689396950 @ 2.06314
3.08/3.27 c GLOBAL bounds - >= 1188689396950 @ 2.07476
3.08/3.27 c GLOBAL bounds - >= 1188689396950 @ 2.07534
3.08/3.30 c GLOBAL bounds - >= 1188689396950 @ 2.08504
3.18/3.38 c GLOBAL bounds - >= 1188689396950 @ 2.15063
3.39/3.53 c GLOBAL bounds - >= 1188689396950 @ 2.27946
3.39/3.58 c GLOBAL bounds - >= 1188689396950 @ 2.3231
3.49/3.63 c GLOBAL bounds - >= 1188689396950 @ 2.35177
3.79/3.94 c GLOBAL bounds - >= 1347241576825 @ 2.64964
3.79/3.95 c GLOBAL bounds - >= 1347241576825 @ 2.65993
3.79/3.97 c GLOBAL bounds - >= 1347241576825 @ 2.67247
3.79/3.98 c GLOBAL bounds - >= 1347241576825 @ 2.67383
3.88/4.00 c GLOBAL bounds - >= 1347241576825 @ 2.68667
3.88/4.00 c GLOBAL bounds - >= 1347241576825 @ 2.68715
3.88/4.03 c GLOBAL bounds - >= 1347241576825 @ 2.69872
3.88/4.03 c GLOBAL bounds - >= 1347241576825 @ 2.6998
3.88/4.05 c GLOBAL bounds - >= 1347241576825 @ 2.71185
3.88/4.06 c GLOBAL bounds - >= 1347241576825 @ 2.71327
3.88/4.08 c GLOBAL bounds - >= 1347241576825 @ 2.72415
3.88/4.08 c GLOBAL bounds - >= 1347241576825 @ 2.72474
3.98/4.10 c GLOBAL bounds - >= 1347241576825 @ 2.73629
3.98/4.10 c GLOBAL bounds - >= 1347241576825 @ 2.73776
3.98/4.13 c GLOBAL bounds - >= 1347241576825 @ 2.74943
3.98/4.13 c GLOBAL bounds - >= 1347241576825 @ 2.75084
3.98/4.15 c GLOBAL bounds - >= 1347241576825 @ 2.76444
3.98/4.15 c GLOBAL bounds - >= 1347241576825 @ 2.7659
3.98/4.18 c GLOBAL bounds - >= 1347241576825 @ 2.77441
3.98/4.18 c GLOBAL bounds - >= 1347241576825 @ 2.77447
4.08/4.20 c GLOBAL bounds - >= 1347241576825 @ 2.78812
4.88/5.07 c #Conflicts: 1000 | #Constraints: 2411
4.88/5.07 c GLOBAL bounds - >= 1347426047075 @ 3.57865
4.88/5.08 c GLOBAL bounds - >= 1347426047075 @ 3.5883
4.98/5.10 c GLOBAL bounds - >= 1347426047075 @ 3.59945
4.98/5.10 c GLOBAL bounds - >= 1347426047075 @ 3.6011
4.98/5.13 c GLOBAL bounds - >= 1347426047075 @ 3.61319
4.98/5.13 c GLOBAL bounds - >= 1347426047075 @ 3.61474
4.98/5.15 c GLOBAL bounds - >= 1347426047075 @ 3.62556
4.98/5.15 c GLOBAL bounds - >= 1347426047075 @ 3.62699
4.98/5.17 c GLOBAL bounds - >= 1347426047075 @ 3.63875
4.98/5.18 c GLOBAL bounds - >= 1347426047075 @ 3.64021
5.07/5.20 c GLOBAL bounds - >= 1347426047075 @ 3.65326
5.07/5.20 c GLOBAL bounds - >= 1347426047075 @ 3.65388
5.07/5.22 c GLOBAL bounds - >= 1347426047075 @ 3.66715
5.07/5.23 c GLOBAL bounds - >= 1347426047075 @ 3.66879
5.07/5.25 c GLOBAL bounds - >= 1347426047075 @ 3.68165
5.07/5.25 c GLOBAL bounds - >= 1347426047075 @ 3.68281
5.07/5.27 c GLOBAL bounds - >= 1347426047075 @ 3.69327
5.07/5.27 c GLOBAL bounds - >= 1347426047075 @ 3.69483
5.16/5.30 c GLOBAL bounds - >= 1347426047075 @ 3.70714
5.16/5.30 c GLOBAL bounds - >= 1347426047075 @ 3.70765
5.16/5.32 c GLOBAL bounds - >= 1347426047075 @ 3.71977
5.16/5.35 c GLOBAL bounds - >= 1347426047075 @ 3.7336
5.16/5.37 c GLOBAL bounds - >= 1347426047075 @ 3.74373
5.66/5.89 c #Conflicts: 2000 | #Constraints: 3450
5.66/5.89 c INPROCESSING
5.66/5.89 c GARBAGE COLLECT
5.66/5.89 c GLOBAL bounds - >= 1347573623275 @ 4.23803
5.77/5.91 c GLOBAL bounds - >= 1347573623275 @ 4.25275
5.77/5.93 c GLOBAL bounds - >= 1347573623275 @ 4.26465
5.77/5.93 c GLOBAL bounds - >= 1347573623275 @ 4.26524
5.77/5.96 c GLOBAL bounds - >= 1347573623275 @ 4.27404
5.77/5.96 c GLOBAL bounds - >= 1347573623275 @ 4.27571
5.77/5.98 c GLOBAL bounds - >= 1347573623275 @ 4.28625
5.77/5.98 c GLOBAL bounds - >= 1347573623275 @ 4.28801
5.86/6.01 c GLOBAL bounds - >= 1347573623275 @ 4.29893
5.86/6.01 c GLOBAL bounds - >= 1347573623275 @ 4.30031
5.86/6.04 c GLOBAL bounds - >= 1347573623275 @ 4.31182
5.86/6.04 c GLOBAL bounds - >= 1347573623275 @ 4.31344
5.86/6.06 c GLOBAL bounds - >= 1347573623275 @ 4.32617
5.86/6.06 c GLOBAL bounds - >= 1347573623275 @ 4.32799
5.86/6.08 c GLOBAL bounds - >= 1347573623275 @ 4.33638
5.86/6.09 c GLOBAL bounds - >= 1347573623275 @ 4.3382
5.96/6.11 c GLOBAL bounds - >= 1347573623275 @ 4.3487
5.96/6.11 c GLOBAL bounds - >= 1347573623275 @ 4.35009
5.96/6.14 c GLOBAL bounds - >= 1347573623275 @ 4.35955
5.96/6.14 c GLOBAL bounds - >= 1347573623275 @ 4.36104
5.96/6.16 c GLOBAL bounds - >= 1347573623275 @ 4.37344
5.96/6.18 c GLOBAL bounds - >= 1347573623275 @ 4.38198
12.14/12.32 c #Conflicts: 3000 | #Constraints: 3452
12.14/12.32 c #Conflicts: 4000 | #Constraints: 4452
12.14/12.32 c INPROCESSING
12.14/12.32 c GARBAGE COLLECT
12.14/12.32 c #Conflicts: 5000 | #Constraints: 3852
12.14/12.32 c #Conflicts: 6000 | #Constraints: 4852
12.14/12.32 c INPROCESSING
12.14/12.32 c GARBAGE COLLECT
12.14/12.32 c GLOBAL bounds - >= 1426951171850 @ 10.2248
12.14/12.34 c GLOBAL bounds - >= 1426951171850 @ 10.2394
12.14/12.34 c GLOBAL bounds - >= 1426951171850 @ 10.2408
12.14/12.36 c GLOBAL bounds - >= 1426951171850 @ 10.255
12.14/12.37 c GLOBAL bounds - >= 1426951171850 @ 10.2572
12.14/12.39 c GLOBAL bounds - >= 1426951171850 @ 10.2725
12.14/12.39 c GLOBAL bounds - >= 1426951171850 @ 10.2745
12.23/12.42 c GLOBAL bounds - >= 1426951171850 @ 10.2844
12.23/12.42 c GLOBAL bounds - >= 1426951171850 @ 10.286
12.23/12.45 c GLOBAL bounds - >= 1426951171850 @ 10.2983
12.23/12.45 c GLOBAL bounds - >= 1426951171850 @ 10.3005
12.23/12.47 c GLOBAL bounds - >= 1426951171850 @ 10.3138
12.23/12.47 c GLOBAL bounds - >= 1426951171850 @ 10.3159
12.33/12.50 c GLOBAL bounds - >= 1426951171850 @ 10.3276
12.33/12.50 c GLOBAL bounds - >= 1426951171850 @ 10.3289
12.33/12.53 c GLOBAL bounds - >= 1426951171850 @ 10.3429
12.33/12.53 c GLOBAL bounds - >= 1426951171850 @ 10.3451
12.33/12.55 c GLOBAL bounds - >= 1426951171850 @ 10.3538
12.33/12.55 c GLOBAL bounds - >= 1426951171850 @ 10.355
12.33/12.58 c GLOBAL bounds - >= 1426951171850 @ 10.3686
12.33/12.58 c GLOBAL bounds - >= 1426951171850 @ 10.3698
12.43/12.60 c GLOBAL bounds - >= 1426951171850 @ 10.3787
12.43/12.62 c GLOBAL bounds - >= 1426951171850 @ 10.3838
12.43/12.64 c GLOBAL bounds - >= 1426951171850 @ 10.3933
12.43/12.66 c GLOBAL bounds - >= 1426951171850 @ 10.4047
12.43/12.68 c GLOBAL bounds - >= 1426951171850 @ 10.4128
12.54/12.73 c GLOBAL bounds - >= 1426951171850 @ 10.4421
12.54/12.75 c GLOBAL bounds - >= 1426951171850 @ 10.4601
12.54/12.78 c GLOBAL bounds - >= 1426951171850 @ 10.4789
18.32/18.60 c #Conflicts: 7000 | #Constraints: 3916
18.32/18.60 c #Conflicts: 8000 | #Constraints: 4916
18.32/18.60 c #Conflicts: 9000 | #Constraints: 5916
18.32/18.60 c INPROCESSING
18.32/18.60 c GARBAGE COLLECT
18.32/18.60 c #Conflicts: 10000 | #Constraints: 4609
18.32/18.60 c #Conflicts: 11000 | #Constraints: 5609
18.32/18.60 c #Conflicts: 12000 | #Constraints: 6609
18.32/18.60 c INPROCESSING
18.32/18.60 c GARBAGE COLLECT
18.32/18.60 c GLOBAL bounds - >= 1506236485300 @ 16.0881
18.42/18.61 c GLOBAL bounds - >= 1506236485300 @ 16.1024
18.42/18.61 c GLOBAL bounds - >= 1506236485300 @ 16.1027
18.42/18.65 c GLOBAL bounds - >= 1506236485300 @ 16.1244
18.42/18.65 c GLOBAL bounds - >= 1506236485300 @ 16.1257
18.42/18.67 c GLOBAL bounds - >= 1506236485300 @ 16.1385
18.42/18.67 c GLOBAL bounds - >= 1506236485300 @ 16.1398
18.51/18.70 c GLOBAL bounds - >= 1506236485300 @ 16.1497
18.51/18.70 c GLOBAL bounds - >= 1506236485300 @ 16.1515
18.51/18.73 c GLOBAL bounds - >= 1506236485300 @ 16.1632
18.51/18.73 c GLOBAL bounds - >= 1506236485300 @ 16.1655
18.51/18.75 c GLOBAL bounds - >= 1506236485300 @ 16.1803
18.51/18.75 c GLOBAL bounds - >= 1506236485300 @ 16.1826
18.51/18.78 c GLOBAL bounds - >= 1506236485300 @ 16.1942
18.51/18.78 c GLOBAL bounds - >= 1506236485300 @ 16.1965
18.62/18.80 c GLOBAL bounds - >= 1506236485300 @ 16.2085
18.62/18.81 c GLOBAL bounds - >= 1506236485300 @ 16.2094
18.62/18.83 c GLOBAL bounds - >= 1506236485300 @ 16.2182
18.62/18.83 c GLOBAL bounds - >= 1506236485300 @ 16.2197
18.62/18.86 c GLOBAL bounds - >= 1506236485300 @ 16.231
18.62/18.86 c GLOBAL bounds - >= 1506236485300 @ 16.2325
18.62/18.88 c GLOBAL bounds - >= 1506236485300 @ 16.2423
18.72/18.92 c GLOBAL bounds - >= 1506236485300 @ 16.2631
60.97/61.34 c #Conflicts: 13000 | #Constraints: 5094
60.97/61.34 c #Conflicts: 14000 | #Constraints: 6094
60.97/61.34 c #Conflicts: 15000 | #Constraints: 7094
60.97/61.34 c INPROCESSING
60.97/61.34 c GARBAGE COLLECT
60.97/61.34 c #Conflicts: 16000 | #Constraints: 5314
60.97/61.34 c #Conflicts: 17000 | #Constraints: 6314
60.97/61.34 c #Conflicts: 18000 | #Constraints: 7314
60.97/61.34 c INPROCESSING
60.97/61.34 c GARBAGE COLLECT
60.97/61.34 c #Conflicts: 19000 | #Constraints: 5329
60.97/61.34 c #Conflicts: 20000 | #Constraints: 6329
60.97/61.34 c #Conflicts: 21000 | #Constraints: 7329
60.97/61.34 c INPROCESSING
60.97/61.34 c GARBAGE COLLECT
60.97/61.34 c #Conflicts: 22000 | #Constraints: 5130
60.97/61.34 c #Conflicts: 23000 | #Constraints: 6130
60.97/61.34 c #Conflicts: 24000 | #Constraints: 7130
60.97/61.34 c #Conflicts: 25000 | #Constraints: 8130
60.97/61.34 c INPROCESSING
60.97/61.34 c GARBAGE COLLECT
60.97/61.34 c #Conflicts: 26000 | #Constraints: 5733
60.97/61.34 c #Conflicts: 27000 | #Constraints: 6733
60.97/61.34 c #Conflicts: 28000 | #Constraints: 7733
60.97/61.34 c #Conflicts: 29000 | #Constraints: 8733
60.97/61.34 c INPROCESSING
60.97/61.34 c GARBAGE COLLECT
60.97/61.34 c #Conflicts: 30000 | #Constraints: 6137
60.97/61.34 c #Conflicts: 31000 | #Constraints: 7137
60.97/61.34 c #Conflicts: 32000 | #Constraints: 8137
60.97/61.34 c #Conflicts: 33000 | #Constraints: 9137
60.97/61.34 c INPROCESSING
60.97/61.34 c GARBAGE COLLECT
60.97/61.34 c #Conflicts: 34000 | #Constraints: 6340
60.97/61.34 c #Conflicts: 35000 | #Constraints: 7340
60.97/61.34 c #Conflicts: 36000 | #Constraints: 8340
60.97/61.34 c #Conflicts: 37000 | #Constraints: 9340
60.97/61.34 c INPROCESSING
60.97/61.34 c GARBAGE COLLECT
60.97/61.34 c #Conflicts: 38000 | #Constraints: 6341
60.97/61.34 c #Conflicts: 39000 | #Constraints: 7341
60.97/61.34 c #Conflicts: 40000 | #Constraints: 8341
60.97/61.34 c #Conflicts: 41000 | #Constraints: 9341
60.97/61.34 c INPROCESSING
60.97/61.34 c GARBAGE COLLECT
60.97/61.34 c #Conflicts: 42000 | #Constraints: 6137
60.97/61.34 c #Conflicts: 43000 | #Constraints: 7137
60.97/61.34 c #Conflicts: 44000 | #Constraints: 8137
60.97/61.34 c #Conflicts: 45000 | #Constraints: 9137
60.97/61.34 c GLOBAL bounds - >= 1664954688400 @ 57.3054
60.97/61.36 c GLOBAL bounds - >= 1664954688400 @ 57.3282
60.97/61.37 c GLOBAL bounds - >= 1664954688400 @ 57.3287
60.97/61.39 c GLOBAL bounds - >= 1664954688400 @ 57.3409
60.97/61.39 c GLOBAL bounds - >= 1664954688400 @ 57.3422
61.07/61.42 c GLOBAL bounds - >= 1664954688400 @ 57.3565
61.07/61.42 c GLOBAL bounds - >= 1664954688400 @ 57.3578
61.07/61.44 c GLOBAL bounds - >= 1664954688400 @ 57.3715
61.07/61.45 c GLOBAL bounds - >= 1664954688400 @ 57.3727
61.07/61.47 c GLOBAL bounds - >= 1664954688400 @ 57.3904
61.07/61.47 c GLOBAL bounds - >= 1664954688400 @ 57.3926
61.17/61.50 c GLOBAL bounds - >= 1664954688400 @ 57.4076
61.17/61.50 c GLOBAL bounds - >= 1664954688400 @ 57.4088
61.17/61.53 c GLOBAL bounds - >= 1664954688400 @ 57.4202
61.17/61.53 c GLOBAL bounds - >= 1664954688400 @ 57.4224
61.17/61.55 c GLOBAL bounds - >= 1664954688400 @ 57.4351
61.17/61.56 c GLOBAL bounds - >= 1664954688400 @ 57.4364
61.17/61.58 c GLOBAL bounds - >= 1664954688400 @ 57.4473
61.17/61.58 c GLOBAL bounds - >= 1664954688400 @ 57.4486
61.27/61.61 c GLOBAL bounds - >= 1664954688400 @ 57.4627
61.27/61.61 c GLOBAL bounds - >= 1664954688400 @ 57.4644
61.27/61.64 c GLOBAL bounds - >= 1664954688400 @ 57.4793
116.41/116.94 c #Conflicts: 46000 | #Constraints: 10177
116.41/116.94 c INPROCESSING
116.41/116.94 c GARBAGE COLLECT
116.41/116.94 c #Conflicts: 47000 | #Constraints: 6761
116.41/116.94 c #Conflicts: 48000 | #Constraints: 7761
116.41/116.94 c #Conflicts: 49000 | #Constraints: 8761
116.41/116.94 c #Conflicts: 50000 | #Constraints: 9761
116.41/116.94 c #Conflicts: 51000 | #Constraints: 10761
116.41/116.94 c INPROCESSING
116.41/116.94 c GARBAGE COLLECT
116.41/116.94 c #Conflicts: 52000 | #Constraints: 7161
116.41/116.94 c #Conflicts: 53000 | #Constraints: 8161
116.41/116.94 c #Conflicts: 54000 | #Constraints: 9161
116.41/116.94 c #Conflicts: 55000 | #Constraints: 10161
116.41/116.94 c #Conflicts: 56000 | #Constraints: 11161
116.41/116.94 c INPROCESSING
116.41/116.94 c GARBAGE COLLECT
116.41/116.94 c #Conflicts: 57000 | #Constraints: 7362
116.41/116.94 c #Conflicts: 58000 | #Constraints: 8362
116.41/116.94 c #Conflicts: 59000 | #Constraints: 9362
116.41/116.94 c #Conflicts: 60000 | #Constraints: 10362
116.41/116.94 c #Conflicts: 61000 | #Constraints: 11362
116.41/116.94 c INPROCESSING
116.41/116.94 c GARBAGE COLLECT
116.41/116.94 c #Conflicts: 62000 | #Constraints: 7372
116.41/116.94 c #Conflicts: 63000 | #Constraints: 8372
116.41/116.94 c #Conflicts: 64000 | #Constraints: 9372
116.41/116.94 c #Conflicts: 65000 | #Constraints: 10372
116.41/116.94 c #Conflicts: 66000 | #Constraints: 11372
116.41/116.94 c INPROCESSING
116.41/116.94 c GARBAGE COLLECT
116.41/116.94 c #Conflicts: 67000 | #Constraints: 7170
116.41/116.94 c #Conflicts: 68000 | #Constraints: 8170
116.41/116.94 c #Conflicts: 69000 | #Constraints: 9170
116.41/116.94 c #Conflicts: 70000 | #Constraints: 10170
116.41/116.94 c #Conflicts: 71000 | #Constraints: 11170
116.41/116.94 c #Conflicts: 72000 | #Constraints: 12170
116.41/116.94 c INPROCESSING
116.41/116.94 c GARBAGE COLLECT
116.41/116.94 c #Conflicts: 73000 | #Constraints: 7775
116.41/116.94 c #Conflicts: 74000 | #Constraints: 8775
116.41/116.94 c #Conflicts: 75000 | #Constraints: 9775
116.41/116.94 c #Conflicts: 76000 | #Constraints: 10775
116.41/116.94 c #Conflicts: 77000 | #Constraints: 11775
116.41/116.94 c #Conflicts: 78000 | #Constraints: 12775
116.41/116.94 c INPROCESSING
116.41/116.94 c GARBAGE COLLECT
116.41/116.94 c #Conflicts: 79000 | #Constraints: 8171
116.41/116.94 c #Conflicts: 80000 | #Constraints: 9171
116.41/116.94 c #Conflicts: 81000 | #Constraints: 10171
116.41/116.94 c #Conflicts: 82000 | #Constraints: 11171
116.41/116.94 c #Conflicts: 83000 | #Constraints: 12171
116.41/116.94 c #Conflicts: 84000 | #Constraints: 13171
116.41/116.94 c INPROCESSING
116.41/116.94 c GARBAGE COLLECT
116.41/116.94 c #Conflicts: 85000 | #Constraints: 8376
116.41/116.94 c #Conflicts: 86000 | #Constraints: 9376
116.41/116.94 c #Conflicts: 87000 | #Constraints: 10376
116.41/116.94 c #Conflicts: 88000 | #Constraints: 11376
116.41/116.94 c #Conflicts: 89000 | #Constraints: 12376
116.41/116.94 c #Conflicts: 90000 | #Constraints: 13376
116.41/116.94 c INPROCESSING
116.41/116.94 c GARBAGE COLLECT
116.41/116.94 c #Conflicts: 91000 | #Constraints: 8377
116.41/116.94 c #Conflicts: 92000 | #Constraints: 9377
116.41/116.94 c #Conflicts: 93000 | #Constraints: 10377
116.41/116.94 c GLOBAL bounds - >= 1665157605675 @ 111.124
116.41/116.95 c GLOBAL bounds - >= 1665157605675 @ 111.137
116.41/116.98 c GLOBAL bounds - >= 1665157605675 @ 111.152
116.41/116.98 c GLOBAL bounds - >= 1665157605675 @ 111.154
116.41/117.01 c GLOBAL bounds - >= 1665157605675 @ 111.167
116.53/117.01 c GLOBAL bounds - >= 1665157605675 @ 111.168
116.53/117.04 c GLOBAL bounds - >= 1665157605675 @ 111.182
116.53/117.04 c GLOBAL bounds - >= 1665157605675 @ 111.182
116.53/117.06 c GLOBAL bounds - >= 1665157605675 @ 111.193
116.53/117.06 c GLOBAL bounds - >= 1665157605675 @ 111.194
116.53/117.09 c GLOBAL bounds - >= 1665157605675 @ 111.207
116.53/117.09 c GLOBAL bounds - >= 1665157605675 @ 111.209
116.62/117.12 c GLOBAL bounds - >= 1665157605675 @ 111.22
116.62/117.12 c GLOBAL bounds - >= 1665157605675 @ 111.22
116.62/117.14 c GLOBAL bounds - >= 1665157605675 @ 111.23
116.62/117.14 c GLOBAL bounds - >= 1665157605675 @ 111.231
116.62/117.17 c GLOBAL bounds - >= 1665157605675 @ 111.241
116.62/117.17 c GLOBAL bounds - >= 1665157605675 @ 111.242
116.62/117.20 c GLOBAL bounds - >= 1665157605675 @ 111.249
116.71/117.20 c GLOBAL bounds - >= 1665157605675 @ 111.252
116.71/117.22 c GLOBAL bounds - >= 1665157605675 @ 111.264
189.58/190.38 c #Conflicts: 94000 | #Constraints: 11416
189.58/190.38 c #Conflicts: 95000 | #Constraints: 12416
189.58/190.38 c #Conflicts: 96000 | #Constraints: 13416
189.58/190.38 c INPROCESSING
189.58/190.38 c GARBAGE COLLECT
189.58/190.38 c #Conflicts: 97000 | #Constraints: 8205
189.58/190.38 c #Conflicts: 98000 | #Constraints: 9205
189.58/190.38 c #Conflicts: 99000 | #Constraints: 10205
189.58/190.38 c #Conflicts: 100000 | #Constraints: 11205
189.58/190.38 c #Conflicts: 101000 | #Constraints: 12205
189.58/190.38 c #Conflicts: 102000 | #Constraints: 13205
189.58/190.38 c #Conflicts: 103000 | #Constraints: 14205
189.58/190.38 c INPROCESSING
189.58/190.38 c GARBAGE COLLECT
189.58/190.38 c #Conflicts: 104000 | #Constraints: 8802
189.58/190.38 c #Conflicts: 105000 | #Constraints: 9802
189.58/190.38 c #Conflicts: 106000 | #Constraints: 10802
189.58/190.38 c #Conflicts: 107000 | #Constraints: 11802
189.58/190.38 c #Conflicts: 108000 | #Constraints: 12802
189.58/190.38 c #Conflicts: 109000 | #Constraints: 13802
189.58/190.38 c #Conflicts: 110000 | #Constraints: 14802
189.58/190.38 c INPROCESSING
189.58/190.38 c GARBAGE COLLECT
189.58/190.38 c #Conflicts: 111000 | #Constraints: 9199
189.58/190.38 c #Conflicts: 112000 | #Constraints: 10199
189.58/190.38 c #Conflicts: 113000 | #Constraints: 11199
189.58/190.38 c #Conflicts: 114000 | #Constraints: 12199
189.58/190.38 c #Conflicts: 115000 | #Constraints: 13199
189.58/190.38 c #Conflicts: 116000 | #Constraints: 14199
189.58/190.38 c #Conflicts: 117000 | #Constraints: 15199
189.58/190.38 c INPROCESSING
189.58/190.38 c GARBAGE COLLECT
189.58/190.38 c #Conflicts: 118000 | #Constraints: 9395
189.58/190.38 c #Conflicts: 119000 | #Constraints: 10395
189.58/190.38 c #Conflicts: 120000 | #Constraints: 11395
189.58/190.38 c #Conflicts: 121000 | #Constraints: 12395
189.58/190.38 c #Conflicts: 122000 | #Constraints: 13395
189.58/190.38 c #Conflicts: 123000 | #Constraints: 14395
189.58/190.38 c #Conflicts: 124000 | #Constraints: 15395
189.58/190.38 c INPROCESSING
189.58/190.38 c GARBAGE COLLECT
189.58/190.38 c #Conflicts: 125000 | #Constraints: 9391
189.58/190.38 c #Conflicts: 126000 | #Constraints: 10391
189.58/190.38 c #Conflicts: 127000 | #Constraints: 11391
189.58/190.38 c #Conflicts: 128000 | #Constraints: 12391
189.58/190.38 c #Conflicts: 129000 | #Constraints: 13391
189.58/190.38 c #Conflicts: 130000 | #Constraints: 14391
189.58/190.38 c #Conflicts: 131000 | #Constraints: 15391
189.58/190.38 c INPROCESSING
189.58/190.38 c GARBAGE COLLECT
189.58/190.38 c #Conflicts: 132000 | #Constraints: 9201
189.58/190.38 c #Conflicts: 133000 | #Constraints: 10201
189.58/190.38 c #Conflicts: 134000 | #Constraints: 11201
189.58/190.38 c #Conflicts: 135000 | #Constraints: 12201
189.58/190.38 c #Conflicts: 136000 | #Constraints: 13201
189.58/190.38 c #Conflicts: 137000 | #Constraints: 14201
189.58/190.38 c #Conflicts: 138000 | #Constraints: 15201
189.58/190.38 c #Conflicts: 139000 | #Constraints: 16201
189.58/190.38 c INPROCESSING
189.58/190.38 c GARBAGE COLLECT
189.58/190.38 c #Conflicts: 140000 | #Constraints: 9797
189.58/190.38 c #Conflicts: 141000 | #Constraints: 10797
189.58/190.38 c #Conflicts: 142000 | #Constraints: 11797
189.58/190.38 c #Conflicts: 143000 | #Constraints: 12797
189.58/190.38 c #Conflicts: 144000 | #Constraints: 13797
189.58/190.38 c #Conflicts: 145000 | #Constraints: 14797
189.58/190.38 c #Conflicts: 146000 | #Constraints: 15797
189.58/190.38 c #Conflicts: 147000 | #Constraints: 16797
189.58/190.38 c INPROCESSING
189.58/190.38 c GARBAGE COLLECT
189.58/190.38 c #Conflicts: 148000 | #Constraints: 10198
189.58/190.38 c #Conflicts: 149000 | #Constraints: 11198
189.58/190.38 c #Conflicts: 150000 | #Constraints: 12198
189.58/190.38 c #Conflicts: 151000 | #Constraints: 13198
189.58/190.38 c #Conflicts: 152000 | #Constraints: 14198
189.58/190.38 c GLOBAL bounds - >= 1665342075925 @ 182.746
189.58/190.39 c GLOBAL bounds - >= 1665342075925 @ 182.763
189.68/190.42 c GLOBAL bounds - >= 1665342075925 @ 182.776
189.68/190.42 c GLOBAL bounds - >= 1665342075925 @ 182.778
189.68/190.45 c GLOBAL bounds - >= 1665342075925 @ 182.794
189.68/190.45 c GLOBAL bounds - >= 1665342075925 @ 182.796
189.68/190.48 c GLOBAL bounds - >= 1665342075925 @ 182.813
189.68/190.48 c GLOBAL bounds - >= 1665342075925 @ 182.813
189.79/190.50 c GLOBAL bounds - >= 1665342075925 @ 182.826
189.79/190.51 c GLOBAL bounds - >= 1665342075925 @ 182.828
189.79/190.53 c GLOBAL bounds - >= 1665342075925 @ 182.841
189.79/190.54 c GLOBAL bounds - >= 1665342075925 @ 182.842
189.79/190.56 c GLOBAL bounds - >= 1665342075925 @ 182.857
189.79/190.56 c GLOBAL bounds - >= 1665342075925 @ 182.86
189.79/190.59 c GLOBAL bounds - >= 1665342075925 @ 182.872
189.79/190.59 c GLOBAL bounds - >= 1665342075925 @ 182.873
189.88/190.62 c GLOBAL bounds - >= 1665342075925 @ 182.884
189.88/190.62 c GLOBAL bounds - >= 1665342075925 @ 182.886
189.88/190.65 c GLOBAL bounds - >= 1665342075925 @ 182.897
189.88/190.65 c GLOBAL bounds - >= 1665342075925 @ 182.899
189.88/190.67 c GLOBAL bounds - >= 1665342075925 @ 182.913
269.46/270.43 c #Conflicts: 153000 | #Constraints: 15237
269.46/270.43 c #Conflicts: 154000 | #Constraints: 16237
269.46/270.43 c #Conflicts: 155000 | #Constraints: 17237
269.46/270.43 c INPROCESSING
269.46/270.43 c GARBAGE COLLECT
269.46/270.43 c #Conflicts: 156000 | #Constraints: 10428
269.46/270.43 c #Conflicts: 157000 | #Constraints: 11428
269.46/270.43 c #Conflicts: 158000 | #Constraints: 12428
269.46/270.43 c #Conflicts: 159000 | #Constraints: 13428
269.46/270.43 c #Conflicts: 160000 | #Constraints: 14428
269.46/270.43 c #Conflicts: 161000 | #Constraints: 15428
269.46/270.43 c #Conflicts: 162000 | #Constraints: 16428
269.46/270.43 c #Conflicts: 163000 | #Constraints: 17428
269.46/270.43 c INPROCESSING
269.46/270.43 c GARBAGE COLLECT
269.46/270.43 c #Conflicts: 164000 | #Constraints: 10422
269.46/270.43 c #Conflicts: 165000 | #Constraints: 11422
269.46/270.43 c #Conflicts: 166000 | #Constraints: 12422
269.46/270.43 c #Conflicts: 167000 | #Constraints: 13422
269.46/270.43 c #Conflicts: 168000 | #Constraints: 14422
269.46/270.43 c #Conflicts: 169000 | #Constraints: 15422
269.46/270.43 c #Conflicts: 170000 | #Constraints: 16422
269.46/270.43 c #Conflicts: 171000 | #Constraints: 17422
269.46/270.43 c INPROCESSING
269.46/270.43 c GARBAGE COLLECT
269.46/270.43 c #Conflicts: 172000 | #Constraints: 10226
269.46/270.43 c #Conflicts: 173000 | #Constraints: 11226
269.46/270.43 c #Conflicts: 174000 | #Constraints: 12226
269.46/270.43 c #Conflicts: 175000 | #Constraints: 13226
269.46/270.43 c #Conflicts: 176000 | #Constraints: 14226
269.46/270.43 c #Conflicts: 177000 | #Constraints: 15226
269.46/270.43 c #Conflicts: 178000 | #Constraints: 16226
269.46/270.43 c #Conflicts: 179000 | #Constraints: 17226
269.46/270.43 c #Conflicts: 180000 | #Constraints: 18226
269.46/270.43 c INPROCESSING
269.46/270.43 c GARBAGE COLLECT
269.46/270.43 c #Conflicts: 181000 | #Constraints: 10825
269.46/270.43 c #Conflicts: 182000 | #Constraints: 11825
269.46/270.43 c #Conflicts: 183000 | #Constraints: 12825
269.46/270.43 c #Conflicts: 184000 | #Constraints: 13825
269.46/270.43 c #Conflicts: 185000 | #Constraints: 14825
269.46/270.43 c #Conflicts: 186000 | #Constraints: 15825
269.46/270.43 c #Conflicts: 187000 | #Constraints: 16825
269.46/270.43 c #Conflicts: 188000 | #Constraints: 17825
269.46/270.43 c #Conflicts: 189000 | #Constraints: 18825
269.46/270.43 c INPROCESSING
269.46/270.43 c GARBAGE COLLECT
269.46/270.43 c #Conflicts: 190000 | #Constraints: 11223
269.46/270.43 c #Conflicts: 191000 | #Constraints: 12223
269.46/270.43 c #Conflicts: 192000 | #Constraints: 13223
269.46/270.43 c #Conflicts: 193000 | #Constraints: 14223
269.46/270.43 c #Conflicts: 194000 | #Constraints: 15223
269.46/270.43 c #Conflicts: 195000 | #Constraints: 16223
269.46/270.43 c #Conflicts: 196000 | #Constraints: 17223
269.46/270.43 c #Conflicts: 197000 | #Constraints: 18223
269.46/270.43 c #Conflicts: 198000 | #Constraints: 19223
269.46/270.43 c INPROCESSING
269.46/270.43 c GARBAGE COLLECT
269.46/270.43 c #Conflicts: 199000 | #Constraints: 11442
269.46/270.43 c #Conflicts: 200000 | #Constraints: 12442
269.46/270.43 c #Conflicts: 201000 | #Constraints: 13442
269.46/270.43 c #Conflicts: 202000 | #Constraints: 14442
269.46/270.43 c #Conflicts: 203000 | #Constraints: 15442
269.46/270.43 c #Conflicts: 204000 | #Constraints: 16442
269.46/270.43 c #Conflicts: 205000 | #Constraints: 17442
269.46/270.43 c #Conflicts: 206000 | #Constraints: 18442
269.46/270.43 c #Conflicts: 207000 | #Constraints: 19442
269.46/270.43 c INPROCESSING
269.46/270.43 c GARBAGE COLLECT
269.46/270.43 c #Conflicts: 208000 | #Constraints: 11434
269.46/270.43 c #Conflicts: 209000 | #Constraints: 12434
269.46/270.43 c #Conflicts: 210000 | #Constraints: 13434
269.46/270.43 c #Conflicts: 211000 | #Constraints: 14434
269.46/270.43 c #Conflicts: 212000 | #Constraints: 15434
269.46/270.43 c GLOBAL bounds - >= 1665526546175 @ 260.984
269.46/270.45 c GLOBAL bounds - >= 1665526546175 @ 261.001
269.46/270.48 c GLOBAL bounds - >= 1665526546175 @ 261.016
269.46/270.48 c GLOBAL bounds - >= 1665526546175 @ 261.019
269.56/270.50 c GLOBAL bounds - >= 1665526546175 @ 261.032
269.56/270.51 c GLOBAL bounds - >= 1665526546175 @ 261.034
269.56/270.53 c GLOBAL bounds - >= 1665526546175 @ 261.047
269.56/270.54 c GLOBAL bounds - >= 1665526546175 @ 261.048
269.56/270.56 c GLOBAL bounds - >= 1665526546175 @ 261.063
269.56/270.57 c GLOBAL bounds - >= 1665526546175 @ 261.064
269.56/270.59 c GLOBAL bounds - >= 1665526546175 @ 261.078
269.56/270.59 c GLOBAL bounds - >= 1665526546175 @ 261.08
269.66/270.62 c GLOBAL bounds - >= 1665526546175 @ 261.09
269.66/270.62 c GLOBAL bounds - >= 1665526546175 @ 261.092
269.66/270.65 c GLOBAL bounds - >= 1665526546175 @ 261.105
269.66/270.65 c GLOBAL bounds - >= 1665526546175 @ 261.108
269.66/270.68 c GLOBAL bounds - >= 1665526546175 @ 261.122
269.66/270.68 c GLOBAL bounds - >= 1665526546175 @ 261.123
269.76/270.71 c GLOBAL bounds - >= 1665526546175 @ 261.137
269.76/270.71 c GLOBAL bounds - >= 1665526546175 @ 261.139
269.76/270.74 c GLOBAL bounds - >= 1665526546175 @ 261.151
313.11/314.26 c #Conflicts: 213000 | #Constraints: 16473
313.11/314.26 c #Conflicts: 214000 | #Constraints: 17473
313.11/314.26 c #Conflicts: 215000 | #Constraints: 18473
313.11/314.26 c #Conflicts: 216000 | #Constraints: 19473
313.11/314.26 c INPROCESSING
313.11/314.26 c GARBAGE COLLECT
313.11/314.26 c #Conflicts: 217000 | #Constraints: 11268
313.11/314.26 c #Conflicts: 218000 | #Constraints: 12268
313.11/314.26 c #Conflicts: 219000 | #Constraints: 13268
313.11/314.26 c #Conflicts: 220000 | #Constraints: 14268
313.11/314.26 c #Conflicts: 221000 | #Constraints: 15268
313.11/314.26 c #Conflicts: 222000 | #Constraints: 16268
313.11/314.26 c #Conflicts: 223000 | #Constraints: 17268
313.11/314.26 c #Conflicts: 224000 | #Constraints: 18268
313.11/314.26 c #Conflicts: 225000 | #Constraints: 19268
313.11/314.26 c #Conflicts: 226000 | #Constraints: 20268
313.11/314.26 c INPROCESSING
313.11/314.26 c GARBAGE COLLECT
313.11/314.26 c #Conflicts: 227000 | #Constraints: 11881
313.11/314.26 c #Conflicts: 228000 | #Constraints: 12881
313.11/314.26 c #Conflicts: 229000 | #Constraints: 13881
313.11/314.26 c #Conflicts: 230000 | #Constraints: 14881
313.11/314.26 c #Conflicts: 231000 | #Constraints: 15881
313.11/314.26 c #Conflicts: 232000 | #Constraints: 16881
313.11/314.26 c #Conflicts: 233000 | #Constraints: 17881
313.11/314.26 c #Conflicts: 234000 | #Constraints: 18881
313.11/314.26 c #Conflicts: 235000 | #Constraints: 19881
313.11/314.26 c #Conflicts: 236000 | #Constraints: 20881
313.11/314.26 c INPROCESSING
313.11/314.26 c GARBAGE COLLECT
313.11/314.26 c #Conflicts: 237000 | #Constraints: 12270
313.11/314.26 c #Conflicts: 238000 | #Constraints: 13270
313.11/314.26 c #Conflicts: 239000 | #Constraints: 14270
313.11/314.26 c #Conflicts: 240000 | #Constraints: 15270
313.11/314.26 c #Conflicts: 241000 | #Constraints: 16270
313.11/314.26 c GLOBAL bounds - >= 1665711016425 @ 303.715
313.11/314.27 c GLOBAL bounds - >= 1665711016425 @ 303.73
313.22/314.30 c GLOBAL bounds - >= 1665711016425 @ 303.743
313.22/314.30 c GLOBAL bounds - >= 1665711016425 @ 303.746
313.22/314.33 c GLOBAL bounds - >= 1665711016425 @ 303.76
313.22/314.33 c GLOBAL bounds - >= 1665711016425 @ 303.761
313.22/314.36 c GLOBAL bounds - >= 1665711016425 @ 303.775
313.22/314.36 c GLOBAL bounds - >= 1665711016425 @ 303.776
313.22/314.38 c GLOBAL bounds - >= 1665711016425 @ 303.787
313.22/314.39 c GLOBAL bounds - >= 1665711016425 @ 303.788
313.31/314.41 c GLOBAL bounds - >= 1665711016425 @ 303.803
313.31/314.42 c GLOBAL bounds - >= 1665711016425 @ 303.805
313.31/314.44 c GLOBAL bounds - >= 1665711016425 @ 303.821
313.31/314.45 c GLOBAL bounds - >= 1665711016425 @ 303.823
313.31/314.47 c GLOBAL bounds - >= 1665711016425 @ 303.836
313.31/314.47 c GLOBAL bounds - >= 1665711016425 @ 303.838
313.41/314.50 c GLOBAL bounds - >= 1665711016425 @ 303.85
313.41/314.50 c GLOBAL bounds - >= 1665711016425 @ 303.852
313.41/314.53 c GLOBAL bounds - >= 1665711016425 @ 303.867
313.41/314.53 c GLOBAL bounds - >= 1665711016425 @ 303.869
313.41/314.56 c GLOBAL bounds - >= 1665711016425 @ 303.886
421.72/423.13 c #Conflicts: 242000 | #Constraints: 17309
421.72/423.13 c #Conflicts: 243000 | #Constraints: 18309
421.72/423.13 c #Conflicts: 244000 | #Constraints: 19309
421.72/423.13 c #Conflicts: 245000 | #Constraints: 20309
421.72/423.13 c #Conflicts: 246000 | #Constraints: 21309
421.72/423.13 c INPROCESSING
421.72/423.13 c GARBAGE COLLECT
421.72/423.13 c #Conflicts: 247000 | #Constraints: 12493
421.72/423.13 c #Conflicts: 248000 | #Constraints: 13493
421.72/423.13 c #Conflicts: 249000 | #Constraints: 14493
421.72/423.13 c #Conflicts: 250000 | #Constraints: 15493
421.72/423.13 c #Conflicts: 251000 | #Constraints: 16493
421.72/423.13 c #Conflicts: 252000 | #Constraints: 17493
421.72/423.13 c #Conflicts: 253000 | #Constraints: 18493
421.72/423.13 c #Conflicts: 254000 | #Constraints: 19493
421.72/423.13 c #Conflicts: 255000 | #Constraints: 20493
421.72/423.13 c #Conflicts: 256000 | #Constraints: 21493
421.72/423.13 c INPROCESSING
421.72/423.13 c GARBAGE COLLECT
421.72/423.13 c #Conflicts: 257000 | #Constraints: 12494
421.72/423.13 c #Conflicts: 258000 | #Constraints: 13494
421.72/423.13 c #Conflicts: 259000 | #Constraints: 14494
421.72/423.13 c #Conflicts: 260000 | #Constraints: 15494
421.72/423.13 c #Conflicts: 261000 | #Constraints: 16494
421.72/423.13 c #Conflicts: 262000 | #Constraints: 17494
421.72/423.13 c #Conflicts: 263000 | #Constraints: 18494
421.72/423.13 c #Conflicts: 264000 | #Constraints: 19494
421.72/423.13 c #Conflicts: 265000 | #Constraints: 20494
421.72/423.13 c #Conflicts: 266000 | #Constraints: 21494
421.72/423.13 c INPROCESSING
421.72/423.13 c GARBAGE COLLECT
421.72/423.13 c #Conflicts: 267000 | #Constraints: 12290
421.72/423.13 c #Conflicts: 268000 | #Constraints: 13290
421.72/423.13 c #Conflicts: 269000 | #Constraints: 14290
421.72/423.13 c #Conflicts: 270000 | #Constraints: 15290
421.72/423.13 c #Conflicts: 271000 | #Constraints: 16290
421.72/423.13 c #Conflicts: 272000 | #Constraints: 17290
421.72/423.13 c #Conflicts: 273000 | #Constraints: 18290
421.72/423.13 c #Conflicts: 274000 | #Constraints: 19290
421.72/423.13 c #Conflicts: 275000 | #Constraints: 20290
421.72/423.13 c #Conflicts: 276000 | #Constraints: 21290
421.72/423.13 c #Conflicts: 277000 | #Constraints: 22290
421.72/423.13 c INPROCESSING
421.72/423.13 c GARBAGE COLLECT
421.72/423.13 c #Conflicts: 278000 | #Constraints: 12890
421.72/423.13 c #Conflicts: 279000 | #Constraints: 13890
421.72/423.13 c #Conflicts: 280000 | #Constraints: 14890
421.72/423.13 c #Conflicts: 281000 | #Constraints: 15890
421.72/423.13 c #Conflicts: 282000 | #Constraints: 16890
421.72/423.13 c #Conflicts: 283000 | #Constraints: 17890
421.72/423.13 c #Conflicts: 284000 | #Constraints: 18890
421.72/423.13 c #Conflicts: 285000 | #Constraints: 19890
421.72/423.13 c #Conflicts: 286000 | #Constraints: 20890
421.72/423.13 c #Conflicts: 287000 | #Constraints: 21890
421.72/423.13 c #Conflicts: 288000 | #Constraints: 22890
421.72/423.13 c INPROCESSING
421.72/423.13 c GARBAGE COLLECT
421.72/423.13 c #Conflicts: 289000 | #Constraints: 13292
421.72/423.13 c #Conflicts: 290000 | #Constraints: 14292
421.72/423.13 c #Conflicts: 291000 | #Constraints: 15292
421.72/423.13 c #Conflicts: 292000 | #Constraints: 16292
421.72/423.13 c #Conflicts: 293000 | #Constraints: 17292
421.72/423.13 c #Conflicts: 294000 | #Constraints: 18292
421.72/423.13 c #Conflicts: 295000 | #Constraints: 19292
421.72/423.13 c #Conflicts: 296000 | #Constraints: 20292
421.72/423.13 c #Conflicts: 297000 | #Constraints: 21292
421.72/423.13 c #Conflicts: 298000 | #Constraints: 22292
421.72/423.13 c #Conflicts: 299000 | #Constraints: 23292
421.72/423.13 c INPROCESSING
421.72/423.13 c GARBAGE COLLECT
421.72/423.13 c #Conflicts: 300000 | #Constraints: 13491
421.72/423.13 c #Conflicts: 301000 | #Constraints: 14491
421.72/423.13 c #Conflicts: 302000 | #Constraints: 15491
421.72/423.13 c #Conflicts: 303000 | #Constraints: 16491
421.72/423.13 c #Conflicts: 304000 | #Constraints: 17491
421.72/423.13 c #Conflicts: 305000 | #Constraints: 18491
421.72/423.13 c #Conflicts: 306000 | #Constraints: 19491
421.72/423.13 c #Conflicts: 307000 | #Constraints: 20491
421.72/423.13 c #Conflicts: 308000 | #Constraints: 21491
421.72/423.13 c #Conflicts: 309000 | #Constraints: 22491
421.72/423.13 c #Conflicts: 310000 | #Constraints: 23491
421.72/423.13 c INPROCESSING
421.72/423.13 c GARBAGE COLLECT
421.72/423.13 c #Conflicts: 311000 | #Constraints: 13489
421.72/423.13 c #Conflicts: 312000 | #Constraints: 14489
421.72/423.13 c #Conflicts: 313000 | #Constraints: 15489
421.72/423.13 c #Conflicts: 314000 | #Constraints: 16489
421.72/423.13 c #Conflicts: 315000 | #Constraints: 17489
421.72/423.13 c #Conflicts: 316000 | #Constraints: 18489
448.33/449.82 c #Conflicts: 317000 | #Constraints: 19489
448.33/449.82 c #Conflicts: 318000 | #Constraints: 20489
448.33/449.82 c #Conflicts: 319000 | #Constraints: 21489
448.33/449.82 c #Conflicts: 320000 | #Constraints: 22489
448.33/449.82 c #Conflicts: 321000 | #Constraints: 23489
448.33/449.82 c INPROCESSING
448.33/449.82 c GARBAGE COLLECT
448.33/449.82 c #Conflicts: 322000 | #Constraints: 13290
448.33/449.82 c #Conflicts: 323000 | #Constraints: 14290
448.33/449.82 c #Conflicts: 324000 | #Constraints: 15290
448.33/449.82 c #Conflicts: 325000 | #Constraints: 16290
448.33/449.82 c #Conflicts: 326000 | #Constraints: 17290
448.33/449.82 c #Conflicts: 327000 | #Constraints: 18290
448.33/449.82 c #Conflicts: 328000 | #Constraints: 19290
448.33/449.82 c #Conflicts: 329000 | #Constraints: 20290
448.33/449.82 c #Conflicts: 330000 | #Constraints: 21290
448.33/449.82 c GLOBAL bounds - >= 1665895486675 @ 436.366
448.33/449.84 c GLOBAL bounds - >= 1665895486675 @ 436.383
448.33/449.87 c GLOBAL bounds - >= 1665895486675 @ 436.398
448.33/449.87 c GLOBAL bounds - >= 1665895486675 @ 436.399
448.43/449.90 c GLOBAL bounds - >= 1665895486675 @ 436.415
448.43/449.90 c GLOBAL bounds - >= 1665895486675 @ 436.418
448.43/449.93 c GLOBAL bounds - >= 1665895486675 @ 436.432
448.43/449.94 c GLOBAL bounds - >= 1665895486675 @ 436.434
448.43/449.96 c GLOBAL bounds - >= 1665895486675 @ 436.447
448.43/449.97 c GLOBAL bounds - >= 1665895486675 @ 436.449
448.43/450.00 c GLOBAL bounds - >= 1665895486675 @ 436.466
448.43/450.00 c GLOBAL bounds - >= 1665895486675 @ 436.468
448.54/450.03 c GLOBAL bounds - >= 1665895486675 @ 436.481
448.54/450.03 c GLOBAL bounds - >= 1665895486675 @ 436.482
448.54/450.06 c GLOBAL bounds - >= 1665895486675 @ 436.494
448.54/450.06 c GLOBAL bounds - >= 1665895486675 @ 436.497
448.54/450.09 c GLOBAL bounds - >= 1665895486675 @ 436.516
448.54/450.09 c GLOBAL bounds - >= 1665895486675 @ 436.519
448.64/450.12 c GLOBAL bounds - >= 1665895486675 @ 436.537
448.64/450.13 c GLOBAL bounds - >= 1665895486675 @ 436.54
448.64/450.15 c GLOBAL bounds - >= 1665895486675 @ 436.553
551.44/553.25 c #Conflicts: 331000 | #Constraints: 22329
551.44/553.25 c #Conflicts: 332000 | #Constraints: 23329
551.44/553.25 c #Conflicts: 333000 | #Constraints: 24329
551.44/553.25 c INPROCESSING
551.44/553.25 c GARBAGE COLLECT
551.44/553.25 c #Conflicts: 334000 | #Constraints: 13937
551.44/553.25 c #Conflicts: 335000 | #Constraints: 14937
551.44/553.25 c #Conflicts: 336000 | #Constraints: 15937
551.44/553.25 c #Conflicts: 337000 | #Constraints: 16937
551.44/553.25 c #Conflicts: 338000 | #Constraints: 17937
551.44/553.25 c #Conflicts: 339000 | #Constraints: 18937
551.44/553.25 c #Conflicts: 340000 | #Constraints: 19937
551.44/553.25 c #Conflicts: 341000 | #Constraints: 20937
551.44/553.25 c #Conflicts: 342000 | #Constraints: 21937
551.44/553.25 c #Conflicts: 343000 | #Constraints: 22937
551.44/553.25 c #Conflicts: 344000 | #Constraints: 23937
551.44/553.25 c #Conflicts: 345000 | #Constraints: 24937
551.44/553.25 c INPROCESSING
551.44/553.25 c GARBAGE COLLECT
551.44/553.25 c #Conflicts: 346000 | #Constraints: 14325
551.44/553.25 c #Conflicts: 347000 | #Constraints: 15325
551.44/553.25 c #Conflicts: 348000 | #Constraints: 16325
551.44/553.25 c #Conflicts: 349000 | #Constraints: 17325
551.44/553.25 c #Conflicts: 350000 | #Constraints: 18325
551.44/553.25 c #Conflicts: 351000 | #Constraints: 19325
551.44/553.25 c #Conflicts: 352000 | #Constraints: 20325
551.44/553.25 c #Conflicts: 353000 | #Constraints: 21325
551.44/553.25 c #Conflicts: 354000 | #Constraints: 22325
551.44/553.25 c #Conflicts: 355000 | #Constraints: 23325
551.44/553.25 c #Conflicts: 356000 | #Constraints: 24325
551.44/553.25 c #Conflicts: 357000 | #Constraints: 25325
551.44/553.25 c INPROCESSING
551.44/553.25 c GARBAGE COLLECT
551.44/553.25 c #Conflicts: 358000 | #Constraints: 14521
551.44/553.25 c #Conflicts: 359000 | #Constraints: 15521
551.44/553.25 c #Conflicts: 360000 | #Constraints: 16521
551.44/553.25 c #Conflicts: 361000 | #Constraints: 17521
551.44/553.25 c #Conflicts: 362000 | #Constraints: 18521
551.44/553.25 c #Conflicts: 363000 | #Constraints: 19521
551.44/553.25 c #Conflicts: 364000 | #Constraints: 20521
551.44/553.25 c #Conflicts: 365000 | #Constraints: 21521
551.44/553.25 c #Conflicts: 366000 | #Constraints: 22521
551.44/553.25 c #Conflicts: 367000 | #Constraints: 23521
551.44/553.25 c #Conflicts: 368000 | #Constraints: 24521
551.44/553.25 c #Conflicts: 369000 | #Constraints: 25521
551.44/553.25 c INPROCESSING
551.44/553.25 c GARBAGE COLLECT
551.44/553.25 c #Conflicts: 370000 | #Constraints: 14518
551.44/553.25 c #Conflicts: 371000 | #Constraints: 15518
551.44/553.25 c #Conflicts: 372000 | #Constraints: 16518
551.44/553.25 c #Conflicts: 373000 | #Constraints: 17518
551.44/553.25 c #Conflicts: 374000 | #Constraints: 18518
551.44/553.25 c #Conflicts: 375000 | #Constraints: 19518
551.44/553.25 c #Conflicts: 376000 | #Constraints: 20518
551.44/553.25 c #Conflicts: 377000 | #Constraints: 21518
551.44/553.25 c #Conflicts: 378000 | #Constraints: 22518
551.44/553.25 c #Conflicts: 379000 | #Constraints: 23518
551.44/553.25 c #Conflicts: 380000 | #Constraints: 24518
551.44/553.25 c GLOBAL bounds - >= 1666079956925 @ 537.547
551.44/553.27 c GLOBAL bounds - >= 1666079956925 @ 537.566
551.54/553.30 c GLOBAL bounds - >= 1666079956925 @ 537.579
551.54/553.30 c GLOBAL bounds - >= 1666079956925 @ 537.582
551.54/553.33 c GLOBAL bounds - >= 1666079956925 @ 537.597
551.54/553.33 c GLOBAL bounds - >= 1666079956925 @ 537.598
551.54/553.36 c GLOBAL bounds - >= 1666079956925 @ 537.618
551.54/553.36 c GLOBAL bounds - >= 1666079956925 @ 537.619
551.54/553.39 c GLOBAL bounds - >= 1666079956925 @ 537.634
551.54/553.40 c GLOBAL bounds - >= 1666079956925 @ 537.637
551.64/553.42 c GLOBAL bounds - >= 1666079956925 @ 537.652
551.64/553.43 c GLOBAL bounds - >= 1666079956925 @ 537.655
551.64/553.46 c GLOBAL bounds - >= 1666079956925 @ 537.671
551.64/553.46 c GLOBAL bounds - >= 1666079956925 @ 537.673
551.64/553.49 c GLOBAL bounds - >= 1666079956925 @ 537.687
551.64/553.49 c GLOBAL bounds - >= 1666079956925 @ 537.691
551.74/553.52 c GLOBAL bounds - >= 1666079956925 @ 537.706
551.74/553.52 c GLOBAL bounds - >= 1666079956925 @ 537.707
551.74/553.55 c GLOBAL bounds - >= 1666079956925 @ 537.722
551.74/553.56 c GLOBAL bounds - >= 1666079956925 @ 537.724
551.74/553.58 c GLOBAL bounds - >= 1666079956925 @ 537.74
638.22/640.32 c #Conflicts: 381000 | #Constraints: 25557
638.22/640.32 c INPROCESSING
638.22/640.32 c GARBAGE COLLECT
638.22/640.32 c #Conflicts: 382000 | #Constraints: 14351
638.22/640.32 c #Conflicts: 383000 | #Constraints: 15351
638.22/640.32 c #Conflicts: 384000 | #Constraints: 16351
638.22/640.32 c #Conflicts: 385000 | #Constraints: 17351
638.22/640.32 c #Conflicts: 386000 | #Constraints: 18351
638.22/640.32 c #Conflicts: 387000 | #Constraints: 19351
638.22/640.32 c #Conflicts: 388000 | #Constraints: 20351
638.22/640.32 c #Conflicts: 389000 | #Constraints: 21351
638.22/640.32 c #Conflicts: 390000 | #Constraints: 22351
638.22/640.32 c #Conflicts: 391000 | #Constraints: 23351
638.22/640.32 c #Conflicts: 392000 | #Constraints: 24351
638.22/640.32 c #Conflicts: 393000 | #Constraints: 25351
638.22/640.32 c #Conflicts: 394000 | #Constraints: 26351
638.22/640.32 c INPROCESSING
638.22/640.32 c GARBAGE COLLECT
638.22/640.32 c #Conflicts: 395000 | #Constraints: 14947
638.22/640.32 c #Conflicts: 396000 | #Constraints: 15947
638.22/640.32 c #Conflicts: 397000 | #Constraints: 16947
638.22/640.32 c #Conflicts: 398000 | #Constraints: 17947
638.22/640.32 c #Conflicts: 399000 | #Constraints: 18947
638.22/640.32 c #Conflicts: 400000 | #Constraints: 19947
638.22/640.32 c #Conflicts: 401000 | #Constraints: 20947
638.22/640.32 c #Conflicts: 402000 | #Constraints: 21947
638.22/640.32 c #Conflicts: 403000 | #Constraints: 22947
638.22/640.32 c #Conflicts: 404000 | #Constraints: 23947
638.22/640.32 c #Conflicts: 405000 | #Constraints: 24947
638.22/640.32 c #Conflicts: 406000 | #Constraints: 25947
638.22/640.32 c #Conflicts: 407000 | #Constraints: 26947
638.22/640.32 c INPROCESSING
638.22/640.32 c GARBAGE COLLECT
638.22/640.32 c #Conflicts: 408000 | #Constraints: 15346
638.22/640.32 c #Conflicts: 409000 | #Constraints: 16346
638.22/640.32 c #Conflicts: 410000 | #Constraints: 17346
638.22/640.32 c #Conflicts: 411000 | #Constraints: 18346
638.22/640.32 c #Conflicts: 412000 | #Constraints: 19346
638.22/640.32 c #Conflicts: 413000 | #Constraints: 20346
638.22/640.32 c #Conflicts: 414000 | #Constraints: 21346
638.22/640.32 c #Conflicts: 415000 | #Constraints: 22346
638.22/640.32 c #Conflicts: 416000 | #Constraints: 23346
638.22/640.32 c #Conflicts: 417000 | #Constraints: 24346
638.22/640.32 c #Conflicts: 418000 | #Constraints: 25346
638.22/640.32 c #Conflicts: 419000 | #Constraints: 26346
638.22/640.32 c #Conflicts: 420000 | #Constraints: 27346
638.22/640.32 c INPROCESSING
638.22/640.32 c GARBAGE COLLECT
638.22/640.32 c #Conflicts: 421000 | #Constraints: 15557
638.22/640.32 c #Conflicts: 422000 | #Constraints: 16557
638.22/640.32 c #Conflicts: 423000 | #Constraints: 17557
638.22/640.32 c #Conflicts: 424000 | #Constraints: 18557
638.22/640.32 c GLOBAL bounds - >= 1666264427175 @ 622.525
638.22/640.34 c GLOBAL bounds - >= 1666264427175 @ 622.54
638.22/640.36 c GLOBAL bounds - >= 1666264427175 @ 622.561
638.22/640.37 c GLOBAL bounds - >= 1666264427175 @ 622.564
638.22/640.39 c GLOBAL bounds - >= 1666264427175 @ 622.577
638.22/640.40 c GLOBAL bounds - >= 1666264427175 @ 622.58
638.32/640.42 c GLOBAL bounds - >= 1666264427175 @ 622.594
638.32/640.43 c GLOBAL bounds - >= 1666264427175 @ 622.597
638.32/640.45 c GLOBAL bounds - >= 1666264427175 @ 622.608
638.32/640.46 c GLOBAL bounds - >= 1666264427175 @ 622.609
638.32/640.48 c GLOBAL bounds - >= 1666264427175 @ 622.621
638.32/640.49 c GLOBAL bounds - >= 1666264427175 @ 622.624
638.42/640.51 c GLOBAL bounds - >= 1666264427175 @ 622.639
638.42/640.52 c GLOBAL bounds - >= 1666264427175 @ 622.641
638.42/640.54 c GLOBAL bounds - >= 1666264427175 @ 622.655
638.42/640.55 c GLOBAL bounds - >= 1666264427175 @ 622.658
638.42/640.57 c GLOBAL bounds - >= 1666264427175 @ 622.674
638.42/640.58 c GLOBAL bounds - >= 1666264427175 @ 622.676
638.52/640.60 c GLOBAL bounds - >= 1666264427175 @ 622.692
638.52/640.61 c GLOBAL bounds - >= 1666264427175 @ 622.693
638.52/640.63 c GLOBAL bounds - >= 1666264427175 @ 622.703
697.55/699.81 c #Conflicts: 425000 | #Constraints: 19596
697.55/699.81 c #Conflicts: 426000 | #Constraints: 20596
697.55/699.81 c #Conflicts: 427000 | #Constraints: 21596
697.55/699.81 c #Conflicts: 428000 | #Constraints: 22596
697.55/699.81 c #Conflicts: 429000 | #Constraints: 23596
697.55/699.81 c #Conflicts: 430000 | #Constraints: 24596
697.55/699.81 c #Conflicts: 431000 | #Constraints: 25596
697.55/699.81 c #Conflicts: 432000 | #Constraints: 26596
697.55/699.81 c #Conflicts: 433000 | #Constraints: 27596
697.55/699.81 c INPROCESSING
697.55/699.81 c GARBAGE COLLECT
697.55/699.81 c #Conflicts: 434000 | #Constraints: 15588
697.55/699.81 c #Conflicts: 435000 | #Constraints: 16588
697.55/699.81 c #Conflicts: 436000 | #Constraints: 17588
697.55/699.81 c #Conflicts: 437000 | #Constraints: 18588
697.55/699.81 c #Conflicts: 438000 | #Constraints: 19588
697.55/699.81 c #Conflicts: 439000 | #Constraints: 20588
697.55/699.81 c #Conflicts: 440000 | #Constraints: 21588
697.55/699.81 c #Conflicts: 441000 | #Constraints: 22588
697.55/699.81 c #Conflicts: 442000 | #Constraints: 23588
697.55/699.81 c #Conflicts: 443000 | #Constraints: 24588
697.55/699.81 c #Conflicts: 444000 | #Constraints: 25588
697.55/699.81 c #Conflicts: 445000 | #Constraints: 26588
697.55/699.81 c #Conflicts: 446000 | #Constraints: 27588
697.55/699.81 c INPROCESSING
697.55/699.81 c GARBAGE COLLECT
697.55/699.81 c #Conflicts: 447000 | #Constraints: 15377
697.55/699.81 c #Conflicts: 448000 | #Constraints: 16377
697.55/699.81 c #Conflicts: 449000 | #Constraints: 17377
697.55/699.81 c #Conflicts: 450000 | #Constraints: 18377
697.55/699.81 c #Conflicts: 451000 | #Constraints: 19377
697.55/699.81 c #Conflicts: 452000 | #Constraints: 20377
697.55/699.81 c #Conflicts: 453000 | #Constraints: 21377
697.55/699.81 c #Conflicts: 454000 | #Constraints: 22377
697.55/699.81 c #Conflicts: 455000 | #Constraints: 23377
697.55/699.81 c GLOBAL bounds - >= 1666448897425 @ 680.668
697.55/699.82 c GLOBAL bounds - >= 1666448897425 @ 680.685
697.55/699.85 c GLOBAL bounds - >= 1666448897425 @ 680.7
697.55/699.85 c GLOBAL bounds - >= 1666448897425 @ 680.703
697.55/699.88 c GLOBAL bounds - >= 1666448897425 @ 680.721
697.55/699.89 c GLOBAL bounds - >= 1666448897425 @ 680.724
697.65/699.91 c GLOBAL bounds - >= 1666448897425 @ 680.742
697.65/699.92 c GLOBAL bounds - >= 1666448897425 @ 680.743
697.65/699.94 c GLOBAL bounds - >= 1666448897425 @ 680.759
697.65/699.95 c GLOBAL bounds - >= 1666448897425 @ 680.761
697.65/699.98 c GLOBAL bounds - >= 1666448897425 @ 680.776
697.65/699.98 c GLOBAL bounds - >= 1666448897425 @ 680.779
697.65/700.01 c GLOBAL bounds - >= 1666448897425 @ 680.796
697.65/700.01 c GLOBAL bounds - >= 1666448897425 @ 680.799
697.76/700.04 c GLOBAL bounds - >= 1666448897425 @ 680.815
697.76/700.04 c GLOBAL bounds - >= 1666448897425 @ 680.816
697.76/700.07 c GLOBAL bounds - >= 1666448897425 @ 680.831
697.76/700.07 c GLOBAL bounds - >= 1666448897425 @ 680.833
697.76/700.10 c GLOBAL bounds - >= 1666448897425 @ 680.85
697.76/700.10 c GLOBAL bounds - >= 1666448897425 @ 680.853
697.86/700.13 c GLOBAL bounds - >= 1666448897425 @ 680.873
796.59/799.25 c #Conflicts: 456000 | #Constraints: 24416
796.59/799.25 c #Conflicts: 457000 | #Constraints: 25416
796.59/799.25 c #Conflicts: 458000 | #Constraints: 26416
796.59/799.25 c #Conflicts: 459000 | #Constraints: 27416
796.59/799.25 c #Conflicts: 460000 | #Constraints: 28416
796.59/799.25 c INPROCESSING
796.59/799.25 c GARBAGE COLLECT
796.59/799.25 c #Conflicts: 461000 | #Constraints: 16015
796.59/799.25 c #Conflicts: 462000 | #Constraints: 17015
796.59/799.25 c #Conflicts: 463000 | #Constraints: 18015
796.59/799.25 c #Conflicts: 464000 | #Constraints: 19015
796.59/799.25 c #Conflicts: 465000 | #Constraints: 20015
796.59/799.25 c #Conflicts: 466000 | #Constraints: 21015
796.59/799.25 c #Conflicts: 467000 | #Constraints: 22015
796.59/799.25 c #Conflicts: 468000 | #Constraints: 23015
796.59/799.25 c #Conflicts: 469000 | #Constraints: 24015
796.59/799.25 c #Conflicts: 470000 | #Constraints: 25015
796.59/799.25 c #Conflicts: 471000 | #Constraints: 26015
796.59/799.25 c #Conflicts: 472000 | #Constraints: 27015
796.59/799.25 c #Conflicts: 473000 | #Constraints: 28015
796.59/799.25 c #Conflicts: 474000 | #Constraints: 29015
796.59/799.25 c INPROCESSING
796.59/799.25 c GARBAGE COLLECT
796.59/799.25 c #Conflicts: 475000 | #Constraints: 16423
796.59/799.25 c #Conflicts: 476000 | #Constraints: 17423
796.59/799.25 c #Conflicts: 477000 | #Constraints: 18423
796.59/799.25 c #Conflicts: 478000 | #Constraints: 19423
796.59/799.25 c #Conflicts: 479000 | #Constraints: 20423
796.59/799.25 c #Conflicts: 480000 | #Constraints: 21423
796.59/799.25 c #Conflicts: 481000 | #Constraints: 22423
796.59/799.25 c #Conflicts: 482000 | #Constraints: 23423
796.59/799.25 c #Conflicts: 483000 | #Constraints: 24423
796.59/799.25 c #Conflicts: 484000 | #Constraints: 25423
796.59/799.25 c #Conflicts: 485000 | #Constraints: 26423
796.59/799.25 c #Conflicts: 486000 | #Constraints: 27423
796.59/799.25 c #Conflicts: 487000 | #Constraints: 28423
796.59/799.25 c #Conflicts: 488000 | #Constraints: 29423
796.59/799.25 c INPROCESSING
796.59/799.25 c GARBAGE COLLECT
796.59/799.25 c #Conflicts: 489000 | #Constraints: 16615
796.59/799.25 c #Conflicts: 490000 | #Constraints: 17615
796.59/799.25 c #Conflicts: 491000 | #Constraints: 18615
796.59/799.25 c #Conflicts: 492000 | #Constraints: 19615
796.59/799.25 c #Conflicts: 493000 | #Constraints: 20615
796.59/799.25 c #Conflicts: 494000 | #Constraints: 21615
796.59/799.25 c #Conflicts: 495000 | #Constraints: 22615
796.59/799.25 c #Conflicts: 496000 | #Constraints: 23615
796.59/799.25 c #Conflicts: 497000 | #Constraints: 24615
796.59/799.25 c #Conflicts: 498000 | #Constraints: 25615
796.59/799.25 c #Conflicts: 499000 | #Constraints: 26615
796.59/799.25 c GLOBAL bounds - >= 1666633367675 @ 777.775
796.59/799.27 c GLOBAL bounds - >= 1666633367675 @ 777.794
796.69/799.30 c GLOBAL bounds - >= 1666633367675 @ 777.811
796.69/799.30 c GLOBAL bounds - >= 1666633367675 @ 777.812
796.69/799.34 c GLOBAL bounds - >= 1666633367675 @ 777.831
796.69/799.34 c GLOBAL bounds - >= 1666633367675 @ 777.834
796.69/799.37 c GLOBAL bounds - >= 1666633367675 @ 777.851
796.69/799.37 c GLOBAL bounds - >= 1666633367675 @ 777.852
796.79/799.40 c GLOBAL bounds - >= 1666633367675 @ 777.869
796.79/799.41 c GLOBAL bounds - >= 1666633367675 @ 777.873
796.79/799.44 c GLOBAL bounds - >= 1666633367675 @ 777.889
796.79/799.44 c GLOBAL bounds - >= 1666633367675 @ 777.891
796.79/799.47 c GLOBAL bounds - >= 1666633367675 @ 777.906
796.79/799.47 c GLOBAL bounds - >= 1666633367675 @ 777.908
796.89/799.51 c GLOBAL bounds - >= 1666633367675 @ 777.931
796.89/799.51 c GLOBAL bounds - >= 1666633367675 @ 777.934
796.89/799.54 c GLOBAL bounds - >= 1666633367675 @ 777.952
796.89/799.54 c GLOBAL bounds - >= 1666633367675 @ 777.955
796.89/799.58 c GLOBAL bounds - >= 1666633367675 @ 777.972
796.89/799.58 c GLOBAL bounds - >= 1666633367675 @ 777.976
796.99/799.61 c GLOBAL bounds - >= 1666633367675 @ 777.993
808.05/810.75 c #Conflicts: 500000 | #Constraints: 27645
808.05/810.75 c #Conflicts: 501000 | #Constraints: 28645
808.05/810.75 c #Conflicts: 502000 | #Constraints: 29645
808.05/810.75 c INPROCESSING
808.05/810.75 c GARBAGE COLLECT
808.05/810.75 c #Conflicts: 503000 | #Constraints: 16648
808.05/810.75 c #Conflicts: 504000 | #Constraints: 17648
808.05/810.75 c #Conflicts: 505000 | #Constraints: 18648
808.05/810.75 c #Conflicts: 506000 | #Constraints: 19648
808.05/810.75 c #Conflicts: 507000 | #Constraints: 20648
808.05/810.75 c #Conflicts: 508000 | #Constraints: 21648
808.05/810.75 c GLOBAL bounds - >= 1666633367675 @ 788.96
811.36/814.06 c #Conflicts: 509000 | #Constraints: 22648
811.36/814.06 c #Conflicts: 510000 | #Constraints: 23648
811.36/814.06 c #Conflicts: 511000 | #Constraints: 24648
811.36/814.06 c GLOBAL bounds - >= 1666633367675 @ 792.212
812.15/814.83 c #Conflicts: 512000 | #Constraints: 25651
812.15/814.83 c GLOBAL bounds - >= 1666633367675 @ 792.955
812.24/814.92 c GLOBAL bounds - >= 1666633367675 @ 793.025
812.54/815.21 c GLOBAL bounds - >= 1666633367675 @ 793.302
918.33/921.40 c #Conflicts: 513000 | #Constraints: 26657
918.33/921.40 c #Conflicts: 514000 | #Constraints: 27657
918.33/921.40 c #Conflicts: 515000 | #Constraints: 28657
918.33/921.40 c #Conflicts: 516000 | #Constraints: 29657
918.33/921.40 c INPROCESSING
918.33/921.40 c GARBAGE COLLECT
918.33/921.40 c #Conflicts: 517000 | #Constraints: 16450
918.33/921.40 c #Conflicts: 518000 | #Constraints: 17450
918.33/921.40 c #Conflicts: 519000 | #Constraints: 18450
918.33/921.40 c #Conflicts: 520000 | #Constraints: 19450
918.33/921.40 c #Conflicts: 521000 | #Constraints: 20450
918.33/921.40 c #Conflicts: 522000 | #Constraints: 21450
918.33/921.40 c #Conflicts: 523000 | #Constraints: 22450
918.33/921.40 c #Conflicts: 524000 | #Constraints: 23450
918.33/921.40 c #Conflicts: 525000 | #Constraints: 24450
918.33/921.40 c #Conflicts: 526000 | #Constraints: 25450
918.33/921.40 c #Conflicts: 527000 | #Constraints: 26450
918.33/921.40 c #Conflicts: 528000 | #Constraints: 27450
918.33/921.40 c #Conflicts: 529000 | #Constraints: 28450
918.33/921.40 c #Conflicts: 530000 | #Constraints: 29450
918.33/921.40 c #Conflicts: 531000 | #Constraints: 30450
918.33/921.40 c INPROCESSING
918.33/921.40 c GARBAGE COLLECT
918.33/921.40 c #Conflicts: 532000 | #Constraints: 17051
918.33/921.40 c #Conflicts: 533000 | #Constraints: 18051
918.33/921.40 c #Conflicts: 534000 | #Constraints: 19051
918.33/921.40 c #Conflicts: 535000 | #Constraints: 20051
918.33/921.40 c #Conflicts: 536000 | #Constraints: 21051
918.33/921.40 c #Conflicts: 537000 | #Constraints: 22051
918.33/921.40 c #Conflicts: 538000 | #Constraints: 23051
918.33/921.40 c #Conflicts: 539000 | #Constraints: 24051
918.33/921.40 c #Conflicts: 540000 | #Constraints: 25051
918.33/921.40 c #Conflicts: 541000 | #Constraints: 26051
918.33/921.40 c #Conflicts: 542000 | #Constraints: 27051
918.33/921.40 c #Conflicts: 543000 | #Constraints: 28051
918.33/921.40 c #Conflicts: 544000 | #Constraints: 29051
918.33/921.40 c #Conflicts: 545000 | #Constraints: 30051
918.33/921.40 c #Conflicts: 546000 | #Constraints: 31051
918.33/921.40 c INPROCESSING
918.33/921.40 c GARBAGE COLLECT
918.33/921.40 c #Conflicts: 547000 | #Constraints: 17451
918.33/921.40 c #Conflicts: 548000 | #Constraints: 18451
918.33/921.40 c #Conflicts: 549000 | #Constraints: 19451
918.33/921.40 c #Conflicts: 550000 | #Constraints: 20451
918.33/921.40 c #Conflicts: 551000 | #Constraints: 21451
918.33/921.40 c #Conflicts: 552000 | #Constraints: 22451
918.33/921.40 c #Conflicts: 553000 | #Constraints: 23451
918.33/921.40 c #Conflicts: 554000 | #Constraints: 24451
918.33/921.40 c #Conflicts: 555000 | #Constraints: 25451
918.33/921.40 c #Conflicts: 556000 | #Constraints: 26451
918.33/921.40 c #Conflicts: 557000 | #Constraints: 27451
918.33/921.40 c #Conflicts: 558000 | #Constraints: 28451
918.33/921.40 c #Conflicts: 559000 | #Constraints: 29451
918.33/921.40 c #Conflicts: 560000 | #Constraints: 30451
918.33/921.40 c #Conflicts: 561000 | #Constraints: 31451
918.33/921.40 c INPROCESSING
918.33/921.40 c GARBAGE COLLECT
918.33/921.40 c #Conflicts: 562000 | #Constraints: 17650
918.33/921.40 c #Conflicts: 563000 | #Constraints: 18650
918.33/921.40 c #Conflicts: 564000 | #Constraints: 19650
918.33/921.40 c #Conflicts: 565000 | #Constraints: 20650
918.33/921.40 c #Conflicts: 566000 | #Constraints: 21650
918.33/921.40 c #Conflicts: 567000 | #Constraints: 22650
918.33/921.40 c #Conflicts: 568000 | #Constraints: 23650
918.33/921.40 c #Conflicts: 569000 | #Constraints: 24650
918.33/921.40 c #Conflicts: 570000 | #Constraints: 25650
918.33/921.40 c #Conflicts: 571000 | #Constraints: 26650
918.33/921.40 c #Conflicts: 572000 | #Constraints: 27650
918.33/921.40 c #Conflicts: 573000 | #Constraints: 28650
918.33/921.40 c #Conflicts: 574000 | #Constraints: 29650
918.33/921.40 c #Conflicts: 575000 | #Constraints: 30650
918.33/921.40 c #Conflicts: 576000 | #Constraints: 31650
918.33/921.40 c INPROCESSING
918.33/921.40 c GARBAGE COLLECT
918.33/921.40 c #Conflicts: 577000 | #Constraints: 17646
918.33/921.40 c #Conflicts: 578000 | #Constraints: 18646
918.33/921.40 c #Conflicts: 579000 | #Constraints: 19646
918.33/921.40 c #Conflicts: 580000 | #Constraints: 20646
918.33/921.40 c #Conflicts: 581000 | #Constraints: 21646
918.33/921.40 c #Conflicts: 582000 | #Constraints: 22646
918.33/921.40 c #Conflicts: 583000 | #Constraints: 23646
918.33/921.40 c #Conflicts: 584000 | #Constraints: 24646
918.33/921.40 c #Conflicts: 585000 | #Constraints: 25646
918.33/921.40 c #Conflicts: 586000 | #Constraints: 26646
918.33/921.40 c #Conflicts: 587000 | #Constraints: 27646
918.33/921.40 c #Conflicts: 588000 | #Constraints: 28646
1022.42/1025.86 c #Conflicts: 589000 | #Constraints: 29646
1022.42/1025.86 c #Conflicts: 590000 | #Constraints: 30646
1022.42/1025.86 c #Conflicts: 591000 | #Constraints: 31646
1022.42/1025.86 c INPROCESSING
1022.42/1025.86 c GARBAGE COLLECT
1022.42/1025.86 c #Conflicts: 592000 | #Constraints: 17457
1022.42/1025.86 c #Conflicts: 593000 | #Constraints: 18457
1022.42/1025.86 c #Conflicts: 594000 | #Constraints: 19457
1022.42/1025.86 c #Conflicts: 595000 | #Constraints: 20457
1022.42/1025.86 c #Conflicts: 596000 | #Constraints: 21457
1022.42/1025.86 c #Conflicts: 597000 | #Constraints: 22457
1022.42/1025.86 c #Conflicts: 598000 | #Constraints: 23457
1022.42/1025.86 c #Conflicts: 599000 | #Constraints: 24457
1022.42/1025.86 c #Conflicts: 600000 | #Constraints: 25457
1022.42/1025.86 c #Conflicts: 601000 | #Constraints: 26457
1022.42/1025.86 c #Conflicts: 602000 | #Constraints: 27457
1022.42/1025.86 c #Conflicts: 603000 | #Constraints: 28457
1022.42/1025.86 c #Conflicts: 604000 | #Constraints: 29457
1022.42/1025.86 c #Conflicts: 605000 | #Constraints: 30457
1022.42/1025.86 c #Conflicts: 606000 | #Constraints: 31457
1022.42/1025.86 c #Conflicts: 607000 | #Constraints: 32457
1022.42/1025.86 c INPROCESSING
1022.42/1025.86 c GARBAGE COLLECT
1022.42/1025.86 c #Conflicts: 608000 | #Constraints: 18065
1022.42/1025.86 c #Conflicts: 609000 | #Constraints: 19065
1022.42/1025.86 c #Conflicts: 610000 | #Constraints: 20065
1022.42/1025.86 c #Conflicts: 611000 | #Constraints: 21065
1022.42/1025.86 c #Conflicts: 612000 | #Constraints: 22065
1022.42/1025.86 c #Conflicts: 613000 | #Constraints: 23065
1022.42/1025.86 c #Conflicts: 614000 | #Constraints: 24065
1022.42/1025.86 c #Conflicts: 615000 | #Constraints: 25065
1022.42/1025.86 c #Conflicts: 616000 | #Constraints: 26065
1022.42/1025.86 c #Conflicts: 617000 | #Constraints: 27065
1022.42/1025.86 c #Conflicts: 618000 | #Constraints: 28065
1022.42/1025.86 c #Conflicts: 619000 | #Constraints: 29065
1022.42/1025.86 c #Conflicts: 620000 | #Constraints: 30065
1022.42/1025.86 c #Conflicts: 621000 | #Constraints: 31065
1022.42/1025.86 c #Conflicts: 622000 | #Constraints: 32065
1022.42/1025.86 c #Conflicts: 623000 | #Constraints: 33065
1022.42/1025.86 c INPROCESSING
1022.42/1025.86 c GARBAGE COLLECT
1022.42/1025.86 c #Conflicts: 624000 | #Constraints: 18450
1022.42/1025.86 c #Conflicts: 625000 | #Constraints: 19450
1022.42/1025.86 c #Conflicts: 626000 | #Constraints: 20450
1022.42/1025.87 c #Conflicts: 627000 | #Constraints: 21450
1022.42/1025.87 c #Conflicts: 628000 | #Constraints: 22450
1022.42/1025.87 c #Conflicts: 629000 | #Constraints: 23450
1022.42/1025.87 c #Conflicts: 630000 | #Constraints: 24450
1022.42/1025.87 c #Conflicts: 631000 | #Constraints: 25450
1022.42/1025.87 c #Conflicts: 632000 | #Constraints: 26450
1022.42/1025.87 c #Conflicts: 633000 | #Constraints: 27450
1022.42/1025.87 c #Conflicts: 634000 | #Constraints: 28450
1022.42/1025.87 c #Conflicts: 635000 | #Constraints: 29450
1022.42/1025.87 c #Conflicts: 636000 | #Constraints: 30450
1022.42/1025.87 c #Conflicts: 637000 | #Constraints: 31450
1022.42/1025.87 c #Conflicts: 638000 | #Constraints: 32450
1022.42/1025.87 c #Conflicts: 639000 | #Constraints: 33450
1022.42/1025.87 c INPROCESSING
1022.42/1025.87 c GARBAGE COLLECT
1022.42/1025.87 c #Conflicts: 640000 | #Constraints: 18652
1022.42/1025.87 c #Conflicts: 641000 | #Constraints: 19652
1022.42/1025.87 c #Conflicts: 642000 | #Constraints: 20652
1022.42/1025.87 c #Conflicts: 643000 | #Constraints: 21652
1022.42/1025.87 c #Conflicts: 644000 | #Constraints: 22652
1022.42/1025.87 c #Conflicts: 645000 | #Constraints: 23652
1022.42/1025.87 c #Conflicts: 646000 | #Constraints: 24652
1022.42/1025.87 c #Conflicts: 647000 | #Constraints: 25652
1022.42/1025.87 c #Conflicts: 648000 | #Constraints: 26652
1022.42/1025.87 c #Conflicts: 649000 | #Constraints: 27652
1022.42/1025.87 c #Conflicts: 650000 | #Constraints: 28652
1022.42/1025.87 c #Conflicts: 651000 | #Constraints: 29652
1022.42/1025.87 c #Conflicts: 652000 | #Constraints: 30652
1022.42/1025.87 c #Conflicts: 653000 | #Constraints: 31652
1022.42/1025.87 c #Conflicts: 654000 | #Constraints: 32652
1022.42/1025.87 c #Conflicts: 655000 | #Constraints: 33652
1022.42/1025.87 c INPROCESSING
1022.42/1025.87 c GARBAGE COLLECT
1022.42/1025.87 c #Conflicts: 656000 | #Constraints: 18647
1022.42/1025.87 c #Conflicts: 657000 | #Constraints: 19647
1022.42/1025.87 c #Conflicts: 658000 | #Constraints: 20647
1022.42/1025.87 c #Conflicts: 659000 | #Constraints: 21647
1022.42/1025.87 c #Conflicts: 660000 | #Constraints: 22647
1022.42/1025.87 c #Conflicts: 661000 | #Constraints: 23647
1022.42/1025.87 c #Conflicts: 662000 | #Constraints: 24647
1022.42/1025.87 c #Conflicts: 663000 | #Constraints: 25647
1022.42/1025.87 c #Conflicts: 664000 | #Constraints: 26647
1138.08/1141.87 c #Conflicts: 665000 | #Constraints: 27647
1138.08/1141.87 c #Conflicts: 666000 | #Constraints: 28647
1138.08/1141.87 c #Conflicts: 667000 | #Constraints: 29647
1138.08/1141.87 c #Conflicts: 668000 | #Constraints: 30647
1138.08/1141.87 c #Conflicts: 669000 | #Constraints: 31647
1138.08/1141.87 c #Conflicts: 670000 | #Constraints: 32647
1138.08/1141.87 c #Conflicts: 671000 | #Constraints: 33647
1138.08/1141.87 c INPROCESSING
1138.08/1141.87 c GARBAGE COLLECT
1138.08/1141.87 c #Conflicts: 672000 | #Constraints: 18456
1138.08/1141.87 c #Conflicts: 673000 | #Constraints: 19456
1138.08/1141.87 c #Conflicts: 674000 | #Constraints: 20456
1138.08/1141.87 c #Conflicts: 675000 | #Constraints: 21456
1138.08/1141.87 c #Conflicts: 676000 | #Constraints: 22456
1138.08/1141.87 c #Conflicts: 677000 | #Constraints: 23456
1138.08/1141.87 c #Conflicts: 678000 | #Constraints: 24456
1138.08/1141.87 c #Conflicts: 679000 | #Constraints: 25456
1138.08/1141.87 c #Conflicts: 680000 | #Constraints: 26456
1138.08/1141.87 c #Conflicts: 681000 | #Constraints: 27456
1138.08/1141.87 c #Conflicts: 682000 | #Constraints: 28456
1138.08/1141.87 c #Conflicts: 683000 | #Constraints: 29456
1138.08/1141.87 c #Conflicts: 684000 | #Constraints: 30456
1138.08/1141.87 c #Conflicts: 685000 | #Constraints: 31456
1138.08/1141.87 c #Conflicts: 686000 | #Constraints: 32456
1138.08/1141.87 c #Conflicts: 687000 | #Constraints: 33456
1138.08/1141.87 c #Conflicts: 688000 | #Constraints: 34456
1138.08/1141.87 c INPROCESSING
1138.08/1141.87 c GARBAGE COLLECT
1138.08/1141.87 c #Conflicts: 689000 | #Constraints: 19059
1138.08/1141.87 c #Conflicts: 690000 | #Constraints: 20059
1138.08/1141.87 c #Conflicts: 691000 | #Constraints: 21059
1138.08/1141.87 c #Conflicts: 692000 | #Constraints: 22059
1138.08/1141.87 c #Conflicts: 693000 | #Constraints: 23059
1138.08/1141.87 c #Conflicts: 694000 | #Constraints: 24059
1138.08/1141.87 c #Conflicts: 695000 | #Constraints: 25059
1138.08/1141.87 c #Conflicts: 696000 | #Constraints: 26059
1138.08/1141.87 c #Conflicts: 697000 | #Constraints: 27059
1138.08/1141.87 c #Conflicts: 698000 | #Constraints: 28059
1138.08/1141.87 c #Conflicts: 699000 | #Constraints: 29059
1138.08/1141.87 c #Conflicts: 700000 | #Constraints: 30059
1138.08/1141.87 c #Conflicts: 701000 | #Constraints: 31059
1138.08/1141.87 c #Conflicts: 702000 | #Constraints: 32059
1138.08/1141.87 c #Conflicts: 703000 | #Constraints: 33059
1138.08/1141.87 c #Conflicts: 704000 | #Constraints: 34059
1138.08/1141.87 c #Conflicts: 705000 | #Constraints: 35059
1138.08/1141.87 c INPROCESSING
1138.08/1141.87 c GARBAGE COLLECT
1138.08/1141.87 c #Conflicts: 706000 | #Constraints: 19457
1138.08/1141.87 c #Conflicts: 707000 | #Constraints: 20457
1138.08/1141.87 c #Conflicts: 708000 | #Constraints: 21457
1138.08/1141.87 c #Conflicts: 709000 | #Constraints: 22457
1138.08/1141.87 c #Conflicts: 710000 | #Constraints: 23457
1138.08/1141.87 c #Conflicts: 711000 | #Constraints: 24457
1138.08/1141.87 c #Conflicts: 712000 | #Constraints: 25457
1138.08/1141.87 c #Conflicts: 713000 | #Constraints: 26457
1138.08/1141.87 c #Conflicts: 714000 | #Constraints: 27457
1138.08/1141.87 c #Conflicts: 715000 | #Constraints: 28457
1138.08/1141.87 c #Conflicts: 716000 | #Constraints: 29457
1138.08/1141.87 c #Conflicts: 717000 | #Constraints: 30457
1138.08/1141.87 c #Conflicts: 718000 | #Constraints: 31457
1138.08/1141.87 c #Conflicts: 719000 | #Constraints: 32457
1138.08/1141.87 c #Conflicts: 720000 | #Constraints: 33457
1138.08/1141.87 c #Conflicts: 721000 | #Constraints: 34457
1138.08/1141.88 c #Conflicts: 722000 | #Constraints: 35457
1138.08/1141.88 c INPROCESSING
1138.08/1141.88 c GARBAGE COLLECT
1138.08/1141.88 c #Conflicts: 723000 | #Constraints: 19659
1138.08/1141.88 c #Conflicts: 724000 | #Constraints: 20659
1138.08/1141.88 c #Conflicts: 725000 | #Constraints: 21659
1138.08/1141.88 c #Conflicts: 726000 | #Constraints: 22659
1138.08/1141.88 c #Conflicts: 727000 | #Constraints: 23659
1138.08/1141.88 c #Conflicts: 728000 | #Constraints: 24659
1138.08/1141.88 c #Conflicts: 729000 | #Constraints: 25659
1138.08/1141.88 c #Conflicts: 730000 | #Constraints: 26659
1138.08/1141.88 c #Conflicts: 731000 | #Constraints: 27659
1138.08/1141.88 c #Conflicts: 732000 | #Constraints: 28659
1138.08/1141.88 c #Conflicts: 733000 | #Constraints: 29659
1138.08/1141.88 c #Conflicts: 734000 | #Constraints: 30659
1138.08/1141.88 c #Conflicts: 735000 | #Constraints: 31659
1138.08/1141.88 c #Conflicts: 736000 | #Constraints: 32659
1138.08/1141.88 c #Conflicts: 737000 | #Constraints: 33659
1138.08/1141.88 c #Conflicts: 738000 | #Constraints: 34659
1138.08/1141.88 c #Conflicts: 739000 | #Constraints: 35659
1138.08/1141.88 c INPROCESSING
1138.08/1141.88 c GARBAGE COLLECT
1264.87/1269.02 c #Conflicts: 740000 | #Constraints: 19662
1264.87/1269.02 c #Conflicts: 741000 | #Constraints: 20662
1264.87/1269.02 c #Conflicts: 742000 | #Constraints: 21662
1264.87/1269.02 c #Conflicts: 743000 | #Constraints: 22662
1264.87/1269.02 c #Conflicts: 744000 | #Constraints: 23662
1264.87/1269.02 c #Conflicts: 745000 | #Constraints: 24662
1264.87/1269.02 c #Conflicts: 746000 | #Constraints: 25662
1264.87/1269.02 c #Conflicts: 747000 | #Constraints: 26662
1264.87/1269.02 c #Conflicts: 748000 | #Constraints: 27662
1264.87/1269.02 c #Conflicts: 749000 | #Constraints: 28662
1264.87/1269.02 c #Conflicts: 750000 | #Constraints: 29662
1264.87/1269.02 c #Conflicts: 751000 | #Constraints: 30662
1264.87/1269.02 c #Conflicts: 752000 | #Constraints: 31662
1264.87/1269.02 c #Conflicts: 753000 | #Constraints: 32662
1264.87/1269.02 c #Conflicts: 754000 | #Constraints: 33662
1264.87/1269.02 c #Conflicts: 755000 | #Constraints: 34662
1264.87/1269.02 c #Conflicts: 756000 | #Constraints: 35662
1264.87/1269.02 c INPROCESSING
1264.87/1269.02 c GARBAGE COLLECT
1264.87/1269.02 c #Conflicts: 757000 | #Constraints: 19450
1264.87/1269.02 c #Conflicts: 758000 | #Constraints: 20450
1264.87/1269.02 c #Conflicts: 759000 | #Constraints: 21450
1264.87/1269.02 c #Conflicts: 760000 | #Constraints: 22450
1264.87/1269.02 c #Conflicts: 761000 | #Constraints: 23450
1264.87/1269.02 c #Conflicts: 762000 | #Constraints: 24450
1264.87/1269.02 c #Conflicts: 763000 | #Constraints: 25450
1264.87/1269.02 c #Conflicts: 764000 | #Constraints: 26450
1264.87/1269.02 c #Conflicts: 765000 | #Constraints: 27450
1264.87/1269.02 c #Conflicts: 766000 | #Constraints: 28450
1264.87/1269.02 c #Conflicts: 767000 | #Constraints: 29450
1264.87/1269.02 c #Conflicts: 768000 | #Constraints: 30450
1264.87/1269.02 c #Conflicts: 769000 | #Constraints: 31450
1264.87/1269.02 c #Conflicts: 770000 | #Constraints: 32450
1264.87/1269.02 c #Conflicts: 771000 | #Constraints: 33450
1264.87/1269.02 c #Conflicts: 772000 | #Constraints: 34450
1264.87/1269.02 c #Conflicts: 773000 | #Constraints: 35450
1264.87/1269.02 c #Conflicts: 774000 | #Constraints: 36450
1264.87/1269.02 c INPROCESSING
1264.87/1269.02 c GARBAGE COLLECT
1264.87/1269.02 c #Conflicts: 775000 | #Constraints: 20062
1264.87/1269.02 c #Conflicts: 776000 | #Constraints: 21062
1264.87/1269.02 c #Conflicts: 777000 | #Constraints: 22062
1264.87/1269.02 c #Conflicts: 778000 | #Constraints: 23062
1264.87/1269.02 c #Conflicts: 779000 | #Constraints: 24062
1264.87/1269.02 c #Conflicts: 780000 | #Constraints: 25062
1264.87/1269.02 c #Conflicts: 781000 | #Constraints: 26062
1264.87/1269.02 c #Conflicts: 782000 | #Constraints: 27062
1264.87/1269.02 c #Conflicts: 783000 | #Constraints: 28062
1264.87/1269.02 c #Conflicts: 784000 | #Constraints: 29062
1264.87/1269.02 c #Conflicts: 785000 | #Constraints: 30062
1264.87/1269.02 c #Conflicts: 786000 | #Constraints: 31062
1264.87/1269.02 c #Conflicts: 787000 | #Constraints: 32062
1264.87/1269.02 c #Conflicts: 788000 | #Constraints: 33062
1264.87/1269.02 c #Conflicts: 789000 | #Constraints: 34062
1264.87/1269.02 c #Conflicts: 790000 | #Constraints: 35062
1264.87/1269.02 c #Conflicts: 791000 | #Constraints: 36062
1264.87/1269.02 c #Conflicts: 792000 | #Constraints: 37062
1264.87/1269.02 c INPROCESSING
1264.87/1269.02 c GARBAGE COLLECT
1264.87/1269.02 c #Conflicts: 793000 | #Constraints: 20464
1264.87/1269.02 c #Conflicts: 794000 | #Constraints: 21464
1264.87/1269.02 c #Conflicts: 795000 | #Constraints: 22464
1264.87/1269.02 c #Conflicts: 796000 | #Constraints: 23464
1264.87/1269.02 c #Conflicts: 797000 | #Constraints: 24464
1264.87/1269.02 c #Conflicts: 798000 | #Constraints: 25464
1264.87/1269.02 c #Conflicts: 799000 | #Constraints: 26464
1264.87/1269.02 c #Conflicts: 800000 | #Constraints: 27464
1264.87/1269.02 c #Conflicts: 801000 | #Constraints: 28464
1264.87/1269.02 c #Conflicts: 802000 | #Constraints: 29464
1264.87/1269.02 c #Conflicts: 803000 | #Constraints: 30464
1264.87/1269.02 c #Conflicts: 804000 | #Constraints: 31464
1264.87/1269.02 c #Conflicts: 805000 | #Constraints: 32464
1264.87/1269.02 c #Conflicts: 806000 | #Constraints: 33464
1264.87/1269.02 c #Conflicts: 807000 | #Constraints: 34464
1264.87/1269.02 c #Conflicts: 808000 | #Constraints: 35464
1264.87/1269.02 c #Conflicts: 809000 | #Constraints: 36464
1264.87/1269.02 c #Conflicts: 810000 | #Constraints: 37464
1264.87/1269.02 c INPROCESSING
1264.87/1269.02 c GARBAGE COLLECT
1264.87/1269.02 c #Conflicts: 811000 | #Constraints: 20646
1264.87/1269.02 c #Conflicts: 812000 | #Constraints: 21646
1264.87/1269.02 c #Conflicts: 813000 | #Constraints: 22646
1264.87/1269.02 c #Conflicts: 814000 | #Constraints: 23646
1264.87/1269.02 c #Conflicts: 815000 | #Constraints: 24646
1264.87/1269.02 c #Conflicts: 816000 | #Constraints: 25646
1422.52/1427.22 c #Conflicts: 817000 | #Constraints: 26646
1422.52/1427.22 c #Conflicts: 818000 | #Constraints: 27646
1422.52/1427.22 c #Conflicts: 819000 | #Constraints: 28646
1422.52/1427.22 c #Conflicts: 820000 | #Constraints: 29646
1422.52/1427.22 c #Conflicts: 821000 | #Constraints: 30646
1422.52/1427.22 c #Conflicts: 822000 | #Constraints: 31646
1422.52/1427.22 c #Conflicts: 823000 | #Constraints: 32646
1422.52/1427.22 c #Conflicts: 824000 | #Constraints: 33646
1422.52/1427.22 c #Conflicts: 825000 | #Constraints: 34646
1422.52/1427.22 c #Conflicts: 826000 | #Constraints: 35646
1422.52/1427.22 c #Conflicts: 827000 | #Constraints: 36646
1422.52/1427.22 c #Conflicts: 828000 | #Constraints: 37646
1422.52/1427.22 c INPROCESSING
1422.52/1427.22 c GARBAGE COLLECT
1422.52/1427.22 c #Conflicts: 829000 | #Constraints: 20640
1422.52/1427.22 c #Conflicts: 830000 | #Constraints: 21640
1422.52/1427.22 c #Conflicts: 831000 | #Constraints: 22640
1422.52/1427.22 c #Conflicts: 832000 | #Constraints: 23640
1422.52/1427.22 c #Conflicts: 833000 | #Constraints: 24640
1422.52/1427.22 c #Conflicts: 834000 | #Constraints: 25640
1422.52/1427.22 c #Conflicts: 835000 | #Constraints: 26640
1422.52/1427.22 c #Conflicts: 836000 | #Constraints: 27640
1422.52/1427.22 c #Conflicts: 837000 | #Constraints: 28640
1422.52/1427.22 c #Conflicts: 838000 | #Constraints: 29640
1422.52/1427.22 c #Conflicts: 839000 | #Constraints: 30640
1422.52/1427.22 c #Conflicts: 840000 | #Constraints: 31640
1422.52/1427.22 c #Conflicts: 841000 | #Constraints: 32640
1422.52/1427.22 c #Conflicts: 842000 | #Constraints: 33640
1422.52/1427.22 c #Conflicts: 843000 | #Constraints: 34640
1422.52/1427.22 c #Conflicts: 844000 | #Constraints: 35640
1422.52/1427.22 c #Conflicts: 845000 | #Constraints: 36640
1422.52/1427.22 c #Conflicts: 846000 | #Constraints: 37640
1422.52/1427.22 c INPROCESSING
1422.52/1427.22 c GARBAGE COLLECT
1422.52/1427.22 c #Conflicts: 847000 | #Constraints: 20446
1422.52/1427.22 c #Conflicts: 848000 | #Constraints: 21446
1422.52/1427.22 c #Conflicts: 849000 | #Constraints: 22446
1422.52/1427.22 c #Conflicts: 850000 | #Constraints: 23446
1422.52/1427.22 c #Conflicts: 851000 | #Constraints: 24446
1422.52/1427.22 c #Conflicts: 852000 | #Constraints: 25446
1422.52/1427.22 c #Conflicts: 853000 | #Constraints: 26446
1422.52/1427.22 c #Conflicts: 854000 | #Constraints: 27446
1422.52/1427.22 c #Conflicts: 855000 | #Constraints: 28446
1422.52/1427.22 c #Conflicts: 856000 | #Constraints: 29446
1422.52/1427.22 c #Conflicts: 857000 | #Constraints: 30446
1422.52/1427.22 c #Conflicts: 858000 | #Constraints: 31446
1422.52/1427.22 c #Conflicts: 859000 | #Constraints: 32446
1422.52/1427.22 c #Conflicts: 860000 | #Constraints: 33446
1422.52/1427.22 c #Conflicts: 861000 | #Constraints: 34446
1422.52/1427.22 c #Conflicts: 862000 | #Constraints: 35446
1422.52/1427.22 c #Conflicts: 863000 | #Constraints: 36446
1422.52/1427.22 c #Conflicts: 864000 | #Constraints: 37446
1422.52/1427.22 c #Conflicts: 865000 | #Constraints: 38446
1422.52/1427.22 c INPROCESSING
1422.52/1427.22 c GARBAGE COLLECT
1422.52/1427.22 c #Conflicts: 866000 | #Constraints: 21044
1422.52/1427.22 c #Conflicts: 867000 | #Constraints: 22044
1422.52/1427.22 c #Conflicts: 868000 | #Constraints: 23044
1422.52/1427.22 c #Conflicts: 869000 | #Constraints: 24044
1422.52/1427.22 c #Conflicts: 870000 | #Constraints: 25044
1422.52/1427.22 c #Conflicts: 871000 | #Constraints: 26044
1422.52/1427.22 c #Conflicts: 872000 | #Constraints: 27044
1422.52/1427.22 c #Conflicts: 873000 | #Constraints: 28044
1422.52/1427.22 c #Conflicts: 874000 | #Constraints: 29044
1422.52/1427.22 c #Conflicts: 875000 | #Constraints: 30044
1422.52/1427.22 c #Conflicts: 876000 | #Constraints: 31044
1422.52/1427.22 c #Conflicts: 877000 | #Constraints: 32044
1422.52/1427.22 c #Conflicts: 878000 | #Constraints: 33044
1422.52/1427.22 c #Conflicts: 879000 | #Constraints: 34044
1422.52/1427.22 c #Conflicts: 880000 | #Constraints: 35044
1422.52/1427.22 c #Conflicts: 881000 | #Constraints: 36044
1422.52/1427.22 c #Conflicts: 882000 | #Constraints: 37044
1422.52/1427.22 c #Conflicts: 883000 | #Constraints: 38044
1422.52/1427.22 c #Conflicts: 884000 | #Constraints: 39044
1422.52/1427.22 c INPROCESSING
1422.52/1427.22 c GARBAGE COLLECT
1422.52/1427.22 c #Conflicts: 885000 | #Constraints: 21449
1422.52/1427.22 c #Conflicts: 886000 | #Constraints: 22449
1422.52/1427.22 c #Conflicts: 887000 | #Constraints: 23449
1422.52/1427.22 c #Conflicts: 888000 | #Constraints: 24449
1422.52/1427.22 c #Conflicts: 889000 | #Constraints: 25449
1422.52/1427.22 c #Conflicts: 890000 | #Constraints: 26449
1422.52/1427.22 c #Conflicts: 891000 | #Constraints: 27449
1422.52/1427.22 c #Conflicts: 892000 | #Constraints: 28449
1573.69/1578.99 c #Conflicts: 893000 | #Constraints: 29449
1573.69/1578.99 c #Conflicts: 894000 | #Constraints: 30449
1573.69/1578.99 c #Conflicts: 895000 | #Constraints: 31449
1573.69/1578.99 c #Conflicts: 896000 | #Constraints: 32449
1573.69/1578.99 c #Conflicts: 897000 | #Constraints: 33449
1573.69/1578.99 c #Conflicts: 898000 | #Constraints: 34449
1573.69/1578.99 c #Conflicts: 899000 | #Constraints: 35449
1573.69/1578.99 c #Conflicts: 900000 | #Constraints: 36449
1573.69/1578.99 c #Conflicts: 901000 | #Constraints: 37449
1573.69/1578.99 c #Conflicts: 902000 | #Constraints: 38449
1573.69/1578.99 c #Conflicts: 903000 | #Constraints: 39449
1573.69/1578.99 c INPROCESSING
1573.69/1578.99 c GARBAGE COLLECT
1573.69/1578.99 c #Conflicts: 904000 | #Constraints: 21645
1573.69/1578.99 c #Conflicts: 905000 | #Constraints: 22645
1573.69/1578.99 c #Conflicts: 906000 | #Constraints: 23645
1573.69/1578.99 c #Conflicts: 907000 | #Constraints: 24645
1573.69/1578.99 c #Conflicts: 908000 | #Constraints: 25645
1573.69/1578.99 c #Conflicts: 909000 | #Constraints: 26645
1573.69/1578.99 c #Conflicts: 910000 | #Constraints: 27645
1573.69/1578.99 c #Conflicts: 911000 | #Constraints: 28645
1573.69/1578.99 c #Conflicts: 912000 | #Constraints: 29645
1573.69/1578.99 c #Conflicts: 913000 | #Constraints: 30645
1573.69/1578.99 c #Conflicts: 914000 | #Constraints: 31645
1573.69/1578.99 c #Conflicts: 915000 | #Constraints: 32645
1573.69/1578.99 c #Conflicts: 916000 | #Constraints: 33645
1573.69/1578.99 c #Conflicts: 917000 | #Constraints: 34645
1573.69/1578.99 c #Conflicts: 918000 | #Constraints: 35645
1573.69/1578.99 c #Conflicts: 919000 | #Constraints: 36645
1573.69/1578.99 c #Conflicts: 920000 | #Constraints: 37645
1573.69/1578.99 c #Conflicts: 921000 | #Constraints: 38645
1573.69/1578.99 c #Conflicts: 922000 | #Constraints: 39645
1573.69/1578.99 c INPROCESSING
1573.69/1578.99 c GARBAGE COLLECT
1573.69/1578.99 c #Conflicts: 923000 | #Constraints: 21652
1573.69/1578.99 c #Conflicts: 924000 | #Constraints: 22652
1573.69/1578.99 c #Conflicts: 925000 | #Constraints: 23652
1573.69/1578.99 c #Conflicts: 926000 | #Constraints: 24652
1573.69/1578.99 c #Conflicts: 927000 | #Constraints: 25652
1573.69/1578.99 c #Conflicts: 928000 | #Constraints: 26652
1573.69/1578.99 c #Conflicts: 929000 | #Constraints: 27652
1573.69/1578.99 c #Conflicts: 930000 | #Constraints: 28652
1573.69/1578.99 c #Conflicts: 931000 | #Constraints: 29652
1573.69/1578.99 c #Conflicts: 932000 | #Constraints: 30652
1573.69/1578.99 c #Conflicts: 933000 | #Constraints: 31652
1573.69/1578.99 c #Conflicts: 934000 | #Constraints: 32652
1573.69/1578.99 c #Conflicts: 935000 | #Constraints: 33652
1573.69/1578.99 c #Conflicts: 936000 | #Constraints: 34652
1573.69/1578.99 c #Conflicts: 937000 | #Constraints: 35652
1573.69/1578.99 c #Conflicts: 938000 | #Constraints: 36652
1573.69/1578.99 c #Conflicts: 939000 | #Constraints: 37652
1573.69/1578.99 c #Conflicts: 940000 | #Constraints: 38652
1573.69/1578.99 c #Conflicts: 941000 | #Constraints: 39652
1573.69/1578.99 c INPROCESSING
1573.69/1578.99 c GARBAGE COLLECT
1573.69/1578.99 c #Conflicts: 942000 | #Constraints: 21453
1573.69/1578.99 c #Conflicts: 943000 | #Constraints: 22453
1573.69/1578.99 c #Conflicts: 944000 | #Constraints: 23453
1573.69/1578.99 c #Conflicts: 945000 | #Constraints: 24453
1573.69/1578.99 c #Conflicts: 946000 | #Constraints: 25453
1573.69/1578.99 c #Conflicts: 947000 | #Constraints: 26453
1573.69/1578.99 c #Conflicts: 948000 | #Constraints: 27453
1573.69/1578.99 c #Conflicts: 949000 | #Constraints: 28453
1573.69/1578.99 c #Conflicts: 950000 | #Constraints: 29453
1573.69/1578.99 c #Conflicts: 951000 | #Constraints: 30453
1573.69/1578.99 c #Conflicts: 952000 | #Constraints: 31453
1573.69/1578.99 c #Conflicts: 953000 | #Constraints: 32453
1573.69/1578.99 c #Conflicts: 954000 | #Constraints: 33453
1573.69/1578.99 c #Conflicts: 955000 | #Constraints: 34453
1573.69/1578.99 c #Conflicts: 956000 | #Constraints: 35453
1573.69/1578.99 c #Conflicts: 957000 | #Constraints: 36453
1573.69/1578.99 c #Conflicts: 958000 | #Constraints: 37453
1573.69/1578.99 c #Conflicts: 959000 | #Constraints: 38453
1573.69/1578.99 c #Conflicts: 960000 | #Constraints: 39453
1573.69/1578.99 c #Conflicts: 961000 | #Constraints: 40453
1573.69/1578.99 c INPROCESSING
1573.69/1578.99 c GARBAGE COLLECT
1573.69/1578.99 c #Conflicts: 962000 | #Constraints: 22048
1573.69/1578.99 c #Conflicts: 963000 | #Constraints: 23048
1573.69/1578.99 c #Conflicts: 964000 | #Constraints: 24048
1573.69/1578.99 c #Conflicts: 965000 | #Constraints: 25048
1573.69/1578.99 c #Conflicts: 966000 | #Constraints: 26048
1573.69/1578.99 c #Conflicts: 967000 | #Constraints: 27048
1573.69/1578.99 c #Conflicts: 968000 | #Constraints: 28048
1695.96/1701.66 c #Conflicts: 969000 | #Constraints: 29048
1695.96/1701.66 c #Conflicts: 970000 | #Constraints: 30048
1695.96/1701.66 c #Conflicts: 971000 | #Constraints: 31048
1695.96/1701.66 c #Conflicts: 972000 | #Constraints: 32048
1695.96/1701.66 c #Conflicts: 973000 | #Constraints: 33048
1695.96/1701.66 c #Conflicts: 974000 | #Constraints: 34048
1695.96/1701.66 c #Conflicts: 975000 | #Constraints: 35048
1695.96/1701.66 c #Conflicts: 976000 | #Constraints: 36048
1695.96/1701.66 c #Conflicts: 977000 | #Constraints: 37048
1695.96/1701.66 c #Conflicts: 978000 | #Constraints: 38048
1695.96/1701.66 c #Conflicts: 979000 | #Constraints: 39048
1695.96/1701.66 c #Conflicts: 980000 | #Constraints: 40048
1695.96/1701.66 c #Conflicts: 981000 | #Constraints: 41048
1695.96/1701.66 c INPROCESSING
1695.96/1701.66 c GARBAGE COLLECT
1695.96/1701.66 c #Conflicts: 982000 | #Constraints: 22464
1695.96/1701.66 c #Conflicts: 983000 | #Constraints: 23464
1695.96/1701.66 c #Conflicts: 984000 | #Constraints: 24464
1695.96/1701.66 c #Conflicts: 985000 | #Constraints: 25464
1695.96/1701.66 c #Conflicts: 986000 | #Constraints: 26464
1695.96/1701.66 c #Conflicts: 987000 | #Constraints: 27464
1695.96/1701.66 c #Conflicts: 988000 | #Constraints: 28464
1695.96/1701.66 c #Conflicts: 989000 | #Constraints: 29464
1695.96/1701.66 c #Conflicts: 990000 | #Constraints: 30464
1695.96/1701.66 c #Conflicts: 991000 | #Constraints: 31464
1695.96/1701.66 c #Conflicts: 992000 | #Constraints: 32464
1695.96/1701.66 c #Conflicts: 993000 | #Constraints: 33464
1695.96/1701.66 c #Conflicts: 994000 | #Constraints: 34464
1695.96/1701.66 c #Conflicts: 995000 | #Constraints: 35464
1695.96/1701.66 c #Conflicts: 996000 | #Constraints: 36464
1695.96/1701.66 c #Conflicts: 997000 | #Constraints: 37464
1695.96/1701.66 c #Conflicts: 998000 | #Constraints: 38464
1695.96/1701.66 c #Conflicts: 999000 | #Constraints: 39464
1695.96/1701.66 c #Conflicts: 1000000 | #Constraints: 40464
1695.96/1701.66 c #Conflicts: 1001000 | #Constraints: 41464
1695.96/1701.66 c INPROCESSING
1695.96/1701.66 c GARBAGE COLLECT
1695.96/1701.66 c #Conflicts: 1002000 | #Constraints: 22666
1695.96/1701.66 c #Conflicts: 1003000 | #Constraints: 23666
1695.96/1701.66 c #Conflicts: 1004000 | #Constraints: 24666
1695.96/1701.66 c #Conflicts: 1005000 | #Constraints: 25666
1695.96/1701.66 c #Conflicts: 1006000 | #Constraints: 26666
1695.96/1701.66 c #Conflicts: 1007000 | #Constraints: 27666
1695.96/1701.66 c #Conflicts: 1008000 | #Constraints: 28666
1695.96/1701.66 c #Conflicts: 1009000 | #Constraints: 29666
1695.96/1701.66 c #Conflicts: 1010000 | #Constraints: 30666
1695.96/1701.66 c #Conflicts: 1011000 | #Constraints: 31666
1695.96/1701.66 c #Conflicts: 1012000 | #Constraints: 32666
1695.96/1701.66 c #Conflicts: 1013000 | #Constraints: 33666
1695.96/1701.66 c #Conflicts: 1014000 | #Constraints: 34666
1695.96/1701.66 c #Conflicts: 1015000 | #Constraints: 35666
1695.96/1701.66 c #Conflicts: 1016000 | #Constraints: 36666
1695.96/1701.66 c #Conflicts: 1017000 | #Constraints: 37666
1695.96/1701.66 c #Conflicts: 1018000 | #Constraints: 38666
1695.96/1701.66 c #Conflicts: 1019000 | #Constraints: 39666
1695.96/1701.66 c #Conflicts: 1020000 | #Constraints: 40666
1695.96/1701.66 c #Conflicts: 1021000 | #Constraints: 41666
1695.96/1701.66 c INPROCESSING
1695.96/1701.66 c GARBAGE COLLECT
1695.96/1701.66 c #Conflicts: 1022000 | #Constraints: 22662
1695.96/1701.66 c #Conflicts: 1023000 | #Constraints: 23662
1695.96/1701.66 c #Conflicts: 1024000 | #Constraints: 24662
1695.96/1701.66 c #Conflicts: 1025000 | #Constraints: 25662
1695.96/1701.66 c #Conflicts: 1026000 | #Constraints: 26662
1695.96/1701.66 c #Conflicts: 1027000 | #Constraints: 27662
1695.96/1701.66 c #Conflicts: 1028000 | #Constraints: 28662
1695.96/1701.66 c #Conflicts: 1029000 | #Constraints: 29662
1695.96/1701.66 c #Conflicts: 1030000 | #Constraints: 30662
1695.96/1701.66 c #Conflicts: 1031000 | #Constraints: 31662
1695.96/1701.66 c #Conflicts: 1032000 | #Constraints: 32662
1695.96/1701.66 c #Conflicts: 1033000 | #Constraints: 33662
1695.96/1701.66 c #Conflicts: 1034000 | #Constraints: 34662
1695.96/1701.66 c #Conflicts: 1035000 | #Constraints: 35662
1695.96/1701.66 c #Conflicts: 1036000 | #Constraints: 36662
1695.96/1701.66 c #Conflicts: 1037000 | #Constraints: 37662
1695.96/1701.66 c #Conflicts: 1038000 | #Constraints: 38662
1695.96/1701.66 c #Conflicts: 1039000 | #Constraints: 39662
1695.96/1701.66 c #Conflicts: 1040000 | #Constraints: 40662
1695.96/1701.66 c #Conflicts: 1041000 | #Constraints: 41662
1695.96/1701.66 c INPROCESSING
1695.96/1701.66 c GARBAGE COLLECT
1695.96/1701.66 c #Conflicts: 1042000 | #Constraints: 22473
1695.96/1701.66 c #Conflicts: 1043000 | #Constraints: 23473
1695.96/1701.66 c #Conflicts: 1044000 | #Constraints: 24473
1886.90/1893.33 c #Conflicts: 1045000 | #Constraints: 25473
1886.90/1893.33 c #Conflicts: 1046000 | #Constraints: 26473
1886.90/1893.33 c #Conflicts: 1047000 | #Constraints: 27473
1886.90/1893.33 c #Conflicts: 1048000 | #Constraints: 28473
1886.90/1893.33 c #Conflicts: 1049000 | #Constraints: 29473
1886.90/1893.33 c #Conflicts: 1050000 | #Constraints: 30473
1886.90/1893.33 c #Conflicts: 1051000 | #Constraints: 31473
1886.90/1893.33 c #Conflicts: 1052000 | #Constraints: 32473
1886.90/1893.33 c #Conflicts: 1053000 | #Constraints: 33473
1886.90/1893.33 c #Conflicts: 1054000 | #Constraints: 34473
1886.90/1893.33 c #Conflicts: 1055000 | #Constraints: 35473
1886.90/1893.33 c #Conflicts: 1056000 | #Constraints: 36473
1886.90/1893.33 c #Conflicts: 1057000 | #Constraints: 37473
1886.90/1893.33 c #Conflicts: 1058000 | #Constraints: 38473
1886.90/1893.33 c #Conflicts: 1059000 | #Constraints: 39473
1886.90/1893.33 c #Conflicts: 1060000 | #Constraints: 40473
1886.90/1893.33 c #Conflicts: 1061000 | #Constraints: 41473
1886.90/1893.33 c #Conflicts: 1062000 | #Constraints: 42473
1886.90/1893.33 c INPROCESSING
1886.90/1893.33 c GARBAGE COLLECT
1886.90/1893.33 c #Conflicts: 1063000 | #Constraints: 23071
1886.90/1893.33 c #Conflicts: 1064000 | #Constraints: 24071
1886.90/1893.33 c #Conflicts: 1065000 | #Constraints: 25071
1886.90/1893.33 c #Conflicts: 1066000 | #Constraints: 26071
1886.90/1893.33 c #Conflicts: 1067000 | #Constraints: 27071
1886.90/1893.33 c #Conflicts: 1068000 | #Constraints: 28071
1886.90/1893.33 c #Conflicts: 1069000 | #Constraints: 29071
1886.90/1893.33 c #Conflicts: 1070000 | #Constraints: 30071
1886.90/1893.33 c #Conflicts: 1071000 | #Constraints: 31071
1886.90/1893.33 c #Conflicts: 1072000 | #Constraints: 32071
1886.90/1893.33 c #Conflicts: 1073000 | #Constraints: 33071
1886.90/1893.33 c #Conflicts: 1074000 | #Constraints: 34071
1886.90/1893.33 c #Conflicts: 1075000 | #Constraints: 35071
1886.90/1893.33 c #Conflicts: 1076000 | #Constraints: 36071
1886.90/1893.33 c #Conflicts: 1077000 | #Constraints: 37071
1886.90/1893.33 c #Conflicts: 1078000 | #Constraints: 38071
1886.90/1893.33 c #Conflicts: 1079000 | #Constraints: 39071
1886.90/1893.33 c #Conflicts: 1080000 | #Constraints: 40071
1886.90/1893.33 c #Conflicts: 1081000 | #Constraints: 41071
1886.90/1893.33 c #Conflicts: 1082000 | #Constraints: 42071
1886.90/1893.33 c #Conflicts: 1083000 | #Constraints: 43071
1886.90/1893.33 c INPROCESSING
1886.90/1893.33 c GARBAGE COLLECT
1886.90/1893.33 c #Conflicts: 1084000 | #Constraints: 23455
1886.90/1893.33 c #Conflicts: 1085000 | #Constraints: 24455
1886.90/1893.33 c #Conflicts: 1086000 | #Constraints: 25455
1886.90/1893.33 c #Conflicts: 1087000 | #Constraints: 26455
1886.90/1893.33 c #Conflicts: 1088000 | #Constraints: 27455
1886.90/1893.33 c #Conflicts: 1089000 | #Constraints: 28455
1886.90/1893.33 c #Conflicts: 1090000 | #Constraints: 29455
1886.90/1893.33 c #Conflicts: 1091000 | #Constraints: 30455
1886.90/1893.33 c #Conflicts: 1092000 | #Constraints: 31455
1886.90/1893.33 c #Conflicts: 1093000 | #Constraints: 32455
1886.90/1893.33 c #Conflicts: 1094000 | #Constraints: 33455
1886.90/1893.33 c #Conflicts: 1095000 | #Constraints: 34455
1886.90/1893.33 c #Conflicts: 1096000 | #Constraints: 35455
1886.90/1893.33 c #Conflicts: 1097000 | #Constraints: 36455
1886.90/1893.33 c #Conflicts: 1098000 | #Constraints: 37455
1886.90/1893.33 c #Conflicts: 1099000 | #Constraints: 38455
1886.90/1893.33 c #Conflicts: 1100000 | #Constraints: 39455
1886.90/1893.33 c #Conflicts: 1101000 | #Constraints: 40455
1886.90/1893.33 c #Conflicts: 1102000 | #Constraints: 41455
1886.90/1893.33 c #Conflicts: 1103000 | #Constraints: 42455
1886.90/1893.33 c #Conflicts: 1104000 | #Constraints: 43455
1886.90/1893.33 c INPROCESSING
1886.90/1893.33 c GARBAGE COLLECT
1886.90/1893.33 c #Conflicts: 1105000 | #Constraints: 23650
1886.90/1893.33 c #Conflicts: 1106000 | #Constraints: 24650
1886.90/1893.33 c #Conflicts: 1107000 | #Constraints: 25650
1886.90/1893.33 c #Conflicts: 1108000 | #Constraints: 26650
1886.90/1893.33 c #Conflicts: 1109000 | #Constraints: 27650
1886.90/1893.33 c #Conflicts: 1110000 | #Constraints: 28650
1886.90/1893.33 c #Conflicts: 1111000 | #Constraints: 29650
1886.90/1893.33 c #Conflicts: 1112000 | #Constraints: 30650
1886.90/1893.33 c #Conflicts: 1113000 | #Constraints: 31650
1886.90/1893.33 c #Conflicts: 1114000 | #Constraints: 32650
1886.90/1893.33 c #Conflicts: 1115000 | #Constraints: 33650
1886.90/1893.33 c #Conflicts: 1116000 | #Constraints: 34650
1886.90/1893.33 c #Conflicts: 1117000 | #Constraints: 35650
1886.90/1893.33 c #Conflicts: 1118000 | #Constraints: 36650
1886.90/1893.33 c #Conflicts: 1119000 | #Constraints: 37650
1886.90/1893.33 c #Conflicts: 1120000 | #Constraints: 38650
1886.90/1893.33 c #Conflicts: 1121000 | #Constraints: 39650
2178.59/2186.00 c #Conflicts: 1122000 | #Constraints: 40650
2178.59/2186.00 c #Conflicts: 1123000 | #Constraints: 41650
2178.59/2186.00 c #Conflicts: 1124000 | #Constraints: 42650
2178.59/2186.00 c #Conflicts: 1125000 | #Constraints: 43650
2178.59/2186.00 c INPROCESSING
2178.59/2186.00 c GARBAGE COLLECT
2178.59/2186.00 c #Conflicts: 1126000 | #Constraints: 23651
2178.59/2186.00 c #Conflicts: 1127000 | #Constraints: 24651
2178.59/2186.00 c #Conflicts: 1128000 | #Constraints: 25651
2178.59/2186.00 c #Conflicts: 1129000 | #Constraints: 26651
2178.59/2186.00 c #Conflicts: 1130000 | #Constraints: 27651
2178.59/2186.00 c #Conflicts: 1131000 | #Constraints: 28651
2178.59/2186.00 c #Conflicts: 1132000 | #Constraints: 29651
2178.59/2186.00 c #Conflicts: 1133000 | #Constraints: 30651
2178.59/2186.00 c #Conflicts: 1134000 | #Constraints: 31651
2178.59/2186.00 c #Conflicts: 1135000 | #Constraints: 32651
2178.59/2186.00 c #Conflicts: 1136000 | #Constraints: 33651
2178.59/2186.00 c #Conflicts: 1137000 | #Constraints: 34651
2178.59/2186.00 c #Conflicts: 1138000 | #Constraints: 35651
2178.59/2186.00 c #Conflicts: 1139000 | #Constraints: 36651
2178.59/2186.00 c #Conflicts: 1140000 | #Constraints: 37651
2178.59/2186.00 c #Conflicts: 1141000 | #Constraints: 38651
2178.59/2186.00 c #Conflicts: 1142000 | #Constraints: 39651
2178.59/2186.00 c #Conflicts: 1143000 | #Constraints: 40651
2178.59/2186.00 c #Conflicts: 1144000 | #Constraints: 41651
2178.59/2186.00 c #Conflicts: 1145000 | #Constraints: 42651
2178.59/2186.00 c #Conflicts: 1146000 | #Constraints: 43651
2178.59/2186.00 c INPROCESSING
2178.59/2186.00 c GARBAGE COLLECT
2178.59/2186.00 c #Conflicts: 1147000 | #Constraints: 23445
2178.59/2186.00 c #Conflicts: 1148000 | #Constraints: 24445
2178.59/2186.00 c #Conflicts: 1149000 | #Constraints: 25445
2178.59/2186.00 c #Conflicts: 1150000 | #Constraints: 26445
2178.59/2186.00 c #Conflicts: 1151000 | #Constraints: 27445
2178.59/2186.00 c #Conflicts: 1152000 | #Constraints: 28445
2178.59/2186.00 c #Conflicts: 1153000 | #Constraints: 29445
2178.59/2186.00 c #Conflicts: 1154000 | #Constraints: 30445
2178.59/2186.00 c #Conflicts: 1155000 | #Constraints: 31445
2178.59/2186.00 c #Conflicts: 1156000 | #Constraints: 32445
2178.59/2186.00 c #Conflicts: 1157000 | #Constraints: 33445
2178.59/2186.00 c #Conflicts: 1158000 | #Constraints: 34445
2178.59/2186.00 c #Conflicts: 1159000 | #Constraints: 35445
2178.59/2186.00 c #Conflicts: 1160000 | #Constraints: 36445
2178.59/2186.00 c #Conflicts: 1161000 | #Constraints: 37445
2178.59/2186.00 c #Conflicts: 1162000 | #Constraints: 38445
2178.59/2186.00 c #Conflicts: 1163000 | #Constraints: 39445
2178.59/2186.00 c #Conflicts: 1164000 | #Constraints: 40445
2178.59/2186.00 c #Conflicts: 1165000 | #Constraints: 41445
2178.59/2186.00 c #Conflicts: 1166000 | #Constraints: 42445
2178.59/2186.00 c #Conflicts: 1167000 | #Constraints: 43445
2178.59/2186.00 c #Conflicts: 1168000 | #Constraints: 44445
2178.59/2186.00 c INPROCESSING
2178.59/2186.00 c GARBAGE COLLECT
2178.59/2186.00 c #Conflicts: 1169000 | #Constraints: 24050
2178.59/2186.00 c #Conflicts: 1170000 | #Constraints: 25050
2178.59/2186.00 c #Conflicts: 1171000 | #Constraints: 26050
2178.59/2186.00 c #Conflicts: 1172000 | #Constraints: 27050
2178.59/2186.00 c #Conflicts: 1173000 | #Constraints: 28050
2178.59/2186.00 c #Conflicts: 1174000 | #Constraints: 29050
2178.59/2186.00 c #Conflicts: 1175000 | #Constraints: 30050
2178.59/2186.00 c #Conflicts: 1176000 | #Constraints: 31050
2178.59/2186.00 c #Conflicts: 1177000 | #Constraints: 32050
2178.59/2186.00 c #Conflicts: 1178000 | #Constraints: 33050
2178.59/2186.00 c #Conflicts: 1179000 | #Constraints: 34050
2178.59/2186.00 c #Conflicts: 1180000 | #Constraints: 35050
2178.59/2186.00 c #Conflicts: 1181000 | #Constraints: 36050
2178.59/2186.00 c #Conflicts: 1182000 | #Constraints: 37050
2178.59/2186.00 c #Conflicts: 1183000 | #Constraints: 38050
2178.59/2186.00 c #Conflicts: 1184000 | #Constraints: 39050
2178.59/2186.00 c #Conflicts: 1185000 | #Constraints: 40050
2178.59/2186.00 c #Conflicts: 1186000 | #Constraints: 41050
2178.59/2186.00 c #Conflicts: 1187000 | #Constraints: 42050
2178.59/2186.00 c #Conflicts: 1188000 | #Constraints: 43050
2178.59/2186.00 c #Conflicts: 1189000 | #Constraints: 44050
2178.59/2186.00 c #Conflicts: 1190000 | #Constraints: 45050
2178.59/2186.00 c INPROCESSING
2178.59/2186.00 c GARBAGE COLLECT
2178.59/2186.00 c #Conflicts: 1191000 | #Constraints: 24454
2178.59/2186.00 c #Conflicts: 1192000 | #Constraints: 25454
2178.59/2186.00 c #Conflicts: 1193000 | #Constraints: 26454
2178.59/2186.00 c #Conflicts: 1194000 | #Constraints: 27454
2178.59/2186.00 c #Conflicts: 1195000 | #Constraints: 28454
2178.59/2186.00 c #Conflicts: 1196000 | #Constraints: 29454
2178.59/2186.00 c #Conflicts: 1197000 | #Constraints: 30454
2506.83/2515.33 c #Conflicts: 1198000 | #Constraints: 31454
2506.83/2515.33 c #Conflicts: 1199000 | #Constraints: 32454
2506.83/2515.33 c #Conflicts: 1200000 | #Constraints: 33454
2506.83/2515.33 c #Conflicts: 1201000 | #Constraints: 34454
2506.83/2515.33 c #Conflicts: 1202000 | #Constraints: 35454
2506.83/2515.33 c #Conflicts: 1203000 | #Constraints: 36454
2506.83/2515.33 c #Conflicts: 1204000 | #Constraints: 37454
2506.83/2515.33 c #Conflicts: 1205000 | #Constraints: 38454
2506.83/2515.33 c #Conflicts: 1206000 | #Constraints: 39454
2506.83/2515.33 c #Conflicts: 1207000 | #Constraints: 40454
2506.83/2515.33 c #Conflicts: 1208000 | #Constraints: 41454
2506.83/2515.33 c #Conflicts: 1209000 | #Constraints: 42454
2506.83/2515.33 c #Conflicts: 1210000 | #Constraints: 43454
2506.83/2515.33 c #Conflicts: 1211000 | #Constraints: 44454
2506.83/2515.33 c #Conflicts: 1212000 | #Constraints: 45454
2506.83/2515.33 c INPROCESSING
2506.83/2515.33 c GARBAGE COLLECT
2506.83/2515.33 c #Conflicts: 1213000 | #Constraints: 24658
2506.83/2515.33 c #Conflicts: 1214000 | #Constraints: 25658
2506.83/2515.33 c #Conflicts: 1215000 | #Constraints: 26658
2506.83/2515.33 c #Conflicts: 1216000 | #Constraints: 27658
2506.83/2515.33 c #Conflicts: 1217000 | #Constraints: 28658
2506.83/2515.33 c #Conflicts: 1218000 | #Constraints: 29658
2506.83/2515.33 c #Conflicts: 1219000 | #Constraints: 30658
2506.83/2515.33 c #Conflicts: 1220000 | #Constraints: 31658
2506.83/2515.33 c #Conflicts: 1221000 | #Constraints: 32658
2506.83/2515.33 c #Conflicts: 1222000 | #Constraints: 33658
2506.83/2515.33 c #Conflicts: 1223000 | #Constraints: 34658
2506.83/2515.33 c #Conflicts: 1224000 | #Constraints: 35658
2506.83/2515.33 c #Conflicts: 1225000 | #Constraints: 36658
2506.83/2515.33 c #Conflicts: 1226000 | #Constraints: 37658
2506.83/2515.33 c #Conflicts: 1227000 | #Constraints: 38658
2506.83/2515.33 c #Conflicts: 1228000 | #Constraints: 39658
2506.83/2515.33 c #Conflicts: 1229000 | #Constraints: 40658
2506.83/2515.33 c #Conflicts: 1230000 | #Constraints: 41658
2506.83/2515.33 c #Conflicts: 1231000 | #Constraints: 42658
2506.83/2515.33 c #Conflicts: 1232000 | #Constraints: 43658
2506.83/2515.33 c #Conflicts: 1233000 | #Constraints: 44658
2506.83/2515.33 c #Conflicts: 1234000 | #Constraints: 45658
2506.83/2515.33 c INPROCESSING
2506.83/2515.33 c GARBAGE COLLECT
2506.83/2515.33 c #Conflicts: 1235000 | #Constraints: 24653
2506.83/2515.33 c #Conflicts: 1236000 | #Constraints: 25653
2506.83/2515.33 c #Conflicts: 1237000 | #Constraints: 26653
2506.83/2515.33 c #Conflicts: 1238000 | #Constraints: 27653
2506.83/2515.33 c #Conflicts: 1239000 | #Constraints: 28653
2506.83/2515.33 c #Conflicts: 1240000 | #Constraints: 29653
2506.83/2515.33 c #Conflicts: 1241000 | #Constraints: 30653
2506.83/2515.33 c #Conflicts: 1242000 | #Constraints: 31653
2506.83/2515.33 c #Conflicts: 1243000 | #Constraints: 32653
2506.83/2515.33 c #Conflicts: 1244000 | #Constraints: 33653
2506.83/2515.33 c #Conflicts: 1245000 | #Constraints: 34653
2506.83/2515.33 c #Conflicts: 1246000 | #Constraints: 35653
2506.83/2515.33 c #Conflicts: 1247000 | #Constraints: 36653
2506.83/2515.33 c #Conflicts: 1248000 | #Constraints: 37653
2506.83/2515.33 c #Conflicts: 1249000 | #Constraints: 38653
2506.83/2515.33 c #Conflicts: 1250000 | #Constraints: 39653
2506.83/2515.33 c #Conflicts: 1251000 | #Constraints: 40653
2506.83/2515.33 c #Conflicts: 1252000 | #Constraints: 41653
2506.83/2515.33 c #Conflicts: 1253000 | #Constraints: 42653
2506.83/2515.33 c #Conflicts: 1254000 | #Constraints: 43653
2506.83/2515.33 c #Conflicts: 1255000 | #Constraints: 44653
2506.83/2515.33 c #Conflicts: 1256000 | #Constraints: 45653
2506.83/2515.33 c INPROCESSING
2506.83/2515.33 c GARBAGE COLLECT
2506.83/2515.33 c #Conflicts: 1257000 | #Constraints: 24450
2506.83/2515.33 c #Conflicts: 1258000 | #Constraints: 25450
2506.83/2515.33 c #Conflicts: 1259000 | #Constraints: 26450
2506.83/2515.33 c #Conflicts: 1260000 | #Constraints: 27450
2506.83/2515.33 c #Conflicts: 1261000 | #Constraints: 28450
2506.83/2515.33 c #Conflicts: 1262000 | #Constraints: 29450
2506.83/2515.33 c #Conflicts: 1263000 | #Constraints: 30450
2506.83/2515.33 c #Conflicts: 1264000 | #Constraints: 31450
2506.83/2515.33 c #Conflicts: 1265000 | #Constraints: 32450
2506.83/2515.33 c #Conflicts: 1266000 | #Constraints: 33450
2506.83/2515.33 c #Conflicts: 1267000 | #Constraints: 34450
2506.83/2515.33 c #Conflicts: 1268000 | #Constraints: 35450
2506.83/2515.33 c #Conflicts: 1269000 | #Constraints: 36450
2506.83/2515.33 c #Conflicts: 1270000 | #Constraints: 37450
2506.83/2515.33 c #Conflicts: 1271000 | #Constraints: 38450
2506.83/2515.33 c #Conflicts: 1272000 | #Constraints: 39450
2506.83/2515.33 c #Conflicts: 1273000 | #Constraints: 40450
2506.83/2515.33 c #Conflicts: 1274000 | #Constraints: 41450
2760.38/2769.88 c #Conflicts: 1275000 | #Constraints: 42450
2760.38/2769.88 c #Conflicts: 1276000 | #Constraints: 43450
2760.38/2769.88 c #Conflicts: 1277000 | #Constraints: 44450
2760.38/2769.88 c #Conflicts: 1278000 | #Constraints: 45450
2760.38/2769.88 c #Conflicts: 1279000 | #Constraints: 46450
2760.38/2769.88 c INPROCESSING
2760.38/2769.88 c GARBAGE COLLECT
2760.38/2769.88 c #Conflicts: 1280000 | #Constraints: 25053
2760.38/2769.88 c #Conflicts: 1281000 | #Constraints: 26053
2760.38/2769.88 c #Conflicts: 1282000 | #Constraints: 27053
2760.38/2769.88 c #Conflicts: 1283000 | #Constraints: 28053
2760.38/2769.88 c #Conflicts: 1284000 | #Constraints: 29053
2760.38/2769.88 c #Conflicts: 1285000 | #Constraints: 30053
2760.38/2769.88 c #Conflicts: 1286000 | #Constraints: 31053
2760.38/2769.88 c #Conflicts: 1287000 | #Constraints: 32053
2760.38/2769.88 c #Conflicts: 1288000 | #Constraints: 33053
2760.38/2769.88 c #Conflicts: 1289000 | #Constraints: 34053
2760.38/2769.88 c #Conflicts: 1290000 | #Constraints: 35053
2760.38/2769.88 c #Conflicts: 1291000 | #Constraints: 36053
2760.38/2769.88 c #Conflicts: 1292000 | #Constraints: 37053
2760.38/2769.88 c #Conflicts: 1293000 | #Constraints: 38053
2760.38/2769.88 c #Conflicts: 1294000 | #Constraints: 39053
2760.38/2769.88 c #Conflicts: 1295000 | #Constraints: 40053
2760.38/2769.88 c #Conflicts: 1296000 | #Constraints: 41053
2760.38/2769.88 c #Conflicts: 1297000 | #Constraints: 42053
2760.38/2769.88 c #Conflicts: 1298000 | #Constraints: 43053
2760.38/2769.88 c #Conflicts: 1299000 | #Constraints: 44053
2760.38/2769.88 c #Conflicts: 1300000 | #Constraints: 45053
2760.38/2769.88 c #Conflicts: 1301000 | #Constraints: 46053
2760.38/2769.88 c #Conflicts: 1302000 | #Constraints: 47053
2760.38/2769.88 c INPROCESSING
2760.38/2769.88 c GARBAGE COLLECT
2760.38/2769.88 c #Conflicts: 1303000 | #Constraints: 25452
2760.38/2769.88 c #Conflicts: 1304000 | #Constraints: 26452
2760.38/2769.88 c #Conflicts: 1305000 | #Constraints: 27452
2760.38/2769.88 c #Conflicts: 1306000 | #Constraints: 28452
2760.38/2769.88 c #Conflicts: 1307000 | #Constraints: 29452
2760.38/2769.88 c #Conflicts: 1308000 | #Constraints: 30452
2760.38/2769.88 c #Conflicts: 1309000 | #Constraints: 31452
2760.38/2769.88 c #Conflicts: 1310000 | #Constraints: 32452
2760.38/2769.88 c #Conflicts: 1311000 | #Constraints: 33452
2760.38/2769.88 c #Conflicts: 1312000 | #Constraints: 34452
2760.38/2769.88 c #Conflicts: 1313000 | #Constraints: 35452
2760.38/2769.88 c #Conflicts: 1314000 | #Constraints: 36452
2760.38/2769.88 c #Conflicts: 1315000 | #Constraints: 37452
2760.38/2769.88 c #Conflicts: 1316000 | #Constraints: 38452
2760.38/2769.88 c #Conflicts: 1317000 | #Constraints: 39452
2760.38/2769.88 c #Conflicts: 1318000 | #Constraints: 40452
2760.38/2769.88 c #Conflicts: 1319000 | #Constraints: 41452
2760.38/2769.88 c #Conflicts: 1320000 | #Constraints: 42452
2760.38/2769.88 c #Conflicts: 1321000 | #Constraints: 43452
2760.38/2769.88 c #Conflicts: 1322000 | #Constraints: 44452
2760.38/2769.88 c #Conflicts: 1323000 | #Constraints: 45452
2760.38/2769.88 c #Conflicts: 1324000 | #Constraints: 46452
2760.38/2769.88 c #Conflicts: 1325000 | #Constraints: 47452
2760.38/2769.88 c INPROCESSING
2760.38/2769.88 c GARBAGE COLLECT
2760.38/2769.88 c #Conflicts: 1326000 | #Constraints: 25652
2760.38/2769.88 c #Conflicts: 1327000 | #Constraints: 26652
2760.38/2769.88 c #Conflicts: 1328000 | #Constraints: 27652
2760.38/2769.88 c #Conflicts: 1329000 | #Constraints: 28652
2760.38/2769.88 c #Conflicts: 1330000 | #Constraints: 29652
2760.38/2769.88 c #Conflicts: 1331000 | #Constraints: 30652
2760.38/2769.88 c #Conflicts: 1332000 | #Constraints: 31652
2760.38/2769.88 c #Conflicts: 1333000 | #Constraints: 32652
2760.38/2769.88 c #Conflicts: 1334000 | #Constraints: 33652
2760.38/2769.88 c #Conflicts: 1335000 | #Constraints: 34652
2760.38/2769.88 c #Conflicts: 1336000 | #Constraints: 35652
2760.38/2769.88 c #Conflicts: 1337000 | #Constraints: 36652
2760.38/2769.88 c #Conflicts: 1338000 | #Constraints: 37652
2760.38/2769.88 c #Conflicts: 1339000 | #Constraints: 38652
2760.38/2769.88 c #Conflicts: 1340000 | #Constraints: 39652
2760.38/2769.88 c #Conflicts: 1341000 | #Constraints: 40652
2760.38/2769.88 c #Conflicts: 1342000 | #Constraints: 41652
2760.38/2769.88 c #Conflicts: 1343000 | #Constraints: 42652
2760.38/2769.88 c #Conflicts: 1344000 | #Constraints: 43652
2760.38/2769.88 c #Conflicts: 1345000 | #Constraints: 44652
2760.38/2769.88 c #Conflicts: 1346000 | #Constraints: 45652
2760.38/2769.88 c #Conflicts: 1347000 | #Constraints: 46652
2760.38/2769.88 c #Conflicts: 1348000 | #Constraints: 47652
2760.38/2769.88 c INPROCESSING
2760.38/2769.88 c GARBAGE COLLECT
2760.38/2769.88 c #Conflicts: 1349000 | #Constraints: 25650
2760.38/2769.88 c #Conflicts: 1350000 | #Constraints: 26650
3002.61/3012.92 c #Conflicts: 1351000 | #Constraints: 27650
3002.61/3012.92 c #Conflicts: 1352000 | #Constraints: 28650
3002.61/3012.92 c #Conflicts: 1353000 | #Constraints: 29650
3002.61/3012.92 c #Conflicts: 1354000 | #Constraints: 30650
3002.61/3012.92 c #Conflicts: 1355000 | #Constraints: 31650
3002.61/3012.92 c #Conflicts: 1356000 | #Constraints: 32650
3002.61/3012.92 c #Conflicts: 1357000 | #Constraints: 33650
3002.61/3012.92 c #Conflicts: 1358000 | #Constraints: 34650
3002.61/3012.92 c #Conflicts: 1359000 | #Constraints: 35650
3002.61/3012.92 c #Conflicts: 1360000 | #Constraints: 36650
3002.61/3012.92 c #Conflicts: 1361000 | #Constraints: 37650
3002.61/3012.92 c #Conflicts: 1362000 | #Constraints: 38650
3002.61/3012.92 c #Conflicts: 1363000 | #Constraints: 39650
3002.61/3012.92 c #Conflicts: 1364000 | #Constraints: 40650
3002.61/3012.92 c #Conflicts: 1365000 | #Constraints: 41650
3002.61/3012.92 c #Conflicts: 1366000 | #Constraints: 42650
3002.61/3012.92 c #Conflicts: 1367000 | #Constraints: 43650
3002.61/3012.92 c #Conflicts: 1368000 | #Constraints: 44650
3002.61/3012.92 c #Conflicts: 1369000 | #Constraints: 45650
3002.61/3012.92 c #Conflicts: 1370000 | #Constraints: 46650
3002.61/3012.92 c #Conflicts: 1371000 | #Constraints: 47650
3002.61/3012.92 c INPROCESSING
3002.61/3012.92 c GARBAGE COLLECT
3002.61/3012.92 c #Conflicts: 1372000 | #Constraints: 25470
3002.61/3012.92 c #Conflicts: 1373000 | #Constraints: 26470
3002.61/3012.92 c #Conflicts: 1374000 | #Constraints: 27470
3002.61/3012.92 c #Conflicts: 1375000 | #Constraints: 28470
3002.61/3012.92 c #Conflicts: 1376000 | #Constraints: 29470
3002.61/3012.92 c #Conflicts: 1377000 | #Constraints: 30470
3002.61/3012.92 c #Conflicts: 1378000 | #Constraints: 31470
3002.61/3012.92 c #Conflicts: 1379000 | #Constraints: 32470
3002.61/3012.92 c #Conflicts: 1380000 | #Constraints: 33470
3002.61/3012.92 c #Conflicts: 1381000 | #Constraints: 34470
3002.61/3012.92 c #Conflicts: 1382000 | #Constraints: 35470
3002.61/3012.92 c #Conflicts: 1383000 | #Constraints: 36470
3002.61/3012.92 c #Conflicts: 1384000 | #Constraints: 37470
3002.61/3012.92 c #Conflicts: 1385000 | #Constraints: 38470
3002.61/3012.92 c #Conflicts: 1386000 | #Constraints: 39470
3002.61/3012.92 c #Conflicts: 1387000 | #Constraints: 40470
3002.61/3012.92 c #Conflicts: 1388000 | #Constraints: 41470
3002.61/3012.92 c #Conflicts: 1389000 | #Constraints: 42470
3002.61/3012.92 c #Conflicts: 1390000 | #Constraints: 43470
3002.61/3012.92 c #Conflicts: 1391000 | #Constraints: 44470
3002.61/3012.92 c #Conflicts: 1392000 | #Constraints: 45470
3002.61/3012.92 c #Conflicts: 1393000 | #Constraints: 46470
3002.61/3012.92 c #Conflicts: 1394000 | #Constraints: 47470
3002.61/3012.92 c #Conflicts: 1395000 | #Constraints: 48470
3002.61/3012.92 c INPROCESSING
3002.61/3012.92 c GARBAGE COLLECT
3002.61/3012.92 c #Conflicts: 1396000 | #Constraints: 26059
3002.61/3012.92 c #Conflicts: 1397000 | #Constraints: 27059
3002.61/3012.92 c #Conflicts: 1398000 | #Constraints: 28059
3002.61/3012.92 c #Conflicts: 1399000 | #Constraints: 29059
3002.61/3012.92 c #Conflicts: 1400000 | #Constraints: 30059
3002.61/3012.92 c #Conflicts: 1401000 | #Constraints: 31059
3002.61/3012.92 c #Conflicts: 1402000 | #Constraints: 32059
3002.61/3012.92 c #Conflicts: 1403000 | #Constraints: 33059
3002.61/3012.92 c #Conflicts: 1404000 | #Constraints: 34059
3002.61/3012.92 c #Conflicts: 1405000 | #Constraints: 35059
3002.61/3012.92 c #Conflicts: 1406000 | #Constraints: 36059
3002.61/3012.92 c #Conflicts: 1407000 | #Constraints: 37059
3002.61/3012.92 c #Conflicts: 1408000 | #Constraints: 38059
3002.61/3012.92 c #Conflicts: 1409000 | #Constraints: 39059
3002.61/3012.92 c #Conflicts: 1410000 | #Constraints: 40059
3002.61/3012.92 c #Conflicts: 1411000 | #Constraints: 41059
3002.61/3012.92 c #Conflicts: 1412000 | #Constraints: 42059
3002.61/3012.92 c #Conflicts: 1413000 | #Constraints: 43059
3002.61/3012.92 c #Conflicts: 1414000 | #Constraints: 44059
3002.61/3012.92 c #Conflicts: 1415000 | #Constraints: 45059
3002.61/3012.92 c #Conflicts: 1416000 | #Constraints: 46059
3002.61/3012.92 c #Conflicts: 1417000 | #Constraints: 47059
3002.61/3012.92 c #Conflicts: 1418000 | #Constraints: 48059
3002.61/3012.92 c #Conflicts: 1419000 | #Constraints: 49059
3002.61/3012.92 c INPROCESSING
3002.61/3012.92 c GARBAGE COLLECT
3002.61/3012.92 c #Conflicts: 1420000 | #Constraints: 26460
3002.61/3012.92 c #Conflicts: 1421000 | #Constraints: 27460
3002.61/3012.92 c #Conflicts: 1422000 | #Constraints: 28460
3002.61/3012.92 c #Conflicts: 1423000 | #Constraints: 29460
3002.61/3012.92 c #Conflicts: 1424000 | #Constraints: 30460
3002.61/3012.92 c #Conflicts: 1425000 | #Constraints: 31460
3002.61/3012.92 c #Conflicts: 1426000 | #Constraints: 32460
3002.61/3012.92 c #Conflicts: 1427000 | #Constraints: 33460
3282.34/3293.63 c #Conflicts: 1428000 | #Constraints: 34460
3282.34/3293.63 c #Conflicts: 1429000 | #Constraints: 35460
3282.34/3293.63 c #Conflicts: 1430000 | #Constraints: 36460
3282.34/3293.63 c #Conflicts: 1431000 | #Constraints: 37460
3282.34/3293.63 c #Conflicts: 1432000 | #Constraints: 38460
3282.34/3293.63 c #Conflicts: 1433000 | #Constraints: 39460
3282.34/3293.63 c #Conflicts: 1434000 | #Constraints: 40460
3282.34/3293.63 c #Conflicts: 1435000 | #Constraints: 41460
3282.34/3293.63 c #Conflicts: 1436000 | #Constraints: 42460
3282.34/3293.63 c #Conflicts: 1437000 | #Constraints: 43460
3282.34/3293.63 c #Conflicts: 1438000 | #Constraints: 44460
3282.34/3293.63 c #Conflicts: 1439000 | #Constraints: 45460
3282.34/3293.63 c #Conflicts: 1440000 | #Constraints: 46460
3282.34/3293.63 c #Conflicts: 1441000 | #Constraints: 47460
3282.34/3293.63 c #Conflicts: 1442000 | #Constraints: 48460
3282.34/3293.63 c #Conflicts: 1443000 | #Constraints: 49460
3282.34/3293.63 c INPROCESSING
3282.34/3293.63 c GARBAGE COLLECT
3282.34/3293.63 c #Conflicts: 1444000 | #Constraints: 26659
3282.34/3293.63 c #Conflicts: 1445000 | #Constraints: 27659
3282.34/3293.63 c #Conflicts: 1446000 | #Constraints: 28659
3282.34/3293.63 c #Conflicts: 1447000 | #Constraints: 29659
3282.34/3293.63 c #Conflicts: 1448000 | #Constraints: 30659
3282.34/3293.63 c #Conflicts: 1449000 | #Constraints: 31659
3282.34/3293.63 c #Conflicts: 1450000 | #Constraints: 32659
3282.34/3293.63 c #Conflicts: 1451000 | #Constraints: 33659
3282.34/3293.63 c #Conflicts: 1452000 | #Constraints: 34659
3282.34/3293.63 c #Conflicts: 1453000 | #Constraints: 35659
3282.34/3293.63 c #Conflicts: 1454000 | #Constraints: 36659
3282.34/3293.63 c #Conflicts: 1455000 | #Constraints: 37659
3282.34/3293.63 c #Conflicts: 1456000 | #Constraints: 38659
3282.34/3293.63 c #Conflicts: 1457000 | #Constraints: 39659
3282.34/3293.63 c #Conflicts: 1458000 | #Constraints: 40659
3282.34/3293.63 c #Conflicts: 1459000 | #Constraints: 41659
3282.34/3293.63 c #Conflicts: 1460000 | #Constraints: 42659
3282.34/3293.63 c #Conflicts: 1461000 | #Constraints: 43659
3282.34/3293.63 c #Conflicts: 1462000 | #Constraints: 44659
3282.34/3293.63 c #Conflicts: 1463000 | #Constraints: 45659
3282.34/3293.63 c #Conflicts: 1464000 | #Constraints: 46659
3282.34/3293.63 c #Conflicts: 1465000 | #Constraints: 47659
3282.34/3293.63 c #Conflicts: 1466000 | #Constraints: 48659
3282.34/3293.63 c #Conflicts: 1467000 | #Constraints: 49659
3282.34/3293.63 c INPROCESSING
3282.34/3293.63 c GARBAGE COLLECT
3282.34/3293.63 c #Conflicts: 1468000 | #Constraints: 26662
3282.34/3293.63 c #Conflicts: 1469000 | #Constraints: 27662
3282.34/3293.63 c #Conflicts: 1470000 | #Constraints: 28662
3282.34/3293.63 c #Conflicts: 1471000 | #Constraints: 29662
3282.34/3293.63 c #Conflicts: 1472000 | #Constraints: 30662
3282.34/3293.63 c #Conflicts: 1473000 | #Constraints: 31662
3282.34/3293.63 c #Conflicts: 1474000 | #Constraints: 32662
3282.34/3293.63 c #Conflicts: 1475000 | #Constraints: 33662
3282.34/3293.63 c #Conflicts: 1476000 | #Constraints: 34662
3282.34/3293.63 c #Conflicts: 1477000 | #Constraints: 35662
3282.34/3293.63 c #Conflicts: 1478000 | #Constraints: 36662
3282.34/3293.63 c #Conflicts: 1479000 | #Constraints: 37662
3282.34/3293.63 c #Conflicts: 1480000 | #Constraints: 38662
3282.34/3293.63 c #Conflicts: 1481000 | #Constraints: 39662
3282.34/3293.63 c #Conflicts: 1482000 | #Constraints: 40662
3282.34/3293.63 c #Conflicts: 1483000 | #Constraints: 41662
3282.34/3293.63 c #Conflicts: 1484000 | #Constraints: 42662
3282.34/3293.63 c #Conflicts: 1485000 | #Constraints: 43662
3282.34/3293.63 c #Conflicts: 1486000 | #Constraints: 44662
3282.34/3293.63 c #Conflicts: 1487000 | #Constraints: 45662
3282.34/3293.63 c #Conflicts: 1488000 | #Constraints: 46662
3282.34/3293.63 c #Conflicts: 1489000 | #Constraints: 47662
3282.34/3293.63 c #Conflicts: 1490000 | #Constraints: 48662
3282.34/3293.63 c #Conflicts: 1491000 | #Constraints: 49662
3282.34/3293.63 c INPROCESSING
3282.34/3293.63 c GARBAGE COLLECT
3282.34/3293.63 c #Conflicts: 1492000 | #Constraints: 26461
3282.34/3293.63 c #Conflicts: 1493000 | #Constraints: 27461
3282.34/3293.63 c #Conflicts: 1494000 | #Constraints: 28461
3282.34/3293.63 c #Conflicts: 1495000 | #Constraints: 29461
3282.34/3293.63 c #Conflicts: 1496000 | #Constraints: 30461
3282.34/3293.63 c #Conflicts: 1497000 | #Constraints: 31461
3282.34/3293.63 c #Conflicts: 1498000 | #Constraints: 32461
3282.34/3293.63 c #Conflicts: 1499000 | #Constraints: 33461
3282.34/3293.63 c #Conflicts: 1500000 | #Constraints: 34461
3282.34/3293.63 c #Conflicts: 1501000 | #Constraints: 35461
3282.34/3293.63 c #Conflicts: 1502000 | #Constraints: 36461
3282.34/3293.63 c #Conflicts: 1503000 | #Constraints: 37461
3282.34/3293.63 c #Conflicts: 1504000 | #Constraints: 38461
3573.12/3585.74 c #Conflicts: 1505000 | #Constraints: 39461
3573.12/3585.74 c #Conflicts: 1506000 | #Constraints: 40461
3573.12/3585.74 c #Conflicts: 1507000 | #Constraints: 41461
3573.12/3585.74 c #Conflicts: 1508000 | #Constraints: 42461
3573.12/3585.74 c #Conflicts: 1509000 | #Constraints: 43461
3573.12/3585.74 c #Conflicts: 1510000 | #Constraints: 44461
3573.12/3585.74 c #Conflicts: 1511000 | #Constraints: 45461
3573.12/3585.74 c #Conflicts: 1512000 | #Constraints: 46461
3573.12/3585.74 c #Conflicts: 1513000 | #Constraints: 47461
3573.12/3585.74 c #Conflicts: 1514000 | #Constraints: 48461
3573.12/3585.74 c #Conflicts: 1515000 | #Constraints: 49461
3573.12/3585.74 c #Conflicts: 1516000 | #Constraints: 50461
3573.12/3585.74 c INPROCESSING
3573.12/3585.74 c GARBAGE COLLECT
3573.12/3585.74 c #Conflicts: 1517000 | #Constraints: 27048
3573.12/3585.74 c #Conflicts: 1518000 | #Constraints: 28048
3573.12/3585.74 c #Conflicts: 1519000 | #Constraints: 29048
3573.12/3585.74 c #Conflicts: 1520000 | #Constraints: 30048
3573.12/3585.74 c #Conflicts: 1521000 | #Constraints: 31048
3573.12/3585.74 c #Conflicts: 1522000 | #Constraints: 32048
3573.12/3585.74 c #Conflicts: 1523000 | #Constraints: 33048
3573.12/3585.74 c #Conflicts: 1524000 | #Constraints: 34048
3573.12/3585.74 c #Conflicts: 1525000 | #Constraints: 35048
3573.12/3585.74 c #Conflicts: 1526000 | #Constraints: 36048
3573.12/3585.74 c #Conflicts: 1527000 | #Constraints: 37048
3573.12/3585.74 c #Conflicts: 1528000 | #Constraints: 38048
3573.12/3585.74 c #Conflicts: 1529000 | #Constraints: 39048
3573.12/3585.74 c #Conflicts: 1530000 | #Constraints: 40048
3573.12/3585.74 c #Conflicts: 1531000 | #Constraints: 41048
3573.12/3585.74 c #Conflicts: 1532000 | #Constraints: 42048
3573.12/3585.74 c #Conflicts: 1533000 | #Constraints: 43048
3573.12/3585.74 c #Conflicts: 1534000 | #Constraints: 44048
3573.12/3585.74 c #Conflicts: 1535000 | #Constraints: 45048
3573.12/3585.74 c #Conflicts: 1536000 | #Constraints: 46048
3573.12/3585.74 c #Conflicts: 1537000 | #Constraints: 47048
3573.12/3585.74 c #Conflicts: 1538000 | #Constraints: 48048
3573.12/3585.74 c #Conflicts: 1539000 | #Constraints: 49048
3573.12/3585.74 c #Conflicts: 1540000 | #Constraints: 50048
3573.12/3585.74 c #Conflicts: 1541000 | #Constraints: 51048
3573.12/3585.74 c INPROCESSING
3573.12/3585.74 c GARBAGE COLLECT
3573.12/3585.74 c #Conflicts: 1542000 | #Constraints: 27458
3573.12/3585.74 c #Conflicts: 1543000 | #Constraints: 28458
3573.12/3585.74 c #Conflicts: 1544000 | #Constraints: 29458
3573.12/3585.74 c #Conflicts: 1545000 | #Constraints: 30458
3573.12/3585.74 c #Conflicts: 1546000 | #Constraints: 31458
3573.12/3585.74 c #Conflicts: 1547000 | #Constraints: 32458
3573.12/3585.74 c #Conflicts: 1548000 | #Constraints: 33458
3573.12/3585.74 c #Conflicts: 1549000 | #Constraints: 34458
3573.12/3585.74 c #Conflicts: 1550000 | #Constraints: 35458
3573.12/3585.74 c #Conflicts: 1551000 | #Constraints: 36458
3573.12/3585.74 c #Conflicts: 1552000 | #Constraints: 37458
3573.12/3585.74 c #Conflicts: 1553000 | #Constraints: 38458
3573.12/3585.74 c #Conflicts: 1554000 | #Constraints: 39458
3573.12/3585.74 c #Conflicts: 1555000 | #Constraints: 40458
3573.12/3585.74 c #Conflicts: 1556000 | #Constraints: 41458
3573.12/3585.74 c #Conflicts: 1557000 | #Constraints: 42458
3573.12/3585.74 c #Conflicts: 1558000 | #Constraints: 43458
3573.12/3585.74 c #Conflicts: 1559000 | #Constraints: 44458
3573.12/3585.74 c #Conflicts: 1560000 | #Constraints: 45458
3573.12/3585.74 c #Conflicts: 1561000 | #Constraints: 46458
3573.12/3585.74 c #Conflicts: 1562000 | #Constraints: 47458
3573.12/3585.74 c #Conflicts: 1563000 | #Constraints: 48458
3573.12/3585.74 c #Conflicts: 1564000 | #Constraints: 49458
3573.12/3585.74 c #Conflicts: 1565000 | #Constraints: 50458
3573.12/3585.74 c #Conflicts: 1566000 | #Constraints: 51458
3573.12/3585.74 c INPROCESSING
3573.12/3585.74 c GARBAGE COLLECT
3573.12/3585.74 c #Conflicts: 1567000 | #Constraints: 27656
3573.12/3585.74 c #Conflicts: 1568000 | #Constraints: 28656
3573.12/3585.74 c #Conflicts: 1569000 | #Constraints: 29656
3573.12/3585.74 c #Conflicts: 1570000 | #Constraints: 30656
3573.12/3585.74 c #Conflicts: 1571000 | #Constraints: 31656
3573.12/3585.74 c #Conflicts: 1572000 | #Constraints: 32656
3573.12/3585.74 c #Conflicts: 1573000 | #Constraints: 33656
3573.12/3585.74 c #Conflicts: 1574000 | #Constraints: 34656
3573.12/3585.74 c #Conflicts: 1575000 | #Constraints: 35656
3573.12/3585.74 c #Conflicts: 1576000 | #Constraints: 36656
3573.12/3585.74 c #Conflicts: 1577000 | #Constraints: 37656
3573.12/3585.74 c #Conflicts: 1578000 | #Constraints: 38656
3573.12/3585.74 c #Conflicts: 1579000 | #Constraints: 39656
3573.12/3585.74 c #Conflicts: 1580000 | #Constraints: 40656
3573.12/3585.74 c #Conflicts: 1581000 | #Constraints: 41656
3600.06/3612.80 c #Conflicts: 1582000 | #Constraints: 42656
3600.06/3612.80 c #Conflicts: 1583000 | #Constraints: 43656
3600.06/3612.80 c #Conflicts: 1584000 | #Constraints: 44656
3600.06/3612.80 c #Conflicts: 1585000 | #Constraints: 45656
3600.06/3612.80 c #Conflicts: 1586000 | #Constraints: 46656
3600.06/3612.80 c cpu time 3557.07 s
3600.06/3612.80 c deterministic time 4991909 4.99e+06
3600.06/3612.80 c optimization time 3555.8 s
3600.06/3612.80 c total solve time 0.506761 s
3600.06/3612.80 c core-guided solve time 0 s
3600.06/3612.80 c propagation time 0.326658 s
3600.06/3612.80 c conflict analysis time 0.034677 s
3600.06/3612.80 c propagations 480592
3600.06/3612.80 c resolve steps 0
3600.06/3612.80 c decisions 452298
3600.06/3612.80 c conflicts 7
3600.06/3612.80 c restarts 1
3600.06/3612.80 c inprocessing phases 0
3600.06/3612.80 c garbage collections 0 ,( -nan )
3600.06/3612.80 c input clauses 98721 ,( 98.21 )
3600.06/3612.80 c input cardinalities 1561 ,( 1.55 )
3600.06/3612.80 c input general constraints 239 ,( 0.24 )
3600.06/3612.80 c input average constraint length 19.17
3600.06/3612.80 c input average constraint degree 461555950538.95
3600.06/3612.80 c learned clauses 174 ,( 83.65 )
3600.06/3612.80 c learned cardinalities 0 ,( 0.00 )
3600.06/3612.80 c learned general constraints 34 ,( 16.35 )
3600.06/3612.80 c learned average constraint length 3.24
3600.06/3612.80 c learned average constraint degree 1.20
3600.06/3612.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3612.80 c counting CF 32, 64, 128, Arb: 74 , 200 , 0 , 0
3600.06/3612.80 c watched constraints 0 ,( 0.00 )
3600.06/3612.80 c counting constraints 273 ,( 100.00 )
3600.06/3612.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 261015 , 10952 , 1065397 ,( 0 , 1065397 )
3600.06/3612.80 c gcd simplifications 0
3600.06/3612.80 c detected cardinalities 0
3600.06/3612.80 c weakened non-implied lits 0
3600.06/3612.80 c weakened non-implying lits 0
3600.06/3612.80 c original variables 21101
3600.06/3612.80 c clausal propagations 251739
3600.06/3612.80 c cardinality propagations 115
3600.06/3612.80 c watched propagations 0
3600.06/3612.80 c counting propagations 17765
3600.06/3612.80 c watch lookups 2666715
3600.06/3612.80 c watch backjump lookups 0
3600.06/3612.80 c watch checks 132760
3600.06/3612.80 c propagation checks 319443
3600.06/3612.80 c constraint additions 5405
3600.06/3612.80 c trail pops 931695
3600.06/3612.80 c formula constraints 99896
3600.06/3612.80 c learned constraints 208
3600.06/3612.80 c bound constraints 0
3600.06/3612.80 c core-guided constraints 0
3600.06/3612.80 c encountered formula constraints 7
3600.06/3612.80 c encountered learned constraints 0
3600.06/3612.80 c encountered bound constraints 0
3600.06/3612.80 c encountered core-guided constraints 0
3600.06/3612.80 c LP total time 0.263444 s
3600.06/3612.80 c LP solve time 0.2 s
3600.06/3612.80 c LP constraints added 99896
3600.06/3612.80 c LP constraints removed 0
3600.06/3612.80 c LP pivots internal 2000
3600.06/3612.80 c LP pivots root 1000
3600.06/3612.80 c LP calls 2
3600.06/3612.80 c LP optimalities 0
3600.06/3612.80 c LP no pivot count 0
3600.06/3612.80 c LP infeasibilities 0
3600.06/3612.80 c LP valid Farkas constraints 0
3600.06/3612.80 c LP learned Farkas constraints 0
3600.06/3612.80 c LP basis resets 0
3600.06/3612.80 c LP cycling count 0
3600.06/3612.80 c LP singular count 0
3600.06/3612.80 c LP no primal count 0
3600.06/3612.80 c LP no farkas count 0
3600.06/3612.80 c LP other issue count 0
3600.06/3612.80 c LP Gomory cuts 0
3600.06/3612.80 c LP learned cuts 0
3600.06/3612.80 c LP deleted cuts 0
3600.06/3612.80 c LP encountered Gomory constraints 0
3600.06/3612.80 c LP encountered Farkas constraints 0
3600.06/3612.80 c LP encountered learned Farkas constraints 0
3600.06/3612.80 c CG auxiliary variables introduced 217
3600.06/3612.80 c CG solutions found 0
3600.06/3612.80 c CG cores constructed 208
3600.06/3612.80 c CG core cardinality constraints returned 0
3600.06/3612.80 c CG unit cores 0
3600.06/3612.80 c CG single cores 0
3600.06/3612.80 c CG blocks removed during cardinality reduction 0
3600.06/3612.80 c CG first core best 0
3600.06/3612.80 c CG decision core best 0
3600.06/3612.80 c CG core reduction tie 0
3600.06/3612.80 c CG core degree average 0.00
3600.06/3612.80 c CG core slack average 0.00
3600.06/3612.80 c CG core upper bound improvements 0
3600.06/3612.80 c STR number of successful calls 0
3600.06/3612.80 c STR number of unsuccessful calls 0
3600.06/3612.80 c STR number of inconclusive calls 0
3600.06/3612.80 c STR number of successful attempts 0
3600.06/3612.80 c STR number of unsuccessful attempts 0
3600.06/3612.80 c STR number of inconclusive attempts 0
3600.06/3612.80 c STR average degree increase per successful call inf
3600.06/3612.80 c STR average degree increase per successful attempt inf
3600.06/3612.80 c STR total number of conflicts for successful attempts 0
3600.06/3612.80 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3612.80 c STR total number of conflicts for inconclusive attempts 0
3600.06/3612.80 c STR average number of conflicts per successful attempt inf
3600.06/3612.80 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3612.80 c STR average number of conflicts per inconclusive attempt inf
3600.06/3612.80 c AVG.sumWPerc 96.14
3600.06/3612.80 c bigint constraints 200
3600.06/3612.80 s UNKNOWN
3600.06/3612.80 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: 63794 MiB (60317 MiB free)
memory of node 1: 64507 MiB (56606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500869-1751472409/watcher-4500869-1751472409 -o /tmp/evaluation-result-4500869-1751472409/solver-4500869-1751472409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62690 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500869-1751472409.opb PROOFDIR/proof-4500869-1751472409
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=63181, runsolver pid=63178
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 4.07 3.97 3.31 5/261 63183
/proc/meminfo: memFree=119718688/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=60312 memory=15700 CPUtime=0.07 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 2068 0 0 0 6 1 0 0 20 0 1 0 62920593 61759488 3925 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 15078 3925 1984 1147 0 2505 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64504 KiB
Current children cumulated memory: 18772 KiB
[startup+0.211555 s]*
/proc/loadavg: 4.07 3.97 3.31 5/261 63183
/proc/meminfo: memFree=119718688/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=61564 memory=16980 CPUtime=0.17 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 2383 0 0 0 14 3 0 0 20 0 1 0 62920593 63041536 4245 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 15391 4245 1984 1147 0 2818 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 65756 KiB
Current children cumulated memory: 20052 KiB
[startup+0.311217 s]*
/proc/loadavg: 4.07 3.97 3.31 5/261 63183
/proc/meminfo: memFree=119718688/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=62684 memory=18004 CPUtime=0.26 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 2663 0 0 0 21 5 0 0 20 0 1 0 62920593 64188416 4501 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 15671 4501 1984 1147 0 3098 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 66876 KiB
Current children cumulated memory: 21076 KiB
[startup+0.70029 s]
/proc/loadavg: 4.07 3.97 3.31 6/261 63183
/proc/meminfo: memFree=119710812/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=69724 memory=26836 CPUtime=0.61 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 4346 0 0 0 48 13 0 0 20 0 1 0 62920593 71397376 6709 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 17431 6709 1984 1147 0 4858 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 73916 KiB
Current children cumulated memory: 29908 KiB
[startup+1.50023 s]
/proc/loadavg: 4.07 3.97 3.31 5/261 63183
/proc/meminfo: memFree=119604436/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=219688 memory=151508 CPUtime=1.41 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 19364 0 0 0 114 27 0 0 20 0 1 0 62920593 224960512 37877 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 54922 37877 2400 1147 0 42349 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 223880 KiB
Current children cumulated memory: 154580 KiB
[startup+3.10562 s]
/proc/loadavg: 4.07 3.97 3.31 5/261 63183
/proc/meminfo: memFree=119476792/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=250632 memory=185304 CPUtime=3 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 26273 0 0 0 199 101 0 0 20 0 1 0 62920593 256647168 46326 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 62658 46326 2400 1147 0 50085 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 254824 KiB
Current children cumulated memory: 188376 KiB
[startup+6.30022 s]
/proc/loadavg: 4.07 3.97 3.31 5/261 63183
/proc/meminfo: memFree=119259748/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=395628 memory=326016 CPUtime=6.15 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 49741 0 0 0 449 166 0 0 20 0 1 0 62920593 405123072 81504 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 98907 81504 2400 1147 0 86334 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 399820 KiB
Current children cumulated memory: 329088 KiB
[startup+12.7004 s]
/proc/loadavg: 4.06 3.97 3.32 5/261 63183
/proc/meminfo: memFree=118949208/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=540688 memory=440180 CPUtime=12.54 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 72697 0 0 0 1042 212 0 0 20 0 1 0 62920593 553664512 110045 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 135172 110045 2400 1147 0 122599 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 544880 KiB
Current children cumulated memory: 443252 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 3.99 3.33 5/261 63183
/proc/meminfo: memFree=118317476/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=807760 memory=615816 CPUtime=25.29 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 109971 0 0 0 2256 273 0 0 20 0 1 0 62920593 827146240 153954 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 201940 153954 2400 1147 0 189367 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 811952 KiB
Current children cumulated memory: 618888 KiB
[startup+51.1136 s]
/proc/loadavg: 4.07 4.00 3.35 5/261 63184
/proc/meminfo: memFree=117486756/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=809556 memory=676556 CPUtime=50.82 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 118000 0 0 0 4745 337 0 0 20 0 1 0 62920593 828985344 169139 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 202389 169139 2400 1147 0 189816 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 813748 KiB
Current children cumulated memory: 679628 KiB
[startup+102.301 s]
/proc/loadavg: 4.07 4.01 3.39 5/263 63192
/proc/meminfo: memFree=116237976/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=897248 memory=798916 CPUtime=101.85 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 135315 0 0 0 9705 480 0 0 20 0 1 0 62920593 918781952 199729 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 224312 199729 2400 1147 0 211739 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 901440 KiB
Current children cumulated memory: 801988 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.05 3.45 5/265 63197
/proc/meminfo: memFree=114673204/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=1436188 memory=1092708 CPUtime=161.69 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 198544 0 0 0 15542 627 0 0 20 0 1 0 62920593 1470656512 273177 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 359047 273177 2400 1147 0 346474 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 1440380 KiB
Current children cumulated memory: 1095780 KiB
[startup+222.3 s]
/proc/loadavg: 4.79 4.26 3.56 5/265 63199
/proc/meminfo: memFree=113235132/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=1439260 memory=1153280 CPUtime=221.5 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 206555 0 0 0 21381 769 0 0 20 0 1 0 62920593 1473802240 288320 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
################
# More data... #
################
/proc/63183/statm: 738305 640242 2400 1147 0 725732 0
Current children cumulated CPU time: 3031.92 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2564040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.23 4.35 4.21 5/262 63442
/proc/meminfo: memFree=80412416/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2560968 CPUtime=3091.72 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452417 0 0 0 305242 3930 0 0 20 0 1 0 62920593 3024097280 640242 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 640242 2400 1147 0 725732 0
Current children cumulated CPU time: 3091.72 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2564040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.31 4.21 5/262 63444
/proc/meminfo: memFree=77285668/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2560968 CPUtime=3151.49 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452438 0 0 0 311176 3973 0 0 20 0 1 0 62920593 3024097280 640242 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 640242 2400 1147 0 725732 0
Current children cumulated CPU time: 3151.49 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2564040 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.28 4.20 5/264 63448
/proc/meminfo: memFree=74297136/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2560968 CPUtime=3211.25 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452455 0 0 0 317103 4022 0 0 20 0 1 0 62920593 3024097280 640242 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 640242 2400 1147 0 725732 0
Current children cumulated CPU time: 3211.25 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2564040 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.26 4.20 5/264 63461
/proc/meminfo: memFree=71262460/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2566344 CPUtime=3271.07 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452462 0 0 0 323039 4068 0 0 20 0 1 0 62920593 3024097280 641586 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 641586 2400 1147 0 725732 0
Current children cumulated CPU time: 3271.07 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2569416 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.24 4.19 5/264 63463
/proc/meminfo: memFree=68462192/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2576328 CPUtime=3330.72 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452486 0 0 0 328954 4118 0 0 20 0 1 0 62920593 3024097280 644082 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 644082 2400 1147 0 725732 0
Current children cumulated CPU time: 3330.72 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2579400 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.24 4.19 5/263 63465
/proc/meminfo: memFree=65677112/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2586440 CPUtime=3390.52 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452501 0 0 0 334882 4170 0 0 20 0 1 0 62920593 3024097280 646610 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 646610 2400 1147 0 725732 0
Current children cumulated CPU time: 3390.52 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2589512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/263 63467
/proc/meminfo: memFree=62399756/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2594760 CPUtime=3450.33 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452542 0 0 0 340825 4208 0 0 20 0 1 0 62920593 3024097280 648690 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 648690 2400 1147 0 725732 0
Current children cumulated CPU time: 3450.33 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2597832 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.18 5/265 63471
/proc/meminfo: memFree=59503944/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2604744 CPUtime=3510.06 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452543 0 0 0 346764 4242 0 0 20 0 1 0 62920593 3024097280 651186 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 651186 2400 1147 0 725732 0
Current children cumulated CPU time: 3510.06 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2607816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/267 63522
/proc/meminfo: memFree=76101356/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2614728 CPUtime=3569.74 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452558 0 0 0 352690 4284 0 0 20 0 1 0 62920593 3024097280 653682 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 653682 2400 1147 0 725732 0
Current children cumulated CPU time: 3569.74 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2617800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.19 4.18 4.18 5/267 63524
/proc/meminfo: memFree=73797308/131382112 swapFree=33010684/33010684
[pid=63181] ppid=63178 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63181/stat : 63181 (run-opt-log.sh) S 63178 63181 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62920592 4292608 768 18446744073709551615 94214903644160 94214904538693 140731618952080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94214904777744 94214904825488 94214910590976 140731618953505 140731618953700 140731618953700 140731618959302 0
/proc/63181/statm: 1048 768 704 219 0 110 0
[pid=63183] ppid=63181 vsize=2953220 memory=2619720 CPUtime=3600.06 cores=5,7
/proc/63183/stat : 63183 (roundingsat) R 63181 63181 62677 0 -1 4194304 452561 0 0 0 355706 4300 0 0 20 0 1 0 62920593 3024097280 654930 18446744073709551615 4227072 8923433 140736593137680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15441920 140736593140050 140736593140264 140736593140264 140736593145834 0
/proc/63183/statm: 738305 654930 2400 1147 0 725732 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2957412 KiB
Current children cumulated memory: 2622792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.81 s]
# the end of solver process 63181 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.004989 s
[startup+3612.9 s]
# the end of solver process 63183 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3557.08 s, system=43.076 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3612.9
CPU time (s): 3600.16
CPU user time (s): 3557.08
CPU system time (s): 43.076
CPU usage (%): 99.6474
Max. virtual memory (cumulated for all children) (KiB): 2957412
Max. memory (cumulated for all children) (KiB): 2622792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.08
system time used= 43.076
maximum resident set size= 2619976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 452790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33677608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 494
involuntary context switches= 8808
# summary of solver processes directly reported to runsolver:
# pid: 63181,63183
# total CPU time (s): 3600.16
# total CPU user time (s): 3557.08
# total CPU system time (s): 43.076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7121 second user time and 39.3521 second system time
The end
Begin job on nodeC012 at 2025-07-02 18:06:49
IDJOB=4500869
IDBENCH=150973
IDSOLVER=3351
FILE ID=nodeC012/4500869-1751472409
RUNJOBID= nodeC012-1751471575-62690
SLURM_JOB_ID= 9598495
Free space on /tmp= 432136 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-python-cairo.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-4500869-1751472409/watcher-4500869-1751472409 -o /tmp/evaluation-result-4500869-1751472409/solver-4500869-1751472409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62690 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500869-1751472409.opb PROOFDIR/proof-4500869-1751472409
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab4ca3012de9a4183d98755aab53027a
RANDOM SEED=1739065799
nodeC012 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 : 3592.899
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.39
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 : 3660.828
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.39
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 : 1197.499
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.39
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.421
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.39
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 : 3662.395
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.639
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.39
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.39
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 : 1496.444
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 119732092 kB
MemAvailable: 126983336 kB
Buffers: 3280 kB
Cached: 8047932 kB
SwapCached: 0 kB
Active: 3370216 kB
Inactive: 7736392 kB
Active(anon): 3073116 kB
Inactive(anon): 0 kB
Active(file): 297100 kB
Inactive(file): 7736392 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 232812 kB
Writeback: 4 kB
AnonPages: 3057652 kB
Mapped: 116852 kB
Shmem: 17960 kB
KReclaimable: 114372 kB
Slab: 205920 kB
SReclaimable: 114372 kB
SUnreclaim: 91548 kB
KernelStack: 4192 kB
PageTables: 9696 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3916940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1357824 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432120 MiB
End job on nodeC012 at 2025-07-02 19:07:02