0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.07 c #variables 1600 #constraints 1600
0.00/0.07 c objective is ce32
0.00/0.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.010407
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.010912
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.015579
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.01961
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.026156
0.03/0.11 c GLOBAL bounds - >= 0 @ 0.037838
0.03/0.12 c GLOBAL bounds - >= 0 @ 0.0489
0.03/0.15 c GLOBAL bounds - >= 0 @ 0.068837
0.03/0.16 c GLOBAL bounds - >= 0 @ 0.085054
0.03/0.20 c GLOBAL bounds - >= 0 @ 0.117115
0.14/0.23 c GLOBAL bounds - >= 0 @ 0.144733
0.14/0.25 c GLOBAL bounds - >= 0 @ 0.158638
0.14/0.28 c GLOBAL bounds - >= 0 @ 0.192688
0.23/0.31 c GLOBAL bounds - >= 0 @ 0.219752
0.23/0.37 c GLOBAL bounds - >= 0 @ 0.273738
0.33/0.45 c GLOBAL bounds - >= 0 @ 0.353602
0.53/0.65 c #Conflicts: 1000 | #Constraints: 2628
0.53/0.65 c GLOBAL bounds - >= 0 @ 0.537111
0.62/0.71 c GLOBAL bounds - >= 0 @ 0.591905
1.82/1.95 c #Conflicts: 2000 | #Constraints: 3632
1.82/1.95 c INPROCESSING
1.82/1.95 c GARBAGE COLLECT
1.82/1.95 c #Conflicts: 3000 | #Constraints: 3651
1.82/1.95 c GLOBAL bounds - >= 0 @ 1.80414
1.92/2.04 c GLOBAL bounds - >= 0 @ 1.88672
2.11/2.21 c GLOBAL bounds - >= 0 @ 2.05571
2.22/2.38 c GLOBAL bounds - >= 0 @ 2.21009
2.42/2.55 c GLOBAL bounds - >= 0 @ 2.37136
2.51/2.64 c GLOBAL bounds - >= 0 @ 2.45775
2.62/2.79 c #Conflicts: 4000 | #Constraints: 4663
2.62/2.79 c GLOBAL bounds - >= 0 @ 2.60315
2.92/3.01 c INPROCESSING
2.92/3.01 c GARBAGE COLLECT
2.92/3.01 c GLOBAL bounds - >= 0 @ 2.82778
3.41/3.54 c GLOBAL bounds - >= 0 @ 3.34117
3.52/3.62 c #Conflicts: 5000 | #Constraints: 4088
3.52/3.62 c GLOBAL bounds - >= 0 @ 3.41174
3.52/3.69 c GLOBAL bounds - >= 0 @ 3.47848
4.11/4.27 c GLOBAL bounds - >= 0 @ 4.04531
6.02/6.13 c #Conflicts: 6000 | #Constraints: 5094
6.02/6.13 c INPROCESSING
6.02/6.13 c GARBAGE COLLECT
6.02/6.13 c #Conflicts: 7000 | #Constraints: 4104
6.02/6.13 c #Conflicts: 8000 | #Constraints: 5104
6.02/6.13 c GLOBAL bounds - >= 0 @ 5.8674
7.40/7.55 c #Conflicts: 9000 | #Constraints: 6106
7.40/7.55 c INPROCESSING
7.40/7.55 c GARBAGE COLLECT
7.40/7.55 c GLOBAL bounds - >= 0 @ 7.26028
7.50/7.60 c GLOBAL bounds - >= 0 @ 7.30886
8.70/8.83 c #Conflicts: 10000 | #Constraints: 4811
8.70/8.83 c #Conflicts: 11000 | #Constraints: 5811
8.70/8.83 c GLOBAL bounds - >= 0 @ 8.50826
8.80/8.96 c GLOBAL bounds - >= 0 @ 8.63355
9.01/9.13 c GLOBAL bounds - >= 0 @ 8.79863
9.10/9.25 c GLOBAL bounds - >= 0 @ 8.91181
9.30/9.45 c GLOBAL bounds - >= 0 @ 9.11016
9.60/9.70 c #Conflicts: 12000 | #Constraints: 6821
9.60/9.70 c INPROCESSING
9.60/9.70 c GARBAGE COLLECT
9.60/9.70 c GLOBAL bounds - >= 0 @ 9.36212
9.70/9.83 c GLOBAL bounds - >= 0 @ 9.48665
9.79/9.99 c GLOBAL bounds - >= 0 @ 9.63636
10.00/10.13 c GLOBAL bounds - >= 0 @ 9.77215
10.00/10.18 c GLOBAL bounds - >= 0 @ 9.82537
10.09/10.24 c GLOBAL bounds - >= 0 @ 9.88066
10.20/10.33 c GLOBAL bounds - >= 0 @ 9.96752
10.29/10.45 c GLOBAL bounds - >= 0 @ 10.078
10.40/10.57 c #Conflicts: 13000 | #Constraints: 5296
10.40/10.57 c GLOBAL bounds - >= 0 @ 10.1912
11.00/11.14 c GLOBAL bounds - >= 0 @ 10.7519
11.29/11.41 c #Conflicts: 14000 | #Constraints: 6300
11.29/11.41 c GLOBAL bounds - >= 0 @ 11.0186
11.49/11.64 c GLOBAL bounds - >= 0 @ 11.2291
11.89/12.04 c GLOBAL bounds - >= 0 @ 11.6129
16.18/16.39 c #Conflicts: 15000 | #Constraints: 7306
16.18/16.39 c INPROCESSING
16.18/16.39 c GARBAGE COLLECT
16.18/16.39 c #Conflicts: 16000 | #Constraints: 5526
16.18/16.39 c #Conflicts: 17000 | #Constraints: 6526
16.18/16.39 c #Conflicts: 18000 | #Constraints: 7526
16.18/16.39 c INPROCESSING
16.18/16.39 c GARBAGE COLLECT
16.18/16.39 c #Conflicts: 19000 | #Constraints: 5571
16.18/16.39 c GLOBAL bounds - >= 0 @ 15.886
16.37/16.52 c GLOBAL bounds - >= 0 @ 16.0101
17.57/17.77 c #Conflicts: 20000 | #Constraints: 6575
17.57/17.77 c #Conflicts: 21000 | #Constraints: 7575
17.57/17.77 c GLOBAL bounds - >= 0 @ 17.2354
18.28/18.41 c INPROCESSING
18.28/18.41 c GARBAGE COLLECT
18.28/18.41 c GLOBAL bounds - >= 0 @ 17.8654
18.97/19.14 c #Conflicts: 22000 | #Constraints: 5384
18.97/19.14 c GLOBAL bounds - >= 0 @ 18.5743
21.87/22.02 c #Conflicts: 23000 | #Constraints: 6386
21.87/22.02 c #Conflicts: 24000 | #Constraints: 7386
21.87/22.02 c #Conflicts: 25000 | #Constraints: 8386
21.87/22.02 c INPROCESSING
21.87/22.02 c GARBAGE COLLECT
21.87/22.02 c GLOBAL bounds - >= 0 @ 21.4096
22.06/22.20 c GLOBAL bounds - >= 0 @ 21.5889
25.05/25.22 c #Conflicts: 26000 | #Constraints: 5990
25.05/25.22 c #Conflicts: 27000 | #Constraints: 6990
25.05/25.22 c #Conflicts: 28000 | #Constraints: 7990
25.05/25.22 c #Conflicts: 29000 | #Constraints: 8990
25.05/25.22 c INPROCESSING
25.05/25.22 c GARBAGE COLLECT
25.05/25.22 c GLOBAL bounds - >= 0 @ 24.5612
26.15/26.32 c #Conflicts: 30000 | #Constraints: 6401
26.15/26.32 c GLOBAL bounds - >= 0 @ 25.6393
26.75/26.91 c #Conflicts: 31000 | #Constraints: 7403
26.75/26.91 c GLOBAL bounds - >= 0 @ 26.2193
30.04/30.29 c #Conflicts: 32000 | #Constraints: 8405
30.04/30.29 c #Conflicts: 33000 | #Constraints: 9405
30.04/30.29 c INPROCESSING
30.04/30.29 c GARBAGE COLLECT
30.04/30.29 c #Conflicts: 34000 | #Constraints: 6602
30.04/30.29 c GLOBAL bounds - >= 0 @ 29.5306
30.44/30.68 c GLOBAL bounds - >= 0 @ 29.9121
35.83/36.07 c #Conflicts: 35000 | #Constraints: 7606
35.83/36.07 c #Conflicts: 36000 | #Constraints: 8606
35.83/36.07 c #Conflicts: 37000 | #Constraints: 9606
35.83/36.07 c INPROCESSING
35.83/36.07 c GARBAGE COLLECT
35.83/36.07 c #Conflicts: 38000 | #Constraints: 6613
35.83/36.07 c #Conflicts: 39000 | #Constraints: 7613
35.83/36.07 c #Conflicts: 40000 | #Constraints: 8613
35.83/36.07 c GLOBAL bounds - >= 0 @ 35.2225
36.72/36.99 c #Conflicts: 41000 | #Constraints: 9615
36.72/36.99 c GLOBAL bounds - >= 0 @ 36.1245
39.22/39.47 c INPROCESSING
39.22/39.47 c GARBAGE COLLECT
39.22/39.47 c #Conflicts: 42000 | #Constraints: 6410
39.22/39.47 c #Conflicts: 43000 | #Constraints: 7410
39.22/39.47 c #Conflicts: 44000 | #Constraints: 8410
39.22/39.47 c GLOBAL bounds - >= 0 @ 38.5605
42.11/42.34 c #Conflicts: 45000 | #Constraints: 9412
42.11/42.34 c #Conflicts: 46000 | #Constraints: 10412
42.11/42.34 c INPROCESSING
42.11/42.34 c GARBAGE COLLECT
42.11/42.34 c GLOBAL bounds - >= 0 @ 41.3945
43.21/43.47 c #Conflicts: 47000 | #Constraints: 7018
43.21/43.47 c GLOBAL bounds - >= 0 @ 42.4992
43.90/44.16 c #Conflicts: 48000 | #Constraints: 8020
43.90/44.16 c GLOBAL bounds - >= 0 @ 43.1747
44.30/44.52 c GLOBAL bounds - >= 0 @ 43.5269
44.70/44.91 c GLOBAL bounds - >= 0 @ 43.905
44.81/45.06 c #Conflicts: 49000 | #Constraints: 9026
44.81/45.06 c GLOBAL bounds - >= 0 @ 44.0603
45.19/45.44 c GLOBAL bounds - >= 0 @ 44.4282
46.59/46.84 c #Conflicts: 50000 | #Constraints: 10030
46.59/46.84 c GLOBAL bounds - >= 0 @ 45.7928
46.99/47.23 c GLOBAL bounds - >= 0 @ 46.1756
50.68/50.93 c #Conflicts: 51000 | #Constraints: 11034
50.68/50.93 c INPROCESSING
50.68/50.93 c GARBAGE COLLECT
50.68/50.93 c #Conflicts: 52000 | #Constraints: 7424
50.68/50.93 c #Conflicts: 53000 | #Constraints: 8424
50.68/50.93 c #Conflicts: 54000 | #Constraints: 9424
50.68/50.93 c GLOBAL bounds - >= 0 @ 49.8045
52.28/52.55 c #Conflicts: 55000 | #Constraints: 10426
52.28/52.55 c GLOBAL bounds - >= 0 @ 51.3956
55.87/56.17 c #Conflicts: 56000 | #Constraints: 11428
55.87/56.17 c INPROCESSING
55.87/56.17 c GARBAGE COLLECT
55.87/56.17 c #Conflicts: 57000 | #Constraints: 7630
55.87/56.17 c #Conflicts: 58000 | #Constraints: 8630
55.87/56.17 c GLOBAL bounds - >= 0 @ 54.937
59.06/59.31 c #Conflicts: 59000 | #Constraints: 9632
59.06/59.31 c #Conflicts: 60000 | #Constraints: 10632
59.06/59.31 c #Conflicts: 61000 | #Constraints: 11632
59.06/59.31 c INPROCESSING
59.06/59.31 c GARBAGE COLLECT
59.06/59.31 c GLOBAL bounds - >= 0 @ 58.0367
59.56/59.82 c GLOBAL bounds - >= 0 @ 58.533
64.75/65.06 c #Conflicts: 62000 | #Constraints: 7647
64.75/65.06 c #Conflicts: 63000 | #Constraints: 8647
64.75/65.06 c #Conflicts: 64000 | #Constraints: 9647
64.75/65.06 c #Conflicts: 65000 | #Constraints: 10647
64.75/65.06 c #Conflicts: 66000 | #Constraints: 11647
64.75/65.06 c INPROCESSING
64.75/65.06 c GARBAGE COLLECT
64.75/65.06 c GLOBAL bounds - >= 0 @ 63.6884
65.84/66.19 c #Conflicts: 67000 | #Constraints: 7437
65.84/66.19 c GLOBAL bounds - >= 0 @ 64.7924
72.32/72.64 c #Conflicts: 68000 | #Constraints: 8439
72.32/72.64 c #Conflicts: 69000 | #Constraints: 9439
72.32/72.64 c #Conflicts: 70000 | #Constraints: 10439
72.32/72.64 c #Conflicts: 71000 | #Constraints: 11439
72.32/72.64 c #Conflicts: 72000 | #Constraints: 12439
72.32/72.64 c INPROCESSING
72.32/72.64 c GARBAGE COLLECT
72.32/72.64 c GLOBAL bounds - >= 0 @ 71.1417
78.01/78.31 c #Conflicts: 73000 | #Constraints: 8029
78.01/78.31 c #Conflicts: 74000 | #Constraints: 9029
78.01/78.31 c #Conflicts: 75000 | #Constraints: 10029
78.01/78.31 c #Conflicts: 76000 | #Constraints: 11029
78.01/78.31 c #Conflicts: 77000 | #Constraints: 12029
78.01/78.31 c GLOBAL bounds - >= 0 @ 76.7176
79.30/79.67 c #Conflicts: 78000 | #Constraints: 13031
79.30/79.67 c INPROCESSING
79.30/79.67 c GARBAGE COLLECT
79.30/79.67 c GLOBAL bounds - >= 0 @ 78.046
83.29/83.67 c #Conflicts: 79000 | #Constraints: 8435
83.29/83.67 c #Conflicts: 80000 | #Constraints: 9435
83.29/83.67 c #Conflicts: 81000 | #Constraints: 10435
83.29/83.67 c GLOBAL bounds - >= 0 @ 81.9977
84.69/85.08 c #Conflicts: 82000 | #Constraints: 11437
84.69/85.08 c #Conflicts: 83000 | #Constraints: 12437
84.69/85.08 c GLOBAL bounds - >= 0 @ 83.3775
92.96/93.37 c #Conflicts: 84000 | #Constraints: 13439
92.96/93.37 c INPROCESSING
92.96/93.37 c GARBAGE COLLECT
92.96/93.37 c #Conflicts: 85000 | #Constraints: 8634
92.96/93.37 c #Conflicts: 86000 | #Constraints: 9634
92.96/93.37 c #Conflicts: 87000 | #Constraints: 10634
92.96/93.37 c #Conflicts: 88000 | #Constraints: 11634
92.96/93.37 c #Conflicts: 89000 | #Constraints: 12634
92.96/93.37 c #Conflicts: 90000 | #Constraints: 13634
92.96/93.37 c GLOBAL bounds - >= 0 @ 91.5571
96.75/97.17 c INPROCESSING
96.75/97.17 c GARBAGE COLLECT
96.75/97.17 c #Conflicts: 91000 | #Constraints: 8643
96.75/97.17 c #Conflicts: 92000 | #Constraints: 9643
96.75/97.17 c #Conflicts: 93000 | #Constraints: 10643
96.75/97.17 c GLOBAL bounds - >= 0 @ 95.3108
107.12/107.53 c #Conflicts: 94000 | #Constraints: 11645
107.12/107.53 c #Conflicts: 95000 | #Constraints: 12645
107.12/107.53 c #Conflicts: 96000 | #Constraints: 13645
107.12/107.53 c INPROCESSING
107.12/107.53 c GARBAGE COLLECT
107.12/107.53 c #Conflicts: 97000 | #Constraints: 8455
107.12/107.53 c #Conflicts: 98000 | #Constraints: 9455
107.12/107.53 c #Conflicts: 99000 | #Constraints: 10455
107.12/107.53 c #Conflicts: 100000 | #Constraints: 11455
107.12/107.53 c #Conflicts: 101000 | #Constraints: 12455
107.12/107.53 c GLOBAL bounds - >= 0 @ 105.49
114.10/114.52 c #Conflicts: 102000 | #Constraints: 13457
114.10/114.52 c #Conflicts: 103000 | #Constraints: 14457
114.10/114.52 c INPROCESSING
114.10/114.52 c GARBAGE COLLECT
114.10/114.52 c #Conflicts: 104000 | #Constraints: 9056
114.10/114.52 c #Conflicts: 105000 | #Constraints: 10056
114.10/114.52 c #Conflicts: 106000 | #Constraints: 11056
114.10/114.52 c GLOBAL bounds - >= 0 @ 112.358
115.20/115.68 c #Conflicts: 107000 | #Constraints: 12058
115.20/115.68 c GLOBAL bounds - >= 0 @ 113.497
116.60/117.05 c #Conflicts: 108000 | #Constraints: 13060
116.60/117.05 c GLOBAL bounds - >= 0 @ 114.855
121.28/121.79 c #Conflicts: 109000 | #Constraints: 14062
121.28/121.79 c #Conflicts: 110000 | #Constraints: 15062
121.28/121.79 c INPROCESSING
121.28/121.79 c GARBAGE COLLECT
121.28/121.79 c #Conflicts: 111000 | #Constraints: 9449
121.28/121.79 c #Conflicts: 112000 | #Constraints: 10449
121.28/121.79 c GLOBAL bounds - >= 0 @ 119.5
123.48/123.98 c #Conflicts: 113000 | #Constraints: 11451
123.48/123.98 c #Conflicts: 114000 | #Constraints: 12451
123.48/123.98 c GLOBAL bounds - >= 0 @ 121.644
136.84/137.35 c #Conflicts: 115000 | #Constraints: 13453
136.84/137.35 c #Conflicts: 116000 | #Constraints: 14453
136.84/137.35 c #Conflicts: 117000 | #Constraints: 15453
136.84/137.35 c INPROCESSING
136.84/137.35 c GARBAGE COLLECT
136.84/137.35 c #Conflicts: 118000 | #Constraints: 9663
136.84/137.35 c #Conflicts: 119000 | #Constraints: 10663
136.84/137.35 c #Conflicts: 120000 | #Constraints: 11663
136.84/137.35 c #Conflicts: 121000 | #Constraints: 12663
136.84/137.35 c #Conflicts: 122000 | #Constraints: 13663
136.84/137.35 c #Conflicts: 123000 | #Constraints: 14663
136.84/137.35 c #Conflicts: 124000 | #Constraints: 15663
136.84/137.35 c GLOBAL bounds - >= 0 @ 134.79
155.99/156.57 c INPROCESSING
155.99/156.57 c GARBAGE COLLECT
155.99/156.57 c #Conflicts: 125000 | #Constraints: 9663
155.99/156.57 c #Conflicts: 126000 | #Constraints: 10663
155.99/156.57 c #Conflicts: 127000 | #Constraints: 11663
155.99/156.57 c #Conflicts: 128000 | #Constraints: 12663
155.99/156.57 c #Conflicts: 129000 | #Constraints: 13663
155.99/156.57 c #Conflicts: 130000 | #Constraints: 14663
155.99/156.57 c #Conflicts: 131000 | #Constraints: 15663
155.99/156.57 c INPROCESSING
155.99/156.57 c GARBAGE COLLECT
155.99/156.57 c #Conflicts: 132000 | #Constraints: 9454
155.99/156.57 c #Conflicts: 133000 | #Constraints: 10454
155.99/156.57 c #Conflicts: 134000 | #Constraints: 11454
155.99/156.57 c #Conflicts: 135000 | #Constraints: 12454
155.99/156.57 c #Conflicts: 136000 | #Constraints: 13454
155.99/156.57 c #Conflicts: 137000 | #Constraints: 14454
155.99/156.57 c #Conflicts: 138000 | #Constraints: 15454
155.99/156.57 c GLOBAL bounds - >= 0 @ 153.706
159.88/160.40 c #Conflicts: 139000 | #Constraints: 16456
159.88/160.40 c INPROCESSING
159.88/160.40 c GARBAGE COLLECT
159.88/160.40 c #Conflicts: 140000 | #Constraints: 10061
159.88/160.40 c #Conflicts: 141000 | #Constraints: 11061
159.88/160.40 c GLOBAL bounds - >= 0 @ 157.48
160.08/160.65 c GLOBAL bounds - >= 0 @ 157.723
169.25/169.82 c #Conflicts: 142000 | #Constraints: 12065
169.25/169.82 c #Conflicts: 143000 | #Constraints: 13065
169.25/169.82 c #Conflicts: 144000 | #Constraints: 14065
169.25/169.82 c #Conflicts: 145000 | #Constraints: 15065
169.25/169.82 c #Conflicts: 146000 | #Constraints: 16065
169.25/169.82 c #Conflicts: 147000 | #Constraints: 17065
169.25/169.82 c INPROCESSING
169.25/169.82 c GARBAGE COLLECT
169.25/169.82 c #Conflicts: 148000 | #Constraints: 10461
169.25/169.82 c GLOBAL bounds - >= 0 @ 166.754
171.25/171.85 c #Conflicts: 149000 | #Constraints: 11463
171.25/171.85 c GLOBAL bounds - >= 0 @ 168.747
173.35/173.95 c #Conflicts: 150000 | #Constraints: 12465
173.35/173.95 c #Conflicts: 151000 | #Constraints: 13465
173.35/173.95 c GLOBAL bounds - >= 0 @ 170.817
175.14/175.75 c #Conflicts: 152000 | #Constraints: 14467
175.14/175.75 c GLOBAL bounds - >= 0 @ 172.596
177.84/178.44 c #Conflicts: 153000 | #Constraints: 15469
177.84/178.44 c GLOBAL bounds - >= 0 @ 175.247
196.39/197.04 c #Conflicts: 154000 | #Constraints: 16471
196.39/197.04 c #Conflicts: 155000 | #Constraints: 17471
196.39/197.04 c INPROCESSING
196.39/197.04 c GARBAGE COLLECT
196.39/197.04 c #Conflicts: 156000 | #Constraints: 10674
196.39/197.04 c #Conflicts: 157000 | #Constraints: 11674
196.39/197.04 c #Conflicts: 158000 | #Constraints: 12674
196.39/197.04 c #Conflicts: 159000 | #Constraints: 13674
196.39/197.04 c #Conflicts: 160000 | #Constraints: 14674
196.39/197.04 c #Conflicts: 161000 | #Constraints: 15674
196.39/197.04 c #Conflicts: 162000 | #Constraints: 16674
196.39/197.04 c #Conflicts: 163000 | #Constraints: 17674
196.39/197.04 c INPROCESSING
196.39/197.04 c GARBAGE COLLECT
196.39/197.04 c #Conflicts: 164000 | #Constraints: 10667
196.39/197.04 c #Conflicts: 165000 | #Constraints: 11667
196.39/197.04 c GLOBAL bounds - >= 0 @ 193.548
222.22/222.90 c #Conflicts: 166000 | #Constraints: 12669
222.22/222.90 c #Conflicts: 167000 | #Constraints: 13669
222.22/222.90 c #Conflicts: 168000 | #Constraints: 14669
222.22/222.90 c #Conflicts: 169000 | #Constraints: 15669
222.22/222.90 c #Conflicts: 170000 | #Constraints: 16669
222.22/222.90 c #Conflicts: 171000 | #Constraints: 17669
222.22/222.90 c INPROCESSING
222.22/222.90 c GARBAGE COLLECT
222.22/222.90 c #Conflicts: 172000 | #Constraints: 10471
222.22/222.90 c #Conflicts: 173000 | #Constraints: 11471
222.22/222.90 c #Conflicts: 174000 | #Constraints: 12471
222.22/222.90 c #Conflicts: 175000 | #Constraints: 13471
222.22/222.90 c #Conflicts: 176000 | #Constraints: 14471
222.22/222.90 c #Conflicts: 177000 | #Constraints: 15471
222.22/222.90 c #Conflicts: 178000 | #Constraints: 16471
222.22/222.90 c #Conflicts: 179000 | #Constraints: 17471
222.22/222.90 c #Conflicts: 180000 | #Constraints: 18471
222.22/222.90 c INPROCESSING
222.22/222.90 c GARBAGE COLLECT
222.22/222.90 c #Conflicts: 181000 | #Constraints: 11072
222.22/222.90 c #Conflicts: 182000 | #Constraints: 12072
222.22/222.90 c GLOBAL bounds - >= 0 @ 219.013
227.80/228.58 c #Conflicts: 183000 | #Constraints: 13074
227.80/228.58 c #Conflicts: 184000 | #Constraints: 14074
227.80/228.58 c #Conflicts: 185000 | #Constraints: 15074
227.80/228.58 c #Conflicts: 186000 | #Constraints: 16074
227.80/228.58 c GLOBAL bounds - >= 0 @ 224.617
261.37/262.26 c #Conflicts: 187000 | #Constraints: 17076
261.37/262.26 c #Conflicts: 188000 | #Constraints: 18076
261.37/262.26 c #Conflicts: 189000 | #Constraints: 19076
261.37/262.26 c INPROCESSING
261.37/262.26 c GARBAGE COLLECT
261.37/262.26 c #Conflicts: 190000 | #Constraints: 11474
261.37/262.26 c #Conflicts: 191000 | #Constraints: 12474
261.37/262.26 c #Conflicts: 192000 | #Constraints: 13474
261.37/262.26 c #Conflicts: 193000 | #Constraints: 14474
261.37/262.26 c #Conflicts: 194000 | #Constraints: 15474
261.37/262.26 c #Conflicts: 195000 | #Constraints: 16474
261.37/262.26 c #Conflicts: 196000 | #Constraints: 17474
261.37/262.26 c #Conflicts: 197000 | #Constraints: 18474
261.37/262.26 c #Conflicts: 198000 | #Constraints: 19474
261.37/262.26 c INPROCESSING
261.37/262.26 c GARBAGE COLLECT
261.37/262.26 c #Conflicts: 199000 | #Constraints: 11677
261.37/262.26 c #Conflicts: 200000 | #Constraints: 12677
261.37/262.26 c #Conflicts: 201000 | #Constraints: 13677
261.37/262.26 c #Conflicts: 202000 | #Constraints: 14677
261.37/262.26 c #Conflicts: 203000 | #Constraints: 15677
261.37/262.26 c #Conflicts: 204000 | #Constraints: 16677
261.37/262.26 c #Conflicts: 205000 | #Constraints: 17677
261.37/262.26 c #Conflicts: 206000 | #Constraints: 18677
261.37/262.26 c #Conflicts: 207000 | #Constraints: 19677
261.37/262.26 c INPROCESSING
261.37/262.26 c GARBAGE COLLECT
261.37/262.26 c GLOBAL bounds - >= 0 @ 257.81
298.27/299.29 c #Conflicts: 208000 | #Constraints: 11675
298.27/299.29 c #Conflicts: 209000 | #Constraints: 12675
298.27/299.29 c #Conflicts: 210000 | #Constraints: 13675
298.27/299.29 c #Conflicts: 211000 | #Constraints: 14675
298.27/299.29 c #Conflicts: 212000 | #Constraints: 15675
298.27/299.29 c #Conflicts: 213000 | #Constraints: 16675
298.27/299.29 c #Conflicts: 214000 | #Constraints: 17675
298.27/299.29 c #Conflicts: 215000 | #Constraints: 18675
298.27/299.29 c #Conflicts: 216000 | #Constraints: 19675
298.27/299.29 c INPROCESSING
298.27/299.29 c GARBAGE COLLECT
298.27/299.29 c #Conflicts: 217000 | #Constraints: 11479
298.27/299.29 c #Conflicts: 218000 | #Constraints: 12479
298.27/299.29 c #Conflicts: 219000 | #Constraints: 13479
298.27/299.29 c #Conflicts: 220000 | #Constraints: 14479
298.27/299.29 c #Conflicts: 221000 | #Constraints: 15479
298.27/299.29 c #Conflicts: 222000 | #Constraints: 16479
298.27/299.29 c #Conflicts: 223000 | #Constraints: 17479
298.27/299.29 c #Conflicts: 224000 | #Constraints: 18479
298.27/299.29 c #Conflicts: 225000 | #Constraints: 19479
298.27/299.29 c #Conflicts: 226000 | #Constraints: 20479
298.27/299.29 c INPROCESSING
298.27/299.29 c GARBAGE COLLECT
298.27/299.29 c #Conflicts: 227000 | #Constraints: 12094
298.27/299.29 c #Conflicts: 228000 | #Constraints: 13094
298.27/299.29 c #Conflicts: 229000 | #Constraints: 14094
298.27/299.29 c #Conflicts: 230000 | #Constraints: 15094
298.27/299.29 c #Conflicts: 231000 | #Constraints: 16094
298.27/299.29 c GLOBAL bounds - >= 0 @ 294.372
315.92/316.93 c #Conflicts: 232000 | #Constraints: 17096
315.92/316.93 c #Conflicts: 233000 | #Constraints: 18096
315.92/316.93 c #Conflicts: 234000 | #Constraints: 19096
315.92/316.93 c #Conflicts: 235000 | #Constraints: 20096
315.92/316.93 c #Conflicts: 236000 | #Constraints: 21096
315.92/316.93 c INPROCESSING
315.92/316.93 c GARBAGE COLLECT
315.92/316.93 c #Conflicts: 237000 | #Constraints: 12490
315.92/316.93 c #Conflicts: 238000 | #Constraints: 13490
315.92/316.93 c #Conflicts: 239000 | #Constraints: 14490
315.92/316.93 c #Conflicts: 240000 | #Constraints: 15490
315.92/316.93 c #Conflicts: 241000 | #Constraints: 16490
315.92/316.93 c GLOBAL bounds - >= 0 @ 311.76
322.59/323.60 c #Conflicts: 242000 | #Constraints: 17492
322.59/323.60 c #Conflicts: 243000 | #Constraints: 18492
322.59/323.60 c #Conflicts: 244000 | #Constraints: 19492
322.59/323.60 c GLOBAL bounds - >= 0 @ 318.339
386.91/388.14 c #Conflicts: 245000 | #Constraints: 20494
386.91/388.14 c #Conflicts: 246000 | #Constraints: 21494
386.91/388.14 c INPROCESSING
386.91/388.14 c GARBAGE COLLECT
386.91/388.14 c #Conflicts: 247000 | #Constraints: 12681
386.91/388.14 c #Conflicts: 248000 | #Constraints: 13681
386.91/388.14 c #Conflicts: 249000 | #Constraints: 14681
386.91/388.14 c #Conflicts: 250000 | #Constraints: 15681
386.91/388.14 c #Conflicts: 251000 | #Constraints: 16681
386.91/388.14 c #Conflicts: 252000 | #Constraints: 17681
386.91/388.14 c #Conflicts: 253000 | #Constraints: 18681
386.91/388.14 c #Conflicts: 254000 | #Constraints: 19681
386.91/388.14 c #Conflicts: 255000 | #Constraints: 20681
386.91/388.14 c #Conflicts: 256000 | #Constraints: 21681
386.91/388.14 c INPROCESSING
386.91/388.14 c GARBAGE COLLECT
386.91/388.14 c #Conflicts: 257000 | #Constraints: 12675
386.91/388.14 c #Conflicts: 258000 | #Constraints: 13675
386.91/388.14 c #Conflicts: 259000 | #Constraints: 14675
386.91/388.14 c #Conflicts: 260000 | #Constraints: 15675
386.91/388.14 c #Conflicts: 261000 | #Constraints: 16675
386.91/388.14 c #Conflicts: 262000 | #Constraints: 17675
386.91/388.14 c #Conflicts: 263000 | #Constraints: 18675
386.91/388.14 c #Conflicts: 264000 | #Constraints: 19675
386.91/388.14 c #Conflicts: 265000 | #Constraints: 20675
386.91/388.14 c #Conflicts: 266000 | #Constraints: 21675
386.91/388.14 c INPROCESSING
386.91/388.14 c GARBAGE COLLECT
386.91/388.14 c #Conflicts: 267000 | #Constraints: 12476
386.91/388.14 c #Conflicts: 268000 | #Constraints: 13476
386.91/388.14 c #Conflicts: 269000 | #Constraints: 14476
386.91/388.14 c #Conflicts: 270000 | #Constraints: 15476
386.91/388.14 c #Conflicts: 271000 | #Constraints: 16476
386.91/388.14 c #Conflicts: 272000 | #Constraints: 17476
386.91/388.14 c #Conflicts: 273000 | #Constraints: 18476
386.91/388.14 c #Conflicts: 274000 | #Constraints: 19476
386.91/388.14 c #Conflicts: 275000 | #Constraints: 20476
386.91/388.14 c #Conflicts: 276000 | #Constraints: 21476
386.91/388.14 c #Conflicts: 277000 | #Constraints: 22476
386.91/388.14 c INPROCESSING
386.91/388.14 c GARBAGE COLLECT
386.91/388.14 c #Conflicts: 278000 | #Constraints: 13081
386.91/388.14 c #Conflicts: 279000 | #Constraints: 14081
386.91/388.14 c #Conflicts: 280000 | #Constraints: 15081
386.91/388.14 c #Conflicts: 281000 | #Constraints: 16081
386.91/388.14 c GLOBAL bounds - >= 0 @ 382.015
412.93/414.27 c #Conflicts: 282000 | #Constraints: 17083
412.93/414.27 c #Conflicts: 283000 | #Constraints: 18083
412.93/414.27 c #Conflicts: 284000 | #Constraints: 19083
412.93/414.27 c #Conflicts: 285000 | #Constraints: 20083
412.93/414.27 c #Conflicts: 286000 | #Constraints: 21083
412.93/414.27 c #Conflicts: 287000 | #Constraints: 22083
412.93/414.27 c #Conflicts: 288000 | #Constraints: 23083
412.93/414.27 c INPROCESSING
412.93/414.27 c GARBAGE COLLECT
412.93/414.27 c #Conflicts: 289000 | #Constraints: 13471
412.93/414.27 c #Conflicts: 290000 | #Constraints: 14471
412.93/414.27 c #Conflicts: 291000 | #Constraints: 15471
412.93/414.27 c #Conflicts: 292000 | #Constraints: 16471
412.93/414.27 c #Conflicts: 293000 | #Constraints: 17471
412.93/414.27 c #Conflicts: 294000 | #Constraints: 18471
412.93/414.27 c #Conflicts: 295000 | #Constraints: 19471
412.93/414.27 c #Conflicts: 296000 | #Constraints: 20471
412.93/414.27 c GLOBAL bounds - >= 0 @ 407.761
523.22/524.85 c #Conflicts: 297000 | #Constraints: 21473
523.22/524.85 c #Conflicts: 298000 | #Constraints: 22473
523.22/524.85 c #Conflicts: 299000 | #Constraints: 23473
523.22/524.85 c INPROCESSING
523.22/524.85 c GARBAGE COLLECT
523.22/524.85 c #Conflicts: 300000 | #Constraints: 13673
523.22/524.85 c #Conflicts: 301000 | #Constraints: 14673
523.22/524.85 c #Conflicts: 302000 | #Constraints: 15673
523.22/524.85 c #Conflicts: 303000 | #Constraints: 16673
523.22/524.85 c #Conflicts: 304000 | #Constraints: 17673
523.22/524.85 c #Conflicts: 305000 | #Constraints: 18673
523.22/524.85 c #Conflicts: 306000 | #Constraints: 19673
523.22/524.85 c #Conflicts: 307000 | #Constraints: 20673
523.22/524.85 c #Conflicts: 308000 | #Constraints: 21673
523.22/524.85 c #Conflicts: 309000 | #Constraints: 22673
523.22/524.85 c #Conflicts: 310000 | #Constraints: 23673
523.22/524.85 c INPROCESSING
523.22/524.85 c GARBAGE COLLECT
523.22/524.85 c #Conflicts: 311000 | #Constraints: 13687
523.22/524.85 c #Conflicts: 312000 | #Constraints: 14687
523.22/524.85 c #Conflicts: 313000 | #Constraints: 15687
523.22/524.85 c #Conflicts: 314000 | #Constraints: 16687
523.22/524.85 c #Conflicts: 315000 | #Constraints: 17687
523.22/524.85 c #Conflicts: 316000 | #Constraints: 18687
523.22/524.85 c #Conflicts: 317000 | #Constraints: 19687
523.22/524.85 c #Conflicts: 318000 | #Constraints: 20687
523.22/524.85 c #Conflicts: 319000 | #Constraints: 21687
523.22/524.85 c #Conflicts: 320000 | #Constraints: 22687
523.22/524.85 c #Conflicts: 321000 | #Constraints: 23687
523.22/524.85 c INPROCESSING
523.22/524.85 c GARBAGE COLLECT
523.22/524.85 c #Conflicts: 322000 | #Constraints: 13482
523.22/524.85 c #Conflicts: 323000 | #Constraints: 14482
523.22/524.85 c #Conflicts: 324000 | #Constraints: 15482
523.22/524.85 c #Conflicts: 325000 | #Constraints: 16482
523.22/524.85 c #Conflicts: 326000 | #Constraints: 17482
523.22/524.85 c #Conflicts: 327000 | #Constraints: 18482
523.22/524.85 c #Conflicts: 328000 | #Constraints: 19482
523.22/524.85 c #Conflicts: 329000 | #Constraints: 20482
523.22/524.85 c #Conflicts: 330000 | #Constraints: 21482
523.22/524.85 c #Conflicts: 331000 | #Constraints: 22482
523.22/524.85 c #Conflicts: 332000 | #Constraints: 23482
523.22/524.85 c #Conflicts: 333000 | #Constraints: 24482
523.22/524.85 c INPROCESSING
523.22/524.85 c GARBAGE COLLECT
523.22/524.85 c #Conflicts: 334000 | #Constraints: 14097
523.22/524.85 c #Conflicts: 335000 | #Constraints: 15097
523.22/524.85 c #Conflicts: 336000 | #Constraints: 16097
523.22/524.85 c #Conflicts: 337000 | #Constraints: 17097
523.22/524.85 c #Conflicts: 338000 | #Constraints: 18097
523.22/524.85 c #Conflicts: 339000 | #Constraints: 19097
523.22/524.85 c #Conflicts: 340000 | #Constraints: 20097
523.22/524.85 c #Conflicts: 341000 | #Constraints: 21097
523.22/524.85 c #Conflicts: 342000 | #Constraints: 22097
523.22/524.85 c #Conflicts: 343000 | #Constraints: 23097
523.22/524.85 c #Conflicts: 344000 | #Constraints: 24097
523.22/524.85 c #Conflicts: 345000 | #Constraints: 25097
523.22/524.85 c INPROCESSING
523.22/524.85 c GARBAGE COLLECT
523.22/524.85 c #Conflicts: 346000 | #Constraints: 14480
523.22/524.85 c #Conflicts: 347000 | #Constraints: 15480
523.22/524.85 c #Conflicts: 348000 | #Constraints: 16480
523.22/524.85 c #Conflicts: 349000 | #Constraints: 17480
523.22/524.85 c #Conflicts: 350000 | #Constraints: 18480
523.22/524.85 c #Conflicts: 351000 | #Constraints: 19480
523.22/524.85 c #Conflicts: 352000 | #Constraints: 20480
523.22/524.85 c #Conflicts: 353000 | #Constraints: 21480
523.22/524.85 c #Conflicts: 354000 | #Constraints: 22480
523.22/524.85 c #Conflicts: 355000 | #Constraints: 23480
523.22/524.85 c #Conflicts: 356000 | #Constraints: 24480
523.22/524.85 c #Conflicts: 357000 | #Constraints: 25480
523.22/524.85 c INPROCESSING
523.22/524.85 c GARBAGE COLLECT
523.22/524.85 c #Conflicts: 358000 | #Constraints: 14684
523.22/524.85 c #Conflicts: 359000 | #Constraints: 15684
523.22/524.85 c #Conflicts: 360000 | #Constraints: 16684
523.22/524.85 c #Conflicts: 361000 | #Constraints: 17684
523.22/524.85 c #Conflicts: 362000 | #Constraints: 18684
523.22/524.85 c GLOBAL bounds - >= 0 @ 516.767
669.10/671.14 c #Conflicts: 363000 | #Constraints: 19686
669.10/671.14 c #Conflicts: 364000 | #Constraints: 20686
669.10/671.14 c #Conflicts: 365000 | #Constraints: 21686
669.10/671.14 c #Conflicts: 366000 | #Constraints: 22686
669.10/671.14 c #Conflicts: 367000 | #Constraints: 23686
669.10/671.14 c #Conflicts: 368000 | #Constraints: 24686
669.10/671.14 c #Conflicts: 369000 | #Constraints: 25686
669.10/671.14 c INPROCESSING
669.10/671.14 c GARBAGE COLLECT
669.10/671.14 c #Conflicts: 370000 | #Constraints: 14684
669.10/671.14 c #Conflicts: 371000 | #Constraints: 15684
669.10/671.14 c #Conflicts: 372000 | #Constraints: 16684
669.10/671.14 c #Conflicts: 373000 | #Constraints: 17684
669.10/671.14 c #Conflicts: 374000 | #Constraints: 18684
669.10/671.14 c #Conflicts: 375000 | #Constraints: 19684
669.10/671.14 c #Conflicts: 376000 | #Constraints: 20684
669.10/671.14 c #Conflicts: 377000 | #Constraints: 21684
669.10/671.14 c #Conflicts: 378000 | #Constraints: 22684
669.10/671.14 c #Conflicts: 379000 | #Constraints: 23684
669.10/671.14 c #Conflicts: 380000 | #Constraints: 24684
669.10/671.14 c #Conflicts: 381000 | #Constraints: 25684
669.10/671.14 c INPROCESSING
669.10/671.14 c GARBAGE COLLECT
669.10/671.14 c #Conflicts: 382000 | #Constraints: 14487
669.10/671.14 c #Conflicts: 383000 | #Constraints: 15487
669.10/671.14 c #Conflicts: 384000 | #Constraints: 16487
669.10/671.14 c #Conflicts: 385000 | #Constraints: 17487
669.10/671.14 c #Conflicts: 386000 | #Constraints: 18487
669.10/671.14 c #Conflicts: 387000 | #Constraints: 19487
669.10/671.14 c #Conflicts: 388000 | #Constraints: 20487
669.10/671.14 c #Conflicts: 389000 | #Constraints: 21487
669.10/671.14 c #Conflicts: 390000 | #Constraints: 22487
669.10/671.14 c #Conflicts: 391000 | #Constraints: 23487
669.10/671.14 c #Conflicts: 392000 | #Constraints: 24487
669.10/671.14 c #Conflicts: 393000 | #Constraints: 25487
669.10/671.14 c #Conflicts: 394000 | #Constraints: 26487
669.10/671.14 c INPROCESSING
669.10/671.14 c GARBAGE COLLECT
669.10/671.14 c #Conflicts: 395000 | #Constraints: 15096
669.10/671.14 c #Conflicts: 396000 | #Constraints: 16096
669.10/671.14 c #Conflicts: 397000 | #Constraints: 17096
669.10/671.14 c #Conflicts: 398000 | #Constraints: 18096
669.10/671.14 c #Conflicts: 399000 | #Constraints: 19096
669.10/671.14 c #Conflicts: 400000 | #Constraints: 20096
669.10/671.14 c #Conflicts: 401000 | #Constraints: 21096
669.10/671.14 c #Conflicts: 402000 | #Constraints: 22096
669.10/671.14 c #Conflicts: 403000 | #Constraints: 23096
669.10/671.14 c #Conflicts: 404000 | #Constraints: 24096
669.10/671.14 c #Conflicts: 405000 | #Constraints: 25096
669.10/671.14 c #Conflicts: 406000 | #Constraints: 26096
669.10/671.14 c #Conflicts: 407000 | #Constraints: 27096
669.10/671.14 c INPROCESSING
669.10/671.14 c GARBAGE COLLECT
669.10/671.14 c #Conflicts: 408000 | #Constraints: 15495
669.10/671.14 c #Conflicts: 409000 | #Constraints: 16495
669.10/671.14 c #Conflicts: 410000 | #Constraints: 17495
669.10/671.14 c #Conflicts: 411000 | #Constraints: 18495
669.10/671.14 c #Conflicts: 412000 | #Constraints: 19495
669.10/671.14 c #Conflicts: 413000 | #Constraints: 20495
669.10/671.14 c #Conflicts: 414000 | #Constraints: 21495
669.10/671.14 c #Conflicts: 415000 | #Constraints: 22495
669.10/671.14 c #Conflicts: 416000 | #Constraints: 23495
669.10/671.14 c #Conflicts: 417000 | #Constraints: 24495
669.10/671.14 c #Conflicts: 418000 | #Constraints: 25495
669.10/671.14 c #Conflicts: 419000 | #Constraints: 26495
669.10/671.14 c #Conflicts: 420000 | #Constraints: 27495
669.10/671.14 c INPROCESSING
669.10/671.14 c GARBAGE COLLECT
669.10/671.14 c #Conflicts: 421000 | #Constraints: 15695
669.10/671.14 c #Conflicts: 422000 | #Constraints: 16695
669.10/671.14 c #Conflicts: 423000 | #Constraints: 17695
669.10/671.14 c #Conflicts: 424000 | #Constraints: 18695
669.10/671.14 c #Conflicts: 425000 | #Constraints: 19695
669.10/671.14 c #Conflicts: 426000 | #Constraints: 20695
669.10/671.14 c #Conflicts: 427000 | #Constraints: 21695
669.10/671.14 c #Conflicts: 428000 | #Constraints: 22695
669.10/671.14 c #Conflicts: 429000 | #Constraints: 23695
669.10/671.14 c #Conflicts: 430000 | #Constraints: 24695
669.10/671.14 c #Conflicts: 431000 | #Constraints: 25695
669.10/671.14 c #Conflicts: 432000 | #Constraints: 26695
669.10/671.14 c #Conflicts: 433000 | #Constraints: 27695
669.10/671.14 c INPROCESSING
669.10/671.14 c GARBAGE COLLECT
669.10/671.14 c #Conflicts: 434000 | #Constraints: 15703
669.10/671.14 c #Conflicts: 435000 | #Constraints: 16703
669.10/671.14 c #Conflicts: 436000 | #Constraints: 17703
669.10/671.14 c #Conflicts: 437000 | #Constraints: 18703
802.14/804.59 c #Conflicts: 438000 | #Constraints: 19703
802.14/804.59 c #Conflicts: 439000 | #Constraints: 20703
802.14/804.59 c #Conflicts: 440000 | #Constraints: 21703
802.14/804.59 c #Conflicts: 441000 | #Constraints: 22703
802.14/804.59 c #Conflicts: 442000 | #Constraints: 23703
802.14/804.59 c #Conflicts: 443000 | #Constraints: 24703
802.14/804.59 c #Conflicts: 444000 | #Constraints: 25703
802.14/804.59 c #Conflicts: 445000 | #Constraints: 26703
802.14/804.59 c #Conflicts: 446000 | #Constraints: 27703
802.14/804.59 c INPROCESSING
802.14/804.59 c GARBAGE COLLECT
802.14/804.59 c #Conflicts: 447000 | #Constraints: 15510
802.14/804.59 c #Conflicts: 448000 | #Constraints: 16510
802.14/804.59 c #Conflicts: 449000 | #Constraints: 17510
802.14/804.59 c #Conflicts: 450000 | #Constraints: 18510
802.14/804.59 c #Conflicts: 451000 | #Constraints: 19510
802.14/804.59 c #Conflicts: 452000 | #Constraints: 20510
802.14/804.59 c #Conflicts: 453000 | #Constraints: 21510
802.14/804.59 c #Conflicts: 454000 | #Constraints: 22510
802.14/804.59 c #Conflicts: 455000 | #Constraints: 23510
802.14/804.59 c #Conflicts: 456000 | #Constraints: 24510
802.14/804.59 c #Conflicts: 457000 | #Constraints: 25510
802.14/804.59 c #Conflicts: 458000 | #Constraints: 26510
802.14/804.59 c #Conflicts: 459000 | #Constraints: 27510
802.14/804.59 c #Conflicts: 460000 | #Constraints: 28510
802.14/804.59 c INPROCESSING
802.14/804.59 c GARBAGE COLLECT
802.14/804.59 c #Conflicts: 461000 | #Constraints: 16109
802.14/804.59 c #Conflicts: 462000 | #Constraints: 17109
802.14/804.59 c #Conflicts: 463000 | #Constraints: 18109
802.14/804.59 c #Conflicts: 464000 | #Constraints: 19109
802.14/804.59 c #Conflicts: 465000 | #Constraints: 20109
802.14/804.59 c #Conflicts: 466000 | #Constraints: 21109
802.14/804.59 c #Conflicts: 467000 | #Constraints: 22109
802.14/804.59 c #Conflicts: 468000 | #Constraints: 23109
802.14/804.59 c #Conflicts: 469000 | #Constraints: 24109
802.14/804.59 c #Conflicts: 470000 | #Constraints: 25109
802.14/804.59 c #Conflicts: 471000 | #Constraints: 26109
802.14/804.59 c #Conflicts: 472000 | #Constraints: 27109
802.14/804.59 c #Conflicts: 473000 | #Constraints: 28109
802.14/804.59 c #Conflicts: 474000 | #Constraints: 29109
802.14/804.59 c INPROCESSING
802.14/804.59 c GARBAGE COLLECT
802.14/804.59 c #Conflicts: 475000 | #Constraints: 16503
802.14/804.59 c #Conflicts: 476000 | #Constraints: 17503
802.14/804.59 c #Conflicts: 477000 | #Constraints: 18503
802.14/804.59 c #Conflicts: 478000 | #Constraints: 19503
802.14/804.59 c #Conflicts: 479000 | #Constraints: 20503
802.14/804.59 c #Conflicts: 480000 | #Constraints: 21503
802.14/804.59 c #Conflicts: 481000 | #Constraints: 22503
802.14/804.59 c #Conflicts: 482000 | #Constraints: 23503
802.14/804.59 c #Conflicts: 483000 | #Constraints: 24503
802.14/804.59 c #Conflicts: 484000 | #Constraints: 25503
802.14/804.59 c #Conflicts: 485000 | #Constraints: 26503
802.14/804.59 c #Conflicts: 486000 | #Constraints: 27503
802.14/804.59 c #Conflicts: 487000 | #Constraints: 28503
802.14/804.59 c #Conflicts: 488000 | #Constraints: 29503
802.14/804.59 c INPROCESSING
802.14/804.59 c GARBAGE COLLECT
802.14/804.59 c #Conflicts: 489000 | #Constraints: 16710
802.14/804.59 c #Conflicts: 490000 | #Constraints: 17710
802.14/804.59 c #Conflicts: 491000 | #Constraints: 18710
802.14/804.59 c #Conflicts: 492000 | #Constraints: 19710
802.14/804.59 c #Conflicts: 493000 | #Constraints: 20710
802.14/804.59 c #Conflicts: 494000 | #Constraints: 21710
802.14/804.59 c #Conflicts: 495000 | #Constraints: 22710
802.14/804.59 c #Conflicts: 496000 | #Constraints: 23710
802.14/804.59 c #Conflicts: 497000 | #Constraints: 24710
802.14/804.59 c #Conflicts: 498000 | #Constraints: 25710
802.14/804.59 c #Conflicts: 499000 | #Constraints: 26710
802.14/804.59 c #Conflicts: 500000 | #Constraints: 27710
802.14/804.59 c #Conflicts: 501000 | #Constraints: 28710
802.14/804.59 c #Conflicts: 502000 | #Constraints: 29710
802.14/804.59 c INPROCESSING
802.14/804.59 c GARBAGE COLLECT
802.14/804.59 c #Conflicts: 503000 | #Constraints: 16709
802.14/804.59 c #Conflicts: 504000 | #Constraints: 17709
802.14/804.59 c #Conflicts: 505000 | #Constraints: 18709
802.14/804.59 c #Conflicts: 506000 | #Constraints: 19709
802.14/804.59 c #Conflicts: 507000 | #Constraints: 20709
802.14/804.59 c #Conflicts: 508000 | #Constraints: 21709
802.14/804.59 c #Conflicts: 509000 | #Constraints: 22709
802.14/804.59 c #Conflicts: 510000 | #Constraints: 23709
802.14/804.59 c #Conflicts: 511000 | #Constraints: 24709
802.14/804.59 c #Conflicts: 512000 | #Constraints: 25709
802.14/804.59 c #Conflicts: 513000 | #Constraints: 26709
842.84/845.36 c #Conflicts: 514000 | #Constraints: 27709
842.84/845.36 c #Conflicts: 515000 | #Constraints: 28709
842.84/845.36 c #Conflicts: 516000 | #Constraints: 29709
842.84/845.36 c INPROCESSING
842.84/845.36 c GARBAGE COLLECT
842.84/845.36 c #Conflicts: 517000 | #Constraints: 16510
842.84/845.36 c #Conflicts: 518000 | #Constraints: 17510
842.84/845.36 c #Conflicts: 519000 | #Constraints: 18510
842.84/845.36 c #Conflicts: 520000 | #Constraints: 19510
842.84/845.36 c #Conflicts: 521000 | #Constraints: 20510
842.84/845.36 c #Conflicts: 522000 | #Constraints: 21510
842.84/845.36 c #Conflicts: 523000 | #Constraints: 22510
842.84/845.36 c #Conflicts: 524000 | #Constraints: 23510
842.84/845.36 c #Conflicts: 525000 | #Constraints: 24510
842.84/845.36 c #Conflicts: 526000 | #Constraints: 25510
842.84/845.36 c #Conflicts: 527000 | #Constraints: 26510
842.84/845.36 c #Conflicts: 528000 | #Constraints: 27510
842.84/845.36 c #Conflicts: 529000 | #Constraints: 28510
842.84/845.36 c #Conflicts: 530000 | #Constraints: 29510
842.84/845.36 c #Conflicts: 531000 | #Constraints: 30510
842.84/845.36 c INPROCESSING
842.84/845.36 c GARBAGE COLLECT
842.84/845.36 c GLOBAL bounds - >= 0 @ 833.624
885.43/888.06 c #Conflicts: 532000 | #Constraints: 17105
885.43/888.06 c #Conflicts: 533000 | #Constraints: 18105
885.43/888.06 c #Conflicts: 534000 | #Constraints: 19105
885.43/888.06 c #Conflicts: 535000 | #Constraints: 20105
885.43/888.06 c #Conflicts: 536000 | #Constraints: 21105
885.43/888.06 c #Conflicts: 537000 | #Constraints: 22105
885.43/888.06 c #Conflicts: 538000 | #Constraints: 23105
885.43/888.06 c #Conflicts: 539000 | #Constraints: 24105
885.43/888.06 c #Conflicts: 540000 | #Constraints: 25105
885.43/888.06 c #Conflicts: 541000 | #Constraints: 26105
885.43/888.06 c #Conflicts: 542000 | #Constraints: 27105
885.43/888.06 c #Conflicts: 543000 | #Constraints: 28105
885.43/888.06 c #Conflicts: 544000 | #Constraints: 29105
885.43/888.06 c #Conflicts: 545000 | #Constraints: 30105
885.43/888.06 c #Conflicts: 546000 | #Constraints: 31105
885.43/888.06 c INPROCESSING
885.43/888.06 c GARBAGE COLLECT
885.43/888.06 c #Conflicts: 547000 | #Constraints: 17502
885.43/888.06 c #Conflicts: 548000 | #Constraints: 18502
885.43/888.06 c #Conflicts: 549000 | #Constraints: 19502
885.43/888.06 c #Conflicts: 550000 | #Constraints: 20502
885.43/888.06 c #Conflicts: 551000 | #Constraints: 21502
885.43/888.06 c #Conflicts: 552000 | #Constraints: 22502
885.43/888.06 c #Conflicts: 553000 | #Constraints: 23502
885.43/888.06 c #Conflicts: 554000 | #Constraints: 24502
885.43/888.06 c #Conflicts: 555000 | #Constraints: 25502
885.43/888.06 c #Conflicts: 556000 | #Constraints: 26502
885.43/888.06 c #Conflicts: 557000 | #Constraints: 27502
885.43/888.06 c #Conflicts: 558000 | #Constraints: 28502
885.43/888.06 c GLOBAL bounds - >= 0 @ 875.802
887.32/889.95 c #Conflicts: 559000 | #Constraints: 29504
887.32/889.95 c GLOBAL bounds - >= 0 @ 877.676
892.51/895.15 c #Conflicts: 560000 | #Constraints: 30506
892.51/895.15 c #Conflicts: 561000 | #Constraints: 31506
892.51/895.15 c INPROCESSING
892.51/895.15 c GARBAGE COLLECT
892.51/895.15 c #Conflicts: 562000 | #Constraints: 17704
892.51/895.15 c GLOBAL bounds - >= 0 @ 882.804
906.07/908.70 c #Conflicts: 563000 | #Constraints: 18706
906.07/908.70 c #Conflicts: 564000 | #Constraints: 19706
906.07/908.70 c #Conflicts: 565000 | #Constraints: 20706
906.07/908.70 c #Conflicts: 566000 | #Constraints: 21706
906.07/908.70 c #Conflicts: 567000 | #Constraints: 22706
906.07/908.70 c #Conflicts: 568000 | #Constraints: 23706
906.07/908.70 c #Conflicts: 569000 | #Constraints: 24706
906.07/908.70 c #Conflicts: 570000 | #Constraints: 25706
906.07/908.70 c GLOBAL bounds - >= 0 @ 896.161
1029.50/1032.51 c #Conflicts: 571000 | #Constraints: 26708
1029.50/1032.51 c #Conflicts: 572000 | #Constraints: 27708
1029.50/1032.51 c #Conflicts: 573000 | #Constraints: 28708
1029.50/1032.51 c #Conflicts: 574000 | #Constraints: 29708
1029.50/1032.51 c #Conflicts: 575000 | #Constraints: 30708
1029.50/1032.51 c #Conflicts: 576000 | #Constraints: 31708
1029.50/1032.51 c INPROCESSING
1029.50/1032.51 c GARBAGE COLLECT
1029.50/1032.51 c #Conflicts: 577000 | #Constraints: 17715
1029.50/1032.51 c #Conflicts: 578000 | #Constraints: 18715
1029.50/1032.51 c #Conflicts: 579000 | #Constraints: 19715
1029.50/1032.51 c #Conflicts: 580000 | #Constraints: 20715
1029.50/1032.51 c #Conflicts: 581000 | #Constraints: 21715
1029.50/1032.51 c #Conflicts: 582000 | #Constraints: 22715
1029.50/1032.51 c #Conflicts: 583000 | #Constraints: 23715
1029.50/1032.51 c #Conflicts: 584000 | #Constraints: 24715
1029.50/1032.51 c #Conflicts: 585000 | #Constraints: 25715
1029.50/1032.51 c #Conflicts: 586000 | #Constraints: 26715
1029.50/1032.51 c #Conflicts: 587000 | #Constraints: 27715
1029.50/1032.51 c #Conflicts: 588000 | #Constraints: 28715
1029.50/1032.51 c #Conflicts: 589000 | #Constraints: 29715
1029.50/1032.51 c #Conflicts: 590000 | #Constraints: 30715
1029.50/1032.51 c #Conflicts: 591000 | #Constraints: 31715
1029.50/1032.51 c INPROCESSING
1029.50/1032.51 c GARBAGE COLLECT
1029.50/1032.51 c #Conflicts: 592000 | #Constraints: 17515
1029.50/1032.51 c #Conflicts: 593000 | #Constraints: 18515
1029.50/1032.51 c #Conflicts: 594000 | #Constraints: 19515
1029.50/1032.51 c #Conflicts: 595000 | #Constraints: 20515
1029.50/1032.51 c #Conflicts: 596000 | #Constraints: 21515
1029.50/1032.51 c #Conflicts: 597000 | #Constraints: 22515
1029.50/1032.51 c #Conflicts: 598000 | #Constraints: 23515
1029.50/1032.51 c #Conflicts: 599000 | #Constraints: 24515
1029.50/1032.51 c #Conflicts: 600000 | #Constraints: 25515
1029.50/1032.51 c #Conflicts: 601000 | #Constraints: 26515
1029.50/1032.51 c #Conflicts: 602000 | #Constraints: 27515
1029.50/1032.51 c #Conflicts: 603000 | #Constraints: 28515
1029.50/1032.51 c #Conflicts: 604000 | #Constraints: 29515
1029.50/1032.51 c #Conflicts: 605000 | #Constraints: 30515
1029.50/1032.51 c #Conflicts: 606000 | #Constraints: 31515
1029.50/1032.51 c #Conflicts: 607000 | #Constraints: 32515
1029.50/1032.51 c INPROCESSING
1029.50/1032.51 c GARBAGE COLLECT
1029.50/1032.51 c #Conflicts: 608000 | #Constraints: 18121
1029.50/1032.51 c #Conflicts: 609000 | #Constraints: 19121
1029.50/1032.51 c #Conflicts: 610000 | #Constraints: 20121
1029.50/1032.51 c #Conflicts: 611000 | #Constraints: 21121
1029.50/1032.51 c #Conflicts: 612000 | #Constraints: 22121
1029.50/1032.51 c #Conflicts: 613000 | #Constraints: 23121
1029.50/1032.51 c #Conflicts: 614000 | #Constraints: 24121
1029.50/1032.51 c #Conflicts: 615000 | #Constraints: 25121
1029.50/1032.51 c #Conflicts: 616000 | #Constraints: 26121
1029.50/1032.51 c #Conflicts: 617000 | #Constraints: 27121
1029.50/1032.51 c #Conflicts: 618000 | #Constraints: 28121
1029.50/1032.51 c #Conflicts: 619000 | #Constraints: 29121
1029.50/1032.51 c #Conflicts: 620000 | #Constraints: 30121
1029.50/1032.51 c #Conflicts: 621000 | #Constraints: 31121
1029.50/1032.51 c #Conflicts: 622000 | #Constraints: 32121
1029.50/1032.51 c #Conflicts: 623000 | #Constraints: 33121
1029.50/1032.51 c INPROCESSING
1029.50/1032.51 c GARBAGE COLLECT
1029.50/1032.51 c #Conflicts: 624000 | #Constraints: 18519
1029.50/1032.51 c #Conflicts: 625000 | #Constraints: 19519
1029.50/1032.51 c #Conflicts: 626000 | #Constraints: 20519
1029.50/1032.51 c #Conflicts: 627000 | #Constraints: 21519
1029.50/1032.51 c #Conflicts: 628000 | #Constraints: 22519
1029.50/1032.51 c #Conflicts: 629000 | #Constraints: 23519
1029.50/1032.51 c #Conflicts: 630000 | #Constraints: 24519
1029.50/1032.51 c #Conflicts: 631000 | #Constraints: 25519
1029.50/1032.51 c #Conflicts: 632000 | #Constraints: 26519
1029.50/1032.51 c #Conflicts: 633000 | #Constraints: 27519
1029.50/1032.51 c #Conflicts: 634000 | #Constraints: 28519
1029.50/1032.51 c #Conflicts: 635000 | #Constraints: 29519
1029.50/1032.51 c #Conflicts: 636000 | #Constraints: 30519
1029.50/1032.51 c #Conflicts: 637000 | #Constraints: 31519
1029.50/1032.51 c #Conflicts: 638000 | #Constraints: 32519
1029.50/1032.51 c #Conflicts: 639000 | #Constraints: 33519
1029.50/1032.51 c INPROCESSING
1029.50/1032.51 c GARBAGE COLLECT
1029.50/1032.51 c #Conflicts: 640000 | #Constraints: 18712
1029.50/1032.51 c #Conflicts: 641000 | #Constraints: 19712
1029.50/1032.51 c #Conflicts: 642000 | #Constraints: 20712
1029.50/1032.51 c #Conflicts: 643000 | #Constraints: 21712
1029.50/1032.51 c #Conflicts: 644000 | #Constraints: 22712
1029.50/1032.51 c #Conflicts: 645000 | #Constraints: 23712
1029.50/1032.51 c #Conflicts: 646000 | #Constraints: 24712
1149.91/1153.36 c #Conflicts: 647000 | #Constraints: 25712
1149.91/1153.36 c #Conflicts: 648000 | #Constraints: 26712
1149.91/1153.36 c #Conflicts: 649000 | #Constraints: 27712
1149.91/1153.36 c #Conflicts: 650000 | #Constraints: 28712
1149.91/1153.36 c #Conflicts: 651000 | #Constraints: 29712
1149.91/1153.36 c #Conflicts: 652000 | #Constraints: 30712
1149.91/1153.36 c #Conflicts: 653000 | #Constraints: 31712
1149.91/1153.36 c #Conflicts: 654000 | #Constraints: 32712
1149.91/1153.36 c #Conflicts: 655000 | #Constraints: 33712
1149.91/1153.36 c INPROCESSING
1149.91/1153.36 c GARBAGE COLLECT
1149.91/1153.36 c #Conflicts: 656000 | #Constraints: 18709
1149.91/1153.36 c #Conflicts: 657000 | #Constraints: 19709
1149.91/1153.36 c #Conflicts: 658000 | #Constraints: 20709
1149.91/1153.36 c #Conflicts: 659000 | #Constraints: 21709
1149.91/1153.36 c #Conflicts: 660000 | #Constraints: 22709
1149.91/1153.36 c #Conflicts: 661000 | #Constraints: 23709
1149.91/1153.36 c #Conflicts: 662000 | #Constraints: 24709
1149.91/1153.36 c #Conflicts: 663000 | #Constraints: 25709
1149.91/1153.36 c #Conflicts: 664000 | #Constraints: 26709
1149.91/1153.36 c #Conflicts: 665000 | #Constraints: 27709
1149.91/1153.36 c #Conflicts: 666000 | #Constraints: 28709
1149.91/1153.36 c #Conflicts: 667000 | #Constraints: 29709
1149.91/1153.36 c #Conflicts: 668000 | #Constraints: 30709
1149.91/1153.36 c #Conflicts: 669000 | #Constraints: 31709
1149.91/1153.36 c #Conflicts: 670000 | #Constraints: 32709
1149.91/1153.36 c #Conflicts: 671000 | #Constraints: 33709
1149.91/1153.36 c INPROCESSING
1149.91/1153.36 c GARBAGE COLLECT
1149.91/1153.36 c #Conflicts: 672000 | #Constraints: 18506
1149.91/1153.36 c #Conflicts: 673000 | #Constraints: 19506
1149.91/1153.36 c #Conflicts: 674000 | #Constraints: 20506
1149.91/1153.36 c #Conflicts: 675000 | #Constraints: 21506
1149.91/1153.36 c #Conflicts: 676000 | #Constraints: 22506
1149.91/1153.36 c #Conflicts: 677000 | #Constraints: 23506
1149.91/1153.36 c #Conflicts: 678000 | #Constraints: 24506
1149.91/1153.36 c #Conflicts: 679000 | #Constraints: 25506
1149.91/1153.36 c #Conflicts: 680000 | #Constraints: 26506
1149.91/1153.36 c #Conflicts: 681000 | #Constraints: 27506
1149.91/1153.36 c #Conflicts: 682000 | #Constraints: 28506
1149.91/1153.36 c #Conflicts: 683000 | #Constraints: 29506
1149.91/1153.36 c #Conflicts: 684000 | #Constraints: 30506
1149.91/1153.36 c #Conflicts: 685000 | #Constraints: 31506
1149.91/1153.36 c #Conflicts: 686000 | #Constraints: 32506
1149.91/1153.36 c #Conflicts: 687000 | #Constraints: 33506
1149.91/1153.36 c #Conflicts: 688000 | #Constraints: 34506
1149.91/1153.36 c INPROCESSING
1149.91/1153.36 c GARBAGE COLLECT
1149.91/1153.36 c #Conflicts: 689000 | #Constraints: 19110
1149.91/1153.36 c #Conflicts: 690000 | #Constraints: 20110
1149.91/1153.36 c #Conflicts: 691000 | #Constraints: 21110
1149.91/1153.36 c #Conflicts: 692000 | #Constraints: 22110
1149.91/1153.36 c #Conflicts: 693000 | #Constraints: 23110
1149.91/1153.36 c #Conflicts: 694000 | #Constraints: 24110
1149.91/1153.36 c #Conflicts: 695000 | #Constraints: 25110
1149.91/1153.36 c #Conflicts: 696000 | #Constraints: 26110
1149.91/1153.36 c #Conflicts: 697000 | #Constraints: 27110
1149.91/1153.36 c #Conflicts: 698000 | #Constraints: 28110
1149.91/1153.36 c #Conflicts: 699000 | #Constraints: 29110
1149.91/1153.36 c #Conflicts: 700000 | #Constraints: 30110
1149.91/1153.36 c #Conflicts: 701000 | #Constraints: 31110
1149.91/1153.36 c #Conflicts: 702000 | #Constraints: 32110
1149.91/1153.36 c #Conflicts: 703000 | #Constraints: 33110
1149.91/1153.36 c #Conflicts: 704000 | #Constraints: 34110
1149.91/1153.36 c #Conflicts: 705000 | #Constraints: 35110
1149.91/1153.36 c INPROCESSING
1149.91/1153.36 c GARBAGE COLLECT
1149.91/1153.36 c #Conflicts: 706000 | #Constraints: 19509
1149.91/1153.36 c #Conflicts: 707000 | #Constraints: 20509
1149.91/1153.36 c #Conflicts: 708000 | #Constraints: 21509
1149.91/1153.36 c #Conflicts: 709000 | #Constraints: 22509
1149.91/1153.36 c #Conflicts: 710000 | #Constraints: 23509
1149.91/1153.36 c #Conflicts: 711000 | #Constraints: 24509
1149.91/1153.36 c #Conflicts: 712000 | #Constraints: 25509
1149.91/1153.36 c #Conflicts: 713000 | #Constraints: 26509
1149.91/1153.36 c #Conflicts: 714000 | #Constraints: 27509
1149.91/1153.36 c #Conflicts: 715000 | #Constraints: 28509
1149.91/1153.36 c #Conflicts: 716000 | #Constraints: 29509
1149.91/1153.36 c #Conflicts: 717000 | #Constraints: 30509
1149.91/1153.36 c GLOBAL bounds - >= 0 @ 1137.49
1280.91/1284.72 c #Conflicts: 718000 | #Constraints: 31511
1280.91/1284.72 c #Conflicts: 719000 | #Constraints: 32511
1280.91/1284.72 c #Conflicts: 720000 | #Constraints: 33511
1280.91/1284.72 c #Conflicts: 721000 | #Constraints: 34511
1280.91/1284.72 c #Conflicts: 722000 | #Constraints: 35511
1280.91/1284.72 c INPROCESSING
1280.91/1284.72 c GARBAGE COLLECT
1280.91/1284.72 c #Conflicts: 723000 | #Constraints: 19714
1280.91/1284.72 c #Conflicts: 724000 | #Constraints: 20714
1280.91/1284.72 c #Conflicts: 725000 | #Constraints: 21714
1280.91/1284.72 c #Conflicts: 726000 | #Constraints: 22714
1280.91/1284.72 c #Conflicts: 727000 | #Constraints: 23714
1280.91/1284.72 c #Conflicts: 728000 | #Constraints: 24714
1280.91/1284.72 c #Conflicts: 729000 | #Constraints: 25714
1280.91/1284.72 c #Conflicts: 730000 | #Constraints: 26714
1280.91/1284.72 c #Conflicts: 731000 | #Constraints: 27714
1280.91/1284.72 c #Conflicts: 732000 | #Constraints: 28714
1280.91/1284.72 c #Conflicts: 733000 | #Constraints: 29714
1280.91/1284.72 c #Conflicts: 734000 | #Constraints: 30714
1280.91/1284.72 c #Conflicts: 735000 | #Constraints: 31714
1280.91/1284.72 c #Conflicts: 736000 | #Constraints: 32714
1280.91/1284.72 c #Conflicts: 737000 | #Constraints: 33714
1280.91/1284.72 c #Conflicts: 738000 | #Constraints: 34714
1280.91/1284.72 c #Conflicts: 739000 | #Constraints: 35714
1280.91/1284.72 c INPROCESSING
1280.91/1284.72 c GARBAGE COLLECT
1280.91/1284.72 c #Conflicts: 740000 | #Constraints: 19713
1280.91/1284.72 c #Conflicts: 741000 | #Constraints: 20713
1280.91/1284.72 c #Conflicts: 742000 | #Constraints: 21713
1280.91/1284.72 c #Conflicts: 743000 | #Constraints: 22713
1280.91/1284.72 c #Conflicts: 744000 | #Constraints: 23713
1280.91/1284.72 c #Conflicts: 745000 | #Constraints: 24713
1280.91/1284.72 c #Conflicts: 746000 | #Constraints: 25713
1280.91/1284.72 c #Conflicts: 747000 | #Constraints: 26713
1280.91/1284.72 c #Conflicts: 748000 | #Constraints: 27713
1280.91/1284.72 c #Conflicts: 749000 | #Constraints: 28713
1280.91/1284.72 c #Conflicts: 750000 | #Constraints: 29713
1280.91/1284.72 c #Conflicts: 751000 | #Constraints: 30713
1280.91/1284.72 c #Conflicts: 752000 | #Constraints: 31713
1280.91/1284.72 c #Conflicts: 753000 | #Constraints: 32713
1280.91/1284.72 c #Conflicts: 754000 | #Constraints: 33713
1280.91/1284.72 c #Conflicts: 755000 | #Constraints: 34713
1280.91/1284.72 c #Conflicts: 756000 | #Constraints: 35713
1280.91/1284.72 c INPROCESSING
1280.91/1284.72 c GARBAGE COLLECT
1280.91/1284.72 c #Conflicts: 757000 | #Constraints: 19511
1280.91/1284.72 c #Conflicts: 758000 | #Constraints: 20511
1280.91/1284.72 c #Conflicts: 759000 | #Constraints: 21511
1280.91/1284.72 c #Conflicts: 760000 | #Constraints: 22511
1280.91/1284.72 c #Conflicts: 761000 | #Constraints: 23511
1280.91/1284.72 c #Conflicts: 762000 | #Constraints: 24511
1280.91/1284.72 c #Conflicts: 763000 | #Constraints: 25511
1280.91/1284.72 c #Conflicts: 764000 | #Constraints: 26511
1280.91/1284.72 c #Conflicts: 765000 | #Constraints: 27511
1280.91/1284.72 c #Conflicts: 766000 | #Constraints: 28511
1280.91/1284.72 c #Conflicts: 767000 | #Constraints: 29511
1280.91/1284.72 c #Conflicts: 768000 | #Constraints: 30511
1280.91/1284.72 c #Conflicts: 769000 | #Constraints: 31511
1280.91/1284.72 c #Conflicts: 770000 | #Constraints: 32511
1280.91/1284.72 c #Conflicts: 771000 | #Constraints: 33511
1280.91/1284.72 c #Conflicts: 772000 | #Constraints: 34511
1280.91/1284.72 c #Conflicts: 773000 | #Constraints: 35511
1280.91/1284.72 c #Conflicts: 774000 | #Constraints: 36511
1280.91/1284.72 c INPROCESSING
1280.91/1284.72 c GARBAGE COLLECT
1280.91/1284.72 c #Conflicts: 775000 | #Constraints: 20117
1280.91/1284.72 c #Conflicts: 776000 | #Constraints: 21117
1280.91/1284.72 c #Conflicts: 777000 | #Constraints: 22117
1280.91/1284.72 c #Conflicts: 778000 | #Constraints: 23117
1280.91/1284.72 c #Conflicts: 779000 | #Constraints: 24117
1280.91/1284.72 c #Conflicts: 780000 | #Constraints: 25117
1280.91/1284.72 c #Conflicts: 781000 | #Constraints: 26117
1280.91/1284.72 c #Conflicts: 782000 | #Constraints: 27117
1280.91/1284.72 c #Conflicts: 783000 | #Constraints: 28117
1280.91/1284.72 c #Conflicts: 784000 | #Constraints: 29117
1280.91/1284.72 c #Conflicts: 785000 | #Constraints: 30117
1280.91/1284.72 c #Conflicts: 786000 | #Constraints: 31117
1280.91/1284.72 c #Conflicts: 787000 | #Constraints: 32117
1280.91/1284.72 c #Conflicts: 788000 | #Constraints: 33117
1280.91/1284.72 c #Conflicts: 789000 | #Constraints: 34117
1280.91/1284.72 c #Conflicts: 790000 | #Constraints: 35117
1280.91/1284.72 c #Conflicts: 791000 | #Constraints: 36117
1280.91/1284.72 c #Conflicts: 792000 | #Constraints: 37117
1280.91/1284.72 c INPROCESSING
1280.91/1284.72 c GARBAGE COLLECT
1280.91/1284.72 c #Conflicts: 793000 | #Constraints: 20506
1424.88/1429.11 c #Conflicts: 794000 | #Constraints: 21506
1424.88/1429.11 c #Conflicts: 795000 | #Constraints: 22506
1424.88/1429.11 c #Conflicts: 796000 | #Constraints: 23506
1424.88/1429.11 c #Conflicts: 797000 | #Constraints: 24506
1424.88/1429.11 c #Conflicts: 798000 | #Constraints: 25506
1424.88/1429.11 c #Conflicts: 799000 | #Constraints: 26506
1424.88/1429.11 c #Conflicts: 800000 | #Constraints: 27506
1424.88/1429.11 c #Conflicts: 801000 | #Constraints: 28506
1424.88/1429.11 c #Conflicts: 802000 | #Constraints: 29506
1424.88/1429.11 c #Conflicts: 803000 | #Constraints: 30506
1424.88/1429.11 c #Conflicts: 804000 | #Constraints: 31506
1424.88/1429.11 c #Conflicts: 805000 | #Constraints: 32506
1424.88/1429.11 c #Conflicts: 806000 | #Constraints: 33506
1424.88/1429.11 c #Conflicts: 807000 | #Constraints: 34506
1424.88/1429.11 c #Conflicts: 808000 | #Constraints: 35506
1424.88/1429.11 c #Conflicts: 809000 | #Constraints: 36506
1424.88/1429.11 c #Conflicts: 810000 | #Constraints: 37506
1424.88/1429.11 c INPROCESSING
1424.88/1429.11 c GARBAGE COLLECT
1424.88/1429.11 c #Conflicts: 811000 | #Constraints: 20723
1424.88/1429.11 c #Conflicts: 812000 | #Constraints: 21723
1424.88/1429.12 c #Conflicts: 813000 | #Constraints: 22723
1424.88/1429.12 c #Conflicts: 814000 | #Constraints: 23723
1424.88/1429.12 c #Conflicts: 815000 | #Constraints: 24723
1424.88/1429.12 c #Conflicts: 816000 | #Constraints: 25723
1424.88/1429.12 c #Conflicts: 817000 | #Constraints: 26723
1424.88/1429.12 c #Conflicts: 818000 | #Constraints: 27723
1424.88/1429.12 c #Conflicts: 819000 | #Constraints: 28723
1424.88/1429.12 c #Conflicts: 820000 | #Constraints: 29723
1424.88/1429.12 c #Conflicts: 821000 | #Constraints: 30723
1424.88/1429.12 c #Conflicts: 822000 | #Constraints: 31723
1424.88/1429.12 c #Conflicts: 823000 | #Constraints: 32723
1424.88/1429.12 c #Conflicts: 824000 | #Constraints: 33723
1424.88/1429.12 c #Conflicts: 825000 | #Constraints: 34723
1424.88/1429.12 c #Conflicts: 826000 | #Constraints: 35723
1424.88/1429.12 c #Conflicts: 827000 | #Constraints: 36723
1424.88/1429.12 c #Conflicts: 828000 | #Constraints: 37723
1424.88/1429.12 c INPROCESSING
1424.88/1429.12 c GARBAGE COLLECT
1424.88/1429.12 c #Conflicts: 829000 | #Constraints: 20711
1424.88/1429.12 c #Conflicts: 830000 | #Constraints: 21711
1424.88/1429.12 c #Conflicts: 831000 | #Constraints: 22711
1424.88/1429.12 c #Conflicts: 832000 | #Constraints: 23711
1424.88/1429.12 c #Conflicts: 833000 | #Constraints: 24711
1424.88/1429.12 c #Conflicts: 834000 | #Constraints: 25711
1424.88/1429.12 c #Conflicts: 835000 | #Constraints: 26711
1424.88/1429.12 c #Conflicts: 836000 | #Constraints: 27711
1424.88/1429.12 c #Conflicts: 837000 | #Constraints: 28711
1424.88/1429.12 c #Conflicts: 838000 | #Constraints: 29711
1424.88/1429.12 c #Conflicts: 839000 | #Constraints: 30711
1424.88/1429.12 c #Conflicts: 840000 | #Constraints: 31711
1424.88/1429.12 c #Conflicts: 841000 | #Constraints: 32711
1424.88/1429.12 c #Conflicts: 842000 | #Constraints: 33711
1424.88/1429.12 c #Conflicts: 843000 | #Constraints: 34711
1424.88/1429.12 c #Conflicts: 844000 | #Constraints: 35711
1424.88/1429.12 c #Conflicts: 845000 | #Constraints: 36711
1424.88/1429.12 c #Conflicts: 846000 | #Constraints: 37711
1424.88/1429.12 c INPROCESSING
1424.88/1429.12 c GARBAGE COLLECT
1424.88/1429.12 c #Conflicts: 847000 | #Constraints: 20530
1424.88/1429.12 c #Conflicts: 848000 | #Constraints: 21530
1424.88/1429.12 c #Conflicts: 849000 | #Constraints: 22530
1424.88/1429.12 c #Conflicts: 850000 | #Constraints: 23530
1424.88/1429.12 c #Conflicts: 851000 | #Constraints: 24530
1424.88/1429.12 c #Conflicts: 852000 | #Constraints: 25530
1424.88/1429.12 c #Conflicts: 853000 | #Constraints: 26530
1424.88/1429.12 c #Conflicts: 854000 | #Constraints: 27530
1424.88/1429.12 c #Conflicts: 855000 | #Constraints: 28530
1424.88/1429.12 c #Conflicts: 856000 | #Constraints: 29530
1424.88/1429.12 c #Conflicts: 857000 | #Constraints: 30530
1424.88/1429.12 c #Conflicts: 858000 | #Constraints: 31530
1424.88/1429.12 c #Conflicts: 859000 | #Constraints: 32530
1424.88/1429.12 c #Conflicts: 860000 | #Constraints: 33530
1424.88/1429.12 c #Conflicts: 861000 | #Constraints: 34530
1424.88/1429.12 c #Conflicts: 862000 | #Constraints: 35530
1424.88/1429.12 c #Conflicts: 863000 | #Constraints: 36530
1424.88/1429.12 c #Conflicts: 864000 | #Constraints: 37530
1424.88/1429.12 c #Conflicts: 865000 | #Constraints: 38530
1424.88/1429.12 c INPROCESSING
1424.88/1429.12 c GARBAGE COLLECT
1424.88/1429.12 c #Conflicts: 866000 | #Constraints: 21130
1424.88/1429.12 c #Conflicts: 867000 | #Constraints: 22130
1424.88/1429.12 c #Conflicts: 868000 | #Constraints: 23130
1424.88/1429.12 c #Conflicts: 869000 | #Constraints: 24130
1447.91/1452.23 c #Conflicts: 870000 | #Constraints: 25130
1447.91/1452.23 c #Conflicts: 871000 | #Constraints: 26130
1447.91/1452.23 c #Conflicts: 872000 | #Constraints: 27130
1447.91/1452.23 c #Conflicts: 873000 | #Constraints: 28130
1447.91/1452.23 c #Conflicts: 874000 | #Constraints: 29130
1447.91/1452.23 c #Conflicts: 875000 | #Constraints: 30130
1447.91/1452.23 c #Conflicts: 876000 | #Constraints: 31130
1447.91/1452.23 c #Conflicts: 877000 | #Constraints: 32130
1447.91/1452.23 c #Conflicts: 878000 | #Constraints: 33130
1447.91/1452.23 c #Conflicts: 879000 | #Constraints: 34130
1447.91/1452.23 c GLOBAL bounds - >= 0 @ 1432.87
1500.75/1505.21 c #Conflicts: 880000 | #Constraints: 35132
1500.75/1505.21 c #Conflicts: 881000 | #Constraints: 36132
1500.75/1505.21 c #Conflicts: 882000 | #Constraints: 37132
1500.75/1505.21 c #Conflicts: 883000 | #Constraints: 38132
1500.75/1505.21 c #Conflicts: 884000 | #Constraints: 39132
1500.75/1505.21 c INPROCESSING
1500.75/1505.21 c GARBAGE COLLECT
1500.75/1505.21 c #Conflicts: 885000 | #Constraints: 21521
1500.75/1505.21 c #Conflicts: 886000 | #Constraints: 22521
1500.75/1505.21 c #Conflicts: 887000 | #Constraints: 23521
1500.75/1505.21 c #Conflicts: 888000 | #Constraints: 24521
1500.75/1505.21 c #Conflicts: 889000 | #Constraints: 25521
1500.75/1505.21 c #Conflicts: 890000 | #Constraints: 26521
1500.75/1505.21 c #Conflicts: 891000 | #Constraints: 27521
1500.75/1505.21 c #Conflicts: 892000 | #Constraints: 28521
1500.75/1505.21 c #Conflicts: 893000 | #Constraints: 29521
1500.75/1505.21 c #Conflicts: 894000 | #Constraints: 30521
1500.75/1505.21 c #Conflicts: 895000 | #Constraints: 31521
1500.75/1505.21 c #Conflicts: 896000 | #Constraints: 32521
1500.75/1505.21 c #Conflicts: 897000 | #Constraints: 33521
1500.75/1505.21 c #Conflicts: 898000 | #Constraints: 34521
1500.75/1505.21 c #Conflicts: 899000 | #Constraints: 35521
1500.75/1505.21 c #Conflicts: 900000 | #Constraints: 36521
1500.75/1505.21 c #Conflicts: 901000 | #Constraints: 37521
1500.75/1505.21 c #Conflicts: 902000 | #Constraints: 38521
1500.75/1505.21 c #Conflicts: 903000 | #Constraints: 39521
1500.75/1505.21 c INPROCESSING
1500.75/1505.21 c GARBAGE COLLECT
1500.75/1505.21 c #Conflicts: 904000 | #Constraints: 21735
1500.75/1505.21 c #Conflicts: 905000 | #Constraints: 22735
1500.75/1505.21 c #Conflicts: 906000 | #Constraints: 23735
1500.75/1505.21 c #Conflicts: 907000 | #Constraints: 24735
1500.75/1505.21 c #Conflicts: 908000 | #Constraints: 25735
1500.75/1505.21 c GLOBAL bounds - >= 0 @ 1485.15
1657.94/1662.99 c #Conflicts: 909000 | #Constraints: 26737
1657.94/1662.99 c #Conflicts: 910000 | #Constraints: 27737
1657.94/1662.99 c #Conflicts: 911000 | #Constraints: 28737
1657.94/1662.99 c #Conflicts: 912000 | #Constraints: 29737
1657.94/1662.99 c #Conflicts: 913000 | #Constraints: 30737
1657.94/1662.99 c #Conflicts: 914000 | #Constraints: 31737
1657.94/1662.99 c #Conflicts: 915000 | #Constraints: 32737
1657.94/1662.99 c #Conflicts: 916000 | #Constraints: 33737
1657.94/1662.99 c #Conflicts: 917000 | #Constraints: 34737
1657.94/1662.99 c #Conflicts: 918000 | #Constraints: 35737
1657.94/1662.99 c #Conflicts: 919000 | #Constraints: 36737
1657.94/1662.99 c #Conflicts: 920000 | #Constraints: 37737
1657.94/1662.99 c #Conflicts: 921000 | #Constraints: 38737
1657.94/1662.99 c #Conflicts: 922000 | #Constraints: 39737
1657.94/1662.99 c INPROCESSING
1657.94/1662.99 c GARBAGE COLLECT
1657.94/1662.99 c #Conflicts: 923000 | #Constraints: 21725
1657.94/1662.99 c #Conflicts: 924000 | #Constraints: 22725
1657.94/1662.99 c #Conflicts: 925000 | #Constraints: 23725
1657.94/1662.99 c #Conflicts: 926000 | #Constraints: 24725
1657.94/1662.99 c #Conflicts: 927000 | #Constraints: 25725
1657.94/1662.99 c #Conflicts: 928000 | #Constraints: 26725
1657.94/1662.99 c #Conflicts: 929000 | #Constraints: 27725
1657.94/1662.99 c #Conflicts: 930000 | #Constraints: 28725
1657.94/1662.99 c #Conflicts: 931000 | #Constraints: 29725
1657.94/1662.99 c #Conflicts: 932000 | #Constraints: 30725
1657.94/1662.99 c #Conflicts: 933000 | #Constraints: 31725
1657.94/1662.99 c #Conflicts: 934000 | #Constraints: 32725
1657.94/1662.99 c #Conflicts: 935000 | #Constraints: 33725
1657.94/1662.99 c #Conflicts: 936000 | #Constraints: 34725
1657.94/1662.99 c #Conflicts: 937000 | #Constraints: 35725
1657.94/1662.99 c #Conflicts: 938000 | #Constraints: 36725
1657.94/1662.99 c #Conflicts: 939000 | #Constraints: 37725
1657.94/1662.99 c #Conflicts: 940000 | #Constraints: 38725
1657.94/1662.99 c #Conflicts: 941000 | #Constraints: 39725
1657.94/1662.99 c INPROCESSING
1657.94/1662.99 c GARBAGE COLLECT
1657.94/1662.99 c #Conflicts: 942000 | #Constraints: 21532
1657.94/1662.99 c #Conflicts: 943000 | #Constraints: 22532
1657.94/1662.99 c #Conflicts: 944000 | #Constraints: 23532
1657.94/1662.99 c #Conflicts: 945000 | #Constraints: 24532
1657.94/1662.99 c #Conflicts: 946000 | #Constraints: 25532
1657.94/1662.99 c #Conflicts: 947000 | #Constraints: 26532
1657.94/1662.99 c #Conflicts: 948000 | #Constraints: 27532
1657.94/1662.99 c #Conflicts: 949000 | #Constraints: 28532
1657.94/1662.99 c #Conflicts: 950000 | #Constraints: 29532
1657.94/1662.99 c #Conflicts: 951000 | #Constraints: 30532
1657.94/1662.99 c #Conflicts: 952000 | #Constraints: 31532
1657.94/1662.99 c #Conflicts: 953000 | #Constraints: 32532
1657.94/1662.99 c #Conflicts: 954000 | #Constraints: 33532
1657.94/1662.99 c #Conflicts: 955000 | #Constraints: 34532
1657.94/1662.99 c #Conflicts: 956000 | #Constraints: 35532
1657.94/1662.99 c #Conflicts: 957000 | #Constraints: 36532
1657.94/1662.99 c #Conflicts: 958000 | #Constraints: 37532
1657.94/1662.99 c #Conflicts: 959000 | #Constraints: 38532
1657.94/1662.99 c #Conflicts: 960000 | #Constraints: 39532
1657.94/1662.99 c #Conflicts: 961000 | #Constraints: 40532
1657.94/1662.99 c INPROCESSING
1657.94/1662.99 c GARBAGE COLLECT
1657.94/1662.99 c #Conflicts: 962000 | #Constraints: 22126
1657.94/1662.99 c #Conflicts: 963000 | #Constraints: 23126
1657.94/1662.99 c #Conflicts: 964000 | #Constraints: 24126
1657.94/1662.99 c #Conflicts: 965000 | #Constraints: 25126
1657.94/1662.99 c #Conflicts: 966000 | #Constraints: 26126
1657.94/1662.99 c #Conflicts: 967000 | #Constraints: 27126
1657.94/1662.99 c #Conflicts: 968000 | #Constraints: 28126
1657.94/1662.99 c #Conflicts: 969000 | #Constraints: 29126
1657.94/1662.99 c #Conflicts: 970000 | #Constraints: 30126
1657.94/1662.99 c #Conflicts: 971000 | #Constraints: 31126
1657.94/1662.99 c #Conflicts: 972000 | #Constraints: 32126
1657.94/1662.99 c #Conflicts: 973000 | #Constraints: 33126
1657.94/1662.99 c #Conflicts: 974000 | #Constraints: 34126
1657.94/1662.99 c #Conflicts: 975000 | #Constraints: 35126
1657.94/1662.99 c #Conflicts: 976000 | #Constraints: 36126
1657.94/1662.99 c #Conflicts: 977000 | #Constraints: 37126
1657.94/1662.99 c #Conflicts: 978000 | #Constraints: 38126
1657.94/1662.99 c #Conflicts: 979000 | #Constraints: 39126
1657.94/1662.99 c #Conflicts: 980000 | #Constraints: 40126
1657.94/1662.99 c #Conflicts: 981000 | #Constraints: 41126
1657.94/1662.99 c INPROCESSING
1657.94/1662.99 c GARBAGE COLLECT
1657.94/1662.99 c #Conflicts: 982000 | #Constraints: 22533
1657.94/1662.99 c #Conflicts: 983000 | #Constraints: 23533
1657.94/1662.99 c #Conflicts: 984000 | #Constraints: 24533
1657.94/1662.99 c #Conflicts: 985000 | #Constraints: 25533
1825.66/1831.29 c #Conflicts: 986000 | #Constraints: 26533
1825.66/1831.29 c #Conflicts: 987000 | #Constraints: 27533
1825.66/1831.29 c #Conflicts: 988000 | #Constraints: 28533
1825.66/1831.29 c #Conflicts: 989000 | #Constraints: 29533
1825.66/1831.29 c #Conflicts: 990000 | #Constraints: 30533
1825.66/1831.29 c #Conflicts: 991000 | #Constraints: 31533
1825.66/1831.29 c #Conflicts: 992000 | #Constraints: 32533
1825.66/1831.29 c #Conflicts: 993000 | #Constraints: 33533
1825.66/1831.29 c #Conflicts: 994000 | #Constraints: 34533
1825.66/1831.29 c #Conflicts: 995000 | #Constraints: 35533
1825.66/1831.29 c #Conflicts: 996000 | #Constraints: 36533
1825.66/1831.29 c #Conflicts: 997000 | #Constraints: 37533
1825.66/1831.29 c #Conflicts: 998000 | #Constraints: 38533
1825.66/1831.29 c #Conflicts: 999000 | #Constraints: 39533
1825.66/1831.29 c #Conflicts: 1000000 | #Constraints: 40533
1825.66/1831.29 c #Conflicts: 1001000 | #Constraints: 41533
1825.66/1831.29 c INPROCESSING
1825.66/1831.29 c GARBAGE COLLECT
1825.66/1831.29 c #Conflicts: 1002000 | #Constraints: 22734
1825.66/1831.29 c #Conflicts: 1003000 | #Constraints: 23734
1825.66/1831.29 c #Conflicts: 1004000 | #Constraints: 24734
1825.66/1831.29 c #Conflicts: 1005000 | #Constraints: 25734
1825.66/1831.29 c #Conflicts: 1006000 | #Constraints: 26734
1825.66/1831.29 c #Conflicts: 1007000 | #Constraints: 27734
1825.66/1831.29 c #Conflicts: 1008000 | #Constraints: 28734
1825.66/1831.29 c #Conflicts: 1009000 | #Constraints: 29734
1825.66/1831.29 c #Conflicts: 1010000 | #Constraints: 30734
1825.66/1831.29 c #Conflicts: 1011000 | #Constraints: 31734
1825.66/1831.29 c #Conflicts: 1012000 | #Constraints: 32734
1825.66/1831.29 c #Conflicts: 1013000 | #Constraints: 33734
1825.66/1831.29 c #Conflicts: 1014000 | #Constraints: 34734
1825.66/1831.29 c #Conflicts: 1015000 | #Constraints: 35734
1825.66/1831.29 c #Conflicts: 1016000 | #Constraints: 36734
1825.66/1831.29 c #Conflicts: 1017000 | #Constraints: 37734
1825.66/1831.29 c #Conflicts: 1018000 | #Constraints: 38734
1825.66/1831.29 c #Conflicts: 1019000 | #Constraints: 39734
1825.66/1831.29 c #Conflicts: 1020000 | #Constraints: 40734
1825.66/1831.29 c #Conflicts: 1021000 | #Constraints: 41734
1825.66/1831.29 c INPROCESSING
1825.66/1831.29 c GARBAGE COLLECT
1825.66/1831.29 c #Conflicts: 1022000 | #Constraints: 22724
1825.66/1831.29 c #Conflicts: 1023000 | #Constraints: 23724
1825.66/1831.29 c #Conflicts: 1024000 | #Constraints: 24724
1825.66/1831.29 c #Conflicts: 1025000 | #Constraints: 25724
1825.66/1831.29 c #Conflicts: 1026000 | #Constraints: 26724
1825.66/1831.29 c #Conflicts: 1027000 | #Constraints: 27724
1825.66/1831.29 c #Conflicts: 1028000 | #Constraints: 28724
1825.66/1831.29 c #Conflicts: 1029000 | #Constraints: 29724
1825.66/1831.29 c #Conflicts: 1030000 | #Constraints: 30724
1825.66/1831.29 c #Conflicts: 1031000 | #Constraints: 31724
1825.66/1831.29 c #Conflicts: 1032000 | #Constraints: 32724
1825.66/1831.29 c #Conflicts: 1033000 | #Constraints: 33724
1825.66/1831.29 c #Conflicts: 1034000 | #Constraints: 34724
1825.66/1831.29 c #Conflicts: 1035000 | #Constraints: 35724
1825.66/1831.29 c #Conflicts: 1036000 | #Constraints: 36724
1825.66/1831.29 c #Conflicts: 1037000 | #Constraints: 37724
1825.66/1831.29 c #Conflicts: 1038000 | #Constraints: 38724
1825.66/1831.29 c #Conflicts: 1039000 | #Constraints: 39724
1825.66/1831.29 c #Conflicts: 1040000 | #Constraints: 40724
1825.66/1831.29 c #Conflicts: 1041000 | #Constraints: 41724
1825.66/1831.29 c INPROCESSING
1825.66/1831.29 c GARBAGE COLLECT
1825.66/1831.29 c #Conflicts: 1042000 | #Constraints: 22526
1825.66/1831.29 c #Conflicts: 1043000 | #Constraints: 23526
1825.66/1831.29 c #Conflicts: 1044000 | #Constraints: 24526
1825.66/1831.29 c #Conflicts: 1045000 | #Constraints: 25526
1825.66/1831.29 c #Conflicts: 1046000 | #Constraints: 26526
1825.66/1831.29 c #Conflicts: 1047000 | #Constraints: 27526
1825.66/1831.29 c #Conflicts: 1048000 | #Constraints: 28526
1825.66/1831.29 c #Conflicts: 1049000 | #Constraints: 29526
1825.66/1831.29 c #Conflicts: 1050000 | #Constraints: 30526
1825.66/1831.29 c #Conflicts: 1051000 | #Constraints: 31526
1825.66/1831.29 c #Conflicts: 1052000 | #Constraints: 32526
1825.66/1831.29 c #Conflicts: 1053000 | #Constraints: 33526
1825.66/1831.29 c #Conflicts: 1054000 | #Constraints: 34526
1825.66/1831.29 c #Conflicts: 1055000 | #Constraints: 35526
1825.66/1831.29 c #Conflicts: 1056000 | #Constraints: 36526
1825.66/1831.29 c #Conflicts: 1057000 | #Constraints: 37526
1825.66/1831.29 c #Conflicts: 1058000 | #Constraints: 38526
1825.66/1831.29 c #Conflicts: 1059000 | #Constraints: 39526
1825.66/1831.29 c #Conflicts: 1060000 | #Constraints: 40526
1825.66/1831.29 c #Conflicts: 1061000 | #Constraints: 41526
1825.66/1831.29 c #Conflicts: 1062000 | #Constraints: 42526
2043.85/2050.15 c INPROCESSING
2043.85/2050.15 c GARBAGE COLLECT
2043.85/2050.15 c #Conflicts: 1063000 | #Constraints: 23128
2043.85/2050.15 c #Conflicts: 1064000 | #Constraints: 24128
2043.85/2050.15 c #Conflicts: 1065000 | #Constraints: 25128
2043.85/2050.15 c #Conflicts: 1066000 | #Constraints: 26128
2043.85/2050.15 c #Conflicts: 1067000 | #Constraints: 27128
2043.85/2050.15 c #Conflicts: 1068000 | #Constraints: 28128
2043.85/2050.15 c #Conflicts: 1069000 | #Constraints: 29128
2043.85/2050.15 c #Conflicts: 1070000 | #Constraints: 30128
2043.85/2050.15 c #Conflicts: 1071000 | #Constraints: 31128
2043.85/2050.15 c #Conflicts: 1072000 | #Constraints: 32128
2043.85/2050.15 c #Conflicts: 1073000 | #Constraints: 33128
2043.85/2050.15 c #Conflicts: 1074000 | #Constraints: 34128
2043.85/2050.15 c #Conflicts: 1075000 | #Constraints: 35128
2043.85/2050.15 c #Conflicts: 1076000 | #Constraints: 36128
2043.85/2050.15 c #Conflicts: 1077000 | #Constraints: 37128
2043.85/2050.15 c #Conflicts: 1078000 | #Constraints: 38128
2043.85/2050.15 c #Conflicts: 1079000 | #Constraints: 39128
2043.85/2050.15 c #Conflicts: 1080000 | #Constraints: 40128
2043.85/2050.15 c #Conflicts: 1081000 | #Constraints: 41128
2043.85/2050.15 c #Conflicts: 1082000 | #Constraints: 42128
2043.85/2050.15 c #Conflicts: 1083000 | #Constraints: 43128
2043.85/2050.15 c INPROCESSING
2043.85/2050.15 c GARBAGE COLLECT
2043.85/2050.15 c #Conflicts: 1084000 | #Constraints: 23526
2043.85/2050.15 c #Conflicts: 1085000 | #Constraints: 24526
2043.85/2050.15 c #Conflicts: 1086000 | #Constraints: 25526
2043.85/2050.15 c #Conflicts: 1087000 | #Constraints: 26526
2043.85/2050.15 c #Conflicts: 1088000 | #Constraints: 27526
2043.85/2050.15 c #Conflicts: 1089000 | #Constraints: 28526
2043.85/2050.15 c #Conflicts: 1090000 | #Constraints: 29526
2043.85/2050.15 c #Conflicts: 1091000 | #Constraints: 30526
2043.85/2050.15 c #Conflicts: 1092000 | #Constraints: 31526
2043.85/2050.15 c #Conflicts: 1093000 | #Constraints: 32526
2043.85/2050.15 c #Conflicts: 1094000 | #Constraints: 33526
2043.85/2050.15 c #Conflicts: 1095000 | #Constraints: 34526
2043.85/2050.15 c #Conflicts: 1096000 | #Constraints: 35526
2043.85/2050.15 c #Conflicts: 1097000 | #Constraints: 36526
2043.85/2050.15 c #Conflicts: 1098000 | #Constraints: 37526
2043.85/2050.15 c #Conflicts: 1099000 | #Constraints: 38526
2043.85/2050.15 c #Conflicts: 1100000 | #Constraints: 39526
2043.85/2050.15 c #Conflicts: 1101000 | #Constraints: 40526
2043.85/2050.15 c #Conflicts: 1102000 | #Constraints: 41526
2043.85/2050.15 c #Conflicts: 1103000 | #Constraints: 42526
2043.85/2050.15 c #Conflicts: 1104000 | #Constraints: 43526
2043.85/2050.15 c INPROCESSING
2043.85/2050.15 c GARBAGE COLLECT
2043.85/2050.15 c #Conflicts: 1105000 | #Constraints: 23740
2043.85/2050.15 c #Conflicts: 1106000 | #Constraints: 24740
2043.85/2050.15 c #Conflicts: 1107000 | #Constraints: 25740
2043.85/2050.15 c #Conflicts: 1108000 | #Constraints: 26740
2043.85/2050.15 c #Conflicts: 1109000 | #Constraints: 27740
2043.85/2050.15 c #Conflicts: 1110000 | #Constraints: 28740
2043.85/2050.15 c #Conflicts: 1111000 | #Constraints: 29740
2043.85/2050.15 c #Conflicts: 1112000 | #Constraints: 30740
2043.85/2050.15 c #Conflicts: 1113000 | #Constraints: 31740
2043.85/2050.15 c #Conflicts: 1114000 | #Constraints: 32740
2043.85/2050.15 c #Conflicts: 1115000 | #Constraints: 33740
2043.85/2050.15 c #Conflicts: 1116000 | #Constraints: 34740
2043.85/2050.15 c #Conflicts: 1117000 | #Constraints: 35740
2043.85/2050.15 c #Conflicts: 1118000 | #Constraints: 36740
2043.85/2050.15 c #Conflicts: 1119000 | #Constraints: 37740
2043.85/2050.15 c #Conflicts: 1120000 | #Constraints: 38740
2043.85/2050.15 c #Conflicts: 1121000 | #Constraints: 39740
2043.85/2050.15 c #Conflicts: 1122000 | #Constraints: 40740
2043.85/2050.15 c #Conflicts: 1123000 | #Constraints: 41740
2043.85/2050.15 c #Conflicts: 1124000 | #Constraints: 42740
2043.85/2050.15 c #Conflicts: 1125000 | #Constraints: 43740
2043.85/2050.15 c INPROCESSING
2043.85/2050.15 c GARBAGE COLLECT
2043.85/2050.15 c #Conflicts: 1126000 | #Constraints: 23735
2043.85/2050.15 c #Conflicts: 1127000 | #Constraints: 24735
2043.85/2050.15 c #Conflicts: 1128000 | #Constraints: 25735
2043.85/2050.15 c #Conflicts: 1129000 | #Constraints: 26735
2043.85/2050.15 c #Conflicts: 1130000 | #Constraints: 27735
2043.85/2050.15 c #Conflicts: 1131000 | #Constraints: 28735
2043.85/2050.15 c #Conflicts: 1132000 | #Constraints: 29735
2043.85/2050.15 c #Conflicts: 1133000 | #Constraints: 30735
2043.85/2050.15 c #Conflicts: 1134000 | #Constraints: 31735
2043.85/2050.15 c #Conflicts: 1135000 | #Constraints: 32735
2043.85/2050.15 c #Conflicts: 1136000 | #Constraints: 33735
2043.85/2050.15 c #Conflicts: 1137000 | #Constraints: 34735
2043.85/2050.15 c #Conflicts: 1138000 | #Constraints: 35735
2247.60/2254.67 c #Conflicts: 1139000 | #Constraints: 36735
2247.60/2254.67 c #Conflicts: 1140000 | #Constraints: 37735
2247.60/2254.67 c #Conflicts: 1141000 | #Constraints: 38735
2247.60/2254.67 c #Conflicts: 1142000 | #Constraints: 39735
2247.60/2254.67 c #Conflicts: 1143000 | #Constraints: 40735
2247.60/2254.67 c #Conflicts: 1144000 | #Constraints: 41735
2247.60/2254.67 c #Conflicts: 1145000 | #Constraints: 42735
2247.60/2254.67 c #Conflicts: 1146000 | #Constraints: 43735
2247.60/2254.67 c INPROCESSING
2247.60/2254.67 c GARBAGE COLLECT
2247.60/2254.67 c #Conflicts: 1147000 | #Constraints: 23537
2247.60/2254.67 c #Conflicts: 1148000 | #Constraints: 24537
2247.60/2254.67 c #Conflicts: 1149000 | #Constraints: 25537
2247.60/2254.67 c #Conflicts: 1150000 | #Constraints: 26537
2247.60/2254.67 c #Conflicts: 1151000 | #Constraints: 27537
2247.60/2254.67 c #Conflicts: 1152000 | #Constraints: 28537
2247.60/2254.67 c #Conflicts: 1153000 | #Constraints: 29537
2247.60/2254.67 c #Conflicts: 1154000 | #Constraints: 30537
2247.60/2254.67 c #Conflicts: 1155000 | #Constraints: 31537
2247.60/2254.67 c #Conflicts: 1156000 | #Constraints: 32537
2247.60/2254.67 c #Conflicts: 1157000 | #Constraints: 33537
2247.60/2254.67 c #Conflicts: 1158000 | #Constraints: 34537
2247.60/2254.67 c #Conflicts: 1159000 | #Constraints: 35537
2247.60/2254.67 c #Conflicts: 1160000 | #Constraints: 36537
2247.60/2254.67 c #Conflicts: 1161000 | #Constraints: 37537
2247.60/2254.67 c #Conflicts: 1162000 | #Constraints: 38537
2247.60/2254.67 c #Conflicts: 1163000 | #Constraints: 39537
2247.60/2254.67 c #Conflicts: 1164000 | #Constraints: 40537
2247.60/2254.67 c #Conflicts: 1165000 | #Constraints: 41537
2247.60/2254.67 c #Conflicts: 1166000 | #Constraints: 42537
2247.60/2254.67 c #Conflicts: 1167000 | #Constraints: 43537
2247.60/2254.67 c #Conflicts: 1168000 | #Constraints: 44537
2247.60/2254.67 c INPROCESSING
2247.60/2254.67 c GARBAGE COLLECT
2247.60/2254.67 c #Conflicts: 1169000 | #Constraints: 24130
2247.60/2254.67 c #Conflicts: 1170000 | #Constraints: 25130
2247.60/2254.67 c #Conflicts: 1171000 | #Constraints: 26130
2247.60/2254.67 c #Conflicts: 1172000 | #Constraints: 27130
2247.60/2254.67 c #Conflicts: 1173000 | #Constraints: 28130
2247.60/2254.67 c #Conflicts: 1174000 | #Constraints: 29130
2247.60/2254.67 c #Conflicts: 1175000 | #Constraints: 30130
2247.60/2254.67 c #Conflicts: 1176000 | #Constraints: 31130
2247.60/2254.67 c #Conflicts: 1177000 | #Constraints: 32130
2247.60/2254.67 c #Conflicts: 1178000 | #Constraints: 33130
2247.60/2254.67 c #Conflicts: 1179000 | #Constraints: 34130
2247.60/2254.67 c #Conflicts: 1180000 | #Constraints: 35130
2247.60/2254.67 c #Conflicts: 1181000 | #Constraints: 36130
2247.60/2254.67 c #Conflicts: 1182000 | #Constraints: 37130
2247.60/2254.67 c #Conflicts: 1183000 | #Constraints: 38130
2247.60/2254.67 c #Conflicts: 1184000 | #Constraints: 39130
2247.60/2254.67 c #Conflicts: 1185000 | #Constraints: 40130
2247.60/2254.67 c #Conflicts: 1186000 | #Constraints: 41130
2247.60/2254.67 c #Conflicts: 1187000 | #Constraints: 42130
2247.60/2254.67 c #Conflicts: 1188000 | #Constraints: 43130
2247.60/2254.67 c #Conflicts: 1189000 | #Constraints: 44130
2247.60/2254.67 c #Conflicts: 1190000 | #Constraints: 45130
2247.60/2254.67 c INPROCESSING
2247.60/2254.67 c GARBAGE COLLECT
2247.60/2254.67 c #Conflicts: 1191000 | #Constraints: 24532
2247.60/2254.67 c #Conflicts: 1192000 | #Constraints: 25532
2247.60/2254.67 c #Conflicts: 1193000 | #Constraints: 26532
2247.60/2254.67 c #Conflicts: 1194000 | #Constraints: 27532
2247.60/2254.67 c #Conflicts: 1195000 | #Constraints: 28532
2247.60/2254.67 c #Conflicts: 1196000 | #Constraints: 29532
2247.60/2254.67 c #Conflicts: 1197000 | #Constraints: 30532
2247.60/2254.67 c #Conflicts: 1198000 | #Constraints: 31532
2247.60/2254.67 c #Conflicts: 1199000 | #Constraints: 32532
2247.60/2254.67 c #Conflicts: 1200000 | #Constraints: 33532
2247.60/2254.67 c #Conflicts: 1201000 | #Constraints: 34532
2247.60/2254.67 c #Conflicts: 1202000 | #Constraints: 35532
2247.60/2254.67 c #Conflicts: 1203000 | #Constraints: 36532
2247.60/2254.67 c #Conflicts: 1204000 | #Constraints: 37532
2247.60/2254.67 c GLOBAL bounds - >= 0 @ 2226.73
2322.23/2329.53 c #Conflicts: 1205000 | #Constraints: 38534
2322.23/2329.53 c #Conflicts: 1206000 | #Constraints: 39534
2322.23/2329.53 c #Conflicts: 1207000 | #Constraints: 40534
2322.23/2329.53 c #Conflicts: 1208000 | #Constraints: 41534
2322.23/2329.53 c #Conflicts: 1209000 | #Constraints: 42534
2322.23/2329.53 c #Conflicts: 1210000 | #Constraints: 43534
2322.23/2329.53 c #Conflicts: 1211000 | #Constraints: 44534
2322.23/2329.53 c #Conflicts: 1212000 | #Constraints: 45534
2322.23/2329.53 c INPROCESSING
2322.23/2329.53 c GARBAGE COLLECT
2322.23/2329.53 c #Conflicts: 1213000 | #Constraints: 24717
2322.23/2329.53 c #Conflicts: 1214000 | #Constraints: 25717
2322.23/2329.53 c #Conflicts: 1215000 | #Constraints: 26717
2322.23/2329.53 c #Conflicts: 1216000 | #Constraints: 27717
2322.23/2329.53 c #Conflicts: 1217000 | #Constraints: 28717
2322.23/2329.53 c #Conflicts: 1218000 | #Constraints: 29717
2322.23/2329.53 c #Conflicts: 1219000 | #Constraints: 30717
2322.23/2329.53 c #Conflicts: 1220000 | #Constraints: 31717
2322.23/2329.53 c #Conflicts: 1221000 | #Constraints: 32717
2322.23/2329.53 c #Conflicts: 1222000 | #Constraints: 33717
2322.23/2329.53 c #Conflicts: 1223000 | #Constraints: 34717
2322.23/2329.53 c #Conflicts: 1224000 | #Constraints: 35717
2322.23/2329.53 c #Conflicts: 1225000 | #Constraints: 36717
2322.23/2329.53 c #Conflicts: 1226000 | #Constraints: 37717
2322.23/2329.53 c #Conflicts: 1227000 | #Constraints: 38717
2322.23/2329.53 c #Conflicts: 1228000 | #Constraints: 39717
2322.23/2329.53 c #Conflicts: 1229000 | #Constraints: 40717
2322.23/2329.53 c #Conflicts: 1230000 | #Constraints: 41717
2322.23/2329.53 c #Conflicts: 1231000 | #Constraints: 42717
2322.23/2329.53 c #Conflicts: 1232000 | #Constraints: 43717
2322.23/2329.53 c #Conflicts: 1233000 | #Constraints: 44717
2322.23/2329.53 c #Conflicts: 1234000 | #Constraints: 45717
2322.23/2329.53 c INPROCESSING
2322.23/2329.53 c GARBAGE COLLECT
2322.23/2329.53 c #Conflicts: 1235000 | #Constraints: 24723
2322.23/2329.53 c GLOBAL bounds - >= 0 @ 2300.75
2552.16/2560.21 c #Conflicts: 1236000 | #Constraints: 25725
2552.16/2560.21 c #Conflicts: 1237000 | #Constraints: 26725
2552.16/2560.21 c #Conflicts: 1238000 | #Constraints: 27725
2552.16/2560.21 c #Conflicts: 1239000 | #Constraints: 28725
2552.16/2560.21 c #Conflicts: 1240000 | #Constraints: 29725
2552.16/2560.21 c #Conflicts: 1241000 | #Constraints: 30725
2552.16/2560.21 c #Conflicts: 1242000 | #Constraints: 31725
2552.16/2560.21 c #Conflicts: 1243000 | #Constraints: 32725
2552.16/2560.21 c #Conflicts: 1244000 | #Constraints: 33725
2552.16/2560.21 c #Conflicts: 1245000 | #Constraints: 34725
2552.16/2560.21 c #Conflicts: 1246000 | #Constraints: 35725
2552.16/2560.21 c #Conflicts: 1247000 | #Constraints: 36725
2552.16/2560.21 c #Conflicts: 1248000 | #Constraints: 37725
2552.16/2560.21 c #Conflicts: 1249000 | #Constraints: 38725
2552.16/2560.21 c #Conflicts: 1250000 | #Constraints: 39725
2552.16/2560.21 c #Conflicts: 1251000 | #Constraints: 40725
2552.16/2560.21 c #Conflicts: 1252000 | #Constraints: 41725
2552.16/2560.21 c #Conflicts: 1253000 | #Constraints: 42725
2552.16/2560.21 c #Conflicts: 1254000 | #Constraints: 43725
2552.16/2560.21 c #Conflicts: 1255000 | #Constraints: 44725
2552.16/2560.21 c #Conflicts: 1256000 | #Constraints: 45725
2552.16/2560.21 c INPROCESSING
2552.16/2560.21 c GARBAGE COLLECT
2552.16/2560.21 c #Conflicts: 1257000 | #Constraints: 24529
2552.16/2560.21 c #Conflicts: 1258000 | #Constraints: 25529
2552.16/2560.21 c #Conflicts: 1259000 | #Constraints: 26529
2552.16/2560.21 c #Conflicts: 1260000 | #Constraints: 27529
2552.16/2560.21 c #Conflicts: 1261000 | #Constraints: 28529
2552.16/2560.21 c #Conflicts: 1262000 | #Constraints: 29529
2552.16/2560.21 c #Conflicts: 1263000 | #Constraints: 30529
2552.16/2560.21 c #Conflicts: 1264000 | #Constraints: 31529
2552.16/2560.21 c #Conflicts: 1265000 | #Constraints: 32529
2552.16/2560.21 c #Conflicts: 1266000 | #Constraints: 33529
2552.16/2560.21 c #Conflicts: 1267000 | #Constraints: 34529
2552.16/2560.21 c #Conflicts: 1268000 | #Constraints: 35529
2552.16/2560.21 c #Conflicts: 1269000 | #Constraints: 36529
2552.16/2560.21 c #Conflicts: 1270000 | #Constraints: 37529
2552.16/2560.21 c #Conflicts: 1271000 | #Constraints: 38529
2552.16/2560.21 c #Conflicts: 1272000 | #Constraints: 39529
2552.16/2560.21 c #Conflicts: 1273000 | #Constraints: 40529
2552.16/2560.21 c #Conflicts: 1274000 | #Constraints: 41529
2552.16/2560.21 c #Conflicts: 1275000 | #Constraints: 42529
2552.16/2560.21 c #Conflicts: 1276000 | #Constraints: 43529
2552.16/2560.21 c #Conflicts: 1277000 | #Constraints: 44529
2552.16/2560.21 c #Conflicts: 1278000 | #Constraints: 45529
2552.16/2560.21 c #Conflicts: 1279000 | #Constraints: 46529
2552.16/2560.21 c INPROCESSING
2552.16/2560.21 c GARBAGE COLLECT
2552.16/2560.21 c #Conflicts: 1280000 | #Constraints: 25135
2552.16/2560.21 c #Conflicts: 1281000 | #Constraints: 26135
2552.16/2560.21 c #Conflicts: 1282000 | #Constraints: 27135
2552.16/2560.21 c #Conflicts: 1283000 | #Constraints: 28135
2552.16/2560.21 c #Conflicts: 1284000 | #Constraints: 29135
2552.16/2560.21 c #Conflicts: 1285000 | #Constraints: 30135
2552.16/2560.21 c #Conflicts: 1286000 | #Constraints: 31135
2552.16/2560.21 c #Conflicts: 1287000 | #Constraints: 32135
2552.16/2560.21 c #Conflicts: 1288000 | #Constraints: 33135
2552.16/2560.21 c #Conflicts: 1289000 | #Constraints: 34135
2552.16/2560.21 c #Conflicts: 1290000 | #Constraints: 35135
2552.16/2560.21 c #Conflicts: 1291000 | #Constraints: 36135
2552.16/2560.21 c #Conflicts: 1292000 | #Constraints: 37135
2552.16/2560.21 c #Conflicts: 1293000 | #Constraints: 38135
2552.16/2560.21 c #Conflicts: 1294000 | #Constraints: 39135
2552.16/2560.21 c #Conflicts: 1295000 | #Constraints: 40135
2552.16/2560.21 c #Conflicts: 1296000 | #Constraints: 41135
2552.16/2560.21 c #Conflicts: 1297000 | #Constraints: 42135
2552.16/2560.21 c #Conflicts: 1298000 | #Constraints: 43135
2552.16/2560.21 c #Conflicts: 1299000 | #Constraints: 44135
2552.16/2560.21 c #Conflicts: 1300000 | #Constraints: 45135
2552.16/2560.21 c #Conflicts: 1301000 | #Constraints: 46135
2552.16/2560.21 c #Conflicts: 1302000 | #Constraints: 47135
2552.16/2560.21 c INPROCESSING
2552.16/2560.21 c GARBAGE COLLECT
2552.16/2560.21 c #Conflicts: 1303000 | #Constraints: 25535
2552.16/2560.21 c #Conflicts: 1304000 | #Constraints: 26535
2552.16/2560.21 c #Conflicts: 1305000 | #Constraints: 27535
2552.16/2560.21 c #Conflicts: 1306000 | #Constraints: 28535
2552.16/2560.21 c #Conflicts: 1307000 | #Constraints: 29535
2552.16/2560.21 c #Conflicts: 1308000 | #Constraints: 30535
2552.16/2560.21 c #Conflicts: 1309000 | #Constraints: 31535
2552.16/2560.21 c #Conflicts: 1310000 | #Constraints: 32535
2552.16/2560.21 c #Conflicts: 1311000 | #Constraints: 33535
2552.16/2560.21 c #Conflicts: 1312000 | #Constraints: 34535
2812.36/2821.30 c #Conflicts: 1313000 | #Constraints: 35535
2812.36/2821.30 c #Conflicts: 1314000 | #Constraints: 36535
2812.36/2821.30 c #Conflicts: 1315000 | #Constraints: 37535
2812.36/2821.30 c #Conflicts: 1316000 | #Constraints: 38535
2812.36/2821.30 c #Conflicts: 1317000 | #Constraints: 39535
2812.36/2821.30 c #Conflicts: 1318000 | #Constraints: 40535
2812.36/2821.30 c #Conflicts: 1319000 | #Constraints: 41535
2812.36/2821.30 c #Conflicts: 1320000 | #Constraints: 42535
2812.36/2821.30 c #Conflicts: 1321000 | #Constraints: 43535
2812.36/2821.30 c #Conflicts: 1322000 | #Constraints: 44535
2812.36/2821.30 c #Conflicts: 1323000 | #Constraints: 45535
2812.36/2821.30 c #Conflicts: 1324000 | #Constraints: 46535
2812.36/2821.30 c #Conflicts: 1325000 | #Constraints: 47535
2812.36/2821.30 c INPROCESSING
2812.36/2821.30 c GARBAGE COLLECT
2812.36/2821.30 c #Conflicts: 1326000 | #Constraints: 25733
2812.36/2821.30 c #Conflicts: 1327000 | #Constraints: 26733
2812.36/2821.30 c #Conflicts: 1328000 | #Constraints: 27733
2812.36/2821.30 c #Conflicts: 1329000 | #Constraints: 28733
2812.36/2821.30 c #Conflicts: 1330000 | #Constraints: 29733
2812.36/2821.30 c #Conflicts: 1331000 | #Constraints: 30733
2812.36/2821.30 c #Conflicts: 1332000 | #Constraints: 31733
2812.36/2821.30 c #Conflicts: 1333000 | #Constraints: 32733
2812.36/2821.30 c #Conflicts: 1334000 | #Constraints: 33733
2812.36/2821.30 c #Conflicts: 1335000 | #Constraints: 34733
2812.36/2821.30 c #Conflicts: 1336000 | #Constraints: 35733
2812.36/2821.30 c #Conflicts: 1337000 | #Constraints: 36733
2812.36/2821.30 c #Conflicts: 1338000 | #Constraints: 37733
2812.36/2821.30 c #Conflicts: 1339000 | #Constraints: 38733
2812.36/2821.30 c #Conflicts: 1340000 | #Constraints: 39733
2812.36/2821.30 c #Conflicts: 1341000 | #Constraints: 40733
2812.36/2821.30 c #Conflicts: 1342000 | #Constraints: 41733
2812.36/2821.30 c #Conflicts: 1343000 | #Constraints: 42733
2812.36/2821.30 c #Conflicts: 1344000 | #Constraints: 43733
2812.36/2821.30 c #Conflicts: 1345000 | #Constraints: 44733
2812.36/2821.30 c #Conflicts: 1346000 | #Constraints: 45733
2812.36/2821.30 c #Conflicts: 1347000 | #Constraints: 46733
2812.36/2821.30 c #Conflicts: 1348000 | #Constraints: 47733
2812.36/2821.30 c INPROCESSING
2812.36/2821.30 c GARBAGE COLLECT
2812.36/2821.30 c #Conflicts: 1349000 | #Constraints: 25746
2812.36/2821.30 c #Conflicts: 1350000 | #Constraints: 26746
2812.36/2821.30 c #Conflicts: 1351000 | #Constraints: 27746
2812.36/2821.30 c #Conflicts: 1352000 | #Constraints: 28746
2812.36/2821.30 c #Conflicts: 1353000 | #Constraints: 29746
2812.36/2821.30 c #Conflicts: 1354000 | #Constraints: 30746
2812.36/2821.30 c #Conflicts: 1355000 | #Constraints: 31746
2812.36/2821.30 c #Conflicts: 1356000 | #Constraints: 32746
2812.36/2821.30 c #Conflicts: 1357000 | #Constraints: 33746
2812.36/2821.30 c #Conflicts: 1358000 | #Constraints: 34746
2812.36/2821.30 c #Conflicts: 1359000 | #Constraints: 35746
2812.36/2821.30 c #Conflicts: 1360000 | #Constraints: 36746
2812.36/2821.30 c #Conflicts: 1361000 | #Constraints: 37746
2812.36/2821.30 c #Conflicts: 1362000 | #Constraints: 38746
2812.36/2821.30 c #Conflicts: 1363000 | #Constraints: 39746
2812.36/2821.30 c #Conflicts: 1364000 | #Constraints: 40746
2812.36/2821.30 c #Conflicts: 1365000 | #Constraints: 41746
2812.36/2821.30 c #Conflicts: 1366000 | #Constraints: 42746
2812.36/2821.30 c #Conflicts: 1367000 | #Constraints: 43746
2812.36/2821.30 c #Conflicts: 1368000 | #Constraints: 44746
2812.36/2821.30 c #Conflicts: 1369000 | #Constraints: 45746
2812.36/2821.30 c #Conflicts: 1370000 | #Constraints: 46746
2812.36/2821.30 c #Conflicts: 1371000 | #Constraints: 47746
2812.36/2821.30 c INPROCESSING
2812.36/2821.30 c GARBAGE COLLECT
2812.36/2821.30 c #Conflicts: 1372000 | #Constraints: 25551
2812.36/2821.30 c #Conflicts: 1373000 | #Constraints: 26551
2812.36/2821.30 c #Conflicts: 1374000 | #Constraints: 27551
2812.36/2821.30 c #Conflicts: 1375000 | #Constraints: 28551
2812.36/2821.30 c #Conflicts: 1376000 | #Constraints: 29551
2812.36/2821.30 c #Conflicts: 1377000 | #Constraints: 30551
2812.36/2821.30 c #Conflicts: 1378000 | #Constraints: 31551
2812.36/2821.30 c #Conflicts: 1379000 | #Constraints: 32551
2812.36/2821.30 c #Conflicts: 1380000 | #Constraints: 33551
2812.36/2821.30 c #Conflicts: 1381000 | #Constraints: 34551
2812.36/2821.30 c #Conflicts: 1382000 | #Constraints: 35551
2812.36/2821.30 c #Conflicts: 1383000 | #Constraints: 36551
2812.36/2821.30 c #Conflicts: 1384000 | #Constraints: 37551
2812.36/2821.30 c #Conflicts: 1385000 | #Constraints: 38551
2812.36/2821.30 c #Conflicts: 1386000 | #Constraints: 39551
2812.36/2821.30 c #Conflicts: 1387000 | #Constraints: 40551
2812.36/2821.30 c #Conflicts: 1388000 | #Constraints: 41551
2812.36/2821.30 c #Conflicts: 1389000 | #Constraints: 42551
3082.99/3092.81 c #Conflicts: 1390000 | #Constraints: 43551
3082.99/3092.81 c #Conflicts: 1391000 | #Constraints: 44551
3082.99/3092.81 c #Conflicts: 1392000 | #Constraints: 45551
3082.99/3092.81 c #Conflicts: 1393000 | #Constraints: 46551
3082.99/3092.81 c #Conflicts: 1394000 | #Constraints: 47551
3082.99/3092.81 c #Conflicts: 1395000 | #Constraints: 48551
3082.99/3092.81 c INPROCESSING
3082.99/3092.81 c GARBAGE COLLECT
3082.99/3092.81 c #Conflicts: 1396000 | #Constraints: 26140
3082.99/3092.81 c #Conflicts: 1397000 | #Constraints: 27140
3082.99/3092.81 c #Conflicts: 1398000 | #Constraints: 28140
3082.99/3092.81 c #Conflicts: 1399000 | #Constraints: 29140
3082.99/3092.81 c #Conflicts: 1400000 | #Constraints: 30140
3082.99/3092.81 c #Conflicts: 1401000 | #Constraints: 31140
3082.99/3092.81 c #Conflicts: 1402000 | #Constraints: 32140
3082.99/3092.81 c #Conflicts: 1403000 | #Constraints: 33140
3082.99/3092.81 c #Conflicts: 1404000 | #Constraints: 34140
3082.99/3092.81 c #Conflicts: 1405000 | #Constraints: 35140
3082.99/3092.81 c #Conflicts: 1406000 | #Constraints: 36140
3082.99/3092.81 c #Conflicts: 1407000 | #Constraints: 37140
3082.99/3092.81 c #Conflicts: 1408000 | #Constraints: 38140
3082.99/3092.81 c #Conflicts: 1409000 | #Constraints: 39140
3082.99/3092.81 c #Conflicts: 1410000 | #Constraints: 40140
3082.99/3092.81 c #Conflicts: 1411000 | #Constraints: 41140
3082.99/3092.81 c #Conflicts: 1412000 | #Constraints: 42140
3082.99/3092.81 c #Conflicts: 1413000 | #Constraints: 43140
3082.99/3092.81 c #Conflicts: 1414000 | #Constraints: 44140
3082.99/3092.81 c #Conflicts: 1415000 | #Constraints: 45140
3082.99/3092.81 c #Conflicts: 1416000 | #Constraints: 46140
3082.99/3092.81 c #Conflicts: 1417000 | #Constraints: 47140
3082.99/3092.81 c #Conflicts: 1418000 | #Constraints: 48140
3082.99/3092.81 c #Conflicts: 1419000 | #Constraints: 49140
3082.99/3092.81 c INPROCESSING
3082.99/3092.81 c GARBAGE COLLECT
3082.99/3092.81 c #Conflicts: 1420000 | #Constraints: 26558
3082.99/3092.81 c #Conflicts: 1421000 | #Constraints: 27558
3082.99/3092.81 c #Conflicts: 1422000 | #Constraints: 28558
3082.99/3092.81 c #Conflicts: 1423000 | #Constraints: 29558
3082.99/3092.81 c #Conflicts: 1424000 | #Constraints: 30558
3082.99/3092.81 c #Conflicts: 1425000 | #Constraints: 31558
3082.99/3092.81 c #Conflicts: 1426000 | #Constraints: 32558
3082.99/3092.81 c #Conflicts: 1427000 | #Constraints: 33558
3082.99/3092.81 c #Conflicts: 1428000 | #Constraints: 34558
3082.99/3092.81 c #Conflicts: 1429000 | #Constraints: 35558
3082.99/3092.81 c #Conflicts: 1430000 | #Constraints: 36558
3082.99/3092.81 c #Conflicts: 1431000 | #Constraints: 37558
3082.99/3092.81 c #Conflicts: 1432000 | #Constraints: 38558
3082.99/3092.81 c #Conflicts: 1433000 | #Constraints: 39558
3082.99/3092.81 c #Conflicts: 1434000 | #Constraints: 40558
3082.99/3092.81 c #Conflicts: 1435000 | #Constraints: 41558
3082.99/3092.81 c #Conflicts: 1436000 | #Constraints: 42558
3082.99/3092.81 c #Conflicts: 1437000 | #Constraints: 43558
3082.99/3092.81 c #Conflicts: 1438000 | #Constraints: 44558
3082.99/3092.81 c #Conflicts: 1439000 | #Constraints: 45558
3082.99/3092.81 c #Conflicts: 1440000 | #Constraints: 46558
3082.99/3092.81 c #Conflicts: 1441000 | #Constraints: 47558
3082.99/3092.81 c #Conflicts: 1442000 | #Constraints: 48558
3082.99/3092.81 c #Conflicts: 1443000 | #Constraints: 49558
3082.99/3092.81 c INPROCESSING
3082.99/3092.81 c GARBAGE COLLECT
3082.99/3092.81 c #Conflicts: 1444000 | #Constraints: 26758
3082.99/3092.81 c #Conflicts: 1445000 | #Constraints: 27758
3082.99/3092.81 c #Conflicts: 1446000 | #Constraints: 28758
3082.99/3092.81 c #Conflicts: 1447000 | #Constraints: 29758
3082.99/3092.81 c #Conflicts: 1448000 | #Constraints: 30758
3082.99/3092.81 c #Conflicts: 1449000 | #Constraints: 31758
3082.99/3092.81 c #Conflicts: 1450000 | #Constraints: 32758
3082.99/3092.81 c #Conflicts: 1451000 | #Constraints: 33758
3082.99/3092.81 c #Conflicts: 1452000 | #Constraints: 34758
3082.99/3092.81 c #Conflicts: 1453000 | #Constraints: 35758
3082.99/3092.81 c #Conflicts: 1454000 | #Constraints: 36758
3082.99/3092.81 c #Conflicts: 1455000 | #Constraints: 37758
3082.99/3092.81 c #Conflicts: 1456000 | #Constraints: 38758
3082.99/3092.81 c #Conflicts: 1457000 | #Constraints: 39758
3082.99/3092.81 c #Conflicts: 1458000 | #Constraints: 40758
3082.99/3092.81 c #Conflicts: 1459000 | #Constraints: 41758
3082.99/3092.81 c #Conflicts: 1460000 | #Constraints: 42758
3082.99/3092.81 c #Conflicts: 1461000 | #Constraints: 43758
3082.99/3092.81 c #Conflicts: 1462000 | #Constraints: 44758
3082.99/3092.81 c #Conflicts: 1463000 | #Constraints: 45758
3082.99/3092.81 c #Conflicts: 1464000 | #Constraints: 46758
3082.99/3092.81 c #Conflicts: 1465000 | #Constraints: 47758
3082.99/3092.81 c #Conflicts: 1466000 | #Constraints: 48758
3340.63/3351.35 c #Conflicts: 1467000 | #Constraints: 49758
3340.63/3351.35 c INPROCESSING
3340.63/3351.35 c GARBAGE COLLECT
3340.63/3351.35 c #Conflicts: 1468000 | #Constraints: 26756
3340.63/3351.35 c #Conflicts: 1469000 | #Constraints: 27756
3340.63/3351.35 c #Conflicts: 1470000 | #Constraints: 28756
3340.63/3351.35 c #Conflicts: 1471000 | #Constraints: 29756
3340.63/3351.35 c #Conflicts: 1472000 | #Constraints: 30756
3340.63/3351.35 c #Conflicts: 1473000 | #Constraints: 31756
3340.63/3351.35 c #Conflicts: 1474000 | #Constraints: 32756
3340.63/3351.35 c #Conflicts: 1475000 | #Constraints: 33756
3340.63/3351.35 c #Conflicts: 1476000 | #Constraints: 34756
3340.63/3351.35 c #Conflicts: 1477000 | #Constraints: 35756
3340.63/3351.35 c #Conflicts: 1478000 | #Constraints: 36756
3340.63/3351.35 c #Conflicts: 1479000 | #Constraints: 37756
3340.63/3351.35 c #Conflicts: 1480000 | #Constraints: 38756
3340.63/3351.35 c #Conflicts: 1481000 | #Constraints: 39756
3340.63/3351.35 c #Conflicts: 1482000 | #Constraints: 40756
3340.63/3351.35 c #Conflicts: 1483000 | #Constraints: 41756
3340.63/3351.35 c #Conflicts: 1484000 | #Constraints: 42756
3340.63/3351.35 c #Conflicts: 1485000 | #Constraints: 43756
3340.63/3351.35 c #Conflicts: 1486000 | #Constraints: 44756
3340.63/3351.35 c #Conflicts: 1487000 | #Constraints: 45756
3340.63/3351.35 c #Conflicts: 1488000 | #Constraints: 46756
3340.63/3351.35 c #Conflicts: 1489000 | #Constraints: 47756
3340.63/3351.35 c #Conflicts: 1490000 | #Constraints: 48756
3340.63/3351.35 c #Conflicts: 1491000 | #Constraints: 49756
3340.63/3351.35 c INPROCESSING
3340.63/3351.35 c GARBAGE COLLECT
3340.63/3351.35 c #Conflicts: 1492000 | #Constraints: 26547
3340.63/3351.35 c #Conflicts: 1493000 | #Constraints: 27547
3340.63/3351.35 c #Conflicts: 1494000 | #Constraints: 28547
3340.63/3351.35 c #Conflicts: 1495000 | #Constraints: 29547
3340.63/3351.35 c #Conflicts: 1496000 | #Constraints: 30547
3340.63/3351.35 c #Conflicts: 1497000 | #Constraints: 31547
3340.63/3351.35 c #Conflicts: 1498000 | #Constraints: 32547
3340.63/3351.35 c #Conflicts: 1499000 | #Constraints: 33547
3340.63/3351.35 c #Conflicts: 1500000 | #Constraints: 34547
3340.63/3351.35 c #Conflicts: 1501000 | #Constraints: 35547
3340.63/3351.35 c #Conflicts: 1502000 | #Constraints: 36547
3340.63/3351.35 c #Conflicts: 1503000 | #Constraints: 37547
3340.63/3351.35 c #Conflicts: 1504000 | #Constraints: 38547
3340.63/3351.35 c #Conflicts: 1505000 | #Constraints: 39547
3340.63/3351.35 c #Conflicts: 1506000 | #Constraints: 40547
3340.63/3351.35 c #Conflicts: 1507000 | #Constraints: 41547
3340.63/3351.35 c #Conflicts: 1508000 | #Constraints: 42547
3340.63/3351.35 c #Conflicts: 1509000 | #Constraints: 43547
3340.63/3351.35 c #Conflicts: 1510000 | #Constraints: 44547
3340.63/3351.35 c #Conflicts: 1511000 | #Constraints: 45547
3340.63/3351.35 c #Conflicts: 1512000 | #Constraints: 46547
3340.63/3351.35 c #Conflicts: 1513000 | #Constraints: 47547
3340.63/3351.35 c #Conflicts: 1514000 | #Constraints: 48547
3340.63/3351.35 c #Conflicts: 1515000 | #Constraints: 49547
3340.63/3351.35 c #Conflicts: 1516000 | #Constraints: 50547
3340.63/3351.35 c INPROCESSING
3340.63/3351.35 c GARBAGE COLLECT
3340.63/3351.35 c #Conflicts: 1517000 | #Constraints: 27152
3340.63/3351.35 c #Conflicts: 1518000 | #Constraints: 28152
3340.63/3351.35 c #Conflicts: 1519000 | #Constraints: 29152
3340.63/3351.35 c #Conflicts: 1520000 | #Constraints: 30152
3340.63/3351.35 c #Conflicts: 1521000 | #Constraints: 31152
3340.63/3351.35 c #Conflicts: 1522000 | #Constraints: 32152
3340.63/3351.35 c #Conflicts: 1523000 | #Constraints: 33152
3340.63/3351.35 c #Conflicts: 1524000 | #Constraints: 34152
3340.63/3351.35 c #Conflicts: 1525000 | #Constraints: 35152
3340.63/3351.35 c #Conflicts: 1526000 | #Constraints: 36152
3340.63/3351.35 c #Conflicts: 1527000 | #Constraints: 37152
3340.63/3351.35 c #Conflicts: 1528000 | #Constraints: 38152
3340.63/3351.35 c #Conflicts: 1529000 | #Constraints: 39152
3340.63/3351.35 c #Conflicts: 1530000 | #Constraints: 40152
3340.63/3351.35 c #Conflicts: 1531000 | #Constraints: 41152
3340.63/3351.35 c #Conflicts: 1532000 | #Constraints: 42152
3340.63/3351.35 c #Conflicts: 1533000 | #Constraints: 43152
3340.63/3351.35 c #Conflicts: 1534000 | #Constraints: 44152
3340.63/3351.35 c #Conflicts: 1535000 | #Constraints: 45152
3340.63/3351.35 c #Conflicts: 1536000 | #Constraints: 46152
3340.63/3351.35 c #Conflicts: 1537000 | #Constraints: 47152
3340.63/3351.35 c #Conflicts: 1538000 | #Constraints: 48152
3340.63/3351.35 c #Conflicts: 1539000 | #Constraints: 49152
3340.63/3351.35 c #Conflicts: 1540000 | #Constraints: 50152
3340.63/3351.35 c #Conflicts: 1541000 | #Constraints: 51152
3340.63/3351.35 c INPROCESSING
3340.63/3351.35 c GARBAGE COLLECT
3340.63/3351.35 c #Conflicts: 1542000 | #Constraints: 27545
3592.14/3603.61 c #Conflicts: 1543000 | #Constraints: 28545
3592.14/3603.61 c #Conflicts: 1544000 | #Constraints: 29545
3592.14/3603.61 c #Conflicts: 1545000 | #Constraints: 30545
3592.14/3603.61 c #Conflicts: 1546000 | #Constraints: 31545
3592.14/3603.61 c #Conflicts: 1547000 | #Constraints: 32545
3592.14/3603.61 c #Conflicts: 1548000 | #Constraints: 33545
3592.14/3603.61 c #Conflicts: 1549000 | #Constraints: 34545
3592.14/3603.61 c #Conflicts: 1550000 | #Constraints: 35545
3592.14/3603.61 c #Conflicts: 1551000 | #Constraints: 36545
3592.14/3603.61 c #Conflicts: 1552000 | #Constraints: 37545
3592.14/3603.61 c #Conflicts: 1553000 | #Constraints: 38545
3592.14/3603.61 c #Conflicts: 1554000 | #Constraints: 39545
3592.14/3603.61 c #Conflicts: 1555000 | #Constraints: 40545
3592.14/3603.61 c #Conflicts: 1556000 | #Constraints: 41545
3592.14/3603.61 c #Conflicts: 1557000 | #Constraints: 42545
3592.14/3603.61 c #Conflicts: 1558000 | #Constraints: 43545
3592.14/3603.61 c #Conflicts: 1559000 | #Constraints: 44545
3592.14/3603.61 c #Conflicts: 1560000 | #Constraints: 45545
3592.14/3603.61 c #Conflicts: 1561000 | #Constraints: 46545
3592.14/3603.61 c #Conflicts: 1562000 | #Constraints: 47545
3592.14/3603.61 c #Conflicts: 1563000 | #Constraints: 48545
3592.14/3603.61 c #Conflicts: 1564000 | #Constraints: 49545
3592.14/3603.61 c #Conflicts: 1565000 | #Constraints: 50545
3592.14/3603.61 c #Conflicts: 1566000 | #Constraints: 51545
3592.14/3603.61 c INPROCESSING
3592.14/3603.61 c GARBAGE COLLECT
3592.14/3603.61 c #Conflicts: 1567000 | #Constraints: 27730
3592.14/3603.61 c #Conflicts: 1568000 | #Constraints: 28730
3592.14/3603.61 c #Conflicts: 1569000 | #Constraints: 29730
3592.14/3603.61 c #Conflicts: 1570000 | #Constraints: 30730
3592.14/3603.61 c #Conflicts: 1571000 | #Constraints: 31730
3592.14/3603.61 c #Conflicts: 1572000 | #Constraints: 32730
3592.14/3603.61 c #Conflicts: 1573000 | #Constraints: 33730
3592.14/3603.61 c #Conflicts: 1574000 | #Constraints: 34730
3592.14/3603.61 c #Conflicts: 1575000 | #Constraints: 35730
3592.14/3603.61 c #Conflicts: 1576000 | #Constraints: 36730
3592.14/3603.61 c #Conflicts: 1577000 | #Constraints: 37730
3592.14/3603.61 c #Conflicts: 1578000 | #Constraints: 38730
3592.14/3603.61 c #Conflicts: 1579000 | #Constraints: 39730
3592.14/3603.61 c #Conflicts: 1580000 | #Constraints: 40730
3592.14/3603.61 c #Conflicts: 1581000 | #Constraints: 41730
3592.14/3603.61 c #Conflicts: 1582000 | #Constraints: 42730
3592.14/3603.61 c #Conflicts: 1583000 | #Constraints: 43730
3592.14/3603.61 c #Conflicts: 1584000 | #Constraints: 44730
3592.14/3603.61 c #Conflicts: 1585000 | #Constraints: 45730
3592.14/3603.61 c #Conflicts: 1586000 | #Constraints: 46730
3592.14/3603.61 c #Conflicts: 1587000 | #Constraints: 47730
3592.14/3603.61 c #Conflicts: 1588000 | #Constraints: 48730
3592.14/3603.61 c #Conflicts: 1589000 | #Constraints: 49730
3592.14/3603.61 c #Conflicts: 1590000 | #Constraints: 50730
3592.14/3603.61 c #Conflicts: 1591000 | #Constraints: 51730
3592.14/3603.61 c INPROCESSING
3592.14/3603.61 c GARBAGE COLLECT
3592.14/3603.61 c #Conflicts: 1592000 | #Constraints: 27739
3592.14/3603.61 c #Conflicts: 1593000 | #Constraints: 28739
3592.14/3603.61 c #Conflicts: 1594000 | #Constraints: 29739
3592.14/3603.61 c #Conflicts: 1595000 | #Constraints: 30739
3592.14/3603.61 c #Conflicts: 1596000 | #Constraints: 31739
3592.14/3603.61 c #Conflicts: 1597000 | #Constraints: 32739
3592.14/3603.61 c #Conflicts: 1598000 | #Constraints: 33739
3592.14/3603.61 c #Conflicts: 1599000 | #Constraints: 34739
3592.14/3603.61 c #Conflicts: 1600000 | #Constraints: 35739
3592.14/3603.61 c #Conflicts: 1601000 | #Constraints: 36739
3592.14/3603.61 c #Conflicts: 1602000 | #Constraints: 37739
3592.14/3603.61 c #Conflicts: 1603000 | #Constraints: 38739
3592.14/3603.61 c #Conflicts: 1604000 | #Constraints: 39739
3592.14/3603.61 c #Conflicts: 1605000 | #Constraints: 40739
3592.14/3603.61 c #Conflicts: 1606000 | #Constraints: 41739
3592.14/3603.61 c #Conflicts: 1607000 | #Constraints: 42739
3592.14/3603.61 c #Conflicts: 1608000 | #Constraints: 43739
3592.14/3603.61 c #Conflicts: 1609000 | #Constraints: 44739
3592.14/3603.61 c #Conflicts: 1610000 | #Constraints: 45739
3592.14/3603.61 c #Conflicts: 1611000 | #Constraints: 46739
3592.14/3603.61 c #Conflicts: 1612000 | #Constraints: 47739
3592.14/3603.61 c #Conflicts: 1613000 | #Constraints: 48739
3592.14/3603.61 c #Conflicts: 1614000 | #Constraints: 49739
3592.14/3603.61 c #Conflicts: 1615000 | #Constraints: 50739
3592.14/3603.61 c #Conflicts: 1616000 | #Constraints: 51739
3592.14/3603.61 c INPROCESSING
3592.14/3603.61 c GARBAGE COLLECT
3592.14/3603.61 c #Conflicts: 1617000 | #Constraints: 27553
3592.14/3603.61 c #Conflicts: 1618000 | #Constraints: 28553
3592.14/3603.61 c #Conflicts: 1619000 | #Constraints: 29553
3600.03/3611.60 c #Conflicts: 1620000 | #Constraints: 30553
3600.03/3611.60 c #Conflicts: 1621000 | #Constraints: 31553
3600.03/3611.60 c #Conflicts: 1622000 | #Constraints: 32553
3600.03/3611.60 c cpu time 3570.69 s
3600.03/3611.60 c deterministic time 1 1.00e+00
3600.03/3611.60 c optimization time 3570.68 s
3600.03/3611.60 c total solve time 0 s
3600.03/3611.60 c core-guided solve time 0 s
3600.03/3611.60 c propagation time 0.000586 s
3600.03/3611.60 c conflict analysis time 0 s
3600.03/3611.60 c propagations 0
3600.03/3611.60 c resolve steps 0
3600.03/3611.60 c decisions 0
3600.03/3611.60 c conflicts 0
3600.03/3611.60 c restarts 0
3600.03/3611.60 c inprocessing phases 0
3600.03/3611.60 c garbage collections 0 ,( -nan )
3600.03/3611.60 c input clauses 1600 ,( 100.00 )
3600.03/3611.60 c input cardinalities 0 ,( 0.00 )
3600.03/3611.60 c input general constraints 0 ,( 0.00 )
3600.03/3611.60 c input average constraint length 4.00
3600.03/3611.60 c input average constraint degree 1.00
3600.03/3611.60 c learned clauses 0 ,( 0.00 )
3600.03/3611.60 c learned cardinalities 0 ,( 0.00 )
3600.03/3611.60 c learned general constraints 0 ,( 0.00 )
3600.03/3611.60 c learned average constraint length 0.00
3600.03/3611.60 c learned average constraint degree 0.00
3600.03/3611.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3611.60 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3611.60 c watched constraints 0 ,( -nan )
3600.03/3611.60 c counting constraints 0 ,( -nan )
3600.03/3611.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3611.60 c gcd simplifications 0
3600.03/3611.60 c detected cardinalities 0
3600.03/3611.60 c weakened non-implied lits 0
3600.03/3611.60 c weakened non-implying lits 0
3600.03/3611.60 c original variables 1600
3600.03/3611.60 c clausal propagations 0
3600.03/3611.60 c cardinality propagations 0
3600.03/3611.60 c watched propagations 0
3600.03/3611.60 c counting propagations 0
3600.03/3611.60 c watch lookups 0
3600.03/3611.60 c watch backjump lookups 0
3600.03/3611.60 c watch checks 0
3600.03/3611.60 c propagation checks 0
3600.03/3611.60 c constraint additions 0
3600.03/3611.60 c trail pops 0
3600.03/3611.60 c formula constraints 1600
3600.03/3611.60 c learned constraints 0
3600.03/3611.60 c bound constraints 0
3600.03/3611.60 c core-guided constraints 0
3600.03/3611.60 c encountered formula constraints 0
3600.03/3611.60 c encountered learned constraints 0
3600.03/3611.60 c encountered bound constraints 0
3600.03/3611.60 c encountered core-guided constraints 0
3600.03/3611.60 c LP total time 0 s
3600.03/3611.60 c LP solve time 0 s
3600.03/3611.60 c LP constraints added 0
3600.03/3611.60 c LP constraints removed 0
3600.03/3611.60 c LP pivots internal 0
3600.03/3611.60 c LP pivots root 0
3600.03/3611.60 c LP calls 0
3600.03/3611.60 c LP optimalities 0
3600.03/3611.60 c LP no pivot count 0
3600.03/3611.60 c LP infeasibilities 0
3600.03/3611.60 c LP valid Farkas constraints 0
3600.03/3611.60 c LP learned Farkas constraints 0
3600.03/3611.60 c LP basis resets 0
3600.03/3611.60 c LP cycling count 0
3600.03/3611.60 c LP singular count 0
3600.03/3611.60 c LP no primal count 0
3600.03/3611.60 c LP no farkas count 0
3600.03/3611.60 c LP other issue count 0
3600.03/3611.60 c LP Gomory cuts 0
3600.03/3611.60 c LP learned cuts 0
3600.03/3611.60 c LP deleted cuts 0
3600.03/3611.60 c LP encountered Gomory constraints 0
3600.03/3611.60 c LP encountered Farkas constraints 0
3600.03/3611.60 c LP encountered learned Farkas constraints 0
3600.03/3611.60 c CG auxiliary variables introduced 0
3600.03/3611.60 c CG solutions found 0
3600.03/3611.60 c CG cores constructed 0
3600.03/3611.60 c CG core cardinality constraints returned 0
3600.03/3611.60 c CG unit cores 0
3600.03/3611.60 c CG single cores 0
3600.03/3611.60 c CG blocks removed during cardinality reduction 0
3600.03/3611.60 c CG first core best 0
3600.03/3611.60 c CG decision core best 0
3600.03/3611.60 c CG core reduction tie 0
3600.03/3611.60 c CG core degree average 0.00
3600.03/3611.60 c CG core slack average 0.00
3600.03/3611.60 c CG core upper bound improvements 0
3600.03/3611.60 c STR number of successful calls 0
3600.03/3611.60 c STR number of unsuccessful calls 0
3600.03/3611.60 c STR number of inconclusive calls 0
3600.03/3611.60 c STR number of successful attempts 0
3600.03/3611.60 c STR number of unsuccessful attempts 0
3600.03/3611.60 c STR number of inconclusive attempts 0
3600.03/3611.60 c STR average degree increase per successful call inf
3600.03/3611.60 c STR average degree increase per successful attempt inf
3600.03/3611.60 c STR total number of conflicts for successful attempts 0
3600.03/3611.60 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.60 c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.60 c STR average number of conflicts per successful attempt inf
3600.03/3611.60 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.60 c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.60 c AVG.sumWPerc -nan
3600.03/3611.60 c bigint constraints 0
3600.03/3611.60 s UNKNOWN
3600.03/3611.60 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 (62874 MiB free)
memory of node 1: 64465 MiB (63809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520803-1751579055/watcher-4520803-1751579055 -o /tmp/evaluation-result-4520803-1751579055/solver-4520803-1751579055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83031 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520803-1751579055.opb PROOFDIR/proof-4520803-1751579055
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83081, runsolver pid=83072
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.58 1.51 2.52 6/268 83094
/proc/meminfo: memFree=129697852/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=64236 memory=14936 CPUtime=0.03 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 1915 0 0 0 3 0 0 0 20 0 1 0 73583098 65777664 3734 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 16059 3734 2336 1147 0 3486 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 68428 KiB
Current children cumulated memory: 18008 KiB
[startup+0.204763 s]*
/proc/loadavg: 0.58 1.51 2.52 6/268 83094
/proc/meminfo: memFree=129665784/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=75496 memory=29116 CPUtime=0.14 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 4949 0 0 0 12 2 0 0 20 0 1 0 73583098 77307904 7279 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 18874 7279 2336 1147 0 6301 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 79688 KiB
Current children cumulated memory: 32188 KiB
[startup+0.304721 s]*
/proc/loadavg: 0.58 1.51 2.52 6/268 83094
/proc/meminfo: memFree=129617524/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=78756 memory=32504 CPUtime=0.23 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 5307 0 0 0 21 2 0 0 20 0 1 0 73583098 80646144 8126 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 19689 8126 2336 1147 0 7116 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 82948 KiB
Current children cumulated memory: 35576 KiB
[startup+0.700159 s]
/proc/loadavg: 0.58 1.51 2.52 6/268 83094
/proc/meminfo: memFree=129535876/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=127856 memory=68988 CPUtime=0.62 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 13400 0 0 0 58 4 0 0 20 0 1 0 73583098 130924544 17247 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 31964 17247 2336 1147 0 19391 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 132048 KiB
Current children cumulated memory: 72060 KiB
[startup+1.50015 s]
/proc/loadavg: 0.58 1.51 2.52 6/268 83094
/proc/meminfo: memFree=129374892/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=141292 memory=85368 CPUtime=1.42 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 15954 0 0 0 135 7 0 0 20 0 1 0 73583098 144683008 21342 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 35323 21342 2336 1147 0 22750 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 145484 KiB
Current children cumulated memory: 88440 KiB
[startup+3.10458 s]
/proc/loadavg: 0.85 1.55 2.53 6/268 83094
/proc/meminfo: memFree=128875160/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=189112 memory=128656 CPUtime=3.02 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 24743 0 0 0 291 11 0 0 20 0 1 0 73583098 193650688 32164 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 47278 32164 2336 1147 0 34705 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 193304 KiB
Current children cumulated memory: 131728 KiB
[startup+6.30015 s]
/proc/loadavg: 0.85 1.55 2.53 6/269 83095
/proc/meminfo: memFree=128452724/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=212704 memory=147620 CPUtime=6.21 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 27940 0 0 0 603 18 0 0 20 0 1 0 73583098 217808896 36905 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 53176 36905 2336 1147 0 40603 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 216896 KiB
Current children cumulated memory: 150692 KiB
[startup+12.7001 s]
/proc/loadavg: 1.41 1.65 2.55 6/271 83097
/proc/meminfo: memFree=127935516/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=337232 memory=229228 CPUtime=12.59 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 44774 0 0 0 1225 34 0 0 20 0 1 0 73583098 345325568 57307 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 84308 57307 2336 1147 0 71735 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 341424 KiB
Current children cumulated memory: 232300 KiB
[startup+25.5002 s]
/proc/loadavg: 1.81 1.72 2.57 6/271 83097
/proc/meminfo: memFree=126615408/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=347472 memory=254108 CPUtime=25.36 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 48964 0 0 0 2483 53 0 0 20 0 1 0 73583098 355811328 63527 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 86868 63527 2336 1147 0 74295 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 351664 KiB
Current children cumulated memory: 257180 KiB
[startup+51.1048 s]
/proc/loadavg: 2.63 1.92 2.61 6/272 83098
/proc/meminfo: memFree=125039892/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=355316 memory=289292 CPUtime=50.89 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 53660 0 0 0 4997 92 0 0 20 0 1 0 73583098 363843584 72323 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 88829 72323 2336 1147 0 76256 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 359508 KiB
Current children cumulated memory: 292364 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.31 2.70 6/272 83100
/proc/meminfo: memFree=122806564/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=531492 memory=389996 CPUtime=101.94 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 75289 0 0 0 10032 162 0 0 20 0 1 0 73583098 544247808 97499 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 132873 97499 2336 1147 0 120300 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 535684 KiB
Current children cumulated memory: 393068 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.63 2.79 6/273 83109
/proc/meminfo: memFree=120905464/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=614188 memory=478864 CPUtime=161.78 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 91921 0 0 0 15934 244 0 0 20 0 1 0 73583098 628928512 119716 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 153547 119716 2336 1147 0 140974 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 618380 KiB
Current children cumulated memory: 481936 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.91 2.88 6/272 83111
/proc/meminfo: memFree=118895888/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=629036 memory=506252 CPUtime=221.61 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 96723 0 0 0 21841 320 0 0 20 0 1 0 73583098 644132864 126563 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 157259 126563 2336 1147 0 144686 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.04 6/272 83290
/proc/meminfo: memFree=53832076/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=1738428 memory=1406592 CPUtime=3271.87 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 269939 0 0 0 324472 2715 0 0 20 0 1 0 73583098 1780150272 351648 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 434607 351648 2336 1147 0 422034 0
Current children cumulated CPU time: 3271.87 s
Current children cumulated vsize: 1742620 KiB
Current children cumulated memory: 1409664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.04 6/272 83292
/proc/meminfo: memFree=52985076/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=1738428 memory=1406592 CPUtime=3331.66 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 269958 0 0 0 330415 2751 0 0 20 0 1 0 73583098 1780150272 351648 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 434607 351648 2336 1147 0 422034 0
Current children cumulated CPU time: 3331.66 s
Current children cumulated vsize: 1742620 KiB
Current children cumulated memory: 1409664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.05 6/272 83294
/proc/meminfo: memFree=52336684/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=1738428 memory=1406720 CPUtime=3391.48 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 270004 0 0 0 336354 2794 0 0 20 0 1 0 73583098 1780150272 351680 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 434607 351680 2336 1147 0 422034 0
Current children cumulated CPU time: 3391.48 s
Current children cumulated vsize: 1742620 KiB
Current children cumulated memory: 1409792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.05 6/271 83296
/proc/meminfo: memFree=51067608/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=1738428 memory=1406720 CPUtime=3451.29 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 270004 0 0 0 342300 2829 0 0 20 0 1 0 73583098 1780150272 351680 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 434607 351680 2336 1147 0 422034 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 1742620 KiB
Current children cumulated memory: 1409792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 6/271 83298
/proc/meminfo: memFree=49727320/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=2037648 memory=1503128 CPUtime=3511.11 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 286433 0 0 0 348240 2871 0 0 20 0 1 0 73583098 2086551552 375782 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 509412 375782 2336 1147 0 496839 0
Current children cumulated CPU time: 3511.11 s
Current children cumulated vsize: 2041840 KiB
Current children cumulated memory: 1506200 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.06 6/271 83300
/proc/meminfo: memFree=48882172/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=2037648 memory=1503128 CPUtime=3570.9 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 286439 0 0 0 354181 2909 0 0 20 0 1 0 73583098 2086551552 375782 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 509412 375782 2336 1147 0 496839 0
Current children cumulated CPU time: 3570.9 s
Current children cumulated vsize: 2041840 KiB
Current children cumulated memory: 1506200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.10 4.11 4.06 4/265 83309
/proc/meminfo: memFree=51725164/131249988 swapFree=33010160/33010684
[pid=83081] ppid=83072 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83081/stat : 83081 (run-opt-log.sh) S 83072 83081 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94509108760576 94509109655109 140726006689360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509109894160 94509109941904 94509116477440 140726006696225 140726006696420 140726006696420 140726006702022 0
/proc/83081/statm: 1048 768 704 219 0 110 0
[pid=83088] ppid=83081 vsize=2037648 memory=1503256 CPUtime=3600.03 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83081 83081 83021 0 -1 4194304 286469 0 0 0 357069 2934 0 0 20 0 1 0 73583098 2086551552 375814 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 509412 375814 2336 1147 0 496839 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2041840 KiB
Current children cumulated memory: 1506328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.61 s]
# the end of solver process 83081 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.002176 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.17 4.13 4.06 4/259 83336
/proc/meminfo: memFree=61143644/131249988 swapFree=33010160/33010684
[pid=83088] ppid=83072 vsize=2037648 memory=1503640 CPUtime=3600.22 cores=0,2
/proc/83088/stat : 83088 (roundingsat) D 83072 83081 83021 0 -1 4194304 286476 0 0 0 357070 2952 0 0 20 0 1 0 73583098 2086551552 375910 18446744073709551615 4227072 8923433 140728334581360 0 0 256 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 9
/proc/83088/statm: 509412 375910 2432 1147 0 496839 0
??? kill 83088 sig 9
??? end of watcher thread
[startup+3615.61 s]
# the end of solver process 83088 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3570.71 s, system=29.6201 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.17 4.13 4.06 6/264 83320
/proc/meminfo: memFree=51678684/131249988 swapFree=33010160/33010684
[pid=83088] ppid=83072 vsize=2037648 memory=1503640 CPUtime=3600.2 cores=0,2
/proc/83088/stat : 83088 (roundingsat) D 83072 83081 83021 0 -1 4194304 286476 0 0 0 357069 2951 0 0 20 0 1 0 73583098 2086551552 375910 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 509412 375910 2432 1147 0 496839 0
Current cumulated CPU time of completed processes: 0.002176 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 2037648 KiB
Current children cumulated memory: 1503640 KiB
[startup+3613.2 s]
/proc/loadavg: 4.17 4.13 4.06 2/262 83336
/proc/meminfo: memFree=56612216/131249988 swapFree=33010160/33010684
[pid=83088] ppid=83072 vsize=2037648 memory=1503640 CPUtime=3600.21 cores=0,2
/proc/83088/stat : 83088 (roundingsat) R 83072 83081 83021 0 -1 4194304 286476 0 0 0 357070 2951 0 0 20 0 1 0 73583098 2086551552 375910 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 509412 375910 2432 1147 0 496839 0
Current cumulated CPU time of completed processes: 0.002176 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 2037648 KiB
Current children cumulated memory: 1503640 KiB
[startup+3613.6 s]
/proc/loadavg: 4.17 4.13 4.06 2/262 83336
/proc/meminfo: memFree=56612216/131249988 swapFree=33010160/33010684
[pid=83088] ppid=83072 vsize=2037648 memory=1503640 CPUtime=3600.22 cores=0,2
/proc/83088/stat : 83088 (roundingsat) D 83072 83081 83021 0 -1 4194304 286476 0 0 0 357070 2952 0 0 20 0 1 0 73583098 2086551552 375910 18446744073709551615 4227072 8923433 140728334581360 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 12922880 140728334584146 140728334584360 140728334584360 140728334589930 0
/proc/83088/statm: 509412 375910 2432 1147 0 496839 0
Current cumulated CPU time of completed processes: 0.002176 s
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 2037648 KiB
Current children cumulated memory: 1503640 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.61
CPU time (s): 3600.33
CPU user time (s): 3570.71
CPU system time (s): 29.6201
CPU usage (%): 99.5775
Max. virtual memory (cumulated for all children) (KiB): 2041840
Max. memory (cumulated for all children) (KiB): 1506328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.71
system time used= 29.6201
maximum resident set size= 1503640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26842288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63513
involuntary context switches= 6612
# summary of solver processes directly reported to runsolver:
# pid: 83081,83088
# total CPU time (s): 3600.33
# total CPU user time (s): 3570.71
# total CPU system time (s): 29.6201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90776 second user time and 13.8473 second system time
The end
Begin job on nodeC020 at 2025-07-03 23:44:15
IDJOB=4520803
IDBENCH=178130
IDSOLVER=3351
FILE ID=nodeC020/4520803-1751579055
RUNJOBID= nodeC020-1751579055-83031
SLURM_JOB_ID= 9598813
Free space on /tmp= 431780 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520803-1751579055/watcher-4520803-1751579055 -o /tmp/evaluation-result-4520803-1751579055/solver-4520803-1751579055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83031 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520803-1751579055.opb PROOFDIR/proof-4520803-1751579055
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 789fc3771aff9bb0c01300f49f64e5c8
RANDOM SEED=1054558691
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.725
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.146
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.911
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.042
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.389
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1200.165
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129736916 kB
MemAvailable: 129750392 kB
Buffers: 2128 kB
Cached: 805816 kB
SwapCached: 8 kB
Active: 643624 kB
Inactive: 240400 kB
Active(anon): 69572 kB
Inactive(anon): 24572 kB
Active(file): 574052 kB
Inactive(file): 215828 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21464 kB
Writeback: 0 kB
AnonPages: 79340 kB
Mapped: 103972 kB
Shmem: 18044 kB
KReclaimable: 125668 kB
Slab: 217196 kB
SReclaimable: 125668 kB
SUnreclaim: 91528 kB
KernelStack: 4112 kB
PageTables: 2952 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 342000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431748 MiB
End job on nodeC020 at 2025-07-04 00:44:31