0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.57/1.65 c #variables 79975 #constraints 274426
1.57/1.65 c objective is ce32
1.57/1.66 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.57/1.66 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.57/1.66 c GLOBAL bounds - >= 0 @ 1.35367
1.67/1.74 c GLOBAL bounds - >= 0 @ 1.38273
1.67/1.75 c GLOBAL bounds - >= 9 @ 1.38407
3.27/3.31 c GLOBAL bounds - >= 9 @ 2.90218
3.27/3.39 c GLOBAL bounds - >= 9 @ 2.93068
3.27/3.39 c GLOBAL bounds - >= 9 @ 2.93301
3.37/3.47 c GLOBAL bounds - >= 9 @ 2.96464
3.37/3.47 c GLOBAL bounds - >= 9 @ 2.96596
3.47/3.55 c GLOBAL bounds - >= 9 @ 2.99589
3.47/3.55 c GLOBAL bounds - >= 9 @ 2.99703
3.57/3.63 c GLOBAL bounds - >= 9 @ 3.02559
3.57/3.63 c GLOBAL bounds - >= 9 @ 3.02687
3.67/3.70 c GLOBAL bounds - >= 9 @ 3.0599
3.67/3.70 c GLOBAL bounds - >= 9 @ 3.06106
3.67/3.78 c GLOBAL bounds - >= 9 @ 3.09024
3.67/3.78 c GLOBAL bounds - >= 9 @ 3.09139
3.76/3.86 c GLOBAL bounds - >= 9 @ 3.1244
3.76/3.86 c GLOBAL bounds - >= 9 @ 3.12559
3.87/3.94 c GLOBAL bounds - >= 9 @ 3.15057
3.87/3.94 c GLOBAL bounds - >= 9 @ 3.15168
3.97/4.01 c GLOBAL bounds - >= 9 @ 3.18108
3.97/4.01 c GLOBAL bounds - >= 9 @ 3.18236
3.97/4.09 c GLOBAL bounds - >= 9 @ 3.20495
4.07/4.17 c GLOBAL bounds - >= 9 @ 3.23916
4.16/4.24 c GLOBAL bounds - >= 9 @ 3.26116
4.27/4.32 c GLOBAL bounds - >= 9 @ 3.28443
4.27/4.39 c GLOBAL bounds - >= 9 @ 3.32161
4.37/4.47 c GLOBAL bounds - >= 9 @ 3.35005
4.46/4.55 c GLOBAL bounds - >= 9 @ 3.37486
4.57/4.63 c GLOBAL bounds - >= 9 @ 3.40151
4.57/4.63 c GLOBAL bounds - >= 692 @ 3.40637
4.57/4.64 c GLOBAL bounds - >= 692 @ 3.41104
4.67/4.71 c GLOBAL bounds - >= 692 @ 3.43788
4.67/4.72 c GLOBAL bounds - >= 692 @ 3.43898
4.67/4.79 c GLOBAL bounds - >= 692 @ 3.46235
4.67/4.79 c GLOBAL bounds - >= 692 @ 3.46311
4.77/4.87 c GLOBAL bounds - >= 692 @ 3.49078
4.77/4.87 c GLOBAL bounds - >= 692 @ 3.49277
4.87/4.94 c GLOBAL bounds - >= 692 @ 3.52043
4.87/4.95 c GLOBAL bounds - >= 692 @ 3.52178
4.97/5.02 c GLOBAL bounds - >= 692 @ 3.54467
4.97/5.03 c GLOBAL bounds - >= 692 @ 3.54817
4.97/5.10 c GLOBAL bounds - >= 692 @ 3.5743
5.07/5.10 c GLOBAL bounds - >= 692 @ 3.57665
5.07/5.18 c GLOBAL bounds - >= 692 @ 3.607
5.07/5.18 c GLOBAL bounds - >= 692 @ 3.60757
5.16/5.26 c GLOBAL bounds - >= 692 @ 3.63519
5.16/5.26 c GLOBAL bounds - >= 692 @ 3.63751
5.27/5.34 c GLOBAL bounds - >= 692 @ 3.67045
5.27/5.34 c GLOBAL bounds - >= 692 @ 3.67142
5.37/5.42 c GLOBAL bounds - >= 692 @ 3.70174
5.47/5.50 c GLOBAL bounds - >= 692 @ 3.73318
5.47/5.57 c GLOBAL bounds - >= 692 @ 3.76332
5.56/5.60 c GLOBAL bounds - >= 3420 @ 3.78556
5.56/5.62 c GLOBAL bounds - >= 3420 @ 3.80436
5.56/5.69 c GLOBAL bounds - >= 3420 @ 3.83252
5.66/5.70 c GLOBAL bounds - >= 3420 @ 3.83648
5.66/5.78 c GLOBAL bounds - >= 3420 @ 3.8664
5.66/5.78 c GLOBAL bounds - >= 3420 @ 3.86884
5.76/5.86 c GLOBAL bounds - >= 3420 @ 3.89447
5.76/5.86 c GLOBAL bounds - >= 3420 @ 3.89855
5.87/5.94 c GLOBAL bounds - >= 3420 @ 3.9303
5.87/5.95 c GLOBAL bounds - >= 3420 @ 3.93376
5.97/6.02 c GLOBAL bounds - >= 3420 @ 3.96328
5.97/6.03 c GLOBAL bounds - >= 3420 @ 3.96656
6.07/6.11 c GLOBAL bounds - >= 3420 @ 3.99523
6.07/6.11 c GLOBAL bounds - >= 3420 @ 3.9966
6.07/6.19 c GLOBAL bounds - >= 3420 @ 4.02299
6.16/6.20 c GLOBAL bounds - >= 3420 @ 4.02554
6.16/6.27 c GLOBAL bounds - >= 3420 @ 4.05511
6.16/6.28 c GLOBAL bounds - >= 3420 @ 4.05889
6.26/6.36 c GLOBAL bounds - >= 3420 @ 4.08708
6.26/6.37 c GLOBAL bounds - >= 3420 @ 4.09186
6.36/6.44 c GLOBAL bounds - >= 3420 @ 4.11725
6.46/6.52 c GLOBAL bounds - >= 3420 @ 4.15224
6.46/6.59 c GLOBAL bounds - >= 3420 @ 4.1802
6.56/6.65 c GLOBAL bounds - >= 5808 @ 4.22255
6.56/6.66 c GLOBAL bounds - >= 5808 @ 4.23404
6.56/6.67 c GLOBAL bounds - >= 5808 @ 4.23606
6.56/6.68 c GLOBAL bounds - >= 5808 @ 4.24062
6.66/6.75 c GLOBAL bounds - >= 5808 @ 4.27246
6.66/6.76 c GLOBAL bounds - >= 5808 @ 4.27793
6.76/6.84 c GLOBAL bounds - >= 5808 @ 4.30614
6.76/6.85 c GLOBAL bounds - >= 5808 @ 4.31206
6.86/6.93 c GLOBAL bounds - >= 5808 @ 4.34176
6.86/6.94 c GLOBAL bounds - >= 5808 @ 4.34642
6.97/7.01 c GLOBAL bounds - >= 5808 @ 4.37519
6.97/7.02 c GLOBAL bounds - >= 5808 @ 4.38125
7.07/7.10 c GLOBAL bounds - >= 5808 @ 4.41229
7.07/7.12 c GLOBAL bounds - >= 5808 @ 4.41827
7.16/7.20 c GLOBAL bounds - >= 5808 @ 4.44412
7.16/7.21 c GLOBAL bounds - >= 5808 @ 4.45307
7.16/7.29 c GLOBAL bounds - >= 5808 @ 4.48338
7.26/7.30 c GLOBAL bounds - >= 5808 @ 4.48902
7.26/7.38 c GLOBAL bounds - >= 5808 @ 4.52277
7.26/7.39 c GLOBAL bounds - >= 5808 @ 4.52759
7.37/7.47 c GLOBAL bounds - >= 5808 @ 4.55778
7.37/7.49 c GLOBAL bounds - >= 5808 @ 4.5637
7.46/7.57 c GLOBAL bounds - >= 5808 @ 4.59833
7.55/7.67 c GLOBAL bounds - >= 5808 @ 4.6418
7.66/7.76 c GLOBAL bounds - >= 5808 @ 4.67693
7.76/7.87 c GLOBAL bounds - >= 5808 @ 4.73489
7.86/7.99 c GLOBAL bounds - >= 5808 @ 4.80321
7.96/8.05 c GLOBAL bounds - >= 7855 @ 4.85729
7.96/8.07 c GLOBAL bounds - >= 7855 @ 4.87332
7.96/8.08 c GLOBAL bounds - >= 7855 @ 4.87803
7.96/8.09 c GLOBAL bounds - >= 7855 @ 4.88275
8.06/8.17 c GLOBAL bounds - >= 7855 @ 4.90723
8.06/8.19 c GLOBAL bounds - >= 7855 @ 4.913
8.16/8.26 c GLOBAL bounds - >= 7855 @ 4.94401
8.16/8.28 c GLOBAL bounds - >= 7855 @ 4.94803
8.26/8.36 c GLOBAL bounds - >= 7855 @ 4.97394
8.26/8.37 c GLOBAL bounds - >= 7855 @ 4.97797
8.35/8.45 c GLOBAL bounds - >= 7855 @ 5.00972
8.35/8.46 c GLOBAL bounds - >= 7855 @ 5.01628
8.45/8.54 c GLOBAL bounds - >= 7855 @ 5.04721
8.45/8.56 c GLOBAL bounds - >= 7855 @ 5.05272
8.56/8.64 c GLOBAL bounds - >= 7855 @ 5.08455
8.56/8.65 c GLOBAL bounds - >= 7855 @ 5.0922
8.65/8.73 c GLOBAL bounds - >= 7855 @ 5.11794
8.65/8.74 c GLOBAL bounds - >= 7855 @ 5.1238
8.75/8.82 c GLOBAL bounds - >= 7855 @ 5.15363
8.75/8.83 c GLOBAL bounds - >= 7855 @ 5.15807
8.86/8.91 c GLOBAL bounds - >= 7855 @ 5.18896
8.86/8.93 c GLOBAL bounds - >= 7855 @ 5.19412
8.96/9.01 c GLOBAL bounds - >= 7855 @ 5.22697
8.96/9.09 c GLOBAL bounds - >= 7855 @ 5.25128
9.06/9.17 c GLOBAL bounds - >= 7855 @ 5.28609
9.15/9.25 c GLOBAL bounds - >= 7855 @ 5.31592
9.26/9.33 c GLOBAL bounds - >= 7855 @ 5.34891
9.35/9.41 c GLOBAL bounds - >= 7855 @ 5.38383
9.46/9.50 c GLOBAL bounds - >= 7855 @ 5.41971
9.55/9.63 c GLOBAL bounds - >= 7855 @ 5.50646
9.65/9.70 c GLOBAL bounds - >= 8540 @ 5.5687
9.65/9.72 c GLOBAL bounds - >= 8540 @ 5.58318
9.65/9.73 c GLOBAL bounds - >= 8540 @ 5.58845
9.65/9.75 c GLOBAL bounds - >= 8540 @ 5.59481
9.76/9.83 c GLOBAL bounds - >= 8540 @ 5.62332
9.76/9.84 c GLOBAL bounds - >= 8540 @ 5.63127
9.86/9.92 c GLOBAL bounds - >= 8540 @ 5.65962
9.86/9.93 c GLOBAL bounds - >= 8540 @ 5.66656
9.96/10.01 c GLOBAL bounds - >= 8540 @ 5.69212
9.96/10.03 c GLOBAL bounds - >= 8540 @ 5.69731
10.06/10.11 c GLOBAL bounds - >= 8540 @ 5.72398
10.06/10.12 c GLOBAL bounds - >= 8540 @ 5.72968
10.15/10.20 c GLOBAL bounds - >= 8540 @ 5.76013
10.15/10.21 c GLOBAL bounds - >= 8540 @ 5.76389
10.15/10.29 c GLOBAL bounds - >= 8540 @ 5.79113
10.25/10.31 c GLOBAL bounds - >= 8540 @ 5.80025
10.25/10.39 c GLOBAL bounds - >= 8540 @ 5.82575
10.35/10.41 c GLOBAL bounds - >= 8540 @ 5.83077
10.35/10.49 c GLOBAL bounds - >= 8540 @ 5.8579
10.46/10.50 c GLOBAL bounds - >= 8540 @ 5.86405
10.46/10.58 c GLOBAL bounds - >= 8540 @ 5.88966
10.55/10.60 c GLOBAL bounds - >= 8540 @ 5.89647
10.55/10.68 c GLOBAL bounds - >= 8540 @ 5.9256
10.66/10.76 c GLOBAL bounds - >= 8540 @ 5.94583
10.75/10.84 c GLOBAL bounds - >= 8540 @ 5.97486
10.85/10.92 c GLOBAL bounds - >= 8540 @ 5.99761
10.85/11.00 c GLOBAL bounds - >= 8540 @ 6.02647
10.96/11.08 c GLOBAL bounds - >= 8540 @ 6.0539
11.06/11.19 c GLOBAL bounds - >= 8540 @ 6.11936
11.25/11.31 c GLOBAL bounds - >= 8540 @ 6.18006
12.45/12.50 c GLOBAL bounds - >= 8543 @ 7.29995
12.45/12.52 c GLOBAL bounds - >= 8543 @ 7.30945
12.45/12.54 c GLOBAL bounds - >= 8543 @ 7.31522
12.54/12.62 c GLOBAL bounds - >= 8543 @ 7.34531
12.54/12.63 c GLOBAL bounds - >= 8543 @ 7.35135
12.65/12.71 c GLOBAL bounds - >= 8543 @ 7.38041
12.65/12.72 c GLOBAL bounds - >= 8543 @ 7.39015
12.75/12.80 c GLOBAL bounds - >= 8543 @ 7.42324
12.75/12.82 c GLOBAL bounds - >= 8543 @ 7.42877
12.85/12.90 c GLOBAL bounds - >= 8543 @ 7.45406
12.85/12.91 c GLOBAL bounds - >= 8543 @ 7.46309
12.85/12.99 c GLOBAL bounds - >= 8543 @ 7.49303
12.95/13.00 c GLOBAL bounds - >= 8543 @ 7.50099
12.95/13.08 c GLOBAL bounds - >= 8543 @ 7.5321
12.95/13.10 c GLOBAL bounds - >= 8543 @ 7.53947
13.06/13.18 c GLOBAL bounds - >= 8543 @ 7.56381
13.06/13.19 c GLOBAL bounds - >= 8543 @ 7.56888
13.15/13.27 c GLOBAL bounds - >= 8543 @ 7.59983
13.15/13.28 c GLOBAL bounds - >= 8543 @ 7.60574
13.25/13.36 c GLOBAL bounds - >= 8543 @ 7.63388
13.25/13.38 c GLOBAL bounds - >= 8543 @ 7.63849
13.34/13.46 c GLOBAL bounds - >= 8543 @ 7.66714
13.44/13.54 c GLOBAL bounds - >= 8543 @ 7.70332
13.55/13.63 c GLOBAL bounds - >= 8543 @ 7.7373
13.65/13.79 c GLOBAL bounds - >= 8543 @ 7.84082
13.75/13.87 c GLOBAL bounds - >= 8543 @ 7.87375
13.95/14.09 c GLOBAL bounds - >= 8543 @ 8.04184
14.14/14.21 c GLOBAL bounds - >= 8543 @ 8.10341
14.34/14.43 c GLOBAL bounds - >= 8543 @ 8.26794
14.64/14.71 c #Conflicts: 1000 | #Constraints: 1286
14.64/14.71 c GLOBAL bounds - >= 8543 @ 8.45411
14.84/14.92 c GLOBAL bounds - >= 8543 @ 8.60141
15.14/15.23 c GLOBAL bounds - >= 9225 @ 8.89891
15.14/15.28 c GLOBAL bounds - >= 9225 @ 8.93815
15.14/15.29 c GLOBAL bounds - >= 9225 @ 8.94531
15.24/15.37 c GLOBAL bounds - >= 9225 @ 8.98306
15.24/15.38 c GLOBAL bounds - >= 9225 @ 8.99045
15.34/15.46 c GLOBAL bounds - >= 9225 @ 9.01411
15.34/15.47 c GLOBAL bounds - >= 9225 @ 9.01776
15.44/15.55 c GLOBAL bounds - >= 9225 @ 9.04418
15.44/15.56 c GLOBAL bounds - >= 9225 @ 9.04789
15.54/15.64 c GLOBAL bounds - >= 9225 @ 9.08118
15.54/15.66 c GLOBAL bounds - >= 9225 @ 9.08712
15.64/15.73 c GLOBAL bounds - >= 9225 @ 9.11251
15.64/15.75 c GLOBAL bounds - >= 9225 @ 9.11701
15.74/15.82 c GLOBAL bounds - >= 9225 @ 9.14423
15.74/15.84 c GLOBAL bounds - >= 9225 @ 9.15012
15.84/15.92 c GLOBAL bounds - >= 9225 @ 9.1755
15.84/15.93 c GLOBAL bounds - >= 9225 @ 9.18201
15.94/16.01 c GLOBAL bounds - >= 9225 @ 9.21035
15.94/16.02 c GLOBAL bounds - >= 9225 @ 9.21682
15.94/16.10 c GLOBAL bounds - >= 9225 @ 9.24206
16.05/16.11 c GLOBAL bounds - >= 9225 @ 9.24864
16.05/16.19 c GLOBAL bounds - >= 9225 @ 9.27462
16.14/16.27 c GLOBAL bounds - >= 9225 @ 9.30017
16.24/16.35 c GLOBAL bounds - >= 9225 @ 9.32446
16.34/16.43 c GLOBAL bounds - >= 9225 @ 9.35102
16.44/16.51 c GLOBAL bounds - >= 9225 @ 9.3704
16.44/16.59 c GLOBAL bounds - >= 9225 @ 9.40348
16.54/16.67 c GLOBAL bounds - >= 9225 @ 9.43448
16.64/16.75 c GLOBAL bounds - >= 9225 @ 9.46351
16.74/16.84 c GLOBAL bounds - >= 9225 @ 9.49826
16.83/16.97 c GLOBAL bounds - >= 9225 @ 9.58586
16.94/17.08 c GLOBAL bounds - >= 9225 @ 9.64003
17.33/17.45 c GLOBAL bounds - >= 9225 @ 9.94862
17.83/17.97 c GLOBAL bounds - >= 9226 @ 10.4449
17.83/17.99 c GLOBAL bounds - >= 9226 @ 10.4511
17.94/18.00 c GLOBAL bounds - >= 9226 @ 10.4599
17.94/18.02 c GLOBAL bounds - >= 9226 @ 10.4634
17.94/18.03 c GLOBAL bounds - >= 9226 @ 10.4698
17.94/18.04 c GLOBAL bounds - >= 9226 @ 10.477
18.04/18.12 c GLOBAL bounds - >= 9226 @ 10.4993
18.04/18.14 c GLOBAL bounds - >= 9226 @ 10.5037
18.13/18.22 c GLOBAL bounds - >= 9226 @ 10.5352
18.13/18.23 c GLOBAL bounds - >= 9226 @ 10.5419
18.23/18.31 c GLOBAL bounds - >= 9226 @ 10.5726
18.23/18.32 c GLOBAL bounds - >= 9226 @ 10.578
18.34/18.40 c GLOBAL bounds - >= 9226 @ 10.6021
18.34/18.41 c GLOBAL bounds - >= 9226 @ 10.6074
18.34/18.49 c GLOBAL bounds - >= 9226 @ 10.6327
18.43/18.51 c GLOBAL bounds - >= 9226 @ 10.6397
18.43/18.59 c GLOBAL bounds - >= 9226 @ 10.6652
18.53/18.60 c GLOBAL bounds - >= 9226 @ 10.6695
18.53/18.68 c GLOBAL bounds - >= 9226 @ 10.6936
18.63/18.70 c GLOBAL bounds - >= 9226 @ 10.6989
18.63/18.78 c GLOBAL bounds - >= 9226 @ 10.728
18.63/18.79 c GLOBAL bounds - >= 9226 @ 10.7369
18.74/18.87 c GLOBAL bounds - >= 9226 @ 10.765
18.74/18.88 c GLOBAL bounds - >= 9226 @ 10.7701
18.84/18.97 c GLOBAL bounds - >= 9226 @ 10.8086
18.94/19.04 c GLOBAL bounds - >= 9226 @ 10.8352
19.04/19.12 c GLOBAL bounds - >= 9226 @ 10.86
19.13/19.20 c GLOBAL bounds - >= 9226 @ 10.8888
19.13/19.28 c GLOBAL bounds - >= 9226 @ 10.911
19.23/19.36 c GLOBAL bounds - >= 9226 @ 10.9434
19.33/19.45 c GLOBAL bounds - >= 9226 @ 10.9786
19.43/19.55 c GLOBAL bounds - >= 9226 @ 11.0287
19.54/19.68 c GLOBAL bounds - >= 9226 @ 11.1055
19.63/19.77 c GLOBAL bounds - >= 9226 @ 11.1423
19.74/19.86 c GLOBAL bounds - >= 9226 @ 11.1841
19.74/19.86 c GLOBAL bounds - >= 9226 @ 11.1845
19.74/19.87 c GLOBAL bounds - >= 9226 @ 11.19
19.74/19.89 c GLOBAL bounds - >= 9226 @ 11.1915
19.83/19.90 c GLOBAL bounds - >= 9226 @ 11.196
19.83/19.91 c GLOBAL bounds - >= 9226 @ 11.2017
19.83/19.93 c GLOBAL bounds - >= 9226 @ 11.213
19.83/19.94 c GLOBAL bounds - >= 9226 @ 11.2195
19.83/19.96 c GLOBAL bounds - >= 9226 @ 11.2275
19.94/20.04 c GLOBAL bounds - >= 9226 @ 11.2533
19.94/20.05 c GLOBAL bounds - >= 9226 @ 11.2592
20.03/20.13 c GLOBAL bounds - >= 9226 @ 11.2991
20.03/20.14 c GLOBAL bounds - >= 9226 @ 11.3033
20.13/20.22 c GLOBAL bounds - >= 9226 @ 11.3371
20.13/20.23 c GLOBAL bounds - >= 9226 @ 11.3433
20.23/20.31 c GLOBAL bounds - >= 9226 @ 11.3731
20.23/20.33 c GLOBAL bounds - >= 9226 @ 11.377
20.33/20.41 c GLOBAL bounds - >= 9226 @ 11.4103
20.33/20.42 c GLOBAL bounds - >= 9226 @ 11.4178
20.43/20.50 c GLOBAL bounds - >= 9226 @ 11.4468
20.43/20.52 c GLOBAL bounds - >= 9226 @ 11.456
20.53/20.60 c GLOBAL bounds - >= 9226 @ 11.4878
20.53/20.61 c GLOBAL bounds - >= 9226 @ 11.4965
20.53/20.69 c GLOBAL bounds - >= 9226 @ 11.5233
20.63/20.71 c GLOBAL bounds - >= 9226 @ 11.5322
20.63/20.79 c GLOBAL bounds - >= 9226 @ 11.5646
20.73/20.81 c GLOBAL bounds - >= 9226 @ 11.5737
20.73/20.89 c GLOBAL bounds - >= 9226 @ 11.6105
20.83/20.97 c GLOBAL bounds - >= 9226 @ 11.6418
20.93/21.05 c GLOBAL bounds - >= 9226 @ 11.6769
21.04/21.13 c GLOBAL bounds - >= 9226 @ 11.708
21.13/21.22 c GLOBAL bounds - >= 9226 @ 11.7395
21.23/21.30 c GLOBAL bounds - >= 9226 @ 11.7734
21.23/21.39 c GLOBAL bounds - >= 9226 @ 11.8103
21.33/21.49 c GLOBAL bounds - >= 9226 @ 11.8627
22.72/22.87 c #Conflicts: 2000 | #Constraints: 2382
22.72/22.87 c INPROCESSING
22.72/22.87 c GARBAGE COLLECT
22.72/22.87 c GLOBAL bounds - >= 9226 @ 13.1571
23.42/23.58 c GLOBAL bounds - >= 9226 @ 13.8133
228.50/229.18 c #Conflicts: 3000 | #Constraints: 2343
228.50/229.18 c #Conflicts: 4000 | #Constraints: 3343
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 5000 | #Constraints: 2762
228.50/229.18 c #Conflicts: 6000 | #Constraints: 3762
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 7000 | #Constraints: 2771
228.50/229.18 c #Conflicts: 8000 | #Constraints: 3771
228.50/229.18 c #Conflicts: 9000 | #Constraints: 4771
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 10000 | #Constraints: 3478
228.50/229.18 c #Conflicts: 11000 | #Constraints: 4478
228.50/229.18 c #Conflicts: 12000 | #Constraints: 5478
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 13000 | #Constraints: 3937
228.50/229.18 c #Conflicts: 14000 | #Constraints: 4937
228.50/229.18 c #Conflicts: 15000 | #Constraints: 5937
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 16000 | #Constraints: 4162
228.50/229.18 c #Conflicts: 17000 | #Constraints: 5162
228.50/229.18 c #Conflicts: 18000 | #Constraints: 6162
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 19000 | #Constraints: 4170
228.50/229.18 c #Conflicts: 20000 | #Constraints: 5170
228.50/229.18 c #Conflicts: 21000 | #Constraints: 6170
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 22000 | #Constraints: 3989
228.50/229.18 c #Conflicts: 23000 | #Constraints: 4989
228.50/229.18 c #Conflicts: 24000 | #Constraints: 5989
228.50/229.18 c #Conflicts: 25000 | #Constraints: 6989
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 26000 | #Constraints: 4587
228.50/229.18 c #Conflicts: 27000 | #Constraints: 5587
228.50/229.18 c #Conflicts: 28000 | #Constraints: 6587
228.50/229.18 c #Conflicts: 29000 | #Constraints: 7587
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 30000 | #Constraints: 4991
228.50/229.18 c #Conflicts: 31000 | #Constraints: 5991
228.50/229.18 c #Conflicts: 32000 | #Constraints: 6991
228.50/229.18 c #Conflicts: 33000 | #Constraints: 7991
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 34000 | #Constraints: 5188
228.50/229.18 c #Conflicts: 35000 | #Constraints: 6188
228.50/229.18 c #Conflicts: 36000 | #Constraints: 7188
228.50/229.18 c #Conflicts: 37000 | #Constraints: 8188
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 38000 | #Constraints: 5189
228.50/229.18 c #Conflicts: 39000 | #Constraints: 6189
228.50/229.18 c #Conflicts: 40000 | #Constraints: 7189
228.50/229.18 c #Conflicts: 41000 | #Constraints: 8189
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 42000 | #Constraints: 4991
228.50/229.18 c #Conflicts: 43000 | #Constraints: 5991
228.50/229.18 c #Conflicts: 44000 | #Constraints: 6991
228.50/229.18 c #Conflicts: 45000 | #Constraints: 7991
228.50/229.18 c #Conflicts: 46000 | #Constraints: 8991
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 47000 | #Constraints: 5587
228.50/229.18 c #Conflicts: 48000 | #Constraints: 6587
228.50/229.18 c #Conflicts: 49000 | #Constraints: 7587
228.50/229.18 c #Conflicts: 50000 | #Constraints: 8587
228.50/229.18 c #Conflicts: 51000 | #Constraints: 9587
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 52000 | #Constraints: 5999
228.50/229.18 c #Conflicts: 53000 | #Constraints: 6999
228.50/229.18 c #Conflicts: 54000 | #Constraints: 7999
228.50/229.18 c #Conflicts: 55000 | #Constraints: 8999
228.50/229.18 c #Conflicts: 56000 | #Constraints: 9999
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 57000 | #Constraints: 6206
228.50/229.18 c #Conflicts: 58000 | #Constraints: 7206
228.50/229.18 c #Conflicts: 59000 | #Constraints: 8206
228.50/229.18 c #Conflicts: 60000 | #Constraints: 9206
228.50/229.18 c #Conflicts: 61000 | #Constraints: 10206
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 62000 | #Constraints: 6205
228.50/229.18 c #Conflicts: 63000 | #Constraints: 7205
228.50/229.18 c #Conflicts: 64000 | #Constraints: 8205
228.50/229.18 c #Conflicts: 65000 | #Constraints: 9205
228.50/229.18 c #Conflicts: 66000 | #Constraints: 10205
228.50/229.18 c INPROCESSING
228.50/229.18 c GARBAGE COLLECT
228.50/229.18 c #Conflicts: 67000 | #Constraints: 6004
228.50/229.18 c #Conflicts: 68000 | #Constraints: 7004
228.50/229.18 c #Conflicts: 69000 | #Constraints: 8004
228.50/229.18 c #Conflicts: 70000 | #Constraints: 9004
255.63/256.33 c #Conflicts: 71000 | #Constraints: 10004
255.63/256.33 c #Conflicts: 72000 | #Constraints: 11004
255.63/256.33 c INPROCESSING
255.63/256.33 c GARBAGE COLLECT
255.63/256.33 c #Conflicts: 73000 | #Constraints: 6612
255.63/256.33 c #Conflicts: 74000 | #Constraints: 7612
255.63/256.33 c #Conflicts: 75000 | #Constraints: 8612
255.63/256.33 c #Conflicts: 76000 | #Constraints: 9612
255.63/256.33 c #Conflicts: 77000 | #Constraints: 10612
255.63/256.33 c #Conflicts: 78000 | #Constraints: 11612
255.63/256.33 c INPROCESSING
255.63/256.33 c GARBAGE COLLECT
255.63/256.33 c #Conflicts: 79000 | #Constraints: 7014
255.63/256.33 c GLOBAL bounds - >= 9227 @ 244.655
255.63/256.35 c GLOBAL bounds - >= 9227 @ 244.663
255.63/256.36 c GLOBAL bounds - >= 9227 @ 244.667
255.63/256.37 c GLOBAL bounds - >= 9227 @ 244.672
255.63/256.38 c GLOBAL bounds - >= 9227 @ 244.677
255.82/256.51 c GLOBAL bounds - >= 9227 @ 244.758
255.82/256.53 c GLOBAL bounds - >= 9227 @ 244.763
255.92/256.68 c GLOBAL bounds - >= 9227 @ 244.861
255.92/256.69 c GLOBAL bounds - >= 9227 @ 244.87
256.03/256.77 c GLOBAL bounds - >= 9227 @ 244.897
256.03/256.78 c GLOBAL bounds - >= 9227 @ 244.904
256.12/256.86 c GLOBAL bounds - >= 9227 @ 244.93
256.12/256.87 c GLOBAL bounds - >= 9227 @ 244.938
256.22/256.95 c GLOBAL bounds - >= 9227 @ 244.968
256.22/256.97 c GLOBAL bounds - >= 9227 @ 244.972
256.33/257.04 c GLOBAL bounds - >= 9227 @ 244.992
256.33/257.06 c GLOBAL bounds - >= 9227 @ 244.997
256.43/257.14 c GLOBAL bounds - >= 9227 @ 245.029
256.43/257.15 c GLOBAL bounds - >= 9227 @ 245.036
256.52/257.23 c GLOBAL bounds - >= 9227 @ 245.059
256.52/257.24 c GLOBAL bounds - >= 9227 @ 245.065
256.62/257.32 c GLOBAL bounds - >= 9227 @ 245.096
256.62/257.33 c GLOBAL bounds - >= 9227 @ 245.101
256.72/257.41 c GLOBAL bounds - >= 9227 @ 245.128
256.72/257.49 c GLOBAL bounds - >= 9227 @ 245.158
256.83/257.57 c GLOBAL bounds - >= 9227 @ 245.188
256.92/257.65 c GLOBAL bounds - >= 9227 @ 245.221
257.02/257.73 c GLOBAL bounds - >= 9227 @ 245.245
257.13/257.81 c GLOBAL bounds - >= 9227 @ 245.278
257.22/257.90 c GLOBAL bounds - >= 9227 @ 245.313
257.22/257.99 c GLOBAL bounds - >= 9227 @ 245.358
257.42/258.19 c GLOBAL bounds - >= 9227 @ 245.499
352.08/353.07 c #Conflicts: 80000 | #Constraints: 8026
352.08/353.07 c #Conflicts: 81000 | #Constraints: 9026
352.08/353.07 c #Conflicts: 82000 | #Constraints: 10026
352.08/353.07 c #Conflicts: 83000 | #Constraints: 11026
352.08/353.07 c #Conflicts: 84000 | #Constraints: 12026
352.08/353.07 c INPROCESSING
352.08/353.07 c GARBAGE COLLECT
352.08/353.07 c #Conflicts: 85000 | #Constraints: 7207
352.08/353.07 c #Conflicts: 86000 | #Constraints: 8207
352.08/353.07 c #Conflicts: 87000 | #Constraints: 9207
352.08/353.07 c #Conflicts: 88000 | #Constraints: 10207
352.08/353.07 c #Conflicts: 89000 | #Constraints: 11207
352.08/353.07 c #Conflicts: 90000 | #Constraints: 12207
352.08/353.07 c INPROCESSING
352.08/353.07 c GARBAGE COLLECT
352.08/353.07 c #Conflicts: 91000 | #Constraints: 7206
352.08/353.07 c #Conflicts: 92000 | #Constraints: 8206
352.08/353.07 c #Conflicts: 93000 | #Constraints: 9206
352.08/353.07 c #Conflicts: 94000 | #Constraints: 10206
352.08/353.07 c #Conflicts: 95000 | #Constraints: 11206
352.08/353.07 c #Conflicts: 96000 | #Constraints: 12206
352.08/353.07 c INPROCESSING
352.08/353.07 c GARBAGE COLLECT
352.08/353.07 c #Conflicts: 97000 | #Constraints: 7022
352.08/353.07 c #Conflicts: 98000 | #Constraints: 8022
352.08/353.07 c #Conflicts: 99000 | #Constraints: 9022
352.08/353.07 c #Conflicts: 100000 | #Constraints: 10022
352.08/353.07 c #Conflicts: 101000 | #Constraints: 11022
352.08/353.07 c #Conflicts: 102000 | #Constraints: 12022
352.08/353.07 c #Conflicts: 103000 | #Constraints: 13022
352.08/353.07 c INPROCESSING
352.08/353.07 c GARBAGE COLLECT
352.08/353.07 c #Conflicts: 104000 | #Constraints: 7617
352.08/353.07 c #Conflicts: 105000 | #Constraints: 8617
352.08/353.07 c #Conflicts: 106000 | #Constraints: 9617
352.08/353.07 c #Conflicts: 107000 | #Constraints: 10617
352.08/353.07 c #Conflicts: 108000 | #Constraints: 11617
352.08/353.07 c #Conflicts: 109000 | #Constraints: 12617
352.08/353.07 c #Conflicts: 110000 | #Constraints: 13617
352.08/353.07 c INPROCESSING
352.08/353.07 c GARBAGE COLLECT
352.08/353.07 c GLOBAL bounds - >= 9229 @ 339.776
352.08/353.09 c GLOBAL bounds - >= 9229 @ 339.788
352.18/353.10 c GLOBAL bounds - >= 9229 @ 339.794
352.18/353.12 c GLOBAL bounds - >= 9229 @ 339.801
352.28/353.21 c GLOBAL bounds - >= 9229 @ 339.833
352.28/353.22 c GLOBAL bounds - >= 9229 @ 339.841
352.38/353.30 c GLOBAL bounds - >= 9229 @ 339.864
352.38/353.31 c GLOBAL bounds - >= 9229 @ 339.871
352.38/353.39 c GLOBAL bounds - >= 9229 @ 339.909
352.48/353.41 c GLOBAL bounds - >= 9229 @ 339.916
352.48/353.49 c GLOBAL bounds - >= 9229 @ 339.95
352.58/353.50 c GLOBAL bounds - >= 9229 @ 339.954
352.68/353.61 c GLOBAL bounds - >= 9229 @ 340.007
352.68/353.62 c GLOBAL bounds - >= 9229 @ 340.013
352.78/353.72 c GLOBAL bounds - >= 9229 @ 340.055
352.78/353.73 c GLOBAL bounds - >= 9229 @ 340.06
352.87/353.81 c GLOBAL bounds - >= 9229 @ 340.1
352.87/353.82 c GLOBAL bounds - >= 9229 @ 340.106
352.97/353.92 c GLOBAL bounds - >= 9229 @ 340.158
352.97/353.93 c GLOBAL bounds - >= 9229 @ 340.163
353.08/354.01 c GLOBAL bounds - >= 9229 @ 340.19
353.08/354.02 c GLOBAL bounds - >= 9229 @ 340.196
353.18/354.11 c GLOBAL bounds - >= 9229 @ 340.228
353.97/354.97 c GLOBAL bounds - >= 9229 @ 341.02
354.48/355.47 c GLOBAL bounds - >= 9229 @ 341.462
354.48/355.47 c GLOBAL bounds - >= 9229 @ 341.463
354.48/355.49 c GLOBAL bounds - >= 9229 @ 341.471
354.57/355.50 c GLOBAL bounds - >= 9229 @ 341.476
354.57/355.51 c GLOBAL bounds - >= 9229 @ 341.478
355.08/356.07 c GLOBAL bounds - >= 9229 @ 341.971
355.08/356.08 c GLOBAL bounds - >= 9229 @ 341.977
355.17/356.16 c GLOBAL bounds - >= 9229 @ 342.002
355.17/356.17 c GLOBAL bounds - >= 9229 @ 342.008
355.27/356.25 c GLOBAL bounds - >= 9229 @ 342.034
355.27/356.26 c GLOBAL bounds - >= 9229 @ 342.04
355.37/356.35 c GLOBAL bounds - >= 9229 @ 342.063
355.37/356.36 c GLOBAL bounds - >= 9229 @ 342.066
355.47/356.44 c GLOBAL bounds - >= 9229 @ 342.106
355.47/356.45 c GLOBAL bounds - >= 9229 @ 342.113
355.57/356.53 c GLOBAL bounds - >= 9229 @ 342.145
355.57/356.55 c GLOBAL bounds - >= 9229 @ 342.153
355.67/356.63 c GLOBAL bounds - >= 9229 @ 342.186
355.67/356.64 c GLOBAL bounds - >= 9229 @ 342.191
355.76/356.72 c GLOBAL bounds - >= 9229 @ 342.214
355.76/356.73 c GLOBAL bounds - >= 9229 @ 342.219
355.87/356.81 c GLOBAL bounds - >= 9229 @ 342.238
355.87/356.82 c GLOBAL bounds - >= 9229 @ 342.245
355.97/356.90 c GLOBAL bounds - >= 9229 @ 342.274
355.97/356.98 c GLOBAL bounds - >= 9229 @ 342.307
356.07/357.07 c GLOBAL bounds - >= 9229 @ 342.339
356.17/357.15 c GLOBAL bounds - >= 9229 @ 342.372
356.27/357.24 c GLOBAL bounds - >= 9229 @ 342.403
356.37/357.32 c GLOBAL bounds - >= 9229 @ 342.444
356.46/357.48 c #Conflicts: 111000 | #Constraints: 8038
356.46/357.48 c GLOBAL bounds - >= 9229 @ 342.549
356.67/357.68 c GLOBAL bounds - >= 9229 @ 342.693
356.76/357.77 c GLOBAL bounds - >= 9229 @ 342.734
356.76/357.77 c GLOBAL bounds - >= 9229 @ 342.735
356.76/357.78 c GLOBAL bounds - >= 9229 @ 342.745
356.76/357.79 c GLOBAL bounds - >= 9229 @ 342.75
356.87/357.81 c GLOBAL bounds - >= 9229 @ 342.753
356.87/357.82 c GLOBAL bounds - >= 9229 @ 342.756
356.87/357.83 c GLOBAL bounds - >= 9229 @ 342.761
356.97/357.91 c GLOBAL bounds - >= 9229 @ 342.794
356.97/357.92 c GLOBAL bounds - >= 9229 @ 342.798
357.07/358.01 c GLOBAL bounds - >= 9229 @ 342.825
357.07/358.02 c GLOBAL bounds - >= 9229 @ 342.831
357.07/358.10 c GLOBAL bounds - >= 9229 @ 342.863
357.17/358.11 c GLOBAL bounds - >= 9229 @ 342.868
357.17/358.19 c GLOBAL bounds - >= 9229 @ 342.901
357.26/358.20 c GLOBAL bounds - >= 9229 @ 342.906
357.26/358.28 c GLOBAL bounds - >= 9229 @ 342.935
357.26/358.29 c GLOBAL bounds - >= 9229 @ 342.942
357.36/358.38 c GLOBAL bounds - >= 9229 @ 342.969
357.36/358.39 c GLOBAL bounds - >= 9229 @ 342.976
357.47/358.47 c GLOBAL bounds - >= 9229 @ 343.004
357.47/358.48 c GLOBAL bounds - >= 9229 @ 343.009
357.56/358.56 c GLOBAL bounds - >= 9229 @ 343.039
357.56/358.58 c GLOBAL bounds - >= 9229 @ 343.046
357.66/358.66 c GLOBAL bounds - >= 9229 @ 343.085
357.66/358.67 c GLOBAL bounds - >= 9229 @ 343.091
357.77/358.75 c GLOBAL bounds - >= 9229 @ 343.126
357.86/358.84 c GLOBAL bounds - >= 9229 @ 343.157
357.97/358.92 c GLOBAL bounds - >= 9229 @ 343.188
358.07/359.00 c GLOBAL bounds - >= 9229 @ 343.227
358.07/359.09 c GLOBAL bounds - >= 9229 @ 343.258
358.17/359.17 c GLOBAL bounds - >= 9229 @ 343.292
358.26/359.26 c GLOBAL bounds - >= 9229 @ 343.329
358.36/359.36 c GLOBAL bounds - >= 9229 @ 343.369
358.46/359.45 c GLOBAL bounds - >= 9229 @ 343.402
358.67/359.67 c GLOBAL bounds - >= 9229 @ 343.568
358.86/359.80 c GLOBAL bounds - >= 9229 @ 343.649
358.86/359.80 c GLOBAL bounds - >= 9229 @ 343.65
358.86/359.82 c GLOBAL bounds - >= 9229 @ 343.657
358.86/359.83 c GLOBAL bounds - >= 9229 @ 343.66
358.86/359.84 c GLOBAL bounds - >= 9229 @ 343.666
358.86/359.85 c GLOBAL bounds - >= 9229 @ 343.668
358.86/359.86 c GLOBAL bounds - >= 9229 @ 343.671
358.86/359.87 c GLOBAL bounds - >= 9229 @ 343.677
358.86/359.88 c GLOBAL bounds - >= 9229 @ 343.679
359.06/360.03 c GLOBAL bounds - >= 9229 @ 343.778
359.06/360.04 c GLOBAL bounds - >= 9229 @ 343.784
359.16/360.12 c GLOBAL bounds - >= 9229 @ 343.818
359.16/360.13 c GLOBAL bounds - >= 9229 @ 343.823
359.26/360.21 c GLOBAL bounds - >= 9229 @ 343.851
359.26/360.23 c GLOBAL bounds - >= 9229 @ 343.86
359.36/360.30 c GLOBAL bounds - >= 9229 @ 343.882
359.36/360.32 c GLOBAL bounds - >= 9229 @ 343.884
359.46/360.40 c GLOBAL bounds - >= 9229 @ 343.907
359.46/360.41 c GLOBAL bounds - >= 9229 @ 343.912
359.46/360.49 c GLOBAL bounds - >= 9229 @ 343.939
359.56/360.50 c GLOBAL bounds - >= 9229 @ 343.944
359.56/360.58 c GLOBAL bounds - >= 9229 @ 343.971
359.56/360.59 c GLOBAL bounds - >= 9229 @ 343.975
359.65/360.67 c GLOBAL bounds - >= 9229 @ 344.01
359.65/360.69 c GLOBAL bounds - >= 9229 @ 344.016
359.76/360.77 c GLOBAL bounds - >= 9229 @ 344.05
359.76/360.78 c GLOBAL bounds - >= 9229 @ 344.055
359.85/360.86 c GLOBAL bounds - >= 9229 @ 344.084
359.96/360.95 c GLOBAL bounds - >= 9229 @ 344.122
360.06/361.03 c GLOBAL bounds - >= 9229 @ 344.153
360.17/361.11 c GLOBAL bounds - >= 9229 @ 344.187
360.25/361.20 c GLOBAL bounds - >= 9229 @ 344.219
360.25/361.29 c GLOBAL bounds - >= 9229 @ 344.257
360.36/361.37 c GLOBAL bounds - >= 9229 @ 344.297
360.46/361.46 c GLOBAL bounds - >= 9229 @ 344.334
360.55/361.56 c GLOBAL bounds - >= 9229 @ 344.376
360.65/361.66 c GLOBAL bounds - >= 9229 @ 344.432
360.75/361.76 c GLOBAL bounds - >= 9229 @ 344.477
360.95/361.94 c GLOBAL bounds - >= 9229 @ 344.612
361.46/362.44 c GLOBAL bounds - >= 9229 @ 345.048
361.46/362.44 c GLOBAL bounds - >= 9229 @ 345.049
361.46/362.45 c GLOBAL bounds - >= 9229 @ 345.058
361.46/362.46 c GLOBAL bounds - >= 9229 @ 345.059
361.46/362.47 c GLOBAL bounds - >= 9229 @ 345.062
361.46/362.48 c GLOBAL bounds - >= 9229 @ 345.066
361.46/362.49 c GLOBAL bounds - >= 9229 @ 345.069
361.56/362.50 c GLOBAL bounds - >= 9229 @ 345.074
361.56/362.51 c GLOBAL bounds - >= 9229 @ 345.077
361.56/362.52 c GLOBAL bounds - >= 9229 @ 345.081
361.56/362.54 c GLOBAL bounds - >= 9229 @ 345.089
361.66/362.62 c GLOBAL bounds - >= 9229 @ 345.117
361.66/362.63 c GLOBAL bounds - >= 9229 @ 345.124
361.75/362.71 c GLOBAL bounds - >= 9229 @ 345.148
361.75/362.72 c GLOBAL bounds - >= 9229 @ 345.158
361.85/362.80 c GLOBAL bounds - >= 9229 @ 345.195
361.85/362.81 c GLOBAL bounds - >= 9229 @ 345.2
361.85/362.89 c GLOBAL bounds - >= 9229 @ 345.23
361.95/362.91 c GLOBAL bounds - >= 9229 @ 345.235
362.06/363.09 c GLOBAL bounds - >= 9229 @ 345.359
362.06/363.10 c GLOBAL bounds - >= 9229 @ 345.364
362.15/363.18 c GLOBAL bounds - >= 9229 @ 345.39
362.15/363.19 c GLOBAL bounds - >= 9229 @ 345.393
362.35/363.32 c GLOBAL bounds - >= 9229 @ 345.467
362.35/363.33 c GLOBAL bounds - >= 9229 @ 345.477
362.45/363.42 c GLOBAL bounds - >= 9229 @ 345.515
362.45/363.44 c GLOBAL bounds - >= 9229 @ 345.524
362.55/363.52 c GLOBAL bounds - >= 9229 @ 345.563
362.55/363.55 c GLOBAL bounds - >= 9229 @ 345.577
362.65/363.63 c GLOBAL bounds - >= 9229 @ 345.61
362.74/363.72 c GLOBAL bounds - >= 9229 @ 345.649
362.84/363.81 c GLOBAL bounds - >= 9229 @ 345.692
362.84/363.89 c GLOBAL bounds - >= 9229 @ 345.725
362.95/363.98 c GLOBAL bounds - >= 9229 @ 345.773
363.06/364.06 c GLOBAL bounds - >= 9229 @ 345.802
363.16/364.14 c GLOBAL bounds - >= 9229 @ 345.838
363.25/364.23 c GLOBAL bounds - >= 9229 @ 345.878
363.35/364.32 c GLOBAL bounds - >= 9229 @ 345.909
363.65/364.60 c GLOBAL bounds - >= 9229 @ 346.135
454.89/456.15 c #Conflicts: 112000 | #Constraints: 9122
454.89/456.15 c #Conflicts: 113000 | #Constraints: 10122
454.89/456.15 c #Conflicts: 114000 | #Constraints: 11122
454.89/456.15 c #Conflicts: 115000 | #Constraints: 12122
454.89/456.15 c #Conflicts: 116000 | #Constraints: 13122
454.89/456.15 c #Conflicts: 117000 | #Constraints: 14122
454.89/456.15 c INPROCESSING
454.89/456.15 c GARBAGE COLLECT
454.89/456.15 c #Conflicts: 118000 | #Constraints: 8305
454.89/456.15 c #Conflicts: 119000 | #Constraints: 9305
454.89/456.15 c #Conflicts: 120000 | #Constraints: 10305
454.89/456.15 c #Conflicts: 121000 | #Constraints: 11305
454.89/456.15 c #Conflicts: 122000 | #Constraints: 12305
454.89/456.15 c #Conflicts: 123000 | #Constraints: 13305
454.89/456.15 c #Conflicts: 124000 | #Constraints: 14305
454.89/456.15 c INPROCESSING
454.89/456.15 c GARBAGE COLLECT
454.89/456.15 c #Conflicts: 125000 | #Constraints: 8305
454.89/456.15 c #Conflicts: 126000 | #Constraints: 9305
454.89/456.15 c #Conflicts: 127000 | #Constraints: 10305
454.89/456.15 c #Conflicts: 128000 | #Constraints: 11305
454.89/456.15 c #Conflicts: 129000 | #Constraints: 12305
454.89/456.15 c #Conflicts: 130000 | #Constraints: 13305
454.89/456.15 c #Conflicts: 131000 | #Constraints: 14305
454.89/456.15 c INPROCESSING
454.89/456.15 c GARBAGE COLLECT
454.89/456.15 c #Conflicts: 132000 | #Constraints: 8097
454.89/456.15 c #Conflicts: 133000 | #Constraints: 9097
454.89/456.15 c #Conflicts: 134000 | #Constraints: 10097
454.89/456.15 c #Conflicts: 135000 | #Constraints: 11097
454.89/456.15 c #Conflicts: 136000 | #Constraints: 12097
454.89/456.15 c #Conflicts: 137000 | #Constraints: 13097
454.89/456.15 c #Conflicts: 138000 | #Constraints: 14097
454.89/456.15 c #Conflicts: 139000 | #Constraints: 15097
454.89/456.15 c INPROCESSING
454.89/456.15 c GARBAGE COLLECT
454.89/456.15 c #Conflicts: 140000 | #Constraints: 8702
454.89/456.15 c #Conflicts: 141000 | #Constraints: 9702
454.89/456.15 c #Conflicts: 142000 | #Constraints: 10702
454.89/456.15 c #Conflicts: 143000 | #Constraints: 11702
454.89/456.15 c #Conflicts: 144000 | #Constraints: 12702
454.89/456.15 c #Conflicts: 145000 | #Constraints: 13702
454.89/456.15 c #Conflicts: 146000 | #Constraints: 14702
454.89/456.15 c #Conflicts: 147000 | #Constraints: 15702
454.89/456.15 c INPROCESSING
454.89/456.15 c GARBAGE COLLECT
454.89/456.15 c GLOBAL bounds - >= 9230 @ 436.39
454.89/456.17 c GLOBAL bounds - >= 9230 @ 436.402
454.89/456.18 c GLOBAL bounds - >= 9230 @ 436.406
454.89/456.19 c GLOBAL bounds - >= 9230 @ 436.409
454.98/456.20 c GLOBAL bounds - >= 9230 @ 436.414
454.98/456.22 c GLOBAL bounds - >= 9230 @ 436.421
455.17/456.40 c GLOBAL bounds - >= 9230 @ 436.546
455.17/456.41 c GLOBAL bounds - >= 9230 @ 436.552
455.27/456.59 c GLOBAL bounds - >= 9230 @ 436.665
455.37/456.60 c GLOBAL bounds - >= 9230 @ 436.672
455.58/456.85 c GLOBAL bounds - >= 9230 @ 436.871
455.58/456.86 c GLOBAL bounds - >= 9230 @ 436.877
455.67/456.95 c GLOBAL bounds - >= 9230 @ 436.92
455.67/456.96 c GLOBAL bounds - >= 9230 @ 436.926
455.78/457.04 c GLOBAL bounds - >= 9230 @ 436.959
455.78/457.06 c GLOBAL bounds - >= 9230 @ 436.962
455.88/457.13 c GLOBAL bounds - >= 9230 @ 436.991
455.88/457.15 c GLOBAL bounds - >= 9230 @ 436.996
455.97/457.23 c GLOBAL bounds - >= 9230 @ 437.024
455.97/457.24 c GLOBAL bounds - >= 9230 @ 437.033
456.08/457.32 c GLOBAL bounds - >= 9230 @ 437.057
456.08/457.33 c GLOBAL bounds - >= 9230 @ 437.067
456.18/457.41 c GLOBAL bounds - >= 9230 @ 437.097
456.18/457.43 c GLOBAL bounds - >= 9230 @ 437.103
456.28/457.51 c GLOBAL bounds - >= 9230 @ 437.132
456.28/457.59 c GLOBAL bounds - >= 9230 @ 437.169
456.37/457.66 c GLOBAL bounds - >= 9230 @ 437.198
456.47/457.74 c GLOBAL bounds - >= 9230 @ 437.24
456.58/457.82 c GLOBAL bounds - >= 9230 @ 437.282
456.68/457.91 c GLOBAL bounds - >= 9230 @ 437.325
456.77/458.01 c GLOBAL bounds - >= 9230 @ 437.388
456.88/458.11 c GLOBAL bounds - >= 9230 @ 437.444
457.17/458.45 c GLOBAL bounds - >= 9230 @ 437.727
531.45/532.96 c #Conflicts: 148000 | #Constraints: 9120
531.45/532.96 c #Conflicts: 149000 | #Constraints: 10120
531.45/532.96 c #Conflicts: 150000 | #Constraints: 11120
531.45/532.96 c #Conflicts: 151000 | #Constraints: 12120
531.45/532.96 c #Conflicts: 152000 | #Constraints: 13120
531.45/532.96 c #Conflicts: 153000 | #Constraints: 14120
531.45/532.96 c #Conflicts: 154000 | #Constraints: 15120
531.45/532.96 c #Conflicts: 155000 | #Constraints: 16120
531.45/532.96 c INPROCESSING
531.45/532.96 c GARBAGE COLLECT
531.45/532.96 c #Conflicts: 156000 | #Constraints: 9321
531.45/532.96 c #Conflicts: 157000 | #Constraints: 10321
531.45/532.96 c #Conflicts: 158000 | #Constraints: 11321
531.45/532.96 c #Conflicts: 159000 | #Constraints: 12321
531.45/532.96 c #Conflicts: 160000 | #Constraints: 13321
531.45/532.96 c #Conflicts: 161000 | #Constraints: 14321
531.45/532.96 c #Conflicts: 162000 | #Constraints: 15321
531.45/532.96 c #Conflicts: 163000 | #Constraints: 16321
531.45/532.96 c INPROCESSING
531.45/532.96 c GARBAGE COLLECT
531.45/532.96 c #Conflicts: 164000 | #Constraints: 9329
531.45/532.96 c #Conflicts: 165000 | #Constraints: 10329
531.45/532.96 c #Conflicts: 166000 | #Constraints: 11329
531.45/532.96 c #Conflicts: 167000 | #Constraints: 12329
531.45/532.96 c #Conflicts: 168000 | #Constraints: 13329
531.45/532.96 c #Conflicts: 169000 | #Constraints: 14329
531.45/532.96 c #Conflicts: 170000 | #Constraints: 15329
531.45/532.96 c #Conflicts: 171000 | #Constraints: 16329
531.45/532.96 c INPROCESSING
531.45/532.96 c GARBAGE COLLECT
531.45/532.96 c #Conflicts: 172000 | #Constraints: 9122
531.45/532.96 c #Conflicts: 173000 | #Constraints: 10122
531.45/532.96 c #Conflicts: 174000 | #Constraints: 11122
531.45/532.96 c #Conflicts: 175000 | #Constraints: 12122
531.45/532.96 c #Conflicts: 176000 | #Constraints: 13122
531.45/532.96 c #Conflicts: 177000 | #Constraints: 14122
531.45/532.96 c GLOBAL bounds - >= 9231 @ 511.377
531.45/532.98 c GLOBAL bounds - >= 9231 @ 511.39
531.45/532.99 c GLOBAL bounds - >= 9231 @ 511.395
531.45/533.00 c GLOBAL bounds - >= 9231 @ 511.401
531.55/533.01 c GLOBAL bounds - >= 9231 @ 511.41
531.55/533.02 c GLOBAL bounds - >= 9231 @ 511.411
531.95/533.48 c GLOBAL bounds - >= 9231 @ 511.811
532.05/533.50 c GLOBAL bounds - >= 9231 @ 511.814
532.05/533.58 c GLOBAL bounds - >= 9231 @ 511.847
532.05/533.59 c GLOBAL bounds - >= 9231 @ 511.854
532.14/533.69 c GLOBAL bounds - >= 9231 @ 511.904
532.24/533.70 c GLOBAL bounds - >= 9231 @ 511.91
532.24/533.78 c GLOBAL bounds - >= 9231 @ 511.943
532.24/533.79 c GLOBAL bounds - >= 9231 @ 511.948
532.35/533.87 c GLOBAL bounds - >= 9231 @ 511.978
532.35/533.89 c GLOBAL bounds - >= 9231 @ 511.986
532.45/533.97 c GLOBAL bounds - >= 9231 @ 512.018
532.45/533.98 c GLOBAL bounds - >= 9231 @ 512.025
532.55/534.06 c GLOBAL bounds - >= 9231 @ 512.06
532.55/534.08 c GLOBAL bounds - >= 9231 @ 512.068
532.65/534.16 c GLOBAL bounds - >= 9231 @ 512.091
532.65/534.18 c GLOBAL bounds - >= 9231 @ 512.101
532.74/534.26 c GLOBAL bounds - >= 9231 @ 512.13
532.74/534.28 c GLOBAL bounds - >= 9231 @ 512.135
532.85/534.36 c GLOBAL bounds - >= 9231 @ 512.167
532.95/534.44 c GLOBAL bounds - >= 9231 @ 512.203
533.05/534.51 c GLOBAL bounds - >= 9231 @ 512.236
533.05/534.59 c GLOBAL bounds - >= 9231 @ 512.265
533.14/534.67 c GLOBAL bounds - >= 9231 @ 512.295
533.24/534.74 c GLOBAL bounds - >= 9231 @ 512.319
533.34/534.84 c GLOBAL bounds - >= 9231 @ 512.37
533.55/535.00 c GLOBAL bounds - >= 9231 @ 512.483
538.83/540.33 c #Conflicts: 178000 | #Constraints: 15138
538.83/540.33 c #Conflicts: 179000 | #Constraints: 16138
538.83/540.33 c GLOBAL bounds - >= 9231 @ 517.702
598.55/600.28 c #Conflicts: 180000 | #Constraints: 17138
598.55/600.28 c INPROCESSING
598.55/600.28 c GARBAGE COLLECT
598.55/600.28 c #Conflicts: 181000 | #Constraints: 9730
598.55/600.28 c #Conflicts: 182000 | #Constraints: 10730
598.55/600.28 c #Conflicts: 183000 | #Constraints: 11730
598.55/600.28 c #Conflicts: 184000 | #Constraints: 12730
598.55/600.28 c #Conflicts: 185000 | #Constraints: 13730
598.55/600.28 c #Conflicts: 186000 | #Constraints: 14730
598.55/600.28 c #Conflicts: 187000 | #Constraints: 15730
598.55/600.28 c #Conflicts: 188000 | #Constraints: 16730
598.55/600.28 c #Conflicts: 189000 | #Constraints: 17730
598.55/600.28 c INPROCESSING
598.55/600.28 c GARBAGE COLLECT
598.55/600.28 c #Conflicts: 190000 | #Constraints: 10144
598.55/600.28 c #Conflicts: 191000 | #Constraints: 11144
598.55/600.28 c #Conflicts: 192000 | #Constraints: 12144
598.55/600.28 c #Conflicts: 193000 | #Constraints: 13144
598.55/600.28 c #Conflicts: 194000 | #Constraints: 14144
598.55/600.28 c #Conflicts: 195000 | #Constraints: 15144
598.55/600.28 c #Conflicts: 196000 | #Constraints: 16144
598.55/600.28 c #Conflicts: 197000 | #Constraints: 17144
598.55/600.28 c #Conflicts: 198000 | #Constraints: 18144
598.55/600.28 c INPROCESSING
598.55/600.28 c GARBAGE COLLECT
598.55/600.28 c #Conflicts: 199000 | #Constraints: 10337
598.55/600.28 c #Conflicts: 200000 | #Constraints: 11337
598.55/600.28 c #Conflicts: 201000 | #Constraints: 12337
598.55/600.28 c GLOBAL bounds - >= 9232 @ 576.683
598.65/600.30 c GLOBAL bounds - >= 9232 @ 576.697
598.65/600.31 c GLOBAL bounds - >= 9232 @ 576.701
598.65/600.32 c GLOBAL bounds - >= 9232 @ 576.709
598.65/600.34 c GLOBAL bounds - >= 9232 @ 576.714
598.65/600.35 c GLOBAL bounds - >= 9232 @ 576.719
598.85/600.50 c GLOBAL bounds - >= 9232 @ 576.825
598.85/600.52 c GLOBAL bounds - >= 9232 @ 576.835
598.95/600.60 c GLOBAL bounds - >= 9232 @ 576.861
598.95/600.61 c GLOBAL bounds - >= 9232 @ 576.87
598.95/600.69 c GLOBAL bounds - >= 9232 @ 576.911
599.05/600.70 c GLOBAL bounds - >= 9232 @ 576.92
599.05/600.78 c GLOBAL bounds - >= 9232 @ 576.95
599.05/600.79 c GLOBAL bounds - >= 9232 @ 576.954
599.15/600.87 c GLOBAL bounds - >= 9232 @ 576.979
599.15/600.89 c GLOBAL bounds - >= 9232 @ 576.984
599.24/600.97 c GLOBAL bounds - >= 9232 @ 577.02
599.24/600.98 c GLOBAL bounds - >= 9232 @ 577.024
599.35/601.07 c GLOBAL bounds - >= 9232 @ 577.061
599.35/601.09 c GLOBAL bounds - >= 9232 @ 577.068
599.45/601.17 c GLOBAL bounds - >= 9232 @ 577.102
599.45/601.18 c GLOBAL bounds - >= 9232 @ 577.11
599.55/601.26 c GLOBAL bounds - >= 9232 @ 577.137
599.55/601.28 c GLOBAL bounds - >= 9232 @ 577.144
599.65/601.36 c GLOBAL bounds - >= 9232 @ 577.174
599.75/601.44 c GLOBAL bounds - >= 9232 @ 577.207
599.84/601.53 c GLOBAL bounds - >= 9232 @ 577.238
599.95/601.61 c GLOBAL bounds - >= 9232 @ 577.276
600.04/601.71 c GLOBAL bounds - >= 9232 @ 577.324
600.15/601.81 c GLOBAL bounds - >= 9232 @ 577.377
600.25/601.91 c GLOBAL bounds - >= 9232 @ 577.435
600.35/602.02 c GLOBAL bounds - >= 9232 @ 577.509
600.64/602.30 c GLOBAL bounds - >= 9232 @ 577.751
601.64/603.33 c GLOBAL bounds - >= 9232 @ 578.723
796.57/798.82 c #Conflicts: 202000 | #Constraints: 13362
796.57/798.82 c #Conflicts: 203000 | #Constraints: 14362
796.57/798.82 c #Conflicts: 204000 | #Constraints: 15362
796.57/798.82 c #Conflicts: 205000 | #Constraints: 16362
796.57/798.82 c #Conflicts: 206000 | #Constraints: 17362
796.57/798.82 c #Conflicts: 207000 | #Constraints: 18362
796.57/798.82 c INPROCESSING
796.57/798.82 c GARBAGE COLLECT
796.57/798.82 c #Conflicts: 208000 | #Constraints: 10356
796.57/798.82 c #Conflicts: 209000 | #Constraints: 11356
796.57/798.82 c #Conflicts: 210000 | #Constraints: 12356
796.57/798.82 c #Conflicts: 211000 | #Constraints: 13356
796.57/798.82 c #Conflicts: 212000 | #Constraints: 14356
796.57/798.82 c #Conflicts: 213000 | #Constraints: 15356
796.57/798.82 c #Conflicts: 214000 | #Constraints: 16356
796.57/798.82 c #Conflicts: 215000 | #Constraints: 17356
796.57/798.82 c #Conflicts: 216000 | #Constraints: 18356
796.57/798.82 c INPROCESSING
796.57/798.82 c GARBAGE COLLECT
796.57/798.82 c #Conflicts: 217000 | #Constraints: 10166
796.57/798.82 c #Conflicts: 218000 | #Constraints: 11166
796.57/798.82 c #Conflicts: 219000 | #Constraints: 12166
796.57/798.82 c #Conflicts: 220000 | #Constraints: 13166
796.57/798.82 c #Conflicts: 221000 | #Constraints: 14166
796.57/798.82 c #Conflicts: 222000 | #Constraints: 15166
796.57/798.82 c #Conflicts: 223000 | #Constraints: 16166
796.57/798.82 c #Conflicts: 224000 | #Constraints: 17166
796.57/798.82 c #Conflicts: 225000 | #Constraints: 18166
796.57/798.82 c #Conflicts: 226000 | #Constraints: 19166
796.57/798.82 c INPROCESSING
796.57/798.82 c GARBAGE COLLECT
796.57/798.82 c #Conflicts: 227000 | #Constraints: 10768
796.57/798.82 c #Conflicts: 228000 | #Constraints: 11768
796.57/798.82 c #Conflicts: 229000 | #Constraints: 12768
796.57/798.82 c #Conflicts: 230000 | #Constraints: 13768
796.57/798.82 c #Conflicts: 231000 | #Constraints: 14768
796.57/798.82 c #Conflicts: 232000 | #Constraints: 15768
796.57/798.82 c #Conflicts: 233000 | #Constraints: 16768
796.57/798.82 c #Conflicts: 234000 | #Constraints: 17768
796.57/798.82 c #Conflicts: 235000 | #Constraints: 18768
796.57/798.82 c #Conflicts: 236000 | #Constraints: 19768
796.57/798.82 c INPROCESSING
796.57/798.82 c GARBAGE COLLECT
796.57/798.82 c #Conflicts: 237000 | #Constraints: 11157
796.57/798.82 c #Conflicts: 238000 | #Constraints: 12157
796.57/798.82 c #Conflicts: 239000 | #Constraints: 13157
796.57/798.82 c #Conflicts: 240000 | #Constraints: 14157
796.57/798.82 c #Conflicts: 241000 | #Constraints: 15157
796.57/798.82 c #Conflicts: 242000 | #Constraints: 16157
796.57/798.82 c #Conflicts: 243000 | #Constraints: 17157
796.57/798.82 c #Conflicts: 244000 | #Constraints: 18157
796.57/798.82 c #Conflicts: 245000 | #Constraints: 19157
796.57/798.82 c #Conflicts: 246000 | #Constraints: 20157
796.57/798.82 c INPROCESSING
796.57/798.82 c GARBAGE COLLECT
796.57/798.82 c #Conflicts: 247000 | #Constraints: 11363
796.57/798.82 c #Conflicts: 248000 | #Constraints: 12363
796.57/798.82 c #Conflicts: 249000 | #Constraints: 13363
796.57/798.82 c #Conflicts: 250000 | #Constraints: 14363
796.57/798.82 c #Conflicts: 251000 | #Constraints: 15363
796.57/798.82 c #Conflicts: 252000 | #Constraints: 16363
796.57/798.82 c #Conflicts: 253000 | #Constraints: 17363
796.57/798.82 c #Conflicts: 254000 | #Constraints: 18363
796.57/798.82 c #Conflicts: 255000 | #Constraints: 19363
796.57/798.82 c #Conflicts: 256000 | #Constraints: 20363
796.57/798.82 c INPROCESSING
796.57/798.82 c GARBAGE COLLECT
796.57/798.82 c #Conflicts: 257000 | #Constraints: 11378
796.57/798.82 c #Conflicts: 258000 | #Constraints: 12378
796.57/798.82 c #Conflicts: 259000 | #Constraints: 13378
796.57/798.82 c #Conflicts: 260000 | #Constraints: 14378
796.57/798.82 c #Conflicts: 261000 | #Constraints: 15378
796.57/798.82 c #Conflicts: 262000 | #Constraints: 16378
796.57/798.82 c #Conflicts: 263000 | #Constraints: 17378
796.57/798.82 c #Conflicts: 264000 | #Constraints: 18378
796.57/798.82 c #Conflicts: 265000 | #Constraints: 19378
796.57/798.82 c #Conflicts: 266000 | #Constraints: 20378
796.57/798.82 c INPROCESSING
796.57/798.82 c GARBAGE COLLECT
796.57/798.82 c #Conflicts: 267000 | #Constraints: 11172
796.57/798.82 c #Conflicts: 268000 | #Constraints: 12172
796.57/798.82 c #Conflicts: 269000 | #Constraints: 13172
796.57/798.82 c #Conflicts: 270000 | #Constraints: 14172
796.57/798.82 c #Conflicts: 271000 | #Constraints: 15172
796.57/798.82 c #Conflicts: 272000 | #Constraints: 16172
796.57/798.82 c #Conflicts: 273000 | #Constraints: 17172
796.57/798.82 c #Conflicts: 274000 | #Constraints: 18172
796.57/798.82 c #Conflicts: 275000 | #Constraints: 19172
796.57/798.82 c #Conflicts: 276000 | #Constraints: 20172
988.12/990.91 c #Conflicts: 277000 | #Constraints: 21172
988.12/990.91 c INPROCESSING
988.12/990.91 c GARBAGE COLLECT
988.12/990.91 c #Conflicts: 278000 | #Constraints: 11759
988.12/990.91 c #Conflicts: 279000 | #Constraints: 12759
988.12/990.91 c #Conflicts: 280000 | #Constraints: 13759
988.12/990.91 c #Conflicts: 281000 | #Constraints: 14759
988.12/990.91 c #Conflicts: 282000 | #Constraints: 15759
988.12/990.91 c #Conflicts: 283000 | #Constraints: 16759
988.12/990.91 c #Conflicts: 284000 | #Constraints: 17759
988.12/990.91 c #Conflicts: 285000 | #Constraints: 18759
988.12/990.91 c #Conflicts: 286000 | #Constraints: 19759
988.12/990.91 c #Conflicts: 287000 | #Constraints: 20759
988.12/990.91 c #Conflicts: 288000 | #Constraints: 21759
988.12/990.91 c INPROCESSING
988.12/990.91 c GARBAGE COLLECT
988.12/990.91 c #Conflicts: 289000 | #Constraints: 12155
988.12/990.91 c #Conflicts: 290000 | #Constraints: 13155
988.12/990.91 c #Conflicts: 291000 | #Constraints: 14155
988.12/990.91 c #Conflicts: 292000 | #Constraints: 15155
988.12/990.91 c #Conflicts: 293000 | #Constraints: 16155
988.12/990.91 c #Conflicts: 294000 | #Constraints: 17155
988.12/990.91 c #Conflicts: 295000 | #Constraints: 18155
988.12/990.91 c #Conflicts: 296000 | #Constraints: 19155
988.12/990.91 c #Conflicts: 297000 | #Constraints: 20155
988.12/990.91 c #Conflicts: 298000 | #Constraints: 21155
988.12/990.91 c #Conflicts: 299000 | #Constraints: 22155
988.12/990.91 c INPROCESSING
988.12/990.91 c GARBAGE COLLECT
988.12/990.91 c #Conflicts: 300000 | #Constraints: 12350
988.12/990.91 c #Conflicts: 301000 | #Constraints: 13350
988.12/990.91 c #Conflicts: 302000 | #Constraints: 14350
988.12/990.91 c #Conflicts: 303000 | #Constraints: 15350
988.12/990.91 c #Conflicts: 304000 | #Constraints: 16350
988.12/990.91 c #Conflicts: 305000 | #Constraints: 17350
988.12/990.91 c #Conflicts: 306000 | #Constraints: 18350
988.12/990.91 c #Conflicts: 307000 | #Constraints: 19350
988.12/990.91 c #Conflicts: 308000 | #Constraints: 20350
988.12/990.91 c #Conflicts: 309000 | #Constraints: 21350
988.12/990.91 c #Conflicts: 310000 | #Constraints: 22350
988.12/990.91 c INPROCESSING
988.12/990.91 c GARBAGE COLLECT
988.12/990.91 c #Conflicts: 311000 | #Constraints: 12351
988.12/990.91 c #Conflicts: 312000 | #Constraints: 13351
988.12/990.91 c #Conflicts: 313000 | #Constraints: 14351
988.12/990.91 c #Conflicts: 314000 | #Constraints: 15351
988.12/990.91 c #Conflicts: 315000 | #Constraints: 16351
988.12/990.91 c #Conflicts: 316000 | #Constraints: 17351
988.12/990.91 c #Conflicts: 317000 | #Constraints: 18351
988.12/990.91 c #Conflicts: 318000 | #Constraints: 19351
988.12/990.91 c #Conflicts: 319000 | #Constraints: 20351
988.12/990.91 c #Conflicts: 320000 | #Constraints: 21351
988.12/990.91 c #Conflicts: 321000 | #Constraints: 22351
988.12/990.91 c INPROCESSING
988.12/990.91 c GARBAGE COLLECT
988.12/990.91 c #Conflicts: 322000 | #Constraints: 12146
988.12/990.91 c #Conflicts: 323000 | #Constraints: 13146
988.12/990.91 c #Conflicts: 324000 | #Constraints: 14146
988.12/990.91 c #Conflicts: 325000 | #Constraints: 15146
988.12/990.91 c #Conflicts: 326000 | #Constraints: 16146
988.12/990.91 c #Conflicts: 327000 | #Constraints: 17146
988.12/990.91 c #Conflicts: 328000 | #Constraints: 18146
988.12/990.91 c #Conflicts: 329000 | #Constraints: 19146
988.12/990.91 c #Conflicts: 330000 | #Constraints: 20146
988.12/990.91 c #Conflicts: 331000 | #Constraints: 21146
988.12/990.91 c #Conflicts: 332000 | #Constraints: 22146
988.12/990.91 c #Conflicts: 333000 | #Constraints: 23146
988.12/990.91 c INPROCESSING
988.12/990.91 c GARBAGE COLLECT
988.12/990.91 c #Conflicts: 334000 | #Constraints: 12752
988.12/990.91 c #Conflicts: 335000 | #Constraints: 13752
988.12/990.91 c #Conflicts: 336000 | #Constraints: 14752
988.12/990.91 c #Conflicts: 337000 | #Constraints: 15752
988.12/990.91 c #Conflicts: 338000 | #Constraints: 16752
988.12/990.91 c #Conflicts: 339000 | #Constraints: 17752
988.12/990.91 c #Conflicts: 340000 | #Constraints: 18752
988.12/990.91 c #Conflicts: 341000 | #Constraints: 19752
988.12/990.91 c #Conflicts: 342000 | #Constraints: 20752
988.12/990.91 c #Conflicts: 343000 | #Constraints: 21752
988.12/990.91 c #Conflicts: 344000 | #Constraints: 22752
988.12/990.91 c #Conflicts: 345000 | #Constraints: 23752
988.12/990.91 c INPROCESSING
988.12/990.91 c GARBAGE COLLECT
988.12/990.91 c #Conflicts: 346000 | #Constraints: 13154
988.12/990.91 c #Conflicts: 347000 | #Constraints: 14154
988.12/990.91 c #Conflicts: 348000 | #Constraints: 15154
988.12/990.91 c #Conflicts: 349000 | #Constraints: 16154
988.12/990.91 c #Conflicts: 350000 | #Constraints: 17154
1174.37/1177.72 c #Conflicts: 351000 | #Constraints: 18154
1174.37/1177.72 c #Conflicts: 352000 | #Constraints: 19154
1174.37/1177.72 c #Conflicts: 353000 | #Constraints: 20154
1174.37/1177.72 c #Conflicts: 354000 | #Constraints: 21154
1174.37/1177.72 c #Conflicts: 355000 | #Constraints: 22154
1174.37/1177.72 c #Conflicts: 356000 | #Constraints: 23154
1174.37/1177.72 c #Conflicts: 357000 | #Constraints: 24154
1174.37/1177.72 c INPROCESSING
1174.37/1177.72 c GARBAGE COLLECT
1174.37/1177.72 c #Conflicts: 358000 | #Constraints: 13351
1174.37/1177.72 c #Conflicts: 359000 | #Constraints: 14351
1174.37/1177.72 c #Conflicts: 360000 | #Constraints: 15351
1174.37/1177.72 c #Conflicts: 361000 | #Constraints: 16351
1174.37/1177.72 c #Conflicts: 362000 | #Constraints: 17351
1174.37/1177.72 c #Conflicts: 363000 | #Constraints: 18351
1174.37/1177.72 c #Conflicts: 364000 | #Constraints: 19351
1174.37/1177.72 c #Conflicts: 365000 | #Constraints: 20351
1174.37/1177.72 c #Conflicts: 366000 | #Constraints: 21351
1174.37/1177.72 c #Conflicts: 367000 | #Constraints: 22351
1174.37/1177.72 c #Conflicts: 368000 | #Constraints: 23351
1174.37/1177.72 c #Conflicts: 369000 | #Constraints: 24351
1174.37/1177.72 c INPROCESSING
1174.37/1177.72 c GARBAGE COLLECT
1174.37/1177.72 c #Conflicts: 370000 | #Constraints: 13350
1174.37/1177.72 c #Conflicts: 371000 | #Constraints: 14350
1174.37/1177.72 c #Conflicts: 372000 | #Constraints: 15350
1174.37/1177.72 c #Conflicts: 373000 | #Constraints: 16350
1174.37/1177.72 c #Conflicts: 374000 | #Constraints: 17350
1174.37/1177.72 c #Conflicts: 375000 | #Constraints: 18350
1174.37/1177.72 c #Conflicts: 376000 | #Constraints: 19350
1174.37/1177.72 c #Conflicts: 377000 | #Constraints: 20350
1174.37/1177.72 c #Conflicts: 378000 | #Constraints: 21350
1174.37/1177.72 c #Conflicts: 379000 | #Constraints: 22350
1174.37/1177.72 c #Conflicts: 380000 | #Constraints: 23350
1174.37/1177.72 c #Conflicts: 381000 | #Constraints: 24350
1174.37/1177.72 c INPROCESSING
1174.37/1177.72 c GARBAGE COLLECT
1174.37/1177.72 c #Conflicts: 382000 | #Constraints: 13155
1174.37/1177.72 c #Conflicts: 383000 | #Constraints: 14155
1174.37/1177.72 c #Conflicts: 384000 | #Constraints: 15155
1174.37/1177.72 c #Conflicts: 385000 | #Constraints: 16155
1174.37/1177.72 c #Conflicts: 386000 | #Constraints: 17155
1174.37/1177.72 c #Conflicts: 387000 | #Constraints: 18155
1174.37/1177.72 c #Conflicts: 388000 | #Constraints: 19155
1174.37/1177.72 c #Conflicts: 389000 | #Constraints: 20155
1174.37/1177.72 c #Conflicts: 390000 | #Constraints: 21155
1174.37/1177.72 c #Conflicts: 391000 | #Constraints: 22155
1174.37/1177.72 c #Conflicts: 392000 | #Constraints: 23155
1174.37/1177.72 c #Conflicts: 393000 | #Constraints: 24155
1174.37/1177.72 c #Conflicts: 394000 | #Constraints: 25155
1174.37/1177.72 c INPROCESSING
1174.37/1177.72 c GARBAGE COLLECT
1174.37/1177.72 c #Conflicts: 395000 | #Constraints: 13750
1174.37/1177.72 c #Conflicts: 396000 | #Constraints: 14750
1174.37/1177.72 c #Conflicts: 397000 | #Constraints: 15750
1174.37/1177.72 c #Conflicts: 398000 | #Constraints: 16750
1174.37/1177.72 c #Conflicts: 399000 | #Constraints: 17750
1174.37/1177.72 c #Conflicts: 400000 | #Constraints: 18750
1174.37/1177.72 c #Conflicts: 401000 | #Constraints: 19750
1174.37/1177.72 c #Conflicts: 402000 | #Constraints: 20750
1174.37/1177.72 c #Conflicts: 403000 | #Constraints: 21750
1174.37/1177.72 c #Conflicts: 404000 | #Constraints: 22750
1174.37/1177.72 c #Conflicts: 405000 | #Constraints: 23750
1174.37/1177.72 c #Conflicts: 406000 | #Constraints: 24750
1174.37/1177.72 c #Conflicts: 407000 | #Constraints: 25750
1174.37/1177.72 c INPROCESSING
1174.37/1177.72 c GARBAGE COLLECT
1174.37/1177.72 c #Conflicts: 408000 | #Constraints: 14167
1174.37/1177.72 c #Conflicts: 409000 | #Constraints: 15167
1174.37/1177.72 c #Conflicts: 410000 | #Constraints: 16167
1174.37/1177.72 c #Conflicts: 411000 | #Constraints: 17167
1174.37/1177.72 c #Conflicts: 412000 | #Constraints: 18167
1174.37/1177.72 c #Conflicts: 413000 | #Constraints: 19167
1174.37/1177.72 c #Conflicts: 414000 | #Constraints: 20167
1174.37/1177.72 c #Conflicts: 415000 | #Constraints: 21167
1174.37/1177.72 c #Conflicts: 416000 | #Constraints: 22167
1174.37/1177.72 c #Conflicts: 417000 | #Constraints: 23167
1174.37/1177.72 c #Conflicts: 418000 | #Constraints: 24167
1174.37/1177.72 c #Conflicts: 419000 | #Constraints: 25167
1174.37/1177.72 c #Conflicts: 420000 | #Constraints: 26167
1174.37/1177.72 c INPROCESSING
1174.37/1177.72 c GARBAGE COLLECT
1174.37/1177.72 c #Conflicts: 421000 | #Constraints: 14364
1174.37/1177.72 c #Conflicts: 422000 | #Constraints: 15364
1174.37/1177.72 c #Conflicts: 423000 | #Constraints: 16364
1174.37/1177.72 c #Conflicts: 424000 | #Constraints: 17364
1174.37/1177.72 c #Conflicts: 425000 | #Constraints: 18364
1364.51/1368.40 c #Conflicts: 426000 | #Constraints: 19364
1364.51/1368.40 c #Conflicts: 427000 | #Constraints: 20364
1364.51/1368.40 c #Conflicts: 428000 | #Constraints: 21364
1364.51/1368.40 c #Conflicts: 429000 | #Constraints: 22364
1364.51/1368.40 c #Conflicts: 430000 | #Constraints: 23364
1364.51/1368.40 c #Conflicts: 431000 | #Constraints: 24364
1364.51/1368.40 c #Conflicts: 432000 | #Constraints: 25364
1364.51/1368.40 c #Conflicts: 433000 | #Constraints: 26364
1364.51/1368.40 c INPROCESSING
1364.51/1368.40 c GARBAGE COLLECT
1364.51/1368.40 c #Conflicts: 434000 | #Constraints: 14365
1364.51/1368.40 c #Conflicts: 435000 | #Constraints: 15365
1364.51/1368.40 c #Conflicts: 436000 | #Constraints: 16365
1364.51/1368.40 c #Conflicts: 437000 | #Constraints: 17365
1364.51/1368.40 c #Conflicts: 438000 | #Constraints: 18365
1364.51/1368.40 c #Conflicts: 439000 | #Constraints: 19365
1364.51/1368.40 c #Conflicts: 440000 | #Constraints: 20365
1364.51/1368.40 c #Conflicts: 441000 | #Constraints: 21365
1364.51/1368.40 c #Conflicts: 442000 | #Constraints: 22365
1364.51/1368.40 c #Conflicts: 443000 | #Constraints: 23365
1364.51/1368.40 c #Conflicts: 444000 | #Constraints: 24365
1364.51/1368.40 c #Conflicts: 445000 | #Constraints: 25365
1364.51/1368.40 c #Conflicts: 446000 | #Constraints: 26365
1364.51/1368.40 c INPROCESSING
1364.51/1368.40 c GARBAGE COLLECT
1364.51/1368.40 c #Conflicts: 447000 | #Constraints: 14161
1364.51/1368.40 c #Conflicts: 448000 | #Constraints: 15161
1364.51/1368.40 c #Conflicts: 449000 | #Constraints: 16161
1364.51/1368.40 c #Conflicts: 450000 | #Constraints: 17161
1364.51/1368.40 c #Conflicts: 451000 | #Constraints: 18161
1364.51/1368.40 c #Conflicts: 452000 | #Constraints: 19161
1364.51/1368.40 c #Conflicts: 453000 | #Constraints: 20161
1364.51/1368.40 c #Conflicts: 454000 | #Constraints: 21161
1364.51/1368.40 c #Conflicts: 455000 | #Constraints: 22161
1364.51/1368.40 c #Conflicts: 456000 | #Constraints: 23161
1364.51/1368.40 c #Conflicts: 457000 | #Constraints: 24161
1364.51/1368.40 c #Conflicts: 458000 | #Constraints: 25161
1364.51/1368.40 c #Conflicts: 459000 | #Constraints: 26161
1364.51/1368.40 c #Conflicts: 460000 | #Constraints: 27161
1364.51/1368.40 c INPROCESSING
1364.51/1368.40 c GARBAGE COLLECT
1364.51/1368.40 c #Conflicts: 461000 | #Constraints: 14763
1364.51/1368.40 c #Conflicts: 462000 | #Constraints: 15763
1364.51/1368.40 c #Conflicts: 463000 | #Constraints: 16763
1364.51/1368.40 c #Conflicts: 464000 | #Constraints: 17763
1364.51/1368.40 c #Conflicts: 465000 | #Constraints: 18763
1364.51/1368.40 c #Conflicts: 466000 | #Constraints: 19763
1364.51/1368.40 c #Conflicts: 467000 | #Constraints: 20763
1364.51/1368.40 c #Conflicts: 468000 | #Constraints: 21763
1364.51/1368.40 c #Conflicts: 469000 | #Constraints: 22763
1364.51/1368.40 c #Conflicts: 470000 | #Constraints: 23763
1364.51/1368.40 c #Conflicts: 471000 | #Constraints: 24763
1364.51/1368.40 c #Conflicts: 472000 | #Constraints: 25763
1364.51/1368.40 c #Conflicts: 473000 | #Constraints: 26763
1364.51/1368.40 c #Conflicts: 474000 | #Constraints: 27763
1364.51/1368.40 c INPROCESSING
1364.51/1368.40 c GARBAGE COLLECT
1364.51/1368.40 c #Conflicts: 475000 | #Constraints: 15163
1364.51/1368.40 c #Conflicts: 476000 | #Constraints: 16163
1364.51/1368.40 c #Conflicts: 477000 | #Constraints: 17163
1364.51/1368.40 c #Conflicts: 478000 | #Constraints: 18163
1364.51/1368.40 c #Conflicts: 479000 | #Constraints: 19163
1364.51/1368.40 c #Conflicts: 480000 | #Constraints: 20163
1364.51/1368.40 c #Conflicts: 481000 | #Constraints: 21163
1364.51/1368.40 c #Conflicts: 482000 | #Constraints: 22163
1364.51/1368.40 c #Conflicts: 483000 | #Constraints: 23163
1364.51/1368.40 c #Conflicts: 484000 | #Constraints: 24163
1364.51/1368.40 c #Conflicts: 485000 | #Constraints: 25163
1364.51/1368.40 c #Conflicts: 486000 | #Constraints: 26163
1364.51/1368.40 c #Conflicts: 487000 | #Constraints: 27163
1364.51/1368.40 c #Conflicts: 488000 | #Constraints: 28163
1364.51/1368.40 c INPROCESSING
1364.51/1368.40 c GARBAGE COLLECT
1364.51/1368.40 c #Conflicts: 489000 | #Constraints: 15364
1364.51/1368.40 c #Conflicts: 490000 | #Constraints: 16364
1364.51/1368.40 c #Conflicts: 491000 | #Constraints: 17364
1364.51/1368.40 c #Conflicts: 492000 | #Constraints: 18364
1364.51/1368.40 c #Conflicts: 493000 | #Constraints: 19364
1364.51/1368.40 c #Conflicts: 494000 | #Constraints: 20364
1364.51/1368.40 c #Conflicts: 495000 | #Constraints: 21364
1364.51/1368.40 c #Conflicts: 496000 | #Constraints: 22364
1364.51/1368.40 c #Conflicts: 497000 | #Constraints: 23364
1364.51/1368.40 c #Conflicts: 498000 | #Constraints: 24364
1364.51/1368.40 c #Conflicts: 499000 | #Constraints: 25364
1364.51/1368.40 c #Conflicts: 500000 | #Constraints: 26364
1364.51/1368.40 c #Conflicts: 501000 | #Constraints: 27364
1556.83/1561.35 c #Conflicts: 502000 | #Constraints: 28364
1556.83/1561.35 c INPROCESSING
1556.83/1561.35 c GARBAGE COLLECT
1556.83/1561.35 c #Conflicts: 503000 | #Constraints: 15364
1556.83/1561.35 c #Conflicts: 504000 | #Constraints: 16364
1556.83/1561.35 c #Conflicts: 505000 | #Constraints: 17364
1556.83/1561.35 c #Conflicts: 506000 | #Constraints: 18364
1556.83/1561.35 c #Conflicts: 507000 | #Constraints: 19364
1556.83/1561.35 c #Conflicts: 508000 | #Constraints: 20364
1556.83/1561.35 c #Conflicts: 509000 | #Constraints: 21364
1556.83/1561.35 c #Conflicts: 510000 | #Constraints: 22364
1556.83/1561.35 c #Conflicts: 511000 | #Constraints: 23364
1556.83/1561.35 c #Conflicts: 512000 | #Constraints: 24364
1556.83/1561.35 c #Conflicts: 513000 | #Constraints: 25364
1556.83/1561.35 c #Conflicts: 514000 | #Constraints: 26364
1556.83/1561.35 c #Conflicts: 515000 | #Constraints: 27364
1556.83/1561.35 c #Conflicts: 516000 | #Constraints: 28364
1556.83/1561.35 c INPROCESSING
1556.83/1561.35 c GARBAGE COLLECT
1556.83/1561.35 c #Conflicts: 517000 | #Constraints: 15165
1556.83/1561.35 c #Conflicts: 518000 | #Constraints: 16165
1556.83/1561.35 c #Conflicts: 519000 | #Constraints: 17165
1556.83/1561.35 c #Conflicts: 520000 | #Constraints: 18165
1556.83/1561.35 c #Conflicts: 521000 | #Constraints: 19165
1556.83/1561.35 c #Conflicts: 522000 | #Constraints: 20165
1556.83/1561.35 c #Conflicts: 523000 | #Constraints: 21165
1556.83/1561.35 c #Conflicts: 524000 | #Constraints: 22165
1556.83/1561.35 c #Conflicts: 525000 | #Constraints: 23165
1556.83/1561.35 c #Conflicts: 526000 | #Constraints: 24165
1556.83/1561.35 c #Conflicts: 527000 | #Constraints: 25165
1556.83/1561.35 c #Conflicts: 528000 | #Constraints: 26165
1556.83/1561.35 c #Conflicts: 529000 | #Constraints: 27165
1556.83/1561.35 c #Conflicts: 530000 | #Constraints: 28165
1556.83/1561.35 c #Conflicts: 531000 | #Constraints: 29165
1556.83/1561.35 c INPROCESSING
1556.83/1561.35 c GARBAGE COLLECT
1556.83/1561.35 c #Conflicts: 532000 | #Constraints: 15757
1556.83/1561.35 c #Conflicts: 533000 | #Constraints: 16757
1556.83/1561.35 c #Conflicts: 534000 | #Constraints: 17757
1556.83/1561.35 c #Conflicts: 535000 | #Constraints: 18757
1556.83/1561.35 c #Conflicts: 536000 | #Constraints: 19757
1556.83/1561.35 c #Conflicts: 537000 | #Constraints: 20757
1556.83/1561.35 c #Conflicts: 538000 | #Constraints: 21757
1556.83/1561.35 c #Conflicts: 539000 | #Constraints: 22757
1556.83/1561.35 c #Conflicts: 540000 | #Constraints: 23757
1556.83/1561.35 c #Conflicts: 541000 | #Constraints: 24757
1556.83/1561.35 c #Conflicts: 542000 | #Constraints: 25757
1556.83/1561.35 c #Conflicts: 543000 | #Constraints: 26757
1556.83/1561.35 c #Conflicts: 544000 | #Constraints: 27757
1556.83/1561.35 c #Conflicts: 545000 | #Constraints: 28757
1556.83/1561.35 c #Conflicts: 546000 | #Constraints: 29757
1556.83/1561.35 c INPROCESSING
1556.83/1561.35 c GARBAGE COLLECT
1556.83/1561.35 c #Conflicts: 547000 | #Constraints: 16160
1556.83/1561.35 c #Conflicts: 548000 | #Constraints: 17160
1556.83/1561.35 c #Conflicts: 549000 | #Constraints: 18160
1556.83/1561.35 c #Conflicts: 550000 | #Constraints: 19160
1556.83/1561.35 c #Conflicts: 551000 | #Constraints: 20160
1556.83/1561.35 c #Conflicts: 552000 | #Constraints: 21160
1556.83/1561.35 c #Conflicts: 553000 | #Constraints: 22160
1556.83/1561.35 c #Conflicts: 554000 | #Constraints: 23160
1556.83/1561.35 c #Conflicts: 555000 | #Constraints: 24160
1556.83/1561.35 c #Conflicts: 556000 | #Constraints: 25160
1556.83/1561.35 c #Conflicts: 557000 | #Constraints: 26160
1556.83/1561.35 c #Conflicts: 558000 | #Constraints: 27160
1556.83/1561.35 c #Conflicts: 559000 | #Constraints: 28160
1556.83/1561.35 c #Conflicts: 560000 | #Constraints: 29160
1556.83/1561.35 c #Conflicts: 561000 | #Constraints: 30160
1556.83/1561.35 c INPROCESSING
1556.83/1561.35 c GARBAGE COLLECT
1556.83/1561.35 c #Conflicts: 562000 | #Constraints: 16357
1556.83/1561.35 c #Conflicts: 563000 | #Constraints: 17357
1556.83/1561.35 c #Conflicts: 564000 | #Constraints: 18357
1556.83/1561.35 c #Conflicts: 565000 | #Constraints: 19357
1556.83/1561.35 c #Conflicts: 566000 | #Constraints: 20357
1556.83/1561.35 c #Conflicts: 567000 | #Constraints: 21357
1556.83/1561.35 c #Conflicts: 568000 | #Constraints: 22357
1556.83/1561.35 c #Conflicts: 569000 | #Constraints: 23357
1556.83/1561.35 c #Conflicts: 570000 | #Constraints: 24357
1556.83/1561.35 c #Conflicts: 571000 | #Constraints: 25357
1556.83/1561.35 c #Conflicts: 572000 | #Constraints: 26357
1556.83/1561.35 c #Conflicts: 573000 | #Constraints: 27357
1556.83/1561.35 c #Conflicts: 574000 | #Constraints: 28357
1556.83/1561.35 c #Conflicts: 575000 | #Constraints: 29357
1556.83/1561.35 c #Conflicts: 576000 | #Constraints: 30357
1752.16/1757.27 c INPROCESSING
1752.16/1757.27 c GARBAGE COLLECT
1752.16/1757.27 c #Conflicts: 577000 | #Constraints: 16363
1752.16/1757.27 c #Conflicts: 578000 | #Constraints: 17363
1752.16/1757.27 c #Conflicts: 579000 | #Constraints: 18363
1752.16/1757.27 c #Conflicts: 580000 | #Constraints: 19363
1752.16/1757.27 c #Conflicts: 581000 | #Constraints: 20363
1752.16/1757.27 c #Conflicts: 582000 | #Constraints: 21363
1752.16/1757.27 c #Conflicts: 583000 | #Constraints: 22363
1752.16/1757.27 c #Conflicts: 584000 | #Constraints: 23363
1752.16/1757.27 c #Conflicts: 585000 | #Constraints: 24363
1752.16/1757.27 c #Conflicts: 586000 | #Constraints: 25363
1752.16/1757.27 c #Conflicts: 587000 | #Constraints: 26363
1752.16/1757.27 c #Conflicts: 588000 | #Constraints: 27363
1752.16/1757.27 c #Conflicts: 589000 | #Constraints: 28363
1752.16/1757.27 c #Conflicts: 590000 | #Constraints: 29363
1752.16/1757.27 c #Conflicts: 591000 | #Constraints: 30363
1752.16/1757.27 c INPROCESSING
1752.16/1757.27 c GARBAGE COLLECT
1752.16/1757.27 c #Conflicts: 592000 | #Constraints: 16159
1752.16/1757.27 c #Conflicts: 593000 | #Constraints: 17159
1752.16/1757.27 c #Conflicts: 594000 | #Constraints: 18159
1752.16/1757.27 c #Conflicts: 595000 | #Constraints: 19159
1752.16/1757.27 c #Conflicts: 596000 | #Constraints: 20159
1752.16/1757.27 c #Conflicts: 597000 | #Constraints: 21159
1752.16/1757.27 c #Conflicts: 598000 | #Constraints: 22159
1752.16/1757.27 c #Conflicts: 599000 | #Constraints: 23159
1752.16/1757.27 c #Conflicts: 600000 | #Constraints: 24159
1752.16/1757.27 c #Conflicts: 601000 | #Constraints: 25159
1752.16/1757.27 c #Conflicts: 602000 | #Constraints: 26159
1752.16/1757.27 c #Conflicts: 603000 | #Constraints: 27159
1752.16/1757.27 c #Conflicts: 604000 | #Constraints: 28159
1752.16/1757.27 c #Conflicts: 605000 | #Constraints: 29159
1752.16/1757.27 c #Conflicts: 606000 | #Constraints: 30159
1752.16/1757.27 c #Conflicts: 607000 | #Constraints: 31159
1752.16/1757.27 c INPROCESSING
1752.16/1757.27 c GARBAGE COLLECT
1752.16/1757.27 c #Conflicts: 608000 | #Constraints: 16757
1752.16/1757.27 c #Conflicts: 609000 | #Constraints: 17757
1752.16/1757.27 c #Conflicts: 610000 | #Constraints: 18757
1752.16/1757.27 c #Conflicts: 611000 | #Constraints: 19757
1752.16/1757.27 c #Conflicts: 612000 | #Constraints: 20757
1752.16/1757.27 c #Conflicts: 613000 | #Constraints: 21757
1752.16/1757.27 c #Conflicts: 614000 | #Constraints: 22757
1752.16/1757.27 c #Conflicts: 615000 | #Constraints: 23757
1752.16/1757.27 c #Conflicts: 616000 | #Constraints: 24757
1752.16/1757.27 c #Conflicts: 617000 | #Constraints: 25757
1752.16/1757.27 c #Conflicts: 618000 | #Constraints: 26757
1752.16/1757.27 c #Conflicts: 619000 | #Constraints: 27757
1752.16/1757.27 c #Conflicts: 620000 | #Constraints: 28757
1752.16/1757.27 c #Conflicts: 621000 | #Constraints: 29757
1752.16/1757.27 c #Conflicts: 622000 | #Constraints: 30757
1752.16/1757.27 c #Conflicts: 623000 | #Constraints: 31757
1752.16/1757.27 c INPROCESSING
1752.16/1757.27 c GARBAGE COLLECT
1752.16/1757.27 c #Conflicts: 624000 | #Constraints: 17153
1752.16/1757.27 c #Conflicts: 625000 | #Constraints: 18153
1752.16/1757.27 c #Conflicts: 626000 | #Constraints: 19153
1752.16/1757.27 c #Conflicts: 627000 | #Constraints: 20153
1752.16/1757.27 c #Conflicts: 628000 | #Constraints: 21153
1752.16/1757.27 c #Conflicts: 629000 | #Constraints: 22153
1752.16/1757.27 c #Conflicts: 630000 | #Constraints: 23153
1752.16/1757.27 c #Conflicts: 631000 | #Constraints: 24153
1752.16/1757.27 c #Conflicts: 632000 | #Constraints: 25153
1752.16/1757.27 c #Conflicts: 633000 | #Constraints: 26153
1752.16/1757.27 c #Conflicts: 634000 | #Constraints: 27153
1752.16/1757.27 c #Conflicts: 635000 | #Constraints: 28153
1752.16/1757.27 c #Conflicts: 636000 | #Constraints: 29153
1752.16/1757.27 c #Conflicts: 637000 | #Constraints: 30153
1752.16/1757.27 c #Conflicts: 638000 | #Constraints: 31153
1752.16/1757.27 c #Conflicts: 639000 | #Constraints: 32153
1752.16/1757.27 c INPROCESSING
1752.16/1757.27 c GARBAGE COLLECT
1752.16/1757.27 c #Conflicts: 640000 | #Constraints: 17360
1752.16/1757.27 c #Conflicts: 641000 | #Constraints: 18360
1752.16/1757.27 c #Conflicts: 642000 | #Constraints: 19360
1752.16/1757.27 c #Conflicts: 643000 | #Constraints: 20360
1752.16/1757.27 c #Conflicts: 644000 | #Constraints: 21360
1752.16/1757.27 c #Conflicts: 645000 | #Constraints: 22360
1752.16/1757.27 c #Conflicts: 646000 | #Constraints: 23360
1752.16/1757.27 c #Conflicts: 647000 | #Constraints: 24360
1752.16/1757.27 c #Conflicts: 648000 | #Constraints: 25360
1752.16/1757.27 c #Conflicts: 649000 | #Constraints: 26360
1752.16/1757.27 c #Conflicts: 650000 | #Constraints: 27360
1752.16/1757.27 c #Conflicts: 651000 | #Constraints: 28360
1752.16/1757.27 c #Conflicts: 652000 | #Constraints: 29360
1762.04/1767.15 c #Conflicts: 653000 | #Constraints: 30360
1762.04/1767.15 c #Conflicts: 654000 | #Constraints: 31360
1762.04/1767.15 c #Conflicts: 655000 | #Constraints: 32360
1762.04/1767.15 c INPROCESSING
1762.04/1767.15 c GARBAGE COLLECT
1762.04/1767.15 c GLOBAL bounds - >= 9233 @ 1734.52
1762.04/1767.17 c GLOBAL bounds - >= 9233 @ 1734.53
1762.04/1767.18 c GLOBAL bounds - >= 9233 @ 1734.54
1762.04/1767.19 c GLOBAL bounds - >= 9233 @ 1734.54
1762.13/1767.21 c GLOBAL bounds - >= 9233 @ 1734.55
1762.13/1767.22 c GLOBAL bounds - >= 9233 @ 1734.55
1762.13/1767.23 c GLOBAL bounds - >= 9233 @ 1734.56
1762.13/1767.24 c GLOBAL bounds - >= 9233 @ 1734.56
1762.43/1767.56 c GLOBAL bounds - >= 9233 @ 1734.83
1762.43/1767.57 c GLOBAL bounds - >= 9233 @ 1734.83
1762.53/1767.65 c GLOBAL bounds - >= 9233 @ 1734.86
1762.53/1767.67 c GLOBAL bounds - >= 9233 @ 1734.87
1762.63/1767.75 c GLOBAL bounds - >= 9233 @ 1734.9
1762.63/1767.76 c GLOBAL bounds - >= 9233 @ 1734.9
1762.73/1767.84 c GLOBAL bounds - >= 9233 @ 1734.94
1762.73/1767.85 c GLOBAL bounds - >= 9233 @ 1734.94
1762.82/1767.93 c GLOBAL bounds - >= 9233 @ 1734.97
1762.82/1767.95 c GLOBAL bounds - >= 9233 @ 1734.98
1762.93/1768.03 c GLOBAL bounds - >= 9233 @ 1735.01
1762.93/1768.04 c GLOBAL bounds - >= 9233 @ 1735.01
1763.03/1768.12 c GLOBAL bounds - >= 9233 @ 1735.04
1763.03/1768.16 c GLOBAL bounds - >= 9233 @ 1735.06
1763.13/1768.24 c GLOBAL bounds - >= 9233 @ 1735.09
1763.13/1768.26 c GLOBAL bounds - >= 9233 @ 1735.1
1763.23/1768.34 c GLOBAL bounds - >= 9233 @ 1735.14
1763.23/1768.35 c GLOBAL bounds - >= 9233 @ 1735.15
1763.32/1768.43 c GLOBAL bounds - >= 9233 @ 1735.18
1763.43/1768.51 c GLOBAL bounds - >= 9233 @ 1735.22
1763.43/1768.59 c GLOBAL bounds - >= 9233 @ 1735.25
1763.53/1768.68 c GLOBAL bounds - >= 9233 @ 1735.28
1763.62/1768.76 c GLOBAL bounds - >= 9233 @ 1735.32
1763.73/1768.84 c GLOBAL bounds - >= 9233 @ 1735.36
1763.82/1768.94 c GLOBAL bounds - >= 9233 @ 1735.41
1763.92/1769.04 c GLOBAL bounds - >= 9233 @ 1735.45
1764.02/1769.12 c GLOBAL bounds - >= 9233 @ 1735.49
1764.32/1769.44 c GLOBAL bounds - >= 9233 @ 1735.75
1764.52/1769.65 c GLOBAL bounds - >= 9233 @ 1735.91
1772.19/1777.31 c #Conflicts: 656000 | #Constraints: 17387
1772.19/1777.31 c #Conflicts: 657000 | #Constraints: 18387
1772.19/1777.31 c #Conflicts: 658000 | #Constraints: 19387
1772.19/1777.31 c GLOBAL bounds - >= 9233 @ 1743.44
1772.19/1777.31 c GLOBAL bounds - >= 9233 @ 1743.45
1772.19/1777.33 c GLOBAL bounds - >= 9233 @ 1743.46
1772.19/1777.34 c GLOBAL bounds - >= 9233 @ 1743.46
1772.19/1777.35 c GLOBAL bounds - >= 9233 @ 1743.47
1772.19/1777.36 c GLOBAL bounds - >= 9233 @ 1743.48
1772.19/1777.38 c GLOBAL bounds - >= 9233 @ 1743.48
1772.30/1777.48 c GLOBAL bounds - >= 9233 @ 1743.53
1772.30/1777.49 c GLOBAL bounds - >= 9233 @ 1743.54
1772.80/1777.95 c #Conflicts: 659000 | #Constraints: 20392
1772.80/1777.95 c GLOBAL bounds - >= 9233 @ 1743.95
1772.80/1777.97 c GLOBAL bounds - >= 9233 @ 1743.96
1772.90/1778.05 c GLOBAL bounds - >= 9233 @ 1743.99
1772.90/1778.07 c GLOBAL bounds - >= 9233 @ 1743.99
1773.00/1778.16 c GLOBAL bounds - >= 9233 @ 1744.04
1773.00/1778.17 c GLOBAL bounds - >= 9233 @ 1744.04
1773.10/1778.26 c GLOBAL bounds - >= 9233 @ 1744.08
1773.10/1778.28 c GLOBAL bounds - >= 9233 @ 1744.09
1773.20/1778.36 c GLOBAL bounds - >= 9233 @ 1744.13
1773.20/1778.38 c GLOBAL bounds - >= 9233 @ 1744.14
1773.29/1778.46 c GLOBAL bounds - >= 9233 @ 1744.17
1773.29/1778.48 c GLOBAL bounds - >= 9233 @ 1744.18
1773.40/1778.56 c GLOBAL bounds - >= 9233 @ 1744.21
1773.40/1778.57 c GLOBAL bounds - >= 9233 @ 1744.22
1773.50/1778.65 c GLOBAL bounds - >= 9233 @ 1744.25
1773.50/1778.67 c GLOBAL bounds - >= 9233 @ 1744.26
1773.60/1778.75 c GLOBAL bounds - >= 9233 @ 1744.29
1773.69/1778.84 c GLOBAL bounds - >= 9233 @ 1744.33
1773.79/1778.92 c GLOBAL bounds - >= 9233 @ 1744.37
1773.89/1779.01 c GLOBAL bounds - >= 9233 @ 1744.41
1774.00/1779.10 c GLOBAL bounds - >= 9233 @ 1744.46
1774.09/1779.20 c GLOBAL bounds - >= 9233 @ 1744.51
1774.20/1779.31 c GLOBAL bounds - >= 9233 @ 1744.55
1774.29/1779.47 c GLOBAL bounds - >= 9233 @ 1744.67
1855.05/1860.46 c #Conflicts: 660000 | #Constraints: 21403
1855.05/1860.46 c #Conflicts: 661000 | #Constraints: 22403
1855.05/1860.46 c #Conflicts: 662000 | #Constraints: 23403
1855.05/1860.46 c #Conflicts: 663000 | #Constraints: 24403
1855.05/1860.46 c #Conflicts: 664000 | #Constraints: 25403
1855.05/1860.46 c #Conflicts: 665000 | #Constraints: 26403
1855.05/1860.46 c #Conflicts: 666000 | #Constraints: 27403
1855.05/1860.46 c #Conflicts: 667000 | #Constraints: 28403
1855.05/1860.46 c #Conflicts: 668000 | #Constraints: 29403
1855.05/1860.46 c #Conflicts: 669000 | #Constraints: 30403
1855.05/1860.46 c #Conflicts: 670000 | #Constraints: 31403
1855.05/1860.46 c #Conflicts: 671000 | #Constraints: 32403
1855.05/1860.46 c INPROCESSING
1855.05/1860.46 c GARBAGE COLLECT
1855.05/1860.46 c #Conflicts: 672000 | #Constraints: 17206
1855.05/1860.46 c #Conflicts: 673000 | #Constraints: 18206
1855.05/1860.46 c #Conflicts: 674000 | #Constraints: 19206
1855.05/1860.46 c #Conflicts: 675000 | #Constraints: 20206
1855.05/1860.46 c #Conflicts: 676000 | #Constraints: 21206
1855.05/1860.46 c #Conflicts: 677000 | #Constraints: 22206
1855.05/1860.46 c #Conflicts: 678000 | #Constraints: 23206
1855.05/1860.46 c #Conflicts: 679000 | #Constraints: 24206
1855.05/1860.46 c #Conflicts: 680000 | #Constraints: 25206
1855.05/1860.46 c #Conflicts: 681000 | #Constraints: 26206
1855.05/1860.46 c #Conflicts: 682000 | #Constraints: 27206
1855.05/1860.46 c #Conflicts: 683000 | #Constraints: 28206
1855.05/1860.46 c #Conflicts: 684000 | #Constraints: 29206
1855.05/1860.46 c GLOBAL bounds - >= 9234 @ 1824.3
1855.05/1860.48 c GLOBAL bounds - >= 9234 @ 1824.32
1855.05/1860.49 c GLOBAL bounds - >= 9234 @ 1824.33
1855.15/1860.50 c GLOBAL bounds - >= 9234 @ 1824.33
1855.15/1860.52 c GLOBAL bounds - >= 9234 @ 1824.33
1855.25/1860.61 c GLOBAL bounds - >= 9234 @ 1824.38
1855.25/1860.61 c GLOBAL bounds - >= 9234 @ 1824.38
1855.25/1860.69 c GLOBAL bounds - >= 9234 @ 1824.42
1855.35/1860.70 c GLOBAL bounds - >= 9234 @ 1824.42
1855.35/1860.78 c GLOBAL bounds - >= 9234 @ 1824.46
1855.45/1860.80 c GLOBAL bounds - >= 9234 @ 1824.46
1855.95/1861.35 c #Conflicts: 685000 | #Constraints: 30212
1855.95/1861.35 c GLOBAL bounds - >= 9234 @ 1824.96
1855.95/1861.36 c GLOBAL bounds - >= 9234 @ 1824.97
1856.05/1861.44 c GLOBAL bounds - >= 9234 @ 1825
1856.05/1861.45 c GLOBAL bounds - >= 9234 @ 1825.01
1856.15/1861.53 c GLOBAL bounds - >= 9234 @ 1825.05
1856.15/1861.55 c GLOBAL bounds - >= 9234 @ 1825.05
1856.25/1861.63 c GLOBAL bounds - >= 9234 @ 1825.08
1856.25/1861.64 c GLOBAL bounds - >= 9234 @ 1825.09
1856.35/1861.72 c GLOBAL bounds - >= 9234 @ 1825.11
1856.35/1861.74 c GLOBAL bounds - >= 9234 @ 1825.12
1856.45/1861.82 c GLOBAL bounds - >= 9234 @ 1825.15
1856.45/1861.83 c GLOBAL bounds - >= 9234 @ 1825.16
1856.55/1861.92 c GLOBAL bounds - >= 9234 @ 1825.18
1856.65/1862.00 c GLOBAL bounds - >= 9234 @ 1825.22
1856.65/1862.09 c GLOBAL bounds - >= 9234 @ 1825.25
1856.75/1862.17 c GLOBAL bounds - >= 9234 @ 1825.28
1856.84/1862.26 c GLOBAL bounds - >= 9234 @ 1825.32
1856.94/1862.34 c GLOBAL bounds - >= 9234 @ 1825.35
1857.04/1862.42 c GLOBAL bounds - >= 9234 @ 1825.39
1857.14/1862.51 c GLOBAL bounds - >= 9234 @ 1825.43
1857.25/1862.65 c GLOBAL bounds - >= 9234 @ 1825.51
1857.65/1863.08 c GLOBAL bounds - >= 9234 @ 1825.9
1857.65/1863.09 c GLOBAL bounds - >= 9234 @ 1825.9
1857.75/1863.11 c GLOBAL bounds - >= 9234 @ 1825.91
1857.75/1863.12 c GLOBAL bounds - >= 9234 @ 1825.92
1857.75/1863.13 c GLOBAL bounds - >= 9234 @ 1825.92
1857.75/1863.14 c GLOBAL bounds - >= 9234 @ 1825.93
1857.75/1863.15 c GLOBAL bounds - >= 9234 @ 1825.93
1857.75/1863.16 c GLOBAL bounds - >= 9234 @ 1825.94
1857.85/1863.27 c GLOBAL bounds - >= 9234 @ 1825.99
1857.85/1863.29 c GLOBAL bounds - >= 9234 @ 1825.99
1857.94/1863.37 c GLOBAL bounds - >= 9234 @ 1826.02
1857.94/1863.38 c GLOBAL bounds - >= 9234 @ 1826.03
1858.04/1863.46 c GLOBAL bounds - >= 9234 @ 1826.06
1858.04/1863.48 c GLOBAL bounds - >= 9234 @ 1826.07
1858.15/1863.56 c GLOBAL bounds - >= 9234 @ 1826.1
1858.15/1863.57 c GLOBAL bounds - >= 9234 @ 1826.11
1858.24/1863.66 c GLOBAL bounds - >= 9234 @ 1826.14
1858.24/1863.67 c GLOBAL bounds - >= 9234 @ 1826.15
1858.34/1863.75 c GLOBAL bounds - >= 9234 @ 1826.19
1858.34/1863.77 c GLOBAL bounds - >= 9234 @ 1826.19
1858.44/1863.85 c GLOBAL bounds - >= 9234 @ 1826.22
1858.44/1863.86 c GLOBAL bounds - >= 9234 @ 1826.23
1858.54/1863.95 c GLOBAL bounds - >= 9234 @ 1826.27
1858.54/1863.97 c GLOBAL bounds - >= 9234 @ 1826.28
1858.64/1864.05 c GLOBAL bounds - >= 9234 @ 1826.31
1858.64/1864.08 c GLOBAL bounds - >= 9234 @ 1826.33
1858.75/1864.16 c GLOBAL bounds - >= 9234 @ 1826.36
1858.84/1864.24 c GLOBAL bounds - >= 9234 @ 1826.4
1858.94/1864.33 c GLOBAL bounds - >= 9234 @ 1826.44
1859.04/1864.42 c GLOBAL bounds - >= 9234 @ 1826.49
1859.14/1864.50 c GLOBAL bounds - >= 9234 @ 1826.53
1859.14/1864.59 c GLOBAL bounds - >= 9234 @ 1826.57
1859.24/1864.67 c GLOBAL bounds - >= 9234 @ 1826.61
1859.34/1864.75 c GLOBAL bounds - >= 9234 @ 1826.64
1859.44/1864.86 c GLOBAL bounds - >= 9234 @ 1826.71
1859.64/1865.03 c GLOBAL bounds - >= 9234 @ 1826.82
1860.84/1866.20 c GLOBAL bounds - >= 9234 @ 1827.92
1860.84/1866.20 c GLOBAL bounds - >= 9234 @ 1827.93
1860.84/1866.22 c GLOBAL bounds - >= 9234 @ 1827.94
1860.84/1866.23 c GLOBAL bounds - >= 9234 @ 1827.94
1860.84/1866.24 c GLOBAL bounds - >= 9234 @ 1827.95
1860.84/1866.25 c GLOBAL bounds - >= 9234 @ 1827.95
1860.84/1866.27 c GLOBAL bounds - >= 9234 @ 1827.96
1860.84/1866.29 c GLOBAL bounds - >= 9234 @ 1827.97
1860.93/1866.30 c GLOBAL bounds - >= 9234 @ 1827.98
1860.93/1866.32 c GLOBAL bounds - >= 9234 @ 1827.99
1861.13/1866.57 c GLOBAL bounds - >= 9234 @ 1828.2
1861.13/1866.58 c GLOBAL bounds - >= 9234 @ 1828.21
1861.24/1866.67 c GLOBAL bounds - >= 9234 @ 1828.24
1861.24/1866.68 c GLOBAL bounds - >= 9234 @ 1828.25
1861.34/1866.77 c GLOBAL bounds - >= 9234 @ 1828.28
1861.34/1866.78 c GLOBAL bounds - >= 9234 @ 1828.28
1861.44/1866.87 c GLOBAL bounds - >= 9234 @ 1828.32
1861.44/1866.89 c #Conflicts: 1000 | #Constraints: 276020
1861.44/1866.89 c GLOBAL bounds - >= 9234 @ 1828.34
1861.53/1866.97 c GLOBAL bounds - >= 9234 @ 1828.37
1861.53/1866.99 c GLOBAL bounds - >= 9234 @ 1828.37
1861.64/1867.07 c GLOBAL bounds - >= 9234 @ 1828.41
1861.64/1867.08 c GLOBAL bounds - >= 9234 @ 1828.42
1861.74/1867.17 c GLOBAL bounds - >= 9234 @ 1828.44
1861.74/1867.18 c GLOBAL bounds - >= 9234 @ 1828.45
1861.83/1867.26 c GLOBAL bounds - >= 9234 @ 1828.49
1861.83/1867.28 c GLOBAL bounds - >= 9234 @ 1828.5
1861.94/1867.36 c GLOBAL bounds - >= 9234 @ 1828.52
1861.94/1867.38 c GLOBAL bounds - >= 9234 @ 1828.53
1862.04/1867.47 c GLOBAL bounds - >= 9234 @ 1828.57
1862.13/1867.56 c GLOBAL bounds - >= 9234 @ 1828.61
1862.23/1867.64 c GLOBAL bounds - >= 9234 @ 1828.66
1862.33/1867.73 c GLOBAL bounds - >= 9234 @ 1828.7
1862.43/1867.82 c GLOBAL bounds - >= 9234 @ 1828.74
1862.54/1867.91 c GLOBAL bounds - >= 9234 @ 1828.78
1862.54/1868.00 c GLOBAL bounds - >= 9234 @ 1828.81
1862.63/1868.09 c GLOBAL bounds - >= 9234 @ 1828.86
1862.83/1868.21 c #Conflicts: 686000 | #Constraints: 31278
1862.83/1868.21 c GLOBAL bounds - >= 9234 @ 1828.92
1862.93/1868.32 c GLOBAL bounds - >= 9234 @ 1828.98
1863.03/1868.41 c GLOBAL bounds - >= 9234 @ 1829.03
1864.13/1869.59 c GLOBAL bounds - >= 9234 @ 1830.14
1889.06/1894.50 c #Conflicts: 687000 | #Constraints: 32278
1889.06/1894.50 c #Conflicts: 688000 | #Constraints: 33278
1889.06/1894.50 c INPROCESSING
1889.06/1894.50 c GARBAGE COLLECT
1889.06/1894.50 c #Conflicts: 689000 | #Constraints: 17871
1889.06/1894.50 c #Conflicts: 690000 | #Constraints: 18871
1889.06/1894.50 c #Conflicts: 691000 | #Constraints: 19871
1889.06/1894.50 c #Conflicts: 692000 | #Constraints: 20871
1889.06/1894.50 c #Conflicts: 693000 | #Constraints: 21871
1889.06/1894.50 c #Conflicts: 694000 | #Constraints: 22871
1889.06/1894.50 c GLOBAL bounds - >= 9234 @ 1854.75
1889.06/1894.50 c GLOBAL bounds - >= 9234 @ 1854.76
1889.06/1894.52 c GLOBAL bounds - >= 9234 @ 1854.77
1889.06/1894.53 c GLOBAL bounds - >= 9234 @ 1854.77
1889.06/1894.54 c GLOBAL bounds - >= 9234 @ 1854.78
1889.06/1894.56 c GLOBAL bounds - >= 9234 @ 1854.78
1889.06/1894.57 c GLOBAL bounds - >= 9234 @ 1854.79
1889.06/1894.58 c GLOBAL bounds - >= 9234 @ 1854.79
1889.06/1894.59 c GLOBAL bounds - >= 9234 @ 1854.8
1890.15/1895.66 c #Conflicts: 695000 | #Constraints: 23877
1890.15/1895.66 c GLOBAL bounds - >= 9234 @ 1855.82
1890.15/1895.68 c GLOBAL bounds - >= 9234 @ 1855.82
1890.24/1895.77 c GLOBAL bounds - >= 9234 @ 1855.86
1890.24/1895.78 c GLOBAL bounds - >= 9234 @ 1855.87
1890.45/1895.91 c GLOBAL bounds - >= 9234 @ 1855.95
1890.45/1895.92 c GLOBAL bounds - >= 9234 @ 1855.95
1890.56/1896.00 c GLOBAL bounds - >= 9234 @ 1855.98
1890.56/1896.01 c GLOBAL bounds - >= 9234 @ 1855.99
1890.56/1896.10 c GLOBAL bounds - >= 9234 @ 1856.02
1890.66/1896.11 c GLOBAL bounds - >= 9234 @ 1856.02
1890.66/1896.19 c GLOBAL bounds - >= 9234 @ 1856.05
1890.74/1896.20 c GLOBAL bounds - >= 9234 @ 1856.06
1890.74/1896.29 c GLOBAL bounds - >= 9234 @ 1856.09
1890.85/1896.30 c GLOBAL bounds - >= 9234 @ 1856.09
1890.85/1896.38 c GLOBAL bounds - >= 9234 @ 1856.12
1890.94/1896.40 c GLOBAL bounds - >= 9234 @ 1856.13
1890.94/1896.48 c GLOBAL bounds - >= 9234 @ 1856.15
1890.94/1896.49 c GLOBAL bounds - >= 9234 @ 1856.15
1891.04/1896.58 c GLOBAL bounds - >= 9234 @ 1856.18
1891.15/1896.66 c GLOBAL bounds - >= 9234 @ 1856.21
1891.25/1896.75 c GLOBAL bounds - >= 9234 @ 1856.25
1891.34/1896.84 c GLOBAL bounds - >= 9234 @ 1856.29
1891.45/1896.92 c GLOBAL bounds - >= 9234 @ 1856.32
1891.55/1897.01 c GLOBAL bounds - >= 9234 @ 1856.35
1891.65/1897.10 c GLOBAL bounds - >= 9234 @ 1856.39
1891.65/1897.19 c GLOBAL bounds - >= 9234 @ 1856.43
1891.74/1897.28 c GLOBAL bounds - >= 9234 @ 1856.47
1891.85/1897.37 c GLOBAL bounds - >= 9234 @ 1856.51
1891.95/1897.47 c GLOBAL bounds - >= 9234 @ 1856.56
2106.71/2112.81 c #Conflicts: 696000 | #Constraints: 24906
2106.71/2112.81 c #Conflicts: 697000 | #Constraints: 25906
2106.71/2112.81 c #Conflicts: 698000 | #Constraints: 26906
2106.71/2112.81 c #Conflicts: 699000 | #Constraints: 27906
2106.71/2112.81 c #Conflicts: 700000 | #Constraints: 28906
2106.71/2112.81 c #Conflicts: 701000 | #Constraints: 29906
2106.71/2112.81 c #Conflicts: 702000 | #Constraints: 30906
2106.71/2112.81 c #Conflicts: 703000 | #Constraints: 31906
2106.71/2112.81 c #Conflicts: 704000 | #Constraints: 32906
2106.71/2112.81 c #Conflicts: 705000 | #Constraints: 33906
2106.71/2112.81 c INPROCESSING
2106.71/2112.81 c GARBAGE COLLECT
2106.71/2112.81 c #Conflicts: 706000 | #Constraints: 18302
2106.71/2112.81 c #Conflicts: 707000 | #Constraints: 19302
2106.71/2112.81 c #Conflicts: 708000 | #Constraints: 20302
2106.71/2112.81 c #Conflicts: 709000 | #Constraints: 21302
2106.71/2112.81 c #Conflicts: 710000 | #Constraints: 22302
2106.71/2112.81 c #Conflicts: 711000 | #Constraints: 23302
2106.71/2112.81 c #Conflicts: 712000 | #Constraints: 24302
2106.71/2112.81 c #Conflicts: 713000 | #Constraints: 25302
2106.71/2112.81 c #Conflicts: 714000 | #Constraints: 26302
2106.71/2112.81 c #Conflicts: 715000 | #Constraints: 27302
2106.71/2112.81 c #Conflicts: 716000 | #Constraints: 28302
2106.71/2112.81 c #Conflicts: 717000 | #Constraints: 29302
2106.71/2112.81 c #Conflicts: 718000 | #Constraints: 30302
2106.71/2112.81 c #Conflicts: 719000 | #Constraints: 31302
2106.71/2112.81 c #Conflicts: 720000 | #Constraints: 32302
2106.71/2112.81 c #Conflicts: 721000 | #Constraints: 33302
2106.71/2112.81 c #Conflicts: 722000 | #Constraints: 34302
2106.71/2112.81 c INPROCESSING
2106.71/2112.81 c GARBAGE COLLECT
2106.71/2112.81 c #Conflicts: 723000 | #Constraints: 18501
2106.71/2112.81 c #Conflicts: 724000 | #Constraints: 19501
2106.71/2112.81 c #Conflicts: 725000 | #Constraints: 20501
2106.71/2112.81 c #Conflicts: 726000 | #Constraints: 21501
2106.71/2112.81 c #Conflicts: 727000 | #Constraints: 22501
2106.71/2112.81 c #Conflicts: 728000 | #Constraints: 23501
2106.71/2112.81 c #Conflicts: 729000 | #Constraints: 24501
2106.71/2112.81 c #Conflicts: 730000 | #Constraints: 25501
2106.71/2112.81 c #Conflicts: 731000 | #Constraints: 26501
2106.71/2112.81 c #Conflicts: 732000 | #Constraints: 27501
2106.71/2112.81 c #Conflicts: 733000 | #Constraints: 28501
2106.71/2112.81 c #Conflicts: 734000 | #Constraints: 29501
2106.71/2112.81 c #Conflicts: 735000 | #Constraints: 30501
2106.71/2112.81 c #Conflicts: 736000 | #Constraints: 31501
2106.71/2112.81 c #Conflicts: 737000 | #Constraints: 32501
2106.71/2112.81 c #Conflicts: 738000 | #Constraints: 33501
2106.71/2112.81 c #Conflicts: 739000 | #Constraints: 34501
2106.71/2112.81 c INPROCESSING
2106.71/2112.81 c GARBAGE COLLECT
2106.71/2112.81 c #Conflicts: 740000 | #Constraints: 18510
2106.71/2112.81 c #Conflicts: 741000 | #Constraints: 19510
2106.71/2112.81 c #Conflicts: 742000 | #Constraints: 20510
2106.71/2112.81 c #Conflicts: 743000 | #Constraints: 21510
2106.71/2112.81 c #Conflicts: 744000 | #Constraints: 22510
2106.71/2112.81 c #Conflicts: 745000 | #Constraints: 23510
2106.71/2112.81 c #Conflicts: 746000 | #Constraints: 24510
2106.71/2112.81 c #Conflicts: 747000 | #Constraints: 25510
2106.71/2112.81 c #Conflicts: 748000 | #Constraints: 26510
2106.71/2112.81 c #Conflicts: 749000 | #Constraints: 27510
2106.71/2112.81 c #Conflicts: 750000 | #Constraints: 28510
2106.71/2112.81 c #Conflicts: 751000 | #Constraints: 29510
2106.71/2112.81 c #Conflicts: 752000 | #Constraints: 30510
2106.71/2112.81 c #Conflicts: 753000 | #Constraints: 31510
2106.71/2112.81 c #Conflicts: 754000 | #Constraints: 32510
2106.71/2112.81 c #Conflicts: 755000 | #Constraints: 33510
2106.71/2112.81 c #Conflicts: 756000 | #Constraints: 34510
2106.71/2112.81 c INPROCESSING
2106.71/2112.81 c GARBAGE COLLECT
2106.71/2112.81 c #Conflicts: 757000 | #Constraints: 18303
2106.71/2112.81 c #Conflicts: 758000 | #Constraints: 19303
2106.71/2112.81 c #Conflicts: 759000 | #Constraints: 20303
2106.71/2112.81 c #Conflicts: 760000 | #Constraints: 21303
2106.71/2112.81 c #Conflicts: 761000 | #Constraints: 22303
2106.71/2112.81 c #Conflicts: 762000 | #Constraints: 23303
2106.71/2112.81 c #Conflicts: 763000 | #Constraints: 24303
2106.71/2112.81 c #Conflicts: 764000 | #Constraints: 25303
2106.71/2112.81 c #Conflicts: 765000 | #Constraints: 26303
2106.71/2112.81 c #Conflicts: 766000 | #Constraints: 27303
2106.71/2112.81 c #Conflicts: 767000 | #Constraints: 28303
2106.71/2112.81 c #Conflicts: 768000 | #Constraints: 29303
2106.71/2112.81 c #Conflicts: 769000 | #Constraints: 30303
2106.71/2112.81 c #Conflicts: 770000 | #Constraints: 31303
2106.71/2112.81 c #Conflicts: 771000 | #Constraints: 32303
2106.71/2112.81 c #Conflicts: 772000 | #Constraints: 33303
2321.86/2328.67 c #Conflicts: 773000 | #Constraints: 34303
2321.86/2328.67 c #Conflicts: 774000 | #Constraints: 35303
2321.86/2328.67 c INPROCESSING
2321.86/2328.67 c GARBAGE COLLECT
2321.86/2328.67 c #Conflicts: 775000 | #Constraints: 18891
2321.86/2328.67 c #Conflicts: 776000 | #Constraints: 19891
2321.86/2328.67 c #Conflicts: 777000 | #Constraints: 20891
2321.86/2328.67 c #Conflicts: 778000 | #Constraints: 21891
2321.86/2328.67 c #Conflicts: 779000 | #Constraints: 22891
2321.86/2328.67 c #Conflicts: 780000 | #Constraints: 23891
2321.86/2328.67 c #Conflicts: 781000 | #Constraints: 24891
2321.86/2328.67 c #Conflicts: 782000 | #Constraints: 25891
2321.86/2328.67 c #Conflicts: 783000 | #Constraints: 26891
2321.86/2328.67 c #Conflicts: 784000 | #Constraints: 27891
2321.86/2328.67 c #Conflicts: 785000 | #Constraints: 28891
2321.86/2328.67 c #Conflicts: 786000 | #Constraints: 29891
2321.86/2328.67 c #Conflicts: 787000 | #Constraints: 30891
2321.86/2328.67 c #Conflicts: 788000 | #Constraints: 31891
2321.86/2328.67 c #Conflicts: 789000 | #Constraints: 32891
2321.86/2328.67 c #Conflicts: 790000 | #Constraints: 33891
2321.86/2328.67 c #Conflicts: 791000 | #Constraints: 34891
2321.86/2328.67 c #Conflicts: 792000 | #Constraints: 35891
2321.86/2328.67 c INPROCESSING
2321.86/2328.67 c GARBAGE COLLECT
2321.86/2328.67 c #Conflicts: 793000 | #Constraints: 19294
2321.86/2328.67 c #Conflicts: 794000 | #Constraints: 20294
2321.86/2328.67 c #Conflicts: 795000 | #Constraints: 21294
2321.86/2328.67 c #Conflicts: 796000 | #Constraints: 22294
2321.86/2328.67 c #Conflicts: 797000 | #Constraints: 23294
2321.86/2328.67 c #Conflicts: 798000 | #Constraints: 24294
2321.86/2328.67 c #Conflicts: 799000 | #Constraints: 25294
2321.86/2328.67 c #Conflicts: 800000 | #Constraints: 26294
2321.86/2328.67 c #Conflicts: 801000 | #Constraints: 27294
2321.86/2328.67 c #Conflicts: 802000 | #Constraints: 28294
2321.86/2328.67 c #Conflicts: 803000 | #Constraints: 29294
2321.86/2328.67 c #Conflicts: 804000 | #Constraints: 30294
2321.86/2328.67 c #Conflicts: 805000 | #Constraints: 31294
2321.86/2328.67 c #Conflicts: 806000 | #Constraints: 32294
2321.86/2328.67 c #Conflicts: 807000 | #Constraints: 33294
2321.86/2328.67 c #Conflicts: 808000 | #Constraints: 34294
2321.86/2328.67 c #Conflicts: 809000 | #Constraints: 35294
2321.86/2328.67 c #Conflicts: 810000 | #Constraints: 36294
2321.86/2328.67 c INPROCESSING
2321.86/2328.67 c GARBAGE COLLECT
2321.86/2328.67 c #Conflicts: 811000 | #Constraints: 19495
2321.86/2328.67 c #Conflicts: 812000 | #Constraints: 20495
2321.86/2328.67 c #Conflicts: 813000 | #Constraints: 21495
2321.86/2328.67 c #Conflicts: 814000 | #Constraints: 22495
2321.86/2328.67 c #Conflicts: 815000 | #Constraints: 23495
2321.86/2328.67 c #Conflicts: 816000 | #Constraints: 24495
2321.86/2328.67 c #Conflicts: 817000 | #Constraints: 25495
2321.86/2328.67 c #Conflicts: 818000 | #Constraints: 26495
2321.86/2328.67 c #Conflicts: 819000 | #Constraints: 27495
2321.86/2328.67 c #Conflicts: 820000 | #Constraints: 28495
2321.86/2328.67 c #Conflicts: 821000 | #Constraints: 29495
2321.86/2328.67 c #Conflicts: 822000 | #Constraints: 30495
2321.86/2328.67 c #Conflicts: 823000 | #Constraints: 31495
2321.86/2328.67 c #Conflicts: 824000 | #Constraints: 32495
2321.86/2328.67 c #Conflicts: 825000 | #Constraints: 33495
2321.86/2328.67 c #Conflicts: 826000 | #Constraints: 34495
2321.86/2328.67 c #Conflicts: 827000 | #Constraints: 35495
2321.86/2328.67 c #Conflicts: 828000 | #Constraints: 36495
2321.86/2328.67 c INPROCESSING
2321.86/2328.67 c GARBAGE COLLECT
2321.86/2328.67 c #Conflicts: 829000 | #Constraints: 19499
2321.86/2328.67 c #Conflicts: 830000 | #Constraints: 20499
2321.86/2328.67 c #Conflicts: 831000 | #Constraints: 21499
2321.86/2328.67 c #Conflicts: 832000 | #Constraints: 22499
2321.86/2328.67 c #Conflicts: 833000 | #Constraints: 23499
2321.86/2328.67 c #Conflicts: 834000 | #Constraints: 24499
2321.86/2328.67 c #Conflicts: 835000 | #Constraints: 25499
2321.86/2328.67 c #Conflicts: 836000 | #Constraints: 26499
2321.86/2328.67 c #Conflicts: 837000 | #Constraints: 27499
2321.86/2328.67 c #Conflicts: 838000 | #Constraints: 28499
2321.86/2328.67 c #Conflicts: 839000 | #Constraints: 29499
2321.86/2328.67 c #Conflicts: 840000 | #Constraints: 30499
2321.86/2328.67 c #Conflicts: 841000 | #Constraints: 31499
2321.86/2328.67 c #Conflicts: 842000 | #Constraints: 32499
2321.86/2328.67 c #Conflicts: 843000 | #Constraints: 33499
2321.86/2328.67 c #Conflicts: 844000 | #Constraints: 34499
2321.86/2328.67 c #Conflicts: 845000 | #Constraints: 35499
2321.86/2328.67 c #Conflicts: 846000 | #Constraints: 36499
2321.86/2328.67 c INPROCESSING
2321.86/2328.67 c GARBAGE COLLECT
2321.86/2328.67 c #Conflicts: 847000 | #Constraints: 19291
2552.30/2559.75 c #Conflicts: 848000 | #Constraints: 20291
2552.30/2559.75 c #Conflicts: 849000 | #Constraints: 21291
2552.30/2559.75 c #Conflicts: 850000 | #Constraints: 22291
2552.30/2559.75 c #Conflicts: 851000 | #Constraints: 23291
2552.30/2559.75 c #Conflicts: 852000 | #Constraints: 24291
2552.30/2559.75 c #Conflicts: 853000 | #Constraints: 25291
2552.30/2559.75 c #Conflicts: 854000 | #Constraints: 26291
2552.30/2559.75 c #Conflicts: 855000 | #Constraints: 27291
2552.30/2559.75 c #Conflicts: 856000 | #Constraints: 28291
2552.30/2559.75 c #Conflicts: 857000 | #Constraints: 29291
2552.30/2559.75 c #Conflicts: 858000 | #Constraints: 30291
2552.30/2559.75 c #Conflicts: 859000 | #Constraints: 31291
2552.30/2559.75 c #Conflicts: 860000 | #Constraints: 32291
2552.30/2559.75 c #Conflicts: 861000 | #Constraints: 33291
2552.30/2559.75 c #Conflicts: 862000 | #Constraints: 34291
2552.30/2559.75 c #Conflicts: 863000 | #Constraints: 35291
2552.30/2559.75 c #Conflicts: 864000 | #Constraints: 36291
2552.30/2559.75 c #Conflicts: 865000 | #Constraints: 37291
2552.30/2559.75 c INPROCESSING
2552.30/2559.75 c GARBAGE COLLECT
2552.30/2559.75 c #Conflicts: 866000 | #Constraints: 19892
2552.30/2559.75 c #Conflicts: 867000 | #Constraints: 20892
2552.30/2559.75 c #Conflicts: 868000 | #Constraints: 21892
2552.30/2559.75 c #Conflicts: 869000 | #Constraints: 22892
2552.30/2559.75 c #Conflicts: 870000 | #Constraints: 23892
2552.30/2559.75 c #Conflicts: 871000 | #Constraints: 24892
2552.30/2559.75 c #Conflicts: 872000 | #Constraints: 25892
2552.30/2559.75 c #Conflicts: 873000 | #Constraints: 26892
2552.30/2559.75 c #Conflicts: 874000 | #Constraints: 27892
2552.30/2559.75 c #Conflicts: 875000 | #Constraints: 28892
2552.30/2559.75 c #Conflicts: 876000 | #Constraints: 29892
2552.30/2559.75 c #Conflicts: 877000 | #Constraints: 30892
2552.30/2559.75 c #Conflicts: 878000 | #Constraints: 31892
2552.30/2559.75 c #Conflicts: 879000 | #Constraints: 32892
2552.30/2559.75 c #Conflicts: 880000 | #Constraints: 33892
2552.30/2559.75 c #Conflicts: 881000 | #Constraints: 34892
2552.30/2559.75 c #Conflicts: 882000 | #Constraints: 35892
2552.30/2559.75 c #Conflicts: 883000 | #Constraints: 36892
2552.30/2559.75 c #Conflicts: 884000 | #Constraints: 37892
2552.30/2559.75 c INPROCESSING
2552.30/2559.75 c GARBAGE COLLECT
2552.30/2559.75 c #Conflicts: 885000 | #Constraints: 20299
2552.30/2559.75 c #Conflicts: 886000 | #Constraints: 21299
2552.30/2559.75 c #Conflicts: 887000 | #Constraints: 22299
2552.30/2559.75 c #Conflicts: 888000 | #Constraints: 23299
2552.30/2559.75 c #Conflicts: 889000 | #Constraints: 24299
2552.30/2559.75 c #Conflicts: 890000 | #Constraints: 25299
2552.30/2559.75 c #Conflicts: 891000 | #Constraints: 26299
2552.30/2559.75 c #Conflicts: 892000 | #Constraints: 27299
2552.30/2559.75 c #Conflicts: 893000 | #Constraints: 28299
2552.30/2559.75 c #Conflicts: 894000 | #Constraints: 29299
2552.30/2559.75 c #Conflicts: 895000 | #Constraints: 30299
2552.30/2559.75 c #Conflicts: 896000 | #Constraints: 31299
2552.30/2559.75 c #Conflicts: 897000 | #Constraints: 32299
2552.30/2559.75 c #Conflicts: 898000 | #Constraints: 33299
2552.30/2559.75 c #Conflicts: 899000 | #Constraints: 34299
2552.30/2559.75 c #Conflicts: 900000 | #Constraints: 35299
2552.30/2559.75 c #Conflicts: 901000 | #Constraints: 36299
2552.30/2559.75 c #Conflicts: 902000 | #Constraints: 37299
2552.30/2559.75 c #Conflicts: 903000 | #Constraints: 38299
2552.30/2559.75 c INPROCESSING
2552.30/2559.75 c GARBAGE COLLECT
2552.30/2559.75 c #Conflicts: 904000 | #Constraints: 20482
2552.30/2559.75 c #Conflicts: 905000 | #Constraints: 21482
2552.30/2559.75 c #Conflicts: 906000 | #Constraints: 22482
2552.30/2559.75 c #Conflicts: 907000 | #Constraints: 23482
2552.30/2559.75 c #Conflicts: 908000 | #Constraints: 24482
2552.30/2559.75 c #Conflicts: 909000 | #Constraints: 25482
2552.30/2559.75 c #Conflicts: 910000 | #Constraints: 26482
2552.30/2559.75 c #Conflicts: 911000 | #Constraints: 27482
2552.30/2559.75 c #Conflicts: 912000 | #Constraints: 28482
2552.30/2559.75 c #Conflicts: 913000 | #Constraints: 29482
2552.30/2559.75 c #Conflicts: 914000 | #Constraints: 30482
2552.30/2559.75 c #Conflicts: 915000 | #Constraints: 31482
2552.30/2559.75 c #Conflicts: 916000 | #Constraints: 32482
2552.30/2559.75 c #Conflicts: 917000 | #Constraints: 33482
2552.30/2559.75 c #Conflicts: 918000 | #Constraints: 34482
2552.30/2559.75 c #Conflicts: 919000 | #Constraints: 35482
2552.30/2559.75 c #Conflicts: 920000 | #Constraints: 36482
2552.30/2559.75 c #Conflicts: 921000 | #Constraints: 37482
2552.30/2559.75 c #Conflicts: 922000 | #Constraints: 38482
2552.30/2559.75 c INPROCESSING
2552.30/2559.75 c GARBAGE COLLECT
2552.30/2559.75 c #Conflicts: 923000 | #Constraints: 20488
2552.30/2559.75 c #Conflicts: 924000 | #Constraints: 21488
2769.32/2777.38 c #Conflicts: 925000 | #Constraints: 22488
2769.32/2777.38 c #Conflicts: 926000 | #Constraints: 23488
2769.32/2777.38 c #Conflicts: 927000 | #Constraints: 24488
2769.32/2777.38 c #Conflicts: 928000 | #Constraints: 25488
2769.32/2777.38 c #Conflicts: 929000 | #Constraints: 26488
2769.32/2777.38 c #Conflicts: 930000 | #Constraints: 27488
2769.32/2777.38 c #Conflicts: 931000 | #Constraints: 28488
2769.32/2777.38 c #Conflicts: 932000 | #Constraints: 29488
2769.32/2777.38 c #Conflicts: 933000 | #Constraints: 30488
2769.32/2777.38 c #Conflicts: 934000 | #Constraints: 31488
2769.32/2777.38 c #Conflicts: 935000 | #Constraints: 32488
2769.32/2777.38 c #Conflicts: 936000 | #Constraints: 33488
2769.32/2777.38 c #Conflicts: 937000 | #Constraints: 34488
2769.32/2777.38 c #Conflicts: 938000 | #Constraints: 35488
2769.32/2777.38 c #Conflicts: 939000 | #Constraints: 36488
2769.32/2777.38 c #Conflicts: 940000 | #Constraints: 37488
2769.32/2777.38 c #Conflicts: 941000 | #Constraints: 38488
2769.32/2777.38 c INPROCESSING
2769.32/2777.38 c GARBAGE COLLECT
2769.32/2777.38 c #Conflicts: 942000 | #Constraints: 20292
2769.32/2777.38 c #Conflicts: 943000 | #Constraints: 21292
2769.32/2777.38 c #Conflicts: 944000 | #Constraints: 22292
2769.32/2777.38 c #Conflicts: 945000 | #Constraints: 23292
2769.32/2777.38 c #Conflicts: 946000 | #Constraints: 24292
2769.32/2777.38 c #Conflicts: 947000 | #Constraints: 25292
2769.32/2777.38 c #Conflicts: 948000 | #Constraints: 26292
2769.32/2777.38 c #Conflicts: 949000 | #Constraints: 27292
2769.32/2777.38 c #Conflicts: 950000 | #Constraints: 28292
2769.32/2777.38 c #Conflicts: 951000 | #Constraints: 29292
2769.32/2777.38 c #Conflicts: 952000 | #Constraints: 30292
2769.32/2777.38 c #Conflicts: 953000 | #Constraints: 31292
2769.32/2777.38 c #Conflicts: 954000 | #Constraints: 32292
2769.32/2777.38 c #Conflicts: 955000 | #Constraints: 33292
2769.32/2777.38 c #Conflicts: 956000 | #Constraints: 34292
2769.32/2777.38 c #Conflicts: 957000 | #Constraints: 35292
2769.32/2777.38 c #Conflicts: 958000 | #Constraints: 36292
2769.32/2777.38 c #Conflicts: 959000 | #Constraints: 37292
2769.32/2777.38 c #Conflicts: 960000 | #Constraints: 38292
2769.32/2777.38 c #Conflicts: 961000 | #Constraints: 39292
2769.32/2777.38 c INPROCESSING
2769.32/2777.38 c GARBAGE COLLECT
2769.32/2777.38 c #Conflicts: 962000 | #Constraints: 20895
2769.32/2777.38 c #Conflicts: 963000 | #Constraints: 21895
2769.32/2777.38 c #Conflicts: 964000 | #Constraints: 22895
2769.32/2777.38 c #Conflicts: 965000 | #Constraints: 23895
2769.32/2777.38 c #Conflicts: 966000 | #Constraints: 24895
2769.32/2777.38 c #Conflicts: 967000 | #Constraints: 25895
2769.32/2777.38 c #Conflicts: 968000 | #Constraints: 26895
2769.32/2777.38 c #Conflicts: 969000 | #Constraints: 27895
2769.32/2777.38 c #Conflicts: 970000 | #Constraints: 28895
2769.32/2777.38 c #Conflicts: 971000 | #Constraints: 29895
2769.32/2777.38 c #Conflicts: 972000 | #Constraints: 30895
2769.32/2777.38 c #Conflicts: 973000 | #Constraints: 31895
2769.32/2777.38 c #Conflicts: 974000 | #Constraints: 32895
2769.32/2777.38 c #Conflicts: 975000 | #Constraints: 33895
2769.32/2777.38 c #Conflicts: 976000 | #Constraints: 34895
2769.32/2777.38 c #Conflicts: 977000 | #Constraints: 35895
2769.32/2777.38 c #Conflicts: 978000 | #Constraints: 36895
2769.32/2777.38 c #Conflicts: 979000 | #Constraints: 37895
2769.32/2777.38 c #Conflicts: 980000 | #Constraints: 38895
2769.32/2777.38 c #Conflicts: 981000 | #Constraints: 39895
2769.32/2777.38 c INPROCESSING
2769.32/2777.38 c GARBAGE COLLECT
2769.32/2777.38 c #Conflicts: 982000 | #Constraints: 21307
2769.32/2777.38 c #Conflicts: 983000 | #Constraints: 22307
2769.32/2777.38 c #Conflicts: 984000 | #Constraints: 23307
2769.32/2777.38 c #Conflicts: 985000 | #Constraints: 24307
2769.32/2777.38 c #Conflicts: 986000 | #Constraints: 25307
2769.32/2777.38 c #Conflicts: 987000 | #Constraints: 26307
2769.32/2777.38 c #Conflicts: 988000 | #Constraints: 27307
2769.32/2777.38 c #Conflicts: 989000 | #Constraints: 28307
2769.32/2777.38 c #Conflicts: 990000 | #Constraints: 29307
2769.32/2777.38 c #Conflicts: 991000 | #Constraints: 30307
2769.32/2777.38 c #Conflicts: 992000 | #Constraints: 31307
2769.32/2777.38 c #Conflicts: 993000 | #Constraints: 32307
2769.32/2777.38 c #Conflicts: 994000 | #Constraints: 33307
2769.32/2777.38 c #Conflicts: 995000 | #Constraints: 34307
2769.32/2777.38 c #Conflicts: 996000 | #Constraints: 35307
2769.32/2777.38 c #Conflicts: 997000 | #Constraints: 36307
2769.32/2777.38 c #Conflicts: 998000 | #Constraints: 37307
2769.32/2777.38 c #Conflicts: 999000 | #Constraints: 38307
2769.32/2777.38 c #Conflicts: 1000000 | #Constraints: 39307
3001.90/3010.51 c #Conflicts: 1001000 | #Constraints: 40307
3001.90/3010.51 c INPROCESSING
3001.90/3010.51 c GARBAGE COLLECT
3001.90/3010.51 c #Conflicts: 1002000 | #Constraints: 21504
3001.90/3010.51 c #Conflicts: 1003000 | #Constraints: 22504
3001.90/3010.51 c #Conflicts: 1004000 | #Constraints: 23504
3001.90/3010.51 c #Conflicts: 1005000 | #Constraints: 24504
3001.90/3010.51 c #Conflicts: 1006000 | #Constraints: 25504
3001.90/3010.51 c #Conflicts: 1007000 | #Constraints: 26504
3001.90/3010.51 c #Conflicts: 1008000 | #Constraints: 27504
3001.90/3010.51 c #Conflicts: 1009000 | #Constraints: 28504
3001.90/3010.51 c #Conflicts: 1010000 | #Constraints: 29504
3001.90/3010.51 c #Conflicts: 1011000 | #Constraints: 30504
3001.90/3010.51 c #Conflicts: 1012000 | #Constraints: 31504
3001.90/3010.51 c #Conflicts: 1013000 | #Constraints: 32504
3001.90/3010.51 c #Conflicts: 1014000 | #Constraints: 33504
3001.90/3010.51 c #Conflicts: 1015000 | #Constraints: 34504
3001.90/3010.51 c #Conflicts: 1016000 | #Constraints: 35504
3001.90/3010.51 c #Conflicts: 1017000 | #Constraints: 36504
3001.90/3010.51 c #Conflicts: 1018000 | #Constraints: 37504
3001.90/3010.51 c #Conflicts: 1019000 | #Constraints: 38504
3001.90/3010.51 c #Conflicts: 1020000 | #Constraints: 39504
3001.90/3010.51 c #Conflicts: 1021000 | #Constraints: 40504
3001.90/3010.51 c INPROCESSING
3001.90/3010.51 c GARBAGE COLLECT
3001.90/3010.51 c #Conflicts: 1022000 | #Constraints: 21504
3001.90/3010.51 c #Conflicts: 1023000 | #Constraints: 22504
3001.90/3010.51 c #Conflicts: 1024000 | #Constraints: 23504
3001.90/3010.51 c #Conflicts: 1025000 | #Constraints: 24504
3001.90/3010.51 c #Conflicts: 1026000 | #Constraints: 25504
3001.90/3010.51 c #Conflicts: 1027000 | #Constraints: 26504
3001.90/3010.51 c #Conflicts: 1028000 | #Constraints: 27504
3001.90/3010.51 c #Conflicts: 1029000 | #Constraints: 28504
3001.90/3010.51 c #Conflicts: 1030000 | #Constraints: 29504
3001.90/3010.51 c #Conflicts: 1031000 | #Constraints: 30504
3001.90/3010.51 c #Conflicts: 1032000 | #Constraints: 31504
3001.90/3010.51 c #Conflicts: 1033000 | #Constraints: 32504
3001.90/3010.51 c #Conflicts: 1034000 | #Constraints: 33504
3001.90/3010.51 c #Conflicts: 1035000 | #Constraints: 34504
3001.90/3010.51 c #Conflicts: 1036000 | #Constraints: 35504
3001.90/3010.51 c #Conflicts: 1037000 | #Constraints: 36504
3001.90/3010.51 c #Conflicts: 1038000 | #Constraints: 37504
3001.90/3010.51 c #Conflicts: 1039000 | #Constraints: 38504
3001.90/3010.51 c #Conflicts: 1040000 | #Constraints: 39504
3001.90/3010.51 c #Conflicts: 1041000 | #Constraints: 40504
3001.90/3010.51 c INPROCESSING
3001.90/3010.51 c GARBAGE COLLECT
3001.90/3010.51 c #Conflicts: 1042000 | #Constraints: 21327
3001.90/3010.51 c #Conflicts: 1043000 | #Constraints: 22327
3001.90/3010.51 c #Conflicts: 1044000 | #Constraints: 23327
3001.90/3010.51 c #Conflicts: 1045000 | #Constraints: 24327
3001.90/3010.51 c #Conflicts: 1046000 | #Constraints: 25327
3001.90/3010.51 c #Conflicts: 1047000 | #Constraints: 26327
3001.90/3010.51 c #Conflicts: 1048000 | #Constraints: 27327
3001.90/3010.51 c #Conflicts: 1049000 | #Constraints: 28327
3001.90/3010.51 c #Conflicts: 1050000 | #Constraints: 29327
3001.90/3010.51 c #Conflicts: 1051000 | #Constraints: 30327
3001.90/3010.51 c #Conflicts: 1052000 | #Constraints: 31327
3001.90/3010.51 c #Conflicts: 1053000 | #Constraints: 32327
3001.90/3010.51 c #Conflicts: 1054000 | #Constraints: 33327
3001.90/3010.51 c #Conflicts: 1055000 | #Constraints: 34327
3001.90/3010.51 c #Conflicts: 1056000 | #Constraints: 35327
3001.90/3010.51 c #Conflicts: 1057000 | #Constraints: 36327
3001.90/3010.51 c #Conflicts: 1058000 | #Constraints: 37327
3001.90/3010.51 c #Conflicts: 1059000 | #Constraints: 38327
3001.90/3010.51 c #Conflicts: 1060000 | #Constraints: 39327
3001.90/3010.51 c #Conflicts: 1061000 | #Constraints: 40327
3001.90/3010.51 c #Conflicts: 1062000 | #Constraints: 41327
3001.90/3010.51 c INPROCESSING
3001.90/3010.51 c GARBAGE COLLECT
3001.90/3010.51 c #Conflicts: 1063000 | #Constraints: 21914
3001.90/3010.51 c #Conflicts: 1064000 | #Constraints: 22914
3001.90/3010.51 c #Conflicts: 1065000 | #Constraints: 23914
3001.90/3010.51 c #Conflicts: 1066000 | #Constraints: 24914
3001.90/3010.51 c #Conflicts: 1067000 | #Constraints: 25914
3001.90/3010.51 c #Conflicts: 1068000 | #Constraints: 26914
3001.90/3010.51 c #Conflicts: 1069000 | #Constraints: 27914
3001.90/3010.51 c #Conflicts: 1070000 | #Constraints: 28914
3001.90/3010.51 c #Conflicts: 1071000 | #Constraints: 29914
3001.90/3010.51 c #Conflicts: 1072000 | #Constraints: 30914
3001.90/3010.51 c #Conflicts: 1073000 | #Constraints: 31914
3001.90/3010.51 c #Conflicts: 1074000 | #Constraints: 32914
3001.90/3010.51 c #Conflicts: 1075000 | #Constraints: 33914
3001.90/3010.51 c #Conflicts: 1076000 | #Constraints: 34914
3001.90/3010.51 c #Conflicts: 1077000 | #Constraints: 35914
3249.75/3259.06 c #Conflicts: 1078000 | #Constraints: 36914
3249.75/3259.06 c #Conflicts: 1079000 | #Constraints: 37914
3249.75/3259.06 c #Conflicts: 1080000 | #Constraints: 38914
3249.75/3259.06 c #Conflicts: 1081000 | #Constraints: 39914
3249.75/3259.06 c #Conflicts: 1082000 | #Constraints: 40914
3249.75/3259.06 c #Conflicts: 1083000 | #Constraints: 41914
3249.75/3259.06 c INPROCESSING
3249.75/3259.06 c GARBAGE COLLECT
3249.75/3259.06 c #Conflicts: 1084000 | #Constraints: 22310
3249.75/3259.06 c #Conflicts: 1085000 | #Constraints: 23310
3249.75/3259.06 c #Conflicts: 1086000 | #Constraints: 24310
3249.75/3259.06 c #Conflicts: 1087000 | #Constraints: 25310
3249.75/3259.06 c #Conflicts: 1088000 | #Constraints: 26310
3249.75/3259.06 c #Conflicts: 1089000 | #Constraints: 27310
3249.75/3259.06 c #Conflicts: 1090000 | #Constraints: 28310
3249.75/3259.06 c #Conflicts: 1091000 | #Constraints: 29310
3249.75/3259.06 c #Conflicts: 1092000 | #Constraints: 30310
3249.75/3259.06 c #Conflicts: 1093000 | #Constraints: 31310
3249.75/3259.06 c #Conflicts: 1094000 | #Constraints: 32310
3249.75/3259.06 c #Conflicts: 1095000 | #Constraints: 33310
3249.75/3259.06 c #Conflicts: 1096000 | #Constraints: 34310
3249.75/3259.06 c #Conflicts: 1097000 | #Constraints: 35310
3249.75/3259.06 c #Conflicts: 1098000 | #Constraints: 36310
3249.75/3259.06 c #Conflicts: 1099000 | #Constraints: 37310
3249.75/3259.06 c #Conflicts: 1100000 | #Constraints: 38310
3249.75/3259.06 c #Conflicts: 1101000 | #Constraints: 39310
3249.75/3259.06 c #Conflicts: 1102000 | #Constraints: 40310
3249.75/3259.06 c #Conflicts: 1103000 | #Constraints: 41310
3249.75/3259.06 c #Conflicts: 1104000 | #Constraints: 42310
3249.75/3259.06 c INPROCESSING
3249.75/3259.06 c GARBAGE COLLECT
3249.75/3259.06 c #Conflicts: 1105000 | #Constraints: 22504
3249.75/3259.06 c #Conflicts: 1106000 | #Constraints: 23504
3249.75/3259.06 c #Conflicts: 1107000 | #Constraints: 24504
3249.75/3259.06 c #Conflicts: 1108000 | #Constraints: 25504
3249.75/3259.06 c #Conflicts: 1109000 | #Constraints: 26504
3249.75/3259.06 c #Conflicts: 1110000 | #Constraints: 27504
3249.75/3259.06 c #Conflicts: 1111000 | #Constraints: 28504
3249.75/3259.06 c #Conflicts: 1112000 | #Constraints: 29504
3249.75/3259.06 c #Conflicts: 1113000 | #Constraints: 30504
3249.75/3259.06 c #Conflicts: 1114000 | #Constraints: 31504
3249.75/3259.06 c #Conflicts: 1115000 | #Constraints: 32504
3249.75/3259.06 c #Conflicts: 1116000 | #Constraints: 33504
3249.75/3259.06 c #Conflicts: 1117000 | #Constraints: 34504
3249.75/3259.06 c #Conflicts: 1118000 | #Constraints: 35504
3249.75/3259.06 c #Conflicts: 1119000 | #Constraints: 36504
3249.75/3259.06 c #Conflicts: 1120000 | #Constraints: 37504
3249.75/3259.06 c #Conflicts: 1121000 | #Constraints: 38504
3249.75/3259.06 c #Conflicts: 1122000 | #Constraints: 39504
3249.75/3259.06 c #Conflicts: 1123000 | #Constraints: 40504
3249.75/3259.06 c #Conflicts: 1124000 | #Constraints: 41504
3249.75/3259.06 c #Conflicts: 1125000 | #Constraints: 42504
3249.75/3259.06 c INPROCESSING
3249.75/3259.06 c GARBAGE COLLECT
3249.75/3259.06 c #Conflicts: 1126000 | #Constraints: 22500
3249.75/3259.06 c #Conflicts: 1127000 | #Constraints: 23500
3249.75/3259.06 c #Conflicts: 1128000 | #Constraints: 24500
3249.75/3259.06 c #Conflicts: 1129000 | #Constraints: 25500
3249.75/3259.06 c #Conflicts: 1130000 | #Constraints: 26500
3249.75/3259.06 c #Conflicts: 1131000 | #Constraints: 27500
3249.75/3259.06 c #Conflicts: 1132000 | #Constraints: 28500
3249.75/3259.06 c #Conflicts: 1133000 | #Constraints: 29500
3249.75/3259.06 c #Conflicts: 1134000 | #Constraints: 30500
3249.75/3259.06 c #Conflicts: 1135000 | #Constraints: 31500
3249.75/3259.06 c #Conflicts: 1136000 | #Constraints: 32500
3249.75/3259.06 c #Conflicts: 1137000 | #Constraints: 33500
3249.75/3259.06 c #Conflicts: 1138000 | #Constraints: 34500
3249.75/3259.06 c #Conflicts: 1139000 | #Constraints: 35500
3249.75/3259.06 c #Conflicts: 1140000 | #Constraints: 36500
3249.75/3259.06 c #Conflicts: 1141000 | #Constraints: 37500
3249.75/3259.06 c #Conflicts: 1142000 | #Constraints: 38500
3249.75/3259.06 c #Conflicts: 1143000 | #Constraints: 39500
3249.75/3259.06 c #Conflicts: 1144000 | #Constraints: 40500
3249.75/3259.06 c #Conflicts: 1145000 | #Constraints: 41500
3249.75/3259.06 c #Conflicts: 1146000 | #Constraints: 42500
3249.75/3259.06 c INPROCESSING
3249.75/3259.06 c GARBAGE COLLECT
3249.75/3259.06 c #Conflicts: 1147000 | #Constraints: 22298
3249.75/3259.06 c #Conflicts: 1148000 | #Constraints: 23298
3249.75/3259.06 c #Conflicts: 1149000 | #Constraints: 24298
3249.75/3259.06 c #Conflicts: 1150000 | #Constraints: 25298
3249.75/3259.06 c #Conflicts: 1151000 | #Constraints: 26298
3249.75/3259.06 c #Conflicts: 1152000 | #Constraints: 27298
3249.75/3259.06 c #Conflicts: 1153000 | #Constraints: 28298
3486.62/3496.50 c #Conflicts: 1154000 | #Constraints: 29298
3486.62/3496.50 c #Conflicts: 1155000 | #Constraints: 30298
3486.62/3496.50 c #Conflicts: 1156000 | #Constraints: 31298
3486.62/3496.50 c #Conflicts: 1157000 | #Constraints: 32298
3486.62/3496.50 c #Conflicts: 1158000 | #Constraints: 33298
3486.62/3496.50 c #Conflicts: 1159000 | #Constraints: 34298
3486.62/3496.50 c #Conflicts: 1160000 | #Constraints: 35298
3486.62/3496.50 c #Conflicts: 1161000 | #Constraints: 36298
3486.62/3496.50 c #Conflicts: 1162000 | #Constraints: 37298
3486.62/3496.50 c #Conflicts: 1163000 | #Constraints: 38298
3486.62/3496.50 c #Conflicts: 1164000 | #Constraints: 39298
3486.62/3496.50 c #Conflicts: 1165000 | #Constraints: 40298
3486.62/3496.50 c #Conflicts: 1166000 | #Constraints: 41298
3486.62/3496.50 c #Conflicts: 1167000 | #Constraints: 42298
3486.62/3496.50 c #Conflicts: 1168000 | #Constraints: 43298
3486.62/3496.50 c INPROCESSING
3486.62/3496.50 c GARBAGE COLLECT
3486.62/3496.50 c #Conflicts: 1169000 | #Constraints: 22902
3486.62/3496.50 c #Conflicts: 1170000 | #Constraints: 23902
3486.62/3496.50 c #Conflicts: 1171000 | #Constraints: 24902
3486.62/3496.50 c #Conflicts: 1172000 | #Constraints: 25902
3486.62/3496.50 c #Conflicts: 1173000 | #Constraints: 26902
3486.62/3496.50 c #Conflicts: 1174000 | #Constraints: 27902
3486.62/3496.50 c #Conflicts: 1175000 | #Constraints: 28902
3486.62/3496.50 c #Conflicts: 1176000 | #Constraints: 29902
3486.62/3496.50 c #Conflicts: 1177000 | #Constraints: 30902
3486.62/3496.50 c #Conflicts: 1178000 | #Constraints: 31902
3486.62/3496.50 c #Conflicts: 1179000 | #Constraints: 32902
3486.62/3496.50 c #Conflicts: 1180000 | #Constraints: 33902
3486.62/3496.50 c #Conflicts: 1181000 | #Constraints: 34902
3486.62/3496.50 c #Conflicts: 1182000 | #Constraints: 35902
3486.62/3496.50 c #Conflicts: 1183000 | #Constraints: 36902
3486.62/3496.50 c #Conflicts: 1184000 | #Constraints: 37902
3486.62/3496.50 c #Conflicts: 1185000 | #Constraints: 38902
3486.62/3496.50 c #Conflicts: 1186000 | #Constraints: 39902
3486.62/3496.50 c #Conflicts: 1187000 | #Constraints: 40902
3486.62/3496.50 c #Conflicts: 1188000 | #Constraints: 41902
3486.62/3496.50 c #Conflicts: 1189000 | #Constraints: 42902
3486.62/3496.50 c #Conflicts: 1190000 | #Constraints: 43902
3486.62/3496.50 c INPROCESSING
3486.62/3496.50 c GARBAGE COLLECT
3486.62/3496.50 c #Conflicts: 1191000 | #Constraints: 23304
3486.62/3496.50 c #Conflicts: 1192000 | #Constraints: 24304
3486.62/3496.50 c #Conflicts: 1193000 | #Constraints: 25304
3486.62/3496.50 c #Conflicts: 1194000 | #Constraints: 26304
3486.62/3496.50 c #Conflicts: 1195000 | #Constraints: 27304
3486.62/3496.50 c #Conflicts: 1196000 | #Constraints: 28304
3486.62/3496.50 c #Conflicts: 1197000 | #Constraints: 29304
3486.62/3496.50 c #Conflicts: 1198000 | #Constraints: 30304
3486.62/3496.50 c #Conflicts: 1199000 | #Constraints: 31304
3486.62/3496.50 c #Conflicts: 1200000 | #Constraints: 32304
3486.62/3496.50 c #Conflicts: 1201000 | #Constraints: 33304
3486.62/3496.50 c #Conflicts: 1202000 | #Constraints: 34304
3486.62/3496.50 c #Conflicts: 1203000 | #Constraints: 35304
3486.62/3496.50 c #Conflicts: 1204000 | #Constraints: 36304
3486.62/3496.50 c #Conflicts: 1205000 | #Constraints: 37304
3486.62/3496.50 c #Conflicts: 1206000 | #Constraints: 38304
3486.62/3496.50 c #Conflicts: 1207000 | #Constraints: 39304
3486.62/3496.50 c #Conflicts: 1208000 | #Constraints: 40304
3486.62/3496.50 c #Conflicts: 1209000 | #Constraints: 41304
3486.62/3496.50 c #Conflicts: 1210000 | #Constraints: 42304
3486.62/3496.50 c #Conflicts: 1211000 | #Constraints: 43304
3486.62/3496.50 c #Conflicts: 1212000 | #Constraints: 44304
3486.62/3496.50 c INPROCESSING
3486.62/3496.50 c GARBAGE COLLECT
3486.62/3496.50 c #Conflicts: 1213000 | #Constraints: 23509
3486.62/3496.50 c #Conflicts: 1214000 | #Constraints: 24509
3486.62/3496.50 c #Conflicts: 1215000 | #Constraints: 25509
3486.62/3496.50 c #Conflicts: 1216000 | #Constraints: 26509
3486.62/3496.50 c #Conflicts: 1217000 | #Constraints: 27509
3486.62/3496.50 c #Conflicts: 1218000 | #Constraints: 28509
3486.62/3496.50 c #Conflicts: 1219000 | #Constraints: 29509
3486.62/3496.50 c #Conflicts: 1220000 | #Constraints: 30509
3486.62/3496.50 c #Conflicts: 1221000 | #Constraints: 31509
3486.62/3496.50 c #Conflicts: 1222000 | #Constraints: 32509
3486.62/3496.50 c #Conflicts: 1223000 | #Constraints: 33509
3486.62/3496.50 c #Conflicts: 1224000 | #Constraints: 34509
3486.62/3496.50 c #Conflicts: 1225000 | #Constraints: 35509
3486.62/3496.50 c #Conflicts: 1226000 | #Constraints: 36509
3486.62/3496.50 c #Conflicts: 1227000 | #Constraints: 37509
3486.62/3496.50 c #Conflicts: 1228000 | #Constraints: 38509
3486.62/3496.50 c #Conflicts: 1229000 | #Constraints: 39509
3486.62/3496.50 c #Conflicts: 1230000 | #Constraints: 40509
3600.01/3610.20 c #Conflicts: 1231000 | #Constraints: 41509
3600.01/3610.20 c #Conflicts: 1232000 | #Constraints: 42509
3600.01/3610.20 c #Conflicts: 1233000 | #Constraints: 43509
3600.01/3610.20 c #Conflicts: 1234000 | #Constraints: 44509
3600.01/3610.20 c INPROCESSING
3600.01/3610.20 c GARBAGE COLLECT
3600.01/3610.20 c #Conflicts: 1235000 | #Constraints: 23515
3600.01/3610.20 c #Conflicts: 1236000 | #Constraints: 24515
3600.01/3610.20 c #Conflicts: 1237000 | #Constraints: 25515
3600.01/3610.20 c #Conflicts: 1238000 | #Constraints: 26515
3600.01/3610.20 c #Conflicts: 1239000 | #Constraints: 27515
3600.01/3610.20 c #Conflicts: 1240000 | #Constraints: 28515
3600.01/3610.20 c #Conflicts: 1241000 | #Constraints: 29515
3600.01/3610.20 c #Conflicts: 1242000 | #Constraints: 30515
3600.01/3610.20 c #Conflicts: 1243000 | #Constraints: 31515
3600.01/3610.20 c #Conflicts: 1244000 | #Constraints: 32515
3600.01/3610.20 c #Conflicts: 1245000 | #Constraints: 33515
3600.01/3610.20 c #Conflicts: 1246000 | #Constraints: 34515
3600.01/3610.20 c #Conflicts: 1247000 | #Constraints: 35515
3600.01/3610.20 c #Conflicts: 1248000 | #Constraints: 36515
3600.01/3610.20 c #Conflicts: 1249000 | #Constraints: 37515
3600.01/3610.20 c #Conflicts: 1250000 | #Constraints: 38515
3600.01/3610.20 c #Conflicts: 1251000 | #Constraints: 39515
3600.01/3610.20 c #Conflicts: 1252000 | #Constraints: 40515
3600.01/3610.20 c #Conflicts: 1253000 | #Constraints: 41515
3600.01/3610.20 c #Conflicts: 1254000 | #Constraints: 42515
3600.01/3610.20 c #Conflicts: 1255000 | #Constraints: 43515
3600.01/3610.20 c #Conflicts: 1256000 | #Constraints: 44515
3600.01/3610.20 c INPROCESSING
3600.01/3610.20 c GARBAGE COLLECT
3600.01/3610.20 c #Conflicts: 1257000 | #Constraints: 23321
3600.01/3610.20 c #Conflicts: 1258000 | #Constraints: 24321
3600.01/3610.20 c #Conflicts: 1259000 | #Constraints: 25321
3600.01/3610.20 c #Conflicts: 1260000 | #Constraints: 26321
3600.01/3610.20 c #Conflicts: 1261000 | #Constraints: 27321
3600.01/3610.20 c #Conflicts: 1262000 | #Constraints: 28321
3600.01/3610.20 c #Conflicts: 1263000 | #Constraints: 29321
3600.01/3610.20 c #Conflicts: 1264000 | #Constraints: 30321
3600.01/3610.20 c #Conflicts: 1265000 | #Constraints: 31321
3600.01/3610.20 c #Conflicts: 1266000 | #Constraints: 32321
3600.01/3610.20 c #Conflicts: 1267000 | #Constraints: 33321
3600.01/3610.20 c #Conflicts: 1268000 | #Constraints: 34321
3600.01/3610.20 c #Conflicts: 1269000 | #Constraints: 35321
3600.01/3610.20 c cpu time 3558.37 s
3600.01/3610.20 c deterministic time 32792141 3.28e+07
3600.01/3610.20 c optimization time 3553.75 s
3600.01/3610.20 c total solve time 3.27456 s
3600.01/3610.20 c core-guided solve time 0 s
3600.01/3610.20 c propagation time 2.02994 s
3600.01/3610.20 c conflict analysis time 0.304163 s
3600.01/3610.20 c propagations 5108047
3600.01/3610.20 c resolve steps 38272
3600.01/3610.20 c decisions 6462871
3600.01/3610.20 c conflicts 1043
3600.01/3610.20 c restarts 6
3600.01/3610.20 c inprocessing phases 0
3600.01/3610.20 c garbage collections 0 ,( -nan )
3600.01/3610.20 c input clauses 274896 ,( 99.96 )
3600.01/3610.20 c input cardinalities 0 ,( 0.00 )
3600.01/3610.20 c input general constraints 104 ,( 0.04 )
3600.01/3610.20 c input average constraint length 6.10
3600.01/3610.20 c input average constraint degree 916.78
3600.01/3610.20 c learned clauses 1092 ,( 100.00 )
3600.01/3610.20 c learned cardinalities 0 ,( 0.00 )
3600.01/3610.20 c learned general constraints 0 ,( 0.00 )
3600.01/3610.20 c learned average constraint length 58.17
3600.01/3610.20 c learned average constraint degree 1.00
3600.01/3610.20 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3610.20 c counting CF 32, 64, 128, Arb: 105 , 0 , 0 , 0
3600.01/3610.20 c watched constraints 0 ,( 0.00 )
3600.01/3610.20 c counting constraints 104 ,( 100.00 )
3600.01/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3021110 , 0 , 491487 ,( 0 , 491487 )
3600.01/3610.20 c gcd simplifications 0
3600.01/3610.20 c detected cardinalities 0
3600.01/3610.20 c weakened non-implied lits 0
3600.01/3610.20 c weakened non-implying lits 0
3600.01/3610.20 c original variables 79975
3600.01/3610.20 c clausal propagations 2876230
3600.01/3610.20 c cardinality propagations 0
3600.01/3610.20 c watched propagations 0
3600.01/3610.20 c counting propagations 22081
3600.01/3610.20 c watch lookups 3979833
3600.01/3610.20 c watch backjump lookups 0
3600.01/3610.20 c watch checks 2511502
3600.01/3610.20 c propagation checks 2922052
3600.01/3610.20 c constraint additions 277092
3600.01/3610.20 c trail pops 11527743
3600.01/3610.20 c formula constraints 274426
3600.01/3610.20 c learned constraints 1092
3600.01/3610.20 c bound constraints 0
3600.01/3610.20 c core-guided constraints 0
3600.01/3610.20 c encountered formula constraints 37870
3600.01/3610.20 c encountered learned constraints 1445
3600.01/3610.20 c encountered bound constraints 0
3600.01/3610.20 c encountered core-guided constraints 0
3600.01/3610.20 c LP total time 1.51571 s
3600.01/3610.20 c LP solve time 1.4 s
3600.01/3610.20 c LP constraints added 274426
3600.01/3610.20 c LP constraints removed 0
3600.01/3610.20 c LP pivots internal 2000
3600.01/3610.20 c LP pivots root 1000
3600.01/3610.20 c LP calls 2
3600.01/3610.20 c LP optimalities 0
3600.01/3610.20 c LP no pivot count 0
3600.01/3610.20 c LP infeasibilities 0
3600.01/3610.20 c LP valid Farkas constraints 0
3600.01/3610.20 c LP learned Farkas constraints 0
3600.01/3610.20 c LP basis resets 0
3600.01/3610.20 c LP cycling count 0
3600.01/3610.20 c LP singular count 0
3600.01/3610.20 c LP no primal count 0
3600.01/3610.20 c LP no farkas count 0
3600.01/3610.20 c LP other issue count 0
3600.01/3610.20 c LP Gomory cuts 0
3600.01/3610.20 c LP learned cuts 0
3600.01/3610.20 c LP deleted cuts 0
3600.01/3610.20 c LP encountered Gomory constraints 0
3600.01/3610.20 c LP encountered Farkas constraints 0
3600.01/3610.20 c LP encountered learned Farkas constraints 0
3600.01/3610.20 c CG auxiliary variables introduced 139
3600.01/3610.20 c CG solutions found 0
3600.01/3610.20 c CG cores constructed 336
3600.01/3610.20 c CG core cardinality constraints returned 0
3600.01/3610.20 c CG unit cores 0
3600.01/3610.20 c CG single cores 0
3600.01/3610.20 c CG blocks removed during cardinality reduction 0
3600.01/3610.20 c CG first core best 0
3600.01/3610.20 c CG decision core best 0
3600.01/3610.20 c CG core reduction tie 0
3600.01/3610.20 c CG core degree average 0.00
3600.01/3610.20 c CG core slack average 0.00
3600.01/3610.20 c CG core upper bound improvements 0
3600.01/3610.20 c STR number of successful calls 0
3600.01/3610.20 c STR number of unsuccessful calls 0
3600.01/3610.20 c STR number of inconclusive calls 0
3600.01/3610.20 c STR number of successful attempts 0
3600.01/3610.20 c STR number of unsuccessful attempts 0
3600.01/3610.20 c STR number of inconclusive attempts 0
3600.01/3610.20 c STR average degree increase per successful call inf
3600.01/3610.20 c STR average degree increase per successful attempt inf
3600.01/3610.20 c STR total number of conflicts for successful attempts 0
3600.01/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.20 c STR average number of conflicts per successful attempt inf
3600.01/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.20 c AVG.sumWPerc 99.84
3600.01/3610.20 c bigint constraints 0
3600.01/3610.20 s UNKNOWN
3600.01/3610.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (50722 MiB free)
memory of node 1: 64507 MiB (47284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506596-1751507590/watcher-4506596-1751507590 -o /tmp/evaluation-result-4506596-1751507590/solver-4506596-1751507590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70773 --watchdog 3760 run-opt.sh HOME/instance-4506596-1751507590.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71583, runsolver pid=71580
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.07 4.10 4.09 5/268 71585
/proc/meminfo: memFree=100351352/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=72936 memory=27932 CPUtime=0.09 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 3640 0 0 0 7 2 0 0 20 0 1 0 66436733 74686464 6983 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 18234 6983 1888 1147 0 5661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77128 KiB
Current children cumulated memory: 30748 KiB
[startup+0.205751 s]*
/proc/loadavg: 4.07 4.10 4.09 5/268 71585
/proc/meminfo: memFree=100343288/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=74048 memory=28828 CPUtime=0.19 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 3889 0 0 0 16 3 0 0 20 0 1 0 66436733 75825152 7207 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 18512 7207 1888 1147 0 5939 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78240 KiB
Current children cumulated memory: 31644 KiB
[startup+0.305606 s]*
/proc/loadavg: 4.07 4.10 4.09 5/268 71585
/proc/meminfo: memFree=100343288/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=75772 memory=32320 CPUtime=0.29 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 4238 0 0 0 24 5 0 0 20 0 1 0 66436733 77590528 8080 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 18943 8080 1888 1147 0 6370 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79964 KiB
Current children cumulated memory: 35136 KiB
[startup+0.700201 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 71585
/proc/meminfo: memFree=100342028/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=83596 memory=39616 CPUtime=0.67 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 6324 0 0 0 56 11 0 0 20 0 1 0 66436733 85602304 9904 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 20899 9904 1888 1147 0 8326 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 87788 KiB
Current children cumulated memory: 42432 KiB
[startup+1.50019 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 71585
/proc/meminfo: memFree=100331444/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=263288 memory=202760 CPUtime=1.47 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 15949 0 0 0 122 25 0 0 20 0 1 0 66436733 269606912 50690 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 65822 50690 2240 1147 0 53249 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 267480 KiB
Current children cumulated memory: 205576 KiB
[startup+3.10549 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 71585
/proc/meminfo: memFree=99985956/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=558872 memory=366032 CPUtime=3.08 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 39130 0 0 0 269 39 0 0 20 0 1 0 66436733 572284928 91508 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 139718 91508 2368 1147 0 127145 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 563064 KiB
Current children cumulated memory: 368848 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 71587
/proc/meminfo: memFree=99961896/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=570864 memory=377116 CPUtime=6.26 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 42214 0 0 0 406 220 0 0 20 0 1 0 66436733 584564736 94279 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 142716 94279 2368 1147 0 130143 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 575056 KiB
Current children cumulated memory: 379932 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 71587
/proc/meminfo: memFree=99785360/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=824124 memory=608440 CPUtime=12.65 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 84226 0 0 0 737 528 0 0 20 0 1 0 66436733 843902976 152110 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 206031 152110 2368 1147 0 193458 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 828316 KiB
Current children cumulated memory: 611256 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 71587
/proc/meminfo: memFree=99335792/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=1131540 memory=882232 CPUtime=25.42 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 130186 0 0 0 1571 971 0 0 20 0 1 0 66436733 1158696960 220558 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 282885 220558 2368 1147 0 270312 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1135732 KiB
Current children cumulated memory: 885048 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 71587
/proc/meminfo: memFree=98422760/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=1607344 memory=1238592 CPUtime=50.96 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 199910 0 0 0 4088 1008 0 0 20 0 1 0 66436733 1645920256 309648 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 401836 309648 2368 1147 0 389263 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1611536 KiB
Current children cumulated memory: 1241408 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/270 71590
/proc/meminfo: memFree=96871272/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=2281336 memory=1766748 CPUtime=102.02 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 309516 0 0 0 9154 1048 0 0 20 0 1 0 66436733 2336088064 441687 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 570334 441687 2368 1147 0 557761 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2285528 KiB
Current children cumulated memory: 1769564 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/270 71592
/proc/meminfo: memFree=95944912/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=2506500 memory=1998904 CPUtime=161.86 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 341002 0 0 0 15112 1074 0 0 20 0 1 0 66436733 2566656000 499726 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 626625 499726 2368 1147 0 614052 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2510692 KiB
Current children cumulated memory: 2001720 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 71594
/proc/meminfo: memFree=94952644/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=2507780 memory=2060844 CPUtime=221.71 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 349378 0 0 0 21079 1092 0 0 20 0 1 0 66436733 2567966720 515211 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 626945 515211 2368 1147 0 614372 0
################
# More data... #
################
[pid=71585] ppid=71583 vsize=7540408 memory=6083624 CPUtime=3093.46 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1128387 0 0 0 305359 3987 0 0 20 0 1 0 66436733 7721377792 1520906 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 1885102 1520906 2368 1147 0 1872529 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 7544600 KiB
Current children cumulated memory: 6086440 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/269 71935
/proc/meminfo: memFree=112981212/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=8491828 memory=6317332 CPUtime=3153.3 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1162595 0 0 0 311320 4010 0 0 20 0 1 0 66436733 8695631872 1579333 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 2122957 1579333 2368 1147 0 2110384 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 8496020 KiB
Current children cumulated memory: 6320148 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 71937
/proc/meminfo: memFree=112847800/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=8497972 memory=6430176 CPUtime=3213.14 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1177528 0 0 0 317276 4038 0 0 20 0 1 0 66436733 8701923328 1607544 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 2124493 1607544 2368 1147 0 2111920 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 8502164 KiB
Current children cumulated memory: 6432992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 71939
/proc/meminfo: memFree=112669316/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=8502068 memory=6602076 CPUtime=3272.97 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1200113 0 0 0 323233 4064 0 0 20 0 1 0 66436733 8706117632 1650519 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 2125517 1650519 2368 1147 0 2112944 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 8506260 KiB
Current children cumulated memory: 6604892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 71941
/proc/meminfo: memFree=112347736/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=8518456 memory=6787544 CPUtime=3332.82 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1225625 0 0 0 329195 4087 0 0 20 0 1 0 66436733 8722898944 1696886 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 2129614 1696886 2368 1147 0 2117041 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 8522648 KiB
Current children cumulated memory: 6790360 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 71945
/proc/meminfo: memFree=112352036/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=8518456 memory=6787544 CPUtime=3392.66 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1226257 0 0 0 335162 4104 0 0 20 0 1 0 66436733 8722898944 1696886 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 2129614 1696886 2368 1147 0 2117041 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 8522648 KiB
Current children cumulated memory: 6790360 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 71947
/proc/meminfo: memFree=112342912/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=8518456 memory=6788696 CPUtime=3452.5 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1226535 0 0 0 341131 4119 0 0 20 0 1 0 66436733 8722898944 1697174 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 2129614 1697174 2368 1147 0 2117041 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 8522648 KiB
Current children cumulated memory: 6791512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 71950
/proc/meminfo: memFree=112328904/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=8518456 memory=6789592 CPUtime=3512.34 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1227240 0 0 0 347096 4138 0 0 20 0 1 0 66436733 8722898944 1697398 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 2129614 1697398 2368 1147 0 2117041 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 8522648 KiB
Current children cumulated memory: 6792408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 71953
/proc/meminfo: memFree=112327240/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=8518456 memory=6789592 CPUtime=3572.18 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1228033 0 0 0 353062 4156 0 0 20 0 1 0 66436733 8722898944 1697398 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 2129614 1697398 2368 1147 0 2117041 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 8522648 KiB
Current children cumulated memory: 6792408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 71953
/proc/meminfo: memFree=112313532/131249996 swapFree=33010160/33010684
[pid=71583] ppid=71580 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71583/stat : 71583 (run-opt.sh) S 71580 71583 70763 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66436732 4292608 704 18446744073709551615 94600826499072 94600827393605 140723184212080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600827632656 94600827680400 94600835985408 140723184220525 140723184220648 140723184220648 140723184226250 0
/proc/71583/statm: 1048 704 672 219 0 110 0
[pid=71585] ppid=71583 vsize=8518456 memory=6789592 CPUtime=3600.01 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71583 71583 70763 0 -1 4194304 1228041 0 0 0 355836 4165 0 0 20 0 1 0 66436733 8722898944 1697398 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 2129614 1697398 2368 1147 0 2117041 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 8522648 KiB
Current children cumulated memory: 6792408 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.2 s]
# the end of solver process 71583 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.001952 s
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 71585 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3558.38 s, system=41.8387 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]*
/proc/loadavg: 4.04 4.08 4.08 5/267 71953
/proc/meminfo: memFree=114994576/131249996 swapFree=33010160/33010684
[pid=71585] ppid=71580 vsize=5794532 memory=3765208 CPUtime=3600.12 cores=0,2
/proc/71585/stat : 71585 (roundingsat) R 71580 71583 70763 0 -1 4194304 1228051 0 0 0 355837 4175 0 0 20 0 1 0 66436733 5933600768 941302 18446744073709551615 4227072 8923433 140733959235296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17215488 140733959244194 140733959244328 140733959244328 140733959249898 0
/proc/71585/statm: 1448633 941302 2496 1147 0 1436060 0
Current cumulated CPU time of completed processes: 0.001952 s
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 5794532 KiB
Current children cumulated memory: 3765208 KiB
Child status: 2
Real time (s): 3610.4
CPU time (s): 3600.22
CPU user time (s): 3558.38
CPU system time (s): 41.8387
CPU usage (%): 99.718
Max. virtual memory (cumulated for all children) (KiB): 8522648
Max. memory (cumulated for all children) (KiB): 6792408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.38
system time used= 41.8387
maximum resident set size= 6790104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1228323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 338
involuntary context switches= 4654
# summary of solver processes directly reported to runsolver:
# pid: 71583,71585
# total CPU time (s): 3600.22
# total CPU user time (s): 3558.38
# total CPU system time (s): 41.8387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51835 second user time and 15.5929 second system time
The end
Begin job on nodeC021 at 2025-07-03 03:53:10
IDJOB=4506596
IDBENCH=158244
IDSOLVER=3350
FILE ID=nodeC021/4506596-1751507590
RUNJOBID= nodeC021-1751500681-70773
SLURM_JOB_ID= 9598584
Free space on /tmp= 430672 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.G.recomb10-0.01-5.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506596-1751507590/watcher-4506596-1751507590 -o /tmp/evaluation-result-4506596-1751507590/solver-4506596-1751507590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70773 --watchdog 3760 run-opt.sh HOME/instance-4506596-1751507590.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2fcb2c3eb5cc63f2f059b86c008c9f4a
RANDOM SEED=891442332
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.995
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.774
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.778
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.053
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.777
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.770
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.132
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 100359544 kB
MemAvailable: 104449832 kB
Buffers: 2128 kB
Cached: 4828452 kB
SwapCached: 20 kB
Active: 25661480 kB
Inactive: 4349716 kB
Active(anon): 25187732 kB
Inactive(anon): 10924 kB
Active(file): 473748 kB
Inactive(file): 4338792 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26892 kB
Writeback: 28 kB
AnonPages: 25182620 kB
Mapped: 115188 kB
Shmem: 18040 kB
KReclaimable: 233576 kB
Slab: 325260 kB
SReclaimable: 233576 kB
SUnreclaim: 91684 kB
KernelStack: 4320 kB
PageTables: 60676 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 31460664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2394112 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430892 MiB
End job on nodeC021 at 2025-07-03 04:53:21