0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 3300 #constraints 2573
0.00/0.03 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= -1407 @ 0.017996
0.00/0.05 c GLOBAL bounds - >= -1407 @ 0.026419
0.00/0.05 c GLOBAL bounds - >= -1407 @ 0.028998
0.00/0.06 c GLOBAL bounds - >= -1407 @ 0.030416
0.00/0.06 c GLOBAL bounds - >= -1407 @ 0.031988
0.00/0.06 c GLOBAL bounds - >= -1407 @ 0.033692
0.00/0.07 c GLOBAL bounds - >= -1407 @ 0.03507
0.00/0.07 c GLOBAL bounds - >= -1407 @ 0.037273
0.00/0.08 c GLOBAL bounds - >= -1407 @ 0.039907
0.00/0.08 c GLOBAL bounds - >= -1407 @ 0.041514
0.00/0.08 c GLOBAL bounds - >= -1407 @ 0.044109
0.00/0.09 c GLOBAL bounds - >= -1407 @ 0.045828
0.00/0.09 c GLOBAL bounds - >= -1407 @ 0.049232
0.00/0.09 c GLOBAL bounds - >= -1407 @ 0.050045
0.07/0.10 c GLOBAL bounds - >= -1407 @ 0.051977
0.07/0.11 c GLOBAL bounds - >= -1407 @ 0.053659
0.07/0.11 c GLOBAL bounds - >= -1407 @ 0.055536
0.07/0.11 c GLOBAL bounds - >= -1407 @ 0.057225
0.07/0.12 c GLOBAL bounds - >= -1407 @ 0.058088
0.07/0.12 c GLOBAL bounds - >= -1407 @ 0.059934
0.07/0.12 c GLOBAL bounds - >= -1407 @ 0.061592
0.07/0.13 c GLOBAL bounds - >= -1407 @ 0.065273
0.07/0.13 c GLOBAL bounds - >= -1407 @ 0.068123
0.07/0.14 c GLOBAL bounds - >= -1407 @ 0.071948
0.07/0.14 c GLOBAL bounds - >= -1407 @ 0.074014
0.07/0.14 c GLOBAL bounds - >= -1407 @ 0.076712
0.07/0.15 c GLOBAL bounds - >= -1407 @ 0.077891
0.07/0.15 c GLOBAL bounds - >= -1407 @ 0.079591
0.07/0.16 c GLOBAL bounds - >= -1407 @ 0.082581
0.07/0.16 c GLOBAL bounds - >= -1407 @ 0.085733
0.07/0.16 c GLOBAL bounds - >= -1407 @ 0.088871
0.07/0.17 c GLOBAL bounds - >= -1407 @ 0.090081
0.07/0.17 c GLOBAL bounds - >= -1407 @ 0.091567
0.07/0.18 c GLOBAL bounds - >= -1407 @ 0.094109
0.07/0.18 c GLOBAL bounds - >= -1407 @ 0.096218
0.07/0.19 c GLOBAL bounds - >= -1407 @ 0.097599
0.07/0.19 c GLOBAL bounds - >= -1407 @ 0.101424
0.07/0.19 c GLOBAL bounds - >= -1407 @ 0.103586
0.07/0.20 c GLOBAL bounds - >= -1407 @ 0.104927
0.07/0.20 c GLOBAL bounds - >= -1407 @ 0.106026
0.18/0.21 c GLOBAL bounds - >= -1407 @ 0.110139
0.18/0.21 c GLOBAL bounds - >= -1407 @ 0.111574
0.18/0.21 c GLOBAL bounds - >= -1407 @ 0.113613
0.18/0.22 c GLOBAL bounds - >= -1407 @ 0.116865
0.18/0.22 c GLOBAL bounds - >= -1407 @ 0.119169
0.18/0.23 c GLOBAL bounds - >= -1407 @ 0.121587
0.18/0.23 c GLOBAL bounds - >= -1407 @ 0.124813
0.18/0.24 c GLOBAL bounds - >= -1407 @ 0.128144
0.18/0.24 c GLOBAL bounds - >= -1407 @ 0.131621
0.18/0.24 c GLOBAL bounds - >= -1407 @ 0.135032
0.18/0.25 c GLOBAL bounds - >= -1407 @ 0.136697
0.18/0.25 c GLOBAL bounds - >= -1407 @ 0.138944
0.18/0.26 c GLOBAL bounds - >= -1407 @ 0.14128
0.18/0.26 c GLOBAL bounds - >= -1407 @ 0.144889
0.18/0.27 c GLOBAL bounds - >= -1407 @ 0.147561
0.18/0.27 c GLOBAL bounds - >= -1407 @ 0.151716
0.18/0.28 c GLOBAL bounds - >= -1407 @ 0.15526
0.18/0.28 c GLOBAL bounds - >= -1407 @ 0.158792
0.18/0.29 c GLOBAL bounds - >= -1407 @ 0.161553
0.18/0.29 c GLOBAL bounds - >= -1407 @ 0.166647
0.18/0.30 c GLOBAL bounds - >= -1407 @ 0.168663
0.18/0.30 c GLOBAL bounds - >= -1407 @ 0.171304
0.28/0.31 c GLOBAL bounds - >= -1407 @ 0.175467
0.28/0.31 c GLOBAL bounds - >= -1407 @ 0.17925
0.28/0.32 c GLOBAL bounds - >= -1407 @ 0.183996
0.28/0.32 c GLOBAL bounds - >= -1407 @ 0.186694
0.28/0.33 c GLOBAL bounds - >= -1407 @ 0.188521
0.28/0.33 c GLOBAL bounds - >= -1407 @ 0.1922
0.28/0.34 c GLOBAL bounds - >= -1407 @ 0.203456
0.28/0.35 c GLOBAL bounds - >= -1407 @ 0.215341
0.28/0.37 c GLOBAL bounds - >= -1407 @ 0.226173
0.28/0.38 c GLOBAL bounds - >= -1407 @ 0.235733
0.28/0.39 c GLOBAL bounds - >= -1407 @ 0.24591
0.28/0.40 c GLOBAL bounds - >= -1407 @ 0.255841
0.37/0.42 c GLOBAL bounds - >= -1407 @ 0.269944
0.37/0.43 c GLOBAL bounds - >= -1407 @ 0.280471
0.37/0.44 c GLOBAL bounds - >= -1407 @ 0.291636
0.37/0.45 c GLOBAL bounds - >= -1407 @ 0.300388
0.37/0.47 c GLOBAL bounds - >= -1407 @ 0.310912
0.37/0.48 c GLOBAL bounds - >= -1407 @ 0.31954
0.37/0.49 c GLOBAL bounds - >= -1407 @ 0.327772
0.37/0.49 c GLOBAL bounds - >= -1407 @ 0.337189
0.37/0.51 c GLOBAL bounds - >= -1407 @ 0.34531
0.47/0.51 c GLOBAL bounds - >= -1407 @ 0.353222
0.47/0.52 c GLOBAL bounds - >= -1407 @ 0.360557
0.47/0.53 c GLOBAL bounds - >= -1407 @ 0.366131
0.47/0.54 c GLOBAL bounds - >= -1407 @ 0.373707
0.47/0.55 c GLOBAL bounds - >= -1407 @ 0.381348
0.47/0.55 c GLOBAL bounds - >= -1407 @ 0.387342
0.47/0.56 c GLOBAL bounds - >= -1407 @ 0.39487
0.47/0.57 c GLOBAL bounds - >= -1407 @ 0.400461
0.47/0.58 c GLOBAL bounds - >= -1407 @ 0.406645
0.47/0.58 c GLOBAL bounds - >= -1407 @ 0.413023
0.47/0.59 c GLOBAL bounds - >= -1407 @ 0.419598
0.47/0.60 c GLOBAL bounds - >= -1407 @ 0.426958
0.58/0.61 c GLOBAL bounds - >= -1407 @ 0.434451
0.58/0.61 c GLOBAL bounds - >= -1407 @ 0.440935
0.58/0.62 c GLOBAL bounds - >= -1407 @ 0.44845
0.58/0.63 c GLOBAL bounds - >= -1407 @ 0.453972
0.58/0.64 c GLOBAL bounds - >= -1407 @ 0.460525
0.58/0.64 c GLOBAL bounds - >= -1407 @ 0.466261
0.58/0.65 c GLOBAL bounds - >= -1407 @ 0.473659
0.58/0.66 c GLOBAL bounds - >= -1407 @ 0.4794
0.58/0.67 c GLOBAL bounds - >= -1407 @ 0.486875
0.58/0.67 c GLOBAL bounds - >= -1407 @ 0.494504
0.58/0.68 c GLOBAL bounds - >= -1407 @ 0.500437
0.58/0.69 c GLOBAL bounds - >= -1407 @ 0.507111
0.67/0.70 c GLOBAL bounds - >= -1407 @ 0.513979
0.67/0.71 c GLOBAL bounds - >= -1407 @ 0.521504
0.67/0.71 c GLOBAL bounds - >= -1407 @ 0.528198
0.67/0.72 c GLOBAL bounds - >= -1407 @ 0.534921
0.67/0.73 c GLOBAL bounds - >= -1407 @ 0.542656
0.67/0.74 c GLOBAL bounds - >= -1407 @ 0.551277
0.67/0.75 c GLOBAL bounds - >= -1407 @ 0.559099
0.67/0.76 c GLOBAL bounds - >= -1407 @ 0.568465
0.67/0.77 c GLOBAL bounds - >= -1407 @ 0.577421
0.67/0.78 c GLOBAL bounds - >= -1407 @ 0.585808
0.67/0.79 c GLOBAL bounds - >= -1407 @ 0.594311
0.77/0.80 c GLOBAL bounds - >= -1407 @ 0.603063
0.77/0.81 c GLOBAL bounds - >= -1407 @ 0.611507
0.77/0.82 c GLOBAL bounds - >= -1407 @ 0.622359
0.77/0.85 c GLOBAL bounds - >= -1407 @ 0.64743
0.77/0.89 c GLOBAL bounds - >= -1407 @ 0.680202
0.87/0.92 c GLOBAL bounds - >= -1407 @ 0.715309
0.87/0.97 c GLOBAL bounds - >= -1407 @ 0.760067
0.96/1.01 c GLOBAL bounds - >= -1407 @ 0.794057
0.96/1.07 c GLOBAL bounds - >= -1407 @ 0.846651
1.07/1.11 c GLOBAL bounds - >= -1407 @ 0.885752
1.07/1.18 c GLOBAL bounds - >= -1407 @ 0.953411
1.16/1.24 c GLOBAL bounds - >= -1407 @ 1.00424
1.16/1.29 c GLOBAL bounds - >= -1407 @ 1.05797
1.27/1.35 c GLOBAL bounds - >= -1407 @ 1.11118
1.37/1.42 c GLOBAL bounds - >= -1407 @ 1.18528
1.37/1.49 c GLOBAL bounds - >= -1407 @ 1.24735
1.46/1.56 c GLOBAL bounds - >= -1407 @ 1.31458
1.56/1.64 c GLOBAL bounds - >= -1407 @ 1.38521
1.66/1.71 c #Conflicts: 1000 | #Constraints: 3357
1.66/1.71 c GLOBAL bounds - >= -1407 @ 1.44402
1.66/1.77 c GLOBAL bounds - >= -1407 @ 1.50439
1.76/1.84 c GLOBAL bounds - >= -1407 @ 1.56605
1.86/1.93 c GLOBAL bounds - >= -1407 @ 1.65542
1.86/2.00 c GLOBAL bounds - >= -1407 @ 1.71738
1.97/2.06 c GLOBAL bounds - >= -1407 @ 1.78116
4.55/4.64 c #Conflicts: 2000 | #Constraints: 4369
4.55/4.64 c INPROCESSING
4.55/4.64 c GARBAGE COLLECT
4.55/4.64 c #Conflicts: 3000 | #Constraints: 4404
4.55/4.64 c GLOBAL bounds - >= -1407 @ 4.27822
6.65/6.74 c #Conflicts: 4000 | #Constraints: 5406
6.65/6.74 c INPROCESSING
6.65/6.74 c GARBAGE COLLECT
6.65/6.74 c #Conflicts: 5000 | #Constraints: 4817
6.65/6.74 c GLOBAL bounds - >= -1407 @ 6.33256
7.95/8.07 c #Conflicts: 6000 | #Constraints: 5819
7.95/8.07 c INPROCESSING
7.95/8.07 c GARBAGE COLLECT
7.95/8.07 c #Conflicts: 7000 | #Constraints: 4825
7.95/8.07 c GLOBAL bounds - >= -1407 @ 7.63317
9.05/9.18 c #Conflicts: 8000 | #Constraints: 5827
9.05/9.18 c GLOBAL bounds - >= -1407 @ 8.71505
12.53/12.60 c #Conflicts: 9000 | #Constraints: 6829
12.53/12.60 c INPROCESSING
12.53/12.60 c GARBAGE COLLECT
12.53/12.60 c #Conflicts: 10000 | #Constraints: 5532
12.53/12.60 c GLOBAL bounds - >= -1407 @ 12.0334
12.74/12.82 c GLOBAL bounds - >= -1407 @ 12.2536
13.03/13.12 c GLOBAL bounds - >= -1407 @ 12.5437
13.23/13.33 c GLOBAL bounds - >= -1407 @ 12.7554
13.43/13.53 c #Conflicts: 11000 | #Constraints: 6540
13.43/13.53 c GLOBAL bounds - >= -1407 @ 12.9528
14.43/14.53 c GLOBAL bounds - >= -1407 @ 13.9362
14.93/15.03 c GLOBAL bounds - >= -1407 @ 14.4282
15.52/15.60 c #Conflicts: 12000 | #Constraints: 7546
15.52/15.60 c INPROCESSING
15.52/15.60 c GARBAGE COLLECT
15.52/15.60 c GLOBAL bounds - >= -1407 @ 14.9926
15.72/15.83 c GLOBAL bounds - >= -1407 @ 15.2104
15.92/16.03 c GLOBAL bounds - >= -1407 @ 15.4092
16.03/16.17 c GLOBAL bounds - >= -1407 @ 15.5404
16.22/16.30 c GLOBAL bounds - >= -1407 @ 15.6701
16.42/16.56 c GLOBAL bounds - >= -1407 @ 15.9194
16.62/16.71 c GLOBAL bounds - >= -1407 @ 16.0734
16.72/16.89 c GLOBAL bounds - >= -1407 @ 16.2459
17.03/17.19 c #Conflicts: 13000 | #Constraints: 6018
17.03/17.19 c GLOBAL bounds - >= -1407 @ 16.5313
17.32/17.47 c GLOBAL bounds - >= -1407 @ 16.8026
17.61/17.74 c GLOBAL bounds - >= -1407 @ 17.0752
17.81/17.93 c GLOBAL bounds - >= -1407 @ 17.2643
18.12/18.21 c GLOBAL bounds - >= -1407 @ 17.5326
18.32/18.48 c GLOBAL bounds - >= -1407 @ 17.8063
18.61/18.77 c GLOBAL bounds - >= -1407 @ 18.0863
18.82/18.97 c GLOBAL bounds - >= -1407 @ 18.2865
19.12/19.28 c #Conflicts: 14000 | #Constraints: 7034
19.12/19.28 c GLOBAL bounds - >= -1407 @ 18.5957
19.31/19.49 c GLOBAL bounds - >= -1407 @ 18.7986
19.51/19.69 c GLOBAL bounds - >= -1407 @ 18.9961
19.81/19.90 c GLOBAL bounds - >= -1407 @ 19.2034
20.11/20.22 c GLOBAL bounds - >= -1407 @ 19.5203
20.31/20.43 c GLOBAL bounds - >= -1407 @ 19.7223
20.51/20.64 c GLOBAL bounds - >= -1407 @ 19.9283
20.71/20.87 c GLOBAL bounds - >= -1407 @ 20.1547
21.30/21.41 c #Conflicts: 15000 | #Constraints: 8050
21.30/21.41 c INPROCESSING
21.30/21.41 c GARBAGE COLLECT
21.30/21.41 c GLOBAL bounds - >= -1407 @ 20.6867
21.40/21.55 c GLOBAL bounds - >= -1407 @ 20.8247
21.60/21.72 c GLOBAL bounds - >= -1407 @ 20.9873
22.01/22.19 c GLOBAL bounds - >= -1407 @ 21.4451
22.20/22.38 c GLOBAL bounds - >= -1407 @ 21.6331
22.40/22.57 c GLOBAL bounds - >= -1407 @ 21.8263
22.61/22.75 c GLOBAL bounds - >= -1407 @ 22.0031
22.80/22.93 c #Conflicts: 16000 | #Constraints: 6305
22.80/22.93 c GLOBAL bounds - >= -1407 @ 22.1778
23.00/23.11 c GLOBAL bounds - >= -1407 @ 22.3588
23.20/23.39 c GLOBAL bounds - >= -1407 @ 22.6322
23.50/23.64 c GLOBAL bounds - >= -1407 @ 22.873
23.70/23.86 c GLOBAL bounds - >= -1407 @ 23.0969
23.90/24.09 c GLOBAL bounds - >= -1407 @ 23.3219
24.30/24.43 c #Conflicts: 17000 | #Constraints: 7317
24.30/24.43 c GLOBAL bounds - >= -1407 @ 23.6508
24.49/24.64 c GLOBAL bounds - >= -1407 @ 23.8657
24.69/24.87 c GLOBAL bounds - >= -1407 @ 24.0888
24.90/25.10 c GLOBAL bounds - >= -1407 @ 24.3112
25.19/25.31 c GLOBAL bounds - >= -1407 @ 24.5233
25.39/25.53 c GLOBAL bounds - >= -1407 @ 24.7377
25.59/25.76 c GLOBAL bounds - >= -1407 @ 24.9608
25.79/26.00 c #Conflicts: 18000 | #Constraints: 8331
25.79/26.00 c GLOBAL bounds - >= -1407 @ 25.1956
26.09/26.25 c GLOBAL bounds - >= -1407 @ 25.4387
27.19/27.30 c INPROCESSING
27.19/27.30 c GARBAGE COLLECT
27.19/27.30 c GLOBAL bounds - >= -1407 @ 26.4769
27.59/27.75 c #Conflicts: 19000 | #Constraints: 6333
27.59/27.75 c GLOBAL bounds - >= -1407 @ 26.9265
27.89/28.07 c GLOBAL bounds - >= -1407 @ 27.2395
30.38/30.54 c #Conflicts: 20000 | #Constraints: 7337
30.38/30.54 c #Conflicts: 21000 | #Constraints: 8337
30.38/30.54 c GLOBAL bounds - >= -1407 @ 29.6675
31.97/32.16 c INPROCESSING
31.97/32.16 c GARBAGE COLLECT
31.97/32.16 c #Conflicts: 22000 | #Constraints: 6127
31.97/32.16 c GLOBAL bounds - >= -1407 @ 31.2702
32.57/32.71 c #Conflicts: 23000 | #Constraints: 7129
32.57/32.71 c GLOBAL bounds - >= -1407 @ 31.8043
32.77/32.96 c GLOBAL bounds - >= -1407 @ 32.0599
32.97/33.16 c GLOBAL bounds - >= -1407 @ 32.2541
34.37/34.54 c #Conflicts: 24000 | #Constraints: 8135
34.37/34.54 c GLOBAL bounds - >= -1407 @ 33.618
34.77/34.90 c GLOBAL bounds - >= -1407 @ 33.9628
34.97/35.12 c GLOBAL bounds - >= -1407 @ 34.1779
35.26/35.47 c GLOBAL bounds - >= -1407 @ 34.5244
35.46/35.68 c GLOBAL bounds - >= -1407 @ 34.7298
35.76/35.93 c #Conflicts: 25000 | #Constraints: 9145
35.76/35.93 c GLOBAL bounds - >= -1407 @ 34.9733
36.15/36.30 c GLOBAL bounds - >= -1407 @ 35.3356
36.76/36.92 c INPROCESSING
36.76/36.92 c GARBAGE COLLECT
36.76/36.92 c GLOBAL bounds - >= -1407 @ 35.943
36.96/37.18 c GLOBAL bounds - >= -1407 @ 36.1996
37.35/37.52 c GLOBAL bounds - >= -1407 @ 36.5331
37.56/37.78 c GLOBAL bounds - >= -1407 @ 36.7928
38.05/38.25 c #Conflicts: 26000 | #Constraints: 6744
38.05/38.25 c GLOBAL bounds - >= -1407 @ 37.2573
38.35/38.54 c GLOBAL bounds - >= -1407 @ 37.5484
39.25/39.48 c #Conflicts: 27000 | #Constraints: 7748
39.25/39.48 c GLOBAL bounds - >= -1407 @ 38.4698
39.95/40.13 c GLOBAL bounds - >= -1407 @ 39.104
40.25/40.40 c #Conflicts: 28000 | #Constraints: 8752
40.25/40.40 c GLOBAL bounds - >= -1407 @ 39.3778
40.44/40.66 c GLOBAL bounds - >= -1407 @ 39.6272
40.74/40.98 c GLOBAL bounds - >= -1407 @ 39.9498
41.04/41.24 c GLOBAL bounds - >= -1407 @ 40.2019
41.34/41.54 c GLOBAL bounds - >= -1407 @ 40.494
42.04/42.21 c #Conflicts: 29000 | #Constraints: 9762
42.04/42.21 c INPROCESSING
42.04/42.21 c GARBAGE COLLECT
42.04/42.21 c GLOBAL bounds - >= -1407 @ 41.1556
42.24/42.49 c GLOBAL bounds - >= -1407 @ 41.4298
42.54/42.76 c GLOBAL bounds - >= -1407 @ 41.6944
42.74/42.95 c GLOBAL bounds - >= -1407 @ 41.8837
43.04/43.23 c GLOBAL bounds - >= -1407 @ 42.1554
43.53/43.72 c #Conflicts: 30000 | #Constraints: 7186
43.53/43.72 c GLOBAL bounds - >= -1407 @ 42.6422
45.03/45.28 c #Conflicts: 31000 | #Constraints: 8188
45.03/45.28 c GLOBAL bounds - >= -1407 @ 44.1735
49.12/49.39 c #Conflicts: 32000 | #Constraints: 9190
49.12/49.39 c #Conflicts: 33000 | #Constraints: 10190
49.12/49.39 c INPROCESSING
49.12/49.39 c GARBAGE COLLECT
49.12/49.39 c #Conflicts: 34000 | #Constraints: 7465
49.12/49.39 c GLOBAL bounds - >= -1407 @ 48.2123
49.51/49.76 c #Conflicts: 35000 | #Constraints: 8467
49.51/49.76 c GLOBAL bounds - >= -1407 @ 48.5809
49.82/50.02 c GLOBAL bounds - >= -1407 @ 48.836
50.21/50.40 c GLOBAL bounds - >= -1407 @ 49.2072
50.52/50.73 c GLOBAL bounds - >= -1407 @ 49.5319
51.41/51.62 c #Conflicts: 36000 | #Constraints: 9475
51.41/51.62 c GLOBAL bounds - >= -1407 @ 50.4135
55.90/56.13 c #Conflicts: 37000 | #Constraints: 10477
55.90/56.13 c INPROCESSING
55.90/56.13 c GARBAGE COLLECT
55.90/56.13 c #Conflicts: 38000 | #Constraints: 7513
55.90/56.13 c #Conflicts: 39000 | #Constraints: 8513
55.90/56.13 c #Conflicts: 40000 | #Constraints: 9513
55.90/56.13 c GLOBAL bounds - >= -1407 @ 54.8506
56.19/56.45 c GLOBAL bounds - >= -1407 @ 55.1573
56.60/56.80 c #Conflicts: 41000 | #Constraints: 10517
56.60/56.80 c GLOBAL bounds - >= -1407 @ 55.506
57.59/57.86 c INPROCESSING
57.59/57.86 c GARBAGE COLLECT
57.59/57.86 c GLOBAL bounds - >= -1407 @ 56.5522
57.89/58.13 c #Conflicts: 42000 | #Constraints: 7341
57.89/58.13 c GLOBAL bounds - >= -1407 @ 56.8153
57.99/58.23 c GLOBAL bounds - >= -1407 @ 56.9124
58.19/58.43 c GLOBAL bounds - >= -1407 @ 57.1037
59.08/59.37 c #Conflicts: 43000 | #Constraints: 8347
59.08/59.37 c GLOBAL bounds - >= -1407 @ 58.0262
59.39/59.62 c GLOBAL bounds - >= -1407 @ 58.2716
59.68/59.96 c GLOBAL bounds - >= -1407 @ 58.608
59.89/60.18 c GLOBAL bounds - >= -1407 @ 58.8223
60.28/60.52 c #Conflicts: 44000 | #Constraints: 9355
60.28/60.52 c GLOBAL bounds - >= -1407 @ 59.1539
60.48/60.75 c GLOBAL bounds - >= -1407 @ 59.3842
60.78/61.09 c GLOBAL bounds - >= -1407 @ 59.7191
61.78/62.07 c #Conflicts: 45000 | #Constraints: 10361
61.78/62.07 c GLOBAL bounds - >= -1407 @ 60.6918
62.27/62.56 c #Conflicts: 46000 | #Constraints: 11363
62.27/62.56 c GLOBAL bounds - >= -1407 @ 61.1211
68.36/68.62 c INPROCESSING
68.36/68.62 c GARBAGE COLLECT
68.36/68.62 c #Conflicts: 47000 | #Constraints: 7973
68.36/68.62 c #Conflicts: 48000 | #Constraints: 8973
68.36/68.62 c #Conflicts: 49000 | #Constraints: 9973
68.36/68.62 c #Conflicts: 50000 | #Constraints: 10973
68.36/68.62 c #Conflicts: 51000 | #Constraints: 11973
68.36/68.62 c INPROCESSING
68.36/68.62 c GARBAGE COLLECT
68.36/68.62 c GLOBAL bounds - >= -1407 @ 67.0904
68.76/69.01 c GLOBAL bounds - >= -1407 @ 67.4614
68.86/69.10 c GLOBAL bounds - >= -1407 @ 67.5553
71.25/71.52 c #Conflicts: 52000 | #Constraints: 8395
71.25/71.52 c #Conflicts: 53000 | #Constraints: 9395
71.25/71.52 c GLOBAL bounds - >= -1407 @ 69.9343
72.74/73.03 c #Conflicts: 54000 | #Constraints: 10397
72.74/73.03 c GLOBAL bounds - >= -1407 @ 71.4284
73.14/73.45 c GLOBAL bounds - >= -1407 @ 71.8432
73.54/73.90 c GLOBAL bounds - >= -1407 @ 72.2796
73.94/74.20 c #Conflicts: 55000 | #Constraints: 11403
73.94/74.20 c GLOBAL bounds - >= -1407 @ 72.5759
74.24/74.51 c GLOBAL bounds - >= -1407 @ 72.8814
74.53/74.82 c GLOBAL bounds - >= -1407 @ 73.1876
75.93/76.29 c #Conflicts: 56000 | #Constraints: 12409
75.93/76.29 c INPROCESSING
75.93/76.29 c GARBAGE COLLECT
75.93/76.29 c GLOBAL bounds - >= -1407 @ 74.6466
76.33/76.62 c GLOBAL bounds - >= -1407 @ 74.9731
76.93/77.21 c #Conflicts: 57000 | #Constraints: 8577
76.93/77.21 c GLOBAL bounds - >= -1407 @ 75.546
78.02/78.36 c #Conflicts: 58000 | #Constraints: 9579
78.02/78.36 c GLOBAL bounds - >= -1407 @ 76.6775
78.92/79.25 c GLOBAL bounds - >= -1407 @ 77.5549
79.32/79.65 c GLOBAL bounds - >= -1407 @ 77.9472
79.62/79.92 c GLOBAL bounds - >= -1407 @ 78.2164
80.02/80.34 c #Conflicts: 59000 | #Constraints: 10587
80.02/80.34 c GLOBAL bounds - >= -1407 @ 78.6328
80.32/80.63 c GLOBAL bounds - >= -1407 @ 78.9124
80.61/80.94 c GLOBAL bounds - >= -1407 @ 79.2172
80.73/81.09 c GLOBAL bounds - >= -1407 @ 79.3719
82.61/82.95 c #Conflicts: 60000 | #Constraints: 11595
82.61/82.95 c GLOBAL bounds - >= -1407 @ 81.1977
84.80/85.12 c #Conflicts: 61000 | #Constraints: 12597
84.80/85.12 c INPROCESSING
84.80/85.12 c GARBAGE COLLECT
84.80/85.12 c GLOBAL bounds - >= -1407 @ 83.3476
86.30/86.69 c #Conflicts: 62000 | #Constraints: 8605
86.30/86.69 c GLOBAL bounds - >= -1407 @ 84.8859
86.60/86.92 c GLOBAL bounds - >= -1407 @ 85.1142
86.90/87.26 c GLOBAL bounds - >= -1407 @ 85.4486
87.20/87.51 c GLOBAL bounds - >= -1407 @ 85.6908
87.39/87.75 c #Conflicts: 63000 | #Constraints: 9613
87.39/87.75 c GLOBAL bounds - >= -1407 @ 85.9337
87.70/88.02 c GLOBAL bounds - >= -1407 @ 86.2036
88.10/88.49 c GLOBAL bounds - >= -1407 @ 86.667
88.49/88.85 c GLOBAL bounds - >= -1407 @ 87.0171
89.88/90.29 c #Conflicts: 64000 | #Constraints: 10621
89.88/90.29 c #Conflicts: 65000 | #Constraints: 11621
89.88/90.29 c GLOBAL bounds - >= -1407 @ 88.4388
91.69/92.03 c #Conflicts: 66000 | #Constraints: 12623
91.69/92.03 c INPROCESSING
91.69/92.03 c GARBAGE COLLECT
91.69/92.03 c #Conflicts: 67000 | #Constraints: 8446
91.69/92.03 c GLOBAL bounds - >= -1407 @ 90.1466
92.88/93.27 c #Conflicts: 68000 | #Constraints: 9448
92.88/93.27 c GLOBAL bounds - >= -1407 @ 91.3688
93.68/94.02 c #Conflicts: 69000 | #Constraints: 10450
93.68/94.02 c GLOBAL bounds - >= -1407 @ 92.1036
94.08/94.48 c GLOBAL bounds - >= -1407 @ 92.5566
95.37/95.79 c #Conflicts: 70000 | #Constraints: 11454
95.37/95.79 c GLOBAL bounds - >= -1407 @ 93.8459
97.46/97.81 c #Conflicts: 71000 | #Constraints: 12456
97.46/97.81 c GLOBAL bounds - >= -1407 @ 95.8288
98.36/98.78 c #Conflicts: 72000 | #Constraints: 13458
98.36/98.78 c INPROCESSING
98.36/98.78 c GARBAGE COLLECT
98.36/98.78 c GLOBAL bounds - >= -1407 @ 96.7925
98.66/99.05 c GLOBAL bounds - >= -1407 @ 97.0485
98.96/99.31 c GLOBAL bounds - >= -1407 @ 97.3049
99.16/99.59 c GLOBAL bounds - >= -1407 @ 97.5762
99.66/100.01 c GLOBAL bounds - >= -1407 @ 97.9948
99.96/100.30 c #Conflicts: 73000 | #Constraints: 9070
99.96/100.30 c GLOBAL bounds - >= -1407 @ 98.2774
100.25/100.67 c GLOBAL bounds - >= -1407 @ 98.6353
101.55/101.93 c GLOBAL bounds - >= -1407 @ 99.8854
101.65/102.07 c GLOBAL bounds - >= -1407 @ 100.02
102.05/102.45 c #Conflicts: 74000 | #Constraints: 10078
102.05/102.45 c GLOBAL bounds - >= -1407 @ 100.397
102.44/102.84 c GLOBAL bounds - >= -1407 @ 100.778
102.85/103.20 c GLOBAL bounds - >= -1407 @ 101.135
103.25/103.61 c GLOBAL bounds - >= -1407 @ 101.542
103.54/103.94 c GLOBAL bounds - >= -1407 @ 101.874
103.84/104.28 c #Conflicts: 75000 | #Constraints: 11088
103.84/104.28 c GLOBAL bounds - >= -1407 @ 102.203
104.25/104.60 c GLOBAL bounds - >= -1407 @ 102.519
104.84/105.28 c GLOBAL bounds - >= -1407 @ 103.199
105.83/106.25 c #Conflicts: 76000 | #Constraints: 12094
105.83/106.25 c GLOBAL bounds - >= -1407 @ 104.165
106.34/106.70 c GLOBAL bounds - >= -1407 @ 104.6
106.93/107.34 c GLOBAL bounds - >= -1407 @ 105.238
107.43/107.82 c #Conflicts: 77000 | #Constraints: 13100
107.43/107.82 c GLOBAL bounds - >= -1407 @ 105.713
107.93/108.38 c GLOBAL bounds - >= -1407 @ 106.266
108.53/108.91 c GLOBAL bounds - >= -1407 @ 106.784
109.03/109.49 c GLOBAL bounds - >= -1407 @ 107.354
109.93/110.33 c #Conflicts: 78000 | #Constraints: 14108
109.93/110.33 c INPROCESSING
109.93/110.33 c GARBAGE COLLECT
109.93/110.33 c GLOBAL bounds - >= -1407 @ 108.186
110.32/110.74 c GLOBAL bounds - >= -1407 @ 108.588
110.72/111.16 c GLOBAL bounds - >= -1407 @ 109
111.02/111.46 c GLOBAL bounds - >= -1407 @ 109.295
111.52/111.96 c #Conflicts: 79000 | #Constraints: 9479
111.52/111.96 c GLOBAL bounds - >= -1407 @ 109.79
111.92/112.37 c GLOBAL bounds - >= -1407 @ 110.198
112.31/112.79 c GLOBAL bounds - >= -1407 @ 110.607
113.91/114.34 c #Conflicts: 80000 | #Constraints: 10485
113.91/114.34 c GLOBAL bounds - >= -1407 @ 112.138
114.01/114.48 c GLOBAL bounds - >= -1407 @ 112.27
114.51/114.92 c #Conflicts: 81000 | #Constraints: 11489
114.51/114.92 c GLOBAL bounds - >= -1407 @ 112.706
114.62/115.09 c GLOBAL bounds - >= -1407 @ 112.865
118.70/119.17 c #Conflicts: 82000 | #Constraints: 12493
118.70/119.17 c #Conflicts: 83000 | #Constraints: 13493
118.70/119.17 c GLOBAL bounds - >= -1407 @ 116.9
119.99/120.46 c #Conflicts: 84000 | #Constraints: 14495
119.99/120.46 c INPROCESSING
119.99/120.46 c GARBAGE COLLECT
119.99/120.46 c GLOBAL bounds - >= -1407 @ 118.174
120.09/120.55 c GLOBAL bounds - >= -1407 @ 118.27
120.39/120.85 c GLOBAL bounds - >= -1407 @ 118.56
120.89/121.38 c GLOBAL bounds - >= -1407 @ 119.08
121.19/121.60 c #Conflicts: 85000 | #Constraints: 9738
121.19/121.60 c GLOBAL bounds - >= -1407 @ 119.293
121.49/121.92 c GLOBAL bounds - >= -1407 @ 119.61
122.28/122.71 c #Conflicts: 86000 | #Constraints: 10742
122.28/122.71 c GLOBAL bounds - >= -1407 @ 120.385
122.98/123.42 c #Conflicts: 87000 | #Constraints: 11744
122.98/123.42 c GLOBAL bounds - >= -1407 @ 121.087
124.18/124.64 c #Conflicts: 88000 | #Constraints: 12746
124.18/124.64 c GLOBAL bounds - >= -1407 @ 122.296
124.28/124.79 c GLOBAL bounds - >= -1407 @ 122.443
125.58/126.09 c #Conflicts: 89000 | #Constraints: 13750
125.58/126.09 c GLOBAL bounds - >= -1407 @ 123.714
127.27/127.76 c #Conflicts: 90000 | #Constraints: 14752
127.27/127.76 c INPROCESSING
127.27/127.76 c GARBAGE COLLECT
127.27/127.76 c #Conflicts: 91000 | #Constraints: 9768
127.27/127.76 c GLOBAL bounds - >= -1407 @ 125.36
127.46/127.93 c GLOBAL bounds - >= -1407 @ 125.529
133.66/134.12 c #Conflicts: 92000 | #Constraints: 10772
133.66/134.12 c #Conflicts: 93000 | #Constraints: 11772
133.66/134.12 c #Conflicts: 94000 | #Constraints: 12772
133.66/134.12 c #Conflicts: 95000 | #Constraints: 13772
133.66/134.12 c #Conflicts: 96000 | #Constraints: 14772
133.66/134.12 c INPROCESSING
133.66/134.12 c GARBAGE COLLECT
133.66/134.12 c #Conflicts: 97000 | #Constraints: 9589
133.66/134.12 c #Conflicts: 98000 | #Constraints: 10589
133.66/134.12 c GLOBAL bounds - >= -1407 @ 131.607
134.35/134.82 c #Conflicts: 99000 | #Constraints: 11591
134.35/134.82 c GLOBAL bounds - >= -1407 @ 132.302
135.25/135.73 c #Conflicts: 100000 | #Constraints: 12593
135.25/135.73 c GLOBAL bounds - >= -1407 @ 133.191
137.74/138.21 c #Conflicts: 101000 | #Constraints: 13595
137.74/138.21 c #Conflicts: 102000 | #Constraints: 14595
137.74/138.21 c #Conflicts: 103000 | #Constraints: 15595
137.74/138.21 c INPROCESSING
137.74/138.21 c GARBAGE COLLECT
137.74/138.21 c GLOBAL bounds - >= -1407 @ 135.646
141.92/142.43 c #Conflicts: 104000 | #Constraints: 10219
141.92/142.43 c #Conflicts: 105000 | #Constraints: 11219
141.92/142.43 c #Conflicts: 106000 | #Constraints: 12219
141.92/142.43 c #Conflicts: 107000 | #Constraints: 13219
141.92/142.43 c #Conflicts: 108000 | #Constraints: 14219
141.92/142.43 c #Conflicts: 109000 | #Constraints: 15219
141.92/142.43 c GLOBAL bounds - >= -1407 @ 139.784
144.22/144.79 c #Conflicts: 110000 | #Constraints: 16221
144.22/144.79 c INPROCESSING
144.22/144.79 c GARBAGE COLLECT
144.22/144.79 c GLOBAL bounds - >= -1407 @ 142.109
145.22/145.79 c #Conflicts: 111000 | #Constraints: 10629
145.22/145.79 c GLOBAL bounds - >= -1407 @ 143.095
147.60/148.10 c #Conflicts: 112000 | #Constraints: 11631
147.60/148.10 c #Conflicts: 113000 | #Constraints: 12631
147.60/148.10 c GLOBAL bounds - >= -1407 @ 145.371
148.10/148.63 c #Conflicts: 114000 | #Constraints: 13633
148.10/148.63 c GLOBAL bounds - >= -1407 @ 145.889
148.71/149.22 c GLOBAL bounds - >= -1407 @ 146.473
149.20/149.77 c GLOBAL bounds - >= -1407 @ 147.015
149.80/150.38 c #Conflicts: 115000 | #Constraints: 14639
149.80/150.38 c GLOBAL bounds - >= -1407 @ 147.612
153.19/153.78 c #Conflicts: 116000 | #Constraints: 15641
153.19/153.78 c #Conflicts: 117000 | #Constraints: 16641
153.19/153.78 c INPROCESSING
153.19/153.78 c GARBAGE COLLECT
153.19/153.78 c #Conflicts: 118000 | #Constraints: 10834
153.19/153.78 c GLOBAL bounds - >= -1407 @ 150.97
153.49/154.04 c #Conflicts: 119000 | #Constraints: 11836
153.49/154.04 c GLOBAL bounds - >= -1407 @ 151.231
153.79/154.30 c GLOBAL bounds - >= -1407 @ 151.491
154.09/154.69 c GLOBAL bounds - >= -1407 @ 151.877
154.78/155.38 c GLOBAL bounds - >= -1407 @ 152.557
155.08/155.66 c #Conflicts: 120000 | #Constraints: 12844
155.08/155.66 c GLOBAL bounds - >= -1407 @ 152.83
155.49/156.03 c GLOBAL bounds - >= -1407 @ 153.2
156.98/157.51 c #Conflicts: 121000 | #Constraints: 13848
156.98/157.51 c GLOBAL bounds - >= -1407 @ 154.655
157.37/157.94 c GLOBAL bounds - >= -1407 @ 155.076
158.57/159.13 c #Conflicts: 122000 | #Constraints: 14852
158.57/159.13 c GLOBAL bounds - >= -1407 @ 156.257
162.16/162.71 c #Conflicts: 123000 | #Constraints: 15854
162.16/162.71 c #Conflicts: 124000 | #Constraints: 16854
162.16/162.71 c INPROCESSING
162.16/162.71 c GARBAGE COLLECT
162.16/162.71 c GLOBAL bounds - >= -1407 @ 159.783
162.65/163.21 c GLOBAL bounds - >= -1407 @ 160.281
162.96/163.54 c #Conflicts: 125000 | #Constraints: 10795
162.96/163.54 c GLOBAL bounds - >= -1407 @ 160.602
163.16/163.73 c GLOBAL bounds - >= -1407 @ 160.795
165.25/165.80 c #Conflicts: 126000 | #Constraints: 11799
165.25/165.80 c #Conflicts: 127000 | #Constraints: 12799
165.25/165.80 c #Conflicts: 128000 | #Constraints: 13799
165.25/165.80 c GLOBAL bounds - >= -1407 @ 162.847
165.45/166.03 c GLOBAL bounds - >= -1407 @ 163.065
169.34/169.99 c #Conflicts: 129000 | #Constraints: 14803
169.34/169.99 c #Conflicts: 130000 | #Constraints: 15803
169.34/169.99 c #Conflicts: 131000 | #Constraints: 16803
169.34/169.99 c GLOBAL bounds - >= -1407 @ 166.973
170.24/170.87 c INPROCESSING
170.24/170.87 c GARBAGE COLLECT
170.24/170.87 c GLOBAL bounds - >= -1407 @ 167.845
170.73/171.30 c #Conflicts: 132000 | #Constraints: 10536
170.73/171.30 c GLOBAL bounds - >= -1407 @ 168.265
170.83/171.40 c GLOBAL bounds - >= -1407 @ 168.362
171.23/171.87 c GLOBAL bounds - >= -1407 @ 168.823
171.53/172.12 c GLOBAL bounds - >= -1407 @ 169.077
171.83/172.43 c #Conflicts: 133000 | #Constraints: 11544
171.83/172.43 c GLOBAL bounds - >= -1407 @ 169.381
171.93/172.55 c GLOBAL bounds - >= -1407 @ 169.493
172.44/173.05 c GLOBAL bounds - >= -1407 @ 169.991
173.02/173.64 c GLOBAL bounds - >= -1407 @ 170.571
175.81/176.47 c #Conflicts: 134000 | #Constraints: 12552
175.81/176.47 c #Conflicts: 135000 | #Constraints: 13552
175.81/176.47 c GLOBAL bounds - >= -1407 @ 173.361
177.31/177.91 c #Conflicts: 136000 | #Constraints: 14554
177.31/177.91 c GLOBAL bounds - >= -1407 @ 174.78
178.81/179.42 c #Conflicts: 137000 | #Constraints: 15556
178.81/179.42 c GLOBAL bounds - >= -1407 @ 176.276
179.11/179.70 c GLOBAL bounds - >= -1407 @ 176.552
182.69/183.37 c #Conflicts: 138000 | #Constraints: 16560
182.69/183.37 c #Conflicts: 139000 | #Constraints: 17560
182.69/183.37 c INPROCESSING
182.69/183.37 c GARBAGE COLLECT
182.69/183.37 c GLOBAL bounds - >= -1407 @ 180.162
182.80/183.46 c GLOBAL bounds - >= -1407 @ 180.256
183.80/184.45 c #Conflicts: 140000 | #Constraints: 11183
183.80/184.45 c GLOBAL bounds - >= -1407 @ 181.231
184.09/184.71 c GLOBAL bounds - >= -1407 @ 181.482
184.39/185.08 c GLOBAL bounds - >= -1407 @ 181.848
184.49/185.18 c GLOBAL bounds - >= -1407 @ 181.952
184.69/185.32 c GLOBAL bounds - >= -1407 @ 182.082
189.07/189.73 c #Conflicts: 141000 | #Constraints: 12193
189.07/189.73 c #Conflicts: 142000 | #Constraints: 13193
189.07/189.73 c GLOBAL bounds - >= -1407 @ 186.452
189.67/190.32 c GLOBAL bounds - >= -1407 @ 187.022
189.98/190.66 c GLOBAL bounds - >= -1407 @ 187.36
190.37/191.04 c GLOBAL bounds - >= -1407 @ 187.738
190.77/191.44 c GLOBAL bounds - >= -1407 @ 188.125
191.27/191.97 c #Conflicts: 143000 | #Constraints: 14203
191.27/191.97 c GLOBAL bounds - >= -1407 @ 188.648
192.27/192.96 c GLOBAL bounds - >= -1407 @ 189.626
192.76/193.40 c GLOBAL bounds - >= -1407 @ 190.06
192.96/193.60 c GLOBAL bounds - >= -1407 @ 190.253
193.26/193.90 c #Conflicts: 144000 | #Constraints: 15211
193.26/193.90 c GLOBAL bounds - >= -1407 @ 190.548
193.47/194.11 c GLOBAL bounds - >= -1407 @ 190.747
193.76/194.49 c GLOBAL bounds - >= -1407 @ 191.128
195.25/195.95 c #Conflicts: 145000 | #Constraints: 16217
195.25/195.95 c GLOBAL bounds - >= -1407 @ 192.571
195.66/196.30 c GLOBAL bounds - >= -1407 @ 192.916
195.95/196.62 c GLOBAL bounds - >= -1407 @ 193.229
196.45/197.12 c GLOBAL bounds - >= -1407 @ 193.724
196.55/197.29 c GLOBAL bounds - >= -1407 @ 193.893
196.95/197.67 c GLOBAL bounds - >= -1407 @ 194.27
197.15/197.84 c GLOBAL bounds - >= -1407 @ 194.439
197.54/198.22 c GLOBAL bounds - >= -1407 @ 194.816
200.93/201.63 c #Conflicts: 146000 | #Constraints: 17233
200.93/201.63 c #Conflicts: 147000 | #Constraints: 18233
200.93/201.63 c INPROCESSING
200.93/201.63 c GARBAGE COLLECT
200.93/201.63 c GLOBAL bounds - >= -1407 @ 198.183
203.63/204.31 c #Conflicts: 148000 | #Constraints: 11625
203.63/204.31 c GLOBAL bounds - >= -1407 @ 200.836
209.61/210.30 c #Conflicts: 149000 | #Constraints: 12627
209.61/210.30 c #Conflicts: 150000 | #Constraints: 13627
209.61/210.30 c GLOBAL bounds - >= -1407 @ 206.788
212.20/212.97 c #Conflicts: 151000 | #Constraints: 14629
212.20/212.97 c GLOBAL bounds - >= -1407 @ 209.439
237.12/237.95 c #Conflicts: 152000 | #Constraints: 15631
237.12/237.95 c #Conflicts: 153000 | #Constraints: 16631
237.12/237.95 c #Conflicts: 154000 | #Constraints: 17631
237.12/237.95 c #Conflicts: 155000 | #Constraints: 18631
237.12/237.95 c INPROCESSING
237.12/237.95 c GARBAGE COLLECT
237.12/237.95 c GLOBAL bounds - >= -1407 @ 234.27
237.82/238.69 c GLOBAL bounds - >= -1407 @ 235.009
239.62/240.48 c #Conflicts: 156000 | #Constraints: 11851
239.62/240.48 c GLOBAL bounds - >= -1407 @ 236.779
240.70/241.59 c GLOBAL bounds - >= -1407 @ 237.875
241.21/242.08 c #Conflicts: 157000 | #Constraints: 12855
241.21/242.08 c GLOBAL bounds - >= -1407 @ 238.353
242.00/242.81 c GLOBAL bounds - >= -1407 @ 239.069
242.21/243.05 c GLOBAL bounds - >= -1407 @ 239.313
242.41/243.23 c GLOBAL bounds - >= -1407 @ 239.48
242.70/243.58 c GLOBAL bounds - >= -1407 @ 239.832
243.60/244.40 c #Conflicts: 158000 | #Constraints: 13865
243.60/244.40 c GLOBAL bounds - >= -1407 @ 240.633
250.28/251.13 c #Conflicts: 159000 | #Constraints: 14867
250.28/251.13 c #Conflicts: 160000 | #Constraints: 15867
250.28/251.13 c GLOBAL bounds - >= -1407 @ 247.318
250.98/251.89 c GLOBAL bounds - >= -1407 @ 248.073
252.18/253.10 c #Conflicts: 161000 | #Constraints: 16871
252.18/253.10 c GLOBAL bounds - >= -1407 @ 249.266
256.76/257.66 c #Conflicts: 162000 | #Constraints: 17873
256.76/257.66 c GLOBAL bounds - >= -1407 @ 253.79
274.40/275.33 c #Conflicts: 163000 | #Constraints: 18875
274.40/275.33 c INPROCESSING
274.40/275.33 c GARBAGE COLLECT
274.40/275.33 c #Conflicts: 164000 | #Constraints: 11874
274.40/275.33 c #Conflicts: 165000 | #Constraints: 12874
274.40/275.33 c #Conflicts: 166000 | #Constraints: 13874
274.40/275.33 c #Conflicts: 167000 | #Constraints: 14874
274.40/275.33 c #Conflicts: 168000 | #Constraints: 15874
274.40/275.33 c GLOBAL bounds - >= -1407 @ 271.306
274.60/275.51 c #Conflicts: 169000 | #Constraints: 16876
274.60/275.51 c GLOBAL bounds - >= -1407 @ 271.475
275.10/276.04 c GLOBAL bounds - >= -1407 @ 271.993
277.19/278.10 c #Conflicts: 170000 | #Constraints: 17880
277.19/278.10 c GLOBAL bounds - >= -1407 @ 274.037
296.13/297.15 c #Conflicts: 171000 | #Constraints: 18882
296.13/297.15 c INPROCESSING
296.13/297.15 c GARBAGE COLLECT
296.13/297.15 c #Conflicts: 172000 | #Constraints: 11700
296.13/297.15 c #Conflicts: 173000 | #Constraints: 12700
296.13/297.15 c #Conflicts: 174000 | #Constraints: 13700
296.13/297.15 c #Conflicts: 175000 | #Constraints: 14700
296.13/297.15 c #Conflicts: 176000 | #Constraints: 15700
296.13/297.15 c #Conflicts: 177000 | #Constraints: 16700
296.13/297.15 c #Conflicts: 178000 | #Constraints: 17700
296.13/297.15 c #Conflicts: 179000 | #Constraints: 18700
296.13/297.15 c #Conflicts: 180000 | #Constraints: 19700
296.13/297.15 c INPROCESSING
296.13/297.15 c GARBAGE COLLECT
296.13/297.15 c #Conflicts: 181000 | #Constraints: 12311
296.13/297.15 c GLOBAL bounds - >= -1407 @ 292.819
303.21/304.21 c #Conflicts: 182000 | #Constraints: 13313
303.21/304.21 c #Conflicts: 183000 | #Constraints: 14313
303.21/304.21 c #Conflicts: 184000 | #Constraints: 15313
303.21/304.21 c #Conflicts: 185000 | #Constraints: 16313
303.21/304.21 c #Conflicts: 186000 | #Constraints: 17313
303.21/304.21 c GLOBAL bounds - >= -1407 @ 299.767
303.31/304.35 c #Conflicts: 187000 | #Constraints: 18315
303.31/304.35 c GLOBAL bounds - >= -1407 @ 299.906
322.35/323.40 c #Conflicts: 188000 | #Constraints: 19317
322.35/323.40 c #Conflicts: 189000 | #Constraints: 20317
322.35/323.40 c INPROCESSING
322.35/323.40 c GARBAGE COLLECT
322.35/323.40 c #Conflicts: 190000 | #Constraints: 12731
322.35/323.40 c #Conflicts: 191000 | #Constraints: 13731
322.35/323.40 c #Conflicts: 192000 | #Constraints: 14731
322.35/323.40 c #Conflicts: 193000 | #Constraints: 15731
322.35/323.40 c GLOBAL bounds - >= -1407 @ 318.787
338.59/339.74 c #Conflicts: 194000 | #Constraints: 16733
338.59/339.74 c #Conflicts: 195000 | #Constraints: 17733
338.59/339.74 c #Conflicts: 196000 | #Constraints: 18733
338.59/339.74 c #Conflicts: 197000 | #Constraints: 19733
338.59/339.74 c #Conflicts: 198000 | #Constraints: 20733
338.59/339.74 c INPROCESSING
338.59/339.74 c GARBAGE COLLECT
338.59/339.74 c #Conflicts: 199000 | #Constraints: 12965
338.59/339.74 c #Conflicts: 200000 | #Constraints: 13965
338.59/339.74 c #Conflicts: 201000 | #Constraints: 14965
338.59/339.74 c #Conflicts: 202000 | #Constraints: 15965
338.59/339.74 c #Conflicts: 203000 | #Constraints: 16965
338.59/339.74 c #Conflicts: 204000 | #Constraints: 17965
338.59/339.74 c #Conflicts: 205000 | #Constraints: 18965
338.59/339.74 c #Conflicts: 206000 | #Constraints: 19965
338.59/339.74 c #Conflicts: 207000 | #Constraints: 20965
338.59/339.74 c INPROCESSING
338.59/339.74 c GARBAGE COLLECT
338.59/339.74 c #Conflicts: 208000 | #Constraints: 12990
338.59/339.74 c #Conflicts: 209000 | #Constraints: 13990
338.59/339.74 c #Conflicts: 210000 | #Constraints: 14990
338.59/339.74 c #Conflicts: 211000 | #Constraints: 15990
338.59/339.74 c GLOBAL bounds - >= -1407 @ 334.822
338.79/339.91 c GLOBAL bounds - >= -1407 @ 334.983
352.14/353.31 c #Conflicts: 212000 | #Constraints: 16994
352.14/353.31 c #Conflicts: 213000 | #Constraints: 17994
352.14/353.31 c #Conflicts: 214000 | #Constraints: 18994
352.14/353.31 c #Conflicts: 215000 | #Constraints: 19994
352.14/353.31 c #Conflicts: 216000 | #Constraints: 20994
352.14/353.31 c INPROCESSING
352.14/353.31 c GARBAGE COLLECT
352.14/353.31 c #Conflicts: 217000 | #Constraints: 12790
352.14/353.31 c #Conflicts: 218000 | #Constraints: 13790
352.14/353.31 c #Conflicts: 219000 | #Constraints: 14790
352.14/353.31 c #Conflicts: 220000 | #Constraints: 15790
352.14/353.31 c #Conflicts: 221000 | #Constraints: 16790
352.14/353.31 c #Conflicts: 222000 | #Constraints: 17790
352.14/353.31 c #Conflicts: 223000 | #Constraints: 18790
352.14/353.31 c #Conflicts: 224000 | #Constraints: 19790
352.14/353.31 c #Conflicts: 225000 | #Constraints: 20790
352.14/353.31 c #Conflicts: 226000 | #Constraints: 21790
352.14/353.31 c INPROCESSING
352.14/353.31 c GARBAGE COLLECT
352.14/353.31 c GLOBAL bounds - >= -1407 @ 348.183
352.25/353.49 c GLOBAL bounds - >= -1407 @ 348.353
353.04/354.26 c #Conflicts: 227000 | #Constraints: 13396
353.04/354.26 c GLOBAL bounds - >= -1407 @ 349.114
353.15/354.38 c GLOBAL bounds - >= -1407 @ 349.229
371.09/372.34 c #Conflicts: 228000 | #Constraints: 14400
371.09/372.34 c #Conflicts: 229000 | #Constraints: 15400
371.09/372.34 c #Conflicts: 230000 | #Constraints: 16400
371.09/372.34 c #Conflicts: 231000 | #Constraints: 17400
371.09/372.34 c #Conflicts: 232000 | #Constraints: 18400
371.09/372.34 c #Conflicts: 233000 | #Constraints: 19400
371.09/372.34 c #Conflicts: 234000 | #Constraints: 20400
371.09/372.34 c #Conflicts: 235000 | #Constraints: 21400
371.09/372.34 c #Conflicts: 236000 | #Constraints: 22400
371.09/372.34 c INPROCESSING
371.09/372.34 c GARBAGE COLLECT
371.09/372.34 c #Conflicts: 237000 | #Constraints: 13810
371.09/372.34 c #Conflicts: 238000 | #Constraints: 14810
371.09/372.34 c #Conflicts: 239000 | #Constraints: 15810
371.09/372.34 c #Conflicts: 240000 | #Constraints: 16810
371.09/372.34 c #Conflicts: 241000 | #Constraints: 17810
371.09/372.34 c #Conflicts: 242000 | #Constraints: 18810
371.09/372.34 c #Conflicts: 243000 | #Constraints: 19810
371.09/372.34 c #Conflicts: 244000 | #Constraints: 20810
371.09/372.34 c GLOBAL bounds - >= -1407 @ 366.896
379.57/380.80 c #Conflicts: 245000 | #Constraints: 21812
379.57/380.80 c #Conflicts: 246000 | #Constraints: 22812
379.57/380.80 c INPROCESSING
379.57/380.80 c GARBAGE COLLECT
379.57/380.80 c #Conflicts: 247000 | #Constraints: 14014
379.57/380.80 c #Conflicts: 248000 | #Constraints: 15014
379.57/380.80 c GLOBAL bounds - >= -1407 @ 375.277
380.45/381.72 c #Conflicts: 249000 | #Constraints: 16016
380.45/381.72 c GLOBAL bounds - >= -1407 @ 376.183
382.56/383.86 c #Conflicts: 250000 | #Constraints: 17018
382.56/383.86 c GLOBAL bounds - >= -1407 @ 378.29
382.95/384.26 c GLOBAL bounds - >= -1407 @ 378.687
383.25/384.57 c #Conflicts: 251000 | #Constraints: 18022
383.25/384.57 c GLOBAL bounds - >= -1407 @ 378.986
383.75/385.01 c GLOBAL bounds - >= -1407 @ 379.423
384.04/385.30 c GLOBAL bounds - >= -1407 @ 379.715
384.35/385.60 c GLOBAL bounds - >= -1407 @ 380.013
384.85/386.16 c #Conflicts: 252000 | #Constraints: 19030
384.85/386.16 c GLOBAL bounds - >= -1407 @ 380.567
385.24/386.55 c GLOBAL bounds - >= -1407 @ 380.945
385.64/386.92 c GLOBAL bounds - >= -1407 @ 381.312
386.04/387.37 c GLOBAL bounds - >= -1407 @ 381.753
386.44/387.77 c #Conflicts: 253000 | #Constraints: 20038
386.44/387.77 c GLOBAL bounds - >= -1407 @ 382.155
387.53/388.80 c GLOBAL bounds - >= -1407 @ 383.173
387.64/388.94 c GLOBAL bounds - >= -1407 @ 383.31
390.03/391.33 c #Conflicts: 254000 | #Constraints: 21044
390.03/391.33 c #Conflicts: 255000 | #Constraints: 22044
390.03/391.33 c GLOBAL bounds - >= -1407 @ 385.669
390.53/391.83 c GLOBAL bounds - >= -1407 @ 386.161
392.62/393.94 c #Conflicts: 256000 | #Constraints: 23048
392.62/393.94 c INPROCESSING
392.62/393.94 c GARBAGE COLLECT
392.62/393.94 c GLOBAL bounds - >= -1407 @ 388.251
392.72/394.03 c GLOBAL bounds - >= -1407 @ 388.338
394.11/395.45 c #Conflicts: 257000 | #Constraints: 14004
394.11/395.45 c #Conflicts: 258000 | #Constraints: 15004
394.11/395.45 c GLOBAL bounds - >= -1407 @ 389.73
396.21/397.53 c #Conflicts: 259000 | #Constraints: 16006
396.21/397.53 c #Conflicts: 260000 | #Constraints: 17006
396.21/397.53 c GLOBAL bounds - >= -1407 @ 391.781
398.80/400.12 c #Conflicts: 261000 | #Constraints: 18008
398.80/400.12 c #Conflicts: 262000 | #Constraints: 19008
398.80/400.12 c GLOBAL bounds - >= -1407 @ 394.348
399.40/400.72 c GLOBAL bounds - >= -1407 @ 394.94
399.70/401.03 c GLOBAL bounds - >= -1407 @ 395.239
400.10/401.45 c #Conflicts: 263000 | #Constraints: 20014
400.10/401.45 c GLOBAL bounds - >= -1407 @ 395.654
409.77/411.17 c #Conflicts: 264000 | #Constraints: 21016
409.77/411.17 c #Conflicts: 265000 | #Constraints: 22016
409.77/411.17 c GLOBAL bounds - >= -1407 @ 405.292
410.16/411.53 c GLOBAL bounds - >= -1407 @ 405.655
412.35/413.79 c #Conflicts: 266000 | #Constraints: 23020
412.35/413.79 c INPROCESSING
412.35/413.79 c GARBAGE COLLECT
412.35/413.79 c GLOBAL bounds - >= -1407 @ 407.888
412.86/414.26 c #Conflicts: 267000 | #Constraints: 13764
412.86/414.26 c GLOBAL bounds - >= -1407 @ 408.357
419.53/420.99 c #Conflicts: 268000 | #Constraints: 14766
419.53/420.99 c #Conflicts: 269000 | #Constraints: 15766
419.53/420.99 c GLOBAL bounds - >= -1407 @ 415.023
421.33/422.76 c #Conflicts: 270000 | #Constraints: 16768
421.33/422.76 c GLOBAL bounds - >= -1407 @ 416.773
450.54/452.02 c #Conflicts: 271000 | #Constraints: 17770
450.54/452.02 c #Conflicts: 272000 | #Constraints: 18770
450.54/452.02 c #Conflicts: 273000 | #Constraints: 19770
450.54/452.02 c #Conflicts: 274000 | #Constraints: 20770
450.54/452.02 c #Conflicts: 275000 | #Constraints: 21770
450.54/452.02 c #Conflicts: 276000 | #Constraints: 22770
450.54/452.02 c #Conflicts: 277000 | #Constraints: 23770
450.54/452.02 c INPROCESSING
450.54/452.02 c GARBAGE COLLECT
450.54/452.02 c GLOBAL bounds - >= -1407 @ 445.838
450.64/452.14 c GLOBAL bounds - >= -1407 @ 445.961
508.86/510.53 c #Conflicts: 278000 | #Constraints: 14365
508.86/510.53 c #Conflicts: 279000 | #Constraints: 15365
508.86/510.53 c #Conflicts: 280000 | #Constraints: 16365
508.86/510.53 c #Conflicts: 281000 | #Constraints: 17365
508.86/510.53 c #Conflicts: 282000 | #Constraints: 18365
508.86/510.53 c #Conflicts: 283000 | #Constraints: 19365
508.86/510.53 c #Conflicts: 284000 | #Constraints: 20365
508.86/510.53 c #Conflicts: 285000 | #Constraints: 21365
508.86/510.53 c #Conflicts: 286000 | #Constraints: 22365
508.86/510.53 c #Conflicts: 287000 | #Constraints: 23365
508.86/510.53 c #Conflicts: 288000 | #Constraints: 24365
508.86/510.53 c INPROCESSING
508.86/510.53 c GARBAGE COLLECT
508.86/510.53 c #Conflicts: 289000 | #Constraints: 14747
508.86/510.53 c GLOBAL bounds - >= -1407 @ 504.02
509.15/510.87 c GLOBAL bounds - >= -1407 @ 504.352
517.53/519.21 c #Conflicts: 290000 | #Constraints: 15751
517.53/519.21 c #Conflicts: 291000 | #Constraints: 16751
517.53/519.21 c #Conflicts: 292000 | #Constraints: 17751
517.53/519.21 c GLOBAL bounds - >= -1407 @ 512.634
517.63/519.34 c GLOBAL bounds - >= -1407 @ 512.753
517.93/519.62 c GLOBAL bounds - >= -1407 @ 513.036
525.20/526.98 c #Conflicts: 293000 | #Constraints: 18757
525.20/526.98 c #Conflicts: 294000 | #Constraints: 19757
525.20/526.98 c #Conflicts: 295000 | #Constraints: 20757
525.20/526.98 c GLOBAL bounds - >= -1407 @ 520.344
532.18/533.91 c #Conflicts: 296000 | #Constraints: 21759
532.18/533.91 c #Conflicts: 297000 | #Constraints: 22759
532.18/533.91 c #Conflicts: 298000 | #Constraints: 23759
532.18/533.91 c GLOBAL bounds - >= -1407 @ 527.2
535.87/537.60 c #Conflicts: 299000 | #Constraints: 24761
535.87/537.60 c INPROCESSING
535.87/537.60 c GARBAGE COLLECT
535.87/537.60 c GLOBAL bounds - >= -1407 @ 530.859
536.07/537.81 c GLOBAL bounds - >= -1407 @ 531.061
546.34/548.10 c #Conflicts: 300000 | #Constraints: 15029
546.34/548.10 c #Conflicts: 301000 | #Constraints: 16029
546.34/548.10 c #Conflicts: 302000 | #Constraints: 17029
546.34/548.10 c #Conflicts: 303000 | #Constraints: 18029
546.34/548.10 c GLOBAL bounds - >= -1407 @ 541.283
546.43/548.25 c GLOBAL bounds - >= -1407 @ 541.428
601.65/603.67 c #Conflicts: 304000 | #Constraints: 19033
601.65/603.67 c #Conflicts: 305000 | #Constraints: 20033
601.65/603.67 c #Conflicts: 306000 | #Constraints: 21033
601.65/603.67 c #Conflicts: 307000 | #Constraints: 22033
601.65/603.67 c #Conflicts: 308000 | #Constraints: 23033
601.65/603.67 c #Conflicts: 309000 | #Constraints: 24033
601.65/603.67 c #Conflicts: 310000 | #Constraints: 25033
601.65/603.67 c INPROCESSING
601.65/603.67 c GARBAGE COLLECT
601.65/603.67 c #Conflicts: 311000 | #Constraints: 15007
601.65/603.67 c #Conflicts: 312000 | #Constraints: 16007
601.65/603.67 c #Conflicts: 313000 | #Constraints: 17007
601.65/603.67 c #Conflicts: 314000 | #Constraints: 18007
601.65/603.67 c GLOBAL bounds - >= -1407 @ 596.478
641.03/643.13 c #Conflicts: 315000 | #Constraints: 19009
641.03/643.13 c #Conflicts: 316000 | #Constraints: 20009
641.03/643.13 c #Conflicts: 317000 | #Constraints: 21009
641.03/643.13 c #Conflicts: 318000 | #Constraints: 22009
641.03/643.13 c #Conflicts: 319000 | #Constraints: 23009
641.03/643.13 c #Conflicts: 320000 | #Constraints: 24009
641.03/643.13 c #Conflicts: 321000 | #Constraints: 25009
641.03/643.13 c INPROCESSING
641.03/643.13 c GARBAGE COLLECT
641.03/643.13 c #Conflicts: 322000 | #Constraints: 14841
641.03/643.13 c #Conflicts: 323000 | #Constraints: 15841
641.03/643.13 c #Conflicts: 324000 | #Constraints: 16841
641.03/643.13 c #Conflicts: 325000 | #Constraints: 17841
641.03/643.13 c #Conflicts: 326000 | #Constraints: 18841
641.03/643.13 c GLOBAL bounds - >= -1407 @ 635.619
641.23/643.32 c GLOBAL bounds - >= -1407 @ 635.803
1386.99/1391.19 c #Conflicts: 327000 | #Constraints: 19845
1386.99/1391.19 c #Conflicts: 328000 | #Constraints: 20845
1386.99/1391.19 c #Conflicts: 329000 | #Constraints: 21845
1386.99/1391.19 c #Conflicts: 330000 | #Constraints: 22845
1386.99/1391.19 c #Conflicts: 331000 | #Constraints: 23845
1386.99/1391.19 c #Conflicts: 332000 | #Constraints: 24845
1386.99/1391.19 c #Conflicts: 333000 | #Constraints: 25845
1386.99/1391.19 c INPROCESSING
1386.99/1391.19 c GARBAGE COLLECT
1386.99/1391.19 c #Conflicts: 334000 | #Constraints: 15425
1386.99/1391.19 c #Conflicts: 335000 | #Constraints: 16425
1386.99/1391.19 c #Conflicts: 336000 | #Constraints: 17425
1386.99/1391.19 c #Conflicts: 337000 | #Constraints: 18425
1386.99/1391.19 c #Conflicts: 338000 | #Constraints: 19425
1386.99/1391.19 c #Conflicts: 339000 | #Constraints: 20425
1386.99/1391.19 c #Conflicts: 340000 | #Constraints: 21425
1386.99/1391.19 c #Conflicts: 341000 | #Constraints: 22425
1386.99/1391.19 c #Conflicts: 342000 | #Constraints: 23425
1386.99/1391.19 c #Conflicts: 343000 | #Constraints: 24425
1386.99/1391.19 c #Conflicts: 344000 | #Constraints: 25425
1386.99/1391.19 c #Conflicts: 345000 | #Constraints: 26425
1386.99/1391.19 c INPROCESSING
1386.99/1391.19 c GARBAGE COLLECT
1386.99/1391.19 c #Conflicts: 346000 | #Constraints: 15794
1386.99/1391.19 c #Conflicts: 347000 | #Constraints: 16794
1386.99/1391.19 c #Conflicts: 348000 | #Constraints: 17794
1386.99/1391.19 c #Conflicts: 349000 | #Constraints: 18794
1386.99/1391.19 c #Conflicts: 350000 | #Constraints: 19794
1386.99/1391.19 c #Conflicts: 351000 | #Constraints: 20794
1386.99/1391.19 c #Conflicts: 352000 | #Constraints: 21794
1386.99/1391.19 c #Conflicts: 353000 | #Constraints: 22794
1386.99/1391.19 c #Conflicts: 354000 | #Constraints: 23794
1386.99/1391.19 c #Conflicts: 355000 | #Constraints: 24794
1386.99/1391.19 c #Conflicts: 356000 | #Constraints: 25794
1386.99/1391.19 c #Conflicts: 357000 | #Constraints: 26794
1386.99/1391.19 c INPROCESSING
1386.99/1391.19 c GARBAGE COLLECT
1386.99/1391.19 c #Conflicts: 358000 | #Constraints: 15992
1386.99/1391.19 c #Conflicts: 359000 | #Constraints: 16992
1386.99/1391.19 c #Conflicts: 360000 | #Constraints: 17992
1386.99/1391.19 c #Conflicts: 361000 | #Constraints: 18992
1386.99/1391.19 c #Conflicts: 362000 | #Constraints: 19992
1386.99/1391.19 c #Conflicts: 363000 | #Constraints: 20992
1386.99/1391.19 c #Conflicts: 364000 | #Constraints: 21992
1386.99/1391.19 c #Conflicts: 365000 | #Constraints: 22992
1386.99/1391.19 c #Conflicts: 366000 | #Constraints: 23992
1386.99/1391.19 c #Conflicts: 367000 | #Constraints: 24992
1386.99/1391.19 c #Conflicts: 368000 | #Constraints: 25992
1386.99/1391.19 c #Conflicts: 369000 | #Constraints: 26992
1386.99/1391.19 c INPROCESSING
1386.99/1391.19 c GARBAGE COLLECT
1386.99/1391.19 c #Conflicts: 370000 | #Constraints: 15994
1386.99/1391.19 c #Conflicts: 371000 | #Constraints: 16994
1386.99/1391.19 c #Conflicts: 372000 | #Constraints: 17994
1386.99/1391.19 c #Conflicts: 373000 | #Constraints: 18994
1386.99/1391.19 c #Conflicts: 374000 | #Constraints: 19994
1386.99/1391.19 c #Conflicts: 375000 | #Constraints: 20994
1386.99/1391.19 c #Conflicts: 376000 | #Constraints: 21994
1386.99/1391.19 c #Conflicts: 377000 | #Constraints: 22994
1386.99/1391.19 c #Conflicts: 378000 | #Constraints: 23994
1386.99/1391.19 c #Conflicts: 379000 | #Constraints: 24994
1386.99/1391.19 c #Conflicts: 380000 | #Constraints: 25994
1386.99/1391.19 c #Conflicts: 381000 | #Constraints: 26994
1386.99/1391.19 c INPROCESSING
1386.99/1391.19 c GARBAGE COLLECT
1386.99/1391.19 c #Conflicts: 382000 | #Constraints: 15784
1386.99/1391.19 c #Conflicts: 383000 | #Constraints: 16784
1386.99/1391.19 c #Conflicts: 384000 | #Constraints: 17784
1386.99/1391.19 c #Conflicts: 385000 | #Constraints: 18784
1386.99/1391.19 c #Conflicts: 386000 | #Constraints: 19784
1386.99/1391.19 c #Conflicts: 387000 | #Constraints: 20784
1386.99/1391.19 c #Conflicts: 388000 | #Constraints: 21784
1386.99/1391.19 c #Conflicts: 389000 | #Constraints: 22784
1386.99/1391.19 c #Conflicts: 390000 | #Constraints: 23784
1386.99/1391.19 c #Conflicts: 391000 | #Constraints: 24784
1386.99/1391.19 c #Conflicts: 392000 | #Constraints: 25784
1386.99/1391.19 c #Conflicts: 393000 | #Constraints: 26784
1386.99/1391.19 c #Conflicts: 394000 | #Constraints: 27784
1386.99/1391.19 c INPROCESSING
1386.99/1391.19 c GARBAGE COLLECT
1386.99/1391.19 c #Conflicts: 395000 | #Constraints: 16368
1386.99/1391.19 c #Conflicts: 396000 | #Constraints: 17368
1386.99/1391.19 c #Conflicts: 397000 | #Constraints: 18368
1386.99/1391.19 c #Conflicts: 398000 | #Constraints: 19368
1386.99/1391.19 c #Conflicts: 399000 | #Constraints: 20368
1386.99/1391.19 c #Conflicts: 400000 | #Constraints: 21368
1386.99/1391.19 c #Conflicts: 401000 | #Constraints: 22368
1921.29/1926.87 c #Conflicts: 402000 | #Constraints: 23368
1921.29/1926.87 c #Conflicts: 403000 | #Constraints: 24368
1921.29/1926.87 c #Conflicts: 404000 | #Constraints: 25368
1921.29/1926.87 c #Conflicts: 405000 | #Constraints: 26368
1921.29/1926.87 c #Conflicts: 406000 | #Constraints: 27368
1921.29/1926.87 c #Conflicts: 407000 | #Constraints: 28368
1921.29/1926.87 c INPROCESSING
1921.29/1926.87 c GARBAGE COLLECT
1921.29/1926.87 c #Conflicts: 408000 | #Constraints: 16763
1921.29/1926.87 c #Conflicts: 409000 | #Constraints: 17763
1921.29/1926.87 c #Conflicts: 410000 | #Constraints: 18763
1921.29/1926.87 c #Conflicts: 411000 | #Constraints: 19763
1921.29/1926.87 c #Conflicts: 412000 | #Constraints: 20763
1921.29/1926.87 c #Conflicts: 413000 | #Constraints: 21763
1921.29/1926.87 c #Conflicts: 414000 | #Constraints: 22763
1921.29/1926.87 c #Conflicts: 415000 | #Constraints: 23763
1921.29/1926.87 c #Conflicts: 416000 | #Constraints: 24763
1921.29/1926.87 c #Conflicts: 417000 | #Constraints: 25763
1921.29/1926.87 c #Conflicts: 418000 | #Constraints: 26763
1921.29/1926.87 c #Conflicts: 419000 | #Constraints: 27763
1921.29/1926.87 c #Conflicts: 420000 | #Constraints: 28763
1921.29/1926.87 c INPROCESSING
1921.29/1926.87 c GARBAGE COLLECT
1921.29/1926.87 c #Conflicts: 421000 | #Constraints: 16962
1921.29/1926.87 c #Conflicts: 422000 | #Constraints: 17962
1921.29/1926.87 c #Conflicts: 423000 | #Constraints: 18962
1921.29/1926.87 c #Conflicts: 424000 | #Constraints: 19962
1921.29/1926.87 c #Conflicts: 425000 | #Constraints: 20962
1921.29/1926.87 c #Conflicts: 426000 | #Constraints: 21962
1921.29/1926.87 c #Conflicts: 427000 | #Constraints: 22962
1921.29/1926.87 c #Conflicts: 428000 | #Constraints: 23962
1921.29/1926.87 c #Conflicts: 429000 | #Constraints: 24962
1921.29/1926.87 c #Conflicts: 430000 | #Constraints: 25962
1921.29/1926.87 c #Conflicts: 431000 | #Constraints: 26962
1921.29/1926.87 c #Conflicts: 432000 | #Constraints: 27962
1921.29/1926.87 c #Conflicts: 433000 | #Constraints: 28962
1921.29/1926.87 c INPROCESSING
1921.29/1926.87 c GARBAGE COLLECT
1921.29/1926.87 c #Conflicts: 434000 | #Constraints: 16981
1921.29/1926.87 c #Conflicts: 435000 | #Constraints: 17981
1921.29/1926.87 c #Conflicts: 436000 | #Constraints: 18981
1921.29/1926.87 c #Conflicts: 437000 | #Constraints: 19981
1921.29/1926.87 c #Conflicts: 438000 | #Constraints: 20981
1921.29/1926.87 c #Conflicts: 439000 | #Constraints: 21981
1921.29/1926.87 c #Conflicts: 440000 | #Constraints: 22981
1921.29/1926.87 c #Conflicts: 441000 | #Constraints: 23981
1921.29/1926.87 c #Conflicts: 442000 | #Constraints: 24981
1921.29/1926.87 c #Conflicts: 443000 | #Constraints: 25981
1921.29/1926.87 c #Conflicts: 444000 | #Constraints: 26981
1921.29/1926.87 c #Conflicts: 445000 | #Constraints: 27981
1921.29/1926.87 c #Conflicts: 446000 | #Constraints: 28981
1921.29/1926.87 c INPROCESSING
1921.29/1926.87 c GARBAGE COLLECT
1921.29/1926.87 c #Conflicts: 447000 | #Constraints: 16763
1921.29/1926.87 c #Conflicts: 448000 | #Constraints: 17763
1921.29/1926.87 c #Conflicts: 449000 | #Constraints: 18763
1921.29/1926.87 c #Conflicts: 450000 | #Constraints: 19763
1921.29/1926.87 c #Conflicts: 451000 | #Constraints: 20763
1921.29/1926.87 c #Conflicts: 452000 | #Constraints: 21763
1921.29/1926.87 c #Conflicts: 453000 | #Constraints: 22763
1921.29/1926.87 c #Conflicts: 454000 | #Constraints: 23763
1921.29/1926.87 c #Conflicts: 455000 | #Constraints: 24763
1921.29/1926.87 c #Conflicts: 456000 | #Constraints: 25763
1921.29/1926.87 c #Conflicts: 457000 | #Constraints: 26763
1921.29/1926.87 c #Conflicts: 458000 | #Constraints: 27763
1921.29/1926.87 c #Conflicts: 459000 | #Constraints: 28763
1921.29/1926.87 c #Conflicts: 460000 | #Constraints: 29763
1921.29/1926.87 c INPROCESSING
1921.29/1926.87 c GARBAGE COLLECT
1921.29/1926.87 c #Conflicts: 461000 | #Constraints: 17368
1921.29/1926.87 c #Conflicts: 462000 | #Constraints: 18368
1921.29/1926.87 c #Conflicts: 463000 | #Constraints: 19368
1921.29/1926.87 c #Conflicts: 464000 | #Constraints: 20368
1921.29/1926.87 c #Conflicts: 465000 | #Constraints: 21368
1921.29/1926.87 c #Conflicts: 466000 | #Constraints: 22368
1921.29/1926.87 c #Conflicts: 467000 | #Constraints: 23368
1921.29/1926.87 c #Conflicts: 468000 | #Constraints: 24368
1921.29/1926.87 c #Conflicts: 469000 | #Constraints: 25368
1921.29/1926.87 c #Conflicts: 470000 | #Constraints: 26368
1921.29/1926.87 c #Conflicts: 471000 | #Constraints: 27368
1921.29/1926.87 c #Conflicts: 472000 | #Constraints: 28368
1921.29/1926.87 c #Conflicts: 473000 | #Constraints: 29368
1921.29/1926.87 c #Conflicts: 474000 | #Constraints: 30368
1921.29/1926.87 c INPROCESSING
1921.29/1926.87 c GARBAGE COLLECT
1921.29/1926.87 c #Conflicts: 475000 | #Constraints: 17755
1921.29/1926.87 c #Conflicts: 476000 | #Constraints: 18755
2420.95/2427.79 c #Conflicts: 477000 | #Constraints: 19755
2420.95/2427.79 c #Conflicts: 478000 | #Constraints: 20755
2420.95/2427.79 c #Conflicts: 479000 | #Constraints: 21755
2420.95/2427.79 c #Conflicts: 480000 | #Constraints: 22755
2420.95/2427.79 c #Conflicts: 481000 | #Constraints: 23755
2420.95/2427.79 c #Conflicts: 482000 | #Constraints: 24755
2420.95/2427.79 c #Conflicts: 483000 | #Constraints: 25755
2420.95/2427.79 c #Conflicts: 484000 | #Constraints: 26755
2420.95/2427.79 c #Conflicts: 485000 | #Constraints: 27755
2420.95/2427.79 c #Conflicts: 486000 | #Constraints: 28755
2420.95/2427.79 c #Conflicts: 487000 | #Constraints: 29755
2420.95/2427.79 c #Conflicts: 488000 | #Constraints: 30755
2420.95/2427.79 c INPROCESSING
2420.95/2427.79 c GARBAGE COLLECT
2420.95/2427.79 c #Conflicts: 489000 | #Constraints: 17963
2420.95/2427.79 c #Conflicts: 490000 | #Constraints: 18963
2420.95/2427.79 c #Conflicts: 491000 | #Constraints: 19963
2420.95/2427.79 c #Conflicts: 492000 | #Constraints: 20963
2420.95/2427.79 c #Conflicts: 493000 | #Constraints: 21963
2420.95/2427.79 c #Conflicts: 494000 | #Constraints: 22963
2420.95/2427.79 c #Conflicts: 495000 | #Constraints: 23963
2420.95/2427.79 c #Conflicts: 496000 | #Constraints: 24963
2420.95/2427.79 c #Conflicts: 497000 | #Constraints: 25963
2420.95/2427.79 c #Conflicts: 498000 | #Constraints: 26963
2420.95/2427.79 c #Conflicts: 499000 | #Constraints: 27963
2420.95/2427.79 c #Conflicts: 500000 | #Constraints: 28963
2420.95/2427.79 c #Conflicts: 501000 | #Constraints: 29963
2420.95/2427.79 c #Conflicts: 502000 | #Constraints: 30963
2420.95/2427.79 c INPROCESSING
2420.95/2427.79 c GARBAGE COLLECT
2420.95/2427.79 c #Conflicts: 503000 | #Constraints: 17969
2420.95/2427.79 c #Conflicts: 504000 | #Constraints: 18969
2420.95/2427.79 c #Conflicts: 505000 | #Constraints: 19969
2420.95/2427.79 c #Conflicts: 506000 | #Constraints: 20969
2420.95/2427.79 c #Conflicts: 507000 | #Constraints: 21969
2420.95/2427.79 c #Conflicts: 508000 | #Constraints: 22969
2420.95/2427.79 c #Conflicts: 509000 | #Constraints: 23969
2420.95/2427.79 c #Conflicts: 510000 | #Constraints: 24969
2420.95/2427.79 c #Conflicts: 511000 | #Constraints: 25969
2420.95/2427.79 c #Conflicts: 512000 | #Constraints: 26969
2420.95/2427.79 c #Conflicts: 513000 | #Constraints: 27969
2420.95/2427.79 c #Conflicts: 514000 | #Constraints: 28969
2420.95/2427.79 c #Conflicts: 515000 | #Constraints: 29969
2420.95/2427.79 c #Conflicts: 516000 | #Constraints: 30969
2420.95/2427.79 c INPROCESSING
2420.95/2427.79 c GARBAGE COLLECT
2420.95/2427.79 c #Conflicts: 517000 | #Constraints: 17775
2420.95/2427.79 c #Conflicts: 518000 | #Constraints: 18775
2420.95/2427.79 c #Conflicts: 519000 | #Constraints: 19775
2420.95/2427.79 c #Conflicts: 520000 | #Constraints: 20775
2420.95/2427.79 c #Conflicts: 521000 | #Constraints: 21775
2420.95/2427.79 c #Conflicts: 522000 | #Constraints: 22775
2420.95/2427.79 c #Conflicts: 523000 | #Constraints: 23775
2420.95/2427.79 c #Conflicts: 524000 | #Constraints: 24775
2420.95/2427.79 c #Conflicts: 525000 | #Constraints: 25775
2420.95/2427.79 c #Conflicts: 526000 | #Constraints: 26775
2420.95/2427.79 c #Conflicts: 527000 | #Constraints: 27775
2420.95/2427.79 c #Conflicts: 528000 | #Constraints: 28775
2420.95/2427.79 c #Conflicts: 529000 | #Constraints: 29775
2420.95/2427.79 c #Conflicts: 530000 | #Constraints: 30775
2420.95/2427.79 c #Conflicts: 531000 | #Constraints: 31775
2420.95/2427.79 c INPROCESSING
2420.95/2427.79 c GARBAGE COLLECT
2420.95/2427.79 c #Conflicts: 532000 | #Constraints: 18384
2420.95/2427.79 c #Conflicts: 533000 | #Constraints: 19384
2420.95/2427.79 c #Conflicts: 534000 | #Constraints: 20384
2420.95/2427.79 c #Conflicts: 535000 | #Constraints: 21384
2420.95/2427.79 c #Conflicts: 536000 | #Constraints: 22384
2420.95/2427.79 c #Conflicts: 537000 | #Constraints: 23384
2420.95/2427.79 c #Conflicts: 538000 | #Constraints: 24384
2420.95/2427.79 c #Conflicts: 539000 | #Constraints: 25384
2420.95/2427.79 c #Conflicts: 540000 | #Constraints: 26384
2420.95/2427.79 c #Conflicts: 541000 | #Constraints: 27384
2420.95/2427.79 c #Conflicts: 542000 | #Constraints: 28384
2420.95/2427.79 c #Conflicts: 543000 | #Constraints: 29384
2420.95/2427.79 c #Conflicts: 544000 | #Constraints: 30384
2420.95/2427.79 c #Conflicts: 545000 | #Constraints: 31384
2420.95/2427.79 c #Conflicts: 546000 | #Constraints: 32384
2420.95/2427.79 c INPROCESSING
2420.95/2427.79 c GARBAGE COLLECT
2420.95/2427.79 c #Conflicts: 547000 | #Constraints: 18790
2420.95/2427.79 c #Conflicts: 548000 | #Constraints: 19790
2420.95/2427.79 c #Conflicts: 549000 | #Constraints: 20790
2420.95/2427.79 c #Conflicts: 550000 | #Constraints: 21790
2420.95/2427.79 c #Conflicts: 551000 | #Constraints: 22790
2420.95/2427.79 c #Conflicts: 552000 | #Constraints: 23790
3041.43/3049.78 c #Conflicts: 553000 | #Constraints: 24790
3041.43/3049.78 c #Conflicts: 554000 | #Constraints: 25790
3041.43/3049.78 c #Conflicts: 555000 | #Constraints: 26790
3041.43/3049.78 c #Conflicts: 556000 | #Constraints: 27790
3041.43/3049.78 c #Conflicts: 557000 | #Constraints: 28790
3041.43/3049.78 c #Conflicts: 558000 | #Constraints: 29790
3041.43/3049.78 c #Conflicts: 559000 | #Constraints: 30790
3041.43/3049.78 c #Conflicts: 560000 | #Constraints: 31790
3041.43/3049.78 c #Conflicts: 561000 | #Constraints: 32790
3041.43/3049.78 c INPROCESSING
3041.43/3049.78 c GARBAGE COLLECT
3041.43/3049.78 c #Conflicts: 562000 | #Constraints: 18982
3041.43/3049.78 c #Conflicts: 563000 | #Constraints: 19982
3041.43/3049.78 c #Conflicts: 564000 | #Constraints: 20982
3041.43/3049.78 c #Conflicts: 565000 | #Constraints: 21982
3041.43/3049.78 c #Conflicts: 566000 | #Constraints: 22982
3041.43/3049.78 c #Conflicts: 567000 | #Constraints: 23982
3041.43/3049.78 c #Conflicts: 568000 | #Constraints: 24982
3041.43/3049.78 c #Conflicts: 569000 | #Constraints: 25982
3041.43/3049.78 c #Conflicts: 570000 | #Constraints: 26982
3041.43/3049.78 c #Conflicts: 571000 | #Constraints: 27982
3041.43/3049.78 c #Conflicts: 572000 | #Constraints: 28982
3041.43/3049.78 c #Conflicts: 573000 | #Constraints: 29982
3041.43/3049.78 c #Conflicts: 574000 | #Constraints: 30982
3041.43/3049.78 c #Conflicts: 575000 | #Constraints: 31982
3041.43/3049.78 c #Conflicts: 576000 | #Constraints: 32982
3041.43/3049.78 c INPROCESSING
3041.43/3049.78 c GARBAGE COLLECT
3041.43/3049.78 c #Conflicts: 577000 | #Constraints: 18985
3041.43/3049.78 c #Conflicts: 578000 | #Constraints: 19985
3041.43/3049.78 c #Conflicts: 579000 | #Constraints: 20985
3041.43/3049.78 c #Conflicts: 580000 | #Constraints: 21985
3041.43/3049.78 c #Conflicts: 581000 | #Constraints: 22985
3041.43/3049.78 c #Conflicts: 582000 | #Constraints: 23985
3041.43/3049.78 c #Conflicts: 583000 | #Constraints: 24985
3041.43/3049.78 c #Conflicts: 584000 | #Constraints: 25985
3041.43/3049.78 c #Conflicts: 585000 | #Constraints: 26985
3041.43/3049.78 c #Conflicts: 586000 | #Constraints: 27985
3041.43/3049.78 c #Conflicts: 587000 | #Constraints: 28985
3041.43/3049.78 c #Conflicts: 588000 | #Constraints: 29985
3041.43/3049.78 c #Conflicts: 589000 | #Constraints: 30985
3041.43/3049.78 c #Conflicts: 590000 | #Constraints: 31985
3041.43/3049.78 c #Conflicts: 591000 | #Constraints: 32985
3041.43/3049.78 c INPROCESSING
3041.43/3049.78 c GARBAGE COLLECT
3041.43/3049.78 c #Conflicts: 592000 | #Constraints: 18774
3041.43/3049.78 c #Conflicts: 593000 | #Constraints: 19774
3041.43/3049.78 c #Conflicts: 594000 | #Constraints: 20774
3041.43/3049.78 c #Conflicts: 595000 | #Constraints: 21774
3041.43/3049.78 c #Conflicts: 596000 | #Constraints: 22774
3041.43/3049.78 c #Conflicts: 597000 | #Constraints: 23774
3041.43/3049.78 c #Conflicts: 598000 | #Constraints: 24774
3041.43/3049.78 c #Conflicts: 599000 | #Constraints: 25774
3041.43/3049.78 c #Conflicts: 600000 | #Constraints: 26774
3041.43/3049.78 c #Conflicts: 601000 | #Constraints: 27774
3041.43/3049.78 c #Conflicts: 602000 | #Constraints: 28774
3041.43/3049.78 c #Conflicts: 603000 | #Constraints: 29774
3041.43/3049.78 c #Conflicts: 604000 | #Constraints: 30774
3041.43/3049.78 c #Conflicts: 605000 | #Constraints: 31774
3041.43/3049.78 c #Conflicts: 606000 | #Constraints: 32774
3041.43/3049.78 c #Conflicts: 607000 | #Constraints: 33774
3041.43/3049.78 c INPROCESSING
3041.43/3049.78 c GARBAGE COLLECT
3041.43/3049.78 c #Conflicts: 608000 | #Constraints: 19370
3041.43/3049.78 c #Conflicts: 609000 | #Constraints: 20370
3041.43/3049.78 c #Conflicts: 610000 | #Constraints: 21370
3041.43/3049.78 c #Conflicts: 611000 | #Constraints: 22370
3041.43/3049.78 c #Conflicts: 612000 | #Constraints: 23370
3041.43/3049.78 c #Conflicts: 613000 | #Constraints: 24370
3041.43/3049.78 c #Conflicts: 614000 | #Constraints: 25370
3041.43/3049.78 c #Conflicts: 615000 | #Constraints: 26370
3041.43/3049.78 c #Conflicts: 616000 | #Constraints: 27370
3041.43/3049.78 c #Conflicts: 617000 | #Constraints: 28370
3041.43/3049.78 c #Conflicts: 618000 | #Constraints: 29370
3041.43/3049.78 c #Conflicts: 619000 | #Constraints: 30370
3041.43/3049.78 c #Conflicts: 620000 | #Constraints: 31370
3041.43/3049.78 c #Conflicts: 621000 | #Constraints: 32370
3041.43/3049.78 c #Conflicts: 622000 | #Constraints: 33370
3041.43/3049.78 c #Conflicts: 623000 | #Constraints: 34370
3041.43/3049.78 c INPROCESSING
3041.43/3049.78 c GARBAGE COLLECT
3041.43/3049.78 c #Conflicts: 624000 | #Constraints: 19780
3041.43/3049.78 c #Conflicts: 625000 | #Constraints: 20780
3041.43/3049.78 c #Conflicts: 626000 | #Constraints: 21780
3041.43/3049.78 c #Conflicts: 627000 | #Constraints: 22780
3041.43/3049.78 c #Conflicts: 628000 | #Constraints: 23780
3503.31/3512.75 c #Conflicts: 629000 | #Constraints: 24780
3503.31/3512.75 c #Conflicts: 630000 | #Constraints: 25780
3503.31/3512.75 c #Conflicts: 631000 | #Constraints: 26780
3503.31/3512.75 c #Conflicts: 632000 | #Constraints: 27780
3503.31/3512.75 c #Conflicts: 633000 | #Constraints: 28780
3503.31/3512.75 c #Conflicts: 634000 | #Constraints: 29780
3503.31/3512.75 c #Conflicts: 635000 | #Constraints: 30780
3503.31/3512.75 c #Conflicts: 636000 | #Constraints: 31780
3503.31/3512.75 c #Conflicts: 637000 | #Constraints: 32780
3503.31/3512.75 c #Conflicts: 638000 | #Constraints: 33780
3503.31/3512.75 c #Conflicts: 639000 | #Constraints: 34780
3503.31/3512.75 c INPROCESSING
3503.31/3512.75 c GARBAGE COLLECT
3503.31/3512.75 c #Conflicts: 640000 | #Constraints: 19985
3503.31/3512.75 c #Conflicts: 641000 | #Constraints: 20985
3503.31/3512.75 c #Conflicts: 642000 | #Constraints: 21985
3503.31/3512.75 c #Conflicts: 643000 | #Constraints: 22985
3503.31/3512.75 c #Conflicts: 644000 | #Constraints: 23985
3503.31/3512.75 c #Conflicts: 645000 | #Constraints: 24985
3503.31/3512.75 c #Conflicts: 646000 | #Constraints: 25985
3503.31/3512.75 c #Conflicts: 647000 | #Constraints: 26985
3503.31/3512.75 c #Conflicts: 648000 | #Constraints: 27985
3503.31/3512.75 c #Conflicts: 649000 | #Constraints: 28985
3503.31/3512.75 c #Conflicts: 650000 | #Constraints: 29985
3503.31/3512.75 c #Conflicts: 651000 | #Constraints: 30985
3503.31/3512.75 c #Conflicts: 652000 | #Constraints: 31985
3503.31/3512.75 c #Conflicts: 653000 | #Constraints: 32985
3503.31/3512.75 c #Conflicts: 654000 | #Constraints: 33985
3503.31/3512.75 c #Conflicts: 655000 | #Constraints: 34985
3503.31/3512.75 c INPROCESSING
3503.31/3512.75 c GARBAGE COLLECT
3503.31/3512.75 c #Conflicts: 656000 | #Constraints: 19974
3503.31/3512.75 c #Conflicts: 657000 | #Constraints: 20974
3503.31/3512.75 c #Conflicts: 658000 | #Constraints: 21974
3503.31/3512.75 c #Conflicts: 659000 | #Constraints: 22974
3503.31/3512.75 c #Conflicts: 660000 | #Constraints: 23974
3503.31/3512.75 c #Conflicts: 661000 | #Constraints: 24974
3503.31/3512.75 c #Conflicts: 662000 | #Constraints: 25974
3503.31/3512.75 c #Conflicts: 663000 | #Constraints: 26974
3503.31/3512.75 c #Conflicts: 664000 | #Constraints: 27974
3503.31/3512.75 c #Conflicts: 665000 | #Constraints: 28974
3503.31/3512.75 c #Conflicts: 666000 | #Constraints: 29974
3503.31/3512.75 c #Conflicts: 667000 | #Constraints: 30974
3503.31/3512.75 c #Conflicts: 668000 | #Constraints: 31974
3503.31/3512.75 c #Conflicts: 669000 | #Constraints: 32974
3503.31/3512.75 c #Conflicts: 670000 | #Constraints: 33974
3503.31/3512.75 c #Conflicts: 671000 | #Constraints: 34974
3503.31/3512.75 c INPROCESSING
3503.31/3512.75 c GARBAGE COLLECT
3503.31/3512.75 c #Conflicts: 672000 | #Constraints: 19780
3503.31/3512.75 c #Conflicts: 673000 | #Constraints: 20780
3503.31/3512.75 c #Conflicts: 674000 | #Constraints: 21780
3503.31/3512.75 c #Conflicts: 675000 | #Constraints: 22780
3503.31/3512.75 c #Conflicts: 676000 | #Constraints: 23780
3503.31/3512.75 c #Conflicts: 677000 | #Constraints: 24780
3503.31/3512.75 c #Conflicts: 678000 | #Constraints: 25780
3503.31/3512.75 c #Conflicts: 679000 | #Constraints: 26780
3503.31/3512.75 c #Conflicts: 680000 | #Constraints: 27780
3503.31/3512.75 c #Conflicts: 681000 | #Constraints: 28780
3503.31/3512.75 c #Conflicts: 682000 | #Constraints: 29780
3503.31/3512.75 c #Conflicts: 683000 | #Constraints: 30780
3503.31/3512.75 c #Conflicts: 684000 | #Constraints: 31780
3503.31/3512.75 c GLOBAL bounds - >= -1407 @ 3493.94
3503.51/3513.00 c GLOBAL bounds - >= -1407 @ 3494.18
3504.41/3513.81 c #Conflicts: 685000 | #Constraints: 32784
3504.41/3513.81 c GLOBAL bounds - >= -1407 @ 3494.99
3600.08/3609.70 c #Conflicts: 686000 | #Constraints: 33786
3600.08/3609.70 c #Conflicts: 687000 | #Constraints: 34786
3600.08/3609.70 c #Conflicts: 688000 | #Constraints: 35786
3600.08/3609.70 c INPROCESSING
3600.08/3609.70 c GARBAGE COLLECT
3600.08/3609.70 c #Conflicts: 689000 | #Constraints: 20375
3600.08/3609.70 c #Conflicts: 690000 | #Constraints: 21375
3600.08/3609.70 c #Conflicts: 691000 | #Constraints: 22375
3600.08/3609.70 c #Conflicts: 692000 | #Constraints: 23375
3600.08/3609.70 c #Conflicts: 693000 | #Constraints: 24375
3600.08/3609.70 c #Conflicts: 694000 | #Constraints: 25375
3600.08/3609.70 c #Conflicts: 695000 | #Constraints: 26375
3600.08/3609.70 c #Conflicts: 696000 | #Constraints: 27375
3600.08/3609.70 c #Conflicts: 697000 | #Constraints: 28375
3600.08/3609.70 c #Conflicts: 698000 | #Constraints: 29375
3600.08/3609.70 c #Conflicts: 699000 | #Constraints: 30375
3600.08/3609.70 c cpu time 3590.44 s
3600.08/3609.70 c deterministic time 2 2.00e+00
3600.08/3609.70 c optimization time 3590.42 s
3600.08/3609.70 c total solve time 0 s
3600.08/3609.70 c core-guided solve time 0 s
3600.08/3609.70 c propagation time 0.000939 s
3600.08/3609.70 c conflict analysis time 0 s
3600.08/3609.70 c propagations 1
3600.08/3609.70 c resolve steps 0
3600.08/3609.70 c decisions 0
3600.08/3609.70 c conflicts 0
3600.08/3609.70 c restarts 0
3600.08/3609.70 c inprocessing phases 0
3600.08/3609.70 c garbage collections 0 ,( -nan )
3600.08/3609.70 c input clauses 1953 ,( 75.90 )
3600.08/3609.70 c input cardinalities 620 ,( 24.10 )
3600.08/3609.70 c input general constraints 0 ,( 0.00 )
3600.08/3609.70 c input average constraint length 6.19
3600.08/3609.70 c input average constraint degree 3.03
3600.08/3609.70 c learned clauses 0 ,( 0.00 )
3600.08/3609.70 c learned cardinalities 0 ,( 0.00 )
3600.08/3609.70 c learned general constraints 0 ,( 0.00 )
3600.08/3609.70 c learned average constraint length 0.00
3600.08/3609.70 c learned average constraint degree 0.00
3600.08/3609.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3609.70 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3609.70 c watched constraints 0 ,( -nan )
3600.08/3609.70 c counting constraints 0 ,( -nan )
3600.08/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3609.70 c gcd simplifications 0
3600.08/3609.70 c detected cardinalities 0
3600.08/3609.70 c weakened non-implied lits 0
3600.08/3609.70 c weakened non-implying lits 0
3600.08/3609.70 c original variables 3300
3600.08/3609.70 c clausal propagations 0
3600.08/3609.70 c cardinality propagations 0
3600.08/3609.70 c watched propagations 0
3600.08/3609.70 c counting propagations 0
3600.08/3609.70 c watch lookups 0
3600.08/3609.70 c watch backjump lookups 0
3600.08/3609.70 c watch checks 0
3600.08/3609.70 c propagation checks 0
3600.08/3609.70 c constraint additions 0
3600.08/3609.70 c trail pops 0
3600.08/3609.70 c formula constraints 2573
3600.08/3609.70 c learned constraints 0
3600.08/3609.70 c bound constraints 0
3600.08/3609.70 c core-guided constraints 0
3600.08/3609.70 c encountered formula constraints 0
3600.08/3609.70 c encountered learned constraints 0
3600.08/3609.70 c encountered bound constraints 0
3600.08/3609.70 c encountered core-guided constraints 0
3600.08/3609.70 c LP total time 0 s
3600.08/3609.70 c LP solve time 0 s
3600.08/3609.70 c LP constraints added 0
3600.08/3609.70 c LP constraints removed 0
3600.08/3609.70 c LP pivots internal 0
3600.08/3609.70 c LP pivots root 0
3600.08/3609.70 c LP calls 0
3600.08/3609.70 c LP optimalities 0
3600.08/3609.70 c LP no pivot count 0
3600.08/3609.70 c LP infeasibilities 0
3600.08/3609.70 c LP valid Farkas constraints 0
3600.08/3609.70 c LP learned Farkas constraints 0
3600.08/3609.70 c LP basis resets 0
3600.08/3609.70 c LP cycling count 0
3600.08/3609.70 c LP singular count 0
3600.08/3609.70 c LP no primal count 0
3600.08/3609.70 c LP no farkas count 0
3600.08/3609.70 c LP other issue count 0
3600.08/3609.70 c LP Gomory cuts 0
3600.08/3609.70 c LP learned cuts 0
3600.08/3609.70 c LP deleted cuts 0
3600.08/3609.70 c LP encountered Gomory constraints 0
3600.08/3609.70 c LP encountered Farkas constraints 0
3600.08/3609.70 c LP encountered learned Farkas constraints 0
3600.08/3609.70 c CG auxiliary variables introduced 0
3600.08/3609.70 c CG solutions found 0
3600.08/3609.70 c CG cores constructed 0
3600.08/3609.70 c CG core cardinality constraints returned 0
3600.08/3609.70 c CG unit cores 0
3600.08/3609.70 c CG single cores 0
3600.08/3609.70 c CG blocks removed during cardinality reduction 0
3600.08/3609.70 c CG first core best 0
3600.08/3609.70 c CG decision core best 0
3600.08/3609.70 c CG core reduction tie 0
3600.08/3609.70 c CG core degree average 0.00
3600.08/3609.70 c CG core slack average 0.00
3600.08/3609.70 c CG core upper bound improvements 0
3600.08/3609.70 c STR number of successful calls 0
3600.08/3609.70 c STR number of unsuccessful calls 0
3600.08/3609.70 c STR number of inconclusive calls 0
3600.08/3609.70 c STR number of successful attempts 0
3600.08/3609.70 c STR number of unsuccessful attempts 0
3600.08/3609.70 c STR number of inconclusive attempts 0
3600.08/3609.70 c STR average degree increase per successful call inf
3600.08/3609.70 c STR average degree increase per successful attempt inf
3600.08/3609.70 c STR total number of conflicts for successful attempts 0
3600.08/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.70 c STR average number of conflicts per successful attempt inf
3600.08/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.70 c AVG.sumWPerc -nan
3600.08/3609.70 c bigint constraints 0
3600.08/3609.70 s UNKNOWN
3600.08/3609.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62755 MiB free)
memory of node 1: 64465 MiB (63459 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484079-1751283730/watcher-4484079-1751283730 -o /tmp/evaluation-result-4484079-1751283730/solver-4484079-1751283730 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39701 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484079-1751283730.opb PROOFDIR/proof-4484079-1751283730
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=40158, runsolver pid=40155
[startup+0.100058 s]*
/proc/loadavg: 4.05 4.08 4.09 5/274 40160
/proc/meminfo: memFree=129242712/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=66420 memory=16504 CPUtime=0.07 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 2624 0 0 0 5 2 0 0 20 0 1 0 44049635 68014080 4126 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 16605 4126 2336 1147 0 4032 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70612 KiB
Current children cumulated memory: 19448 KiB
[startup+0.204985 s]*
/proc/loadavg: 4.05 4.08 4.09 5/274 40160
/proc/meminfo: memFree=129240696/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=68560 memory=19064 CPUtime=0.18 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 3294 0 0 0 11 7 0 0 20 0 1 0 44049635 70205440 4766 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 17140 4766 2336 1147 0 4567 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 72752 KiB
Current children cumulated memory: 22008 KiB
[startup+0.305344 s]*
/proc/loadavg: 4.05 4.08 4.09 5/274 40160
/proc/meminfo: memFree=129235844/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=70276 memory=23384 CPUtime=0.28 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 3833 0 0 0 17 11 0 0 20 0 1 0 44049635 71962624 5846 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 17569 5846 2336 1147 0 4996 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 74468 KiB
Current children cumulated memory: 26328 KiB
[startup+0.700157 s]
/proc/loadavg: 4.05 4.08 4.09 5/274 40160
/proc/meminfo: memFree=129230888/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=80692 memory=33988 CPUtime=0.67 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 5994 0 0 0 51 16 0 0 20 0 1 0 44049635 82628608 8497 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 20173 8497 2336 1147 0 7600 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 84884 KiB
Current children cumulated memory: 36932 KiB
[startup+1.50016 s]
/proc/loadavg: 4.05 4.08 4.09 5/274 40160
/proc/meminfo: memFree=129204868/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=140152 memory=85532 CPUtime=1.46 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 16306 0 0 0 125 21 0 0 20 0 1 0 44049635 143515648 21383 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 35038 21383 2336 1147 0 22465 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 88476 KiB
[startup+3.1053 s]
/proc/loadavg: 4.04 4.08 4.09 5/274 40160
/proc/meminfo: memFree=129007820/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=207344 memory=150368 CPUtime=3.06 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 28450 0 0 0 279 27 0 0 20 0 1 0 44049635 212320256 37592 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 51836 37592 2336 1147 0 39263 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 211536 KiB
Current children cumulated memory: 153312 KiB
[startup+6.30015 s]
/proc/loadavg: 4.04 4.08 4.09 5/274 40160
/proc/meminfo: memFree=128860664/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=320936 memory=225280 CPUtime=6.25 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 44130 0 0 0 590 35 0 0 20 0 1 0 44049635 328638464 56320 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 80234 56320 2336 1147 0 67661 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 325128 KiB
Current children cumulated memory: 228224 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.08 5/274 40160
/proc/meminfo: memFree=128533540/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=534888 memory=373320 CPUtime=12.63 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 73986 0 0 0 1213 50 0 0 20 0 1 0 44049635 547725312 93330 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 133722 93330 2336 1147 0 121149 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 539080 KiB
Current children cumulated memory: 376264 KiB
[startup+25.5002 s]
/proc/loadavg: 4.03 4.08 4.08 5/274 40160
/proc/meminfo: memFree=128061244/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=537704 memory=417592 CPUtime=25.39 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 79446 0 0 0 2470 69 0 0 20 0 1 0 44049635 550608896 104398 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 134426 104398 2336 1147 0 121853 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 541896 KiB
Current children cumulated memory: 420536 KiB
[startup+51.1051 s]
/proc/loadavg: 4.02 4.07 4.08 5/273 40208
/proc/meminfo: memFree=127216084/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=637560 memory=484920 CPUtime=50.91 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 91156 0 0 0 4989 102 0 0 20 0 1 0 44049635 652861440 121230 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 159390 121230 2336 1147 0 146817 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 641752 KiB
Current children cumulated memory: 487864 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.12 4.10 5/274 40210
/proc/meminfo: memFree=125544692/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=937224 memory=721048 CPUtime=101.95 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 141510 0 0 0 10024 171 0 0 20 0 1 0 44049635 959717376 180262 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 234306 180262 2336 1147 0 221733 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 941416 KiB
Current children cumulated memory: 723992 KiB
[startup+162.3 s]
/proc/loadavg: 4.35 4.18 4.12 5/274 40212
/proc/meminfo: memFree=124096904/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=941832 memory=798388 CPUtime=161.76 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 153713 0 0 0 15937 239 0 0 20 0 1 0 44049635 964435968 199597 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 235458 199597 2336 1147 0 222885 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 946024 KiB
Current children cumulated memory: 801332 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/274 40214
/proc/meminfo: memFree=122094152/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1080236 memory=873132 CPUtime=221.57 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 162195 0 0 0 21870 287 0 0 20 0 1 0 44049635 1106161664 218283 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 270059 218283 2336 1147 0 257486 0
################
# More data... #
################
/proc/40160/statm: 491174 454031 2336 1147 0 478601 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 1968888 KiB
Current children cumulated memory: 1819068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/275 40385
/proc/meminfo: memFree=90435940/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1964696 memory=1816124 CPUtime=3153.76 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 294795 0 0 0 314477 899 0 0 20 0 1 0 44049635 2011848704 454031 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491174 454031 2336 1147 0 478601 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 1968888 KiB
Current children cumulated memory: 1819068 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/276 40388
/proc/meminfo: memFree=90331832/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1964696 memory=1816124 CPUtime=3213.61 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 294808 0 0 0 320451 910 0 0 20 0 1 0 44049635 2011848704 454031 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491174 454031 2336 1147 0 478601 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 1968888 KiB
Current children cumulated memory: 1819068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/276 40397
/proc/meminfo: memFree=89981268/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1964696 memory=1816124 CPUtime=3273.46 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 295029 0 0 0 326432 914 0 0 20 0 1 0 44049635 2011848704 454031 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491174 454031 2336 1147 0 478601 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 1968888 KiB
Current children cumulated memory: 1819068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 40399
/proc/meminfo: memFree=89790324/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1965208 memory=1828864 CPUtime=3333.32 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 295158 0 0 0 332410 922 0 0 20 0 1 0 44049635 2012372992 457216 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491302 457216 2336 1147 0 478729 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 1969400 KiB
Current children cumulated memory: 1831808 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/273 40402
/proc/meminfo: memFree=89476064/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1965208 memory=1828864 CPUtime=3393.18 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 295158 0 0 0 338389 929 0 0 20 0 1 0 44049635 2012372992 457216 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491302 457216 2336 1147 0 478729 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 1969400 KiB
Current children cumulated memory: 1831808 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 40405
/proc/meminfo: memFree=88917900/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1965208 memory=1828864 CPUtime=3453.04 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 295316 0 0 0 344366 938 0 0 20 0 1 0 44049635 2012372992 457216 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491302 457216 2336 1147 0 478729 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 1969400 KiB
Current children cumulated memory: 1831808 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/273 40408
/proc/meminfo: memFree=88287424/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1965208 memory=1828864 CPUtime=3512.89 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 295395 0 0 0 350342 947 0 0 20 0 1 0 44049635 2012372992 457216 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491302 457216 2336 1147 0 478729 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 1969400 KiB
Current children cumulated memory: 1831808 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 40410
/proc/meminfo: memFree=87803528/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1967768 memory=1838436 CPUtime=3572.74 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 295749 0 0 0 356313 961 0 0 20 0 1 0 44049635 2014994432 459609 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491942 459609 2336 1147 0 479369 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 1971960 KiB
Current children cumulated memory: 1841380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.11 4.10 4.09 3/267 40418
/proc/meminfo: memFree=88868976/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1967768 memory=1838436 CPUtime=3600.08 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 295749 0 0 0 359043 965 0 0 20 0 1 0 44049635 2014994432 459609 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491942 459609 2336 1147 0 479369 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1971960 KiB
Current children cumulated memory: 1841380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 40158 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002078 s
[startup+3609.73 s]
# the end of solver process 40160 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3590.44 s, system=9.66071 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.11 4.10 4.09 3/267 40418
/proc/meminfo: memFree=88868976/131250000 swapFree=33010684/33010684
[pid=40158] ppid=40155 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/40158/stat : 40158 (run-opt-log.sh) S 40155 40158 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44049634 4292608 736 18446744073709551615 94237961728000 94237962622533 140732618732016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94237962861584 94237962909328 94237989392384 140732618733857 140732618734052 140732618734052 140732618739654 0
/proc/40158/statm: 1048 736 672 219 0 110 0
[pid=40160] ppid=40158 vsize=1967768 memory=1838436 CPUtime=3600.08 cores=5,7
/proc/40160/stat : 40160 (roundingsat) R 40158 40158 39688 0 -1 4194304 295749 0 0 0 359043 965 0 0 20 0 1 0 44049635 2014994432 459609 18446744073709551615 4227072 8923433 140720896027616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13479936 140720896035154 140720896035368 140720896035368 140720896040938 0
/proc/40160/statm: 491942 459609 2336 1147 0 479369 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1971960 KiB
Current children cumulated memory: 1841380 KiB
Child status: 2
Real time (s): 3609.73
CPU time (s): 3600.1
CPU user time (s): 3590.44
CPU system time (s): 9.66071
CPU usage (%): 99.7333
Max. virtual memory (cumulated for all children) (KiB): 1971960
Max. memory (cumulated for all children) (KiB): 1841380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.44
system time used= 9.66071
maximum resident set size= 1838692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4883664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 480
involuntary context switches= 4882
# summary of solver processes directly reported to runsolver:
# pid: 40158,40160
# total CPU time (s): 3600.1
# total CPU user time (s): 3590.44
# total CPU system time (s): 9.66071
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52258 second user time and 16.9159 second system time
The end
Begin job on nodeC014 at 2025-06-30 13:42:10
IDJOB=4484079
IDBENCH=146649
IDSOLVER=3351
FILE ID=nodeC014/4484079-1751283730
RUNJOBID= nodeC014-1751280113-39701
SLURM_JOB_ID= 9594224
Free space on /tmp= 432980 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484079-1751283730/watcher-4484079-1751283730 -o /tmp/evaluation-result-4484079-1751283730/solver-4484079-1751283730 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39701 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484079-1751283730.opb PROOFDIR/proof-4484079-1751283730
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c26e44dc48355aad6827be56d900020
RANDOM SEED=1103775514
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.123
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.120
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.026
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.630
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.147
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.412
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3761.164
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129252948 kB
MemAvailable: 129430516 kB
Buffers: 3280 kB
Cached: 984876 kB
SwapCached: 0 kB
Active: 630972 kB
Inactive: 728776 kB
Active(anon): 389688 kB
Inactive(anon): 0 kB
Active(file): 241284 kB
Inactive(file): 728776 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43084 kB
Writeback: 0 kB
AnonPages: 374796 kB
Mapped: 117028 kB
Shmem: 18068 kB
KReclaimable: 93492 kB
Slab: 181196 kB
SReclaimable: 93492 kB
SUnreclaim: 87704 kB
KernelStack: 4400 kB
PageTables: 3872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 802352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC014 at 2025-06-30 14:42:20