0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.07/0.15 c #variables 4977 #constraints 5569
0.07/0.15 c objective is ce32
0.07/0.17 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.17 c initial counting CF 32, 64, 128, Arb: 449 , 0 , 0 , 0
0.07/0.17 c GLOBAL bounds - >= 0 @ 0.110682
0.07/0.18 c GLOBAL bounds - >= 0 @ 0.112976
0.07/0.18 c GLOBAL bounds - >= 7 @ 0.112976
0.19/0.29 c rational objective 7
2.85/2.90 c #Conflicts: 1000 | #Constraints: 6577
2.85/2.90 c #Conflicts: 2000 | #Constraints: 7582
2.85/2.90 c INPROCESSING
2.85/2.90 c GARBAGE COLLECT
2.85/2.90 c rational objective 7
3.25/3.33 c GLOBAL bounds - >= 7 @ 3.15573
4.45/4.53 c #Conflicts: 3000 | #Constraints: 2619
4.45/4.53 c #Conflicts: 4000 | #Constraints: 3620
4.45/4.53 c INPROCESSING
4.45/4.53 c GARBAGE COLLECT
4.45/4.53 c rational objective 7
4.84/4.92 c GLOBAL bounds - >= 7 @ 4.7133
4.84/4.92 c GLOBAL bounds - >= 7 @ 4.71332
6.73/6.83 c #Conflicts: 5000 | #Constraints: 3030
6.73/6.83 c #Conflicts: 6000 | #Constraints: 4030
6.73/6.83 c INPROCESSING
6.73/6.83 c GARBAGE COLLECT
6.73/6.83 c rational objective 7
7.23/7.36 c GLOBAL bounds - >= 7 @ 7.06774
7.23/7.36 c GLOBAL bounds - >= 7 @ 7.06778
9.93/10.09 c #Conflicts: 7000 | #Constraints: 3035
9.93/10.09 c #Conflicts: 8000 | #Constraints: 4039
9.93/10.09 c #Conflicts: 9000 | #Constraints: 5040
9.93/10.09 c INPROCESSING
9.93/10.09 c GARBAGE COLLECT
9.93/10.09 c rational objective 7
10.42/10.53 c GLOBAL bounds - >= 7 @ 10.1895
10.42/10.53 c GLOBAL bounds - >= 7 @ 10.1895
12.32/12.48 c #Conflicts: 10000 | #Constraints: 3739
12.32/12.48 c #Conflicts: 11000 | #Constraints: 4743
12.32/12.48 c #Conflicts: 12000 | #Constraints: 5745
12.32/12.48 c INPROCESSING
12.32/12.48 c GARBAGE COLLECT
12.32/12.48 c rational objective 7
12.71/12.80 c GLOBAL bounds - >= 7 @ 12.3955
12.71/12.80 c GLOBAL bounds - >= 7 @ 12.3956
14.92/15.03 c #Conflicts: 13000 | #Constraints: 4194
14.92/15.03 c #Conflicts: 14000 | #Constraints: 5197
14.92/15.03 c #Conflicts: 15000 | #Constraints: 6200
14.92/15.03 c INPROCESSING
14.92/15.03 c GARBAGE COLLECT
14.92/15.03 c rational objective 7
15.50/15.61 c GLOBAL bounds - >= 7 @ 15.1477
15.50/15.61 c GLOBAL bounds - >= 7 @ 15.1477
18.91/19.07 c #Conflicts: 16000 | #Constraints: 4424
18.91/19.07 c #Conflicts: 17000 | #Constraints: 5430
18.91/19.07 c #Conflicts: 18000 | #Constraints: 6434
18.91/19.07 c INPROCESSING
18.91/19.07 c GARBAGE COLLECT
18.91/19.07 c rational objective 7
19.49/19.63 c GLOBAL bounds - >= 7 @ 19.0916
19.49/19.63 c GLOBAL bounds - >= 7 @ 19.0917
22.78/22.91 c #Conflicts: 19000 | #Constraints: 4446
22.78/22.91 c #Conflicts: 20000 | #Constraints: 5449
22.78/22.91 c #Conflicts: 21000 | #Constraints: 6450
22.78/22.91 c INPROCESSING
22.78/22.91 c GARBAGE COLLECT
22.78/22.91 c rational objective 7
23.19/23.38 c GLOBAL bounds - >= 7 @ 22.7655
23.19/23.38 c GLOBAL bounds - >= 7 @ 22.7656
26.28/26.47 c #Conflicts: 22000 | #Constraints: 4244
26.28/26.47 c #Conflicts: 23000 | #Constraints: 5247
26.28/26.47 c #Conflicts: 24000 | #Constraints: 6250
26.28/26.47 c #Conflicts: 25000 | #Constraints: 7252
26.28/26.47 c INPROCESSING
26.28/26.47 c GARBAGE COLLECT
26.28/26.47 c rational objective 7
26.67/26.88 c GLOBAL bounds - >= 7 @ 26.1898
26.67/26.88 c GLOBAL bounds - >= 7 @ 26.1898
30.77/30.96 c #Conflicts: 26000 | #Constraints: 4850
30.77/30.96 c #Conflicts: 27000 | #Constraints: 5852
30.77/30.96 c #Conflicts: 28000 | #Constraints: 6854
30.77/30.96 c #Conflicts: 29000 | #Constraints: 7856
30.77/30.96 c INPROCESSING
30.77/30.96 c GARBAGE COLLECT
30.77/30.96 c rational objective 7
31.06/31.27 c GLOBAL bounds - >= 7 @ 30.4927
31.06/31.27 c GLOBAL bounds - >= 7 @ 30.4927
34.73/35.00 c #Conflicts: 30000 | #Constraints: 5242
34.73/35.00 c #Conflicts: 31000 | #Constraints: 6244
34.73/35.00 c #Conflicts: 32000 | #Constraints: 7247
34.73/35.00 c #Conflicts: 33000 | #Constraints: 8252
34.73/35.00 c INPROCESSING
34.73/35.00 c GARBAGE COLLECT
34.73/35.00 c rational objective 7
35.43/35.68 c GLOBAL bounds - >= 7 @ 34.7837
35.43/35.68 c GLOBAL bounds - >= 7 @ 34.7837
39.03/39.22 c #Conflicts: 34000 | #Constraints: 5452
39.03/39.22 c #Conflicts: 35000 | #Constraints: 6457
39.03/39.22 c #Conflicts: 36000 | #Constraints: 7462
39.03/39.22 c #Conflicts: 37000 | #Constraints: 8468
39.03/39.22 c INPROCESSING
39.03/39.22 c GARBAGE COLLECT
39.03/39.22 c rational objective 7
39.42/39.61 c GLOBAL bounds - >= 7 @ 38.626
39.42/39.61 c GLOBAL bounds - >= 7 @ 38.626
44.71/45.00 c #Conflicts: 38000 | #Constraints: 5467
44.71/45.00 c #Conflicts: 39000 | #Constraints: 6475
44.71/45.00 c #Conflicts: 40000 | #Constraints: 7482
44.71/45.00 c #Conflicts: 41000 | #Constraints: 8487
44.71/45.00 c INPROCESSING
44.71/45.00 c GARBAGE COLLECT
44.71/45.00 c rational objective 7
45.01/45.24 c GLOBAL bounds - >= 7 @ 44.1548
45.01/45.24 c GLOBAL bounds - >= 7 @ 44.1548
50.69/50.99 c #Conflicts: 42000 | #Constraints: 5288
50.69/50.99 c #Conflicts: 43000 | #Constraints: 6292
50.69/50.99 c #Conflicts: 44000 | #Constraints: 7296
50.69/50.99 c #Conflicts: 45000 | #Constraints: 8303
50.69/50.99 c #Conflicts: 46000 | #Constraints: 9304
50.69/50.99 c INPROCESSING
50.69/50.99 c GARBAGE COLLECT
50.69/50.99 c rational objective 7
51.19/51.40 c GLOBAL bounds - >= 7 @ 50.1813
51.19/51.40 c GLOBAL bounds - >= 7 @ 50.1814
56.08/56.35 c #Conflicts: 47000 | #Constraints: 5878
56.08/56.35 c #Conflicts: 48000 | #Constraints: 6879
56.08/56.35 c #Conflicts: 49000 | #Constraints: 7882
56.08/56.35 c #Conflicts: 50000 | #Constraints: 8887
56.08/56.35 c #Conflicts: 51000 | #Constraints: 9895
56.08/56.35 c INPROCESSING
56.08/56.35 c GARBAGE COLLECT
56.08/56.35 c rational objective 7
56.38/56.60 c GLOBAL bounds - >= 7 @ 55.2846
56.38/56.60 c GLOBAL bounds - >= 7 @ 55.2846
61.06/61.33 c #Conflicts: 52000 | #Constraints: 6273
61.06/61.33 c #Conflicts: 53000 | #Constraints: 7278
61.06/61.33 c #Conflicts: 54000 | #Constraints: 8281
61.06/61.33 c #Conflicts: 55000 | #Constraints: 9283
61.06/61.33 c #Conflicts: 56000 | #Constraints: 10285
61.06/61.33 c INPROCESSING
61.06/61.33 c GARBAGE COLLECT
61.06/61.33 c rational objective 7
61.46/61.76 c GLOBAL bounds - >= 7 @ 60.3524
61.46/61.76 c GLOBAL bounds - >= 7 @ 60.3524
66.63/67.00 c #Conflicts: 57000 | #Constraints: 6472
66.63/67.00 c #Conflicts: 58000 | #Constraints: 7475
66.63/67.00 c #Conflicts: 59000 | #Constraints: 8482
66.63/67.00 c #Conflicts: 60000 | #Constraints: 9488
66.63/67.00 c #Conflicts: 61000 | #Constraints: 10489
66.63/67.00 c INPROCESSING
66.63/67.00 c GARBAGE COLLECT
66.63/67.00 c rational objective 7
67.23/67.57 c GLOBAL bounds - >= 7 @ 66.0208
67.23/67.57 c GLOBAL bounds - >= 7 @ 66.0208
73.62/74.00 c #Conflicts: 62000 | #Constraints: 6470
73.62/74.00 c #Conflicts: 63000 | #Constraints: 7475
73.62/74.00 c #Conflicts: 64000 | #Constraints: 8482
73.62/74.00 c #Conflicts: 65000 | #Constraints: 9485
73.62/74.00 c #Conflicts: 66000 | #Constraints: 10491
73.62/74.00 c INPROCESSING
73.62/74.00 c GARBAGE COLLECT
73.62/74.00 c rational objective 7
74.51/74.80 c GLOBAL bounds - >= 7 @ 73.1331
74.51/74.80 c GLOBAL bounds - >= 7 @ 73.1331
79.50/79.88 c #Conflicts: 67000 | #Constraints: 6266
79.50/79.88 c #Conflicts: 68000 | #Constraints: 7270
79.50/79.88 c #Conflicts: 69000 | #Constraints: 8273
79.50/79.88 c #Conflicts: 70000 | #Constraints: 9274
79.50/79.88 c #Conflicts: 71000 | #Constraints: 10278
79.50/79.88 c #Conflicts: 72000 | #Constraints: 11287
79.50/79.88 c INPROCESSING
79.50/79.88 c GARBAGE COLLECT
79.50/79.88 c rational objective 7
80.20/80.59 c GLOBAL bounds - >= 7 @ 78.8228
80.20/80.59 c GLOBAL bounds - >= 7 @ 78.8228
86.69/87.07 c #Conflicts: 73000 | #Constraints: 6861
86.69/87.07 c #Conflicts: 74000 | #Constraints: 7863
86.69/87.07 c #Conflicts: 75000 | #Constraints: 8864
86.69/87.07 c #Conflicts: 76000 | #Constraints: 9868
86.69/87.07 c #Conflicts: 77000 | #Constraints: 10871
86.69/87.07 c #Conflicts: 78000 | #Constraints: 11874
86.69/87.07 c INPROCESSING
86.69/87.07 c GARBAGE COLLECT
86.69/87.07 c rational objective 7
87.18/87.53 c GLOBAL bounds - >= 7 @ 85.6209
87.18/87.53 c GLOBAL bounds - >= 7 @ 85.6209
91.68/92.03 c #Conflicts: 79000 | #Constraints: 7259
91.68/92.03 c #Conflicts: 80000 | #Constraints: 8266
91.68/92.03 c #Conflicts: 81000 | #Constraints: 9273
91.68/92.03 c #Conflicts: 82000 | #Constraints: 10275
91.68/92.03 c #Conflicts: 83000 | #Constraints: 11277
91.68/92.03 c #Conflicts: 84000 | #Constraints: 12278
91.68/92.03 c INPROCESSING
91.68/92.03 c GARBAGE COLLECT
91.68/92.03 c rational objective 7
91.97/92.35 c GLOBAL bounds - >= 7 @ 90.3437
91.97/92.35 c GLOBAL bounds - >= 7 @ 90.3437
97.95/98.30 c #Conflicts: 85000 | #Constraints: 7473
97.95/98.30 c #Conflicts: 86000 | #Constraints: 8478
97.95/98.30 c #Conflicts: 87000 | #Constraints: 9481
97.95/98.30 c #Conflicts: 88000 | #Constraints: 10485
97.95/98.30 c #Conflicts: 89000 | #Constraints: 11486
97.95/98.30 c #Conflicts: 90000 | #Constraints: 12490
97.95/98.30 c INPROCESSING
97.95/98.30 c GARBAGE COLLECT
97.95/98.30 c rational objective 7
98.65/99.02 c GLOBAL bounds - >= 7 @ 96.8904
98.65/99.02 c GLOBAL bounds - >= 7 @ 96.8905
110.51/110.90 c #Conflicts: 91000 | #Constraints: 7478
110.51/110.90 c #Conflicts: 92000 | #Constraints: 8482
110.51/110.90 c #Conflicts: 93000 | #Constraints: 9484
110.51/110.90 c #Conflicts: 94000 | #Constraints: 10486
110.51/110.90 c #Conflicts: 95000 | #Constraints: 11488
110.51/110.90 c #Conflicts: 96000 | #Constraints: 12488
110.51/110.90 c INPROCESSING
110.51/110.90 c GARBAGE COLLECT
110.51/110.90 c rational objective 7
111.62/112.06 c GLOBAL bounds - >= 7 @ 109.758
111.62/112.06 c GLOBAL bounds - >= 7 @ 109.758
125.56/126.10 c #Conflicts: 97000 | #Constraints: 7302
125.56/126.10 c #Conflicts: 98000 | #Constraints: 8307
125.56/126.10 c #Conflicts: 99000 | #Constraints: 9310
125.56/126.10 c #Conflicts: 100000 | #Constraints: 10313
125.56/126.10 c #Conflicts: 101000 | #Constraints: 11316
125.56/126.10 c #Conflicts: 102000 | #Constraints: 12320
125.56/126.10 c #Conflicts: 103000 | #Constraints: 13326
125.56/126.10 c INPROCESSING
125.56/126.10 c GARBAGE COLLECT
125.56/126.10 c rational objective 7
126.05/126.51 c GLOBAL bounds - >= 7 @ 123.884
126.05/126.51 c GLOBAL bounds - >= 7 @ 123.884
133.30/133.89 c #Conflicts: 104000 | #Constraints: 7884
133.30/133.89 c #Conflicts: 105000 | #Constraints: 8886
133.30/133.89 c #Conflicts: 106000 | #Constraints: 9890
133.30/133.89 c #Conflicts: 107000 | #Constraints: 10891
133.30/133.89 c #Conflicts: 108000 | #Constraints: 11893
133.30/133.89 c #Conflicts: 109000 | #Constraints: 12896
133.30/133.89 c #Conflicts: 110000 | #Constraints: 13901
133.30/133.89 c INPROCESSING
133.30/133.89 c GARBAGE COLLECT
133.30/133.89 c rational objective 7
133.89/134.43 c GLOBAL bounds - >= 7 @ 131.606
133.89/134.43 c GLOBAL bounds - >= 7 @ 131.606
140.39/140.95 c #Conflicts: 111000 | #Constraints: 8288
140.39/140.95 c #Conflicts: 112000 | #Constraints: 9295
140.39/140.95 c #Conflicts: 113000 | #Constraints: 10296
140.39/140.95 c #Conflicts: 114000 | #Constraints: 11298
140.39/140.95 c #Conflicts: 115000 | #Constraints: 12300
140.39/140.95 c #Conflicts: 116000 | #Constraints: 13303
140.39/140.95 c #Conflicts: 117000 | #Constraints: 14308
140.39/140.95 c INPROCESSING
140.39/140.95 c GARBAGE COLLECT
140.39/140.95 c rational objective 7
140.98/141.57 c GLOBAL bounds - >= 7 @ 138.61
140.98/141.57 c GLOBAL bounds - >= 7 @ 138.61
154.73/155.30 c #Conflicts: 118000 | #Constraints: 8479
154.73/155.30 c #Conflicts: 119000 | #Constraints: 9483
154.73/155.30 c #Conflicts: 120000 | #Constraints: 10484
154.73/155.30 c #Conflicts: 121000 | #Constraints: 11488
154.73/155.30 c #Conflicts: 122000 | #Constraints: 12493
154.73/155.30 c #Conflicts: 123000 | #Constraints: 13494
154.73/155.30 c #Conflicts: 124000 | #Constraints: 14496
154.73/155.30 c INPROCESSING
154.73/155.30 c GARBAGE COLLECT
154.73/155.30 c rational objective 7
155.33/155.99 c GLOBAL bounds - >= 7 @ 152.828
155.33/155.99 c GLOBAL bounds - >= 7 @ 152.828
163.51/164.19 c #Conflicts: 125000 | #Constraints: 8472
163.51/164.19 c #Conflicts: 126000 | #Constraints: 9478
163.51/164.19 c #Conflicts: 127000 | #Constraints: 10483
163.51/164.19 c #Conflicts: 128000 | #Constraints: 11485
163.51/164.19 c #Conflicts: 129000 | #Constraints: 12487
163.51/164.19 c #Conflicts: 130000 | #Constraints: 13492
163.51/164.19 c #Conflicts: 131000 | #Constraints: 14494
163.51/164.19 c INPROCESSING
163.51/164.19 c GARBAGE COLLECT
163.51/164.19 c rational objective 7
164.21/164.83 c GLOBAL bounds - >= 7 @ 161.523
164.21/164.83 c GLOBAL bounds - >= 7 @ 161.523
171.98/172.67 c #Conflicts: 132000 | #Constraints: 8273
171.98/172.67 c #Conflicts: 133000 | #Constraints: 9284
171.98/172.67 c #Conflicts: 134000 | #Constraints: 10286
171.98/172.67 c #Conflicts: 135000 | #Constraints: 11286
171.98/172.67 c #Conflicts: 136000 | #Constraints: 12293
171.98/172.67 c #Conflicts: 137000 | #Constraints: 13296
171.98/172.67 c #Conflicts: 138000 | #Constraints: 14301
171.98/172.67 c #Conflicts: 139000 | #Constraints: 15304
171.98/172.67 c INPROCESSING
171.98/172.67 c GARBAGE COLLECT
171.98/172.67 c rational objective 7
172.58/173.21 c GLOBAL bounds - >= 7 @ 169.741
172.58/173.21 c GLOBAL bounds - >= 7 @ 169.741
186.63/187.37 c #Conflicts: 140000 | #Constraints: 8875
186.63/187.37 c #Conflicts: 141000 | #Constraints: 9879
186.63/187.37 c #Conflicts: 142000 | #Constraints: 10883
186.63/187.37 c #Conflicts: 143000 | #Constraints: 11886
186.63/187.37 c #Conflicts: 144000 | #Constraints: 12888
186.63/187.37 c #Conflicts: 145000 | #Constraints: 13892
186.63/187.37 c #Conflicts: 146000 | #Constraints: 14897
186.63/187.37 c #Conflicts: 147000 | #Constraints: 15899
186.63/187.37 c INPROCESSING
186.63/187.37 c GARBAGE COLLECT
186.63/187.37 c rational objective 7
187.13/187.85 c GLOBAL bounds - >= 7 @ 184.164
187.13/187.85 c GLOBAL bounds - >= 7 @ 184.164
197.99/198.70 c #Conflicts: 148000 | #Constraints: 9280
197.99/198.70 c #Conflicts: 149000 | #Constraints: 10393
197.99/198.70 c #Conflicts: 150000 | #Constraints: 11393
197.99/198.70 c #Conflicts: 151000 | #Constraints: 12394
197.99/198.70 c #Conflicts: 152000 | #Constraints: 13395
197.99/198.70 c #Conflicts: 153000 | #Constraints: 14397
197.99/198.70 c #Conflicts: 154000 | #Constraints: 15399
197.99/198.70 c #Conflicts: 155000 | #Constraints: 16414
197.99/198.70 c INPROCESSING
197.99/198.70 c GARBAGE COLLECT
197.99/198.70 c rational objective 7
198.50/199.23 c GLOBAL bounds - >= 7 @ 195.349
198.50/199.23 c GLOBAL bounds - >= 7 @ 195.349
205.97/206.76 c #Conflicts: 156000 | #Constraints: 9529
205.97/206.76 c #Conflicts: 157000 | #Constraints: 10529
205.97/206.76 c #Conflicts: 158000 | #Constraints: 11531
205.97/206.76 c #Conflicts: 159000 | #Constraints: 12534
205.97/206.76 c #Conflicts: 160000 | #Constraints: 13535
205.97/206.76 c #Conflicts: 161000 | #Constraints: 14541
205.97/206.76 c #Conflicts: 162000 | #Constraints: 15544
205.97/206.76 c #Conflicts: 163000 | #Constraints: 16544
205.97/206.76 c INPROCESSING
205.97/206.76 c GARBAGE COLLECT
205.97/206.76 c rational objective 7
206.38/207.18 c GLOBAL bounds - >= 7 @ 203.132
206.38/207.18 c GLOBAL bounds - >= 7 @ 203.132
217.25/218.02 c #Conflicts: 164000 | #Constraints: 9495
217.25/218.02 c #Conflicts: 165000 | #Constraints: 10499
217.25/218.02 c #Conflicts: 166000 | #Constraints: 11508
217.25/218.02 c #Conflicts: 167000 | #Constraints: 12512
217.25/218.02 c #Conflicts: 168000 | #Constraints: 13515
217.25/218.02 c #Conflicts: 169000 | #Constraints: 14519
217.25/218.02 c #Conflicts: 170000 | #Constraints: 15522
217.25/218.02 c #Conflicts: 171000 | #Constraints: 16524
217.25/218.02 c INPROCESSING
217.25/218.02 c GARBAGE COLLECT
217.25/218.02 c rational objective 7
217.53/218.33 c GLOBAL bounds - >= 7 @ 214.092
217.53/218.33 c GLOBAL bounds - >= 7 @ 214.092
232.20/233.01 c #Conflicts: 172000 | #Constraints: 9275
232.20/233.01 c #Conflicts: 173000 | #Constraints: 10278
232.20/233.01 c #Conflicts: 174000 | #Constraints: 11281
232.20/233.01 c #Conflicts: 175000 | #Constraints: 12283
232.20/233.01 c #Conflicts: 176000 | #Constraints: 13285
232.20/233.01 c #Conflicts: 177000 | #Constraints: 14289
232.20/233.01 c #Conflicts: 178000 | #Constraints: 15293
232.20/233.01 c #Conflicts: 179000 | #Constraints: 16301
232.20/233.01 c #Conflicts: 180000 | #Constraints: 17307
232.20/233.01 c INPROCESSING
232.20/233.01 c GARBAGE COLLECT
232.20/233.01 c rational objective 7
232.49/233.38 c GLOBAL bounds - >= 7 @ 228.895
232.49/233.38 c GLOBAL bounds - >= 7 @ 228.895
245.74/246.69 c #Conflicts: 181000 | #Constraints: 9886
245.74/246.69 c #Conflicts: 182000 | #Constraints: 10886
245.74/246.69 c #Conflicts: 183000 | #Constraints: 11888
245.74/246.69 c #Conflicts: 184000 | #Constraints: 12895
245.74/246.69 c #Conflicts: 185000 | #Constraints: 13899
245.74/246.69 c #Conflicts: 186000 | #Constraints: 14902
245.74/246.69 c #Conflicts: 187000 | #Constraints: 15902
245.74/246.69 c #Conflicts: 188000 | #Constraints: 16905
245.74/246.69 c #Conflicts: 189000 | #Constraints: 17906
245.74/246.69 c INPROCESSING
245.74/246.69 c GARBAGE COLLECT
245.74/246.69 c rational objective 7
246.25/247.12 c GLOBAL bounds - >= 7 @ 242.424
246.25/247.12 c GLOBAL bounds - >= 7 @ 242.424
266.48/267.45 c #Conflicts: 190000 | #Constraints: 10304
266.48/267.45 c #Conflicts: 191000 | #Constraints: 11307
266.48/267.45 c #Conflicts: 192000 | #Constraints: 12311
266.48/267.45 c #Conflicts: 193000 | #Constraints: 13315
266.48/267.45 c #Conflicts: 194000 | #Constraints: 14322
266.48/267.45 c #Conflicts: 195000 | #Constraints: 15323
266.48/267.45 c #Conflicts: 196000 | #Constraints: 16329
266.48/267.45 c #Conflicts: 197000 | #Constraints: 17337
266.48/267.45 c #Conflicts: 198000 | #Constraints: 18343
266.48/267.45 c INPROCESSING
266.48/267.45 c GARBAGE COLLECT
266.48/267.45 c rational objective 7
266.78/267.77 c GLOBAL bounds - >= 7 @ 262.776
266.78/267.77 c GLOBAL bounds - >= 7 @ 262.776
287.02/288.04 c #Conflicts: 199000 | #Constraints: 10534
287.02/288.04 c #Conflicts: 200000 | #Constraints: 11539
287.02/288.04 c #Conflicts: 201000 | #Constraints: 12544
287.02/288.04 c #Conflicts: 202000 | #Constraints: 13548
287.02/288.04 c #Conflicts: 203000 | #Constraints: 14552
287.02/288.04 c #Conflicts: 204000 | #Constraints: 15556
287.02/288.04 c #Conflicts: 205000 | #Constraints: 16561
287.02/288.04 c #Conflicts: 206000 | #Constraints: 17566
287.02/288.04 c #Conflicts: 207000 | #Constraints: 18571
287.02/288.04 c INPROCESSING
287.02/288.04 c GARBAGE COLLECT
287.02/288.04 c rational objective 7
287.71/288.76 c GLOBAL bounds - >= 7 @ 283.487
287.71/288.76 c GLOBAL bounds - >= 7 @ 283.487
295.79/296.80 c #Conflicts: 208000 | #Constraints: 10520
295.79/296.80 c #Conflicts: 209000 | #Constraints: 11796
295.79/296.80 c #Conflicts: 210000 | #Constraints: 12918
295.79/296.80 c #Conflicts: 211000 | #Constraints: 13918
295.79/296.80 c #Conflicts: 212000 | #Constraints: 14918
295.79/296.80 c #Conflicts: 213000 | #Constraints: 15919
295.79/296.80 c #Conflicts: 214000 | #Constraints: 16920
295.79/296.80 c #Conflicts: 215000 | #Constraints: 17921
295.79/296.80 c #Conflicts: 216000 | #Constraints: 18921
295.79/296.80 c INPROCESSING
295.79/296.80 c GARBAGE COLLECT
295.79/296.80 c rational objective 7
296.39/297.45 c GLOBAL bounds - >= 7 @ 292.026
296.39/297.45 c GLOBAL bounds - >= 7 @ 292.026
322.51/323.70 c #Conflicts: 217000 | #Constraints: 10496
322.51/323.70 c #Conflicts: 218000 | #Constraints: 11501
322.51/323.70 c #Conflicts: 219000 | #Constraints: 12509
322.51/323.70 c #Conflicts: 220000 | #Constraints: 13513
322.51/323.70 c #Conflicts: 221000 | #Constraints: 14517
322.51/323.70 c #Conflicts: 222000 | #Constraints: 15525
322.51/323.70 c #Conflicts: 223000 | #Constraints: 16529
322.51/323.70 c #Conflicts: 224000 | #Constraints: 17531
322.51/323.70 c #Conflicts: 225000 | #Constraints: 18533
322.51/323.70 c #Conflicts: 226000 | #Constraints: 19539
322.51/323.70 c INPROCESSING
322.51/323.70 c GARBAGE COLLECT
322.51/323.70 c rational objective 7
322.92/324.06 c GLOBAL bounds - >= 7 @ 318.293
322.92/324.06 c GLOBAL bounds - >= 7 @ 318.293
339.46/340.65 c #Conflicts: 227000 | #Constraints: 11026
339.46/340.65 c #Conflicts: 228000 | #Constraints: 12029
339.46/340.65 c #Conflicts: 229000 | #Constraints: 13075
339.46/340.65 c #Conflicts: 230000 | #Constraints: 14079
339.46/340.65 c #Conflicts: 231000 | #Constraints: 15082
339.46/340.65 c #Conflicts: 232000 | #Constraints: 16085
339.46/340.65 c #Conflicts: 233000 | #Constraints: 17090
339.46/340.65 c #Conflicts: 234000 | #Constraints: 18098
339.46/340.65 c #Conflicts: 235000 | #Constraints: 19103
339.46/340.65 c #Conflicts: 236000 | #Constraints: 20105
339.46/340.65 c INPROCESSING
339.46/340.65 c GARBAGE COLLECT
339.46/340.65 c rational objective 7
339.66/340.89 c GLOBAL bounds - >= 7 @ 334.837
339.66/340.89 c GLOBAL bounds - >= 7 @ 334.837
355.50/356.79 c #Conflicts: 237000 | #Constraints: 11381
355.50/356.79 c #Conflicts: 238000 | #Constraints: 12382
355.50/356.79 c #Conflicts: 239000 | #Constraints: 13390
355.50/356.79 c #Conflicts: 240000 | #Constraints: 14393
355.50/356.79 c #Conflicts: 241000 | #Constraints: 15394
355.50/356.79 c #Conflicts: 242000 | #Constraints: 16398
355.50/356.79 c #Conflicts: 243000 | #Constraints: 17403
355.50/356.79 c #Conflicts: 244000 | #Constraints: 18405
355.50/356.79 c #Conflicts: 245000 | #Constraints: 19411
355.50/356.79 c #Conflicts: 246000 | #Constraints: 20412
355.50/356.79 c INPROCESSING
355.50/356.79 c GARBAGE COLLECT
355.50/356.79 c rational objective 7
355.92/357.17 c GLOBAL bounds - >= 7 @ 350.907
355.92/357.17 c GLOBAL bounds - >= 7 @ 350.907
373.16/374.49 c #Conflicts: 247000 | #Constraints: 11543
373.16/374.49 c #Conflicts: 248000 | #Constraints: 12551
373.16/374.49 c #Conflicts: 249000 | #Constraints: 13556
373.16/374.49 c #Conflicts: 250000 | #Constraints: 14564
373.16/374.49 c #Conflicts: 251000 | #Constraints: 15576
373.16/374.49 c #Conflicts: 252000 | #Constraints: 16580
373.16/374.49 c #Conflicts: 253000 | #Constraints: 17585
373.16/374.49 c #Conflicts: 254000 | #Constraints: 18591
373.16/374.49 c #Conflicts: 255000 | #Constraints: 19594
373.16/374.49 c #Conflicts: 256000 | #Constraints: 20595
373.16/374.49 c INPROCESSING
373.16/374.49 c GARBAGE COLLECT
373.16/374.49 c rational objective 7
373.56/374.88 c GLOBAL bounds - >= 7 @ 368.365
373.56/374.88 c GLOBAL bounds - >= 7 @ 368.365
388.50/389.83 c #Conflicts: 257000 | #Constraints: 11530
388.50/389.83 c #Conflicts: 258000 | #Constraints: 12534
388.50/389.83 c #Conflicts: 259000 | #Constraints: 13538
388.50/389.83 c #Conflicts: 260000 | #Constraints: 14540
388.50/389.83 c #Conflicts: 261000 | #Constraints: 15542
388.50/389.83 c #Conflicts: 262000 | #Constraints: 16544
388.50/389.83 c #Conflicts: 263000 | #Constraints: 17547
388.50/389.83 c #Conflicts: 264000 | #Constraints: 18550
388.50/389.83 c #Conflicts: 265000 | #Constraints: 19553
388.50/389.83 c #Conflicts: 266000 | #Constraints: 20556
388.50/389.83 c INPROCESSING
388.50/389.83 c GARBAGE COLLECT
388.50/389.83 c rational objective 7
389.01/390.35 c GLOBAL bounds - >= 7 @ 383.559
389.01/390.35 c GLOBAL bounds - >= 7 @ 383.559
404.96/406.39 c #Conflicts: 267000 | #Constraints: 11301
404.96/406.39 c #Conflicts: 268000 | #Constraints: 12302
404.96/406.39 c #Conflicts: 269000 | #Constraints: 13303
404.96/406.39 c #Conflicts: 270000 | #Constraints: 14307
404.96/406.39 c #Conflicts: 271000 | #Constraints: 15314
404.96/406.39 c #Conflicts: 272000 | #Constraints: 16319
404.96/406.39 c #Conflicts: 273000 | #Constraints: 17326
404.96/406.39 c #Conflicts: 274000 | #Constraints: 18334
404.96/406.39 c #Conflicts: 275000 | #Constraints: 19343
404.96/406.39 c #Conflicts: 276000 | #Constraints: 20352
404.96/406.39 c #Conflicts: 277000 | #Constraints: 21356
404.96/406.39 c INPROCESSING
404.96/406.39 c GARBAGE COLLECT
404.96/406.39 c rational objective 7
405.45/406.84 c GLOBAL bounds - >= 7 @ 399.827
405.45/406.84 c GLOBAL bounds - >= 7 @ 399.827
421.50/422.98 c #Conflicts: 278000 | #Constraints: 11905
421.50/422.98 c #Conflicts: 279000 | #Constraints: 12917
421.50/422.98 c #Conflicts: 280000 | #Constraints: 14000
421.50/422.98 c #Conflicts: 281000 | #Constraints: 15008
421.50/422.98 c #Conflicts: 282000 | #Constraints: 16062
421.50/422.98 c #Conflicts: 283000 | #Constraints: 17152
421.50/422.98 c #Conflicts: 284000 | #Constraints: 18182
421.50/422.98 c #Conflicts: 285000 | #Constraints: 19228
421.50/422.98 c #Conflicts: 286000 | #Constraints: 20466
421.50/422.98 c #Conflicts: 287000 | #Constraints: 21717
421.50/422.98 c #Conflicts: 288000 | #Constraints: 22750
421.50/422.98 c INPROCESSING
421.50/422.98 c GARBAGE COLLECT
421.50/422.98 c rational objective 7
422.50/423.96 c GLOBAL bounds - >= 7 @ 416.692
422.50/423.96 c GLOBAL bounds - >= 7 @ 416.692
440.05/441.52 c #Conflicts: 289000 | #Constraints: 12692
440.05/441.52 c #Conflicts: 290000 | #Constraints: 13695
440.05/441.52 c #Conflicts: 291000 | #Constraints: 14700
440.05/441.52 c #Conflicts: 292000 | #Constraints: 15703
440.05/441.52 c #Conflicts: 293000 | #Constraints: 16709
440.05/441.52 c #Conflicts: 294000 | #Constraints: 17717
440.05/441.52 c #Conflicts: 295000 | #Constraints: 18718
440.05/441.52 c #Conflicts: 296000 | #Constraints: 19722
440.05/441.52 c #Conflicts: 297000 | #Constraints: 20731
440.05/441.52 c #Conflicts: 298000 | #Constraints: 21737
440.05/441.52 c #Conflicts: 299000 | #Constraints: 22741
440.05/441.52 c INPROCESSING
440.05/441.52 c GARBAGE COLLECT
440.05/441.52 c rational objective 7
440.56/442.05 c GLOBAL bounds - >= 7 @ 434.531
440.56/442.05 c GLOBAL bounds - >= 7 @ 434.531
457.50/459.09 c #Conflicts: 300000 | #Constraints: 12701
457.50/459.09 c #Conflicts: 301000 | #Constraints: 13701
457.50/459.09 c #Conflicts: 302000 | #Constraints: 14702
457.50/459.09 c #Conflicts: 303000 | #Constraints: 15709
457.50/459.09 c #Conflicts: 304000 | #Constraints: 16712
457.50/459.09 c #Conflicts: 305000 | #Constraints: 17714
457.50/459.09 c #Conflicts: 306000 | #Constraints: 18717
457.50/459.09 c #Conflicts: 307000 | #Constraints: 19719
457.50/459.09 c #Conflicts: 308000 | #Constraints: 20723
457.50/459.09 c #Conflicts: 309000 | #Constraints: 21725
457.50/459.09 c #Conflicts: 310000 | #Constraints: 22731
457.50/459.09 c INPROCESSING
457.50/459.09 c GARBAGE COLLECT
457.50/459.09 c rational objective 7
458.00/459.55 c GLOBAL bounds - >= 7 @ 451.767
458.00/459.55 c GLOBAL bounds - >= 7 @ 451.767
485.61/487.20 c #Conflicts: 311000 | #Constraints: 12592
485.61/487.20 c #Conflicts: 312000 | #Constraints: 13595
485.61/487.20 c #Conflicts: 313000 | #Constraints: 14599
485.61/487.20 c #Conflicts: 314000 | #Constraints: 15605
485.61/487.20 c #Conflicts: 315000 | #Constraints: 16607
485.61/487.20 c #Conflicts: 316000 | #Constraints: 17608
485.61/487.20 c #Conflicts: 317000 | #Constraints: 18609
485.61/487.20 c #Conflicts: 318000 | #Constraints: 19611
485.61/487.20 c #Conflicts: 319000 | #Constraints: 20611
485.61/487.20 c #Conflicts: 320000 | #Constraints: 21612
485.61/487.20 c #Conflicts: 321000 | #Constraints: 22616
485.61/487.20 c INPROCESSING
485.61/487.20 c GARBAGE COLLECT
485.61/487.20 c rational objective 7
485.91/487.52 c GLOBAL bounds - >= 7 @ 479.42
485.91/487.52 c GLOBAL bounds - >= 7 @ 479.42
502.94/504.67 c #Conflicts: 322000 | #Constraints: 12348
502.94/504.67 c #Conflicts: 323000 | #Constraints: 13349
502.94/504.67 c #Conflicts: 324000 | #Constraints: 14350
502.94/504.67 c #Conflicts: 325000 | #Constraints: 15353
502.94/504.67 c #Conflicts: 326000 | #Constraints: 16356
502.94/504.67 c #Conflicts: 327000 | #Constraints: 17359
502.94/504.67 c #Conflicts: 328000 | #Constraints: 18362
502.94/504.67 c #Conflicts: 329000 | #Constraints: 19364
502.94/504.67 c #Conflicts: 330000 | #Constraints: 20366
502.94/504.67 c #Conflicts: 331000 | #Constraints: 21368
502.94/504.67 c #Conflicts: 332000 | #Constraints: 22369
502.94/504.67 c #Conflicts: 333000 | #Constraints: 23373
502.94/504.67 c INPROCESSING
502.94/504.67 c GARBAGE COLLECT
502.94/504.67 c rational objective 7
503.74/505.45 c GLOBAL bounds - >= 7 @ 497.048
503.74/505.45 c GLOBAL bounds - >= 7 @ 497.048
521.86/523.62 c #Conflicts: 334000 | #Constraints: 12949
521.86/523.62 c #Conflicts: 335000 | #Constraints: 13953
521.86/523.62 c #Conflicts: 336000 | #Constraints: 14955
521.86/523.62 c #Conflicts: 337000 | #Constraints: 15957
521.86/523.62 c #Conflicts: 338000 | #Constraints: 16960
521.86/523.62 c #Conflicts: 339000 | #Constraints: 17962
521.86/523.62 c #Conflicts: 340000 | #Constraints: 18965
521.86/523.62 c #Conflicts: 341000 | #Constraints: 19969
521.86/523.62 c #Conflicts: 342000 | #Constraints: 20973
521.86/523.62 c #Conflicts: 343000 | #Constraints: 21977
521.86/523.62 c #Conflicts: 344000 | #Constraints: 22981
521.86/523.62 c #Conflicts: 345000 | #Constraints: 23984
521.86/523.62 c INPROCESSING
521.86/523.62 c GARBAGE COLLECT
521.86/523.62 c rational objective 7
522.16/524.00 c GLOBAL bounds - >= 7 @ 515.253
522.16/524.00 c GLOBAL bounds - >= 7 @ 515.253
542.40/544.24 c #Conflicts: 346000 | #Constraints: 13309
542.40/544.24 c #Conflicts: 347000 | #Constraints: 14312
542.40/544.24 c #Conflicts: 348000 | #Constraints: 15317
542.40/544.24 c #Conflicts: 349000 | #Constraints: 16324
542.40/544.24 c #Conflicts: 350000 | #Constraints: 17328
542.40/544.24 c #Conflicts: 351000 | #Constraints: 18330
542.40/544.24 c #Conflicts: 352000 | #Constraints: 19332
542.40/544.24 c #Conflicts: 353000 | #Constraints: 20337
542.40/544.24 c #Conflicts: 354000 | #Constraints: 21342
542.40/544.24 c #Conflicts: 355000 | #Constraints: 22344
542.40/544.24 c #Conflicts: 356000 | #Constraints: 23347
542.40/544.24 c #Conflicts: 357000 | #Constraints: 24348
542.40/544.24 c INPROCESSING
542.40/544.24 c GARBAGE COLLECT
542.40/544.24 c rational objective 7
543.00/544.81 c GLOBAL bounds - >= 7 @ 535.769
543.00/544.81 c GLOBAL bounds - >= 7 @ 535.769
565.24/567.14 c #Conflicts: 358000 | #Constraints: 13496
565.24/567.14 c #Conflicts: 359000 | #Constraints: 14499
565.24/567.14 c #Conflicts: 360000 | #Constraints: 15503
565.24/567.14 c #Conflicts: 361000 | #Constraints: 16508
565.24/567.14 c #Conflicts: 362000 | #Constraints: 17516
565.24/567.14 c #Conflicts: 363000 | #Constraints: 18519
565.24/567.14 c #Conflicts: 364000 | #Constraints: 19522
565.24/567.14 c #Conflicts: 365000 | #Constraints: 20525
565.24/567.14 c #Conflicts: 366000 | #Constraints: 21528
565.24/567.14 c #Conflicts: 367000 | #Constraints: 22534
565.24/567.14 c #Conflicts: 368000 | #Constraints: 23540
565.24/567.14 c #Conflicts: 369000 | #Constraints: 24543
565.24/567.14 c INPROCESSING
565.24/567.14 c GARBAGE COLLECT
565.24/567.14 c rational objective 7
565.83/567.73 c GLOBAL bounds - >= 7 @ 558.387
565.83/567.73 c GLOBAL bounds - >= 7 @ 558.387
605.61/607.60 c #Conflicts: 370000 | #Constraints: 13495
605.61/607.60 c #Conflicts: 371000 | #Constraints: 14502
605.61/607.60 c #Conflicts: 372000 | #Constraints: 15515
605.61/607.60 c #Conflicts: 373000 | #Constraints: 16519
605.61/607.60 c #Conflicts: 374000 | #Constraints: 17527
605.61/607.60 c #Conflicts: 375000 | #Constraints: 18532
605.61/607.60 c #Conflicts: 376000 | #Constraints: 19536
605.61/607.60 c #Conflicts: 377000 | #Constraints: 20541
605.61/607.60 c #Conflicts: 378000 | #Constraints: 21547
605.61/607.60 c #Conflicts: 379000 | #Constraints: 22553
605.61/607.60 c #Conflicts: 380000 | #Constraints: 23556
605.61/607.60 c #Conflicts: 381000 | #Constraints: 24557
605.61/607.60 c INPROCESSING
605.61/607.60 c GARBAGE COLLECT
605.61/607.60 c rational objective 7
606.12/608.19 c GLOBAL bounds - >= 7 @ 598.414
606.12/608.19 c GLOBAL bounds - >= 7 @ 598.415
624.97/627.07 c #Conflicts: 382000 | #Constraints: 13305
624.97/627.07 c #Conflicts: 383000 | #Constraints: 14309
624.97/627.07 c #Conflicts: 384000 | #Constraints: 15312
624.97/627.07 c #Conflicts: 385000 | #Constraints: 16314
624.97/627.07 c #Conflicts: 386000 | #Constraints: 17315
624.97/627.07 c #Conflicts: 387000 | #Constraints: 18321
624.97/627.07 c #Conflicts: 388000 | #Constraints: 19322
624.97/627.07 c #Conflicts: 389000 | #Constraints: 20322
624.97/627.07 c #Conflicts: 390000 | #Constraints: 21326
624.97/627.07 c #Conflicts: 391000 | #Constraints: 22331
624.97/627.07 c #Conflicts: 392000 | #Constraints: 23334
624.97/627.07 c #Conflicts: 393000 | #Constraints: 24338
624.97/627.07 c #Conflicts: 394000 | #Constraints: 25341
624.97/627.07 c INPROCESSING
624.97/627.07 c GARBAGE COLLECT
624.97/627.07 c rational objective 7
625.36/627.48 c GLOBAL bounds - >= 7 @ 617.419
625.36/627.48 c GLOBAL bounds - >= 7 @ 617.419
650.69/652.87 c #Conflicts: 395000 | #Constraints: 13901
650.69/652.87 c #Conflicts: 396000 | #Constraints: 14906
650.69/652.87 c #Conflicts: 397000 | #Constraints: 15912
650.69/652.87 c #Conflicts: 398000 | #Constraints: 16916
650.69/652.87 c #Conflicts: 399000 | #Constraints: 17919
650.69/652.87 c #Conflicts: 400000 | #Constraints: 18924
650.69/652.87 c #Conflicts: 401000 | #Constraints: 19931
650.69/652.87 c #Conflicts: 402000 | #Constraints: 20934
650.69/652.87 c #Conflicts: 403000 | #Constraints: 21939
650.69/652.87 c #Conflicts: 404000 | #Constraints: 22943
650.69/652.87 c #Conflicts: 405000 | #Constraints: 23950
650.69/652.87 c #Conflicts: 406000 | #Constraints: 24952
650.69/652.87 c #Conflicts: 407000 | #Constraints: 25954
650.69/652.87 c INPROCESSING
650.69/652.87 c GARBAGE COLLECT
650.69/652.87 c rational objective 7
651.29/653.41 c GLOBAL bounds - >= 7 @ 642.937
651.29/653.41 c GLOBAL bounds - >= 7 @ 642.937
671.52/673.74 c #Conflicts: 408000 | #Constraints: 14302
671.52/673.74 c #Conflicts: 409000 | #Constraints: 15305
671.52/673.74 c #Conflicts: 410000 | #Constraints: 16310
671.52/673.74 c #Conflicts: 411000 | #Constraints: 17316
671.52/673.74 c #Conflicts: 412000 | #Constraints: 18318
671.52/673.74 c #Conflicts: 413000 | #Constraints: 19320
671.52/673.74 c #Conflicts: 414000 | #Constraints: 20322
671.52/673.74 c #Conflicts: 415000 | #Constraints: 21324
671.52/673.74 c #Conflicts: 416000 | #Constraints: 22326
671.52/673.74 c #Conflicts: 417000 | #Constraints: 23329
671.52/673.74 c #Conflicts: 418000 | #Constraints: 24336
671.52/673.74 c #Conflicts: 419000 | #Constraints: 25346
671.52/673.74 c #Conflicts: 420000 | #Constraints: 26351
671.52/673.74 c INPROCESSING
671.52/673.74 c GARBAGE COLLECT
671.52/673.74 c rational objective 7
671.93/674.18 c GLOBAL bounds - >= 7 @ 663.405
671.93/674.18 c GLOBAL bounds - >= 7 @ 663.405
700.13/702.44 c #Conflicts: 421000 | #Constraints: 14519
700.13/702.44 c #Conflicts: 422000 | #Constraints: 15523
700.13/702.44 c #Conflicts: 423000 | #Constraints: 16524
700.13/702.44 c #Conflicts: 424000 | #Constraints: 17531
700.13/702.44 c #Conflicts: 425000 | #Constraints: 18534
700.13/702.44 c #Conflicts: 426000 | #Constraints: 19538
700.13/702.44 c #Conflicts: 427000 | #Constraints: 20538
700.13/702.44 c #Conflicts: 428000 | #Constraints: 21540
700.13/702.44 c #Conflicts: 429000 | #Constraints: 22542
700.13/702.44 c #Conflicts: 430000 | #Constraints: 23544
700.13/702.44 c #Conflicts: 431000 | #Constraints: 24545
700.13/702.44 c #Conflicts: 432000 | #Constraints: 25546
700.13/702.44 c #Conflicts: 433000 | #Constraints: 26547
700.13/702.44 c INPROCESSING
700.13/702.44 c GARBAGE COLLECT
700.13/702.44 c rational objective 7
700.63/702.97 c GLOBAL bounds - >= 7 @ 691.786
700.63/702.97 c GLOBAL bounds - >= 7 @ 691.786
729.25/731.65 c #Conflicts: 434000 | #Constraints: 14550
729.25/731.65 c #Conflicts: 435000 | #Constraints: 15555
729.25/731.65 c #Conflicts: 436000 | #Constraints: 16560
729.25/731.65 c #Conflicts: 437000 | #Constraints: 17561
729.25/731.65 c #Conflicts: 438000 | #Constraints: 18565
729.25/731.65 c #Conflicts: 439000 | #Constraints: 19570
729.25/731.65 c #Conflicts: 440000 | #Constraints: 20573
729.25/731.65 c #Conflicts: 441000 | #Constraints: 21578
729.25/731.65 c #Conflicts: 442000 | #Constraints: 22581
729.25/731.65 c #Conflicts: 443000 | #Constraints: 23582
729.25/731.65 c #Conflicts: 444000 | #Constraints: 24587
729.25/731.65 c #Conflicts: 445000 | #Constraints: 25593
729.25/731.65 c #Conflicts: 446000 | #Constraints: 26595
729.25/731.65 c INPROCESSING
729.25/731.65 c GARBAGE COLLECT
729.25/731.65 c rational objective 7
729.54/731.94 c GLOBAL bounds - >= 7 @ 720.331
729.54/731.94 c GLOBAL bounds - >= 7 @ 720.332
769.42/772.00 c #Conflicts: 447000 | #Constraints: 14366
769.42/772.00 c #Conflicts: 448000 | #Constraints: 15370
769.42/772.00 c #Conflicts: 449000 | #Constraints: 16374
769.42/772.00 c #Conflicts: 450000 | #Constraints: 17378
769.42/772.00 c #Conflicts: 451000 | #Constraints: 18383
769.42/772.00 c #Conflicts: 452000 | #Constraints: 19389
769.42/772.00 c #Conflicts: 453000 | #Constraints: 20395
769.42/772.00 c #Conflicts: 454000 | #Constraints: 21397
769.42/772.00 c #Conflicts: 455000 | #Constraints: 22400
769.42/772.00 c #Conflicts: 456000 | #Constraints: 23402
769.42/772.00 c #Conflicts: 457000 | #Constraints: 24405
769.42/772.00 c #Conflicts: 458000 | #Constraints: 25409
769.42/772.00 c #Conflicts: 459000 | #Constraints: 26412
769.42/772.00 c #Conflicts: 460000 | #Constraints: 27416
769.42/772.00 c INPROCESSING
769.42/772.00 c GARBAGE COLLECT
769.42/772.00 c rational objective 7
770.52/773.09 c GLOBAL bounds - >= 7 @ 760.804
770.52/773.09 c GLOBAL bounds - >= 7 @ 760.804
822.86/825.53 c #Conflicts: 461000 | #Constraints: 14945
822.86/825.53 c #Conflicts: 462000 | #Constraints: 15947
822.86/825.53 c #Conflicts: 463000 | #Constraints: 16947
822.86/825.53 c #Conflicts: 464000 | #Constraints: 17949
822.86/825.53 c #Conflicts: 465000 | #Constraints: 18951
822.86/825.53 c #Conflicts: 466000 | #Constraints: 19960
822.86/825.53 c #Conflicts: 467000 | #Constraints: 20967
822.86/825.53 c #Conflicts: 468000 | #Constraints: 21975
822.86/825.53 c #Conflicts: 469000 | #Constraints: 22981
822.86/825.53 c #Conflicts: 470000 | #Constraints: 23986
822.86/825.53 c #Conflicts: 471000 | #Constraints: 24995
822.86/825.53 c #Conflicts: 472000 | #Constraints: 26005
822.86/825.53 c #Conflicts: 473000 | #Constraints: 27005
822.86/825.53 c #Conflicts: 474000 | #Constraints: 28010
822.86/825.53 c INPROCESSING
822.86/825.53 c GARBAGE COLLECT
822.86/825.53 c rational objective 7
823.46/826.16 c GLOBAL bounds - >= 7 @ 813.297
823.46/826.16 c GLOBAL bounds - >= 7 @ 813.297
848.87/851.69 c #Conflicts: 475000 | #Constraints: 15356
848.87/851.69 c #Conflicts: 476000 | #Constraints: 16365
848.87/851.69 c #Conflicts: 477000 | #Constraints: 17386
848.87/851.69 c #Conflicts: 478000 | #Constraints: 18403
848.87/851.69 c #Conflicts: 479000 | #Constraints: 19428
848.87/851.69 c #Conflicts: 480000 | #Constraints: 20441
848.87/851.69 c #Conflicts: 481000 | #Constraints: 21453
848.87/851.69 c #Conflicts: 482000 | #Constraints: 22458
848.87/851.69 c #Conflicts: 483000 | #Constraints: 23491
848.87/851.69 c #Conflicts: 484000 | #Constraints: 24491
848.87/851.69 c #Conflicts: 485000 | #Constraints: 25656
848.87/851.69 c #Conflicts: 486000 | #Constraints: 26660
848.87/851.69 c #Conflicts: 487000 | #Constraints: 27707
848.87/851.69 c #Conflicts: 488000 | #Constraints: 28707
848.87/851.69 c INPROCESSING
848.87/851.69 c GARBAGE COLLECT
848.87/851.69 c rational objective 7
849.67/852.49 c GLOBAL bounds - >= 7 @ 839.131
849.67/852.49 c GLOBAL bounds - >= 7 @ 839.131
876.78/879.61 c #Conflicts: 489000 | #Constraints: 15709
876.78/879.61 c #Conflicts: 490000 | #Constraints: 16710
876.78/879.61 c #Conflicts: 491000 | #Constraints: 17710
876.78/879.61 c #Conflicts: 492000 | #Constraints: 18711
876.78/879.61 c #Conflicts: 493000 | #Constraints: 19712
876.78/879.61 c #Conflicts: 494000 | #Constraints: 20713
876.78/879.61 c #Conflicts: 495000 | #Constraints: 21715
876.78/879.61 c #Conflicts: 496000 | #Constraints: 22715
876.78/879.61 c #Conflicts: 497000 | #Constraints: 23715
876.78/879.61 c #Conflicts: 498000 | #Constraints: 24715
876.78/879.61 c #Conflicts: 499000 | #Constraints: 25717
876.78/879.61 c #Conflicts: 500000 | #Constraints: 26717
876.78/879.61 c #Conflicts: 501000 | #Constraints: 27717
876.78/879.61 c #Conflicts: 502000 | #Constraints: 28718
876.78/879.61 c INPROCESSING
876.78/879.61 c GARBAGE COLLECT
876.78/879.61 c rational objective 7
877.38/880.28 c GLOBAL bounds - >= 7 @ 866.62
877.38/880.28 c GLOBAL bounds - >= 7 @ 866.62
918.08/921.03 c #Conflicts: 503000 | #Constraints: 15591
918.08/921.03 c #Conflicts: 504000 | #Constraints: 16594
918.08/921.03 c #Conflicts: 505000 | #Constraints: 17596
918.08/921.03 c #Conflicts: 506000 | #Constraints: 18599
918.08/921.03 c #Conflicts: 507000 | #Constraints: 19602
918.08/921.03 c #Conflicts: 508000 | #Constraints: 20604
918.08/921.03 c #Conflicts: 509000 | #Constraints: 21607
918.08/921.03 c #Conflicts: 510000 | #Constraints: 22612
918.08/921.03 c #Conflicts: 511000 | #Constraints: 23616
918.08/921.03 c #Conflicts: 512000 | #Constraints: 24619
918.08/921.03 c #Conflicts: 513000 | #Constraints: 25622
918.08/921.03 c #Conflicts: 514000 | #Constraints: 26627
918.08/921.03 c #Conflicts: 515000 | #Constraints: 27629
918.08/921.03 c #Conflicts: 516000 | #Constraints: 28634
918.08/921.03 c INPROCESSING
918.08/921.03 c GARBAGE COLLECT
918.08/921.03 c rational objective 7
918.66/921.61 c GLOBAL bounds - >= 7 @ 907.456
918.66/921.61 c GLOBAL bounds - >= 7 @ 907.456
938.80/941.86 c #Conflicts: 517000 | #Constraints: 15340
938.80/941.86 c #Conflicts: 518000 | #Constraints: 16342
938.80/941.86 c #Conflicts: 519000 | #Constraints: 17345
938.80/941.86 c #Conflicts: 520000 | #Constraints: 18346
938.80/941.86 c #Conflicts: 521000 | #Constraints: 19349
938.80/941.86 c #Conflicts: 522000 | #Constraints: 20350
938.80/941.86 c #Conflicts: 523000 | #Constraints: 21353
938.80/941.86 c #Conflicts: 524000 | #Constraints: 22361
938.80/941.86 c #Conflicts: 525000 | #Constraints: 23363
938.80/941.86 c #Conflicts: 526000 | #Constraints: 24364
938.80/941.86 c #Conflicts: 527000 | #Constraints: 25365
938.80/941.86 c #Conflicts: 528000 | #Constraints: 26369
938.80/941.86 c #Conflicts: 529000 | #Constraints: 27371
938.80/941.86 c #Conflicts: 530000 | #Constraints: 28372
938.80/941.86 c #Conflicts: 531000 | #Constraints: 29375
938.80/941.86 c INPROCESSING
938.80/941.86 c GARBAGE COLLECT
938.80/941.86 c rational objective 7
939.30/942.30 c GLOBAL bounds - >= 7 @ 927.883
939.30/942.30 c GLOBAL bounds - >= 7 @ 927.883
970.60/973.80 c #Conflicts: 532000 | #Constraints: 15914
970.60/973.80 c #Conflicts: 533000 | #Constraints: 16919
970.60/973.80 c #Conflicts: 534000 | #Constraints: 17922
970.60/973.80 c #Conflicts: 535000 | #Constraints: 18926
970.60/973.80 c #Conflicts: 536000 | #Constraints: 19929
970.60/973.80 c #Conflicts: 537000 | #Constraints: 20933
970.60/973.80 c #Conflicts: 538000 | #Constraints: 21936
970.60/973.80 c #Conflicts: 539000 | #Constraints: 22945
970.60/973.80 c #Conflicts: 540000 | #Constraints: 23952
970.60/973.80 c #Conflicts: 541000 | #Constraints: 24952
970.60/973.80 c #Conflicts: 542000 | #Constraints: 25957
970.60/973.80 c #Conflicts: 543000 | #Constraints: 26961
970.60/973.80 c #Conflicts: 544000 | #Constraints: 27964
970.60/973.80 c #Conflicts: 545000 | #Constraints: 28967
970.60/973.80 c #Conflicts: 546000 | #Constraints: 29969
970.60/973.80 c INPROCESSING
970.60/973.80 c GARBAGE COLLECT
970.60/973.80 c rational objective 7
971.01/974.17 c GLOBAL bounds - >= 7 @ 959.359
971.01/974.17 c GLOBAL bounds - >= 7 @ 959.359
1039.39/1042.70 c #Conflicts: 547000 | #Constraints: 16311
1039.39/1042.70 c #Conflicts: 548000 | #Constraints: 17314
1039.39/1042.70 c #Conflicts: 549000 | #Constraints: 18315
1039.39/1042.70 c #Conflicts: 550000 | #Constraints: 19316
1039.39/1042.70 c #Conflicts: 551000 | #Constraints: 20320
1039.39/1042.70 c #Conflicts: 552000 | #Constraints: 21322
1039.39/1042.70 c #Conflicts: 553000 | #Constraints: 22323
1039.39/1042.70 c #Conflicts: 554000 | #Constraints: 23326
1039.39/1042.70 c #Conflicts: 555000 | #Constraints: 24329
1039.39/1042.70 c #Conflicts: 556000 | #Constraints: 25332
1039.39/1042.70 c #Conflicts: 557000 | #Constraints: 26334
1039.39/1042.70 c #Conflicts: 558000 | #Constraints: 27338
1039.39/1042.70 c #Conflicts: 559000 | #Constraints: 28343
1039.39/1042.70 c #Conflicts: 560000 | #Constraints: 29345
1039.39/1042.70 c #Conflicts: 561000 | #Constraints: 30352
1039.39/1042.70 c INPROCESSING
1039.39/1042.70 c GARBAGE COLLECT
1039.39/1042.70 c rational objective 7
1039.80/1043.18 c GLOBAL bounds - >= 7 @ 1027.61
1039.80/1043.18 c GLOBAL bounds - >= 7 @ 1027.61
1063.63/1067.03 c #Conflicts: 562000 | #Constraints: 16502
1063.63/1067.03 c #Conflicts: 563000 | #Constraints: 17504
1063.63/1067.03 c #Conflicts: 564000 | #Constraints: 18511
1063.63/1067.03 c #Conflicts: 565000 | #Constraints: 19523
1063.63/1067.03 c #Conflicts: 566000 | #Constraints: 20528
1063.63/1067.03 c #Conflicts: 567000 | #Constraints: 21531
1063.63/1067.03 c #Conflicts: 568000 | #Constraints: 22538
1063.63/1067.03 c #Conflicts: 569000 | #Constraints: 23550
1063.63/1067.03 c #Conflicts: 570000 | #Constraints: 24551
1063.63/1067.03 c #Conflicts: 571000 | #Constraints: 25552
1063.63/1067.03 c #Conflicts: 572000 | #Constraints: 26554
1063.63/1067.03 c #Conflicts: 573000 | #Constraints: 27555
1063.63/1067.03 c #Conflicts: 574000 | #Constraints: 28557
1063.63/1067.03 c #Conflicts: 575000 | #Constraints: 29561
1063.63/1067.03 c #Conflicts: 576000 | #Constraints: 30563
1063.63/1067.03 c INPROCESSING
1063.63/1067.03 c GARBAGE COLLECT
1063.63/1067.03 c rational objective 7
1064.31/1067.74 c GLOBAL bounds - >= 7 @ 1051.77
1064.31/1067.74 c GLOBAL bounds - >= 7 @ 1051.77
1098.21/1101.79 c #Conflicts: 577000 | #Constraints: 16519
1098.21/1101.79 c #Conflicts: 578000 | #Constraints: 17523
1098.21/1101.79 c #Conflicts: 579000 | #Constraints: 18525
1098.21/1101.79 c #Conflicts: 580000 | #Constraints: 19528
1098.21/1101.79 c #Conflicts: 581000 | #Constraints: 20531
1098.21/1101.79 c #Conflicts: 582000 | #Constraints: 21532
1098.21/1101.79 c #Conflicts: 583000 | #Constraints: 22535
1098.21/1101.79 c #Conflicts: 584000 | #Constraints: 23538
1098.21/1101.79 c #Conflicts: 585000 | #Constraints: 24544
1098.21/1101.79 c #Conflicts: 586000 | #Constraints: 25550
1098.21/1101.79 c #Conflicts: 587000 | #Constraints: 26551
1098.21/1101.79 c #Conflicts: 588000 | #Constraints: 27552
1098.21/1101.79 c #Conflicts: 589000 | #Constraints: 28553
1098.21/1101.79 c #Conflicts: 590000 | #Constraints: 29556
1098.21/1101.79 c #Conflicts: 591000 | #Constraints: 30557
1098.21/1101.79 c INPROCESSING
1098.21/1101.79 c GARBAGE COLLECT
1098.21/1101.79 c rational objective 7
1098.71/1102.27 c GLOBAL bounds - >= 7 @ 1085.9
1098.71/1102.27 c GLOBAL bounds - >= 7 @ 1085.9
1152.36/1156.02 c #Conflicts: 592000 | #Constraints: 16312
1152.36/1156.02 c #Conflicts: 593000 | #Constraints: 17314
1152.36/1156.02 c #Conflicts: 594000 | #Constraints: 18322
1152.36/1156.02 c #Conflicts: 595000 | #Constraints: 19329
1152.36/1156.02 c #Conflicts: 596000 | #Constraints: 20336
1152.36/1156.02 c #Conflicts: 597000 | #Constraints: 21340
1152.36/1156.02 c #Conflicts: 598000 | #Constraints: 22343
1152.36/1156.02 c #Conflicts: 599000 | #Constraints: 23345
1152.36/1156.02 c #Conflicts: 600000 | #Constraints: 24348
1152.36/1156.02 c #Conflicts: 601000 | #Constraints: 25350
1152.36/1156.02 c #Conflicts: 602000 | #Constraints: 26352
1152.36/1156.02 c #Conflicts: 603000 | #Constraints: 27356
1152.36/1156.02 c #Conflicts: 604000 | #Constraints: 28357
1152.36/1156.02 c #Conflicts: 605000 | #Constraints: 29359
1152.36/1156.02 c #Conflicts: 606000 | #Constraints: 30361
1152.36/1156.02 c #Conflicts: 607000 | #Constraints: 31361
1152.36/1156.02 c INPROCESSING
1152.36/1156.02 c GARBAGE COLLECT
1152.36/1156.02 c rational objective 7
1152.75/1156.46 c GLOBAL bounds - >= 7 @ 1139.54
1152.75/1156.46 c GLOBAL bounds - >= 7 @ 1139.54
1193.12/1196.91 c #Conflicts: 608000 | #Constraints: 16912
1193.12/1196.91 c #Conflicts: 609000 | #Constraints: 17914
1193.12/1196.91 c #Conflicts: 610000 | #Constraints: 18922
1193.12/1196.91 c #Conflicts: 611000 | #Constraints: 19930
1193.12/1196.91 c #Conflicts: 612000 | #Constraints: 20932
1193.12/1196.91 c #Conflicts: 613000 | #Constraints: 21935
1193.12/1196.91 c #Conflicts: 614000 | #Constraints: 22937
1193.12/1196.91 c #Conflicts: 615000 | #Constraints: 23940
1193.12/1196.91 c #Conflicts: 616000 | #Constraints: 24944
1193.12/1196.91 c #Conflicts: 617000 | #Constraints: 25947
1193.12/1196.91 c #Conflicts: 618000 | #Constraints: 26948
1193.12/1196.91 c #Conflicts: 619000 | #Constraints: 27952
1193.12/1196.91 c #Conflicts: 620000 | #Constraints: 28955
1193.12/1196.91 c #Conflicts: 621000 | #Constraints: 29960
1193.12/1196.91 c #Conflicts: 622000 | #Constraints: 30962
1193.12/1196.91 c #Conflicts: 623000 | #Constraints: 31966
1193.12/1196.91 c INPROCESSING
1193.12/1196.91 c GARBAGE COLLECT
1193.12/1196.91 c rational objective 7
1193.61/1197.44 c GLOBAL bounds - >= 7 @ 1180.04
1193.61/1197.44 c GLOBAL bounds - >= 7 @ 1180.04
1225.32/1229.27 c #Conflicts: 624000 | #Constraints: 17322
1225.32/1229.27 c #Conflicts: 625000 | #Constraints: 18324
1225.32/1229.27 c #Conflicts: 626000 | #Constraints: 19325
1225.32/1229.27 c #Conflicts: 627000 | #Constraints: 20328
1225.32/1229.27 c #Conflicts: 628000 | #Constraints: 21330
1225.32/1229.27 c #Conflicts: 629000 | #Constraints: 22333
1225.32/1229.27 c #Conflicts: 630000 | #Constraints: 23337
1225.32/1229.27 c #Conflicts: 631000 | #Constraints: 24342
1225.32/1229.27 c #Conflicts: 632000 | #Constraints: 25349
1225.32/1229.27 c #Conflicts: 633000 | #Constraints: 26355
1225.32/1229.27 c #Conflicts: 634000 | #Constraints: 27359
1225.32/1229.27 c #Conflicts: 635000 | #Constraints: 28364
1225.32/1229.27 c #Conflicts: 636000 | #Constraints: 29364
1225.32/1229.27 c #Conflicts: 637000 | #Constraints: 30365
1225.32/1229.27 c #Conflicts: 638000 | #Constraints: 31373
1225.32/1229.27 c #Conflicts: 639000 | #Constraints: 32376
1225.32/1229.27 c INPROCESSING
1225.32/1229.27 c GARBAGE COLLECT
1225.32/1229.27 c rational objective 7
1225.92/1229.83 c GLOBAL bounds - >= 7 @ 1212.03
1225.92/1229.83 c GLOBAL bounds - >= 7 @ 1212.03
1258.22/1262.25 c #Conflicts: 640000 | #Constraints: 17508
1258.22/1262.25 c #Conflicts: 641000 | #Constraints: 18515
1258.22/1262.25 c #Conflicts: 642000 | #Constraints: 19517
1258.22/1262.25 c #Conflicts: 643000 | #Constraints: 20521
1258.22/1262.25 c #Conflicts: 644000 | #Constraints: 21523
1258.22/1262.25 c #Conflicts: 645000 | #Constraints: 22528
1258.22/1262.25 c #Conflicts: 646000 | #Constraints: 23530
1258.22/1262.25 c #Conflicts: 647000 | #Constraints: 24534
1258.22/1262.25 c #Conflicts: 648000 | #Constraints: 25536
1258.22/1262.25 c #Conflicts: 649000 | #Constraints: 26540
1258.22/1262.25 c #Conflicts: 650000 | #Constraints: 27551
1258.22/1262.25 c #Conflicts: 651000 | #Constraints: 28570
1258.22/1262.25 c #Conflicts: 652000 | #Constraints: 29576
1258.22/1262.25 c #Conflicts: 653000 | #Constraints: 30590
1258.22/1262.25 c #Conflicts: 654000 | #Constraints: 31601
1258.22/1262.25 c #Conflicts: 655000 | #Constraints: 32607
1258.22/1262.25 c INPROCESSING
1258.22/1262.25 c GARBAGE COLLECT
1258.22/1262.25 c rational objective 7
1258.61/1262.60 c GLOBAL bounds - >= 7 @ 1244.4
1258.61/1262.60 c GLOBAL bounds - >= 7 @ 1244.4
1313.55/1317.71 c #Conflicts: 656000 | #Constraints: 17555
1313.55/1317.71 c #Conflicts: 657000 | #Constraints: 18561
1313.55/1317.71 c #Conflicts: 658000 | #Constraints: 19568
1313.55/1317.71 c #Conflicts: 659000 | #Constraints: 20574
1313.55/1317.71 c #Conflicts: 660000 | #Constraints: 21579
1313.55/1317.71 c #Conflicts: 661000 | #Constraints: 22584
1313.55/1317.71 c #Conflicts: 662000 | #Constraints: 23588
1313.55/1317.71 c #Conflicts: 663000 | #Constraints: 24594
1313.55/1317.71 c #Conflicts: 664000 | #Constraints: 25598
1313.55/1317.71 c #Conflicts: 665000 | #Constraints: 26603
1313.55/1317.71 c #Conflicts: 666000 | #Constraints: 27607
1313.55/1317.71 c #Conflicts: 667000 | #Constraints: 28610
1313.55/1317.71 c #Conflicts: 668000 | #Constraints: 29616
1313.55/1317.71 c #Conflicts: 669000 | #Constraints: 30621
1313.55/1317.71 c #Conflicts: 670000 | #Constraints: 31625
1313.55/1317.71 c #Conflicts: 671000 | #Constraints: 32628
1313.55/1317.71 c INPROCESSING
1313.55/1317.71 c GARBAGE COLLECT
1313.55/1317.71 c rational objective 7
1314.05/1318.22 c GLOBAL bounds - >= 7 @ 1299.44
1314.05/1318.22 c GLOBAL bounds - >= 7 @ 1299.44
1349.04/1353.31 c #Conflicts: 672000 | #Constraints: 17336
1349.04/1353.31 c #Conflicts: 673000 | #Constraints: 18337
1349.04/1353.31 c #Conflicts: 674000 | #Constraints: 19339
1349.04/1353.31 c #Conflicts: 675000 | #Constraints: 20339
1349.04/1353.31 c #Conflicts: 676000 | #Constraints: 21341
1349.04/1353.31 c #Conflicts: 677000 | #Constraints: 22342
1349.04/1353.31 c #Conflicts: 678000 | #Constraints: 23343
1349.04/1353.31 c #Conflicts: 679000 | #Constraints: 24345
1349.04/1353.31 c #Conflicts: 680000 | #Constraints: 25348
1349.04/1353.31 c #Conflicts: 681000 | #Constraints: 26352
1349.04/1353.31 c #Conflicts: 682000 | #Constraints: 27354
1349.04/1353.31 c #Conflicts: 683000 | #Constraints: 28356
1349.04/1353.31 c #Conflicts: 684000 | #Constraints: 29362
1349.04/1353.31 c #Conflicts: 685000 | #Constraints: 30363
1349.04/1353.31 c #Conflicts: 686000 | #Constraints: 31368
1349.04/1353.31 c #Conflicts: 687000 | #Constraints: 32376
1349.04/1353.31 c #Conflicts: 688000 | #Constraints: 33379
1349.04/1353.31 c INPROCESSING
1349.04/1353.31 c GARBAGE COLLECT
1349.04/1353.31 c rational objective 7
1349.63/1353.97 c GLOBAL bounds - >= 7 @ 1334.8
1349.63/1353.97 c GLOBAL bounds - >= 7 @ 1334.8
1376.26/1380.68 c #Conflicts: 689000 | #Constraints: 17918
1376.26/1380.68 c #Conflicts: 690000 | #Constraints: 18923
1376.26/1380.68 c #Conflicts: 691000 | #Constraints: 19924
1376.26/1380.68 c #Conflicts: 692000 | #Constraints: 20931
1376.26/1380.68 c #Conflicts: 693000 | #Constraints: 21936
1376.26/1380.68 c #Conflicts: 694000 | #Constraints: 22942
1376.26/1380.68 c #Conflicts: 695000 | #Constraints: 23944
1376.26/1380.68 c #Conflicts: 696000 | #Constraints: 24948
1376.26/1380.68 c #Conflicts: 697000 | #Constraints: 25953
1376.26/1380.68 c #Conflicts: 698000 | #Constraints: 26961
1376.26/1380.68 c #Conflicts: 699000 | #Constraints: 27963
1376.26/1380.68 c #Conflicts: 700000 | #Constraints: 28967
1376.26/1380.68 c #Conflicts: 701000 | #Constraints: 29971
1376.26/1380.68 c #Conflicts: 702000 | #Constraints: 30976
1376.26/1380.68 c #Conflicts: 703000 | #Constraints: 31978
1376.26/1380.68 c #Conflicts: 704000 | #Constraints: 32981
1376.26/1380.68 c #Conflicts: 705000 | #Constraints: 33984
1376.26/1380.68 c INPROCESSING
1376.26/1380.68 c GARBAGE COLLECT
1376.26/1380.68 c rational objective 7
1377.06/1381.41 c GLOBAL bounds - >= 7 @ 1361.84
1377.06/1381.41 c GLOBAL bounds - >= 7 @ 1361.84
1436.68/1441.23 c #Conflicts: 706000 | #Constraints: 18330
1436.68/1441.23 c #Conflicts: 707000 | #Constraints: 19335
1436.68/1441.23 c #Conflicts: 708000 | #Constraints: 20336
1436.68/1441.23 c #Conflicts: 709000 | #Constraints: 21338
1436.68/1441.23 c #Conflicts: 710000 | #Constraints: 22340
1436.68/1441.23 c #Conflicts: 711000 | #Constraints: 23343
1436.68/1441.23 c #Conflicts: 712000 | #Constraints: 24345
1436.68/1441.23 c #Conflicts: 713000 | #Constraints: 25347
1436.68/1441.23 c #Conflicts: 714000 | #Constraints: 26350
1436.68/1441.23 c #Conflicts: 715000 | #Constraints: 27354
1436.68/1441.23 c #Conflicts: 716000 | #Constraints: 28357
1436.68/1441.23 c #Conflicts: 717000 | #Constraints: 29360
1436.68/1441.23 c #Conflicts: 718000 | #Constraints: 30362
1436.68/1441.23 c #Conflicts: 719000 | #Constraints: 31368
1436.68/1441.23 c #Conflicts: 720000 | #Constraints: 32370
1436.68/1441.23 c #Conflicts: 721000 | #Constraints: 33371
1436.68/1441.23 c #Conflicts: 722000 | #Constraints: 34372
1436.68/1441.23 c INPROCESSING
1436.68/1441.23 c GARBAGE COLLECT
1436.68/1441.23 c rational objective 7
1437.37/1441.91 c GLOBAL bounds - >= 7 @ 1421.74
1437.37/1441.91 c GLOBAL bounds - >= 7 @ 1421.74
1481.85/1486.57 c #Conflicts: 723000 | #Constraints: 18529
1481.85/1486.57 c #Conflicts: 724000 | #Constraints: 19531
1481.85/1486.57 c #Conflicts: 725000 | #Constraints: 20532
1481.85/1486.57 c #Conflicts: 726000 | #Constraints: 21532
1481.85/1486.57 c #Conflicts: 727000 | #Constraints: 22532
1481.85/1486.57 c #Conflicts: 728000 | #Constraints: 23533
1481.85/1486.57 c #Conflicts: 729000 | #Constraints: 24534
1481.85/1486.57 c #Conflicts: 730000 | #Constraints: 25539
1481.85/1486.57 c #Conflicts: 731000 | #Constraints: 26543
1481.85/1486.57 c #Conflicts: 732000 | #Constraints: 27544
1481.85/1486.57 c #Conflicts: 733000 | #Constraints: 28546
1481.85/1486.57 c #Conflicts: 734000 | #Constraints: 29547
1481.85/1486.57 c #Conflicts: 735000 | #Constraints: 30549
1481.85/1486.57 c #Conflicts: 736000 | #Constraints: 31549
1481.85/1486.57 c #Conflicts: 737000 | #Constraints: 32551
1481.85/1486.57 c #Conflicts: 738000 | #Constraints: 33553
1481.85/1486.57 c #Conflicts: 739000 | #Constraints: 34555
1481.85/1486.57 c INPROCESSING
1481.85/1486.57 c GARBAGE COLLECT
1481.85/1486.57 c rational objective 7
1482.64/1487.32 c GLOBAL bounds - >= 7 @ 1466.65
1482.64/1487.32 c GLOBAL bounds - >= 7 @ 1466.65
1527.33/1532.15 c #Conflicts: 740000 | #Constraints: 18529
1527.33/1532.15 c #Conflicts: 741000 | #Constraints: 19532
1527.33/1532.15 c #Conflicts: 742000 | #Constraints: 20536
1527.33/1532.15 c #Conflicts: 743000 | #Constraints: 21539
1527.33/1532.15 c #Conflicts: 744000 | #Constraints: 22543
1527.33/1532.15 c #Conflicts: 745000 | #Constraints: 23547
1527.33/1532.15 c #Conflicts: 746000 | #Constraints: 24557
1527.33/1532.15 c #Conflicts: 747000 | #Constraints: 25560
1527.33/1532.15 c #Conflicts: 748000 | #Constraints: 26564
1527.33/1532.15 c #Conflicts: 749000 | #Constraints: 27569
1527.33/1532.15 c #Conflicts: 750000 | #Constraints: 28576
1527.33/1532.15 c #Conflicts: 751000 | #Constraints: 29582
1527.33/1532.15 c #Conflicts: 752000 | #Constraints: 30586
1527.33/1532.15 c #Conflicts: 753000 | #Constraints: 31592
1527.33/1532.15 c #Conflicts: 754000 | #Constraints: 32597
1527.33/1532.15 c #Conflicts: 755000 | #Constraints: 33602
1527.33/1532.15 c #Conflicts: 756000 | #Constraints: 34606
1527.33/1532.15 c INPROCESSING
1527.33/1532.15 c GARBAGE COLLECT
1527.33/1532.15 c rational objective 7
1527.71/1532.56 c GLOBAL bounds - >= 7 @ 1511.39
1527.71/1532.56 c GLOBAL bounds - >= 7 @ 1511.39
1568.80/1573.70 c #Conflicts: 757000 | #Constraints: 18327
1568.80/1573.70 c #Conflicts: 758000 | #Constraints: 19331
1568.80/1573.70 c #Conflicts: 759000 | #Constraints: 20333
1568.80/1573.70 c #Conflicts: 760000 | #Constraints: 21335
1568.80/1573.70 c #Conflicts: 761000 | #Constraints: 22336
1568.80/1573.70 c #Conflicts: 762000 | #Constraints: 23341
1568.80/1573.70 c #Conflicts: 763000 | #Constraints: 24344
1568.80/1573.70 c #Conflicts: 764000 | #Constraints: 25345
1568.80/1573.70 c #Conflicts: 765000 | #Constraints: 26347
1568.80/1573.70 c #Conflicts: 766000 | #Constraints: 27349
1568.80/1573.70 c #Conflicts: 767000 | #Constraints: 28350
1568.80/1573.70 c #Conflicts: 768000 | #Constraints: 29354
1568.80/1573.70 c #Conflicts: 769000 | #Constraints: 30357
1568.80/1573.70 c #Conflicts: 770000 | #Constraints: 31365
1568.80/1573.70 c #Conflicts: 771000 | #Constraints: 32369
1568.80/1573.70 c #Conflicts: 772000 | #Constraints: 33373
1568.80/1573.70 c #Conflicts: 773000 | #Constraints: 34375
1568.80/1573.70 c #Conflicts: 774000 | #Constraints: 35381
1568.80/1573.70 c INPROCESSING
1568.80/1573.70 c GARBAGE COLLECT
1568.80/1573.70 c rational objective 7
1569.11/1574.09 c GLOBAL bounds - >= 7 @ 1552.43
1569.11/1574.09 c GLOBAL bounds - >= 7 @ 1552.43
1619.97/1625.10 c #Conflicts: 775000 | #Constraints: 18929
1619.97/1625.10 c #Conflicts: 776000 | #Constraints: 19934
1619.97/1625.10 c #Conflicts: 777000 | #Constraints: 20940
1619.97/1625.10 c #Conflicts: 778000 | #Constraints: 21945
1619.97/1625.10 c #Conflicts: 779000 | #Constraints: 22949
1619.97/1625.10 c #Conflicts: 780000 | #Constraints: 23949
1619.97/1625.10 c #Conflicts: 781000 | #Constraints: 24953
1619.97/1625.10 c #Conflicts: 782000 | #Constraints: 25958
1619.97/1625.10 c #Conflicts: 783000 | #Constraints: 26966
1619.97/1625.10 c #Conflicts: 784000 | #Constraints: 27975
1619.97/1625.10 c #Conflicts: 785000 | #Constraints: 28988
1619.97/1625.10 c #Conflicts: 786000 | #Constraints: 29998
1619.97/1625.10 c #Conflicts: 787000 | #Constraints: 31005
1619.97/1625.10 c #Conflicts: 788000 | #Constraints: 32017
1619.97/1625.10 c #Conflicts: 789000 | #Constraints: 33139
1619.97/1625.10 c #Conflicts: 790000 | #Constraints: 34198
1619.97/1625.10 c #Conflicts: 791000 | #Constraints: 35241
1619.97/1625.10 c #Conflicts: 792000 | #Constraints: 36242
1619.97/1625.10 c INPROCESSING
1619.97/1625.10 c GARBAGE COLLECT
1619.97/1625.10 c rational objective 7
1620.97/1626.05 c GLOBAL bounds - >= 7 @ 1603.88
1620.97/1626.05 c GLOBAL bounds - >= 7 @ 1603.88
1664.94/1670.11 c #Conflicts: 793000 | #Constraints: 19437
1664.94/1670.11 c #Conflicts: 794000 | #Constraints: 20438
1664.94/1670.11 c #Conflicts: 795000 | #Constraints: 21440
1664.94/1670.11 c #Conflicts: 796000 | #Constraints: 22444
1664.94/1670.11 c #Conflicts: 797000 | #Constraints: 23448
1664.94/1670.11 c #Conflicts: 798000 | #Constraints: 24449
1664.94/1670.11 c #Conflicts: 799000 | #Constraints: 25455
1664.94/1670.11 c #Conflicts: 800000 | #Constraints: 26458
1664.94/1670.11 c #Conflicts: 801000 | #Constraints: 27463
1664.94/1670.11 c #Conflicts: 802000 | #Constraints: 28466
1664.94/1670.11 c #Conflicts: 803000 | #Constraints: 29467
1664.94/1670.11 c #Conflicts: 804000 | #Constraints: 30470
1664.94/1670.11 c #Conflicts: 805000 | #Constraints: 31477
1664.94/1670.11 c #Conflicts: 806000 | #Constraints: 32484
1664.94/1670.11 c #Conflicts: 807000 | #Constraints: 33490
1664.94/1670.11 c #Conflicts: 808000 | #Constraints: 34497
1664.94/1670.11 c #Conflicts: 809000 | #Constraints: 35499
1664.94/1670.11 c #Conflicts: 810000 | #Constraints: 36501
1664.94/1670.11 c INPROCESSING
1664.94/1670.11 c GARBAGE COLLECT
1664.94/1670.11 c rational objective 7
1665.53/1670.73 c GLOBAL bounds - >= 7 @ 1648.07
1665.53/1670.73 c GLOBAL bounds - >= 7 @ 1648.07
1708.01/1713.33 c #Conflicts: 811000 | #Constraints: 19580
1708.01/1713.33 c #Conflicts: 812000 | #Constraints: 20585
1708.01/1713.33 c #Conflicts: 813000 | #Constraints: 21588
1708.01/1713.33 c #Conflicts: 814000 | #Constraints: 22594
1708.01/1713.33 c #Conflicts: 815000 | #Constraints: 23602
1708.01/1713.33 c #Conflicts: 816000 | #Constraints: 24605
1708.01/1713.33 c #Conflicts: 817000 | #Constraints: 25607
1708.01/1713.33 c #Conflicts: 818000 | #Constraints: 26611
1708.01/1713.33 c #Conflicts: 819000 | #Constraints: 27617
1708.01/1713.33 c #Conflicts: 820000 | #Constraints: 28621
1708.01/1713.33 c #Conflicts: 821000 | #Constraints: 29624
1708.01/1713.33 c #Conflicts: 822000 | #Constraints: 30627
1708.01/1713.33 c #Conflicts: 823000 | #Constraints: 31630
1708.01/1713.33 c #Conflicts: 824000 | #Constraints: 32634
1708.01/1713.33 c #Conflicts: 825000 | #Constraints: 33638
1708.01/1713.33 c #Conflicts: 826000 | #Constraints: 34640
1708.01/1713.33 c #Conflicts: 827000 | #Constraints: 35642
1708.01/1713.33 c #Conflicts: 828000 | #Constraints: 36647
1708.01/1713.33 c INPROCESSING
1708.01/1713.33 c GARBAGE COLLECT
1708.01/1713.33 c rational objective 7
1708.72/1714.05 c GLOBAL bounds - >= 7 @ 1690.86
1708.72/1714.05 c GLOBAL bounds - >= 7 @ 1690.86
1768.83/1774.33 c #Conflicts: 829000 | #Constraints: 19561
1768.83/1774.33 c #Conflicts: 830000 | #Constraints: 20565
1768.83/1774.33 c #Conflicts: 831000 | #Constraints: 21566
1768.83/1774.33 c #Conflicts: 832000 | #Constraints: 22570
1768.83/1774.33 c #Conflicts: 833000 | #Constraints: 23575
1768.83/1774.33 c #Conflicts: 834000 | #Constraints: 24577
1768.83/1774.33 c #Conflicts: 835000 | #Constraints: 25580
1768.83/1774.33 c #Conflicts: 836000 | #Constraints: 26584
1768.83/1774.33 c #Conflicts: 837000 | #Constraints: 27588
1768.83/1774.33 c #Conflicts: 838000 | #Constraints: 28593
1768.83/1774.33 c #Conflicts: 839000 | #Constraints: 29597
1768.83/1774.33 c #Conflicts: 840000 | #Constraints: 30599
1768.83/1774.33 c #Conflicts: 841000 | #Constraints: 31601
1768.83/1774.33 c #Conflicts: 842000 | #Constraints: 32603
1768.83/1774.33 c #Conflicts: 843000 | #Constraints: 33605
1768.83/1774.33 c #Conflicts: 844000 | #Constraints: 34605
1768.83/1774.33 c #Conflicts: 845000 | #Constraints: 35605
1768.83/1774.33 c #Conflicts: 846000 | #Constraints: 36608
1768.83/1774.33 c INPROCESSING
1768.83/1774.33 c GARBAGE COLLECT
1768.83/1774.33 c rational objective 7
1769.23/1774.72 c GLOBAL bounds - >= 7 @ 1750.86
1769.23/1774.72 c GLOBAL bounds - >= 7 @ 1750.86
1805.92/1811.54 c #Conflicts: 847000 | #Constraints: 19330
1805.92/1811.54 c #Conflicts: 848000 | #Constraints: 20333
1805.92/1811.54 c #Conflicts: 849000 | #Constraints: 21335
1805.92/1811.54 c #Conflicts: 850000 | #Constraints: 22336
1805.92/1811.54 c #Conflicts: 851000 | #Constraints: 23340
1805.92/1811.54 c #Conflicts: 852000 | #Constraints: 24340
1805.92/1811.54 c #Conflicts: 853000 | #Constraints: 25343
1805.92/1811.54 c #Conflicts: 854000 | #Constraints: 26346
1805.92/1811.54 c #Conflicts: 855000 | #Constraints: 27348
1805.92/1811.54 c #Conflicts: 856000 | #Constraints: 28354
1805.92/1811.54 c #Conflicts: 857000 | #Constraints: 29360
1805.92/1811.54 c #Conflicts: 858000 | #Constraints: 30364
1805.92/1811.54 c #Conflicts: 859000 | #Constraints: 31368
1805.92/1811.54 c #Conflicts: 860000 | #Constraints: 32370
1805.92/1811.54 c #Conflicts: 861000 | #Constraints: 33370
1805.92/1811.54 c #Conflicts: 862000 | #Constraints: 34371
1805.92/1811.54 c #Conflicts: 863000 | #Constraints: 35376
1805.92/1811.54 c #Conflicts: 864000 | #Constraints: 36383
1805.92/1811.54 c #Conflicts: 865000 | #Constraints: 37390
1805.92/1811.54 c INPROCESSING
1805.92/1811.54 c GARBAGE COLLECT
1805.92/1811.54 c rational objective 7
1806.61/1812.23 c GLOBAL bounds - >= 7 @ 1787.88
1806.61/1812.23 c GLOBAL bounds - >= 7 @ 1787.88
1849.08/1854.87 c #Conflicts: 866000 | #Constraints: 19937
1849.08/1854.87 c #Conflicts: 867000 | #Constraints: 20941
1849.08/1854.87 c #Conflicts: 868000 | #Constraints: 21943
1849.08/1854.87 c #Conflicts: 869000 | #Constraints: 22949
1849.08/1854.87 c #Conflicts: 870000 | #Constraints: 23952
1849.08/1854.87 c #Conflicts: 871000 | #Constraints: 24955
1849.08/1854.87 c #Conflicts: 872000 | #Constraints: 25957
1849.08/1854.87 c #Conflicts: 873000 | #Constraints: 26959
1849.08/1854.87 c #Conflicts: 874000 | #Constraints: 27968
1849.08/1854.87 c #Conflicts: 875000 | #Constraints: 28973
1849.08/1854.87 c #Conflicts: 876000 | #Constraints: 29975
1849.08/1854.87 c #Conflicts: 877000 | #Constraints: 30977
1849.08/1854.87 c #Conflicts: 878000 | #Constraints: 31981
1849.08/1854.87 c #Conflicts: 879000 | #Constraints: 32982
1849.08/1854.87 c #Conflicts: 880000 | #Constraints: 33982
1849.08/1854.87 c #Conflicts: 881000 | #Constraints: 34983
1849.08/1854.87 c #Conflicts: 882000 | #Constraints: 35983
1849.08/1854.87 c #Conflicts: 883000 | #Constraints: 36990
1849.08/1854.87 c #Conflicts: 884000 | #Constraints: 37994
1849.08/1854.87 c INPROCESSING
1849.08/1854.87 c GARBAGE COLLECT
1849.08/1854.87 c rational objective 7
1849.58/1855.36 c GLOBAL bounds - >= 7 @ 1830.49
1849.58/1855.36 c GLOBAL bounds - >= 7 @ 1830.49
1888.56/1894.40 c #Conflicts: 885000 | #Constraints: 20330
1888.56/1894.40 c #Conflicts: 886000 | #Constraints: 21339
1888.56/1894.40 c #Conflicts: 887000 | #Constraints: 22352
1888.56/1894.40 c #Conflicts: 888000 | #Constraints: 23368
1888.56/1894.40 c #Conflicts: 889000 | #Constraints: 24379
1888.56/1894.40 c #Conflicts: 890000 | #Constraints: 25390
1888.56/1894.40 c #Conflicts: 891000 | #Constraints: 26395
1888.56/1894.40 c #Conflicts: 892000 | #Constraints: 27400
1888.56/1894.40 c #Conflicts: 893000 | #Constraints: 28404
1888.56/1894.40 c #Conflicts: 894000 | #Constraints: 29405
1888.56/1894.40 c #Conflicts: 895000 | #Constraints: 30414
1888.56/1894.40 c #Conflicts: 896000 | #Constraints: 31419
1888.56/1894.40 c #Conflicts: 897000 | #Constraints: 32427
1888.56/1894.40 c #Conflicts: 898000 | #Constraints: 33434
1888.56/1894.40 c #Conflicts: 899000 | #Constraints: 34439
1888.56/1894.40 c #Conflicts: 900000 | #Constraints: 35447
1888.56/1894.40 c #Conflicts: 901000 | #Constraints: 36449
1888.56/1894.40 c #Conflicts: 902000 | #Constraints: 37459
1888.56/1894.40 c #Conflicts: 903000 | #Constraints: 38466
1888.56/1894.40 c INPROCESSING
1888.56/1894.40 c GARBAGE COLLECT
1888.56/1894.40 c rational objective 7
1888.86/1894.73 c GLOBAL bounds - >= 7 @ 1869.3
1888.86/1894.73 c GLOBAL bounds - >= 7 @ 1869.3
1944.78/1950.81 c #Conflicts: 904000 | #Constraints: 20563
1944.78/1950.81 c #Conflicts: 905000 | #Constraints: 21571
1944.78/1950.81 c #Conflicts: 906000 | #Constraints: 22575
1944.78/1950.81 c #Conflicts: 907000 | #Constraints: 23576
1944.78/1950.81 c #Conflicts: 908000 | #Constraints: 24581
1944.78/1950.81 c #Conflicts: 909000 | #Constraints: 25588
1944.78/1950.81 c #Conflicts: 910000 | #Constraints: 26594
1944.78/1950.81 c #Conflicts: 911000 | #Constraints: 27596
1944.78/1950.81 c #Conflicts: 912000 | #Constraints: 28601
1944.78/1950.81 c #Conflicts: 913000 | #Constraints: 29606
1944.78/1950.81 c #Conflicts: 914000 | #Constraints: 30607
1944.78/1950.81 c #Conflicts: 915000 | #Constraints: 31612
1944.78/1950.81 c #Conflicts: 916000 | #Constraints: 32617
1944.78/1950.81 c #Conflicts: 917000 | #Constraints: 33634
1944.78/1950.81 c #Conflicts: 918000 | #Constraints: 34653
1944.78/1950.81 c #Conflicts: 919000 | #Constraints: 35662
1944.78/1950.81 c #Conflicts: 920000 | #Constraints: 36670
1944.78/1950.81 c #Conflicts: 921000 | #Constraints: 37674
1944.78/1950.81 c #Conflicts: 922000 | #Constraints: 38675
1944.78/1950.81 c INPROCESSING
1944.78/1950.81 c GARBAGE COLLECT
1944.78/1950.81 c rational objective 7
1945.28/1951.36 c GLOBAL bounds - >= 7 @ 1925.32
1945.28/1951.36 c GLOBAL bounds - >= 7 @ 1925.32
1995.63/2001.82 c #Conflicts: 923000 | #Constraints: 20560
1995.63/2001.82 c #Conflicts: 924000 | #Constraints: 21563
1995.63/2001.82 c #Conflicts: 925000 | #Constraints: 22565
1995.63/2001.82 c #Conflicts: 926000 | #Constraints: 23574
1995.63/2001.82 c #Conflicts: 927000 | #Constraints: 24579
1995.63/2001.82 c #Conflicts: 928000 | #Constraints: 25582
1995.63/2001.82 c #Conflicts: 929000 | #Constraints: 26586
1995.63/2001.82 c #Conflicts: 930000 | #Constraints: 27589
1995.63/2001.82 c #Conflicts: 931000 | #Constraints: 28594
1995.63/2001.82 c #Conflicts: 932000 | #Constraints: 29597
1995.63/2001.82 c #Conflicts: 933000 | #Constraints: 30603
1995.63/2001.82 c #Conflicts: 934000 | #Constraints: 31605
1995.63/2001.82 c #Conflicts: 935000 | #Constraints: 32610
1995.63/2001.82 c #Conflicts: 936000 | #Constraints: 33612
1995.63/2001.82 c #Conflicts: 937000 | #Constraints: 34616
1995.63/2001.82 c #Conflicts: 938000 | #Constraints: 35621
1995.63/2001.82 c #Conflicts: 939000 | #Constraints: 36627
1995.63/2001.82 c #Conflicts: 940000 | #Constraints: 37630
1995.63/2001.82 c #Conflicts: 941000 | #Constraints: 38634
1995.63/2001.82 c INPROCESSING
1995.63/2001.82 c GARBAGE COLLECT
1995.63/2001.82 c rational objective 7
1996.13/2002.35 c GLOBAL bounds - >= 7 @ 1975.7
1996.13/2002.35 c GLOBAL bounds - >= 7 @ 1975.7
2037.19/2043.52 c #Conflicts: 942000 | #Constraints: 20361
2037.19/2043.52 c #Conflicts: 943000 | #Constraints: 21366
2037.19/2043.52 c #Conflicts: 944000 | #Constraints: 22369
2037.19/2043.52 c #Conflicts: 945000 | #Constraints: 23373
2037.19/2043.52 c #Conflicts: 946000 | #Constraints: 24376
2037.19/2043.52 c #Conflicts: 947000 | #Constraints: 25380
2037.19/2043.52 c #Conflicts: 948000 | #Constraints: 26383
2037.19/2043.52 c #Conflicts: 949000 | #Constraints: 27389
2037.19/2043.52 c #Conflicts: 950000 | #Constraints: 28394
2037.19/2043.52 c #Conflicts: 951000 | #Constraints: 29402
2037.19/2043.52 c #Conflicts: 952000 | #Constraints: 30408
2037.19/2043.52 c #Conflicts: 953000 | #Constraints: 31411
2037.19/2043.52 c #Conflicts: 954000 | #Constraints: 32415
2037.19/2043.52 c #Conflicts: 955000 | #Constraints: 33422
2037.19/2043.52 c #Conflicts: 956000 | #Constraints: 34437
2037.19/2043.52 c #Conflicts: 957000 | #Constraints: 35443
2037.19/2043.52 c #Conflicts: 958000 | #Constraints: 36447
2037.19/2043.52 c #Conflicts: 959000 | #Constraints: 37449
2037.19/2043.52 c #Conflicts: 960000 | #Constraints: 38452
2037.19/2043.52 c #Conflicts: 961000 | #Constraints: 39452
2037.19/2043.52 c INPROCESSING
2037.19/2043.52 c GARBAGE COLLECT
2037.19/2043.52 c rational objective 7
2037.71/2044.03 c GLOBAL bounds - >= 7 @ 2016.74
2037.71/2044.03 c GLOBAL bounds - >= 7 @ 2016.74
2067.89/2074.30 c #Conflicts: 962000 | #Constraints: 20989
2067.89/2074.30 c #Conflicts: 963000 | #Constraints: 21993
2067.89/2074.30 c #Conflicts: 964000 | #Constraints: 22998
2067.89/2074.30 c #Conflicts: 965000 | #Constraints: 24002
2067.89/2074.30 c #Conflicts: 966000 | #Constraints: 25006
2067.89/2074.30 c #Conflicts: 967000 | #Constraints: 26010
2067.89/2074.30 c #Conflicts: 968000 | #Constraints: 27016
2067.89/2074.30 c #Conflicts: 969000 | #Constraints: 28021
2067.89/2074.30 c #Conflicts: 970000 | #Constraints: 29022
2067.89/2074.30 c #Conflicts: 971000 | #Constraints: 30025
2067.89/2074.30 c #Conflicts: 972000 | #Constraints: 31028
2067.89/2074.30 c #Conflicts: 973000 | #Constraints: 32029
2067.89/2074.30 c #Conflicts: 974000 | #Constraints: 33033
2067.89/2074.30 c #Conflicts: 975000 | #Constraints: 34036
2067.89/2074.30 c #Conflicts: 976000 | #Constraints: 35040
2067.89/2074.30 c #Conflicts: 977000 | #Constraints: 36042
2067.89/2074.30 c #Conflicts: 978000 | #Constraints: 37044
2067.89/2074.30 c #Conflicts: 979000 | #Constraints: 38050
2067.89/2074.30 c #Conflicts: 980000 | #Constraints: 39064
2067.89/2074.30 c #Conflicts: 981000 | #Constraints: 40079
2067.89/2074.31 c INPROCESSING
2067.89/2074.31 c GARBAGE COLLECT
2067.89/2074.31 c rational objective 7
2068.99/2075.41 c GLOBAL bounds - >= 7 @ 2047.6
2068.99/2075.41 c GLOBAL bounds - >= 7 @ 2047.6
2109.16/2115.73 c #Conflicts: 982000 | #Constraints: 21403
2109.16/2115.73 c #Conflicts: 983000 | #Constraints: 22406
2109.16/2115.73 c #Conflicts: 984000 | #Constraints: 23406
2109.16/2115.73 c #Conflicts: 985000 | #Constraints: 24408
2109.16/2115.73 c #Conflicts: 986000 | #Constraints: 25408
2109.16/2115.73 c #Conflicts: 987000 | #Constraints: 26408
2109.16/2115.73 c #Conflicts: 988000 | #Constraints: 27409
2109.16/2115.73 c #Conflicts: 989000 | #Constraints: 28409
2109.16/2115.73 c #Conflicts: 990000 | #Constraints: 29416
2109.16/2115.73 c #Conflicts: 991000 | #Constraints: 30421
2109.16/2115.73 c #Conflicts: 992000 | #Constraints: 31423
2109.16/2115.73 c #Conflicts: 993000 | #Constraints: 32427
2109.16/2115.73 c #Conflicts: 994000 | #Constraints: 33435
2109.16/2115.73 c #Conflicts: 995000 | #Constraints: 34435
2109.16/2115.73 c #Conflicts: 996000 | #Constraints: 35443
2109.16/2115.73 c #Conflicts: 997000 | #Constraints: 36451
2109.16/2115.73 c #Conflicts: 998000 | #Constraints: 37462
2109.16/2115.73 c #Conflicts: 999000 | #Constraints: 38467
2109.16/2115.73 c #Conflicts: 1000000 | #Constraints: 39473
2109.16/2115.73 c #Conflicts: 1001000 | #Constraints: 40479
2109.16/2115.73 c INPROCESSING
2109.16/2115.73 c GARBAGE COLLECT
2109.16/2115.73 c rational objective 7
2109.65/2116.21 c GLOBAL bounds - >= 7 @ 2087.78
2109.65/2116.21 c GLOBAL bounds - >= 7 @ 2087.78
2168.96/2175.75 c #Conflicts: 1002000 | #Constraints: 21649
2168.96/2175.75 c #Conflicts: 1003000 | #Constraints: 22651
2168.96/2175.75 c #Conflicts: 1004000 | #Constraints: 23658
2168.96/2175.75 c #Conflicts: 1005000 | #Constraints: 24664
2168.96/2175.75 c #Conflicts: 1006000 | #Constraints: 25670
2168.96/2175.75 c #Conflicts: 1007000 | #Constraints: 26673
2168.96/2175.75 c #Conflicts: 1008000 | #Constraints: 27676
2168.96/2175.75 c #Conflicts: 1009000 | #Constraints: 28681
2168.96/2175.75 c #Conflicts: 1010000 | #Constraints: 29686
2168.96/2175.75 c #Conflicts: 1011000 | #Constraints: 30688
2168.96/2175.75 c #Conflicts: 1012000 | #Constraints: 31693
2168.96/2175.75 c #Conflicts: 1013000 | #Constraints: 32696
2168.96/2175.75 c #Conflicts: 1014000 | #Constraints: 33699
2168.96/2175.75 c #Conflicts: 1015000 | #Constraints: 34703
2168.96/2175.75 c #Conflicts: 1016000 | #Constraints: 35705
2168.96/2175.75 c #Conflicts: 1017000 | #Constraints: 36707
2168.96/2175.75 c #Conflicts: 1018000 | #Constraints: 37708
2168.96/2175.75 c #Conflicts: 1019000 | #Constraints: 38718
2168.96/2175.75 c #Conflicts: 1020000 | #Constraints: 39724
2168.96/2175.75 c #Conflicts: 1021000 | #Constraints: 40740
2168.96/2175.75 c INPROCESSING
2168.96/2175.75 c GARBAGE COLLECT
2168.96/2175.75 c rational objective 7
2169.96/2176.74 c GLOBAL bounds - >= 7 @ 2147.67
2169.96/2176.74 c GLOBAL bounds - >= 7 @ 2147.67
2255.59/2262.68 c #Conflicts: 1022000 | #Constraints: 21611
2255.59/2262.68 c #Conflicts: 1023000 | #Constraints: 22616
2255.59/2262.68 c #Conflicts: 1024000 | #Constraints: 23619
2255.59/2262.68 c #Conflicts: 1025000 | #Constraints: 24622
2255.59/2262.68 c #Conflicts: 1026000 | #Constraints: 25629
2255.59/2262.68 c #Conflicts: 1027000 | #Constraints: 26632
2255.59/2262.68 c #Conflicts: 1028000 | #Constraints: 27638
2255.59/2262.68 c #Conflicts: 1029000 | #Constraints: 28640
2255.59/2262.68 c #Conflicts: 1030000 | #Constraints: 29642
2255.59/2262.68 c #Conflicts: 1031000 | #Constraints: 30644
2255.59/2262.68 c #Conflicts: 1032000 | #Constraints: 31645
2255.59/2262.68 c #Conflicts: 1033000 | #Constraints: 32647
2255.59/2262.68 c #Conflicts: 1034000 | #Constraints: 33651
2255.59/2262.68 c #Conflicts: 1035000 | #Constraints: 34654
2255.59/2262.68 c #Conflicts: 1036000 | #Constraints: 35658
2255.59/2262.68 c #Conflicts: 1037000 | #Constraints: 36664
2255.59/2262.68 c #Conflicts: 1038000 | #Constraints: 37683
2255.59/2262.68 c #Conflicts: 1039000 | #Constraints: 38700
2255.59/2262.68 c #Conflicts: 1040000 | #Constraints: 39711
2255.59/2262.68 c #Conflicts: 1041000 | #Constraints: 40725
2255.59/2262.68 c INPROCESSING
2255.59/2262.68 c GARBAGE COLLECT
2255.59/2262.68 c rational objective 7
2256.00/2263.04 c GLOBAL bounds - >= 7 @ 2232.73
2256.00/2263.04 c GLOBAL bounds - >= 7 @ 2232.73
2283.80/2290.90 c #Conflicts: 1042000 | #Constraints: 21427
2283.80/2290.90 c #Conflicts: 1043000 | #Constraints: 22429
2283.80/2290.90 c #Conflicts: 1044000 | #Constraints: 23429
2283.80/2290.90 c #Conflicts: 1045000 | #Constraints: 24429
2283.80/2290.90 c #Conflicts: 1046000 | #Constraints: 25429
2283.80/2290.90 c #Conflicts: 1047000 | #Constraints: 26430
2283.80/2290.90 c #Conflicts: 1048000 | #Constraints: 27432
2283.80/2290.90 c #Conflicts: 1049000 | #Constraints: 28434
2283.80/2290.90 c #Conflicts: 1050000 | #Constraints: 29436
2283.80/2290.90 c #Conflicts: 1051000 | #Constraints: 30437
2283.80/2290.90 c #Conflicts: 1052000 | #Constraints: 31437
2283.80/2290.90 c #Conflicts: 1053000 | #Constraints: 32439
2283.80/2290.90 c #Conflicts: 1054000 | #Constraints: 33441
2283.80/2290.90 c #Conflicts: 1055000 | #Constraints: 34442
2283.80/2290.90 c #Conflicts: 1056000 | #Constraints: 35443
2283.80/2290.90 c #Conflicts: 1057000 | #Constraints: 36443
2283.80/2290.90 c #Conflicts: 1058000 | #Constraints: 37451
2283.80/2290.90 c #Conflicts: 1059000 | #Constraints: 38460
2283.80/2290.90 c #Conflicts: 1060000 | #Constraints: 39464
2283.80/2290.90 c #Conflicts: 1061000 | #Constraints: 40467
2283.80/2290.90 c #Conflicts: 1062000 | #Constraints: 41472
2283.80/2290.90 c INPROCESSING
2283.80/2290.90 c GARBAGE COLLECT
2283.80/2290.90 c rational objective 7
2284.30/2291.47 c GLOBAL bounds - >= 7 @ 2260.67
2284.30/2291.47 c GLOBAL bounds - >= 7 @ 2260.67
2341.82/2349.19 c #Conflicts: 1063000 | #Constraints: 22007
2341.82/2349.19 c #Conflicts: 1064000 | #Constraints: 23008
2341.82/2349.19 c #Conflicts: 1065000 | #Constraints: 24008
2341.82/2349.19 c #Conflicts: 1066000 | #Constraints: 25013
2341.82/2349.19 c #Conflicts: 1067000 | #Constraints: 26017
2341.82/2349.19 c #Conflicts: 1068000 | #Constraints: 27020
2341.82/2349.19 c #Conflicts: 1069000 | #Constraints: 28024
2341.82/2349.19 c #Conflicts: 1070000 | #Constraints: 29026
2341.82/2349.19 c #Conflicts: 1071000 | #Constraints: 30028
2341.82/2349.19 c #Conflicts: 1072000 | #Constraints: 31032
2341.82/2349.19 c #Conflicts: 1073000 | #Constraints: 32035
2341.82/2349.19 c #Conflicts: 1074000 | #Constraints: 33039
2341.82/2349.19 c #Conflicts: 1075000 | #Constraints: 34042
2341.82/2349.19 c #Conflicts: 1076000 | #Constraints: 35045
2341.82/2349.19 c #Conflicts: 1077000 | #Constraints: 36048
2341.82/2349.19 c #Conflicts: 1078000 | #Constraints: 37050
2341.82/2349.19 c #Conflicts: 1079000 | #Constraints: 38053
2341.82/2349.19 c #Conflicts: 1080000 | #Constraints: 39058
2341.82/2349.19 c #Conflicts: 1081000 | #Constraints: 40061
2341.82/2349.19 c #Conflicts: 1082000 | #Constraints: 41065
2341.82/2349.19 c #Conflicts: 1083000 | #Constraints: 42067
2341.82/2349.19 c INPROCESSING
2341.82/2349.19 c GARBAGE COLLECT
2341.82/2349.19 c rational objective 7
2342.32/2349.66 c GLOBAL bounds - >= 7 @ 2318.26
2342.32/2349.66 c GLOBAL bounds - >= 7 @ 2318.26
2377.10/2384.58 c #Conflicts: 1084000 | #Constraints: 22389
2377.10/2384.58 c #Conflicts: 1085000 | #Constraints: 23392
2377.10/2384.58 c #Conflicts: 1086000 | #Constraints: 24400
2377.10/2384.58 c #Conflicts: 1087000 | #Constraints: 25405
2377.10/2384.58 c #Conflicts: 1088000 | #Constraints: 26420
2377.10/2384.58 c #Conflicts: 1089000 | #Constraints: 27423
2377.10/2384.58 c #Conflicts: 1090000 | #Constraints: 28427
2377.10/2384.58 c #Conflicts: 1091000 | #Constraints: 29431
2377.10/2384.58 c #Conflicts: 1092000 | #Constraints: 30435
2377.10/2384.58 c #Conflicts: 1093000 | #Constraints: 31440
2377.10/2384.58 c #Conflicts: 1094000 | #Constraints: 32450
2377.10/2384.58 c #Conflicts: 1095000 | #Constraints: 33453
2377.10/2384.58 c #Conflicts: 1096000 | #Constraints: 34457
2377.10/2384.58 c #Conflicts: 1097000 | #Constraints: 35459
2377.10/2384.58 c #Conflicts: 1098000 | #Constraints: 36461
2377.10/2384.58 c #Conflicts: 1099000 | #Constraints: 37466
2377.10/2384.58 c #Conflicts: 1100000 | #Constraints: 38484
2377.10/2384.58 c #Conflicts: 1101000 | #Constraints: 39505
2377.10/2384.58 c #Conflicts: 1102000 | #Constraints: 40520
2377.10/2384.58 c #Conflicts: 1103000 | #Constraints: 41533
2377.10/2384.58 c #Conflicts: 1104000 | #Constraints: 42542
2377.10/2384.58 c INPROCESSING
2377.10/2384.58 c GARBAGE COLLECT
2377.10/2384.58 c rational objective 7
2377.80/2385.20 c GLOBAL bounds - >= 7 @ 2353.22
2377.80/2385.20 c GLOBAL bounds - >= 7 @ 2353.22
2442.86/2450.61 c #Conflicts: 1105000 | #Constraints: 22656
2442.86/2450.61 c #Conflicts: 1106000 | #Constraints: 23656
2442.86/2450.61 c #Conflicts: 1107000 | #Constraints: 24658
2442.86/2450.61 c #Conflicts: 1108000 | #Constraints: 25658
2442.86/2450.61 c #Conflicts: 1109000 | #Constraints: 26661
2442.86/2450.61 c #Conflicts: 1110000 | #Constraints: 27666
2442.86/2450.61 c #Conflicts: 1111000 | #Constraints: 28669
2442.86/2450.61 c #Conflicts: 1112000 | #Constraints: 29672
2442.86/2450.61 c #Conflicts: 1113000 | #Constraints: 30672
2442.86/2450.61 c #Conflicts: 1114000 | #Constraints: 31672
2442.86/2450.61 c #Conflicts: 1115000 | #Constraints: 32673
2442.86/2450.61 c #Conflicts: 1116000 | #Constraints: 33674
2442.86/2450.61 c #Conflicts: 1117000 | #Constraints: 34675
2442.86/2450.61 c #Conflicts: 1118000 | #Constraints: 35675
2442.86/2450.61 c #Conflicts: 1119000 | #Constraints: 36675
2442.86/2450.61 c #Conflicts: 1120000 | #Constraints: 37676
2442.86/2450.61 c #Conflicts: 1121000 | #Constraints: 38677
2442.86/2450.61 c #Conflicts: 1122000 | #Constraints: 39677
2442.86/2450.61 c #Conflicts: 1123000 | #Constraints: 40678
2442.86/2450.61 c #Conflicts: 1124000 | #Constraints: 41679
2442.86/2450.61 c #Conflicts: 1125000 | #Constraints: 42679
2442.86/2450.61 c INPROCESSING
2442.86/2450.61 c GARBAGE COLLECT
2442.86/2450.61 c rational objective 7
2443.15/2450.95 c GLOBAL bounds - >= 7 @ 2418.13
2443.15/2450.95 c GLOBAL bounds - >= 7 @ 2418.13
2502.93/2511.01 c #Conflicts: 1126000 | #Constraints: 22660
2502.93/2511.01 c #Conflicts: 1127000 | #Constraints: 23662
2502.93/2511.01 c #Conflicts: 1128000 | #Constraints: 24671
2502.93/2511.01 c #Conflicts: 1129000 | #Constraints: 25676
2502.93/2511.01 c #Conflicts: 1130000 | #Constraints: 26679
2502.93/2511.01 c #Conflicts: 1131000 | #Constraints: 27683
2502.93/2511.01 c #Conflicts: 1132000 | #Constraints: 28686
2502.93/2511.01 c #Conflicts: 1133000 | #Constraints: 29687
2502.93/2511.01 c #Conflicts: 1134000 | #Constraints: 30690
2502.93/2511.01 c #Conflicts: 1135000 | #Constraints: 31693
2502.93/2511.01 c #Conflicts: 1136000 | #Constraints: 32701
2502.93/2511.01 c #Conflicts: 1137000 | #Constraints: 33704
2502.93/2511.01 c #Conflicts: 1138000 | #Constraints: 34709
2502.93/2511.01 c #Conflicts: 1139000 | #Constraints: 35715
2502.93/2511.01 c #Conflicts: 1140000 | #Constraints: 36719
2502.93/2511.01 c #Conflicts: 1141000 | #Constraints: 37723
2502.93/2511.01 c #Conflicts: 1142000 | #Constraints: 38728
2502.93/2511.01 c #Conflicts: 1143000 | #Constraints: 39732
2502.93/2511.01 c #Conflicts: 1144000 | #Constraints: 40738
2502.93/2511.01 c #Conflicts: 1145000 | #Constraints: 41742
2502.93/2511.01 c #Conflicts: 1146000 | #Constraints: 42745
2502.93/2511.01 c INPROCESSING
2502.93/2511.01 c GARBAGE COLLECT
2502.93/2511.01 c rational objective 7
2503.62/2511.71 c GLOBAL bounds - >= 7 @ 2477.96
2503.62/2511.71 c GLOBAL bounds - >= 7 @ 2477.96
2550.87/2559.13 c #Conflicts: 1147000 | #Constraints: 22465
2550.87/2559.13 c #Conflicts: 1148000 | #Constraints: 23470
2550.87/2559.13 c #Conflicts: 1149000 | #Constraints: 24472
2550.87/2559.13 c #Conflicts: 1150000 | #Constraints: 25480
2550.87/2559.13 c #Conflicts: 1151000 | #Constraints: 26486
2550.87/2559.13 c #Conflicts: 1152000 | #Constraints: 27490
2550.87/2559.13 c #Conflicts: 1153000 | #Constraints: 28496
2550.87/2559.13 c #Conflicts: 1154000 | #Constraints: 29501
2550.87/2559.13 c #Conflicts: 1155000 | #Constraints: 30504
2550.87/2559.13 c #Conflicts: 1156000 | #Constraints: 31506
2550.87/2559.13 c #Conflicts: 1157000 | #Constraints: 32509
2550.87/2559.13 c #Conflicts: 1158000 | #Constraints: 33510
2550.87/2559.13 c #Conflicts: 1159000 | #Constraints: 34515
2550.87/2559.13 c #Conflicts: 1160000 | #Constraints: 35515
2550.87/2559.13 c #Conflicts: 1161000 | #Constraints: 36517
2550.87/2559.13 c #Conflicts: 1162000 | #Constraints: 37522
2550.87/2559.13 c #Conflicts: 1163000 | #Constraints: 38531
2550.87/2559.13 c #Conflicts: 1164000 | #Constraints: 39537
2550.87/2559.13 c #Conflicts: 1165000 | #Constraints: 40541
2550.87/2559.13 c #Conflicts: 1166000 | #Constraints: 41546
2550.87/2559.13 c #Conflicts: 1167000 | #Constraints: 42551
2550.87/2559.13 c #Conflicts: 1168000 | #Constraints: 43553
2550.87/2559.13 c INPROCESSING
2550.87/2559.13 c GARBAGE COLLECT
2550.87/2559.13 c rational objective 7
2551.26/2559.57 c GLOBAL bounds - >= 7 @ 2525.21
2551.26/2559.57 c GLOBAL bounds - >= 7 @ 2525.21
2597.50/2605.90 c #Conflicts: 1169000 | #Constraints: 23024
2597.50/2605.90 c #Conflicts: 1170000 | #Constraints: 24030
2597.50/2605.90 c #Conflicts: 1171000 | #Constraints: 25032
2597.50/2605.90 c #Conflicts: 1172000 | #Constraints: 26036
2597.50/2605.90 c #Conflicts: 1173000 | #Constraints: 27044
2597.50/2605.90 c #Conflicts: 1174000 | #Constraints: 28046
2597.50/2605.90 c #Conflicts: 1175000 | #Constraints: 29049
2597.50/2605.90 c #Conflicts: 1176000 | #Constraints: 30053
2597.50/2605.90 c #Conflicts: 1177000 | #Constraints: 31055
2597.50/2605.90 c #Conflicts: 1178000 | #Constraints: 32061
2597.50/2605.90 c #Conflicts: 1179000 | #Constraints: 33064
2597.50/2605.90 c #Conflicts: 1180000 | #Constraints: 34069
2597.50/2605.90 c #Conflicts: 1181000 | #Constraints: 35072
2597.50/2605.90 c #Conflicts: 1182000 | #Constraints: 36076
2597.50/2605.90 c #Conflicts: 1183000 | #Constraints: 37081
2597.50/2605.90 c #Conflicts: 1184000 | #Constraints: 38084
2597.50/2605.90 c #Conflicts: 1185000 | #Constraints: 39086
2597.50/2605.90 c #Conflicts: 1186000 | #Constraints: 40088
2597.50/2605.90 c #Conflicts: 1187000 | #Constraints: 41090
2597.50/2605.90 c #Conflicts: 1188000 | #Constraints: 42094
2597.50/2605.90 c #Conflicts: 1189000 | #Constraints: 43098
2597.50/2605.90 c #Conflicts: 1190000 | #Constraints: 44106
2597.50/2605.90 c INPROCESSING
2597.50/2605.90 c GARBAGE COLLECT
2597.50/2605.90 c rational objective 7
2597.89/2606.35 c GLOBAL bounds - >= 7 @ 2571.42
2597.89/2606.35 c GLOBAL bounds - >= 7 @ 2571.42
2654.51/2663.13 c #Conflicts: 1191000 | #Constraints: 23393
2654.51/2663.13 c #Conflicts: 1192000 | #Constraints: 24396
2654.51/2663.13 c #Conflicts: 1193000 | #Constraints: 25401
2654.51/2663.13 c #Conflicts: 1194000 | #Constraints: 26403
2654.51/2663.13 c #Conflicts: 1195000 | #Constraints: 27407
2654.51/2663.13 c #Conflicts: 1196000 | #Constraints: 28409
2654.51/2663.13 c #Conflicts: 1197000 | #Constraints: 29411
2654.51/2663.13 c #Conflicts: 1198000 | #Constraints: 30414
2654.51/2663.13 c #Conflicts: 1199000 | #Constraints: 31418
2654.51/2663.13 c #Conflicts: 1200000 | #Constraints: 32427
2654.51/2663.13 c #Conflicts: 1201000 | #Constraints: 33430
2654.51/2663.13 c #Conflicts: 1202000 | #Constraints: 34431
2654.51/2663.13 c #Conflicts: 1203000 | #Constraints: 35435
2654.51/2663.13 c #Conflicts: 1204000 | #Constraints: 36438
2654.51/2663.13 c #Conflicts: 1205000 | #Constraints: 37440
2654.51/2663.13 c #Conflicts: 1206000 | #Constraints: 38444
2654.51/2663.13 c #Conflicts: 1207000 | #Constraints: 39449
2654.51/2663.13 c #Conflicts: 1208000 | #Constraints: 40453
2654.51/2663.13 c #Conflicts: 1209000 | #Constraints: 41455
2654.51/2663.13 c #Conflicts: 1210000 | #Constraints: 42458
2654.51/2663.13 c #Conflicts: 1211000 | #Constraints: 43465
2654.51/2663.13 c #Conflicts: 1212000 | #Constraints: 44480
2654.51/2663.13 c INPROCESSING
2654.51/2663.13 c GARBAGE COLLECT
2654.51/2663.13 c rational objective 7
2654.79/2663.48 c GLOBAL bounds - >= 7 @ 2627.88
2654.79/2663.48 c GLOBAL bounds - >= 7 @ 2627.88
2689.56/2698.35 c #Conflicts: 1213000 | #Constraints: 23585
2689.56/2698.35 c #Conflicts: 1214000 | #Constraints: 24592
2689.56/2698.35 c #Conflicts: 1215000 | #Constraints: 25599
2689.56/2698.35 c #Conflicts: 1216000 | #Constraints: 26601
2689.56/2698.35 c #Conflicts: 1217000 | #Constraints: 27603
2689.56/2698.35 c #Conflicts: 1218000 | #Constraints: 28606
2689.56/2698.35 c #Conflicts: 1219000 | #Constraints: 29614
2689.56/2698.35 c #Conflicts: 1220000 | #Constraints: 30625
2689.56/2698.35 c #Conflicts: 1221000 | #Constraints: 31629
2689.56/2698.35 c #Conflicts: 1222000 | #Constraints: 32634
2689.56/2698.35 c #Conflicts: 1223000 | #Constraints: 33638
2689.56/2698.35 c #Conflicts: 1224000 | #Constraints: 34648
2689.56/2698.35 c #Conflicts: 1225000 | #Constraints: 35649
2689.56/2698.35 c #Conflicts: 1226000 | #Constraints: 36651
2689.56/2698.35 c #Conflicts: 1227000 | #Constraints: 37652
2689.56/2698.35 c #Conflicts: 1228000 | #Constraints: 38656
2689.56/2698.35 c #Conflicts: 1229000 | #Constraints: 39658
2689.56/2698.35 c #Conflicts: 1230000 | #Constraints: 40659
2689.56/2698.35 c #Conflicts: 1231000 | #Constraints: 41660
2689.56/2698.35 c #Conflicts: 1232000 | #Constraints: 42663
2689.56/2698.35 c #Conflicts: 1233000 | #Constraints: 43670
2689.56/2698.35 c #Conflicts: 1234000 | #Constraints: 44674
2689.56/2698.35 c INPROCESSING
2689.56/2698.35 c GARBAGE COLLECT
2689.56/2698.35 c rational objective 7
2690.07/2698.82 c GLOBAL bounds - >= 7 @ 2662.63
2690.07/2698.82 c GLOBAL bounds - >= 7 @ 2662.63
2737.60/2746.53 c #Conflicts: 1235000 | #Constraints: 23565
2737.60/2746.53 c #Conflicts: 1236000 | #Constraints: 24569
2737.60/2746.53 c #Conflicts: 1237000 | #Constraints: 25573
2737.60/2746.53 c #Conflicts: 1238000 | #Constraints: 26579
2737.60/2746.53 c #Conflicts: 1239000 | #Constraints: 27586
2737.60/2746.53 c #Conflicts: 1240000 | #Constraints: 28589
2737.60/2746.53 c #Conflicts: 1241000 | #Constraints: 29592
2737.60/2746.53 c #Conflicts: 1242000 | #Constraints: 30594
2737.60/2746.53 c #Conflicts: 1243000 | #Constraints: 31594
2737.60/2746.53 c #Conflicts: 1244000 | #Constraints: 32600
2737.60/2746.53 c #Conflicts: 1245000 | #Constraints: 33608
2737.60/2746.53 c #Conflicts: 1246000 | #Constraints: 34610
2737.60/2746.53 c #Conflicts: 1247000 | #Constraints: 35613
2737.60/2746.53 c #Conflicts: 1248000 | #Constraints: 36618
2737.60/2746.53 c #Conflicts: 1249000 | #Constraints: 37623
2737.60/2746.53 c #Conflicts: 1250000 | #Constraints: 38629
2737.60/2746.53 c #Conflicts: 1251000 | #Constraints: 39631
2737.60/2746.53 c #Conflicts: 1252000 | #Constraints: 40633
2737.60/2746.53 c #Conflicts: 1253000 | #Constraints: 41636
2737.60/2746.53 c #Conflicts: 1254000 | #Constraints: 42639
2737.60/2746.53 c #Conflicts: 1255000 | #Constraints: 43640
2737.60/2746.53 c #Conflicts: 1256000 | #Constraints: 44643
2737.60/2746.53 c INPROCESSING
2737.60/2746.53 c GARBAGE COLLECT
2737.60/2746.53 c rational objective 7
2738.30/2747.30 c GLOBAL bounds - >= 7 @ 2710.53
2738.30/2747.30 c GLOBAL bounds - >= 7 @ 2710.53
2800.49/2809.68 c #Conflicts: 1257000 | #Constraints: 23347
2800.49/2809.68 c #Conflicts: 1258000 | #Constraints: 24353
2800.49/2809.68 c #Conflicts: 1259000 | #Constraints: 25354
2800.49/2809.68 c #Conflicts: 1260000 | #Constraints: 26357
2800.49/2809.68 c #Conflicts: 1261000 | #Constraints: 27362
2800.49/2809.68 c #Conflicts: 1262000 | #Constraints: 28363
2800.49/2809.68 c #Conflicts: 1263000 | #Constraints: 29367
2800.49/2809.68 c #Conflicts: 1264000 | #Constraints: 30369
2800.49/2809.68 c #Conflicts: 1265000 | #Constraints: 31377
2800.49/2809.68 c #Conflicts: 1266000 | #Constraints: 32381
2800.49/2809.68 c #Conflicts: 1267000 | #Constraints: 33387
2800.49/2809.68 c #Conflicts: 1268000 | #Constraints: 34387
2800.49/2809.68 c #Conflicts: 1269000 | #Constraints: 35388
2800.49/2809.68 c #Conflicts: 1270000 | #Constraints: 36393
2800.49/2809.68 c #Conflicts: 1271000 | #Constraints: 37401
2800.49/2809.68 c #Conflicts: 1272000 | #Constraints: 38408
2800.49/2809.68 c #Conflicts: 1273000 | #Constraints: 39412
2800.49/2809.68 c #Conflicts: 1274000 | #Constraints: 40416
2800.49/2809.68 c #Conflicts: 1275000 | #Constraints: 41422
2800.49/2809.68 c #Conflicts: 1276000 | #Constraints: 42431
2800.49/2809.68 c #Conflicts: 1277000 | #Constraints: 43436
2800.49/2809.68 c #Conflicts: 1278000 | #Constraints: 44439
2800.49/2809.68 c #Conflicts: 1279000 | #Constraints: 45441
2800.49/2809.68 c INPROCESSING
2800.49/2809.68 c GARBAGE COLLECT
2800.49/2809.68 c rational objective 7
2801.00/2810.15 c GLOBAL bounds - >= 7 @ 2772.62
2801.00/2810.15 c GLOBAL bounds - >= 7 @ 2772.62
2865.70/2875.10 c #Conflicts: 1280000 | #Constraints: 23946
2865.70/2875.10 c #Conflicts: 1281000 | #Constraints: 24950
2865.70/2875.10 c #Conflicts: 1282000 | #Constraints: 25952
2865.70/2875.10 c #Conflicts: 1283000 | #Constraints: 26954
2865.70/2875.10 c #Conflicts: 1284000 | #Constraints: 27957
2865.70/2875.10 c #Conflicts: 1285000 | #Constraints: 28962
2865.70/2875.10 c #Conflicts: 1286000 | #Constraints: 29966
2865.70/2875.10 c #Conflicts: 1287000 | #Constraints: 30970
2865.70/2875.10 c #Conflicts: 1288000 | #Constraints: 31977
2865.70/2875.10 c #Conflicts: 1289000 | #Constraints: 32982
2865.70/2875.10 c #Conflicts: 1290000 | #Constraints: 33991
2865.70/2875.10 c #Conflicts: 1291000 | #Constraints: 34994
2865.70/2875.10 c #Conflicts: 1292000 | #Constraints: 35996
2865.70/2875.10 c #Conflicts: 1293000 | #Constraints: 36998
2865.70/2875.10 c #Conflicts: 1294000 | #Constraints: 38000
2865.70/2875.10 c #Conflicts: 1295000 | #Constraints: 39004
2865.70/2875.10 c #Conflicts: 1296000 | #Constraints: 40007
2865.70/2875.10 c #Conflicts: 1297000 | #Constraints: 41011
2865.70/2875.10 c #Conflicts: 1298000 | #Constraints: 42019
2865.70/2875.10 c #Conflicts: 1299000 | #Constraints: 43021
2865.70/2875.10 c #Conflicts: 1300000 | #Constraints: 44024
2865.70/2875.10 c #Conflicts: 1301000 | #Constraints: 45026
2865.70/2875.10 c #Conflicts: 1302000 | #Constraints: 46031
2865.70/2875.10 c INPROCESSING
2865.70/2875.10 c GARBAGE COLLECT
2865.70/2875.10 c rational objective 7
2866.38/2875.70 c GLOBAL bounds - >= 7 @ 2837.41
2866.38/2875.70 c GLOBAL bounds - >= 7 @ 2837.41
2920.70/2930.26 c #Conflicts: 1303000 | #Constraints: 24348
2920.70/2930.26 c #Conflicts: 1304000 | #Constraints: 25352
2920.70/2930.26 c #Conflicts: 1305000 | #Constraints: 26357
2920.70/2930.26 c #Conflicts: 1306000 | #Constraints: 27359
2920.70/2930.26 c #Conflicts: 1307000 | #Constraints: 28362
2920.70/2930.26 c #Conflicts: 1308000 | #Constraints: 29362
2920.70/2930.26 c #Conflicts: 1309000 | #Constraints: 30362
2920.70/2930.26 c #Conflicts: 1310000 | #Constraints: 31365
2920.70/2930.26 c #Conflicts: 1311000 | #Constraints: 32367
2920.70/2930.26 c #Conflicts: 1312000 | #Constraints: 33369
2920.70/2930.26 c #Conflicts: 1313000 | #Constraints: 34370
2920.70/2930.26 c #Conflicts: 1314000 | #Constraints: 35370
2920.70/2930.26 c #Conflicts: 1315000 | #Constraints: 36372
2920.70/2930.26 c #Conflicts: 1316000 | #Constraints: 37377
2920.70/2930.26 c #Conflicts: 1317000 | #Constraints: 38381
2920.70/2930.26 c #Conflicts: 1318000 | #Constraints: 39389
2920.70/2930.26 c #Conflicts: 1319000 | #Constraints: 40390
2920.70/2930.26 c #Conflicts: 1320000 | #Constraints: 41392
2920.70/2930.26 c #Conflicts: 1321000 | #Constraints: 42395
2920.70/2930.26 c #Conflicts: 1322000 | #Constraints: 43400
2920.70/2930.26 c #Conflicts: 1323000 | #Constraints: 44402
2920.70/2930.26 c #Conflicts: 1324000 | #Constraints: 45408
2920.70/2930.26 c #Conflicts: 1325000 | #Constraints: 46408
2920.70/2930.26 c INPROCESSING
2920.70/2930.26 c GARBAGE COLLECT
2920.70/2930.26 c rational objective 7
2921.51/2931.03 c GLOBAL bounds - >= 7 @ 2892.02
2921.51/2931.03 c GLOBAL bounds - >= 7 @ 2892.02
2975.83/2985.51 c #Conflicts: 1326000 | #Constraints: 24546
2975.83/2985.51 c #Conflicts: 1327000 | #Constraints: 25553
2975.83/2985.51 c #Conflicts: 1328000 | #Constraints: 26559
2975.83/2985.51 c #Conflicts: 1329000 | #Constraints: 27565
2975.83/2985.51 c #Conflicts: 1330000 | #Constraints: 28571
2975.83/2985.51 c #Conflicts: 1331000 | #Constraints: 29578
2975.83/2985.51 c #Conflicts: 1332000 | #Constraints: 30583
2975.83/2985.51 c #Conflicts: 1333000 | #Constraints: 31589
2975.83/2985.51 c #Conflicts: 1334000 | #Constraints: 32595
2975.83/2985.51 c #Conflicts: 1335000 | #Constraints: 33604
2975.83/2985.51 c #Conflicts: 1336000 | #Constraints: 34612
2975.83/2985.51 c #Conflicts: 1337000 | #Constraints: 35616
2975.83/2985.51 c #Conflicts: 1338000 | #Constraints: 36619
2975.83/2985.51 c #Conflicts: 1339000 | #Constraints: 37633
2975.83/2985.51 c #Conflicts: 1340000 | #Constraints: 38646
2975.83/2985.51 c #Conflicts: 1341000 | #Constraints: 39655
2975.83/2985.51 c #Conflicts: 1342000 | #Constraints: 40664
2975.83/2985.51 c #Conflicts: 1343000 | #Constraints: 41670
2975.83/2985.51 c #Conflicts: 1344000 | #Constraints: 42674
2975.83/2985.51 c #Conflicts: 1345000 | #Constraints: 43677
2975.83/2985.51 c #Conflicts: 1346000 | #Constraints: 44687
2975.83/2985.51 c #Conflicts: 1347000 | #Constraints: 45689
2975.83/2985.51 c #Conflicts: 1348000 | #Constraints: 46696
2975.83/2985.51 c INPROCESSING
2975.83/2985.51 c GARBAGE COLLECT
2975.83/2985.51 c rational objective 7
2976.23/2985.99 c GLOBAL bounds - >= 7 @ 2946.36
2976.23/2985.99 c GLOBAL bounds - >= 7 @ 2946.36
3017.32/3027.17 c #Conflicts: 1349000 | #Constraints: 24607
3017.32/3027.17 c #Conflicts: 1350000 | #Constraints: 25611
3017.32/3027.17 c #Conflicts: 1351000 | #Constraints: 26613
3017.32/3027.17 c #Conflicts: 1352000 | #Constraints: 27615
3017.32/3027.17 c #Conflicts: 1353000 | #Constraints: 28626
3017.32/3027.17 c #Conflicts: 1354000 | #Constraints: 29628
3017.32/3027.17 c #Conflicts: 1355000 | #Constraints: 30633
3017.32/3027.17 c #Conflicts: 1356000 | #Constraints: 31636
3017.32/3027.17 c #Conflicts: 1357000 | #Constraints: 32637
3017.32/3027.17 c #Conflicts: 1358000 | #Constraints: 33642
3017.32/3027.17 c #Conflicts: 1359000 | #Constraints: 34644
3017.32/3027.17 c #Conflicts: 1360000 | #Constraints: 35646
3017.32/3027.17 c #Conflicts: 1361000 | #Constraints: 36650
3017.32/3027.17 c #Conflicts: 1362000 | #Constraints: 37655
3017.32/3027.17 c #Conflicts: 1363000 | #Constraints: 38658
3017.32/3027.17 c #Conflicts: 1364000 | #Constraints: 39661
3017.32/3027.17 c #Conflicts: 1365000 | #Constraints: 40666
3017.32/3027.17 c #Conflicts: 1366000 | #Constraints: 41670
3017.32/3027.17 c #Conflicts: 1367000 | #Constraints: 42676
3017.32/3027.17 c #Conflicts: 1368000 | #Constraints: 43679
3017.32/3027.17 c #Conflicts: 1369000 | #Constraints: 44680
3017.32/3027.17 c #Conflicts: 1370000 | #Constraints: 45681
3017.32/3027.17 c #Conflicts: 1371000 | #Constraints: 46683
3017.32/3027.17 c INPROCESSING
3017.32/3027.17 c GARBAGE COLLECT
3017.32/3027.17 c rational objective 7
3018.00/3027.83 c GLOBAL bounds - >= 7 @ 2987.63
3018.00/3027.83 c GLOBAL bounds - >= 7 @ 2987.63
3074.64/3084.62 c #Conflicts: 1372000 | #Constraints: 24363
3074.64/3084.62 c #Conflicts: 1373000 | #Constraints: 25367
3074.64/3084.62 c #Conflicts: 1374000 | #Constraints: 26373
3074.64/3084.62 c #Conflicts: 1375000 | #Constraints: 27378
3074.64/3084.62 c #Conflicts: 1376000 | #Constraints: 28391
3074.64/3084.62 c #Conflicts: 1377000 | #Constraints: 29403
3074.64/3084.62 c #Conflicts: 1378000 | #Constraints: 30408
3074.64/3084.62 c #Conflicts: 1379000 | #Constraints: 31412
3074.64/3084.62 c #Conflicts: 1380000 | #Constraints: 32417
3074.64/3084.62 c #Conflicts: 1381000 | #Constraints: 33422
3074.64/3084.62 c #Conflicts: 1382000 | #Constraints: 34426
3074.64/3084.62 c #Conflicts: 1383000 | #Constraints: 35429
3074.64/3084.62 c #Conflicts: 1384000 | #Constraints: 36435
3074.64/3084.62 c #Conflicts: 1385000 | #Constraints: 37446
3074.64/3084.62 c #Conflicts: 1386000 | #Constraints: 38449
3074.64/3084.62 c #Conflicts: 1387000 | #Constraints: 39451
3074.64/3084.62 c #Conflicts: 1388000 | #Constraints: 40456
3074.64/3084.62 c #Conflicts: 1389000 | #Constraints: 41458
3074.64/3084.62 c #Conflicts: 1390000 | #Constraints: 42462
3074.64/3084.62 c #Conflicts: 1391000 | #Constraints: 43464
3074.64/3084.62 c #Conflicts: 1392000 | #Constraints: 44467
3074.64/3084.62 c #Conflicts: 1393000 | #Constraints: 45469
3074.64/3084.62 c #Conflicts: 1394000 | #Constraints: 46474
3074.64/3084.62 c #Conflicts: 1395000 | #Constraints: 47478
3074.64/3084.62 c INPROCESSING
3074.64/3084.62 c GARBAGE COLLECT
3074.64/3084.62 c rational objective 7
3075.24/3085.29 c GLOBAL bounds - >= 7 @ 3044.42
3075.24/3085.29 c GLOBAL bounds - >= 7 @ 3044.42
3148.33/3158.52 c #Conflicts: 1396000 | #Constraints: 24970
3148.33/3158.52 c #Conflicts: 1397000 | #Constraints: 25980
3148.33/3158.52 c #Conflicts: 1398000 | #Constraints: 26990
3148.33/3158.52 c #Conflicts: 1399000 | #Constraints: 28002
3148.33/3158.52 c #Conflicts: 1400000 | #Constraints: 29012
3148.33/3158.52 c #Conflicts: 1401000 | #Constraints: 30018
3148.33/3158.52 c #Conflicts: 1402000 | #Constraints: 31034
3148.33/3158.52 c #Conflicts: 1403000 | #Constraints: 32043
3148.33/3158.52 c #Conflicts: 1404000 | #Constraints: 33052
3148.33/3158.52 c #Conflicts: 1405000 | #Constraints: 34053
3148.33/3158.52 c #Conflicts: 1406000 | #Constraints: 35054
3148.33/3158.52 c #Conflicts: 1407000 | #Constraints: 36059
3148.33/3158.52 c #Conflicts: 1408000 | #Constraints: 37061
3148.33/3158.52 c #Conflicts: 1409000 | #Constraints: 38062
3148.33/3158.52 c #Conflicts: 1410000 | #Constraints: 39067
3148.33/3158.52 c #Conflicts: 1411000 | #Constraints: 40072
3148.33/3158.52 c #Conflicts: 1412000 | #Constraints: 41073
3148.33/3158.52 c #Conflicts: 1413000 | #Constraints: 42076
3148.33/3158.52 c #Conflicts: 1414000 | #Constraints: 43080
3148.33/3158.52 c #Conflicts: 1415000 | #Constraints: 44082
3148.33/3158.52 c #Conflicts: 1416000 | #Constraints: 45084
3148.33/3158.52 c #Conflicts: 1417000 | #Constraints: 46085
3148.33/3158.52 c #Conflicts: 1418000 | #Constraints: 47087
3148.33/3158.52 c #Conflicts: 1419000 | #Constraints: 48088
3148.33/3158.52 c INPROCESSING
3148.33/3158.52 c GARBAGE COLLECT
3148.33/3158.52 c rational objective 7
3148.73/3158.97 c GLOBAL bounds - >= 7 @ 3117.37
3148.73/3158.97 c GLOBAL bounds - >= 7 @ 3117.37
3239.77/3250.23 c #Conflicts: 1420000 | #Constraints: 25379
3239.77/3250.23 c #Conflicts: 1421000 | #Constraints: 26395
3239.77/3250.23 c #Conflicts: 1422000 | #Constraints: 27402
3239.77/3250.23 c #Conflicts: 1423000 | #Constraints: 28412
3239.77/3250.23 c #Conflicts: 1424000 | #Constraints: 29416
3239.77/3250.23 c #Conflicts: 1425000 | #Constraints: 30417
3239.77/3250.23 c #Conflicts: 1426000 | #Constraints: 31423
3239.77/3250.23 c #Conflicts: 1427000 | #Constraints: 32425
3239.77/3250.23 c #Conflicts: 1428000 | #Constraints: 33430
3239.77/3250.23 c #Conflicts: 1429000 | #Constraints: 34435
3239.77/3250.23 c #Conflicts: 1430000 | #Constraints: 35437
3239.77/3250.23 c #Conflicts: 1431000 | #Constraints: 36438
3239.77/3250.23 c #Conflicts: 1432000 | #Constraints: 37440
3239.77/3250.23 c #Conflicts: 1433000 | #Constraints: 38443
3239.77/3250.23 c #Conflicts: 1434000 | #Constraints: 39445
3239.77/3250.23 c #Conflicts: 1435000 | #Constraints: 40449
3239.77/3250.23 c #Conflicts: 1436000 | #Constraints: 41454
3239.77/3250.23 c #Conflicts: 1437000 | #Constraints: 42455
3239.77/3250.23 c #Conflicts: 1438000 | #Constraints: 43457
3239.77/3250.23 c #Conflicts: 1439000 | #Constraints: 44461
3239.77/3250.23 c #Conflicts: 1440000 | #Constraints: 45462
3239.77/3250.23 c #Conflicts: 1441000 | #Constraints: 46463
3239.77/3250.23 c #Conflicts: 1442000 | #Constraints: 47466
3239.77/3250.23 c #Conflicts: 1443000 | #Constraints: 48472
3239.77/3250.23 c INPROCESSING
3239.77/3250.23 c GARBAGE COLLECT
3239.77/3250.23 c rational objective 7
3240.27/3250.73 c GLOBAL bounds - >= 7 @ 3208.31
3240.27/3250.73 c GLOBAL bounds - >= 7 @ 3208.31
3316.47/3327.19 c #Conflicts: 1444000 | #Constraints: 25574
3316.47/3327.19 c #Conflicts: 1445000 | #Constraints: 26576
3316.47/3327.19 c #Conflicts: 1446000 | #Constraints: 27576
3316.47/3327.19 c #Conflicts: 1447000 | #Constraints: 28578
3316.47/3327.19 c #Conflicts: 1448000 | #Constraints: 29582
3316.47/3327.19 c #Conflicts: 1449000 | #Constraints: 30586
3316.47/3327.19 c #Conflicts: 1450000 | #Constraints: 31588
3316.47/3327.19 c #Conflicts: 1451000 | #Constraints: 32595
3316.47/3327.19 c #Conflicts: 1452000 | #Constraints: 33601
3316.47/3327.19 c #Conflicts: 1453000 | #Constraints: 34605
3316.47/3327.19 c #Conflicts: 1454000 | #Constraints: 35611
3316.47/3327.19 c #Conflicts: 1455000 | #Constraints: 36613
3316.47/3327.19 c #Conflicts: 1456000 | #Constraints: 37614
3316.47/3327.19 c #Conflicts: 1457000 | #Constraints: 38615
3316.47/3327.19 c #Conflicts: 1458000 | #Constraints: 39618
3316.47/3327.19 c #Conflicts: 1459000 | #Constraints: 40618
3316.47/3327.19 c #Conflicts: 1460000 | #Constraints: 41618
3316.47/3327.19 c #Conflicts: 1461000 | #Constraints: 42619
3316.47/3327.19 c #Conflicts: 1462000 | #Constraints: 43624
3316.47/3327.19 c #Conflicts: 1463000 | #Constraints: 44625
3316.47/3327.19 c #Conflicts: 1464000 | #Constraints: 45628
3316.47/3327.19 c #Conflicts: 1465000 | #Constraints: 46632
3316.47/3327.19 c #Conflicts: 1466000 | #Constraints: 47632
3316.47/3327.19 c #Conflicts: 1467000 | #Constraints: 48636
3316.47/3327.19 c INPROCESSING
3316.47/3327.19 c GARBAGE COLLECT
3316.47/3327.19 c rational objective 7
3316.85/3327.52 c GLOBAL bounds - >= 7 @ 3284.36
3316.85/3327.52 c GLOBAL bounds - >= 7 @ 3284.36
3399.90/3410.88 c #Conflicts: 1468000 | #Constraints: 25547
3399.90/3410.88 c #Conflicts: 1469000 | #Constraints: 26549
3399.90/3410.88 c #Conflicts: 1470000 | #Constraints: 27553
3399.90/3410.88 c #Conflicts: 1471000 | #Constraints: 28557
3399.90/3410.88 c #Conflicts: 1472000 | #Constraints: 29561
3399.90/3410.88 c #Conflicts: 1473000 | #Constraints: 30564
3399.90/3410.88 c #Conflicts: 1474000 | #Constraints: 31570
3399.90/3410.88 c #Conflicts: 1475000 | #Constraints: 32573
3399.90/3410.88 c #Conflicts: 1476000 | #Constraints: 33577
3399.90/3410.88 c #Conflicts: 1477000 | #Constraints: 34579
3399.90/3410.88 c #Conflicts: 1478000 | #Constraints: 35584
3399.90/3410.88 c #Conflicts: 1479000 | #Constraints: 36592
3399.90/3410.88 c #Conflicts: 1480000 | #Constraints: 37600
3399.90/3410.88 c #Conflicts: 1481000 | #Constraints: 38607
3399.90/3410.88 c #Conflicts: 1482000 | #Constraints: 39613
3399.90/3410.88 c #Conflicts: 1483000 | #Constraints: 40615
3399.90/3410.88 c #Conflicts: 1484000 | #Constraints: 41620
3399.90/3410.88 c #Conflicts: 1485000 | #Constraints: 42622
3399.90/3410.88 c #Conflicts: 1486000 | #Constraints: 43624
3399.90/3410.88 c #Conflicts: 1487000 | #Constraints: 44627
3399.90/3410.88 c #Conflicts: 1488000 | #Constraints: 45631
3399.90/3410.88 c #Conflicts: 1489000 | #Constraints: 46634
3399.90/3410.88 c #Conflicts: 1490000 | #Constraints: 47639
3399.90/3410.88 c #Conflicts: 1491000 | #Constraints: 48641
3399.90/3410.88 c INPROCESSING
3399.90/3410.88 c GARBAGE COLLECT
3399.90/3410.88 c rational objective 7
3400.49/3411.43 c GLOBAL bounds - >= 7 @ 3367.43
3400.49/3411.43 c GLOBAL bounds - >= 7 @ 3367.43
3481.14/3492.36 c #Conflicts: 1492000 | #Constraints: 25341
3481.14/3492.36 c #Conflicts: 1493000 | #Constraints: 26343
3481.14/3492.36 c #Conflicts: 1494000 | #Constraints: 27351
3481.14/3492.36 c #Conflicts: 1495000 | #Constraints: 28358
3481.14/3492.36 c #Conflicts: 1496000 | #Constraints: 29362
3481.14/3492.36 c #Conflicts: 1497000 | #Constraints: 30370
3481.14/3492.36 c #Conflicts: 1498000 | #Constraints: 31375
3481.14/3492.36 c #Conflicts: 1499000 | #Constraints: 32379
3481.14/3492.36 c #Conflicts: 1500000 | #Constraints: 33383
3481.14/3492.36 c #Conflicts: 1501000 | #Constraints: 34388
3481.14/3492.36 c #Conflicts: 1502000 | #Constraints: 35406
3481.14/3492.36 c #Conflicts: 1503000 | #Constraints: 36415
3481.14/3492.36 c #Conflicts: 1504000 | #Constraints: 37429
3481.14/3492.36 c #Conflicts: 1505000 | #Constraints: 38438
3481.14/3492.36 c #Conflicts: 1506000 | #Constraints: 39451
3481.14/3492.36 c #Conflicts: 1507000 | #Constraints: 40454
3481.14/3492.36 c #Conflicts: 1508000 | #Constraints: 41458
3481.14/3492.36 c #Conflicts: 1509000 | #Constraints: 42462
3481.14/3492.36 c #Conflicts: 1510000 | #Constraints: 43467
3481.14/3492.36 c #Conflicts: 1511000 | #Constraints: 44473
3481.14/3492.36 c #Conflicts: 1512000 | #Constraints: 45473
3481.14/3492.36 c #Conflicts: 1513000 | #Constraints: 46479
3481.14/3492.36 c #Conflicts: 1514000 | #Constraints: 47486
3481.14/3492.36 c #Conflicts: 1515000 | #Constraints: 48491
3481.14/3492.36 c #Conflicts: 1516000 | #Constraints: 49498
3481.14/3492.36 c INPROCESSING
3481.14/3492.36 c GARBAGE COLLECT
3481.14/3492.36 c rational objective 7
3481.54/3492.73 c GLOBAL bounds - >= 7 @ 3447.92
3481.54/3492.73 c GLOBAL bounds - >= 7 @ 3447.92
3548.75/3560.13 c #Conflicts: 1517000 | #Constraints: 25983
3548.75/3560.13 c #Conflicts: 1518000 | #Constraints: 26987
3548.75/3560.13 c #Conflicts: 1519000 | #Constraints: 27991
3548.75/3560.13 c #Conflicts: 1520000 | #Constraints: 28993
3548.75/3560.13 c #Conflicts: 1521000 | #Constraints: 29998
3548.75/3560.13 c #Conflicts: 1522000 | #Constraints: 31004
3548.75/3560.13 c #Conflicts: 1523000 | #Constraints: 32007
3548.75/3560.13 c #Conflicts: 1524000 | #Constraints: 33009
3548.75/3560.13 c #Conflicts: 1525000 | #Constraints: 34013
3548.75/3560.13 c #Conflicts: 1526000 | #Constraints: 35018
3548.75/3560.13 c #Conflicts: 1527000 | #Constraints: 36020
3548.75/3560.13 c #Conflicts: 1528000 | #Constraints: 37025
3548.75/3560.13 c #Conflicts: 1529000 | #Constraints: 38028
3548.75/3560.13 c #Conflicts: 1530000 | #Constraints: 39032
3548.75/3560.13 c #Conflicts: 1531000 | #Constraints: 40036
3548.75/3560.13 c #Conflicts: 1532000 | #Constraints: 41043
3548.75/3560.13 c #Conflicts: 1533000 | #Constraints: 42049
3548.75/3560.13 c #Conflicts: 1534000 | #Constraints: 43053
3548.75/3560.13 c #Conflicts: 1535000 | #Constraints: 44056
3548.75/3560.13 c #Conflicts: 1536000 | #Constraints: 45057
3548.75/3560.13 c #Conflicts: 1537000 | #Constraints: 46061
3548.75/3560.13 c #Conflicts: 1538000 | #Constraints: 47067
3548.75/3560.13 c #Conflicts: 1539000 | #Constraints: 48075
3548.75/3560.13 c #Conflicts: 1540000 | #Constraints: 49082
3548.75/3560.13 c #Conflicts: 1541000 | #Constraints: 50087
3548.75/3560.13 c INPROCESSING
3548.75/3560.13 c GARBAGE COLLECT
3548.75/3560.13 c rational objective 7
3549.44/3560.87 c GLOBAL bounds - >= 7 @ 3515.35
3549.44/3560.87 c GLOBAL bounds - >= 7 @ 3515.35
3600.08/3611.60 c #Conflicts: 1542000 | #Constraints: 26394
3600.08/3611.60 c #Conflicts: 1543000 | #Constraints: 27396
3600.08/3611.60 c #Conflicts: 1544000 | #Constraints: 28397
3600.08/3611.60 c #Conflicts: 1545000 | #Constraints: 29399
3600.08/3611.60 c #Conflicts: 1546000 | #Constraints: 30400
3600.08/3611.60 c #Conflicts: 1547000 | #Constraints: 31403
3600.08/3611.60 c #Conflicts: 1548000 | #Constraints: 32406
3600.08/3611.60 c #Conflicts: 1549000 | #Constraints: 33410
3600.08/3611.60 c #Conflicts: 1550000 | #Constraints: 34412
3600.08/3611.60 c #Conflicts: 1551000 | #Constraints: 35414
3600.08/3611.60 c #Conflicts: 1552000 | #Constraints: 36419
3600.08/3611.60 c #Conflicts: 1553000 | #Constraints: 37423
3600.08/3611.60 c #Conflicts: 1554000 | #Constraints: 38424
3600.08/3611.60 c #Conflicts: 1555000 | #Constraints: 39426
3600.08/3611.60 c #Conflicts: 1556000 | #Constraints: 40429
3600.08/3611.60 c #Conflicts: 1557000 | #Constraints: 41433
3600.08/3611.60 c #Conflicts: 1558000 | #Constraints: 42435
3600.08/3611.60 c #Conflicts: 1559000 | #Constraints: 43439
3600.08/3611.60 c #Conflicts: 1560000 | #Constraints: 44442
3600.08/3611.60 c #Conflicts: 1561000 | #Constraints: 45447
3600.08/3611.60 c #Conflicts: 1562000 | #Constraints: 46449
3600.08/3611.60 c #Conflicts: 1563000 | #Constraints: 47450
3600.08/3611.60 c cpu time 3565.45 s
3600.08/3611.60 c deterministic time 349288972816 3.49e+11
3600.08/3611.60 c optimization time 50.1231 s
3600.08/3611.60 c total solve time 3515.23 s
3600.08/3611.60 c core-guided solve time 0 s
3600.08/3611.60 c propagation time 2225.26 s
3600.08/3611.60 c conflict analysis time 1131.42 s
3600.08/3611.60 c propagations 440985302
3600.08/3611.60 c resolve steps 11968192
3600.08/3611.60 c decisions 10122085
3600.08/3611.60 c conflicts 1563330
3600.08/3611.60 c restarts 3067
3600.08/3611.60 c inprocessing phases 115
3600.08/3611.60 c garbage collections 115 ,( 100.00 )
3600.08/3611.60 c input clauses 5045 ,( 90.59 )
3600.08/3611.60 c input cardinalities 76 ,( 1.36 )
3600.08/3611.60 c input general constraints 448 ,( 8.04 )
3600.08/3611.60 c input average constraint length 9.60
3600.08/3611.60 c input average constraint degree 71.21
3600.08/3611.60 c learned clauses 181193 ,( 11.53 )
3600.08/3611.60 c learned cardinalities 12193 ,( 0.78 )
3600.08/3611.60 c learned general constraints 1378395 ,( 87.70 )
3600.08/3611.60 c learned average constraint length 950.98
3600.08/3611.60 c learned average constraint degree 7477402854.98
3600.08/3611.60 c watched CF 32, 64, 128, Arb: 542763 , 0 , 0 , 0
3600.08/3611.60 c counting CF 32, 64, 128, Arb: 836081 , 0 , 0 , 0
3600.08/3611.60 c watched constraints 542763 ,( 39.36 )
3600.08/3611.60 c counting constraints 836080 ,( 60.64 )
3600.08/3611.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 25903256 , 41642236 , 3203862144 ,( 366091108 , 2837771036 )
3600.08/3611.60 c gcd simplifications 118772
3600.08/3611.60 c detected cardinalities 614
3600.08/3611.60 c weakened non-implied lits 348087178
3600.08/3611.60 c weakened non-implying lits 1546887
3600.08/3611.60 c original variables 4977
3600.08/3611.60 c clausal propagations 1507777
3600.08/3611.60 c cardinality propagations 31205109
3600.08/3611.60 c watched propagations 3457509
3600.08/3611.60 c counting propagations 392303244
3600.08/3611.60 c watch lookups 201436313264
3600.08/3611.60 c watch backjump lookups 0
3600.08/3611.60 c watch checks 53637306926
3600.08/3611.60 c propagation checks 88720482277
3600.08/3611.60 c constraint additions 4589497318
3600.08/3611.60 c trail pops 452662241
3600.08/3611.60 c formula constraints 5569
3600.08/3611.60 c learned constraints 1557242
3600.08/3611.60 c bound constraints 0
3600.08/3611.60 c core-guided constraints 0
3600.08/3611.60 c encountered formula constraints 8172026
3600.08/3611.60 c encountered learned constraints 4533645
3600.08/3611.60 c encountered bound constraints 0
3600.08/3611.60 c encountered core-guided constraints 0
3600.08/3611.60 c LP total time 248.314 s
3600.08/3611.60 c LP solve time 176.3 s
3600.08/3611.60 c LP constraints added 6514
3600.08/3611.60 c LP constraints removed 934
3600.08/3611.60 c LP pivots internal 1563651
3600.08/3611.60 c LP pivots root 39751
3600.08/3611.60 c LP calls 14129
3600.08/3611.60 c LP optimalities 6043
3600.08/3611.60 c LP no pivot count 1168
3600.08/3611.60 c LP infeasibilities 8081
3600.08/3611.60 c LP valid Farkas constraints 8067
3600.08/3611.60 c LP learned Farkas constraints 6087
3600.08/3611.60 c LP basis resets 10
3600.08/3611.60 c LP cycling count 0
3600.08/3611.60 c LP singular count 2
3600.08/3611.60 c LP no primal count 0
3600.08/3611.60 c LP no farkas count 8
3600.08/3611.60 c LP other issue count 0
3600.08/3611.60 c LP Gomory cuts 385
3600.08/3611.60 c LP learned cuts 560
3600.08/3611.60 c LP deleted cuts 934
3600.08/3611.60 c LP encountered Gomory constraints 10147
3600.08/3611.60 c LP encountered Farkas constraints 731589
3600.08/3611.60 c LP encountered learned Farkas constraints 78028
3600.08/3611.60 c CG auxiliary variables introduced 1
3600.08/3611.60 c CG solutions found 0
3600.08/3611.60 c CG cores constructed 0
3600.08/3611.60 c CG core cardinality constraints returned 0
3600.08/3611.60 c CG unit cores 0
3600.08/3611.60 c CG single cores 0
3600.08/3611.60 c CG blocks removed during cardinality reduction 0
3600.08/3611.60 c CG first core best 0
3600.08/3611.60 c CG decision core best 0
3600.08/3611.60 c CG core reduction tie 0
3600.08/3611.60 c CG core degree average 0.00
3600.08/3611.60 c CG core slack average 0.00
3600.08/3611.60 c CG core upper bound improvements 0
3600.08/3611.60 c STR number of successful calls 0
3600.08/3611.60 c STR number of unsuccessful calls 0
3600.08/3611.60 c STR number of inconclusive calls 0
3600.08/3611.60 c STR number of successful attempts 0
3600.08/3611.60 c STR number of unsuccessful attempts 0
3600.08/3611.60 c STR number of inconclusive attempts 0
3600.08/3611.60 c STR average degree increase per successful call inf
3600.08/3611.60 c STR average degree increase per successful attempt inf
3600.08/3611.60 c STR total number of conflicts for successful attempts 0
3600.08/3611.60 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.60 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.60 c STR average number of conflicts per successful attempt inf
3600.08/3611.60 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.60 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.60 c AVG.sumWPerc 48.90
3600.08/3611.60 c bigint constraints 0
3600.08/3611.60 s UNKNOWN
3600.08/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: 63837 MiB (62879 MiB free)
memory of node 1: 64465 MiB (63615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499305-1751416183/watcher-4499305-1751416183 -o /tmp/evaluation-result-4499305-1751416183/solver-4499305-1751416183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751416183-69577 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499305-1751416183.opb PROOFDIR/proof-4499305-1751416183
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69631, runsolver pid=69617
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 0.61 1.05 1.18 6/255 69638
/proc/meminfo: memFree=129536364/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=57844 memory=13056 CPUtime=0.07 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 1019 0 0 0 6 1 0 0 20 0 1 0 57297420 59232256 3232 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 14461 3232 1952 1147 0 1888 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62036 KiB
Current children cumulated memory: 16128 KiB
[startup+0.212824 s]*
/proc/loadavg: 0.61 1.05 1.18 6/255 69638
/proc/meminfo: memFree=129509512/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=76384 memory=26960 CPUtime=0.19 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 4772 0 0 0 15 4 0 0 20 0 1 0 57297420 78217216 6740 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 19096 6740 2336 1147 0 6523 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80576 KiB
Current children cumulated memory: 30032 KiB
[startup+0.312943 s]*
/proc/loadavg: 0.61 1.05 1.18 6/255 69638
/proc/meminfo: memFree=129504472/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=77328 memory=27856 CPUtime=0.28 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 4938 0 0 0 24 4 0 0 20 0 1 0 57297420 79183872 6964 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 19332 6964 2368 1147 0 6759 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 81520 KiB
Current children cumulated memory: 30928 KiB
[startup+0.700342 s]
/proc/loadavg: 0.88 1.10 1.19 5/255 69638
/proc/meminfo: memFree=129490108/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=81920 memory=32720 CPUtime=0.66 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 6153 0 0 0 61 5 0 0 20 0 1 0 57297420 83886080 8180 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 20480 8180 2368 1147 0 7907 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 86112 KiB
Current children cumulated memory: 35792 KiB
[startup+1.50036 s]
/proc/loadavg: 0.88 1.10 1.19 5/255 69638
/proc/meminfo: memFree=129457536/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=91092 memory=41680 CPUtime=1.45 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 8371 0 0 0 138 7 0 0 20 0 1 0 57297420 93278208 10420 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 22773 10420 2400 1147 0 10200 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 95284 KiB
Current children cumulated memory: 44752 KiB
[startup+3.11235 s]
/proc/loadavg: 0.88 1.10 1.19 5/255 69638
/proc/meminfo: memFree=129301716/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=116356 memory=67256 CPUtime=3.06 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 13224 0 0 0 294 12 0 0 20 0 1 0 57297420 119148544 16814 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 29089 16814 2400 1147 0 16516 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 120548 KiB
Current children cumulated memory: 70328 KiB
[startup+6.30033 s]
/proc/loadavg: 1.13 1.15 1.21 4/253 69653
/proc/meminfo: memFree=129257184/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=120732 memory=71992 CPUtime=6.23 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 14428 0 0 0 603 20 0 0 20 0 1 0 57297420 123629568 17998 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 30183 17998 2400 1147 0 17610 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 124924 KiB
Current children cumulated memory: 75064 KiB
[startup+12.7003 s]
/proc/loadavg: 1.28 1.18 1.22 4/250 69676
/proc/meminfo: memFree=129105880/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=162880 memory=105624 CPUtime=12.61 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 20798 0 0 0 1229 32 0 0 20 0 1 0 57297420 166789120 26406 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 40720 26406 2400 1147 0 28147 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 167072 KiB
Current children cumulated memory: 108696 KiB
[startup+25.5004 s]
/proc/loadavg: 1.54 1.24 1.24 4/250 69676
/proc/meminfo: memFree=128774376/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=204860 memory=149436 CPUtime=25.38 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 30220 0 0 0 2483 55 0 0 20 0 1 0 57297420 209776640 37359 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 51215 37359 2400 1147 0 38642 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 209052 KiB
Current children cumulated memory: 152508 KiB
[startup+51.1127 s]
/proc/loadavg: 2.18 1.42 1.30 4/254 69681
/proc/meminfo: memFree=128216420/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=293228 memory=219212 CPUtime=50.9 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 45602 0 0 0 4989 101 0 0 20 0 1 0 57297420 300265472 54803 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 73307 54803 2400 1147 0 60734 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 297420 KiB
Current children cumulated memory: 222284 KiB
[startup+102.3 s]
/proc/loadavg: 2.70 1.68 1.40 4/253 69682
/proc/meminfo: memFree=127270256/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=324672 memory=251376 CPUtime=101.93 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 53073 0 0 0 10011 182 0 0 20 0 1 0 57297420 332464128 62844 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 81168 62844 2496 1147 0 68595 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 328864 KiB
Current children cumulated memory: 254448 KiB
[startup+162.3 s]
/proc/loadavg: 2.97 1.94 1.51 4/254 69685
/proc/meminfo: memFree=126173700/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=611308 memory=492740 CPUtime=161.71 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 97846 0 0 0 15902 269 0 0 20 0 1 0 57297420 625979392 123185 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 152827 123185 2496 1147 0 140254 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 615500 KiB
Current children cumulated memory: 495812 KiB
[startup+222.3 s]
/proc/loadavg: 3.15 2.18 1.62 4/255 69692
/proc/meminfo: memFree=125316260/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=639360 memory=518340 CPUtime=221.52 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 104080 0 0 0 21798 354 0 0 20 0 1 0 57297420 654704640 129585 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
################
# More data... #
################
/proc/69637/statm: 531621 515865 2528 1147 0 519048 0
Current children cumulated CPU time: 3032.46 s
Current children cumulated vsize: 2130676 KiB
Current children cumulated memory: 2066532 KiB
[startup+3102.3 s]
/proc/loadavg: 2.13 2.24 2.19 3/247 69889
/proc/meminfo: memFree=97649064/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2126484 memory=2063460 CPUtime=3092.28 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330117 0 0 0 306118 3110 0 0 20 0 1 0 57297420 2177519616 515865 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 531621 515865 2528 1147 0 519048 0
Current children cumulated CPU time: 3092.28 s
Current children cumulated vsize: 2130676 KiB
Current children cumulated memory: 2066532 KiB
[startup+3162.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/247 69891
/proc/meminfo: memFree=97326396/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2126996 memory=2063716 CPUtime=3152.12 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330273 0 0 0 312064 3148 0 0 20 0 1 0 57297420 2178043904 515929 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 531749 515929 2528 1147 0 519176 0
Current children cumulated CPU time: 3152.12 s
Current children cumulated vsize: 2131188 KiB
Current children cumulated memory: 2066788 KiB
[startup+3222.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/248 69894
/proc/meminfo: memFree=97023112/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2126996 memory=2063716 CPUtime=3211.95 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330273 0 0 0 318011 3184 0 0 20 0 1 0 57297420 2178043904 515929 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 531749 515929 2528 1147 0 519176 0
Current children cumulated CPU time: 3211.95 s
Current children cumulated vsize: 2131188 KiB
Current children cumulated memory: 2066788 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.18 2.17 3/248 69901
/proc/meminfo: memFree=96601424/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2126996 memory=2063716 CPUtime=3271.79 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330278 0 0 0 323954 3225 0 0 20 0 1 0 57297420 2178043904 515929 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 531749 515929 2528 1147 0 519176 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 2131188 KiB
Current children cumulated memory: 2066788 KiB
[startup+3342.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/246 69903
/proc/meminfo: memFree=96213892/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2126996 memory=2063716 CPUtime=3331.61 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330382 0 0 0 329894 3267 0 0 20 0 1 0 57297420 2178043904 515929 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 531749 515929 2528 1147 0 519176 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 2131188 KiB
Current children cumulated memory: 2066788 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/246 69905
/proc/meminfo: memFree=95913244/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2126996 memory=2063716 CPUtime=3391.42 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330382 0 0 0 335836 3306 0 0 20 0 1 0 57297420 2178043904 515929 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 531749 515929 2528 1147 0 519176 0
Current children cumulated CPU time: 3391.42 s
Current children cumulated vsize: 2131188 KiB
Current children cumulated memory: 2066788 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.15 2.17 3/246 69907
/proc/meminfo: memFree=95500504/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2126996 memory=2063716 CPUtime=3451.23 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330383 0 0 0 341772 3351 0 0 20 0 1 0 57297420 2178043904 515929 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 531749 515929 2528 1147 0 519176 0
Current children cumulated CPU time: 3451.23 s
Current children cumulated vsize: 2131188 KiB
Current children cumulated memory: 2066788 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 2.15 2.17 3/246 69909
/proc/meminfo: memFree=95116424/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2127508 memory=2064100 CPUtime=3511.06 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330537 0 0 0 347712 3394 0 0 20 0 1 0 57297420 2178568192 516025 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 531877 516025 2528 1147 0 519304 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 2131700 KiB
Current children cumulated memory: 2067172 KiB
[startup+3582.3 s]
/proc/loadavg: 2.12 2.14 2.16 3/245 69911
/proc/meminfo: memFree=94734552/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2128020 memory=2064356 CPUtime=3570.87 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330642 0 0 0 353647 3440 0 0 20 0 1 0 57297420 2179092480 516089 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 532005 516089 2528 1147 0 519432 0
Current children cumulated CPU time: 3570.87 s
Current children cumulated vsize: 2132212 KiB
Current children cumulated memory: 2067428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 2.08 2.13 2.16 3/247 69917
/proc/meminfo: memFree=94499980/131382112 swapFree=33005784/33010684
[pid=69631] ppid=69617 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69631/stat : 69631 (run-opt-log.sh) S 69617 69631 68503 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57297419 4292608 768 18446744073709551615 94552993181696 94552994076229 140723340717776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94552994315280 94552994363024 94553015644160 140723340724513 140723340724708 140723340724708 140723340730310 0
/proc/69631/statm: 1048 768 704 219 0 110 0
[pid=69637] ppid=69631 vsize=2130580 memory=2065764 CPUtime=3600.08 cores=1,3
/proc/69637/stat : 69637 (roundingsat) R 69631 69631 68503 0 -1 4194304 330992 0 0 0 356545 3463 0 0 20 0 1 0 57297420 2181713920 516441 18446744073709551615 4227072 8923433 140725176431952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21057536 140725176437074 140725176437288 140725176437288 140725176442858 0
/proc/69637/statm: 532645 516441 2528 1147 0 520072 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2134772 KiB
Current children cumulated memory: 2068836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.61 s]
# the end of solver process 69631 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000889 s, system=0.004678 s
[startup+3611.66 s]
# the end of solver process 69637 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.46 s, system=34.6525 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.66
CPU time (s): 3600.11
CPU user time (s): 3565.46
CPU system time (s): 34.6525
CPU usage (%): 99.6802
Max. virtual memory (cumulated for all children) (KiB): 2134772
Max. memory (cumulated for all children) (KiB): 2068836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.46
system time used= 34.6525
maximum resident set size= 2065892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38873176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1946
involuntary context switches= 5700
# summary of solver processes directly reported to runsolver:
# pid: 69631,69637
# total CPU time (s): 3600.11
# total CPU user time (s): 3565.46
# total CPU system time (s): 34.6525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8121 second user time and 35.8526 second system time
The end
Begin job on nodeC007 at 2025-07-02 02:29:43
IDJOB=4499305
IDBENCH=148775
IDSOLVER=3351
FILE ID=nodeC007/4499305-1751416183
RUNJOBID= nodeC007-1751416183-69577
SLURM_JOB_ID= 9598307
Free space on /tmp= 432396 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499305-1751416183/watcher-4499305-1751416183 -o /tmp/evaluation-result-4499305-1751416183/solver-4499305-1751416183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751416183-69577 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499305-1751416183.opb PROOFDIR/proof-4499305-1751416183
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1007478846
nodeC007 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 : 0xb00001f
cpu MHz : 1197.173
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.046
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.201
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.189
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.283
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1194.699
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.124
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.203
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129536348 kB
MemAvailable: 129782820 kB
Buffers: 16 kB
Cached: 938568 kB
SwapCached: 216 kB
Active: 206168 kB
Inactive: 799680 kB
Active(anon): 31524 kB
Inactive(anon): 49232 kB
Active(file): 174644 kB
Inactive(file): 750448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31048 kB
Writeback: 0 kB
AnonPages: 70120 kB
Mapped: 97784 kB
Shmem: 13492 kB
KReclaimable: 322012 kB
Slab: 409772 kB
SReclaimable: 322012 kB
SUnreclaim: 87760 kB
KernelStack: 3936 kB
PageTables: 2708 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 333992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432364 MiB
End job on nodeC007 at 2025-07-02 03:29:55