0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
2.78/4.10 c #variables 79975 #constraints 274426
2.78/4.10 c objective is ce32
2.87/4.17 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.87/4.17 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.87/4.17 c GLOBAL bounds - >= 0 @ 2.5327
2.97/4.27 c GLOBAL bounds - >= 0 @ 2.58595
2.97/4.27 c GLOBAL bounds - >= 9 @ 2.58652
4.56/5.83 c GLOBAL bounds - >= 9 @ 4.10347
4.66/5.91 c GLOBAL bounds - >= 9 @ 4.13593
4.66/5.91 c GLOBAL bounds - >= 9 @ 4.13746
4.66/5.99 c GLOBAL bounds - >= 9 @ 4.17021
4.66/5.99 c GLOBAL bounds - >= 9 @ 4.17154
4.78/6.07 c GLOBAL bounds - >= 9 @ 4.19812
4.78/6.07 c GLOBAL bounds - >= 9 @ 4.19931
4.87/6.15 c GLOBAL bounds - >= 9 @ 4.23247
4.87/6.15 c GLOBAL bounds - >= 9 @ 4.2338
4.96/6.23 c GLOBAL bounds - >= 9 @ 4.26291
4.96/6.23 c GLOBAL bounds - >= 9 @ 4.2641
5.06/6.31 c GLOBAL bounds - >= 9 @ 4.29799
5.06/6.31 c GLOBAL bounds - >= 9 @ 4.29915
5.06/6.39 c GLOBAL bounds - >= 9 @ 4.33242
5.06/6.39 c GLOBAL bounds - >= 9 @ 4.33368
5.15/6.47 c GLOBAL bounds - >= 9 @ 4.36391
5.15/6.47 c GLOBAL bounds - >= 9 @ 4.36506
5.26/6.55 c GLOBAL bounds - >= 9 @ 4.40217
5.26/6.55 c GLOBAL bounds - >= 9 @ 4.40302
5.35/6.63 c GLOBAL bounds - >= 9 @ 4.42539
5.46/6.71 c GLOBAL bounds - >= 9 @ 4.46713
5.46/6.78 c GLOBAL bounds - >= 9 @ 4.50479
5.56/6.86 c GLOBAL bounds - >= 9 @ 4.5338
5.65/6.94 c GLOBAL bounds - >= 9 @ 4.56309
5.77/7.02 c GLOBAL bounds - >= 9 @ 4.59002
5.77/7.10 c GLOBAL bounds - >= 9 @ 4.62074
5.87/7.18 c GLOBAL bounds - >= 9 @ 4.65113
5.87/7.18 c GLOBAL bounds - >= 692 @ 4.65628
5.87/7.19 c GLOBAL bounds - >= 692 @ 4.66402
5.95/7.27 c GLOBAL bounds - >= 692 @ 4.68257
5.95/7.27 c GLOBAL bounds - >= 692 @ 4.68394
6.05/7.34 c GLOBAL bounds - >= 692 @ 4.71004
6.05/7.34 c GLOBAL bounds - >= 692 @ 4.71185
6.15/7.42 c GLOBAL bounds - >= 692 @ 4.7449
6.15/7.42 c GLOBAL bounds - >= 692 @ 4.74684
6.15/7.49 c GLOBAL bounds - >= 692 @ 4.77321
6.15/7.50 c GLOBAL bounds - >= 692 @ 4.7752
6.25/7.57 c GLOBAL bounds - >= 692 @ 4.80181
6.25/7.57 c GLOBAL bounds - >= 692 @ 4.80533
6.35/7.65 c GLOBAL bounds - >= 692 @ 4.82948
6.35/7.65 c GLOBAL bounds - >= 692 @ 4.8301
6.46/7.72 c GLOBAL bounds - >= 692 @ 4.8539
6.46/7.73 c GLOBAL bounds - >= 692 @ 4.85659
6.55/7.81 c GLOBAL bounds - >= 692 @ 4.88764
6.55/7.81 c GLOBAL bounds - >= 692 @ 4.89042
6.55/7.89 c GLOBAL bounds - >= 692 @ 4.92225
6.65/7.90 c GLOBAL bounds - >= 692 @ 4.92521
6.65/7.98 c GLOBAL bounds - >= 692 @ 4.95784
6.76/8.05 c GLOBAL bounds - >= 692 @ 4.99122
6.86/8.13 c GLOBAL bounds - >= 692 @ 5.02906
6.86/8.16 c GLOBAL bounds - >= 3420 @ 5.05356
6.86/8.18 c GLOBAL bounds - >= 3420 @ 5.07212
6.95/8.25 c GLOBAL bounds - >= 3420 @ 5.09783
6.95/8.26 c GLOBAL bounds - >= 3420 @ 5.10067
7.06/8.33 c GLOBAL bounds - >= 3420 @ 5.13277
7.06/8.34 c GLOBAL bounds - >= 3420 @ 5.1353
7.15/8.42 c GLOBAL bounds - >= 3420 @ 5.16249
7.15/8.42 c GLOBAL bounds - >= 3420 @ 5.16524
7.26/8.50 c GLOBAL bounds - >= 3420 @ 5.19378
7.26/8.51 c GLOBAL bounds - >= 3420 @ 5.19814
7.26/8.59 c GLOBAL bounds - >= 3420 @ 5.23514
7.26/8.59 c GLOBAL bounds - >= 3420 @ 5.23954
7.35/8.67 c GLOBAL bounds - >= 3420 @ 5.27515
7.35/8.68 c GLOBAL bounds - >= 3420 @ 5.27957
7.45/8.76 c GLOBAL bounds - >= 3420 @ 5.30426
7.45/8.77 c GLOBAL bounds - >= 3420 @ 5.30834
7.56/8.84 c GLOBAL bounds - >= 3420 @ 5.33323
7.56/8.85 c GLOBAL bounds - >= 3420 @ 5.33786
7.66/8.93 c GLOBAL bounds - >= 3420 @ 5.36845
7.66/8.94 c GLOBAL bounds - >= 3420 @ 5.37472
7.77/9.02 c GLOBAL bounds - >= 3420 @ 5.40729
7.77/9.10 c GLOBAL bounds - >= 3420 @ 5.43427
7.87/9.18 c GLOBAL bounds - >= 3420 @ 5.46583
7.95/9.23 c GLOBAL bounds - >= 5808 @ 5.51279
7.95/9.25 c GLOBAL bounds - >= 5808 @ 5.52685
7.95/9.26 c GLOBAL bounds - >= 5808 @ 5.53053
7.95/9.26 c GLOBAL bounds - >= 5808 @ 5.5344
8.05/9.34 c GLOBAL bounds - >= 5808 @ 5.55375
8.05/9.35 c GLOBAL bounds - >= 5808 @ 5.5583
8.15/9.43 c GLOBAL bounds - >= 5808 @ 5.58585
8.15/9.44 c GLOBAL bounds - >= 5808 @ 5.59198
8.25/9.53 c GLOBAL bounds - >= 5808 @ 5.61551
8.25/9.54 c GLOBAL bounds - >= 5808 @ 5.62217
8.35/9.62 c GLOBAL bounds - >= 5808 @ 5.65183
8.35/9.63 c GLOBAL bounds - >= 5808 @ 5.65606
8.45/9.71 c GLOBAL bounds - >= 5808 @ 5.68986
8.45/9.73 c GLOBAL bounds - >= 5808 @ 5.69578
8.55/9.81 c GLOBAL bounds - >= 5808 @ 5.7295
8.55/9.82 c GLOBAL bounds - >= 5808 @ 5.73733
8.65/9.90 c GLOBAL bounds - >= 5808 @ 5.7689
8.65/9.92 c GLOBAL bounds - >= 5808 @ 5.77395
8.65/10.00 c GLOBAL bounds - >= 5808 @ 5.80189
8.77/10.01 c GLOBAL bounds - >= 5808 @ 5.81093
8.77/10.09 c GLOBAL bounds - >= 5808 @ 5.84449
8.77/10.11 c GLOBAL bounds - >= 5808 @ 5.84828
8.86/10.19 c GLOBAL bounds - >= 5808 @ 5.87497
8.94/10.29 c GLOBAL bounds - >= 5808 @ 5.92272
9.05/10.38 c GLOBAL bounds - >= 5808 @ 5.96797
9.25/10.50 c GLOBAL bounds - >= 5808 @ 6.03389
9.35/10.63 c GLOBAL bounds - >= 5808 @ 6.10609
9.35/10.70 c GLOBAL bounds - >= 7855 @ 6.16742
9.45/10.72 c GLOBAL bounds - >= 7855 @ 6.18255
9.45/10.73 c GLOBAL bounds - >= 7855 @ 6.18487
9.45/10.74 c GLOBAL bounds - >= 7855 @ 6.18989
9.55/10.82 c GLOBAL bounds - >= 7855 @ 6.21331
9.55/10.83 c GLOBAL bounds - >= 7855 @ 6.21702
9.65/10.91 c GLOBAL bounds - >= 7855 @ 6.24494
9.65/10.92 c GLOBAL bounds - >= 7855 @ 6.24982
9.65/11.00 c GLOBAL bounds - >= 7855 @ 6.28432
9.76/11.02 c GLOBAL bounds - >= 7855 @ 6.28937
9.76/11.10 c GLOBAL bounds - >= 7855 @ 6.32352
9.86/11.11 c GLOBAL bounds - >= 7855 @ 6.32904
9.86/11.19 c GLOBAL bounds - >= 7855 @ 6.36183
9.94/11.21 c GLOBAL bounds - >= 7855 @ 6.36921
9.94/11.29 c GLOBAL bounds - >= 7855 @ 6.4011
10.04/11.30 c GLOBAL bounds - >= 7855 @ 6.407
10.04/11.38 c GLOBAL bounds - >= 7855 @ 6.44016
10.14/11.40 c GLOBAL bounds - >= 7855 @ 6.44702
10.14/11.48 c GLOBAL bounds - >= 7855 @ 6.47609
10.14/11.49 c GLOBAL bounds - >= 7855 @ 6.48158
10.24/11.58 c GLOBAL bounds - >= 7855 @ 6.50891
10.24/11.59 c GLOBAL bounds - >= 7855 @ 6.5158
10.35/11.67 c GLOBAL bounds - >= 7855 @ 6.54769
10.44/11.75 c GLOBAL bounds - >= 7855 @ 6.56925
10.55/11.83 c GLOBAL bounds - >= 7855 @ 6.60053
10.64/11.91 c GLOBAL bounds - >= 7855 @ 6.62771
10.64/11.99 c GLOBAL bounds - >= 7855 @ 6.66324
10.75/12.08 c GLOBAL bounds - >= 7855 @ 6.71611
10.85/12.17 c GLOBAL bounds - >= 7855 @ 6.74447
11.05/12.31 c GLOBAL bounds - >= 7855 @ 6.83791
11.05/12.38 c GLOBAL bounds - >= 8540 @ 6.90155
11.14/12.40 c GLOBAL bounds - >= 8540 @ 6.91489
11.14/12.42 c GLOBAL bounds - >= 8540 @ 6.92071
11.14/12.43 c GLOBAL bounds - >= 8540 @ 6.92459
11.25/12.51 c GLOBAL bounds - >= 8540 @ 6.95591
11.25/12.52 c GLOBAL bounds - >= 8540 @ 6.96064
11.34/12.60 c GLOBAL bounds - >= 8540 @ 6.99236
11.34/12.62 c GLOBAL bounds - >= 8540 @ 6.99767
11.44/12.70 c GLOBAL bounds - >= 8540 @ 7.03365
11.44/12.71 c GLOBAL bounds - >= 8540 @ 7.04052
11.44/12.80 c GLOBAL bounds - >= 8540 @ 7.07161
11.54/12.81 c GLOBAL bounds - >= 8540 @ 7.07785
11.54/12.89 c GLOBAL bounds - >= 8540 @ 7.11326
11.64/12.91 c GLOBAL bounds - >= 8540 @ 7.12039
11.64/12.99 c GLOBAL bounds - >= 8540 @ 7.15541
11.64/13.01 c GLOBAL bounds - >= 8540 @ 7.16435
11.75/13.09 c GLOBAL bounds - >= 8540 @ 7.19787
11.75/13.10 c GLOBAL bounds - >= 8540 @ 7.20484
11.86/13.19 c GLOBAL bounds - >= 8540 @ 7.23677
11.94/13.20 c GLOBAL bounds - >= 8540 @ 7.24411
11.94/13.28 c GLOBAL bounds - >= 8540 @ 7.28269
12.04/13.30 c GLOBAL bounds - >= 8540 @ 7.29088
12.04/13.39 c GLOBAL bounds - >= 8540 @ 7.32826
12.14/13.46 c GLOBAL bounds - >= 8540 @ 7.35965
12.25/13.55 c GLOBAL bounds - >= 8540 @ 7.40606
12.34/13.63 c GLOBAL bounds - >= 8540 @ 7.43031
12.45/13.70 c GLOBAL bounds - >= 8540 @ 7.45907
12.45/13.78 c GLOBAL bounds - >= 8540 @ 7.49548
12.64/13.91 c GLOBAL bounds - >= 8540 @ 7.56246
12.76/14.03 c GLOBAL bounds - >= 8540 @ 7.62331
14.03/15.39 c GLOBAL bounds - >= 8543 @ 8.91354
14.13/15.41 c GLOBAL bounds - >= 8543 @ 8.92599
14.13/15.42 c GLOBAL bounds - >= 8543 @ 8.93077
14.23/15.50 c GLOBAL bounds - >= 8543 @ 8.96704
14.23/15.51 c GLOBAL bounds - >= 8543 @ 8.97292
14.23/15.60 c GLOBAL bounds - >= 8543 @ 8.99468
14.33/15.61 c GLOBAL bounds - >= 8543 @ 9.00209
14.33/15.69 c GLOBAL bounds - >= 8543 @ 9.03069
14.43/15.71 c GLOBAL bounds - >= 8543 @ 9.04124
14.43/15.79 c GLOBAL bounds - >= 8543 @ 9.07251
14.54/15.80 c GLOBAL bounds - >= 8543 @ 9.07958
14.54/15.88 c GLOBAL bounds - >= 8543 @ 9.11767
14.64/15.90 c GLOBAL bounds - >= 8543 @ 9.1207
14.64/15.98 c GLOBAL bounds - >= 8543 @ 9.15524
14.64/16.00 c GLOBAL bounds - >= 8543 @ 9.16302
14.75/16.08 c GLOBAL bounds - >= 8543 @ 9.19631
14.75/16.09 c GLOBAL bounds - >= 8543 @ 9.20423
14.85/16.17 c GLOBAL bounds - >= 8543 @ 9.23833
14.85/16.19 c GLOBAL bounds - >= 8543 @ 9.24646
14.94/16.27 c GLOBAL bounds - >= 8543 @ 9.27915
14.94/16.28 c GLOBAL bounds - >= 8543 @ 9.28529
15.03/16.37 c GLOBAL bounds - >= 8543 @ 9.31832
15.13/16.46 c GLOBAL bounds - >= 8543 @ 9.35824
15.23/16.54 c GLOBAL bounds - >= 8543 @ 9.39389
15.43/16.72 c GLOBAL bounds - >= 8543 @ 9.50967
15.53/16.81 c GLOBAL bounds - >= 8543 @ 9.54023
15.74/17.04 c GLOBAL bounds - >= 8543 @ 9.72744
15.85/17.17 c GLOBAL bounds - >= 8543 @ 9.79371
16.13/17.40 c GLOBAL bounds - >= 8543 @ 9.97317
16.43/17.70 c #Conflicts: 1000 | #Constraints: 1286
16.43/17.70 c GLOBAL bounds - >= 8543 @ 10.1797
16.62/17.92 c GLOBAL bounds - >= 8543 @ 10.345
16.93/18.26 c GLOBAL bounds - >= 9225 @ 10.6808
17.03/18.31 c GLOBAL bounds - >= 9225 @ 10.7246
17.03/18.32 c GLOBAL bounds - >= 9225 @ 10.7304
17.13/18.41 c GLOBAL bounds - >= 9225 @ 10.7659
17.13/18.42 c GLOBAL bounds - >= 9225 @ 10.7691
17.23/18.50 c GLOBAL bounds - >= 9225 @ 10.8029
17.23/18.51 c GLOBAL bounds - >= 9225 @ 10.81
17.23/18.59 c GLOBAL bounds - >= 9225 @ 10.8392
17.33/18.60 c GLOBAL bounds - >= 9225 @ 10.8448
17.33/18.68 c GLOBAL bounds - >= 9225 @ 10.8638
17.33/18.69 c GLOBAL bounds - >= 9225 @ 10.8689
17.43/18.77 c GLOBAL bounds - >= 9225 @ 10.8943
17.43/18.79 c GLOBAL bounds - >= 9225 @ 10.9023
17.52/18.86 c GLOBAL bounds - >= 9225 @ 10.9358
17.52/18.88 c GLOBAL bounds - >= 9225 @ 10.9425
17.63/18.96 c GLOBAL bounds - >= 9225 @ 10.9665
17.63/18.97 c GLOBAL bounds - >= 9225 @ 10.9756
17.74/19.05 c GLOBAL bounds - >= 9225 @ 11.0065
17.74/19.06 c GLOBAL bounds - >= 9225 @ 11.0149
17.84/19.14 c GLOBAL bounds - >= 9225 @ 11.0411
17.84/19.16 c GLOBAL bounds - >= 9225 @ 11.0456
17.93/19.24 c GLOBAL bounds - >= 9225 @ 11.076
18.03/19.32 c GLOBAL bounds - >= 9225 @ 11.1023
18.13/19.40 c GLOBAL bounds - >= 9225 @ 11.1333
18.13/19.48 c GLOBAL bounds - >= 9225 @ 11.16
18.22/19.56 c GLOBAL bounds - >= 9225 @ 11.1925
18.32/19.64 c GLOBAL bounds - >= 9225 @ 11.2302
18.43/19.72 c GLOBAL bounds - >= 9225 @ 11.2596
18.53/19.80 c GLOBAL bounds - >= 9225 @ 11.294
18.53/19.89 c GLOBAL bounds - >= 9225 @ 11.3268
18.74/20.03 c GLOBAL bounds - >= 9225 @ 11.4162
18.84/20.14 c GLOBAL bounds - >= 9225 @ 11.4788
19.22/20.56 c GLOBAL bounds - >= 9225 @ 11.8337
19.83/21.13 c GLOBAL bounds - >= 9226 @ 12.3652
19.83/21.15 c GLOBAL bounds - >= 9226 @ 12.3743
19.83/21.16 c GLOBAL bounds - >= 9226 @ 12.377
19.83/21.17 c GLOBAL bounds - >= 9226 @ 12.3825
19.83/21.18 c GLOBAL bounds - >= 9226 @ 12.3895
19.83/21.19 c GLOBAL bounds - >= 9226 @ 12.4007
19.92/21.27 c GLOBAL bounds - >= 9226 @ 12.4298
19.92/21.29 c GLOBAL bounds - >= 9226 @ 12.4378
20.02/21.37 c GLOBAL bounds - >= 9226 @ 12.4677
20.02/21.38 c GLOBAL bounds - >= 9226 @ 12.4716
20.12/21.47 c GLOBAL bounds - >= 9226 @ 12.5026
20.12/21.48 c GLOBAL bounds - >= 9226 @ 12.5081
20.22/21.56 c GLOBAL bounds - >= 9226 @ 12.5353
20.22/21.57 c GLOBAL bounds - >= 9226 @ 12.5406
20.32/21.65 c GLOBAL bounds - >= 9226 @ 12.568
20.32/21.66 c GLOBAL bounds - >= 9226 @ 12.5712
20.42/21.75 c GLOBAL bounds - >= 9226 @ 12.6024
20.42/21.76 c GLOBAL bounds - >= 9226 @ 12.6104
20.52/21.84 c GLOBAL bounds - >= 9226 @ 12.6438
20.52/21.86 c GLOBAL bounds - >= 9226 @ 12.6527
20.62/21.94 c GLOBAL bounds - >= 9226 @ 12.6861
20.62/21.95 c GLOBAL bounds - >= 9226 @ 12.6933
20.73/22.04 c GLOBAL bounds - >= 9226 @ 12.7239
20.73/22.05 c GLOBAL bounds - >= 9226 @ 12.7311
20.84/22.13 c GLOBAL bounds - >= 9226 @ 12.7575
20.92/22.21 c GLOBAL bounds - >= 9226 @ 12.7854
20.92/22.29 c GLOBAL bounds - >= 9226 @ 12.8106
21.02/22.37 c GLOBAL bounds - >= 9226 @ 12.8428
21.11/22.45 c GLOBAL bounds - >= 9226 @ 12.8716
21.22/22.53 c GLOBAL bounds - >= 9226 @ 12.905
21.32/22.62 c GLOBAL bounds - >= 9226 @ 12.9463
21.42/22.72 c GLOBAL bounds - >= 9226 @ 13.0042
21.52/22.85 c GLOBAL bounds - >= 9226 @ 13.0873
21.62/22.94 c GLOBAL bounds - >= 9226 @ 13.1272
21.73/23.04 c GLOBAL bounds - >= 9226 @ 13.167
21.73/23.04 c GLOBAL bounds - >= 9226 @ 13.1673
21.73/23.05 c GLOBAL bounds - >= 9226 @ 13.1747
21.73/23.06 c GLOBAL bounds - >= 9226 @ 13.1771
21.73/23.07 c GLOBAL bounds - >= 9226 @ 13.1829
21.73/23.08 c GLOBAL bounds - >= 9226 @ 13.1846
21.73/23.10 c GLOBAL bounds - >= 9226 @ 13.1907
21.83/23.11 c GLOBAL bounds - >= 9226 @ 13.1952
21.83/23.12 c GLOBAL bounds - >= 9226 @ 13.1989
21.91/23.20 c GLOBAL bounds - >= 9226 @ 13.2279
21.91/23.22 c GLOBAL bounds - >= 9226 @ 13.2319
21.91/23.30 c GLOBAL bounds - >= 9226 @ 13.2576
22.02/23.31 c GLOBAL bounds - >= 9226 @ 13.2637
22.02/23.39 c GLOBAL bounds - >= 9226 @ 13.2895
22.12/23.40 c GLOBAL bounds - >= 9226 @ 13.2937
22.12/23.48 c GLOBAL bounds - >= 9226 @ 13.3159
22.12/23.49 c GLOBAL bounds - >= 9226 @ 13.3265
22.22/23.57 c GLOBAL bounds - >= 9226 @ 13.3656
22.22/23.59 c GLOBAL bounds - >= 9226 @ 13.3744
22.32/23.67 c GLOBAL bounds - >= 9226 @ 13.3937
22.32/23.68 c GLOBAL bounds - >= 9226 @ 13.4003
22.41/23.77 c GLOBAL bounds - >= 9226 @ 13.4392
22.41/23.78 c GLOBAL bounds - >= 9226 @ 13.4463
22.52/23.87 c GLOBAL bounds - >= 9226 @ 13.48
22.52/23.88 c GLOBAL bounds - >= 9226 @ 13.4911
22.62/23.97 c GLOBAL bounds - >= 9226 @ 13.5305
22.62/23.98 c GLOBAL bounds - >= 9226 @ 13.5392
22.73/24.07 c GLOBAL bounds - >= 9226 @ 13.5707
22.82/24.15 c GLOBAL bounds - >= 9226 @ 13.5989
22.92/24.23 c GLOBAL bounds - >= 9226 @ 13.6322
23.01/24.31 c GLOBAL bounds - >= 9226 @ 13.6733
23.01/24.39 c GLOBAL bounds - >= 9226 @ 13.6998
23.11/24.48 c GLOBAL bounds - >= 9226 @ 13.7365
23.22/24.56 c GLOBAL bounds - >= 9226 @ 13.7685
23.31/24.67 c GLOBAL bounds - >= 9226 @ 13.8224
24.91/26.21 c #Conflicts: 2000 | #Constraints: 2382
24.91/26.21 c INPROCESSING
24.91/26.21 c GARBAGE COLLECT
24.91/26.21 c GLOBAL bounds - >= 9226 @ 15.2583
26.01/27.30 c GLOBAL bounds - >= 9226 @ 16.2939
332.65/335.16 c #Conflicts: 3000 | #Constraints: 2343
332.65/335.16 c #Conflicts: 4000 | #Constraints: 3343
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 5000 | #Constraints: 2762
332.65/335.16 c #Conflicts: 6000 | #Constraints: 3762
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 7000 | #Constraints: 2771
332.65/335.16 c #Conflicts: 8000 | #Constraints: 3771
332.65/335.16 c #Conflicts: 9000 | #Constraints: 4771
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 10000 | #Constraints: 3478
332.65/335.16 c #Conflicts: 11000 | #Constraints: 4478
332.65/335.16 c #Conflicts: 12000 | #Constraints: 5478
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 13000 | #Constraints: 3937
332.65/335.16 c #Conflicts: 14000 | #Constraints: 4937
332.65/335.16 c #Conflicts: 15000 | #Constraints: 5937
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 16000 | #Constraints: 4162
332.65/335.16 c #Conflicts: 17000 | #Constraints: 5162
332.65/335.16 c #Conflicts: 18000 | #Constraints: 6162
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 19000 | #Constraints: 4170
332.65/335.16 c #Conflicts: 20000 | #Constraints: 5170
332.65/335.16 c #Conflicts: 21000 | #Constraints: 6170
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 22000 | #Constraints: 3989
332.65/335.16 c #Conflicts: 23000 | #Constraints: 4989
332.65/335.16 c #Conflicts: 24000 | #Constraints: 5989
332.65/335.16 c #Conflicts: 25000 | #Constraints: 6989
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 26000 | #Constraints: 4587
332.65/335.16 c #Conflicts: 27000 | #Constraints: 5587
332.65/335.16 c #Conflicts: 28000 | #Constraints: 6587
332.65/335.16 c #Conflicts: 29000 | #Constraints: 7587
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 30000 | #Constraints: 4991
332.65/335.16 c #Conflicts: 31000 | #Constraints: 5991
332.65/335.16 c #Conflicts: 32000 | #Constraints: 6991
332.65/335.16 c #Conflicts: 33000 | #Constraints: 7991
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 34000 | #Constraints: 5188
332.65/335.16 c #Conflicts: 35000 | #Constraints: 6188
332.65/335.16 c #Conflicts: 36000 | #Constraints: 7188
332.65/335.16 c #Conflicts: 37000 | #Constraints: 8188
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 38000 | #Constraints: 5189
332.65/335.16 c #Conflicts: 39000 | #Constraints: 6189
332.65/335.16 c #Conflicts: 40000 | #Constraints: 7189
332.65/335.16 c #Conflicts: 41000 | #Constraints: 8189
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 42000 | #Constraints: 4991
332.65/335.16 c #Conflicts: 43000 | #Constraints: 5991
332.65/335.16 c #Conflicts: 44000 | #Constraints: 6991
332.65/335.16 c #Conflicts: 45000 | #Constraints: 7991
332.65/335.16 c #Conflicts: 46000 | #Constraints: 8991
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 47000 | #Constraints: 5587
332.65/335.16 c #Conflicts: 48000 | #Constraints: 6587
332.65/335.16 c #Conflicts: 49000 | #Constraints: 7587
332.65/335.16 c #Conflicts: 50000 | #Constraints: 8587
332.65/335.16 c #Conflicts: 51000 | #Constraints: 9587
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 52000 | #Constraints: 5999
332.65/335.16 c #Conflicts: 53000 | #Constraints: 6999
332.65/335.16 c #Conflicts: 54000 | #Constraints: 7999
332.65/335.16 c #Conflicts: 55000 | #Constraints: 8999
332.65/335.16 c #Conflicts: 56000 | #Constraints: 9999
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 57000 | #Constraints: 6206
332.65/335.16 c #Conflicts: 58000 | #Constraints: 7206
332.65/335.16 c #Conflicts: 59000 | #Constraints: 8206
332.65/335.16 c #Conflicts: 60000 | #Constraints: 9206
332.65/335.16 c #Conflicts: 61000 | #Constraints: 10206
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 62000 | #Constraints: 6205
332.65/335.16 c #Conflicts: 63000 | #Constraints: 7205
332.65/335.16 c #Conflicts: 64000 | #Constraints: 8205
332.65/335.16 c #Conflicts: 65000 | #Constraints: 9205
332.65/335.16 c #Conflicts: 66000 | #Constraints: 10205
332.65/335.16 c INPROCESSING
332.65/335.16 c GARBAGE COLLECT
332.65/335.16 c #Conflicts: 67000 | #Constraints: 6004
332.65/335.16 c #Conflicts: 68000 | #Constraints: 7004
332.65/335.16 c #Conflicts: 69000 | #Constraints: 8004
332.65/335.16 c #Conflicts: 70000 | #Constraints: 9004
373.80/376.48 c #Conflicts: 71000 | #Constraints: 10004
373.80/376.48 c #Conflicts: 72000 | #Constraints: 11004
373.80/376.48 c INPROCESSING
373.80/376.48 c GARBAGE COLLECT
373.80/376.48 c #Conflicts: 73000 | #Constraints: 6612
373.80/376.48 c #Conflicts: 74000 | #Constraints: 7612
373.80/376.48 c #Conflicts: 75000 | #Constraints: 8612
373.80/376.48 c #Conflicts: 76000 | #Constraints: 9612
373.80/376.48 c #Conflicts: 77000 | #Constraints: 10612
373.80/376.48 c #Conflicts: 78000 | #Constraints: 11612
373.80/376.48 c INPROCESSING
373.80/376.48 c GARBAGE COLLECT
373.80/376.48 c #Conflicts: 79000 | #Constraints: 7014
373.80/376.48 c GLOBAL bounds - >= 9227 @ 358.557
373.91/376.50 c GLOBAL bounds - >= 9227 @ 358.57
373.91/376.51 c GLOBAL bounds - >= 9227 @ 358.575
373.91/376.53 c GLOBAL bounds - >= 9227 @ 358.581
373.91/376.54 c GLOBAL bounds - >= 9227 @ 358.586
374.00/376.68 c GLOBAL bounds - >= 9227 @ 358.68
374.00/376.69 c GLOBAL bounds - >= 9227 @ 358.685
374.20/376.85 c GLOBAL bounds - >= 9227 @ 358.791
374.20/376.87 c GLOBAL bounds - >= 9227 @ 358.794
374.31/376.95 c GLOBAL bounds - >= 9227 @ 358.824
374.31/376.96 c GLOBAL bounds - >= 9227 @ 358.831
374.42/377.04 c GLOBAL bounds - >= 9227 @ 358.861
374.42/377.05 c GLOBAL bounds - >= 9227 @ 358.869
374.51/377.13 c GLOBAL bounds - >= 9227 @ 358.897
374.51/377.14 c GLOBAL bounds - >= 9227 @ 358.901
374.60/377.22 c GLOBAL bounds - >= 9227 @ 358.924
374.60/377.24 c GLOBAL bounds - >= 9227 @ 358.929
374.70/377.32 c GLOBAL bounds - >= 9227 @ 358.957
374.70/377.33 c GLOBAL bounds - >= 9227 @ 358.964
374.80/377.41 c GLOBAL bounds - >= 9227 @ 358.998
374.80/377.42 c GLOBAL bounds - >= 9227 @ 359.002
374.90/377.50 c GLOBAL bounds - >= 9227 @ 359.031
374.90/377.52 c GLOBAL bounds - >= 9227 @ 359.039
374.90/377.60 c GLOBAL bounds - >= 9227 @ 359.07
375.00/377.68 c GLOBAL bounds - >= 9227 @ 359.098
375.10/377.76 c GLOBAL bounds - >= 9227 @ 359.126
375.20/377.84 c GLOBAL bounds - >= 9227 @ 359.149
375.30/377.92 c GLOBAL bounds - >= 9227 @ 359.181
375.30/378.00 c GLOBAL bounds - >= 9227 @ 359.215
375.42/378.08 c GLOBAL bounds - >= 9227 @ 359.248
375.51/378.18 c GLOBAL bounds - >= 9227 @ 359.292
375.70/378.39 c GLOBAL bounds - >= 9227 @ 359.453
525.64/528.82 c #Conflicts: 80000 | #Constraints: 8026
525.64/528.82 c #Conflicts: 81000 | #Constraints: 9026
525.64/528.82 c #Conflicts: 82000 | #Constraints: 10026
525.64/528.82 c #Conflicts: 83000 | #Constraints: 11026
525.64/528.82 c #Conflicts: 84000 | #Constraints: 12026
525.64/528.82 c INPROCESSING
525.64/528.82 c GARBAGE COLLECT
525.64/528.82 c #Conflicts: 85000 | #Constraints: 7207
525.64/528.82 c #Conflicts: 86000 | #Constraints: 8207
525.64/528.82 c #Conflicts: 87000 | #Constraints: 9207
525.64/528.82 c #Conflicts: 88000 | #Constraints: 10207
525.64/528.82 c #Conflicts: 89000 | #Constraints: 11207
525.64/528.82 c #Conflicts: 90000 | #Constraints: 12207
525.64/528.82 c INPROCESSING
525.64/528.82 c GARBAGE COLLECT
525.64/528.82 c #Conflicts: 91000 | #Constraints: 7206
525.64/528.82 c #Conflicts: 92000 | #Constraints: 8206
525.64/528.82 c #Conflicts: 93000 | #Constraints: 9206
525.64/528.82 c #Conflicts: 94000 | #Constraints: 10206
525.64/528.82 c #Conflicts: 95000 | #Constraints: 11206
525.64/528.82 c #Conflicts: 96000 | #Constraints: 12206
525.64/528.82 c INPROCESSING
525.64/528.82 c GARBAGE COLLECT
525.64/528.82 c #Conflicts: 97000 | #Constraints: 7022
525.64/528.82 c #Conflicts: 98000 | #Constraints: 8022
525.64/528.82 c #Conflicts: 99000 | #Constraints: 9022
525.64/528.82 c #Conflicts: 100000 | #Constraints: 10022
525.64/528.82 c #Conflicts: 101000 | #Constraints: 11022
525.64/528.82 c #Conflicts: 102000 | #Constraints: 12022
525.64/528.82 c #Conflicts: 103000 | #Constraints: 13022
525.64/528.82 c INPROCESSING
525.64/528.82 c GARBAGE COLLECT
525.64/528.82 c #Conflicts: 104000 | #Constraints: 7617
525.64/528.82 c #Conflicts: 105000 | #Constraints: 8617
525.64/528.82 c #Conflicts: 106000 | #Constraints: 9617
525.64/528.82 c #Conflicts: 107000 | #Constraints: 10617
525.64/528.82 c #Conflicts: 108000 | #Constraints: 11617
525.64/528.82 c #Conflicts: 109000 | #Constraints: 12617
525.64/528.82 c #Conflicts: 110000 | #Constraints: 13617
525.64/528.82 c INPROCESSING
525.64/528.82 c GARBAGE COLLECT
525.64/528.82 c GLOBAL bounds - >= 9229 @ 507.048
525.64/528.84 c GLOBAL bounds - >= 9229 @ 507.062
525.64/528.85 c GLOBAL bounds - >= 9229 @ 507.067
525.64/528.87 c GLOBAL bounds - >= 9229 @ 507.081
525.74/528.95 c GLOBAL bounds - >= 9229 @ 507.111
525.74/528.97 c GLOBAL bounds - >= 9229 @ 507.12
525.85/529.05 c GLOBAL bounds - >= 9229 @ 507.147
525.85/529.06 c GLOBAL bounds - >= 9229 @ 507.152
525.95/529.14 c GLOBAL bounds - >= 9229 @ 507.186
525.95/529.16 c GLOBAL bounds - >= 9229 @ 507.191
526.04/529.24 c GLOBAL bounds - >= 9229 @ 507.229
526.04/529.26 c GLOBAL bounds - >= 9229 @ 507.236
526.14/529.37 c GLOBAL bounds - >= 9229 @ 507.3
526.14/529.38 c GLOBAL bounds - >= 9229 @ 507.308
526.23/529.48 c GLOBAL bounds - >= 9229 @ 507.351
526.23/529.49 c GLOBAL bounds - >= 9229 @ 507.355
526.34/529.57 c GLOBAL bounds - >= 9229 @ 507.397
526.34/529.59 c GLOBAL bounds - >= 9229 @ 507.401
526.43/529.69 c GLOBAL bounds - >= 9229 @ 507.457
526.54/529.70 c GLOBAL bounds - >= 9229 @ 507.464
526.54/529.78 c GLOBAL bounds - >= 9229 @ 507.496
526.54/529.79 c GLOBAL bounds - >= 9229 @ 507.502
526.64/529.88 c GLOBAL bounds - >= 9229 @ 507.547
528.03/531.23 c GLOBAL bounds - >= 9229 @ 508.818
528.64/531.85 c GLOBAL bounds - >= 9229 @ 509.37
528.64/531.85 c GLOBAL bounds - >= 9229 @ 509.371
528.64/531.87 c GLOBAL bounds - >= 9229 @ 509.376
528.64/531.88 c GLOBAL bounds - >= 9229 @ 509.382
528.64/531.89 c GLOBAL bounds - >= 9229 @ 509.385
529.53/532.74 c GLOBAL bounds - >= 9229 @ 510.159
529.53/532.75 c GLOBAL bounds - >= 9229 @ 510.167
529.63/532.83 c GLOBAL bounds - >= 9229 @ 510.187
529.63/532.84 c GLOBAL bounds - >= 9229 @ 510.194
529.72/532.92 c GLOBAL bounds - >= 9229 @ 510.225
529.72/532.94 c GLOBAL bounds - >= 9229 @ 510.234
529.84/533.02 c GLOBAL bounds - >= 9229 @ 510.272
529.84/533.03 c GLOBAL bounds - >= 9229 @ 510.279
529.94/533.12 c GLOBAL bounds - >= 9229 @ 510.31
529.94/533.13 c GLOBAL bounds - >= 9229 @ 510.318
530.03/533.21 c GLOBAL bounds - >= 9229 @ 510.347
530.03/533.22 c GLOBAL bounds - >= 9229 @ 510.352
530.13/533.30 c GLOBAL bounds - >= 9229 @ 510.384
530.13/533.31 c GLOBAL bounds - >= 9229 @ 510.393
530.13/533.39 c GLOBAL bounds - >= 9229 @ 510.421
530.23/533.41 c GLOBAL bounds - >= 9229 @ 510.429
530.23/533.48 c GLOBAL bounds - >= 9229 @ 510.453
530.33/533.50 c GLOBAL bounds - >= 9229 @ 510.463
530.33/533.58 c GLOBAL bounds - >= 9229 @ 510.494
530.42/533.66 c GLOBAL bounds - >= 9229 @ 510.528
530.52/533.75 c GLOBAL bounds - >= 9229 @ 510.561
530.62/533.83 c GLOBAL bounds - >= 9229 @ 510.596
530.73/533.92 c GLOBAL bounds - >= 9229 @ 510.625
530.73/534.00 c GLOBAL bounds - >= 9229 @ 510.652
530.94/534.17 c #Conflicts: 111000 | #Constraints: 8038
530.94/534.17 c GLOBAL bounds - >= 9229 @ 510.762
531.13/534.38 c GLOBAL bounds - >= 9229 @ 510.924
531.22/534.47 c GLOBAL bounds - >= 9229 @ 510.971
531.22/534.47 c GLOBAL bounds - >= 9229 @ 510.972
531.22/534.49 c GLOBAL bounds - >= 9229 @ 510.983
531.32/534.50 c GLOBAL bounds - >= 9229 @ 510.986
531.32/534.51 c GLOBAL bounds - >= 9229 @ 510.992
531.32/534.52 c GLOBAL bounds - >= 9229 @ 510.998
531.32/534.54 c GLOBAL bounds - >= 9229 @ 511.002
531.43/534.62 c GLOBAL bounds - >= 9229 @ 511.039
531.43/534.64 c GLOBAL bounds - >= 9229 @ 511.043
531.52/534.72 c GLOBAL bounds - >= 9229 @ 511.084
531.52/534.73 c GLOBAL bounds - >= 9229 @ 511.09
531.62/534.82 c GLOBAL bounds - >= 9229 @ 511.121
531.62/534.83 c GLOBAL bounds - >= 9229 @ 511.125
531.72/534.91 c GLOBAL bounds - >= 9229 @ 511.158
531.72/534.92 c GLOBAL bounds - >= 9229 @ 511.167
531.72/535.00 c GLOBAL bounds - >= 9229 @ 511.198
531.84/535.02 c GLOBAL bounds - >= 9229 @ 511.204
531.84/535.10 c GLOBAL bounds - >= 9229 @ 511.231
531.94/535.11 c GLOBAL bounds - >= 9229 @ 511.238
532.02/535.20 c GLOBAL bounds - >= 9229 @ 511.272
532.02/535.21 c GLOBAL bounds - >= 9229 @ 511.28
532.12/535.30 c GLOBAL bounds - >= 9229 @ 511.313
532.12/535.31 c GLOBAL bounds - >= 9229 @ 511.321
532.12/535.40 c GLOBAL bounds - >= 9229 @ 511.352
532.22/535.41 c GLOBAL bounds - >= 9229 @ 511.359
532.22/535.49 c GLOBAL bounds - >= 9229 @ 511.397
532.32/535.58 c GLOBAL bounds - >= 9229 @ 511.437
532.42/535.67 c GLOBAL bounds - >= 9229 @ 511.478
532.52/535.76 c GLOBAL bounds - >= 9229 @ 511.518
532.62/535.85 c GLOBAL bounds - >= 9229 @ 511.554
532.72/535.94 c GLOBAL bounds - >= 9229 @ 511.584
532.83/536.03 c GLOBAL bounds - >= 9229 @ 511.629
532.94/536.13 c GLOBAL bounds - >= 9229 @ 511.678
533.02/536.22 c GLOBAL bounds - >= 9229 @ 511.726
533.22/536.47 c GLOBAL bounds - >= 9229 @ 511.915
533.42/536.61 c GLOBAL bounds - >= 9229 @ 512.003
533.42/536.61 c GLOBAL bounds - >= 9229 @ 512.004
533.42/536.62 c GLOBAL bounds - >= 9229 @ 512.013
533.42/536.64 c GLOBAL bounds - >= 9229 @ 512.02
533.42/536.65 c GLOBAL bounds - >= 9229 @ 512.028
533.42/536.66 c GLOBAL bounds - >= 9229 @ 512.035
533.42/536.67 c GLOBAL bounds - >= 9229 @ 512.042
533.42/536.69 c GLOBAL bounds - >= 9229 @ 512.05
533.52/536.70 c GLOBAL bounds - >= 9229 @ 512.054
533.61/536.85 c GLOBAL bounds - >= 9229 @ 512.155
533.61/536.87 c GLOBAL bounds - >= 9229 @ 512.164
533.72/536.95 c GLOBAL bounds - >= 9229 @ 512.195
533.72/536.96 c GLOBAL bounds - >= 9229 @ 512.201
533.83/537.04 c GLOBAL bounds - >= 9229 @ 512.229
533.83/537.06 c GLOBAL bounds - >= 9229 @ 512.235
533.93/537.14 c GLOBAL bounds - >= 9229 @ 512.266
533.93/537.15 c GLOBAL bounds - >= 9229 @ 512.271
534.02/537.23 c GLOBAL bounds - >= 9229 @ 512.292
534.02/537.25 c GLOBAL bounds - >= 9229 @ 512.298
534.12/537.33 c GLOBAL bounds - >= 9229 @ 512.33
534.12/537.34 c GLOBAL bounds - >= 9229 @ 512.335
534.22/537.42 c GLOBAL bounds - >= 9229 @ 512.359
534.22/537.43 c GLOBAL bounds - >= 9229 @ 512.366
534.32/537.51 c GLOBAL bounds - >= 9229 @ 512.399
534.32/537.53 c GLOBAL bounds - >= 9229 @ 512.406
534.42/537.61 c GLOBAL bounds - >= 9229 @ 512.44
534.42/537.62 c GLOBAL bounds - >= 9229 @ 512.446
534.52/537.71 c GLOBAL bounds - >= 9229 @ 512.479
534.52/537.79 c GLOBAL bounds - >= 9229 @ 512.509
534.62/537.88 c GLOBAL bounds - >= 9229 @ 512.542
534.72/537.96 c GLOBAL bounds - >= 9229 @ 512.578
534.83/538.05 c GLOBAL bounds - >= 9229 @ 512.613
534.93/538.14 c GLOBAL bounds - >= 9229 @ 512.644
535.02/538.23 c GLOBAL bounds - >= 9229 @ 512.681
535.11/538.31 c GLOBAL bounds - >= 9229 @ 512.722
535.21/538.41 c GLOBAL bounds - >= 9229 @ 512.768
535.31/538.52 c GLOBAL bounds - >= 9229 @ 512.834
535.41/538.62 c GLOBAL bounds - >= 9229 @ 512.883
535.62/538.82 c GLOBAL bounds - >= 9229 @ 513.029
536.11/539.39 c GLOBAL bounds - >= 9229 @ 513.534
536.11/539.39 c GLOBAL bounds - >= 9229 @ 513.535
536.21/539.41 c GLOBAL bounds - >= 9229 @ 513.545
536.21/539.42 c GLOBAL bounds - >= 9229 @ 513.548
536.21/539.43 c GLOBAL bounds - >= 9229 @ 513.551
536.21/539.44 c GLOBAL bounds - >= 9229 @ 513.556
536.21/539.45 c GLOBAL bounds - >= 9229 @ 513.559
536.21/539.46 c GLOBAL bounds - >= 9229 @ 513.562
536.21/539.47 c GLOBAL bounds - >= 9229 @ 513.568
536.21/539.48 c GLOBAL bounds - >= 9229 @ 513.57
536.21/539.50 c GLOBAL bounds - >= 9229 @ 513.577
536.32/539.58 c GLOBAL bounds - >= 9229 @ 513.614
536.32/539.59 c GLOBAL bounds - >= 9229 @ 513.619
536.41/539.67 c GLOBAL bounds - >= 9229 @ 513.651
536.41/539.68 c GLOBAL bounds - >= 9229 @ 513.654
536.51/539.76 c GLOBAL bounds - >= 9229 @ 513.687
536.51/539.77 c GLOBAL bounds - >= 9229 @ 513.697
536.61/539.85 c GLOBAL bounds - >= 9229 @ 513.727
536.61/539.87 c GLOBAL bounds - >= 9229 @ 513.733
536.83/540.08 c GLOBAL bounds - >= 9229 @ 513.899
536.83/540.09 c GLOBAL bounds - >= 9229 @ 513.904
536.92/540.17 c GLOBAL bounds - >= 9229 @ 513.929
536.92/540.19 c GLOBAL bounds - >= 9229 @ 513.937
537.11/540.34 c GLOBAL bounds - >= 9229 @ 514.039
537.11/540.36 c GLOBAL bounds - >= 9229 @ 514.051
537.21/540.44 c GLOBAL bounds - >= 9229 @ 514.091
537.21/540.47 c GLOBAL bounds - >= 9229 @ 514.101
537.31/540.55 c GLOBAL bounds - >= 9229 @ 514.143
537.31/540.58 c GLOBAL bounds - >= 9229 @ 514.158
537.41/540.67 c GLOBAL bounds - >= 9229 @ 514.199
537.51/540.75 c GLOBAL bounds - >= 9229 @ 514.235
537.60/540.84 c GLOBAL bounds - >= 9229 @ 514.269
537.71/540.93 c GLOBAL bounds - >= 9229 @ 514.31
537.83/541.01 c GLOBAL bounds - >= 9229 @ 514.35
537.83/541.10 c GLOBAL bounds - >= 9229 @ 514.383
537.92/541.18 c GLOBAL bounds - >= 9229 @ 514.419
538.01/541.27 c GLOBAL bounds - >= 9229 @ 514.467
538.10/541.36 c GLOBAL bounds - >= 9229 @ 514.509
538.41/541.66 c GLOBAL bounds - >= 9229 @ 514.763
673.05/676.87 c #Conflicts: 112000 | #Constraints: 9122
673.05/676.87 c #Conflicts: 113000 | #Constraints: 10122
673.05/676.87 c #Conflicts: 114000 | #Constraints: 11122
673.05/676.87 c #Conflicts: 115000 | #Constraints: 12122
673.05/676.87 c #Conflicts: 116000 | #Constraints: 13122
673.05/676.87 c #Conflicts: 117000 | #Constraints: 14122
673.05/676.87 c INPROCESSING
673.05/676.87 c GARBAGE COLLECT
673.05/676.87 c #Conflicts: 118000 | #Constraints: 8305
673.05/676.87 c #Conflicts: 119000 | #Constraints: 9305
673.05/676.87 c #Conflicts: 120000 | #Constraints: 10305
673.05/676.87 c #Conflicts: 121000 | #Constraints: 11305
673.05/676.87 c #Conflicts: 122000 | #Constraints: 12305
673.05/676.87 c #Conflicts: 123000 | #Constraints: 13305
673.05/676.87 c #Conflicts: 124000 | #Constraints: 14305
673.05/676.87 c INPROCESSING
673.05/676.87 c GARBAGE COLLECT
673.05/676.87 c #Conflicts: 125000 | #Constraints: 8305
673.05/676.87 c #Conflicts: 126000 | #Constraints: 9305
673.05/676.87 c #Conflicts: 127000 | #Constraints: 10305
673.05/676.87 c #Conflicts: 128000 | #Constraints: 11305
673.05/676.87 c #Conflicts: 129000 | #Constraints: 12305
673.05/676.87 c #Conflicts: 130000 | #Constraints: 13305
673.05/676.87 c #Conflicts: 131000 | #Constraints: 14305
673.05/676.87 c INPROCESSING
673.05/676.87 c GARBAGE COLLECT
673.05/676.87 c #Conflicts: 132000 | #Constraints: 8097
673.05/676.87 c #Conflicts: 133000 | #Constraints: 9097
673.05/676.87 c #Conflicts: 134000 | #Constraints: 10097
673.05/676.87 c #Conflicts: 135000 | #Constraints: 11097
673.05/676.87 c #Conflicts: 136000 | #Constraints: 12097
673.05/676.87 c #Conflicts: 137000 | #Constraints: 13097
673.05/676.87 c #Conflicts: 138000 | #Constraints: 14097
673.05/676.87 c #Conflicts: 139000 | #Constraints: 15097
673.05/676.87 c INPROCESSING
673.05/676.87 c GARBAGE COLLECT
673.05/676.87 c #Conflicts: 140000 | #Constraints: 8702
673.05/676.87 c #Conflicts: 141000 | #Constraints: 9702
673.05/676.87 c #Conflicts: 142000 | #Constraints: 10702
673.05/676.87 c #Conflicts: 143000 | #Constraints: 11702
673.05/676.87 c #Conflicts: 144000 | #Constraints: 12702
673.05/676.87 c #Conflicts: 145000 | #Constraints: 13702
673.05/676.87 c #Conflicts: 146000 | #Constraints: 14702
673.05/676.87 c #Conflicts: 147000 | #Constraints: 15702
673.05/676.87 c INPROCESSING
673.05/676.87 c GARBAGE COLLECT
673.05/676.87 c GLOBAL bounds - >= 9230 @ 646.885
673.05/676.89 c GLOBAL bounds - >= 9230 @ 646.898
673.15/676.90 c GLOBAL bounds - >= 9230 @ 646.9
673.15/676.91 c GLOBAL bounds - >= 9230 @ 646.904
673.15/676.93 c GLOBAL bounds - >= 9230 @ 646.912
673.15/676.94 c GLOBAL bounds - >= 9230 @ 646.924
673.36/677.14 c GLOBAL bounds - >= 9230 @ 647.085
673.36/677.16 c GLOBAL bounds - >= 9230 @ 647.09
673.54/677.35 c GLOBAL bounds - >= 9230 @ 647.225
673.54/677.36 c GLOBAL bounds - >= 9230 @ 647.233
673.84/677.63 c GLOBAL bounds - >= 9230 @ 647.458
673.84/677.65 c GLOBAL bounds - >= 9230 @ 647.463
673.95/677.74 c GLOBAL bounds - >= 9230 @ 647.501
673.95/677.75 c GLOBAL bounds - >= 9230 @ 647.508
674.05/677.83 c GLOBAL bounds - >= 9230 @ 647.532
674.05/677.85 c GLOBAL bounds - >= 9230 @ 647.537
674.14/677.93 c GLOBAL bounds - >= 9230 @ 647.565
674.14/677.94 c GLOBAL bounds - >= 9230 @ 647.572
674.26/678.02 c GLOBAL bounds - >= 9230 @ 647.608
674.26/678.04 c GLOBAL bounds - >= 9230 @ 647.617
674.36/678.12 c GLOBAL bounds - >= 9230 @ 647.642
674.36/678.13 c GLOBAL bounds - >= 9230 @ 647.651
674.45/678.21 c GLOBAL bounds - >= 9230 @ 647.675
674.45/678.22 c GLOBAL bounds - >= 9230 @ 647.681
674.55/678.30 c GLOBAL bounds - >= 9230 @ 647.711
674.55/678.38 c GLOBAL bounds - >= 9230 @ 647.754
674.64/678.46 c GLOBAL bounds - >= 9230 @ 647.789
674.74/678.54 c GLOBAL bounds - >= 9230 @ 647.822
674.84/678.62 c GLOBAL bounds - >= 9230 @ 647.856
674.94/678.71 c GLOBAL bounds - >= 9230 @ 647.897
675.04/678.81 c GLOBAL bounds - >= 9230 @ 647.964
675.15/678.92 c GLOBAL bounds - >= 9230 @ 648.025
675.54/679.30 c GLOBAL bounds - >= 9230 @ 648.361
775.22/779.32 c #Conflicts: 148000 | #Constraints: 9120
775.22/779.32 c #Conflicts: 149000 | #Constraints: 10120
775.22/779.32 c #Conflicts: 150000 | #Constraints: 11120
775.22/779.32 c #Conflicts: 151000 | #Constraints: 12120
775.22/779.32 c #Conflicts: 152000 | #Constraints: 13120
775.22/779.32 c #Conflicts: 153000 | #Constraints: 14120
775.22/779.32 c #Conflicts: 154000 | #Constraints: 15120
775.22/779.32 c #Conflicts: 155000 | #Constraints: 16120
775.22/779.32 c INPROCESSING
775.22/779.32 c GARBAGE COLLECT
775.22/779.32 c #Conflicts: 156000 | #Constraints: 9321
775.22/779.32 c #Conflicts: 157000 | #Constraints: 10321
775.22/779.32 c #Conflicts: 158000 | #Constraints: 11321
775.22/779.32 c #Conflicts: 159000 | #Constraints: 12321
775.22/779.32 c #Conflicts: 160000 | #Constraints: 13321
775.22/779.32 c #Conflicts: 161000 | #Constraints: 14321
775.22/779.32 c #Conflicts: 162000 | #Constraints: 15321
775.22/779.32 c #Conflicts: 163000 | #Constraints: 16321
775.22/779.32 c INPROCESSING
775.22/779.32 c GARBAGE COLLECT
775.22/779.32 c #Conflicts: 164000 | #Constraints: 9329
775.22/779.32 c #Conflicts: 165000 | #Constraints: 10329
775.22/779.32 c #Conflicts: 166000 | #Constraints: 11329
775.22/779.32 c #Conflicts: 167000 | #Constraints: 12329
775.22/779.32 c #Conflicts: 168000 | #Constraints: 13329
775.22/779.32 c #Conflicts: 169000 | #Constraints: 14329
775.22/779.32 c #Conflicts: 170000 | #Constraints: 15329
775.22/779.32 c #Conflicts: 171000 | #Constraints: 16329
775.22/779.32 c INPROCESSING
775.22/779.32 c GARBAGE COLLECT
775.22/779.32 c #Conflicts: 172000 | #Constraints: 9122
775.22/779.32 c #Conflicts: 173000 | #Constraints: 10122
775.22/779.32 c #Conflicts: 174000 | #Constraints: 11122
775.22/779.32 c #Conflicts: 175000 | #Constraints: 12122
775.22/779.32 c #Conflicts: 176000 | #Constraints: 13122
775.22/779.32 c #Conflicts: 177000 | #Constraints: 14122
775.22/779.32 c GLOBAL bounds - >= 9231 @ 746.556
775.22/779.34 c GLOBAL bounds - >= 9231 @ 746.566
775.22/779.35 c GLOBAL bounds - >= 9231 @ 746.574
775.22/779.36 c GLOBAL bounds - >= 9231 @ 746.584
775.22/779.38 c GLOBAL bounds - >= 9231 @ 746.594
775.22/779.39 c GLOBAL bounds - >= 9231 @ 746.602
775.82/779.90 c GLOBAL bounds - >= 9231 @ 747.049
775.82/779.91 c GLOBAL bounds - >= 9231 @ 747.057
775.82/780.00 c GLOBAL bounds - >= 9231 @ 747.091
775.92/780.01 c GLOBAL bounds - >= 9231 @ 747.097
776.03/780.11 c GLOBAL bounds - >= 9231 @ 747.142
776.03/780.12 c GLOBAL bounds - >= 9231 @ 747.148
776.11/780.20 c GLOBAL bounds - >= 9231 @ 747.179
776.11/780.22 c GLOBAL bounds - >= 9231 @ 747.182
776.11/780.30 c GLOBAL bounds - >= 9231 @ 747.207
776.22/780.31 c GLOBAL bounds - >= 9231 @ 747.211
776.22/780.39 c GLOBAL bounds - >= 9231 @ 747.237
776.32/780.41 c GLOBAL bounds - >= 9231 @ 747.242
776.32/780.49 c GLOBAL bounds - >= 9231 @ 747.273
776.42/780.51 c GLOBAL bounds - >= 9231 @ 747.287
776.42/780.59 c GLOBAL bounds - >= 9231 @ 747.319
776.52/780.61 c GLOBAL bounds - >= 9231 @ 747.33
776.52/780.69 c GLOBAL bounds - >= 9231 @ 747.355
776.61/780.71 c GLOBAL bounds - >= 9231 @ 747.361
776.61/780.80 c GLOBAL bounds - >= 9231 @ 747.394
776.71/780.87 c GLOBAL bounds - >= 9231 @ 747.423
776.82/780.95 c GLOBAL bounds - >= 9231 @ 747.462
776.92/781.02 c GLOBAL bounds - >= 9231 @ 747.49
776.92/781.10 c GLOBAL bounds - >= 9231 @ 747.527
777.03/781.18 c GLOBAL bounds - >= 9231 @ 747.559
777.12/781.28 c GLOBAL bounds - >= 9231 @ 747.614
777.31/781.45 c GLOBAL bounds - >= 9231 @ 747.744
785.60/789.84 c #Conflicts: 178000 | #Constraints: 15138
785.60/789.84 c #Conflicts: 179000 | #Constraints: 16138
785.60/789.84 c GLOBAL bounds - >= 9231 @ 755.776
864.64/869.17 c #Conflicts: 180000 | #Constraints: 17138
864.64/869.17 c INPROCESSING
864.64/869.17 c GARBAGE COLLECT
864.64/869.17 c #Conflicts: 181000 | #Constraints: 9730
864.64/869.17 c #Conflicts: 182000 | #Constraints: 10730
864.64/869.17 c #Conflicts: 183000 | #Constraints: 11730
864.64/869.17 c #Conflicts: 184000 | #Constraints: 12730
864.64/869.17 c #Conflicts: 185000 | #Constraints: 13730
864.64/869.17 c #Conflicts: 186000 | #Constraints: 14730
864.64/869.17 c #Conflicts: 187000 | #Constraints: 15730
864.64/869.17 c #Conflicts: 188000 | #Constraints: 16730
864.64/869.17 c #Conflicts: 189000 | #Constraints: 17730
864.64/869.17 c INPROCESSING
864.64/869.17 c GARBAGE COLLECT
864.64/869.17 c #Conflicts: 190000 | #Constraints: 10144
864.64/869.17 c #Conflicts: 191000 | #Constraints: 11144
864.64/869.17 c #Conflicts: 192000 | #Constraints: 12144
864.64/869.17 c #Conflicts: 193000 | #Constraints: 13144
864.64/869.17 c #Conflicts: 194000 | #Constraints: 14144
864.64/869.17 c #Conflicts: 195000 | #Constraints: 15144
864.64/869.17 c #Conflicts: 196000 | #Constraints: 16144
864.64/869.17 c #Conflicts: 197000 | #Constraints: 17144
864.64/869.17 c #Conflicts: 198000 | #Constraints: 18144
864.64/869.17 c INPROCESSING
864.64/869.17 c GARBAGE COLLECT
864.64/869.17 c #Conflicts: 199000 | #Constraints: 10337
864.64/869.17 c #Conflicts: 200000 | #Constraints: 11337
864.64/869.17 c #Conflicts: 201000 | #Constraints: 12337
864.64/869.17 c GLOBAL bounds - >= 9232 @ 833.45
864.64/869.19 c GLOBAL bounds - >= 9232 @ 833.466
864.73/869.20 c GLOBAL bounds - >= 9232 @ 833.472
864.73/869.21 c GLOBAL bounds - >= 9232 @ 833.476
864.73/869.23 c GLOBAL bounds - >= 9232 @ 833.482
864.73/869.24 c GLOBAL bounds - >= 9232 @ 833.488
864.92/869.41 c GLOBAL bounds - >= 9232 @ 833.609
864.92/869.42 c GLOBAL bounds - >= 9232 @ 833.616
865.03/869.50 c GLOBAL bounds - >= 9232 @ 833.651
865.03/869.51 c GLOBAL bounds - >= 9232 @ 833.658
865.03/869.59 c GLOBAL bounds - >= 9232 @ 833.686
865.13/869.61 c GLOBAL bounds - >= 9232 @ 833.691
865.13/869.69 c GLOBAL bounds - >= 9232 @ 833.724
865.23/869.70 c GLOBAL bounds - >= 9232 @ 833.729
865.23/869.78 c GLOBAL bounds - >= 9232 @ 833.765
865.23/869.79 c GLOBAL bounds - >= 9232 @ 833.772
865.32/869.87 c GLOBAL bounds - >= 9232 @ 833.803
865.32/869.88 c GLOBAL bounds - >= 9232 @ 833.809
865.42/869.99 c GLOBAL bounds - >= 9232 @ 833.865
865.42/870.00 c GLOBAL bounds - >= 9232 @ 833.871
865.53/870.08 c GLOBAL bounds - >= 9232 @ 833.903
865.53/870.10 c GLOBAL bounds - >= 9232 @ 833.908
865.63/870.18 c GLOBAL bounds - >= 9232 @ 833.938
865.72/870.20 c GLOBAL bounds - >= 9232 @ 833.944
865.72/870.28 c GLOBAL bounds - >= 9232 @ 833.977
865.82/870.37 c GLOBAL bounds - >= 9232 @ 834.01
865.92/870.45 c GLOBAL bounds - >= 9232 @ 834.039
866.02/870.54 c GLOBAL bounds - >= 9232 @ 834.073
866.13/870.64 c GLOBAL bounds - >= 9232 @ 834.123
866.22/870.74 c GLOBAL bounds - >= 9232 @ 834.174
866.33/870.84 c GLOBAL bounds - >= 9232 @ 834.23
866.42/870.96 c GLOBAL bounds - >= 9232 @ 834.301
866.72/871.27 c GLOBAL bounds - >= 9232 @ 834.569
868.02/872.52 c GLOBAL bounds - >= 9232 @ 835.763
1182.71/1188.55 c #Conflicts: 202000 | #Constraints: 13362
1182.71/1188.55 c #Conflicts: 203000 | #Constraints: 14362
1182.71/1188.55 c #Conflicts: 204000 | #Constraints: 15362
1182.71/1188.55 c #Conflicts: 205000 | #Constraints: 16362
1182.71/1188.55 c #Conflicts: 206000 | #Constraints: 17362
1182.71/1188.55 c #Conflicts: 207000 | #Constraints: 18362
1182.71/1188.55 c INPROCESSING
1182.71/1188.55 c GARBAGE COLLECT
1182.71/1188.55 c #Conflicts: 208000 | #Constraints: 10356
1182.71/1188.55 c #Conflicts: 209000 | #Constraints: 11356
1182.71/1188.55 c #Conflicts: 210000 | #Constraints: 12356
1182.71/1188.55 c #Conflicts: 211000 | #Constraints: 13356
1182.71/1188.55 c #Conflicts: 212000 | #Constraints: 14356
1182.71/1188.55 c #Conflicts: 213000 | #Constraints: 15356
1182.71/1188.55 c #Conflicts: 214000 | #Constraints: 16356
1182.71/1188.55 c #Conflicts: 215000 | #Constraints: 17356
1182.71/1188.55 c #Conflicts: 216000 | #Constraints: 18356
1182.71/1188.55 c INPROCESSING
1182.71/1188.55 c GARBAGE COLLECT
1182.71/1188.55 c #Conflicts: 217000 | #Constraints: 10166
1182.71/1188.55 c #Conflicts: 218000 | #Constraints: 11166
1182.71/1188.55 c #Conflicts: 219000 | #Constraints: 12166
1182.71/1188.55 c #Conflicts: 220000 | #Constraints: 13166
1182.71/1188.55 c #Conflicts: 221000 | #Constraints: 14166
1182.71/1188.55 c #Conflicts: 222000 | #Constraints: 15166
1182.71/1188.55 c #Conflicts: 223000 | #Constraints: 16166
1182.71/1188.55 c #Conflicts: 224000 | #Constraints: 17166
1182.71/1188.55 c #Conflicts: 225000 | #Constraints: 18166
1182.71/1188.55 c #Conflicts: 226000 | #Constraints: 19166
1182.71/1188.55 c INPROCESSING
1182.71/1188.55 c GARBAGE COLLECT
1182.71/1188.55 c #Conflicts: 227000 | #Constraints: 10768
1182.71/1188.55 c #Conflicts: 228000 | #Constraints: 11768
1182.71/1188.55 c #Conflicts: 229000 | #Constraints: 12768
1182.71/1188.55 c #Conflicts: 230000 | #Constraints: 13768
1182.71/1188.55 c #Conflicts: 231000 | #Constraints: 14768
1182.71/1188.55 c #Conflicts: 232000 | #Constraints: 15768
1182.71/1188.55 c #Conflicts: 233000 | #Constraints: 16768
1182.71/1188.55 c #Conflicts: 234000 | #Constraints: 17768
1182.71/1188.55 c #Conflicts: 235000 | #Constraints: 18768
1182.71/1188.55 c #Conflicts: 236000 | #Constraints: 19768
1182.71/1188.55 c INPROCESSING
1182.71/1188.55 c GARBAGE COLLECT
1182.71/1188.55 c #Conflicts: 237000 | #Constraints: 11157
1182.71/1188.55 c #Conflicts: 238000 | #Constraints: 12157
1182.71/1188.55 c #Conflicts: 239000 | #Constraints: 13157
1182.71/1188.55 c #Conflicts: 240000 | #Constraints: 14157
1182.71/1188.55 c #Conflicts: 241000 | #Constraints: 15157
1182.71/1188.55 c #Conflicts: 242000 | #Constraints: 16157
1182.71/1188.55 c #Conflicts: 243000 | #Constraints: 17157
1182.71/1188.55 c #Conflicts: 244000 | #Constraints: 18157
1182.71/1188.55 c #Conflicts: 245000 | #Constraints: 19157
1182.71/1188.55 c #Conflicts: 246000 | #Constraints: 20157
1182.71/1188.55 c INPROCESSING
1182.71/1188.55 c GARBAGE COLLECT
1182.71/1188.55 c #Conflicts: 247000 | #Constraints: 11363
1182.71/1188.55 c #Conflicts: 248000 | #Constraints: 12363
1182.71/1188.55 c #Conflicts: 249000 | #Constraints: 13363
1182.71/1188.55 c #Conflicts: 250000 | #Constraints: 14363
1182.71/1188.55 c #Conflicts: 251000 | #Constraints: 15363
1182.71/1188.55 c #Conflicts: 252000 | #Constraints: 16363
1182.71/1188.55 c #Conflicts: 253000 | #Constraints: 17363
1182.71/1188.55 c #Conflicts: 254000 | #Constraints: 18363
1182.71/1188.55 c #Conflicts: 255000 | #Constraints: 19363
1182.71/1188.55 c #Conflicts: 256000 | #Constraints: 20363
1182.71/1188.55 c INPROCESSING
1182.71/1188.55 c GARBAGE COLLECT
1182.71/1188.55 c #Conflicts: 257000 | #Constraints: 11378
1182.71/1188.55 c #Conflicts: 258000 | #Constraints: 12378
1182.71/1188.55 c #Conflicts: 259000 | #Constraints: 13378
1182.71/1188.55 c #Conflicts: 260000 | #Constraints: 14378
1182.71/1188.55 c #Conflicts: 261000 | #Constraints: 15378
1182.71/1188.55 c #Conflicts: 262000 | #Constraints: 16378
1182.71/1188.55 c #Conflicts: 263000 | #Constraints: 17378
1182.71/1188.55 c #Conflicts: 264000 | #Constraints: 18378
1182.71/1188.55 c #Conflicts: 265000 | #Constraints: 19378
1182.71/1188.55 c #Conflicts: 266000 | #Constraints: 20378
1182.71/1188.55 c INPROCESSING
1182.71/1188.55 c GARBAGE COLLECT
1182.71/1188.55 c #Conflicts: 267000 | #Constraints: 11172
1182.71/1188.55 c #Conflicts: 268000 | #Constraints: 12172
1182.71/1188.55 c #Conflicts: 269000 | #Constraints: 13172
1182.71/1188.55 c #Conflicts: 270000 | #Constraints: 14172
1182.71/1188.55 c #Conflicts: 271000 | #Constraints: 15172
1182.71/1188.55 c #Conflicts: 272000 | #Constraints: 16172
1182.71/1188.55 c #Conflicts: 273000 | #Constraints: 17172
1182.71/1188.55 c #Conflicts: 274000 | #Constraints: 18172
1182.71/1188.55 c #Conflicts: 275000 | #Constraints: 19172
1182.71/1188.55 c #Conflicts: 276000 | #Constraints: 20172
1459.99/1466.91 c #Conflicts: 277000 | #Constraints: 21172
1459.99/1466.91 c INPROCESSING
1459.99/1466.91 c GARBAGE COLLECT
1459.99/1466.91 c #Conflicts: 278000 | #Constraints: 11759
1459.99/1466.91 c #Conflicts: 279000 | #Constraints: 12759
1459.99/1466.91 c #Conflicts: 280000 | #Constraints: 13759
1459.99/1466.91 c #Conflicts: 281000 | #Constraints: 14759
1459.99/1466.91 c #Conflicts: 282000 | #Constraints: 15759
1459.99/1466.91 c #Conflicts: 283000 | #Constraints: 16759
1459.99/1466.91 c #Conflicts: 284000 | #Constraints: 17759
1459.99/1466.91 c #Conflicts: 285000 | #Constraints: 18759
1459.99/1466.91 c #Conflicts: 286000 | #Constraints: 19759
1459.99/1466.91 c #Conflicts: 287000 | #Constraints: 20759
1459.99/1466.91 c #Conflicts: 288000 | #Constraints: 21759
1459.99/1466.91 c INPROCESSING
1459.99/1466.91 c GARBAGE COLLECT
1459.99/1466.91 c #Conflicts: 289000 | #Constraints: 12155
1459.99/1466.91 c #Conflicts: 290000 | #Constraints: 13155
1459.99/1466.91 c #Conflicts: 291000 | #Constraints: 14155
1459.99/1466.91 c #Conflicts: 292000 | #Constraints: 15155
1459.99/1466.91 c #Conflicts: 293000 | #Constraints: 16155
1459.99/1466.91 c #Conflicts: 294000 | #Constraints: 17155
1459.99/1466.91 c #Conflicts: 295000 | #Constraints: 18155
1459.99/1466.91 c #Conflicts: 296000 | #Constraints: 19155
1459.99/1466.91 c #Conflicts: 297000 | #Constraints: 20155
1459.99/1466.91 c #Conflicts: 298000 | #Constraints: 21155
1459.99/1466.91 c #Conflicts: 299000 | #Constraints: 22155
1459.99/1466.91 c INPROCESSING
1459.99/1466.91 c GARBAGE COLLECT
1459.99/1466.91 c #Conflicts: 300000 | #Constraints: 12350
1459.99/1466.91 c #Conflicts: 301000 | #Constraints: 13350
1459.99/1466.91 c #Conflicts: 302000 | #Constraints: 14350
1459.99/1466.91 c #Conflicts: 303000 | #Constraints: 15350
1459.99/1466.91 c #Conflicts: 304000 | #Constraints: 16350
1459.99/1466.91 c #Conflicts: 305000 | #Constraints: 17350
1459.99/1466.91 c #Conflicts: 306000 | #Constraints: 18350
1459.99/1466.91 c #Conflicts: 307000 | #Constraints: 19350
1459.99/1466.91 c #Conflicts: 308000 | #Constraints: 20350
1459.99/1466.91 c #Conflicts: 309000 | #Constraints: 21350
1459.99/1466.91 c #Conflicts: 310000 | #Constraints: 22350
1459.99/1466.91 c INPROCESSING
1459.99/1466.91 c GARBAGE COLLECT
1459.99/1466.91 c #Conflicts: 311000 | #Constraints: 12351
1459.99/1466.91 c #Conflicts: 312000 | #Constraints: 13351
1459.99/1466.91 c #Conflicts: 313000 | #Constraints: 14351
1459.99/1466.91 c #Conflicts: 314000 | #Constraints: 15351
1459.99/1466.91 c #Conflicts: 315000 | #Constraints: 16351
1459.99/1466.91 c #Conflicts: 316000 | #Constraints: 17351
1459.99/1466.91 c #Conflicts: 317000 | #Constraints: 18351
1459.99/1466.91 c #Conflicts: 318000 | #Constraints: 19351
1459.99/1466.91 c #Conflicts: 319000 | #Constraints: 20351
1459.99/1466.91 c #Conflicts: 320000 | #Constraints: 21351
1459.99/1466.91 c #Conflicts: 321000 | #Constraints: 22351
1459.99/1466.91 c INPROCESSING
1459.99/1466.91 c GARBAGE COLLECT
1459.99/1466.91 c #Conflicts: 322000 | #Constraints: 12146
1459.99/1466.91 c #Conflicts: 323000 | #Constraints: 13146
1459.99/1466.91 c #Conflicts: 324000 | #Constraints: 14146
1459.99/1466.91 c #Conflicts: 325000 | #Constraints: 15146
1459.99/1466.91 c #Conflicts: 326000 | #Constraints: 16146
1459.99/1466.91 c #Conflicts: 327000 | #Constraints: 17146
1459.99/1466.91 c #Conflicts: 328000 | #Constraints: 18146
1459.99/1466.91 c #Conflicts: 329000 | #Constraints: 19146
1459.99/1466.91 c #Conflicts: 330000 | #Constraints: 20146
1459.99/1466.91 c #Conflicts: 331000 | #Constraints: 21146
1459.99/1466.91 c #Conflicts: 332000 | #Constraints: 22146
1459.99/1466.91 c #Conflicts: 333000 | #Constraints: 23146
1459.99/1466.91 c INPROCESSING
1459.99/1466.91 c GARBAGE COLLECT
1459.99/1466.91 c #Conflicts: 334000 | #Constraints: 12752
1459.99/1466.91 c #Conflicts: 335000 | #Constraints: 13752
1459.99/1466.91 c #Conflicts: 336000 | #Constraints: 14752
1459.99/1466.91 c #Conflicts: 337000 | #Constraints: 15752
1459.99/1466.91 c #Conflicts: 338000 | #Constraints: 16752
1459.99/1466.91 c #Conflicts: 339000 | #Constraints: 17752
1459.99/1466.91 c #Conflicts: 340000 | #Constraints: 18752
1459.99/1466.91 c #Conflicts: 341000 | #Constraints: 19752
1459.99/1466.91 c #Conflicts: 342000 | #Constraints: 20752
1459.99/1466.91 c #Conflicts: 343000 | #Constraints: 21752
1459.99/1466.91 c #Conflicts: 344000 | #Constraints: 22752
1459.99/1466.91 c #Conflicts: 345000 | #Constraints: 23752
1459.99/1466.91 c INPROCESSING
1459.99/1466.91 c GARBAGE COLLECT
1459.99/1466.91 c #Conflicts: 346000 | #Constraints: 13154
1459.99/1466.91 c #Conflicts: 347000 | #Constraints: 14154
1459.99/1466.91 c #Conflicts: 348000 | #Constraints: 15154
1459.99/1466.91 c #Conflicts: 349000 | #Constraints: 16154
1459.99/1466.91 c #Conflicts: 350000 | #Constraints: 17154
1743.97/1752.22 c #Conflicts: 351000 | #Constraints: 18154
1743.97/1752.22 c #Conflicts: 352000 | #Constraints: 19154
1743.97/1752.22 c #Conflicts: 353000 | #Constraints: 20154
1743.97/1752.22 c #Conflicts: 354000 | #Constraints: 21154
1743.97/1752.22 c #Conflicts: 355000 | #Constraints: 22154
1743.97/1752.22 c #Conflicts: 356000 | #Constraints: 23154
1743.97/1752.22 c #Conflicts: 357000 | #Constraints: 24154
1743.97/1752.22 c INPROCESSING
1743.97/1752.22 c GARBAGE COLLECT
1743.97/1752.22 c #Conflicts: 358000 | #Constraints: 13351
1743.97/1752.22 c #Conflicts: 359000 | #Constraints: 14351
1743.97/1752.22 c #Conflicts: 360000 | #Constraints: 15351
1743.97/1752.22 c #Conflicts: 361000 | #Constraints: 16351
1743.97/1752.22 c #Conflicts: 362000 | #Constraints: 17351
1743.97/1752.22 c #Conflicts: 363000 | #Constraints: 18351
1743.97/1752.22 c #Conflicts: 364000 | #Constraints: 19351
1743.97/1752.22 c #Conflicts: 365000 | #Constraints: 20351
1743.97/1752.22 c #Conflicts: 366000 | #Constraints: 21351
1743.97/1752.22 c #Conflicts: 367000 | #Constraints: 22351
1743.97/1752.22 c #Conflicts: 368000 | #Constraints: 23351
1743.97/1752.22 c #Conflicts: 369000 | #Constraints: 24351
1743.97/1752.22 c INPROCESSING
1743.97/1752.22 c GARBAGE COLLECT
1743.97/1752.22 c #Conflicts: 370000 | #Constraints: 13350
1743.97/1752.22 c #Conflicts: 371000 | #Constraints: 14350
1743.97/1752.22 c #Conflicts: 372000 | #Constraints: 15350
1743.97/1752.22 c #Conflicts: 373000 | #Constraints: 16350
1743.97/1752.22 c #Conflicts: 374000 | #Constraints: 17350
1743.97/1752.22 c #Conflicts: 375000 | #Constraints: 18350
1743.97/1752.22 c #Conflicts: 376000 | #Constraints: 19350
1743.97/1752.22 c #Conflicts: 377000 | #Constraints: 20350
1743.97/1752.22 c #Conflicts: 378000 | #Constraints: 21350
1743.97/1752.22 c #Conflicts: 379000 | #Constraints: 22350
1743.97/1752.22 c #Conflicts: 380000 | #Constraints: 23350
1743.97/1752.22 c #Conflicts: 381000 | #Constraints: 24350
1743.97/1752.22 c INPROCESSING
1743.97/1752.22 c GARBAGE COLLECT
1743.97/1752.22 c #Conflicts: 382000 | #Constraints: 13155
1743.97/1752.22 c #Conflicts: 383000 | #Constraints: 14155
1743.97/1752.22 c #Conflicts: 384000 | #Constraints: 15155
1743.97/1752.22 c #Conflicts: 385000 | #Constraints: 16155
1743.97/1752.22 c #Conflicts: 386000 | #Constraints: 17155
1743.97/1752.22 c #Conflicts: 387000 | #Constraints: 18155
1743.97/1752.22 c #Conflicts: 388000 | #Constraints: 19155
1743.97/1752.22 c #Conflicts: 389000 | #Constraints: 20155
1743.97/1752.22 c #Conflicts: 390000 | #Constraints: 21155
1743.97/1752.22 c #Conflicts: 391000 | #Constraints: 22155
1743.97/1752.22 c #Conflicts: 392000 | #Constraints: 23155
1743.97/1752.22 c #Conflicts: 393000 | #Constraints: 24155
1743.97/1752.22 c #Conflicts: 394000 | #Constraints: 25155
1743.97/1752.22 c INPROCESSING
1743.97/1752.22 c GARBAGE COLLECT
1743.97/1752.22 c #Conflicts: 395000 | #Constraints: 13750
1743.97/1752.22 c #Conflicts: 396000 | #Constraints: 14750
1743.97/1752.22 c #Conflicts: 397000 | #Constraints: 15750
1743.97/1752.22 c #Conflicts: 398000 | #Constraints: 16750
1743.97/1752.22 c #Conflicts: 399000 | #Constraints: 17750
1743.97/1752.22 c #Conflicts: 400000 | #Constraints: 18750
1743.97/1752.22 c #Conflicts: 401000 | #Constraints: 19750
1743.97/1752.22 c #Conflicts: 402000 | #Constraints: 20750
1743.97/1752.22 c #Conflicts: 403000 | #Constraints: 21750
1743.97/1752.22 c #Conflicts: 404000 | #Constraints: 22750
1743.97/1752.22 c #Conflicts: 405000 | #Constraints: 23750
1743.97/1752.22 c #Conflicts: 406000 | #Constraints: 24750
1743.97/1752.22 c #Conflicts: 407000 | #Constraints: 25750
1743.97/1752.22 c INPROCESSING
1743.97/1752.22 c GARBAGE COLLECT
1743.97/1752.22 c #Conflicts: 408000 | #Constraints: 14167
1743.97/1752.22 c #Conflicts: 409000 | #Constraints: 15167
1743.97/1752.22 c #Conflicts: 410000 | #Constraints: 16167
1743.97/1752.22 c #Conflicts: 411000 | #Constraints: 17167
1743.97/1752.22 c #Conflicts: 412000 | #Constraints: 18167
1743.97/1752.22 c #Conflicts: 413000 | #Constraints: 19167
1743.97/1752.22 c #Conflicts: 414000 | #Constraints: 20167
1743.97/1752.22 c #Conflicts: 415000 | #Constraints: 21167
1743.97/1752.22 c #Conflicts: 416000 | #Constraints: 22167
1743.97/1752.22 c #Conflicts: 417000 | #Constraints: 23167
1743.97/1752.22 c #Conflicts: 418000 | #Constraints: 24167
1743.97/1752.22 c #Conflicts: 419000 | #Constraints: 25167
1743.97/1752.22 c #Conflicts: 420000 | #Constraints: 26167
1743.97/1752.22 c INPROCESSING
1743.97/1752.22 c GARBAGE COLLECT
1743.97/1752.22 c #Conflicts: 421000 | #Constraints: 14364
1743.97/1752.22 c #Conflicts: 422000 | #Constraints: 15364
1743.97/1752.22 c #Conflicts: 423000 | #Constraints: 16364
1743.97/1752.22 c #Conflicts: 424000 | #Constraints: 17364
1743.97/1752.22 c #Conflicts: 425000 | #Constraints: 18364
2020.92/2030.22 c #Conflicts: 426000 | #Constraints: 19364
2020.92/2030.22 c #Conflicts: 427000 | #Constraints: 20364
2020.92/2030.22 c #Conflicts: 428000 | #Constraints: 21364
2020.92/2030.22 c #Conflicts: 429000 | #Constraints: 22364
2020.92/2030.22 c #Conflicts: 430000 | #Constraints: 23364
2020.92/2030.22 c #Conflicts: 431000 | #Constraints: 24364
2020.92/2030.22 c #Conflicts: 432000 | #Constraints: 25364
2020.92/2030.22 c #Conflicts: 433000 | #Constraints: 26364
2020.92/2030.22 c INPROCESSING
2020.92/2030.22 c GARBAGE COLLECT
2020.92/2030.22 c #Conflicts: 434000 | #Constraints: 14365
2020.92/2030.22 c #Conflicts: 435000 | #Constraints: 15365
2020.92/2030.22 c #Conflicts: 436000 | #Constraints: 16365
2020.92/2030.22 c #Conflicts: 437000 | #Constraints: 17365
2020.92/2030.22 c #Conflicts: 438000 | #Constraints: 18365
2020.92/2030.22 c #Conflicts: 439000 | #Constraints: 19365
2020.92/2030.22 c #Conflicts: 440000 | #Constraints: 20365
2020.92/2030.22 c #Conflicts: 441000 | #Constraints: 21365
2020.92/2030.22 c #Conflicts: 442000 | #Constraints: 22365
2020.92/2030.22 c #Conflicts: 443000 | #Constraints: 23365
2020.92/2030.22 c #Conflicts: 444000 | #Constraints: 24365
2020.92/2030.22 c #Conflicts: 445000 | #Constraints: 25365
2020.92/2030.22 c #Conflicts: 446000 | #Constraints: 26365
2020.92/2030.22 c INPROCESSING
2020.92/2030.22 c GARBAGE COLLECT
2020.92/2030.22 c #Conflicts: 447000 | #Constraints: 14161
2020.92/2030.22 c #Conflicts: 448000 | #Constraints: 15161
2020.92/2030.22 c #Conflicts: 449000 | #Constraints: 16161
2020.92/2030.22 c #Conflicts: 450000 | #Constraints: 17161
2020.92/2030.22 c #Conflicts: 451000 | #Constraints: 18161
2020.92/2030.22 c #Conflicts: 452000 | #Constraints: 19161
2020.92/2030.22 c #Conflicts: 453000 | #Constraints: 20161
2020.92/2030.22 c #Conflicts: 454000 | #Constraints: 21161
2020.92/2030.22 c #Conflicts: 455000 | #Constraints: 22161
2020.92/2030.22 c #Conflicts: 456000 | #Constraints: 23161
2020.92/2030.22 c #Conflicts: 457000 | #Constraints: 24161
2020.92/2030.22 c #Conflicts: 458000 | #Constraints: 25161
2020.92/2030.22 c #Conflicts: 459000 | #Constraints: 26161
2020.92/2030.22 c #Conflicts: 460000 | #Constraints: 27161
2020.92/2030.22 c INPROCESSING
2020.92/2030.22 c GARBAGE COLLECT
2020.92/2030.22 c #Conflicts: 461000 | #Constraints: 14763
2020.92/2030.22 c #Conflicts: 462000 | #Constraints: 15763
2020.92/2030.22 c #Conflicts: 463000 | #Constraints: 16763
2020.92/2030.22 c #Conflicts: 464000 | #Constraints: 17763
2020.92/2030.22 c #Conflicts: 465000 | #Constraints: 18763
2020.92/2030.22 c #Conflicts: 466000 | #Constraints: 19763
2020.92/2030.22 c #Conflicts: 467000 | #Constraints: 20763
2020.92/2030.22 c #Conflicts: 468000 | #Constraints: 21763
2020.92/2030.22 c #Conflicts: 469000 | #Constraints: 22763
2020.92/2030.22 c #Conflicts: 470000 | #Constraints: 23763
2020.92/2030.22 c #Conflicts: 471000 | #Constraints: 24763
2020.92/2030.22 c #Conflicts: 472000 | #Constraints: 25763
2020.92/2030.22 c #Conflicts: 473000 | #Constraints: 26763
2020.92/2030.22 c #Conflicts: 474000 | #Constraints: 27763
2020.92/2030.22 c INPROCESSING
2020.92/2030.22 c GARBAGE COLLECT
2020.92/2030.22 c #Conflicts: 475000 | #Constraints: 15163
2020.92/2030.22 c #Conflicts: 476000 | #Constraints: 16163
2020.92/2030.22 c #Conflicts: 477000 | #Constraints: 17163
2020.92/2030.22 c #Conflicts: 478000 | #Constraints: 18163
2020.92/2030.22 c #Conflicts: 479000 | #Constraints: 19163
2020.92/2030.22 c #Conflicts: 480000 | #Constraints: 20163
2020.92/2030.22 c #Conflicts: 481000 | #Constraints: 21163
2020.92/2030.22 c #Conflicts: 482000 | #Constraints: 22163
2020.92/2030.22 c #Conflicts: 483000 | #Constraints: 23163
2020.92/2030.22 c #Conflicts: 484000 | #Constraints: 24163
2020.92/2030.22 c #Conflicts: 485000 | #Constraints: 25163
2020.92/2030.22 c #Conflicts: 486000 | #Constraints: 26163
2020.92/2030.22 c #Conflicts: 487000 | #Constraints: 27163
2020.92/2030.22 c #Conflicts: 488000 | #Constraints: 28163
2020.92/2030.22 c INPROCESSING
2020.92/2030.22 c GARBAGE COLLECT
2020.92/2030.22 c #Conflicts: 489000 | #Constraints: 15364
2020.92/2030.22 c #Conflicts: 490000 | #Constraints: 16364
2020.92/2030.22 c #Conflicts: 491000 | #Constraints: 17364
2020.92/2030.22 c #Conflicts: 492000 | #Constraints: 18364
2020.92/2030.22 c #Conflicts: 493000 | #Constraints: 19364
2020.92/2030.22 c #Conflicts: 494000 | #Constraints: 20364
2020.92/2030.22 c #Conflicts: 495000 | #Constraints: 21364
2020.92/2030.22 c #Conflicts: 496000 | #Constraints: 22364
2020.92/2030.22 c #Conflicts: 497000 | #Constraints: 23364
2020.92/2030.22 c #Conflicts: 498000 | #Constraints: 24364
2020.92/2030.22 c #Conflicts: 499000 | #Constraints: 25364
2020.92/2030.22 c #Conflicts: 500000 | #Constraints: 26364
2020.92/2030.22 c #Conflicts: 501000 | #Constraints: 27364
2292.18/2302.70 c #Conflicts: 502000 | #Constraints: 28364
2292.18/2302.70 c INPROCESSING
2292.18/2302.70 c GARBAGE COLLECT
2292.18/2302.70 c #Conflicts: 503000 | #Constraints: 15364
2292.18/2302.70 c #Conflicts: 504000 | #Constraints: 16364
2292.18/2302.70 c #Conflicts: 505000 | #Constraints: 17364
2292.18/2302.70 c #Conflicts: 506000 | #Constraints: 18364
2292.18/2302.70 c #Conflicts: 507000 | #Constraints: 19364
2292.18/2302.70 c #Conflicts: 508000 | #Constraints: 20364
2292.18/2302.70 c #Conflicts: 509000 | #Constraints: 21364
2292.18/2302.70 c #Conflicts: 510000 | #Constraints: 22364
2292.18/2302.70 c #Conflicts: 511000 | #Constraints: 23364
2292.18/2302.70 c #Conflicts: 512000 | #Constraints: 24364
2292.18/2302.70 c #Conflicts: 513000 | #Constraints: 25364
2292.18/2302.70 c #Conflicts: 514000 | #Constraints: 26364
2292.18/2302.70 c #Conflicts: 515000 | #Constraints: 27364
2292.18/2302.70 c #Conflicts: 516000 | #Constraints: 28364
2292.18/2302.70 c INPROCESSING
2292.18/2302.70 c GARBAGE COLLECT
2292.18/2302.70 c #Conflicts: 517000 | #Constraints: 15165
2292.18/2302.70 c #Conflicts: 518000 | #Constraints: 16165
2292.18/2302.70 c #Conflicts: 519000 | #Constraints: 17165
2292.18/2302.70 c #Conflicts: 520000 | #Constraints: 18165
2292.18/2302.70 c #Conflicts: 521000 | #Constraints: 19165
2292.18/2302.70 c #Conflicts: 522000 | #Constraints: 20165
2292.18/2302.70 c #Conflicts: 523000 | #Constraints: 21165
2292.18/2302.70 c #Conflicts: 524000 | #Constraints: 22165
2292.18/2302.70 c #Conflicts: 525000 | #Constraints: 23165
2292.18/2302.70 c #Conflicts: 526000 | #Constraints: 24165
2292.18/2302.70 c #Conflicts: 527000 | #Constraints: 25165
2292.18/2302.70 c #Conflicts: 528000 | #Constraints: 26165
2292.18/2302.70 c #Conflicts: 529000 | #Constraints: 27165
2292.18/2302.70 c #Conflicts: 530000 | #Constraints: 28165
2292.18/2302.70 c #Conflicts: 531000 | #Constraints: 29165
2292.18/2302.70 c INPROCESSING
2292.18/2302.70 c GARBAGE COLLECT
2292.18/2302.70 c #Conflicts: 532000 | #Constraints: 15757
2292.18/2302.70 c #Conflicts: 533000 | #Constraints: 16757
2292.18/2302.70 c #Conflicts: 534000 | #Constraints: 17757
2292.18/2302.70 c #Conflicts: 535000 | #Constraints: 18757
2292.18/2302.70 c #Conflicts: 536000 | #Constraints: 19757
2292.18/2302.70 c #Conflicts: 537000 | #Constraints: 20757
2292.18/2302.70 c #Conflicts: 538000 | #Constraints: 21757
2292.18/2302.70 c #Conflicts: 539000 | #Constraints: 22757
2292.18/2302.70 c #Conflicts: 540000 | #Constraints: 23757
2292.18/2302.70 c #Conflicts: 541000 | #Constraints: 24757
2292.18/2302.70 c #Conflicts: 542000 | #Constraints: 25757
2292.18/2302.70 c #Conflicts: 543000 | #Constraints: 26757
2292.18/2302.70 c #Conflicts: 544000 | #Constraints: 27757
2292.18/2302.70 c #Conflicts: 545000 | #Constraints: 28757
2292.18/2302.70 c #Conflicts: 546000 | #Constraints: 29757
2292.18/2302.70 c INPROCESSING
2292.18/2302.70 c GARBAGE COLLECT
2292.18/2302.70 c #Conflicts: 547000 | #Constraints: 16160
2292.18/2302.70 c #Conflicts: 548000 | #Constraints: 17160
2292.18/2302.70 c #Conflicts: 549000 | #Constraints: 18160
2292.18/2302.70 c #Conflicts: 550000 | #Constraints: 19160
2292.18/2302.70 c #Conflicts: 551000 | #Constraints: 20160
2292.18/2302.70 c #Conflicts: 552000 | #Constraints: 21160
2292.18/2302.70 c #Conflicts: 553000 | #Constraints: 22160
2292.18/2302.70 c #Conflicts: 554000 | #Constraints: 23160
2292.18/2302.70 c #Conflicts: 555000 | #Constraints: 24160
2292.18/2302.70 c #Conflicts: 556000 | #Constraints: 25160
2292.18/2302.70 c #Conflicts: 557000 | #Constraints: 26160
2292.18/2302.70 c #Conflicts: 558000 | #Constraints: 27160
2292.18/2302.70 c #Conflicts: 559000 | #Constraints: 28160
2292.18/2302.70 c #Conflicts: 560000 | #Constraints: 29160
2292.18/2302.70 c #Conflicts: 561000 | #Constraints: 30160
2292.18/2302.70 c INPROCESSING
2292.18/2302.70 c GARBAGE COLLECT
2292.18/2302.70 c #Conflicts: 562000 | #Constraints: 16357
2292.18/2302.70 c #Conflicts: 563000 | #Constraints: 17357
2292.18/2302.70 c #Conflicts: 564000 | #Constraints: 18357
2292.18/2302.70 c #Conflicts: 565000 | #Constraints: 19357
2292.18/2302.70 c #Conflicts: 566000 | #Constraints: 20357
2292.18/2302.70 c #Conflicts: 567000 | #Constraints: 21357
2292.18/2302.70 c #Conflicts: 568000 | #Constraints: 22357
2292.18/2302.70 c #Conflicts: 569000 | #Constraints: 23357
2292.18/2302.70 c #Conflicts: 570000 | #Constraints: 24357
2292.18/2302.70 c #Conflicts: 571000 | #Constraints: 25357
2292.18/2302.70 c #Conflicts: 572000 | #Constraints: 26357
2292.18/2302.70 c #Conflicts: 573000 | #Constraints: 27357
2292.18/2302.70 c #Conflicts: 574000 | #Constraints: 28357
2292.18/2302.70 c #Conflicts: 575000 | #Constraints: 29357
2292.18/2302.70 c #Conflicts: 576000 | #Constraints: 30357
2583.37/2594.86 c INPROCESSING
2583.37/2594.86 c GARBAGE COLLECT
2583.37/2594.86 c #Conflicts: 577000 | #Constraints: 16363
2583.37/2594.86 c #Conflicts: 578000 | #Constraints: 17363
2583.37/2594.86 c #Conflicts: 579000 | #Constraints: 18363
2583.37/2594.86 c #Conflicts: 580000 | #Constraints: 19363
2583.37/2594.86 c #Conflicts: 581000 | #Constraints: 20363
2583.37/2594.86 c #Conflicts: 582000 | #Constraints: 21363
2583.37/2594.86 c #Conflicts: 583000 | #Constraints: 22363
2583.37/2594.86 c #Conflicts: 584000 | #Constraints: 23363
2583.37/2594.86 c #Conflicts: 585000 | #Constraints: 24363
2583.37/2594.86 c #Conflicts: 586000 | #Constraints: 25363
2583.37/2594.86 c #Conflicts: 587000 | #Constraints: 26363
2583.37/2594.86 c #Conflicts: 588000 | #Constraints: 27363
2583.37/2594.86 c #Conflicts: 589000 | #Constraints: 28363
2583.37/2594.86 c #Conflicts: 590000 | #Constraints: 29363
2583.37/2594.86 c #Conflicts: 591000 | #Constraints: 30363
2583.37/2594.86 c INPROCESSING
2583.37/2594.86 c GARBAGE COLLECT
2583.37/2594.86 c #Conflicts: 592000 | #Constraints: 16159
2583.37/2594.86 c #Conflicts: 593000 | #Constraints: 17159
2583.37/2594.86 c #Conflicts: 594000 | #Constraints: 18159
2583.37/2594.86 c #Conflicts: 595000 | #Constraints: 19159
2583.37/2594.86 c #Conflicts: 596000 | #Constraints: 20159
2583.37/2594.86 c #Conflicts: 597000 | #Constraints: 21159
2583.37/2594.86 c #Conflicts: 598000 | #Constraints: 22159
2583.37/2594.86 c #Conflicts: 599000 | #Constraints: 23159
2583.37/2594.86 c #Conflicts: 600000 | #Constraints: 24159
2583.37/2594.86 c #Conflicts: 601000 | #Constraints: 25159
2583.37/2594.86 c #Conflicts: 602000 | #Constraints: 26159
2583.37/2594.86 c #Conflicts: 603000 | #Constraints: 27159
2583.37/2594.86 c #Conflicts: 604000 | #Constraints: 28159
2583.37/2594.86 c #Conflicts: 605000 | #Constraints: 29159
2583.37/2594.86 c #Conflicts: 606000 | #Constraints: 30159
2583.37/2594.86 c #Conflicts: 607000 | #Constraints: 31159
2583.37/2594.86 c INPROCESSING
2583.37/2594.86 c GARBAGE COLLECT
2583.37/2594.86 c #Conflicts: 608000 | #Constraints: 16757
2583.37/2594.86 c #Conflicts: 609000 | #Constraints: 17757
2583.37/2594.86 c #Conflicts: 610000 | #Constraints: 18757
2583.37/2594.86 c #Conflicts: 611000 | #Constraints: 19757
2583.37/2594.86 c #Conflicts: 612000 | #Constraints: 20757
2583.37/2594.86 c #Conflicts: 613000 | #Constraints: 21757
2583.37/2594.86 c #Conflicts: 614000 | #Constraints: 22757
2583.37/2594.86 c #Conflicts: 615000 | #Constraints: 23757
2583.37/2594.86 c #Conflicts: 616000 | #Constraints: 24757
2583.37/2594.86 c #Conflicts: 617000 | #Constraints: 25757
2583.37/2594.86 c #Conflicts: 618000 | #Constraints: 26757
2583.37/2594.86 c #Conflicts: 619000 | #Constraints: 27757
2583.37/2594.86 c #Conflicts: 620000 | #Constraints: 28757
2583.37/2594.86 c #Conflicts: 621000 | #Constraints: 29757
2583.37/2594.86 c #Conflicts: 622000 | #Constraints: 30757
2583.37/2594.86 c #Conflicts: 623000 | #Constraints: 31757
2583.37/2594.86 c INPROCESSING
2583.37/2594.86 c GARBAGE COLLECT
2583.37/2594.86 c #Conflicts: 624000 | #Constraints: 17153
2583.37/2594.86 c #Conflicts: 625000 | #Constraints: 18153
2583.37/2594.86 c #Conflicts: 626000 | #Constraints: 19153
2583.37/2594.86 c #Conflicts: 627000 | #Constraints: 20153
2583.37/2594.86 c #Conflicts: 628000 | #Constraints: 21153
2583.37/2594.86 c #Conflicts: 629000 | #Constraints: 22153
2583.37/2594.86 c #Conflicts: 630000 | #Constraints: 23153
2583.37/2594.86 c #Conflicts: 631000 | #Constraints: 24153
2583.37/2594.86 c #Conflicts: 632000 | #Constraints: 25153
2583.37/2594.86 c #Conflicts: 633000 | #Constraints: 26153
2583.37/2594.86 c #Conflicts: 634000 | #Constraints: 27153
2583.37/2594.86 c #Conflicts: 635000 | #Constraints: 28153
2583.37/2594.86 c #Conflicts: 636000 | #Constraints: 29153
2583.37/2594.86 c #Conflicts: 637000 | #Constraints: 30153
2583.37/2594.86 c #Conflicts: 638000 | #Constraints: 31153
2583.37/2594.86 c #Conflicts: 639000 | #Constraints: 32153
2583.37/2594.86 c INPROCESSING
2583.37/2594.86 c GARBAGE COLLECT
2583.37/2594.86 c #Conflicts: 640000 | #Constraints: 17360
2583.37/2594.86 c #Conflicts: 641000 | #Constraints: 18360
2583.37/2594.86 c #Conflicts: 642000 | #Constraints: 19360
2583.37/2594.86 c #Conflicts: 643000 | #Constraints: 20360
2583.37/2594.86 c #Conflicts: 644000 | #Constraints: 21360
2583.37/2594.86 c #Conflicts: 645000 | #Constraints: 22360
2583.37/2594.86 c #Conflicts: 646000 | #Constraints: 23360
2583.37/2594.86 c #Conflicts: 647000 | #Constraints: 24360
2583.37/2594.86 c #Conflicts: 648000 | #Constraints: 25360
2583.37/2594.86 c #Conflicts: 649000 | #Constraints: 26360
2583.37/2594.86 c #Conflicts: 650000 | #Constraints: 27360
2583.37/2594.86 c #Conflicts: 651000 | #Constraints: 28360
2583.37/2594.86 c #Conflicts: 652000 | #Constraints: 29360
2596.72/2608.25 c #Conflicts: 653000 | #Constraints: 30360
2596.72/2608.25 c #Conflicts: 654000 | #Constraints: 31360
2596.72/2608.25 c #Conflicts: 655000 | #Constraints: 32360
2596.72/2608.25 c INPROCESSING
2596.72/2608.25 c GARBAGE COLLECT
2596.72/2608.25 c GLOBAL bounds - >= 9233 @ 2538.32
2596.72/2608.27 c GLOBAL bounds - >= 9233 @ 2538.34
2596.72/2608.28 c GLOBAL bounds - >= 9233 @ 2538.34
2596.82/2608.30 c GLOBAL bounds - >= 9233 @ 2538.35
2596.82/2608.31 c GLOBAL bounds - >= 9233 @ 2538.35
2596.82/2608.32 c GLOBAL bounds - >= 9233 @ 2538.35
2596.82/2608.33 c GLOBAL bounds - >= 9233 @ 2538.36
2596.82/2608.34 c GLOBAL bounds - >= 9233 @ 2538.37
2597.22/2608.70 c GLOBAL bounds - >= 9233 @ 2538.66
2597.22/2608.71 c GLOBAL bounds - >= 9233 @ 2538.66
2597.22/2608.79 c GLOBAL bounds - >= 9233 @ 2538.68
2597.33/2608.80 c GLOBAL bounds - >= 9233 @ 2538.69
2597.33/2608.89 c GLOBAL bounds - >= 9233 @ 2538.72
2597.43/2608.90 c GLOBAL bounds - >= 9233 @ 2538.73
2597.43/2608.98 c GLOBAL bounds - >= 9233 @ 2538.76
2597.43/2609.00 c GLOBAL bounds - >= 9233 @ 2538.77
2597.53/2609.08 c GLOBAL bounds - >= 9233 @ 2538.79
2597.53/2609.10 c GLOBAL bounds - >= 9233 @ 2538.8
2597.64/2609.17 c GLOBAL bounds - >= 9233 @ 2538.83
2597.64/2609.19 c GLOBAL bounds - >= 9233 @ 2538.84
2597.73/2609.27 c GLOBAL bounds - >= 9233 @ 2538.87
2597.82/2609.31 c GLOBAL bounds - >= 9233 @ 2538.9
2597.82/2609.39 c GLOBAL bounds - >= 9233 @ 2538.93
2597.92/2609.41 c GLOBAL bounds - >= 9233 @ 2538.94
2597.92/2609.49 c GLOBAL bounds - >= 9233 @ 2538.97
2598.03/2609.51 c GLOBAL bounds - >= 9233 @ 2538.99
2598.03/2609.59 c GLOBAL bounds - >= 9233 @ 2539.02
2598.12/2609.67 c GLOBAL bounds - >= 9233 @ 2539.05
2598.23/2609.76 c GLOBAL bounds - >= 9233 @ 2539.09
2598.33/2609.84 c GLOBAL bounds - >= 9233 @ 2539.13
2598.42/2609.92 c GLOBAL bounds - >= 9233 @ 2539.16
2598.42/2610.01 c GLOBAL bounds - >= 9233 @ 2539.2
2598.63/2610.11 c GLOBAL bounds - >= 9233 @ 2539.26
2598.72/2610.21 c GLOBAL bounds - >= 9233 @ 2539.3
2598.72/2610.29 c GLOBAL bounds - >= 9233 @ 2539.35
2599.12/2610.64 c GLOBAL bounds - >= 9233 @ 2539.65
2599.32/2610.88 c GLOBAL bounds - >= 9233 @ 2539.83
2609.68/2621.29 c #Conflicts: 656000 | #Constraints: 17387
2609.68/2621.29 c #Conflicts: 657000 | #Constraints: 18387
2609.68/2621.29 c #Conflicts: 658000 | #Constraints: 19387
2609.68/2621.29 c GLOBAL bounds - >= 9233 @ 2550.06
2609.78/2621.30 c GLOBAL bounds - >= 9233 @ 2550.07
2609.78/2621.32 c GLOBAL bounds - >= 9233 @ 2550.08
2609.78/2621.33 c GLOBAL bounds - >= 9233 @ 2550.08
2609.78/2621.34 c GLOBAL bounds - >= 9233 @ 2550.09
2609.78/2621.36 c GLOBAL bounds - >= 9233 @ 2550.1
2609.78/2621.38 c GLOBAL bounds - >= 9233 @ 2550.11
2609.88/2621.48 c GLOBAL bounds - >= 9233 @ 2550.15
2609.88/2621.49 c GLOBAL bounds - >= 9233 @ 2550.16
2610.49/2622.02 c #Conflicts: 659000 | #Constraints: 20392
2610.49/2622.02 c GLOBAL bounds - >= 9233 @ 2550.64
2610.49/2622.03 c GLOBAL bounds - >= 9233 @ 2550.65
2610.60/2622.12 c GLOBAL bounds - >= 9233 @ 2550.69
2610.60/2622.14 c GLOBAL bounds - >= 9233 @ 2550.69
2610.68/2622.23 c GLOBAL bounds - >= 9233 @ 2550.74
2610.68/2622.25 c GLOBAL bounds - >= 9233 @ 2550.74
2610.79/2622.34 c GLOBAL bounds - >= 9233 @ 2550.79
2610.79/2622.35 c GLOBAL bounds - >= 9233 @ 2550.79
2610.88/2622.44 c GLOBAL bounds - >= 9233 @ 2550.83
2610.88/2622.46 c GLOBAL bounds - >= 9233 @ 2550.84
2610.98/2622.54 c GLOBAL bounds - >= 9233 @ 2550.87
2610.98/2622.55 c GLOBAL bounds - >= 9233 @ 2550.88
2611.08/2622.64 c GLOBAL bounds - >= 9233 @ 2550.92
2611.08/2622.65 c GLOBAL bounds - >= 9233 @ 2550.93
2611.18/2622.73 c GLOBAL bounds - >= 9233 @ 2550.96
2611.18/2622.75 c GLOBAL bounds - >= 9233 @ 2550.96
2611.28/2622.84 c GLOBAL bounds - >= 9233 @ 2551
2611.38/2622.92 c GLOBAL bounds - >= 9233 @ 2551.03
2611.38/2623.01 c GLOBAL bounds - >= 9233 @ 2551.07
2611.50/2623.10 c GLOBAL bounds - >= 9233 @ 2551.11
2611.60/2623.19 c GLOBAL bounds - >= 9233 @ 2551.15
2611.68/2623.29 c GLOBAL bounds - >= 9233 @ 2551.2
2611.88/2623.40 c GLOBAL bounds - >= 9233 @ 2551.26
2611.98/2623.57 c GLOBAL bounds - >= 9233 @ 2551.38
2725.92/2738.10 c #Conflicts: 660000 | #Constraints: 21403
2725.92/2738.10 c #Conflicts: 661000 | #Constraints: 22403
2725.92/2738.10 c #Conflicts: 662000 | #Constraints: 23403
2725.92/2738.10 c #Conflicts: 663000 | #Constraints: 24403
2725.92/2738.10 c #Conflicts: 664000 | #Constraints: 25403
2725.92/2738.10 c #Conflicts: 665000 | #Constraints: 26403
2725.92/2738.10 c #Conflicts: 666000 | #Constraints: 27403
2725.92/2738.10 c #Conflicts: 667000 | #Constraints: 28403
2725.92/2738.10 c #Conflicts: 668000 | #Constraints: 29403
2725.92/2738.10 c #Conflicts: 669000 | #Constraints: 30403
2725.92/2738.10 c #Conflicts: 670000 | #Constraints: 31403
2725.92/2738.10 c #Conflicts: 671000 | #Constraints: 32403
2725.92/2738.10 c INPROCESSING
2725.92/2738.10 c GARBAGE COLLECT
2725.92/2738.10 c #Conflicts: 672000 | #Constraints: 17206
2725.92/2738.10 c #Conflicts: 673000 | #Constraints: 18206
2725.92/2738.10 c #Conflicts: 674000 | #Constraints: 19206
2725.92/2738.10 c #Conflicts: 675000 | #Constraints: 20206
2725.92/2738.10 c #Conflicts: 676000 | #Constraints: 21206
2725.92/2738.10 c #Conflicts: 677000 | #Constraints: 22206
2725.92/2738.10 c #Conflicts: 678000 | #Constraints: 23206
2725.92/2738.10 c #Conflicts: 679000 | #Constraints: 24206
2725.92/2738.10 c #Conflicts: 680000 | #Constraints: 25206
2725.92/2738.10 c #Conflicts: 681000 | #Constraints: 26206
2725.92/2738.10 c #Conflicts: 682000 | #Constraints: 27206
2725.92/2738.10 c #Conflicts: 683000 | #Constraints: 28206
2725.92/2738.10 c #Conflicts: 684000 | #Constraints: 29206
2725.92/2738.10 c GLOBAL bounds - >= 9234 @ 2662.77
2726.02/2738.13 c GLOBAL bounds - >= 9234 @ 2662.78
2726.02/2738.14 c GLOBAL bounds - >= 9234 @ 2662.78
2726.02/2738.15 c GLOBAL bounds - >= 9234 @ 2662.79
2726.02/2738.16 c GLOBAL bounds - >= 9234 @ 2662.79
2726.11/2738.26 c GLOBAL bounds - >= 9234 @ 2662.86
2726.11/2738.26 c GLOBAL bounds - >= 9234 @ 2662.86
2726.21/2738.34 c GLOBAL bounds - >= 9234 @ 2662.9
2726.21/2738.34 c GLOBAL bounds - >= 9234 @ 2662.9
2726.31/2738.43 c GLOBAL bounds - >= 9234 @ 2662.95
2726.31/2738.45 c GLOBAL bounds - >= 9234 @ 2662.95
2726.93/2739.06 c #Conflicts: 685000 | #Constraints: 30212
2726.93/2739.06 c GLOBAL bounds - >= 9234 @ 2663.51
2726.93/2739.08 c GLOBAL bounds - >= 9234 @ 2663.51
2727.03/2739.16 c GLOBAL bounds - >= 9234 @ 2663.54
2727.03/2739.17 c GLOBAL bounds - >= 9234 @ 2663.55
2727.10/2739.25 c GLOBAL bounds - >= 9234 @ 2663.59
2727.10/2739.27 c GLOBAL bounds - >= 9234 @ 2663.59
2727.21/2739.35 c GLOBAL bounds - >= 9234 @ 2663.62
2727.21/2739.36 c GLOBAL bounds - >= 9234 @ 2663.63
2727.31/2739.44 c GLOBAL bounds - >= 9234 @ 2663.67
2727.31/2739.45 c GLOBAL bounds - >= 9234 @ 2663.67
2727.41/2739.54 c GLOBAL bounds - >= 9234 @ 2663.7
2727.41/2739.55 c GLOBAL bounds - >= 9234 @ 2663.71
2727.50/2739.64 c GLOBAL bounds - >= 9234 @ 2663.74
2727.60/2739.72 c GLOBAL bounds - >= 9234 @ 2663.77
2727.70/2739.81 c GLOBAL bounds - >= 9234 @ 2663.81
2727.70/2739.89 c GLOBAL bounds - >= 9234 @ 2663.83
2727.80/2739.98 c GLOBAL bounds - >= 9234 @ 2663.87
2727.92/2740.06 c GLOBAL bounds - >= 9234 @ 2663.9
2728.02/2740.14 c GLOBAL bounds - >= 9234 @ 2663.94
2728.10/2740.24 c GLOBAL bounds - >= 9234 @ 2663.98
2728.20/2740.38 c GLOBAL bounds - >= 9234 @ 2664.08
2728.70/2740.86 c GLOBAL bounds - >= 9234 @ 2664.5
2728.70/2740.86 c GLOBAL bounds - >= 9234 @ 2664.51
2728.70/2740.88 c GLOBAL bounds - >= 9234 @ 2664.52
2728.70/2740.89 c GLOBAL bounds - >= 9234 @ 2664.53
2728.81/2740.90 c GLOBAL bounds - >= 9234 @ 2664.53
2728.81/2740.92 c GLOBAL bounds - >= 9234 @ 2664.54
2728.81/2740.93 c GLOBAL bounds - >= 9234 @ 2664.54
2728.81/2740.94 c GLOBAL bounds - >= 9234 @ 2664.55
2728.91/2741.05 c GLOBAL bounds - >= 9234 @ 2664.61
2728.91/2741.07 c GLOBAL bounds - >= 9234 @ 2664.62
2729.02/2741.15 c GLOBAL bounds - >= 9234 @ 2664.66
2729.02/2741.16 c GLOBAL bounds - >= 9234 @ 2664.66
2729.11/2741.25 c GLOBAL bounds - >= 9234 @ 2664.7
2729.11/2741.26 c GLOBAL bounds - >= 9234 @ 2664.71
2729.21/2741.34 c GLOBAL bounds - >= 9234 @ 2664.75
2729.21/2741.36 c GLOBAL bounds - >= 9234 @ 2664.75
2729.30/2741.44 c GLOBAL bounds - >= 9234 @ 2664.79
2729.30/2741.46 c GLOBAL bounds - >= 9234 @ 2664.79
2729.40/2741.54 c GLOBAL bounds - >= 9234 @ 2664.84
2729.40/2741.55 c GLOBAL bounds - >= 9234 @ 2664.84
2729.50/2741.64 c GLOBAL bounds - >= 9234 @ 2664.88
2729.50/2741.65 c GLOBAL bounds - >= 9234 @ 2664.88
2729.60/2741.74 c GLOBAL bounds - >= 9234 @ 2664.92
2729.60/2741.76 c GLOBAL bounds - >= 9234 @ 2664.93
2729.71/2741.85 c GLOBAL bounds - >= 9234 @ 2664.97
2729.71/2741.87 c GLOBAL bounds - >= 9234 @ 2664.98
2729.80/2741.96 c GLOBAL bounds - >= 9234 @ 2665.03
2729.92/2742.04 c GLOBAL bounds - >= 9234 @ 2665.07
2730.01/2742.13 c GLOBAL bounds - >= 9234 @ 2665.11
2730.10/2742.22 c GLOBAL bounds - >= 9234 @ 2665.15
2730.20/2742.31 c GLOBAL bounds - >= 9234 @ 2665.2
2730.20/2742.39 c GLOBAL bounds - >= 9234 @ 2665.24
2730.30/2742.47 c GLOBAL bounds - >= 9234 @ 2665.28
2730.40/2742.55 c GLOBAL bounds - >= 9234 @ 2665.3
2730.50/2742.67 c GLOBAL bounds - >= 9234 @ 2665.37
2730.70/2742.84 c GLOBAL bounds - >= 9234 @ 2665.49
2732.10/2744.23 c GLOBAL bounds - >= 9234 @ 2666.78
2732.10/2744.23 c GLOBAL bounds - >= 9234 @ 2666.78
2732.10/2744.25 c GLOBAL bounds - >= 9234 @ 2666.8
2732.10/2744.26 c GLOBAL bounds - >= 9234 @ 2666.8
2732.10/2744.27 c GLOBAL bounds - >= 9234 @ 2666.81
2732.10/2744.28 c GLOBAL bounds - >= 9234 @ 2666.82
2732.19/2744.30 c GLOBAL bounds - >= 9234 @ 2666.83
2732.19/2744.32 c GLOBAL bounds - >= 9234 @ 2666.84
2732.19/2744.34 c GLOBAL bounds - >= 9234 @ 2666.85
2732.19/2744.35 c GLOBAL bounds - >= 9234 @ 2666.86
2732.50/2744.63 c GLOBAL bounds - >= 9234 @ 2667.08
2732.50/2744.64 c GLOBAL bounds - >= 9234 @ 2667.09
2732.59/2744.73 c GLOBAL bounds - >= 9234 @ 2667.12
2732.59/2744.74 c GLOBAL bounds - >= 9234 @ 2667.13
2732.69/2744.83 c GLOBAL bounds - >= 9234 @ 2667.16
2732.69/2744.84 c GLOBAL bounds - >= 9234 @ 2667.16
2732.79/2744.93 c GLOBAL bounds - >= 9234 @ 2667.21
2732.79/2744.95 c #Conflicts: 1000 | #Constraints: 276020
2732.79/2744.95 c GLOBAL bounds - >= 9234 @ 2667.22
2732.90/2745.04 c GLOBAL bounds - >= 9234 @ 2667.26
2732.90/2745.05 c GLOBAL bounds - >= 9234 @ 2667.27
2733.00/2745.14 c GLOBAL bounds - >= 9234 @ 2667.31
2733.00/2745.15 c GLOBAL bounds - >= 9234 @ 2667.31
2733.09/2745.23 c GLOBAL bounds - >= 9234 @ 2667.35
2733.09/2745.25 c GLOBAL bounds - >= 9234 @ 2667.36
2733.19/2745.33 c GLOBAL bounds - >= 9234 @ 2667.39
2733.19/2745.35 c GLOBAL bounds - >= 9234 @ 2667.4
2733.29/2745.43 c GLOBAL bounds - >= 9234 @ 2667.43
2733.29/2745.46 c GLOBAL bounds - >= 9234 @ 2667.45
2733.39/2745.54 c GLOBAL bounds - >= 9234 @ 2667.48
2733.49/2745.64 c GLOBAL bounds - >= 9234 @ 2667.53
2733.59/2745.73 c GLOBAL bounds - >= 9234 @ 2667.57
2733.70/2745.82 c GLOBAL bounds - >= 9234 @ 2667.62
2733.79/2745.91 c GLOBAL bounds - >= 9234 @ 2667.66
2733.79/2746.00 c GLOBAL bounds - >= 9234 @ 2667.7
2733.90/2746.09 c GLOBAL bounds - >= 9234 @ 2667.74
2734.01/2746.19 c GLOBAL bounds - >= 9234 @ 2667.8
2734.19/2746.31 c #Conflicts: 686000 | #Constraints: 31278
2734.19/2746.31 c GLOBAL bounds - >= 9234 @ 2667.86
2734.29/2746.43 c GLOBAL bounds - >= 9234 @ 2667.93
2734.39/2746.52 c GLOBAL bounds - >= 9234 @ 2667.97
2736.00/2748.17 c GLOBAL bounds - >= 9234 @ 2669.55
2771.45/2783.70 c #Conflicts: 687000 | #Constraints: 32278
2771.45/2783.70 c #Conflicts: 688000 | #Constraints: 33278
2771.45/2783.70 c INPROCESSING
2771.45/2783.70 c GARBAGE COLLECT
2771.45/2783.70 c #Conflicts: 689000 | #Constraints: 17871
2771.45/2783.70 c #Conflicts: 690000 | #Constraints: 18871
2771.45/2783.70 c #Conflicts: 691000 | #Constraints: 19871
2771.45/2783.70 c #Conflicts: 692000 | #Constraints: 20871
2771.45/2783.70 c #Conflicts: 693000 | #Constraints: 21871
2771.45/2783.70 c #Conflicts: 694000 | #Constraints: 22871
2771.45/2783.70 c GLOBAL bounds - >= 9234 @ 2704.16
2771.45/2783.71 c GLOBAL bounds - >= 9234 @ 2704.17
2771.45/2783.73 c GLOBAL bounds - >= 9234 @ 2704.18
2771.45/2783.74 c GLOBAL bounds - >= 9234 @ 2704.18
2771.45/2783.75 c GLOBAL bounds - >= 9234 @ 2704.19
2771.45/2783.77 c GLOBAL bounds - >= 9234 @ 2704.2
2771.45/2783.78 c GLOBAL bounds - >= 9234 @ 2704.2
2771.45/2783.79 c GLOBAL bounds - >= 9234 @ 2704.2
2771.56/2783.80 c GLOBAL bounds - >= 9234 @ 2704.21
2772.95/2785.24 c #Conflicts: 695000 | #Constraints: 23877
2772.95/2785.24 c GLOBAL bounds - >= 9234 @ 2705.57
2772.95/2785.25 c GLOBAL bounds - >= 9234 @ 2705.58
2773.05/2785.34 c GLOBAL bounds - >= 9234 @ 2705.62
2773.05/2785.36 c GLOBAL bounds - >= 9234 @ 2705.62
2773.25/2785.51 c GLOBAL bounds - >= 9234 @ 2705.72
2773.25/2785.52 c GLOBAL bounds - >= 9234 @ 2705.72
2773.35/2785.60 c GLOBAL bounds - >= 9234 @ 2705.75
2773.35/2785.62 c GLOBAL bounds - >= 9234 @ 2705.76
2773.45/2785.70 c GLOBAL bounds - >= 9234 @ 2705.79
2773.45/2785.71 c GLOBAL bounds - >= 9234 @ 2705.8
2773.55/2785.80 c GLOBAL bounds - >= 9234 @ 2705.84
2773.55/2785.81 c GLOBAL bounds - >= 9234 @ 2705.84
2773.65/2785.90 c GLOBAL bounds - >= 9234 @ 2705.88
2773.65/2785.91 c GLOBAL bounds - >= 9234 @ 2705.89
2773.65/2786.00 c GLOBAL bounds - >= 9234 @ 2705.93
2773.76/2786.02 c GLOBAL bounds - >= 9234 @ 2705.94
2773.76/2786.10 c GLOBAL bounds - >= 9234 @ 2705.97
2773.85/2786.11 c GLOBAL bounds - >= 9234 @ 2705.98
2773.94/2786.20 c GLOBAL bounds - >= 9234 @ 2706.02
2773.94/2786.29 c GLOBAL bounds - >= 9234 @ 2706.06
2774.04/2786.38 c GLOBAL bounds - >= 9234 @ 2706.11
2774.14/2786.47 c GLOBAL bounds - >= 9234 @ 2706.15
2774.25/2786.55 c GLOBAL bounds - >= 9234 @ 2706.19
2774.34/2786.65 c GLOBAL bounds - >= 9234 @ 2706.23
2774.44/2786.74 c GLOBAL bounds - >= 9234 @ 2706.27
2774.54/2786.83 c GLOBAL bounds - >= 9234 @ 2706.31
2774.64/2786.92 c GLOBAL bounds - >= 9234 @ 2706.35
2774.64/2787.01 c GLOBAL bounds - >= 9234 @ 2706.39
2774.86/2787.11 c GLOBAL bounds - >= 9234 @ 2706.45
3107.34/3121.06 c #Conflicts: 696000 | #Constraints: 24906
3107.34/3121.06 c #Conflicts: 697000 | #Constraints: 25906
3107.34/3121.06 c #Conflicts: 698000 | #Constraints: 26906
3107.34/3121.06 c #Conflicts: 699000 | #Constraints: 27906
3107.34/3121.06 c #Conflicts: 700000 | #Constraints: 28906
3107.34/3121.06 c #Conflicts: 701000 | #Constraints: 29906
3107.34/3121.06 c #Conflicts: 702000 | #Constraints: 30906
3107.34/3121.06 c #Conflicts: 703000 | #Constraints: 31906
3107.34/3121.06 c #Conflicts: 704000 | #Constraints: 32906
3107.34/3121.06 c #Conflicts: 705000 | #Constraints: 33906
3107.34/3121.06 c INPROCESSING
3107.34/3121.06 c GARBAGE COLLECT
3107.34/3121.06 c #Conflicts: 706000 | #Constraints: 18302
3107.34/3121.06 c #Conflicts: 707000 | #Constraints: 19302
3107.34/3121.06 c #Conflicts: 708000 | #Constraints: 20302
3107.34/3121.06 c #Conflicts: 709000 | #Constraints: 21302
3107.34/3121.06 c #Conflicts: 710000 | #Constraints: 22302
3107.34/3121.06 c #Conflicts: 711000 | #Constraints: 23302
3107.34/3121.06 c #Conflicts: 712000 | #Constraints: 24302
3107.34/3121.06 c #Conflicts: 713000 | #Constraints: 25302
3107.34/3121.06 c #Conflicts: 714000 | #Constraints: 26302
3107.34/3121.06 c #Conflicts: 715000 | #Constraints: 27302
3107.34/3121.06 c #Conflicts: 716000 | #Constraints: 28302
3107.34/3121.06 c #Conflicts: 717000 | #Constraints: 29302
3107.34/3121.06 c #Conflicts: 718000 | #Constraints: 30302
3107.34/3121.06 c #Conflicts: 719000 | #Constraints: 31302
3107.34/3121.06 c #Conflicts: 720000 | #Constraints: 32302
3107.34/3121.06 c #Conflicts: 721000 | #Constraints: 33302
3107.34/3121.06 c #Conflicts: 722000 | #Constraints: 34302
3107.34/3121.06 c INPROCESSING
3107.34/3121.06 c GARBAGE COLLECT
3107.34/3121.06 c #Conflicts: 723000 | #Constraints: 18501
3107.34/3121.06 c #Conflicts: 724000 | #Constraints: 19501
3107.34/3121.06 c #Conflicts: 725000 | #Constraints: 20501
3107.34/3121.06 c #Conflicts: 726000 | #Constraints: 21501
3107.34/3121.06 c #Conflicts: 727000 | #Constraints: 22501
3107.34/3121.06 c #Conflicts: 728000 | #Constraints: 23501
3107.34/3121.06 c #Conflicts: 729000 | #Constraints: 24501
3107.34/3121.06 c #Conflicts: 730000 | #Constraints: 25501
3107.34/3121.06 c #Conflicts: 731000 | #Constraints: 26501
3107.34/3121.06 c #Conflicts: 732000 | #Constraints: 27501
3107.34/3121.06 c #Conflicts: 733000 | #Constraints: 28501
3107.34/3121.06 c #Conflicts: 734000 | #Constraints: 29501
3107.34/3121.06 c #Conflicts: 735000 | #Constraints: 30501
3107.34/3121.06 c #Conflicts: 736000 | #Constraints: 31501
3107.34/3121.06 c #Conflicts: 737000 | #Constraints: 32501
3107.34/3121.06 c #Conflicts: 738000 | #Constraints: 33501
3107.34/3121.06 c #Conflicts: 739000 | #Constraints: 34501
3107.34/3121.06 c INPROCESSING
3107.34/3121.06 c GARBAGE COLLECT
3107.34/3121.06 c #Conflicts: 740000 | #Constraints: 18510
3107.34/3121.06 c #Conflicts: 741000 | #Constraints: 19510
3107.34/3121.06 c #Conflicts: 742000 | #Constraints: 20510
3107.34/3121.06 c #Conflicts: 743000 | #Constraints: 21510
3107.34/3121.06 c #Conflicts: 744000 | #Constraints: 22510
3107.34/3121.06 c #Conflicts: 745000 | #Constraints: 23510
3107.34/3121.06 c #Conflicts: 746000 | #Constraints: 24510
3107.34/3121.06 c #Conflicts: 747000 | #Constraints: 25510
3107.34/3121.06 c #Conflicts: 748000 | #Constraints: 26510
3107.34/3121.06 c #Conflicts: 749000 | #Constraints: 27510
3107.34/3121.06 c #Conflicts: 750000 | #Constraints: 28510
3107.34/3121.06 c #Conflicts: 751000 | #Constraints: 29510
3107.34/3121.06 c #Conflicts: 752000 | #Constraints: 30510
3107.34/3121.06 c #Conflicts: 753000 | #Constraints: 31510
3107.34/3121.06 c #Conflicts: 754000 | #Constraints: 32510
3107.34/3121.06 c #Conflicts: 755000 | #Constraints: 33510
3107.34/3121.06 c #Conflicts: 756000 | #Constraints: 34510
3107.34/3121.06 c INPROCESSING
3107.34/3121.06 c GARBAGE COLLECT
3107.34/3121.06 c #Conflicts: 757000 | #Constraints: 18303
3107.34/3121.06 c #Conflicts: 758000 | #Constraints: 19303
3107.34/3121.06 c #Conflicts: 759000 | #Constraints: 20303
3107.34/3121.06 c #Conflicts: 760000 | #Constraints: 21303
3107.34/3121.06 c #Conflicts: 761000 | #Constraints: 22303
3107.34/3121.06 c #Conflicts: 762000 | #Constraints: 23303
3107.34/3121.06 c #Conflicts: 763000 | #Constraints: 24303
3107.34/3121.06 c #Conflicts: 764000 | #Constraints: 25303
3107.34/3121.06 c #Conflicts: 765000 | #Constraints: 26303
3107.34/3121.06 c #Conflicts: 766000 | #Constraints: 27303
3107.34/3121.06 c #Conflicts: 767000 | #Constraints: 28303
3107.34/3121.06 c #Conflicts: 768000 | #Constraints: 29303
3107.34/3121.06 c #Conflicts: 769000 | #Constraints: 30303
3107.34/3121.06 c #Conflicts: 770000 | #Constraints: 31303
3107.34/3121.06 c #Conflicts: 771000 | #Constraints: 32303
3107.34/3121.06 c #Conflicts: 772000 | #Constraints: 33303
3421.72/3436.61 c #Conflicts: 773000 | #Constraints: 34303
3421.72/3436.61 c #Conflicts: 774000 | #Constraints: 35303
3421.72/3436.61 c INPROCESSING
3421.72/3436.61 c GARBAGE COLLECT
3421.72/3436.61 c #Conflicts: 775000 | #Constraints: 18891
3421.72/3436.61 c #Conflicts: 776000 | #Constraints: 19891
3421.72/3436.61 c #Conflicts: 777000 | #Constraints: 20891
3421.72/3436.61 c #Conflicts: 778000 | #Constraints: 21891
3421.72/3436.61 c #Conflicts: 779000 | #Constraints: 22891
3421.72/3436.61 c #Conflicts: 780000 | #Constraints: 23891
3421.72/3436.61 c #Conflicts: 781000 | #Constraints: 24891
3421.72/3436.61 c #Conflicts: 782000 | #Constraints: 25891
3421.72/3436.61 c #Conflicts: 783000 | #Constraints: 26891
3421.72/3436.61 c #Conflicts: 784000 | #Constraints: 27891
3421.72/3436.61 c #Conflicts: 785000 | #Constraints: 28891
3421.72/3436.61 c #Conflicts: 786000 | #Constraints: 29891
3421.72/3436.61 c #Conflicts: 787000 | #Constraints: 30891
3421.72/3436.61 c #Conflicts: 788000 | #Constraints: 31891
3421.72/3436.61 c #Conflicts: 789000 | #Constraints: 32891
3421.72/3436.61 c #Conflicts: 790000 | #Constraints: 33891
3421.72/3436.61 c #Conflicts: 791000 | #Constraints: 34891
3421.72/3436.61 c #Conflicts: 792000 | #Constraints: 35891
3421.72/3436.61 c INPROCESSING
3421.72/3436.61 c GARBAGE COLLECT
3421.72/3436.61 c #Conflicts: 793000 | #Constraints: 19294
3421.72/3436.61 c #Conflicts: 794000 | #Constraints: 20294
3421.72/3436.61 c #Conflicts: 795000 | #Constraints: 21294
3421.72/3436.61 c #Conflicts: 796000 | #Constraints: 22294
3421.72/3436.61 c #Conflicts: 797000 | #Constraints: 23294
3421.72/3436.61 c #Conflicts: 798000 | #Constraints: 24294
3421.72/3436.61 c #Conflicts: 799000 | #Constraints: 25294
3421.72/3436.61 c #Conflicts: 800000 | #Constraints: 26294
3421.72/3436.61 c #Conflicts: 801000 | #Constraints: 27294
3421.72/3436.61 c #Conflicts: 802000 | #Constraints: 28294
3421.72/3436.61 c #Conflicts: 803000 | #Constraints: 29294
3421.72/3436.61 c #Conflicts: 804000 | #Constraints: 30294
3421.72/3436.61 c #Conflicts: 805000 | #Constraints: 31294
3421.72/3436.61 c #Conflicts: 806000 | #Constraints: 32294
3421.72/3436.61 c #Conflicts: 807000 | #Constraints: 33294
3421.72/3436.61 c #Conflicts: 808000 | #Constraints: 34294
3421.72/3436.61 c #Conflicts: 809000 | #Constraints: 35294
3421.72/3436.61 c #Conflicts: 810000 | #Constraints: 36294
3421.72/3436.61 c INPROCESSING
3421.72/3436.61 c GARBAGE COLLECT
3421.72/3436.61 c #Conflicts: 811000 | #Constraints: 19495
3421.72/3436.61 c #Conflicts: 812000 | #Constraints: 20495
3421.72/3436.61 c #Conflicts: 813000 | #Constraints: 21495
3421.72/3436.61 c #Conflicts: 814000 | #Constraints: 22495
3421.72/3436.61 c #Conflicts: 815000 | #Constraints: 23495
3421.72/3436.61 c #Conflicts: 816000 | #Constraints: 24495
3421.72/3436.61 c #Conflicts: 817000 | #Constraints: 25495
3421.72/3436.61 c #Conflicts: 818000 | #Constraints: 26495
3421.72/3436.61 c #Conflicts: 819000 | #Constraints: 27495
3421.72/3436.61 c #Conflicts: 820000 | #Constraints: 28495
3421.72/3436.61 c #Conflicts: 821000 | #Constraints: 29495
3421.72/3436.61 c #Conflicts: 822000 | #Constraints: 30495
3421.72/3436.61 c #Conflicts: 823000 | #Constraints: 31495
3421.72/3436.61 c #Conflicts: 824000 | #Constraints: 32495
3421.72/3436.61 c #Conflicts: 825000 | #Constraints: 33495
3421.72/3436.61 c #Conflicts: 826000 | #Constraints: 34495
3421.72/3436.61 c #Conflicts: 827000 | #Constraints: 35495
3421.72/3436.61 c #Conflicts: 828000 | #Constraints: 36495
3421.72/3436.61 c INPROCESSING
3421.72/3436.61 c GARBAGE COLLECT
3421.72/3436.61 c #Conflicts: 829000 | #Constraints: 19499
3421.72/3436.61 c #Conflicts: 830000 | #Constraints: 20499
3421.72/3436.61 c #Conflicts: 831000 | #Constraints: 21499
3421.72/3436.61 c #Conflicts: 832000 | #Constraints: 22499
3421.72/3436.61 c #Conflicts: 833000 | #Constraints: 23499
3421.72/3436.61 c #Conflicts: 834000 | #Constraints: 24499
3421.72/3436.61 c #Conflicts: 835000 | #Constraints: 25499
3421.72/3436.61 c #Conflicts: 836000 | #Constraints: 26499
3421.72/3436.61 c #Conflicts: 837000 | #Constraints: 27499
3421.72/3436.61 c #Conflicts: 838000 | #Constraints: 28499
3421.72/3436.61 c #Conflicts: 839000 | #Constraints: 29499
3421.72/3436.61 c #Conflicts: 840000 | #Constraints: 30499
3421.72/3436.61 c #Conflicts: 841000 | #Constraints: 31499
3421.72/3436.61 c #Conflicts: 842000 | #Constraints: 32499
3421.72/3436.61 c #Conflicts: 843000 | #Constraints: 33499
3421.72/3436.61 c #Conflicts: 844000 | #Constraints: 34499
3421.72/3436.61 c #Conflicts: 845000 | #Constraints: 35499
3421.72/3436.61 c #Conflicts: 846000 | #Constraints: 36499
3421.72/3436.61 c INPROCESSING
3421.72/3436.61 c GARBAGE COLLECT
3421.72/3436.61 c #Conflicts: 847000 | #Constraints: 19291
3600.09/3615.73 c #Conflicts: 848000 | #Constraints: 20291
3600.09/3615.73 c #Conflicts: 849000 | #Constraints: 21291
3600.09/3615.73 c #Conflicts: 850000 | #Constraints: 22291
3600.09/3615.73 c #Conflicts: 851000 | #Constraints: 23291
3600.09/3615.73 c #Conflicts: 852000 | #Constraints: 24291
3600.09/3615.73 c #Conflicts: 853000 | #Constraints: 25291
3600.09/3615.73 c #Conflicts: 854000 | #Constraints: 26291
3600.09/3615.73 c #Conflicts: 855000 | #Constraints: 27291
3600.09/3615.73 c #Conflicts: 856000 | #Constraints: 28291
3600.09/3615.73 c #Conflicts: 857000 | #Constraints: 29291
3600.09/3615.73 c #Conflicts: 858000 | #Constraints: 30291
3600.09/3615.73 c #Conflicts: 859000 | #Constraints: 31291
3600.09/3615.73 c #Conflicts: 860000 | #Constraints: 32291
3600.09/3615.73 c #Conflicts: 861000 | #Constraints: 33291
3600.09/3615.73 c #Conflicts: 862000 | #Constraints: 34291
3600.09/3615.73 c #Conflicts: 863000 | #Constraints: 35291
3600.09/3615.73 c #Conflicts: 864000 | #Constraints: 36291
3600.09/3615.73 c #Conflicts: 865000 | #Constraints: 37291
3600.09/3615.73 c INPROCESSING
3600.09/3615.73 c GARBAGE COLLECT
3600.09/3615.73 c #Conflicts: 866000 | #Constraints: 19892
3600.09/3615.73 c #Conflicts: 867000 | #Constraints: 20892
3600.09/3615.73 c #Conflicts: 868000 | #Constraints: 21892
3600.09/3615.73 c #Conflicts: 869000 | #Constraints: 22892
3600.09/3615.73 c #Conflicts: 870000 | #Constraints: 23892
3600.09/3615.73 c #Conflicts: 871000 | #Constraints: 24892
3600.09/3615.73 c #Conflicts: 872000 | #Constraints: 25892
3600.09/3615.73 c #Conflicts: 873000 | #Constraints: 26892
3600.09/3615.73 c #Conflicts: 874000 | #Constraints: 27892
3600.09/3615.73 c #Conflicts: 875000 | #Constraints: 28892
3600.09/3615.73 c #Conflicts: 876000 | #Constraints: 29892
3600.09/3615.73 c #Conflicts: 877000 | #Constraints: 30892
3600.09/3615.73 c #Conflicts: 878000 | #Constraints: 31892
3600.09/3615.73 c #Conflicts: 879000 | #Constraints: 32892
3600.09/3615.73 c #Conflicts: 880000 | #Constraints: 33892
3600.09/3615.73 c #Conflicts: 881000 | #Constraints: 34892
3600.09/3615.73 c #Conflicts: 882000 | #Constraints: 35892
3600.09/3615.73 c #Conflicts: 883000 | #Constraints: 36892
3600.09/3615.73 c #Conflicts: 884000 | #Constraints: 37892
3600.09/3615.73 c INPROCESSING
3600.09/3615.73 c GARBAGE COLLECT
3600.09/3615.73 c #Conflicts: 885000 | #Constraints: 20299
3600.09/3615.73 c #Conflicts: 886000 | #Constraints: 21299
3600.09/3615.73 c #Conflicts: 887000 | #Constraints: 22299
3600.09/3615.73 c #Conflicts: 888000 | #Constraints: 23299
3600.09/3615.73 c #Conflicts: 889000 | #Constraints: 24299
3600.09/3615.73 c cpu time 3517.44 s
3600.09/3615.73 c deterministic time 32792141 3.28e+07
3600.09/3615.73 c optimization time 3511.55 s
3600.09/3615.73 c total solve time 3.43212 s
3600.09/3615.73 c core-guided solve time 0 s
3600.09/3615.73 c propagation time 2.15662 s
3600.09/3615.73 c conflict analysis time 0.352563 s
3600.09/3615.73 c propagations 5108047
3600.09/3615.73 c resolve steps 38272
3600.09/3615.73 c decisions 6462871
3600.09/3615.73 c conflicts 1043
3600.09/3615.73 c restarts 6
3600.09/3615.73 c inprocessing phases 0
3600.09/3615.73 c garbage collections 0 ,( -nan )
3600.09/3615.73 c input clauses 274896 ,( 99.96 )
3600.09/3615.73 c input cardinalities 0 ,( 0.00 )
3600.09/3615.73 c input general constraints 104 ,( 0.04 )
3600.09/3615.73 c input average constraint length 6.10
3600.09/3615.73 c input average constraint degree 916.78
3600.09/3615.73 c learned clauses 1092 ,( 100.00 )
3600.09/3615.73 c learned cardinalities 0 ,( 0.00 )
3600.09/3615.73 c learned general constraints 0 ,( 0.00 )
3600.09/3615.73 c learned average constraint length 58.17
3600.09/3615.73 c learned average constraint degree 1.00
3600.09/3615.73 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3615.73 c counting CF 32, 64, 128, Arb: 105 , 0 , 0 , 0
3600.09/3615.73 c watched constraints 0 ,( 0.00 )
3600.09/3615.73 c counting constraints 104 ,( 100.00 )
3600.09/3615.73 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3021110 , 0 , 491487 ,( 0 , 491487 )
3600.09/3615.73 c gcd simplifications 0
3600.09/3615.73 c detected cardinalities 0
3600.09/3615.73 c weakened non-implied lits 0
3600.09/3615.73 c weakened non-implying lits 0
3600.09/3615.73 c original variables 79975
3600.09/3615.73 c clausal propagations 2876230
3600.09/3615.73 c cardinality propagations 0
3600.09/3615.73 c watched propagations 0
3600.09/3615.73 c counting propagations 22081
3600.09/3615.73 c watch lookups 3979833
3600.09/3615.73 c watch backjump lookups 0
3600.09/3615.73 c watch checks 2511502
3600.09/3615.73 c propagation checks 2922052
3600.09/3615.73 c constraint additions 277092
3600.09/3615.73 c trail pops 11527743
3600.09/3615.73 c formula constraints 274426
3600.09/3615.73 c learned constraints 1092
3600.09/3615.73 c bound constraints 0
3600.09/3615.73 c core-guided constraints 0
3600.09/3615.73 c encountered formula constraints 37870
3600.09/3615.73 c encountered learned constraints 1445
3600.09/3615.73 c encountered bound constraints 0
3600.09/3615.73 c encountered core-guided constraints 0
3600.09/3615.73 c LP total time 1.51225 s
3600.09/3615.73 c LP solve time 1.38 s
3600.09/3615.73 c LP constraints added 274426
3600.09/3615.73 c LP constraints removed 0
3600.09/3615.73 c LP pivots internal 2000
3600.09/3615.73 c LP pivots root 1000
3600.09/3615.73 c LP calls 2
3600.09/3615.73 c LP optimalities 0
3600.09/3615.73 c LP no pivot count 0
3600.09/3615.73 c LP infeasibilities 0
3600.09/3615.73 c LP valid Farkas constraints 0
3600.09/3615.73 c LP learned Farkas constraints 0
3600.09/3615.73 c LP basis resets 0
3600.09/3615.73 c LP cycling count 0
3600.09/3615.73 c LP singular count 0
3600.09/3615.73 c LP no primal count 0
3600.09/3615.73 c LP no farkas count 0
3600.09/3615.73 c LP other issue count 0
3600.09/3615.73 c LP Gomory cuts 0
3600.09/3615.73 c LP learned cuts 0
3600.09/3615.73 c LP deleted cuts 0
3600.09/3615.73 c LP encountered Gomory constraints 0
3600.09/3615.73 c LP encountered Farkas constraints 0
3600.09/3615.73 c LP encountered learned Farkas constraints 0
3600.09/3615.73 c CG auxiliary variables introduced 139
3600.09/3615.73 c CG solutions found 0
3600.09/3615.73 c CG cores constructed 336
3600.09/3615.73 c CG core cardinality constraints returned 0
3600.09/3615.73 c CG unit cores 0
3600.09/3615.73 c CG single cores 0
3600.09/3615.73 c CG blocks removed during cardinality reduction 0
3600.09/3615.73 c CG first core best 0
3600.09/3615.73 c CG decision core best 0
3600.09/3615.73 c CG core reduction tie 0
3600.09/3615.73 c CG core degree average 0.00
3600.09/3615.73 c CG core slack average 0.00
3600.09/3615.73 c CG core upper bound improvements 0
3600.09/3615.73 c STR number of successful calls 0
3600.09/3615.73 c STR number of unsuccessful calls 0
3600.09/3615.73 c STR number of inconclusive calls 0
3600.09/3615.73 c STR number of successful attempts 0
3600.09/3615.73 c STR number of unsuccessful attempts 0
3600.09/3615.73 c STR number of inconclusive attempts 0
3600.09/3615.73 c STR average degree increase per successful call inf
3600.09/3615.73 c STR average degree increase per successful attempt inf
3600.09/3615.73 c STR total number of conflicts for successful attempts 0
3600.09/3615.73 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3615.73 c STR total number of conflicts for inconclusive attempts 0
3600.09/3615.73 c STR average number of conflicts per successful attempt inf
3600.09/3615.73 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3615.73 c STR average number of conflicts per inconclusive attempt inf
3600.09/3615.73 c AVG.sumWPerc 99.84
3600.09/3615.73 c bigint constraints 0
3600.09/3615.73 s UNKNOWN
3600.09/3615.73 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61924 MiB free)
memory of node 1: 64465 MiB (63044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506597-1751505026/watcher-4506597-1751505026 -o /tmp/evaluation-result-4506597-1751505026/solver-4506597-1751505026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69617 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506597-1751505026.opb PROOFDIR/proof-4506597-1751505026
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70116, runsolver pid=70113
[startup+0.100096 s]*
/proc/loadavg: 4.10 4.10 4.09 4/260 70118
/proc/meminfo: memFree=127965012/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=50796 memory=7424 CPUtime=0 cores=5,7
/proc/70118/stat : 70118 (roundingsat) D 70116 70116 69604 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 66181793 52015104 1856 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.212747 s]*
/proc/loadavg: 4.10 4.10 4.09 4/260 70118
/proc/meminfo: memFree=127952916/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=50796 memory=7424 CPUtime=0 cores=5,7
/proc/70118/stat : 70118 (roundingsat) D 70116 70116 69604 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 66181793 52015104 1856 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.313337 s]*
/proc/loadavg: 4.10 4.10 4.09 4/260 70118
/proc/meminfo: memFree=127944852/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=50796 memory=7424 CPUtime=0 cores=5,7
/proc/70118/stat : 70118 (roundingsat) D 70116 70116 69604 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 66181793 52015104 1856 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.700315 s]
/proc/loadavg: 4.10 4.10 4.09 4/260 70118
/proc/meminfo: memFree=127941072/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=50796 memory=7424 CPUtime=0 cores=5,7
/proc/70118/stat : 70118 (roundingsat) D 70116 70116 69604 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 66181793 52015104 1856 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+1.50035 s]
/proc/loadavg: 4.10 4.10 4.09 4/260 70118
/proc/meminfo: memFree=127896596/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=74308 memory=29384 CPUtime=0.27 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 3983 0 0 0 21 6 0 0 20 0 1 0 66181793 76091392 7346 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 18577 7346 1952 1147 0 6004 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 78500 KiB
Current children cumulated memory: 32200 KiB
[startup+3.11318 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 70118
/proc/meminfo: memFree=127578228/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=102420 memory=56084 CPUtime=1.87 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 10166 0 0 0 161 26 0 0 20 0 1 0 66181793 104878080 14021 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 25605 14021 1952 1147 0 13032 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 106612 KiB
Current children cumulated memory: 58900 KiB
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 70118
/proc/meminfo: memFree=127013268/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=582936 memory=393448 CPUtime=5.06 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 47640 0 0 0 429 77 0 0 20 0 1 0 66181793 596926464 98362 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 145734 98362 2368 1147 0 133161 0
Current children cumulated CPU time: 5.06 s
Current children cumulated vsize: 587128 KiB
Current children cumulated memory: 396264 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 70118
/proc/meminfo: memFree=126524568/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=656644 memory=463428 CPUtime=11.44 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 57782 0 0 0 703 441 0 0 20 0 1 0 66181793 672403456 115857 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 164161 115857 2368 1147 0 151588 0
Current children cumulated CPU time: 11.44 s
Current children cumulated vsize: 660836 KiB
Current children cumulated memory: 466244 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.09 4.09 5/260 70119
/proc/meminfo: memFree=125078660/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=1160540 memory=909428 CPUtime=24.21 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 138114 0 0 0 1462 959 0 0 20 0 1 0 66181793 1188392960 227357 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 290135 227357 2368 1147 0 277562 0
Current children cumulated CPU time: 24.21 s
Current children cumulated vsize: 1164732 KiB
Current children cumulated memory: 912244 KiB
[startup+51.1135 s]
/proc/loadavg: 4.10 4.10 4.09 5/261 70121
/proc/meminfo: memFree=122092376/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=1506396 memory=1157272 CPUtime=49.75 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 192946 0 0 0 3946 1029 0 0 20 0 1 0 66181793 1542549504 289318 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 376599 289318 2368 1147 0 364026 0
Current children cumulated CPU time: 49.75 s
Current children cumulated vsize: 1510588 KiB
Current children cumulated memory: 1160088 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 70125
/proc/meminfo: memFree=115707972/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=1644096 memory=1330244 CPUtime=100.76 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 216779 0 0 0 8963 1113 0 0 20 0 1 0 66181793 1683554304 332561 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 411024 332561 2368 1147 0 398451 0
Current children cumulated CPU time: 100.76 s
Current children cumulated vsize: 1648288 KiB
Current children cumulated memory: 1333060 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 70126
/proc/meminfo: memFree=109222204/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=2535572 memory=1871400 CPUtime=160.49 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 329139 0 0 0 14820 1229 0 0 20 0 1 0 66181793 2596425728 467850 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 633893 467850 2368 1147 0 621320 0
Current children cumulated CPU time: 160.49 s
Current children cumulated vsize: 2539764 KiB
Current children cumulated memory: 1874216 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 70128
/proc/meminfo: memFree=102638856/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=2539156 memory=1929780 CPUtime=220.27 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 337079 0 0 0 20715 1312 0 0 20 0 1 0 66181793 2600095744 482445 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
################
# More data... #
################
Current children cumulated vsize: 7570220 KiB
Current children cumulated memory: 5811924 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.20 4.24 5/281 70333
/proc/meminfo: memFree=1447228/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=7578784 memory=6054296 CPUtime=3268.06 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 2568245 0 0 0 319088 7718 0 0 20 0 1 0 66181793 7760674816 1513574 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 1894696 1513574 2368 1147 0 1882123 0
Current children cumulated CPU time: 3268.06 s
Current children cumulated vsize: 7582976 KiB
Current children cumulated memory: 6057112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.19 4.23 5/281 70337
/proc/meminfo: memFree=1417016/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=7578784 memory=6054552 CPUtime=3327.85 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 2607721 0 0 0 324980 7805 0 0 20 0 1 0 66181793 7760674816 1513638 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 1894696 1513638 2368 1147 0 1882123 0
Current children cumulated CPU time: 3327.85 s
Current children cumulated vsize: 7582976 KiB
Current children cumulated memory: 6057368 KiB
[startup+3402.3 s]
/proc/loadavg: 4.54 4.28 4.26 5/280 70339
/proc/meminfo: memFree=1587288/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=7578784 memory=6054680 CPUtime=3387.54 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 2735195 0 0 0 330849 7905 0 0 20 0 1 0 66181793 7760674816 1513670 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 1894696 1513670 2368 1147 0 1882123 0
Current children cumulated CPU time: 3387.54 s
Current children cumulated vsize: 7582976 KiB
Current children cumulated memory: 6057496 KiB
[startup+3462.3 s]
/proc/loadavg: 4.71 4.40 4.30 5/275 70341
/proc/meminfo: memFree=1725548/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=7578784 memory=6054680 CPUtime=3447.32 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 2838068 0 0 0 336730 8002 0 0 20 0 1 0 66181793 7760674816 1513670 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 1894696 1513670 2368 1147 0 1882123 0
Current children cumulated CPU time: 3447.32 s
Current children cumulated vsize: 7582976 KiB
Current children cumulated memory: 6057496 KiB
[startup+3522.3 s]
/proc/loadavg: 4.47 4.38 4.30 5/262 70343
/proc/meminfo: memFree=1597532/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=7593120 memory=6106392 CPUtime=3507.13 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 3048955 0 0 0 342607 8106 0 0 20 0 1 0 66181793 7775354880 1526598 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 1898280 1526598 2368 1147 0 1885707 0
Current children cumulated CPU time: 3507.13 s
Current children cumulated vsize: 7597312 KiB
Current children cumulated memory: 6109208 KiB
[startup+3582.3 s]
/proc/loadavg: 4.30 4.34 4.29 5/261 70350
/proc/meminfo: memFree=1540784/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=7593120 memory=6106776 CPUtime=3566.91 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 3097001 0 0 0 348485 8206 0 0 20 0 1 0 66181793 7775354880 1526694 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 1898280 1526694 2368 1147 0 1885707 0
Current children cumulated CPU time: 3566.91 s
Current children cumulated vsize: 7597312 KiB
Current children cumulated memory: 6109592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.7 s]
/proc/loadavg: 4.56 4.39 4.31 4/249 70450
/proc/meminfo: memFree=31093300/131382120 swapFree=33010160/33010684
[pid=70116] ppid=70113 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/70116/stat : 70116 (run-opt-log.sh) S 70113 70116 69604 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66181792 4292608 704 18446744073709551615 93939936911360 93939937805893 140728751936720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939938044944 93939938092688 93939938328576 140728751941921 140728751942116 140728751942116 140728751947718 0
/proc/70116/statm: 1048 704 672 219 0 110 0
[pid=70118] ppid=70116 vsize=7593120 memory=6106904 CPUtime=3600.09 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70116 70116 69604 0 -1 4194304 3122369 0 0 0 351744 8265 0 0 20 0 1 0 66181793 7775354880 1526726 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 1898280 1526726 2368 1147 0 1885707 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 7597312 KiB
Current children cumulated memory: 6109720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.71 s]
# the end of solver process 70116 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001588 s, system=0.003227 s
[startup+3617.48 s]
# the end of solver process 70118 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3517.51 s, system=83.3937 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+3616 s]*
/proc/loadavg: 4.52 4.39 4.31 3/248 70450
/proc/meminfo: memFree=33454904/131382120 swapFree=33010160/33010684
[pid=70118] ppid=70113 vsize=7593120 memory=6107288 CPUtime=3600.18 cores=5,7
/proc/70118/stat : 70118 (roundingsat) D 70113 70116 69604 0 -1 4194304 3122375 0 1 0 351744 8274 0 0 20 0 1 0 66181793 7775354880 1526822 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 1898280 1526822 2464 1147 0 1885707 0
Current cumulated CPU time of completed processes: 0.004815 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 7593120 KiB
Current children cumulated memory: 6107288 KiB
[startup+3616.8 s]
/proc/loadavg: 4.52 4.39 4.31 3/248 70450
/proc/meminfo: memFree=33454904/131382120 swapFree=33010160/33010684
[pid=70118] ppid=70113 vsize=7593120 memory=6107288 CPUtime=3600.25 cores=5,7
/proc/70118/stat : 70118 (roundingsat) D 70113 70116 69604 0 -1 4194304 3122375 0 1 0 351744 8281 0 0 20 0 1 0 66181793 7775354880 1526822 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 1898280 1526822 2464 1147 0 1885707 0
Current cumulated CPU time of completed processes: 0.004815 s
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 7593120 KiB
Current children cumulated memory: 6107288 KiB
[startup+3617.2 s]
/proc/loadavg: 4.52 4.39 4.31 4/248 70450
/proc/meminfo: memFree=45308772/131382120 swapFree=33010160/33010684
[pid=70118] ppid=70113 vsize=3040532 memory=2395740 CPUtime=3600.63 cores=5,7
/proc/70118/stat : 70118 (roundingsat) R 70113 70116 69604 0 -1 4194304 3124548 0 1 0 351751 8312 0 0 20 0 1 0 66181793 3113504768 598935 18446744073709551615 4227072 8923433 140728745437088 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 24358912 140728745441618 140728745441832 140728745441832 140728745447402 0
/proc/70118/statm: 760133 598935 2464 1147 0 747560 0
Current cumulated CPU time of completed processes: 0.004815 s
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 3040532 KiB
Current children cumulated memory: 2395740 KiB
[startup+3617.41 s]
/proc/loadavg: 4.52 4.39 4.31 4/248 70450
/proc/meminfo: memFree=53176032/131382120 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.004815 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3617.48
CPU time (s): 3600.91
CPU user time (s): 3517.51
CPU system time (s): 83.3937
CPU usage (%): 99.5419
Max. virtual memory (cumulated for all children) (KiB): 7597312
Max. memory (cumulated for all children) (KiB): 6109720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3517.51
system time used= 83.3937
maximum resident set size= 6107288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3124772
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 145982408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18800
involuntary context switches= 32182
# summary of solver processes directly reported to runsolver:
# pid: 70116,70118
# total CPU time (s): 3600.91
# total CPU user time (s): 3517.51
# total CPU system time (s): 83.3937
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.795 second user time and 40.533 second system time
The end
Begin job on nodeC008 at 2025-07-03 03:10:27
IDJOB=4506597
IDBENCH=158244
IDSOLVER=3351
FILE ID=nodeC008/4506597-1751505026
RUNJOBID= nodeC008-1751501401-69617
SLURM_JOB_ID= 9598586
Free space on /tmp= 432536 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.G.recomb10-0.01-5.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506597-1751505026/watcher-4506597-1751505026 -o /tmp/evaluation-result-4506597-1751505026/solver-4506597-1751505026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69617 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506597-1751505026.opb PROOFDIR/proof-4506597-1751505026
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2fcb2c3eb5cc63f2f059b86c008c9f4a
RANDOM SEED=694378194
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.355
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.384
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.473
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.166
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.209
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1296.822
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127980196 kB
MemAvailable: 129105160 kB
Buffers: 2144 kB
Cached: 1921036 kB
SwapCached: 16 kB
Active: 1134448 kB
Inactive: 1689496 kB
Active(anon): 882128 kB
Inactive(anon): 36568 kB
Active(file): 252320 kB
Inactive(file): 1652928 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 310168 kB
Writeback: 4 kB
AnonPages: 904196 kB
Mapped: 114520 kB
Shmem: 17920 kB
KReclaimable: 118688 kB
Slab: 203840 kB
SReclaimable: 118688 kB
SUnreclaim: 85152 kB
KernelStack: 4176 kB
PageTables: 5028 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1403496 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 356352 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432648 MiB
End job on nodeC008 at 2025-07-03 04:10:44