0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
5.36/5.43 c #variables 211564 #constraints 885515
5.36/5.43 c objective is ce32
5.36/5.48 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.36/5.48 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.36/5.48 c GLOBAL bounds - >= 0 @ 4.61296
5.56/5.68 c GLOBAL bounds - >= 0 @ 4.68683
5.56/5.69 c GLOBAL bounds - >= 1169 @ 4.68868
8.85/8.99 c GLOBAL bounds - >= 1169 @ 7.87044
9.05/9.19 c GLOBAL bounds - >= 1169 @ 7.94642
9.15/9.20 c GLOBAL bounds - >= 1169 @ 7.9486
9.34/9.40 c GLOBAL bounds - >= 1169 @ 8.02158
9.34/9.41 c GLOBAL bounds - >= 1169 @ 8.02553
9.55/9.61 c GLOBAL bounds - >= 1169 @ 8.09774
9.55/9.61 c GLOBAL bounds - >= 1169 @ 8.10023
9.75/9.81 c GLOBAL bounds - >= 1169 @ 8.17986
9.75/9.82 c GLOBAL bounds - >= 1169 @ 8.18462
9.95/10.02 c GLOBAL bounds - >= 1169 @ 8.2595
9.95/10.03 c GLOBAL bounds - >= 1169 @ 8.26446
10.15/10.23 c GLOBAL bounds - >= 1169 @ 8.33168
10.15/10.24 c GLOBAL bounds - >= 1169 @ 8.33635
10.35/10.45 c GLOBAL bounds - >= 1169 @ 8.4144
10.35/10.46 c GLOBAL bounds - >= 1169 @ 8.41764
10.54/10.67 c GLOBAL bounds - >= 1169 @ 8.49401
10.54/10.68 c GLOBAL bounds - >= 1169 @ 8.50018
10.74/10.89 c GLOBAL bounds - >= 1169 @ 8.57197
10.84/10.90 c GLOBAL bounds - >= 1169 @ 8.57835
11.05/11.11 c GLOBAL bounds - >= 1169 @ 8.65235
11.25/11.34 c GLOBAL bounds - >= 6979 @ 8.76166
11.25/11.38 c GLOBAL bounds - >= 6979 @ 8.79174
11.45/11.59 c GLOBAL bounds - >= 6979 @ 8.87054
11.54/11.60 c GLOBAL bounds - >= 6979 @ 8.87626
11.74/11.81 c GLOBAL bounds - >= 6979 @ 8.96751
11.74/11.82 c GLOBAL bounds - >= 6979 @ 8.97169
11.95/12.03 c GLOBAL bounds - >= 6979 @ 9.04465
11.95/12.05 c GLOBAL bounds - >= 6979 @ 9.04897
12.14/12.25 c GLOBAL bounds - >= 6979 @ 9.12186
12.14/12.27 c GLOBAL bounds - >= 6979 @ 9.13006
12.34/12.48 c GLOBAL bounds - >= 6979 @ 9.2068
12.34/12.49 c GLOBAL bounds - >= 6979 @ 9.21197
12.64/12.70 c GLOBAL bounds - >= 6979 @ 9.28771
12.64/12.72 c GLOBAL bounds - >= 6979 @ 9.29773
12.84/12.92 c GLOBAL bounds - >= 6979 @ 9.39178
12.84/12.94 c GLOBAL bounds - >= 6979 @ 9.39927
13.05/13.15 c GLOBAL bounds - >= 6979 @ 9.47726
13.05/13.16 c GLOBAL bounds - >= 6979 @ 9.48468
13.24/13.37 c GLOBAL bounds - >= 6979 @ 9.5753
13.24/13.38 c GLOBAL bounds - >= 6979 @ 9.58514
13.43/13.59 c GLOBAL bounds - >= 6979 @ 9.64705
13.74/13.85 c GLOBAL bounds - >= 6979 @ 9.77245
13.94/14.10 c GLOBAL bounds - >= 6979 @ 9.89588
14.23/14.35 c GLOBAL bounds - >= 6979 @ 10.0319
14.33/14.42 c GLOBAL bounds - >= 11046 @ 10.098
14.33/14.46 c GLOBAL bounds - >= 11046 @ 10.1237
14.33/14.47 c GLOBAL bounds - >= 11046 @ 10.1287
14.54/14.67 c GLOBAL bounds - >= 11046 @ 10.1958
14.54/14.69 c GLOBAL bounds - >= 11046 @ 10.2018
14.73/14.89 c GLOBAL bounds - >= 11046 @ 10.2743
14.83/14.91 c GLOBAL bounds - >= 11046 @ 10.2821
15.04/15.11 c GLOBAL bounds - >= 11046 @ 10.3604
15.04/15.13 c GLOBAL bounds - >= 11046 @ 10.3673
15.23/15.34 c GLOBAL bounds - >= 11046 @ 10.4457
15.23/15.35 c GLOBAL bounds - >= 11046 @ 10.4592
15.44/15.56 c GLOBAL bounds - >= 11046 @ 10.5315
15.44/15.57 c GLOBAL bounds - >= 11046 @ 10.5386
15.63/15.78 c GLOBAL bounds - >= 11046 @ 10.6237
15.74/15.80 c GLOBAL bounds - >= 11046 @ 10.6287
15.93/16.01 c GLOBAL bounds - >= 11046 @ 10.7022
15.93/16.02 c GLOBAL bounds - >= 11046 @ 10.7079
16.13/16.23 c GLOBAL bounds - >= 11046 @ 10.7821
16.13/16.25 c GLOBAL bounds - >= 11046 @ 10.7914
16.33/16.46 c GLOBAL bounds - >= 11046 @ 10.876
16.33/16.48 c GLOBAL bounds - >= 11046 @ 10.8865
16.54/16.69 c GLOBAL bounds - >= 11046 @ 10.9599
16.83/16.94 c GLOBAL bounds - >= 11046 @ 11.0849
17.13/17.22 c GLOBAL bounds - >= 11046 @ 11.2227
17.43/17.57 c GLOBAL bounds - >= 11046 @ 11.395
17.73/17.85 c GLOBAL bounds - >= 11046 @ 11.5482
18.03/18.11 c GLOBAL bounds - >= 11046 @ 11.6812
18.22/18.37 c GLOBAL bounds - >= 11046 @ 11.7998
18.53/18.63 c GLOBAL bounds - >= 11046 @ 11.9221
18.62/18.71 c GLOBAL bounds - >= 12209 @ 12.0041
18.62/18.74 c GLOBAL bounds - >= 12209 @ 12.0224
18.62/18.75 c GLOBAL bounds - >= 12209 @ 12.0284
18.62/18.76 c GLOBAL bounds - >= 12209 @ 12.0348
18.62/18.78 c GLOBAL bounds - >= 12209 @ 12.0409
18.62/18.79 c GLOBAL bounds - >= 12209 @ 12.05
18.82/19.00 c GLOBAL bounds - >= 12209 @ 12.1179
18.93/19.01 c GLOBAL bounds - >= 12209 @ 12.1249
19.13/19.22 c GLOBAL bounds - >= 12209 @ 12.1893
19.13/19.23 c GLOBAL bounds - >= 12209 @ 12.1973
19.33/19.44 c GLOBAL bounds - >= 12209 @ 12.277
19.33/19.46 c GLOBAL bounds - >= 12209 @ 12.2839
19.52/19.66 c GLOBAL bounds - >= 12209 @ 12.3462
19.52/19.68 c GLOBAL bounds - >= 12209 @ 12.3551
19.72/19.88 c GLOBAL bounds - >= 12209 @ 12.4339
19.82/19.90 c GLOBAL bounds - >= 12209 @ 12.4428
20.02/20.11 c GLOBAL bounds - >= 12209 @ 12.5177
20.02/20.12 c GLOBAL bounds - >= 12209 @ 12.5246
20.22/20.33 c GLOBAL bounds - >= 12209 @ 12.6032
20.22/20.35 c GLOBAL bounds - >= 12209 @ 12.6091
20.42/20.56 c GLOBAL bounds - >= 12209 @ 12.6908
20.42/20.58 c GLOBAL bounds - >= 12209 @ 12.6979
20.62/20.79 c GLOBAL bounds - >= 12209 @ 12.7728
20.72/20.81 c GLOBAL bounds - >= 12209 @ 12.7822
20.92/21.02 c GLOBAL bounds - >= 12209 @ 12.8653
21.12/21.28 c GLOBAL bounds - >= 12209 @ 13.0045
21.42/21.58 c GLOBAL bounds - >= 12209 @ 13.152
21.71/21.84 c GLOBAL bounds - >= 12209 @ 13.2697
22.02/22.11 c GLOBAL bounds - >= 12209 @ 13.4164
22.22/22.33 c GLOBAL bounds - >= 12209 @ 13.5042
22.42/22.53 c GLOBAL bounds - >= 12209 @ 13.5801
22.62/22.72 c GLOBAL bounds - >= 12209 @ 13.6552
22.81/22.94 c GLOBAL bounds - >= 12209 @ 13.7395
22.81/22.97 c GLOBAL bounds - >= 13952 @ 13.7639
22.81/23.00 c GLOBAL bounds - >= 13952 @ 13.7846
22.92/23.01 c GLOBAL bounds - >= 13952 @ 13.7876
23.12/23.22 c GLOBAL bounds - >= 13952 @ 13.8713
23.12/23.24 c GLOBAL bounds - >= 13952 @ 13.8811
23.31/23.45 c GLOBAL bounds - >= 13952 @ 13.9461
23.31/23.46 c GLOBAL bounds - >= 13952 @ 13.9511
23.51/23.67 c GLOBAL bounds - >= 13952 @ 14.0373
23.51/23.69 c GLOBAL bounds - >= 13952 @ 14.0477
23.71/23.89 c GLOBAL bounds - >= 13952 @ 14.1323
23.81/23.91 c GLOBAL bounds - >= 13952 @ 14.1421
24.02/24.12 c GLOBAL bounds - >= 13952 @ 14.2117
24.02/24.14 c GLOBAL bounds - >= 13952 @ 14.2204
24.22/24.35 c GLOBAL bounds - >= 13952 @ 14.2923
24.22/24.37 c GLOBAL bounds - >= 13952 @ 14.3039
24.41/24.57 c GLOBAL bounds - >= 13952 @ 14.3727
24.41/24.60 c GLOBAL bounds - >= 13952 @ 14.3848
24.71/24.81 c GLOBAL bounds - >= 13952 @ 14.4591
24.71/24.83 c GLOBAL bounds - >= 13952 @ 14.4697
24.91/25.04 c GLOBAL bounds - >= 13952 @ 14.5425
24.91/25.06 c GLOBAL bounds - >= 13952 @ 14.5487
25.11/25.27 c GLOBAL bounds - >= 13952 @ 14.6189
25.40/25.53 c GLOBAL bounds - >= 13952 @ 14.7473
25.71/25.87 c GLOBAL bounds - >= 13952 @ 14.9385
26.01/26.18 c GLOBAL bounds - >= 13952 @ 15.1116
26.31/26.47 c GLOBAL bounds - >= 13952 @ 15.273
26.61/26.74 c GLOBAL bounds - >= 13952 @ 15.4267
26.71/26.81 c GLOBAL bounds - >= 17438 @ 15.4931
26.71/26.86 c GLOBAL bounds - >= 17438 @ 15.5337
26.71/26.87 c GLOBAL bounds - >= 17438 @ 15.5411
26.71/26.89 c GLOBAL bounds - >= 17438 @ 15.5479
26.81/26.91 c GLOBAL bounds - >= 17438 @ 15.559
27.01/27.14 c GLOBAL bounds - >= 17438 @ 15.6477
27.01/27.16 c GLOBAL bounds - >= 17438 @ 15.6605
27.21/27.37 c GLOBAL bounds - >= 17438 @ 15.7351
27.21/27.39 c GLOBAL bounds - >= 17438 @ 15.746
27.50/27.60 c GLOBAL bounds - >= 17438 @ 15.8175
27.50/27.62 c GLOBAL bounds - >= 17438 @ 15.829
27.71/27.83 c GLOBAL bounds - >= 17438 @ 15.8981
27.71/27.85 c GLOBAL bounds - >= 17438 @ 15.9081
27.90/28.06 c GLOBAL bounds - >= 17438 @ 15.9868
27.90/28.09 c GLOBAL bounds - >= 17438 @ 16.0002
28.20/28.30 c GLOBAL bounds - >= 17438 @ 16.0708
28.20/28.33 c GLOBAL bounds - >= 17438 @ 16.0832
28.40/28.54 c GLOBAL bounds - >= 17438 @ 16.1562
28.40/28.56 c GLOBAL bounds - >= 17438 @ 16.1694
28.61/28.77 c GLOBAL bounds - >= 17438 @ 16.2497
28.70/28.80 c GLOBAL bounds - >= 17438 @ 16.2621
28.90/29.01 c GLOBAL bounds - >= 17438 @ 16.3519
28.90/29.03 c GLOBAL bounds - >= 17438 @ 16.3627
29.10/29.24 c GLOBAL bounds - >= 17438 @ 16.4424
29.30/29.45 c GLOBAL bounds - >= 17438 @ 16.5084
29.50/29.66 c GLOBAL bounds - >= 17438 @ 16.5807
29.70/29.86 c GLOBAL bounds - >= 17438 @ 16.6569
30.10/30.25 c GLOBAL bounds - >= 17438 @ 16.8227
30.40/30.53 c GLOBAL bounds - >= 17438 @ 16.9603
30.79/30.98 c GLOBAL bounds - >= 17438 @ 17.2267
31.00/31.12 c GLOBAL bounds - >= 17441 @ 17.3627
31.00/31.15 c GLOBAL bounds - >= 17441 @ 17.3804
31.00/31.17 c GLOBAL bounds - >= 17441 @ 17.391
31.20/31.39 c GLOBAL bounds - >= 17441 @ 17.4623
31.30/31.41 c GLOBAL bounds - >= 17441 @ 17.4709
31.49/31.62 c GLOBAL bounds - >= 17441 @ 17.5468
31.49/31.65 c GLOBAL bounds - >= 17441 @ 17.5565
31.69/31.86 c GLOBAL bounds - >= 17441 @ 17.6272
31.69/31.88 c GLOBAL bounds - >= 17441 @ 17.6384
31.90/32.09 c GLOBAL bounds - >= 17441 @ 17.719
31.99/32.11 c GLOBAL bounds - >= 17441 @ 17.7316
32.19/32.32 c GLOBAL bounds - >= 17441 @ 17.8076
32.19/32.34 c GLOBAL bounds - >= 17441 @ 17.8174
32.39/32.55 c GLOBAL bounds - >= 17441 @ 17.8972
32.39/32.57 c GLOBAL bounds - >= 17441 @ 17.9109
32.59/32.78 c GLOBAL bounds - >= 17441 @ 17.9936
32.69/32.81 c GLOBAL bounds - >= 17441 @ 18.0039
32.90/33.02 c GLOBAL bounds - >= 17441 @ 18.0915
32.90/33.04 c GLOBAL bounds - >= 17441 @ 18.1043
33.09/33.25 c GLOBAL bounds - >= 17441 @ 18.1888
33.09/33.28 c GLOBAL bounds - >= 17441 @ 18.2021
33.29/33.49 c GLOBAL bounds - >= 17441 @ 18.2861
33.59/33.70 c GLOBAL bounds - >= 17441 @ 18.3541
33.79/33.91 c GLOBAL bounds - >= 17441 @ 18.436
33.99/34.12 c GLOBAL bounds - >= 17441 @ 18.5133
34.19/34.33 c GLOBAL bounds - >= 17441 @ 18.5942
34.38/34.53 c GLOBAL bounds - >= 17441 @ 18.6731
34.59/34.75 c GLOBAL bounds - >= 17441 @ 18.7517
34.79/34.96 c GLOBAL bounds - >= 17441 @ 18.8276
35.49/35.64 c GLOBAL bounds - >= 17441 @ 19.3399
35.78/35.96 c GLOBAL bounds - >= 18604 @ 19.6595
35.89/36.01 c GLOBAL bounds - >= 18604 @ 19.6905
35.89/36.03 c GLOBAL bounds - >= 18604 @ 19.7021
35.89/36.05 c GLOBAL bounds - >= 18604 @ 19.7162
35.89/36.08 c GLOBAL bounds - >= 18604 @ 19.7271
35.89/36.10 c GLOBAL bounds - >= 18604 @ 19.74
35.99/36.12 c GLOBAL bounds - >= 18604 @ 19.7504
36.18/36.33 c GLOBAL bounds - >= 18604 @ 19.8273
36.18/36.35 c GLOBAL bounds - >= 18604 @ 19.8342
36.38/36.56 c GLOBAL bounds - >= 18604 @ 19.904
36.38/36.58 c GLOBAL bounds - >= 18604 @ 19.9158
36.58/36.79 c GLOBAL bounds - >= 18604 @ 19.9877
36.68/36.82 c GLOBAL bounds - >= 18604 @ 20.0006
36.89/37.02 c GLOBAL bounds - >= 18604 @ 20.0673
36.89/37.05 c GLOBAL bounds - >= 18604 @ 20.0758
37.08/37.25 c GLOBAL bounds - >= 18604 @ 20.1489
37.08/37.28 c GLOBAL bounds - >= 18604 @ 20.162
37.28/37.49 c GLOBAL bounds - >= 18604 @ 20.2384
37.38/37.50 c GLOBAL bounds - >= 18604 @ 20.2478
37.58/37.71 c GLOBAL bounds - >= 18604 @ 20.3271
37.58/37.73 c GLOBAL bounds - >= 18604 @ 20.3381
37.78/37.94 c GLOBAL bounds - >= 18604 @ 20.4132
37.78/37.95 c GLOBAL bounds - >= 18604 @ 20.4217
37.98/38.16 c GLOBAL bounds - >= 18604 @ 20.5134
37.98/38.18 c GLOBAL bounds - >= 18604 @ 20.5242
38.17/38.39 c GLOBAL bounds - >= 18604 @ 20.6027
38.48/38.60 c GLOBAL bounds - >= 18604 @ 20.6837
38.68/38.81 c GLOBAL bounds - >= 18604 @ 20.7554
38.88/39.02 c GLOBAL bounds - >= 18604 @ 20.8355
39.07/39.23 c GLOBAL bounds - >= 18604 @ 20.9022
39.27/39.45 c GLOBAL bounds - >= 18604 @ 20.9876
39.98/40.16 c GLOBAL bounds - >= 18604 @ 21.5359
40.47/40.64 c GLOBAL bounds - >= 18604 @ 21.8697
40.88/41.09 c GLOBAL bounds - >= 18604 @ 22.186
42.37/42.52 c #Conflicts: 1000 | #Constraints: 1274
42.37/42.52 c GLOBAL bounds - >= 18604 @ 23.3908
42.97/43.19 c GLOBAL bounds - >= 18604 @ 23.8901
43.76/43.90 c GLOBAL bounds - >= 18604 @ 24.4511
44.56/44.78 c GLOBAL bounds - >= 19769 @ 25.3043
44.66/44.86 c GLOBAL bounds - >= 19769 @ 25.3706
44.66/44.88 c GLOBAL bounds - >= 19769 @ 25.3813
44.87/45.09 c GLOBAL bounds - >= 19769 @ 25.4615
44.96/45.12 c GLOBAL bounds - >= 19769 @ 25.4724
45.16/45.33 c GLOBAL bounds - >= 19769 @ 25.561
45.16/45.35 c GLOBAL bounds - >= 19769 @ 25.573
45.36/45.56 c GLOBAL bounds - >= 19769 @ 25.6473
45.36/45.59 c GLOBAL bounds - >= 19769 @ 25.659
45.66/45.80 c GLOBAL bounds - >= 19769 @ 25.7268
45.66/45.82 c GLOBAL bounds - >= 19769 @ 25.7379
45.96/46.10 c GLOBAL bounds - >= 19769 @ 25.887
45.96/46.12 c GLOBAL bounds - >= 19769 @ 25.8955
46.15/46.33 c GLOBAL bounds - >= 19769 @ 25.9572
46.15/46.34 c GLOBAL bounds - >= 19769 @ 25.9643
46.36/46.55 c GLOBAL bounds - >= 19769 @ 26.0443
46.36/46.57 c GLOBAL bounds - >= 19769 @ 26.0511
46.55/46.77 c GLOBAL bounds - >= 19769 @ 26.124
46.55/46.79 c GLOBAL bounds - >= 19769 @ 26.1401
46.86/47.00 c GLOBAL bounds - >= 19769 @ 26.2087
46.86/47.03 c GLOBAL bounds - >= 19769 @ 26.2189
47.06/47.24 c GLOBAL bounds - >= 19769 @ 26.2954
47.25/47.45 c GLOBAL bounds - >= 19769 @ 26.3768
47.45/47.66 c GLOBAL bounds - >= 19769 @ 26.4552
47.65/47.87 c GLOBAL bounds - >= 19769 @ 26.5302
47.86/48.08 c GLOBAL bounds - >= 19769 @ 26.6149
48.25/48.44 c GLOBAL bounds - >= 19769 @ 26.8333
48.45/48.69 c GLOBAL bounds - >= 19769 @ 26.945
48.85/49.01 c GLOBAL bounds - >= 19769 @ 27.1226
49.15/49.33 c GLOBAL bounds - >= 19769 @ 27.3097
50.54/50.78 c GLOBAL bounds - >= 19769 @ 28.578
265.58/266.30 c #Conflicts: 2000 | #Constraints: 2327
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 3000 | #Constraints: 2293
265.58/266.30 c #Conflicts: 4000 | #Constraints: 3293
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 5000 | #Constraints: 2733
265.58/266.30 c #Conflicts: 6000 | #Constraints: 3733
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 7000 | #Constraints: 2732
265.58/266.30 c #Conflicts: 8000 | #Constraints: 3732
265.58/266.30 c #Conflicts: 9000 | #Constraints: 4732
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 10000 | #Constraints: 3439
265.58/266.30 c #Conflicts: 11000 | #Constraints: 4439
265.58/266.30 c #Conflicts: 12000 | #Constraints: 5439
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 13000 | #Constraints: 3894
265.58/266.30 c #Conflicts: 14000 | #Constraints: 4894
265.58/266.30 c #Conflicts: 15000 | #Constraints: 5894
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 16000 | #Constraints: 4128
265.58/266.30 c #Conflicts: 17000 | #Constraints: 5128
265.58/266.30 c #Conflicts: 18000 | #Constraints: 6128
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 19000 | #Constraints: 4152
265.58/266.30 c #Conflicts: 20000 | #Constraints: 5152
265.58/266.30 c #Conflicts: 21000 | #Constraints: 6152
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 22000 | #Constraints: 3954
265.58/266.30 c #Conflicts: 23000 | #Constraints: 4954
265.58/266.30 c #Conflicts: 24000 | #Constraints: 5954
265.58/266.30 c #Conflicts: 25000 | #Constraints: 6954
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 26000 | #Constraints: 4544
265.58/266.30 c #Conflicts: 27000 | #Constraints: 5544
265.58/266.30 c #Conflicts: 28000 | #Constraints: 6544
265.58/266.30 c #Conflicts: 29000 | #Constraints: 7544
265.58/266.30 c INPROCESSING
265.58/266.30 c GARBAGE COLLECT
265.58/266.30 c #Conflicts: 30000 | #Constraints: 4948
265.58/266.30 c GLOBAL bounds - >= 20932 @ 242.474
265.58/266.35 c GLOBAL bounds - >= 20932 @ 242.518
265.58/266.37 c GLOBAL bounds - >= 20932 @ 242.53
265.68/266.40 c GLOBAL bounds - >= 20932 @ 242.543
265.87/266.61 c GLOBAL bounds - >= 20932 @ 242.616
265.87/266.64 c GLOBAL bounds - >= 20932 @ 242.635
266.08/266.85 c GLOBAL bounds - >= 20932 @ 242.714
266.08/266.87 c GLOBAL bounds - >= 20932 @ 242.726
266.29/267.08 c GLOBAL bounds - >= 20932 @ 242.805
266.29/267.10 c GLOBAL bounds - >= 20932 @ 242.816
266.58/267.31 c GLOBAL bounds - >= 20932 @ 242.89
266.58/267.34 c GLOBAL bounds - >= 20932 @ 242.901
266.77/267.55 c GLOBAL bounds - >= 20932 @ 242.981
266.87/267.60 c GLOBAL bounds - >= 20932 @ 243.005
267.08/267.81 c GLOBAL bounds - >= 20932 @ 243.087
267.08/267.83 c GLOBAL bounds - >= 20932 @ 243.101
267.28/268.05 c GLOBAL bounds - >= 20932 @ 243.174
267.28/268.07 c GLOBAL bounds - >= 20932 @ 243.191
267.48/268.28 c GLOBAL bounds - >= 20932 @ 243.276
267.57/268.31 c GLOBAL bounds - >= 20932 @ 243.289
267.77/268.52 c GLOBAL bounds - >= 20932 @ 243.376
267.77/268.54 c GLOBAL bounds - >= 20932 @ 243.389
267.97/268.76 c GLOBAL bounds - >= 20932 @ 243.473
268.28/269.00 c GLOBAL bounds - >= 20932 @ 243.589
269.07/269.81 c GLOBAL bounds - >= 20932 @ 244.25
269.57/270.37 c GLOBAL bounds - >= 20932 @ 244.681
271.67/272.49 c #Conflicts: 31000 | #Constraints: 5982
271.67/272.49 c GLOBAL bounds - >= 20932 @ 246.627
274.55/275.31 c GLOBAL bounds - >= 20932 @ 249.245
275.66/276.47 c GLOBAL bounds - >= 20932 @ 250.238
277.75/278.56 c #Conflicts: 32000 | #Constraints: 6985
277.75/278.56 c GLOBAL bounds - >= 20932 @ 252.105
278.84/279.68 c GLOBAL bounds - >= 20932 @ 253.051
281.24/282.01 c GLOBAL bounds - >= 23256 @ 255.32
281.24/282.09 c GLOBAL bounds - >= 23256 @ 255.392
281.35/282.12 c GLOBAL bounds - >= 23256 @ 255.406
281.54/282.33 c GLOBAL bounds - >= 23256 @ 255.487
281.54/282.35 c GLOBAL bounds - >= 23256 @ 255.496
281.74/282.56 c GLOBAL bounds - >= 23256 @ 255.585
281.74/282.59 c GLOBAL bounds - >= 23256 @ 255.599
282.03/282.80 c GLOBAL bounds - >= 23256 @ 255.691
282.03/282.82 c GLOBAL bounds - >= 23256 @ 255.704
282.24/283.05 c GLOBAL bounds - >= 23256 @ 255.798
282.24/283.07 c GLOBAL bounds - >= 23256 @ 255.809
282.43/283.28 c GLOBAL bounds - >= 23256 @ 255.899
282.53/283.31 c GLOBAL bounds - >= 23256 @ 255.913
282.74/283.52 c GLOBAL bounds - >= 23256 @ 255.99
282.74/283.55 c GLOBAL bounds - >= 23256 @ 256
282.94/283.76 c GLOBAL bounds - >= 23256 @ 256.081
282.94/283.78 c GLOBAL bounds - >= 23256 @ 256.093
283.13/284.00 c GLOBAL bounds - >= 23256 @ 256.164
283.24/284.01 c GLOBAL bounds - >= 23256 @ 256.171
283.43/284.23 c GLOBAL bounds - >= 23256 @ 256.267
283.43/284.24 c GLOBAL bounds - >= 23256 @ 256.275
283.64/284.46 c GLOBAL bounds - >= 23256 @ 256.362
283.83/284.67 c GLOBAL bounds - >= 23256 @ 256.438
284.03/284.88 c GLOBAL bounds - >= 23256 @ 256.527
286.93/287.75 c #Conflicts: 33000 | #Constraints: 8019
286.93/287.75 c INPROCESSING
286.93/287.75 c GARBAGE COLLECT
286.93/287.75 c GLOBAL bounds - >= 23256 @ 259.244
287.23/288.01 c GLOBAL bounds - >= 23256 @ 259.369
287.42/288.26 c GLOBAL bounds - >= 23256 @ 259.503
290.02/290.88 c GLOBAL bounds - >= 23256 @ 261.976
290.81/291.69 c GLOBAL bounds - >= 23256 @ 262.64
302.79/303.60 c #Conflicts: 34000 | #Constraints: 5192
302.79/303.60 c #Conflicts: 35000 | #Constraints: 6192
302.79/303.60 c #Conflicts: 36000 | #Constraints: 7192
302.79/303.60 c GLOBAL bounds - >= 23256 @ 274.192
302.98/303.86 c GLOBAL bounds - >= 23256 @ 274.325
508.26/509.79 c #Conflicts: 37000 | #Constraints: 8192
508.26/509.79 c INPROCESSING
508.26/509.79 c GARBAGE COLLECT
508.26/509.79 c #Conflicts: 38000 | #Constraints: 5214
508.26/509.79 c #Conflicts: 39000 | #Constraints: 6214
508.26/509.79 c #Conflicts: 40000 | #Constraints: 7214
508.26/509.79 c #Conflicts: 41000 | #Constraints: 8214
508.26/509.79 c INPROCESSING
508.26/509.79 c GARBAGE COLLECT
508.26/509.79 c #Conflicts: 42000 | #Constraints: 5030
508.26/509.79 c #Conflicts: 43000 | #Constraints: 6030
508.26/509.79 c #Conflicts: 44000 | #Constraints: 7030
508.26/509.79 c #Conflicts: 45000 | #Constraints: 8030
508.26/509.79 c #Conflicts: 46000 | #Constraints: 9030
508.26/509.79 c INPROCESSING
508.26/509.79 c GARBAGE COLLECT
508.26/509.79 c #Conflicts: 47000 | #Constraints: 5620
508.26/509.79 c #Conflicts: 48000 | #Constraints: 6620
508.26/509.79 c #Conflicts: 49000 | #Constraints: 7620
508.26/509.79 c #Conflicts: 50000 | #Constraints: 8620
508.26/509.79 c #Conflicts: 51000 | #Constraints: 9620
508.26/509.79 c INPROCESSING
508.26/509.79 c GARBAGE COLLECT
508.26/509.79 c #Conflicts: 52000 | #Constraints: 6031
508.26/509.79 c #Conflicts: 53000 | #Constraints: 7031
508.26/509.79 c #Conflicts: 54000 | #Constraints: 8031
508.26/509.79 c #Conflicts: 55000 | #Constraints: 9031
508.26/509.79 c #Conflicts: 56000 | #Constraints: 10031
508.26/509.79 c INPROCESSING
508.26/509.79 c GARBAGE COLLECT
508.26/509.79 c #Conflicts: 57000 | #Constraints: 6253
508.26/509.79 c #Conflicts: 58000 | #Constraints: 7253
508.26/509.79 c #Conflicts: 59000 | #Constraints: 8253
508.26/509.79 c #Conflicts: 60000 | #Constraints: 9253
508.26/509.79 c #Conflicts: 61000 | #Constraints: 10253
508.26/509.79 c INPROCESSING
508.26/509.79 c GARBAGE COLLECT
508.26/509.79 c #Conflicts: 62000 | #Constraints: 6253
508.26/509.79 c #Conflicts: 63000 | #Constraints: 7253
508.26/509.79 c #Conflicts: 64000 | #Constraints: 8253
508.26/509.79 c #Conflicts: 65000 | #Constraints: 9253
508.26/509.79 c #Conflicts: 66000 | #Constraints: 10253
508.26/509.79 c INPROCESSING
508.26/509.79 c GARBAGE COLLECT
508.26/509.79 c #Conflicts: 67000 | #Constraints: 6066
508.26/509.79 c #Conflicts: 68000 | #Constraints: 7066
508.26/509.79 c GLOBAL bounds - >= 23258 @ 479.24
508.36/509.83 c GLOBAL bounds - >= 23258 @ 479.275
508.36/509.85 c GLOBAL bounds - >= 23258 @ 479.28
508.36/509.87 c GLOBAL bounds - >= 23258 @ 479.288
508.56/510.08 c GLOBAL bounds - >= 23258 @ 479.363
508.66/510.11 c GLOBAL bounds - >= 23258 @ 479.374
509.05/510.50 c GLOBAL bounds - >= 23258 @ 479.617
509.05/510.52 c GLOBAL bounds - >= 23258 @ 479.629
509.26/510.74 c GLOBAL bounds - >= 23258 @ 479.697
509.26/510.76 c GLOBAL bounds - >= 23258 @ 479.71
509.45/510.97 c GLOBAL bounds - >= 23258 @ 479.798
509.45/511.00 c GLOBAL bounds - >= 23258 @ 479.813
509.75/511.26 c GLOBAL bounds - >= 23258 @ 479.944
509.75/511.28 c GLOBAL bounds - >= 23258 @ 479.955
509.95/511.49 c GLOBAL bounds - >= 23258 @ 480.027
510.05/511.52 c GLOBAL bounds - >= 23258 @ 480.039
510.25/511.73 c GLOBAL bounds - >= 23258 @ 480.136
510.25/511.75 c GLOBAL bounds - >= 23258 @ 480.147
510.45/511.96 c GLOBAL bounds - >= 23258 @ 480.232
510.45/512.00 c GLOBAL bounds - >= 23258 @ 480.248
510.75/512.21 c GLOBAL bounds - >= 23258 @ 480.312
510.75/512.23 c GLOBAL bounds - >= 23258 @ 480.324
510.95/512.44 c GLOBAL bounds - >= 23258 @ 480.392
511.15/512.65 c GLOBAL bounds - >= 23258 @ 480.472
511.35/512.86 c GLOBAL bounds - >= 23258 @ 480.557
511.55/513.09 c GLOBAL bounds - >= 23258 @ 480.648
512.05/513.55 c GLOBAL bounds - >= 23258 @ 480.98
512.25/513.77 c GLOBAL bounds - >= 23258 @ 481.054
512.84/514.31 c GLOBAL bounds - >= 23258 @ 481.448
513.74/515.29 c GLOBAL bounds - >= 23258 @ 482.283
514.43/515.97 c #Conflicts: 69000 | #Constraints: 8116
514.43/515.97 c GLOBAL bounds - >= 23258 @ 482.815
515.04/516.54 c GLOBAL bounds - >= 23258 @ 483.264
616.73/618.54 c #Conflicts: 70000 | #Constraints: 9116
616.73/618.54 c #Conflicts: 71000 | #Constraints: 10116
616.73/618.54 c #Conflicts: 72000 | #Constraints: 11116
616.73/618.54 c INPROCESSING
616.73/618.54 c GARBAGE COLLECT
616.73/618.54 c #Conflicts: 73000 | #Constraints: 6680
616.73/618.54 c #Conflicts: 74000 | #Constraints: 7680
616.73/618.54 c #Conflicts: 75000 | #Constraints: 8680
616.73/618.54 c #Conflicts: 76000 | #Constraints: 9680
616.73/618.54 c #Conflicts: 77000 | #Constraints: 10680
616.73/618.54 c #Conflicts: 78000 | #Constraints: 11680
616.73/618.54 c INPROCESSING
616.73/618.54 c GARBAGE COLLECT
616.73/618.54 c #Conflicts: 79000 | #Constraints: 7078
616.73/618.54 c #Conflicts: 80000 | #Constraints: 8078
616.73/618.54 c #Conflicts: 81000 | #Constraints: 9078
616.73/618.54 c #Conflicts: 82000 | #Constraints: 10078
616.73/618.54 c #Conflicts: 83000 | #Constraints: 11078
616.73/618.54 c #Conflicts: 84000 | #Constraints: 12078
616.73/618.54 c INPROCESSING
616.73/618.54 c GARBAGE COLLECT
616.73/618.54 c #Conflicts: 85000 | #Constraints: 7277
616.73/618.54 c #Conflicts: 86000 | #Constraints: 8277
616.73/618.54 c #Conflicts: 87000 | #Constraints: 9277
616.73/618.54 c #Conflicts: 88000 | #Constraints: 10277
616.73/618.54 c #Conflicts: 89000 | #Constraints: 11277
616.73/618.54 c GLOBAL bounds - >= 23839 @ 584.436
616.73/618.58 c GLOBAL bounds - >= 23839 @ 584.463
616.83/618.60 c GLOBAL bounds - >= 23839 @ 584.473
616.83/618.62 c GLOBAL bounds - >= 23839 @ 584.485
616.83/618.64 c GLOBAL bounds - >= 23839 @ 584.495
616.83/618.67 c GLOBAL bounds - >= 23839 @ 584.505
616.83/618.69 c GLOBAL bounds - >= 23839 @ 584.516
616.94/618.71 c GLOBAL bounds - >= 23839 @ 584.526
616.94/618.73 c GLOBAL bounds - >= 23839 @ 584.537
617.93/619.77 c GLOBAL bounds - >= 23839 @ 585.427
618.03/619.80 c GLOBAL bounds - >= 23839 @ 585.437
618.23/620.00 c GLOBAL bounds - >= 23839 @ 585.511
618.23/620.03 c GLOBAL bounds - >= 23839 @ 585.519
618.43/620.24 c GLOBAL bounds - >= 23839 @ 585.586
618.43/620.26 c GLOBAL bounds - >= 23839 @ 585.594
618.63/620.47 c GLOBAL bounds - >= 23839 @ 585.661
618.63/620.49 c GLOBAL bounds - >= 23839 @ 585.673
618.93/620.70 c GLOBAL bounds - >= 23839 @ 585.751
618.93/620.72 c GLOBAL bounds - >= 23839 @ 585.76
619.13/620.93 c GLOBAL bounds - >= 23839 @ 585.84
619.13/620.96 c GLOBAL bounds - >= 23839 @ 585.852
619.33/621.16 c GLOBAL bounds - >= 23839 @ 585.924
619.33/621.19 c GLOBAL bounds - >= 23839 @ 585.94
619.62/621.40 c GLOBAL bounds - >= 23839 @ 586.02
619.62/621.44 c GLOBAL bounds - >= 23839 @ 586.04
619.82/621.65 c GLOBAL bounds - >= 23839 @ 586.113
619.92/621.70 c GLOBAL bounds - >= 23839 @ 586.138
620.12/621.91 c GLOBAL bounds - >= 23839 @ 586.202
620.33/622.13 c GLOBAL bounds - >= 23839 @ 586.284
620.52/622.34 c GLOBAL bounds - >= 23839 @ 586.362
620.72/622.55 c GLOBAL bounds - >= 23839 @ 586.447
620.93/622.76 c GLOBAL bounds - >= 23839 @ 586.526
621.12/622.96 c GLOBAL bounds - >= 23839 @ 586.603
621.42/623.20 c GLOBAL bounds - >= 23839 @ 586.696
622.92/624.78 c GLOBAL bounds - >= 23839 @ 588.122
623.22/625.00 c GLOBAL bounds - >= 23839 @ 588.209
627.71/629.52 c #Conflicts: 90000 | #Constraints: 12305
627.71/629.52 c INPROCESSING
627.71/629.52 c GARBAGE COLLECT
627.71/629.52 c GLOBAL bounds - >= 23839 @ 592.569
697.39/699.42 c #Conflicts: 91000 | #Constraints: 7277
697.39/699.42 c #Conflicts: 92000 | #Constraints: 8277
697.39/699.42 c #Conflicts: 93000 | #Constraints: 9277
697.39/699.42 c #Conflicts: 94000 | #Constraints: 10277
697.39/699.42 c #Conflicts: 95000 | #Constraints: 11277
697.39/699.42 c #Conflicts: 96000 | #Constraints: 12277
697.39/699.42 c INPROCESSING
697.39/699.42 c GARBAGE COLLECT
697.39/699.42 c #Conflicts: 97000 | #Constraints: 7085
697.39/699.42 c #Conflicts: 98000 | #Constraints: 8085
697.39/699.42 c #Conflicts: 99000 | #Constraints: 9085
697.39/699.42 c #Conflicts: 100000 | #Constraints: 10085
697.39/699.42 c #Conflicts: 101000 | #Constraints: 11085
697.39/699.42 c #Conflicts: 102000 | #Constraints: 12085
697.39/699.42 c GLOBAL bounds - >= 23839 @ 661.987
697.39/699.43 c GLOBAL bounds - >= 23839 @ 661.994
697.39/699.46 c GLOBAL bounds - >= 23839 @ 662.007
697.39/699.48 c GLOBAL bounds - >= 23839 @ 662.018
697.49/699.51 c GLOBAL bounds - >= 23839 @ 662.03
697.49/699.53 c GLOBAL bounds - >= 23839 @ 662.042
697.49/699.56 c GLOBAL bounds - >= 23839 @ 662.052
697.49/699.58 c GLOBAL bounds - >= 23839 @ 662.059
697.59/699.60 c GLOBAL bounds - >= 23839 @ 662.069
697.59/699.64 c GLOBAL bounds - >= 23839 @ 662.083
701.68/703.79 c #Conflicts: 103000 | #Constraints: 13092
701.68/703.79 c INPROCESSING
701.68/703.79 c GARBAGE COLLECT
701.68/703.79 c GLOBAL bounds - >= 23839 @ 666.021
701.78/703.82 c GLOBAL bounds - >= 23839 @ 666.031
701.99/704.03 c GLOBAL bounds - >= 23839 @ 666.095
701.99/704.05 c GLOBAL bounds - >= 23839 @ 666.109
702.18/704.26 c GLOBAL bounds - >= 23839 @ 666.185
702.18/704.28 c GLOBAL bounds - >= 23839 @ 666.197
702.38/704.49 c GLOBAL bounds - >= 23839 @ 666.274
702.48/704.52 c GLOBAL bounds - >= 23839 @ 666.289
702.68/704.72 c GLOBAL bounds - >= 23839 @ 666.376
702.68/704.75 c GLOBAL bounds - >= 23839 @ 666.386
702.88/704.96 c GLOBAL bounds - >= 23839 @ 666.471
702.88/704.98 c GLOBAL bounds - >= 23839 @ 666.481
703.09/705.19 c GLOBAL bounds - >= 23839 @ 666.558
703.18/705.22 c GLOBAL bounds - >= 23839 @ 666.575
703.37/705.44 c GLOBAL bounds - >= 23839 @ 666.646
703.37/705.47 c GLOBAL bounds - >= 23839 @ 666.661
703.58/705.68 c GLOBAL bounds - >= 23839 @ 666.731
703.68/705.70 c GLOBAL bounds - >= 23839 @ 666.745
703.88/705.91 c GLOBAL bounds - >= 23839 @ 666.824
704.08/706.12 c GLOBAL bounds - >= 23839 @ 666.894
704.27/706.33 c GLOBAL bounds - >= 23839 @ 666.982
704.47/706.54 c GLOBAL bounds - >= 23839 @ 667.053
704.68/706.75 c GLOBAL bounds - >= 23839 @ 667.126
704.87/706.96 c GLOBAL bounds - >= 23839 @ 667.219
705.67/707.76 c GLOBAL bounds - >= 23839 @ 667.862
706.17/708.26 c GLOBAL bounds - >= 23839 @ 668.224
706.76/708.83 c GLOBAL bounds - >= 23839 @ 668.66
1096.80/1100.08 c #Conflicts: 104000 | #Constraints: 7709
1096.80/1100.08 c #Conflicts: 105000 | #Constraints: 8709
1096.80/1100.08 c #Conflicts: 106000 | #Constraints: 9709
1096.80/1100.08 c #Conflicts: 107000 | #Constraints: 10709
1096.80/1100.08 c #Conflicts: 108000 | #Constraints: 11709
1096.80/1100.08 c #Conflicts: 109000 | #Constraints: 12709
1096.80/1100.08 c #Conflicts: 110000 | #Constraints: 13709
1096.80/1100.08 c INPROCESSING
1096.80/1100.08 c GARBAGE COLLECT
1096.80/1100.08 c #Conflicts: 111000 | #Constraints: 8121
1096.80/1100.08 c #Conflicts: 112000 | #Constraints: 9121
1096.80/1100.08 c #Conflicts: 113000 | #Constraints: 10121
1096.80/1100.08 c #Conflicts: 114000 | #Constraints: 11121
1096.80/1100.08 c #Conflicts: 115000 | #Constraints: 12121
1096.80/1100.08 c #Conflicts: 116000 | #Constraints: 13121
1096.80/1100.08 c #Conflicts: 117000 | #Constraints: 14121
1096.80/1100.08 c INPROCESSING
1096.80/1100.08 c GARBAGE COLLECT
1096.80/1100.08 c #Conflicts: 118000 | #Constraints: 8318
1096.80/1100.08 c #Conflicts: 119000 | #Constraints: 9318
1096.80/1100.08 c #Conflicts: 120000 | #Constraints: 10318
1096.80/1100.08 c #Conflicts: 121000 | #Constraints: 11318
1096.80/1100.08 c #Conflicts: 122000 | #Constraints: 12318
1096.80/1100.08 c #Conflicts: 123000 | #Constraints: 13318
1096.80/1100.08 c #Conflicts: 124000 | #Constraints: 14318
1096.80/1100.08 c INPROCESSING
1096.80/1100.08 c GARBAGE COLLECT
1096.80/1100.08 c #Conflicts: 125000 | #Constraints: 8323
1096.80/1100.08 c #Conflicts: 126000 | #Constraints: 9323
1096.80/1100.08 c #Conflicts: 127000 | #Constraints: 10323
1096.80/1100.08 c #Conflicts: 128000 | #Constraints: 11323
1096.80/1100.08 c #Conflicts: 129000 | #Constraints: 12323
1096.80/1100.08 c #Conflicts: 130000 | #Constraints: 13323
1096.80/1100.08 c #Conflicts: 131000 | #Constraints: 14323
1096.80/1100.08 c INPROCESSING
1096.80/1100.08 c GARBAGE COLLECT
1096.80/1100.08 c #Conflicts: 132000 | #Constraints: 8122
1096.80/1100.08 c #Conflicts: 133000 | #Constraints: 9122
1096.80/1100.08 c #Conflicts: 134000 | #Constraints: 10122
1096.80/1100.08 c #Conflicts: 135000 | #Constraints: 11122
1096.80/1100.08 c #Conflicts: 136000 | #Constraints: 12122
1096.80/1100.08 c #Conflicts: 137000 | #Constraints: 13122
1096.80/1100.08 c #Conflicts: 138000 | #Constraints: 14122
1096.80/1100.08 c #Conflicts: 139000 | #Constraints: 15122
1096.80/1100.08 c INPROCESSING
1096.80/1100.08 c GARBAGE COLLECT
1096.80/1100.08 c #Conflicts: 140000 | #Constraints: 8724
1096.80/1100.08 c #Conflicts: 141000 | #Constraints: 9724
1096.80/1100.08 c #Conflicts: 142000 | #Constraints: 10724
1096.80/1100.08 c #Conflicts: 143000 | #Constraints: 11724
1096.80/1100.08 c #Conflicts: 144000 | #Constraints: 12724
1096.80/1100.08 c #Conflicts: 145000 | #Constraints: 13724
1096.80/1100.08 c #Conflicts: 146000 | #Constraints: 14724
1096.80/1100.08 c #Conflicts: 147000 | #Constraints: 15724
1096.80/1100.08 c INPROCESSING
1096.80/1100.08 c GARBAGE COLLECT
1096.80/1100.08 c #Conflicts: 148000 | #Constraints: 9126
1096.80/1100.08 c #Conflicts: 149000 | #Constraints: 10126
1096.80/1100.08 c #Conflicts: 150000 | #Constraints: 11126
1096.80/1100.08 c #Conflicts: 151000 | #Constraints: 12126
1096.80/1100.08 c #Conflicts: 152000 | #Constraints: 13126
1096.80/1100.08 c #Conflicts: 153000 | #Constraints: 14126
1096.80/1100.08 c #Conflicts: 154000 | #Constraints: 15126
1096.80/1100.08 c #Conflicts: 155000 | #Constraints: 16126
1096.80/1100.08 c INPROCESSING
1096.80/1100.08 c GARBAGE COLLECT
1096.80/1100.08 c #Conflicts: 156000 | #Constraints: 9341
1096.80/1100.08 c #Conflicts: 157000 | #Constraints: 10341
1096.80/1100.08 c #Conflicts: 158000 | #Constraints: 11341
1096.80/1100.08 c #Conflicts: 159000 | #Constraints: 12341
1096.80/1100.08 c #Conflicts: 160000 | #Constraints: 13341
1096.80/1100.08 c #Conflicts: 161000 | #Constraints: 14341
1096.80/1100.08 c #Conflicts: 162000 | #Constraints: 15341
1096.80/1100.08 c #Conflicts: 163000 | #Constraints: 16341
1096.80/1100.08 c INPROCESSING
1096.80/1100.08 c GARBAGE COLLECT
1096.80/1100.08 c #Conflicts: 164000 | #Constraints: 9336
1096.80/1100.08 c #Conflicts: 165000 | #Constraints: 10336
1096.80/1100.08 c #Conflicts: 166000 | #Constraints: 11336
1096.80/1100.08 c #Conflicts: 167000 | #Constraints: 12336
1096.80/1100.08 c #Conflicts: 168000 | #Constraints: 13336
1096.80/1100.08 c #Conflicts: 169000 | #Constraints: 14336
1096.80/1100.08 c #Conflicts: 170000 | #Constraints: 15336
1096.80/1100.08 c GLOBAL bounds - >= 24422 @ 1056.56
1096.90/1100.16 c GLOBAL bounds - >= 24422 @ 1056.63
1096.90/1100.18 c GLOBAL bounds - >= 24422 @ 1056.64
1097.00/1100.20 c GLOBAL bounds - >= 24422 @ 1056.65
1097.00/1100.23 c GLOBAL bounds - >= 24422 @ 1056.66
1097.00/1100.25 c GLOBAL bounds - >= 24422 @ 1056.67
1097.19/1100.47 c GLOBAL bounds - >= 24422 @ 1056.75
1097.19/1100.49 c GLOBAL bounds - >= 24422 @ 1056.77
1098.69/1101.91 c GLOBAL bounds - >= 24422 @ 1058.03
1098.69/1101.94 c GLOBAL bounds - >= 24422 @ 1058.04
1098.89/1102.15 c GLOBAL bounds - >= 24422 @ 1058.11
1098.89/1102.17 c GLOBAL bounds - >= 24422 @ 1058.12
1099.09/1102.38 c GLOBAL bounds - >= 24422 @ 1058.2
1099.19/1102.40 c GLOBAL bounds - >= 24422 @ 1058.21
1099.39/1102.61 c GLOBAL bounds - >= 24422 @ 1058.28
1099.39/1102.63 c GLOBAL bounds - >= 24422 @ 1058.29
1099.59/1102.84 c GLOBAL bounds - >= 24422 @ 1058.37
1099.59/1102.87 c GLOBAL bounds - >= 24422 @ 1058.38
1099.79/1103.08 c GLOBAL bounds - >= 24422 @ 1058.45
1099.89/1103.11 c GLOBAL bounds - >= 24422 @ 1058.46
1100.08/1103.32 c GLOBAL bounds - >= 24422 @ 1058.54
1100.08/1103.34 c GLOBAL bounds - >= 24422 @ 1058.55
1100.29/1103.55 c GLOBAL bounds - >= 24422 @ 1058.62
1100.29/1103.58 c GLOBAL bounds - >= 24422 @ 1058.63
1100.49/1103.79 c GLOBAL bounds - >= 24422 @ 1058.7
1100.79/1104.00 c GLOBAL bounds - >= 24422 @ 1058.78
1100.99/1104.22 c GLOBAL bounds - >= 24422 @ 1058.86
1101.18/1104.43 c GLOBAL bounds - >= 24422 @ 1058.95
1101.38/1104.65 c GLOBAL bounds - >= 24422 @ 1059.04
1102.18/1105.45 c GLOBAL bounds - >= 24422 @ 1059.7
1102.68/1106.00 c GLOBAL bounds - >= 24422 @ 1060.12
1103.97/1107.26 c GLOBAL bounds - >= 24422 @ 1061.22
1104.88/1108.19 c #Conflicts: 171000 | #Constraints: 16373
1104.88/1108.19 c GLOBAL bounds - >= 24422 @ 1062.01
1113.75/1117.03 c INPROCESSING
1113.75/1117.03 c GARBAGE COLLECT
1113.75/1117.03 c #Conflicts: 172000 | #Constraints: 9135
1113.75/1117.03 c GLOBAL bounds - >= 24422 @ 1070.54
1203.08/1206.67 c #Conflicts: 173000 | #Constraints: 10135
1203.08/1206.67 c #Conflicts: 174000 | #Constraints: 11135
1203.08/1206.67 c #Conflicts: 175000 | #Constraints: 12135
1203.08/1206.67 c #Conflicts: 176000 | #Constraints: 13135
1203.08/1206.67 c #Conflicts: 177000 | #Constraints: 14135
1203.08/1206.67 c #Conflicts: 178000 | #Constraints: 15135
1203.08/1206.67 c #Conflicts: 179000 | #Constraints: 16135
1203.08/1206.67 c #Conflicts: 180000 | #Constraints: 17135
1203.08/1206.67 c INPROCESSING
1203.08/1206.67 c GARBAGE COLLECT
1203.08/1206.67 c #Conflicts: 181000 | #Constraints: 9737
1203.08/1206.67 c #Conflicts: 182000 | #Constraints: 10737
1203.08/1206.67 c #Conflicts: 183000 | #Constraints: 11737
1203.08/1206.67 c #Conflicts: 184000 | #Constraints: 12737
1203.08/1206.67 c #Conflicts: 185000 | #Constraints: 13737
1203.08/1206.67 c #Conflicts: 186000 | #Constraints: 14737
1203.08/1206.67 c #Conflicts: 187000 | #Constraints: 15737
1203.08/1206.67 c #Conflicts: 188000 | #Constraints: 16737
1203.08/1206.67 c #Conflicts: 189000 | #Constraints: 17737
1203.08/1206.67 c INPROCESSING
1203.08/1206.67 c GARBAGE COLLECT
1203.08/1206.67 c GLOBAL bounds - >= 24422 @ 1158.94
1203.08/1206.68 c GLOBAL bounds - >= 24422 @ 1158.95
1203.18/1206.71 c GLOBAL bounds - >= 24422 @ 1158.96
1203.18/1206.73 c GLOBAL bounds - >= 24422 @ 1158.97
1203.18/1206.75 c GLOBAL bounds - >= 24422 @ 1158.98
1203.18/1206.77 c GLOBAL bounds - >= 24422 @ 1158.99
1203.37/1206.98 c GLOBAL bounds - >= 24422 @ 1159.06
1203.49/1207.01 c GLOBAL bounds - >= 24422 @ 1159.07
1203.68/1207.21 c GLOBAL bounds - >= 24422 @ 1159.14
1203.68/1207.24 c GLOBAL bounds - >= 24422 @ 1159.15
1203.88/1207.45 c GLOBAL bounds - >= 24422 @ 1159.23
1203.88/1207.47 c GLOBAL bounds - >= 24422 @ 1159.24
1204.07/1207.68 c GLOBAL bounds - >= 24422 @ 1159.31
1204.07/1207.69 c GLOBAL bounds - >= 24422 @ 1159.33
1204.37/1207.90 c GLOBAL bounds - >= 24422 @ 1159.41
1204.37/1207.92 c GLOBAL bounds - >= 24422 @ 1159.42
1204.58/1208.13 c GLOBAL bounds - >= 24422 @ 1159.5
1204.58/1208.16 c GLOBAL bounds - >= 24422 @ 1159.51
1204.77/1208.37 c GLOBAL bounds - >= 24422 @ 1159.59
1204.77/1208.38 c GLOBAL bounds - >= 24422 @ 1159.6
1204.98/1208.60 c GLOBAL bounds - >= 24422 @ 1159.69
1205.08/1208.61 c GLOBAL bounds - >= 24422 @ 1159.7
1205.27/1208.82 c GLOBAL bounds - >= 24422 @ 1159.77
1205.27/1208.84 c GLOBAL bounds - >= 24422 @ 1159.78
1205.48/1209.05 c GLOBAL bounds - >= 24422 @ 1159.86
1205.68/1209.27 c GLOBAL bounds - >= 24422 @ 1159.94
1205.87/1209.48 c GLOBAL bounds - >= 24422 @ 1160.03
1206.17/1209.70 c GLOBAL bounds - >= 24422 @ 1160.12
1206.37/1209.92 c GLOBAL bounds - >= 24422 @ 1160.21
1206.58/1210.15 c GLOBAL bounds - >= 24422 @ 1160.3
1206.77/1210.38 c GLOBAL bounds - >= 24422 @ 1160.4
1207.06/1210.62 c GLOBAL bounds - >= 24422 @ 1160.51
1207.27/1210.88 c GLOBAL bounds - >= 24422 @ 1160.63
1207.58/1211.14 c GLOBAL bounds - >= 24422 @ 1160.76
1207.86/1211.45 c GLOBAL bounds - >= 24422 @ 1160.92
1208.17/1211.70 c GLOBAL bounds - >= 24422 @ 1161.05
1208.36/1211.98 c GLOBAL bounds - >= 24422 @ 1161.19
1491.51/1495.93 c #Conflicts: 190000 | #Constraints: 10195
1491.51/1495.93 c #Conflicts: 191000 | #Constraints: 11195
1491.51/1495.93 c #Conflicts: 192000 | #Constraints: 12195
1491.51/1495.93 c #Conflicts: 193000 | #Constraints: 13195
1491.51/1495.93 c #Conflicts: 194000 | #Constraints: 14195
1491.51/1495.93 c #Conflicts: 195000 | #Constraints: 15195
1491.51/1495.93 c #Conflicts: 196000 | #Constraints: 16195
1491.51/1495.93 c #Conflicts: 197000 | #Constraints: 17195
1491.51/1495.93 c #Conflicts: 198000 | #Constraints: 18195
1491.51/1495.93 c INPROCESSING
1491.51/1495.93 c GARBAGE COLLECT
1491.51/1495.93 c #Conflicts: 199000 | #Constraints: 10394
1491.51/1495.93 c #Conflicts: 200000 | #Constraints: 11394
1491.51/1495.93 c #Conflicts: 201000 | #Constraints: 12394
1491.51/1495.93 c #Conflicts: 202000 | #Constraints: 13394
1491.51/1495.93 c #Conflicts: 203000 | #Constraints: 14394
1491.51/1495.93 c #Conflicts: 204000 | #Constraints: 15394
1491.51/1495.93 c #Conflicts: 205000 | #Constraints: 16394
1491.51/1495.93 c #Conflicts: 206000 | #Constraints: 17394
1491.51/1495.93 c #Conflicts: 207000 | #Constraints: 18394
1491.51/1495.93 c INPROCESSING
1491.51/1495.93 c GARBAGE COLLECT
1491.51/1495.93 c #Conflicts: 208000 | #Constraints: 10388
1491.51/1495.93 c #Conflicts: 209000 | #Constraints: 11388
1491.51/1495.93 c #Conflicts: 210000 | #Constraints: 12388
1491.51/1495.93 c #Conflicts: 211000 | #Constraints: 13388
1491.51/1495.93 c #Conflicts: 212000 | #Constraints: 14388
1491.51/1495.93 c #Conflicts: 213000 | #Constraints: 15388
1491.51/1495.93 c #Conflicts: 214000 | #Constraints: 16388
1491.51/1495.93 c #Conflicts: 215000 | #Constraints: 17388
1491.51/1495.93 c #Conflicts: 216000 | #Constraints: 18388
1491.51/1495.93 c INPROCESSING
1491.51/1495.93 c GARBAGE COLLECT
1491.51/1495.93 c #Conflicts: 217000 | #Constraints: 10200
1491.51/1495.93 c #Conflicts: 218000 | #Constraints: 11200
1491.51/1495.93 c #Conflicts: 219000 | #Constraints: 12200
1491.51/1495.93 c #Conflicts: 220000 | #Constraints: 13200
1491.51/1495.93 c #Conflicts: 221000 | #Constraints: 14200
1491.51/1495.93 c #Conflicts: 222000 | #Constraints: 15200
1491.51/1495.93 c #Conflicts: 223000 | #Constraints: 16200
1491.51/1495.93 c #Conflicts: 224000 | #Constraints: 17200
1491.51/1495.93 c #Conflicts: 225000 | #Constraints: 18200
1491.51/1495.93 c #Conflicts: 226000 | #Constraints: 19200
1491.51/1495.93 c INPROCESSING
1491.51/1495.93 c GARBAGE COLLECT
1491.51/1495.93 c #Conflicts: 227000 | #Constraints: 10803
1491.51/1495.93 c #Conflicts: 228000 | #Constraints: 11803
1491.51/1495.93 c #Conflicts: 229000 | #Constraints: 12803
1491.51/1495.93 c #Conflicts: 230000 | #Constraints: 13803
1491.51/1495.93 c #Conflicts: 231000 | #Constraints: 14803
1491.51/1495.93 c #Conflicts: 232000 | #Constraints: 15803
1491.51/1495.93 c #Conflicts: 233000 | #Constraints: 16803
1491.51/1495.93 c #Conflicts: 234000 | #Constraints: 17803
1491.51/1495.93 c GLOBAL bounds - >= 24422 @ 1442.85
1883.74/1889.31 c #Conflicts: 235000 | #Constraints: 18803
1883.74/1889.31 c #Conflicts: 236000 | #Constraints: 19803
1883.74/1889.31 c INPROCESSING
1883.74/1889.31 c GARBAGE COLLECT
1883.74/1889.31 c #Conflicts: 237000 | #Constraints: 11200
1883.74/1889.31 c #Conflicts: 238000 | #Constraints: 12200
1883.74/1889.31 c #Conflicts: 239000 | #Constraints: 13200
1883.74/1889.31 c #Conflicts: 240000 | #Constraints: 14200
1883.74/1889.31 c #Conflicts: 241000 | #Constraints: 15200
1883.74/1889.31 c #Conflicts: 242000 | #Constraints: 16200
1883.74/1889.31 c #Conflicts: 243000 | #Constraints: 17200
1883.74/1889.31 c #Conflicts: 244000 | #Constraints: 18200
1883.74/1889.31 c #Conflicts: 245000 | #Constraints: 19200
1883.74/1889.31 c #Conflicts: 246000 | #Constraints: 20200
1883.74/1889.31 c INPROCESSING
1883.74/1889.31 c GARBAGE COLLECT
1883.74/1889.31 c #Conflicts: 247000 | #Constraints: 11393
1883.74/1889.31 c #Conflicts: 248000 | #Constraints: 12393
1883.74/1889.31 c #Conflicts: 249000 | #Constraints: 13393
1883.74/1889.31 c #Conflicts: 250000 | #Constraints: 14393
1883.74/1889.31 c #Conflicts: 251000 | #Constraints: 15393
1883.74/1889.31 c #Conflicts: 252000 | #Constraints: 16393
1883.74/1889.31 c #Conflicts: 253000 | #Constraints: 17393
1883.74/1889.31 c #Conflicts: 254000 | #Constraints: 18393
1883.74/1889.31 c #Conflicts: 255000 | #Constraints: 19393
1883.74/1889.31 c #Conflicts: 256000 | #Constraints: 20393
1883.74/1889.31 c INPROCESSING
1883.74/1889.31 c GARBAGE COLLECT
1883.74/1889.31 c #Conflicts: 257000 | #Constraints: 11384
1883.74/1889.31 c #Conflicts: 258000 | #Constraints: 12384
1883.74/1889.31 c #Conflicts: 259000 | #Constraints: 13384
1883.74/1889.31 c #Conflicts: 260000 | #Constraints: 14384
1883.74/1889.31 c #Conflicts: 261000 | #Constraints: 15384
1883.74/1889.31 c #Conflicts: 262000 | #Constraints: 16384
1883.74/1889.31 c #Conflicts: 263000 | #Constraints: 17384
1883.74/1889.31 c #Conflicts: 264000 | #Constraints: 18384
1883.74/1889.31 c #Conflicts: 265000 | #Constraints: 19384
1883.74/1889.31 c #Conflicts: 266000 | #Constraints: 20384
1883.74/1889.31 c INPROCESSING
1883.74/1889.31 c GARBAGE COLLECT
1883.74/1889.31 c #Conflicts: 267000 | #Constraints: 11177
1883.74/1889.31 c #Conflicts: 268000 | #Constraints: 12177
1883.74/1889.31 c #Conflicts: 269000 | #Constraints: 13177
1883.74/1889.31 c #Conflicts: 270000 | #Constraints: 14177
1883.74/1889.31 c #Conflicts: 271000 | #Constraints: 15177
1883.74/1889.31 c #Conflicts: 272000 | #Constraints: 16177
1883.74/1889.31 c #Conflicts: 273000 | #Constraints: 17177
1883.74/1889.31 c #Conflicts: 274000 | #Constraints: 18177
1883.74/1889.31 c #Conflicts: 275000 | #Constraints: 19177
1883.74/1889.31 c #Conflicts: 276000 | #Constraints: 20177
1883.74/1889.31 c #Conflicts: 277000 | #Constraints: 21177
1883.74/1889.31 c INPROCESSING
1883.74/1889.31 c GARBAGE COLLECT
1883.74/1889.31 c #Conflicts: 278000 | #Constraints: 11765
1883.74/1889.31 c #Conflicts: 279000 | #Constraints: 12765
1883.74/1889.31 c #Conflicts: 280000 | #Constraints: 13765
1883.74/1889.31 c #Conflicts: 281000 | #Constraints: 14765
1883.74/1889.31 c #Conflicts: 282000 | #Constraints: 15765
1883.74/1889.31 c #Conflicts: 283000 | #Constraints: 16765
1883.74/1889.31 c #Conflicts: 284000 | #Constraints: 17765
1883.74/1889.31 c #Conflicts: 285000 | #Constraints: 18765
1883.74/1889.31 c #Conflicts: 286000 | #Constraints: 19765
1883.74/1889.31 c #Conflicts: 287000 | #Constraints: 20765
1883.74/1889.31 c #Conflicts: 288000 | #Constraints: 21765
1883.74/1889.31 c INPROCESSING
1883.74/1889.31 c GARBAGE COLLECT
1883.74/1889.31 c #Conflicts: 289000 | #Constraints: 12178
1883.74/1889.31 c #Conflicts: 290000 | #Constraints: 13178
1883.74/1889.31 c #Conflicts: 291000 | #Constraints: 14178
1883.74/1889.31 c #Conflicts: 292000 | #Constraints: 15178
1883.74/1889.31 c #Conflicts: 293000 | #Constraints: 16178
1883.74/1889.31 c #Conflicts: 294000 | #Constraints: 17178
1883.74/1889.31 c #Conflicts: 295000 | #Constraints: 18178
1883.74/1889.31 c #Conflicts: 296000 | #Constraints: 19178
1883.74/1889.31 c #Conflicts: 297000 | #Constraints: 20178
1883.74/1889.31 c #Conflicts: 298000 | #Constraints: 21178
1883.74/1889.31 c #Conflicts: 299000 | #Constraints: 22178
1883.74/1889.31 c INPROCESSING
1883.74/1889.31 c GARBAGE COLLECT
1883.74/1889.31 c #Conflicts: 300000 | #Constraints: 12380
1883.74/1889.31 c #Conflicts: 301000 | #Constraints: 13380
1883.74/1889.31 c #Conflicts: 302000 | #Constraints: 14380
1883.74/1889.31 c #Conflicts: 303000 | #Constraints: 15380
1883.74/1889.31 c #Conflicts: 304000 | #Constraints: 16380
1883.74/1889.31 c #Conflicts: 305000 | #Constraints: 17380
1883.74/1889.31 c #Conflicts: 306000 | #Constraints: 18380
1883.74/1889.31 c #Conflicts: 307000 | #Constraints: 19380
1883.74/1889.31 c #Conflicts: 308000 | #Constraints: 20380
1883.74/1889.31 c #Conflicts: 309000 | #Constraints: 21380
2280.56/2287.37 c #Conflicts: 310000 | #Constraints: 22380
2280.56/2287.37 c INPROCESSING
2280.56/2287.37 c GARBAGE COLLECT
2280.56/2287.37 c #Conflicts: 311000 | #Constraints: 12401
2280.56/2287.37 c #Conflicts: 312000 | #Constraints: 13401
2280.56/2287.37 c #Conflicts: 313000 | #Constraints: 14401
2280.56/2287.37 c #Conflicts: 314000 | #Constraints: 15401
2280.56/2287.37 c #Conflicts: 315000 | #Constraints: 16401
2280.56/2287.37 c #Conflicts: 316000 | #Constraints: 17401
2280.56/2287.37 c #Conflicts: 317000 | #Constraints: 18401
2280.56/2287.37 c #Conflicts: 318000 | #Constraints: 19401
2280.56/2287.37 c #Conflicts: 319000 | #Constraints: 20401
2280.56/2287.37 c #Conflicts: 320000 | #Constraints: 21401
2280.56/2287.37 c #Conflicts: 321000 | #Constraints: 22401
2280.56/2287.37 c INPROCESSING
2280.56/2287.37 c GARBAGE COLLECT
2280.56/2287.37 c #Conflicts: 322000 | #Constraints: 12194
2280.56/2287.37 c #Conflicts: 323000 | #Constraints: 13194
2280.56/2287.37 c #Conflicts: 324000 | #Constraints: 14194
2280.56/2287.37 c #Conflicts: 325000 | #Constraints: 15194
2280.56/2287.37 c #Conflicts: 326000 | #Constraints: 16194
2280.56/2287.37 c #Conflicts: 327000 | #Constraints: 17194
2280.56/2287.37 c #Conflicts: 328000 | #Constraints: 18194
2280.56/2287.37 c #Conflicts: 329000 | #Constraints: 19194
2280.56/2287.37 c #Conflicts: 330000 | #Constraints: 20194
2280.56/2287.37 c #Conflicts: 331000 | #Constraints: 21194
2280.56/2287.37 c #Conflicts: 332000 | #Constraints: 22194
2280.56/2287.37 c #Conflicts: 333000 | #Constraints: 23194
2280.56/2287.37 c INPROCESSING
2280.56/2287.37 c GARBAGE COLLECT
2280.56/2287.37 c #Conflicts: 334000 | #Constraints: 12803
2280.56/2287.37 c #Conflicts: 335000 | #Constraints: 13803
2280.56/2287.37 c #Conflicts: 336000 | #Constraints: 14803
2280.56/2287.37 c #Conflicts: 337000 | #Constraints: 15803
2280.56/2287.37 c #Conflicts: 338000 | #Constraints: 16803
2280.56/2287.37 c #Conflicts: 339000 | #Constraints: 17803
2280.56/2287.37 c #Conflicts: 340000 | #Constraints: 18803
2280.56/2287.37 c #Conflicts: 341000 | #Constraints: 19803
2280.56/2287.37 c #Conflicts: 342000 | #Constraints: 20803
2280.56/2287.37 c #Conflicts: 343000 | #Constraints: 21803
2280.56/2287.37 c #Conflicts: 344000 | #Constraints: 22803
2280.56/2287.37 c #Conflicts: 345000 | #Constraints: 23803
2280.56/2287.37 c INPROCESSING
2280.56/2287.37 c GARBAGE COLLECT
2280.56/2287.37 c #Conflicts: 346000 | #Constraints: 13204
2280.56/2287.37 c #Conflicts: 347000 | #Constraints: 14204
2280.56/2287.37 c #Conflicts: 348000 | #Constraints: 15204
2280.56/2287.37 c #Conflicts: 349000 | #Constraints: 16204
2280.56/2287.37 c #Conflicts: 350000 | #Constraints: 17204
2280.56/2287.37 c #Conflicts: 351000 | #Constraints: 18204
2280.56/2287.37 c #Conflicts: 352000 | #Constraints: 19204
2280.56/2287.37 c #Conflicts: 353000 | #Constraints: 20204
2280.56/2287.37 c #Conflicts: 354000 | #Constraints: 21204
2280.56/2287.37 c #Conflicts: 355000 | #Constraints: 22204
2280.56/2287.37 c #Conflicts: 356000 | #Constraints: 23204
2280.56/2287.37 c #Conflicts: 357000 | #Constraints: 24204
2280.56/2287.37 c INPROCESSING
2280.56/2287.37 c GARBAGE COLLECT
2280.56/2287.37 c #Conflicts: 358000 | #Constraints: 13386
2280.56/2287.37 c #Conflicts: 359000 | #Constraints: 14386
2280.56/2287.37 c #Conflicts: 360000 | #Constraints: 15386
2280.56/2287.37 c #Conflicts: 361000 | #Constraints: 16386
2280.56/2287.37 c #Conflicts: 362000 | #Constraints: 17386
2280.56/2287.37 c #Conflicts: 363000 | #Constraints: 18386
2280.56/2287.37 c #Conflicts: 364000 | #Constraints: 19386
2280.56/2287.37 c #Conflicts: 365000 | #Constraints: 20386
2280.56/2287.37 c #Conflicts: 366000 | #Constraints: 21386
2280.56/2287.37 c #Conflicts: 367000 | #Constraints: 22386
2280.56/2287.37 c #Conflicts: 368000 | #Constraints: 23386
2280.56/2287.37 c #Conflicts: 369000 | #Constraints: 24386
2280.56/2287.37 c INPROCESSING
2280.56/2287.37 c GARBAGE COLLECT
2280.56/2287.37 c #Conflicts: 370000 | #Constraints: 13394
2280.56/2287.37 c #Conflicts: 371000 | #Constraints: 14394
2280.56/2287.37 c #Conflicts: 372000 | #Constraints: 15394
2280.56/2287.37 c #Conflicts: 373000 | #Constraints: 16394
2280.56/2287.37 c #Conflicts: 374000 | #Constraints: 17394
2280.56/2287.37 c #Conflicts: 375000 | #Constraints: 18394
2280.56/2287.37 c #Conflicts: 376000 | #Constraints: 19394
2280.56/2287.37 c #Conflicts: 377000 | #Constraints: 20394
2280.56/2287.37 c #Conflicts: 378000 | #Constraints: 21394
2280.56/2287.37 c #Conflicts: 379000 | #Constraints: 22394
2280.56/2287.37 c #Conflicts: 380000 | #Constraints: 23394
2280.56/2287.37 c #Conflicts: 381000 | #Constraints: 24394
2280.56/2287.37 c INPROCESSING
2280.56/2287.37 c GARBAGE COLLECT
2280.56/2287.37 c #Conflicts: 382000 | #Constraints: 13197
2280.56/2287.37 c #Conflicts: 383000 | #Constraints: 14197
2685.41/2693.38 c #Conflicts: 384000 | #Constraints: 15197
2685.41/2693.38 c #Conflicts: 385000 | #Constraints: 16197
2685.41/2693.38 c #Conflicts: 386000 | #Constraints: 17197
2685.41/2693.38 c #Conflicts: 387000 | #Constraints: 18197
2685.41/2693.38 c #Conflicts: 388000 | #Constraints: 19197
2685.41/2693.38 c #Conflicts: 389000 | #Constraints: 20197
2685.41/2693.38 c #Conflicts: 390000 | #Constraints: 21197
2685.41/2693.38 c #Conflicts: 391000 | #Constraints: 22197
2685.41/2693.38 c #Conflicts: 392000 | #Constraints: 23197
2685.41/2693.38 c #Conflicts: 393000 | #Constraints: 24197
2685.41/2693.38 c #Conflicts: 394000 | #Constraints: 25197
2685.41/2693.38 c INPROCESSING
2685.41/2693.38 c GARBAGE COLLECT
2685.41/2693.38 c #Conflicts: 395000 | #Constraints: 13782
2685.41/2693.38 c #Conflicts: 396000 | #Constraints: 14782
2685.41/2693.38 c #Conflicts: 397000 | #Constraints: 15782
2685.41/2693.38 c #Conflicts: 398000 | #Constraints: 16782
2685.41/2693.38 c #Conflicts: 399000 | #Constraints: 17782
2685.41/2693.38 c #Conflicts: 400000 | #Constraints: 18782
2685.41/2693.38 c #Conflicts: 401000 | #Constraints: 19782
2685.41/2693.38 c #Conflicts: 402000 | #Constraints: 20782
2685.41/2693.38 c #Conflicts: 403000 | #Constraints: 21782
2685.41/2693.38 c #Conflicts: 404000 | #Constraints: 22782
2685.41/2693.38 c #Conflicts: 405000 | #Constraints: 23782
2685.41/2693.38 c #Conflicts: 406000 | #Constraints: 24782
2685.41/2693.38 c #Conflicts: 407000 | #Constraints: 25782
2685.41/2693.38 c INPROCESSING
2685.41/2693.38 c GARBAGE COLLECT
2685.41/2693.38 c #Conflicts: 408000 | #Constraints: 14193
2685.41/2693.38 c #Conflicts: 409000 | #Constraints: 15193
2685.41/2693.38 c #Conflicts: 410000 | #Constraints: 16193
2685.41/2693.38 c #Conflicts: 411000 | #Constraints: 17193
2685.41/2693.38 c #Conflicts: 412000 | #Constraints: 18193
2685.41/2693.38 c #Conflicts: 413000 | #Constraints: 19193
2685.41/2693.38 c #Conflicts: 414000 | #Constraints: 20193
2685.41/2693.38 c #Conflicts: 415000 | #Constraints: 21193
2685.41/2693.38 c #Conflicts: 416000 | #Constraints: 22193
2685.41/2693.38 c #Conflicts: 417000 | #Constraints: 23193
2685.41/2693.38 c #Conflicts: 418000 | #Constraints: 24193
2685.41/2693.38 c #Conflicts: 419000 | #Constraints: 25193
2685.41/2693.38 c #Conflicts: 420000 | #Constraints: 26193
2685.41/2693.38 c INPROCESSING
2685.41/2693.38 c GARBAGE COLLECT
2685.41/2693.38 c #Conflicts: 421000 | #Constraints: 14411
2685.41/2693.38 c #Conflicts: 422000 | #Constraints: 15411
2685.41/2693.38 c #Conflicts: 423000 | #Constraints: 16411
2685.41/2693.38 c #Conflicts: 424000 | #Constraints: 17411
2685.41/2693.38 c #Conflicts: 425000 | #Constraints: 18411
2685.41/2693.38 c #Conflicts: 426000 | #Constraints: 19411
2685.41/2693.38 c #Conflicts: 427000 | #Constraints: 20411
2685.41/2693.38 c #Conflicts: 428000 | #Constraints: 21411
2685.41/2693.38 c #Conflicts: 429000 | #Constraints: 22411
2685.41/2693.38 c #Conflicts: 430000 | #Constraints: 23411
2685.41/2693.38 c #Conflicts: 431000 | #Constraints: 24411
2685.41/2693.38 c #Conflicts: 432000 | #Constraints: 25411
2685.41/2693.38 c #Conflicts: 433000 | #Constraints: 26411
2685.41/2693.38 c INPROCESSING
2685.41/2693.38 c GARBAGE COLLECT
2685.41/2693.38 c #Conflicts: 434000 | #Constraints: 14406
2685.41/2693.38 c #Conflicts: 435000 | #Constraints: 15406
2685.41/2693.38 c #Conflicts: 436000 | #Constraints: 16406
2685.41/2693.38 c #Conflicts: 437000 | #Constraints: 17406
2685.41/2693.38 c #Conflicts: 438000 | #Constraints: 18406
2685.41/2693.38 c #Conflicts: 439000 | #Constraints: 19406
2685.41/2693.38 c #Conflicts: 440000 | #Constraints: 20406
2685.41/2693.38 c #Conflicts: 441000 | #Constraints: 21406
2685.41/2693.38 c #Conflicts: 442000 | #Constraints: 22406
2685.41/2693.38 c #Conflicts: 443000 | #Constraints: 23406
2685.41/2693.38 c #Conflicts: 444000 | #Constraints: 24406
2685.41/2693.38 c #Conflicts: 445000 | #Constraints: 25406
2685.41/2693.38 c #Conflicts: 446000 | #Constraints: 26406
2685.41/2693.38 c INPROCESSING
2685.41/2693.38 c GARBAGE COLLECT
2685.41/2693.38 c #Conflicts: 447000 | #Constraints: 14202
2685.41/2693.38 c #Conflicts: 448000 | #Constraints: 15202
2685.41/2693.38 c #Conflicts: 449000 | #Constraints: 16202
2685.41/2693.38 c #Conflicts: 450000 | #Constraints: 17202
2685.41/2693.38 c #Conflicts: 451000 | #Constraints: 18202
2685.41/2693.38 c #Conflicts: 452000 | #Constraints: 19202
2685.41/2693.38 c #Conflicts: 453000 | #Constraints: 20202
2685.41/2693.38 c #Conflicts: 454000 | #Constraints: 21202
2685.41/2693.38 c #Conflicts: 455000 | #Constraints: 22202
2685.41/2693.38 c #Conflicts: 456000 | #Constraints: 23202
2685.41/2693.38 c #Conflicts: 457000 | #Constraints: 24202
2685.41/2693.38 c #Conflicts: 458000 | #Constraints: 25202
2685.41/2693.38 c #Conflicts: 459000 | #Constraints: 26202
3110.47/3119.50 c #Conflicts: 460000 | #Constraints: 27202
3110.47/3119.50 c INPROCESSING
3110.47/3119.50 c GARBAGE COLLECT
3110.47/3119.50 c #Conflicts: 461000 | #Constraints: 14794
3110.47/3119.50 c #Conflicts: 462000 | #Constraints: 15794
3110.47/3119.50 c #Conflicts: 463000 | #Constraints: 16794
3110.47/3119.50 c #Conflicts: 464000 | #Constraints: 17794
3110.47/3119.50 c #Conflicts: 465000 | #Constraints: 18794
3110.47/3119.50 c #Conflicts: 466000 | #Constraints: 19794
3110.47/3119.50 c #Conflicts: 467000 | #Constraints: 20794
3110.47/3119.50 c #Conflicts: 468000 | #Constraints: 21794
3110.47/3119.50 c #Conflicts: 469000 | #Constraints: 22794
3110.47/3119.50 c #Conflicts: 470000 | #Constraints: 23794
3110.47/3119.50 c #Conflicts: 471000 | #Constraints: 24794
3110.47/3119.50 c #Conflicts: 472000 | #Constraints: 25794
3110.47/3119.50 c #Conflicts: 473000 | #Constraints: 26794
3110.47/3119.50 c #Conflicts: 474000 | #Constraints: 27794
3110.47/3119.50 c INPROCESSING
3110.47/3119.50 c GARBAGE COLLECT
3110.47/3119.50 c #Conflicts: 475000 | #Constraints: 15206
3110.47/3119.50 c #Conflicts: 476000 | #Constraints: 16206
3110.47/3119.50 c #Conflicts: 477000 | #Constraints: 17206
3110.47/3119.50 c #Conflicts: 478000 | #Constraints: 18206
3110.47/3119.50 c #Conflicts: 479000 | #Constraints: 19206
3110.47/3119.50 c #Conflicts: 480000 | #Constraints: 20206
3110.47/3119.50 c #Conflicts: 481000 | #Constraints: 21206
3110.47/3119.50 c #Conflicts: 482000 | #Constraints: 22206
3110.47/3119.50 c #Conflicts: 483000 | #Constraints: 23206
3110.47/3119.50 c #Conflicts: 484000 | #Constraints: 24206
3110.47/3119.50 c #Conflicts: 485000 | #Constraints: 25206
3110.47/3119.50 c #Conflicts: 486000 | #Constraints: 26206
3110.47/3119.50 c #Conflicts: 487000 | #Constraints: 27206
3110.47/3119.50 c #Conflicts: 488000 | #Constraints: 28206
3110.47/3119.50 c INPROCESSING
3110.47/3119.50 c GARBAGE COLLECT
3110.47/3119.50 c #Conflicts: 489000 | #Constraints: 15408
3110.47/3119.50 c #Conflicts: 490000 | #Constraints: 16408
3110.47/3119.50 c #Conflicts: 491000 | #Constraints: 17408
3110.47/3119.50 c #Conflicts: 492000 | #Constraints: 18408
3110.47/3119.50 c #Conflicts: 493000 | #Constraints: 19408
3110.47/3119.50 c #Conflicts: 494000 | #Constraints: 20408
3110.47/3119.50 c #Conflicts: 495000 | #Constraints: 21408
3110.47/3119.50 c #Conflicts: 496000 | #Constraints: 22408
3110.47/3119.50 c #Conflicts: 497000 | #Constraints: 23408
3110.47/3119.50 c #Conflicts: 498000 | #Constraints: 24408
3110.47/3119.50 c #Conflicts: 499000 | #Constraints: 25408
3110.47/3119.50 c #Conflicts: 500000 | #Constraints: 26408
3110.47/3119.50 c #Conflicts: 501000 | #Constraints: 27408
3110.47/3119.50 c #Conflicts: 502000 | #Constraints: 28408
3110.47/3119.50 c INPROCESSING
3110.47/3119.50 c GARBAGE COLLECT
3110.47/3119.50 c #Conflicts: 503000 | #Constraints: 15406
3110.47/3119.50 c #Conflicts: 504000 | #Constraints: 16406
3110.47/3119.50 c #Conflicts: 505000 | #Constraints: 17406
3110.47/3119.50 c #Conflicts: 506000 | #Constraints: 18406
3110.47/3119.50 c #Conflicts: 507000 | #Constraints: 19406
3110.47/3119.50 c #Conflicts: 508000 | #Constraints: 20406
3110.47/3119.50 c #Conflicts: 509000 | #Constraints: 21406
3110.47/3119.50 c #Conflicts: 510000 | #Constraints: 22406
3110.47/3119.50 c #Conflicts: 511000 | #Constraints: 23406
3110.47/3119.50 c #Conflicts: 512000 | #Constraints: 24406
3110.47/3119.50 c #Conflicts: 513000 | #Constraints: 25406
3110.47/3119.50 c #Conflicts: 514000 | #Constraints: 26406
3110.47/3119.50 c #Conflicts: 515000 | #Constraints: 27406
3110.47/3119.50 c #Conflicts: 516000 | #Constraints: 28406
3110.47/3119.50 c INPROCESSING
3110.47/3119.50 c GARBAGE COLLECT
3110.47/3119.50 c #Conflicts: 517000 | #Constraints: 15201
3110.47/3119.50 c #Conflicts: 518000 | #Constraints: 16201
3110.47/3119.50 c #Conflicts: 519000 | #Constraints: 17201
3110.47/3119.50 c #Conflicts: 520000 | #Constraints: 18201
3110.47/3119.50 c #Conflicts: 521000 | #Constraints: 19201
3110.47/3119.50 c #Conflicts: 522000 | #Constraints: 20201
3110.47/3119.50 c #Conflicts: 523000 | #Constraints: 21201
3110.47/3119.50 c #Conflicts: 524000 | #Constraints: 22201
3110.47/3119.50 c #Conflicts: 525000 | #Constraints: 23201
3110.47/3119.50 c #Conflicts: 526000 | #Constraints: 24201
3110.47/3119.50 c #Conflicts: 527000 | #Constraints: 25201
3110.47/3119.50 c #Conflicts: 528000 | #Constraints: 26201
3110.47/3119.50 c #Conflicts: 529000 | #Constraints: 27201
3110.47/3119.50 c #Conflicts: 530000 | #Constraints: 28201
3110.47/3119.50 c #Conflicts: 531000 | #Constraints: 29201
3110.47/3119.50 c INPROCESSING
3110.47/3119.50 c GARBAGE COLLECT
3110.47/3119.50 c #Conflicts: 532000 | #Constraints: 15808
3110.47/3119.50 c #Conflicts: 533000 | #Constraints: 16808
3110.47/3119.50 c #Conflicts: 534000 | #Constraints: 17808
3479.97/3490.07 c #Conflicts: 535000 | #Constraints: 18808
3479.97/3490.07 c #Conflicts: 536000 | #Constraints: 19808
3479.97/3490.07 c #Conflicts: 537000 | #Constraints: 20808
3479.97/3490.07 c #Conflicts: 538000 | #Constraints: 21808
3479.97/3490.07 c #Conflicts: 539000 | #Constraints: 22808
3479.97/3490.07 c #Conflicts: 540000 | #Constraints: 23808
3479.97/3490.07 c #Conflicts: 541000 | #Constraints: 24808
3479.97/3490.07 c #Conflicts: 542000 | #Constraints: 25808
3479.97/3490.07 c #Conflicts: 543000 | #Constraints: 26808
3479.97/3490.07 c #Conflicts: 544000 | #Constraints: 27808
3479.97/3490.07 c #Conflicts: 545000 | #Constraints: 28808
3479.97/3490.07 c #Conflicts: 546000 | #Constraints: 29808
3479.97/3490.07 c INPROCESSING
3479.97/3490.07 c GARBAGE COLLECT
3479.97/3490.07 c #Conflicts: 547000 | #Constraints: 16201
3479.97/3490.07 c #Conflicts: 548000 | #Constraints: 17201
3479.97/3490.07 c #Conflicts: 549000 | #Constraints: 18201
3479.97/3490.07 c #Conflicts: 550000 | #Constraints: 19201
3479.97/3490.07 c #Conflicts: 551000 | #Constraints: 20201
3479.97/3490.07 c #Conflicts: 552000 | #Constraints: 21201
3479.97/3490.07 c #Conflicts: 553000 | #Constraints: 22201
3479.97/3490.07 c #Conflicts: 554000 | #Constraints: 23201
3479.97/3490.07 c #Conflicts: 555000 | #Constraints: 24201
3479.97/3490.07 c #Conflicts: 556000 | #Constraints: 25201
3479.97/3490.07 c #Conflicts: 557000 | #Constraints: 26201
3479.97/3490.07 c #Conflicts: 558000 | #Constraints: 27201
3479.97/3490.07 c #Conflicts: 559000 | #Constraints: 28201
3479.97/3490.07 c #Conflicts: 560000 | #Constraints: 29201
3479.97/3490.07 c #Conflicts: 561000 | #Constraints: 30201
3479.97/3490.07 c INPROCESSING
3479.97/3490.07 c GARBAGE COLLECT
3479.97/3490.07 c #Conflicts: 562000 | #Constraints: 16401
3479.97/3490.07 c #Conflicts: 563000 | #Constraints: 17401
3479.97/3490.07 c #Conflicts: 564000 | #Constraints: 18401
3479.97/3490.07 c #Conflicts: 565000 | #Constraints: 19401
3479.97/3490.07 c #Conflicts: 566000 | #Constraints: 20401
3479.97/3490.07 c #Conflicts: 567000 | #Constraints: 21401
3479.97/3490.07 c #Conflicts: 568000 | #Constraints: 22401
3479.97/3490.07 c #Conflicts: 569000 | #Constraints: 23401
3479.97/3490.07 c #Conflicts: 570000 | #Constraints: 24401
3479.97/3490.07 c #Conflicts: 571000 | #Constraints: 25401
3479.97/3490.07 c #Conflicts: 572000 | #Constraints: 26401
3479.97/3490.07 c #Conflicts: 573000 | #Constraints: 27401
3479.97/3490.07 c #Conflicts: 574000 | #Constraints: 28401
3479.97/3490.07 c #Conflicts: 575000 | #Constraints: 29401
3479.97/3490.07 c #Conflicts: 576000 | #Constraints: 30401
3479.97/3490.07 c INPROCESSING
3479.97/3490.07 c GARBAGE COLLECT
3479.97/3490.07 c #Conflicts: 577000 | #Constraints: 16395
3479.97/3490.07 c #Conflicts: 578000 | #Constraints: 17395
3479.97/3490.07 c #Conflicts: 579000 | #Constraints: 18395
3479.97/3490.07 c #Conflicts: 580000 | #Constraints: 19395
3479.97/3490.07 c #Conflicts: 581000 | #Constraints: 20395
3479.97/3490.07 c #Conflicts: 582000 | #Constraints: 21395
3479.97/3490.07 c #Conflicts: 583000 | #Constraints: 22395
3479.97/3490.07 c #Conflicts: 584000 | #Constraints: 23395
3479.97/3490.07 c #Conflicts: 585000 | #Constraints: 24395
3479.97/3490.07 c #Conflicts: 586000 | #Constraints: 25395
3479.97/3490.07 c #Conflicts: 587000 | #Constraints: 26395
3479.97/3490.07 c #Conflicts: 588000 | #Constraints: 27395
3479.97/3490.07 c #Conflicts: 589000 | #Constraints: 28395
3479.97/3490.07 c #Conflicts: 590000 | #Constraints: 29395
3479.97/3490.07 c #Conflicts: 591000 | #Constraints: 30395
3479.97/3490.07 c INPROCESSING
3479.97/3490.07 c GARBAGE COLLECT
3479.97/3490.07 c #Conflicts: 592000 | #Constraints: 16194
3479.97/3490.07 c #Conflicts: 593000 | #Constraints: 17194
3479.97/3490.07 c #Conflicts: 594000 | #Constraints: 18194
3479.97/3490.07 c #Conflicts: 595000 | #Constraints: 19194
3479.97/3490.07 c #Conflicts: 596000 | #Constraints: 20194
3479.97/3490.07 c #Conflicts: 597000 | #Constraints: 21194
3479.97/3490.07 c GLOBAL bounds - >= 25004 @ 3412.81
3480.08/3490.12 c GLOBAL bounds - >= 25004 @ 3412.86
3480.08/3490.14 c GLOBAL bounds - >= 25004 @ 3412.86
3480.08/3490.16 c GLOBAL bounds - >= 25004 @ 3412.87
3480.08/3490.17 c GLOBAL bounds - >= 25004 @ 3412.88
3480.08/3490.19 c GLOBAL bounds - >= 25004 @ 3412.88
3480.16/3490.21 c GLOBAL bounds - >= 25004 @ 3412.89
3480.16/3490.24 c GLOBAL bounds - >= 25004 @ 3412.9
3480.16/3490.26 c GLOBAL bounds - >= 25004 @ 3412.91
3480.37/3490.47 c GLOBAL bounds - >= 25004 @ 3412.99
3480.37/3490.49 c GLOBAL bounds - >= 25004 @ 3413
3480.97/3491.08 c GLOBAL bounds - >= 25004 @ 3413.45
3480.97/3491.10 c GLOBAL bounds - >= 25004 @ 3413.46
3481.27/3491.31 c GLOBAL bounds - >= 25004 @ 3413.53
3481.27/3491.33 c GLOBAL bounds - >= 25004 @ 3413.54
3481.46/3491.54 c GLOBAL bounds - >= 25004 @ 3413.61
3481.46/3491.57 c GLOBAL bounds - >= 25004 @ 3413.62
3482.46/3492.59 c GLOBAL bounds - >= 25004 @ 3414.5
3482.56/3492.62 c GLOBAL bounds - >= 25004 @ 3414.52
3482.76/3492.83 c GLOBAL bounds - >= 25004 @ 3414.6
3482.76/3492.85 c GLOBAL bounds - >= 25004 @ 3414.61
3482.97/3493.07 c GLOBAL bounds - >= 25004 @ 3414.69
3483.07/3493.10 c GLOBAL bounds - >= 25004 @ 3414.7
3483.26/3493.32 c GLOBAL bounds - >= 25004 @ 3414.79
3483.26/3493.35 c GLOBAL bounds - >= 25004 @ 3414.81
3483.46/3493.57 c GLOBAL bounds - >= 25004 @ 3414.9
3483.56/3493.61 c GLOBAL bounds - >= 25004 @ 3414.92
3483.76/3493.83 c GLOBAL bounds - >= 25004 @ 3415.01
3483.96/3494.05 c GLOBAL bounds - >= 25004 @ 3415.09
3484.16/3494.29 c GLOBAL bounds - >= 25004 @ 3415.2
3484.46/3494.51 c GLOBAL bounds - >= 25004 @ 3415.3
3484.66/3494.76 c GLOBAL bounds - >= 25004 @ 3415.41
3484.96/3495.03 c GLOBAL bounds - >= 25004 @ 3415.54
3485.25/3495.30 c GLOBAL bounds - >= 25004 @ 3415.69
3485.55/3495.68 c #Conflicts: 598000 | #Constraints: 22222
3485.55/3495.68 c GLOBAL bounds - >= 25004 @ 3415.93
3489.34/3499.45 c GLOBAL bounds - >= 25004 @ 3419.55
3600.04/3610.40 c #Conflicts: 599000 | #Constraints: 23222
3600.04/3610.40 c #Conflicts: 600000 | #Constraints: 24222
3600.04/3610.40 c #Conflicts: 601000 | #Constraints: 25222
3600.04/3610.40 c #Conflicts: 602000 | #Constraints: 26222
3600.04/3610.40 c #Conflicts: 603000 | #Constraints: 27222
3600.04/3610.40 c #Conflicts: 604000 | #Constraints: 28222
3600.04/3610.40 c #Conflicts: 605000 | #Constraints: 29222
3600.04/3610.40 c #Conflicts: 606000 | #Constraints: 30222
3600.04/3610.40 c #Conflicts: 607000 | #Constraints: 31222
3600.04/3610.40 c INPROCESSING
3600.04/3610.40 c GARBAGE COLLECT
3600.04/3610.40 c #Conflicts: 608000 | #Constraints: 16830
3600.04/3610.40 c #Conflicts: 609000 | #Constraints: 17830
3600.04/3610.40 c #Conflicts: 610000 | #Constraints: 18830
3600.04/3610.40 c #Conflicts: 611000 | #Constraints: 19830
3600.04/3610.40 c #Conflicts: 612000 | #Constraints: 20830
3600.04/3610.40 c #Conflicts: 613000 | #Constraints: 21830
3600.04/3610.40 c #Conflicts: 614000 | #Constraints: 22830
3600.04/3610.40 c #Conflicts: 615000 | #Constraints: 23830
3600.04/3610.40 c #Conflicts: 616000 | #Constraints: 24830
3600.04/3610.40 c cpu time 3529.29 s
3600.04/3610.40 c deterministic time 30764696 3.08e+07
3600.04/3610.40 c optimization time 3519.52 s
3600.04/3610.40 c total solve time 5.19814 s
3600.04/3610.40 c core-guided solve time 0 s
3600.04/3610.40 c propagation time 3.4015 s
3600.04/3610.40 c conflict analysis time 0.313172 s
3600.04/3610.40 c propagations 4652852
3600.04/3610.40 c resolve steps 4524
3600.04/3610.40 c decisions 6966757
3600.04/3610.40 c conflicts 392
3600.04/3610.40 c restarts 3
3600.04/3610.40 c inprocessing phases 0
3600.04/3610.40 c garbage collections 0 ,( -nan )
3600.04/3610.40 c input clauses 885855 ,( 99.98 )
3600.04/3610.40 c input cardinalities 0 ,( 0.00 )
3600.04/3610.40 c input general constraints 155 ,( 0.02 )
3600.04/3610.40 c input average constraint length 5.39
3600.04/3610.40 c input average constraint degree 1375.05
3600.04/3610.40 c learned clauses 454 ,( 100.00 )
3600.04/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.04/3610.40 c learned general constraints 0 ,( 0.00 )
3600.04/3610.40 c learned average constraint length 28.86
3600.04/3610.40 c learned average constraint degree 1.00
3600.04/3610.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3610.40 c counting CF 32, 64, 128, Arb: 156 , 0 , 0 , 0
3600.04/3610.40 c watched constraints 0 ,( 0.00 )
3600.04/3610.40 c counting constraints 155 ,( 100.00 )
3600.04/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2680302 , 0 , 370818 ,( 0 , 370818 )
3600.04/3610.40 c gcd simplifications 0
3600.04/3610.40 c detected cardinalities 0
3600.04/3610.40 c weakened non-implied lits 0
3600.04/3610.40 c weakened non-implying lits 0
3600.04/3610.40 c original variables 211564
3600.04/3610.40 c clausal propagations 2535101
3600.04/3610.40 c cardinality propagations 0
3600.04/3610.40 c watched propagations 0
3600.04/3610.40 c counting propagations 14320
3600.04/3610.40 c watch lookups 3439343
3600.04/3610.40 c watch backjump lookups 0
3600.04/3610.40 c watch checks 1607578
3600.04/3610.40 c propagation checks 2560363
3600.04/3610.40 c constraint additions 50524
3600.04/3610.40 c trail pops 11484278
3600.04/3610.40 c formula constraints 885515
3600.04/3610.40 c learned constraints 454
3600.04/3610.40 c bound constraints 0
3600.04/3610.40 c core-guided constraints 0
3600.04/3610.40 c encountered formula constraints 4763
3600.04/3610.40 c encountered learned constraints 153
3600.04/3610.40 c encountered bound constraints 0
3600.04/3610.40 c encountered core-guided constraints 0
3600.04/3610.40 c LP total time 3.16934 s
3600.04/3610.40 c LP solve time 2.74 s
3600.04/3610.40 c LP constraints added 885515
3600.04/3610.40 c LP constraints removed 0
3600.04/3610.40 c LP pivots internal 2000
3600.04/3610.40 c LP pivots root 1000
3600.04/3610.40 c LP calls 2
3600.04/3610.40 c LP optimalities 0
3600.04/3610.40 c LP no pivot count 0
3600.04/3610.40 c LP infeasibilities 0
3600.04/3610.40 c LP valid Farkas constraints 0
3600.04/3610.40 c LP learned Farkas constraints 0
3600.04/3610.40 c LP basis resets 0
3600.04/3610.40 c LP cycling count 0
3600.04/3610.40 c LP singular count 0
3600.04/3610.40 c LP no primal count 0
3600.04/3610.40 c LP no farkas count 0
3600.04/3610.40 c LP other issue count 0
3600.04/3610.40 c LP Gomory cuts 0
3600.04/3610.40 c LP learned cuts 0
3600.04/3610.40 c LP deleted cuts 0
3600.04/3610.40 c LP encountered Gomory constraints 0
3600.04/3610.40 c LP encountered Farkas constraints 0
3600.04/3610.40 c LP encountered learned Farkas constraints 0
3600.04/3610.40 c CG auxiliary variables introduced 159
3600.04/3610.40 c CG solutions found 0
3600.04/3610.40 c CG cores constructed 219
3600.04/3610.40 c CG core cardinality constraints returned 0
3600.04/3610.40 c CG unit cores 0
3600.04/3610.40 c CG single cores 0
3600.04/3610.40 c CG blocks removed during cardinality reduction 0
3600.04/3610.40 c CG first core best 0
3600.04/3610.40 c CG decision core best 0
3600.04/3610.40 c CG core reduction tie 0
3600.04/3610.40 c CG core degree average 0.00
3600.04/3610.40 c CG core slack average 0.00
3600.04/3610.40 c CG core upper bound improvements 0
3600.04/3610.40 c STR number of successful calls 0
3600.04/3610.40 c STR number of unsuccessful calls 0
3600.04/3610.40 c STR number of inconclusive calls 0
3600.04/3610.40 c STR number of successful attempts 0
3600.04/3610.40 c STR number of unsuccessful attempts 0
3600.04/3610.40 c STR number of inconclusive attempts 0
3600.04/3610.40 c STR average degree increase per successful call inf
3600.04/3610.40 c STR average degree increase per successful attempt inf
3600.04/3610.40 c STR total number of conflicts for successful attempts 0
3600.04/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.40 c STR average number of conflicts per successful attempt inf
3600.04/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.40 c AVG.sumWPerc 99.87
3600.04/3610.40 c bigint constraints 0
3600.04/3610.40 s UNKNOWN
3600.04/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (55194 MiB free)
memory of node 1: 64507 MiB (55524 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506366-1751503977/watcher-4506366-1751503977 -o /tmp/evaluation-result-4506366-1751503977/solver-4506366-1751503977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70773 --watchdog 3760 run-opt.sh HOME/instance-4506366-1751503977.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71159, runsolver pid=71156
[startup+0.100066 s]*
/proc/loadavg: 4.11 4.10 4.04 5/268 71161
/proc/meminfo: memFree=113376556/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=93260 memory=48436 CPUtime=0.08 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 5648 0 0 0 6 2 0 0 20 0 1 0 66075483 95498240 12109 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 23315 12109 1952 1147 0 10742 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 97452 KiB
Current children cumulated memory: 51252 KiB
[startup+0.205694 s]*
/proc/loadavg: 4.11 4.10 4.04 5/268 71161
/proc/meminfo: memFree=113376556/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=95496 memory=52760 CPUtime=0.18 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 6225 0 0 0 14 4 0 0 20 0 1 0 66075483 97787904 13190 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 23874 13190 1952 1147 0 11301 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 99688 KiB
Current children cumulated memory: 55576 KiB
[startup+0.305546 s]*
/proc/loadavg: 4.11 4.10 4.04 5/268 71161
/proc/meminfo: memFree=113376556/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=97608 memory=54552 CPUtime=0.28 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 6675 0 0 0 22 6 0 0 20 0 1 0 66075483 99950592 13638 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 24402 13638 1952 1147 0 11829 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 101800 KiB
Current children cumulated memory: 57368 KiB
[startup+0.700191 s]
/proc/loadavg: 4.11 4.10 4.04 5/268 71161
/proc/meminfo: memFree=113376556/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=110088 memory=62488 CPUtime=0.68 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 8965 0 0 0 55 13 0 0 20 0 1 0 66075483 112730112 15622 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 27522 15622 1952 1147 0 14949 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114280 KiB
Current children cumulated memory: 65304 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.10 4.04 5/268 71161
/proc/meminfo: memFree=113386748/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=126524 memory=79916 CPUtime=1.48 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 12640 0 0 0 123 25 0 0 20 0 1 0 66075483 129560576 19979 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 31631 19979 1952 1147 0 19058 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 130716 KiB
Current children cumulated memory: 82732 KiB
[startup+3.10541 s]
/proc/loadavg: 4.10 4.10 4.04 5/268 71161
/proc/meminfo: memFree=113402372/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=157948 memory=109800 CPUtime=3.07 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 18276 0 0 0 258 49 0 0 20 0 1 0 66075483 161738752 27450 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 39487 27450 1952 1147 0 26914 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 162140 KiB
Current children cumulated memory: 112616 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.10 4.04 5/268 71161
/proc/meminfo: memFree=112615624/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=1150032 memory=973036 CPUtime=6.26 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 66087 0 0 0 521 105 0 0 20 0 1 0 66075483 1177632768 243259 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 287508 243259 2368 1147 0 274935 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1154224 KiB
Current children cumulated memory: 975852 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.04 5/268 71161
/proc/meminfo: memFree=112649444/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=1257568 memory=1067696 CPUtime=12.64 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 78212 0 0 0 928 336 0 0 20 0 1 0 66075483 1287749632 266924 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 314392 266924 2400 1147 0 301819 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1261760 KiB
Current children cumulated memory: 1070512 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.04 5/268 71161
/proc/meminfo: memFree=112672444/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=1463908 memory=1275520 CPUtime=25.4 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 111104 0 0 0 1473 1067 0 0 20 0 1 0 66075483 1499041792 318880 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 365977 318880 2400 1147 0 353404 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1468100 KiB
Current children cumulated memory: 1278336 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.05 5/268 71161
/proc/meminfo: memFree=112502212/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=2273464 memory=2001860 CPUtime=50.95 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 239629 0 0 0 2888 2207 0 0 20 0 1 0 66075483 2328027136 500465 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 568366 500465 2400 1147 0 555793 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2277656 KiB
Current children cumulated memory: 2004676 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.13 4.06 5/268 71164
/proc/meminfo: memFree=111857524/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=3137020 memory=2652740 CPUtime=102.01 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 365594 0 0 0 7957 2244 0 0 20 0 1 0 66075483 3212308480 663185 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 784255 663185 2400 1147 0 771682 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 3141212 KiB
Current children cumulated memory: 2655556 KiB
[startup+162.3 s]
/proc/loadavg: 4.64 4.26 4.11 5/270 71168
/proc/meminfo: memFree=111523656/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=3142832 memory=2957228 CPUtime=161.85 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 404461 0 0 0 13923 2262 0 0 20 0 1 0 66075483 3218259968 739307 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 785708 739307 2400 1147 0 773135 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 3147024 KiB
Current children cumulated memory: 2960044 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.23 4.10 5/270 71171
/proc/meminfo: memFree=110755780/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=4743560 memory=3736084 CPUtime=221.69 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 583342 0 0 0 19869 2300 0 0 20 0 1 0 66075483 4857405440 934021 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 1185890 934021 2400 1147 0 1173317 0
################
# More data... #
################
Current children cumulated memory: 11004636 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.12 4.10 5/268 71516
/proc/meminfo: memFree=90998064/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=13604296 memory=11001820 CPUtime=3153.16 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 1984403 0 0 0 309050 6266 0 0 20 0 1 0 66075483 13930799104 2750455 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 3401074 2750455 2400 1147 0 3388501 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 13608488 KiB
Current children cumulated memory: 11004636 KiB
[startup+3222.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/268 71518
/proc/meminfo: memFree=90165456/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=13604296 memory=11002076 CPUtime=3212.99 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 1985409 0 0 0 314954 6345 0 0 20 0 1 0 66075483 13930799104 2750519 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 3401074 2750519 2400 1147 0 3388501 0
Current children cumulated CPU time: 3212.99 s
Current children cumulated vsize: 13608488 KiB
Current children cumulated memory: 11004892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/268 71523
/proc/meminfo: memFree=89631680/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=15112656 memory=11359052 CPUtime=3272.84 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 2033718 0 0 0 320868 6416 0 0 20 0 1 0 66075483 15475359744 2839763 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 3778164 2839763 2400 1147 0 3765591 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 15116848 KiB
Current children cumulated memory: 11361868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 71525
/proc/meminfo: memFree=89623984/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=15112656 memory=11359180 CPUtime=3332.68 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 2034271 0 0 0 326747 6521 0 0 20 0 1 0 66075483 15475359744 2839795 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 3778164 2839795 2400 1147 0 3765591 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 15116848 KiB
Current children cumulated memory: 11361996 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/268 71527
/proc/meminfo: memFree=89480836/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=15120848 memory=11509292 CPUtime=3392.5 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 2055621 0 0 0 332658 6592 0 0 20 0 1 0 66075483 15483748352 2877323 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 3780212 2877323 2400 1147 0 3767639 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 15125040 KiB
Current children cumulated memory: 11512108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/267 71529
/proc/meminfo: memFree=89308008/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=15123920 memory=11614556 CPUtime=3452.34 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 2070315 0 0 0 338537 6697 0 0 20 0 1 0 66075483 15486894080 2903639 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 3780980 2903639 2400 1147 0 3768407 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 15128112 KiB
Current children cumulated memory: 11617372 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/267 71536
/proc/meminfo: memFree=89064648/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=15128208 memory=11620892 CPUtime=3512.18 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 2071509 0 0 0 344214 7004 0 0 20 0 1 0 66075483 15491284992 2905223 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 3782052 2905223 2400 1147 0 3769479 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 15132400 KiB
Current children cumulated memory: 11623708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 71539
/proc/meminfo: memFree=88664312/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=15128208 memory=11756480 CPUtime=3572.02 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 2090673 0 0 0 350152 7050 0 0 20 0 1 0 66075483 15491284992 2939120 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 3782052 2939120 2400 1147 0 3769479 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 15132400 KiB
Current children cumulated memory: 11759296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 71539
/proc/meminfo: memFree=88560492/131249996 swapFree=33010160/33010684
[pid=71159] ppid=71156 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71159/stat : 71159 (run-opt.sh) S 71156 71159 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66075482 4292608 704 18446744073709551615 93857651875840 93857652770373 140730710859456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93857653009424 93857653057168 93857678725120 140730710862189 140730710862312 140730710862312 140730710867914 0
/proc/71159/statm: 1048 704 672 219 0 110 0
[pid=71161] ppid=71159 vsize=15128208 memory=11756480 CPUtime=3600.04 cores=0,2
/proc/71161/stat : 71161 (roundingsat) R 71159 71159 70763 0 -1 4194304 2091026 0 0 0 352928 7076 0 0 20 0 1 0 66075483 15491284992 2939120 18446744073709551615 4227072 8923433 140733962313920 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38199296 140733962316194 140733962316328 140733962316328 140733962321898 0
/proc/71161/statm: 3782052 2939120 2400 1147 0 3769479 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 15132400 KiB
Current children cumulated memory: 11759296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 71159 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.002529 s
[startup+3610.79 s]
# the end of solver process 71161 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3529.31 s, system=71.1365 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.61 s]*
/proc/loadavg: 4.07 4.10 4.09 5/267 71539
/proc/meminfo: memFree=96774400/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002529 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.71 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 71539
/proc/meminfo: memFree=96774400/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002529 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3610.79
CPU time (s): 3600.45
CPU user time (s): 3529.31
CPU system time (s): 71.1365
CPU usage (%): 99.7135
Max. virtual memory (cumulated for all children) (KiB): 15132400
Max. memory (cumulated for all children) (KiB): 11759296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.31
system time used= 71.1365
maximum resident set size= 11756864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2091355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 336
involuntary context switches= 4636
# summary of solver processes directly reported to runsolver:
# pid: 71159,71161
# total CPU time (s): 3600.45
# total CPU user time (s): 3529.31
# total CPU system time (s): 71.1365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02294 second user time and 17.4879 second system time
The end
Begin job on nodeC021 at 2025-07-03 02:52:58
IDJOB=4506366
IDBENCH=158189
IDSOLVER=3350
FILE ID=nodeC021/4506366-1751503977
RUNJOBID= nodeC021-1751500681-70773
SLURM_JOB_ID= 9598584
Free space on /tmp= 430784 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.10-9.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506366-1751503977/watcher-4506366-1751503977 -o /tmp/evaluation-result-4506366-1751503977/solver-4506366-1751503977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70773 --watchdog 3760 run-opt.sh HOME/instance-4506366-1751503977.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 623011bcb799422f8ca68e1af7825a24
RANDOM SEED=635744293
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.214
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.777
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.518
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.805
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.718
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3641.889
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.859
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113367880 kB
MemAvailable: 117324740 kB
Buffers: 2128 kB
Cached: 4695060 kB
SwapCached: 20 kB
Active: 11627452 kB
Inactive: 4216324 kB
Active(anon): 11153704 kB
Inactive(anon): 10924 kB
Active(file): 473748 kB
Inactive(file): 4205400 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 83336 kB
Writeback: 0 kB
AnonPages: 11137020 kB
Mapped: 117872 kB
Shmem: 18040 kB
KReclaimable: 233500 kB
Slab: 325248 kB
SReclaimable: 233500 kB
SUnreclaim: 91748 kB
KernelStack: 4320 kB
PageTables: 27240 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 13609928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4540416 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430612 MiB
End job on nodeC021 at 2025-07-03 03:53:09