0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.05 c #variables 4447 #constraints 4926
0.00/0.05 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= -2128 @ 0.025526
0.00/0.06 c GLOBAL bounds - >= -2128 @ 0.027486
0.07/0.15 c GLOBAL bounds - >= -2128 @ 0.109641
0.07/0.17 c GLOBAL bounds - >= -2128 @ 0.128592
0.07/0.19 c GLOBAL bounds - >= -2128 @ 0.138344
0.16/0.27 c GLOBAL bounds - >= -2128 @ 0.206942
0.46/0.57 c GLOBAL bounds - >= -2128 @ 0.493585
0.56/0.64 c GLOBAL bounds - >= -2128 @ 0.552367
0.56/0.66 c GLOBAL bounds - >= -2128 @ 0.57398
0.56/0.68 c GLOBAL bounds - >= -2128 @ 0.590921
0.65/0.75 c GLOBAL bounds - >= -2128 @ 0.657359
0.65/0.79 c GLOBAL bounds - >= -2128 @ 0.692977
0.75/0.82 c GLOBAL bounds - >= -2128 @ 0.718648
0.75/0.84 c GLOBAL bounds - >= -2128 @ 0.735507
0.75/0.88 c GLOBAL bounds - >= -2128 @ 0.770432
0.85/0.92 c GLOBAL bounds - >= -2128 @ 0.80139
0.96/1.01 c GLOBAL bounds - >= -2128 @ 0.888983
0.96/1.06 c GLOBAL bounds - >= -2128 @ 0.927724
1.15/1.20 c GLOBAL bounds - >= -2128 @ 1.05478
1.25/1.31 c GLOBAL bounds - >= -2128 @ 1.15836
1.25/1.34 c GLOBAL bounds - >= -2128 @ 1.18601
1.35/1.45 c GLOBAL bounds - >= -2128 @ 1.29316
1.45/1.51 c GLOBAL bounds - >= -2128 @ 1.34631
1.45/1.55 c #Conflicts: 1000 | #Constraints: 5968
1.45/1.55 c GLOBAL bounds - >= -2128 @ 1.38689
1.85/1.93 c GLOBAL bounds - >= -2128 @ 1.75646
1.85/1.96 c GLOBAL bounds - >= -2128 @ 1.78574
1.96/2.07 c GLOBAL bounds - >= -2128 @ 1.89191
2.05/2.19 c GLOBAL bounds - >= -2128 @ 1.99233
2.24/2.36 c GLOBAL bounds - >= -2128 @ 2.16529
2.55/2.66 c GLOBAL bounds - >= -2128 @ 2.44997
2.65/2.72 c GLOBAL bounds - >= -2128 @ 2.51042
2.85/2.95 c GLOBAL bounds - >= -2128 @ 2.72356
2.95/3.04 c GLOBAL bounds - >= -2128 @ 2.81446
3.25/3.38 c #Conflicts: 2000 | #Constraints: 6988
3.25/3.38 c INPROCESSING
3.25/3.38 c GARBAGE COLLECT
3.25/3.38 c GLOBAL bounds - >= -2128 @ 3.15101
3.35/3.44 c GLOBAL bounds - >= -2128 @ 3.20707
5.44/5.50 c #Conflicts: 3000 | #Constraints: 7007
5.44/5.50 c GLOBAL bounds - >= -2128 @ 5.2125
5.64/5.70 c GLOBAL bounds - >= -2128 @ 5.40846
6.43/6.51 c #Conflicts: 4000 | #Constraints: 8011
6.43/6.51 c INPROCESSING
6.43/6.51 c GARBAGE COLLECT
6.43/6.51 c GLOBAL bounds - >= -2128 @ 6.16782
6.64/6.74 c GLOBAL bounds - >= -2128 @ 6.39027
6.84/6.94 c GLOBAL bounds - >= -2128 @ 6.59157
7.84/7.95 c #Conflicts: 5000 | #Constraints: 7438
7.84/7.95 c GLOBAL bounds - >= -2128 @ 7.56875
7.93/8.10 c GLOBAL bounds - >= -2128 @ 7.71322
8.53/8.66 c GLOBAL bounds - >= -2128 @ 8.25391
10.72/10.87 c #Conflicts: 6000 | #Constraints: 8444
10.72/10.87 c INPROCESSING
10.72/10.87 c GARBAGE COLLECT
10.72/10.87 c #Conflicts: 7000 | #Constraints: 7459
10.72/10.87 c GLOBAL bounds - >= -2128 @ 10.3997
10.93/11.09 c GLOBAL bounds - >= -2128 @ 10.6198
12.03/12.18 c #Conflicts: 8000 | #Constraints: 8463
12.03/12.18 c GLOBAL bounds - >= -2128 @ 11.6805
12.52/12.62 c GLOBAL bounds - >= -2128 @ 12.1172
13.12/13.22 c GLOBAL bounds - >= -2128 @ 12.7066
13.51/13.61 c GLOBAL bounds - >= -2128 @ 13.0875
13.81/13.90 c GLOBAL bounds - >= -2128 @ 13.3707
15.11/15.23 c #Conflicts: 9000 | #Constraints: 9473
15.11/15.23 c INPROCESSING
15.11/15.23 c GARBAGE COLLECT
15.11/15.23 c GLOBAL bounds - >= -2128 @ 14.6877
15.31/15.45 c GLOBAL bounds - >= -2128 @ 14.8936
15.51/15.61 c GLOBAL bounds - >= -2128 @ 15.0565
15.81/15.90 c #Conflicts: 10000 | #Constraints: 8187
15.81/15.90 c GLOBAL bounds - >= -2128 @ 15.3426
16.01/16.11 c GLOBAL bounds - >= -2128 @ 15.5471
17.50/17.60 c #Conflicts: 11000 | #Constraints: 9191
17.50/17.60 c GLOBAL bounds - >= -2128 @ 17.0001
19.98/20.16 c #Conflicts: 12000 | #Constraints: 10193
19.98/20.16 c INPROCESSING
19.98/20.16 c GARBAGE COLLECT
19.98/20.16 c GLOBAL bounds - >= -2128 @ 19.4773
23.17/23.39 c #Conflicts: 13000 | #Constraints: 8652
23.17/23.39 c #Conflicts: 14000 | #Constraints: 9652
23.17/23.39 c GLOBAL bounds - >= -2128 @ 22.6574
24.87/25.07 c #Conflicts: 15000 | #Constraints: 10654
24.87/25.07 c INPROCESSING
24.87/25.07 c GARBAGE COLLECT
24.87/25.07 c GLOBAL bounds - >= -2128 @ 24.2939
26.76/26.92 c #Conflicts: 16000 | #Constraints: 8884
26.76/26.92 c GLOBAL bounds - >= -2128 @ 26.1035
28.86/29.04 c #Conflicts: 17000 | #Constraints: 9886
28.86/29.04 c #Conflicts: 18000 | #Constraints: 10886
28.86/29.04 c INPROCESSING
28.86/29.04 c GARBAGE COLLECT
28.86/29.04 c GLOBAL bounds - >= -2128 @ 28.2071
30.05/30.23 c #Conflicts: 19000 | #Constraints: 8900
30.05/30.23 c GLOBAL bounds - >= -2128 @ 29.3496
30.45/30.65 c GLOBAL bounds - >= -2128 @ 29.7689
30.95/31.19 c GLOBAL bounds - >= -2128 @ 30.3018
31.25/31.45 c GLOBAL bounds - >= -2128 @ 30.552
31.45/31.62 c GLOBAL bounds - >= -2128 @ 30.7242
37.43/37.65 c #Conflicts: 20000 | #Constraints: 9910
37.43/37.65 c #Conflicts: 21000 | #Constraints: 10910
37.43/37.65 c INPROCESSING
37.43/37.65 c GARBAGE COLLECT
37.43/37.65 c #Conflicts: 22000 | #Constraints: 8716
37.43/37.65 c #Conflicts: 23000 | #Constraints: 9716
37.43/37.65 c GLOBAL bounds - >= -2128 @ 36.652
41.12/41.32 c #Conflicts: 24000 | #Constraints: 10718
41.12/41.32 c #Conflicts: 25000 | #Constraints: 11718
41.12/41.32 c INPROCESSING
41.12/41.32 c GARBAGE COLLECT
41.12/41.32 c GLOBAL bounds - >= -2128 @ 40.2504
50.09/50.37 c #Conflicts: 26000 | #Constraints: 9349
50.09/50.37 c #Conflicts: 27000 | #Constraints: 10349
50.09/50.37 c #Conflicts: 28000 | #Constraints: 11349
50.09/50.37 c #Conflicts: 29000 | #Constraints: 12349
50.09/50.37 c INPROCESSING
50.09/50.37 c GARBAGE COLLECT
50.09/50.37 c #Conflicts: 30000 | #Constraints: 9748
50.09/50.37 c GLOBAL bounds - >= -2128 @ 49.182
52.29/52.59 c #Conflicts: 31000 | #Constraints: 10750
52.29/52.59 c GLOBAL bounds - >= -2128 @ 51.3618
54.07/54.36 c #Conflicts: 32000 | #Constraints: 11752
54.07/54.36 c GLOBAL bounds - >= -2128 @ 53.1132
56.27/56.57 c #Conflicts: 33000 | #Constraints: 12754
56.27/56.57 c INPROCESSING
56.27/56.57 c GARBAGE COLLECT
56.27/56.57 c GLOBAL bounds - >= -2128 @ 55.2825
65.15/65.40 c #Conflicts: 34000 | #Constraints: 9956
65.15/65.40 c #Conflicts: 35000 | #Constraints: 10956
65.15/65.40 c #Conflicts: 36000 | #Constraints: 11956
65.15/65.40 c #Conflicts: 37000 | #Constraints: 12956
65.15/65.40 c INPROCESSING
65.15/65.40 c GARBAGE COLLECT
65.15/65.40 c #Conflicts: 38000 | #Constraints: 9966
65.15/65.40 c GLOBAL bounds - >= -2128 @ 63.9993
66.24/66.55 c #Conflicts: 39000 | #Constraints: 10968
66.24/66.55 c GLOBAL bounds - >= -2128 @ 65.1339
69.23/69.53 c #Conflicts: 40000 | #Constraints: 11970
69.23/69.53 c #Conflicts: 41000 | #Constraints: 12970
69.23/69.53 c INPROCESSING
69.23/69.53 c GARBAGE COLLECT
69.23/69.53 c GLOBAL bounds - >= -2128 @ 68.0792
70.13/70.47 c #Conflicts: 42000 | #Constraints: 9796
70.13/70.47 c GLOBAL bounds - >= -2128 @ 69.0105
70.63/70.91 c GLOBAL bounds - >= -2128 @ 69.4443
74.22/74.56 c #Conflicts: 43000 | #Constraints: 10800
74.22/74.56 c #Conflicts: 44000 | #Constraints: 11800
74.22/74.56 c GLOBAL bounds - >= -2128 @ 73.0723
75.61/75.95 c #Conflicts: 45000 | #Constraints: 12802
75.61/75.95 c GLOBAL bounds - >= -2128 @ 74.439
77.91/78.23 c #Conflicts: 46000 | #Constraints: 13804
77.91/78.23 c INPROCESSING
77.91/78.23 c GARBAGE COLLECT
77.91/78.23 c GLOBAL bounds - >= -2128 @ 76.6903
78.51/78.80 c GLOBAL bounds - >= -2128 @ 77.2443
81.50/81.85 c #Conflicts: 47000 | #Constraints: 10393
81.50/81.85 c #Conflicts: 48000 | #Constraints: 11393
81.50/81.85 c GLOBAL bounds - >= -2128 @ 80.2469
82.39/82.75 c GLOBAL bounds - >= -2128 @ 81.1287
83.80/84.12 c #Conflicts: 49000 | #Constraints: 12397
83.80/84.12 c GLOBAL bounds - >= -2128 @ 82.4889
84.80/85.11 c GLOBAL bounds - >= -2128 @ 83.467
88.18/88.54 c #Conflicts: 50000 | #Constraints: 13401
88.18/88.54 c #Conflicts: 51000 | #Constraints: 14401
88.18/88.54 c INPROCESSING
88.18/88.54 c GARBAGE COLLECT
88.18/88.54 c GLOBAL bounds - >= -2128 @ 86.8329
88.79/89.14 c #Conflicts: 52000 | #Constraints: 10797
88.79/89.14 c GLOBAL bounds - >= -2128 @ 87.4299
90.87/91.21 c #Conflicts: 53000 | #Constraints: 11799
90.87/91.21 c GLOBAL bounds - >= -2128 @ 89.4705
94.57/94.92 c #Conflicts: 54000 | #Constraints: 12801
94.57/94.92 c #Conflicts: 55000 | #Constraints: 13801
94.57/94.92 c GLOBAL bounds - >= -2128 @ 93.1407
95.57/95.96 c GLOBAL bounds - >= -2128 @ 94.1781
96.36/96.79 c #Conflicts: 56000 | #Constraints: 14805
96.36/96.79 c INPROCESSING
96.36/96.79 c GARBAGE COLLECT
96.36/96.79 c GLOBAL bounds - >= -2128 @ 94.995
106.23/106.68 c #Conflicts: 57000 | #Constraints: 11014
106.23/106.68 c #Conflicts: 58000 | #Constraints: 12014
106.23/106.68 c #Conflicts: 59000 | #Constraints: 13014
106.23/106.68 c #Conflicts: 60000 | #Constraints: 14014
106.23/106.68 c #Conflicts: 61000 | #Constraints: 15014
106.23/106.68 c INPROCESSING
106.23/106.68 c GARBAGE COLLECT
106.23/106.68 c #Conflicts: 62000 | #Constraints: 11019
106.23/106.68 c GLOBAL bounds - >= -2128 @ 104.754
113.59/114.06 c #Conflicts: 63000 | #Constraints: 12021
113.59/114.06 c #Conflicts: 64000 | #Constraints: 13021
113.59/114.06 c #Conflicts: 65000 | #Constraints: 14021
113.59/114.06 c GLOBAL bounds - >= -2128 @ 112.052
117.28/117.76 c #Conflicts: 66000 | #Constraints: 15023
117.28/117.76 c INPROCESSING
117.28/117.76 c GARBAGE COLLECT
117.28/117.76 c #Conflicts: 67000 | #Constraints: 10807
117.28/117.76 c GLOBAL bounds - >= -2128 @ 115.671
118.38/118.84 c #Conflicts: 68000 | #Constraints: 11809
118.38/118.84 c GLOBAL bounds - >= -2128 @ 116.734
119.38/119.86 c GLOBAL bounds - >= -2128 @ 117.743
120.27/120.73 c GLOBAL bounds - >= -2128 @ 118.594
120.68/121.11 c #Conflicts: 69000 | #Constraints: 12815
120.68/121.11 c GLOBAL bounds - >= -2128 @ 118.967
122.07/122.50 c GLOBAL bounds - >= -2128 @ 120.333
122.47/122.92 c GLOBAL bounds - >= -2128 @ 120.745
123.17/123.65 c #Conflicts: 70000 | #Constraints: 13821
123.17/123.65 c GLOBAL bounds - >= -2128 @ 121.47
123.67/124.14 c GLOBAL bounds - >= -2128 @ 121.948
123.86/124.37 c GLOBAL bounds - >= -2128 @ 122.167
128.55/129.03 c #Conflicts: 71000 | #Constraints: 14827
128.55/129.03 c #Conflicts: 72000 | #Constraints: 15827
128.55/129.03 c INPROCESSING
128.55/129.03 c GARBAGE COLLECT
128.55/129.03 c #Conflicts: 73000 | #Constraints: 11414
128.55/129.03 c GLOBAL bounds - >= -2128 @ 126.741
131.25/131.72 c #Conflicts: 74000 | #Constraints: 12416
131.25/131.72 c GLOBAL bounds - >= -2128 @ 129.396
137.82/138.37 c #Conflicts: 75000 | #Constraints: 13418
137.82/138.37 c #Conflicts: 76000 | #Constraints: 14418
137.82/138.37 c GLOBAL bounds - >= -2128 @ 135.971
153.49/154.10 c #Conflicts: 77000 | #Constraints: 15420
153.49/154.10 c #Conflicts: 78000 | #Constraints: 16420
153.49/154.10 c INPROCESSING
153.49/154.10 c GARBAGE COLLECT
153.49/154.10 c #Conflicts: 79000 | #Constraints: 11832
153.49/154.10 c #Conflicts: 80000 | #Constraints: 12832
153.49/154.10 c #Conflicts: 81000 | #Constraints: 13832
153.49/154.10 c #Conflicts: 82000 | #Constraints: 14832
153.49/154.10 c #Conflicts: 83000 | #Constraints: 15832
153.49/154.10 c #Conflicts: 84000 | #Constraints: 16832
153.49/154.10 c INPROCESSING
153.49/154.10 c GARBAGE COLLECT
153.49/154.10 c #Conflicts: 85000 | #Constraints: 12022
153.49/154.10 c GLOBAL bounds - >= -2128 @ 151.477
192.38/193.08 c #Conflicts: 86000 | #Constraints: 13024
192.38/193.08 c #Conflicts: 87000 | #Constraints: 14024
192.38/193.08 c #Conflicts: 88000 | #Constraints: 15024
192.38/193.08 c #Conflicts: 89000 | #Constraints: 16024
192.38/193.08 c #Conflicts: 90000 | #Constraints: 17024
192.38/193.08 c INPROCESSING
192.38/193.08 c GARBAGE COLLECT
192.38/193.08 c #Conflicts: 91000 | #Constraints: 12045
192.38/193.08 c #Conflicts: 92000 | #Constraints: 13045
192.38/193.08 c #Conflicts: 93000 | #Constraints: 14045
192.38/193.08 c #Conflicts: 94000 | #Constraints: 15045
192.38/193.08 c #Conflicts: 95000 | #Constraints: 16045
192.38/193.08 c #Conflicts: 96000 | #Constraints: 17045
192.38/193.08 c INPROCESSING
192.38/193.08 c GARBAGE COLLECT
192.38/193.08 c #Conflicts: 97000 | #Constraints: 11865
192.38/193.08 c #Conflicts: 98000 | #Constraints: 12865
192.38/193.08 c #Conflicts: 99000 | #Constraints: 13865
192.38/193.08 c #Conflicts: 100000 | #Constraints: 14865
192.38/193.08 c #Conflicts: 101000 | #Constraints: 15865
192.38/193.08 c #Conflicts: 102000 | #Constraints: 16865
192.38/193.08 c #Conflicts: 103000 | #Constraints: 17865
192.38/193.08 c INPROCESSING
192.38/193.08 c GARBAGE COLLECT
192.38/193.08 c #Conflicts: 104000 | #Constraints: 12472
192.38/193.08 c GLOBAL bounds - >= -2128 @ 190.098
202.74/203.44 c #Conflicts: 105000 | #Constraints: 13474
202.74/203.44 c #Conflicts: 106000 | #Constraints: 14474
202.74/203.44 c #Conflicts: 107000 | #Constraints: 15474
202.74/203.44 c #Conflicts: 108000 | #Constraints: 16474
202.74/203.44 c #Conflicts: 109000 | #Constraints: 17474
202.74/203.44 c GLOBAL bounds - >= -2128 @ 200.311
205.04/205.77 c #Conflicts: 110000 | #Constraints: 18476
205.04/205.77 c INPROCESSING
205.04/205.77 c GARBAGE COLLECT
205.04/205.77 c GLOBAL bounds - >= -2128 @ 202.587
207.34/208.03 c #Conflicts: 111000 | #Constraints: 12900
207.34/208.03 c GLOBAL bounds - >= -2128 @ 204.82
210.72/211.42 c #Conflicts: 112000 | #Constraints: 13902
210.72/211.42 c #Conflicts: 113000 | #Constraints: 14902
210.72/211.42 c GLOBAL bounds - >= -2128 @ 208.175
213.61/214.36 c #Conflicts: 114000 | #Constraints: 15904
213.61/214.36 c GLOBAL bounds - >= -2128 @ 211.091
215.41/216.10 c #Conflicts: 115000 | #Constraints: 16906
215.41/216.10 c GLOBAL bounds - >= -2128 @ 212.813
225.38/226.17 c #Conflicts: 116000 | #Constraints: 17908
225.38/226.17 c #Conflicts: 117000 | #Constraints: 18908
225.38/226.17 c INPROCESSING
225.38/226.17 c GARBAGE COLLECT
225.38/226.17 c #Conflicts: 118000 | #Constraints: 13113
225.38/226.17 c #Conflicts: 119000 | #Constraints: 14113
225.38/226.17 c #Conflicts: 120000 | #Constraints: 15113
225.38/226.17 c #Conflicts: 121000 | #Constraints: 16113
225.38/226.17 c GLOBAL bounds - >= -2128 @ 222.741
229.46/230.27 c #Conflicts: 122000 | #Constraints: 17115
229.46/230.27 c GLOBAL bounds - >= -2128 @ 226.794
278.93/279.87 c #Conflicts: 123000 | #Constraints: 18117
278.93/279.87 c #Conflicts: 124000 | #Constraints: 19117
278.93/279.87 c INPROCESSING
278.93/279.87 c GARBAGE COLLECT
278.93/279.87 c #Conflicts: 125000 | #Constraints: 13133
278.93/279.87 c #Conflicts: 126000 | #Constraints: 14133
278.93/279.87 c #Conflicts: 127000 | #Constraints: 15133
278.93/279.87 c #Conflicts: 128000 | #Constraints: 16133
278.93/279.87 c #Conflicts: 129000 | #Constraints: 17133
278.93/279.87 c #Conflicts: 130000 | #Constraints: 18133
278.93/279.87 c #Conflicts: 131000 | #Constraints: 19133
278.93/279.87 c INPROCESSING
278.93/279.87 c GARBAGE COLLECT
278.93/279.87 c #Conflicts: 132000 | #Constraints: 12932
278.93/279.87 c #Conflicts: 133000 | #Constraints: 13932
278.93/279.87 c #Conflicts: 134000 | #Constraints: 14932
278.93/279.87 c #Conflicts: 135000 | #Constraints: 15932
278.93/279.87 c #Conflicts: 136000 | #Constraints: 16932
278.93/279.87 c #Conflicts: 137000 | #Constraints: 17932
278.93/279.87 c #Conflicts: 138000 | #Constraints: 18932
278.93/279.87 c #Conflicts: 139000 | #Constraints: 19932
278.93/279.87 c INPROCESSING
278.93/279.87 c GARBAGE COLLECT
278.93/279.87 c #Conflicts: 140000 | #Constraints: 13545
278.93/279.87 c #Conflicts: 141000 | #Constraints: 14545
278.93/279.87 c #Conflicts: 142000 | #Constraints: 15545
278.93/279.87 c #Conflicts: 143000 | #Constraints: 16545
278.93/279.87 c #Conflicts: 144000 | #Constraints: 17545
278.93/279.87 c #Conflicts: 145000 | #Constraints: 18545
278.93/279.87 c #Conflicts: 146000 | #Constraints: 19545
278.93/279.87 c #Conflicts: 147000 | #Constraints: 20545
278.93/279.87 c INPROCESSING
278.93/279.87 c GARBAGE COLLECT
278.93/279.87 c #Conflicts: 148000 | #Constraints: 13958
278.93/279.87 c GLOBAL bounds - >= -2128 @ 275.827
286.40/287.32 c #Conflicts: 149000 | #Constraints: 14960
286.40/287.32 c #Conflicts: 150000 | #Constraints: 15960
286.40/287.32 c #Conflicts: 151000 | #Constraints: 16960
286.40/287.32 c GLOBAL bounds - >= -2128 @ 283.191
290.69/291.66 c #Conflicts: 152000 | #Constraints: 17962
290.69/291.66 c #Conflicts: 153000 | #Constraints: 18962
290.69/291.66 c GLOBAL bounds - >= -2128 @ 287.477
291.29/292.20 c GLOBAL bounds - >= -2128 @ 287.991
298.47/299.46 c #Conflicts: 154000 | #Constraints: 19966
298.47/299.46 c #Conflicts: 155000 | #Constraints: 20966
298.47/299.46 c INPROCESSING
298.47/299.46 c GARBAGE COLLECT
298.47/299.46 c #Conflicts: 156000 | #Constraints: 14170
298.47/299.46 c GLOBAL bounds - >= -2128 @ 295.174
306.84/307.82 c #Conflicts: 157000 | #Constraints: 15172
306.84/307.82 c #Conflicts: 158000 | #Constraints: 16172
306.84/307.82 c #Conflicts: 159000 | #Constraints: 17172
306.84/307.82 c #Conflicts: 160000 | #Constraints: 18172
306.84/307.82 c GLOBAL bounds - >= -2128 @ 303.47
317.81/318.84 c #Conflicts: 161000 | #Constraints: 19174
317.81/318.84 c #Conflicts: 162000 | #Constraints: 20174
317.81/318.84 c #Conflicts: 163000 | #Constraints: 21174
317.81/318.84 c INPROCESSING
317.81/318.84 c GARBAGE COLLECT
317.81/318.84 c #Conflicts: 164000 | #Constraints: 14151
317.81/318.84 c #Conflicts: 165000 | #Constraints: 15151
317.81/318.84 c #Conflicts: 166000 | #Constraints: 16151
317.81/318.84 c #Conflicts: 167000 | #Constraints: 17151
317.81/318.84 c GLOBAL bounds - >= -2128 @ 314.386
326.48/327.59 c #Conflicts: 168000 | #Constraints: 18153
326.48/327.59 c #Conflicts: 169000 | #Constraints: 19153
326.48/327.59 c #Conflicts: 170000 | #Constraints: 20153
326.48/327.59 c GLOBAL bounds - >= -2128 @ 323.056
373.35/374.59 c #Conflicts: 171000 | #Constraints: 21155
373.35/374.59 c INPROCESSING
373.35/374.59 c GARBAGE COLLECT
373.35/374.59 c #Conflicts: 172000 | #Constraints: 13932
373.35/374.59 c #Conflicts: 173000 | #Constraints: 14932
373.35/374.59 c #Conflicts: 174000 | #Constraints: 15932
373.35/374.59 c #Conflicts: 175000 | #Constraints: 16932
373.35/374.59 c #Conflicts: 176000 | #Constraints: 17932
373.35/374.59 c #Conflicts: 177000 | #Constraints: 18932
373.35/374.59 c #Conflicts: 178000 | #Constraints: 19932
373.35/374.59 c #Conflicts: 179000 | #Constraints: 20932
373.35/374.59 c #Conflicts: 180000 | #Constraints: 21932
373.35/374.59 c INPROCESSING
373.35/374.59 c GARBAGE COLLECT
373.35/374.59 c #Conflicts: 181000 | #Constraints: 14536
373.35/374.59 c #Conflicts: 182000 | #Constraints: 15536
373.35/374.59 c #Conflicts: 183000 | #Constraints: 16536
373.35/374.59 c #Conflicts: 184000 | #Constraints: 17536
373.35/374.59 c #Conflicts: 185000 | #Constraints: 18536
373.35/374.59 c #Conflicts: 186000 | #Constraints: 19536
373.35/374.59 c #Conflicts: 187000 | #Constraints: 20536
373.35/374.59 c #Conflicts: 188000 | #Constraints: 21536
373.35/374.59 c #Conflicts: 189000 | #Constraints: 22536
373.35/374.59 c INPROCESSING
373.35/374.59 c GARBAGE COLLECT
373.35/374.59 c #Conflicts: 190000 | #Constraints: 14928
373.35/374.59 c #Conflicts: 191000 | #Constraints: 15928
373.35/374.59 c #Conflicts: 192000 | #Constraints: 16928
373.35/374.59 c #Conflicts: 193000 | #Constraints: 17928
373.35/374.59 c #Conflicts: 194000 | #Constraints: 18928
373.35/374.59 c #Conflicts: 195000 | #Constraints: 19928
373.35/374.59 c #Conflicts: 196000 | #Constraints: 20928
373.35/374.59 c #Conflicts: 197000 | #Constraints: 21928
373.35/374.59 c #Conflicts: 198000 | #Constraints: 22928
373.35/374.59 c INPROCESSING
373.35/374.59 c GARBAGE COLLECT
373.35/374.59 c GLOBAL bounds - >= -2128 @ 369.594
385.52/386.72 c #Conflicts: 199000 | #Constraints: 15131
385.52/386.72 c #Conflicts: 200000 | #Constraints: 16131
385.52/386.72 c #Conflicts: 201000 | #Constraints: 17131
385.52/386.72 c #Conflicts: 202000 | #Constraints: 18131
385.52/386.72 c #Conflicts: 203000 | #Constraints: 19131
385.52/386.72 c #Conflicts: 204000 | #Constraints: 20131
385.52/386.72 c #Conflicts: 205000 | #Constraints: 21131
385.52/386.72 c #Conflicts: 206000 | #Constraints: 22131
385.52/386.72 c #Conflicts: 207000 | #Constraints: 23131
385.52/386.72 c INPROCESSING
385.52/386.72 c GARBAGE COLLECT
385.52/386.72 c GLOBAL bounds - >= -2128 @ 381.539
400.67/401.95 c #Conflicts: 208000 | #Constraints: 15190
400.67/401.95 c #Conflicts: 209000 | #Constraints: 16190
400.67/401.95 c #Conflicts: 210000 | #Constraints: 17190
400.67/401.95 c #Conflicts: 211000 | #Constraints: 18190
400.67/401.95 c #Conflicts: 212000 | #Constraints: 19190
400.67/401.95 c #Conflicts: 213000 | #Constraints: 20190
400.67/401.95 c #Conflicts: 214000 | #Constraints: 21190
400.67/401.95 c #Conflicts: 215000 | #Constraints: 22190
400.67/401.95 c GLOBAL bounds - >= -2128 @ 396.639
467.37/468.84 c #Conflicts: 216000 | #Constraints: 23192
467.37/468.84 c INPROCESSING
467.37/468.84 c GARBAGE COLLECT
467.37/468.84 c #Conflicts: 217000 | #Constraints: 15004
467.37/468.84 c #Conflicts: 218000 | #Constraints: 16004
467.37/468.84 c #Conflicts: 219000 | #Constraints: 17004
467.37/468.84 c #Conflicts: 220000 | #Constraints: 18004
467.37/468.84 c #Conflicts: 221000 | #Constraints: 19004
467.37/468.84 c #Conflicts: 222000 | #Constraints: 20004
467.37/468.84 c #Conflicts: 223000 | #Constraints: 21004
467.37/468.84 c #Conflicts: 224000 | #Constraints: 22004
467.37/468.84 c #Conflicts: 225000 | #Constraints: 23004
467.37/468.84 c #Conflicts: 226000 | #Constraints: 24004
467.37/468.84 c INPROCESSING
467.37/468.84 c GARBAGE COLLECT
467.37/468.84 c #Conflicts: 227000 | #Constraints: 15607
467.37/468.84 c #Conflicts: 228000 | #Constraints: 16607
467.37/468.84 c #Conflicts: 229000 | #Constraints: 17607
467.37/468.84 c #Conflicts: 230000 | #Constraints: 18607
467.37/468.84 c #Conflicts: 231000 | #Constraints: 19607
467.37/468.84 c #Conflicts: 232000 | #Constraints: 20607
467.37/468.84 c #Conflicts: 233000 | #Constraints: 21607
467.37/468.84 c #Conflicts: 234000 | #Constraints: 22607
467.37/468.84 c #Conflicts: 235000 | #Constraints: 23607
467.37/468.84 c #Conflicts: 236000 | #Constraints: 24607
467.37/468.84 c INPROCESSING
467.37/468.84 c GARBAGE COLLECT
467.37/468.84 c #Conflicts: 237000 | #Constraints: 16001
467.37/468.84 c #Conflicts: 238000 | #Constraints: 17001
467.37/468.84 c #Conflicts: 239000 | #Constraints: 18001
467.37/468.84 c #Conflicts: 240000 | #Constraints: 19001
467.37/468.84 c #Conflicts: 241000 | #Constraints: 20001
467.37/468.84 c #Conflicts: 242000 | #Constraints: 21001
467.37/468.84 c #Conflicts: 243000 | #Constraints: 22001
467.37/468.84 c #Conflicts: 244000 | #Constraints: 23001
467.37/468.84 c #Conflicts: 245000 | #Constraints: 24001
467.37/468.84 c GLOBAL bounds - >= -2128 @ 463.062
531.69/533.34 c #Conflicts: 246000 | #Constraints: 25003
531.69/533.34 c INPROCESSING
531.69/533.34 c GARBAGE COLLECT
531.69/533.34 c #Conflicts: 247000 | #Constraints: 16178
531.69/533.34 c #Conflicts: 248000 | #Constraints: 17178
531.69/533.34 c #Conflicts: 249000 | #Constraints: 18178
531.69/533.34 c #Conflicts: 250000 | #Constraints: 19178
531.69/533.34 c #Conflicts: 251000 | #Constraints: 20178
531.69/533.34 c #Conflicts: 252000 | #Constraints: 21178
531.69/533.34 c #Conflicts: 253000 | #Constraints: 22178
531.69/533.34 c #Conflicts: 254000 | #Constraints: 23178
531.69/533.34 c #Conflicts: 255000 | #Constraints: 24178
531.69/533.34 c #Conflicts: 256000 | #Constraints: 25178
531.69/533.34 c INPROCESSING
531.69/533.34 c GARBAGE COLLECT
531.69/533.34 c #Conflicts: 257000 | #Constraints: 16181
531.69/533.34 c #Conflicts: 258000 | #Constraints: 17181
531.69/533.34 c #Conflicts: 259000 | #Constraints: 18181
531.69/533.34 c #Conflicts: 260000 | #Constraints: 19181
531.69/533.34 c #Conflicts: 261000 | #Constraints: 20181
531.69/533.34 c #Conflicts: 262000 | #Constraints: 21181
531.69/533.34 c #Conflicts: 263000 | #Constraints: 22181
531.69/533.34 c #Conflicts: 264000 | #Constraints: 23181
531.69/533.34 c #Conflicts: 265000 | #Constraints: 24181
531.69/533.34 c #Conflicts: 266000 | #Constraints: 25181
531.69/533.34 c INPROCESSING
531.69/533.34 c GARBAGE COLLECT
531.69/533.34 c #Conflicts: 267000 | #Constraints: 16006
531.69/533.34 c #Conflicts: 268000 | #Constraints: 17006
531.69/533.34 c #Conflicts: 269000 | #Constraints: 18006
531.69/533.34 c #Conflicts: 270000 | #Constraints: 19006
531.69/533.34 c #Conflicts: 271000 | #Constraints: 20006
531.69/533.34 c #Conflicts: 272000 | #Constraints: 21006
531.69/533.34 c #Conflicts: 273000 | #Constraints: 22006
531.69/533.34 c #Conflicts: 274000 | #Constraints: 23006
531.69/533.34 c #Conflicts: 275000 | #Constraints: 24006
531.69/533.34 c #Conflicts: 276000 | #Constraints: 25006
531.69/533.34 c GLOBAL bounds - >= -2128 @ 527.004
549.34/551.07 c #Conflicts: 277000 | #Constraints: 26008
549.34/551.07 c INPROCESSING
549.34/551.07 c GARBAGE COLLECT
549.34/551.07 c #Conflicts: 278000 | #Constraints: 16585
549.34/551.07 c #Conflicts: 279000 | #Constraints: 17585
549.34/551.07 c #Conflicts: 280000 | #Constraints: 18585
549.34/551.07 c #Conflicts: 281000 | #Constraints: 19585
549.34/551.07 c #Conflicts: 282000 | #Constraints: 20585
549.34/551.07 c #Conflicts: 283000 | #Constraints: 21585
549.34/551.07 c #Conflicts: 284000 | #Constraints: 22585
549.34/551.07 c GLOBAL bounds - >= -2128 @ 544.547
595.11/596.96 c #Conflicts: 285000 | #Constraints: 23587
595.11/596.96 c #Conflicts: 286000 | #Constraints: 24587
595.11/596.96 c #Conflicts: 287000 | #Constraints: 25587
595.11/596.96 c #Conflicts: 288000 | #Constraints: 26587
595.11/596.96 c INPROCESSING
595.11/596.96 c GARBAGE COLLECT
595.11/596.96 c #Conflicts: 289000 | #Constraints: 16990
595.11/596.96 c #Conflicts: 290000 | #Constraints: 17990
595.11/596.96 c #Conflicts: 291000 | #Constraints: 18990
595.11/596.96 c #Conflicts: 292000 | #Constraints: 19990
595.11/596.96 c #Conflicts: 293000 | #Constraints: 20990
595.11/596.96 c #Conflicts: 294000 | #Constraints: 21990
595.11/596.96 c #Conflicts: 295000 | #Constraints: 22990
595.11/596.96 c #Conflicts: 296000 | #Constraints: 23990
595.11/596.96 c #Conflicts: 297000 | #Constraints: 24990
595.11/596.96 c #Conflicts: 298000 | #Constraints: 25990
595.11/596.96 c #Conflicts: 299000 | #Constraints: 26990
595.11/596.96 c INPROCESSING
595.11/596.96 c GARBAGE COLLECT
595.11/596.96 c #Conflicts: 300000 | #Constraints: 17213
595.11/596.96 c #Conflicts: 301000 | #Constraints: 18213
595.11/596.96 c #Conflicts: 302000 | #Constraints: 19213
595.11/596.96 c #Conflicts: 303000 | #Constraints: 20213
595.11/596.96 c #Conflicts: 304000 | #Constraints: 21213
595.11/596.96 c GLOBAL bounds - >= -2128 @ 590.011
627.42/629.34 c #Conflicts: 305000 | #Constraints: 22215
627.42/629.34 c #Conflicts: 306000 | #Constraints: 23215
627.42/629.34 c #Conflicts: 307000 | #Constraints: 24215
627.42/629.34 c #Conflicts: 308000 | #Constraints: 25215
627.42/629.34 c #Conflicts: 309000 | #Constraints: 26215
627.42/629.34 c #Conflicts: 310000 | #Constraints: 27215
627.42/629.34 c INPROCESSING
627.42/629.34 c GARBAGE COLLECT
627.42/629.34 c #Conflicts: 311000 | #Constraints: 17210
627.42/629.34 c #Conflicts: 312000 | #Constraints: 18210
627.42/629.34 c #Conflicts: 313000 | #Constraints: 19210
627.42/629.34 c #Conflicts: 314000 | #Constraints: 20210
627.42/629.34 c #Conflicts: 315000 | #Constraints: 21210
627.42/629.34 c #Conflicts: 316000 | #Constraints: 22210
627.42/629.34 c #Conflicts: 317000 | #Constraints: 23210
627.42/629.34 c #Conflicts: 318000 | #Constraints: 24210
627.42/629.34 c #Conflicts: 319000 | #Constraints: 25210
627.42/629.34 c #Conflicts: 320000 | #Constraints: 26210
627.42/629.34 c #Conflicts: 321000 | #Constraints: 27210
627.42/629.34 c INPROCESSING
627.42/629.34 c GARBAGE COLLECT
627.42/629.34 c #Conflicts: 322000 | #Constraints: 17025
627.42/629.34 c GLOBAL bounds - >= -2128 @ 622.083
668.50/670.55 c #Conflicts: 323000 | #Constraints: 18027
668.50/670.55 c #Conflicts: 324000 | #Constraints: 19027
668.50/670.55 c #Conflicts: 325000 | #Constraints: 20027
668.50/670.55 c #Conflicts: 326000 | #Constraints: 21027
668.50/670.55 c #Conflicts: 327000 | #Constraints: 22027
668.50/670.55 c #Conflicts: 328000 | #Constraints: 23027
668.50/670.55 c #Conflicts: 329000 | #Constraints: 24027
668.50/670.55 c #Conflicts: 330000 | #Constraints: 25027
668.50/670.55 c #Conflicts: 331000 | #Constraints: 26027
668.50/670.55 c #Conflicts: 332000 | #Constraints: 27027
668.50/670.55 c #Conflicts: 333000 | #Constraints: 28027
668.50/670.55 c INPROCESSING
668.50/670.55 c GARBAGE COLLECT
668.50/670.55 c #Conflicts: 334000 | #Constraints: 17637
668.50/670.55 c #Conflicts: 335000 | #Constraints: 18637
668.50/670.55 c #Conflicts: 336000 | #Constraints: 19637
668.50/670.55 c #Conflicts: 337000 | #Constraints: 20637
668.50/670.55 c #Conflicts: 338000 | #Constraints: 21637
668.50/670.55 c #Conflicts: 339000 | #Constraints: 22637
668.50/670.55 c #Conflicts: 340000 | #Constraints: 23637
668.50/670.55 c #Conflicts: 341000 | #Constraints: 24637
668.50/670.55 c #Conflicts: 342000 | #Constraints: 25637
668.50/670.55 c GLOBAL bounds - >= -2128 @ 662.937
679.67/681.72 c #Conflicts: 343000 | #Constraints: 26639
679.67/681.72 c #Conflicts: 344000 | #Constraints: 27639
679.67/681.72 c #Conflicts: 345000 | #Constraints: 28639
679.67/681.72 c INPROCESSING
679.67/681.72 c GARBAGE COLLECT
679.67/681.72 c GLOBAL bounds - >= -2128 @ 674.001
702.31/704.40 c #Conflicts: 346000 | #Constraints: 18071
702.31/704.40 c #Conflicts: 347000 | #Constraints: 19071
702.31/704.40 c #Conflicts: 348000 | #Constraints: 20071
702.31/704.40 c #Conflicts: 349000 | #Constraints: 21071
702.31/704.40 c #Conflicts: 350000 | #Constraints: 22071
702.31/704.40 c #Conflicts: 351000 | #Constraints: 23071
702.31/704.40 c #Conflicts: 352000 | #Constraints: 24071
702.31/704.40 c #Conflicts: 353000 | #Constraints: 25071
702.31/704.40 c #Conflicts: 354000 | #Constraints: 26071
702.31/704.40 c #Conflicts: 355000 | #Constraints: 27071
702.31/704.40 c #Conflicts: 356000 | #Constraints: 28071
702.31/704.40 c GLOBAL bounds - >= -2128 @ 696.462
715.66/717.87 c #Conflicts: 357000 | #Constraints: 29073
715.66/717.87 c INPROCESSING
715.66/717.87 c GARBAGE COLLECT
715.66/717.87 c #Conflicts: 358000 | #Constraints: 18194
715.66/717.87 c #Conflicts: 359000 | #Constraints: 19194
715.66/717.87 c #Conflicts: 360000 | #Constraints: 20194
715.66/717.87 c #Conflicts: 361000 | #Constraints: 21194
715.66/717.87 c #Conflicts: 362000 | #Constraints: 22194
715.66/717.87 c GLOBAL bounds - >= -2128 @ 709.77
726.53/728.70 c #Conflicts: 363000 | #Constraints: 23196
726.53/728.70 c #Conflicts: 364000 | #Constraints: 24196
726.53/728.70 c #Conflicts: 365000 | #Constraints: 25196
726.53/728.70 c GLOBAL bounds - >= -2128 @ 720.523
823.46/825.93 c #Conflicts: 366000 | #Constraints: 26198
823.46/825.93 c #Conflicts: 367000 | #Constraints: 27198
823.46/825.93 c #Conflicts: 368000 | #Constraints: 28198
823.46/825.93 c #Conflicts: 369000 | #Constraints: 29198
823.46/825.93 c INPROCESSING
823.46/825.93 c GARBAGE COLLECT
823.46/825.93 c #Conflicts: 370000 | #Constraints: 18161
823.46/825.93 c #Conflicts: 371000 | #Constraints: 19161
823.46/825.93 c #Conflicts: 372000 | #Constraints: 20161
823.46/825.93 c #Conflicts: 373000 | #Constraints: 21161
823.46/825.93 c #Conflicts: 374000 | #Constraints: 22161
823.46/825.93 c #Conflicts: 375000 | #Constraints: 23161
823.46/825.93 c #Conflicts: 376000 | #Constraints: 24161
823.46/825.93 c #Conflicts: 377000 | #Constraints: 25161
823.46/825.93 c #Conflicts: 378000 | #Constraints: 26161
823.46/825.93 c #Conflicts: 379000 | #Constraints: 27161
823.46/825.93 c #Conflicts: 380000 | #Constraints: 28161
823.46/825.93 c #Conflicts: 381000 | #Constraints: 29161
823.46/825.93 c INPROCESSING
823.46/825.93 c GARBAGE COLLECT
823.46/825.93 c #Conflicts: 382000 | #Constraints: 17953
823.46/825.93 c #Conflicts: 383000 | #Constraints: 18953
823.46/825.93 c #Conflicts: 384000 | #Constraints: 19953
823.46/825.93 c #Conflicts: 385000 | #Constraints: 20953
823.46/825.93 c #Conflicts: 386000 | #Constraints: 21953
823.46/825.93 c #Conflicts: 387000 | #Constraints: 22953
823.46/825.93 c #Conflicts: 388000 | #Constraints: 23953
823.46/825.93 c #Conflicts: 389000 | #Constraints: 24953
823.46/825.93 c #Conflicts: 390000 | #Constraints: 25953
823.46/825.93 c #Conflicts: 391000 | #Constraints: 26953
823.46/825.93 c #Conflicts: 392000 | #Constraints: 27953
823.46/825.93 c #Conflicts: 393000 | #Constraints: 28953
823.46/825.93 c #Conflicts: 394000 | #Constraints: 29953
823.46/825.93 c INPROCESSING
823.46/825.93 c GARBAGE COLLECT
823.46/825.93 c #Conflicts: 395000 | #Constraints: 18553
823.46/825.93 c #Conflicts: 396000 | #Constraints: 19553
823.46/825.93 c #Conflicts: 397000 | #Constraints: 20553
823.46/825.93 c #Conflicts: 398000 | #Constraints: 21553
823.46/825.93 c #Conflicts: 399000 | #Constraints: 22553
823.46/825.93 c #Conflicts: 400000 | #Constraints: 23553
823.46/825.93 c #Conflicts: 401000 | #Constraints: 24553
823.46/825.93 c #Conflicts: 402000 | #Constraints: 25553
823.46/825.93 c GLOBAL bounds - >= -2128 @ 817.004
837.72/840.22 c #Conflicts: 403000 | #Constraints: 26555
837.72/840.22 c #Conflicts: 404000 | #Constraints: 27555
837.72/840.22 c #Conflicts: 405000 | #Constraints: 28555
837.72/840.22 c #Conflicts: 406000 | #Constraints: 29555
837.72/840.22 c GLOBAL bounds - >= -2128 @ 831.166
993.08/996.01 c #Conflicts: 407000 | #Constraints: 30557
993.08/996.01 c INPROCESSING
993.08/996.01 c GARBAGE COLLECT
993.08/996.01 c #Conflicts: 408000 | #Constraints: 18941
993.08/996.01 c #Conflicts: 409000 | #Constraints: 19941
993.08/996.01 c #Conflicts: 410000 | #Constraints: 20941
993.08/996.01 c #Conflicts: 411000 | #Constraints: 21941
993.08/996.01 c #Conflicts: 412000 | #Constraints: 22941
993.08/996.01 c #Conflicts: 413000 | #Constraints: 23941
993.08/996.01 c #Conflicts: 414000 | #Constraints: 24941
993.08/996.01 c #Conflicts: 415000 | #Constraints: 25941
993.08/996.01 c #Conflicts: 416000 | #Constraints: 26941
993.08/996.01 c #Conflicts: 417000 | #Constraints: 27941
993.08/996.01 c #Conflicts: 418000 | #Constraints: 28941
993.08/996.01 c #Conflicts: 419000 | #Constraints: 29941
993.08/996.01 c #Conflicts: 420000 | #Constraints: 30941
993.08/996.01 c INPROCESSING
993.08/996.01 c GARBAGE COLLECT
993.08/996.01 c #Conflicts: 421000 | #Constraints: 19184
993.08/996.01 c #Conflicts: 422000 | #Constraints: 20184
993.08/996.01 c #Conflicts: 423000 | #Constraints: 21184
993.08/996.01 c #Conflicts: 424000 | #Constraints: 22184
993.08/996.01 c #Conflicts: 425000 | #Constraints: 23184
993.08/996.01 c #Conflicts: 426000 | #Constraints: 24184
993.08/996.01 c #Conflicts: 427000 | #Constraints: 25184
993.08/996.01 c #Conflicts: 428000 | #Constraints: 26184
993.08/996.01 c #Conflicts: 429000 | #Constraints: 27184
993.08/996.01 c #Conflicts: 430000 | #Constraints: 28184
993.08/996.01 c #Conflicts: 431000 | #Constraints: 29184
993.08/996.01 c #Conflicts: 432000 | #Constraints: 30184
993.08/996.01 c #Conflicts: 433000 | #Constraints: 31184
993.08/996.01 c INPROCESSING
993.08/996.01 c GARBAGE COLLECT
993.08/996.01 c #Conflicts: 434000 | #Constraints: 19214
993.08/996.01 c #Conflicts: 435000 | #Constraints: 20214
993.08/996.01 c #Conflicts: 436000 | #Constraints: 21214
993.08/996.01 c #Conflicts: 437000 | #Constraints: 22214
993.08/996.01 c #Conflicts: 438000 | #Constraints: 23214
993.08/996.01 c #Conflicts: 439000 | #Constraints: 24214
993.08/996.01 c #Conflicts: 440000 | #Constraints: 25214
993.08/996.01 c #Conflicts: 441000 | #Constraints: 26214
993.08/996.01 c #Conflicts: 442000 | #Constraints: 27214
993.08/996.01 c #Conflicts: 443000 | #Constraints: 28214
993.08/996.01 c #Conflicts: 444000 | #Constraints: 29214
993.08/996.01 c #Conflicts: 445000 | #Constraints: 30214
993.08/996.01 c #Conflicts: 446000 | #Constraints: 31214
993.08/996.01 c INPROCESSING
993.08/996.01 c GARBAGE COLLECT
993.08/996.01 c #Conflicts: 447000 | #Constraints: 19022
993.08/996.01 c #Conflicts: 448000 | #Constraints: 20022
993.08/996.01 c #Conflicts: 449000 | #Constraints: 21022
993.08/996.01 c #Conflicts: 450000 | #Constraints: 22022
993.08/996.01 c #Conflicts: 451000 | #Constraints: 23022
993.08/996.01 c #Conflicts: 452000 | #Constraints: 24022
993.08/996.01 c #Conflicts: 453000 | #Constraints: 25022
993.08/996.01 c #Conflicts: 454000 | #Constraints: 26022
993.08/996.01 c #Conflicts: 455000 | #Constraints: 27022
993.08/996.01 c #Conflicts: 456000 | #Constraints: 28022
993.08/996.01 c #Conflicts: 457000 | #Constraints: 29022
993.08/996.01 c #Conflicts: 458000 | #Constraints: 30022
993.08/996.01 c #Conflicts: 459000 | #Constraints: 31022
993.08/996.01 c #Conflicts: 460000 | #Constraints: 32022
993.08/996.01 c INPROCESSING
993.08/996.01 c GARBAGE COLLECT
993.08/996.01 c #Conflicts: 461000 | #Constraints: 19632
993.08/996.01 c #Conflicts: 462000 | #Constraints: 20632
993.08/996.01 c #Conflicts: 463000 | #Constraints: 21632
993.08/996.01 c #Conflicts: 464000 | #Constraints: 22632
993.08/996.01 c #Conflicts: 465000 | #Constraints: 23632
993.08/996.01 c #Conflicts: 466000 | #Constraints: 24632
993.08/996.01 c #Conflicts: 467000 | #Constraints: 25632
993.08/996.01 c #Conflicts: 468000 | #Constraints: 26632
993.08/996.01 c #Conflicts: 469000 | #Constraints: 27632
993.08/996.01 c #Conflicts: 470000 | #Constraints: 28632
993.08/996.01 c #Conflicts: 471000 | #Constraints: 29632
993.08/996.01 c #Conflicts: 472000 | #Constraints: 30632
993.08/996.01 c #Conflicts: 473000 | #Constraints: 31632
993.08/996.01 c #Conflicts: 474000 | #Constraints: 32632
993.08/996.01 c INPROCESSING
993.08/996.01 c GARBAGE COLLECT
993.08/996.01 c #Conflicts: 475000 | #Constraints: 20035
993.08/996.01 c #Conflicts: 476000 | #Constraints: 21035
993.08/996.01 c #Conflicts: 477000 | #Constraints: 22035
993.08/996.01 c #Conflicts: 478000 | #Constraints: 23035
993.08/996.01 c #Conflicts: 479000 | #Constraints: 24035
993.08/996.01 c #Conflicts: 480000 | #Constraints: 25035
993.08/996.01 c #Conflicts: 481000 | #Constraints: 26035
1065.69/1068.87 c #Conflicts: 482000 | #Constraints: 27035
1065.69/1068.87 c #Conflicts: 483000 | #Constraints: 28035
1065.69/1068.87 c #Conflicts: 484000 | #Constraints: 29035
1065.69/1068.87 c #Conflicts: 485000 | #Constraints: 30035
1065.69/1068.87 c #Conflicts: 486000 | #Constraints: 31035
1065.69/1068.87 c #Conflicts: 487000 | #Constraints: 32035
1065.69/1068.87 c #Conflicts: 488000 | #Constraints: 33035
1065.69/1068.87 c INPROCESSING
1065.69/1068.87 c GARBAGE COLLECT
1065.69/1068.87 c #Conflicts: 489000 | #Constraints: 20233
1065.69/1068.87 c #Conflicts: 490000 | #Constraints: 21233
1065.69/1068.87 c #Conflicts: 491000 | #Constraints: 22233
1065.69/1068.87 c #Conflicts: 492000 | #Constraints: 23233
1065.69/1068.87 c #Conflicts: 493000 | #Constraints: 24233
1065.69/1068.87 c #Conflicts: 494000 | #Constraints: 25233
1065.69/1068.87 c #Conflicts: 495000 | #Constraints: 26233
1065.69/1068.87 c #Conflicts: 496000 | #Constraints: 27233
1065.69/1068.87 c #Conflicts: 497000 | #Constraints: 28233
1065.69/1068.87 c #Conflicts: 498000 | #Constraints: 29233
1065.69/1068.87 c #Conflicts: 499000 | #Constraints: 30233
1065.69/1068.87 c #Conflicts: 500000 | #Constraints: 31233
1065.69/1068.87 c #Conflicts: 501000 | #Constraints: 32233
1065.69/1068.87 c #Conflicts: 502000 | #Constraints: 33233
1065.69/1068.87 c INPROCESSING
1065.69/1068.87 c GARBAGE COLLECT
1065.69/1068.87 c #Conflicts: 503000 | #Constraints: 20241
1065.69/1068.87 c #Conflicts: 504000 | #Constraints: 21241
1065.69/1068.87 c #Conflicts: 505000 | #Constraints: 22241
1065.69/1068.87 c #Conflicts: 506000 | #Constraints: 23241
1065.69/1068.87 c #Conflicts: 507000 | #Constraints: 24241
1065.69/1068.87 c #Conflicts: 508000 | #Constraints: 25241
1065.69/1068.87 c #Conflicts: 509000 | #Constraints: 26241
1065.69/1068.87 c #Conflicts: 510000 | #Constraints: 27241
1065.69/1068.87 c #Conflicts: 511000 | #Constraints: 28241
1065.69/1068.87 c #Conflicts: 512000 | #Constraints: 29241
1065.69/1068.87 c #Conflicts: 513000 | #Constraints: 30241
1065.69/1068.87 c #Conflicts: 514000 | #Constraints: 31241
1065.69/1068.87 c #Conflicts: 515000 | #Constraints: 32241
1065.69/1068.87 c #Conflicts: 516000 | #Constraints: 33241
1065.69/1068.87 c INPROCESSING
1065.69/1068.87 c GARBAGE COLLECT
1065.69/1068.87 c #Conflicts: 517000 | #Constraints: 20013
1065.69/1068.87 c GLOBAL bounds - >= -2128 @ 1057.91
1069.57/1072.79 c #Conflicts: 518000 | #Constraints: 21015
1069.57/1072.79 c #Conflicts: 519000 | #Constraints: 22015
1069.57/1072.79 c #Conflicts: 520000 | #Constraints: 23015
1069.57/1072.79 c GLOBAL bounds - >= -2128 @ 1061.79
1079.95/1083.17 c #Conflicts: 521000 | #Constraints: 24017
1079.95/1083.17 c #Conflicts: 522000 | #Constraints: 25017
1079.95/1083.17 c #Conflicts: 523000 | #Constraints: 26017
1079.95/1083.17 c #Conflicts: 524000 | #Constraints: 27017
1079.95/1083.17 c #Conflicts: 525000 | #Constraints: 28017
1079.95/1083.17 c GLOBAL bounds - >= -2128 @ 1072.05
1155.35/1158.76 c #Conflicts: 526000 | #Constraints: 29019
1155.35/1158.76 c #Conflicts: 527000 | #Constraints: 30019
1155.35/1158.76 c #Conflicts: 528000 | #Constraints: 31019
1155.35/1158.76 c #Conflicts: 529000 | #Constraints: 32019
1155.35/1158.76 c #Conflicts: 530000 | #Constraints: 33019
1155.35/1158.76 c #Conflicts: 531000 | #Constraints: 34019
1155.35/1158.76 c INPROCESSING
1155.35/1158.76 c GARBAGE COLLECT
1155.35/1158.76 c #Conflicts: 532000 | #Constraints: 20624
1155.35/1158.76 c #Conflicts: 533000 | #Constraints: 21624
1155.35/1158.76 c #Conflicts: 534000 | #Constraints: 22624
1155.35/1158.76 c #Conflicts: 535000 | #Constraints: 23624
1155.35/1158.76 c #Conflicts: 536000 | #Constraints: 24624
1155.35/1158.76 c #Conflicts: 537000 | #Constraints: 25624
1155.35/1158.76 c #Conflicts: 538000 | #Constraints: 26624
1155.35/1158.76 c #Conflicts: 539000 | #Constraints: 27624
1155.35/1158.76 c #Conflicts: 540000 | #Constraints: 28624
1155.35/1158.76 c #Conflicts: 541000 | #Constraints: 29624
1155.35/1158.76 c #Conflicts: 542000 | #Constraints: 30624
1155.35/1158.76 c #Conflicts: 543000 | #Constraints: 31624
1155.35/1158.76 c #Conflicts: 544000 | #Constraints: 32624
1155.35/1158.76 c #Conflicts: 545000 | #Constraints: 33624
1155.35/1158.76 c #Conflicts: 546000 | #Constraints: 34624
1155.35/1158.76 c INPROCESSING
1155.35/1158.76 c GARBAGE COLLECT
1155.35/1158.76 c #Conflicts: 547000 | #Constraints: 21028
1155.35/1158.76 c #Conflicts: 548000 | #Constraints: 22028
1155.35/1158.76 c #Conflicts: 549000 | #Constraints: 23028
1155.35/1158.76 c #Conflicts: 550000 | #Constraints: 24028
1155.35/1158.76 c #Conflicts: 551000 | #Constraints: 25028
1155.35/1158.76 c #Conflicts: 552000 | #Constraints: 26028
1155.35/1158.76 c #Conflicts: 553000 | #Constraints: 27028
1155.35/1158.76 c #Conflicts: 554000 | #Constraints: 28028
1155.35/1158.76 c #Conflicts: 555000 | #Constraints: 29028
1155.35/1158.76 c #Conflicts: 556000 | #Constraints: 30028
1155.35/1158.76 c #Conflicts: 557000 | #Constraints: 31028
1155.35/1158.76 c #Conflicts: 558000 | #Constraints: 32028
1155.35/1158.76 c #Conflicts: 559000 | #Constraints: 33028
1155.35/1158.76 c #Conflicts: 560000 | #Constraints: 34028
1155.35/1158.76 c #Conflicts: 561000 | #Constraints: 35028
1155.35/1158.76 c INPROCESSING
1155.35/1158.76 c GARBAGE COLLECT
1155.35/1158.76 c #Conflicts: 562000 | #Constraints: 21220
1155.35/1158.76 c GLOBAL bounds - >= -2128 @ 1147.11
1216.39/1220.00 c #Conflicts: 563000 | #Constraints: 22222
1216.39/1220.00 c #Conflicts: 564000 | #Constraints: 23222
1216.39/1220.00 c #Conflicts: 565000 | #Constraints: 24222
1216.39/1220.00 c #Conflicts: 566000 | #Constraints: 25222
1216.39/1220.00 c #Conflicts: 567000 | #Constraints: 26222
1216.39/1220.00 c #Conflicts: 568000 | #Constraints: 27222
1216.39/1220.00 c #Conflicts: 569000 | #Constraints: 28222
1216.39/1220.00 c #Conflicts: 570000 | #Constraints: 29222
1216.39/1220.00 c #Conflicts: 571000 | #Constraints: 30222
1216.39/1220.00 c #Conflicts: 572000 | #Constraints: 31222
1216.39/1220.00 c #Conflicts: 573000 | #Constraints: 32222
1216.39/1220.00 c #Conflicts: 574000 | #Constraints: 33222
1216.39/1220.00 c #Conflicts: 575000 | #Constraints: 34222
1216.39/1220.00 c #Conflicts: 576000 | #Constraints: 35222
1216.39/1220.00 c INPROCESSING
1216.39/1220.00 c GARBAGE COLLECT
1216.39/1220.00 c #Conflicts: 577000 | #Constraints: 21199
1216.39/1220.00 c #Conflicts: 578000 | #Constraints: 22199
1216.39/1220.00 c #Conflicts: 579000 | #Constraints: 23199
1216.39/1220.00 c #Conflicts: 580000 | #Constraints: 24199
1216.39/1220.00 c #Conflicts: 581000 | #Constraints: 25199
1216.39/1220.00 c #Conflicts: 582000 | #Constraints: 26199
1216.39/1220.00 c #Conflicts: 583000 | #Constraints: 27199
1216.39/1220.00 c #Conflicts: 584000 | #Constraints: 28199
1216.39/1220.00 c #Conflicts: 585000 | #Constraints: 29199
1216.39/1220.00 c #Conflicts: 586000 | #Constraints: 30199
1216.39/1220.00 c #Conflicts: 587000 | #Constraints: 31199
1216.39/1220.00 c #Conflicts: 588000 | #Constraints: 32199
1216.39/1220.00 c #Conflicts: 589000 | #Constraints: 33199
1216.39/1220.00 c GLOBAL bounds - >= -2128 @ 1207.88
1385.36/1389.30 c #Conflicts: 590000 | #Constraints: 34201
1385.36/1389.30 c #Conflicts: 591000 | #Constraints: 35201
1385.36/1389.30 c INPROCESSING
1385.36/1389.30 c GARBAGE COLLECT
1385.36/1389.30 c #Conflicts: 592000 | #Constraints: 21049
1385.36/1389.30 c #Conflicts: 593000 | #Constraints: 22049
1385.36/1389.30 c #Conflicts: 594000 | #Constraints: 23049
1385.36/1389.30 c #Conflicts: 595000 | #Constraints: 24049
1385.36/1389.30 c #Conflicts: 596000 | #Constraints: 25049
1385.36/1389.30 c #Conflicts: 597000 | #Constraints: 26049
1385.36/1389.30 c #Conflicts: 598000 | #Constraints: 27049
1385.36/1389.30 c #Conflicts: 599000 | #Constraints: 28049
1385.36/1389.30 c #Conflicts: 600000 | #Constraints: 29049
1385.36/1389.30 c #Conflicts: 601000 | #Constraints: 30049
1385.36/1389.30 c #Conflicts: 602000 | #Constraints: 31049
1385.36/1389.30 c #Conflicts: 603000 | #Constraints: 32049
1385.36/1389.30 c #Conflicts: 604000 | #Constraints: 33049
1385.36/1389.30 c #Conflicts: 605000 | #Constraints: 34049
1385.36/1389.30 c #Conflicts: 606000 | #Constraints: 35049
1385.36/1389.30 c #Conflicts: 607000 | #Constraints: 36049
1385.36/1389.30 c INPROCESSING
1385.36/1389.30 c GARBAGE COLLECT
1385.36/1389.30 c #Conflicts: 608000 | #Constraints: 21652
1385.36/1389.30 c #Conflicts: 609000 | #Constraints: 22652
1385.36/1389.30 c #Conflicts: 610000 | #Constraints: 23652
1385.36/1389.30 c #Conflicts: 611000 | #Constraints: 24652
1385.36/1389.30 c #Conflicts: 612000 | #Constraints: 25652
1385.36/1389.30 c #Conflicts: 613000 | #Constraints: 26652
1385.36/1389.30 c #Conflicts: 614000 | #Constraints: 27652
1385.36/1389.30 c #Conflicts: 615000 | #Constraints: 28652
1385.36/1389.30 c #Conflicts: 616000 | #Constraints: 29652
1385.36/1389.30 c #Conflicts: 617000 | #Constraints: 30652
1385.36/1389.30 c #Conflicts: 618000 | #Constraints: 31652
1385.36/1389.30 c #Conflicts: 619000 | #Constraints: 32652
1385.36/1389.30 c #Conflicts: 620000 | #Constraints: 33652
1385.36/1389.30 c #Conflicts: 621000 | #Constraints: 34652
1385.36/1389.30 c #Conflicts: 622000 | #Constraints: 35652
1385.36/1389.30 c #Conflicts: 623000 | #Constraints: 36652
1385.36/1389.30 c INPROCESSING
1385.36/1389.30 c GARBAGE COLLECT
1385.36/1389.30 c #Conflicts: 624000 | #Constraints: 22065
1385.36/1389.30 c #Conflicts: 625000 | #Constraints: 23065
1385.36/1389.30 c #Conflicts: 626000 | #Constraints: 24065
1385.36/1389.30 c #Conflicts: 627000 | #Constraints: 25065
1385.36/1389.30 c #Conflicts: 628000 | #Constraints: 26065
1385.36/1389.30 c #Conflicts: 629000 | #Constraints: 27065
1385.36/1389.30 c #Conflicts: 630000 | #Constraints: 28065
1385.36/1389.30 c #Conflicts: 631000 | #Constraints: 29065
1385.36/1389.30 c #Conflicts: 632000 | #Constraints: 30065
1385.36/1389.30 c #Conflicts: 633000 | #Constraints: 31065
1385.36/1389.30 c #Conflicts: 634000 | #Constraints: 32065
1385.36/1389.30 c #Conflicts: 635000 | #Constraints: 33065
1385.36/1389.30 c #Conflicts: 636000 | #Constraints: 34065
1385.36/1389.30 c #Conflicts: 637000 | #Constraints: 35065
1385.36/1389.30 c #Conflicts: 638000 | #Constraints: 36065
1385.36/1389.30 c #Conflicts: 639000 | #Constraints: 37065
1385.36/1389.30 c INPROCESSING
1385.36/1389.30 c GARBAGE COLLECT
1385.36/1389.30 c #Conflicts: 640000 | #Constraints: 22276
1385.36/1389.30 c #Conflicts: 641000 | #Constraints: 23276
1385.36/1389.30 c #Conflicts: 642000 | #Constraints: 24276
1385.36/1389.30 c #Conflicts: 643000 | #Constraints: 25276
1385.36/1389.30 c #Conflicts: 644000 | #Constraints: 26276
1385.36/1389.30 c #Conflicts: 645000 | #Constraints: 27276
1385.36/1389.30 c #Conflicts: 646000 | #Constraints: 28276
1385.36/1389.30 c #Conflicts: 647000 | #Constraints: 29276
1385.36/1389.30 c #Conflicts: 648000 | #Constraints: 30276
1385.36/1389.30 c #Conflicts: 649000 | #Constraints: 31276
1385.36/1389.30 c #Conflicts: 650000 | #Constraints: 32276
1385.36/1389.30 c #Conflicts: 651000 | #Constraints: 33276
1385.36/1389.30 c #Conflicts: 652000 | #Constraints: 34276
1385.36/1389.30 c #Conflicts: 653000 | #Constraints: 35276
1385.36/1389.30 c #Conflicts: 654000 | #Constraints: 36276
1385.36/1389.30 c #Conflicts: 655000 | #Constraints: 37276
1385.36/1389.30 c INPROCESSING
1385.36/1389.30 c GARBAGE COLLECT
1385.36/1389.30 c #Conflicts: 656000 | #Constraints: 22272
1385.36/1389.30 c #Conflicts: 657000 | #Constraints: 23272
1385.36/1389.30 c #Conflicts: 658000 | #Constraints: 24272
1385.36/1389.30 c #Conflicts: 659000 | #Constraints: 25272
1385.36/1389.30 c #Conflicts: 660000 | #Constraints: 26272
1385.36/1389.30 c #Conflicts: 661000 | #Constraints: 27272
1385.36/1389.30 c #Conflicts: 662000 | #Constraints: 28272
1385.36/1389.30 c GLOBAL bounds - >= -2128 @ 1376.05
1455.77/1459.94 c #Conflicts: 663000 | #Constraints: 29274
1455.77/1459.94 c #Conflicts: 664000 | #Constraints: 30274
1455.77/1459.94 c #Conflicts: 665000 | #Constraints: 31274
1455.77/1459.94 c #Conflicts: 666000 | #Constraints: 32274
1455.77/1459.94 c #Conflicts: 667000 | #Constraints: 33274
1455.77/1459.94 c #Conflicts: 668000 | #Constraints: 34274
1455.77/1459.94 c #Conflicts: 669000 | #Constraints: 35274
1455.77/1459.94 c #Conflicts: 670000 | #Constraints: 36274
1455.77/1459.94 c #Conflicts: 671000 | #Constraints: 37274
1455.77/1459.94 c INPROCESSING
1455.77/1459.94 c GARBAGE COLLECT
1455.77/1459.94 c #Conflicts: 672000 | #Constraints: 22044
1455.77/1459.94 c #Conflicts: 673000 | #Constraints: 23044
1455.77/1459.94 c #Conflicts: 674000 | #Constraints: 24044
1455.77/1459.94 c #Conflicts: 675000 | #Constraints: 25044
1455.77/1459.94 c #Conflicts: 676000 | #Constraints: 26044
1455.77/1459.94 c #Conflicts: 677000 | #Constraints: 27044
1455.77/1459.94 c #Conflicts: 678000 | #Constraints: 28044
1455.77/1459.94 c #Conflicts: 679000 | #Constraints: 29044
1455.77/1459.94 c #Conflicts: 680000 | #Constraints: 30044
1455.77/1459.94 c #Conflicts: 681000 | #Constraints: 31044
1455.77/1459.94 c #Conflicts: 682000 | #Constraints: 32044
1455.77/1459.94 c #Conflicts: 683000 | #Constraints: 33044
1455.77/1459.94 c #Conflicts: 684000 | #Constraints: 34044
1455.77/1459.94 c #Conflicts: 685000 | #Constraints: 35044
1455.77/1459.94 c #Conflicts: 686000 | #Constraints: 36044
1455.77/1459.94 c #Conflicts: 687000 | #Constraints: 37044
1455.77/1459.94 c #Conflicts: 688000 | #Constraints: 38044
1455.77/1459.94 c INPROCESSING
1455.77/1459.94 c GARBAGE COLLECT
1455.77/1459.94 c #Conflicts: 689000 | #Constraints: 22606
1455.77/1459.94 c #Conflicts: 690000 | #Constraints: 23606
1455.77/1459.94 c #Conflicts: 691000 | #Constraints: 24606
1455.77/1459.94 c #Conflicts: 692000 | #Constraints: 25606
1455.77/1459.94 c #Conflicts: 693000 | #Constraints: 26606
1455.77/1459.94 c GLOBAL bounds - >= -2128 @ 1446.1
1623.14/1627.71 c #Conflicts: 694000 | #Constraints: 27608
1623.14/1627.71 c #Conflicts: 695000 | #Constraints: 28608
1623.14/1627.71 c #Conflicts: 696000 | #Constraints: 29608
1623.14/1627.71 c #Conflicts: 697000 | #Constraints: 30608
1623.14/1627.71 c #Conflicts: 698000 | #Constraints: 31608
1623.14/1627.71 c #Conflicts: 699000 | #Constraints: 32608
1623.14/1627.71 c #Conflicts: 700000 | #Constraints: 33608
1623.14/1627.71 c #Conflicts: 701000 | #Constraints: 34608
1623.14/1627.71 c #Conflicts: 702000 | #Constraints: 35608
1623.14/1627.71 c #Conflicts: 703000 | #Constraints: 36608
1623.14/1627.71 c #Conflicts: 704000 | #Constraints: 37608
1623.14/1627.71 c #Conflicts: 705000 | #Constraints: 38608
1623.14/1627.71 c INPROCESSING
1623.14/1627.71 c GARBAGE COLLECT
1623.14/1627.71 c #Conflicts: 706000 | #Constraints: 23043
1623.14/1627.71 c #Conflicts: 707000 | #Constraints: 24043
1623.14/1627.71 c #Conflicts: 708000 | #Constraints: 25043
1623.14/1627.71 c #Conflicts: 709000 | #Constraints: 26043
1623.14/1627.71 c #Conflicts: 710000 | #Constraints: 27043
1623.14/1627.71 c #Conflicts: 711000 | #Constraints: 28043
1623.14/1627.71 c #Conflicts: 712000 | #Constraints: 29043
1623.14/1627.71 c #Conflicts: 713000 | #Constraints: 30043
1623.14/1627.71 c #Conflicts: 714000 | #Constraints: 31043
1623.14/1627.71 c #Conflicts: 715000 | #Constraints: 32043
1623.14/1627.71 c #Conflicts: 716000 | #Constraints: 33043
1623.14/1627.71 c #Conflicts: 717000 | #Constraints: 34043
1623.14/1627.71 c #Conflicts: 718000 | #Constraints: 35043
1623.14/1627.71 c #Conflicts: 719000 | #Constraints: 36043
1623.14/1627.71 c #Conflicts: 720000 | #Constraints: 37043
1623.14/1627.71 c #Conflicts: 721000 | #Constraints: 38043
1623.14/1627.71 c #Conflicts: 722000 | #Constraints: 39043
1623.14/1627.71 c INPROCESSING
1623.14/1627.71 c GARBAGE COLLECT
1623.14/1627.71 c #Conflicts: 723000 | #Constraints: 23250
1623.14/1627.71 c #Conflicts: 724000 | #Constraints: 24250
1623.14/1627.71 c #Conflicts: 725000 | #Constraints: 25250
1623.14/1627.71 c #Conflicts: 726000 | #Constraints: 26250
1623.14/1627.71 c #Conflicts: 727000 | #Constraints: 27250
1623.14/1627.71 c #Conflicts: 728000 | #Constraints: 28250
1623.14/1627.71 c #Conflicts: 729000 | #Constraints: 29250
1623.14/1627.71 c #Conflicts: 730000 | #Constraints: 30250
1623.14/1627.71 c #Conflicts: 731000 | #Constraints: 31250
1623.14/1627.71 c #Conflicts: 732000 | #Constraints: 32250
1623.14/1627.71 c #Conflicts: 733000 | #Constraints: 33250
1623.14/1627.71 c #Conflicts: 734000 | #Constraints: 34250
1623.14/1627.71 c #Conflicts: 735000 | #Constraints: 35250
1623.14/1627.71 c #Conflicts: 736000 | #Constraints: 36250
1623.14/1627.71 c #Conflicts: 737000 | #Constraints: 37250
1623.14/1627.71 c #Conflicts: 738000 | #Constraints: 38250
1623.14/1627.71 c #Conflicts: 739000 | #Constraints: 39250
1623.14/1627.71 c INPROCESSING
1623.14/1627.71 c GARBAGE COLLECT
1623.14/1627.71 c #Conflicts: 740000 | #Constraints: 23255
1623.14/1627.71 c #Conflicts: 741000 | #Constraints: 24255
1623.14/1627.71 c #Conflicts: 742000 | #Constraints: 25255
1623.14/1627.71 c #Conflicts: 743000 | #Constraints: 26255
1623.14/1627.71 c #Conflicts: 744000 | #Constraints: 27255
1623.14/1627.71 c #Conflicts: 745000 | #Constraints: 28255
1623.14/1627.71 c #Conflicts: 746000 | #Constraints: 29255
1623.14/1627.71 c #Conflicts: 747000 | #Constraints: 30255
1623.14/1627.71 c #Conflicts: 748000 | #Constraints: 31255
1623.14/1627.71 c #Conflicts: 749000 | #Constraints: 32255
1623.14/1627.71 c #Conflicts: 750000 | #Constraints: 33255
1623.14/1627.71 c #Conflicts: 751000 | #Constraints: 34255
1623.14/1627.71 c #Conflicts: 752000 | #Constraints: 35255
1623.14/1627.71 c #Conflicts: 753000 | #Constraints: 36255
1623.14/1627.71 c #Conflicts: 754000 | #Constraints: 37255
1623.14/1627.71 c #Conflicts: 755000 | #Constraints: 38255
1623.14/1627.71 c #Conflicts: 756000 | #Constraints: 39255
1623.14/1627.71 c INPROCESSING
1623.14/1627.71 c GARBAGE COLLECT
1623.14/1627.71 c #Conflicts: 757000 | #Constraints: 23055
1623.14/1627.71 c #Conflicts: 758000 | #Constraints: 24055
1623.14/1627.71 c #Conflicts: 759000 | #Constraints: 25055
1623.14/1627.71 c #Conflicts: 760000 | #Constraints: 26055
1623.14/1627.71 c #Conflicts: 761000 | #Constraints: 27055
1623.14/1627.71 c #Conflicts: 762000 | #Constraints: 28055
1623.14/1627.71 c #Conflicts: 763000 | #Constraints: 29055
1623.14/1627.71 c #Conflicts: 764000 | #Constraints: 30055
1623.14/1627.71 c #Conflicts: 765000 | #Constraints: 31055
1623.14/1627.71 c #Conflicts: 766000 | #Constraints: 32055
1623.14/1627.71 c #Conflicts: 767000 | #Constraints: 33055
1623.14/1627.71 c #Conflicts: 768000 | #Constraints: 34055
1623.14/1627.71 c GLOBAL bounds - >= -2128 @ 1612.7
1641.93/1646.65 c #Conflicts: 769000 | #Constraints: 35057
1641.93/1646.65 c #Conflicts: 770000 | #Constraints: 36057
1641.93/1646.65 c #Conflicts: 771000 | #Constraints: 37057
1641.93/1646.65 c #Conflicts: 772000 | #Constraints: 38057
1641.93/1646.65 c #Conflicts: 773000 | #Constraints: 39057
1641.93/1646.65 c #Conflicts: 774000 | #Constraints: 40057
1641.93/1646.65 c INPROCESSING
1641.93/1646.65 c GARBAGE COLLECT
1641.93/1646.65 c #Conflicts: 775000 | #Constraints: 23692
1641.93/1646.65 c GLOBAL bounds - >= -2128 @ 1631.45
1692.71/1697.50 c #Conflicts: 776000 | #Constraints: 24694
1692.71/1697.50 c #Conflicts: 777000 | #Constraints: 25694
1692.71/1697.50 c #Conflicts: 778000 | #Constraints: 26694
1692.71/1697.50 c #Conflicts: 779000 | #Constraints: 27694
1692.71/1697.50 c #Conflicts: 780000 | #Constraints: 28694
1692.71/1697.50 c #Conflicts: 781000 | #Constraints: 29694
1692.71/1697.50 c #Conflicts: 782000 | #Constraints: 30694
1692.71/1697.50 c #Conflicts: 783000 | #Constraints: 31694
1692.71/1697.50 c #Conflicts: 784000 | #Constraints: 32694
1692.71/1697.50 c #Conflicts: 785000 | #Constraints: 33694
1692.71/1697.50 c #Conflicts: 786000 | #Constraints: 34694
1692.71/1697.50 c #Conflicts: 787000 | #Constraints: 35694
1692.71/1697.50 c #Conflicts: 788000 | #Constraints: 36694
1692.71/1697.50 c #Conflicts: 789000 | #Constraints: 37694
1692.71/1697.50 c #Conflicts: 790000 | #Constraints: 38694
1692.71/1697.50 c #Conflicts: 791000 | #Constraints: 39694
1692.71/1697.50 c #Conflicts: 792000 | #Constraints: 40694
1692.71/1697.50 c INPROCESSING
1692.71/1697.50 c GARBAGE COLLECT
1692.71/1697.50 c #Conflicts: 793000 | #Constraints: 24100
1692.71/1697.50 c #Conflicts: 794000 | #Constraints: 25100
1692.71/1697.50 c #Conflicts: 795000 | #Constraints: 26100
1692.71/1697.50 c #Conflicts: 796000 | #Constraints: 27100
1692.71/1697.50 c #Conflicts: 797000 | #Constraints: 28100
1692.71/1697.50 c #Conflicts: 798000 | #Constraints: 29100
1692.71/1697.50 c #Conflicts: 799000 | #Constraints: 30100
1692.71/1697.50 c GLOBAL bounds - >= -2128 @ 1681.89
1734.30/1739.22 c #Conflicts: 800000 | #Constraints: 31102
1734.30/1739.22 c #Conflicts: 801000 | #Constraints: 32102
1734.30/1739.22 c #Conflicts: 802000 | #Constraints: 33102
1734.30/1739.22 c #Conflicts: 803000 | #Constraints: 34102
1734.30/1739.22 c #Conflicts: 804000 | #Constraints: 35102
1734.30/1739.22 c #Conflicts: 805000 | #Constraints: 36102
1734.30/1739.22 c #Conflicts: 806000 | #Constraints: 37102
1734.30/1739.22 c #Conflicts: 807000 | #Constraints: 38102
1734.30/1739.22 c #Conflicts: 808000 | #Constraints: 39102
1734.30/1739.22 c #Conflicts: 809000 | #Constraints: 40102
1734.30/1739.22 c #Conflicts: 810000 | #Constraints: 41102
1734.30/1739.22 c INPROCESSING
1734.30/1739.22 c GARBAGE COLLECT
1734.30/1739.22 c #Conflicts: 811000 | #Constraints: 24312
1734.30/1739.22 c #Conflicts: 812000 | #Constraints: 25312
1734.30/1739.22 c #Conflicts: 813000 | #Constraints: 26312
1734.30/1739.22 c #Conflicts: 814000 | #Constraints: 27312
1734.30/1739.22 c #Conflicts: 815000 | #Constraints: 28312
1734.30/1739.22 c #Conflicts: 816000 | #Constraints: 29312
1734.30/1739.22 c #Conflicts: 817000 | #Constraints: 30312
1734.30/1739.22 c #Conflicts: 818000 | #Constraints: 31312
1734.30/1739.22 c GLOBAL bounds - >= -2128 @ 1723.36
1929.59/1935.06 c #Conflicts: 819000 | #Constraints: 32314
1929.59/1935.06 c #Conflicts: 820000 | #Constraints: 33314
1929.59/1935.06 c #Conflicts: 821000 | #Constraints: 34314
1929.59/1935.06 c #Conflicts: 822000 | #Constraints: 35314
1929.59/1935.06 c #Conflicts: 823000 | #Constraints: 36314
1929.59/1935.06 c #Conflicts: 824000 | #Constraints: 37314
1929.59/1935.06 c #Conflicts: 825000 | #Constraints: 38314
1929.59/1935.06 c #Conflicts: 826000 | #Constraints: 39314
1929.59/1935.06 c #Conflicts: 827000 | #Constraints: 40314
1929.59/1935.06 c #Conflicts: 828000 | #Constraints: 41314
1929.59/1935.06 c INPROCESSING
1929.59/1935.06 c GARBAGE COLLECT
1929.59/1935.06 c #Conflicts: 829000 | #Constraints: 24301
1929.59/1935.06 c #Conflicts: 830000 | #Constraints: 25301
1929.59/1935.06 c #Conflicts: 831000 | #Constraints: 26301
1929.59/1935.06 c #Conflicts: 832000 | #Constraints: 27301
1929.59/1935.06 c #Conflicts: 833000 | #Constraints: 28301
1929.59/1935.06 c #Conflicts: 834000 | #Constraints: 29301
1929.59/1935.06 c #Conflicts: 835000 | #Constraints: 30301
1929.59/1935.06 c #Conflicts: 836000 | #Constraints: 31301
1929.59/1935.06 c #Conflicts: 837000 | #Constraints: 32301
1929.59/1935.06 c #Conflicts: 838000 | #Constraints: 33301
1929.59/1935.06 c #Conflicts: 839000 | #Constraints: 34301
1929.59/1935.06 c #Conflicts: 840000 | #Constraints: 35301
1929.59/1935.06 c #Conflicts: 841000 | #Constraints: 36301
1929.59/1935.06 c #Conflicts: 842000 | #Constraints: 37301
1929.59/1935.06 c #Conflicts: 843000 | #Constraints: 38301
1929.59/1935.06 c #Conflicts: 844000 | #Constraints: 39301
1929.59/1935.06 c #Conflicts: 845000 | #Constraints: 40301
1929.59/1935.06 c #Conflicts: 846000 | #Constraints: 41301
1929.59/1935.06 c INPROCESSING
1929.59/1935.06 c GARBAGE COLLECT
1929.59/1935.06 c #Conflicts: 847000 | #Constraints: 24106
1929.59/1935.06 c #Conflicts: 848000 | #Constraints: 25106
1929.59/1935.06 c #Conflicts: 849000 | #Constraints: 26106
1929.59/1935.06 c #Conflicts: 850000 | #Constraints: 27106
1929.59/1935.06 c #Conflicts: 851000 | #Constraints: 28106
1929.59/1935.06 c #Conflicts: 852000 | #Constraints: 29106
1929.59/1935.06 c #Conflicts: 853000 | #Constraints: 30106
1929.59/1935.06 c #Conflicts: 854000 | #Constraints: 31106
1929.59/1935.06 c #Conflicts: 855000 | #Constraints: 32106
1929.59/1935.06 c #Conflicts: 856000 | #Constraints: 33106
1929.59/1935.06 c #Conflicts: 857000 | #Constraints: 34106
1929.59/1935.06 c #Conflicts: 858000 | #Constraints: 35106
1929.59/1935.06 c #Conflicts: 859000 | #Constraints: 36106
1929.59/1935.06 c #Conflicts: 860000 | #Constraints: 37106
1929.59/1935.06 c #Conflicts: 861000 | #Constraints: 38106
1929.59/1935.06 c #Conflicts: 862000 | #Constraints: 39106
1929.59/1935.06 c #Conflicts: 863000 | #Constraints: 40106
1929.59/1935.06 c #Conflicts: 864000 | #Constraints: 41106
1929.59/1935.06 c #Conflicts: 865000 | #Constraints: 42106
1929.59/1935.06 c INPROCESSING
1929.59/1935.06 c GARBAGE COLLECT
1929.59/1935.06 c #Conflicts: 866000 | #Constraints: 24703
1929.59/1935.06 c #Conflicts: 867000 | #Constraints: 25703
1929.59/1935.06 c #Conflicts: 868000 | #Constraints: 26703
1929.59/1935.06 c #Conflicts: 869000 | #Constraints: 27703
1929.59/1935.06 c #Conflicts: 870000 | #Constraints: 28703
1929.59/1935.06 c #Conflicts: 871000 | #Constraints: 29703
1929.59/1935.06 c #Conflicts: 872000 | #Constraints: 30703
1929.59/1935.06 c #Conflicts: 873000 | #Constraints: 31703
1929.59/1935.06 c #Conflicts: 874000 | #Constraints: 32703
1929.59/1935.06 c #Conflicts: 875000 | #Constraints: 33703
1929.59/1935.06 c #Conflicts: 876000 | #Constraints: 34703
1929.59/1935.06 c #Conflicts: 877000 | #Constraints: 35703
1929.59/1935.06 c #Conflicts: 878000 | #Constraints: 36703
1929.59/1935.06 c #Conflicts: 879000 | #Constraints: 37703
1929.59/1935.06 c #Conflicts: 880000 | #Constraints: 38703
1929.59/1935.06 c #Conflicts: 881000 | #Constraints: 39703
1929.59/1935.06 c #Conflicts: 882000 | #Constraints: 40703
1929.59/1935.06 c #Conflicts: 883000 | #Constraints: 41703
1929.59/1935.06 c #Conflicts: 884000 | #Constraints: 42703
1929.59/1935.06 c INPROCESSING
1929.59/1935.06 c GARBAGE COLLECT
1929.59/1935.06 c #Conflicts: 885000 | #Constraints: 25073
1929.59/1935.06 c #Conflicts: 886000 | #Constraints: 26073
1929.59/1935.06 c #Conflicts: 887000 | #Constraints: 27073
1929.59/1935.06 c #Conflicts: 888000 | #Constraints: 28073
1929.59/1935.06 c #Conflicts: 889000 | #Constraints: 29073
1929.59/1935.06 c #Conflicts: 890000 | #Constraints: 30073
1929.59/1935.06 c #Conflicts: 891000 | #Constraints: 31073
1929.59/1935.06 c #Conflicts: 892000 | #Constraints: 32073
1929.59/1935.06 c #Conflicts: 893000 | #Constraints: 33073
1929.59/1935.06 c #Conflicts: 894000 | #Constraints: 34073
1929.59/1935.06 c #Conflicts: 895000 | #Constraints: 35073
2078.70/2084.58 c #Conflicts: 896000 | #Constraints: 36073
2078.70/2084.58 c #Conflicts: 897000 | #Constraints: 37073
2078.70/2084.58 c #Conflicts: 898000 | #Constraints: 38073
2078.70/2084.58 c #Conflicts: 899000 | #Constraints: 39073
2078.70/2084.58 c #Conflicts: 900000 | #Constraints: 40073
2078.70/2084.58 c #Conflicts: 901000 | #Constraints: 41073
2078.70/2084.58 c #Conflicts: 902000 | #Constraints: 42073
2078.70/2084.58 c #Conflicts: 903000 | #Constraints: 43073
2078.70/2084.58 c INPROCESSING
2078.70/2084.58 c GARBAGE COLLECT
2078.70/2084.58 c #Conflicts: 904000 | #Constraints: 25270
2078.70/2084.58 c #Conflicts: 905000 | #Constraints: 26270
2078.70/2084.58 c #Conflicts: 906000 | #Constraints: 27270
2078.70/2084.58 c #Conflicts: 907000 | #Constraints: 28270
2078.70/2084.58 c #Conflicts: 908000 | #Constraints: 29270
2078.70/2084.58 c #Conflicts: 909000 | #Constraints: 30270
2078.70/2084.58 c #Conflicts: 910000 | #Constraints: 31270
2078.70/2084.58 c #Conflicts: 911000 | #Constraints: 32270
2078.70/2084.58 c #Conflicts: 912000 | #Constraints: 33270
2078.70/2084.58 c #Conflicts: 913000 | #Constraints: 34270
2078.70/2084.58 c #Conflicts: 914000 | #Constraints: 35270
2078.70/2084.58 c #Conflicts: 915000 | #Constraints: 36270
2078.70/2084.58 c #Conflicts: 916000 | #Constraints: 37270
2078.70/2084.58 c #Conflicts: 917000 | #Constraints: 38270
2078.70/2084.58 c #Conflicts: 918000 | #Constraints: 39270
2078.70/2084.58 c #Conflicts: 919000 | #Constraints: 40270
2078.70/2084.58 c #Conflicts: 920000 | #Constraints: 41270
2078.70/2084.58 c #Conflicts: 921000 | #Constraints: 42270
2078.70/2084.58 c #Conflicts: 922000 | #Constraints: 43270
2078.70/2084.58 c INPROCESSING
2078.70/2084.58 c GARBAGE COLLECT
2078.70/2084.58 c #Conflicts: 923000 | #Constraints: 25273
2078.70/2084.58 c #Conflicts: 924000 | #Constraints: 26273
2078.70/2084.58 c #Conflicts: 925000 | #Constraints: 27273
2078.70/2084.58 c #Conflicts: 926000 | #Constraints: 28273
2078.70/2084.58 c #Conflicts: 927000 | #Constraints: 29273
2078.70/2084.58 c #Conflicts: 928000 | #Constraints: 30273
2078.70/2084.58 c #Conflicts: 929000 | #Constraints: 31273
2078.70/2084.58 c #Conflicts: 930000 | #Constraints: 32273
2078.70/2084.58 c #Conflicts: 931000 | #Constraints: 33273
2078.70/2084.58 c #Conflicts: 932000 | #Constraints: 34273
2078.70/2084.58 c #Conflicts: 933000 | #Constraints: 35273
2078.70/2084.58 c #Conflicts: 934000 | #Constraints: 36273
2078.70/2084.58 c #Conflicts: 935000 | #Constraints: 37273
2078.70/2084.58 c #Conflicts: 936000 | #Constraints: 38273
2078.70/2084.58 c #Conflicts: 937000 | #Constraints: 39273
2078.70/2084.58 c #Conflicts: 938000 | #Constraints: 40273
2078.70/2084.58 c #Conflicts: 939000 | #Constraints: 41273
2078.70/2084.58 c #Conflicts: 940000 | #Constraints: 42273
2078.70/2084.58 c #Conflicts: 941000 | #Constraints: 43273
2078.70/2084.58 c INPROCESSING
2078.70/2084.58 c GARBAGE COLLECT
2078.70/2084.58 c #Conflicts: 942000 | #Constraints: 25081
2078.70/2084.58 c #Conflicts: 943000 | #Constraints: 26081
2078.70/2084.58 c #Conflicts: 944000 | #Constraints: 27081
2078.70/2084.58 c #Conflicts: 945000 | #Constraints: 28081
2078.70/2084.58 c #Conflicts: 946000 | #Constraints: 29081
2078.70/2084.58 c #Conflicts: 947000 | #Constraints: 30081
2078.70/2084.58 c #Conflicts: 948000 | #Constraints: 31081
2078.70/2084.58 c #Conflicts: 949000 | #Constraints: 32081
2078.70/2084.58 c #Conflicts: 950000 | #Constraints: 33081
2078.70/2084.58 c #Conflicts: 951000 | #Constraints: 34081
2078.70/2084.58 c #Conflicts: 952000 | #Constraints: 35081
2078.70/2084.58 c #Conflicts: 953000 | #Constraints: 36081
2078.70/2084.58 c #Conflicts: 954000 | #Constraints: 37081
2078.70/2084.58 c #Conflicts: 955000 | #Constraints: 38081
2078.70/2084.58 c #Conflicts: 956000 | #Constraints: 39081
2078.70/2084.58 c GLOBAL bounds - >= -2128 @ 2066.64
2250.25/2256.55 c #Conflicts: 957000 | #Constraints: 40083
2250.25/2256.55 c #Conflicts: 958000 | #Constraints: 41083
2250.25/2256.55 c #Conflicts: 959000 | #Constraints: 42083
2250.25/2256.55 c #Conflicts: 960000 | #Constraints: 43083
2250.25/2256.55 c #Conflicts: 961000 | #Constraints: 44083
2250.25/2256.55 c INPROCESSING
2250.25/2256.55 c GARBAGE COLLECT
2250.25/2256.55 c #Conflicts: 962000 | #Constraints: 25728
2250.25/2256.55 c #Conflicts: 963000 | #Constraints: 26728
2250.25/2256.55 c #Conflicts: 964000 | #Constraints: 27728
2250.25/2256.55 c #Conflicts: 965000 | #Constraints: 28728
2250.25/2256.55 c #Conflicts: 966000 | #Constraints: 29728
2250.25/2256.55 c #Conflicts: 967000 | #Constraints: 30728
2250.25/2256.55 c #Conflicts: 968000 | #Constraints: 31728
2250.25/2256.55 c #Conflicts: 969000 | #Constraints: 32728
2250.25/2256.55 c #Conflicts: 970000 | #Constraints: 33728
2250.25/2256.55 c #Conflicts: 971000 | #Constraints: 34728
2250.25/2256.55 c #Conflicts: 972000 | #Constraints: 35728
2250.25/2256.55 c #Conflicts: 973000 | #Constraints: 36728
2250.25/2256.55 c #Conflicts: 974000 | #Constraints: 37728
2250.25/2256.55 c #Conflicts: 975000 | #Constraints: 38728
2250.25/2256.55 c #Conflicts: 976000 | #Constraints: 39728
2250.25/2256.55 c #Conflicts: 977000 | #Constraints: 40728
2250.25/2256.55 c #Conflicts: 978000 | #Constraints: 41728
2250.25/2256.55 c #Conflicts: 979000 | #Constraints: 42728
2250.25/2256.55 c #Conflicts: 980000 | #Constraints: 43728
2250.25/2256.55 c #Conflicts: 981000 | #Constraints: 44728
2250.25/2256.55 c INPROCESSING
2250.25/2256.55 c GARBAGE COLLECT
2250.25/2256.55 c #Conflicts: 982000 | #Constraints: 26158
2250.25/2256.55 c #Conflicts: 983000 | #Constraints: 27158
2250.25/2256.55 c #Conflicts: 984000 | #Constraints: 28158
2250.25/2256.55 c #Conflicts: 985000 | #Constraints: 29158
2250.25/2256.55 c #Conflicts: 986000 | #Constraints: 30158
2250.25/2256.55 c #Conflicts: 987000 | #Constraints: 31158
2250.25/2256.55 c #Conflicts: 988000 | #Constraints: 32158
2250.25/2256.55 c #Conflicts: 989000 | #Constraints: 33158
2250.25/2256.55 c #Conflicts: 990000 | #Constraints: 34158
2250.25/2256.55 c #Conflicts: 991000 | #Constraints: 35158
2250.25/2256.55 c #Conflicts: 992000 | #Constraints: 36158
2250.25/2256.55 c #Conflicts: 993000 | #Constraints: 37158
2250.25/2256.55 c #Conflicts: 994000 | #Constraints: 38158
2250.25/2256.55 c #Conflicts: 995000 | #Constraints: 39158
2250.25/2256.55 c #Conflicts: 996000 | #Constraints: 40158
2250.25/2256.55 c #Conflicts: 997000 | #Constraints: 41158
2250.25/2256.55 c #Conflicts: 998000 | #Constraints: 42158
2250.25/2256.55 c #Conflicts: 999000 | #Constraints: 43158
2250.25/2256.55 c #Conflicts: 1000000 | #Constraints: 44158
2250.25/2256.55 c #Conflicts: 1001000 | #Constraints: 45158
2250.25/2256.55 c INPROCESSING
2250.25/2256.55 c GARBAGE COLLECT
2250.25/2256.55 c #Conflicts: 1002000 | #Constraints: 26370
2250.25/2256.55 c #Conflicts: 1003000 | #Constraints: 27370
2250.25/2256.55 c #Conflicts: 1004000 | #Constraints: 28370
2250.25/2256.55 c #Conflicts: 1005000 | #Constraints: 29370
2250.25/2256.55 c #Conflicts: 1006000 | #Constraints: 30370
2250.25/2256.55 c #Conflicts: 1007000 | #Constraints: 31370
2250.25/2256.55 c #Conflicts: 1008000 | #Constraints: 32370
2250.25/2256.55 c #Conflicts: 1009000 | #Constraints: 33370
2250.25/2256.55 c #Conflicts: 1010000 | #Constraints: 34370
2250.25/2256.55 c #Conflicts: 1011000 | #Constraints: 35370
2250.25/2256.55 c #Conflicts: 1012000 | #Constraints: 36370
2250.25/2256.55 c #Conflicts: 1013000 | #Constraints: 37370
2250.25/2256.55 c #Conflicts: 1014000 | #Constraints: 38370
2250.25/2256.55 c #Conflicts: 1015000 | #Constraints: 39370
2250.25/2256.55 c #Conflicts: 1016000 | #Constraints: 40370
2250.25/2256.55 c #Conflicts: 1017000 | #Constraints: 41370
2250.25/2256.55 c #Conflicts: 1018000 | #Constraints: 42370
2250.25/2256.55 c #Conflicts: 1019000 | #Constraints: 43370
2250.25/2256.55 c #Conflicts: 1020000 | #Constraints: 44370
2250.25/2256.55 c #Conflicts: 1021000 | #Constraints: 45370
2250.25/2256.55 c INPROCESSING
2250.25/2256.55 c GARBAGE COLLECT
2250.25/2256.55 c #Conflicts: 1022000 | #Constraints: 26368
2250.25/2256.55 c #Conflicts: 1023000 | #Constraints: 27368
2250.25/2256.55 c #Conflicts: 1024000 | #Constraints: 28368
2250.25/2256.55 c #Conflicts: 1025000 | #Constraints: 29368
2250.25/2256.55 c #Conflicts: 1026000 | #Constraints: 30368
2250.25/2256.55 c #Conflicts: 1027000 | #Constraints: 31368
2250.25/2256.55 c #Conflicts: 1028000 | #Constraints: 32368
2250.25/2256.55 c #Conflicts: 1029000 | #Constraints: 33368
2250.25/2256.55 c #Conflicts: 1030000 | #Constraints: 34368
2250.25/2256.55 c #Conflicts: 1031000 | #Constraints: 35368
2250.25/2256.55 c #Conflicts: 1032000 | #Constraints: 36368
2250.25/2256.55 c #Conflicts: 1033000 | #Constraints: 37368
2401.97/2408.65 c #Conflicts: 1034000 | #Constraints: 38368
2401.97/2408.65 c #Conflicts: 1035000 | #Constraints: 39368
2401.97/2408.65 c #Conflicts: 1036000 | #Constraints: 40368
2401.97/2408.65 c #Conflicts: 1037000 | #Constraints: 41368
2401.97/2408.65 c #Conflicts: 1038000 | #Constraints: 42368
2401.97/2408.65 c #Conflicts: 1039000 | #Constraints: 43368
2401.97/2408.65 c #Conflicts: 1040000 | #Constraints: 44368
2401.97/2408.65 c #Conflicts: 1041000 | #Constraints: 45368
2401.97/2408.65 c INPROCESSING
2401.97/2408.65 c GARBAGE COLLECT
2401.97/2408.65 c #Conflicts: 1042000 | #Constraints: 26170
2401.97/2408.65 c #Conflicts: 1043000 | #Constraints: 27170
2401.97/2408.65 c #Conflicts: 1044000 | #Constraints: 28170
2401.97/2408.65 c #Conflicts: 1045000 | #Constraints: 29170
2401.97/2408.65 c #Conflicts: 1046000 | #Constraints: 30170
2401.97/2408.65 c #Conflicts: 1047000 | #Constraints: 31170
2401.97/2408.65 c #Conflicts: 1048000 | #Constraints: 32170
2401.97/2408.65 c #Conflicts: 1049000 | #Constraints: 33170
2401.97/2408.65 c #Conflicts: 1050000 | #Constraints: 34170
2401.97/2408.65 c #Conflicts: 1051000 | #Constraints: 35170
2401.97/2408.65 c #Conflicts: 1052000 | #Constraints: 36170
2401.97/2408.65 c #Conflicts: 1053000 | #Constraints: 37170
2401.97/2408.65 c #Conflicts: 1054000 | #Constraints: 38170
2401.97/2408.65 c #Conflicts: 1055000 | #Constraints: 39170
2401.97/2408.65 c #Conflicts: 1056000 | #Constraints: 40170
2401.97/2408.65 c #Conflicts: 1057000 | #Constraints: 41170
2401.97/2408.65 c #Conflicts: 1058000 | #Constraints: 42170
2401.97/2408.65 c #Conflicts: 1059000 | #Constraints: 43170
2401.97/2408.65 c #Conflicts: 1060000 | #Constraints: 44170
2401.97/2408.65 c #Conflicts: 1061000 | #Constraints: 45170
2401.97/2408.65 c #Conflicts: 1062000 | #Constraints: 46170
2401.97/2408.65 c INPROCESSING
2401.97/2408.65 c GARBAGE COLLECT
2401.97/2408.65 c #Conflicts: 1063000 | #Constraints: 26773
2401.97/2408.65 c #Conflicts: 1064000 | #Constraints: 27773
2401.97/2408.65 c #Conflicts: 1065000 | #Constraints: 28773
2401.97/2408.65 c #Conflicts: 1066000 | #Constraints: 29773
2401.97/2408.65 c #Conflicts: 1067000 | #Constraints: 30773
2401.97/2408.65 c #Conflicts: 1068000 | #Constraints: 31773
2401.97/2408.65 c #Conflicts: 1069000 | #Constraints: 32773
2401.97/2408.65 c #Conflicts: 1070000 | #Constraints: 33773
2401.97/2408.65 c #Conflicts: 1071000 | #Constraints: 34773
2401.97/2408.65 c #Conflicts: 1072000 | #Constraints: 35773
2401.97/2408.65 c #Conflicts: 1073000 | #Constraints: 36773
2401.97/2408.65 c #Conflicts: 1074000 | #Constraints: 37773
2401.97/2408.65 c #Conflicts: 1075000 | #Constraints: 38773
2401.97/2408.65 c #Conflicts: 1076000 | #Constraints: 39773
2401.97/2408.65 c #Conflicts: 1077000 | #Constraints: 40773
2401.97/2408.65 c #Conflicts: 1078000 | #Constraints: 41773
2401.97/2408.65 c #Conflicts: 1079000 | #Constraints: 42773
2401.97/2408.65 c #Conflicts: 1080000 | #Constraints: 43773
2401.97/2408.65 c #Conflicts: 1081000 | #Constraints: 44773
2401.97/2408.65 c #Conflicts: 1082000 | #Constraints: 45773
2401.97/2408.65 c #Conflicts: 1083000 | #Constraints: 46773
2401.97/2408.65 c INPROCESSING
2401.97/2408.65 c GARBAGE COLLECT
2401.97/2408.65 c #Conflicts: 1084000 | #Constraints: 27177
2401.97/2408.65 c #Conflicts: 1085000 | #Constraints: 28177
2401.97/2408.65 c #Conflicts: 1086000 | #Constraints: 29177
2401.97/2408.65 c #Conflicts: 1087000 | #Constraints: 30177
2401.97/2408.65 c #Conflicts: 1088000 | #Constraints: 31177
2401.97/2408.65 c #Conflicts: 1089000 | #Constraints: 32177
2401.97/2408.65 c #Conflicts: 1090000 | #Constraints: 33177
2401.97/2408.65 c #Conflicts: 1091000 | #Constraints: 34177
2401.97/2408.65 c #Conflicts: 1092000 | #Constraints: 35177
2401.97/2408.65 c #Conflicts: 1093000 | #Constraints: 36177
2401.97/2408.65 c GLOBAL bounds - >= -2128 @ 2388.7
2479.77/2486.67 c #Conflicts: 1094000 | #Constraints: 37179
2479.77/2486.67 c #Conflicts: 1095000 | #Constraints: 38179
2479.77/2486.67 c #Conflicts: 1096000 | #Constraints: 39179
2479.77/2486.67 c #Conflicts: 1097000 | #Constraints: 40179
2479.77/2486.67 c #Conflicts: 1098000 | #Constraints: 41179
2479.77/2486.67 c #Conflicts: 1099000 | #Constraints: 42179
2479.77/2486.67 c #Conflicts: 1100000 | #Constraints: 43179
2479.77/2486.67 c #Conflicts: 1101000 | #Constraints: 44179
2479.77/2486.67 c #Conflicts: 1102000 | #Constraints: 45179
2479.77/2486.67 c #Conflicts: 1103000 | #Constraints: 46179
2479.77/2486.67 c #Conflicts: 1104000 | #Constraints: 47179
2479.77/2486.67 c INPROCESSING
2479.77/2486.67 c GARBAGE COLLECT
2479.77/2486.67 c #Conflicts: 1105000 | #Constraints: 27375
2479.77/2486.67 c #Conflicts: 1106000 | #Constraints: 28375
2479.77/2486.67 c #Conflicts: 1107000 | #Constraints: 29375
2479.77/2486.67 c #Conflicts: 1108000 | #Constraints: 30375
2479.77/2486.67 c #Conflicts: 1109000 | #Constraints: 31375
2479.77/2486.67 c #Conflicts: 1110000 | #Constraints: 32375
2479.77/2486.67 c #Conflicts: 1111000 | #Constraints: 33375
2479.77/2486.67 c #Conflicts: 1112000 | #Constraints: 34375
2479.77/2486.67 c #Conflicts: 1113000 | #Constraints: 35375
2479.77/2486.67 c #Conflicts: 1114000 | #Constraints: 36375
2479.77/2486.67 c #Conflicts: 1115000 | #Constraints: 37375
2479.77/2486.67 c #Conflicts: 1116000 | #Constraints: 38375
2479.77/2486.67 c #Conflicts: 1117000 | #Constraints: 39375
2479.77/2486.67 c #Conflicts: 1118000 | #Constraints: 40375
2479.77/2486.67 c #Conflicts: 1119000 | #Constraints: 41375
2479.77/2486.67 c #Conflicts: 1120000 | #Constraints: 42375
2479.77/2486.67 c #Conflicts: 1121000 | #Constraints: 43375
2479.77/2486.67 c #Conflicts: 1122000 | #Constraints: 44375
2479.77/2486.67 c #Conflicts: 1123000 | #Constraints: 45375
2479.77/2486.67 c #Conflicts: 1124000 | #Constraints: 46375
2479.77/2486.67 c #Conflicts: 1125000 | #Constraints: 47375
2479.77/2486.67 c INPROCESSING
2479.77/2486.67 c GARBAGE COLLECT
2479.77/2486.67 c #Conflicts: 1126000 | #Constraints: 27384
2479.77/2486.67 c #Conflicts: 1127000 | #Constraints: 28384
2479.77/2486.67 c #Conflicts: 1128000 | #Constraints: 29384
2479.77/2486.67 c #Conflicts: 1129000 | #Constraints: 30384
2479.77/2486.67 c #Conflicts: 1130000 | #Constraints: 31384
2479.77/2486.67 c #Conflicts: 1131000 | #Constraints: 32384
2479.77/2486.67 c GLOBAL bounds - >= -2128 @ 2466.28
2666.07/2673.41 c #Conflicts: 1132000 | #Constraints: 33386
2666.07/2673.41 c #Conflicts: 1133000 | #Constraints: 34386
2666.07/2673.41 c #Conflicts: 1134000 | #Constraints: 35386
2666.07/2673.41 c #Conflicts: 1135000 | #Constraints: 36386
2666.07/2673.41 c #Conflicts: 1136000 | #Constraints: 37386
2666.07/2673.41 c #Conflicts: 1137000 | #Constraints: 38386
2666.07/2673.41 c #Conflicts: 1138000 | #Constraints: 39386
2666.07/2673.41 c #Conflicts: 1139000 | #Constraints: 40386
2666.07/2673.41 c #Conflicts: 1140000 | #Constraints: 41386
2666.07/2673.41 c #Conflicts: 1141000 | #Constraints: 42386
2666.07/2673.41 c #Conflicts: 1142000 | #Constraints: 43386
2666.07/2673.41 c #Conflicts: 1143000 | #Constraints: 44386
2666.07/2673.41 c #Conflicts: 1144000 | #Constraints: 45386
2666.07/2673.41 c #Conflicts: 1145000 | #Constraints: 46386
2666.07/2673.41 c #Conflicts: 1146000 | #Constraints: 47386
2666.07/2673.41 c INPROCESSING
2666.07/2673.41 c GARBAGE COLLECT
2666.07/2673.41 c #Conflicts: 1147000 | #Constraints: 27096
2666.07/2673.41 c #Conflicts: 1148000 | #Constraints: 28096
2666.07/2673.41 c #Conflicts: 1149000 | #Constraints: 29096
2666.07/2673.41 c #Conflicts: 1150000 | #Constraints: 30096
2666.07/2673.41 c #Conflicts: 1151000 | #Constraints: 31096
2666.07/2673.41 c #Conflicts: 1152000 | #Constraints: 32096
2666.07/2673.41 c #Conflicts: 1153000 | #Constraints: 33096
2666.07/2673.41 c #Conflicts: 1154000 | #Constraints: 34096
2666.07/2673.41 c #Conflicts: 1155000 | #Constraints: 35096
2666.07/2673.41 c #Conflicts: 1156000 | #Constraints: 36096
2666.07/2673.41 c #Conflicts: 1157000 | #Constraints: 37096
2666.07/2673.41 c #Conflicts: 1158000 | #Constraints: 38096
2666.07/2673.41 c #Conflicts: 1159000 | #Constraints: 39096
2666.07/2673.41 c #Conflicts: 1160000 | #Constraints: 40096
2666.07/2673.41 c #Conflicts: 1161000 | #Constraints: 41096
2666.07/2673.41 c #Conflicts: 1162000 | #Constraints: 42096
2666.07/2673.41 c #Conflicts: 1163000 | #Constraints: 43096
2666.07/2673.41 c #Conflicts: 1164000 | #Constraints: 44096
2666.07/2673.41 c #Conflicts: 1165000 | #Constraints: 45096
2666.07/2673.41 c #Conflicts: 1166000 | #Constraints: 46096
2666.07/2673.41 c #Conflicts: 1167000 | #Constraints: 47096
2666.07/2673.41 c #Conflicts: 1168000 | #Constraints: 48096
2666.07/2673.41 c INPROCESSING
2666.07/2673.41 c GARBAGE COLLECT
2666.07/2673.41 c #Conflicts: 1169000 | #Constraints: 27635
2666.07/2673.41 c #Conflicts: 1170000 | #Constraints: 28635
2666.07/2673.41 c #Conflicts: 1171000 | #Constraints: 29635
2666.07/2673.41 c #Conflicts: 1172000 | #Constraints: 30635
2666.07/2673.41 c #Conflicts: 1173000 | #Constraints: 31635
2666.07/2673.41 c #Conflicts: 1174000 | #Constraints: 32635
2666.07/2673.41 c #Conflicts: 1175000 | #Constraints: 33635
2666.07/2673.41 c #Conflicts: 1176000 | #Constraints: 34635
2666.07/2673.41 c #Conflicts: 1177000 | #Constraints: 35635
2666.07/2673.41 c #Conflicts: 1178000 | #Constraints: 36635
2666.07/2673.41 c #Conflicts: 1179000 | #Constraints: 37635
2666.07/2673.41 c #Conflicts: 1180000 | #Constraints: 38635
2666.07/2673.41 c #Conflicts: 1181000 | #Constraints: 39635
2666.07/2673.41 c #Conflicts: 1182000 | #Constraints: 40635
2666.07/2673.41 c #Conflicts: 1183000 | #Constraints: 41635
2666.07/2673.41 c #Conflicts: 1184000 | #Constraints: 42635
2666.07/2673.41 c #Conflicts: 1185000 | #Constraints: 43635
2666.07/2673.41 c #Conflicts: 1186000 | #Constraints: 44635
2666.07/2673.41 c #Conflicts: 1187000 | #Constraints: 45635
2666.07/2673.41 c #Conflicts: 1188000 | #Constraints: 46635
2666.07/2673.41 c #Conflicts: 1189000 | #Constraints: 47635
2666.07/2673.41 c #Conflicts: 1190000 | #Constraints: 48635
2666.07/2673.41 c INPROCESSING
2666.07/2673.41 c GARBAGE COLLECT
2666.07/2673.41 c #Conflicts: 1191000 | #Constraints: 28031
2666.07/2673.41 c #Conflicts: 1192000 | #Constraints: 29031
2666.07/2673.41 c #Conflicts: 1193000 | #Constraints: 30031
2666.07/2673.41 c #Conflicts: 1194000 | #Constraints: 31031
2666.07/2673.41 c #Conflicts: 1195000 | #Constraints: 32031
2666.07/2673.41 c #Conflicts: 1196000 | #Constraints: 33031
2666.07/2673.41 c #Conflicts: 1197000 | #Constraints: 34031
2666.07/2673.41 c #Conflicts: 1198000 | #Constraints: 35031
2666.07/2673.41 c #Conflicts: 1199000 | #Constraints: 36031
2666.07/2673.41 c #Conflicts: 1200000 | #Constraints: 37031
2666.07/2673.41 c #Conflicts: 1201000 | #Constraints: 38031
2666.07/2673.41 c #Conflicts: 1202000 | #Constraints: 39031
2666.07/2673.41 c #Conflicts: 1203000 | #Constraints: 40031
2666.07/2673.41 c #Conflicts: 1204000 | #Constraints: 41031
2666.07/2673.41 c #Conflicts: 1205000 | #Constraints: 42031
2666.07/2673.41 c #Conflicts: 1206000 | #Constraints: 43031
2666.07/2673.41 c #Conflicts: 1207000 | #Constraints: 44031
2666.07/2673.41 c #Conflicts: 1208000 | #Constraints: 45031
2746.26/2753.84 c #Conflicts: 1209000 | #Constraints: 46031
2746.26/2753.84 c #Conflicts: 1210000 | #Constraints: 47031
2746.26/2753.84 c #Conflicts: 1211000 | #Constraints: 48031
2746.26/2753.84 c #Conflicts: 1212000 | #Constraints: 49031
2746.26/2753.84 c INPROCESSING
2746.26/2753.84 c GARBAGE COLLECT
2746.26/2753.84 c #Conflicts: 1213000 | #Constraints: 28256
2746.26/2753.84 c #Conflicts: 1214000 | #Constraints: 29256
2746.26/2753.84 c #Conflicts: 1215000 | #Constraints: 30256
2746.26/2753.84 c #Conflicts: 1216000 | #Constraints: 31256
2746.26/2753.84 c #Conflicts: 1217000 | #Constraints: 32256
2746.26/2753.84 c #Conflicts: 1218000 | #Constraints: 33256
2746.26/2753.84 c #Conflicts: 1219000 | #Constraints: 34256
2746.26/2753.84 c #Conflicts: 1220000 | #Constraints: 35256
2746.26/2753.84 c #Conflicts: 1221000 | #Constraints: 36256
2746.26/2753.84 c #Conflicts: 1222000 | #Constraints: 37256
2746.26/2753.84 c #Conflicts: 1223000 | #Constraints: 38256
2746.26/2753.84 c #Conflicts: 1224000 | #Constraints: 39256
2746.26/2753.84 c #Conflicts: 1225000 | #Constraints: 40256
2746.26/2753.84 c #Conflicts: 1226000 | #Constraints: 41256
2746.26/2753.84 c #Conflicts: 1227000 | #Constraints: 42256
2746.26/2753.84 c #Conflicts: 1228000 | #Constraints: 43256
2746.26/2753.84 c #Conflicts: 1229000 | #Constraints: 44256
2746.26/2753.84 c #Conflicts: 1230000 | #Constraints: 45256
2746.26/2753.84 c #Conflicts: 1231000 | #Constraints: 46256
2746.26/2753.84 c #Conflicts: 1232000 | #Constraints: 47256
2746.26/2753.84 c #Conflicts: 1233000 | #Constraints: 48256
2746.26/2753.84 c #Conflicts: 1234000 | #Constraints: 49256
2746.26/2753.84 c INPROCESSING
2746.26/2753.84 c GARBAGE COLLECT
2746.26/2753.84 c #Conflicts: 1235000 | #Constraints: 28270
2746.26/2753.84 c #Conflicts: 1236000 | #Constraints: 29270
2746.26/2753.84 c #Conflicts: 1237000 | #Constraints: 30270
2746.26/2753.84 c #Conflicts: 1238000 | #Constraints: 31270
2746.26/2753.84 c #Conflicts: 1239000 | #Constraints: 32270
2746.26/2753.84 c #Conflicts: 1240000 | #Constraints: 33270
2746.26/2753.84 c #Conflicts: 1241000 | #Constraints: 34270
2746.26/2753.84 c #Conflicts: 1242000 | #Constraints: 35270
2746.26/2753.84 c #Conflicts: 1243000 | #Constraints: 36270
2746.26/2753.84 c GLOBAL bounds - >= -2128 @ 2731.52
2856.76/2864.64 c #Conflicts: 1244000 | #Constraints: 37272
2856.76/2864.64 c #Conflicts: 1245000 | #Constraints: 38272
2856.76/2864.64 c #Conflicts: 1246000 | #Constraints: 39272
2856.76/2864.64 c #Conflicts: 1247000 | #Constraints: 40272
2856.76/2864.64 c #Conflicts: 1248000 | #Constraints: 41272
2856.76/2864.64 c #Conflicts: 1249000 | #Constraints: 42272
2856.76/2864.64 c #Conflicts: 1250000 | #Constraints: 43272
2856.76/2864.64 c #Conflicts: 1251000 | #Constraints: 44272
2856.76/2864.64 c #Conflicts: 1252000 | #Constraints: 45272
2856.76/2864.64 c #Conflicts: 1253000 | #Constraints: 46272
2856.76/2864.64 c #Conflicts: 1254000 | #Constraints: 47272
2856.76/2864.64 c #Conflicts: 1255000 | #Constraints: 48272
2856.76/2864.64 c #Conflicts: 1256000 | #Constraints: 49272
2856.76/2864.64 c INPROCESSING
2856.76/2864.64 c GARBAGE COLLECT
2856.76/2864.64 c #Conflicts: 1257000 | #Constraints: 28147
2856.76/2864.64 c #Conflicts: 1258000 | #Constraints: 29147
2856.76/2864.64 c #Conflicts: 1259000 | #Constraints: 30147
2856.76/2864.64 c #Conflicts: 1260000 | #Constraints: 31147
2856.76/2864.64 c #Conflicts: 1261000 | #Constraints: 32147
2856.76/2864.64 c #Conflicts: 1262000 | #Constraints: 33147
2856.76/2864.64 c #Conflicts: 1263000 | #Constraints: 34147
2856.76/2864.64 c #Conflicts: 1264000 | #Constraints: 35147
2856.76/2864.64 c #Conflicts: 1265000 | #Constraints: 36147
2856.76/2864.64 c #Conflicts: 1266000 | #Constraints: 37147
2856.76/2864.64 c #Conflicts: 1267000 | #Constraints: 38147
2856.76/2864.64 c #Conflicts: 1268000 | #Constraints: 39147
2856.76/2864.64 c #Conflicts: 1269000 | #Constraints: 40147
2856.76/2864.64 c #Conflicts: 1270000 | #Constraints: 41147
2856.76/2864.64 c #Conflicts: 1271000 | #Constraints: 42147
2856.76/2864.64 c #Conflicts: 1272000 | #Constraints: 43147
2856.76/2864.64 c #Conflicts: 1273000 | #Constraints: 44147
2856.76/2864.64 c #Conflicts: 1274000 | #Constraints: 45147
2856.76/2864.64 c #Conflicts: 1275000 | #Constraints: 46147
2856.76/2864.64 c #Conflicts: 1276000 | #Constraints: 47147
2856.76/2864.64 c #Conflicts: 1277000 | #Constraints: 48147
2856.76/2864.64 c #Conflicts: 1278000 | #Constraints: 49147
2856.76/2864.64 c #Conflicts: 1279000 | #Constraints: 50147
2856.76/2864.64 c INPROCESSING
2856.76/2864.64 c GARBAGE COLLECT
2856.76/2864.64 c #Conflicts: 1280000 | #Constraints: 28720
2856.76/2864.64 c #Conflicts: 1281000 | #Constraints: 29720
2856.76/2864.64 c #Conflicts: 1282000 | #Constraints: 30720
2856.76/2864.64 c #Conflicts: 1283000 | #Constraints: 31720
2856.76/2864.64 c #Conflicts: 1284000 | #Constraints: 32720
2856.76/2864.64 c #Conflicts: 1285000 | #Constraints: 33720
2856.76/2864.64 c #Conflicts: 1286000 | #Constraints: 34720
2856.76/2864.64 c #Conflicts: 1287000 | #Constraints: 35720
2856.76/2864.64 c #Conflicts: 1288000 | #Constraints: 36720
2856.76/2864.64 c GLOBAL bounds - >= -2128 @ 2841.62
2907.63/2915.68 c #Conflicts: 1289000 | #Constraints: 37722
2907.63/2915.68 c #Conflicts: 1290000 | #Constraints: 38722
2907.63/2915.68 c #Conflicts: 1291000 | #Constraints: 39722
2907.63/2915.68 c #Conflicts: 1292000 | #Constraints: 40722
2907.63/2915.68 c #Conflicts: 1293000 | #Constraints: 41722
2907.63/2915.68 c #Conflicts: 1294000 | #Constraints: 42722
2907.63/2915.68 c #Conflicts: 1295000 | #Constraints: 43722
2907.63/2915.68 c #Conflicts: 1296000 | #Constraints: 44722
2907.63/2915.68 c #Conflicts: 1297000 | #Constraints: 45722
2907.63/2915.68 c #Conflicts: 1298000 | #Constraints: 46722
2907.63/2915.68 c #Conflicts: 1299000 | #Constraints: 47722
2907.63/2915.68 c #Conflicts: 1300000 | #Constraints: 48722
2907.63/2915.68 c #Conflicts: 1301000 | #Constraints: 49722
2907.63/2915.68 c #Conflicts: 1302000 | #Constraints: 50722
2907.63/2915.68 c INPROCESSING
2907.63/2915.68 c GARBAGE COLLECT
2907.63/2915.68 c #Conflicts: 1303000 | #Constraints: 29050
2907.63/2915.68 c #Conflicts: 1304000 | #Constraints: 30050
2907.63/2915.68 c #Conflicts: 1305000 | #Constraints: 31050
2907.63/2915.68 c #Conflicts: 1306000 | #Constraints: 32050
2907.63/2915.68 c #Conflicts: 1307000 | #Constraints: 33050
2907.63/2915.68 c #Conflicts: 1308000 | #Constraints: 34050
2907.63/2915.68 c #Conflicts: 1309000 | #Constraints: 35050
2907.63/2915.68 c #Conflicts: 1310000 | #Constraints: 36050
2907.63/2915.68 c #Conflicts: 1311000 | #Constraints: 37050
2907.63/2915.68 c GLOBAL bounds - >= -2128 @ 2892.32
2985.93/2994.16 c #Conflicts: 1312000 | #Constraints: 38052
2985.93/2994.16 c #Conflicts: 1313000 | #Constraints: 39052
2985.93/2994.16 c #Conflicts: 1314000 | #Constraints: 40052
2985.93/2994.16 c #Conflicts: 1315000 | #Constraints: 41052
2985.93/2994.16 c #Conflicts: 1316000 | #Constraints: 42052
2985.93/2994.16 c #Conflicts: 1317000 | #Constraints: 43052
2985.93/2994.16 c #Conflicts: 1318000 | #Constraints: 44052
2985.93/2994.16 c #Conflicts: 1319000 | #Constraints: 45052
2985.93/2994.16 c #Conflicts: 1320000 | #Constraints: 46052
2985.93/2994.16 c #Conflicts: 1321000 | #Constraints: 47052
2985.93/2994.16 c #Conflicts: 1322000 | #Constraints: 48052
2985.93/2994.16 c #Conflicts: 1323000 | #Constraints: 49052
2985.93/2994.16 c #Conflicts: 1324000 | #Constraints: 50052
2985.93/2994.16 c #Conflicts: 1325000 | #Constraints: 51052
2985.93/2994.16 c INPROCESSING
2985.93/2994.16 c GARBAGE COLLECT
2985.93/2994.16 c #Conflicts: 1326000 | #Constraints: 29328
2985.93/2994.16 c #Conflicts: 1327000 | #Constraints: 30328
2985.93/2994.16 c #Conflicts: 1328000 | #Constraints: 31328
2985.93/2994.16 c #Conflicts: 1329000 | #Constraints: 32328
2985.93/2994.16 c #Conflicts: 1330000 | #Constraints: 33328
2985.93/2994.16 c #Conflicts: 1331000 | #Constraints: 34328
2985.93/2994.16 c #Conflicts: 1332000 | #Constraints: 35328
2985.93/2994.16 c #Conflicts: 1333000 | #Constraints: 36328
2985.93/2994.16 c #Conflicts: 1334000 | #Constraints: 37328
2985.93/2994.16 c #Conflicts: 1335000 | #Constraints: 38328
2985.93/2994.16 c #Conflicts: 1336000 | #Constraints: 39328
2985.93/2994.16 c #Conflicts: 1337000 | #Constraints: 40328
2985.93/2994.16 c #Conflicts: 1338000 | #Constraints: 41328
2985.93/2994.16 c #Conflicts: 1339000 | #Constraints: 42328
2985.93/2994.16 c #Conflicts: 1340000 | #Constraints: 43328
2985.93/2994.16 c #Conflicts: 1341000 | #Constraints: 44328
2985.93/2994.16 c #Conflicts: 1342000 | #Constraints: 45328
2985.93/2994.16 c #Conflicts: 1343000 | #Constraints: 46328
2985.93/2994.16 c #Conflicts: 1344000 | #Constraints: 47328
2985.93/2994.16 c #Conflicts: 1345000 | #Constraints: 48328
2985.93/2994.16 c GLOBAL bounds - >= -2128 @ 2970.33
3016.05/3024.35 c #Conflicts: 1346000 | #Constraints: 49330
3016.05/3024.35 c #Conflicts: 1347000 | #Constraints: 50330
3016.05/3024.35 c #Conflicts: 1348000 | #Constraints: 51330
3016.05/3024.35 c INPROCESSING
3016.05/3024.35 c GARBAGE COLLECT
3016.05/3024.35 c #Conflicts: 1349000 | #Constraints: 29365
3016.05/3024.35 c #Conflicts: 1350000 | #Constraints: 30365
3016.05/3024.35 c #Conflicts: 1351000 | #Constraints: 31365
3016.05/3024.35 c #Conflicts: 1352000 | #Constraints: 32365
3016.05/3024.35 c #Conflicts: 1353000 | #Constraints: 33365
3016.05/3024.35 c #Conflicts: 1354000 | #Constraints: 34365
3016.05/3024.35 c #Conflicts: 1355000 | #Constraints: 35365
3016.05/3024.35 c #Conflicts: 1356000 | #Constraints: 36365
3016.05/3024.35 c #Conflicts: 1357000 | #Constraints: 37365
3016.05/3024.35 c #Conflicts: 1358000 | #Constraints: 38365
3016.05/3024.35 c #Conflicts: 1359000 | #Constraints: 39365
3016.05/3024.35 c #Conflicts: 1360000 | #Constraints: 40365
3016.05/3024.35 c #Conflicts: 1361000 | #Constraints: 41365
3016.05/3024.35 c GLOBAL bounds - >= -2128 @ 3000.31
3034.10/3042.41 c #Conflicts: 1362000 | #Constraints: 42367
3034.10/3042.41 c #Conflicts: 1363000 | #Constraints: 43367
3034.10/3042.41 c #Conflicts: 1364000 | #Constraints: 44367
3034.10/3042.41 c #Conflicts: 1365000 | #Constraints: 45367
3034.10/3042.41 c #Conflicts: 1366000 | #Constraints: 46367
3034.10/3042.41 c #Conflicts: 1367000 | #Constraints: 47367
3034.10/3042.41 c #Conflicts: 1368000 | #Constraints: 48367
3034.10/3042.41 c #Conflicts: 1369000 | #Constraints: 49367
3034.10/3042.41 c GLOBAL bounds - >= -2128 @ 3018.24
3053.85/3062.25 c #Conflicts: 1370000 | #Constraints: 50369
3053.85/3062.25 c #Conflicts: 1371000 | #Constraints: 51369
3053.85/3062.25 c INPROCESSING
3053.85/3062.25 c GARBAGE COLLECT
3053.85/3062.25 c #Conflicts: 1372000 | #Constraints: 29146
3053.85/3062.25 c #Conflicts: 1373000 | #Constraints: 30146
3053.85/3062.25 c #Conflicts: 1374000 | #Constraints: 31146
3053.85/3062.25 c #Conflicts: 1375000 | #Constraints: 32146
3053.85/3062.25 c #Conflicts: 1376000 | #Constraints: 33146
3053.85/3062.25 c #Conflicts: 1377000 | #Constraints: 34146
3053.85/3062.25 c #Conflicts: 1378000 | #Constraints: 35146
3053.85/3062.25 c #Conflicts: 1379000 | #Constraints: 36146
3053.85/3062.25 c #Conflicts: 1380000 | #Constraints: 37146
3053.85/3062.25 c GLOBAL bounds - >= -2128 @ 3037.91
3243.04/3251.94 c #Conflicts: 1381000 | #Constraints: 38148
3243.04/3251.94 c #Conflicts: 1382000 | #Constraints: 39148
3243.04/3251.94 c #Conflicts: 1383000 | #Constraints: 40148
3243.04/3251.94 c #Conflicts: 1384000 | #Constraints: 41148
3243.04/3251.94 c #Conflicts: 1385000 | #Constraints: 42148
3243.04/3251.94 c #Conflicts: 1386000 | #Constraints: 43148
3243.04/3251.94 c #Conflicts: 1387000 | #Constraints: 44148
3243.04/3251.94 c #Conflicts: 1388000 | #Constraints: 45148
3243.04/3251.94 c #Conflicts: 1389000 | #Constraints: 46148
3243.04/3251.94 c #Conflicts: 1390000 | #Constraints: 47148
3243.04/3251.94 c #Conflicts: 1391000 | #Constraints: 48148
3243.04/3251.94 c #Conflicts: 1392000 | #Constraints: 49148
3243.04/3251.94 c #Conflicts: 1393000 | #Constraints: 50148
3243.04/3251.94 c #Conflicts: 1394000 | #Constraints: 51148
3243.04/3251.94 c #Conflicts: 1395000 | #Constraints: 52148
3243.04/3251.94 c INPROCESSING
3243.04/3251.94 c GARBAGE COLLECT
3243.04/3251.94 c #Conflicts: 1396000 | #Constraints: 29682
3243.04/3251.94 c #Conflicts: 1397000 | #Constraints: 30682
3243.04/3251.94 c #Conflicts: 1398000 | #Constraints: 31682
3243.04/3251.94 c #Conflicts: 1399000 | #Constraints: 32682
3243.04/3251.94 c #Conflicts: 1400000 | #Constraints: 33682
3243.04/3251.94 c #Conflicts: 1401000 | #Constraints: 34682
3243.04/3251.94 c #Conflicts: 1402000 | #Constraints: 35682
3243.04/3251.94 c #Conflicts: 1403000 | #Constraints: 36682
3243.04/3251.94 c #Conflicts: 1404000 | #Constraints: 37682
3243.04/3251.94 c #Conflicts: 1405000 | #Constraints: 38682
3243.04/3251.94 c #Conflicts: 1406000 | #Constraints: 39682
3243.04/3251.94 c #Conflicts: 1407000 | #Constraints: 40682
3243.04/3251.94 c #Conflicts: 1408000 | #Constraints: 41682
3243.04/3251.94 c #Conflicts: 1409000 | #Constraints: 42682
3243.04/3251.94 c #Conflicts: 1410000 | #Constraints: 43682
3243.04/3251.94 c #Conflicts: 1411000 | #Constraints: 44682
3243.04/3251.94 c #Conflicts: 1412000 | #Constraints: 45682
3243.04/3251.94 c #Conflicts: 1413000 | #Constraints: 46682
3243.04/3251.94 c #Conflicts: 1414000 | #Constraints: 47682
3243.04/3251.94 c #Conflicts: 1415000 | #Constraints: 48682
3243.04/3251.94 c #Conflicts: 1416000 | #Constraints: 49682
3243.04/3251.94 c #Conflicts: 1417000 | #Constraints: 50682
3243.04/3251.94 c #Conflicts: 1418000 | #Constraints: 51682
3243.04/3251.94 c #Conflicts: 1419000 | #Constraints: 52682
3243.04/3251.94 c INPROCESSING
3243.04/3251.94 c GARBAGE COLLECT
3243.04/3251.94 c #Conflicts: 1420000 | #Constraints: 30057
3243.04/3251.94 c #Conflicts: 1421000 | #Constraints: 31057
3243.04/3251.94 c #Conflicts: 1422000 | #Constraints: 32057
3243.04/3251.94 c #Conflicts: 1423000 | #Constraints: 33057
3243.04/3251.94 c #Conflicts: 1424000 | #Constraints: 34057
3243.04/3251.94 c #Conflicts: 1425000 | #Constraints: 35057
3243.04/3251.94 c #Conflicts: 1426000 | #Constraints: 36057
3243.04/3251.94 c #Conflicts: 1427000 | #Constraints: 37057
3243.04/3251.94 c #Conflicts: 1428000 | #Constraints: 38057
3243.04/3251.94 c #Conflicts: 1429000 | #Constraints: 39057
3243.04/3251.94 c #Conflicts: 1430000 | #Constraints: 40057
3243.04/3251.94 c #Conflicts: 1431000 | #Constraints: 41057
3243.04/3251.94 c #Conflicts: 1432000 | #Constraints: 42057
3243.04/3251.94 c #Conflicts: 1433000 | #Constraints: 43057
3243.04/3251.94 c #Conflicts: 1434000 | #Constraints: 44057
3243.04/3251.94 c #Conflicts: 1435000 | #Constraints: 45057
3243.04/3251.94 c #Conflicts: 1436000 | #Constraints: 46057
3243.04/3251.94 c #Conflicts: 1437000 | #Constraints: 47057
3243.04/3251.94 c #Conflicts: 1438000 | #Constraints: 48057
3243.04/3251.95 c #Conflicts: 1439000 | #Constraints: 49057
3243.04/3251.95 c #Conflicts: 1440000 | #Constraints: 50057
3243.04/3251.95 c #Conflicts: 1441000 | #Constraints: 51057
3243.04/3251.95 c #Conflicts: 1442000 | #Constraints: 52057
3243.04/3251.95 c #Conflicts: 1443000 | #Constraints: 53057
3243.04/3251.95 c INPROCESSING
3243.04/3251.95 c GARBAGE COLLECT
3243.04/3251.95 c #Conflicts: 1444000 | #Constraints: 30237
3243.04/3251.95 c #Conflicts: 1445000 | #Constraints: 31237
3243.04/3251.95 c #Conflicts: 1446000 | #Constraints: 32237
3243.04/3251.95 c #Conflicts: 1447000 | #Constraints: 33237
3243.04/3251.95 c #Conflicts: 1448000 | #Constraints: 34237
3243.04/3251.95 c #Conflicts: 1449000 | #Constraints: 35237
3243.04/3251.95 c #Conflicts: 1450000 | #Constraints: 36237
3243.04/3251.95 c #Conflicts: 1451000 | #Constraints: 37237
3243.04/3251.95 c #Conflicts: 1452000 | #Constraints: 38237
3243.04/3251.95 c #Conflicts: 1453000 | #Constraints: 39237
3243.04/3251.95 c #Conflicts: 1454000 | #Constraints: 40237
3243.04/3251.95 c #Conflicts: 1455000 | #Constraints: 41237
3243.04/3251.95 c #Conflicts: 1456000 | #Constraints: 42237
3243.04/3251.95 c #Conflicts: 1457000 | #Constraints: 43237
3497.80/3507.48 c #Conflicts: 1458000 | #Constraints: 44237
3497.80/3507.48 c #Conflicts: 1459000 | #Constraints: 45237
3497.80/3507.48 c #Conflicts: 1460000 | #Constraints: 46237
3497.80/3507.48 c #Conflicts: 1461000 | #Constraints: 47237
3497.80/3507.48 c #Conflicts: 1462000 | #Constraints: 48237
3497.80/3507.48 c #Conflicts: 1463000 | #Constraints: 49237
3497.80/3507.48 c #Conflicts: 1464000 | #Constraints: 50237
3497.80/3507.48 c #Conflicts: 1465000 | #Constraints: 51237
3497.80/3507.48 c #Conflicts: 1466000 | #Constraints: 52237
3497.80/3507.48 c #Conflicts: 1467000 | #Constraints: 53237
3497.80/3507.48 c INPROCESSING
3497.80/3507.48 c GARBAGE COLLECT
3497.80/3507.48 c #Conflicts: 1468000 | #Constraints: 30218
3497.80/3507.48 c #Conflicts: 1469000 | #Constraints: 31218
3497.80/3507.48 c #Conflicts: 1470000 | #Constraints: 32218
3497.80/3507.48 c #Conflicts: 1471000 | #Constraints: 33218
3497.80/3507.48 c #Conflicts: 1472000 | #Constraints: 34218
3497.80/3507.48 c #Conflicts: 1473000 | #Constraints: 35218
3497.80/3507.48 c #Conflicts: 1474000 | #Constraints: 36218
3497.80/3507.48 c #Conflicts: 1475000 | #Constraints: 37218
3497.80/3507.48 c #Conflicts: 1476000 | #Constraints: 38218
3497.80/3507.48 c #Conflicts: 1477000 | #Constraints: 39218
3497.80/3507.48 c #Conflicts: 1478000 | #Constraints: 40218
3497.80/3507.48 c #Conflicts: 1479000 | #Constraints: 41218
3497.80/3507.48 c #Conflicts: 1480000 | #Constraints: 42218
3497.80/3507.48 c #Conflicts: 1481000 | #Constraints: 43218
3497.80/3507.48 c #Conflicts: 1482000 | #Constraints: 44218
3497.80/3507.48 c #Conflicts: 1483000 | #Constraints: 45218
3497.80/3507.48 c #Conflicts: 1484000 | #Constraints: 46218
3497.80/3507.48 c #Conflicts: 1485000 | #Constraints: 47218
3497.80/3507.48 c #Conflicts: 1486000 | #Constraints: 48218
3497.80/3507.48 c #Conflicts: 1487000 | #Constraints: 49218
3497.80/3507.48 c #Conflicts: 1488000 | #Constraints: 50218
3497.80/3507.48 c #Conflicts: 1489000 | #Constraints: 51218
3497.80/3507.48 c #Conflicts: 1490000 | #Constraints: 52218
3497.80/3507.48 c #Conflicts: 1491000 | #Constraints: 53218
3497.80/3507.48 c INPROCESSING
3497.80/3507.48 c GARBAGE COLLECT
3497.80/3507.48 c #Conflicts: 1492000 | #Constraints: 30011
3497.80/3507.48 c #Conflicts: 1493000 | #Constraints: 31011
3497.80/3507.48 c #Conflicts: 1494000 | #Constraints: 32011
3497.80/3507.48 c #Conflicts: 1495000 | #Constraints: 33011
3497.80/3507.48 c #Conflicts: 1496000 | #Constraints: 34011
3497.80/3507.48 c #Conflicts: 1497000 | #Constraints: 35011
3497.80/3507.48 c #Conflicts: 1498000 | #Constraints: 36011
3497.80/3507.48 c #Conflicts: 1499000 | #Constraints: 37011
3497.80/3507.48 c #Conflicts: 1500000 | #Constraints: 38011
3497.80/3507.48 c #Conflicts: 1501000 | #Constraints: 39011
3497.80/3507.48 c #Conflicts: 1502000 | #Constraints: 40011
3497.80/3507.48 c #Conflicts: 1503000 | #Constraints: 41011
3497.80/3507.48 c #Conflicts: 1504000 | #Constraints: 42011
3497.80/3507.48 c #Conflicts: 1505000 | #Constraints: 43011
3497.80/3507.48 c #Conflicts: 1506000 | #Constraints: 44011
3497.80/3507.48 c #Conflicts: 1507000 | #Constraints: 45011
3497.80/3507.48 c #Conflicts: 1508000 | #Constraints: 46011
3497.80/3507.48 c #Conflicts: 1509000 | #Constraints: 47011
3497.80/3507.48 c #Conflicts: 1510000 | #Constraints: 48011
3497.80/3507.48 c #Conflicts: 1511000 | #Constraints: 49011
3497.80/3507.48 c #Conflicts: 1512000 | #Constraints: 50011
3497.80/3507.48 c #Conflicts: 1513000 | #Constraints: 51011
3497.80/3507.48 c #Conflicts: 1514000 | #Constraints: 52011
3497.80/3507.48 c #Conflicts: 1515000 | #Constraints: 53011
3497.80/3507.48 c #Conflicts: 1516000 | #Constraints: 54011
3497.80/3507.48 c INPROCESSING
3497.80/3507.48 c GARBAGE COLLECT
3497.80/3507.48 c #Conflicts: 1517000 | #Constraints: 30612
3497.80/3507.48 c #Conflicts: 1518000 | #Constraints: 31612
3497.80/3507.48 c #Conflicts: 1519000 | #Constraints: 32612
3497.80/3507.48 c #Conflicts: 1520000 | #Constraints: 33612
3497.80/3507.48 c #Conflicts: 1521000 | #Constraints: 34612
3497.80/3507.48 c #Conflicts: 1522000 | #Constraints: 35612
3497.80/3507.48 c #Conflicts: 1523000 | #Constraints: 36612
3497.80/3507.48 c #Conflicts: 1524000 | #Constraints: 37612
3497.80/3507.48 c #Conflicts: 1525000 | #Constraints: 38612
3497.80/3507.48 c #Conflicts: 1526000 | #Constraints: 39612
3497.80/3507.48 c #Conflicts: 1527000 | #Constraints: 40612
3497.80/3507.48 c #Conflicts: 1528000 | #Constraints: 41612
3497.80/3507.48 c #Conflicts: 1529000 | #Constraints: 42612
3497.80/3507.48 c #Conflicts: 1530000 | #Constraints: 43612
3497.80/3507.48 c #Conflicts: 1531000 | #Constraints: 44612
3497.80/3507.48 c #Conflicts: 1532000 | #Constraints: 45612
3497.80/3507.48 c #Conflicts: 1533000 | #Constraints: 46612
3497.80/3507.48 c #Conflicts: 1534000 | #Constraints: 47612
3600.01/3609.90 c #Conflicts: 1535000 | #Constraints: 48612
3600.01/3609.90 c #Conflicts: 1536000 | #Constraints: 49612
3600.01/3609.90 c #Conflicts: 1537000 | #Constraints: 50612
3600.01/3609.90 c #Conflicts: 1538000 | #Constraints: 51612
3600.01/3609.90 c #Conflicts: 1539000 | #Constraints: 52612
3600.01/3609.90 c #Conflicts: 1540000 | #Constraints: 53612
3600.01/3609.90 c #Conflicts: 1541000 | #Constraints: 54612
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 1542000 | #Constraints: 31006
3600.01/3609.90 c #Conflicts: 1543000 | #Constraints: 32006
3600.01/3609.90 c #Conflicts: 1544000 | #Constraints: 33006
3600.01/3609.90 c #Conflicts: 1545000 | #Constraints: 34006
3600.01/3609.90 c #Conflicts: 1546000 | #Constraints: 35006
3600.01/3609.90 c #Conflicts: 1547000 | #Constraints: 36006
3600.01/3609.90 c #Conflicts: 1548000 | #Constraints: 37006
3600.01/3609.90 c #Conflicts: 1549000 | #Constraints: 38006
3600.01/3609.90 c #Conflicts: 1550000 | #Constraints: 39006
3600.01/3609.90 c #Conflicts: 1551000 | #Constraints: 40006
3600.01/3609.90 c #Conflicts: 1552000 | #Constraints: 41006
3600.01/3609.90 c #Conflicts: 1553000 | #Constraints: 42006
3600.01/3609.90 c #Conflicts: 1554000 | #Constraints: 43006
3600.01/3609.90 c #Conflicts: 1555000 | #Constraints: 44006
3600.01/3609.90 c #Conflicts: 1556000 | #Constraints: 45006
3600.01/3609.90 c #Conflicts: 1557000 | #Constraints: 46006
3600.01/3609.90 c #Conflicts: 1558000 | #Constraints: 47006
3600.01/3609.90 c #Conflicts: 1559000 | #Constraints: 48006
3600.01/3609.90 c #Conflicts: 1560000 | #Constraints: 49006
3600.01/3609.90 c #Conflicts: 1561000 | #Constraints: 50006
3600.01/3609.90 c #Conflicts: 1562000 | #Constraints: 51006
3600.01/3609.90 c #Conflicts: 1563000 | #Constraints: 52006
3600.01/3609.90 c #Conflicts: 1564000 | #Constraints: 53006
3600.01/3609.90 c #Conflicts: 1565000 | #Constraints: 54006
3600.01/3609.90 c #Conflicts: 1566000 | #Constraints: 55006
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 1567000 | #Constraints: 31217
3600.01/3609.90 c cpu time 3581.99 s
3600.01/3609.90 c deterministic time 2 2.00e+00
3600.01/3609.90 c optimization time 3581.97 s
3600.01/3609.90 c total solve time 0 s
3600.01/3609.90 c core-guided solve time 0 s
3600.01/3609.90 c propagation time 0.001758 s
3600.01/3609.90 c conflict analysis time 0 s
3600.01/3609.90 c propagations 1
3600.01/3609.90 c resolve steps 0
3600.01/3609.90 c decisions 0
3600.01/3609.90 c conflicts 0
3600.01/3609.90 c restarts 0
3600.01/3609.90 c inprocessing phases 0
3600.01/3609.90 c garbage collections 0 ,( -nan )
3600.01/3609.90 c input clauses 4206 ,( 85.38 )
3600.01/3609.90 c input cardinalities 720 ,( 14.62 )
3600.01/3609.90 c input general constraints 0 ,( 0.00 )
3600.01/3609.90 c input average constraint length 3.82
3600.01/3609.90 c input average constraint degree 1.28
3600.01/3609.90 c learned clauses 0 ,( 0.00 )
3600.01/3609.90 c learned cardinalities 0 ,( 0.00 )
3600.01/3609.90 c learned general constraints 0 ,( 0.00 )
3600.01/3609.90 c learned average constraint length 0.00
3600.01/3609.90 c learned average constraint degree 0.00
3600.01/3609.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3609.90 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3609.90 c watched constraints 0 ,( -nan )
3600.01/3609.90 c counting constraints 0 ,( -nan )
3600.01/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3609.90 c gcd simplifications 0
3600.01/3609.90 c detected cardinalities 0
3600.01/3609.90 c weakened non-implied lits 0
3600.01/3609.90 c weakened non-implying lits 0
3600.01/3609.90 c original variables 4447
3600.01/3609.90 c clausal propagations 0
3600.01/3609.90 c cardinality propagations 0
3600.01/3609.90 c watched propagations 0
3600.01/3609.90 c counting propagations 0
3600.01/3609.90 c watch lookups 0
3600.01/3609.90 c watch backjump lookups 0
3600.01/3609.90 c watch checks 0
3600.01/3609.90 c propagation checks 0
3600.01/3609.90 c constraint additions 0
3600.01/3609.90 c trail pops 0
3600.01/3609.90 c formula constraints 4926
3600.01/3609.90 c learned constraints 0
3600.01/3609.90 c bound constraints 0
3600.01/3609.90 c core-guided constraints 0
3600.01/3609.90 c encountered formula constraints 0
3600.01/3609.90 c encountered learned constraints 0
3600.01/3609.90 c encountered bound constraints 0
3600.01/3609.90 c encountered core-guided constraints 0
3600.01/3609.90 c LP total time 0 s
3600.01/3609.90 c LP solve time 0 s
3600.01/3609.90 c LP constraints added 0
3600.01/3609.90 c LP constraints removed 0
3600.01/3609.90 c LP pivots internal 0
3600.01/3609.90 c LP pivots root 0
3600.01/3609.90 c LP calls 0
3600.01/3609.90 c LP optimalities 0
3600.01/3609.90 c LP no pivot count 0
3600.01/3609.90 c LP infeasibilities 0
3600.01/3609.90 c LP valid Farkas constraints 0
3600.01/3609.90 c LP learned Farkas constraints 0
3600.01/3609.90 c LP basis resets 0
3600.01/3609.90 c LP cycling count 0
3600.01/3609.90 c LP singular count 0
3600.01/3609.90 c LP no primal count 0
3600.01/3609.90 c LP no farkas count 0
3600.01/3609.90 c LP other issue count 0
3600.01/3609.90 c LP Gomory cuts 0
3600.01/3609.90 c LP learned cuts 0
3600.01/3609.90 c LP deleted cuts 0
3600.01/3609.90 c LP encountered Gomory constraints 0
3600.01/3609.90 c LP encountered Farkas constraints 0
3600.01/3609.90 c LP encountered learned Farkas constraints 0
3600.01/3609.90 c CG auxiliary variables introduced 0
3600.01/3609.90 c CG solutions found 0
3600.01/3609.90 c CG cores constructed 0
3600.01/3609.90 c CG core cardinality constraints returned 0
3600.01/3609.90 c CG unit cores 0
3600.01/3609.90 c CG single cores 0
3600.01/3609.90 c CG blocks removed during cardinality reduction 0
3600.01/3609.90 c CG first core best 0
3600.01/3609.90 c CG decision core best 0
3600.01/3609.90 c CG core reduction tie 0
3600.01/3609.90 c CG core degree average 0.00
3600.01/3609.90 c CG core slack average 0.00
3600.01/3609.90 c CG core upper bound improvements 0
3600.01/3609.90 c STR number of successful calls 0
3600.01/3609.90 c STR number of unsuccessful calls 0
3600.01/3609.90 c STR number of inconclusive calls 0
3600.01/3609.90 c STR number of successful attempts 0
3600.01/3609.90 c STR number of unsuccessful attempts 0
3600.01/3609.90 c STR number of inconclusive attempts 0
3600.01/3609.90 c STR average degree increase per successful call inf
3600.01/3609.90 c STR average degree increase per successful attempt inf
3600.01/3609.90 c STR total number of conflicts for successful attempts 0
3600.01/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.90 c STR average number of conflicts per successful attempt inf
3600.01/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.90 c AVG.sumWPerc -nan
3600.01/3609.90 c bigint constraints 0
3600.01/3609.90 s UNKNOWN
3600.01/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 (60650 MiB free)
memory of node 1: 64465 MiB (61494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484538-1751292234/watcher-4484538-1751292234 -o /tmp/evaluation-result-4484538-1751292234/solver-4484538-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39123 --watchdog 3760 run-opt.sh HOME/instance-4484538-1751292234.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39172, runsolver pid=39163
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.73 1.87 2.88 6/272 39185
/proc/meminfo: memFree=125036508/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=70624 memory=22396 CPUtime=0.07 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 3654 0 0 0 6 1 0 0 20 0 1 0 44897912 72318976 5599 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 17656 5599 2304 1147 0 5083 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 74816 KiB
Current children cumulated memory: 25212 KiB
[startup+0.205894 s]*
/proc/loadavg: 0.73 1.87 2.88 6/272 39185
/proc/meminfo: memFree=125010492/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=71952 memory=25340 CPUtime=0.16 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 4329 0 0 0 14 2 0 0 20 0 1 0 44897912 73678848 6335 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 17988 6335 2336 1147 0 5415 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 76144 KiB
Current children cumulated memory: 28156 KiB
[startup+0.30573 s]*
/proc/loadavg: 0.73 1.87 2.88 6/272 39185
/proc/meminfo: memFree=125000664/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=74752 memory=30260 CPUtime=0.26 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 5043 0 0 0 24 2 0 0 20 0 1 0 44897912 76546048 7565 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 18688 7565 2336 1147 0 6115 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 78944 KiB
Current children cumulated memory: 33076 KiB
[startup+0.70019 s]
/proc/loadavg: 0.73 1.87 2.88 6/272 39185
/proc/meminfo: memFree=124970612/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=98800 memory=53416 CPUtime=0.65 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 9820 0 0 0 60 5 0 0 20 0 1 0 44897912 101171200 13354 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 24700 13354 2336 1147 0 12127 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 102992 KiB
Current children cumulated memory: 56232 KiB
[startup+1.50015 s]
/proc/loadavg: 0.99 1.91 2.88 6/272 39185
/proc/meminfo: memFree=124888892/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=150512 memory=96992 CPUtime=1.45 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 18682 0 0 0 133 12 0 0 20 0 1 0 44897912 154124288 24248 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 37628 24248 2336 1147 0 25055 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 154704 KiB
Current children cumulated memory: 99808 KiB
[startup+3.10569 s]
/proc/loadavg: 0.99 1.91 2.88 6/272 39185
/proc/meminfo: memFree=124601704/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=228696 memory=167480 CPUtime=3.06 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 32199 0 0 0 287 19 0 0 20 0 1 0 44897912 234184704 41870 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 57174 41870 2336 1147 0 44601 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 232888 KiB
Current children cumulated memory: 170296 KiB
[startup+6.30014 s]
/proc/loadavg: 1.23 1.94 2.89 6/272 39185
/proc/meminfo: memFree=124323296/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=334256 memory=234724 CPUtime=6.23 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 45982 0 0 0 595 28 0 0 20 0 1 0 44897912 342278144 58681 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 83564 58681 2336 1147 0 70991 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 338448 KiB
Current children cumulated memory: 237540 KiB
[startup+12.7001 s]
/proc/loadavg: 1.45 1.98 2.90 6/272 39185
/proc/meminfo: memFree=124049424/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=363380 memory=290156 CPUtime=12.61 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 54713 0 0 0 1218 43 0 0 20 0 1 0 44897912 372101120 72539 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 90845 72539 2336 1147 0 78272 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 367572 KiB
Current children cumulated memory: 292972 KiB
[startup+25.5002 s]
/proc/loadavg: 1.92 2.06 2.91 5/271 39231
/proc/meminfo: memFree=123472392/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=544752 memory=405992 CPUtime=25.36 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 78558 0 0 0 2470 66 0 0 20 0 1 0 44897912 557826048 101498 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 136188 101498 2336 1147 0 123615 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 548944 KiB
Current children cumulated memory: 408808 KiB
[startup+51.1055 s]
/proc/loadavg: 2.74 2.25 2.95 5/271 39232
/proc/meminfo: memFree=123133768/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=707304 memory=515316 CPUtime=50.9 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 98248 0 0 0 4990 100 0 0 20 0 1 0 44897912 724279296 128829 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 176826 128829 2336 1147 0 164253 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 711496 KiB
Current children cumulated memory: 518132 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.54 3.01 5/271 39233
/proc/meminfo: memFree=122470060/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=763872 memory=612700 CPUtime=101.94 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 114440 0 0 0 10044 150 0 0 20 0 1 0 44897912 782204928 153175 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 190968 153175 2336 1147 0 178395 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 768064 KiB
Current children cumulated memory: 615516 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.82 3.08 5/271 39328
/proc/meminfo: memFree=121717324/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=974588 memory=788712 CPUtime=161.76 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 150761 0 0 0 15957 219 0 0 20 0 1 0 44897912 997978112 197178 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 243647 197178 2336 1147 0 231074 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 978780 KiB
Current children cumulated memory: 791528 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 3.05 3.15 5/271 39330
/proc/meminfo: memFree=121460640/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=1212584 memory=896216 CPUtime=221.59 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 172988 0 0 0 21895 264 0 0 20 0 1 0 44897912 1241686016 224054 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 303146 224054 2336 1147 0 290573 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/39178/statm: 589269 527621 2336 1147 0 576696 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 2361268 KiB
Current children cumulated memory: 2113300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 39480
/proc/meminfo: memFree=112899956/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=2421076 memory=2159904 CPUtime=3153.68 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 341252 0 0 0 313727 1641 0 0 20 0 1 0 44897912 2479181824 539976 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 605269 539976 2336 1147 0 592696 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 2425268 KiB
Current children cumulated memory: 2162720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/268 39482
/proc/meminfo: memFree=112591452/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=3115420 memory=2443600 CPUtime=3213.52 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 398637 0 0 0 319676 1676 0 0 20 0 1 0 44897912 3190190080 610900 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 778855 610900 2336 1147 0 766282 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 3119612 KiB
Current children cumulated memory: 2446416 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 39485
/proc/meminfo: memFree=112390100/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=3226012 memory=2565952 CPUtime=3273.35 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 420535 0 0 0 325637 1698 0 0 20 0 1 0 44897912 3303436288 641488 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 806503 641488 2336 1147 0 793930 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 3230204 KiB
Current children cumulated memory: 2568768 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 39490
/proc/meminfo: memFree=111864004/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=3226012 memory=2565952 CPUtime=3333.18 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 420555 0 0 0 331600 1718 0 0 20 0 1 0 44897912 3303436288 641488 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 806503 641488 2336 1147 0 793930 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 3230204 KiB
Current children cumulated memory: 2568768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 39493
/proc/meminfo: memFree=111791904/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=3226012 memory=2566464 CPUtime=3393 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 420701 0 0 0 337561 1739 0 0 20 0 1 0 44897912 3303436288 641616 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 806503 641616 2336 1147 0 793930 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 3230204 KiB
Current children cumulated memory: 2569280 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 39506
/proc/meminfo: memFree=111778952/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=3226012 memory=2566592 CPUtime=3452.82 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 420718 0 0 0 343525 1757 0 0 20 0 1 0 44897912 3303436288 641648 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 806503 641648 2336 1147 0 793930 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 3230204 KiB
Current children cumulated memory: 2569408 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/269 39508
/proc/meminfo: memFree=111725764/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=3226012 memory=2566592 CPUtime=3512.66 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 420718 0 0 0 349489 1777 0 0 20 0 1 0 44897912 3303436288 641648 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 806503 641648 2336 1147 0 793930 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 3230204 KiB
Current children cumulated memory: 2569408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 39510
/proc/meminfo: memFree=111494200/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=3226012 memory=2566592 CPUtime=3572.49 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 420737 0 0 0 355452 1797 0 0 20 0 1 0 44897912 3303436288 641648 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 806503 641648 2336 1147 0 793930 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 3230204 KiB
Current children cumulated memory: 2569408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 39511
/proc/meminfo: memFree=111345932/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=3226012 memory=2566592 CPUtime=3600.01 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 420738 0 0 0 358199 1802 0 0 20 0 1 0 44897912 3303436288 641648 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 806503 641648 2336 1147 0 793930 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3230204 KiB
Current children cumulated memory: 2569408 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.91 s]
# the end of solver process 39172 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.002498 s
Sleeping 2 seconds
[startup+3609.95 s]
# the end of solver process 39178 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.99 s, system=18.0714 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.11 4.09 4.09 5/269 39511
/proc/meminfo: memFree=111345932/131249992 swapFree=33010160/33010684
[pid=39172] ppid=39163 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/39172/stat : 39172 (run-opt.sh) S 39163 39172 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 704 18446744073709551615 94664911163392 94664912057925 140733180561488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94664912296976 94664912344720 94664936902656 140733180569965 140733180570088 140733180570088 140733180575690 0
/proc/39172/statm: 1048 704 672 219 0 110 0
[pid=39178] ppid=39172 vsize=3226012 memory=2566592 CPUtime=3600.01 cores=4,6
/proc/39178/stat : 39178 (roundingsat) R 39172 39172 39107 0 -1 4194304 420738 0 0 0 358199 1802 0 0 20 0 1 0 44897912 3303436288 641648 18446744073709551615 4227072 8923433 140722022896992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32423936 140722022902178 140722022902312 140722022902312 140722022907882 0
/proc/39178/statm: 806503 641648 2336 1147 0 793930 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3230204 KiB
Current children cumulated memory: 2569408 KiB
Child status: 2
Real time (s): 3609.95
CPU time (s): 3600.07
CPU user time (s): 3581.99
CPU system time (s): 18.0714
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 3230204
Max. memory (cumulated for all children) (KiB): 2569408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.99
system time used= 18.0713
maximum resident set size= 2566976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420965
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= 543
involuntary context switches= 3519
# summary of solver processes directly reported to runsolver:
# pid: 39172,39178
# total CPU time (s): 3600.07
# total CPU user time (s): 3581.99
# total CPU system time (s): 18.0714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2369 second user time and 16.4958 second system time
The end
Begin job on nodeC035 at 2025-06-30 16:03:54
IDJOB=4484538
IDBENCH=146659
IDSOLVER=3350
FILE ID=nodeC035/4484538-1751292234
RUNJOBID= nodeC035-1751292233-39123
SLURM_JOB_ID= 9594262
Free space on /tmp= 433064 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.5:100.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484538-1751292234/watcher-4484538-1751292234 -o /tmp/evaluation-result-4484538-1751292234/solver-4484538-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39123 --watchdog 3760 run-opt.sh HOME/instance-4484538-1751292234.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5103574c4a35f60a2227b90ce19b385
RANDOM SEED=349211541
nodeC035 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.822
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.51
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.880
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.51
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.799
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.415
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.51
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.724
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.51
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.304
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.51
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 : 3590.282
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.51
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 : 3294.321
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 125080136 kB
MemAvailable: 129714460 kB
Buffers: 1840 kB
Cached: 5387848 kB
SwapCached: 8 kB
Active: 346296 kB
Inactive: 5108412 kB
Active(anon): 71444 kB
Inactive(anon): 11624 kB
Active(file): 274852 kB
Inactive(file): 5096788 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22688 kB
Writeback: 0 kB
AnonPages: 68048 kB
Mapped: 102544 kB
Shmem: 18048 kB
KReclaimable: 203848 kB
Slab: 292240 kB
SReclaimable: 203848 kB
SUnreclaim: 88392 kB
KernelStack: 4140 kB
PageTables: 2684 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC035 at 2025-06-30 17:04:04