0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 4624 #constraints 5263
0.00/0.04 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= -2577 @ 0.029047
0.00/0.05 c GLOBAL bounds - >= -2577 @ 0.029047
0.00/0.08 c GLOBAL bounds - >= -2577 @ 0.052603
0.00/0.10 c GLOBAL bounds - >= -2577 @ 0.069707
0.08/0.10 c GLOBAL bounds - >= -2577 @ 0.073616
0.08/0.11 c GLOBAL bounds - >= -2577 @ 0.078632
0.08/0.11 c GLOBAL bounds - >= -2577 @ 0.082937
0.08/0.12 c GLOBAL bounds - >= -2577 @ 0.090833
0.08/0.13 c GLOBAL bounds - >= -2577 @ 0.101409
0.08/0.14 c GLOBAL bounds - >= -2577 @ 0.106598
0.08/0.15 c GLOBAL bounds - >= -2577 @ 0.109379
0.08/0.16 c GLOBAL bounds - >= -2577 @ 0.124081
0.08/0.18 c GLOBAL bounds - >= -2577 @ 0.13493
0.08/0.18 c GLOBAL bounds - >= -2577 @ 0.138597
0.19/0.27 c GLOBAL bounds - >= -2577 @ 0.219054
0.19/0.29 c GLOBAL bounds - >= -2577 @ 0.237022
0.29/0.33 c GLOBAL bounds - >= -2577 @ 0.272754
0.29/0.34 c GLOBAL bounds - >= -2577 @ 0.279716
0.29/0.35 c GLOBAL bounds - >= -2577 @ 0.284682
0.29/0.38 c GLOBAL bounds - >= -2577 @ 0.317687
0.29/0.39 c GLOBAL bounds - >= -2577 @ 0.328473
0.39/0.42 c GLOBAL bounds - >= -2577 @ 0.359965
0.39/0.45 c GLOBAL bounds - >= -2577 @ 0.381012
0.48/0.53 c GLOBAL bounds - >= -2577 @ 0.459542
0.67/0.70 c GLOBAL bounds - >= -2577 @ 0.623042
0.67/0.73 c GLOBAL bounds - >= -2577 @ 0.643212
0.67/0.76 c GLOBAL bounds - >= -2577 @ 0.671467
0.67/0.77 c GLOBAL bounds - >= -2577 @ 0.682116
0.87/0.94 c GLOBAL bounds - >= -2577 @ 0.837675
0.87/0.96 c GLOBAL bounds - >= -2577 @ 0.855584
1.18/1.22 c GLOBAL bounds - >= -2577 @ 1.10775
1.18/1.25 c GLOBAL bounds - >= -2577 @ 1.12847
1.18/1.28 c GLOBAL bounds - >= -2577 @ 1.15193
1.27/1.30 c GLOBAL bounds - >= -2577 @ 1.17607
1.27/1.36 c GLOBAL bounds - >= -2577 @ 1.22714
1.27/1.38 c GLOBAL bounds - >= -2577 @ 1.24232
1.37/1.41 c GLOBAL bounds - >= -2577 @ 1.2669
1.37/1.44 c GLOBAL bounds - >= -2577 @ 1.2929
1.47/1.54 c GLOBAL bounds - >= -2577 @ 1.38668
1.68/1.73 c GLOBAL bounds - >= -2577 @ 1.57781
1.77/1.88 c #Conflicts: 1000 | #Constraints: 6339
1.77/1.88 c GLOBAL bounds - >= -2577 @ 1.71473
1.88/1.92 c GLOBAL bounds - >= -2577 @ 1.75618
1.98/2.02 c GLOBAL bounds - >= -2577 @ 1.84691
1.98/2.05 c GLOBAL bounds - >= -2577 @ 1.87578
1.98/2.08 c GLOBAL bounds - >= -2577 @ 1.9059
2.08/2.11 c GLOBAL bounds - >= -2577 @ 1.93685
2.17/2.28 c GLOBAL bounds - >= -2577 @ 2.09551
2.27/2.34 c GLOBAL bounds - >= -2577 @ 2.15424
2.37/2.41 c GLOBAL bounds - >= -2577 @ 2.21606
2.57/2.60 c GLOBAL bounds - >= -2577 @ 2.3866
2.57/2.66 c GLOBAL bounds - >= -2577 @ 2.4457
2.67/2.71 c GLOBAL bounds - >= -2577 @ 2.48928
2.67/2.75 c GLOBAL bounds - >= -2577 @ 2.52811
2.98/3.04 c GLOBAL bounds - >= -2577 @ 2.81113
3.17/3.20 c GLOBAL bounds - >= -2577 @ 2.95434
3.17/3.27 c GLOBAL bounds - >= -2577 @ 3.01822
3.27/3.38 c GLOBAL bounds - >= -2577 @ 3.1316
3.37/3.45 c GLOBAL bounds - >= -2577 @ 3.19094
3.46/3.51 c GLOBAL bounds - >= -2577 @ 3.24842
3.46/3.59 c GLOBAL bounds - >= -2577 @ 3.32466
3.57/3.64 c GLOBAL bounds - >= -2577 @ 3.37899
3.66/3.71 c GLOBAL bounds - >= -2577 @ 3.44106
3.77/3.80 c GLOBAL bounds - >= -2577 @ 3.52174
3.87/4.00 c GLOBAL bounds - >= -2577 @ 3.71162
4.17/4.29 c #Conflicts: 2000 | #Constraints: 7387
4.17/4.29 c INPROCESSING
4.17/4.29 c GARBAGE COLLECT
4.17/4.29 c GLOBAL bounds - >= -2577 @ 4.00301
4.27/4.36 c GLOBAL bounds - >= -2577 @ 4.06982
4.36/4.40 c GLOBAL bounds - >= -2577 @ 4.11424
4.36/4.45 c GLOBAL bounds - >= -2577 @ 4.1552
4.56/4.68 c GLOBAL bounds - >= -2577 @ 4.38083
4.66/4.73 c GLOBAL bounds - >= -2577 @ 4.43108
4.66/4.78 c GLOBAL bounds - >= -2577 @ 4.47538
4.77/4.83 c GLOBAL bounds - >= -2577 @ 4.52685
4.87/4.94 c GLOBAL bounds - >= -2577 @ 4.6328
4.98/5.02 c GLOBAL bounds - >= -2577 @ 4.70347
5.46/5.55 c GLOBAL bounds - >= -2577 @ 5.22388
5.66/5.75 c GLOBAL bounds - >= -2577 @ 5.42351
5.86/5.92 c GLOBAL bounds - >= -2577 @ 5.58159
5.96/6.03 c GLOBAL bounds - >= -2577 @ 5.68569
6.07/6.17 c #Conflicts: 3000 | #Constraints: 7430
6.07/6.17 c GLOBAL bounds - >= -2577 @ 5.81294
6.16/6.27 c GLOBAL bounds - >= -2577 @ 5.91755
6.36/6.41 c GLOBAL bounds - >= -2577 @ 6.04766
6.36/6.48 c GLOBAL bounds - >= -2577 @ 6.11926
6.66/6.72 c GLOBAL bounds - >= -2577 @ 6.33973
6.76/6.82 c GLOBAL bounds - >= -2577 @ 6.44387
6.86/6.96 c GLOBAL bounds - >= -2577 @ 6.56691
7.06/7.12 c GLOBAL bounds - >= -2577 @ 6.72741
7.16/7.22 c GLOBAL bounds - >= -2577 @ 6.82241
7.26/7.31 c GLOBAL bounds - >= -2577 @ 6.91023
7.36/7.45 c GLOBAL bounds - >= -2577 @ 7.04669
7.56/7.65 c GLOBAL bounds - >= -2577 @ 7.23446
7.76/7.84 c GLOBAL bounds - >= -2577 @ 7.41266
7.96/8.03 c GLOBAL bounds - >= -2577 @ 7.5898
8.26/8.31 c GLOBAL bounds - >= -2577 @ 7.85559
8.86/8.96 c #Conflicts: 4000 | #Constraints: 8460
8.86/8.96 c GLOBAL bounds - >= -2577 @ 8.49249
9.55/9.60 c INPROCESSING
9.55/9.60 c GARBAGE COLLECT
9.55/9.60 c GLOBAL bounds - >= -2577 @ 9.11838
9.85/9.90 c GLOBAL bounds - >= -2577 @ 9.39591
10.25/10.35 c GLOBAL bounds - >= -2577 @ 9.83652
10.35/10.48 c GLOBAL bounds - >= -2577 @ 9.95738
10.45/10.57 c GLOBAL bounds - >= -2577 @ 10.046
10.85/10.93 c GLOBAL bounds - >= -2577 @ 10.3989
11.45/11.56 c #Conflicts: 5000 | #Constraints: 7888
11.45/11.56 c GLOBAL bounds - >= -2577 @ 11.0125
11.75/11.86 c GLOBAL bounds - >= -2577 @ 11.3075
11.95/12.09 c GLOBAL bounds - >= -2577 @ 11.5322
12.14/12.21 c GLOBAL bounds - >= -2577 @ 11.6493
12.24/12.36 c GLOBAL bounds - >= -2577 @ 11.7957
12.45/12.59 c GLOBAL bounds - >= -2577 @ 12.0204
12.84/12.96 c GLOBAL bounds - >= -2577 @ 12.3843
13.84/13.99 c #Conflicts: 6000 | #Constraints: 8902
13.84/13.99 c GLOBAL bounds - >= -2577 @ 13.3733
14.64/14.74 c INPROCESSING
14.64/14.74 c GARBAGE COLLECT
14.64/14.74 c GLOBAL bounds - >= -2577 @ 14.1062
14.74/14.87 c GLOBAL bounds - >= -2577 @ 14.2316
14.95/15.06 c GLOBAL bounds - >= -2577 @ 14.4148
16.43/16.55 c #Conflicts: 7000 | #Constraints: 7923
16.43/16.55 c GLOBAL bounds - >= -2577 @ 15.8545
18.73/18.83 c #Conflicts: 8000 | #Constraints: 8925
18.73/18.83 c #Conflicts: 9000 | #Constraints: 9925
18.73/18.83 c GLOBAL bounds - >= -2577 @ 18.0668
20.03/20.16 c INPROCESSING
20.03/20.16 c GARBAGE COLLECT
20.03/20.16 c GLOBAL bounds - >= -2577 @ 19.3737
20.43/20.60 c GLOBAL bounds - >= -2577 @ 19.7995
20.72/20.84 c GLOBAL bounds - >= -2577 @ 20.037
20.93/21.04 c #Conflicts: 10000 | #Constraints: 8631
20.93/21.04 c GLOBAL bounds - >= -2577 @ 20.2358
21.03/21.19 c GLOBAL bounds - >= -2577 @ 20.3775
21.22/21.38 c GLOBAL bounds - >= -2577 @ 20.5644
21.62/21.78 c GLOBAL bounds - >= -2577 @ 20.9576
21.82/21.92 c GLOBAL bounds - >= -2577 @ 21.1014
22.02/22.14 c GLOBAL bounds - >= -2577 @ 21.3151
23.62/23.73 c #Conflicts: 11000 | #Constraints: 9643
23.62/23.73 c GLOBAL bounds - >= -2577 @ 22.8655
24.11/24.20 c GLOBAL bounds - >= -2577 @ 23.3167
25.02/25.17 c GLOBAL bounds - >= -2577 @ 24.2607
27.11/27.24 c #Conflicts: 12000 | #Constraints: 10649
27.11/27.24 c INPROCESSING
27.11/27.24 c GARBAGE COLLECT
27.11/27.24 c GLOBAL bounds - >= -2577 @ 26.2781
28.21/28.34 c #Conflicts: 13000 | #Constraints: 9104
28.21/28.34 c GLOBAL bounds - >= -2577 @ 27.3569
28.80/28.96 c GLOBAL bounds - >= -2577 @ 27.9627
29.30/29.46 c #Conflicts: 14000 | #Constraints: 10108
29.30/29.46 c GLOBAL bounds - >= -2577 @ 28.4463
29.70/29.86 c GLOBAL bounds - >= -2577 @ 28.8281
32.80/32.96 c #Conflicts: 15000 | #Constraints: 11112
32.80/32.96 c INPROCESSING
32.80/32.96 c GARBAGE COLLECT
32.80/32.96 c #Conflicts: 16000 | #Constraints: 9345
32.80/32.96 c GLOBAL bounds - >= -2577 @ 31.8529
33.00/33.11 c GLOBAL bounds - >= -2577 @ 31.9984
36.58/36.71 c #Conflicts: 17000 | #Constraints: 10349
36.58/36.71 c #Conflicts: 18000 | #Constraints: 11349
36.58/36.71 c INPROCESSING
36.58/36.71 c GARBAGE COLLECT
36.58/36.71 c GLOBAL bounds - >= -2577 @ 35.5074
37.89/38.03 c #Conflicts: 19000 | #Constraints: 9372
37.89/38.03 c GLOBAL bounds - >= -2577 @ 36.7904
38.28/38.46 c GLOBAL bounds - >= -2577 @ 37.2097
39.08/39.27 c GLOBAL bounds - >= -2577 @ 38.004
39.27/39.47 c GLOBAL bounds - >= -2577 @ 38.2016
39.47/39.65 c GLOBAL bounds - >= -2577 @ 38.3782
39.68/39.84 c GLOBAL bounds - >= -2577 @ 38.5686
43.06/43.26 c #Conflicts: 20000 | #Constraints: 10384
43.06/43.26 c #Conflicts: 21000 | #Constraints: 11384
43.06/43.26 c GLOBAL bounds - >= -2577 @ 41.8985
43.87/44.04 c INPROCESSING
43.87/44.04 c GARBAGE COLLECT
43.87/44.04 c GLOBAL bounds - >= -2577 @ 42.6698
44.56/44.78 c #Conflicts: 22000 | #Constraints: 9178
44.56/44.78 c GLOBAL bounds - >= -2577 @ 43.4058
52.04/52.23 c #Conflicts: 23000 | #Constraints: 10180
52.04/52.23 c #Conflicts: 24000 | #Constraints: 11180
52.04/52.23 c #Conflicts: 25000 | #Constraints: 12180
52.04/52.23 c INPROCESSING
52.04/52.23 c GARBAGE COLLECT
52.04/52.23 c GLOBAL bounds - >= -2577 @ 50.7171
52.74/52.99 c GLOBAL bounds - >= -2577 @ 51.461
53.34/53.55 c #Conflicts: 26000 | #Constraints: 9801
53.34/53.55 c GLOBAL bounds - >= -2577 @ 52.0014
57.12/57.32 c #Conflicts: 27000 | #Constraints: 10803
57.12/57.32 c GLOBAL bounds - >= -2577 @ 55.7123
57.43/57.61 c #Conflicts: 28000 | #Constraints: 11805
57.43/57.61 c GLOBAL bounds - >= -2577 @ 55.9983
58.12/58.36 c GLOBAL bounds - >= -2577 @ 56.7344
58.72/58.96 c GLOBAL bounds - >= -2577 @ 57.3264
60.92/61.17 c #Conflicts: 29000 | #Constraints: 12811
60.92/61.17 c INPROCESSING
60.92/61.17 c GARBAGE COLLECT
60.92/61.17 c GLOBAL bounds - >= -2577 @ 59.4804
61.31/61.56 c GLOBAL bounds - >= -2577 @ 59.8567
62.71/62.93 c GLOBAL bounds - >= -2577 @ 61.211
64.60/64.80 c #Conflicts: 30000 | #Constraints: 10224
64.60/64.80 c GLOBAL bounds - >= -2577 @ 63.0397
65.30/65.55 c #Conflicts: 31000 | #Constraints: 11226
65.30/65.55 c GLOBAL bounds - >= -2577 @ 63.7866
66.50/66.75 c GLOBAL bounds - >= -2577 @ 64.9629
67.80/68.06 c #Conflicts: 32000 | #Constraints: 12230
67.80/68.06 c GLOBAL bounds - >= -2577 @ 66.2484
68.29/68.58 c GLOBAL bounds - >= -2577 @ 66.7589
69.38/69.61 c GLOBAL bounds - >= -2577 @ 67.7721
69.80/70.10 c GLOBAL bounds - >= -2577 @ 68.2554
70.19/70.48 c GLOBAL bounds - >= -2577 @ 68.6238
70.69/70.97 c GLOBAL bounds - >= -2577 @ 69.1046
75.77/76.04 c #Conflicts: 33000 | #Constraints: 13242
75.77/76.04 c INPROCESSING
75.77/76.04 c GARBAGE COLLECT
75.77/76.04 c #Conflicts: 34000 | #Constraints: 10447
75.77/76.04 c #Conflicts: 35000 | #Constraints: 11447
75.77/76.04 c GLOBAL bounds - >= -2577 @ 74.0765
76.77/77.07 c #Conflicts: 36000 | #Constraints: 12449
76.77/77.07 c GLOBAL bounds - >= -2577 @ 75.0949
86.44/86.72 c #Conflicts: 37000 | #Constraints: 13451
86.44/86.72 c INPROCESSING
86.44/86.72 c GARBAGE COLLECT
86.44/86.72 c #Conflicts: 38000 | #Constraints: 10466
86.44/86.72 c #Conflicts: 39000 | #Constraints: 11466
86.44/86.72 c #Conflicts: 40000 | #Constraints: 12466
86.44/86.72 c #Conflicts: 41000 | #Constraints: 13466
86.44/86.72 c INPROCESSING
86.44/86.72 c GARBAGE COLLECT
86.44/86.72 c GLOBAL bounds - >= -2577 @ 84.5989
86.84/87.18 c #Conflicts: 42000 | #Constraints: 10279
86.84/87.18 c GLOBAL bounds - >= -2577 @ 85.0547
87.23/87.59 c GLOBAL bounds - >= -2577 @ 85.4627
87.43/87.74 c GLOBAL bounds - >= -2577 @ 85.6062
91.52/91.82 c #Conflicts: 43000 | #Constraints: 11285
91.52/91.82 c #Conflicts: 44000 | #Constraints: 12285
91.52/91.82 c #Conflicts: 45000 | #Constraints: 13285
91.52/91.82 c GLOBAL bounds - >= -2577 @ 89.6183
94.11/94.45 c #Conflicts: 46000 | #Constraints: 14287
94.11/94.45 c GLOBAL bounds - >= -2577 @ 92.2056
97.01/97.38 c INPROCESSING
97.01/97.38 c GARBAGE COLLECT
97.01/97.38 c #Conflicts: 47000 | #Constraints: 10878
97.01/97.38 c GLOBAL bounds - >= -2577 @ 95.0971
99.20/99.50 c #Conflicts: 48000 | #Constraints: 11880
99.20/99.50 c GLOBAL bounds - >= -2577 @ 97.173
101.79/102.11 c #Conflicts: 49000 | #Constraints: 12882
101.79/102.11 c GLOBAL bounds - >= -2577 @ 99.7556
102.99/103.31 c GLOBAL bounds - >= -2577 @ 100.941
107.18/107.50 c #Conflicts: 50000 | #Constraints: 13886
107.18/107.50 c #Conflicts: 51000 | #Constraints: 14886
107.18/107.50 c INPROCESSING
107.18/107.50 c GARBAGE COLLECT
107.18/107.50 c GLOBAL bounds - >= -2577 @ 105.068
111.16/111.52 c #Conflicts: 52000 | #Constraints: 11292
111.16/111.52 c #Conflicts: 53000 | #Constraints: 12292
111.16/111.52 c GLOBAL bounds - >= -2577 @ 109.026
112.56/112.98 c GLOBAL bounds - >= -2577 @ 110.462
122.23/122.66 c #Conflicts: 54000 | #Constraints: 13296
122.23/122.66 c #Conflicts: 55000 | #Constraints: 14296
122.23/122.66 c #Conflicts: 56000 | #Constraints: 15296
122.23/122.66 c INPROCESSING
122.23/122.66 c GARBAGE COLLECT
122.23/122.66 c #Conflicts: 57000 | #Constraints: 11496
122.23/122.66 c GLOBAL bounds - >= -2577 @ 120.001
124.22/124.67 c #Conflicts: 58000 | #Constraints: 12498
124.22/124.67 c GLOBAL bounds - >= -2577 @ 121.993
124.82/125.26 c GLOBAL bounds - >= -2577 @ 122.572
126.31/126.74 c #Conflicts: 59000 | #Constraints: 13502
126.31/126.74 c GLOBAL bounds - >= -2577 @ 124.032
129.81/130.24 c #Conflicts: 60000 | #Constraints: 14504
129.81/130.24 c #Conflicts: 61000 | #Constraints: 15504
129.81/130.24 c INPROCESSING
129.81/130.24 c GARBAGE COLLECT
129.81/130.24 c GLOBAL bounds - >= -2577 @ 127.463
130.50/131.00 c GLOBAL bounds - >= -2577 @ 128.211
136.29/136.75 c #Conflicts: 62000 | #Constraints: 11523
136.29/136.75 c #Conflicts: 63000 | #Constraints: 12523
136.29/136.75 c #Conflicts: 64000 | #Constraints: 13523
136.29/136.75 c GLOBAL bounds - >= -2577 @ 133.878
144.26/144.71 c #Conflicts: 65000 | #Constraints: 14525
144.26/144.71 c #Conflicts: 66000 | #Constraints: 15525
144.26/144.71 c INPROCESSING
144.26/144.71 c GARBAGE COLLECT
144.26/144.71 c #Conflicts: 67000 | #Constraints: 11333
144.26/144.71 c GLOBAL bounds - >= -2577 @ 141.679
145.76/146.21 c #Conflicts: 68000 | #Constraints: 12335
145.76/146.21 c GLOBAL bounds - >= -2577 @ 143.16
147.05/147.51 c GLOBAL bounds - >= -2577 @ 144.445
154.92/155.40 c #Conflicts: 69000 | #Constraints: 13339
154.92/155.40 c #Conflicts: 70000 | #Constraints: 14339
154.92/155.40 c #Conflicts: 71000 | #Constraints: 15339
154.92/155.40 c #Conflicts: 72000 | #Constraints: 16339
154.92/155.40 c INPROCESSING
154.92/155.40 c GARBAGE COLLECT
154.92/155.40 c GLOBAL bounds - >= -2577 @ 152.246
157.53/158.05 c #Conflicts: 73000 | #Constraints: 11960
157.53/158.05 c GLOBAL bounds - >= -2577 @ 154.87
194.51/195.15 c #Conflicts: 74000 | #Constraints: 12962
194.51/195.15 c #Conflicts: 75000 | #Constraints: 13962
194.51/195.15 c #Conflicts: 76000 | #Constraints: 14962
194.51/195.15 c #Conflicts: 77000 | #Constraints: 15962
194.51/195.15 c #Conflicts: 78000 | #Constraints: 16962
194.51/195.15 c INPROCESSING
194.51/195.15 c GARBAGE COLLECT
194.51/195.15 c #Conflicts: 79000 | #Constraints: 12360
194.51/195.15 c #Conflicts: 80000 | #Constraints: 13360
194.51/195.15 c #Conflicts: 81000 | #Constraints: 14360
194.51/195.15 c #Conflicts: 82000 | #Constraints: 15360
194.51/195.15 c #Conflicts: 83000 | #Constraints: 16360
194.51/195.15 c #Conflicts: 84000 | #Constraints: 17360
194.51/195.15 c INPROCESSING
194.51/195.15 c GARBAGE COLLECT
194.51/195.15 c #Conflicts: 85000 | #Constraints: 12565
194.51/195.15 c #Conflicts: 86000 | #Constraints: 13565
194.51/195.15 c #Conflicts: 87000 | #Constraints: 14565
194.51/195.15 c #Conflicts: 88000 | #Constraints: 15565
194.51/195.15 c #Conflicts: 89000 | #Constraints: 16565
194.51/195.15 c GLOBAL bounds - >= -2577 @ 191.459
196.99/197.63 c #Conflicts: 90000 | #Constraints: 17567
196.99/197.63 c INPROCESSING
196.99/197.63 c GARBAGE COLLECT
196.99/197.63 c GLOBAL bounds - >= -2577 @ 193.907
204.57/205.25 c #Conflicts: 91000 | #Constraints: 12577
204.57/205.25 c #Conflicts: 92000 | #Constraints: 13577
204.57/205.25 c #Conflicts: 93000 | #Constraints: 14577
204.57/205.25 c #Conflicts: 94000 | #Constraints: 15577
204.57/205.25 c #Conflicts: 95000 | #Constraints: 16577
204.57/205.25 c #Conflicts: 96000 | #Constraints: 17577
204.57/205.25 c GLOBAL bounds - >= -2577 @ 201.436
218.63/219.31 c INPROCESSING
218.63/219.31 c GARBAGE COLLECT
218.63/219.31 c #Conflicts: 97000 | #Constraints: 12383
218.63/219.31 c #Conflicts: 98000 | #Constraints: 13383
218.63/219.31 c #Conflicts: 99000 | #Constraints: 14383
218.63/219.31 c #Conflicts: 100000 | #Constraints: 15383
218.63/219.31 c #Conflicts: 101000 | #Constraints: 16383
218.63/219.31 c #Conflicts: 102000 | #Constraints: 17383
218.63/219.31 c #Conflicts: 103000 | #Constraints: 18383
218.63/219.31 c GLOBAL bounds - >= -2577 @ 215.333
236.38/237.19 c INPROCESSING
236.38/237.19 c GARBAGE COLLECT
236.38/237.19 c #Conflicts: 104000 | #Constraints: 12940
236.38/237.19 c #Conflicts: 105000 | #Constraints: 13940
236.38/237.19 c #Conflicts: 106000 | #Constraints: 14940
236.38/237.19 c #Conflicts: 107000 | #Constraints: 15940
236.38/237.19 c #Conflicts: 108000 | #Constraints: 16940
236.38/237.19 c #Conflicts: 109000 | #Constraints: 17940
236.38/237.19 c GLOBAL bounds - >= -2577 @ 233.025
240.27/241.09 c #Conflicts: 110000 | #Constraints: 18942
240.27/241.09 c INPROCESSING
240.27/241.09 c GARBAGE COLLECT
240.27/241.09 c #Conflicts: 111000 | #Constraints: 13353
240.27/241.09 c GLOBAL bounds - >= -2577 @ 236.875
256.02/256.81 c #Conflicts: 112000 | #Constraints: 14355
256.02/256.81 c #Conflicts: 113000 | #Constraints: 15355
256.02/256.81 c #Conflicts: 114000 | #Constraints: 16355
256.02/256.81 c #Conflicts: 115000 | #Constraints: 17355
256.02/256.81 c #Conflicts: 116000 | #Constraints: 18355
256.02/256.81 c #Conflicts: 117000 | #Constraints: 19355
256.02/256.81 c INPROCESSING
256.02/256.81 c GARBAGE COLLECT
256.02/256.81 c GLOBAL bounds - >= -2577 @ 252.407
267.08/267.92 c #Conflicts: 118000 | #Constraints: 13584
267.08/267.92 c #Conflicts: 119000 | #Constraints: 14584
267.08/267.92 c #Conflicts: 120000 | #Constraints: 15584
267.08/267.92 c #Conflicts: 121000 | #Constraints: 16584
267.08/267.92 c #Conflicts: 122000 | #Constraints: 17584
267.08/267.92 c GLOBAL bounds - >= -2577 @ 263.392
293.41/294.37 c #Conflicts: 123000 | #Constraints: 18586
293.41/294.37 c #Conflicts: 124000 | #Constraints: 19586
293.41/294.37 c INPROCESSING
293.41/294.37 c GARBAGE COLLECT
293.41/294.37 c #Conflicts: 125000 | #Constraints: 13610
293.41/294.37 c #Conflicts: 126000 | #Constraints: 14610
293.41/294.37 c #Conflicts: 127000 | #Constraints: 15610
293.41/294.37 c #Conflicts: 128000 | #Constraints: 16610
293.41/294.37 c #Conflicts: 129000 | #Constraints: 17610
293.41/294.37 c #Conflicts: 130000 | #Constraints: 18610
293.41/294.37 c #Conflicts: 131000 | #Constraints: 19610
293.41/294.37 c INPROCESSING
293.41/294.37 c GARBAGE COLLECT
293.41/294.37 c #Conflicts: 132000 | #Constraints: 13421
293.41/294.37 c GLOBAL bounds - >= -2577 @ 289.515
302.67/303.61 c #Conflicts: 133000 | #Constraints: 14423
302.67/303.61 c #Conflicts: 134000 | #Constraints: 15423
302.67/303.61 c #Conflicts: 135000 | #Constraints: 16423
302.67/303.61 c GLOBAL bounds - >= -2577 @ 298.667
346.97/348.01 c #Conflicts: 136000 | #Constraints: 17425
346.97/348.01 c #Conflicts: 137000 | #Constraints: 18425
346.97/348.01 c #Conflicts: 138000 | #Constraints: 19425
346.97/348.01 c #Conflicts: 139000 | #Constraints: 20425
346.97/348.01 c INPROCESSING
346.97/348.01 c GARBAGE COLLECT
346.97/348.01 c #Conflicts: 140000 | #Constraints: 14022
346.97/348.01 c #Conflicts: 141000 | #Constraints: 15022
346.97/348.01 c #Conflicts: 142000 | #Constraints: 16022
346.97/348.01 c #Conflicts: 143000 | #Constraints: 17022
346.97/348.01 c #Conflicts: 144000 | #Constraints: 18022
346.97/348.01 c #Conflicts: 145000 | #Constraints: 19022
346.97/348.01 c #Conflicts: 146000 | #Constraints: 20022
346.97/348.01 c #Conflicts: 147000 | #Constraints: 21022
346.97/348.01 c INPROCESSING
346.97/348.01 c GARBAGE COLLECT
346.97/348.01 c #Conflicts: 148000 | #Constraints: 14429
346.97/348.01 c #Conflicts: 149000 | #Constraints: 15429
346.97/348.01 c #Conflicts: 150000 | #Constraints: 16429
346.97/348.01 c #Conflicts: 151000 | #Constraints: 17429
346.97/348.01 c #Conflicts: 152000 | #Constraints: 18429
346.97/348.01 c #Conflicts: 153000 | #Constraints: 19429
346.97/348.01 c #Conflicts: 154000 | #Constraints: 20429
346.97/348.01 c GLOBAL bounds - >= -2577 @ 342.599
347.85/348.93 c GLOBAL bounds - >= -2577 @ 343.509
351.45/352.57 c #Conflicts: 155000 | #Constraints: 21433
351.45/352.57 c INPROCESSING
351.45/352.57 c GARBAGE COLLECT
351.45/352.57 c GLOBAL bounds - >= -2577 @ 347.117
356.83/357.91 c #Conflicts: 156000 | #Constraints: 14630
356.83/357.91 c #Conflicts: 157000 | #Constraints: 15630
356.83/357.91 c GLOBAL bounds - >= -2577 @ 352.407
382.66/383.87 c #Conflicts: 158000 | #Constraints: 16632
382.66/383.87 c #Conflicts: 159000 | #Constraints: 17632
382.66/383.87 c #Conflicts: 160000 | #Constraints: 18632
382.66/383.87 c #Conflicts: 161000 | #Constraints: 19632
382.66/383.87 c #Conflicts: 162000 | #Constraints: 20632
382.66/383.87 c #Conflicts: 163000 | #Constraints: 21632
382.66/383.87 c INPROCESSING
382.66/383.87 c GARBAGE COLLECT
382.66/383.87 c #Conflicts: 164000 | #Constraints: 14629
382.66/383.87 c #Conflicts: 165000 | #Constraints: 15629
382.66/383.87 c #Conflicts: 166000 | #Constraints: 16629
382.66/383.87 c #Conflicts: 167000 | #Constraints: 17629
382.66/383.87 c GLOBAL bounds - >= -2577 @ 378.038
401.09/402.32 c #Conflicts: 168000 | #Constraints: 18631
401.09/402.32 c #Conflicts: 169000 | #Constraints: 19631
401.09/402.32 c #Conflicts: 170000 | #Constraints: 20631
401.09/402.32 c #Conflicts: 171000 | #Constraints: 21631
401.09/402.32 c INPROCESSING
401.09/402.32 c GARBAGE COLLECT
401.09/402.32 c #Conflicts: 172000 | #Constraints: 14421
401.09/402.32 c #Conflicts: 173000 | #Constraints: 15421
401.09/402.32 c GLOBAL bounds - >= -2577 @ 396.337
417.76/419.01 c #Conflicts: 174000 | #Constraints: 16423
417.76/419.01 c #Conflicts: 175000 | #Constraints: 17423
417.76/419.01 c #Conflicts: 176000 | #Constraints: 18423
417.76/419.01 c #Conflicts: 177000 | #Constraints: 19423
417.76/419.01 c #Conflicts: 178000 | #Constraints: 20423
417.76/419.01 c GLOBAL bounds - >= -2577 @ 412.914
442.18/443.59 c #Conflicts: 179000 | #Constraints: 21425
442.18/443.59 c #Conflicts: 180000 | #Constraints: 22425
442.18/443.59 c INPROCESSING
442.18/443.59 c GARBAGE COLLECT
442.18/443.59 c #Conflicts: 181000 | #Constraints: 15023
442.18/443.59 c #Conflicts: 182000 | #Constraints: 16023
442.18/443.59 c #Conflicts: 183000 | #Constraints: 17023
442.18/443.59 c #Conflicts: 184000 | #Constraints: 18023
442.18/443.59 c #Conflicts: 185000 | #Constraints: 19023
442.18/443.59 c #Conflicts: 186000 | #Constraints: 20023
442.18/443.59 c #Conflicts: 187000 | #Constraints: 21023
442.18/443.59 c GLOBAL bounds - >= -2577 @ 437.176
466.80/468.21 c #Conflicts: 188000 | #Constraints: 22025
466.80/468.21 c #Conflicts: 189000 | #Constraints: 23025
466.80/468.21 c INPROCESSING
466.80/468.21 c GARBAGE COLLECT
466.80/468.21 c #Conflicts: 190000 | #Constraints: 15436
466.80/468.21 c #Conflicts: 191000 | #Constraints: 16436
466.80/468.21 c #Conflicts: 192000 | #Constraints: 17436
466.80/468.21 c #Conflicts: 193000 | #Constraints: 18436
466.80/468.21 c #Conflicts: 194000 | #Constraints: 19436
466.80/468.21 c #Conflicts: 195000 | #Constraints: 20436
466.80/468.21 c #Conflicts: 196000 | #Constraints: 21436
466.80/468.21 c #Conflicts: 197000 | #Constraints: 22436
466.80/468.21 c #Conflicts: 198000 | #Constraints: 23436
466.80/468.21 c INPROCESSING
466.80/468.21 c GARBAGE COLLECT
466.80/468.21 c GLOBAL bounds - >= -2577 @ 461.543
488.55/490.08 c #Conflicts: 199000 | #Constraints: 15639
488.55/490.08 c #Conflicts: 200000 | #Constraints: 16639
488.55/490.08 c #Conflicts: 201000 | #Constraints: 17639
488.55/490.08 c #Conflicts: 202000 | #Constraints: 18639
488.55/490.08 c #Conflicts: 203000 | #Constraints: 19639
488.55/490.08 c #Conflicts: 204000 | #Constraints: 20639
488.55/490.08 c #Conflicts: 205000 | #Constraints: 21639
488.55/490.08 c #Conflicts: 206000 | #Constraints: 22639
488.55/490.08 c #Conflicts: 207000 | #Constraints: 23639
488.55/490.08 c INPROCESSING
488.55/490.08 c GARBAGE COLLECT
488.55/490.08 c GLOBAL bounds - >= -2577 @ 483.211
531.43/533.09 c #Conflicts: 208000 | #Constraints: 15641
531.43/533.09 c #Conflicts: 209000 | #Constraints: 16641
531.43/533.09 c #Conflicts: 210000 | #Constraints: 17641
531.43/533.09 c #Conflicts: 211000 | #Constraints: 18641
531.43/533.09 c #Conflicts: 212000 | #Constraints: 19641
531.43/533.09 c #Conflicts: 213000 | #Constraints: 20641
531.43/533.09 c #Conflicts: 214000 | #Constraints: 21641
531.43/533.09 c #Conflicts: 215000 | #Constraints: 22641
531.43/533.09 c #Conflicts: 216000 | #Constraints: 23641
531.43/533.09 c INPROCESSING
531.43/533.09 c GARBAGE COLLECT
531.43/533.09 c #Conflicts: 217000 | #Constraints: 15449
531.43/533.09 c #Conflicts: 218000 | #Constraints: 16449
531.43/533.09 c #Conflicts: 219000 | #Constraints: 17449
531.43/533.09 c #Conflicts: 220000 | #Constraints: 18449
531.43/533.09 c #Conflicts: 221000 | #Constraints: 19449
531.43/533.09 c #Conflicts: 222000 | #Constraints: 20449
531.43/533.09 c #Conflicts: 223000 | #Constraints: 21449
531.43/533.09 c #Conflicts: 224000 | #Constraints: 22449
531.43/533.09 c #Conflicts: 225000 | #Constraints: 23449
531.43/533.09 c #Conflicts: 226000 | #Constraints: 24449
531.43/533.09 c INPROCESSING
531.43/533.09 c GARBAGE COLLECT
531.43/533.09 c #Conflicts: 227000 | #Constraints: 16047
531.43/533.09 c #Conflicts: 228000 | #Constraints: 17047
531.43/533.09 c #Conflicts: 229000 | #Constraints: 18047
531.43/533.09 c GLOBAL bounds - >= -2577 @ 525.557
535.42/537.01 c #Conflicts: 230000 | #Constraints: 19049
535.42/537.01 c #Conflicts: 231000 | #Constraints: 20049
535.42/537.01 c GLOBAL bounds - >= -2577 @ 529.452
549.59/551.25 c #Conflicts: 232000 | #Constraints: 21051
549.59/551.25 c #Conflicts: 233000 | #Constraints: 22051
549.59/551.25 c #Conflicts: 234000 | #Constraints: 23051
549.59/551.25 c GLOBAL bounds - >= -2577 @ 543.593
581.00/582.71 c #Conflicts: 235000 | #Constraints: 24053
581.00/582.71 c #Conflicts: 236000 | #Constraints: 25053
581.00/582.71 c INPROCESSING
581.00/582.71 c GARBAGE COLLECT
581.00/582.71 c #Conflicts: 237000 | #Constraints: 16458
581.00/582.71 c #Conflicts: 238000 | #Constraints: 17458
581.00/582.71 c #Conflicts: 239000 | #Constraints: 18458
581.00/582.71 c #Conflicts: 240000 | #Constraints: 19458
581.00/582.71 c #Conflicts: 241000 | #Constraints: 20458
581.00/582.71 c #Conflicts: 242000 | #Constraints: 21458
581.00/582.71 c #Conflicts: 243000 | #Constraints: 22458
581.00/582.71 c GLOBAL bounds - >= -2577 @ 574.76
603.63/605.42 c #Conflicts: 244000 | #Constraints: 23460
603.63/605.42 c #Conflicts: 245000 | #Constraints: 24460
603.63/605.42 c #Conflicts: 246000 | #Constraints: 25460
603.63/605.42 c INPROCESSING
603.63/605.42 c GARBAGE COLLECT
603.63/605.42 c #Conflicts: 247000 | #Constraints: 16663
603.63/605.42 c #Conflicts: 248000 | #Constraints: 17663
603.63/605.42 c #Conflicts: 249000 | #Constraints: 18663
603.63/605.42 c #Conflicts: 250000 | #Constraints: 19663
603.63/605.42 c #Conflicts: 251000 | #Constraints: 20663
603.63/605.42 c GLOBAL bounds - >= -2577 @ 597.224
629.27/631.19 c #Conflicts: 252000 | #Constraints: 21665
629.27/631.19 c #Conflicts: 253000 | #Constraints: 22665
629.27/631.19 c #Conflicts: 254000 | #Constraints: 23665
629.27/631.19 c #Conflicts: 255000 | #Constraints: 24665
629.27/631.19 c #Conflicts: 256000 | #Constraints: 25665
629.27/631.19 c INPROCESSING
629.27/631.19 c GARBAGE COLLECT
629.27/631.19 c #Conflicts: 257000 | #Constraints: 16665
629.27/631.19 c #Conflicts: 258000 | #Constraints: 17665
629.27/631.19 c GLOBAL bounds - >= -2577 @ 622.797
899.40/902.08 c #Conflicts: 259000 | #Constraints: 18667
899.40/902.08 c #Conflicts: 260000 | #Constraints: 19667
899.40/902.08 c #Conflicts: 261000 | #Constraints: 20667
899.40/902.08 c #Conflicts: 262000 | #Constraints: 21667
899.40/902.08 c #Conflicts: 263000 | #Constraints: 22667
899.40/902.08 c #Conflicts: 264000 | #Constraints: 23667
899.40/902.08 c #Conflicts: 265000 | #Constraints: 24667
899.40/902.08 c #Conflicts: 266000 | #Constraints: 25667
899.40/902.08 c INPROCESSING
899.40/902.08 c GARBAGE COLLECT
899.40/902.08 c #Conflicts: 267000 | #Constraints: 16467
899.40/902.08 c #Conflicts: 268000 | #Constraints: 17467
899.40/902.08 c #Conflicts: 269000 | #Constraints: 18467
899.40/902.08 c #Conflicts: 270000 | #Constraints: 19467
899.40/902.08 c #Conflicts: 271000 | #Constraints: 20467
899.40/902.08 c #Conflicts: 272000 | #Constraints: 21467
899.40/902.08 c #Conflicts: 273000 | #Constraints: 22467
899.40/902.08 c #Conflicts: 274000 | #Constraints: 23467
899.40/902.08 c #Conflicts: 275000 | #Constraints: 24467
899.40/902.08 c #Conflicts: 276000 | #Constraints: 25467
899.40/902.08 c #Conflicts: 277000 | #Constraints: 26467
899.40/902.08 c INPROCESSING
899.40/902.08 c GARBAGE COLLECT
899.40/902.08 c #Conflicts: 278000 | #Constraints: 17070
899.40/902.08 c #Conflicts: 279000 | #Constraints: 18070
899.40/902.08 c #Conflicts: 280000 | #Constraints: 19070
899.40/902.08 c #Conflicts: 281000 | #Constraints: 20070
899.40/902.08 c #Conflicts: 282000 | #Constraints: 21070
899.40/902.08 c #Conflicts: 283000 | #Constraints: 22070
899.40/902.08 c #Conflicts: 284000 | #Constraints: 23070
899.40/902.08 c #Conflicts: 285000 | #Constraints: 24070
899.40/902.08 c #Conflicts: 286000 | #Constraints: 25070
899.40/902.08 c #Conflicts: 287000 | #Constraints: 26070
899.40/902.08 c #Conflicts: 288000 | #Constraints: 27070
899.40/902.08 c INPROCESSING
899.40/902.08 c GARBAGE COLLECT
899.40/902.08 c #Conflicts: 289000 | #Constraints: 17486
899.40/902.08 c #Conflicts: 290000 | #Constraints: 18486
899.40/902.08 c #Conflicts: 291000 | #Constraints: 19486
899.40/902.08 c #Conflicts: 292000 | #Constraints: 20486
899.40/902.08 c #Conflicts: 293000 | #Constraints: 21486
899.40/902.08 c #Conflicts: 294000 | #Constraints: 22486
899.40/902.08 c #Conflicts: 295000 | #Constraints: 23486
899.40/902.08 c #Conflicts: 296000 | #Constraints: 24486
899.40/902.08 c #Conflicts: 297000 | #Constraints: 25486
899.40/902.08 c #Conflicts: 298000 | #Constraints: 26486
899.40/902.08 c #Conflicts: 299000 | #Constraints: 27486
899.40/902.08 c INPROCESSING
899.40/902.08 c GARBAGE COLLECT
899.40/902.08 c #Conflicts: 300000 | #Constraints: 17684
899.40/902.08 c #Conflicts: 301000 | #Constraints: 18684
899.40/902.08 c #Conflicts: 302000 | #Constraints: 19684
899.40/902.08 c #Conflicts: 303000 | #Constraints: 20684
899.40/902.08 c #Conflicts: 304000 | #Constraints: 21684
899.40/902.08 c #Conflicts: 305000 | #Constraints: 22684
899.40/902.08 c #Conflicts: 306000 | #Constraints: 23684
899.40/902.08 c #Conflicts: 307000 | #Constraints: 24684
899.40/902.08 c #Conflicts: 308000 | #Constraints: 25684
899.40/902.08 c #Conflicts: 309000 | #Constraints: 26684
899.40/902.08 c #Conflicts: 310000 | #Constraints: 27684
899.40/902.08 c INPROCESSING
899.40/902.08 c GARBAGE COLLECT
899.40/902.08 c #Conflicts: 311000 | #Constraints: 17687
899.40/902.08 c #Conflicts: 312000 | #Constraints: 18687
899.40/902.08 c #Conflicts: 313000 | #Constraints: 19687
899.40/902.08 c #Conflicts: 314000 | #Constraints: 20687
899.40/902.08 c #Conflicts: 315000 | #Constraints: 21687
899.40/902.08 c #Conflicts: 316000 | #Constraints: 22687
899.40/902.08 c #Conflicts: 317000 | #Constraints: 23687
899.40/902.08 c #Conflicts: 318000 | #Constraints: 24687
899.40/902.08 c #Conflicts: 319000 | #Constraints: 25687
899.40/902.08 c #Conflicts: 320000 | #Constraints: 26687
899.40/902.08 c #Conflicts: 321000 | #Constraints: 27687
899.40/902.08 c INPROCESSING
899.40/902.08 c GARBAGE COLLECT
899.40/902.08 c #Conflicts: 322000 | #Constraints: 17470
899.40/902.08 c #Conflicts: 323000 | #Constraints: 18470
899.40/902.08 c #Conflicts: 324000 | #Constraints: 19470
899.40/902.08 c #Conflicts: 325000 | #Constraints: 20470
899.40/902.08 c #Conflicts: 326000 | #Constraints: 21470
899.40/902.08 c #Conflicts: 327000 | #Constraints: 22470
899.40/902.08 c #Conflicts: 328000 | #Constraints: 23470
899.40/902.08 c #Conflicts: 329000 | #Constraints: 24470
899.40/902.08 c #Conflicts: 330000 | #Constraints: 25470
899.40/902.08 c #Conflicts: 331000 | #Constraints: 26470
899.40/902.08 c #Conflicts: 332000 | #Constraints: 27470
899.40/902.08 c #Conflicts: 333000 | #Constraints: 28470
1184.29/1187.73 c INPROCESSING
1184.29/1187.73 c GARBAGE COLLECT
1184.29/1187.73 c #Conflicts: 334000 | #Constraints: 18064
1184.29/1187.73 c #Conflicts: 335000 | #Constraints: 19064
1184.29/1187.73 c #Conflicts: 336000 | #Constraints: 20064
1184.29/1187.73 c #Conflicts: 337000 | #Constraints: 21064
1184.29/1187.73 c #Conflicts: 338000 | #Constraints: 22064
1184.29/1187.73 c #Conflicts: 339000 | #Constraints: 23064
1184.29/1187.73 c #Conflicts: 340000 | #Constraints: 24064
1184.29/1187.73 c #Conflicts: 341000 | #Constraints: 25064
1184.29/1187.73 c #Conflicts: 342000 | #Constraints: 26064
1184.29/1187.73 c #Conflicts: 343000 | #Constraints: 27064
1184.29/1187.73 c #Conflicts: 344000 | #Constraints: 28064
1184.29/1187.73 c #Conflicts: 345000 | #Constraints: 29064
1184.29/1187.73 c INPROCESSING
1184.29/1187.73 c GARBAGE COLLECT
1184.29/1187.73 c #Conflicts: 346000 | #Constraints: 18470
1184.29/1187.73 c #Conflicts: 347000 | #Constraints: 19470
1184.29/1187.73 c #Conflicts: 348000 | #Constraints: 20470
1184.29/1187.73 c #Conflicts: 349000 | #Constraints: 21470
1184.29/1187.73 c #Conflicts: 350000 | #Constraints: 22470
1184.29/1187.73 c #Conflicts: 351000 | #Constraints: 23470
1184.29/1187.73 c #Conflicts: 352000 | #Constraints: 24470
1184.29/1187.73 c #Conflicts: 353000 | #Constraints: 25470
1184.29/1187.73 c #Conflicts: 354000 | #Constraints: 26470
1184.29/1187.73 c #Conflicts: 355000 | #Constraints: 27470
1184.29/1187.73 c #Conflicts: 356000 | #Constraints: 28470
1184.29/1187.73 c #Conflicts: 357000 | #Constraints: 29470
1184.29/1187.73 c INPROCESSING
1184.29/1187.73 c GARBAGE COLLECT
1184.29/1187.73 c #Conflicts: 358000 | #Constraints: 18660
1184.29/1187.73 c #Conflicts: 359000 | #Constraints: 19660
1184.29/1187.73 c #Conflicts: 360000 | #Constraints: 20660
1184.29/1187.73 c #Conflicts: 361000 | #Constraints: 21660
1184.29/1187.73 c #Conflicts: 362000 | #Constraints: 22660
1184.29/1187.73 c #Conflicts: 363000 | #Constraints: 23660
1184.29/1187.73 c #Conflicts: 364000 | #Constraints: 24660
1184.29/1187.73 c #Conflicts: 365000 | #Constraints: 25660
1184.29/1187.73 c #Conflicts: 366000 | #Constraints: 26660
1184.29/1187.73 c #Conflicts: 367000 | #Constraints: 27660
1184.29/1187.73 c #Conflicts: 368000 | #Constraints: 28660
1184.29/1187.73 c #Conflicts: 369000 | #Constraints: 29660
1184.29/1187.73 c INPROCESSING
1184.29/1187.73 c GARBAGE COLLECT
1184.29/1187.73 c #Conflicts: 370000 | #Constraints: 18663
1184.29/1187.73 c #Conflicts: 371000 | #Constraints: 19663
1184.29/1187.73 c #Conflicts: 372000 | #Constraints: 20663
1184.29/1187.73 c #Conflicts: 373000 | #Constraints: 21663
1184.29/1187.73 c #Conflicts: 374000 | #Constraints: 22663
1184.29/1187.73 c #Conflicts: 375000 | #Constraints: 23663
1184.29/1187.73 c #Conflicts: 376000 | #Constraints: 24663
1184.29/1187.73 c #Conflicts: 377000 | #Constraints: 25663
1184.29/1187.73 c #Conflicts: 378000 | #Constraints: 26663
1184.29/1187.73 c #Conflicts: 379000 | #Constraints: 27663
1184.29/1187.73 c #Conflicts: 380000 | #Constraints: 28663
1184.29/1187.73 c #Conflicts: 381000 | #Constraints: 29663
1184.29/1187.73 c INPROCESSING
1184.29/1187.73 c GARBAGE COLLECT
1184.29/1187.73 c #Conflicts: 382000 | #Constraints: 18465
1184.29/1187.73 c #Conflicts: 383000 | #Constraints: 19465
1184.29/1187.73 c #Conflicts: 384000 | #Constraints: 20465
1184.29/1187.73 c #Conflicts: 385000 | #Constraints: 21465
1184.29/1187.73 c #Conflicts: 386000 | #Constraints: 22465
1184.29/1187.73 c #Conflicts: 387000 | #Constraints: 23465
1184.29/1187.73 c #Conflicts: 388000 | #Constraints: 24465
1184.29/1187.73 c #Conflicts: 389000 | #Constraints: 25465
1184.29/1187.73 c #Conflicts: 390000 | #Constraints: 26465
1184.29/1187.73 c #Conflicts: 391000 | #Constraints: 27465
1184.29/1187.73 c #Conflicts: 392000 | #Constraints: 28465
1184.29/1187.73 c #Conflicts: 393000 | #Constraints: 29465
1184.29/1187.73 c #Conflicts: 394000 | #Constraints: 30465
1184.29/1187.73 c INPROCESSING
1184.29/1187.73 c GARBAGE COLLECT
1184.29/1187.73 c #Conflicts: 395000 | #Constraints: 19071
1184.29/1187.73 c #Conflicts: 396000 | #Constraints: 20071
1184.29/1187.73 c #Conflicts: 397000 | #Constraints: 21071
1184.29/1187.73 c #Conflicts: 398000 | #Constraints: 22071
1184.29/1187.73 c #Conflicts: 399000 | #Constraints: 23071
1184.29/1187.73 c #Conflicts: 400000 | #Constraints: 24071
1184.29/1187.73 c GLOBAL bounds - >= -2577 @ 1175.52
1233.15/1236.76 c #Conflicts: 401000 | #Constraints: 25073
1233.15/1236.76 c #Conflicts: 402000 | #Constraints: 26073
1233.15/1236.76 c #Conflicts: 403000 | #Constraints: 27073
1233.15/1236.76 c #Conflicts: 404000 | #Constraints: 28073
1233.15/1236.76 c #Conflicts: 405000 | #Constraints: 29073
1233.15/1236.76 c #Conflicts: 406000 | #Constraints: 30073
1233.15/1236.76 c #Conflicts: 407000 | #Constraints: 31073
1233.15/1236.76 c INPROCESSING
1233.15/1236.76 c GARBAGE COLLECT
1233.15/1236.76 c #Conflicts: 408000 | #Constraints: 19481
1233.15/1236.76 c #Conflicts: 409000 | #Constraints: 20481
1233.15/1236.76 c GLOBAL bounds - >= -2577 @ 1224.23
1294.59/1298.32 c #Conflicts: 410000 | #Constraints: 21483
1294.59/1298.32 c #Conflicts: 411000 | #Constraints: 22483
1294.59/1298.32 c #Conflicts: 412000 | #Constraints: 23483
1294.59/1298.32 c #Conflicts: 413000 | #Constraints: 24483
1294.59/1298.32 c #Conflicts: 414000 | #Constraints: 25483
1294.59/1298.32 c #Conflicts: 415000 | #Constraints: 26483
1294.59/1298.32 c #Conflicts: 416000 | #Constraints: 27483
1294.59/1298.32 c #Conflicts: 417000 | #Constraints: 28483
1294.59/1298.32 c #Conflicts: 418000 | #Constraints: 29483
1294.59/1298.32 c #Conflicts: 419000 | #Constraints: 30483
1294.59/1298.32 c #Conflicts: 420000 | #Constraints: 31483
1294.59/1298.32 c INPROCESSING
1294.59/1298.32 c GARBAGE COLLECT
1294.59/1298.32 c #Conflicts: 421000 | #Constraints: 19677
1294.59/1298.32 c #Conflicts: 422000 | #Constraints: 20677
1294.59/1298.32 c #Conflicts: 423000 | #Constraints: 21677
1294.59/1298.32 c #Conflicts: 424000 | #Constraints: 22677
1294.59/1298.32 c #Conflicts: 425000 | #Constraints: 23677
1294.59/1298.32 c #Conflicts: 426000 | #Constraints: 24677
1294.59/1298.32 c #Conflicts: 427000 | #Constraints: 25677
1294.59/1298.32 c #Conflicts: 428000 | #Constraints: 26677
1294.59/1298.32 c #Conflicts: 429000 | #Constraints: 27677
1294.59/1298.32 c #Conflicts: 430000 | #Constraints: 28677
1294.59/1298.32 c #Conflicts: 431000 | #Constraints: 29677
1294.59/1298.32 c #Conflicts: 432000 | #Constraints: 30677
1294.59/1298.32 c #Conflicts: 433000 | #Constraints: 31677
1294.59/1298.32 c INPROCESSING
1294.59/1298.32 c GARBAGE COLLECT
1294.59/1298.32 c #Conflicts: 434000 | #Constraints: 19665
1294.59/1298.32 c GLOBAL bounds - >= -2577 @ 1285.37
1468.80/1473.01 c #Conflicts: 435000 | #Constraints: 20667
1468.80/1473.01 c #Conflicts: 436000 | #Constraints: 21667
1468.80/1473.01 c #Conflicts: 437000 | #Constraints: 22667
1468.80/1473.01 c #Conflicts: 438000 | #Constraints: 23667
1468.80/1473.01 c #Conflicts: 439000 | #Constraints: 24667
1468.80/1473.01 c #Conflicts: 440000 | #Constraints: 25667
1468.80/1473.01 c #Conflicts: 441000 | #Constraints: 26667
1468.80/1473.01 c #Conflicts: 442000 | #Constraints: 27667
1468.80/1473.01 c #Conflicts: 443000 | #Constraints: 28667
1468.80/1473.01 c #Conflicts: 444000 | #Constraints: 29667
1468.80/1473.01 c #Conflicts: 445000 | #Constraints: 30667
1468.80/1473.01 c #Conflicts: 446000 | #Constraints: 31667
1468.80/1473.01 c INPROCESSING
1468.80/1473.01 c GARBAGE COLLECT
1468.80/1473.01 c #Conflicts: 447000 | #Constraints: 19484
1468.80/1473.01 c #Conflicts: 448000 | #Constraints: 20484
1468.80/1473.01 c #Conflicts: 449000 | #Constraints: 21484
1468.80/1473.01 c #Conflicts: 450000 | #Constraints: 22484
1468.80/1473.01 c #Conflicts: 451000 | #Constraints: 23484
1468.80/1473.01 c #Conflicts: 452000 | #Constraints: 24484
1468.80/1473.01 c #Conflicts: 453000 | #Constraints: 25484
1468.80/1473.01 c #Conflicts: 454000 | #Constraints: 26484
1468.80/1473.01 c #Conflicts: 455000 | #Constraints: 27484
1468.80/1473.01 c #Conflicts: 456000 | #Constraints: 28484
1468.80/1473.01 c #Conflicts: 457000 | #Constraints: 29484
1468.80/1473.01 c #Conflicts: 458000 | #Constraints: 30484
1468.80/1473.01 c #Conflicts: 459000 | #Constraints: 31484
1468.80/1473.01 c #Conflicts: 460000 | #Constraints: 32484
1468.80/1473.01 c INPROCESSING
1468.80/1473.01 c GARBAGE COLLECT
1468.80/1473.01 c #Conflicts: 461000 | #Constraints: 20089
1468.80/1473.01 c #Conflicts: 462000 | #Constraints: 21089
1468.80/1473.01 c #Conflicts: 463000 | #Constraints: 22089
1468.80/1473.01 c #Conflicts: 464000 | #Constraints: 23089
1468.80/1473.01 c #Conflicts: 465000 | #Constraints: 24089
1468.80/1473.01 c #Conflicts: 466000 | #Constraints: 25089
1468.80/1473.01 c #Conflicts: 467000 | #Constraints: 26089
1468.80/1473.01 c #Conflicts: 468000 | #Constraints: 27089
1468.80/1473.01 c #Conflicts: 469000 | #Constraints: 28089
1468.80/1473.01 c #Conflicts: 470000 | #Constraints: 29089
1468.80/1473.01 c #Conflicts: 471000 | #Constraints: 30089
1468.80/1473.01 c #Conflicts: 472000 | #Constraints: 31089
1468.80/1473.01 c #Conflicts: 473000 | #Constraints: 32089
1468.80/1473.01 c #Conflicts: 474000 | #Constraints: 33089
1468.80/1473.01 c INPROCESSING
1468.80/1473.01 c GARBAGE COLLECT
1468.80/1473.01 c #Conflicts: 475000 | #Constraints: 20492
1468.80/1473.01 c #Conflicts: 476000 | #Constraints: 21492
1468.80/1473.01 c #Conflicts: 477000 | #Constraints: 22492
1468.80/1473.01 c #Conflicts: 478000 | #Constraints: 23492
1468.80/1473.01 c #Conflicts: 479000 | #Constraints: 24492
1468.80/1473.01 c #Conflicts: 480000 | #Constraints: 25492
1468.80/1473.01 c #Conflicts: 481000 | #Constraints: 26492
1468.80/1473.01 c #Conflicts: 482000 | #Constraints: 27492
1468.80/1473.01 c #Conflicts: 483000 | #Constraints: 28492
1468.80/1473.01 c #Conflicts: 484000 | #Constraints: 29492
1468.80/1473.01 c #Conflicts: 485000 | #Constraints: 30492
1468.80/1473.01 c #Conflicts: 486000 | #Constraints: 31492
1468.80/1473.01 c #Conflicts: 487000 | #Constraints: 32492
1468.80/1473.01 c #Conflicts: 488000 | #Constraints: 33492
1468.80/1473.01 c INPROCESSING
1468.80/1473.01 c GARBAGE COLLECT
1468.80/1473.01 c GLOBAL bounds - >= -2577 @ 1459.03
1687.42/1692.29 c #Conflicts: 489000 | #Constraints: 20701
1687.42/1692.29 c #Conflicts: 490000 | #Constraints: 21701
1687.42/1692.29 c #Conflicts: 491000 | #Constraints: 22701
1687.42/1692.29 c #Conflicts: 492000 | #Constraints: 23701
1687.42/1692.29 c #Conflicts: 493000 | #Constraints: 24701
1687.42/1692.29 c #Conflicts: 494000 | #Constraints: 25701
1687.42/1692.29 c #Conflicts: 495000 | #Constraints: 26701
1687.42/1692.29 c #Conflicts: 496000 | #Constraints: 27701
1687.42/1692.29 c #Conflicts: 497000 | #Constraints: 28701
1687.42/1692.29 c #Conflicts: 498000 | #Constraints: 29701
1687.42/1692.29 c #Conflicts: 499000 | #Constraints: 30701
1687.42/1692.29 c #Conflicts: 500000 | #Constraints: 31701
1687.42/1692.29 c #Conflicts: 501000 | #Constraints: 32701
1687.42/1692.29 c #Conflicts: 502000 | #Constraints: 33701
1687.42/1692.29 c INPROCESSING
1687.42/1692.29 c GARBAGE COLLECT
1687.42/1692.29 c #Conflicts: 503000 | #Constraints: 20697
1687.42/1692.29 c #Conflicts: 504000 | #Constraints: 21697
1687.42/1692.29 c #Conflicts: 505000 | #Constraints: 22697
1687.42/1692.29 c #Conflicts: 506000 | #Constraints: 23697
1687.42/1692.29 c #Conflicts: 507000 | #Constraints: 24697
1687.42/1692.29 c #Conflicts: 508000 | #Constraints: 25697
1687.42/1692.29 c #Conflicts: 509000 | #Constraints: 26697
1687.42/1692.29 c #Conflicts: 510000 | #Constraints: 27697
1687.42/1692.29 c #Conflicts: 511000 | #Constraints: 28697
1687.42/1692.29 c #Conflicts: 512000 | #Constraints: 29697
1687.42/1692.29 c #Conflicts: 513000 | #Constraints: 30697
1687.42/1692.29 c #Conflicts: 514000 | #Constraints: 31697
1687.42/1692.29 c #Conflicts: 515000 | #Constraints: 32697
1687.42/1692.29 c #Conflicts: 516000 | #Constraints: 33697
1687.42/1692.29 c INPROCESSING
1687.42/1692.29 c GARBAGE COLLECT
1687.42/1692.29 c #Conflicts: 517000 | #Constraints: 20496
1687.42/1692.29 c #Conflicts: 518000 | #Constraints: 21496
1687.42/1692.29 c #Conflicts: 519000 | #Constraints: 22496
1687.42/1692.29 c #Conflicts: 520000 | #Constraints: 23496
1687.42/1692.29 c #Conflicts: 521000 | #Constraints: 24496
1687.42/1692.29 c #Conflicts: 522000 | #Constraints: 25496
1687.42/1692.29 c #Conflicts: 523000 | #Constraints: 26496
1687.42/1692.29 c #Conflicts: 524000 | #Constraints: 27496
1687.42/1692.29 c #Conflicts: 525000 | #Constraints: 28496
1687.42/1692.29 c #Conflicts: 526000 | #Constraints: 29496
1687.42/1692.29 c #Conflicts: 527000 | #Constraints: 30496
1687.42/1692.29 c #Conflicts: 528000 | #Constraints: 31496
1687.42/1692.29 c #Conflicts: 529000 | #Constraints: 32496
1687.42/1692.29 c #Conflicts: 530000 | #Constraints: 33496
1687.42/1692.29 c #Conflicts: 531000 | #Constraints: 34496
1687.42/1692.29 c INPROCESSING
1687.42/1692.29 c GARBAGE COLLECT
1687.42/1692.29 c #Conflicts: 532000 | #Constraints: 21100
1687.42/1692.29 c #Conflicts: 533000 | #Constraints: 22100
1687.42/1692.29 c #Conflicts: 534000 | #Constraints: 23100
1687.42/1692.29 c #Conflicts: 535000 | #Constraints: 24100
1687.42/1692.29 c #Conflicts: 536000 | #Constraints: 25100
1687.42/1692.29 c #Conflicts: 537000 | #Constraints: 26100
1687.42/1692.29 c #Conflicts: 538000 | #Constraints: 27100
1687.42/1692.29 c #Conflicts: 539000 | #Constraints: 28100
1687.42/1692.29 c #Conflicts: 540000 | #Constraints: 29100
1687.42/1692.29 c #Conflicts: 541000 | #Constraints: 30100
1687.42/1692.29 c #Conflicts: 542000 | #Constraints: 31100
1687.42/1692.29 c #Conflicts: 543000 | #Constraints: 32100
1687.42/1692.29 c #Conflicts: 544000 | #Constraints: 33100
1687.42/1692.29 c #Conflicts: 545000 | #Constraints: 34100
1687.42/1692.29 c #Conflicts: 546000 | #Constraints: 35100
1687.42/1692.29 c INPROCESSING
1687.42/1692.29 c GARBAGE COLLECT
1687.42/1692.29 c #Conflicts: 547000 | #Constraints: 21488
1687.42/1692.29 c GLOBAL bounds - >= -2577 @ 1677.04
1864.27/1869.58 c #Conflicts: 548000 | #Constraints: 22490
1864.27/1869.58 c #Conflicts: 549000 | #Constraints: 23490
1864.27/1869.58 c #Conflicts: 550000 | #Constraints: 24490
1864.27/1869.58 c #Conflicts: 551000 | #Constraints: 25490
1864.27/1869.58 c #Conflicts: 552000 | #Constraints: 26490
1864.27/1869.58 c #Conflicts: 553000 | #Constraints: 27490
1864.27/1869.58 c #Conflicts: 554000 | #Constraints: 28490
1864.27/1869.58 c #Conflicts: 555000 | #Constraints: 29490
1864.27/1869.58 c #Conflicts: 556000 | #Constraints: 30490
1864.27/1869.58 c #Conflicts: 557000 | #Constraints: 31490
1864.27/1869.58 c #Conflicts: 558000 | #Constraints: 32490
1864.27/1869.58 c #Conflicts: 559000 | #Constraints: 33490
1864.27/1869.58 c #Conflicts: 560000 | #Constraints: 34490
1864.27/1869.58 c #Conflicts: 561000 | #Constraints: 35490
1864.27/1869.58 c INPROCESSING
1864.27/1869.58 c GARBAGE COLLECT
1864.27/1869.58 c #Conflicts: 562000 | #Constraints: 21694
1864.27/1869.58 c #Conflicts: 563000 | #Constraints: 22694
1864.27/1869.58 c #Conflicts: 564000 | #Constraints: 23694
1864.27/1869.58 c #Conflicts: 565000 | #Constraints: 24694
1864.27/1869.58 c #Conflicts: 566000 | #Constraints: 25694
1864.27/1869.58 c #Conflicts: 567000 | #Constraints: 26694
1864.27/1869.58 c #Conflicts: 568000 | #Constraints: 27694
1864.27/1869.58 c #Conflicts: 569000 | #Constraints: 28694
1864.27/1869.58 c #Conflicts: 570000 | #Constraints: 29694
1864.27/1869.58 c #Conflicts: 571000 | #Constraints: 30694
1864.27/1869.58 c #Conflicts: 572000 | #Constraints: 31694
1864.27/1869.58 c #Conflicts: 573000 | #Constraints: 32694
1864.27/1869.58 c #Conflicts: 574000 | #Constraints: 33694
1864.27/1869.58 c #Conflicts: 575000 | #Constraints: 34694
1864.27/1869.58 c #Conflicts: 576000 | #Constraints: 35694
1864.27/1869.58 c INPROCESSING
1864.27/1869.58 c GARBAGE COLLECT
1864.27/1869.58 c #Conflicts: 577000 | #Constraints: 21690
1864.27/1869.58 c #Conflicts: 578000 | #Constraints: 22690
1864.27/1869.58 c #Conflicts: 579000 | #Constraints: 23690
1864.27/1869.58 c #Conflicts: 580000 | #Constraints: 24690
1864.27/1869.58 c #Conflicts: 581000 | #Constraints: 25690
1864.27/1869.58 c #Conflicts: 582000 | #Constraints: 26690
1864.27/1869.58 c #Conflicts: 583000 | #Constraints: 27690
1864.27/1869.58 c #Conflicts: 584000 | #Constraints: 28690
1864.27/1869.58 c #Conflicts: 585000 | #Constraints: 29690
1864.27/1869.58 c #Conflicts: 586000 | #Constraints: 30690
1864.27/1869.58 c #Conflicts: 587000 | #Constraints: 31690
1864.27/1869.58 c #Conflicts: 588000 | #Constraints: 32690
1864.27/1869.58 c #Conflicts: 589000 | #Constraints: 33690
1864.27/1869.58 c GLOBAL bounds - >= -2577 @ 1853.27
2208.47/2214.61 c #Conflicts: 590000 | #Constraints: 34692
2208.47/2214.61 c #Conflicts: 591000 | #Constraints: 35692
2208.47/2214.61 c INPROCESSING
2208.47/2214.61 c GARBAGE COLLECT
2208.47/2214.61 c #Conflicts: 592000 | #Constraints: 21496
2208.47/2214.61 c #Conflicts: 593000 | #Constraints: 22496
2208.47/2214.61 c #Conflicts: 594000 | #Constraints: 23496
2208.47/2214.61 c #Conflicts: 595000 | #Constraints: 24496
2208.47/2214.61 c #Conflicts: 596000 | #Constraints: 25496
2208.47/2214.61 c #Conflicts: 597000 | #Constraints: 26496
2208.47/2214.61 c #Conflicts: 598000 | #Constraints: 27496
2208.47/2214.61 c #Conflicts: 599000 | #Constraints: 28496
2208.47/2214.61 c #Conflicts: 600000 | #Constraints: 29496
2208.47/2214.61 c #Conflicts: 601000 | #Constraints: 30496
2208.47/2214.61 c #Conflicts: 602000 | #Constraints: 31496
2208.47/2214.61 c #Conflicts: 603000 | #Constraints: 32496
2208.47/2214.61 c #Conflicts: 604000 | #Constraints: 33496
2208.47/2214.61 c #Conflicts: 605000 | #Constraints: 34496
2208.47/2214.61 c #Conflicts: 606000 | #Constraints: 35496
2208.47/2214.61 c #Conflicts: 607000 | #Constraints: 36496
2208.47/2214.61 c INPROCESSING
2208.47/2214.61 c GARBAGE COLLECT
2208.47/2214.61 c #Conflicts: 608000 | #Constraints: 22093
2208.47/2214.61 c #Conflicts: 609000 | #Constraints: 23093
2208.47/2214.61 c #Conflicts: 610000 | #Constraints: 24093
2208.47/2214.61 c #Conflicts: 611000 | #Constraints: 25093
2208.47/2214.61 c #Conflicts: 612000 | #Constraints: 26093
2208.47/2214.61 c #Conflicts: 613000 | #Constraints: 27093
2208.47/2214.61 c #Conflicts: 614000 | #Constraints: 28093
2208.47/2214.61 c #Conflicts: 615000 | #Constraints: 29093
2208.47/2214.61 c #Conflicts: 616000 | #Constraints: 30093
2208.47/2214.61 c #Conflicts: 617000 | #Constraints: 31093
2208.47/2214.61 c #Conflicts: 618000 | #Constraints: 32093
2208.47/2214.61 c #Conflicts: 619000 | #Constraints: 33093
2208.47/2214.61 c #Conflicts: 620000 | #Constraints: 34093
2208.47/2214.61 c #Conflicts: 621000 | #Constraints: 35093
2208.47/2214.61 c #Conflicts: 622000 | #Constraints: 36093
2208.47/2214.61 c #Conflicts: 623000 | #Constraints: 37093
2208.47/2214.61 c INPROCESSING
2208.47/2214.61 c GARBAGE COLLECT
2208.47/2214.61 c #Conflicts: 624000 | #Constraints: 22490
2208.47/2214.61 c #Conflicts: 625000 | #Constraints: 23490
2208.47/2214.61 c #Conflicts: 626000 | #Constraints: 24490
2208.47/2214.61 c #Conflicts: 627000 | #Constraints: 25490
2208.47/2214.61 c #Conflicts: 628000 | #Constraints: 26490
2208.47/2214.61 c #Conflicts: 629000 | #Constraints: 27490
2208.47/2214.61 c #Conflicts: 630000 | #Constraints: 28490
2208.47/2214.61 c #Conflicts: 631000 | #Constraints: 29490
2208.47/2214.61 c #Conflicts: 632000 | #Constraints: 30490
2208.47/2214.61 c #Conflicts: 633000 | #Constraints: 31490
2208.47/2214.61 c #Conflicts: 634000 | #Constraints: 32490
2208.47/2214.61 c #Conflicts: 635000 | #Constraints: 33490
2208.47/2214.61 c #Conflicts: 636000 | #Constraints: 34490
2208.47/2214.61 c #Conflicts: 637000 | #Constraints: 35490
2208.47/2214.61 c #Conflicts: 638000 | #Constraints: 36490
2208.47/2214.61 c #Conflicts: 639000 | #Constraints: 37490
2208.47/2214.61 c INPROCESSING
2208.47/2214.61 c GARBAGE COLLECT
2208.47/2214.61 c #Conflicts: 640000 | #Constraints: 22688
2208.47/2214.61 c #Conflicts: 641000 | #Constraints: 23688
2208.47/2214.61 c #Conflicts: 642000 | #Constraints: 24688
2208.47/2214.61 c #Conflicts: 643000 | #Constraints: 25688
2208.47/2214.61 c #Conflicts: 644000 | #Constraints: 26688
2208.47/2214.61 c #Conflicts: 645000 | #Constraints: 27688
2208.47/2214.61 c #Conflicts: 646000 | #Constraints: 28688
2208.47/2214.61 c #Conflicts: 647000 | #Constraints: 29688
2208.47/2214.61 c #Conflicts: 648000 | #Constraints: 30688
2208.47/2214.61 c #Conflicts: 649000 | #Constraints: 31688
2208.47/2214.61 c #Conflicts: 650000 | #Constraints: 32688
2208.47/2214.61 c #Conflicts: 651000 | #Constraints: 33688
2208.47/2214.61 c #Conflicts: 652000 | #Constraints: 34688
2208.47/2214.61 c #Conflicts: 653000 | #Constraints: 35688
2208.47/2214.61 c #Conflicts: 654000 | #Constraints: 36688
2208.47/2214.61 c #Conflicts: 655000 | #Constraints: 37688
2208.47/2214.61 c INPROCESSING
2208.47/2214.61 c GARBAGE COLLECT
2208.47/2214.61 c #Conflicts: 656000 | #Constraints: 22693
2208.47/2214.61 c #Conflicts: 657000 | #Constraints: 23693
2208.47/2214.61 c #Conflicts: 658000 | #Constraints: 24693
2208.47/2214.61 c #Conflicts: 659000 | #Constraints: 25693
2208.47/2214.61 c #Conflicts: 660000 | #Constraints: 26693
2208.47/2214.61 c #Conflicts: 661000 | #Constraints: 27693
2208.47/2214.61 c #Conflicts: 662000 | #Constraints: 28693
2208.47/2214.61 c #Conflicts: 663000 | #Constraints: 29693
2208.47/2214.61 c #Conflicts: 664000 | #Constraints: 30693
2208.47/2214.61 c #Conflicts: 665000 | #Constraints: 31693
2375.13/2381.75 c #Conflicts: 666000 | #Constraints: 32693
2375.13/2381.75 c #Conflicts: 667000 | #Constraints: 33693
2375.13/2381.75 c #Conflicts: 668000 | #Constraints: 34693
2375.13/2381.75 c #Conflicts: 669000 | #Constraints: 35693
2375.13/2381.75 c #Conflicts: 670000 | #Constraints: 36693
2375.13/2381.75 c #Conflicts: 671000 | #Constraints: 37693
2375.13/2381.75 c INPROCESSING
2375.13/2381.75 c GARBAGE COLLECT
2375.13/2381.75 c #Conflicts: 672000 | #Constraints: 22484
2375.13/2381.75 c #Conflicts: 673000 | #Constraints: 23484
2375.13/2381.75 c #Conflicts: 674000 | #Constraints: 24484
2375.13/2381.75 c #Conflicts: 675000 | #Constraints: 25484
2375.13/2381.75 c #Conflicts: 676000 | #Constraints: 26484
2375.13/2381.75 c #Conflicts: 677000 | #Constraints: 27484
2375.13/2381.75 c #Conflicts: 678000 | #Constraints: 28484
2375.13/2381.75 c #Conflicts: 679000 | #Constraints: 29484
2375.13/2381.75 c #Conflicts: 680000 | #Constraints: 30484
2375.13/2381.75 c #Conflicts: 681000 | #Constraints: 31484
2375.13/2381.75 c #Conflicts: 682000 | #Constraints: 32484
2375.13/2381.75 c #Conflicts: 683000 | #Constraints: 33484
2375.13/2381.75 c #Conflicts: 684000 | #Constraints: 34484
2375.13/2381.75 c #Conflicts: 685000 | #Constraints: 35484
2375.13/2381.75 c #Conflicts: 686000 | #Constraints: 36484
2375.13/2381.75 c #Conflicts: 687000 | #Constraints: 37484
2375.13/2381.75 c #Conflicts: 688000 | #Constraints: 38484
2375.13/2381.75 c INPROCESSING
2375.13/2381.75 c GARBAGE COLLECT
2375.13/2381.75 c #Conflicts: 689000 | #Constraints: 23079
2375.13/2381.75 c #Conflicts: 690000 | #Constraints: 24079
2375.13/2381.75 c #Conflicts: 691000 | #Constraints: 25079
2375.13/2381.75 c #Conflicts: 692000 | #Constraints: 26079
2375.13/2381.75 c #Conflicts: 693000 | #Constraints: 27079
2375.13/2381.75 c #Conflicts: 694000 | #Constraints: 28079
2375.13/2381.75 c #Conflicts: 695000 | #Constraints: 29079
2375.13/2381.75 c #Conflicts: 696000 | #Constraints: 30079
2375.13/2381.75 c GLOBAL bounds - >= -2577 @ 2362.55
2563.74/2570.82 c #Conflicts: 697000 | #Constraints: 31081
2563.74/2570.82 c #Conflicts: 698000 | #Constraints: 32081
2563.74/2570.82 c #Conflicts: 699000 | #Constraints: 33081
2563.74/2570.82 c #Conflicts: 700000 | #Constraints: 34081
2563.74/2570.82 c #Conflicts: 701000 | #Constraints: 35081
2563.74/2570.82 c #Conflicts: 702000 | #Constraints: 36081
2563.74/2570.82 c #Conflicts: 703000 | #Constraints: 37081
2563.74/2570.82 c #Conflicts: 704000 | #Constraints: 38081
2563.74/2570.82 c #Conflicts: 705000 | #Constraints: 39081
2563.74/2570.82 c INPROCESSING
2563.74/2570.82 c GARBAGE COLLECT
2563.74/2570.82 c #Conflicts: 706000 | #Constraints: 23495
2563.74/2570.82 c #Conflicts: 707000 | #Constraints: 24495
2563.74/2570.82 c #Conflicts: 708000 | #Constraints: 25495
2563.74/2570.82 c #Conflicts: 709000 | #Constraints: 26495
2563.74/2570.82 c #Conflicts: 710000 | #Constraints: 27495
2563.74/2570.82 c #Conflicts: 711000 | #Constraints: 28495
2563.74/2570.82 c #Conflicts: 712000 | #Constraints: 29495
2563.74/2570.82 c #Conflicts: 713000 | #Constraints: 30495
2563.74/2570.82 c #Conflicts: 714000 | #Constraints: 31495
2563.74/2570.82 c #Conflicts: 715000 | #Constraints: 32495
2563.74/2570.82 c #Conflicts: 716000 | #Constraints: 33495
2563.74/2570.82 c #Conflicts: 717000 | #Constraints: 34495
2563.74/2570.82 c #Conflicts: 718000 | #Constraints: 35495
2563.74/2570.82 c #Conflicts: 719000 | #Constraints: 36495
2563.74/2570.82 c #Conflicts: 720000 | #Constraints: 37495
2563.74/2570.82 c #Conflicts: 721000 | #Constraints: 38495
2563.74/2570.82 c #Conflicts: 722000 | #Constraints: 39495
2563.74/2570.82 c INPROCESSING
2563.74/2570.82 c GARBAGE COLLECT
2563.74/2570.82 c #Conflicts: 723000 | #Constraints: 23697
2563.74/2570.82 c #Conflicts: 724000 | #Constraints: 24697
2563.74/2570.82 c #Conflicts: 725000 | #Constraints: 25697
2563.74/2570.82 c #Conflicts: 726000 | #Constraints: 26697
2563.74/2570.82 c #Conflicts: 727000 | #Constraints: 27697
2563.74/2570.82 c #Conflicts: 728000 | #Constraints: 28697
2563.74/2570.82 c #Conflicts: 729000 | #Constraints: 29697
2563.74/2570.82 c #Conflicts: 730000 | #Constraints: 30697
2563.74/2570.82 c #Conflicts: 731000 | #Constraints: 31697
2563.74/2570.82 c #Conflicts: 732000 | #Constraints: 32697
2563.74/2570.82 c #Conflicts: 733000 | #Constraints: 33697
2563.74/2570.82 c #Conflicts: 734000 | #Constraints: 34697
2563.74/2570.82 c #Conflicts: 735000 | #Constraints: 35697
2563.74/2570.82 c #Conflicts: 736000 | #Constraints: 36697
2563.74/2570.82 c #Conflicts: 737000 | #Constraints: 37697
2563.74/2570.82 c #Conflicts: 738000 | #Constraints: 38697
2563.74/2570.82 c #Conflicts: 739000 | #Constraints: 39697
2563.74/2570.82 c INPROCESSING
2563.74/2570.82 c GARBAGE COLLECT
2563.74/2570.82 c #Conflicts: 740000 | #Constraints: 23701
2563.74/2570.82 c #Conflicts: 741000 | #Constraints: 24701
2563.74/2570.82 c #Conflicts: 742000 | #Constraints: 25701
2563.74/2570.82 c #Conflicts: 743000 | #Constraints: 26701
2563.74/2570.82 c #Conflicts: 744000 | #Constraints: 27701
2563.74/2570.82 c GLOBAL bounds - >= -2577 @ 2550.56
2661.68/2669.08 c #Conflicts: 745000 | #Constraints: 28703
2661.68/2669.08 c #Conflicts: 746000 | #Constraints: 29703
2661.68/2669.08 c #Conflicts: 747000 | #Constraints: 30703
2661.68/2669.08 c #Conflicts: 748000 | #Constraints: 31703
2661.68/2669.08 c #Conflicts: 749000 | #Constraints: 32703
2661.68/2669.08 c #Conflicts: 750000 | #Constraints: 33703
2661.68/2669.08 c #Conflicts: 751000 | #Constraints: 34703
2661.68/2669.08 c #Conflicts: 752000 | #Constraints: 35703
2661.68/2669.08 c #Conflicts: 753000 | #Constraints: 36703
2661.68/2669.08 c #Conflicts: 754000 | #Constraints: 37703
2661.68/2669.08 c #Conflicts: 755000 | #Constraints: 38703
2661.68/2669.08 c #Conflicts: 756000 | #Constraints: 39703
2661.68/2669.08 c INPROCESSING
2661.68/2669.08 c GARBAGE COLLECT
2661.68/2669.08 c #Conflicts: 757000 | #Constraints: 23475
2661.68/2669.08 c #Conflicts: 758000 | #Constraints: 24475
2661.68/2669.08 c #Conflicts: 759000 | #Constraints: 25475
2661.68/2669.08 c #Conflicts: 760000 | #Constraints: 26475
2661.68/2669.08 c #Conflicts: 761000 | #Constraints: 27475
2661.68/2669.08 c #Conflicts: 762000 | #Constraints: 28475
2661.68/2669.08 c #Conflicts: 763000 | #Constraints: 29475
2661.68/2669.08 c #Conflicts: 764000 | #Constraints: 30475
2661.68/2669.08 c #Conflicts: 765000 | #Constraints: 31475
2661.68/2669.08 c GLOBAL bounds - >= -2577 @ 2648.21
2941.94/2950.06 c #Conflicts: 766000 | #Constraints: 32477
2941.94/2950.06 c #Conflicts: 767000 | #Constraints: 33477
2941.94/2950.06 c #Conflicts: 768000 | #Constraints: 34477
2941.94/2950.06 c #Conflicts: 769000 | #Constraints: 35477
2941.94/2950.06 c #Conflicts: 770000 | #Constraints: 36477
2941.94/2950.06 c #Conflicts: 771000 | #Constraints: 37477
2941.94/2950.06 c #Conflicts: 772000 | #Constraints: 38477
2941.94/2950.06 c #Conflicts: 773000 | #Constraints: 39477
2941.94/2950.06 c #Conflicts: 774000 | #Constraints: 40477
2941.94/2950.06 c INPROCESSING
2941.94/2950.06 c GARBAGE COLLECT
2941.94/2950.06 c #Conflicts: 775000 | #Constraints: 24074
2941.94/2950.06 c #Conflicts: 776000 | #Constraints: 25074
2941.94/2950.06 c #Conflicts: 777000 | #Constraints: 26074
2941.94/2950.06 c #Conflicts: 778000 | #Constraints: 27074
2941.94/2950.06 c #Conflicts: 779000 | #Constraints: 28074
2941.94/2950.06 c #Conflicts: 780000 | #Constraints: 29074
2941.94/2950.06 c #Conflicts: 781000 | #Constraints: 30074
2941.94/2950.06 c #Conflicts: 782000 | #Constraints: 31074
2941.94/2950.06 c #Conflicts: 783000 | #Constraints: 32074
2941.94/2950.06 c #Conflicts: 784000 | #Constraints: 33074
2941.94/2950.06 c #Conflicts: 785000 | #Constraints: 34074
2941.94/2950.06 c #Conflicts: 786000 | #Constraints: 35074
2941.94/2950.06 c #Conflicts: 787000 | #Constraints: 36074
2941.94/2950.06 c #Conflicts: 788000 | #Constraints: 37074
2941.94/2950.06 c #Conflicts: 789000 | #Constraints: 38074
2941.94/2950.06 c #Conflicts: 790000 | #Constraints: 39074
2941.94/2950.06 c #Conflicts: 791000 | #Constraints: 40074
2941.94/2950.06 c #Conflicts: 792000 | #Constraints: 41074
2941.94/2950.06 c INPROCESSING
2941.94/2950.06 c GARBAGE COLLECT
2941.94/2950.06 c #Conflicts: 793000 | #Constraints: 24481
2941.94/2950.06 c #Conflicts: 794000 | #Constraints: 25481
2941.94/2950.06 c #Conflicts: 795000 | #Constraints: 26481
2941.94/2950.06 c #Conflicts: 796000 | #Constraints: 27481
2941.94/2950.06 c #Conflicts: 797000 | #Constraints: 28481
2941.94/2950.06 c #Conflicts: 798000 | #Constraints: 29481
2941.94/2950.06 c #Conflicts: 799000 | #Constraints: 30481
2941.94/2950.06 c #Conflicts: 800000 | #Constraints: 31481
2941.94/2950.06 c #Conflicts: 801000 | #Constraints: 32481
2941.94/2950.06 c #Conflicts: 802000 | #Constraints: 33481
2941.94/2950.06 c #Conflicts: 803000 | #Constraints: 34481
2941.94/2950.06 c #Conflicts: 804000 | #Constraints: 35481
2941.94/2950.06 c #Conflicts: 805000 | #Constraints: 36481
2941.94/2950.06 c #Conflicts: 806000 | #Constraints: 37481
2941.94/2950.06 c #Conflicts: 807000 | #Constraints: 38481
2941.94/2950.06 c #Conflicts: 808000 | #Constraints: 39481
2941.94/2950.06 c #Conflicts: 809000 | #Constraints: 40481
2941.94/2950.06 c #Conflicts: 810000 | #Constraints: 41481
2941.94/2950.06 c INPROCESSING
2941.94/2950.06 c GARBAGE COLLECT
2941.94/2950.06 c #Conflicts: 811000 | #Constraints: 24694
2941.94/2950.06 c #Conflicts: 812000 | #Constraints: 25694
2941.94/2950.06 c #Conflicts: 813000 | #Constraints: 26694
2941.94/2950.06 c #Conflicts: 814000 | #Constraints: 27694
2941.94/2950.06 c #Conflicts: 815000 | #Constraints: 28694
2941.94/2950.06 c #Conflicts: 816000 | #Constraints: 29694
2941.94/2950.06 c #Conflicts: 817000 | #Constraints: 30694
2941.94/2950.06 c #Conflicts: 818000 | #Constraints: 31694
2941.94/2950.06 c #Conflicts: 819000 | #Constraints: 32694
2941.94/2950.06 c #Conflicts: 820000 | #Constraints: 33694
2941.94/2950.06 c #Conflicts: 821000 | #Constraints: 34694
2941.94/2950.06 c #Conflicts: 822000 | #Constraints: 35694
2941.94/2950.06 c #Conflicts: 823000 | #Constraints: 36694
2941.94/2950.06 c #Conflicts: 824000 | #Constraints: 37694
2941.94/2950.06 c #Conflicts: 825000 | #Constraints: 38694
2941.94/2950.06 c #Conflicts: 826000 | #Constraints: 39694
2941.94/2950.06 c GLOBAL bounds - >= -2577 @ 2927.47
3120.46/3129.06 c #Conflicts: 827000 | #Constraints: 40696
3120.46/3129.06 c #Conflicts: 828000 | #Constraints: 41696
3120.46/3129.06 c INPROCESSING
3120.46/3129.06 c GARBAGE COLLECT
3120.46/3129.06 c #Conflicts: 829000 | #Constraints: 24698
3120.46/3129.06 c #Conflicts: 830000 | #Constraints: 25698
3120.46/3129.06 c #Conflicts: 831000 | #Constraints: 26698
3120.46/3129.06 c #Conflicts: 832000 | #Constraints: 27698
3120.46/3129.06 c #Conflicts: 833000 | #Constraints: 28698
3120.46/3129.06 c #Conflicts: 834000 | #Constraints: 29698
3120.46/3129.06 c #Conflicts: 835000 | #Constraints: 30698
3120.46/3129.06 c #Conflicts: 836000 | #Constraints: 31698
3120.46/3129.06 c #Conflicts: 837000 | #Constraints: 32698
3120.46/3129.06 c #Conflicts: 838000 | #Constraints: 33698
3120.46/3129.06 c #Conflicts: 839000 | #Constraints: 34698
3120.46/3129.06 c #Conflicts: 840000 | #Constraints: 35698
3120.46/3129.06 c #Conflicts: 841000 | #Constraints: 36698
3120.46/3129.06 c #Conflicts: 842000 | #Constraints: 37698
3120.46/3129.06 c #Conflicts: 843000 | #Constraints: 38698
3120.46/3129.06 c #Conflicts: 844000 | #Constraints: 39698
3120.46/3129.06 c #Conflicts: 845000 | #Constraints: 40698
3120.46/3129.06 c #Conflicts: 846000 | #Constraints: 41698
3120.46/3129.06 c INPROCESSING
3120.46/3129.06 c GARBAGE COLLECT
3120.46/3129.06 c #Conflicts: 847000 | #Constraints: 24525
3120.46/3129.06 c #Conflicts: 848000 | #Constraints: 25525
3120.46/3129.06 c #Conflicts: 849000 | #Constraints: 26525
3120.46/3129.06 c #Conflicts: 850000 | #Constraints: 27525
3120.46/3129.06 c #Conflicts: 851000 | #Constraints: 28525
3120.46/3129.06 c #Conflicts: 852000 | #Constraints: 29525
3120.46/3129.06 c #Conflicts: 853000 | #Constraints: 30525
3120.46/3129.06 c #Conflicts: 854000 | #Constraints: 31525
3120.46/3129.06 c #Conflicts: 855000 | #Constraints: 32525
3120.46/3129.06 c #Conflicts: 856000 | #Constraints: 33525
3120.46/3129.06 c #Conflicts: 857000 | #Constraints: 34525
3120.46/3129.06 c #Conflicts: 858000 | #Constraints: 35525
3120.46/3129.06 c #Conflicts: 859000 | #Constraints: 36525
3120.46/3129.06 c #Conflicts: 860000 | #Constraints: 37525
3120.46/3129.06 c #Conflicts: 861000 | #Constraints: 38525
3120.46/3129.06 c #Conflicts: 862000 | #Constraints: 39525
3120.46/3129.06 c #Conflicts: 863000 | #Constraints: 40525
3120.46/3129.06 c #Conflicts: 864000 | #Constraints: 41525
3120.46/3129.06 c #Conflicts: 865000 | #Constraints: 42525
3120.46/3129.06 c INPROCESSING
3120.46/3129.06 c GARBAGE COLLECT
3120.46/3129.06 c #Conflicts: 866000 | #Constraints: 25131
3120.46/3129.06 c GLOBAL bounds - >= -2577 @ 3105.4
3186.68/3195.44 c #Conflicts: 867000 | #Constraints: 26133
3186.68/3195.44 c #Conflicts: 868000 | #Constraints: 27133
3186.68/3195.44 c #Conflicts: 869000 | #Constraints: 28133
3186.68/3195.44 c #Conflicts: 870000 | #Constraints: 29133
3186.68/3195.44 c #Conflicts: 871000 | #Constraints: 30133
3186.68/3195.44 c #Conflicts: 872000 | #Constraints: 31133
3186.68/3195.44 c #Conflicts: 873000 | #Constraints: 32133
3186.68/3195.44 c #Conflicts: 874000 | #Constraints: 33133
3186.68/3195.44 c #Conflicts: 875000 | #Constraints: 34133
3186.68/3195.44 c #Conflicts: 876000 | #Constraints: 35133
3186.68/3195.44 c #Conflicts: 877000 | #Constraints: 36133
3186.68/3195.44 c #Conflicts: 878000 | #Constraints: 37133
3186.68/3195.44 c GLOBAL bounds - >= -2577 @ 3171.39
3200.84/3209.64 c #Conflicts: 879000 | #Constraints: 38135
3200.84/3209.64 c #Conflicts: 880000 | #Constraints: 39135
3200.84/3209.64 c GLOBAL bounds - >= -2577 @ 3185.5
3600.10/3609.90 c #Conflicts: 881000 | #Constraints: 40137
3600.10/3609.90 c #Conflicts: 882000 | #Constraints: 41137
3600.10/3609.90 c #Conflicts: 883000 | #Constraints: 42137
3600.10/3609.90 c #Conflicts: 884000 | #Constraints: 43137
3600.10/3609.90 c INPROCESSING
3600.10/3609.90 c GARBAGE COLLECT
3600.10/3609.90 c #Conflicts: 885000 | #Constraints: 25517
3600.10/3609.90 c #Conflicts: 886000 | #Constraints: 26517
3600.10/3609.90 c #Conflicts: 887000 | #Constraints: 27517
3600.10/3609.90 c #Conflicts: 888000 | #Constraints: 28517
3600.10/3609.90 c #Conflicts: 889000 | #Constraints: 29517
3600.10/3609.90 c #Conflicts: 890000 | #Constraints: 30517
3600.10/3609.90 c #Conflicts: 891000 | #Constraints: 31517
3600.10/3609.90 c #Conflicts: 892000 | #Constraints: 32517
3600.10/3609.90 c #Conflicts: 893000 | #Constraints: 33517
3600.10/3609.90 c #Conflicts: 894000 | #Constraints: 34517
3600.10/3609.90 c #Conflicts: 895000 | #Constraints: 35517
3600.10/3609.90 c #Conflicts: 896000 | #Constraints: 36517
3600.10/3609.90 c #Conflicts: 897000 | #Constraints: 37517
3600.10/3609.90 c #Conflicts: 898000 | #Constraints: 38517
3600.10/3609.90 c #Conflicts: 899000 | #Constraints: 39517
3600.10/3609.90 c #Conflicts: 900000 | #Constraints: 40517
3600.10/3609.90 c #Conflicts: 901000 | #Constraints: 41517
3600.10/3609.90 c #Conflicts: 902000 | #Constraints: 42517
3600.10/3609.90 c #Conflicts: 903000 | #Constraints: 43517
3600.10/3609.90 c INPROCESSING
3600.10/3609.90 c GARBAGE COLLECT
3600.10/3609.90 c #Conflicts: 904000 | #Constraints: 25700
3600.10/3609.90 c #Conflicts: 905000 | #Constraints: 26700
3600.10/3609.90 c #Conflicts: 906000 | #Constraints: 27700
3600.10/3609.90 c #Conflicts: 907000 | #Constraints: 28700
3600.10/3609.90 c #Conflicts: 908000 | #Constraints: 29700
3600.10/3609.90 c #Conflicts: 909000 | #Constraints: 30700
3600.10/3609.90 c #Conflicts: 910000 | #Constraints: 31700
3600.10/3609.90 c #Conflicts: 911000 | #Constraints: 32700
3600.10/3609.90 c #Conflicts: 912000 | #Constraints: 33700
3600.10/3609.90 c #Conflicts: 913000 | #Constraints: 34700
3600.10/3609.90 c #Conflicts: 914000 | #Constraints: 35700
3600.10/3609.90 c #Conflicts: 915000 | #Constraints: 36700
3600.10/3609.90 c #Conflicts: 916000 | #Constraints: 37700
3600.10/3609.90 c #Conflicts: 917000 | #Constraints: 38700
3600.10/3609.90 c #Conflicts: 918000 | #Constraints: 39700
3600.10/3609.90 c #Conflicts: 919000 | #Constraints: 40700
3600.10/3609.90 c #Conflicts: 920000 | #Constraints: 41700
3600.10/3609.90 c #Conflicts: 921000 | #Constraints: 42700
3600.10/3609.90 c #Conflicts: 922000 | #Constraints: 43700
3600.10/3609.90 c INPROCESSING
3600.10/3609.90 c GARBAGE COLLECT
3600.10/3609.90 c #Conflicts: 923000 | #Constraints: 25686
3600.10/3609.90 c #Conflicts: 924000 | #Constraints: 26686
3600.10/3609.90 c #Conflicts: 925000 | #Constraints: 27686
3600.10/3609.90 c #Conflicts: 926000 | #Constraints: 28686
3600.10/3609.90 c #Conflicts: 927000 | #Constraints: 29686
3600.10/3609.90 c #Conflicts: 928000 | #Constraints: 30686
3600.10/3609.90 c #Conflicts: 929000 | #Constraints: 31686
3600.10/3609.90 c #Conflicts: 930000 | #Constraints: 32686
3600.10/3609.90 c #Conflicts: 931000 | #Constraints: 33686
3600.10/3609.90 c #Conflicts: 932000 | #Constraints: 34686
3600.10/3609.90 c #Conflicts: 933000 | #Constraints: 35686
3600.10/3609.90 c #Conflicts: 934000 | #Constraints: 36686
3600.10/3609.90 c #Conflicts: 935000 | #Constraints: 37686
3600.10/3609.90 c #Conflicts: 936000 | #Constraints: 38686
3600.10/3609.90 c #Conflicts: 937000 | #Constraints: 39686
3600.10/3609.90 c #Conflicts: 938000 | #Constraints: 40686
3600.10/3609.90 c #Conflicts: 939000 | #Constraints: 41686
3600.10/3609.90 c #Conflicts: 940000 | #Constraints: 42686
3600.10/3609.90 c #Conflicts: 941000 | #Constraints: 43686
3600.10/3609.90 c INPROCESSING
3600.10/3609.90 c GARBAGE COLLECT
3600.10/3609.90 c #Conflicts: 942000 | #Constraints: 25485
3600.10/3609.90 c #Conflicts: 943000 | #Constraints: 26485
3600.10/3609.90 c #Conflicts: 944000 | #Constraints: 27485
3600.10/3609.90 c #Conflicts: 945000 | #Constraints: 28485
3600.10/3609.90 c #Conflicts: 946000 | #Constraints: 29485
3600.10/3609.90 c #Conflicts: 947000 | #Constraints: 30485
3600.10/3609.90 c #Conflicts: 948000 | #Constraints: 31485
3600.10/3609.90 c cpu time 3583.47 s
3600.10/3609.90 c deterministic time 2 2.00e+00
3600.10/3609.90 c optimization time 3583.45 s
3600.10/3609.90 c total solve time 0 s
3600.10/3609.90 c core-guided solve time 0 s
3600.10/3609.90 c propagation time 0.002126 s
3600.10/3609.90 c conflict analysis time 0 s
3600.10/3609.90 c propagations 1
3600.10/3609.90 c resolve steps 0
3600.10/3609.90 c decisions 0
3600.10/3609.90 c conflicts 0
3600.10/3609.90 c restarts 0
3600.10/3609.90 c inprocessing phases 0
3600.10/3609.90 c garbage collections 0 ,( -nan )
3600.10/3609.90 c input clauses 4405 ,( 83.70 )
3600.10/3609.90 c input cardinalities 858 ,( 16.30 )
3600.10/3609.90 c input general constraints 0 ,( 0.00 )
3600.10/3609.90 c input average constraint length 3.67
3600.10/3609.90 c input average constraint degree 1.32
3600.10/3609.90 c learned clauses 0 ,( 0.00 )
3600.10/3609.90 c learned cardinalities 0 ,( 0.00 )
3600.10/3609.90 c learned general constraints 0 ,( 0.00 )
3600.10/3609.90 c learned average constraint length 0.00
3600.10/3609.90 c learned average constraint degree 0.00
3600.10/3609.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.10/3609.90 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.10/3609.90 c watched constraints 0 ,( -nan )
3600.10/3609.90 c counting constraints 0 ,( -nan )
3600.10/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.10/3609.90 c gcd simplifications 0
3600.10/3609.90 c detected cardinalities 0
3600.10/3609.90 c weakened non-implied lits 0
3600.10/3609.90 c weakened non-implying lits 0
3600.10/3609.90 c original variables 4624
3600.10/3609.90 c clausal propagations 0
3600.10/3609.90 c cardinality propagations 0
3600.10/3609.90 c watched propagations 0
3600.10/3609.90 c counting propagations 0
3600.10/3609.90 c watch lookups 0
3600.10/3609.90 c watch backjump lookups 0
3600.10/3609.90 c watch checks 0
3600.10/3609.90 c propagation checks 0
3600.10/3609.90 c constraint additions 0
3600.10/3609.90 c trail pops 0
3600.10/3609.90 c formula constraints 5263
3600.10/3609.90 c learned constraints 0
3600.10/3609.90 c bound constraints 0
3600.10/3609.90 c core-guided constraints 0
3600.10/3609.90 c encountered formula constraints 0
3600.10/3609.90 c encountered learned constraints 0
3600.10/3609.90 c encountered bound constraints 0
3600.10/3609.90 c encountered core-guided constraints 0
3600.10/3609.90 c LP total time 0 s
3600.10/3609.90 c LP solve time 0 s
3600.10/3609.90 c LP constraints added 0
3600.10/3609.90 c LP constraints removed 0
3600.10/3609.90 c LP pivots internal 0
3600.10/3609.90 c LP pivots root 0
3600.10/3609.90 c LP calls 0
3600.10/3609.90 c LP optimalities 0
3600.10/3609.90 c LP no pivot count 0
3600.10/3609.90 c LP infeasibilities 0
3600.10/3609.90 c LP valid Farkas constraints 0
3600.10/3609.90 c LP learned Farkas constraints 0
3600.10/3609.90 c LP basis resets 0
3600.10/3609.90 c LP cycling count 0
3600.10/3609.90 c LP singular count 0
3600.10/3609.90 c LP no primal count 0
3600.10/3609.90 c LP no farkas count 0
3600.10/3609.90 c LP other issue count 0
3600.10/3609.90 c LP Gomory cuts 0
3600.10/3609.90 c LP learned cuts 0
3600.10/3609.90 c LP deleted cuts 0
3600.10/3609.90 c LP encountered Gomory constraints 0
3600.10/3609.90 c LP encountered Farkas constraints 0
3600.10/3609.90 c LP encountered learned Farkas constraints 0
3600.10/3609.90 c CG auxiliary variables introduced 0
3600.10/3609.90 c CG solutions found 0
3600.10/3609.90 c CG cores constructed 0
3600.10/3609.90 c CG core cardinality constraints returned 0
3600.10/3609.90 c CG unit cores 0
3600.10/3609.90 c CG single cores 0
3600.10/3609.90 c CG blocks removed during cardinality reduction 0
3600.10/3609.90 c CG first core best 0
3600.10/3609.90 c CG decision core best 0
3600.10/3609.90 c CG core reduction tie 0
3600.10/3609.90 c CG core degree average 0.00
3600.10/3609.90 c CG core slack average 0.00
3600.10/3609.90 c CG core upper bound improvements 0
3600.10/3609.90 c STR number of successful calls 0
3600.10/3609.90 c STR number of unsuccessful calls 0
3600.10/3609.90 c STR number of inconclusive calls 0
3600.10/3609.90 c STR number of successful attempts 0
3600.10/3609.90 c STR number of unsuccessful attempts 0
3600.10/3609.90 c STR number of inconclusive attempts 0
3600.10/3609.90 c STR average degree increase per successful call inf
3600.10/3609.90 c STR average degree increase per successful attempt inf
3600.10/3609.90 c STR total number of conflicts for successful attempts 0
3600.10/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.10/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.10/3609.90 c STR average number of conflicts per successful attempt inf
3600.10/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.10/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.10/3609.90 c AVG.sumWPerc -nan
3600.10/3609.90 c bigint constraints 0
3600.10/3609.90 s UNKNOWN
3600.10/3609.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62781 MiB free)
memory of node 1: 64465 MiB (63185 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484308-1751287276/watcher-4484308-1751287276 -o /tmp/evaluation-result-4484308-1751287276/solver-4484308-1751287276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37513 --watchdog 3760 run-opt.sh HOME/instance-4484308-1751287276.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=38355, runsolver pid=38352
[startup+0.100062 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 38357
/proc/meminfo: memFree=128973896/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=71056 memory=23612 CPUtime=0.08 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 3900 0 0 0 7 1 0 0 20 0 1 0 44405214 72761344 5903 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 17764 5903 2336 1147 0 5191 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75248 KiB
Current children cumulated memory: 26684 KiB
[startup+0.205728 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 38357
/proc/meminfo: memFree=128967848/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=75872 memory=31296 CPUtime=0.19 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 5326 0 0 0 16 3 0 0 20 0 1 0 44405214 77692928 7824 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 18968 7824 2336 1147 0 6395 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80064 KiB
Current children cumulated memory: 34368 KiB
[startup+0.305645 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 38357
/proc/meminfo: memFree=128959784/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=77740 memory=33344 CPUtime=0.29 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 5794 0 0 0 25 4 0 0 20 0 1 0 44405214 79605760 8336 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 19435 8336 2368 1147 0 6862 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 81932 KiB
Current children cumulated memory: 36416 KiB
[startup+0.700198 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 38357
/proc/meminfo: memFree=128935780/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=100732 memory=52752 CPUtime=0.67 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 10142 0 0 0 61 6 0 0 20 0 1 0 44405214 103149568 13188 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 25183 13188 2368 1147 0 12610 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 104924 KiB
Current children cumulated memory: 55824 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 38357
/proc/meminfo: memFree=128918328/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=132564 memory=85288 CPUtime=1.47 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 16222 0 0 0 134 13 0 0 20 0 1 0 44405214 135745536 21322 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 33141 21322 2368 1147 0 20568 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 136756 KiB
Current children cumulated memory: 88360 KiB
[startup+3.10545 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38357
/proc/meminfo: memFree=128727120/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=216116 memory=146140 CPUtime=3.07 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 28379 0 0 0 286 21 0 0 20 0 1 0 44405214 221302784 36535 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 54029 36535 2368 1147 0 41456 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 220308 KiB
Current children cumulated memory: 149212 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38357
/proc/meminfo: memFree=128504864/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=235288 memory=184528 CPUtime=6.27 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 34423 0 0 0 594 33 0 0 20 0 1 0 44405214 240934912 46132 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 58822 46132 2368 1147 0 46249 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 239480 KiB
Current children cumulated memory: 187600 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 38357
/proc/meminfo: memFree=128174504/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=367964 memory=292660 CPUtime=12.64 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 55324 0 0 0 1212 52 0 0 20 0 1 0 44405214 376795136 73165 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 91991 73165 2368 1147 0 79418 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 372156 KiB
Current children cumulated memory: 295732 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 38357
/proc/meminfo: memFree=128041420/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=476452 memory=390736 CPUtime=25.41 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 71674 0 0 0 2458 83 0 0 20 0 1 0 44405214 487886848 97684 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 119113 97684 2368 1147 0 106540 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 480644 KiB
Current children cumulated memory: 393808 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 38403
/proc/meminfo: memFree=127582124/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=704596 memory=514544 CPUtime=50.96 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 97508 0 0 0 4961 135 0 0 20 0 1 0 44405214 721506304 128636 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 176149 128636 2368 1147 0 163576 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 708788 KiB
Current children cumulated memory: 517616 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 38405
/proc/meminfo: memFree=126995292/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=764760 memory=610104 CPUtime=101.99 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 114273 0 0 0 9994 205 0 0 20 0 1 0 44405214 783114240 152526 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 191190 152526 2368 1147 0 178617 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 768952 KiB
Current children cumulated memory: 613176 KiB
[startup+162.3 s]
/proc/loadavg: 4.38 4.15 4.11 5/269 38409
/proc/meminfo: memFree=126174552/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=1047536 memory=853796 CPUtime=161.81 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 163414 0 0 0 15907 274 0 0 20 0 1 0 44405214 1072676864 213449 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 261884 213449 2368 1147 0 249311 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1051728 KiB
Current children cumulated memory: 856868 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/269 38411
/proc/meminfo: memFree=125579580/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=1240212 memory=944372 CPUtime=221.62 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 179991 0 0 0 21828 334 0 0 20 0 1 0 44405214 1269977088 236093 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 310053 236093 2368 1147 0 297480 0
################
# More data... #
################
/proc/38357/statm: 746339 663468 2368 1147 0 733766 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 2989548 KiB
Current children cumulated memory: 2656944 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 38608
/proc/meminfo: memFree=116712956/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2985356 memory=2653872 CPUtime=3153.67 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 410771 0 0 0 313843 1524 0 0 20 0 1 0 44405214 3057004544 663468 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 746339 663468 2368 1147 0 733766 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 2989548 KiB
Current children cumulated memory: 2656944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 38610
/proc/meminfo: memFree=116628060/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2985356 memory=2654000 CPUtime=3213.51 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 410844 0 0 0 319808 1543 0 0 20 0 1 0 44405214 3057004544 663500 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 746339 663500 2368 1147 0 733766 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 2989548 KiB
Current children cumulated memory: 2657072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 38613
/proc/meminfo: memFree=116622672/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2985356 memory=2654000 CPUtime=3273.35 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 410873 0 0 0 325771 1564 0 0 20 0 1 0 44405214 3057004544 663500 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 746339 663500 2368 1147 0 733766 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 2989548 KiB
Current children cumulated memory: 2657072 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 38615
/proc/meminfo: memFree=116239360/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2985356 memory=2654000 CPUtime=3333.19 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 410878 0 0 0 331740 1579 0 0 20 0 1 0 44405214 3057004544 663500 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 746339 663500 2368 1147 0 733766 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 2989548 KiB
Current children cumulated memory: 2657072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 38617
/proc/meminfo: memFree=116201172/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2987404 memory=2655152 CPUtime=3393.04 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 411159 0 0 0 337704 1600 0 0 20 0 1 0 44405214 3059101696 663788 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 746851 663788 2368 1147 0 734278 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 2991596 KiB
Current children cumulated memory: 2658224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 38619
/proc/meminfo: memFree=116043368/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2987404 memory=2655152 CPUtime=3452.88 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 411160 0 0 0 343670 1618 0 0 20 0 1 0 44405214 3059101696 663788 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 746851 663788 2368 1147 0 734278 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 2991596 KiB
Current children cumulated memory: 2658224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 38628
/proc/meminfo: memFree=115985956/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2988428 memory=2655664 CPUtime=3512.73 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 411313 0 0 0 349636 1637 0 0 20 0 1 0 44405214 3060150272 663916 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 747107 663916 2368 1147 0 734534 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 2992620 KiB
Current children cumulated memory: 2658736 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 38630
/proc/meminfo: memFree=115936124/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2998668 memory=2661680 CPUtime=3572.56 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 412826 0 0 0 355608 1648 0 0 20 0 1 0 44405214 3070636032 665420 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 749667 665420 2368 1147 0 737094 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 3002860 KiB
Current children cumulated memory: 2664752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38630
/proc/meminfo: memFree=115923864/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2998668 memory=2661680 CPUtime=3600.1 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 412842 0 0 0 358347 1663 0 0 20 0 1 0 44405214 3070636032 665420 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 749667 665420 2368 1147 0 737094 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3002860 KiB
Current children cumulated memory: 2664752 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 38355 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.002334 s
Sleeping 2 seconds
[startup+3609.93 s]
# the end of solver process 38357 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.48 s, system=16.6602 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38630
/proc/meminfo: memFree=115923864/131249988 swapFree=33010684/33010684
[pid=38355] ppid=38352 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38355/stat : 38355 (run-opt.sh) S 38352 38355 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44405213 4292608 768 18446744073709551615 93871360008192 93871360902725 140721093601184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871361141776 93871361189520 93871391420416 140721093609837 140721093609960 140721093609960 140721093615562 0
/proc/38355/statm: 1048 768 704 219 0 110 0
[pid=38357] ppid=38355 vsize=2998668 memory=2661680 CPUtime=3600.1 cores=5,7
/proc/38357/stat : 38357 (roundingsat) R 38355 38355 37500 0 -1 4194304 412842 0 0 0 358347 1663 0 0 20 0 1 0 44405214 3070636032 665420 18446744073709551615 4227072 8923433 140722159071264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19161088 140722159077794 140722159077928 140722159077928 140722159083498 0
/proc/38357/statm: 749667 665420 2368 1147 0 737094 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3002860 KiB
Current children cumulated memory: 2664752 KiB
Child status: 2
Real time (s): 3609.93
CPU time (s): 3600.14
CPU user time (s): 3583.48
CPU system time (s): 16.6602
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 3002860
Max. memory (cumulated for all children) (KiB): 2664752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.48
system time used= 16.6602
maximum resident set size= 2661936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413070
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= 529
involuntary context switches= 2045
# summary of solver processes directly reported to runsolver:
# pid: 38355,38357
# total CPU time (s): 3600.14
# total CPU user time (s): 3583.48
# total CPU system time (s): 16.6602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72786 second user time and 17.7287 second system time
The end
Begin job on nodeC020 at 2025-06-30 14:41:17
IDJOB=4484308
IDBENCH=146654
IDSOLVER=3350
FILE ID=nodeC020/4484308-1751287276
RUNJOBID= nodeC020-1751280053-37513
SLURM_JOB_ID= 9594223
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484308-1751287276/watcher-4484308-1751287276 -o /tmp/evaluation-result-4484308-1751287276/solver-4484308-1751287276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37513 --watchdog 3760 run-opt.sh HOME/instance-4484308-1751287276.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 95d9c8e5d82ddbf9273186de2f795996
RANDOM SEED=868886609
nodeC020 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.903
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.79
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.857
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.79
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.127
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.79
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 : 3591.219
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.79
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.890
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.79
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.155
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.79
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 : 3601.069
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.79
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 : 3599.890
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128989224 kB
MemAvailable: 129152388 kB
Buffers: 3280 kB
Cached: 968540 kB
SwapCached: 0 kB
Active: 1002132 kB
Inactive: 661236 kB
Active(anon): 709608 kB
Inactive(anon): 0 kB
Active(file): 292524 kB
Inactive(file): 661236 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22624 kB
Writeback: 4 kB
AnonPages: 685344 kB
Mapped: 116212 kB
Shmem: 18056 kB
KReclaimable: 97288 kB
Slab: 184256 kB
SReclaimable: 97288 kB
SUnreclaim: 86968 kB
KernelStack: 4320 kB
PageTables: 4840 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1184196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 307200 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC020 at 2025-06-30 15:41:27