0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
2.27/2.30 c #variables 73150 #constraints 421178
2.27/2.30 c objective is ce32
2.27/2.33 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.27/2.33 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.27/2.33 c GLOBAL bounds - >= 0 @ 1.90168
2.37/2.40 c GLOBAL bounds - >= 0 @ 1.92761
2.37/2.40 c GLOBAL bounds - >= 2 @ 1.92835
4.76/4.86 c GLOBAL bounds - >= 2 @ 4.32333
4.87/4.93 c GLOBAL bounds - >= 2 @ 4.35306
4.87/4.93 c GLOBAL bounds - >= 2 @ 4.35436
4.87/5.00 c GLOBAL bounds - >= 2 @ 4.37749
4.87/5.00 c GLOBAL bounds - >= 2 @ 4.37819
4.96/5.07 c GLOBAL bounds - >= 2 @ 4.41062
4.96/5.07 c GLOBAL bounds - >= 2 @ 4.41141
5.07/5.14 c GLOBAL bounds - >= 2 @ 4.43786
5.07/5.14 c GLOBAL bounds - >= 2 @ 4.43869
5.16/5.21 c GLOBAL bounds - >= 2 @ 4.46284
5.16/5.21 c GLOBAL bounds - >= 2 @ 4.46382
5.16/5.27 c GLOBAL bounds - >= 2 @ 4.4951
5.16/5.28 c GLOBAL bounds - >= 2 @ 4.49593
5.26/5.34 c GLOBAL bounds - >= 2 @ 4.51909
5.26/5.34 c GLOBAL bounds - >= 2 @ 4.51992
5.36/5.41 c GLOBAL bounds - >= 2 @ 4.54816
5.36/5.41 c GLOBAL bounds - >= 2 @ 4.54942
5.36/5.48 c GLOBAL bounds - >= 2 @ 4.57868
5.36/5.48 c GLOBAL bounds - >= 2 @ 4.57987
5.46/5.55 c GLOBAL bounds - >= 2 @ 4.6027
5.56/5.62 c GLOBAL bounds - >= 2 @ 4.62673
5.56/5.69 c GLOBAL bounds - >= 2 @ 4.65485
5.66/5.76 c GLOBAL bounds - >= 2 @ 4.68578
5.76/5.82 c GLOBAL bounds - >= 2 @ 4.70598
5.76/5.89 c GLOBAL bounds - >= 2 @ 4.73482
5.86/5.96 c GLOBAL bounds - >= 2 @ 4.7585
5.96/6.02 c GLOBAL bounds - >= 2 @ 4.78185
5.96/6.09 c GLOBAL bounds - >= 2 @ 4.80071
5.96/6.09 c GLOBAL bounds - >= 684 @ 4.80338
5.96/6.09 c GLOBAL bounds - >= 684 @ 4.80592
5.96/6.09 c GLOBAL bounds - >= 684 @ 4.80641
5.96/6.09 c GLOBAL bounds - >= 684 @ 4.80687
5.96/6.09 c GLOBAL bounds - >= 684 @ 4.80792
6.06/6.16 c GLOBAL bounds - >= 684 @ 4.82695
6.06/6.16 c GLOBAL bounds - >= 684 @ 4.82755
6.16/6.23 c GLOBAL bounds - >= 684 @ 4.85056
6.16/6.23 c GLOBAL bounds - >= 684 @ 4.85108
6.26/6.30 c GLOBAL bounds - >= 684 @ 4.87346
6.26/6.30 c GLOBAL bounds - >= 684 @ 4.87415
6.26/6.37 c GLOBAL bounds - >= 684 @ 4.89883
6.26/6.37 c GLOBAL bounds - >= 684 @ 4.90021
6.36/6.44 c GLOBAL bounds - >= 684 @ 4.92474
6.36/6.44 c GLOBAL bounds - >= 684 @ 4.92636
6.46/6.51 c GLOBAL bounds - >= 684 @ 4.94745
6.46/6.51 c GLOBAL bounds - >= 684 @ 4.94911
6.46/6.58 c GLOBAL bounds - >= 684 @ 4.97157
6.46/6.58 c GLOBAL bounds - >= 684 @ 4.97239
6.56/6.65 c GLOBAL bounds - >= 684 @ 5.00038
6.56/6.65 c GLOBAL bounds - >= 684 @ 5.00228
6.66/6.72 c GLOBAL bounds - >= 684 @ 5.0323
6.66/6.72 c GLOBAL bounds - >= 684 @ 5.03427
6.66/6.79 c GLOBAL bounds - >= 684 @ 5.06814
6.76/6.86 c GLOBAL bounds - >= 684 @ 5.09729
6.86/6.93 c GLOBAL bounds - >= 684 @ 5.11935
6.86/6.99 c GLOBAL bounds - >= 684 @ 5.14272
6.96/7.06 c GLOBAL bounds - >= 684 @ 5.17291
7.06/7.13 c GLOBAL bounds - >= 684 @ 5.19176
7.16/7.20 c GLOBAL bounds - >= 684 @ 5.23503
7.16/7.28 c GLOBAL bounds - >= 684 @ 5.26955
7.16/7.28 c GLOBAL bounds - >= 2048 @ 5.27526
7.16/7.29 c GLOBAL bounds - >= 2048 @ 5.27853
7.26/7.36 c GLOBAL bounds - >= 2048 @ 5.30254
7.26/7.36 c GLOBAL bounds - >= 2048 @ 5.30446
7.36/7.43 c GLOBAL bounds - >= 2048 @ 5.32872
7.36/7.43 c GLOBAL bounds - >= 2048 @ 5.33021
7.46/7.50 c GLOBAL bounds - >= 2048 @ 5.35617
7.46/7.50 c GLOBAL bounds - >= 2048 @ 5.35838
7.46/7.57 c GLOBAL bounds - >= 2048 @ 5.38612
7.46/7.57 c GLOBAL bounds - >= 2048 @ 5.38731
7.55/7.64 c GLOBAL bounds - >= 2048 @ 5.40719
7.55/7.64 c GLOBAL bounds - >= 2048 @ 5.41033
7.66/7.71 c GLOBAL bounds - >= 2048 @ 5.43709
7.66/7.71 c GLOBAL bounds - >= 2048 @ 5.4395
7.66/7.78 c GLOBAL bounds - >= 2048 @ 5.46048
7.66/7.79 c GLOBAL bounds - >= 2048 @ 5.46117
7.76/7.85 c GLOBAL bounds - >= 2048 @ 5.48376
7.76/7.86 c GLOBAL bounds - >= 2048 @ 5.48573
7.86/7.93 c GLOBAL bounds - >= 2048 @ 5.50818
7.86/7.94 c GLOBAL bounds - >= 2048 @ 5.51309
7.96/8.01 c GLOBAL bounds - >= 2048 @ 5.53822
7.96/8.09 c GLOBAL bounds - >= 2048 @ 5.5686
8.06/8.16 c GLOBAL bounds - >= 2048 @ 5.6037
8.15/8.24 c GLOBAL bounds - >= 2048 @ 5.63551
8.26/8.32 c GLOBAL bounds - >= 2048 @ 5.66894
8.26/8.34 c GLOBAL bounds - >= 4094 @ 5.68072
8.26/8.34 c GLOBAL bounds - >= 4094 @ 5.68801
8.26/8.35 c GLOBAL bounds - >= 4094 @ 5.68912
8.26/8.35 c GLOBAL bounds - >= 4094 @ 5.69156
8.35/8.42 c GLOBAL bounds - >= 4094 @ 5.71663
8.35/8.43 c GLOBAL bounds - >= 4094 @ 5.7189
8.45/8.50 c GLOBAL bounds - >= 4094 @ 5.74509
8.45/8.50 c GLOBAL bounds - >= 4094 @ 5.74612
8.45/8.57 c GLOBAL bounds - >= 4094 @ 5.77022
8.45/8.57 c GLOBAL bounds - >= 4094 @ 5.77355
8.56/8.65 c GLOBAL bounds - >= 4094 @ 5.79944
8.56/8.65 c GLOBAL bounds - >= 4094 @ 5.80189
8.65/8.72 c GLOBAL bounds - >= 4094 @ 5.83036
8.65/8.73 c GLOBAL bounds - >= 4094 @ 5.83445
8.75/8.80 c GLOBAL bounds - >= 4094 @ 5.85607
8.75/8.81 c GLOBAL bounds - >= 4094 @ 5.85887
8.75/8.88 c GLOBAL bounds - >= 4094 @ 5.88529
8.75/8.88 c GLOBAL bounds - >= 4094 @ 5.88736
8.86/8.96 c GLOBAL bounds - >= 4094 @ 5.91797
8.86/8.96 c GLOBAL bounds - >= 4094 @ 5.92294
8.96/9.03 c GLOBAL bounds - >= 4094 @ 5.95101
8.96/9.04 c GLOBAL bounds - >= 4094 @ 5.95577
9.06/9.11 c GLOBAL bounds - >= 4094 @ 5.97883
9.06/9.19 c GLOBAL bounds - >= 4094 @ 6.00793
9.16/9.26 c GLOBAL bounds - >= 4094 @ 6.03806
9.25/9.34 c GLOBAL bounds - >= 4094 @ 6.05941
9.36/9.42 c GLOBAL bounds - >= 4094 @ 6.09487
9.46/9.51 c GLOBAL bounds - >= 4094 @ 6.13844
9.46/9.59 c GLOBAL bounds - >= 4094 @ 6.17043
9.55/9.61 c GLOBAL bounds - >= 5799 @ 6.18795
9.55/9.62 c GLOBAL bounds - >= 5799 @ 6.19683
9.55/9.70 c GLOBAL bounds - >= 5799 @ 6.22069
9.66/9.70 c GLOBAL bounds - >= 5799 @ 6.22385
9.66/9.77 c GLOBAL bounds - >= 5799 @ 6.24828
9.66/9.78 c GLOBAL bounds - >= 5799 @ 6.24928
9.75/9.85 c GLOBAL bounds - >= 5799 @ 6.26962
9.75/9.86 c GLOBAL bounds - >= 5799 @ 6.27412
9.85/9.93 c GLOBAL bounds - >= 5799 @ 6.30055
9.85/9.93 c GLOBAL bounds - >= 5799 @ 6.30405
9.96/10.01 c GLOBAL bounds - >= 5799 @ 6.32479
9.96/10.01 c GLOBAL bounds - >= 5799 @ 6.33041
9.96/10.09 c GLOBAL bounds - >= 5799 @ 6.35959
9.96/10.09 c GLOBAL bounds - >= 5799 @ 6.36366
10.05/10.17 c GLOBAL bounds - >= 5799 @ 6.39276
10.05/10.17 c GLOBAL bounds - >= 5799 @ 6.39574
10.15/10.25 c GLOBAL bounds - >= 5799 @ 6.42072
10.15/10.25 c GLOBAL bounds - >= 5799 @ 6.42649
10.26/10.33 c GLOBAL bounds - >= 5799 @ 6.45253
10.26/10.34 c GLOBAL bounds - >= 5799 @ 6.46162
10.36/10.42 c GLOBAL bounds - >= 5799 @ 6.48753
10.36/10.49 c GLOBAL bounds - >= 5799 @ 6.50749
10.45/10.56 c GLOBAL bounds - >= 5799 @ 6.54053
10.55/10.64 c GLOBAL bounds - >= 5799 @ 6.57751
10.65/10.72 c GLOBAL bounds - >= 5799 @ 6.60553
10.75/10.80 c GLOBAL bounds - >= 5799 @ 6.64513
10.75/10.88 c GLOBAL bounds - >= 5799 @ 6.68401
10.85/10.96 c GLOBAL bounds - >= 5799 @ 6.71914
10.85/10.98 c GLOBAL bounds - >= 7163 @ 6.73661
10.85/10.99 c GLOBAL bounds - >= 7163 @ 6.74742
10.85/11.00 c GLOBAL bounds - >= 7163 @ 6.74925
10.96/11.01 c GLOBAL bounds - >= 7163 @ 6.75227
10.96/11.08 c GLOBAL bounds - >= 7163 @ 6.77767
10.96/11.09 c GLOBAL bounds - >= 7163 @ 6.77815
11.06/11.16 c GLOBAL bounds - >= 7163 @ 6.79695
11.06/11.16 c GLOBAL bounds - >= 7163 @ 6.79951
11.15/11.23 c GLOBAL bounds - >= 7163 @ 6.82678
11.15/11.24 c GLOBAL bounds - >= 7163 @ 6.82816
11.25/11.31 c GLOBAL bounds - >= 7163 @ 6.84891
11.25/11.32 c GLOBAL bounds - >= 7163 @ 6.85406
11.25/11.39 c GLOBAL bounds - >= 7163 @ 6.88191
11.35/11.40 c GLOBAL bounds - >= 7163 @ 6.88666
11.35/11.47 c GLOBAL bounds - >= 7163 @ 6.90878
11.35/11.48 c GLOBAL bounds - >= 7163 @ 6.91331
11.45/11.55 c GLOBAL bounds - >= 7163 @ 6.93785
11.45/11.56 c GLOBAL bounds - >= 7163 @ 6.9418
11.55/11.63 c GLOBAL bounds - >= 7163 @ 6.96922
11.55/11.64 c GLOBAL bounds - >= 7163 @ 6.97367
11.65/11.71 c GLOBAL bounds - >= 7163 @ 6.99241
11.65/11.72 c GLOBAL bounds - >= 7163 @ 6.99787
11.65/11.79 c GLOBAL bounds - >= 7163 @ 7.03022
11.75/11.86 c GLOBAL bounds - >= 7163 @ 7.069
11.85/11.94 c GLOBAL bounds - >= 7163 @ 7.09594
11.95/12.01 c GLOBAL bounds - >= 7163 @ 7.12387
12.05/12.11 c GLOBAL bounds - >= 7163 @ 7.17026
12.15/12.24 c GLOBAL bounds - >= 7163 @ 7.24786
12.24/12.35 c GLOBAL bounds - >= 7163 @ 7.31144
12.34/12.44 c GLOBAL bounds - >= 7163 @ 7.3544
12.45/12.53 c GLOBAL bounds - >= 7163 @ 7.40386
12.45/12.58 c GLOBAL bounds - >= 7165 @ 7.4485
12.45/12.59 c GLOBAL bounds - >= 7165 @ 7.45368
12.55/12.60 c GLOBAL bounds - >= 7165 @ 7.45616
12.55/12.61 c GLOBAL bounds - >= 7165 @ 7.46017
12.55/12.68 c GLOBAL bounds - >= 7165 @ 7.49042
12.55/12.69 c GLOBAL bounds - >= 7165 @ 7.49442
12.64/12.76 c GLOBAL bounds - >= 7165 @ 7.5189
12.64/12.77 c GLOBAL bounds - >= 7165 @ 7.52113
12.74/12.84 c GLOBAL bounds - >= 7165 @ 7.54224
12.74/12.85 c GLOBAL bounds - >= 7165 @ 7.54549
12.85/12.92 c GLOBAL bounds - >= 7165 @ 7.57369
12.85/12.93 c GLOBAL bounds - >= 7165 @ 7.57497
12.85/13.00 c GLOBAL bounds - >= 7165 @ 7.59827
12.95/13.01 c GLOBAL bounds - >= 7165 @ 7.60326
12.95/13.08 c GLOBAL bounds - >= 7165 @ 7.62908
12.95/13.09 c GLOBAL bounds - >= 7165 @ 7.63505
13.05/13.16 c GLOBAL bounds - >= 7165 @ 7.65884
13.05/13.17 c GLOBAL bounds - >= 7165 @ 7.66501
13.14/13.24 c GLOBAL bounds - >= 7165 @ 7.69071
13.14/13.25 c GLOBAL bounds - >= 7165 @ 7.69591
13.25/13.32 c GLOBAL bounds - >= 7165 @ 7.72365
13.25/13.33 c GLOBAL bounds - >= 7165 @ 7.7261
13.35/13.40 c GLOBAL bounds - >= 7165 @ 7.75672
13.35/13.48 c GLOBAL bounds - >= 7165 @ 7.77979
13.44/13.55 c GLOBAL bounds - >= 7165 @ 7.80064
13.54/13.62 c GLOBAL bounds - >= 7165 @ 7.82584
13.54/13.69 c GLOBAL bounds - >= 7165 @ 7.84992
13.75/13.86 c GLOBAL bounds - >= 7165 @ 7.95115
13.84/13.98 c GLOBAL bounds - >= 7165 @ 8.02843
13.95/14.09 c GLOBAL bounds - >= 7165 @ 8.09409
14.05/14.14 c GLOBAL bounds - >= 7507 @ 8.13666
14.05/14.15 c GLOBAL bounds - >= 7507 @ 8.14618
14.05/14.16 c GLOBAL bounds - >= 7507 @ 8.14859
14.05/14.16 c GLOBAL bounds - >= 7507 @ 8.1511
14.05/14.17 c GLOBAL bounds - >= 7507 @ 8.15356
14.05/14.18 c GLOBAL bounds - >= 7507 @ 8.15409
14.14/14.25 c GLOBAL bounds - >= 7507 @ 8.1788
14.14/14.26 c GLOBAL bounds - >= 7507 @ 8.18384
14.24/14.33 c GLOBAL bounds - >= 7507 @ 8.21043
14.24/14.34 c GLOBAL bounds - >= 7507 @ 8.21467
14.35/14.41 c GLOBAL bounds - >= 7507 @ 8.2417
14.35/14.42 c GLOBAL bounds - >= 7507 @ 8.24654
14.35/14.49 c GLOBAL bounds - >= 7507 @ 8.27165
14.44/14.50 c GLOBAL bounds - >= 7507 @ 8.2771
14.44/14.57 c GLOBAL bounds - >= 7507 @ 8.29754
14.44/14.58 c GLOBAL bounds - >= 7507 @ 8.3025
14.54/14.66 c GLOBAL bounds - >= 7507 @ 8.31952
14.54/14.67 c GLOBAL bounds - >= 7507 @ 8.32451
14.64/14.74 c GLOBAL bounds - >= 7507 @ 8.35262
14.64/14.75 c GLOBAL bounds - >= 7507 @ 8.35784
14.75/14.82 c GLOBAL bounds - >= 7507 @ 8.39275
14.75/14.83 c GLOBAL bounds - >= 7507 @ 8.39755
14.85/14.90 c GLOBAL bounds - >= 7507 @ 8.42335
14.85/14.91 c GLOBAL bounds - >= 7507 @ 8.42729
14.85/14.98 c GLOBAL bounds - >= 7507 @ 8.44969
14.94/15.06 c GLOBAL bounds - >= 7507 @ 8.47527
15.05/15.13 c GLOBAL bounds - >= 7507 @ 8.49795
15.14/15.20 c GLOBAL bounds - >= 7507 @ 8.51843
15.14/15.27 c GLOBAL bounds - >= 7507 @ 8.54981
15.24/15.36 c GLOBAL bounds - >= 7507 @ 8.58814
15.35/15.43 c GLOBAL bounds - >= 7507 @ 8.62297
15.44/15.51 c GLOBAL bounds - >= 7507 @ 8.65007
15.55/15.62 c GLOBAL bounds - >= 7510 @ 8.75493
15.55/15.63 c GLOBAL bounds - >= 7510 @ 8.75966
15.55/15.64 c GLOBAL bounds - >= 7510 @ 8.76374
15.55/15.65 c GLOBAL bounds - >= 7510 @ 8.76583
15.55/15.65 c GLOBAL bounds - >= 7510 @ 8.76989
15.65/15.78 c GLOBAL bounds - >= 7510 @ 8.8583
15.65/15.79 c GLOBAL bounds - >= 7510 @ 8.86028
15.74/15.87 c GLOBAL bounds - >= 7510 @ 8.8891
15.74/15.88 c GLOBAL bounds - >= 7510 @ 8.8911
15.84/15.95 c GLOBAL bounds - >= 7510 @ 8.91472
15.84/15.96 c GLOBAL bounds - >= 7510 @ 8.9162
15.94/16.03 c GLOBAL bounds - >= 7510 @ 8.95202
15.94/16.04 c GLOBAL bounds - >= 7510 @ 8.95726
16.04/16.11 c GLOBAL bounds - >= 7510 @ 8.97833
16.04/16.12 c GLOBAL bounds - >= 7510 @ 8.98417
16.04/16.19 c GLOBAL bounds - >= 7510 @ 9.00518
16.14/16.20 c GLOBAL bounds - >= 7510 @ 9.00791
16.14/16.27 c GLOBAL bounds - >= 7510 @ 9.04215
16.14/16.28 c GLOBAL bounds - >= 7510 @ 9.04832
16.24/16.35 c GLOBAL bounds - >= 7510 @ 9.07482
16.24/16.36 c GLOBAL bounds - >= 7510 @ 9.07793
16.34/16.43 c GLOBAL bounds - >= 7510 @ 9.10299
16.34/16.44 c GLOBAL bounds - >= 7510 @ 9.10769
16.44/16.52 c GLOBAL bounds - >= 7510 @ 9.13697
16.44/16.59 c GLOBAL bounds - >= 7510 @ 9.16371
16.54/16.66 c GLOBAL bounds - >= 7510 @ 9.18323
16.64/16.74 c GLOBAL bounds - >= 7510 @ 9.22542
16.73/16.82 c GLOBAL bounds - >= 7510 @ 9.26561
16.84/16.90 c GLOBAL bounds - >= 7510 @ 9.30625
16.84/16.98 c GLOBAL bounds - >= 7510 @ 9.34461
16.94/17.07 c GLOBAL bounds - >= 7510 @ 9.39383
17.04/17.14 c GLOBAL bounds - >= 7510 @ 9.42237
17.14/17.25 c GLOBAL bounds - >= 7510 @ 9.48776
17.64/17.72 c #Conflicts: 1000 | #Constraints: 1278
17.64/17.72 c GLOBAL bounds - >= 7511 @ 9.93434
17.64/17.73 c GLOBAL bounds - >= 7511 @ 9.94189
17.74/17.86 c GLOBAL bounds - >= 7511 @ 10.0121
17.74/17.86 c GLOBAL bounds - >= 7511 @ 10.0152
17.84/17.93 c GLOBAL bounds - >= 7511 @ 10.0494
17.84/17.94 c GLOBAL bounds - >= 7511 @ 10.0525
17.94/18.01 c GLOBAL bounds - >= 7511 @ 10.0824
17.94/18.02 c GLOBAL bounds - >= 7511 @ 10.0853
17.94/18.09 c GLOBAL bounds - >= 7511 @ 10.1084
17.94/18.09 c GLOBAL bounds - >= 7511 @ 10.1123
18.04/18.17 c GLOBAL bounds - >= 7511 @ 10.1425
18.04/18.18 c GLOBAL bounds - >= 7511 @ 10.1472
18.13/18.25 c GLOBAL bounds - >= 7511 @ 10.1693
18.13/18.26 c GLOBAL bounds - >= 7511 @ 10.1731
18.23/18.33 c GLOBAL bounds - >= 7511 @ 10.2034
18.23/18.34 c GLOBAL bounds - >= 7511 @ 10.2071
18.33/18.41 c GLOBAL bounds - >= 7511 @ 10.2322
18.33/18.42 c GLOBAL bounds - >= 7511 @ 10.2351
18.33/18.49 c GLOBAL bounds - >= 7511 @ 10.2624
18.43/18.50 c GLOBAL bounds - >= 7511 @ 10.266
18.43/18.57 c GLOBAL bounds - >= 7511 @ 10.2913
18.54/18.64 c GLOBAL bounds - >= 7511 @ 10.3206
18.63/18.71 c GLOBAL bounds - >= 7511 @ 10.346
18.63/18.79 c GLOBAL bounds - >= 7511 @ 10.3712
18.73/18.86 c GLOBAL bounds - >= 7511 @ 10.3964
18.83/18.93 c GLOBAL bounds - >= 7511 @ 10.4159
18.94/19.00 c GLOBAL bounds - >= 7511 @ 10.4468
18.94/19.08 c GLOBAL bounds - >= 7511 @ 10.483
19.04/19.16 c GLOBAL bounds - >= 7511 @ 10.5156
19.13/19.27 c GLOBAL bounds - >= 7511 @ 10.5747
19.33/19.48 c GLOBAL bounds - >= 7853 @ 10.7796
19.43/19.50 c GLOBAL bounds - >= 7853 @ 10.7938
19.43/19.50 c GLOBAL bounds - >= 7853 @ 10.7968
19.43/19.51 c GLOBAL bounds - >= 7853 @ 10.7998
19.43/19.52 c GLOBAL bounds - >= 7853 @ 10.8018
19.43/19.52 c GLOBAL bounds - >= 7853 @ 10.8042
19.43/19.53 c GLOBAL bounds - >= 7853 @ 10.8062
19.43/19.53 c GLOBAL bounds - >= 7853 @ 10.8113
19.43/19.54 c GLOBAL bounds - >= 7853 @ 10.816
19.53/19.61 c GLOBAL bounds - >= 7853 @ 10.8409
19.53/19.62 c GLOBAL bounds - >= 7853 @ 10.8458
19.53/19.69 c GLOBAL bounds - >= 7853 @ 10.8685
19.64/19.70 c GLOBAL bounds - >= 7853 @ 10.8746
19.64/19.77 c GLOBAL bounds - >= 7853 @ 10.8997
19.64/19.78 c GLOBAL bounds - >= 7853 @ 10.9066
19.74/19.85 c GLOBAL bounds - >= 7853 @ 10.9335
19.74/19.86 c GLOBAL bounds - >= 7853 @ 10.9406
19.83/19.94 c GLOBAL bounds - >= 7853 @ 10.9632
19.83/19.95 c GLOBAL bounds - >= 7853 @ 10.9694
19.93/20.02 c GLOBAL bounds - >= 7853 @ 10.9958
19.93/20.03 c GLOBAL bounds - >= 7853 @ 11.0007
20.03/20.12 c GLOBAL bounds - >= 7853 @ 11.0307
20.03/20.13 c GLOBAL bounds - >= 7853 @ 11.0334
20.13/20.20 c GLOBAL bounds - >= 7853 @ 11.0584
20.13/20.21 c GLOBAL bounds - >= 7853 @ 11.0632
20.13/20.28 c GLOBAL bounds - >= 7853 @ 11.0856
20.13/20.29 c GLOBAL bounds - >= 7853 @ 11.0912
20.23/20.36 c GLOBAL bounds - >= 7853 @ 11.1161
20.33/20.44 c GLOBAL bounds - >= 7853 @ 11.1392
20.43/20.51 c GLOBAL bounds - >= 7853 @ 11.1709
20.43/20.58 c GLOBAL bounds - >= 7853 @ 11.1979
20.53/20.65 c GLOBAL bounds - >= 7853 @ 11.2226
20.63/20.72 c GLOBAL bounds - >= 7853 @ 11.2521
20.63/20.79 c GLOBAL bounds - >= 7853 @ 11.278
20.73/20.87 c GLOBAL bounds - >= 7853 @ 11.3128
20.83/20.94 c GLOBAL bounds - >= 7853 @ 11.3401
20.94/21.01 c GLOBAL bounds - >= 7853 @ 11.3674
20.94/21.10 c GLOBAL bounds - >= 7853 @ 11.4056
21.03/21.19 c GLOBAL bounds - >= 7853 @ 11.45
21.33/21.46 c GLOBAL bounds - >= 7853 @ 11.6564
21.63/21.73 c GLOBAL bounds - >= 7853 @ 11.8714
28.81/28.97 c #Conflicts: 2000 | #Constraints: 2347
28.81/28.97 c INPROCESSING
28.81/28.97 c GARBAGE COLLECT
28.81/28.97 c #Conflicts: 3000 | #Constraints: 2327
28.81/28.97 c #Conflicts: 4000 | #Constraints: 3327
28.81/28.97 c INPROCESSING
28.81/28.97 c GARBAGE COLLECT
28.81/28.97 c #Conflicts: 5000 | #Constraints: 2769
28.81/28.97 c #Conflicts: 6000 | #Constraints: 3769
28.81/28.97 c GLOBAL bounds - >= 8194 @ 19.0127
28.81/28.99 c GLOBAL bounds - >= 8194 @ 19.0302
28.81/29.00 c GLOBAL bounds - >= 8194 @ 19.0323
28.91/29.01 c GLOBAL bounds - >= 8194 @ 19.0363
28.91/29.02 c GLOBAL bounds - >= 8194 @ 19.0413
28.91/29.02 c GLOBAL bounds - >= 8194 @ 19.0447
29.21/29.33 c INPROCESSING
29.21/29.33 c GARBAGE COLLECT
29.21/29.33 c GLOBAL bounds - >= 8194 @ 19.3002
29.21/29.33 c GLOBAL bounds - >= 8194 @ 19.3031
29.51/29.66 c GLOBAL bounds - >= 8194 @ 19.5969
29.51/29.67 c GLOBAL bounds - >= 8194 @ 19.6022
29.71/29.83 c GLOBAL bounds - >= 8194 @ 19.7117
29.71/29.84 c GLOBAL bounds - >= 8194 @ 19.7169
29.81/29.91 c GLOBAL bounds - >= 8194 @ 19.7474
29.81/29.92 c GLOBAL bounds - >= 8194 @ 19.751
29.91/30.01 c GLOBAL bounds - >= 8194 @ 19.7933
29.91/30.02 c GLOBAL bounds - >= 8194 @ 19.7989
29.91/30.09 c GLOBAL bounds - >= 8194 @ 19.831
29.91/30.10 c GLOBAL bounds - >= 8194 @ 19.8343
30.01/30.17 c GLOBAL bounds - >= 8194 @ 19.8678
30.01/30.18 c GLOBAL bounds - >= 8194 @ 19.873
30.10/30.25 c GLOBAL bounds - >= 8194 @ 19.8959
30.10/30.26 c GLOBAL bounds - >= 8194 @ 19.8988
30.21/30.33 c GLOBAL bounds - >= 8194 @ 19.9269
30.21/30.34 c GLOBAL bounds - >= 8194 @ 19.9331
30.30/30.42 c GLOBAL bounds - >= 8194 @ 19.9666
30.30/30.48 c GLOBAL bounds - >= 8194 @ 19.9916
30.40/30.55 c GLOBAL bounds - >= 8194 @ 20.0114
30.50/30.62 c GLOBAL bounds - >= 8194 @ 20.0385
30.50/30.69 c GLOBAL bounds - >= 8194 @ 20.0628
30.61/30.78 c GLOBAL bounds - >= 8194 @ 20.1116
30.70/30.85 c GLOBAL bounds - >= 8194 @ 20.1374
30.81/30.93 c GLOBAL bounds - >= 8194 @ 20.1752
138.12/138.58 c #Conflicts: 7000 | #Constraints: 2776
138.12/138.58 c #Conflicts: 8000 | #Constraints: 3776
138.12/138.58 c #Conflicts: 9000 | #Constraints: 4776
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 10000 | #Constraints: 3469
138.12/138.58 c #Conflicts: 11000 | #Constraints: 4469
138.12/138.58 c #Conflicts: 12000 | #Constraints: 5469
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 13000 | #Constraints: 3925
138.12/138.58 c #Conflicts: 14000 | #Constraints: 4925
138.12/138.58 c #Conflicts: 15000 | #Constraints: 5925
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 16000 | #Constraints: 4155
138.12/138.58 c #Conflicts: 17000 | #Constraints: 5155
138.12/138.58 c #Conflicts: 18000 | #Constraints: 6155
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 19000 | #Constraints: 4178
138.12/138.58 c #Conflicts: 20000 | #Constraints: 5178
138.12/138.58 c #Conflicts: 21000 | #Constraints: 6178
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 22000 | #Constraints: 3981
138.12/138.58 c #Conflicts: 23000 | #Constraints: 4981
138.12/138.58 c #Conflicts: 24000 | #Constraints: 5981
138.12/138.58 c #Conflicts: 25000 | #Constraints: 6981
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 26000 | #Constraints: 4577
138.12/138.58 c #Conflicts: 27000 | #Constraints: 5577
138.12/138.58 c #Conflicts: 28000 | #Constraints: 6577
138.12/138.58 c #Conflicts: 29000 | #Constraints: 7577
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 30000 | #Constraints: 4974
138.12/138.58 c #Conflicts: 31000 | #Constraints: 5974
138.12/138.58 c #Conflicts: 32000 | #Constraints: 6974
138.12/138.58 c #Conflicts: 33000 | #Constraints: 7974
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 34000 | #Constraints: 5183
138.12/138.58 c #Conflicts: 35000 | #Constraints: 6183
138.12/138.58 c #Conflicts: 36000 | #Constraints: 7183
138.12/138.58 c #Conflicts: 37000 | #Constraints: 8183
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 38000 | #Constraints: 5185
138.12/138.58 c #Conflicts: 39000 | #Constraints: 6185
138.12/138.58 c #Conflicts: 40000 | #Constraints: 7185
138.12/138.58 c #Conflicts: 41000 | #Constraints: 8185
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 42000 | #Constraints: 4989
138.12/138.58 c #Conflicts: 43000 | #Constraints: 5989
138.12/138.58 c #Conflicts: 44000 | #Constraints: 6989
138.12/138.58 c #Conflicts: 45000 | #Constraints: 7989
138.12/138.58 c #Conflicts: 46000 | #Constraints: 8989
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 47000 | #Constraints: 5589
138.12/138.58 c #Conflicts: 48000 | #Constraints: 6589
138.12/138.58 c #Conflicts: 49000 | #Constraints: 7589
138.12/138.58 c #Conflicts: 50000 | #Constraints: 8589
138.12/138.58 c #Conflicts: 51000 | #Constraints: 9589
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 52000 | #Constraints: 6005
138.12/138.58 c #Conflicts: 53000 | #Constraints: 7005
138.12/138.58 c #Conflicts: 54000 | #Constraints: 8005
138.12/138.58 c #Conflicts: 55000 | #Constraints: 9005
138.12/138.58 c #Conflicts: 56000 | #Constraints: 10005
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 57000 | #Constraints: 6198
138.12/138.58 c #Conflicts: 58000 | #Constraints: 7198
138.12/138.58 c #Conflicts: 59000 | #Constraints: 8198
138.12/138.58 c #Conflicts: 60000 | #Constraints: 9198
138.12/138.58 c #Conflicts: 61000 | #Constraints: 10198
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 62000 | #Constraints: 6202
138.12/138.58 c #Conflicts: 63000 | #Constraints: 7202
138.12/138.58 c #Conflicts: 64000 | #Constraints: 8202
138.12/138.58 c #Conflicts: 65000 | #Constraints: 9202
138.12/138.58 c #Conflicts: 66000 | #Constraints: 10202
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 67000 | #Constraints: 5990
138.12/138.58 c #Conflicts: 68000 | #Constraints: 6990
138.12/138.58 c #Conflicts: 69000 | #Constraints: 7990
138.12/138.58 c #Conflicts: 70000 | #Constraints: 8990
138.12/138.58 c #Conflicts: 71000 | #Constraints: 9990
138.12/138.58 c #Conflicts: 72000 | #Constraints: 10990
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c #Conflicts: 73000 | #Constraints: 6587
138.12/138.58 c #Conflicts: 74000 | #Constraints: 7587
138.12/138.58 c #Conflicts: 75000 | #Constraints: 8587
248.94/249.61 c #Conflicts: 76000 | #Constraints: 9587
248.94/249.61 c #Conflicts: 77000 | #Constraints: 10587
248.94/249.61 c #Conflicts: 78000 | #Constraints: 11587
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c #Conflicts: 79000 | #Constraints: 7001
248.94/249.61 c #Conflicts: 80000 | #Constraints: 8001
248.94/249.61 c #Conflicts: 81000 | #Constraints: 9001
248.94/249.61 c #Conflicts: 82000 | #Constraints: 10001
248.94/249.61 c #Conflicts: 83000 | #Constraints: 11001
248.94/249.61 c #Conflicts: 84000 | #Constraints: 12001
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c #Conflicts: 85000 | #Constraints: 7202
248.94/249.61 c #Conflicts: 86000 | #Constraints: 8202
248.94/249.61 c #Conflicts: 87000 | #Constraints: 9202
248.94/249.61 c #Conflicts: 88000 | #Constraints: 10202
248.94/249.61 c #Conflicts: 89000 | #Constraints: 11202
248.94/249.61 c #Conflicts: 90000 | #Constraints: 12202
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c #Conflicts: 91000 | #Constraints: 7201
248.94/249.61 c #Conflicts: 92000 | #Constraints: 8201
248.94/249.61 c #Conflicts: 93000 | #Constraints: 9201
248.94/249.61 c #Conflicts: 94000 | #Constraints: 10201
248.94/249.61 c #Conflicts: 95000 | #Constraints: 11201
248.94/249.61 c #Conflicts: 96000 | #Constraints: 12201
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c #Conflicts: 97000 | #Constraints: 6997
248.94/249.61 c #Conflicts: 98000 | #Constraints: 7997
248.94/249.61 c #Conflicts: 99000 | #Constraints: 8997
248.94/249.61 c #Conflicts: 100000 | #Constraints: 9997
248.94/249.61 c #Conflicts: 101000 | #Constraints: 10997
248.94/249.61 c #Conflicts: 102000 | #Constraints: 11997
248.94/249.61 c #Conflicts: 103000 | #Constraints: 12997
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c #Conflicts: 104000 | #Constraints: 7593
248.94/249.61 c #Conflicts: 105000 | #Constraints: 8593
248.94/249.61 c #Conflicts: 106000 | #Constraints: 9593
248.94/249.61 c #Conflicts: 107000 | #Constraints: 10593
248.94/249.61 c #Conflicts: 108000 | #Constraints: 11593
248.94/249.61 c #Conflicts: 109000 | #Constraints: 12593
248.94/249.61 c #Conflicts: 110000 | #Constraints: 13593
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c #Conflicts: 111000 | #Constraints: 7999
248.94/249.61 c #Conflicts: 112000 | #Constraints: 8999
248.94/249.61 c #Conflicts: 113000 | #Constraints: 9999
248.94/249.61 c #Conflicts: 114000 | #Constraints: 10999
248.94/249.61 c #Conflicts: 115000 | #Constraints: 11999
248.94/249.61 c #Conflicts: 116000 | #Constraints: 12999
248.94/249.61 c #Conflicts: 117000 | #Constraints: 13999
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c #Conflicts: 118000 | #Constraints: 8201
248.94/249.61 c #Conflicts: 119000 | #Constraints: 9201
248.94/249.61 c #Conflicts: 120000 | #Constraints: 10201
248.94/249.61 c #Conflicts: 121000 | #Constraints: 11201
248.94/249.61 c #Conflicts: 122000 | #Constraints: 12201
248.94/249.61 c #Conflicts: 123000 | #Constraints: 13201
248.94/249.61 c #Conflicts: 124000 | #Constraints: 14201
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c #Conflicts: 125000 | #Constraints: 8214
248.94/249.61 c #Conflicts: 126000 | #Constraints: 9214
248.94/249.61 c #Conflicts: 127000 | #Constraints: 10214
248.94/249.61 c #Conflicts: 128000 | #Constraints: 11214
248.94/249.61 c #Conflicts: 129000 | #Constraints: 12214
248.94/249.61 c #Conflicts: 130000 | #Constraints: 13214
248.94/249.61 c #Conflicts: 131000 | #Constraints: 14214
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c #Conflicts: 132000 | #Constraints: 8021
248.94/249.61 c #Conflicts: 133000 | #Constraints: 9021
248.94/249.61 c #Conflicts: 134000 | #Constraints: 10021
248.94/249.61 c #Conflicts: 135000 | #Constraints: 11021
248.94/249.61 c #Conflicts: 136000 | #Constraints: 12021
248.94/249.61 c #Conflicts: 137000 | #Constraints: 13021
248.94/249.61 c #Conflicts: 138000 | #Constraints: 14021
248.94/249.61 c #Conflicts: 139000 | #Constraints: 15021
248.94/249.61 c INPROCESSING
248.94/249.61 c GARBAGE COLLECT
248.94/249.61 c GLOBAL bounds - >= 8195 @ 237.111
248.94/249.62 c GLOBAL bounds - >= 8195 @ 237.118
248.94/249.63 c GLOBAL bounds - >= 8195 @ 237.12
248.94/249.64 c GLOBAL bounds - >= 8195 @ 237.122
249.05/249.71 c GLOBAL bounds - >= 8195 @ 237.156
249.05/249.72 c GLOBAL bounds - >= 8195 @ 237.162
249.05/249.79 c GLOBAL bounds - >= 8195 @ 237.19
249.14/249.80 c GLOBAL bounds - >= 8195 @ 237.195
249.14/249.87 c GLOBAL bounds - >= 8195 @ 237.23
249.14/249.88 c GLOBAL bounds - >= 8195 @ 237.233
249.24/249.95 c GLOBAL bounds - >= 8195 @ 237.264
249.24/249.96 c GLOBAL bounds - >= 8195 @ 237.268
249.35/250.03 c GLOBAL bounds - >= 8195 @ 237.294
249.35/250.04 c GLOBAL bounds - >= 8195 @ 237.298
249.44/250.11 c GLOBAL bounds - >= 8195 @ 237.319
249.44/250.12 c GLOBAL bounds - >= 8195 @ 237.326
249.44/250.19 c GLOBAL bounds - >= 8195 @ 237.35
249.54/250.21 c GLOBAL bounds - >= 8195 @ 237.358
249.54/250.28 c GLOBAL bounds - >= 8195 @ 237.389
249.54/250.29 c GLOBAL bounds - >= 8195 @ 237.393
249.64/250.36 c GLOBAL bounds - >= 8195 @ 237.425
249.64/250.37 c GLOBAL bounds - >= 8195 @ 237.43
255.33/256.07 c #Conflicts: 140000 | #Constraints: 8634
255.33/256.07 c #Conflicts: 141000 | #Constraints: 9634
255.33/256.07 c #Conflicts: 142000 | #Constraints: 10634
255.33/256.07 c GLOBAL bounds - >= 8195 @ 243.04
255.43/256.15 c GLOBAL bounds - >= 8195 @ 243.08
255.53/256.24 c GLOBAL bounds - >= 8195 @ 243.116
255.62/256.34 c GLOBAL bounds - >= 8195 @ 243.159
255.73/256.42 c GLOBAL bounds - >= 8195 @ 243.198
255.82/256.50 c GLOBAL bounds - >= 8195 @ 243.232
255.82/256.58 c GLOBAL bounds - >= 8195 @ 243.271
256.03/256.70 c GLOBAL bounds - >= 8195 @ 243.334
256.42/257.17 c #Conflicts: 143000 | #Constraints: 11655
256.42/257.17 c GLOBAL bounds - >= 8195 @ 243.758
296.72/297.50 c #Conflicts: 144000 | #Constraints: 12658
296.72/297.50 c #Conflicts: 145000 | #Constraints: 13658
296.72/297.50 c #Conflicts: 146000 | #Constraints: 14658
296.72/297.50 c #Conflicts: 147000 | #Constraints: 15658
296.72/297.50 c INPROCESSING
296.72/297.50 c GARBAGE COLLECT
296.72/297.50 c #Conflicts: 148000 | #Constraints: 9042
296.72/297.50 c #Conflicts: 149000 | #Constraints: 10042
296.72/297.50 c #Conflicts: 150000 | #Constraints: 11042
296.72/297.50 c #Conflicts: 151000 | #Constraints: 12042
296.72/297.50 c #Conflicts: 152000 | #Constraints: 13042
296.72/297.50 c #Conflicts: 153000 | #Constraints: 14042
296.72/297.50 c #Conflicts: 154000 | #Constraints: 15042
296.72/297.50 c #Conflicts: 155000 | #Constraints: 16042
296.72/297.50 c INPROCESSING
296.72/297.50 c GARBAGE COLLECT
296.72/297.50 c #Conflicts: 156000 | #Constraints: 9234
296.72/297.50 c #Conflicts: 157000 | #Constraints: 10234
296.72/297.50 c #Conflicts: 158000 | #Constraints: 11234
296.72/297.50 c #Conflicts: 159000 | #Constraints: 12234
296.72/297.50 c #Conflicts: 160000 | #Constraints: 13234
296.72/297.50 c #Conflicts: 161000 | #Constraints: 14234
296.72/297.50 c #Conflicts: 162000 | #Constraints: 15234
296.72/297.50 c #Conflicts: 163000 | #Constraints: 16234
296.72/297.50 c INPROCESSING
296.72/297.50 c GARBAGE COLLECT
296.72/297.50 c #Conflicts: 164000 | #Constraints: 9235
296.72/297.50 c #Conflicts: 165000 | #Constraints: 10235
296.72/297.50 c #Conflicts: 166000 | #Constraints: 11235
296.72/297.50 c #Conflicts: 167000 | #Constraints: 12235
296.72/297.50 c GLOBAL bounds - >= 8537 @ 283.631
296.72/297.52 c GLOBAL bounds - >= 8537 @ 283.645
296.72/297.52 c GLOBAL bounds - >= 8537 @ 283.646
296.72/297.59 c GLOBAL bounds - >= 8537 @ 283.668
296.72/297.59 c GLOBAL bounds - >= 8537 @ 283.668
296.82/297.67 c GLOBAL bounds - >= 8537 @ 283.702
296.82/297.67 c GLOBAL bounds - >= 8537 @ 283.703
296.92/297.75 c GLOBAL bounds - >= 8537 @ 283.734
296.92/297.75 c GLOBAL bounds - >= 8537 @ 283.735
297.12/297.90 c GLOBAL bounds - >= 8537 @ 283.836
297.12/297.90 c GLOBAL bounds - >= 8537 @ 283.837
297.12/297.97 c GLOBAL bounds - >= 8537 @ 283.86
297.12/297.97 c GLOBAL bounds - >= 8537 @ 283.861
297.22/298.05 c GLOBAL bounds - >= 8537 @ 283.888
297.22/298.05 c GLOBAL bounds - >= 8537 @ 283.889
297.32/298.12 c GLOBAL bounds - >= 8537 @ 283.927
297.32/298.12 c GLOBAL bounds - >= 8537 @ 283.928
297.42/298.20 c GLOBAL bounds - >= 8537 @ 283.96
297.42/298.20 c GLOBAL bounds - >= 8537 @ 283.961
297.42/298.27 c GLOBAL bounds - >= 8537 @ 283.988
297.42/298.27 c GLOBAL bounds - >= 8537 @ 283.989
297.52/298.35 c GLOBAL bounds - >= 8537 @ 284.016
297.52/298.35 c GLOBAL bounds - >= 8537 @ 284.019
297.52/298.36 c GLOBAL bounds - >= 8537 @ 284.027
297.62/298.44 c GLOBAL bounds - >= 8537 @ 284.054
297.62/298.44 c GLOBAL bounds - >= 8537 @ 284.06
297.72/298.55 c GLOBAL bounds - >= 8537 @ 284.118
297.72/298.56 c GLOBAL bounds - >= 8537 @ 284.122
297.82/298.63 c GLOBAL bounds - >= 8537 @ 284.154
297.82/298.64 c GLOBAL bounds - >= 8537 @ 284.158
297.92/298.72 c GLOBAL bounds - >= 8537 @ 284.192
297.92/298.73 c GLOBAL bounds - >= 8537 @ 284.196
298.02/298.80 c GLOBAL bounds - >= 8537 @ 284.223
298.02/298.81 c GLOBAL bounds - >= 8537 @ 284.226
298.02/298.88 c GLOBAL bounds - >= 8537 @ 284.264
298.02/298.89 c GLOBAL bounds - >= 8537 @ 284.269
298.12/298.96 c GLOBAL bounds - >= 8537 @ 284.292
298.12/298.97 c GLOBAL bounds - >= 8537 @ 284.296
298.22/299.05 c GLOBAL bounds - >= 8537 @ 284.315
298.22/299.05 c GLOBAL bounds - >= 8537 @ 284.318
298.33/299.13 c GLOBAL bounds - >= 8537 @ 284.345
298.33/299.14 c GLOBAL bounds - >= 8537 @ 284.35
298.42/299.21 c GLOBAL bounds - >= 8537 @ 284.382
298.42/299.29 c GLOBAL bounds - >= 8537 @ 284.413
298.52/299.36 c GLOBAL bounds - >= 8537 @ 284.443
298.71/299.58 c GLOBAL bounds - >= 8537 @ 284.62
369.63/370.61 c #Conflicts: 168000 | #Constraints: 13254
369.63/370.61 c #Conflicts: 169000 | #Constraints: 14254
369.63/370.61 c #Conflicts: 170000 | #Constraints: 15254
369.63/370.61 c #Conflicts: 171000 | #Constraints: 16254
369.63/370.61 c INPROCESSING
369.63/370.61 c GARBAGE COLLECT
369.63/370.61 c #Conflicts: 172000 | #Constraints: 9048
369.63/370.61 c #Conflicts: 173000 | #Constraints: 10048
369.63/370.61 c #Conflicts: 174000 | #Constraints: 11048
369.63/370.61 c #Conflicts: 175000 | #Constraints: 12048
369.63/370.61 c #Conflicts: 176000 | #Constraints: 13048
369.63/370.61 c #Conflicts: 177000 | #Constraints: 14048
369.63/370.61 c #Conflicts: 178000 | #Constraints: 15048
369.63/370.61 c #Conflicts: 179000 | #Constraints: 16048
369.63/370.61 c #Conflicts: 180000 | #Constraints: 17048
369.63/370.61 c INPROCESSING
369.63/370.61 c GARBAGE COLLECT
369.63/370.61 c #Conflicts: 181000 | #Constraints: 9648
369.63/370.61 c #Conflicts: 182000 | #Constraints: 10648
369.63/370.61 c #Conflicts: 183000 | #Constraints: 11648
369.63/370.61 c #Conflicts: 184000 | #Constraints: 12648
369.63/370.61 c #Conflicts: 185000 | #Constraints: 13648
369.63/370.61 c #Conflicts: 186000 | #Constraints: 14648
369.63/370.61 c #Conflicts: 187000 | #Constraints: 15648
369.63/370.61 c #Conflicts: 188000 | #Constraints: 16648
369.63/370.61 c #Conflicts: 189000 | #Constraints: 17648
369.63/370.61 c INPROCESSING
369.63/370.61 c GARBAGE COLLECT
369.63/370.61 c #Conflicts: 190000 | #Constraints: 10057
369.63/370.61 c #Conflicts: 191000 | #Constraints: 11057
369.63/370.61 c #Conflicts: 192000 | #Constraints: 12057
369.63/370.61 c #Conflicts: 193000 | #Constraints: 13057
369.63/370.61 c #Conflicts: 194000 | #Constraints: 14057
369.63/370.61 c #Conflicts: 195000 | #Constraints: 15057
369.63/370.61 c #Conflicts: 196000 | #Constraints: 16057
369.63/370.61 c #Conflicts: 197000 | #Constraints: 17057
369.63/370.61 c #Conflicts: 198000 | #Constraints: 18057
369.63/370.61 c INPROCESSING
369.63/370.61 c GARBAGE COLLECT
369.63/370.61 c #Conflicts: 199000 | #Constraints: 10243
369.63/370.61 c #Conflicts: 200000 | #Constraints: 11243
369.63/370.61 c #Conflicts: 201000 | #Constraints: 12243
369.63/370.61 c #Conflicts: 202000 | #Constraints: 13243
369.63/370.61 c #Conflicts: 203000 | #Constraints: 14243
369.63/370.61 c #Conflicts: 204000 | #Constraints: 15243
369.63/370.61 c #Conflicts: 205000 | #Constraints: 16243
369.63/370.61 c #Conflicts: 206000 | #Constraints: 17243
369.63/370.61 c #Conflicts: 207000 | #Constraints: 18243
369.63/370.61 c INPROCESSING
369.63/370.61 c GARBAGE COLLECT
369.63/370.61 c #Conflicts: 208000 | #Constraints: 10257
369.63/370.61 c #Conflicts: 209000 | #Constraints: 11257
369.63/370.61 c #Conflicts: 210000 | #Constraints: 12257
369.63/370.61 c GLOBAL bounds - >= 8538 @ 354.926
369.63/370.62 c GLOBAL bounds - >= 8538 @ 354.935
369.63/370.63 c GLOBAL bounds - >= 8538 @ 354.939
369.74/370.74 c GLOBAL bounds - >= 8538 @ 355.006
369.74/370.75 c GLOBAL bounds - >= 8538 @ 355.01
369.83/370.83 c GLOBAL bounds - >= 8538 @ 355.037
369.83/370.83 c GLOBAL bounds - >= 8538 @ 355.042
369.93/370.91 c GLOBAL bounds - >= 8538 @ 355.071
369.93/370.92 c GLOBAL bounds - >= 8538 @ 355.075
369.93/370.99 c GLOBAL bounds - >= 8538 @ 355.1
370.04/371.00 c GLOBAL bounds - >= 8538 @ 355.105
370.04/371.08 c GLOBAL bounds - >= 8538 @ 355.136
370.04/371.09 c GLOBAL bounds - >= 8538 @ 355.141
370.14/371.17 c GLOBAL bounds - >= 8538 @ 355.169
370.14/371.18 c GLOBAL bounds - >= 8538 @ 355.175
370.23/371.25 c GLOBAL bounds - >= 8538 @ 355.202
370.23/371.26 c GLOBAL bounds - >= 8538 @ 355.206
370.33/371.33 c GLOBAL bounds - >= 8538 @ 355.23
370.33/371.34 c GLOBAL bounds - >= 8538 @ 355.233
370.43/371.41 c GLOBAL bounds - >= 8538 @ 355.249
370.43/371.43 c GLOBAL bounds - >= 8538 @ 355.256
370.54/371.50 c GLOBAL bounds - >= 8538 @ 355.282
370.54/371.58 c GLOBAL bounds - >= 8538 @ 355.315
370.63/371.65 c GLOBAL bounds - >= 8538 @ 355.346
370.73/371.73 c GLOBAL bounds - >= 8538 @ 355.372
370.83/371.81 c GLOBAL bounds - >= 8538 @ 355.403
370.83/371.89 c GLOBAL bounds - >= 8538 @ 355.438
370.93/371.97 c GLOBAL bounds - >= 8538 @ 355.473
426.09/427.28 c #Conflicts: 211000 | #Constraints: 13267
426.09/427.28 c #Conflicts: 212000 | #Constraints: 14267
426.09/427.28 c #Conflicts: 213000 | #Constraints: 15267
426.09/427.28 c #Conflicts: 214000 | #Constraints: 16267
426.09/427.28 c #Conflicts: 215000 | #Constraints: 17267
426.09/427.28 c #Conflicts: 216000 | #Constraints: 18267
426.09/427.28 c INPROCESSING
426.09/427.28 c GARBAGE COLLECT
426.09/427.28 c #Conflicts: 217000 | #Constraints: 10070
426.09/427.28 c #Conflicts: 218000 | #Constraints: 11070
426.09/427.28 c #Conflicts: 219000 | #Constraints: 12070
426.09/427.28 c #Conflicts: 220000 | #Constraints: 13070
426.09/427.28 c #Conflicts: 221000 | #Constraints: 14070
426.09/427.28 c #Conflicts: 222000 | #Constraints: 15070
426.09/427.28 c #Conflicts: 223000 | #Constraints: 16070
426.09/427.28 c #Conflicts: 224000 | #Constraints: 17070
426.09/427.28 c #Conflicts: 225000 | #Constraints: 18070
426.09/427.28 c #Conflicts: 226000 | #Constraints: 19070
426.09/427.28 c INPROCESSING
426.09/427.28 c GARBAGE COLLECT
426.09/427.28 c #Conflicts: 227000 | #Constraints: 10694
426.09/427.28 c #Conflicts: 228000 | #Constraints: 11694
426.09/427.28 c #Conflicts: 229000 | #Constraints: 12694
426.09/427.28 c #Conflicts: 230000 | #Constraints: 13694
426.09/427.28 c #Conflicts: 231000 | #Constraints: 14694
426.09/427.28 c #Conflicts: 232000 | #Constraints: 15694
426.09/427.28 c #Conflicts: 233000 | #Constraints: 16694
426.09/427.28 c #Conflicts: 234000 | #Constraints: 17694
426.09/427.28 c #Conflicts: 235000 | #Constraints: 18694
426.09/427.28 c #Conflicts: 236000 | #Constraints: 19694
426.09/427.28 c INPROCESSING
426.09/427.28 c GARBAGE COLLECT
426.09/427.28 c #Conflicts: 237000 | #Constraints: 11086
426.09/427.28 c #Conflicts: 238000 | #Constraints: 12086
426.09/427.28 c GLOBAL bounds - >= 8538 @ 410.307
426.09/427.28 c GLOBAL bounds - >= 8538 @ 410.308
426.09/427.29 c GLOBAL bounds - >= 8538 @ 410.315
426.19/427.30 c GLOBAL bounds - >= 8538 @ 410.318
426.19/427.31 c GLOBAL bounds - >= 8538 @ 410.321
426.19/427.32 c GLOBAL bounds - >= 8538 @ 410.324
426.29/427.42 c GLOBAL bounds - >= 8538 @ 410.375
426.29/427.42 c GLOBAL bounds - >= 8538 @ 410.379
426.39/427.50 c GLOBAL bounds - >= 8538 @ 410.419
426.39/427.51 c GLOBAL bounds - >= 8538 @ 410.424
426.39/427.59 c GLOBAL bounds - >= 8538 @ 410.45
426.49/427.60 c GLOBAL bounds - >= 8538 @ 410.456
426.49/427.68 c GLOBAL bounds - >= 8538 @ 410.483
426.49/427.69 c GLOBAL bounds - >= 8538 @ 410.49
426.59/427.76 c GLOBAL bounds - >= 8538 @ 410.51
426.59/427.77 c GLOBAL bounds - >= 8538 @ 410.513
426.69/427.85 c GLOBAL bounds - >= 8538 @ 410.541
426.69/427.86 c GLOBAL bounds - >= 8538 @ 410.545
426.79/427.93 c GLOBAL bounds - >= 8538 @ 410.576
426.79/427.94 c GLOBAL bounds - >= 8538 @ 410.58
426.89/428.02 c GLOBAL bounds - >= 8538 @ 410.614
426.89/428.03 c GLOBAL bounds - >= 8538 @ 410.62
426.99/428.11 c GLOBAL bounds - >= 8538 @ 410.653
426.99/428.12 c GLOBAL bounds - >= 8538 @ 410.658
426.99/428.19 c GLOBAL bounds - >= 8538 @ 410.691
427.09/428.27 c GLOBAL bounds - >= 8538 @ 410.725
427.19/428.35 c GLOBAL bounds - >= 8538 @ 410.76
427.29/428.43 c GLOBAL bounds - >= 8538 @ 410.796
427.39/428.53 c GLOBAL bounds - >= 8538 @ 410.855
428.48/429.66 c #Conflicts: 239000 | #Constraints: 13098
428.48/429.66 c GLOBAL bounds - >= 8538 @ 411.939
436.87/438.05 c #Conflicts: 240000 | #Constraints: 14098
436.87/438.05 c #Conflicts: 241000 | #Constraints: 15098
436.87/438.05 c #Conflicts: 242000 | #Constraints: 16098
436.87/438.05 c #Conflicts: 243000 | #Constraints: 17098
436.87/438.05 c #Conflicts: 244000 | #Constraints: 18098
436.87/438.05 c GLOBAL bounds - >= 8539 @ 420.256
436.87/438.06 c GLOBAL bounds - >= 8539 @ 420.266
436.87/438.07 c GLOBAL bounds - >= 8539 @ 420.269
436.87/438.08 c GLOBAL bounds - >= 8539 @ 420.27
436.87/438.08 c GLOBAL bounds - >= 8539 @ 420.271
436.87/438.09 c GLOBAL bounds - >= 8539 @ 420.272
437.07/438.22 c GLOBAL bounds - >= 8539 @ 420.359
437.07/438.23 c GLOBAL bounds - >= 8539 @ 420.363
438.26/439.48 c #Conflicts: 245000 | #Constraints: 19103
438.26/439.48 c GLOBAL bounds - >= 8539 @ 421.552
438.26/439.49 c GLOBAL bounds - >= 8539 @ 421.556
438.46/439.64 c GLOBAL bounds - >= 8539 @ 421.664
438.46/439.64 c GLOBAL bounds - >= 8539 @ 421.667
438.56/439.73 c GLOBAL bounds - >= 8539 @ 421.7
438.56/439.73 c GLOBAL bounds - >= 8539 @ 421.704
438.65/439.81 c GLOBAL bounds - >= 8539 @ 421.733
438.65/439.82 c GLOBAL bounds - >= 8539 @ 421.737
438.76/439.90 c GLOBAL bounds - >= 8539 @ 421.778
438.76/439.91 c GLOBAL bounds - >= 8539 @ 421.784
438.76/440.00 c GLOBAL bounds - >= 8539 @ 421.821
438.86/440.00 c GLOBAL bounds - >= 8539 @ 421.826
438.86/440.08 c GLOBAL bounds - >= 8539 @ 421.857
438.86/440.09 c GLOBAL bounds - >= 8539 @ 421.863
438.97/440.16 c GLOBAL bounds - >= 8539 @ 421.898
438.97/440.17 c GLOBAL bounds - >= 8539 @ 421.903
439.06/440.25 c GLOBAL bounds - >= 8539 @ 421.935
439.16/440.33 c GLOBAL bounds - >= 8539 @ 421.965
439.26/440.41 c GLOBAL bounds - >= 8539 @ 422.003
439.26/440.49 c GLOBAL bounds - >= 8539 @ 422.039
439.36/440.58 c GLOBAL bounds - >= 8539 @ 422.083
440.35/441.57 c GLOBAL bounds - >= 8539 @ 423.021
440.56/441.72 c GLOBAL bounds - >= 8539 @ 423.122
440.56/441.73 c GLOBAL bounds - >= 8539 @ 423.128
440.56/441.73 c GLOBAL bounds - >= 8539 @ 423.135
440.56/441.74 c GLOBAL bounds - >= 8539 @ 423.139
441.95/443.18 c #Conflicts: 246000 | #Constraints: 20112
441.95/443.18 c INPROCESSING
441.95/443.18 c GARBAGE COLLECT
441.95/443.18 c GLOBAL bounds - >= 8539 @ 424.52
441.95/443.18 c GLOBAL bounds - >= 8539 @ 424.52
442.05/443.25 c GLOBAL bounds - >= 8539 @ 424.548
442.05/443.26 c GLOBAL bounds - >= 8539 @ 424.551
442.15/443.34 c GLOBAL bounds - >= 8539 @ 424.576
442.15/443.35 c GLOBAL bounds - >= 8539 @ 424.58
442.25/443.42 c GLOBAL bounds - >= 8539 @ 424.607
442.25/443.43 c GLOBAL bounds - >= 8539 @ 424.612
442.35/443.50 c GLOBAL bounds - >= 8539 @ 424.639
442.35/443.51 c GLOBAL bounds - >= 8539 @ 424.642
442.35/443.58 c GLOBAL bounds - >= 8539 @ 424.668
442.35/443.59 c GLOBAL bounds - >= 8539 @ 424.672
442.45/443.67 c GLOBAL bounds - >= 8539 @ 424.701
442.45/443.68 c GLOBAL bounds - >= 8539 @ 424.707
442.55/443.75 c GLOBAL bounds - >= 8539 @ 424.733
442.55/443.76 c GLOBAL bounds - >= 8539 @ 424.736
442.65/443.83 c GLOBAL bounds - >= 8539 @ 424.768
442.65/443.86 c GLOBAL bounds - >= 8539 @ 424.785
442.75/443.94 c GLOBAL bounds - >= 8539 @ 424.811
442.85/444.01 c GLOBAL bounds - >= 8539 @ 424.837
442.85/444.08 c GLOBAL bounds - >= 8539 @ 424.866
442.96/444.16 c GLOBAL bounds - >= 8539 @ 424.891
443.05/444.23 c GLOBAL bounds - >= 8539 @ 424.918
443.15/444.30 c GLOBAL bounds - >= 8539 @ 424.95
443.15/444.38 c GLOBAL bounds - >= 8539 @ 424.979
443.25/444.45 c GLOBAL bounds - >= 8539 @ 425.016
443.35/444.53 c GLOBAL bounds - >= 8539 @ 425.041
443.55/444.78 c GLOBAL bounds - >= 8539 @ 425.241
445.05/446.24 c #Conflicts: 247000 | #Constraints: 11340
445.05/446.24 c GLOBAL bounds - >= 8539 @ 426.641
449.34/450.50 c #Conflicts: 248000 | #Constraints: 12340
449.34/450.50 c #Conflicts: 249000 | #Constraints: 13340
449.34/450.50 c #Conflicts: 250000 | #Constraints: 14340
449.34/450.50 c GLOBAL bounds - >= 8539 @ 430.813
450.03/451.29 c GLOBAL bounds - >= 8539 @ 431.548
450.03/451.29 c GLOBAL bounds - >= 8539 @ 431.55
450.13/451.30 c GLOBAL bounds - >= 8539 @ 431.561
450.13/451.31 c GLOBAL bounds - >= 8539 @ 431.564
450.13/451.31 c GLOBAL bounds - >= 8539 @ 431.566
450.23/451.40 c GLOBAL bounds - >= 8539 @ 431.61
450.23/451.41 c GLOBAL bounds - >= 8539 @ 431.614
450.23/451.49 c GLOBAL bounds - >= 8539 @ 431.654
450.33/451.50 c GLOBAL bounds - >= 8539 @ 431.657
450.33/451.58 c GLOBAL bounds - >= 8539 @ 431.689
450.33/451.59 c GLOBAL bounds - >= 8539 @ 431.694
450.44/451.66 c GLOBAL bounds - >= 8539 @ 431.729
450.44/451.67 c GLOBAL bounds - >= 8539 @ 431.735
450.53/451.74 c GLOBAL bounds - >= 8539 @ 431.766
450.53/451.75 c GLOBAL bounds - >= 8539 @ 431.771
450.63/451.83 c GLOBAL bounds - >= 8539 @ 431.793
450.63/451.83 c GLOBAL bounds - >= 8539 @ 431.797
450.73/451.91 c GLOBAL bounds - >= 8539 @ 431.823
450.73/451.92 c GLOBAL bounds - >= 8539 @ 431.83
450.73/451.99 c GLOBAL bounds - >= 8539 @ 431.858
450.84/452.00 c GLOBAL bounds - >= 8539 @ 431.864
450.84/452.08 c GLOBAL bounds - >= 8539 @ 431.891
450.84/452.09 c GLOBAL bounds - >= 8539 @ 431.895
450.94/452.16 c GLOBAL bounds - >= 8539 @ 431.918
451.03/452.24 c GLOBAL bounds - >= 8539 @ 431.948
451.13/452.32 c GLOBAL bounds - >= 8539 @ 431.984
451.13/452.39 c GLOBAL bounds - >= 8539 @ 432.017
451.23/452.47 c GLOBAL bounds - >= 8539 @ 432.044
451.33/452.54 c GLOBAL bounds - >= 8539 @ 432.081
451.43/452.62 c GLOBAL bounds - >= 8539 @ 432.104
451.43/452.69 c GLOBAL bounds - >= 8539 @ 432.135
451.52/452.77 c GLOBAL bounds - >= 8539 @ 432.17
451.72/452.94 c GLOBAL bounds - >= 8539 @ 432.296
452.13/453.30 c GLOBAL bounds - >= 8539 @ 432.605
452.13/453.30 c GLOBAL bounds - >= 8539 @ 432.608
452.13/453.31 c GLOBAL bounds - >= 8539 @ 432.618
452.13/453.32 c GLOBAL bounds - >= 8539 @ 432.618
452.13/453.33 c GLOBAL bounds - >= 8539 @ 432.619
452.13/453.33 c GLOBAL bounds - >= 8539 @ 432.621
452.13/453.34 c GLOBAL bounds - >= 8539 @ 432.625
452.13/453.35 c GLOBAL bounds - >= 8539 @ 432.634
452.13/453.36 c GLOBAL bounds - >= 8539 @ 432.639
452.13/453.37 c GLOBAL bounds - >= 8539 @ 432.642
452.43/453.61 c GLOBAL bounds - >= 8539 @ 432.83
452.43/453.62 c GLOBAL bounds - >= 8539 @ 432.834
452.43/453.69 c GLOBAL bounds - >= 8539 @ 432.864
452.52/453.70 c GLOBAL bounds - >= 8539 @ 432.869
452.52/453.77 c GLOBAL bounds - >= 8539 @ 432.902
452.52/453.78 c GLOBAL bounds - >= 8539 @ 432.908
452.63/453.86 c GLOBAL bounds - >= 8539 @ 432.938
452.63/453.86 c GLOBAL bounds - >= 8539 @ 432.943
452.73/453.94 c GLOBAL bounds - >= 8539 @ 432.966
452.73/453.95 c GLOBAL bounds - >= 8539 @ 432.972
452.83/454.02 c GLOBAL bounds - >= 8539 @ 433.005
452.83/454.04 c GLOBAL bounds - >= 8539 @ 433.023
452.93/454.12 c GLOBAL bounds - >= 8539 @ 433.052
452.93/454.13 c GLOBAL bounds - >= 8539 @ 433.063
453.03/454.20 c GLOBAL bounds - >= 8539 @ 433.095
453.03/454.22 c GLOBAL bounds - >= 8539 @ 433.102
453.03/454.29 c GLOBAL bounds - >= 8539 @ 433.128
453.13/454.30 c GLOBAL bounds - >= 8539 @ 433.136
453.13/454.38 c GLOBAL bounds - >= 8539 @ 433.167
453.22/454.45 c GLOBAL bounds - >= 8539 @ 433.201
453.33/454.53 c #Conflicts: 251000 | #Constraints: 15391
453.33/454.53 c GLOBAL bounds - >= 8539 @ 433.24
453.43/454.61 c GLOBAL bounds - >= 8539 @ 433.265
453.43/454.69 c GLOBAL bounds - >= 8539 @ 433.294
453.53/454.77 c GLOBAL bounds - >= 8539 @ 433.33
453.63/454.85 c GLOBAL bounds - >= 8539 @ 433.35
453.73/454.94 c GLOBAL bounds - >= 8539 @ 433.395
453.93/455.16 c GLOBAL bounds - >= 8539 @ 433.573
454.12/455.32 c GLOBAL bounds - >= 8539 @ 433.684
455.22/456.43 c GLOBAL bounds - >= 8539 @ 434.733
458.01/459.29 c #Conflicts: 252000 | #Constraints: 16397
458.01/459.29 c #Conflicts: 253000 | #Constraints: 17397
458.01/459.29 c GLOBAL bounds - >= 8539 @ 437.508
493.22/494.53 c #Conflicts: 254000 | #Constraints: 18397
493.22/494.53 c #Conflicts: 255000 | #Constraints: 19397
493.22/494.53 c #Conflicts: 256000 | #Constraints: 20397
493.22/494.53 c INPROCESSING
493.22/494.53 c GARBAGE COLLECT
493.22/494.53 c #Conflicts: 257000 | #Constraints: 11370
493.22/494.53 c #Conflicts: 258000 | #Constraints: 12370
493.22/494.53 c #Conflicts: 259000 | #Constraints: 13370
493.22/494.53 c #Conflicts: 260000 | #Constraints: 14370
493.22/494.53 c #Conflicts: 261000 | #Constraints: 15370
493.22/494.53 c #Conflicts: 262000 | #Constraints: 16370
493.22/494.53 c #Conflicts: 263000 | #Constraints: 17370
493.22/494.53 c #Conflicts: 264000 | #Constraints: 18370
493.22/494.53 c #Conflicts: 265000 | #Constraints: 19370
493.22/494.53 c #Conflicts: 266000 | #Constraints: 20370
493.22/494.53 c INPROCESSING
493.22/494.53 c GARBAGE COLLECT
493.22/494.53 c #Conflicts: 267000 | #Constraints: 11186
493.22/494.53 c #Conflicts: 268000 | #Constraints: 12186
493.22/494.53 c #Conflicts: 269000 | #Constraints: 13186
493.22/494.53 c #Conflicts: 270000 | #Constraints: 14186
493.22/494.53 c #Conflicts: 271000 | #Constraints: 15186
493.22/494.53 c #Conflicts: 272000 | #Constraints: 16186
493.22/494.53 c GLOBAL bounds - >= 8881 @ 472.29
493.22/494.56 c GLOBAL bounds - >= 8881 @ 472.314
493.22/494.56 c GLOBAL bounds - >= 8881 @ 472.318
493.22/494.57 c GLOBAL bounds - >= 8881 @ 472.322
493.22/494.58 c GLOBAL bounds - >= 8881 @ 472.325
493.22/494.59 c GLOBAL bounds - >= 8881 @ 472.331
493.22/494.60 c GLOBAL bounds - >= 8881 @ 472.335
493.32/494.67 c GLOBAL bounds - >= 8881 @ 472.361
493.32/494.68 c GLOBAL bounds - >= 8881 @ 472.366
493.43/494.76 c GLOBAL bounds - >= 8881 @ 472.403
493.43/494.76 c GLOBAL bounds - >= 8881 @ 472.408
493.53/494.88 c GLOBAL bounds - >= 8881 @ 472.483
493.53/494.89 c GLOBAL bounds - >= 8881 @ 472.486
493.63/494.98 c GLOBAL bounds - >= 8881 @ 472.523
493.63/494.98 c GLOBAL bounds - >= 8881 @ 472.526
493.72/495.06 c GLOBAL bounds - >= 8881 @ 472.558
493.72/495.07 c GLOBAL bounds - >= 8881 @ 472.561
493.92/495.20 c GLOBAL bounds - >= 8881 @ 472.648
493.92/495.21 c GLOBAL bounds - >= 8881 @ 472.653
493.92/495.28 c GLOBAL bounds - >= 8881 @ 472.692
493.92/495.29 c GLOBAL bounds - >= 8881 @ 472.696
494.02/495.38 c GLOBAL bounds - >= 8881 @ 472.738
494.02/495.39 c GLOBAL bounds - >= 8881 @ 472.744
494.13/495.47 c GLOBAL bounds - >= 8881 @ 472.777
494.13/495.48 c GLOBAL bounds - >= 8881 @ 472.783
500.01/501.36 c #Conflicts: 273000 | #Constraints: 17200
500.01/501.36 c #Conflicts: 274000 | #Constraints: 18200
500.01/501.36 c #Conflicts: 275000 | #Constraints: 19200
500.01/501.36 c GLOBAL bounds - >= 8881 @ 478.58
504.40/505.76 c #Conflicts: 276000 | #Constraints: 20200
504.40/505.76 c #Conflicts: 277000 | #Constraints: 21200
504.40/505.76 c INPROCESSING
504.40/505.76 c GARBAGE COLLECT
504.40/505.76 c GLOBAL bounds - >= 8881 @ 482.918
504.80/506.14 c GLOBAL bounds - >= 8881 @ 483.248
504.80/506.14 c GLOBAL bounds - >= 8881 @ 483.249
504.80/506.15 c GLOBAL bounds - >= 8881 @ 483.258
504.80/506.16 c GLOBAL bounds - >= 8881 @ 483.261
504.89/506.29 c GLOBAL bounds - >= 8881 @ 483.34
504.89/506.30 c GLOBAL bounds - >= 8881 @ 483.344
504.99/506.37 c GLOBAL bounds - >= 8881 @ 483.37
504.99/506.38 c GLOBAL bounds - >= 8881 @ 483.375
505.09/506.46 c GLOBAL bounds - >= 8881 @ 483.413
505.09/506.47 c GLOBAL bounds - >= 8881 @ 483.418
505.19/506.54 c GLOBAL bounds - >= 8881 @ 483.444
505.19/506.55 c GLOBAL bounds - >= 8881 @ 483.448
505.29/506.62 c GLOBAL bounds - >= 8881 @ 483.476
505.29/506.63 c GLOBAL bounds - >= 8881 @ 483.48
505.39/506.70 c GLOBAL bounds - >= 8881 @ 483.5
505.39/506.71 c GLOBAL bounds - >= 8881 @ 483.504
505.39/506.79 c GLOBAL bounds - >= 8881 @ 483.528
505.39/506.80 c GLOBAL bounds - >= 8881 @ 483.533
505.49/506.87 c GLOBAL bounds - >= 8881 @ 483.559
505.49/506.88 c GLOBAL bounds - >= 8881 @ 483.564
505.59/506.95 c GLOBAL bounds - >= 8881 @ 483.583
505.59/506.96 c GLOBAL bounds - >= 8881 @ 483.588
505.70/507.04 c GLOBAL bounds - >= 8881 @ 483.62
505.80/507.11 c GLOBAL bounds - >= 8881 @ 483.648
505.80/507.19 c GLOBAL bounds - >= 8881 @ 483.674
505.89/507.26 c GLOBAL bounds - >= 8881 @ 483.698
506.09/507.42 c GLOBAL bounds - >= 8881 @ 483.812
506.70/508.08 c #Conflicts: 278000 | #Constraints: 11820
506.70/508.08 c GLOBAL bounds - >= 8881 @ 484.421
506.80/508.17 c GLOBAL bounds - >= 8881 @ 484.466
508.39/509.78 c #Conflicts: 279000 | #Constraints: 12820
508.39/509.78 c GLOBAL bounds - >= 8881 @ 485.989
652.43/654.18 c #Conflicts: 280000 | #Constraints: 13820
652.43/654.18 c #Conflicts: 281000 | #Constraints: 14820
652.43/654.18 c #Conflicts: 282000 | #Constraints: 15820
652.43/654.18 c #Conflicts: 283000 | #Constraints: 16820
652.43/654.18 c #Conflicts: 284000 | #Constraints: 17820
652.43/654.18 c #Conflicts: 285000 | #Constraints: 18820
652.43/654.18 c #Conflicts: 286000 | #Constraints: 19820
652.43/654.18 c #Conflicts: 287000 | #Constraints: 20820
652.43/654.18 c #Conflicts: 288000 | #Constraints: 21820
652.43/654.18 c INPROCESSING
652.43/654.18 c GARBAGE COLLECT
652.43/654.18 c #Conflicts: 289000 | #Constraints: 12222
652.43/654.18 c #Conflicts: 290000 | #Constraints: 13222
652.43/654.18 c #Conflicts: 291000 | #Constraints: 14222
652.43/654.18 c #Conflicts: 292000 | #Constraints: 15222
652.43/654.18 c #Conflicts: 293000 | #Constraints: 16222
652.43/654.18 c #Conflicts: 294000 | #Constraints: 17222
652.43/654.18 c #Conflicts: 295000 | #Constraints: 18222
652.43/654.18 c #Conflicts: 296000 | #Constraints: 19222
652.43/654.18 c #Conflicts: 297000 | #Constraints: 20222
652.43/654.18 c #Conflicts: 298000 | #Constraints: 21222
652.43/654.18 c #Conflicts: 299000 | #Constraints: 22222
652.43/654.18 c INPROCESSING
652.43/654.18 c GARBAGE COLLECT
652.43/654.18 c #Conflicts: 300000 | #Constraints: 12422
652.43/654.18 c #Conflicts: 301000 | #Constraints: 13422
652.43/654.18 c #Conflicts: 302000 | #Constraints: 14422
652.43/654.18 c #Conflicts: 303000 | #Constraints: 15422
652.43/654.18 c #Conflicts: 304000 | #Constraints: 16422
652.43/654.18 c #Conflicts: 305000 | #Constraints: 17422
652.43/654.18 c #Conflicts: 306000 | #Constraints: 18422
652.43/654.18 c #Conflicts: 307000 | #Constraints: 19422
652.43/654.18 c #Conflicts: 308000 | #Constraints: 20422
652.43/654.18 c #Conflicts: 309000 | #Constraints: 21422
652.43/654.18 c #Conflicts: 310000 | #Constraints: 22422
652.43/654.18 c INPROCESSING
652.43/654.18 c GARBAGE COLLECT
652.43/654.18 c #Conflicts: 311000 | #Constraints: 12429
652.43/654.18 c #Conflicts: 312000 | #Constraints: 13429
652.43/654.18 c #Conflicts: 313000 | #Constraints: 14429
652.43/654.18 c #Conflicts: 314000 | #Constraints: 15429
652.43/654.18 c #Conflicts: 315000 | #Constraints: 16429
652.43/654.18 c #Conflicts: 316000 | #Constraints: 17429
652.43/654.18 c #Conflicts: 317000 | #Constraints: 18429
652.43/654.18 c #Conflicts: 318000 | #Constraints: 19429
652.43/654.18 c #Conflicts: 319000 | #Constraints: 20429
652.43/654.18 c #Conflicts: 320000 | #Constraints: 21429
652.43/654.18 c #Conflicts: 321000 | #Constraints: 22429
652.43/654.18 c INPROCESSING
652.43/654.18 c GARBAGE COLLECT
652.43/654.18 c #Conflicts: 322000 | #Constraints: 12225
652.43/654.18 c #Conflicts: 323000 | #Constraints: 13225
652.43/654.18 c #Conflicts: 324000 | #Constraints: 14225
652.43/654.18 c #Conflicts: 325000 | #Constraints: 15225
652.43/654.18 c #Conflicts: 326000 | #Constraints: 16225
652.43/654.18 c #Conflicts: 327000 | #Constraints: 17225
652.43/654.18 c #Conflicts: 328000 | #Constraints: 18225
652.43/654.18 c #Conflicts: 329000 | #Constraints: 19225
652.43/654.18 c #Conflicts: 330000 | #Constraints: 20225
652.43/654.18 c #Conflicts: 331000 | #Constraints: 21225
652.43/654.18 c #Conflicts: 332000 | #Constraints: 22225
652.43/654.18 c #Conflicts: 333000 | #Constraints: 23225
652.43/654.18 c INPROCESSING
652.43/654.18 c GARBAGE COLLECT
652.43/654.18 c #Conflicts: 334000 | #Constraints: 12842
652.43/654.18 c #Conflicts: 335000 | #Constraints: 13842
652.43/654.18 c #Conflicts: 336000 | #Constraints: 14842
652.43/654.18 c #Conflicts: 337000 | #Constraints: 15842
652.43/654.18 c #Conflicts: 338000 | #Constraints: 16842
652.43/654.18 c #Conflicts: 339000 | #Constraints: 17842
652.43/654.18 c #Conflicts: 340000 | #Constraints: 18842
652.43/654.18 c #Conflicts: 341000 | #Constraints: 19842
652.43/654.18 c #Conflicts: 342000 | #Constraints: 20842
652.43/654.18 c #Conflicts: 343000 | #Constraints: 21842
652.43/654.18 c #Conflicts: 344000 | #Constraints: 22842
652.43/654.18 c #Conflicts: 345000 | #Constraints: 23842
652.43/654.18 c INPROCESSING
652.43/654.18 c GARBAGE COLLECT
652.43/654.18 c #Conflicts: 346000 | #Constraints: 13233
652.43/654.18 c #Conflicts: 347000 | #Constraints: 14233
652.43/654.18 c #Conflicts: 348000 | #Constraints: 15233
652.43/654.18 c #Conflicts: 349000 | #Constraints: 16233
652.43/654.18 c #Conflicts: 350000 | #Constraints: 17233
652.43/654.18 c #Conflicts: 351000 | #Constraints: 18233
652.43/654.18 c #Conflicts: 352000 | #Constraints: 19233
652.43/654.18 c #Conflicts: 353000 | #Constraints: 20233
652.43/654.18 c #Conflicts: 354000 | #Constraints: 21233
812.40/814.50 c #Conflicts: 355000 | #Constraints: 22233
812.40/814.50 c #Conflicts: 356000 | #Constraints: 23233
812.40/814.50 c #Conflicts: 357000 | #Constraints: 24233
812.40/814.50 c INPROCESSING
812.40/814.50 c GARBAGE COLLECT
812.40/814.50 c #Conflicts: 358000 | #Constraints: 13430
812.40/814.50 c #Conflicts: 359000 | #Constraints: 14430
812.40/814.50 c #Conflicts: 360000 | #Constraints: 15430
812.40/814.50 c #Conflicts: 361000 | #Constraints: 16430
812.40/814.50 c #Conflicts: 362000 | #Constraints: 17430
812.40/814.50 c #Conflicts: 363000 | #Constraints: 18430
812.40/814.50 c #Conflicts: 364000 | #Constraints: 19430
812.40/814.50 c #Conflicts: 365000 | #Constraints: 20430
812.40/814.50 c #Conflicts: 366000 | #Constraints: 21430
812.40/814.50 c #Conflicts: 367000 | #Constraints: 22430
812.40/814.50 c #Conflicts: 368000 | #Constraints: 23430
812.40/814.50 c #Conflicts: 369000 | #Constraints: 24430
812.40/814.50 c INPROCESSING
812.40/814.50 c GARBAGE COLLECT
812.40/814.50 c #Conflicts: 370000 | #Constraints: 13424
812.40/814.50 c #Conflicts: 371000 | #Constraints: 14424
812.40/814.50 c #Conflicts: 372000 | #Constraints: 15424
812.40/814.50 c #Conflicts: 373000 | #Constraints: 16424
812.40/814.50 c #Conflicts: 374000 | #Constraints: 17424
812.40/814.50 c #Conflicts: 375000 | #Constraints: 18424
812.40/814.50 c #Conflicts: 376000 | #Constraints: 19424
812.40/814.50 c #Conflicts: 377000 | #Constraints: 20424
812.40/814.50 c #Conflicts: 378000 | #Constraints: 21424
812.40/814.50 c #Conflicts: 379000 | #Constraints: 22424
812.40/814.50 c #Conflicts: 380000 | #Constraints: 23424
812.40/814.50 c #Conflicts: 381000 | #Constraints: 24424
812.40/814.50 c INPROCESSING
812.40/814.50 c GARBAGE COLLECT
812.40/814.50 c #Conflicts: 382000 | #Constraints: 13226
812.40/814.50 c #Conflicts: 383000 | #Constraints: 14226
812.40/814.50 c #Conflicts: 384000 | #Constraints: 15226
812.40/814.50 c #Conflicts: 385000 | #Constraints: 16226
812.40/814.50 c #Conflicts: 386000 | #Constraints: 17226
812.40/814.50 c #Conflicts: 387000 | #Constraints: 18226
812.40/814.50 c #Conflicts: 388000 | #Constraints: 19226
812.40/814.50 c #Conflicts: 389000 | #Constraints: 20226
812.40/814.50 c #Conflicts: 390000 | #Constraints: 21226
812.40/814.50 c #Conflicts: 391000 | #Constraints: 22226
812.40/814.50 c #Conflicts: 392000 | #Constraints: 23226
812.40/814.50 c #Conflicts: 393000 | #Constraints: 24226
812.40/814.50 c #Conflicts: 394000 | #Constraints: 25226
812.40/814.50 c INPROCESSING
812.40/814.50 c GARBAGE COLLECT
812.40/814.50 c #Conflicts: 395000 | #Constraints: 13836
812.40/814.50 c #Conflicts: 396000 | #Constraints: 14836
812.40/814.50 c #Conflicts: 397000 | #Constraints: 15836
812.40/814.50 c #Conflicts: 398000 | #Constraints: 16836
812.40/814.50 c #Conflicts: 399000 | #Constraints: 17836
812.40/814.50 c #Conflicts: 400000 | #Constraints: 18836
812.40/814.50 c #Conflicts: 401000 | #Constraints: 19836
812.40/814.50 c #Conflicts: 402000 | #Constraints: 20836
812.40/814.50 c #Conflicts: 403000 | #Constraints: 21836
812.40/814.50 c #Conflicts: 404000 | #Constraints: 22836
812.40/814.50 c #Conflicts: 405000 | #Constraints: 23836
812.40/814.50 c #Conflicts: 406000 | #Constraints: 24836
812.40/814.50 c #Conflicts: 407000 | #Constraints: 25836
812.40/814.50 c INPROCESSING
812.40/814.50 c GARBAGE COLLECT
812.40/814.50 c #Conflicts: 408000 | #Constraints: 14236
812.40/814.50 c #Conflicts: 409000 | #Constraints: 15236
812.40/814.50 c #Conflicts: 410000 | #Constraints: 16236
812.40/814.50 c #Conflicts: 411000 | #Constraints: 17236
812.40/814.50 c #Conflicts: 412000 | #Constraints: 18236
812.40/814.50 c #Conflicts: 413000 | #Constraints: 19236
812.40/814.50 c #Conflicts: 414000 | #Constraints: 20236
812.40/814.50 c #Conflicts: 415000 | #Constraints: 21236
812.40/814.50 c #Conflicts: 416000 | #Constraints: 22236
812.40/814.50 c #Conflicts: 417000 | #Constraints: 23236
812.40/814.50 c #Conflicts: 418000 | #Constraints: 24236
812.40/814.50 c #Conflicts: 419000 | #Constraints: 25236
812.40/814.50 c #Conflicts: 420000 | #Constraints: 26236
812.40/814.50 c INPROCESSING
812.40/814.50 c GARBAGE COLLECT
812.40/814.50 c #Conflicts: 421000 | #Constraints: 14440
812.40/814.50 c #Conflicts: 422000 | #Constraints: 15440
812.40/814.50 c #Conflicts: 423000 | #Constraints: 16440
812.40/814.50 c #Conflicts: 424000 | #Constraints: 17440
812.40/814.50 c #Conflicts: 425000 | #Constraints: 18440
812.40/814.50 c #Conflicts: 426000 | #Constraints: 19440
812.40/814.50 c #Conflicts: 427000 | #Constraints: 20440
812.40/814.50 c #Conflicts: 428000 | #Constraints: 21440
812.40/814.50 c #Conflicts: 429000 | #Constraints: 22440
973.87/976.43 c #Conflicts: 430000 | #Constraints: 23440
973.87/976.43 c #Conflicts: 431000 | #Constraints: 24440
973.87/976.43 c #Conflicts: 432000 | #Constraints: 25440
973.87/976.43 c #Conflicts: 433000 | #Constraints: 26440
973.87/976.43 c INPROCESSING
973.87/976.43 c GARBAGE COLLECT
973.87/976.43 c #Conflicts: 434000 | #Constraints: 14438
973.87/976.43 c #Conflicts: 435000 | #Constraints: 15438
973.87/976.43 c #Conflicts: 436000 | #Constraints: 16438
973.87/976.43 c #Conflicts: 437000 | #Constraints: 17438
973.87/976.43 c #Conflicts: 438000 | #Constraints: 18438
973.87/976.43 c #Conflicts: 439000 | #Constraints: 19438
973.87/976.43 c #Conflicts: 440000 | #Constraints: 20438
973.87/976.43 c #Conflicts: 441000 | #Constraints: 21438
973.87/976.43 c #Conflicts: 442000 | #Constraints: 22438
973.87/976.43 c #Conflicts: 443000 | #Constraints: 23438
973.87/976.43 c #Conflicts: 444000 | #Constraints: 24438
973.87/976.43 c #Conflicts: 445000 | #Constraints: 25438
973.87/976.43 c #Conflicts: 446000 | #Constraints: 26438
973.87/976.43 c INPROCESSING
973.87/976.43 c GARBAGE COLLECT
973.87/976.43 c #Conflicts: 447000 | #Constraints: 14241
973.87/976.43 c #Conflicts: 448000 | #Constraints: 15241
973.87/976.43 c #Conflicts: 449000 | #Constraints: 16241
973.87/976.43 c #Conflicts: 450000 | #Constraints: 17241
973.87/976.43 c #Conflicts: 451000 | #Constraints: 18241
973.87/976.43 c #Conflicts: 452000 | #Constraints: 19241
973.87/976.43 c #Conflicts: 453000 | #Constraints: 20241
973.87/976.43 c #Conflicts: 454000 | #Constraints: 21241
973.87/976.43 c #Conflicts: 455000 | #Constraints: 22241
973.87/976.43 c #Conflicts: 456000 | #Constraints: 23241
973.87/976.43 c #Conflicts: 457000 | #Constraints: 24241
973.87/976.43 c #Conflicts: 458000 | #Constraints: 25241
973.87/976.43 c #Conflicts: 459000 | #Constraints: 26241
973.87/976.43 c #Conflicts: 460000 | #Constraints: 27241
973.87/976.43 c INPROCESSING
973.87/976.43 c GARBAGE COLLECT
973.87/976.43 c #Conflicts: 461000 | #Constraints: 14843
973.87/976.43 c #Conflicts: 462000 | #Constraints: 15843
973.87/976.43 c #Conflicts: 463000 | #Constraints: 16843
973.87/976.43 c #Conflicts: 464000 | #Constraints: 17843
973.87/976.43 c #Conflicts: 465000 | #Constraints: 18843
973.87/976.43 c #Conflicts: 466000 | #Constraints: 19843
973.87/976.43 c #Conflicts: 467000 | #Constraints: 20843
973.87/976.43 c #Conflicts: 468000 | #Constraints: 21843
973.87/976.43 c #Conflicts: 469000 | #Constraints: 22843
973.87/976.43 c #Conflicts: 470000 | #Constraints: 23843
973.87/976.43 c #Conflicts: 471000 | #Constraints: 24843
973.87/976.43 c #Conflicts: 472000 | #Constraints: 25843
973.87/976.43 c #Conflicts: 473000 | #Constraints: 26843
973.87/976.43 c #Conflicts: 474000 | #Constraints: 27843
973.87/976.43 c INPROCESSING
973.87/976.43 c GARBAGE COLLECT
973.87/976.43 c #Conflicts: 475000 | #Constraints: 15238
973.87/976.43 c #Conflicts: 476000 | #Constraints: 16238
973.87/976.43 c #Conflicts: 477000 | #Constraints: 17238
973.87/976.43 c #Conflicts: 478000 | #Constraints: 18238
973.87/976.43 c #Conflicts: 479000 | #Constraints: 19238
973.87/976.43 c #Conflicts: 480000 | #Constraints: 20238
973.87/976.43 c #Conflicts: 481000 | #Constraints: 21238
973.87/976.43 c #Conflicts: 482000 | #Constraints: 22238
973.87/976.43 c #Conflicts: 483000 | #Constraints: 23238
973.87/976.43 c #Conflicts: 484000 | #Constraints: 24238
973.87/976.43 c #Conflicts: 485000 | #Constraints: 25238
973.87/976.43 c #Conflicts: 486000 | #Constraints: 26238
973.87/976.43 c #Conflicts: 487000 | #Constraints: 27238
973.87/976.43 c #Conflicts: 488000 | #Constraints: 28238
973.87/976.43 c INPROCESSING
973.87/976.43 c GARBAGE COLLECT
973.87/976.43 c #Conflicts: 489000 | #Constraints: 15441
973.87/976.43 c #Conflicts: 490000 | #Constraints: 16441
973.87/976.43 c #Conflicts: 491000 | #Constraints: 17441
973.87/976.43 c #Conflicts: 492000 | #Constraints: 18441
973.87/976.43 c #Conflicts: 493000 | #Constraints: 19441
973.87/976.43 c #Conflicts: 494000 | #Constraints: 20441
973.87/976.43 c #Conflicts: 495000 | #Constraints: 21441
973.87/976.43 c #Conflicts: 496000 | #Constraints: 22441
973.87/976.43 c #Conflicts: 497000 | #Constraints: 23441
973.87/976.43 c #Conflicts: 498000 | #Constraints: 24441
973.87/976.43 c #Conflicts: 499000 | #Constraints: 25441
973.87/976.43 c #Conflicts: 500000 | #Constraints: 26441
973.87/976.43 c #Conflicts: 501000 | #Constraints: 27441
973.87/976.43 c #Conflicts: 502000 | #Constraints: 28441
973.87/976.43 c INPROCESSING
973.87/976.43 c GARBAGE COLLECT
973.87/976.43 c #Conflicts: 503000 | #Constraints: 15437
973.87/976.43 c #Conflicts: 504000 | #Constraints: 16437
1115.47/1118.41 c #Conflicts: 505000 | #Constraints: 17437
1115.47/1118.41 c #Conflicts: 506000 | #Constraints: 18437
1115.47/1118.41 c #Conflicts: 507000 | #Constraints: 19437
1115.47/1118.41 c #Conflicts: 508000 | #Constraints: 20437
1115.47/1118.41 c #Conflicts: 509000 | #Constraints: 21437
1115.47/1118.41 c #Conflicts: 510000 | #Constraints: 22437
1115.47/1118.41 c #Conflicts: 511000 | #Constraints: 23437
1115.47/1118.41 c #Conflicts: 512000 | #Constraints: 24437
1115.47/1118.41 c #Conflicts: 513000 | #Constraints: 25437
1115.47/1118.41 c #Conflicts: 514000 | #Constraints: 26437
1115.47/1118.41 c #Conflicts: 515000 | #Constraints: 27437
1115.47/1118.41 c #Conflicts: 516000 | #Constraints: 28437
1115.47/1118.41 c INPROCESSING
1115.47/1118.41 c GARBAGE COLLECT
1115.47/1118.41 c #Conflicts: 517000 | #Constraints: 15233
1115.47/1118.41 c #Conflicts: 518000 | #Constraints: 16233
1115.47/1118.41 c #Conflicts: 519000 | #Constraints: 17233
1115.47/1118.41 c #Conflicts: 520000 | #Constraints: 18233
1115.47/1118.41 c #Conflicts: 521000 | #Constraints: 19233
1115.47/1118.41 c #Conflicts: 522000 | #Constraints: 20233
1115.47/1118.41 c #Conflicts: 523000 | #Constraints: 21233
1115.47/1118.41 c #Conflicts: 524000 | #Constraints: 22233
1115.47/1118.41 c #Conflicts: 525000 | #Constraints: 23233
1115.47/1118.41 c #Conflicts: 526000 | #Constraints: 24233
1115.47/1118.41 c #Conflicts: 527000 | #Constraints: 25233
1115.47/1118.41 c #Conflicts: 528000 | #Constraints: 26233
1115.47/1118.41 c #Conflicts: 529000 | #Constraints: 27233
1115.47/1118.41 c #Conflicts: 530000 | #Constraints: 28233
1115.47/1118.41 c #Conflicts: 531000 | #Constraints: 29233
1115.47/1118.41 c INPROCESSING
1115.47/1118.41 c GARBAGE COLLECT
1115.47/1118.41 c #Conflicts: 532000 | #Constraints: 15826
1115.47/1118.41 c #Conflicts: 533000 | #Constraints: 16826
1115.47/1118.41 c #Conflicts: 534000 | #Constraints: 17826
1115.47/1118.41 c #Conflicts: 535000 | #Constraints: 18826
1115.47/1118.41 c #Conflicts: 536000 | #Constraints: 19826
1115.47/1118.41 c #Conflicts: 537000 | #Constraints: 20826
1115.47/1118.41 c #Conflicts: 538000 | #Constraints: 21826
1115.47/1118.41 c #Conflicts: 539000 | #Constraints: 22826
1115.47/1118.41 c #Conflicts: 540000 | #Constraints: 23826
1115.47/1118.41 c #Conflicts: 541000 | #Constraints: 24826
1115.47/1118.41 c #Conflicts: 542000 | #Constraints: 25826
1115.47/1118.41 c #Conflicts: 543000 | #Constraints: 26826
1115.47/1118.41 c #Conflicts: 544000 | #Constraints: 27826
1115.47/1118.41 c #Conflicts: 545000 | #Constraints: 28826
1115.47/1118.41 c #Conflicts: 546000 | #Constraints: 29826
1115.47/1118.41 c INPROCESSING
1115.47/1118.41 c GARBAGE COLLECT
1115.47/1118.41 c #Conflicts: 547000 | #Constraints: 16225
1115.47/1118.41 c #Conflicts: 548000 | #Constraints: 17225
1115.47/1118.41 c #Conflicts: 549000 | #Constraints: 18225
1115.47/1118.41 c #Conflicts: 550000 | #Constraints: 19225
1115.47/1118.41 c #Conflicts: 551000 | #Constraints: 20225
1115.47/1118.41 c #Conflicts: 552000 | #Constraints: 21225
1115.47/1118.41 c #Conflicts: 553000 | #Constraints: 22225
1115.47/1118.41 c #Conflicts: 554000 | #Constraints: 23225
1115.47/1118.41 c #Conflicts: 555000 | #Constraints: 24225
1115.47/1118.41 c #Conflicts: 556000 | #Constraints: 25225
1115.47/1118.41 c #Conflicts: 557000 | #Constraints: 26225
1115.47/1118.41 c #Conflicts: 558000 | #Constraints: 27225
1115.47/1118.41 c #Conflicts: 559000 | #Constraints: 28225
1115.47/1118.41 c #Conflicts: 560000 | #Constraints: 29225
1115.47/1118.41 c #Conflicts: 561000 | #Constraints: 30225
1115.47/1118.41 c INPROCESSING
1115.47/1118.41 c GARBAGE COLLECT
1115.47/1118.41 c #Conflicts: 562000 | #Constraints: 16431
1115.47/1118.41 c #Conflicts: 563000 | #Constraints: 17431
1115.47/1118.41 c #Conflicts: 564000 | #Constraints: 18431
1115.47/1118.41 c #Conflicts: 565000 | #Constraints: 19431
1115.47/1118.41 c #Conflicts: 566000 | #Constraints: 20431
1115.47/1118.41 c #Conflicts: 567000 | #Constraints: 21431
1115.47/1118.41 c #Conflicts: 568000 | #Constraints: 22431
1115.47/1118.41 c #Conflicts: 569000 | #Constraints: 23431
1115.47/1118.41 c #Conflicts: 570000 | #Constraints: 24431
1115.47/1118.41 c #Conflicts: 571000 | #Constraints: 25431
1115.47/1118.41 c #Conflicts: 572000 | #Constraints: 26431
1115.47/1118.41 c #Conflicts: 573000 | #Constraints: 27431
1115.47/1118.41 c #Conflicts: 574000 | #Constraints: 28431
1115.47/1118.41 c #Conflicts: 575000 | #Constraints: 29431
1115.47/1118.41 c #Conflicts: 576000 | #Constraints: 30431
1115.47/1118.41 c INPROCESSING
1115.47/1118.41 c GARBAGE COLLECT
1115.47/1118.41 c #Conflicts: 577000 | #Constraints: 16436
1115.47/1118.41 c #Conflicts: 578000 | #Constraints: 17436
1115.47/1118.41 c #Conflicts: 579000 | #Constraints: 18436
1115.47/1118.41 c #Conflicts: 580000 | #Constraints: 19436
1261.85/1265.22 c #Conflicts: 581000 | #Constraints: 20436
1261.85/1265.22 c #Conflicts: 582000 | #Constraints: 21436
1261.85/1265.22 c #Conflicts: 583000 | #Constraints: 22436
1261.85/1265.22 c #Conflicts: 584000 | #Constraints: 23436
1261.85/1265.22 c #Conflicts: 585000 | #Constraints: 24436
1261.85/1265.22 c #Conflicts: 586000 | #Constraints: 25436
1261.85/1265.22 c #Conflicts: 587000 | #Constraints: 26436
1261.85/1265.22 c #Conflicts: 588000 | #Constraints: 27436
1261.85/1265.22 c #Conflicts: 589000 | #Constraints: 28436
1261.85/1265.22 c #Conflicts: 590000 | #Constraints: 29436
1261.85/1265.22 c #Conflicts: 591000 | #Constraints: 30436
1261.85/1265.22 c INPROCESSING
1261.85/1265.22 c GARBAGE COLLECT
1261.85/1265.22 c #Conflicts: 592000 | #Constraints: 16236
1261.85/1265.22 c #Conflicts: 593000 | #Constraints: 17236
1261.85/1265.22 c #Conflicts: 594000 | #Constraints: 18236
1261.85/1265.22 c #Conflicts: 595000 | #Constraints: 19236
1261.85/1265.22 c #Conflicts: 596000 | #Constraints: 20236
1261.85/1265.22 c #Conflicts: 597000 | #Constraints: 21236
1261.85/1265.22 c #Conflicts: 598000 | #Constraints: 22236
1261.85/1265.22 c #Conflicts: 599000 | #Constraints: 23236
1261.85/1265.22 c #Conflicts: 600000 | #Constraints: 24236
1261.85/1265.22 c #Conflicts: 601000 | #Constraints: 25236
1261.85/1265.22 c #Conflicts: 602000 | #Constraints: 26236
1261.85/1265.22 c #Conflicts: 603000 | #Constraints: 27236
1261.85/1265.22 c #Conflicts: 604000 | #Constraints: 28236
1261.85/1265.22 c #Conflicts: 605000 | #Constraints: 29236
1261.85/1265.22 c #Conflicts: 606000 | #Constraints: 30236
1261.85/1265.22 c #Conflicts: 607000 | #Constraints: 31236
1261.85/1265.22 c INPROCESSING
1261.85/1265.22 c GARBAGE COLLECT
1261.85/1265.22 c #Conflicts: 608000 | #Constraints: 16837
1261.85/1265.22 c #Conflicts: 609000 | #Constraints: 17837
1261.85/1265.22 c #Conflicts: 610000 | #Constraints: 18837
1261.85/1265.22 c #Conflicts: 611000 | #Constraints: 19837
1261.85/1265.22 c #Conflicts: 612000 | #Constraints: 20837
1261.85/1265.22 c #Conflicts: 613000 | #Constraints: 21837
1261.85/1265.22 c #Conflicts: 614000 | #Constraints: 22837
1261.85/1265.22 c #Conflicts: 615000 | #Constraints: 23837
1261.85/1265.22 c #Conflicts: 616000 | #Constraints: 24837
1261.85/1265.22 c #Conflicts: 617000 | #Constraints: 25837
1261.85/1265.22 c #Conflicts: 618000 | #Constraints: 26837
1261.85/1265.22 c #Conflicts: 619000 | #Constraints: 27837
1261.85/1265.22 c #Conflicts: 620000 | #Constraints: 28837
1261.85/1265.22 c #Conflicts: 621000 | #Constraints: 29837
1261.85/1265.22 c #Conflicts: 622000 | #Constraints: 30837
1261.85/1265.22 c #Conflicts: 623000 | #Constraints: 31837
1261.85/1265.22 c INPROCESSING
1261.85/1265.22 c GARBAGE COLLECT
1261.85/1265.22 c #Conflicts: 624000 | #Constraints: 17230
1261.85/1265.22 c #Conflicts: 625000 | #Constraints: 18230
1261.85/1265.22 c #Conflicts: 626000 | #Constraints: 19230
1261.85/1265.22 c #Conflicts: 627000 | #Constraints: 20230
1261.85/1265.22 c #Conflicts: 628000 | #Constraints: 21230
1261.85/1265.22 c #Conflicts: 629000 | #Constraints: 22230
1261.85/1265.22 c #Conflicts: 630000 | #Constraints: 23230
1261.85/1265.22 c #Conflicts: 631000 | #Constraints: 24230
1261.85/1265.22 c #Conflicts: 632000 | #Constraints: 25230
1261.85/1265.22 c #Conflicts: 633000 | #Constraints: 26230
1261.85/1265.22 c #Conflicts: 634000 | #Constraints: 27230
1261.85/1265.22 c #Conflicts: 635000 | #Constraints: 28230
1261.85/1265.22 c #Conflicts: 636000 | #Constraints: 29230
1261.85/1265.22 c #Conflicts: 637000 | #Constraints: 30230
1261.85/1265.22 c #Conflicts: 638000 | #Constraints: 31230
1261.85/1265.22 c #Conflicts: 639000 | #Constraints: 32230
1261.85/1265.22 c INPROCESSING
1261.85/1265.22 c GARBAGE COLLECT
1261.85/1265.22 c #Conflicts: 640000 | #Constraints: 17430
1261.85/1265.22 c #Conflicts: 641000 | #Constraints: 18430
1261.85/1265.22 c #Conflicts: 642000 | #Constraints: 19430
1261.85/1265.22 c #Conflicts: 643000 | #Constraints: 20430
1261.85/1265.22 c #Conflicts: 644000 | #Constraints: 21430
1261.85/1265.22 c #Conflicts: 645000 | #Constraints: 22430
1261.85/1265.22 c #Conflicts: 646000 | #Constraints: 23430
1261.85/1265.22 c #Conflicts: 647000 | #Constraints: 24430
1261.85/1265.22 c #Conflicts: 648000 | #Constraints: 25430
1261.85/1265.22 c #Conflicts: 649000 | #Constraints: 26430
1261.85/1265.22 c #Conflicts: 650000 | #Constraints: 27430
1261.85/1265.22 c #Conflicts: 651000 | #Constraints: 28430
1261.85/1265.22 c #Conflicts: 652000 | #Constraints: 29430
1261.85/1265.22 c #Conflicts: 653000 | #Constraints: 30430
1261.85/1265.22 c #Conflicts: 654000 | #Constraints: 31430
1261.85/1265.22 c #Conflicts: 655000 | #Constraints: 32430
1261.85/1265.22 c INPROCESSING
1261.85/1265.22 c GARBAGE COLLECT
1261.85/1265.22 c #Conflicts: 656000 | #Constraints: 17426
1411.84/1415.68 c #Conflicts: 657000 | #Constraints: 18426
1411.84/1415.68 c #Conflicts: 658000 | #Constraints: 19426
1411.84/1415.68 c #Conflicts: 659000 | #Constraints: 20426
1411.84/1415.68 c #Conflicts: 660000 | #Constraints: 21426
1411.84/1415.68 c #Conflicts: 661000 | #Constraints: 22426
1411.84/1415.68 c #Conflicts: 662000 | #Constraints: 23426
1411.84/1415.68 c #Conflicts: 663000 | #Constraints: 24426
1411.84/1415.68 c #Conflicts: 664000 | #Constraints: 25426
1411.84/1415.68 c #Conflicts: 665000 | #Constraints: 26426
1411.84/1415.68 c #Conflicts: 666000 | #Constraints: 27426
1411.84/1415.68 c #Conflicts: 667000 | #Constraints: 28426
1411.84/1415.68 c #Conflicts: 668000 | #Constraints: 29426
1411.84/1415.68 c #Conflicts: 669000 | #Constraints: 30426
1411.84/1415.68 c #Conflicts: 670000 | #Constraints: 31426
1411.84/1415.68 c #Conflicts: 671000 | #Constraints: 32426
1411.84/1415.68 c INPROCESSING
1411.84/1415.68 c GARBAGE COLLECT
1411.84/1415.68 c #Conflicts: 672000 | #Constraints: 17233
1411.84/1415.68 c #Conflicts: 673000 | #Constraints: 18233
1411.84/1415.68 c #Conflicts: 674000 | #Constraints: 19233
1411.84/1415.68 c #Conflicts: 675000 | #Constraints: 20233
1411.84/1415.68 c #Conflicts: 676000 | #Constraints: 21233
1411.84/1415.68 c #Conflicts: 677000 | #Constraints: 22233
1411.84/1415.68 c #Conflicts: 678000 | #Constraints: 23233
1411.84/1415.68 c #Conflicts: 679000 | #Constraints: 24233
1411.84/1415.68 c #Conflicts: 680000 | #Constraints: 25233
1411.84/1415.68 c #Conflicts: 681000 | #Constraints: 26233
1411.84/1415.68 c #Conflicts: 682000 | #Constraints: 27233
1411.84/1415.68 c #Conflicts: 683000 | #Constraints: 28233
1411.84/1415.68 c #Conflicts: 684000 | #Constraints: 29233
1411.84/1415.68 c #Conflicts: 685000 | #Constraints: 30233
1411.84/1415.68 c #Conflicts: 686000 | #Constraints: 31233
1411.84/1415.68 c #Conflicts: 687000 | #Constraints: 32233
1411.84/1415.68 c #Conflicts: 688000 | #Constraints: 33233
1411.84/1415.68 c INPROCESSING
1411.84/1415.68 c GARBAGE COLLECT
1411.84/1415.68 c #Conflicts: 689000 | #Constraints: 17826
1411.84/1415.68 c #Conflicts: 690000 | #Constraints: 18826
1411.84/1415.68 c #Conflicts: 691000 | #Constraints: 19826
1411.84/1415.68 c #Conflicts: 692000 | #Constraints: 20826
1411.84/1415.68 c #Conflicts: 693000 | #Constraints: 21826
1411.84/1415.68 c #Conflicts: 694000 | #Constraints: 22826
1411.84/1415.68 c #Conflicts: 695000 | #Constraints: 23826
1411.84/1415.68 c #Conflicts: 696000 | #Constraints: 24826
1411.84/1415.68 c #Conflicts: 697000 | #Constraints: 25826
1411.84/1415.68 c #Conflicts: 698000 | #Constraints: 26826
1411.84/1415.68 c #Conflicts: 699000 | #Constraints: 27826
1411.84/1415.68 c #Conflicts: 700000 | #Constraints: 28826
1411.84/1415.68 c #Conflicts: 701000 | #Constraints: 29826
1411.84/1415.68 c #Conflicts: 702000 | #Constraints: 30826
1411.84/1415.68 c #Conflicts: 703000 | #Constraints: 31826
1411.84/1415.68 c #Conflicts: 704000 | #Constraints: 32826
1411.84/1415.68 c #Conflicts: 705000 | #Constraints: 33826
1411.84/1415.68 c INPROCESSING
1411.84/1415.68 c GARBAGE COLLECT
1411.84/1415.68 c #Conflicts: 706000 | #Constraints: 18227
1411.84/1415.68 c #Conflicts: 707000 | #Constraints: 19227
1411.84/1415.68 c #Conflicts: 708000 | #Constraints: 20227
1411.84/1415.68 c #Conflicts: 709000 | #Constraints: 21227
1411.84/1415.68 c #Conflicts: 710000 | #Constraints: 22227
1411.84/1415.68 c #Conflicts: 711000 | #Constraints: 23227
1411.84/1415.68 c #Conflicts: 712000 | #Constraints: 24227
1411.84/1415.68 c #Conflicts: 713000 | #Constraints: 25227
1411.84/1415.68 c #Conflicts: 714000 | #Constraints: 26227
1411.84/1415.68 c #Conflicts: 715000 | #Constraints: 27227
1411.84/1415.68 c #Conflicts: 716000 | #Constraints: 28227
1411.84/1415.68 c #Conflicts: 717000 | #Constraints: 29227
1411.84/1415.68 c #Conflicts: 718000 | #Constraints: 30227
1411.84/1415.68 c #Conflicts: 719000 | #Constraints: 31227
1411.84/1415.68 c #Conflicts: 720000 | #Constraints: 32227
1411.84/1415.68 c #Conflicts: 721000 | #Constraints: 33227
1411.84/1415.68 c #Conflicts: 722000 | #Constraints: 34227
1411.84/1415.68 c INPROCESSING
1411.84/1415.68 c GARBAGE COLLECT
1411.84/1415.68 c #Conflicts: 723000 | #Constraints: 18430
1411.84/1415.68 c #Conflicts: 724000 | #Constraints: 19430
1411.84/1415.68 c #Conflicts: 725000 | #Constraints: 20430
1411.84/1415.68 c #Conflicts: 726000 | #Constraints: 21430
1411.84/1415.68 c #Conflicts: 727000 | #Constraints: 22430
1411.84/1415.68 c #Conflicts: 728000 | #Constraints: 23430
1411.84/1415.68 c #Conflicts: 729000 | #Constraints: 24430
1411.84/1415.68 c #Conflicts: 730000 | #Constraints: 25430
1411.84/1415.68 c #Conflicts: 731000 | #Constraints: 26430
1411.84/1415.68 c #Conflicts: 732000 | #Constraints: 27430
1562.73/1566.91 c #Conflicts: 733000 | #Constraints: 28430
1562.73/1566.91 c #Conflicts: 734000 | #Constraints: 29430
1562.73/1566.91 c #Conflicts: 735000 | #Constraints: 30430
1562.73/1566.91 c #Conflicts: 736000 | #Constraints: 31430
1562.73/1566.91 c #Conflicts: 737000 | #Constraints: 32430
1562.73/1566.91 c #Conflicts: 738000 | #Constraints: 33430
1562.73/1566.91 c #Conflicts: 739000 | #Constraints: 34430
1562.73/1566.91 c INPROCESSING
1562.73/1566.91 c GARBAGE COLLECT
1562.73/1566.91 c #Conflicts: 740000 | #Constraints: 18436
1562.73/1566.91 c #Conflicts: 741000 | #Constraints: 19436
1562.73/1566.91 c #Conflicts: 742000 | #Constraints: 20436
1562.73/1566.91 c #Conflicts: 743000 | #Constraints: 21436
1562.73/1566.91 c #Conflicts: 744000 | #Constraints: 22436
1562.73/1566.91 c #Conflicts: 745000 | #Constraints: 23436
1562.73/1566.91 c #Conflicts: 746000 | #Constraints: 24436
1562.73/1566.91 c #Conflicts: 747000 | #Constraints: 25436
1562.73/1566.91 c #Conflicts: 748000 | #Constraints: 26436
1562.73/1566.91 c #Conflicts: 749000 | #Constraints: 27436
1562.73/1566.91 c #Conflicts: 750000 | #Constraints: 28436
1562.73/1566.91 c #Conflicts: 751000 | #Constraints: 29436
1562.73/1566.91 c #Conflicts: 752000 | #Constraints: 30436
1562.73/1566.91 c #Conflicts: 753000 | #Constraints: 31436
1562.73/1566.91 c #Conflicts: 754000 | #Constraints: 32436
1562.73/1566.91 c #Conflicts: 755000 | #Constraints: 33436
1562.73/1566.91 c #Conflicts: 756000 | #Constraints: 34436
1562.73/1566.91 c INPROCESSING
1562.73/1566.91 c GARBAGE COLLECT
1562.73/1566.91 c #Conflicts: 757000 | #Constraints: 18237
1562.73/1566.91 c #Conflicts: 758000 | #Constraints: 19237
1562.73/1566.91 c #Conflicts: 759000 | #Constraints: 20237
1562.73/1566.91 c #Conflicts: 760000 | #Constraints: 21237
1562.73/1566.91 c #Conflicts: 761000 | #Constraints: 22237
1562.73/1566.91 c #Conflicts: 762000 | #Constraints: 23237
1562.73/1566.91 c #Conflicts: 763000 | #Constraints: 24237
1562.73/1566.91 c #Conflicts: 764000 | #Constraints: 25237
1562.73/1566.91 c #Conflicts: 765000 | #Constraints: 26237
1562.73/1566.91 c #Conflicts: 766000 | #Constraints: 27237
1562.73/1566.91 c #Conflicts: 767000 | #Constraints: 28237
1562.73/1566.91 c #Conflicts: 768000 | #Constraints: 29237
1562.73/1566.91 c #Conflicts: 769000 | #Constraints: 30237
1562.73/1566.91 c #Conflicts: 770000 | #Constraints: 31237
1562.73/1566.91 c #Conflicts: 771000 | #Constraints: 32237
1562.73/1566.91 c #Conflicts: 772000 | #Constraints: 33237
1562.73/1566.91 c #Conflicts: 773000 | #Constraints: 34237
1562.73/1566.91 c #Conflicts: 774000 | #Constraints: 35237
1562.73/1566.91 c INPROCESSING
1562.73/1566.91 c GARBAGE COLLECT
1562.73/1566.91 c #Conflicts: 775000 | #Constraints: 18843
1562.73/1566.91 c #Conflicts: 776000 | #Constraints: 19843
1562.73/1566.91 c #Conflicts: 777000 | #Constraints: 20843
1562.73/1566.91 c #Conflicts: 778000 | #Constraints: 21843
1562.73/1566.91 c #Conflicts: 779000 | #Constraints: 22843
1562.73/1566.91 c #Conflicts: 780000 | #Constraints: 23843
1562.73/1566.91 c #Conflicts: 781000 | #Constraints: 24843
1562.73/1566.91 c #Conflicts: 782000 | #Constraints: 25843
1562.73/1566.91 c #Conflicts: 783000 | #Constraints: 26843
1562.73/1566.91 c #Conflicts: 784000 | #Constraints: 27843
1562.73/1566.91 c #Conflicts: 785000 | #Constraints: 28843
1562.73/1566.91 c #Conflicts: 786000 | #Constraints: 29843
1562.73/1566.91 c #Conflicts: 787000 | #Constraints: 30843
1562.73/1566.91 c #Conflicts: 788000 | #Constraints: 31843
1562.73/1566.91 c #Conflicts: 789000 | #Constraints: 32843
1562.73/1566.91 c #Conflicts: 790000 | #Constraints: 33843
1562.73/1566.91 c #Conflicts: 791000 | #Constraints: 34843
1562.73/1566.91 c #Conflicts: 792000 | #Constraints: 35843
1562.73/1566.91 c INPROCESSING
1562.73/1566.91 c GARBAGE COLLECT
1562.73/1566.91 c #Conflicts: 793000 | #Constraints: 19243
1562.73/1566.91 c #Conflicts: 794000 | #Constraints: 20243
1562.73/1566.91 c #Conflicts: 795000 | #Constraints: 21243
1562.73/1566.91 c #Conflicts: 796000 | #Constraints: 22243
1562.73/1566.91 c #Conflicts: 797000 | #Constraints: 23243
1562.73/1566.91 c #Conflicts: 798000 | #Constraints: 24243
1562.73/1566.91 c #Conflicts: 799000 | #Constraints: 25243
1562.73/1566.91 c #Conflicts: 800000 | #Constraints: 26243
1562.73/1566.91 c #Conflicts: 801000 | #Constraints: 27243
1562.73/1566.91 c #Conflicts: 802000 | #Constraints: 28243
1562.73/1566.91 c #Conflicts: 803000 | #Constraints: 29243
1562.73/1566.91 c #Conflicts: 804000 | #Constraints: 30243
1562.73/1566.91 c #Conflicts: 805000 | #Constraints: 31243
1562.73/1566.91 c #Conflicts: 806000 | #Constraints: 32243
1562.73/1566.91 c #Conflicts: 807000 | #Constraints: 33243
1562.73/1566.91 c #Conflicts: 808000 | #Constraints: 34243
1674.71/1679.25 c #Conflicts: 809000 | #Constraints: 35243
1674.71/1679.25 c #Conflicts: 810000 | #Constraints: 36243
1674.71/1679.25 c INPROCESSING
1674.71/1679.25 c GARBAGE COLLECT
1674.71/1679.25 c #Conflicts: 811000 | #Constraints: 19442
1674.71/1679.25 c #Conflicts: 812000 | #Constraints: 20442
1674.71/1679.25 c #Conflicts: 813000 | #Constraints: 21442
1674.71/1679.25 c #Conflicts: 814000 | #Constraints: 22442
1674.71/1679.25 c #Conflicts: 815000 | #Constraints: 23442
1674.71/1679.25 c #Conflicts: 816000 | #Constraints: 24442
1674.71/1679.25 c #Conflicts: 817000 | #Constraints: 25442
1674.71/1679.25 c #Conflicts: 818000 | #Constraints: 26442
1674.71/1679.25 c #Conflicts: 819000 | #Constraints: 27442
1674.71/1679.25 c #Conflicts: 820000 | #Constraints: 28442
1674.71/1679.25 c #Conflicts: 821000 | #Constraints: 29442
1674.71/1679.25 c #Conflicts: 822000 | #Constraints: 30442
1674.71/1679.25 c #Conflicts: 823000 | #Constraints: 31442
1674.71/1679.25 c #Conflicts: 824000 | #Constraints: 32442
1674.71/1679.25 c #Conflicts: 825000 | #Constraints: 33442
1674.71/1679.25 c #Conflicts: 826000 | #Constraints: 34442
1674.71/1679.25 c #Conflicts: 827000 | #Constraints: 35442
1674.71/1679.25 c #Conflicts: 828000 | #Constraints: 36442
1674.71/1679.25 c INPROCESSING
1674.71/1679.25 c GARBAGE COLLECT
1674.71/1679.25 c #Conflicts: 829000 | #Constraints: 19443
1674.71/1679.25 c #Conflicts: 830000 | #Constraints: 20443
1674.71/1679.25 c #Conflicts: 831000 | #Constraints: 21443
1674.71/1679.25 c #Conflicts: 832000 | #Constraints: 22443
1674.71/1679.25 c #Conflicts: 833000 | #Constraints: 23443
1674.71/1679.25 c #Conflicts: 834000 | #Constraints: 24443
1674.71/1679.25 c #Conflicts: 835000 | #Constraints: 25443
1674.71/1679.25 c #Conflicts: 836000 | #Constraints: 26443
1674.71/1679.25 c #Conflicts: 837000 | #Constraints: 27443
1674.71/1679.25 c #Conflicts: 838000 | #Constraints: 28443
1674.71/1679.25 c #Conflicts: 839000 | #Constraints: 29443
1674.71/1679.25 c #Conflicts: 840000 | #Constraints: 30443
1674.71/1679.25 c #Conflicts: 841000 | #Constraints: 31443
1674.71/1679.25 c #Conflicts: 842000 | #Constraints: 32443
1674.71/1679.25 c #Conflicts: 843000 | #Constraints: 33443
1674.71/1679.25 c #Conflicts: 844000 | #Constraints: 34443
1674.71/1679.25 c #Conflicts: 845000 | #Constraints: 35443
1674.71/1679.25 c #Conflicts: 846000 | #Constraints: 36443
1674.71/1679.25 c INPROCESSING
1674.71/1679.25 c GARBAGE COLLECT
1674.71/1679.25 c #Conflicts: 847000 | #Constraints: 19242
1674.71/1679.25 c #Conflicts: 848000 | #Constraints: 20242
1674.71/1679.25 c #Conflicts: 849000 | #Constraints: 21242
1674.71/1679.25 c #Conflicts: 850000 | #Constraints: 22242
1674.71/1679.25 c #Conflicts: 851000 | #Constraints: 23242
1674.71/1679.25 c #Conflicts: 852000 | #Constraints: 24242
1674.71/1679.25 c #Conflicts: 853000 | #Constraints: 25242
1674.71/1679.25 c #Conflicts: 854000 | #Constraints: 26242
1674.71/1679.25 c #Conflicts: 855000 | #Constraints: 27242
1674.71/1679.25 c #Conflicts: 856000 | #Constraints: 28242
1674.71/1679.25 c #Conflicts: 857000 | #Constraints: 29242
1674.71/1679.25 c #Conflicts: 858000 | #Constraints: 30242
1674.71/1679.25 c GLOBAL bounds - >= 8883 @ 1647.2
1674.71/1679.27 c GLOBAL bounds - >= 8883 @ 1647.21
1674.71/1679.27 c GLOBAL bounds - >= 8883 @ 1647.22
1674.71/1679.28 c GLOBAL bounds - >= 8883 @ 1647.22
1674.71/1679.29 c GLOBAL bounds - >= 8883 @ 1647.23
1674.81/1679.30 c GLOBAL bounds - >= 8883 @ 1647.23
1674.81/1679.39 c GLOBAL bounds - >= 8883 @ 1647.27
1674.91/1679.40 c GLOBAL bounds - >= 8883 @ 1647.28
1674.91/1679.48 c GLOBAL bounds - >= 8883 @ 1647.32
1674.91/1679.49 c GLOBAL bounds - >= 8883 @ 1647.33
1675.02/1679.57 c GLOBAL bounds - >= 8883 @ 1647.36
1675.02/1679.58 c GLOBAL bounds - >= 8883 @ 1647.36
1675.11/1679.66 c GLOBAL bounds - >= 8883 @ 1647.4
1675.11/1679.67 c GLOBAL bounds - >= 8883 @ 1647.41
1675.21/1679.75 c GLOBAL bounds - >= 8883 @ 1647.44
1675.21/1679.76 c GLOBAL bounds - >= 8883 @ 1647.45
1675.31/1679.84 c GLOBAL bounds - >= 8883 @ 1647.48
1675.31/1679.84 c GLOBAL bounds - >= 8883 @ 1647.49
1675.41/1679.92 c GLOBAL bounds - >= 8883 @ 1647.52
1675.41/1679.94 c GLOBAL bounds - >= 8883 @ 1647.53
1675.52/1680.02 c GLOBAL bounds - >= 8883 @ 1647.57
1675.52/1680.03 c GLOBAL bounds - >= 8883 @ 1647.57
1675.62/1680.11 c GLOBAL bounds - >= 8883 @ 1647.6
1675.62/1680.12 c GLOBAL bounds - >= 8883 @ 1647.61
1675.71/1680.20 c GLOBAL bounds - >= 8883 @ 1647.65
1675.71/1680.28 c GLOBAL bounds - >= 8883 @ 1647.68
1675.81/1680.36 c GLOBAL bounds - >= 8883 @ 1647.72
1675.92/1680.44 c GLOBAL bounds - >= 8883 @ 1647.76
1676.01/1680.53 c GLOBAL bounds - >= 8883 @ 1647.8
1676.12/1680.60 c GLOBAL bounds - >= 8883 @ 1647.83
1676.12/1680.68 c GLOBAL bounds - >= 8883 @ 1647.86
1676.21/1680.77 c GLOBAL bounds - >= 8883 @ 1647.9
1676.31/1680.85 c GLOBAL bounds - >= 8883 @ 1647.94
1676.41/1680.99 c GLOBAL bounds - >= 8883 @ 1648.02
1676.52/1681.09 c GLOBAL bounds - >= 8883 @ 1648.08
1677.90/1682.44 c #Conflicts: 859000 | #Constraints: 31268
1677.90/1682.44 c GLOBAL bounds - >= 8883 @ 1649.36
1854.43/1859.44 c #Conflicts: 860000 | #Constraints: 32268
1854.43/1859.44 c #Conflicts: 861000 | #Constraints: 33268
1854.43/1859.44 c #Conflicts: 862000 | #Constraints: 34268
1854.43/1859.44 c #Conflicts: 863000 | #Constraints: 35268
1854.43/1859.44 c #Conflicts: 864000 | #Constraints: 36268
1854.43/1859.44 c #Conflicts: 865000 | #Constraints: 37268
1854.43/1859.44 c INPROCESSING
1854.43/1859.44 c GARBAGE COLLECT
1854.43/1859.44 c #Conflicts: 866000 | #Constraints: 19846
1854.43/1859.44 c #Conflicts: 867000 | #Constraints: 20846
1854.43/1859.44 c #Conflicts: 868000 | #Constraints: 21846
1854.43/1859.44 c #Conflicts: 869000 | #Constraints: 22846
1854.43/1859.44 c #Conflicts: 870000 | #Constraints: 23846
1854.43/1859.44 c #Conflicts: 871000 | #Constraints: 24846
1854.43/1859.44 c #Conflicts: 872000 | #Constraints: 25846
1854.43/1859.44 c #Conflicts: 873000 | #Constraints: 26846
1854.43/1859.44 c #Conflicts: 874000 | #Constraints: 27846
1854.43/1859.44 c #Conflicts: 875000 | #Constraints: 28846
1854.43/1859.44 c #Conflicts: 876000 | #Constraints: 29846
1854.43/1859.44 c #Conflicts: 877000 | #Constraints: 30846
1854.43/1859.44 c #Conflicts: 878000 | #Constraints: 31846
1854.43/1859.44 c #Conflicts: 879000 | #Constraints: 32846
1854.43/1859.44 c #Conflicts: 880000 | #Constraints: 33846
1854.43/1859.44 c #Conflicts: 881000 | #Constraints: 34846
1854.43/1859.44 c #Conflicts: 882000 | #Constraints: 35846
1854.43/1859.44 c #Conflicts: 883000 | #Constraints: 36846
1854.43/1859.44 c #Conflicts: 884000 | #Constraints: 37846
1854.43/1859.44 c INPROCESSING
1854.43/1859.44 c GARBAGE COLLECT
1854.43/1859.44 c #Conflicts: 885000 | #Constraints: 20234
1854.43/1859.44 c #Conflicts: 886000 | #Constraints: 21234
1854.43/1859.44 c #Conflicts: 887000 | #Constraints: 22234
1854.43/1859.44 c #Conflicts: 888000 | #Constraints: 23234
1854.43/1859.44 c #Conflicts: 889000 | #Constraints: 24234
1854.43/1859.44 c #Conflicts: 890000 | #Constraints: 25234
1854.43/1859.44 c #Conflicts: 891000 | #Constraints: 26234
1854.43/1859.44 c #Conflicts: 892000 | #Constraints: 27234
1854.43/1859.44 c #Conflicts: 893000 | #Constraints: 28234
1854.43/1859.44 c #Conflicts: 894000 | #Constraints: 29234
1854.43/1859.44 c #Conflicts: 895000 | #Constraints: 30234
1854.43/1859.44 c #Conflicts: 896000 | #Constraints: 31234
1854.43/1859.44 c #Conflicts: 897000 | #Constraints: 32234
1854.43/1859.44 c #Conflicts: 898000 | #Constraints: 33234
1854.43/1859.44 c #Conflicts: 899000 | #Constraints: 34234
1854.43/1859.44 c #Conflicts: 900000 | #Constraints: 35234
1854.43/1859.44 c #Conflicts: 901000 | #Constraints: 36234
1854.43/1859.44 c #Conflicts: 902000 | #Constraints: 37234
1854.43/1859.44 c #Conflicts: 903000 | #Constraints: 38234
1854.43/1859.44 c INPROCESSING
1854.43/1859.44 c GARBAGE COLLECT
1854.43/1859.44 c #Conflicts: 904000 | #Constraints: 20440
1854.43/1859.44 c #Conflicts: 905000 | #Constraints: 21440
1854.43/1859.44 c #Conflicts: 906000 | #Constraints: 22440
1854.43/1859.44 c #Conflicts: 907000 | #Constraints: 23440
1854.43/1859.44 c #Conflicts: 908000 | #Constraints: 24440
1854.43/1859.44 c #Conflicts: 909000 | #Constraints: 25440
1854.43/1859.44 c #Conflicts: 910000 | #Constraints: 26440
1854.43/1859.44 c #Conflicts: 911000 | #Constraints: 27440
1854.43/1859.44 c #Conflicts: 912000 | #Constraints: 28440
1854.43/1859.44 c #Conflicts: 913000 | #Constraints: 29440
1854.43/1859.44 c #Conflicts: 914000 | #Constraints: 30440
1854.43/1859.44 c #Conflicts: 915000 | #Constraints: 31440
1854.43/1859.44 c #Conflicts: 916000 | #Constraints: 32440
1854.43/1859.44 c #Conflicts: 917000 | #Constraints: 33440
1854.43/1859.44 c #Conflicts: 918000 | #Constraints: 34440
1854.43/1859.44 c #Conflicts: 919000 | #Constraints: 35440
1854.43/1859.44 c #Conflicts: 920000 | #Constraints: 36440
1854.43/1859.44 c #Conflicts: 921000 | #Constraints: 37440
1854.43/1859.44 c #Conflicts: 922000 | #Constraints: 38440
1854.43/1859.44 c INPROCESSING
1854.43/1859.44 c GARBAGE COLLECT
1854.43/1859.44 c #Conflicts: 923000 | #Constraints: 20424
1854.43/1859.44 c #Conflicts: 924000 | #Constraints: 21424
1854.43/1859.44 c #Conflicts: 925000 | #Constraints: 22424
1854.43/1859.44 c #Conflicts: 926000 | #Constraints: 23424
1854.43/1859.44 c #Conflicts: 927000 | #Constraints: 24424
1854.43/1859.44 c #Conflicts: 928000 | #Constraints: 25424
1854.43/1859.44 c #Conflicts: 929000 | #Constraints: 26424
1854.43/1859.44 c #Conflicts: 930000 | #Constraints: 27424
1854.43/1859.44 c #Conflicts: 931000 | #Constraints: 28424
1854.43/1859.44 c #Conflicts: 932000 | #Constraints: 29424
1854.43/1859.44 c #Conflicts: 933000 | #Constraints: 30424
1854.43/1859.44 c #Conflicts: 934000 | #Constraints: 31424
1854.43/1859.44 c #Conflicts: 935000 | #Constraints: 32424
1854.43/1859.44 c #Conflicts: 936000 | #Constraints: 33424
2040.22/2045.71 c #Conflicts: 937000 | #Constraints: 34424
2040.22/2045.71 c #Conflicts: 938000 | #Constraints: 35424
2040.22/2045.71 c #Conflicts: 939000 | #Constraints: 36424
2040.22/2045.71 c #Conflicts: 940000 | #Constraints: 37424
2040.22/2045.71 c #Conflicts: 941000 | #Constraints: 38424
2040.22/2045.71 c INPROCESSING
2040.22/2045.71 c GARBAGE COLLECT
2040.22/2045.71 c #Conflicts: 942000 | #Constraints: 20242
2040.22/2045.71 c #Conflicts: 943000 | #Constraints: 21242
2040.22/2045.71 c #Conflicts: 944000 | #Constraints: 22242
2040.22/2045.71 c #Conflicts: 945000 | #Constraints: 23242
2040.22/2045.71 c #Conflicts: 946000 | #Constraints: 24242
2040.22/2045.71 c #Conflicts: 947000 | #Constraints: 25242
2040.22/2045.71 c #Conflicts: 948000 | #Constraints: 26242
2040.22/2045.71 c #Conflicts: 949000 | #Constraints: 27242
2040.22/2045.71 c #Conflicts: 950000 | #Constraints: 28242
2040.22/2045.71 c #Conflicts: 951000 | #Constraints: 29242
2040.22/2045.71 c #Conflicts: 952000 | #Constraints: 30242
2040.22/2045.71 c #Conflicts: 953000 | #Constraints: 31242
2040.22/2045.71 c #Conflicts: 954000 | #Constraints: 32242
2040.22/2045.71 c #Conflicts: 955000 | #Constraints: 33242
2040.22/2045.71 c #Conflicts: 956000 | #Constraints: 34242
2040.22/2045.71 c #Conflicts: 957000 | #Constraints: 35242
2040.22/2045.71 c #Conflicts: 958000 | #Constraints: 36242
2040.22/2045.71 c #Conflicts: 959000 | #Constraints: 37242
2040.22/2045.71 c #Conflicts: 960000 | #Constraints: 38242
2040.22/2045.71 c #Conflicts: 961000 | #Constraints: 39242
2040.22/2045.71 c INPROCESSING
2040.22/2045.71 c GARBAGE COLLECT
2040.22/2045.71 c #Conflicts: 962000 | #Constraints: 20846
2040.22/2045.71 c #Conflicts: 963000 | #Constraints: 21846
2040.22/2045.71 c #Conflicts: 964000 | #Constraints: 22846
2040.22/2045.71 c #Conflicts: 965000 | #Constraints: 23846
2040.22/2045.71 c #Conflicts: 966000 | #Constraints: 24846
2040.22/2045.71 c #Conflicts: 967000 | #Constraints: 25846
2040.22/2045.71 c #Conflicts: 968000 | #Constraints: 26846
2040.22/2045.71 c #Conflicts: 969000 | #Constraints: 27846
2040.22/2045.71 c #Conflicts: 970000 | #Constraints: 28846
2040.22/2045.71 c #Conflicts: 971000 | #Constraints: 29846
2040.22/2045.71 c #Conflicts: 972000 | #Constraints: 30846
2040.22/2045.71 c #Conflicts: 973000 | #Constraints: 31846
2040.22/2045.71 c #Conflicts: 974000 | #Constraints: 32846
2040.22/2045.71 c #Conflicts: 975000 | #Constraints: 33846
2040.22/2045.71 c #Conflicts: 976000 | #Constraints: 34846
2040.22/2045.71 c #Conflicts: 977000 | #Constraints: 35846
2040.22/2045.71 c #Conflicts: 978000 | #Constraints: 36846
2040.22/2045.71 c #Conflicts: 979000 | #Constraints: 37846
2040.22/2045.71 c #Conflicts: 980000 | #Constraints: 38846
2040.22/2045.71 c #Conflicts: 981000 | #Constraints: 39846
2040.22/2045.71 c INPROCESSING
2040.22/2045.71 c GARBAGE COLLECT
2040.22/2045.71 c #Conflicts: 982000 | #Constraints: 21250
2040.22/2045.71 c #Conflicts: 983000 | #Constraints: 22250
2040.22/2045.71 c #Conflicts: 984000 | #Constraints: 23250
2040.22/2045.71 c #Conflicts: 985000 | #Constraints: 24250
2040.22/2045.71 c #Conflicts: 986000 | #Constraints: 25250
2040.22/2045.71 c #Conflicts: 987000 | #Constraints: 26250
2040.22/2045.71 c #Conflicts: 988000 | #Constraints: 27250
2040.22/2045.71 c #Conflicts: 989000 | #Constraints: 28250
2040.22/2045.71 c #Conflicts: 990000 | #Constraints: 29250
2040.22/2045.71 c #Conflicts: 991000 | #Constraints: 30250
2040.22/2045.71 c #Conflicts: 992000 | #Constraints: 31250
2040.22/2045.71 c #Conflicts: 993000 | #Constraints: 32250
2040.22/2045.71 c #Conflicts: 994000 | #Constraints: 33250
2040.22/2045.71 c #Conflicts: 995000 | #Constraints: 34250
2040.22/2045.71 c #Conflicts: 996000 | #Constraints: 35250
2040.22/2045.71 c #Conflicts: 997000 | #Constraints: 36250
2040.22/2045.71 c #Conflicts: 998000 | #Constraints: 37250
2040.22/2045.71 c #Conflicts: 999000 | #Constraints: 38250
2040.22/2045.71 c #Conflicts: 1000000 | #Constraints: 39250
2040.22/2045.71 c #Conflicts: 1001000 | #Constraints: 40250
2040.22/2045.71 c INPROCESSING
2040.22/2045.71 c GARBAGE COLLECT
2040.22/2045.71 c #Conflicts: 1002000 | #Constraints: 21452
2040.22/2045.71 c #Conflicts: 1003000 | #Constraints: 22452
2040.22/2045.71 c #Conflicts: 1004000 | #Constraints: 23452
2040.22/2045.71 c #Conflicts: 1005000 | #Constraints: 24452
2040.22/2045.71 c #Conflicts: 1006000 | #Constraints: 25452
2040.22/2045.71 c #Conflicts: 1007000 | #Constraints: 26452
2040.22/2045.71 c #Conflicts: 1008000 | #Constraints: 27452
2040.22/2045.71 c #Conflicts: 1009000 | #Constraints: 28452
2040.22/2045.71 c #Conflicts: 1010000 | #Constraints: 29452
2040.22/2045.71 c #Conflicts: 1011000 | #Constraints: 30452
2040.22/2045.71 c #Conflicts: 1012000 | #Constraints: 31452
2196.20/2202.13 c #Conflicts: 1013000 | #Constraints: 32452
2196.20/2202.13 c #Conflicts: 1014000 | #Constraints: 33452
2196.20/2202.13 c #Conflicts: 1015000 | #Constraints: 34452
2196.20/2202.13 c #Conflicts: 1016000 | #Constraints: 35452
2196.20/2202.13 c #Conflicts: 1017000 | #Constraints: 36452
2196.20/2202.13 c #Conflicts: 1018000 | #Constraints: 37452
2196.20/2202.13 c #Conflicts: 1019000 | #Constraints: 38452
2196.20/2202.13 c #Conflicts: 1020000 | #Constraints: 39452
2196.20/2202.13 c #Conflicts: 1021000 | #Constraints: 40452
2196.20/2202.13 c INPROCESSING
2196.20/2202.13 c GARBAGE COLLECT
2196.20/2202.13 c #Conflicts: 1022000 | #Constraints: 21453
2196.20/2202.13 c #Conflicts: 1023000 | #Constraints: 22453
2196.20/2202.13 c #Conflicts: 1024000 | #Constraints: 23453
2196.20/2202.13 c #Conflicts: 1025000 | #Constraints: 24453
2196.20/2202.13 c #Conflicts: 1026000 | #Constraints: 25453
2196.20/2202.13 c #Conflicts: 1027000 | #Constraints: 26453
2196.20/2202.13 c #Conflicts: 1028000 | #Constraints: 27453
2196.20/2202.13 c #Conflicts: 1029000 | #Constraints: 28453
2196.20/2202.13 c #Conflicts: 1030000 | #Constraints: 29453
2196.20/2202.13 c #Conflicts: 1031000 | #Constraints: 30453
2196.20/2202.13 c #Conflicts: 1032000 | #Constraints: 31453
2196.20/2202.13 c #Conflicts: 1033000 | #Constraints: 32453
2196.20/2202.13 c #Conflicts: 1034000 | #Constraints: 33453
2196.20/2202.13 c #Conflicts: 1035000 | #Constraints: 34453
2196.20/2202.13 c #Conflicts: 1036000 | #Constraints: 35453
2196.20/2202.13 c #Conflicts: 1037000 | #Constraints: 36453
2196.20/2202.13 c #Conflicts: 1038000 | #Constraints: 37453
2196.20/2202.13 c #Conflicts: 1039000 | #Constraints: 38453
2196.20/2202.13 c #Conflicts: 1040000 | #Constraints: 39453
2196.20/2202.13 c #Conflicts: 1041000 | #Constraints: 40453
2196.20/2202.13 c INPROCESSING
2196.20/2202.13 c GARBAGE COLLECT
2196.20/2202.13 c #Conflicts: 1042000 | #Constraints: 21256
2196.20/2202.13 c #Conflicts: 1043000 | #Constraints: 22256
2196.20/2202.13 c #Conflicts: 1044000 | #Constraints: 23256
2196.20/2202.13 c #Conflicts: 1045000 | #Constraints: 24256
2196.20/2202.13 c #Conflicts: 1046000 | #Constraints: 25256
2196.20/2202.13 c #Conflicts: 1047000 | #Constraints: 26256
2196.20/2202.13 c #Conflicts: 1048000 | #Constraints: 27256
2196.20/2202.13 c #Conflicts: 1049000 | #Constraints: 28256
2196.20/2202.13 c #Conflicts: 1050000 | #Constraints: 29256
2196.20/2202.13 c #Conflicts: 1051000 | #Constraints: 30256
2196.20/2202.13 c #Conflicts: 1052000 | #Constraints: 31256
2196.20/2202.13 c #Conflicts: 1053000 | #Constraints: 32256
2196.20/2202.13 c #Conflicts: 1054000 | #Constraints: 33256
2196.20/2202.13 c #Conflicts: 1055000 | #Constraints: 34256
2196.20/2202.13 c #Conflicts: 1056000 | #Constraints: 35256
2196.20/2202.13 c #Conflicts: 1057000 | #Constraints: 36256
2196.20/2202.13 c #Conflicts: 1058000 | #Constraints: 37256
2196.20/2202.13 c #Conflicts: 1059000 | #Constraints: 38256
2196.20/2202.13 c #Conflicts: 1060000 | #Constraints: 39256
2196.20/2202.13 c #Conflicts: 1061000 | #Constraints: 40256
2196.20/2202.13 c #Conflicts: 1062000 | #Constraints: 41256
2196.20/2202.13 c INPROCESSING
2196.20/2202.13 c GARBAGE COLLECT
2196.20/2202.13 c #Conflicts: 1063000 | #Constraints: 21850
2196.20/2202.13 c #Conflicts: 1064000 | #Constraints: 22850
2196.20/2202.13 c #Conflicts: 1065000 | #Constraints: 23850
2196.20/2202.13 c #Conflicts: 1066000 | #Constraints: 24850
2196.20/2202.13 c #Conflicts: 1067000 | #Constraints: 25850
2196.20/2202.13 c #Conflicts: 1068000 | #Constraints: 26850
2196.20/2202.13 c #Conflicts: 1069000 | #Constraints: 27850
2196.20/2202.13 c #Conflicts: 1070000 | #Constraints: 28850
2196.20/2202.13 c #Conflicts: 1071000 | #Constraints: 29850
2196.20/2202.13 c #Conflicts: 1072000 | #Constraints: 30850
2196.20/2202.13 c #Conflicts: 1073000 | #Constraints: 31850
2196.20/2202.13 c #Conflicts: 1074000 | #Constraints: 32850
2196.20/2202.13 c #Conflicts: 1075000 | #Constraints: 33850
2196.20/2202.13 c #Conflicts: 1076000 | #Constraints: 34850
2196.20/2202.13 c #Conflicts: 1077000 | #Constraints: 35850
2196.20/2202.13 c #Conflicts: 1078000 | #Constraints: 36850
2196.20/2202.13 c #Conflicts: 1079000 | #Constraints: 37850
2196.20/2202.13 c #Conflicts: 1080000 | #Constraints: 38850
2196.20/2202.13 c #Conflicts: 1081000 | #Constraints: 39850
2196.20/2202.13 c #Conflicts: 1082000 | #Constraints: 40850
2196.20/2202.13 c #Conflicts: 1083000 | #Constraints: 41850
2196.20/2202.13 c INPROCESSING
2196.20/2202.13 c GARBAGE COLLECT
2196.20/2202.13 c #Conflicts: 1084000 | #Constraints: 22247
2196.20/2202.13 c #Conflicts: 1085000 | #Constraints: 23247
2196.20/2202.13 c #Conflicts: 1086000 | #Constraints: 24247
2196.20/2202.13 c #Conflicts: 1087000 | #Constraints: 25247
2196.20/2202.13 c #Conflicts: 1088000 | #Constraints: 26247
2387.68/2394.17 c #Conflicts: 1089000 | #Constraints: 27247
2387.68/2394.17 c #Conflicts: 1090000 | #Constraints: 28247
2387.68/2394.17 c #Conflicts: 1091000 | #Constraints: 29247
2387.68/2394.17 c #Conflicts: 1092000 | #Constraints: 30247
2387.68/2394.17 c #Conflicts: 1093000 | #Constraints: 31247
2387.68/2394.17 c #Conflicts: 1094000 | #Constraints: 32247
2387.68/2394.17 c #Conflicts: 1095000 | #Constraints: 33247
2387.68/2394.17 c #Conflicts: 1096000 | #Constraints: 34247
2387.68/2394.17 c #Conflicts: 1097000 | #Constraints: 35247
2387.68/2394.17 c #Conflicts: 1098000 | #Constraints: 36247
2387.68/2394.17 c #Conflicts: 1099000 | #Constraints: 37247
2387.68/2394.17 c #Conflicts: 1100000 | #Constraints: 38247
2387.68/2394.17 c #Conflicts: 1101000 | #Constraints: 39247
2387.68/2394.17 c #Conflicts: 1102000 | #Constraints: 40247
2387.68/2394.17 c #Conflicts: 1103000 | #Constraints: 41247
2387.68/2394.17 c #Conflicts: 1104000 | #Constraints: 42247
2387.68/2394.17 c INPROCESSING
2387.68/2394.17 c GARBAGE COLLECT
2387.68/2394.17 c #Conflicts: 1105000 | #Constraints: 22459
2387.68/2394.17 c #Conflicts: 1106000 | #Constraints: 23459
2387.68/2394.17 c #Conflicts: 1107000 | #Constraints: 24459
2387.68/2394.17 c #Conflicts: 1108000 | #Constraints: 25459
2387.68/2394.17 c #Conflicts: 1109000 | #Constraints: 26459
2387.68/2394.17 c #Conflicts: 1110000 | #Constraints: 27459
2387.68/2394.17 c #Conflicts: 1111000 | #Constraints: 28459
2387.68/2394.17 c #Conflicts: 1112000 | #Constraints: 29459
2387.68/2394.17 c #Conflicts: 1113000 | #Constraints: 30459
2387.68/2394.17 c #Conflicts: 1114000 | #Constraints: 31459
2387.68/2394.17 c #Conflicts: 1115000 | #Constraints: 32459
2387.68/2394.17 c #Conflicts: 1116000 | #Constraints: 33459
2387.68/2394.17 c #Conflicts: 1117000 | #Constraints: 34459
2387.68/2394.17 c #Conflicts: 1118000 | #Constraints: 35459
2387.68/2394.17 c #Conflicts: 1119000 | #Constraints: 36459
2387.68/2394.17 c #Conflicts: 1120000 | #Constraints: 37459
2387.68/2394.17 c #Conflicts: 1121000 | #Constraints: 38459
2387.68/2394.17 c #Conflicts: 1122000 | #Constraints: 39459
2387.68/2394.17 c #Conflicts: 1123000 | #Constraints: 40459
2387.68/2394.17 c #Conflicts: 1124000 | #Constraints: 41459
2387.68/2394.17 c #Conflicts: 1125000 | #Constraints: 42459
2387.68/2394.17 c INPROCESSING
2387.68/2394.17 c GARBAGE COLLECT
2387.68/2394.17 c #Conflicts: 1126000 | #Constraints: 22448
2387.68/2394.17 c #Conflicts: 1127000 | #Constraints: 23448
2387.68/2394.17 c #Conflicts: 1128000 | #Constraints: 24448
2387.68/2394.17 c #Conflicts: 1129000 | #Constraints: 25448
2387.68/2394.17 c #Conflicts: 1130000 | #Constraints: 26448
2387.68/2394.17 c #Conflicts: 1131000 | #Constraints: 27448
2387.68/2394.17 c #Conflicts: 1132000 | #Constraints: 28448
2387.68/2394.17 c #Conflicts: 1133000 | #Constraints: 29448
2387.68/2394.17 c #Conflicts: 1134000 | #Constraints: 30448
2387.68/2394.17 c #Conflicts: 1135000 | #Constraints: 31448
2387.68/2394.17 c #Conflicts: 1136000 | #Constraints: 32448
2387.68/2394.17 c #Conflicts: 1137000 | #Constraints: 33448
2387.68/2394.17 c #Conflicts: 1138000 | #Constraints: 34448
2387.68/2394.17 c #Conflicts: 1139000 | #Constraints: 35448
2387.68/2394.17 c #Conflicts: 1140000 | #Constraints: 36448
2387.68/2394.17 c #Conflicts: 1141000 | #Constraints: 37448
2387.68/2394.17 c #Conflicts: 1142000 | #Constraints: 38448
2387.68/2394.17 c #Conflicts: 1143000 | #Constraints: 39448
2387.68/2394.17 c #Conflicts: 1144000 | #Constraints: 40448
2387.68/2394.17 c #Conflicts: 1145000 | #Constraints: 41448
2387.68/2394.17 c #Conflicts: 1146000 | #Constraints: 42448
2387.68/2394.17 c INPROCESSING
2387.68/2394.17 c GARBAGE COLLECT
2387.68/2394.17 c #Conflicts: 1147000 | #Constraints: 22247
2387.68/2394.17 c #Conflicts: 1148000 | #Constraints: 23247
2387.68/2394.17 c #Conflicts: 1149000 | #Constraints: 24247
2387.68/2394.17 c #Conflicts: 1150000 | #Constraints: 25247
2387.68/2394.17 c #Conflicts: 1151000 | #Constraints: 26247
2387.68/2394.17 c #Conflicts: 1152000 | #Constraints: 27247
2387.68/2394.17 c #Conflicts: 1153000 | #Constraints: 28247
2387.68/2394.17 c #Conflicts: 1154000 | #Constraints: 29247
2387.68/2394.17 c #Conflicts: 1155000 | #Constraints: 30247
2387.68/2394.17 c #Conflicts: 1156000 | #Constraints: 31247
2387.68/2394.17 c #Conflicts: 1157000 | #Constraints: 32247
2387.68/2394.17 c #Conflicts: 1158000 | #Constraints: 33247
2387.68/2394.17 c #Conflicts: 1159000 | #Constraints: 34247
2387.68/2394.17 c #Conflicts: 1160000 | #Constraints: 35247
2387.68/2394.17 c #Conflicts: 1161000 | #Constraints: 36247
2387.68/2394.17 c #Conflicts: 1162000 | #Constraints: 37247
2387.68/2394.17 c #Conflicts: 1163000 | #Constraints: 38247
2387.68/2394.17 c #Conflicts: 1164000 | #Constraints: 39247
2387.68/2394.17 c #Conflicts: 1165000 | #Constraints: 40247
2562.20/2569.17 c #Conflicts: 1166000 | #Constraints: 41247
2562.20/2569.17 c #Conflicts: 1167000 | #Constraints: 42247
2562.20/2569.17 c #Conflicts: 1168000 | #Constraints: 43247
2562.20/2569.17 c INPROCESSING
2562.20/2569.17 c GARBAGE COLLECT
2562.20/2569.17 c #Conflicts: 1169000 | #Constraints: 22846
2562.20/2569.17 c #Conflicts: 1170000 | #Constraints: 23846
2562.20/2569.17 c #Conflicts: 1171000 | #Constraints: 24846
2562.20/2569.17 c #Conflicts: 1172000 | #Constraints: 25846
2562.20/2569.17 c #Conflicts: 1173000 | #Constraints: 26846
2562.20/2569.17 c #Conflicts: 1174000 | #Constraints: 27846
2562.20/2569.17 c #Conflicts: 1175000 | #Constraints: 28846
2562.20/2569.17 c #Conflicts: 1176000 | #Constraints: 29846
2562.20/2569.17 c #Conflicts: 1177000 | #Constraints: 30846
2562.20/2569.17 c #Conflicts: 1178000 | #Constraints: 31846
2562.20/2569.17 c #Conflicts: 1179000 | #Constraints: 32846
2562.20/2569.17 c #Conflicts: 1180000 | #Constraints: 33846
2562.20/2569.17 c #Conflicts: 1181000 | #Constraints: 34846
2562.20/2569.17 c #Conflicts: 1182000 | #Constraints: 35846
2562.20/2569.17 c #Conflicts: 1183000 | #Constraints: 36846
2562.20/2569.17 c #Conflicts: 1184000 | #Constraints: 37846
2562.20/2569.17 c #Conflicts: 1185000 | #Constraints: 38846
2562.20/2569.17 c #Conflicts: 1186000 | #Constraints: 39846
2562.20/2569.17 c #Conflicts: 1187000 | #Constraints: 40846
2562.20/2569.17 c #Conflicts: 1188000 | #Constraints: 41846
2562.20/2569.17 c #Conflicts: 1189000 | #Constraints: 42846
2562.20/2569.17 c #Conflicts: 1190000 | #Constraints: 43846
2562.20/2569.17 c INPROCESSING
2562.20/2569.17 c GARBAGE COLLECT
2562.20/2569.17 c #Conflicts: 1191000 | #Constraints: 23235
2562.20/2569.17 c #Conflicts: 1192000 | #Constraints: 24235
2562.20/2569.17 c #Conflicts: 1193000 | #Constraints: 25235
2562.20/2569.17 c #Conflicts: 1194000 | #Constraints: 26235
2562.20/2569.17 c #Conflicts: 1195000 | #Constraints: 27235
2562.20/2569.17 c #Conflicts: 1196000 | #Constraints: 28235
2562.20/2569.17 c #Conflicts: 1197000 | #Constraints: 29235
2562.20/2569.17 c #Conflicts: 1198000 | #Constraints: 30235
2562.20/2569.17 c #Conflicts: 1199000 | #Constraints: 31235
2562.20/2569.17 c #Conflicts: 1200000 | #Constraints: 32235
2562.20/2569.17 c #Conflicts: 1201000 | #Constraints: 33235
2562.20/2569.17 c #Conflicts: 1202000 | #Constraints: 34235
2562.20/2569.17 c #Conflicts: 1203000 | #Constraints: 35235
2562.20/2569.17 c #Conflicts: 1204000 | #Constraints: 36235
2562.20/2569.17 c #Conflicts: 1205000 | #Constraints: 37235
2562.20/2569.17 c #Conflicts: 1206000 | #Constraints: 38235
2562.20/2569.17 c #Conflicts: 1207000 | #Constraints: 39235
2562.20/2569.17 c #Conflicts: 1208000 | #Constraints: 40235
2562.20/2569.17 c #Conflicts: 1209000 | #Constraints: 41235
2562.20/2569.17 c #Conflicts: 1210000 | #Constraints: 42235
2562.20/2569.17 c #Conflicts: 1211000 | #Constraints: 43235
2562.20/2569.17 c #Conflicts: 1212000 | #Constraints: 44235
2562.20/2569.17 c INPROCESSING
2562.20/2569.17 c GARBAGE COLLECT
2562.20/2569.17 c #Conflicts: 1213000 | #Constraints: 23437
2562.20/2569.17 c #Conflicts: 1214000 | #Constraints: 24437
2562.20/2569.17 c #Conflicts: 1215000 | #Constraints: 25437
2562.20/2569.17 c #Conflicts: 1216000 | #Constraints: 26437
2562.20/2569.17 c #Conflicts: 1217000 | #Constraints: 27437
2562.20/2569.17 c #Conflicts: 1218000 | #Constraints: 28437
2562.20/2569.17 c #Conflicts: 1219000 | #Constraints: 29437
2562.20/2569.17 c #Conflicts: 1220000 | #Constraints: 30437
2562.20/2569.17 c #Conflicts: 1221000 | #Constraints: 31437
2562.20/2569.17 c #Conflicts: 1222000 | #Constraints: 32437
2562.20/2569.17 c #Conflicts: 1223000 | #Constraints: 33437
2562.20/2569.17 c #Conflicts: 1224000 | #Constraints: 34437
2562.20/2569.17 c #Conflicts: 1225000 | #Constraints: 35437
2562.20/2569.17 c #Conflicts: 1226000 | #Constraints: 36437
2562.20/2569.17 c #Conflicts: 1227000 | #Constraints: 37437
2562.20/2569.17 c #Conflicts: 1228000 | #Constraints: 38437
2562.20/2569.17 c #Conflicts: 1229000 | #Constraints: 39437
2562.20/2569.17 c #Conflicts: 1230000 | #Constraints: 40437
2562.20/2569.17 c #Conflicts: 1231000 | #Constraints: 41437
2562.20/2569.17 c #Conflicts: 1232000 | #Constraints: 42437
2562.20/2569.17 c #Conflicts: 1233000 | #Constraints: 43437
2562.20/2569.17 c #Conflicts: 1234000 | #Constraints: 44437
2562.20/2569.17 c INPROCESSING
2562.20/2569.17 c GARBAGE COLLECT
2562.20/2569.17 c #Conflicts: 1235000 | #Constraints: 23442
2562.20/2569.17 c #Conflicts: 1236000 | #Constraints: 24442
2562.20/2569.17 c #Conflicts: 1237000 | #Constraints: 25442
2562.20/2569.17 c #Conflicts: 1238000 | #Constraints: 26442
2562.20/2569.17 c #Conflicts: 1239000 | #Constraints: 27442
2562.20/2569.17 c #Conflicts: 1240000 | #Constraints: 28442
2562.20/2569.17 c #Conflicts: 1241000 | #Constraints: 29442
2746.31/2753.78 c #Conflicts: 1242000 | #Constraints: 30442
2746.31/2753.78 c #Conflicts: 1243000 | #Constraints: 31442
2746.31/2753.78 c #Conflicts: 1244000 | #Constraints: 32442
2746.31/2753.78 c #Conflicts: 1245000 | #Constraints: 33442
2746.31/2753.78 c #Conflicts: 1246000 | #Constraints: 34442
2746.31/2753.78 c #Conflicts: 1247000 | #Constraints: 35442
2746.31/2753.78 c #Conflicts: 1248000 | #Constraints: 36442
2746.31/2753.78 c #Conflicts: 1249000 | #Constraints: 37442
2746.31/2753.78 c #Conflicts: 1250000 | #Constraints: 38442
2746.31/2753.78 c #Conflicts: 1251000 | #Constraints: 39442
2746.31/2753.78 c #Conflicts: 1252000 | #Constraints: 40442
2746.31/2753.78 c #Conflicts: 1253000 | #Constraints: 41442
2746.31/2753.78 c #Conflicts: 1254000 | #Constraints: 42442
2746.31/2753.78 c #Conflicts: 1255000 | #Constraints: 43442
2746.31/2753.78 c #Conflicts: 1256000 | #Constraints: 44442
2746.31/2753.78 c INPROCESSING
2746.31/2753.78 c GARBAGE COLLECT
2746.31/2753.78 c #Conflicts: 1257000 | #Constraints: 23254
2746.31/2753.78 c #Conflicts: 1258000 | #Constraints: 24254
2746.31/2753.78 c #Conflicts: 1259000 | #Constraints: 25254
2746.31/2753.78 c #Conflicts: 1260000 | #Constraints: 26254
2746.31/2753.78 c #Conflicts: 1261000 | #Constraints: 27254
2746.31/2753.78 c #Conflicts: 1262000 | #Constraints: 28254
2746.31/2753.78 c #Conflicts: 1263000 | #Constraints: 29254
2746.31/2753.78 c #Conflicts: 1264000 | #Constraints: 30254
2746.31/2753.78 c #Conflicts: 1265000 | #Constraints: 31254
2746.31/2753.78 c #Conflicts: 1266000 | #Constraints: 32254
2746.31/2753.78 c #Conflicts: 1267000 | #Constraints: 33254
2746.31/2753.78 c #Conflicts: 1268000 | #Constraints: 34254
2746.31/2753.78 c #Conflicts: 1269000 | #Constraints: 35254
2746.31/2753.78 c #Conflicts: 1270000 | #Constraints: 36254
2746.31/2753.78 c #Conflicts: 1271000 | #Constraints: 37254
2746.31/2753.78 c #Conflicts: 1272000 | #Constraints: 38254
2746.31/2753.78 c #Conflicts: 1273000 | #Constraints: 39254
2746.31/2753.78 c #Conflicts: 1274000 | #Constraints: 40254
2746.31/2753.78 c #Conflicts: 1275000 | #Constraints: 41254
2746.31/2753.78 c #Conflicts: 1276000 | #Constraints: 42254
2746.31/2753.78 c #Conflicts: 1277000 | #Constraints: 43254
2746.31/2753.78 c #Conflicts: 1278000 | #Constraints: 44254
2746.31/2753.78 c #Conflicts: 1279000 | #Constraints: 45254
2746.31/2753.78 c INPROCESSING
2746.31/2753.78 c GARBAGE COLLECT
2746.31/2753.78 c #Conflicts: 1280000 | #Constraints: 23853
2746.31/2753.78 c #Conflicts: 1281000 | #Constraints: 24853
2746.31/2753.78 c #Conflicts: 1282000 | #Constraints: 25853
2746.31/2753.78 c #Conflicts: 1283000 | #Constraints: 26853
2746.31/2753.78 c #Conflicts: 1284000 | #Constraints: 27853
2746.31/2753.78 c #Conflicts: 1285000 | #Constraints: 28853
2746.31/2753.78 c #Conflicts: 1286000 | #Constraints: 29853
2746.31/2753.78 c #Conflicts: 1287000 | #Constraints: 30853
2746.31/2753.78 c #Conflicts: 1288000 | #Constraints: 31853
2746.31/2753.78 c #Conflicts: 1289000 | #Constraints: 32853
2746.31/2753.78 c #Conflicts: 1290000 | #Constraints: 33853
2746.31/2753.78 c #Conflicts: 1291000 | #Constraints: 34853
2746.31/2753.78 c #Conflicts: 1292000 | #Constraints: 35853
2746.31/2753.78 c #Conflicts: 1293000 | #Constraints: 36853
2746.31/2753.78 c #Conflicts: 1294000 | #Constraints: 37853
2746.31/2753.78 c #Conflicts: 1295000 | #Constraints: 38853
2746.31/2753.78 c #Conflicts: 1296000 | #Constraints: 39853
2746.31/2753.78 c #Conflicts: 1297000 | #Constraints: 40853
2746.31/2753.78 c #Conflicts: 1298000 | #Constraints: 41853
2746.31/2753.78 c #Conflicts: 1299000 | #Constraints: 42853
2746.31/2753.78 c #Conflicts: 1300000 | #Constraints: 43853
2746.31/2753.78 c #Conflicts: 1301000 | #Constraints: 44853
2746.31/2753.78 c #Conflicts: 1302000 | #Constraints: 45853
2746.31/2753.78 c INPROCESSING
2746.31/2753.78 c GARBAGE COLLECT
2746.31/2753.78 c #Conflicts: 1303000 | #Constraints: 24252
2746.31/2753.78 c #Conflicts: 1304000 | #Constraints: 25252
2746.31/2753.78 c #Conflicts: 1305000 | #Constraints: 26252
2746.31/2753.78 c #Conflicts: 1306000 | #Constraints: 27252
2746.31/2753.78 c #Conflicts: 1307000 | #Constraints: 28252
2746.31/2753.78 c #Conflicts: 1308000 | #Constraints: 29252
2746.31/2753.78 c #Conflicts: 1309000 | #Constraints: 30252
2746.31/2753.78 c #Conflicts: 1310000 | #Constraints: 31252
2746.31/2753.78 c #Conflicts: 1311000 | #Constraints: 32252
2746.31/2753.78 c #Conflicts: 1312000 | #Constraints: 33252
2746.31/2753.78 c #Conflicts: 1313000 | #Constraints: 34252
2746.31/2753.78 c #Conflicts: 1314000 | #Constraints: 35252
2746.31/2753.78 c #Conflicts: 1315000 | #Constraints: 36252
2746.31/2753.78 c #Conflicts: 1316000 | #Constraints: 37252
2746.31/2753.78 c #Conflicts: 1317000 | #Constraints: 38252
2746.31/2753.78 c #Conflicts: 1318000 | #Constraints: 39252
2929.33/2937.21 c #Conflicts: 1319000 | #Constraints: 40252
2929.33/2937.21 c #Conflicts: 1320000 | #Constraints: 41252
2929.33/2937.21 c #Conflicts: 1321000 | #Constraints: 42252
2929.33/2937.21 c #Conflicts: 1322000 | #Constraints: 43252
2929.33/2937.21 c #Conflicts: 1323000 | #Constraints: 44252
2929.33/2937.21 c #Conflicts: 1324000 | #Constraints: 45252
2929.33/2937.21 c #Conflicts: 1325000 | #Constraints: 46252
2929.33/2937.21 c INPROCESSING
2929.33/2937.21 c GARBAGE COLLECT
2929.33/2937.21 c #Conflicts: 1326000 | #Constraints: 24470
2929.33/2937.21 c #Conflicts: 1327000 | #Constraints: 25470
2929.33/2937.21 c #Conflicts: 1328000 | #Constraints: 26470
2929.33/2937.21 c #Conflicts: 1329000 | #Constraints: 27470
2929.33/2937.21 c #Conflicts: 1330000 | #Constraints: 28470
2929.33/2937.21 c #Conflicts: 1331000 | #Constraints: 29470
2929.33/2937.21 c #Conflicts: 1332000 | #Constraints: 30470
2929.33/2937.21 c #Conflicts: 1333000 | #Constraints: 31470
2929.33/2937.21 c #Conflicts: 1334000 | #Constraints: 32470
2929.33/2937.21 c #Conflicts: 1335000 | #Constraints: 33470
2929.33/2937.21 c #Conflicts: 1336000 | #Constraints: 34470
2929.33/2937.21 c #Conflicts: 1337000 | #Constraints: 35470
2929.33/2937.21 c #Conflicts: 1338000 | #Constraints: 36470
2929.33/2937.21 c #Conflicts: 1339000 | #Constraints: 37470
2929.33/2937.21 c #Conflicts: 1340000 | #Constraints: 38470
2929.33/2937.21 c #Conflicts: 1341000 | #Constraints: 39470
2929.33/2937.21 c #Conflicts: 1342000 | #Constraints: 40470
2929.33/2937.21 c #Conflicts: 1343000 | #Constraints: 41470
2929.33/2937.21 c #Conflicts: 1344000 | #Constraints: 42470
2929.33/2937.21 c #Conflicts: 1345000 | #Constraints: 43470
2929.33/2937.21 c #Conflicts: 1346000 | #Constraints: 44470
2929.33/2937.21 c #Conflicts: 1347000 | #Constraints: 45470
2929.33/2937.21 c #Conflicts: 1348000 | #Constraints: 46470
2929.33/2937.21 c INPROCESSING
2929.33/2937.21 c GARBAGE COLLECT
2929.33/2937.21 c #Conflicts: 1349000 | #Constraints: 24455
2929.33/2937.21 c #Conflicts: 1350000 | #Constraints: 25455
2929.33/2937.21 c #Conflicts: 1351000 | #Constraints: 26455
2929.33/2937.21 c #Conflicts: 1352000 | #Constraints: 27455
2929.33/2937.21 c #Conflicts: 1353000 | #Constraints: 28455
2929.33/2937.21 c #Conflicts: 1354000 | #Constraints: 29455
2929.33/2937.21 c #Conflicts: 1355000 | #Constraints: 30455
2929.33/2937.21 c #Conflicts: 1356000 | #Constraints: 31455
2929.33/2937.21 c #Conflicts: 1357000 | #Constraints: 32455
2929.33/2937.21 c #Conflicts: 1358000 | #Constraints: 33455
2929.33/2937.21 c #Conflicts: 1359000 | #Constraints: 34455
2929.33/2937.21 c #Conflicts: 1360000 | #Constraints: 35455
2929.33/2937.21 c #Conflicts: 1361000 | #Constraints: 36455
2929.33/2937.21 c #Conflicts: 1362000 | #Constraints: 37455
2929.33/2937.21 c #Conflicts: 1363000 | #Constraints: 38455
2929.33/2937.21 c #Conflicts: 1364000 | #Constraints: 39455
2929.33/2937.21 c #Conflicts: 1365000 | #Constraints: 40455
2929.33/2937.21 c #Conflicts: 1366000 | #Constraints: 41455
2929.33/2937.21 c #Conflicts: 1367000 | #Constraints: 42455
2929.33/2937.21 c #Conflicts: 1368000 | #Constraints: 43455
2929.33/2937.21 c #Conflicts: 1369000 | #Constraints: 44455
2929.33/2937.21 c #Conflicts: 1370000 | #Constraints: 45455
2929.33/2937.21 c #Conflicts: 1371000 | #Constraints: 46455
2929.33/2937.21 c INPROCESSING
2929.33/2937.21 c GARBAGE COLLECT
2929.33/2937.21 c #Conflicts: 1372000 | #Constraints: 24249
2929.33/2937.21 c #Conflicts: 1373000 | #Constraints: 25249
2929.33/2937.21 c #Conflicts: 1374000 | #Constraints: 26249
2929.33/2937.21 c #Conflicts: 1375000 | #Constraints: 27249
2929.33/2937.21 c #Conflicts: 1376000 | #Constraints: 28249
2929.33/2937.21 c #Conflicts: 1377000 | #Constraints: 29249
2929.33/2937.21 c #Conflicts: 1378000 | #Constraints: 30249
2929.33/2937.21 c #Conflicts: 1379000 | #Constraints: 31249
2929.33/2937.21 c #Conflicts: 1380000 | #Constraints: 32249
2929.33/2937.21 c #Conflicts: 1381000 | #Constraints: 33249
2929.33/2937.21 c #Conflicts: 1382000 | #Constraints: 34249
2929.33/2937.21 c #Conflicts: 1383000 | #Constraints: 35249
2929.33/2937.21 c #Conflicts: 1384000 | #Constraints: 36249
2929.33/2937.21 c #Conflicts: 1385000 | #Constraints: 37249
2929.33/2937.21 c #Conflicts: 1386000 | #Constraints: 38249
2929.33/2937.21 c #Conflicts: 1387000 | #Constraints: 39249
2929.33/2937.21 c #Conflicts: 1388000 | #Constraints: 40249
2929.33/2937.21 c #Conflicts: 1389000 | #Constraints: 41249
2929.33/2937.21 c #Conflicts: 1390000 | #Constraints: 42249
2929.33/2937.21 c #Conflicts: 1391000 | #Constraints: 43249
2929.33/2937.21 c #Conflicts: 1392000 | #Constraints: 44249
2929.33/2937.21 c #Conflicts: 1393000 | #Constraints: 45249
2929.33/2937.21 c #Conflicts: 1394000 | #Constraints: 46249
2929.33/2937.21 c #Conflicts: 1395000 | #Constraints: 47249
3108.35/3116.73 c INPROCESSING
3108.35/3116.73 c GARBAGE COLLECT
3108.35/3116.73 c #Conflicts: 1396000 | #Constraints: 24851
3108.35/3116.73 c #Conflicts: 1397000 | #Constraints: 25851
3108.35/3116.73 c #Conflicts: 1398000 | #Constraints: 26851
3108.35/3116.73 c #Conflicts: 1399000 | #Constraints: 27851
3108.35/3116.73 c #Conflicts: 1400000 | #Constraints: 28851
3108.35/3116.73 c #Conflicts: 1401000 | #Constraints: 29851
3108.35/3116.73 c #Conflicts: 1402000 | #Constraints: 30851
3108.35/3116.73 c #Conflicts: 1403000 | #Constraints: 31851
3108.35/3116.73 c #Conflicts: 1404000 | #Constraints: 32851
3108.35/3116.73 c #Conflicts: 1405000 | #Constraints: 33851
3108.35/3116.73 c #Conflicts: 1406000 | #Constraints: 34851
3108.35/3116.73 c #Conflicts: 1407000 | #Constraints: 35851
3108.35/3116.73 c #Conflicts: 1408000 | #Constraints: 36851
3108.35/3116.73 c #Conflicts: 1409000 | #Constraints: 37851
3108.35/3116.73 c #Conflicts: 1410000 | #Constraints: 38851
3108.35/3116.73 c #Conflicts: 1411000 | #Constraints: 39851
3108.35/3116.73 c #Conflicts: 1412000 | #Constraints: 40851
3108.35/3116.73 c #Conflicts: 1413000 | #Constraints: 41851
3108.35/3116.73 c #Conflicts: 1414000 | #Constraints: 42851
3108.35/3116.73 c #Conflicts: 1415000 | #Constraints: 43851
3108.35/3116.73 c #Conflicts: 1416000 | #Constraints: 44851
3108.35/3116.73 c #Conflicts: 1417000 | #Constraints: 45851
3108.35/3116.73 c #Conflicts: 1418000 | #Constraints: 46851
3108.35/3116.73 c #Conflicts: 1419000 | #Constraints: 47851
3108.35/3116.73 c INPROCESSING
3108.35/3116.73 c GARBAGE COLLECT
3108.35/3116.73 c #Conflicts: 1420000 | #Constraints: 25236
3108.35/3116.73 c #Conflicts: 1421000 | #Constraints: 26236
3108.35/3116.73 c #Conflicts: 1422000 | #Constraints: 27236
3108.35/3116.73 c #Conflicts: 1423000 | #Constraints: 28236
3108.35/3116.73 c #Conflicts: 1424000 | #Constraints: 29236
3108.35/3116.73 c #Conflicts: 1425000 | #Constraints: 30236
3108.35/3116.73 c #Conflicts: 1426000 | #Constraints: 31236
3108.35/3116.73 c #Conflicts: 1427000 | #Constraints: 32236
3108.35/3116.73 c #Conflicts: 1428000 | #Constraints: 33236
3108.35/3116.73 c #Conflicts: 1429000 | #Constraints: 34236
3108.35/3116.73 c #Conflicts: 1430000 | #Constraints: 35236
3108.35/3116.73 c #Conflicts: 1431000 | #Constraints: 36236
3108.35/3116.73 c #Conflicts: 1432000 | #Constraints: 37236
3108.35/3116.73 c #Conflicts: 1433000 | #Constraints: 38236
3108.35/3116.73 c #Conflicts: 1434000 | #Constraints: 39236
3108.35/3116.73 c #Conflicts: 1435000 | #Constraints: 40236
3108.35/3116.73 c #Conflicts: 1436000 | #Constraints: 41236
3108.35/3116.73 c #Conflicts: 1437000 | #Constraints: 42236
3108.35/3116.73 c #Conflicts: 1438000 | #Constraints: 43236
3108.35/3116.73 c #Conflicts: 1439000 | #Constraints: 44236
3108.35/3116.73 c #Conflicts: 1440000 | #Constraints: 45236
3108.35/3116.73 c #Conflicts: 1441000 | #Constraints: 46236
3108.35/3116.73 c #Conflicts: 1442000 | #Constraints: 47236
3108.35/3116.73 c #Conflicts: 1443000 | #Constraints: 48236
3108.35/3116.73 c INPROCESSING
3108.35/3116.73 c GARBAGE COLLECT
3108.35/3116.73 c #Conflicts: 1444000 | #Constraints: 25441
3108.35/3116.73 c #Conflicts: 1445000 | #Constraints: 26441
3108.35/3116.73 c #Conflicts: 1446000 | #Constraints: 27441
3108.35/3116.73 c #Conflicts: 1447000 | #Constraints: 28441
3108.35/3116.73 c #Conflicts: 1448000 | #Constraints: 29441
3108.35/3116.73 c #Conflicts: 1449000 | #Constraints: 30441
3108.35/3116.73 c #Conflicts: 1450000 | #Constraints: 31441
3108.35/3116.73 c #Conflicts: 1451000 | #Constraints: 32441
3108.35/3116.73 c #Conflicts: 1452000 | #Constraints: 33441
3108.35/3116.73 c #Conflicts: 1453000 | #Constraints: 34441
3108.35/3116.73 c #Conflicts: 1454000 | #Constraints: 35441
3108.35/3116.73 c #Conflicts: 1455000 | #Constraints: 36441
3108.35/3116.73 c #Conflicts: 1456000 | #Constraints: 37441
3108.35/3116.73 c #Conflicts: 1457000 | #Constraints: 38441
3108.35/3116.73 c #Conflicts: 1458000 | #Constraints: 39441
3108.35/3116.73 c #Conflicts: 1459000 | #Constraints: 40441
3108.35/3116.73 c #Conflicts: 1460000 | #Constraints: 41441
3108.35/3116.73 c #Conflicts: 1461000 | #Constraints: 42441
3108.35/3116.73 c #Conflicts: 1462000 | #Constraints: 43441
3108.35/3116.73 c #Conflicts: 1463000 | #Constraints: 44441
3108.35/3116.73 c #Conflicts: 1464000 | #Constraints: 45441
3108.35/3116.73 c #Conflicts: 1465000 | #Constraints: 46441
3108.35/3116.73 c #Conflicts: 1466000 | #Constraints: 47441
3108.35/3116.73 c #Conflicts: 1467000 | #Constraints: 48441
3108.35/3116.73 c INPROCESSING
3108.35/3116.73 c GARBAGE COLLECT
3108.35/3116.73 c #Conflicts: 1468000 | #Constraints: 25440
3108.35/3116.73 c #Conflicts: 1469000 | #Constraints: 26440
3108.35/3116.73 c #Conflicts: 1470000 | #Constraints: 27440
3108.35/3116.73 c #Conflicts: 1471000 | #Constraints: 28440
3300.94/3309.86 c #Conflicts: 1472000 | #Constraints: 29440
3300.94/3309.86 c #Conflicts: 1473000 | #Constraints: 30440
3300.94/3309.86 c #Conflicts: 1474000 | #Constraints: 31440
3300.94/3309.86 c #Conflicts: 1475000 | #Constraints: 32440
3300.94/3309.86 c #Conflicts: 1476000 | #Constraints: 33440
3300.94/3309.86 c #Conflicts: 1477000 | #Constraints: 34440
3300.94/3309.86 c #Conflicts: 1478000 | #Constraints: 35440
3300.94/3309.86 c #Conflicts: 1479000 | #Constraints: 36440
3300.94/3309.86 c #Conflicts: 1480000 | #Constraints: 37440
3300.94/3309.86 c #Conflicts: 1481000 | #Constraints: 38440
3300.94/3309.86 c #Conflicts: 1482000 | #Constraints: 39440
3300.94/3309.86 c #Conflicts: 1483000 | #Constraints: 40440
3300.94/3309.86 c #Conflicts: 1484000 | #Constraints: 41440
3300.94/3309.86 c #Conflicts: 1485000 | #Constraints: 42440
3300.94/3309.86 c #Conflicts: 1486000 | #Constraints: 43440
3300.94/3309.86 c #Conflicts: 1487000 | #Constraints: 44440
3300.94/3309.86 c #Conflicts: 1488000 | #Constraints: 45440
3300.94/3309.86 c #Conflicts: 1489000 | #Constraints: 46440
3300.94/3309.86 c #Conflicts: 1490000 | #Constraints: 47440
3300.94/3309.86 c #Conflicts: 1491000 | #Constraints: 48440
3300.94/3309.86 c INPROCESSING
3300.94/3309.86 c GARBAGE COLLECT
3300.94/3309.86 c #Conflicts: 1492000 | #Constraints: 25248
3300.94/3309.86 c #Conflicts: 1493000 | #Constraints: 26248
3300.94/3309.86 c #Conflicts: 1494000 | #Constraints: 27248
3300.94/3309.86 c #Conflicts: 1495000 | #Constraints: 28248
3300.94/3309.86 c #Conflicts: 1496000 | #Constraints: 29248
3300.94/3309.86 c #Conflicts: 1497000 | #Constraints: 30248
3300.94/3309.86 c #Conflicts: 1498000 | #Constraints: 31248
3300.94/3309.86 c #Conflicts: 1499000 | #Constraints: 32248
3300.94/3309.86 c #Conflicts: 1500000 | #Constraints: 33248
3300.94/3309.86 c #Conflicts: 1501000 | #Constraints: 34248
3300.94/3309.86 c #Conflicts: 1502000 | #Constraints: 35248
3300.94/3309.86 c #Conflicts: 1503000 | #Constraints: 36248
3300.94/3309.86 c #Conflicts: 1504000 | #Constraints: 37248
3300.94/3309.86 c #Conflicts: 1505000 | #Constraints: 38248
3300.94/3309.86 c #Conflicts: 1506000 | #Constraints: 39248
3300.94/3309.86 c #Conflicts: 1507000 | #Constraints: 40248
3300.94/3309.86 c #Conflicts: 1508000 | #Constraints: 41248
3300.94/3309.86 c #Conflicts: 1509000 | #Constraints: 42248
3300.94/3309.86 c #Conflicts: 1510000 | #Constraints: 43248
3300.94/3309.86 c #Conflicts: 1511000 | #Constraints: 44248
3300.94/3309.86 c #Conflicts: 1512000 | #Constraints: 45248
3300.94/3309.86 c #Conflicts: 1513000 | #Constraints: 46248
3300.94/3309.86 c #Conflicts: 1514000 | #Constraints: 47248
3300.94/3309.86 c #Conflicts: 1515000 | #Constraints: 48248
3300.94/3309.86 c #Conflicts: 1516000 | #Constraints: 49248
3300.94/3309.86 c INPROCESSING
3300.94/3309.86 c GARBAGE COLLECT
3300.94/3309.86 c #Conflicts: 1517000 | #Constraints: 25855
3300.94/3309.86 c #Conflicts: 1518000 | #Constraints: 26855
3300.94/3309.86 c #Conflicts: 1519000 | #Constraints: 27855
3300.94/3309.86 c #Conflicts: 1520000 | #Constraints: 28855
3300.94/3309.86 c #Conflicts: 1521000 | #Constraints: 29855
3300.94/3309.86 c #Conflicts: 1522000 | #Constraints: 30855
3300.94/3309.86 c #Conflicts: 1523000 | #Constraints: 31855
3300.94/3309.86 c #Conflicts: 1524000 | #Constraints: 32855
3300.94/3309.86 c #Conflicts: 1525000 | #Constraints: 33855
3300.94/3309.86 c #Conflicts: 1526000 | #Constraints: 34855
3300.94/3309.86 c #Conflicts: 1527000 | #Constraints: 35855
3300.94/3309.86 c #Conflicts: 1528000 | #Constraints: 36855
3300.94/3309.86 c #Conflicts: 1529000 | #Constraints: 37855
3300.94/3309.86 c #Conflicts: 1530000 | #Constraints: 38855
3300.94/3309.86 c #Conflicts: 1531000 | #Constraints: 39855
3300.94/3309.86 c #Conflicts: 1532000 | #Constraints: 40855
3300.94/3309.86 c #Conflicts: 1533000 | #Constraints: 41855
3300.94/3309.86 c #Conflicts: 1534000 | #Constraints: 42855
3300.94/3309.86 c #Conflicts: 1535000 | #Constraints: 43855
3300.94/3309.86 c #Conflicts: 1536000 | #Constraints: 44855
3300.94/3309.86 c #Conflicts: 1537000 | #Constraints: 45855
3300.94/3309.86 c #Conflicts: 1538000 | #Constraints: 46855
3300.94/3309.86 c #Conflicts: 1539000 | #Constraints: 47855
3300.94/3309.86 c #Conflicts: 1540000 | #Constraints: 48855
3300.94/3309.86 c #Conflicts: 1541000 | #Constraints: 49855
3300.94/3309.86 c INPROCESSING
3300.94/3309.86 c GARBAGE COLLECT
3300.94/3309.86 c #Conflicts: 1542000 | #Constraints: 26252
3300.94/3309.86 c #Conflicts: 1543000 | #Constraints: 27252
3300.94/3309.86 c #Conflicts: 1544000 | #Constraints: 28252
3300.94/3309.86 c #Conflicts: 1545000 | #Constraints: 29252
3300.94/3309.86 c #Conflicts: 1546000 | #Constraints: 30252
3300.94/3309.86 c #Conflicts: 1547000 | #Constraints: 31252
3300.94/3309.86 c #Conflicts: 1548000 | #Constraints: 32252
3510.90/3520.38 c #Conflicts: 1549000 | #Constraints: 33252
3510.90/3520.38 c #Conflicts: 1550000 | #Constraints: 34252
3510.90/3520.38 c #Conflicts: 1551000 | #Constraints: 35252
3510.90/3520.38 c #Conflicts: 1552000 | #Constraints: 36252
3510.90/3520.38 c #Conflicts: 1553000 | #Constraints: 37252
3510.90/3520.38 c #Conflicts: 1554000 | #Constraints: 38252
3510.90/3520.38 c #Conflicts: 1555000 | #Constraints: 39252
3510.90/3520.38 c #Conflicts: 1556000 | #Constraints: 40252
3510.90/3520.38 c #Conflicts: 1557000 | #Constraints: 41252
3510.90/3520.38 c #Conflicts: 1558000 | #Constraints: 42252
3510.90/3520.38 c #Conflicts: 1559000 | #Constraints: 43252
3510.90/3520.38 c #Conflicts: 1560000 | #Constraints: 44252
3510.90/3520.38 c #Conflicts: 1561000 | #Constraints: 45252
3510.90/3520.38 c #Conflicts: 1562000 | #Constraints: 46252
3510.90/3520.38 c #Conflicts: 1563000 | #Constraints: 47252
3510.90/3520.38 c #Conflicts: 1564000 | #Constraints: 48252
3510.90/3520.38 c #Conflicts: 1565000 | #Constraints: 49252
3510.90/3520.38 c #Conflicts: 1566000 | #Constraints: 50252
3510.90/3520.38 c INPROCESSING
3510.90/3520.38 c GARBAGE COLLECT
3510.90/3520.38 c #Conflicts: 1567000 | #Constraints: 26448
3510.90/3520.38 c #Conflicts: 1568000 | #Constraints: 27448
3510.90/3520.38 c #Conflicts: 1569000 | #Constraints: 28448
3510.90/3520.38 c #Conflicts: 1570000 | #Constraints: 29448
3510.90/3520.38 c #Conflicts: 1571000 | #Constraints: 30448
3510.90/3520.38 c #Conflicts: 1572000 | #Constraints: 31448
3510.90/3520.38 c #Conflicts: 1573000 | #Constraints: 32448
3510.90/3520.38 c #Conflicts: 1574000 | #Constraints: 33448
3510.90/3520.38 c #Conflicts: 1575000 | #Constraints: 34448
3510.90/3520.38 c #Conflicts: 1576000 | #Constraints: 35448
3510.90/3520.38 c #Conflicts: 1577000 | #Constraints: 36448
3510.90/3520.38 c #Conflicts: 1578000 | #Constraints: 37448
3510.90/3520.38 c #Conflicts: 1579000 | #Constraints: 38448
3510.90/3520.38 c #Conflicts: 1580000 | #Constraints: 39448
3510.90/3520.38 c #Conflicts: 1581000 | #Constraints: 40448
3510.90/3520.38 c #Conflicts: 1582000 | #Constraints: 41448
3510.90/3520.38 c #Conflicts: 1583000 | #Constraints: 42448
3510.90/3520.38 c #Conflicts: 1584000 | #Constraints: 43448
3510.90/3520.38 c #Conflicts: 1585000 | #Constraints: 44448
3510.90/3520.38 c #Conflicts: 1586000 | #Constraints: 45448
3510.90/3520.38 c #Conflicts: 1587000 | #Constraints: 46448
3510.90/3520.38 c #Conflicts: 1588000 | #Constraints: 47448
3510.90/3520.38 c #Conflicts: 1589000 | #Constraints: 48448
3510.90/3520.38 c #Conflicts: 1590000 | #Constraints: 49448
3510.90/3520.38 c #Conflicts: 1591000 | #Constraints: 50448
3510.90/3520.38 c INPROCESSING
3510.90/3520.38 c GARBAGE COLLECT
3510.90/3520.38 c #Conflicts: 1592000 | #Constraints: 26451
3510.90/3520.38 c #Conflicts: 1593000 | #Constraints: 27451
3510.90/3520.38 c #Conflicts: 1594000 | #Constraints: 28451
3510.90/3520.38 c #Conflicts: 1595000 | #Constraints: 29451
3510.90/3520.38 c #Conflicts: 1596000 | #Constraints: 30451
3510.90/3520.38 c #Conflicts: 1597000 | #Constraints: 31451
3510.90/3520.38 c #Conflicts: 1598000 | #Constraints: 32451
3510.90/3520.38 c #Conflicts: 1599000 | #Constraints: 33451
3510.90/3520.38 c #Conflicts: 1600000 | #Constraints: 34451
3510.90/3520.38 c #Conflicts: 1601000 | #Constraints: 35451
3510.90/3520.38 c #Conflicts: 1602000 | #Constraints: 36451
3510.90/3520.38 c #Conflicts: 1603000 | #Constraints: 37451
3510.90/3520.38 c #Conflicts: 1604000 | #Constraints: 38451
3510.90/3520.38 c #Conflicts: 1605000 | #Constraints: 39451
3510.90/3520.38 c #Conflicts: 1606000 | #Constraints: 40451
3510.90/3520.38 c #Conflicts: 1607000 | #Constraints: 41451
3510.90/3520.38 c #Conflicts: 1608000 | #Constraints: 42451
3510.90/3520.38 c #Conflicts: 1609000 | #Constraints: 43451
3510.90/3520.38 c #Conflicts: 1610000 | #Constraints: 44451
3510.90/3520.38 c #Conflicts: 1611000 | #Constraints: 45451
3510.90/3520.38 c #Conflicts: 1612000 | #Constraints: 46451
3510.90/3520.38 c #Conflicts: 1613000 | #Constraints: 47451
3510.90/3520.38 c #Conflicts: 1614000 | #Constraints: 48451
3510.90/3520.38 c #Conflicts: 1615000 | #Constraints: 49451
3510.90/3520.38 c #Conflicts: 1616000 | #Constraints: 50451
3510.90/3520.38 c INPROCESSING
3510.90/3520.38 c GARBAGE COLLECT
3510.90/3520.38 c #Conflicts: 1617000 | #Constraints: 26247
3510.90/3520.38 c #Conflicts: 1618000 | #Constraints: 27247
3510.90/3520.38 c #Conflicts: 1619000 | #Constraints: 28247
3510.90/3520.38 c #Conflicts: 1620000 | #Constraints: 29247
3510.90/3520.38 c #Conflicts: 1621000 | #Constraints: 30247
3510.90/3520.38 c #Conflicts: 1622000 | #Constraints: 31247
3510.90/3520.38 c #Conflicts: 1623000 | #Constraints: 32247
3510.90/3520.38 c #Conflicts: 1624000 | #Constraints: 33247
3510.90/3520.38 c #Conflicts: 1625000 | #Constraints: 34247
3600.06/3609.70 c #Conflicts: 1626000 | #Constraints: 35247
3600.06/3609.70 c #Conflicts: 1627000 | #Constraints: 36247
3600.06/3609.70 c #Conflicts: 1628000 | #Constraints: 37247
3600.06/3609.70 c #Conflicts: 1629000 | #Constraints: 38247
3600.06/3609.70 c #Conflicts: 1630000 | #Constraints: 39247
3600.06/3609.70 c #Conflicts: 1631000 | #Constraints: 40247
3600.06/3609.70 c #Conflicts: 1632000 | #Constraints: 41247
3600.06/3609.70 c #Conflicts: 1633000 | #Constraints: 42247
3600.06/3609.70 c #Conflicts: 1634000 | #Constraints: 43247
3600.06/3609.70 c #Conflicts: 1635000 | #Constraints: 44247
3600.06/3609.70 c #Conflicts: 1636000 | #Constraints: 45247
3600.06/3609.70 c #Conflicts: 1637000 | #Constraints: 46247
3600.06/3609.70 c #Conflicts: 1638000 | #Constraints: 47247
3600.06/3609.70 c #Conflicts: 1639000 | #Constraints: 48247
3600.06/3609.70 c #Conflicts: 1640000 | #Constraints: 49247
3600.06/3609.70 c #Conflicts: 1641000 | #Constraints: 50247
3600.06/3609.70 c #Conflicts: 1642000 | #Constraints: 51247
3600.06/3609.70 c INPROCESSING
3600.06/3609.70 c GARBAGE COLLECT
3600.06/3609.70 c #Conflicts: 1643000 | #Constraints: 26841
3600.06/3609.70 c #Conflicts: 1644000 | #Constraints: 27841
3600.06/3609.70 c #Conflicts: 1645000 | #Constraints: 28841
3600.06/3609.70 c #Conflicts: 1646000 | #Constraints: 29841
3600.06/3609.70 c #Conflicts: 1647000 | #Constraints: 30841
3600.06/3609.70 c #Conflicts: 1648000 | #Constraints: 31841
3600.06/3609.70 c #Conflicts: 1649000 | #Constraints: 32841
3600.06/3609.70 c #Conflicts: 1650000 | #Constraints: 33841
3600.06/3609.70 c cpu time 3558.21 s
3600.06/3609.70 c deterministic time 19877825 1.99e+07
3600.06/3609.70 c optimization time 3552.9 s
3600.06/3609.70 c total solve time 3.4274 s
3600.06/3609.70 c core-guided solve time 0 s
3600.06/3609.70 c propagation time 2.63027 s
3600.06/3609.70 c conflict analysis time 0.19718 s
3600.06/3609.70 c propagations 3610962
3600.06/3609.70 c resolve steps 16583
3600.06/3609.70 c decisions 2875714
3600.06/3609.70 c conflicts 756
3600.06/3609.70 c restarts 6
3600.06/3609.70 c inprocessing phases 0
3600.06/3609.70 c garbage collections 0 ,( -nan )
3600.06/3609.70 c input clauses 421619 ,( 99.97 )
3600.06/3609.70 c input cardinalities 0 ,( 0.00 )
3600.06/3609.70 c input general constraints 132 ,( 0.03 )
3600.06/3609.70 c input average constraint length 4.14
3600.06/3609.70 c input average constraint degree 448.95
3600.06/3609.70 c learned clauses 833 ,( 100.00 )
3600.06/3609.70 c learned cardinalities 0 ,( 0.00 )
3600.06/3609.70 c learned general constraints 0 ,( 0.00 )
3600.06/3609.70 c learned average constraint length 58.07
3600.06/3609.70 c learned average constraint degree 1.00
3600.06/3609.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3609.70 c counting CF 32, 64, 128, Arb: 133 , 0 , 0 , 0
3600.06/3609.70 c watched constraints 0 ,( 0.00 )
3600.06/3609.70 c counting constraints 132 ,( 100.00 )
3600.06/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2252820 , 0 , 305370 ,( 0 , 305370 )
3600.06/3609.70 c gcd simplifications 0
3600.06/3609.70 c detected cardinalities 0
3600.06/3609.70 c weakened non-implied lits 0
3600.06/3609.70 c weakened non-implying lits 0
3600.06/3609.70 c original variables 73150
3600.06/3609.70 c clausal propagations 2066469
3600.06/3609.70 c cardinality propagations 0
3600.06/3609.70 c watched propagations 0
3600.06/3609.70 c counting propagations 17493
3600.06/3609.70 c watch lookups 2956764
3600.06/3609.70 c watch backjump lookups 0
3600.06/3609.70 c watch checks 1676803
3600.06/3609.70 c propagation checks 2097699
3600.06/3609.70 c constraint additions 203482
3600.06/3609.70 c trail pops 6453400
3600.06/3609.70 c formula constraints 421178
3600.06/3609.70 c learned constraints 833
3600.06/3609.70 c bound constraints 0
3600.06/3609.70 c core-guided constraints 0
3600.06/3609.70 c encountered formula constraints 16742
3600.06/3609.70 c encountered learned constraints 597
3600.06/3609.70 c encountered bound constraints 0
3600.06/3609.70 c encountered core-guided constraints 0
3600.06/3609.70 c LP total time 2.39285 s
3600.06/3609.70 c LP solve time 2.21 s
3600.06/3609.70 c LP constraints added 421178
3600.06/3609.70 c LP constraints removed 0
3600.06/3609.70 c LP pivots internal 2000
3600.06/3609.70 c LP pivots root 1000
3600.06/3609.70 c LP calls 2
3600.06/3609.70 c LP optimalities 0
3600.06/3609.70 c LP no pivot count 0
3600.06/3609.70 c LP infeasibilities 0
3600.06/3609.70 c LP valid Farkas constraints 0
3600.06/3609.70 c LP learned Farkas constraints 0
3600.06/3609.70 c LP basis resets 0
3600.06/3609.70 c LP cycling count 0
3600.06/3609.70 c LP singular count 0
3600.06/3609.70 c LP no primal count 0
3600.06/3609.70 c LP no farkas count 0
3600.06/3609.70 c LP other issue count 0
3600.06/3609.70 c LP Gomory cuts 0
3600.06/3609.70 c LP learned cuts 0
3600.06/3609.70 c LP deleted cuts 0
3600.06/3609.70 c LP encountered Gomory constraints 0
3600.06/3609.70 c LP encountered Farkas constraints 0
3600.06/3609.70 c LP encountered learned Farkas constraints 0
3600.06/3609.70 c CG auxiliary variables introduced 139
3600.06/3609.70 c CG solutions found 0
3600.06/3609.70 c CG cores constructed 298
3600.06/3609.70 c CG core cardinality constraints returned 0
3600.06/3609.70 c CG unit cores 0
3600.06/3609.70 c CG single cores 0
3600.06/3609.70 c CG blocks removed during cardinality reduction 0
3600.06/3609.70 c CG first core best 0
3600.06/3609.70 c CG decision core best 0
3600.06/3609.70 c CG core reduction tie 0
3600.06/3609.70 c CG core degree average 0.00
3600.06/3609.70 c CG core slack average 0.00
3600.06/3609.70 c CG core upper bound improvements 0
3600.06/3609.70 c STR number of successful calls 0
3600.06/3609.70 c STR number of unsuccessful calls 0
3600.06/3609.70 c STR number of inconclusive calls 0
3600.06/3609.70 c STR number of successful attempts 0
3600.06/3609.70 c STR number of unsuccessful attempts 0
3600.06/3609.70 c STR number of inconclusive attempts 0
3600.06/3609.70 c STR average degree increase per successful call inf
3600.06/3609.70 c STR average degree increase per successful attempt inf
3600.06/3609.70 c STR total number of conflicts for successful attempts 0
3600.06/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.70 c STR average number of conflicts per successful attempt inf
3600.06/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.70 c AVG.sumWPerc 99.66
3600.06/3609.70 c bigint constraints 0
3600.06/3609.70 s UNKNOWN
3600.06/3609.70 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 (42201 MiB free)
memory of node 1: 64507 MiB (58990 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506320-1751502848/watcher-4506320-1751502848 -o /tmp/evaluation-result-4506320-1751502848/solver-4506320-1751502848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70776 --watchdog 3760 run-opt.sh HOME/instance-4506320-1751502848.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71058, runsolver pid=71055
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.11 4.00 5/269 71060
/proc/meminfo: memFree=103610724/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=72080 memory=26056 CPUtime=0.08 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 3983 0 0 0 6 2 0 0 20 0 1 0 65962525 73809920 6514 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 18020 6514 1920 1147 0 5447 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76272 KiB
Current children cumulated memory: 29128 KiB
[startup+0.205521 s]*
/proc/loadavg: 4.10 4.11 4.00 5/269 71060
/proc/meminfo: memFree=103610724/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=73712 memory=30796 CPUtime=0.19 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 4667 0 0 0 15 4 0 0 20 0 1 0 65962525 75481088 7699 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 18428 7699 1920 1147 0 5855 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77904 KiB
Current children cumulated memory: 33868 KiB
[startup+0.305123 s]*
/proc/loadavg: 4.10 4.11 4.00 5/269 71060
/proc/meminfo: memFree=103609968/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=75532 memory=32332 CPUtime=0.29 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 5043 0 0 0 23 6 0 0 20 0 1 0 65962525 77344768 8083 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 18883 8083 1920 1147 0 6310 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79724 KiB
Current children cumulated memory: 35404 KiB
[startup+0.700199 s]
/proc/loadavg: 4.10 4.11 4.00 5/269 71060
/proc/meminfo: memFree=103605432/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=88264 memory=40352 CPUtime=0.67 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 7600 0 0 0 55 12 0 0 20 0 1 0 65962525 90382336 10088 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 22066 10088 1920 1147 0 9493 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 92456 KiB
Current children cumulated memory: 43424 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.11 4.00 5/269 71060
/proc/meminfo: memFree=103581680/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=106884 memory=59836 CPUtime=1.47 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 12891 0 0 0 122 25 0 0 20 0 1 0 65962525 109449216 14959 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 26721 14959 1920 1147 0 14148 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 111076 KiB
Current children cumulated memory: 62908 KiB
[startup+3.10526 s]
/proc/loadavg: 4.09 4.11 4.00 5/269 71060
/proc/meminfo: memFree=103167260/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=600880 memory=488392 CPUtime=3.08 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 43002 0 0 0 258 50 0 0 20 0 1 0 65962525 615301120 122098 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 150220 122098 2368 1147 0 137647 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 605072 KiB
Current children cumulated memory: 491464 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.11 4.00 5/269 71060
/proc/meminfo: memFree=103147636/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=607740 memory=493516 CPUtime=6.26 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 43821 0 0 0 487 139 0 0 20 0 1 0 65962525 622325760 123379 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 151935 123379 2368 1147 0 139362 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 611932 KiB
Current children cumulated memory: 496588 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.00 5/269 71060
/proc/meminfo: memFree=103099824/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=681880 memory=573456 CPUtime=12.64 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 56861 0 0 0 749 515 0 0 20 0 1 0 65962525 698245120 143364 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 170470 143364 2400 1147 0 157897 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 686072 KiB
Current children cumulated memory: 576528 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.01 5/269 71061
/proc/meminfo: memFree=102747080/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=1114340 memory=872336 CPUtime=25.42 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 117276 0 0 0 1557 985 0 0 20 0 1 0 65962525 1141084160 218084 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 278585 218084 2400 1147 0 266012 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1118532 KiB
Current children cumulated memory: 875408 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.11 4.00 5/269 71061
/proc/meminfo: memFree=102371108/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=1199244 memory=980400 CPUtime=50.95 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 131515 0 0 0 4015 1080 0 0 20 0 1 0 65962525 1228025856 245100 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 299811 245100 2400 1147 0 287238 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1203436 KiB
Current children cumulated memory: 983472 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.02 5/269 71064
/proc/meminfo: memFree=100758376/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=1563388 memory=1326996 CPUtime=102.02 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 198812 0 0 0 9088 1114 0 0 20 0 1 0 65962525 1600909312 331749 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 390847 331749 2400 1147 0 378274 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1567580 KiB
Current children cumulated memory: 1330068 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.02 5/268 71068
/proc/meminfo: memFree=100257244/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=1702620 memory=1421428 CPUtime=161.87 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 212197 0 0 0 15042 1145 0 0 20 0 1 0 65962525 1743482880 355357 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 425655 355357 2400 1147 0 413082 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1706812 KiB
Current children cumulated memory: 1424500 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/268 71071
/proc/meminfo: memFree=99920828/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=1703132 memory=1466388 CPUtime=221.71 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 218341 0 0 0 21001 1170 0 0 20 0 1 0 65962525 1744007168 366597 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 425783 366597 2400 1147 0 413210 0
Current children cumulated CPU time: 221.71 s
################
# More data... #
################
/proc/71060/statm: 1269473 1197222 2400 1147 0 1256900 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4791960 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 71369
/proc/meminfo: memFree=102502372/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4788888 CPUtime=3153.83 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 706610 0 0 0 311449 3934 0 0 20 0 1 0 65962525 5199761408 1197222 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197222 2400 1147 0 1256900 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4791960 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 71374
/proc/meminfo: memFree=102226408/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4788888 CPUtime=3213.67 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 707185 0 0 0 317392 3975 0 0 20 0 1 0 65962525 5199761408 1197222 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197222 2400 1147 0 1256900 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4791960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 71377
/proc/meminfo: memFree=102178012/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4788888 CPUtime=3273.52 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 707269 0 0 0 323324 4028 0 0 20 0 1 0 65962525 5199761408 1197222 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197222 2400 1147 0 1256900 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4791960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 71379
/proc/meminfo: memFree=102177400/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4789016 CPUtime=3333.36 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 707855 0 0 0 329274 4062 0 0 20 0 1 0 65962525 5199761408 1197254 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197254 2400 1147 0 1256900 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4792088 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 71381
/proc/meminfo: memFree=102140816/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4789016 CPUtime=3393.2 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 708234 0 0 0 335237 4083 0 0 20 0 1 0 65962525 5199761408 1197254 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197254 2400 1147 0 1256900 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4792088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 71387
/proc/meminfo: memFree=101361072/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4789016 CPUtime=3453.05 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 708427 0 0 0 341198 4107 0 0 20 0 1 0 65962525 5199761408 1197254 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197254 2400 1147 0 1256900 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4792088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 71389
/proc/meminfo: memFree=101141824/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4789016 CPUtime=3512.9 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 708928 0 0 0 347158 4132 0 0 20 0 1 0 65962525 5199761408 1197254 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197254 2400 1147 0 1256900 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4792088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 71392
/proc/meminfo: memFree=101160360/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4789016 CPUtime=3572.73 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 709110 0 0 0 353108 4165 0 0 20 0 1 0 65962525 5199761408 1197254 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197254 2400 1147 0 1256900 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4792088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 71393
/proc/meminfo: memFree=100891372/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4789016 CPUtime=3600.06 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 709564 0 0 0 355820 4186 0 0 20 0 1 0 65962525 5199761408 1197254 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197254 2400 1147 0 1256900 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4792088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 71058 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.00211 s
[startup+3609.72 s]
# the end of solver process 71060 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3558.22 s, system=41.8783 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+3609.7 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 71393
/proc/meminfo: memFree=100891372/131249996 swapFree=33010160/33010684
[pid=71058] ppid=71055 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71058/stat : 71058 (run-opt.sh) S 71055 71058 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65962524 4292608 768 18446744073709551615 94260357251072 94260358145605 140729308944160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94260358384656 94260358432400 94260382318592 140729308948845 140729308948968 140729308948968 140729308954570 0
/proc/71058/statm: 1048 768 704 219 0 110 0
[pid=71060] ppid=71058 vsize=5077892 memory=4789016 CPUtime=3600.06 cores=5,7
/proc/71060/stat : 71060 (roundingsat) R 71058 71058 70763 0 -1 4194304 709564 0 0 0 355820 4186 0 0 20 0 1 0 65962525 5199761408 1197254 18446744073709551615 4227072 8923433 140725500055616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38264832 140725500058018 140725500058152 140725500058152 140725500063722 0
/proc/71060/statm: 1269473 1197254 2400 1147 0 1256900 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5082084 KiB
Current children cumulated memory: 4792088 KiB
Child status: 2
Real time (s): 3609.72
CPU time (s): 3600.1
CPU user time (s): 3558.22
CPU system time (s): 41.8783
CPU usage (%): 99.7333
Max. virtual memory (cumulated for all children) (KiB): 5082084
Max. memory (cumulated for all children) (KiB): 4792088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.22
system time used= 41.8783
maximum resident set size= 4789272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 709841
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= 685
involuntary context switches= 19191
# summary of solver processes directly reported to runsolver:
# pid: 71058,71060
# total CPU time (s): 3600.1
# total CPU user time (s): 3558.22
# total CPU system time (s): 41.8783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5793 second user time and 15.3813 second system time
The end
Begin job on nodeC021 at 2025-07-03 02:34:08
IDJOB=4506320
IDBENCH=158170
IDSOLVER=3350
FILE ID=nodeC021/4506320-1751502848
RUNJOBID= nodeC021-1751500681-70776
SLURM_JOB_ID= 9598584
Free space on /tmp= 430828 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.E.recomb10-0.20-11.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506320-1751502848/watcher-4506320-1751502848 -o /tmp/evaluation-result-4506320-1751502848/solver-4506320-1751502848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70776 --watchdog 3760 run-opt.sh HOME/instance-4506320-1751502848.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 551838940c89f9d2ab4aca2b8dd410a0
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 : 3599.810
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.746
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 : 3598.353
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 : 3636.808
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.838
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.760
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 : 3599.408
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 : 3597.657
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: 103620276 kB
MemAvailable: 107526688 kB
Buffers: 2128 kB
Cached: 4644632 kB
SwapCached: 20 kB
Active: 22600048 kB
Inactive: 4165896 kB
Active(anon): 22126300 kB
Inactive(anon): 10924 kB
Active(file): 473748 kB
Inactive(file): 4154972 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33468 kB
Writeback: 0 kB
AnonPages: 22109908 kB
Mapped: 117668 kB
Shmem: 18040 kB
KReclaimable: 233460 kB
Slab: 325288 kB
SReclaimable: 233460 kB
SUnreclaim: 91828 kB
KernelStack: 4336 kB
PageTables: 49252 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 25832020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5130240 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= 430604 MiB
End job on nodeC021 at 2025-07-03 03:34:18