0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.07 c #variables 2130 #constraints 2544
0.00/0.07 c objective is ce32
0.00/0.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07 c initial counting CF 32, 64, 128, Arb: 321 , 0 , 0 , 0
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.037791
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.038947
0.00/0.08 c GLOBAL bounds - >= 5 @ 0.038947
0.08/0.11 c rational objective 5
1.27/1.34 c #Conflicts: 1000 | #Constraints: 3577
1.27/1.34 c #Conflicts: 2000 | #Constraints: 4589
1.27/1.34 c INPROCESSING
1.27/1.34 c GARBAGE COLLECT
1.27/1.34 c rational objective 5
1.56/1.63 c GLOBAL bounds - >= 5 @ 1.5324
2.36/2.43 c #Conflicts: 3000 | #Constraints: 2458
2.36/2.43 c #Conflicts: 4000 | #Constraints: 3461
2.36/2.43 c INPROCESSING
2.36/2.43 c GARBAGE COLLECT
2.36/2.43 c rational objective 5
2.46/2.51 c GLOBAL bounds - >= 5 @ 2.39755
2.46/2.51 c GLOBAL bounds - >= 5 @ 2.39759
3.36/3.47 c #Conflicts: 5000 | #Constraints: 2860
3.36/3.47 c #Conflicts: 6000 | #Constraints: 3869
3.36/3.47 c INPROCESSING
3.36/3.47 c GARBAGE COLLECT
3.36/3.47 c rational objective 5
3.46/3.54 c GLOBAL bounds - >= 5 @ 3.40471
3.46/3.54 c GLOBAL bounds - >= 5 @ 3.40475
4.36/4.43 c #Conflicts: 7000 | #Constraints: 2871
4.36/4.43 c #Conflicts: 8000 | #Constraints: 3878
4.36/4.43 c #Conflicts: 9000 | #Constraints: 4882
4.36/4.43 c INPROCESSING
4.36/4.43 c GARBAGE COLLECT
4.36/4.43 c rational objective 5
4.55/4.65 c GLOBAL bounds - >= 5 @ 4.49994
4.55/4.65 c GLOBAL bounds - >= 5 @ 4.49998
5.76/5.83 c #Conflicts: 10000 | #Constraints: 3570
5.76/5.83 c #Conflicts: 11000 | #Constraints: 4576
5.76/5.83 c #Conflicts: 12000 | #Constraints: 5580
5.76/5.83 c INPROCESSING
5.76/5.83 c GARBAGE COLLECT
5.76/5.83 c rational objective 5
5.86/5.91 c GLOBAL bounds - >= 5 @ 5.74166
5.86/5.91 c GLOBAL bounds - >= 5 @ 5.74169
7.06/7.17 c #Conflicts: 13000 | #Constraints: 4017
7.06/7.17 c #Conflicts: 14000 | #Constraints: 5026
7.06/7.17 c #Conflicts: 15000 | #Constraints: 6028
7.06/7.17 c INPROCESSING
7.06/7.17 c GARBAGE COLLECT
7.06/7.17 c rational objective 5
7.25/7.34 c GLOBAL bounds - >= 5 @ 7.13622
7.25/7.34 c GLOBAL bounds - >= 5 @ 7.13627
8.96/9.04 c #Conflicts: 16000 | #Constraints: 4266
8.96/9.04 c #Conflicts: 17000 | #Constraints: 5268
8.96/9.04 c #Conflicts: 18000 | #Constraints: 6274
8.96/9.04 c INPROCESSING
8.96/9.04 c GARBAGE COLLECT
8.96/9.04 c rational objective 5
9.06/9.13 c GLOBAL bounds - >= 5 @ 8.89006
9.06/9.13 c GLOBAL bounds - >= 5 @ 8.8901
10.74/10.85 c #Conflicts: 19000 | #Constraints: 4285
10.74/10.85 c #Conflicts: 20000 | #Constraints: 5291
10.74/10.85 c #Conflicts: 21000 | #Constraints: 6300
10.74/10.85 c INPROCESSING
10.74/10.85 c GARBAGE COLLECT
10.74/10.85 c rational objective 5
10.84/10.96 c GLOBAL bounds - >= 5 @ 10.679
10.84/10.96 c GLOBAL bounds - >= 5 @ 10.679
12.74/12.88 c #Conflicts: 22000 | #Constraints: 4078
12.74/12.88 c #Conflicts: 23000 | #Constraints: 5087
12.74/12.88 c #Conflicts: 24000 | #Constraints: 6093
12.74/12.88 c #Conflicts: 25000 | #Constraints: 7097
12.74/12.88 c INPROCESSING
12.74/12.88 c GARBAGE COLLECT
12.74/12.88 c rational objective 5
12.84/12.97 c GLOBAL bounds - >= 5 @ 12.6586
12.84/12.97 c GLOBAL bounds - >= 5 @ 12.6586
14.83/15.00 c #Conflicts: 26000 | #Constraints: 4682
14.83/15.00 c #Conflicts: 27000 | #Constraints: 5691
14.83/15.00 c #Conflicts: 28000 | #Constraints: 6712
14.83/15.00 c #Conflicts: 29000 | #Constraints: 7953
14.83/15.00 c INPROCESSING
14.83/15.00 c GARBAGE COLLECT
14.83/15.00 c rational objective 5
14.94/15.10 c GLOBAL bounds - >= 5 @ 14.7564
14.94/15.10 c GLOBAL bounds - >= 5 @ 14.7564
17.33/17.42 c #Conflicts: 30000 | #Constraints: 5219
17.33/17.42 c #Conflicts: 31000 | #Constraints: 6229
17.33/17.42 c #Conflicts: 32000 | #Constraints: 7238
17.33/17.42 c #Conflicts: 33000 | #Constraints: 8245
17.33/17.42 c INPROCESSING
17.33/17.42 c GARBAGE COLLECT
17.33/17.42 c rational objective 5
17.43/17.50 c GLOBAL bounds - >= 5 @ 17.12
17.43/17.50 c GLOBAL bounds - >= 5 @ 17.12
19.22/19.34 c #Conflicts: 34000 | #Constraints: 5357
19.22/19.34 c #Conflicts: 35000 | #Constraints: 6358
19.22/19.34 c #Conflicts: 36000 | #Constraints: 7361
19.22/19.34 c #Conflicts: 37000 | #Constraints: 8369
19.22/19.34 c INPROCESSING
19.22/19.34 c GARBAGE COLLECT
19.22/19.34 c rational objective 5
19.32/19.45 c GLOBAL bounds - >= 5 @ 19.0286
19.32/19.45 c GLOBAL bounds - >= 5 @ 19.0287
21.71/21.81 c #Conflicts: 38000 | #Constraints: 5335
21.71/21.81 c #Conflicts: 39000 | #Constraints: 6337
21.71/21.81 c #Conflicts: 40000 | #Constraints: 7347
21.71/21.81 c #Conflicts: 41000 | #Constraints: 8355
21.71/21.81 c INPROCESSING
21.71/21.81 c GARBAGE COLLECT
21.71/21.81 c rational objective 5
21.81/21.91 c GLOBAL bounds - >= 5 @ 21.4553
21.81/21.91 c GLOBAL bounds - >= 5 @ 21.4553
24.02/24.18 c #Conflicts: 42000 | #Constraints: 5117
24.02/24.18 c #Conflicts: 43000 | #Constraints: 6125
24.02/24.18 c #Conflicts: 44000 | #Constraints: 7132
24.02/24.18 c #Conflicts: 45000 | #Constraints: 8137
24.02/24.18 c #Conflicts: 46000 | #Constraints: 9142
24.02/24.18 c INPROCESSING
24.02/24.18 c GARBAGE COLLECT
24.02/24.18 c rational objective 5
24.10/24.24 c GLOBAL bounds - >= 5 @ 23.752
24.10/24.24 c GLOBAL bounds - >= 5 @ 23.752
27.10/27.21 c #Conflicts: 47000 | #Constraints: 5717
27.10/27.21 c #Conflicts: 48000 | #Constraints: 6721
27.10/27.21 c #Conflicts: 49000 | #Constraints: 7728
27.10/27.21 c #Conflicts: 50000 | #Constraints: 8735
27.10/27.21 c #Conflicts: 51000 | #Constraints: 9741
27.10/27.21 c INPROCESSING
27.10/27.21 c GARBAGE COLLECT
27.10/27.21 c rational objective 5
27.10/27.28 c GLOBAL bounds - >= 5 @ 26.7274
27.10/27.28 c GLOBAL bounds - >= 5 @ 26.7275
29.91/30.03 c #Conflicts: 52000 | #Constraints: 6116
29.91/30.03 c #Conflicts: 53000 | #Constraints: 7124
29.91/30.03 c #Conflicts: 54000 | #Constraints: 8132
29.91/30.03 c #Conflicts: 55000 | #Constraints: 9138
29.91/30.03 c #Conflicts: 56000 | #Constraints: 10149
29.91/30.03 c INPROCESSING
29.91/30.03 c GARBAGE COLLECT
29.91/30.03 c rational objective 5
30.01/30.15 c GLOBAL bounds - >= 5 @ 29.5608
30.01/30.15 c GLOBAL bounds - >= 5 @ 29.5608
34.28/34.49 c #Conflicts: 57000 | #Constraints: 6315
34.28/34.49 c #Conflicts: 58000 | #Constraints: 7320
34.28/34.49 c #Conflicts: 59000 | #Constraints: 8326
34.28/34.49 c #Conflicts: 60000 | #Constraints: 9330
34.28/34.49 c #Conflicts: 61000 | #Constraints: 10338
34.28/34.49 c INPROCESSING
34.28/34.49 c GARBAGE COLLECT
34.28/34.49 c rational objective 5
34.38/34.56 c GLOBAL bounds - >= 5 @ 33.9083
34.38/34.56 c GLOBAL bounds - >= 5 @ 33.9083
38.76/39.00 c #Conflicts: 62000 | #Constraints: 6303
38.76/39.00 c #Conflicts: 63000 | #Constraints: 7312
38.76/39.00 c #Conflicts: 64000 | #Constraints: 8316
38.76/39.00 c #Conflicts: 65000 | #Constraints: 9324
38.76/39.00 c #Conflicts: 66000 | #Constraints: 10331
38.76/39.00 c INPROCESSING
38.76/39.00 c GARBAGE COLLECT
38.76/39.00 c rational objective 5
38.88/39.11 c GLOBAL bounds - >= 5 @ 38.388
38.88/39.11 c GLOBAL bounds - >= 5 @ 38.3881
43.55/43.76 c #Conflicts: 67000 | #Constraints: 6102
43.55/43.76 c #Conflicts: 68000 | #Constraints: 7110
43.55/43.76 c #Conflicts: 69000 | #Constraints: 8117
43.55/43.76 c #Conflicts: 70000 | #Constraints: 9121
43.55/43.76 c #Conflicts: 71000 | #Constraints: 10123
43.55/43.76 c #Conflicts: 72000 | #Constraints: 11126
43.55/43.76 c INPROCESSING
43.55/43.76 c GARBAGE COLLECT
43.55/43.76 c rational objective 5
43.65/43.85 c GLOBAL bounds - >= 5 @ 43.0621
43.65/43.85 c GLOBAL bounds - >= 5 @ 43.0621
47.24/47.48 c #Conflicts: 73000 | #Constraints: 6693
47.24/47.48 c #Conflicts: 74000 | #Constraints: 7698
47.24/47.48 c #Conflicts: 75000 | #Constraints: 8703
47.24/47.48 c #Conflicts: 76000 | #Constraints: 9710
47.24/47.48 c #Conflicts: 77000 | #Constraints: 10716
47.24/47.48 c #Conflicts: 78000 | #Constraints: 11721
47.24/47.48 c INPROCESSING
47.24/47.48 c GARBAGE COLLECT
47.24/47.48 c rational objective 5
47.34/47.58 c GLOBAL bounds - >= 5 @ 46.7368
47.34/47.58 c GLOBAL bounds - >= 5 @ 46.7369
52.72/52.96 c #Conflicts: 79000 | #Constraints: 7282
52.72/52.96 c #Conflicts: 80000 | #Constraints: 8809
52.72/52.96 c #Conflicts: 81000 | #Constraints: 9881
52.72/52.96 c #Conflicts: 82000 | #Constraints: 10910
52.72/52.96 c #Conflicts: 83000 | #Constraints: 11939
52.72/52.96 c #Conflicts: 84000 | #Constraints: 13115
52.72/52.96 c INPROCESSING
52.72/52.96 c GARBAGE COLLECT
52.72/52.96 c rational objective 5
52.93/53.13 c GLOBAL bounds - >= 5 @ 52.2086
52.93/53.13 c GLOBAL bounds - >= 5 @ 52.2086
57.82/58.07 c #Conflicts: 85000 | #Constraints: 7922
57.82/58.07 c #Conflicts: 86000 | #Constraints: 9136
57.82/58.07 c #Conflicts: 87000 | #Constraints: 10663
57.82/58.07 c #Conflicts: 88000 | #Constraints: 12188
57.82/58.07 c #Conflicts: 89000 | #Constraints: 13733
57.82/58.07 c #Conflicts: 90000 | #Constraints: 15252
57.82/58.07 c INPROCESSING
57.82/58.07 c GARBAGE COLLECT
57.82/58.07 c rational objective 5
58.10/58.38 c GLOBAL bounds - >= 5 @ 57.3714
58.10/58.38 c GLOBAL bounds - >= 5 @ 57.3714
66.47/66.71 c #Conflicts: 91000 | #Constraints: 8813
66.47/66.71 c #Conflicts: 92000 | #Constraints: 9820
66.47/66.71 c #Conflicts: 93000 | #Constraints: 10926
66.47/66.71 c #Conflicts: 94000 | #Constraints: 12540
66.47/66.71 c #Conflicts: 95000 | #Constraints: 14123
66.47/66.71 c #Conflicts: 96000 | #Constraints: 15660
66.47/66.71 c INPROCESSING
66.47/66.71 c GARBAGE COLLECT
66.47/66.71 c rational objective 5
66.67/66.95 c GLOBAL bounds - >= 5 @ 65.8263
66.67/66.95 c GLOBAL bounds - >= 5 @ 65.8263
84.91/85.27 c #Conflicts: 97000 | #Constraints: 9130
84.91/85.27 c #Conflicts: 98000 | #Constraints: 10491
84.91/85.27 c #Conflicts: 99000 | #Constraints: 11499
84.91/85.27 c #Conflicts: 100000 | #Constraints: 12502
84.91/85.27 c #Conflicts: 101000 | #Constraints: 13503
84.91/85.27 c #Conflicts: 102000 | #Constraints: 14507
84.91/85.27 c #Conflicts: 103000 | #Constraints: 15510
84.91/85.27 c INPROCESSING
84.91/85.27 c GARBAGE COLLECT
84.91/85.27 c rational objective 5
85.32/85.62 c GLOBAL bounds - >= 5 @ 84.2978
85.32/85.62 c GLOBAL bounds - >= 5 @ 84.2979
91.89/92.28 c #Conflicts: 104000 | #Constraints: 8889
91.89/92.28 c #Conflicts: 105000 | #Constraints: 9896
91.89/92.28 c #Conflicts: 106000 | #Constraints: 10901
91.89/92.28 c #Conflicts: 107000 | #Constraints: 11907
91.89/92.28 c #Conflicts: 108000 | #Constraints: 12914
91.89/92.28 c #Conflicts: 109000 | #Constraints: 13921
91.89/92.28 c #Conflicts: 110000 | #Constraints: 14927
91.89/92.28 c INPROCESSING
91.89/92.28 c GARBAGE COLLECT
91.89/92.28 c rational objective 5
91.99/92.38 c GLOBAL bounds - >= 5 @ 90.99
91.99/92.38 c GLOBAL bounds - >= 5 @ 90.9901
98.68/99.01 c #Conflicts: 111000 | #Constraints: 8708
98.68/99.01 c #Conflicts: 112000 | #Constraints: 9716
98.68/99.01 c #Conflicts: 113000 | #Constraints: 10723
98.68/99.01 c #Conflicts: 114000 | #Constraints: 11725
98.68/99.01 c #Conflicts: 115000 | #Constraints: 12734
98.68/99.01 c #Conflicts: 116000 | #Constraints: 13736
98.68/99.01 c #Conflicts: 117000 | #Constraints: 14738
98.68/99.01 c INPROCESSING
98.68/99.01 c GARBAGE COLLECT
98.68/99.01 c rational objective 5
98.78/99.13 c GLOBAL bounds - >= 5 @ 97.6587
98.78/99.13 c GLOBAL bounds - >= 5 @ 97.6587
106.35/106.79 c #Conflicts: 118000 | #Constraints: 8616
106.35/106.79 c #Conflicts: 119000 | #Constraints: 9622
106.35/106.79 c #Conflicts: 120000 | #Constraints: 10624
106.35/106.79 c #Conflicts: 121000 | #Constraints: 11630
106.35/106.79 c #Conflicts: 122000 | #Constraints: 12634
106.35/106.79 c #Conflicts: 123000 | #Constraints: 13643
106.35/106.79 c #Conflicts: 124000 | #Constraints: 14649
106.35/106.79 c INPROCESSING
106.35/106.79 c GARBAGE COLLECT
106.35/106.79 c rational objective 5
106.55/106.91 c GLOBAL bounds - >= 5 @ 105.337
106.55/106.91 c GLOBAL bounds - >= 5 @ 105.337
112.64/113.09 c #Conflicts: 125000 | #Constraints: 8469
112.64/113.09 c #Conflicts: 126000 | #Constraints: 9479
112.64/113.09 c #Conflicts: 127000 | #Constraints: 10484
112.64/113.09 c #Conflicts: 128000 | #Constraints: 11495
112.64/113.09 c #Conflicts: 129000 | #Constraints: 12502
112.64/113.09 c #Conflicts: 130000 | #Constraints: 13505
112.64/113.09 c #Conflicts: 131000 | #Constraints: 14508
112.64/113.09 c INPROCESSING
112.64/113.09 c GARBAGE COLLECT
112.64/113.09 c rational objective 5
112.83/113.26 c GLOBAL bounds - >= 5 @ 111.606
112.83/113.26 c GLOBAL bounds - >= 5 @ 111.606
118.91/119.34 c #Conflicts: 132000 | #Constraints: 8185
118.91/119.34 c #Conflicts: 133000 | #Constraints: 9192
118.91/119.34 c #Conflicts: 134000 | #Constraints: 10196
118.91/119.34 c #Conflicts: 135000 | #Constraints: 11205
118.91/119.34 c #Conflicts: 136000 | #Constraints: 12212
118.91/119.34 c #Conflicts: 137000 | #Constraints: 13221
118.91/119.34 c #Conflicts: 138000 | #Constraints: 14227
118.91/119.34 c #Conflicts: 139000 | #Constraints: 15234
118.91/119.34 c INPROCESSING
118.91/119.34 c GARBAGE COLLECT
118.91/119.34 c rational objective 5
119.11/119.50 c GLOBAL bounds - >= 5 @ 117.778
119.11/119.50 c GLOBAL bounds - >= 5 @ 117.778
130.47/130.99 c #Conflicts: 140000 | #Constraints: 8753
130.47/130.99 c #Conflicts: 141000 | #Constraints: 9757
130.47/130.99 c #Conflicts: 142000 | #Constraints: 10763
130.47/130.99 c #Conflicts: 143000 | #Constraints: 11770
130.47/130.99 c #Conflicts: 144000 | #Constraints: 12774
130.47/130.99 c #Conflicts: 145000 | #Constraints: 13776
130.47/130.99 c #Conflicts: 146000 | #Constraints: 14779
130.47/130.99 c #Conflicts: 147000 | #Constraints: 15781
130.47/130.99 c INPROCESSING
130.47/130.99 c GARBAGE COLLECT
130.47/130.99 c rational objective 5
130.77/131.26 c GLOBAL bounds - >= 5 @ 129.438
130.77/131.26 c GLOBAL bounds - >= 5 @ 129.438
137.66/138.15 c #Conflicts: 148000 | #Constraints: 9129
137.66/138.15 c #Conflicts: 149000 | #Constraints: 10137
137.66/138.15 c #Conflicts: 150000 | #Constraints: 11146
137.66/138.15 c #Conflicts: 151000 | #Constraints: 12151
137.66/138.15 c #Conflicts: 152000 | #Constraints: 13155
137.66/138.15 c #Conflicts: 153000 | #Constraints: 14160
137.66/138.15 c #Conflicts: 154000 | #Constraints: 15170
137.66/138.15 c #Conflicts: 155000 | #Constraints: 16179
137.66/138.15 c INPROCESSING
137.66/138.15 c GARBAGE COLLECT
137.66/138.15 c rational objective 5
137.75/138.29 c GLOBAL bounds - >= 5 @ 136.365
137.75/138.29 c GLOBAL bounds - >= 5 @ 136.365
144.13/144.67 c #Conflicts: 156000 | #Constraints: 9332
144.13/144.67 c #Conflicts: 157000 | #Constraints: 10339
144.13/144.67 c #Conflicts: 158000 | #Constraints: 11347
144.13/144.67 c #Conflicts: 159000 | #Constraints: 12352
144.13/144.67 c #Conflicts: 160000 | #Constraints: 13356
144.13/144.67 c #Conflicts: 161000 | #Constraints: 14364
144.13/144.67 c #Conflicts: 162000 | #Constraints: 15368
144.13/144.67 c #Conflicts: 163000 | #Constraints: 16380
144.13/144.67 c INPROCESSING
144.13/144.67 c GARBAGE COLLECT
144.13/144.67 c rational objective 5
144.23/144.72 c GLOBAL bounds - >= 5 @ 142.701
144.23/144.72 c GLOBAL bounds - >= 5 @ 142.701
150.90/151.49 c #Conflicts: 164000 | #Constraints: 9345
150.90/151.49 c #Conflicts: 165000 | #Constraints: 10349
150.90/151.49 c #Conflicts: 166000 | #Constraints: 11353
150.90/151.49 c #Conflicts: 167000 | #Constraints: 12355
150.90/151.49 c #Conflicts: 168000 | #Constraints: 13360
150.90/151.49 c #Conflicts: 169000 | #Constraints: 14366
150.90/151.49 c #Conflicts: 170000 | #Constraints: 15371
150.90/151.49 c #Conflicts: 171000 | #Constraints: 16378
150.90/151.49 c INPROCESSING
150.90/151.49 c GARBAGE COLLECT
150.90/151.49 c rational objective 5
151.10/151.60 c GLOBAL bounds - >= 5 @ 149.487
151.10/151.60 c GLOBAL bounds - >= 5 @ 149.487
159.67/160.21 c #Conflicts: 172000 | #Constraints: 9130
159.67/160.21 c #Conflicts: 173000 | #Constraints: 10140
159.67/160.21 c #Conflicts: 174000 | #Constraints: 11145
159.67/160.21 c #Conflicts: 175000 | #Constraints: 12157
159.67/160.21 c #Conflicts: 176000 | #Constraints: 13172
159.67/160.21 c #Conflicts: 177000 | #Constraints: 14177
159.67/160.21 c #Conflicts: 178000 | #Constraints: 15185
159.67/160.21 c #Conflicts: 179000 | #Constraints: 16190
159.67/160.21 c #Conflicts: 180000 | #Constraints: 17195
159.67/160.21 c INPROCESSING
159.67/160.21 c GARBAGE COLLECT
159.67/160.21 c rational objective 5
159.77/160.30 c GLOBAL bounds - >= 5 @ 158.079
159.77/160.30 c GLOBAL bounds - >= 5 @ 158.079
166.86/167.42 c #Conflicts: 181000 | #Constraints: 9733
166.86/167.42 c #Conflicts: 182000 | #Constraints: 10739
166.86/167.42 c #Conflicts: 183000 | #Constraints: 11742
166.86/167.42 c #Conflicts: 184000 | #Constraints: 12750
166.86/167.42 c #Conflicts: 185000 | #Constraints: 13757
166.86/167.42 c #Conflicts: 186000 | #Constraints: 14760
166.86/167.42 c #Conflicts: 187000 | #Constraints: 15763
166.86/167.42 c #Conflicts: 188000 | #Constraints: 16774
166.86/167.42 c #Conflicts: 189000 | #Constraints: 17779
166.86/167.42 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c rational objective 5
166.95/167.50 c GLOBAL bounds - >= 5 @ 165.181
166.95/167.50 c GLOBAL bounds - >= 5 @ 165.181
174.92/175.51 c #Conflicts: 190000 | #Constraints: 10136
174.92/175.51 c #Conflicts: 191000 | #Constraints: 11145
174.92/175.51 c #Conflicts: 192000 | #Constraints: 12151
174.92/175.51 c #Conflicts: 193000 | #Constraints: 13158
174.92/175.51 c #Conflicts: 194000 | #Constraints: 14165
174.92/175.51 c #Conflicts: 195000 | #Constraints: 15169
174.92/175.51 c #Conflicts: 196000 | #Constraints: 16170
174.92/175.51 c #Conflicts: 197000 | #Constraints: 17173
174.92/175.51 c #Conflicts: 198000 | #Constraints: 18178
174.92/175.51 c INPROCESSING
174.92/175.51 c GARBAGE COLLECT
174.92/175.51 c rational objective 5
175.12/175.73 c GLOBAL bounds - >= 5 @ 173.317
175.12/175.73 c GLOBAL bounds - >= 5 @ 173.317
181.90/182.59 c #Conflicts: 199000 | #Constraints: 10340
181.90/182.59 c #Conflicts: 200000 | #Constraints: 11348
181.90/182.59 c #Conflicts: 201000 | #Constraints: 12351
181.90/182.59 c #Conflicts: 202000 | #Constraints: 13357
181.90/182.59 c #Conflicts: 203000 | #Constraints: 14360
181.90/182.59 c #Conflicts: 204000 | #Constraints: 15366
181.90/182.59 c #Conflicts: 205000 | #Constraints: 16372
181.90/182.59 c #Conflicts: 206000 | #Constraints: 17380
181.90/182.59 c #Conflicts: 207000 | #Constraints: 18381
181.90/182.59 c INPROCESSING
181.90/182.59 c GARBAGE COLLECT
181.90/182.59 c rational objective 5
182.00/182.67 c GLOBAL bounds - >= 5 @ 180.174
182.00/182.67 c GLOBAL bounds - >= 5 @ 180.174
199.85/200.58 c #Conflicts: 208000 | #Constraints: 10336
199.85/200.58 c #Conflicts: 209000 | #Constraints: 11342
199.85/200.58 c #Conflicts: 210000 | #Constraints: 12347
199.85/200.58 c #Conflicts: 211000 | #Constraints: 13350
199.85/200.58 c #Conflicts: 212000 | #Constraints: 14355
199.85/200.58 c #Conflicts: 213000 | #Constraints: 15360
199.85/200.58 c #Conflicts: 214000 | #Constraints: 16365
199.85/200.58 c #Conflicts: 215000 | #Constraints: 17368
199.85/200.58 c #Conflicts: 216000 | #Constraints: 18372
199.85/200.58 c INPROCESSING
199.85/200.58 c GARBAGE COLLECT
199.85/200.58 c rational objective 5
199.95/200.69 c GLOBAL bounds - >= 5 @ 198.046
199.95/200.69 c GLOBAL bounds - >= 5 @ 198.046
209.91/210.65 c #Conflicts: 217000 | #Constraints: 10136
209.91/210.65 c #Conflicts: 218000 | #Constraints: 11141
209.91/210.65 c #Conflicts: 219000 | #Constraints: 12145
209.91/210.65 c #Conflicts: 220000 | #Constraints: 13151
209.91/210.65 c #Conflicts: 221000 | #Constraints: 14156
209.91/210.65 c #Conflicts: 222000 | #Constraints: 15160
209.91/210.65 c #Conflicts: 223000 | #Constraints: 16168
209.91/210.65 c #Conflicts: 224000 | #Constraints: 17172
209.91/210.65 c #Conflicts: 225000 | #Constraints: 18174
209.91/210.65 c #Conflicts: 226000 | #Constraints: 19176
209.91/210.65 c INPROCESSING
209.91/210.65 c GARBAGE COLLECT
209.91/210.65 c rational objective 5
210.11/210.84 c GLOBAL bounds - >= 5 @ 208.074
210.11/210.84 c GLOBAL bounds - >= 5 @ 208.074
222.57/223.36 c #Conflicts: 227000 | #Constraints: 10713
222.57/223.36 c #Conflicts: 228000 | #Constraints: 11716
222.57/223.36 c #Conflicts: 229000 | #Constraints: 12727
222.57/223.36 c #Conflicts: 230000 | #Constraints: 13731
222.57/223.36 c #Conflicts: 231000 | #Constraints: 14737
222.57/223.36 c #Conflicts: 232000 | #Constraints: 15744
222.57/223.36 c #Conflicts: 233000 | #Constraints: 16748
222.57/223.36 c #Conflicts: 234000 | #Constraints: 17755
222.57/223.36 c #Conflicts: 235000 | #Constraints: 18761
222.57/223.36 c #Conflicts: 236000 | #Constraints: 19768
222.57/223.36 c INPROCESSING
222.57/223.36 c GARBAGE COLLECT
222.57/223.36 c rational objective 5
222.67/223.47 c GLOBAL bounds - >= 5 @ 220.583
222.67/223.47 c GLOBAL bounds - >= 5 @ 220.583
232.94/233.70 c #Conflicts: 237000 | #Constraints: 11129
232.94/233.70 c #Conflicts: 238000 | #Constraints: 12139
232.94/233.70 c #Conflicts: 239000 | #Constraints: 13144
232.94/233.70 c #Conflicts: 240000 | #Constraints: 14150
232.94/233.70 c #Conflicts: 241000 | #Constraints: 15160
232.94/233.70 c #Conflicts: 242000 | #Constraints: 16166
232.94/233.70 c #Conflicts: 243000 | #Constraints: 17172
232.94/233.70 c #Conflicts: 244000 | #Constraints: 18182
232.94/233.70 c #Conflicts: 245000 | #Constraints: 19186
232.94/233.70 c #Conflicts: 246000 | #Constraints: 20189
232.94/233.70 c INPROCESSING
232.94/233.70 c GARBAGE COLLECT
232.94/233.70 c rational objective 5
233.14/233.97 c GLOBAL bounds - >= 5 @ 230.959
233.14/233.97 c GLOBAL bounds - >= 5 @ 230.959
242.91/243.73 c #Conflicts: 247000 | #Constraints: 11349
242.91/243.73 c #Conflicts: 248000 | #Constraints: 12351
242.91/243.73 c #Conflicts: 249000 | #Constraints: 13355
242.91/243.73 c #Conflicts: 250000 | #Constraints: 14362
242.91/243.73 c #Conflicts: 251000 | #Constraints: 15368
242.91/243.73 c #Conflicts: 252000 | #Constraints: 16377
242.91/243.73 c #Conflicts: 253000 | #Constraints: 17382
242.91/243.73 c #Conflicts: 254000 | #Constraints: 18391
242.91/243.73 c #Conflicts: 255000 | #Constraints: 19399
242.91/243.73 c #Conflicts: 256000 | #Constraints: 20408
242.91/243.73 c INPROCESSING
242.91/243.73 c GARBAGE COLLECT
242.91/243.73 c rational objective 5
243.01/243.85 c GLOBAL bounds - >= 5 @ 240.727
243.01/243.85 c GLOBAL bounds - >= 5 @ 240.727
251.48/252.37 c #Conflicts: 257000 | #Constraints: 11340
251.48/252.37 c #Conflicts: 258000 | #Constraints: 12347
251.48/252.37 c #Conflicts: 259000 | #Constraints: 13353
251.48/252.37 c #Conflicts: 260000 | #Constraints: 14365
251.48/252.37 c #Conflicts: 261000 | #Constraints: 15369
251.48/252.37 c #Conflicts: 262000 | #Constraints: 16372
251.48/252.37 c #Conflicts: 263000 | #Constraints: 17379
251.48/252.37 c #Conflicts: 264000 | #Constraints: 18387
251.48/252.37 c #Conflicts: 265000 | #Constraints: 19393
251.48/252.37 c #Conflicts: 266000 | #Constraints: 20402
251.48/252.37 c INPROCESSING
251.48/252.37 c GARBAGE COLLECT
251.48/252.37 c rational objective 5
251.68/252.51 c GLOBAL bounds - >= 5 @ 249.276
251.68/252.51 c GLOBAL bounds - >= 5 @ 249.276
260.75/261.67 c #Conflicts: 267000 | #Constraints: 11142
260.75/261.67 c #Conflicts: 268000 | #Constraints: 12145
260.75/261.67 c #Conflicts: 269000 | #Constraints: 13150
260.75/261.67 c #Conflicts: 270000 | #Constraints: 14153
260.75/261.67 c #Conflicts: 271000 | #Constraints: 15157
260.75/261.67 c #Conflicts: 272000 | #Constraints: 16160
260.75/261.67 c #Conflicts: 273000 | #Constraints: 17161
260.75/261.67 c #Conflicts: 274000 | #Constraints: 18164
260.75/261.67 c #Conflicts: 275000 | #Constraints: 19165
260.75/261.67 c #Conflicts: 276000 | #Constraints: 20168
260.75/261.67 c #Conflicts: 277000 | #Constraints: 21171
260.75/261.67 c INPROCESSING
260.75/261.67 c GARBAGE COLLECT
260.75/261.67 c rational objective 5
260.85/261.79 c GLOBAL bounds - >= 5 @ 258.432
260.85/261.79 c GLOBAL bounds - >= 5 @ 258.433
274.41/275.36 c #Conflicts: 278000 | #Constraints: 11712
274.41/275.36 c #Conflicts: 279000 | #Constraints: 12716
274.41/275.36 c #Conflicts: 280000 | #Constraints: 13719
274.41/275.36 c #Conflicts: 281000 | #Constraints: 14722
274.41/275.36 c #Conflicts: 282000 | #Constraints: 15728
274.41/275.36 c #Conflicts: 283000 | #Constraints: 16734
274.41/275.36 c #Conflicts: 284000 | #Constraints: 17736
274.41/275.36 c #Conflicts: 285000 | #Constraints: 18742
274.41/275.36 c #Conflicts: 286000 | #Constraints: 19752
274.41/275.36 c #Conflicts: 287000 | #Constraints: 20758
274.41/275.36 c #Conflicts: 288000 | #Constraints: 21765
274.41/275.36 c INPROCESSING
274.41/275.36 c GARBAGE COLLECT
274.41/275.36 c rational objective 5
274.51/275.49 c GLOBAL bounds - >= 5 @ 272.006
274.51/275.49 c GLOBAL bounds - >= 5 @ 272.006
284.57/285.53 c #Conflicts: 289000 | #Constraints: 12126
284.57/285.53 c #Conflicts: 290000 | #Constraints: 13134
284.57/285.53 c #Conflicts: 291000 | #Constraints: 14139
284.57/285.53 c #Conflicts: 292000 | #Constraints: 15144
284.57/285.53 c #Conflicts: 293000 | #Constraints: 16152
284.57/285.53 c #Conflicts: 294000 | #Constraints: 17155
284.57/285.53 c #Conflicts: 295000 | #Constraints: 18159
284.57/285.53 c #Conflicts: 296000 | #Constraints: 19163
284.57/285.53 c #Conflicts: 297000 | #Constraints: 20169
284.57/285.53 c #Conflicts: 298000 | #Constraints: 21178
284.57/285.53 c #Conflicts: 299000 | #Constraints: 22186
284.57/285.53 c INPROCESSING
284.57/285.53 c GARBAGE COLLECT
284.57/285.53 c rational objective 5
284.67/285.69 c GLOBAL bounds - >= 5 @ 282.084
284.67/285.69 c GLOBAL bounds - >= 5 @ 282.084
296.44/297.48 c #Conflicts: 300000 | #Constraints: 12332
296.44/297.48 c #Conflicts: 301000 | #Constraints: 13338
296.44/297.48 c #Conflicts: 302000 | #Constraints: 14344
296.44/297.48 c #Conflicts: 303000 | #Constraints: 15350
296.44/297.48 c #Conflicts: 304000 | #Constraints: 16355
296.44/297.48 c #Conflicts: 305000 | #Constraints: 17361
296.44/297.48 c #Conflicts: 306000 | #Constraints: 18366
296.44/297.48 c #Conflicts: 307000 | #Constraints: 19372
296.44/297.48 c #Conflicts: 308000 | #Constraints: 20376
296.44/297.48 c #Conflicts: 309000 | #Constraints: 21381
296.44/297.48 c #Conflicts: 310000 | #Constraints: 22386
296.44/297.48 c INPROCESSING
296.44/297.48 c GARBAGE COLLECT
296.44/297.48 c rational objective 5
296.54/297.57 c GLOBAL bounds - >= 5 @ 293.828
296.54/297.57 c GLOBAL bounds - >= 5 @ 293.828
314.38/315.43 c #Conflicts: 311000 | #Constraints: 12336
314.38/315.43 c #Conflicts: 312000 | #Constraints: 13342
314.38/315.43 c #Conflicts: 313000 | #Constraints: 14351
314.38/315.43 c #Conflicts: 314000 | #Constraints: 15353
314.38/315.43 c #Conflicts: 315000 | #Constraints: 16361
314.38/315.43 c #Conflicts: 316000 | #Constraints: 17370
314.38/315.43 c #Conflicts: 317000 | #Constraints: 18385
314.38/315.43 c #Conflicts: 318000 | #Constraints: 19396
314.38/315.43 c #Conflicts: 319000 | #Constraints: 20402
314.38/315.43 c #Conflicts: 320000 | #Constraints: 21411
314.38/315.43 c #Conflicts: 321000 | #Constraints: 22420
314.38/315.43 c INPROCESSING
314.38/315.43 c GARBAGE COLLECT
314.38/315.43 c rational objective 5
314.48/315.54 c GLOBAL bounds - >= 5 @ 311.638
314.48/315.54 c GLOBAL bounds - >= 5 @ 311.638
328.14/329.29 c #Conflicts: 322000 | #Constraints: 12163
328.14/329.29 c #Conflicts: 323000 | #Constraints: 13174
328.14/329.29 c #Conflicts: 324000 | #Constraints: 14181
328.14/329.29 c #Conflicts: 325000 | #Constraints: 15191
328.14/329.29 c #Conflicts: 326000 | #Constraints: 16196
328.14/329.29 c #Conflicts: 327000 | #Constraints: 17204
328.14/329.29 c #Conflicts: 328000 | #Constraints: 18209
328.14/329.29 c #Conflicts: 329000 | #Constraints: 19213
328.14/329.29 c #Conflicts: 330000 | #Constraints: 20220
328.14/329.29 c #Conflicts: 331000 | #Constraints: 21231
328.14/329.29 c #Conflicts: 332000 | #Constraints: 22241
328.14/329.29 c #Conflicts: 333000 | #Constraints: 23247
328.14/329.29 c INPROCESSING
328.14/329.29 c GARBAGE COLLECT
328.14/329.29 c rational objective 5
328.43/329.51 c GLOBAL bounds - >= 5 @ 325.435
328.43/329.51 c GLOBAL bounds - >= 5 @ 325.435
342.39/343.56 c #Conflicts: 334000 | #Constraints: 12763
342.39/343.56 c #Conflicts: 335000 | #Constraints: 13770
342.39/343.56 c #Conflicts: 336000 | #Constraints: 14783
342.39/343.56 c #Conflicts: 337000 | #Constraints: 15786
342.39/343.56 c #Conflicts: 338000 | #Constraints: 16790
342.39/343.56 c #Conflicts: 339000 | #Constraints: 17799
342.39/343.56 c #Conflicts: 340000 | #Constraints: 18806
342.39/343.56 c #Conflicts: 341000 | #Constraints: 19812
342.39/343.56 c #Conflicts: 342000 | #Constraints: 20816
342.39/343.56 c #Conflicts: 343000 | #Constraints: 21819
342.39/343.56 c #Conflicts: 344000 | #Constraints: 22825
342.39/343.56 c #Conflicts: 345000 | #Constraints: 23829
342.39/343.56 c INPROCESSING
342.39/343.56 c GARBAGE COLLECT
342.39/343.56 c rational objective 5
342.49/343.69 c GLOBAL bounds - >= 5 @ 339.467
342.49/343.69 c GLOBAL bounds - >= 5 @ 339.467
357.04/358.24 c #Conflicts: 346000 | #Constraints: 13152
357.04/358.24 c #Conflicts: 347000 | #Constraints: 14163
357.04/358.24 c #Conflicts: 348000 | #Constraints: 15170
357.04/358.24 c #Conflicts: 349000 | #Constraints: 16177
357.04/358.24 c #Conflicts: 350000 | #Constraints: 17184
357.04/358.24 c #Conflicts: 351000 | #Constraints: 18187
357.04/358.24 c #Conflicts: 352000 | #Constraints: 19192
357.04/358.24 c #Conflicts: 353000 | #Constraints: 20197
357.04/358.24 c #Conflicts: 354000 | #Constraints: 21202
357.04/358.24 c #Conflicts: 355000 | #Constraints: 22203
357.04/358.24 c #Conflicts: 356000 | #Constraints: 23210
357.04/358.24 c #Conflicts: 357000 | #Constraints: 24219
357.04/358.24 c INPROCESSING
357.04/358.24 c GARBAGE COLLECT
357.04/358.24 c rational objective 5
357.14/358.37 c GLOBAL bounds - >= 5 @ 354.002
357.14/358.37 c GLOBAL bounds - >= 5 @ 354.002
372.80/374.02 c #Conflicts: 358000 | #Constraints: 13353
372.80/374.02 c #Conflicts: 359000 | #Constraints: 14359
372.80/374.02 c #Conflicts: 360000 | #Constraints: 15371
372.80/374.02 c #Conflicts: 361000 | #Constraints: 16379
372.80/374.02 c #Conflicts: 362000 | #Constraints: 17386
372.80/374.02 c #Conflicts: 363000 | #Constraints: 18388
372.80/374.02 c #Conflicts: 364000 | #Constraints: 19395
372.80/374.02 c #Conflicts: 365000 | #Constraints: 20401
372.80/374.02 c #Conflicts: 366000 | #Constraints: 21407
372.80/374.02 c #Conflicts: 367000 | #Constraints: 22415
372.80/374.02 c #Conflicts: 368000 | #Constraints: 23418
372.80/374.02 c #Conflicts: 369000 | #Constraints: 24421
372.80/374.02 c INPROCESSING
372.80/374.02 c GARBAGE COLLECT
372.80/374.02 c rational objective 5
372.90/374.17 c GLOBAL bounds - >= 5 @ 369.638
372.90/374.17 c GLOBAL bounds - >= 5 @ 369.638
383.66/384.92 c #Conflicts: 370000 | #Constraints: 13355
383.66/384.92 c #Conflicts: 371000 | #Constraints: 14361
383.66/384.92 c #Conflicts: 372000 | #Constraints: 15368
383.66/384.92 c #Conflicts: 373000 | #Constraints: 16375
383.66/384.92 c #Conflicts: 374000 | #Constraints: 17382
383.66/384.92 c #Conflicts: 375000 | #Constraints: 18387
383.66/384.92 c #Conflicts: 376000 | #Constraints: 19395
383.66/384.92 c #Conflicts: 377000 | #Constraints: 20399
383.66/384.92 c #Conflicts: 378000 | #Constraints: 21404
383.66/384.92 c #Conflicts: 379000 | #Constraints: 22409
383.66/384.92 c #Conflicts: 380000 | #Constraints: 23413
383.66/384.92 c #Conflicts: 381000 | #Constraints: 24417
383.66/384.92 c INPROCESSING
383.66/384.92 c GARBAGE COLLECT
383.66/384.92 c rational objective 5
383.87/385.13 c GLOBAL bounds - >= 5 @ 380.46
383.87/385.13 c GLOBAL bounds - >= 5 @ 380.46
395.31/396.63 c #Conflicts: 382000 | #Constraints: 13136
395.31/396.63 c #Conflicts: 383000 | #Constraints: 14144
395.31/396.63 c #Conflicts: 384000 | #Constraints: 15151
395.31/396.63 c #Conflicts: 385000 | #Constraints: 16157
395.31/396.63 c #Conflicts: 386000 | #Constraints: 17166
395.31/396.63 c #Conflicts: 387000 | #Constraints: 18171
395.31/396.63 c #Conflicts: 388000 | #Constraints: 19180
395.31/396.63 c #Conflicts: 389000 | #Constraints: 20186
395.31/396.63 c #Conflicts: 390000 | #Constraints: 21191
395.31/396.63 c #Conflicts: 391000 | #Constraints: 22195
395.31/396.63 c #Conflicts: 392000 | #Constraints: 23199
395.31/396.63 c #Conflicts: 393000 | #Constraints: 24204
395.31/396.63 c #Conflicts: 394000 | #Constraints: 25207
395.31/396.63 c INPROCESSING
395.31/396.63 c GARBAGE COLLECT
395.31/396.63 c rational objective 5
395.41/396.74 c GLOBAL bounds - >= 5 @ 391.924
395.41/396.74 c GLOBAL bounds - >= 5 @ 391.924
411.96/413.35 c #Conflicts: 395000 | #Constraints: 13742
411.96/413.35 c #Conflicts: 396000 | #Constraints: 14747
411.96/413.35 c #Conflicts: 397000 | #Constraints: 15752
411.96/413.35 c #Conflicts: 398000 | #Constraints: 16761
411.96/413.35 c #Conflicts: 399000 | #Constraints: 17770
411.96/413.35 c #Conflicts: 400000 | #Constraints: 18775
411.96/413.35 c #Conflicts: 401000 | #Constraints: 19777
411.96/413.35 c #Conflicts: 402000 | #Constraints: 20780
411.96/413.35 c #Conflicts: 403000 | #Constraints: 21786
411.96/413.35 c #Conflicts: 404000 | #Constraints: 22792
411.96/413.35 c #Conflicts: 405000 | #Constraints: 23794
411.96/413.35 c #Conflicts: 406000 | #Constraints: 24801
411.96/413.35 c #Conflicts: 407000 | #Constraints: 25810
411.96/413.35 c INPROCESSING
411.96/413.35 c GARBAGE COLLECT
411.96/413.35 c rational objective 5
412.06/413.46 c GLOBAL bounds - >= 5 @ 408.458
412.06/413.46 c GLOBAL bounds - >= 5 @ 408.458
427.41/428.86 c #Conflicts: 408000 | #Constraints: 14149
427.41/428.86 c #Conflicts: 409000 | #Constraints: 15158
427.41/428.86 c #Conflicts: 410000 | #Constraints: 16169
427.41/428.86 c #Conflicts: 411000 | #Constraints: 17177
427.41/428.86 c #Conflicts: 412000 | #Constraints: 18183
427.41/428.86 c #Conflicts: 413000 | #Constraints: 19200
427.41/428.86 c #Conflicts: 414000 | #Constraints: 20222
427.41/428.86 c #Conflicts: 415000 | #Constraints: 21246
427.41/428.86 c #Conflicts: 416000 | #Constraints: 22266
427.41/428.86 c #Conflicts: 417000 | #Constraints: 23277
427.41/428.86 c #Conflicts: 418000 | #Constraints: 24284
427.41/428.86 c #Conflicts: 419000 | #Constraints: 25289
427.41/428.86 c #Conflicts: 420000 | #Constraints: 26295
427.41/428.86 c INPROCESSING
427.41/428.86 c GARBAGE COLLECT
427.41/428.86 c rational objective 5
427.51/428.99 c GLOBAL bounds - >= 5 @ 423.815
427.51/428.99 c GLOBAL bounds - >= 5 @ 423.815
442.47/443.98 c #Conflicts: 421000 | #Constraints: 14394
442.47/443.98 c #Conflicts: 422000 | #Constraints: 15400
442.47/443.98 c #Conflicts: 423000 | #Constraints: 16403
442.47/443.98 c #Conflicts: 424000 | #Constraints: 17408
442.47/443.98 c #Conflicts: 425000 | #Constraints: 18413
442.47/443.98 c #Conflicts: 426000 | #Constraints: 19417
442.47/443.98 c #Conflicts: 427000 | #Constraints: 20424
442.47/443.98 c #Conflicts: 428000 | #Constraints: 21432
442.47/443.98 c #Conflicts: 429000 | #Constraints: 22441
442.47/443.98 c #Conflicts: 430000 | #Constraints: 23450
442.47/443.98 c #Conflicts: 431000 | #Constraints: 24457
442.47/443.98 c #Conflicts: 432000 | #Constraints: 25461
442.47/443.98 c #Conflicts: 433000 | #Constraints: 26465
442.47/443.98 c INPROCESSING
442.47/443.98 c GARBAGE COLLECT
442.47/443.98 c rational objective 5
442.58/444.11 c GLOBAL bounds - >= 5 @ 438.756
442.58/444.11 c GLOBAL bounds - >= 5 @ 438.756
459.11/460.60 c #Conflicts: 434000 | #Constraints: 14401
459.11/460.60 c #Conflicts: 435000 | #Constraints: 15409
459.11/460.60 c #Conflicts: 436000 | #Constraints: 16421
459.11/460.60 c #Conflicts: 437000 | #Constraints: 17424
459.11/460.60 c #Conflicts: 438000 | #Constraints: 18427
459.11/460.60 c #Conflicts: 439000 | #Constraints: 19434
459.11/460.60 c #Conflicts: 440000 | #Constraints: 20437
459.11/460.60 c #Conflicts: 441000 | #Constraints: 21440
459.11/460.60 c #Conflicts: 442000 | #Constraints: 22446
459.11/460.60 c #Conflicts: 443000 | #Constraints: 23456
459.11/460.60 c #Conflicts: 444000 | #Constraints: 24462
459.11/460.60 c #Conflicts: 445000 | #Constraints: 25468
459.11/460.60 c #Conflicts: 446000 | #Constraints: 26472
459.11/460.60 c INPROCESSING
459.11/460.60 c GARBAGE COLLECT
459.11/460.60 c rational objective 5
459.21/460.71 c GLOBAL bounds - >= 5 @ 455.199
459.21/460.71 c GLOBAL bounds - >= 5 @ 455.199
474.17/475.72 c #Conflicts: 447000 | #Constraints: 14178
474.17/475.72 c #Conflicts: 448000 | #Constraints: 15182
474.17/475.72 c #Conflicts: 449000 | #Constraints: 16190
474.17/475.72 c #Conflicts: 450000 | #Constraints: 17196
474.17/475.72 c #Conflicts: 451000 | #Constraints: 18201
474.17/475.72 c #Conflicts: 452000 | #Constraints: 19210
474.17/475.72 c #Conflicts: 453000 | #Constraints: 20217
474.17/475.72 c #Conflicts: 454000 | #Constraints: 21222
474.17/475.72 c #Conflicts: 455000 | #Constraints: 22225
474.17/475.72 c #Conflicts: 456000 | #Constraints: 23230
474.17/475.72 c #Conflicts: 457000 | #Constraints: 24234
474.17/475.72 c #Conflicts: 458000 | #Constraints: 25241
474.17/475.72 c #Conflicts: 459000 | #Constraints: 26245
474.17/475.72 c #Conflicts: 460000 | #Constraints: 27254
474.17/475.72 c INPROCESSING
474.17/475.72 c GARBAGE COLLECT
474.17/475.72 c rational objective 5
474.36/475.91 c GLOBAL bounds - >= 5 @ 470.224
474.36/475.91 c GLOBAL bounds - >= 5 @ 470.224
504.37/506.08 c #Conflicts: 461000 | #Constraints: 14768
504.37/506.08 c #Conflicts: 462000 | #Constraints: 15778
504.37/506.08 c #Conflicts: 463000 | #Constraints: 16781
504.37/506.08 c #Conflicts: 464000 | #Constraints: 17788
504.37/506.08 c #Conflicts: 465000 | #Constraints: 18791
504.37/506.08 c #Conflicts: 466000 | #Constraints: 19794
504.37/506.08 c #Conflicts: 467000 | #Constraints: 20800
504.37/506.08 c #Conflicts: 468000 | #Constraints: 21804
504.37/506.08 c #Conflicts: 469000 | #Constraints: 22806
504.37/506.08 c #Conflicts: 470000 | #Constraints: 23811
504.37/506.08 c #Conflicts: 471000 | #Constraints: 24816
504.37/506.08 c #Conflicts: 472000 | #Constraints: 25821
504.37/506.08 c #Conflicts: 473000 | #Constraints: 26823
504.37/506.08 c #Conflicts: 474000 | #Constraints: 27825
504.37/506.08 c INPROCESSING
504.37/506.08 c GARBAGE COLLECT
504.37/506.08 c rational objective 5
504.56/506.21 c GLOBAL bounds - >= 5 @ 500.241
504.56/506.21 c GLOBAL bounds - >= 5 @ 500.241
527.40/529.15 c #Conflicts: 475000 | #Constraints: 15185
527.40/529.15 c #Conflicts: 476000 | #Constraints: 16192
527.40/529.15 c #Conflicts: 477000 | #Constraints: 17196
527.40/529.15 c #Conflicts: 478000 | #Constraints: 18199
527.40/529.15 c #Conflicts: 479000 | #Constraints: 19204
527.40/529.15 c #Conflicts: 480000 | #Constraints: 20207
527.40/529.15 c #Conflicts: 481000 | #Constraints: 21210
527.40/529.15 c #Conflicts: 482000 | #Constraints: 22215
527.40/529.15 c #Conflicts: 483000 | #Constraints: 23225
527.40/529.15 c #Conflicts: 484000 | #Constraints: 24234
527.40/529.15 c #Conflicts: 485000 | #Constraints: 25239
527.40/529.15 c #Conflicts: 486000 | #Constraints: 26241
527.40/529.15 c #Conflicts: 487000 | #Constraints: 27244
527.40/529.15 c #Conflicts: 488000 | #Constraints: 28247
527.40/529.15 c INPROCESSING
527.40/529.15 c GARBAGE COLLECT
527.40/529.15 c rational objective 5
527.59/529.33 c GLOBAL bounds - >= 5 @ 523.155
527.59/529.33 c GLOBAL bounds - >= 5 @ 523.155
537.27/539.10 c #Conflicts: 489000 | #Constraints: 15372
537.27/539.10 c #Conflicts: 490000 | #Constraints: 16379
537.27/539.10 c #Conflicts: 491000 | #Constraints: 17395
537.27/539.10 c #Conflicts: 492000 | #Constraints: 18413
537.27/539.10 c #Conflicts: 493000 | #Constraints: 19430
537.27/539.10 c #Conflicts: 494000 | #Constraints: 20450
537.27/539.10 c #Conflicts: 495000 | #Constraints: 21460
537.27/539.10 c #Conflicts: 496000 | #Constraints: 22469
537.27/539.10 c #Conflicts: 497000 | #Constraints: 23475
537.27/539.10 c #Conflicts: 498000 | #Constraints: 24483
537.27/539.10 c #Conflicts: 499000 | #Constraints: 25485
537.27/539.10 c #Conflicts: 500000 | #Constraints: 26490
537.27/539.10 c #Conflicts: 501000 | #Constraints: 27497
537.27/539.10 c #Conflicts: 502000 | #Constraints: 28501
537.27/539.10 c INPROCESSING
537.27/539.10 c GARBAGE COLLECT
537.27/539.10 c rational objective 5
537.46/539.24 c GLOBAL bounds - >= 5 @ 532.911
537.46/539.24 c GLOBAL bounds - >= 5 @ 532.911
559.58/561.42 c #Conflicts: 503000 | #Constraints: 15416
559.58/561.42 c #Conflicts: 504000 | #Constraints: 16426
559.58/561.42 c #Conflicts: 505000 | #Constraints: 17431
559.58/561.42 c #Conflicts: 506000 | #Constraints: 18436
559.58/561.42 c #Conflicts: 507000 | #Constraints: 19439
559.58/561.42 c #Conflicts: 508000 | #Constraints: 20444
559.58/561.42 c #Conflicts: 509000 | #Constraints: 21448
559.58/561.42 c #Conflicts: 510000 | #Constraints: 22452
559.58/561.42 c #Conflicts: 511000 | #Constraints: 23458
559.58/561.42 c #Conflicts: 512000 | #Constraints: 24461
559.58/561.42 c #Conflicts: 513000 | #Constraints: 25467
559.58/561.42 c #Conflicts: 514000 | #Constraints: 26475
559.58/561.42 c #Conflicts: 515000 | #Constraints: 27483
559.58/561.42 c #Conflicts: 516000 | #Constraints: 28492
559.58/561.42 c INPROCESSING
559.58/561.42 c GARBAGE COLLECT
559.58/561.42 c rational objective 5
559.68/561.54 c GLOBAL bounds - >= 5 @ 555.023
559.68/561.54 c GLOBAL bounds - >= 5 @ 555.023
575.15/577.06 c #Conflicts: 517000 | #Constraints: 15189
575.15/577.06 c #Conflicts: 518000 | #Constraints: 16193
575.15/577.06 c #Conflicts: 519000 | #Constraints: 17200
575.15/577.06 c #Conflicts: 520000 | #Constraints: 18206
575.15/577.06 c #Conflicts: 521000 | #Constraints: 19211
575.15/577.06 c #Conflicts: 522000 | #Constraints: 20215
575.15/577.06 c #Conflicts: 523000 | #Constraints: 21221
575.15/577.06 c #Conflicts: 524000 | #Constraints: 22223
575.15/577.06 c #Conflicts: 525000 | #Constraints: 23228
575.15/577.06 c #Conflicts: 526000 | #Constraints: 24232
575.15/577.06 c #Conflicts: 527000 | #Constraints: 25237
575.15/577.06 c #Conflicts: 528000 | #Constraints: 26244
575.15/577.06 c #Conflicts: 529000 | #Constraints: 27249
575.15/577.06 c #Conflicts: 530000 | #Constraints: 28260
575.15/577.06 c #Conflicts: 531000 | #Constraints: 29274
575.15/577.06 c INPROCESSING
575.15/577.06 c GARBAGE COLLECT
575.15/577.06 c rational objective 5
575.34/577.24 c GLOBAL bounds - >= 5 @ 570.531
575.34/577.24 c GLOBAL bounds - >= 5 @ 570.531
591.38/593.34 c #Conflicts: 532000 | #Constraints: 15793
591.38/593.34 c #Conflicts: 533000 | #Constraints: 16798
591.38/593.34 c #Conflicts: 534000 | #Constraints: 17803
591.38/593.34 c #Conflicts: 535000 | #Constraints: 18812
591.38/593.34 c #Conflicts: 536000 | #Constraints: 19818
591.38/593.34 c #Conflicts: 537000 | #Constraints: 20824
591.38/593.34 c #Conflicts: 538000 | #Constraints: 21829
591.38/593.34 c #Conflicts: 539000 | #Constraints: 22843
591.38/593.34 c #Conflicts: 540000 | #Constraints: 23850
591.38/593.34 c #Conflicts: 541000 | #Constraints: 24853
591.38/593.34 c #Conflicts: 542000 | #Constraints: 25859
591.38/593.34 c #Conflicts: 543000 | #Constraints: 26866
591.38/593.34 c #Conflicts: 544000 | #Constraints: 27870
591.38/593.34 c #Conflicts: 545000 | #Constraints: 28878
591.38/593.34 c #Conflicts: 546000 | #Constraints: 29883
591.38/593.34 c INPROCESSING
591.38/593.34 c GARBAGE COLLECT
591.38/593.34 c rational objective 5
591.58/593.50 c GLOBAL bounds - >= 5 @ 586.607
591.58/593.50 c GLOBAL bounds - >= 5 @ 586.607
608.43/610.44 c #Conflicts: 547000 | #Constraints: 16183
608.43/610.44 c #Conflicts: 548000 | #Constraints: 17187
608.43/610.44 c #Conflicts: 549000 | #Constraints: 18194
608.43/610.44 c #Conflicts: 550000 | #Constraints: 19200
608.43/610.44 c #Conflicts: 551000 | #Constraints: 20205
608.43/610.44 c #Conflicts: 552000 | #Constraints: 21209
608.43/610.44 c #Conflicts: 553000 | #Constraints: 22216
608.43/610.44 c #Conflicts: 554000 | #Constraints: 23219
608.43/610.44 c #Conflicts: 555000 | #Constraints: 24222
608.43/610.44 c #Conflicts: 556000 | #Constraints: 25225
608.43/610.44 c #Conflicts: 557000 | #Constraints: 26230
608.43/610.44 c #Conflicts: 558000 | #Constraints: 27238
608.43/610.44 c #Conflicts: 559000 | #Constraints: 28250
608.43/610.44 c #Conflicts: 560000 | #Constraints: 29256
608.43/610.44 c #Conflicts: 561000 | #Constraints: 30265
608.43/610.44 c INPROCESSING
608.43/610.44 c GARBAGE COLLECT
608.43/610.44 c rational objective 5
608.63/610.60 c GLOBAL bounds - >= 5 @ 603.508
608.63/610.60 c GLOBAL bounds - >= 5 @ 603.508
629.86/631.93 c #Conflicts: 562000 | #Constraints: 16366
629.86/631.93 c #Conflicts: 563000 | #Constraints: 17373
629.86/631.93 c #Conflicts: 564000 | #Constraints: 18380
629.86/631.93 c #Conflicts: 565000 | #Constraints: 19385
629.86/631.93 c #Conflicts: 566000 | #Constraints: 20394
629.86/631.93 c #Conflicts: 567000 | #Constraints: 21397
629.86/631.93 c #Conflicts: 568000 | #Constraints: 22408
629.86/631.93 c #Conflicts: 569000 | #Constraints: 23415
629.86/631.93 c #Conflicts: 570000 | #Constraints: 24421
629.86/631.93 c #Conflicts: 571000 | #Constraints: 25425
629.86/631.93 c #Conflicts: 572000 | #Constraints: 26431
629.86/631.93 c #Conflicts: 573000 | #Constraints: 27436
629.86/631.93 c #Conflicts: 574000 | #Constraints: 28444
629.86/631.93 c #Conflicts: 575000 | #Constraints: 29452
629.86/631.93 c #Conflicts: 576000 | #Constraints: 30459
629.86/631.93 c INPROCESSING
629.86/631.93 c GARBAGE COLLECT
629.86/631.93 c rational objective 5
629.97/632.08 c GLOBAL bounds - >= 5 @ 624.781
629.97/632.08 c GLOBAL bounds - >= 5 @ 624.781
651.28/653.46 c #Conflicts: 577000 | #Constraints: 16383
651.28/653.46 c #Conflicts: 578000 | #Constraints: 17387
651.28/653.46 c #Conflicts: 579000 | #Constraints: 18393
651.28/653.46 c #Conflicts: 580000 | #Constraints: 19403
651.28/653.46 c #Conflicts: 581000 | #Constraints: 20409
651.28/653.46 c #Conflicts: 582000 | #Constraints: 21417
651.28/653.46 c #Conflicts: 583000 | #Constraints: 22424
651.28/653.46 c #Conflicts: 584000 | #Constraints: 23433
651.28/653.46 c #Conflicts: 585000 | #Constraints: 24444
651.28/653.46 c #Conflicts: 586000 | #Constraints: 25448
651.28/653.46 c #Conflicts: 587000 | #Constraints: 26454
651.28/653.46 c #Conflicts: 588000 | #Constraints: 27463
651.28/653.46 c #Conflicts: 589000 | #Constraints: 28469
651.28/653.46 c #Conflicts: 590000 | #Constraints: 29474
651.28/653.46 c #Conflicts: 591000 | #Constraints: 30477
651.28/653.46 c INPROCESSING
651.28/653.46 c GARBAGE COLLECT
651.28/653.46 c rational objective 5
651.38/653.56 c GLOBAL bounds - >= 5 @ 646.045
651.38/653.56 c GLOBAL bounds - >= 5 @ 646.045
672.01/674.28 c #Conflicts: 592000 | #Constraints: 16172
672.01/674.28 c #Conflicts: 593000 | #Constraints: 17179
672.01/674.28 c #Conflicts: 594000 | #Constraints: 18188
672.01/674.28 c #Conflicts: 595000 | #Constraints: 19192
672.01/674.28 c #Conflicts: 596000 | #Constraints: 20206
672.01/674.28 c #Conflicts: 597000 | #Constraints: 21212
672.01/674.28 c #Conflicts: 598000 | #Constraints: 22219
672.01/674.28 c #Conflicts: 599000 | #Constraints: 23222
672.01/674.28 c #Conflicts: 600000 | #Constraints: 24224
672.01/674.28 c #Conflicts: 601000 | #Constraints: 25226
672.01/674.28 c #Conflicts: 602000 | #Constraints: 26233
672.01/674.28 c #Conflicts: 603000 | #Constraints: 27238
672.01/674.28 c #Conflicts: 604000 | #Constraints: 28246
672.01/674.28 c #Conflicts: 605000 | #Constraints: 29250
672.01/674.28 c #Conflicts: 606000 | #Constraints: 30255
672.01/674.28 c #Conflicts: 607000 | #Constraints: 31262
672.01/674.28 c INPROCESSING
672.01/674.28 c GARBAGE COLLECT
672.01/674.28 c rational objective 5
672.31/674.54 c GLOBAL bounds - >= 5 @ 666.833
672.31/674.54 c GLOBAL bounds - >= 5 @ 666.833
708.81/711.14 c #Conflicts: 608000 | #Constraints: 16771
708.81/711.14 c #Conflicts: 609000 | #Constraints: 17776
708.81/711.14 c #Conflicts: 610000 | #Constraints: 18784
708.81/711.14 c #Conflicts: 611000 | #Constraints: 19787
708.81/711.14 c #Conflicts: 612000 | #Constraints: 20796
708.81/711.14 c #Conflicts: 613000 | #Constraints: 21806
708.81/711.14 c #Conflicts: 614000 | #Constraints: 22815
708.81/711.14 c #Conflicts: 615000 | #Constraints: 23821
708.81/711.14 c #Conflicts: 616000 | #Constraints: 24825
708.81/711.14 c #Conflicts: 617000 | #Constraints: 25830
708.81/711.14 c #Conflicts: 618000 | #Constraints: 26842
708.81/711.14 c #Conflicts: 619000 | #Constraints: 27852
708.81/711.14 c #Conflicts: 620000 | #Constraints: 28862
708.81/711.14 c #Conflicts: 621000 | #Constraints: 29869
708.81/711.14 c #Conflicts: 622000 | #Constraints: 30874
708.81/711.14 c #Conflicts: 623000 | #Constraints: 31877
708.81/711.14 c INPROCESSING
708.81/711.14 c GARBAGE COLLECT
708.81/711.14 c rational objective 5
709.10/711.45 c GLOBAL bounds - >= 5 @ 703.495
709.10/711.45 c GLOBAL bounds - >= 5 @ 703.495
731.33/733.79 c #Conflicts: 624000 | #Constraints: 17188
731.33/733.79 c #Conflicts: 625000 | #Constraints: 18198
731.33/733.79 c #Conflicts: 626000 | #Constraints: 19206
731.33/733.79 c #Conflicts: 627000 | #Constraints: 20211
731.33/733.79 c #Conflicts: 628000 | #Constraints: 21215
731.33/733.79 c #Conflicts: 629000 | #Constraints: 22223
731.33/733.79 c #Conflicts: 630000 | #Constraints: 23230
731.33/733.79 c #Conflicts: 631000 | #Constraints: 24242
731.33/733.79 c #Conflicts: 632000 | #Constraints: 25252
731.33/733.79 c #Conflicts: 633000 | #Constraints: 26257
731.33/733.79 c #Conflicts: 634000 | #Constraints: 27262
731.33/733.79 c #Conflicts: 635000 | #Constraints: 28267
731.33/733.79 c #Conflicts: 636000 | #Constraints: 29272
731.33/733.79 c #Conflicts: 637000 | #Constraints: 30278
731.33/733.79 c #Conflicts: 638000 | #Constraints: 31290
731.33/733.79 c #Conflicts: 639000 | #Constraints: 32294
731.33/733.79 c INPROCESSING
731.33/733.79 c GARBAGE COLLECT
731.33/733.79 c rational objective 5
731.52/733.90 c GLOBAL bounds - >= 5 @ 725.732
731.52/733.90 c GLOBAL bounds - >= 5 @ 725.732
748.87/751.33 c #Conflicts: 640000 | #Constraints: 17380
748.87/751.33 c #Conflicts: 641000 | #Constraints: 18384
748.87/751.33 c #Conflicts: 642000 | #Constraints: 19396
748.87/751.33 c #Conflicts: 643000 | #Constraints: 20410
748.87/751.33 c #Conflicts: 644000 | #Constraints: 21414
748.87/751.33 c #Conflicts: 645000 | #Constraints: 22416
748.87/751.33 c #Conflicts: 646000 | #Constraints: 23425
748.87/751.33 c #Conflicts: 647000 | #Constraints: 24428
748.87/751.33 c #Conflicts: 648000 | #Constraints: 25429
748.87/751.33 c #Conflicts: 649000 | #Constraints: 26431
748.87/751.33 c #Conflicts: 650000 | #Constraints: 27453
748.87/751.33 c #Conflicts: 651000 | #Constraints: 28465
748.87/751.33 c #Conflicts: 652000 | #Constraints: 29479
748.87/751.33 c #Conflicts: 653000 | #Constraints: 30484
748.87/751.33 c #Conflicts: 654000 | #Constraints: 31498
748.87/751.33 c #Conflicts: 655000 | #Constraints: 32508
748.87/751.33 c INPROCESSING
748.87/751.33 c GARBAGE COLLECT
748.87/751.33 c rational objective 5
748.97/751.44 c GLOBAL bounds - >= 5 @ 743.081
748.97/751.44 c GLOBAL bounds - >= 5 @ 743.081
767.41/769.95 c #Conflicts: 656000 | #Constraints: 17412
767.41/769.95 c #Conflicts: 657000 | #Constraints: 18419
767.41/769.95 c #Conflicts: 658000 | #Constraints: 19430
767.41/769.95 c #Conflicts: 659000 | #Constraints: 20437
767.41/769.95 c #Conflicts: 660000 | #Constraints: 21448
767.41/769.95 c #Conflicts: 661000 | #Constraints: 22462
767.41/769.95 c #Conflicts: 662000 | #Constraints: 23466
767.41/769.95 c #Conflicts: 663000 | #Constraints: 24474
767.41/769.95 c #Conflicts: 664000 | #Constraints: 25483
767.41/769.95 c #Conflicts: 665000 | #Constraints: 26487
767.41/769.95 c #Conflicts: 666000 | #Constraints: 27497
767.41/769.95 c #Conflicts: 667000 | #Constraints: 28506
767.41/769.95 c #Conflicts: 668000 | #Constraints: 29509
767.41/769.95 c #Conflicts: 669000 | #Constraints: 30512
767.41/769.95 c #Conflicts: 670000 | #Constraints: 31517
767.41/769.95 c #Conflicts: 671000 | #Constraints: 32528
767.41/769.95 c INPROCESSING
767.41/769.95 c GARBAGE COLLECT
767.41/769.95 c rational objective 5
767.52/770.07 c GLOBAL bounds - >= 5 @ 761.496
767.52/770.07 c GLOBAL bounds - >= 5 @ 761.496
788.34/791.00 c #Conflicts: 672000 | #Constraints: 17205
788.34/791.00 c #Conflicts: 673000 | #Constraints: 18208
788.34/791.00 c #Conflicts: 674000 | #Constraints: 19217
788.34/791.00 c #Conflicts: 675000 | #Constraints: 20224
788.34/791.00 c #Conflicts: 676000 | #Constraints: 21229
788.34/791.00 c #Conflicts: 677000 | #Constraints: 22236
788.34/791.00 c #Conflicts: 678000 | #Constraints: 23242
788.34/791.00 c #Conflicts: 679000 | #Constraints: 24253
788.34/791.00 c #Conflicts: 680000 | #Constraints: 25262
788.34/791.00 c #Conflicts: 681000 | #Constraints: 26268
788.34/791.00 c #Conflicts: 682000 | #Constraints: 27273
788.34/791.00 c #Conflicts: 683000 | #Constraints: 28280
788.34/791.00 c #Conflicts: 684000 | #Constraints: 29283
788.34/791.00 c #Conflicts: 685000 | #Constraints: 30290
788.34/791.00 c #Conflicts: 686000 | #Constraints: 31298
788.34/791.00 c #Conflicts: 687000 | #Constraints: 32308
788.34/791.00 c #Conflicts: 688000 | #Constraints: 33315
788.34/791.00 c INPROCESSING
788.34/791.00 c GARBAGE COLLECT
788.34/791.00 c rational objective 5
788.55/791.17 c GLOBAL bounds - >= 5 @ 782.389
788.55/791.17 c GLOBAL bounds - >= 5 @ 782.389
816.05/818.71 c #Conflicts: 689000 | #Constraints: 17799
816.05/818.71 c #Conflicts: 690000 | #Constraints: 18806
816.05/818.71 c #Conflicts: 691000 | #Constraints: 19809
816.05/818.71 c #Conflicts: 692000 | #Constraints: 20819
816.05/818.71 c #Conflicts: 693000 | #Constraints: 21828
816.05/818.71 c #Conflicts: 694000 | #Constraints: 22832
816.05/818.71 c #Conflicts: 695000 | #Constraints: 23837
816.05/818.71 c #Conflicts: 696000 | #Constraints: 24840
816.05/818.71 c #Conflicts: 697000 | #Constraints: 25844
816.05/818.71 c #Conflicts: 698000 | #Constraints: 26852
816.05/818.71 c #Conflicts: 699000 | #Constraints: 27855
816.05/818.71 c #Conflicts: 700000 | #Constraints: 28858
816.05/818.71 c #Conflicts: 701000 | #Constraints: 29865
816.05/818.71 c #Conflicts: 702000 | #Constraints: 30870
816.05/818.71 c #Conflicts: 703000 | #Constraints: 31879
816.05/818.71 c #Conflicts: 704000 | #Constraints: 32885
816.05/818.71 c #Conflicts: 705000 | #Constraints: 33889
816.05/818.71 c INPROCESSING
816.05/818.71 c GARBAGE COLLECT
816.05/818.71 c rational objective 5
816.15/818.86 c GLOBAL bounds - >= 5 @ 809.838
816.15/818.86 c GLOBAL bounds - >= 5 @ 809.838
855.34/858.11 c #Conflicts: 706000 | #Constraints: 18189
855.34/858.11 c #Conflicts: 707000 | #Constraints: 19198
855.34/858.11 c #Conflicts: 708000 | #Constraints: 20203
855.34/858.11 c #Conflicts: 709000 | #Constraints: 21208
855.34/858.11 c #Conflicts: 710000 | #Constraints: 22221
855.34/858.11 c #Conflicts: 711000 | #Constraints: 23227
855.34/858.11 c #Conflicts: 712000 | #Constraints: 24237
855.34/858.11 c #Conflicts: 713000 | #Constraints: 25246
855.34/858.11 c #Conflicts: 714000 | #Constraints: 26253
855.34/858.11 c #Conflicts: 715000 | #Constraints: 27257
855.34/858.11 c #Conflicts: 716000 | #Constraints: 28264
855.34/858.11 c #Conflicts: 717000 | #Constraints: 29268
855.34/858.11 c #Conflicts: 718000 | #Constraints: 30275
855.34/858.11 c #Conflicts: 719000 | #Constraints: 31278
855.34/858.11 c #Conflicts: 720000 | #Constraints: 32283
855.34/858.11 c #Conflicts: 721000 | #Constraints: 33289
855.34/858.11 c #Conflicts: 722000 | #Constraints: 34296
855.34/858.11 c INPROCESSING
855.34/858.11 c GARBAGE COLLECT
855.34/858.11 c rational objective 5
855.43/858.26 c GLOBAL bounds - >= 5 @ 848.931
855.43/858.26 c GLOBAL bounds - >= 5 @ 848.931
916.72/919.74 c #Conflicts: 723000 | #Constraints: 18390
916.72/919.74 c #Conflicts: 724000 | #Constraints: 19393
916.72/919.74 c #Conflicts: 725000 | #Constraints: 20399
916.72/919.74 c #Conflicts: 726000 | #Constraints: 21403
916.72/919.74 c #Conflicts: 727000 | #Constraints: 22405
916.72/919.74 c #Conflicts: 728000 | #Constraints: 23410
916.72/919.74 c #Conflicts: 729000 | #Constraints: 24414
916.72/919.74 c #Conflicts: 730000 | #Constraints: 25418
916.72/919.74 c #Conflicts: 731000 | #Constraints: 26420
916.72/919.74 c #Conflicts: 732000 | #Constraints: 27422
916.72/919.74 c #Conflicts: 733000 | #Constraints: 28424
916.72/919.74 c #Conflicts: 734000 | #Constraints: 29427
916.72/919.74 c #Conflicts: 735000 | #Constraints: 30430
916.72/919.74 c #Conflicts: 736000 | #Constraints: 31437
916.72/919.74 c #Conflicts: 737000 | #Constraints: 32439
916.72/919.74 c #Conflicts: 738000 | #Constraints: 33443
916.72/919.74 c #Conflicts: 739000 | #Constraints: 34447
916.72/919.74 c INPROCESSING
916.72/919.74 c GARBAGE COLLECT
916.72/919.74 c rational objective 5
916.82/919.88 c GLOBAL bounds - >= 5 @ 910.166
916.82/919.88 c GLOBAL bounds - >= 5 @ 910.166
938.56/941.60 c #Conflicts: 740000 | #Constraints: 18371
938.56/941.60 c #Conflicts: 741000 | #Constraints: 19376
938.56/941.60 c #Conflicts: 742000 | #Constraints: 20381
938.56/941.60 c #Conflicts: 743000 | #Constraints: 21383
938.56/941.60 c #Conflicts: 744000 | #Constraints: 22391
938.56/941.60 c #Conflicts: 745000 | #Constraints: 23393
938.56/941.60 c #Conflicts: 746000 | #Constraints: 24397
938.56/941.60 c #Conflicts: 747000 | #Constraints: 25400
938.56/941.60 c #Conflicts: 748000 | #Constraints: 26404
938.56/941.60 c #Conflicts: 749000 | #Constraints: 27407
938.56/941.60 c #Conflicts: 750000 | #Constraints: 28418
938.56/941.60 c #Conflicts: 751000 | #Constraints: 29425
938.56/941.60 c #Conflicts: 752000 | #Constraints: 30434
938.56/941.60 c #Conflicts: 753000 | #Constraints: 31442
938.56/941.60 c #Conflicts: 754000 | #Constraints: 32451
938.56/941.60 c #Conflicts: 755000 | #Constraints: 33459
938.56/941.60 c #Conflicts: 756000 | #Constraints: 34467
938.56/941.60 c INPROCESSING
938.56/941.60 c GARBAGE COLLECT
938.56/941.60 c rational objective 5
938.66/941.70 c GLOBAL bounds - >= 5 @ 931.739
938.66/941.70 c GLOBAL bounds - >= 5 @ 931.74
961.89/965.07 c #Conflicts: 757000 | #Constraints: 18177
961.89/965.07 c #Conflicts: 758000 | #Constraints: 19185
961.89/965.07 c #Conflicts: 759000 | #Constraints: 20205
961.89/965.07 c #Conflicts: 760000 | #Constraints: 21209
961.89/965.07 c #Conflicts: 761000 | #Constraints: 22213
961.89/965.07 c #Conflicts: 762000 | #Constraints: 23220
961.89/965.07 c #Conflicts: 763000 | #Constraints: 24229
961.89/965.07 c #Conflicts: 764000 | #Constraints: 25232
961.89/965.07 c #Conflicts: 765000 | #Constraints: 26241
961.89/965.07 c #Conflicts: 766000 | #Constraints: 27249
961.89/965.07 c #Conflicts: 767000 | #Constraints: 28257
961.89/965.07 c #Conflicts: 768000 | #Constraints: 29263
961.89/965.07 c #Conflicts: 769000 | #Constraints: 30266
961.89/965.07 c #Conflicts: 770000 | #Constraints: 31273
961.89/965.07 c #Conflicts: 771000 | #Constraints: 32278
961.89/965.07 c #Conflicts: 772000 | #Constraints: 33292
961.89/965.07 c #Conflicts: 773000 | #Constraints: 34296
961.89/965.07 c #Conflicts: 774000 | #Constraints: 35305
961.89/965.07 c INPROCESSING
961.89/965.07 c GARBAGE COLLECT
961.89/965.07 c rational objective 5
961.99/965.20 c GLOBAL bounds - >= 5 @ 954.99
961.99/965.20 c GLOBAL bounds - >= 5 @ 954.99
988.59/991.83 c #Conflicts: 775000 | #Constraints: 18811
988.59/991.83 c #Conflicts: 776000 | #Constraints: 19817
988.59/991.83 c #Conflicts: 777000 | #Constraints: 20827
988.59/991.83 c #Conflicts: 778000 | #Constraints: 21829
988.59/991.83 c #Conflicts: 779000 | #Constraints: 22833
988.59/991.83 c #Conflicts: 780000 | #Constraints: 23836
988.59/991.83 c #Conflicts: 781000 | #Constraints: 24842
988.59/991.83 c #Conflicts: 782000 | #Constraints: 25845
988.59/991.83 c #Conflicts: 783000 | #Constraints: 26857
988.59/991.83 c #Conflicts: 784000 | #Constraints: 27863
988.59/991.83 c #Conflicts: 785000 | #Constraints: 28866
988.59/991.83 c #Conflicts: 786000 | #Constraints: 29868
988.59/991.83 c #Conflicts: 787000 | #Constraints: 30870
988.59/991.83 c #Conflicts: 788000 | #Constraints: 31873
988.59/991.83 c #Conflicts: 789000 | #Constraints: 32878
988.59/991.83 c #Conflicts: 790000 | #Constraints: 33883
988.59/991.83 c #Conflicts: 791000 | #Constraints: 34890
988.59/991.83 c #Conflicts: 792000 | #Constraints: 35896
988.59/991.83 c INPROCESSING
988.59/991.83 c GARBAGE COLLECT
988.59/991.83 c rational objective 5
988.69/991.94 c GLOBAL bounds - >= 5 @ 981.47
988.69/991.94 c GLOBAL bounds - >= 5 @ 981.47
1013.72/1017.04 c #Conflicts: 793000 | #Constraints: 19180
1013.72/1017.04 c #Conflicts: 794000 | #Constraints: 20183
1013.72/1017.04 c #Conflicts: 795000 | #Constraints: 21184
1013.72/1017.04 c #Conflicts: 796000 | #Constraints: 22187
1013.72/1017.04 c #Conflicts: 797000 | #Constraints: 23194
1013.72/1017.04 c #Conflicts: 798000 | #Constraints: 24201
1013.72/1017.04 c #Conflicts: 799000 | #Constraints: 25211
1013.72/1017.04 c #Conflicts: 800000 | #Constraints: 26220
1013.72/1017.04 c #Conflicts: 801000 | #Constraints: 27226
1013.72/1017.04 c #Conflicts: 802000 | #Constraints: 28233
1013.72/1017.04 c #Conflicts: 803000 | #Constraints: 29239
1013.72/1017.04 c #Conflicts: 804000 | #Constraints: 30249
1013.72/1017.04 c #Conflicts: 805000 | #Constraints: 31254
1013.72/1017.04 c #Conflicts: 806000 | #Constraints: 32259
1013.72/1017.04 c #Conflicts: 807000 | #Constraints: 33265
1013.72/1017.04 c #Conflicts: 808000 | #Constraints: 34272
1013.72/1017.04 c #Conflicts: 809000 | #Constraints: 35279
1013.72/1017.04 c #Conflicts: 810000 | #Constraints: 36286
1013.72/1017.04 c INPROCESSING
1013.72/1017.04 c GARBAGE COLLECT
1013.72/1017.04 c rational objective 5
1013.82/1017.16 c GLOBAL bounds - >= 5 @ 1006.45
1013.82/1017.16 c GLOBAL bounds - >= 5 @ 1006.45
1040.92/1044.38 c #Conflicts: 811000 | #Constraints: 19397
1040.92/1044.38 c #Conflicts: 812000 | #Constraints: 20409
1040.92/1044.38 c #Conflicts: 813000 | #Constraints: 21413
1040.92/1044.38 c #Conflicts: 814000 | #Constraints: 22421
1040.92/1044.38 c #Conflicts: 815000 | #Constraints: 23423
1040.92/1044.38 c #Conflicts: 816000 | #Constraints: 24430
1040.92/1044.38 c #Conflicts: 817000 | #Constraints: 25439
1040.92/1044.38 c #Conflicts: 818000 | #Constraints: 26445
1040.92/1044.38 c #Conflicts: 819000 | #Constraints: 27456
1040.92/1044.38 c #Conflicts: 820000 | #Constraints: 28465
1040.92/1044.38 c #Conflicts: 821000 | #Constraints: 29473
1040.92/1044.38 c #Conflicts: 822000 | #Constraints: 30478
1040.92/1044.38 c #Conflicts: 823000 | #Constraints: 31488
1040.92/1044.38 c #Conflicts: 824000 | #Constraints: 32495
1040.92/1044.38 c #Conflicts: 825000 | #Constraints: 33499
1040.92/1044.38 c #Conflicts: 826000 | #Constraints: 34521
1040.92/1044.38 c #Conflicts: 827000 | #Constraints: 35545
1040.92/1044.38 c #Conflicts: 828000 | #Constraints: 36554
1040.92/1044.38 c INPROCESSING
1040.92/1044.38 c GARBAGE COLLECT
1040.92/1044.38 c rational objective 5
1041.12/1044.52 c GLOBAL bounds - >= 5 @ 1033.57
1041.12/1044.52 c GLOBAL bounds - >= 5 @ 1033.58
1069.64/1073.14 c #Conflicts: 829000 | #Constraints: 19432
1069.64/1073.14 c #Conflicts: 830000 | #Constraints: 20440
1069.64/1073.14 c #Conflicts: 831000 | #Constraints: 21447
1069.64/1073.14 c #Conflicts: 832000 | #Constraints: 22452
1069.64/1073.14 c #Conflicts: 833000 | #Constraints: 23458
1069.64/1073.14 c #Conflicts: 834000 | #Constraints: 24464
1069.64/1073.14 c #Conflicts: 835000 | #Constraints: 25472
1069.64/1073.14 c #Conflicts: 836000 | #Constraints: 26484
1069.64/1073.14 c #Conflicts: 837000 | #Constraints: 27495
1069.64/1073.14 c #Conflicts: 838000 | #Constraints: 28498
1069.64/1073.14 c #Conflicts: 839000 | #Constraints: 29500
1069.64/1073.14 c #Conflicts: 840000 | #Constraints: 30511
1069.64/1073.14 c #Conflicts: 841000 | #Constraints: 31514
1069.64/1073.14 c #Conflicts: 842000 | #Constraints: 32521
1069.64/1073.14 c #Conflicts: 843000 | #Constraints: 33524
1069.64/1073.14 c #Conflicts: 844000 | #Constraints: 34529
1069.64/1073.14 c #Conflicts: 845000 | #Constraints: 35534
1069.64/1073.14 c #Conflicts: 846000 | #Constraints: 36538
1069.64/1073.14 c INPROCESSING
1069.64/1073.14 c GARBAGE COLLECT
1069.64/1073.14 c rational objective 5
1069.73/1073.26 c GLOBAL bounds - >= 5 @ 1062.06
1069.73/1073.26 c GLOBAL bounds - >= 5 @ 1062.06
1095.05/1098.60 c #Conflicts: 847000 | #Constraints: 19225
1095.05/1098.60 c #Conflicts: 848000 | #Constraints: 20231
1095.05/1098.60 c #Conflicts: 849000 | #Constraints: 21237
1095.05/1098.60 c #Conflicts: 850000 | #Constraints: 22241
1095.05/1098.60 c #Conflicts: 851000 | #Constraints: 23248
1095.05/1098.60 c #Conflicts: 852000 | #Constraints: 24254
1095.05/1098.60 c #Conflicts: 853000 | #Constraints: 25259
1095.05/1098.60 c #Conflicts: 854000 | #Constraints: 26274
1095.05/1098.60 c #Conflicts: 855000 | #Constraints: 27288
1095.05/1098.60 c #Conflicts: 856000 | #Constraints: 28297
1095.05/1098.60 c #Conflicts: 857000 | #Constraints: 29313
1095.05/1098.60 c #Conflicts: 858000 | #Constraints: 30326
1095.05/1098.60 c #Conflicts: 859000 | #Constraints: 31343
1095.05/1098.60 c #Conflicts: 860000 | #Constraints: 32354
1095.05/1098.60 c #Conflicts: 861000 | #Constraints: 33363
1095.05/1098.60 c #Conflicts: 862000 | #Constraints: 34372
1095.05/1098.60 c #Conflicts: 863000 | #Constraints: 35376
1095.05/1098.60 c #Conflicts: 864000 | #Constraints: 36385
1095.05/1098.60 c #Conflicts: 865000 | #Constraints: 37392
1095.05/1098.60 c INPROCESSING
1095.05/1098.60 c GARBAGE COLLECT
1095.05/1098.60 c rational objective 5
1095.15/1098.73 c GLOBAL bounds - >= 5 @ 1087.3
1095.15/1098.73 c GLOBAL bounds - >= 5 @ 1087.3
1118.66/1122.32 c #Conflicts: 866000 | #Constraints: 19846
1118.66/1122.32 c #Conflicts: 867000 | #Constraints: 20857
1118.66/1122.32 c #Conflicts: 868000 | #Constraints: 21865
1118.66/1122.32 c #Conflicts: 869000 | #Constraints: 22872
1118.66/1122.32 c #Conflicts: 870000 | #Constraints: 23879
1118.66/1122.32 c #Conflicts: 871000 | #Constraints: 24885
1118.66/1122.32 c #Conflicts: 872000 | #Constraints: 25892
1118.66/1122.32 c #Conflicts: 873000 | #Constraints: 26895
1118.66/1122.32 c #Conflicts: 874000 | #Constraints: 27898
1118.66/1122.32 c #Conflicts: 875000 | #Constraints: 28907
1118.66/1122.32 c #Conflicts: 876000 | #Constraints: 29917
1118.66/1122.32 c #Conflicts: 877000 | #Constraints: 30921
1118.66/1122.32 c #Conflicts: 878000 | #Constraints: 31926
1118.66/1122.32 c #Conflicts: 879000 | #Constraints: 32935
1118.66/1122.32 c #Conflicts: 880000 | #Constraints: 33940
1118.66/1122.32 c #Conflicts: 881000 | #Constraints: 34960
1118.66/1122.32 c #Conflicts: 882000 | #Constraints: 35968
1118.66/1122.32 c #Conflicts: 883000 | #Constraints: 36978
1118.66/1122.32 c #Conflicts: 884000 | #Constraints: 37982
1118.66/1122.32 c INPROCESSING
1118.66/1122.32 c GARBAGE COLLECT
1118.66/1122.32 c rational objective 5
1119.06/1122.70 c GLOBAL bounds - >= 5 @ 1111.01
1119.06/1122.70 c GLOBAL bounds - >= 5 @ 1111.01
1142.49/1146.29 c #Conflicts: 885000 | #Constraints: 20246
1142.49/1146.29 c #Conflicts: 886000 | #Constraints: 21250
1142.49/1146.29 c #Conflicts: 887000 | #Constraints: 22253
1142.49/1146.29 c #Conflicts: 888000 | #Constraints: 23258
1142.49/1146.29 c #Conflicts: 889000 | #Constraints: 24263
1142.49/1146.29 c #Conflicts: 890000 | #Constraints: 25270
1142.49/1146.29 c #Conflicts: 891000 | #Constraints: 26273
1142.49/1146.29 c #Conflicts: 892000 | #Constraints: 27280
1142.49/1146.29 c #Conflicts: 893000 | #Constraints: 28290
1142.49/1146.29 c #Conflicts: 894000 | #Constraints: 29299
1142.49/1146.29 c #Conflicts: 895000 | #Constraints: 30303
1142.49/1146.29 c #Conflicts: 896000 | #Constraints: 31309
1142.49/1146.29 c #Conflicts: 897000 | #Constraints: 32313
1142.49/1146.29 c #Conflicts: 898000 | #Constraints: 33327
1142.49/1146.29 c #Conflicts: 899000 | #Constraints: 34334
1142.49/1146.29 c #Conflicts: 900000 | #Constraints: 35346
1142.49/1146.29 c #Conflicts: 901000 | #Constraints: 36353
1142.49/1146.29 c #Conflicts: 902000 | #Constraints: 37364
1142.49/1146.29 c #Conflicts: 903000 | #Constraints: 38374
1142.49/1146.29 c INPROCESSING
1142.49/1146.29 c GARBAGE COLLECT
1142.49/1146.29 c rational objective 5
1142.68/1146.43 c GLOBAL bounds - >= 5 @ 1134.5
1142.68/1146.43 c GLOBAL bounds - >= 5 @ 1134.5
1168.90/1172.75 c #Conflicts: 904000 | #Constraints: 20444
1168.90/1172.75 c #Conflicts: 905000 | #Constraints: 21450
1168.90/1172.75 c #Conflicts: 906000 | #Constraints: 22455
1168.90/1172.75 c #Conflicts: 907000 | #Constraints: 23456
1168.90/1172.75 c #Conflicts: 908000 | #Constraints: 24459
1168.90/1172.75 c #Conflicts: 909000 | #Constraints: 25461
1168.90/1172.75 c #Conflicts: 910000 | #Constraints: 26463
1168.90/1172.75 c #Conflicts: 911000 | #Constraints: 27467
1168.90/1172.75 c #Conflicts: 912000 | #Constraints: 28474
1168.90/1172.75 c #Conflicts: 913000 | #Constraints: 29475
1168.90/1172.75 c #Conflicts: 914000 | #Constraints: 30485
1168.90/1172.75 c #Conflicts: 915000 | #Constraints: 31494
1168.90/1172.75 c #Conflicts: 916000 | #Constraints: 32498
1168.90/1172.75 c #Conflicts: 917000 | #Constraints: 33504
1168.90/1172.75 c #Conflicts: 918000 | #Constraints: 34510
1168.90/1172.75 c #Conflicts: 919000 | #Constraints: 35512
1168.90/1172.75 c #Conflicts: 920000 | #Constraints: 36514
1168.90/1172.75 c #Conflicts: 921000 | #Constraints: 37515
1168.90/1172.75 c #Conflicts: 922000 | #Constraints: 38521
1168.90/1172.75 c INPROCESSING
1168.90/1172.75 c GARBAGE COLLECT
1168.90/1172.75 c rational objective 5
1169.10/1172.91 c GLOBAL bounds - >= 5 @ 1160.7
1169.10/1172.91 c GLOBAL bounds - >= 5 @ 1160.7
1200.69/1204.62 c #Conflicts: 923000 | #Constraints: 20411
1200.69/1204.62 c #Conflicts: 924000 | #Constraints: 21417
1200.69/1204.62 c #Conflicts: 925000 | #Constraints: 22420
1200.69/1204.62 c #Conflicts: 926000 | #Constraints: 23424
1200.69/1204.62 c #Conflicts: 927000 | #Constraints: 24427
1200.69/1204.62 c #Conflicts: 928000 | #Constraints: 25428
1200.69/1204.62 c #Conflicts: 929000 | #Constraints: 26431
1200.69/1204.62 c #Conflicts: 930000 | #Constraints: 27433
1200.69/1204.62 c #Conflicts: 931000 | #Constraints: 28434
1200.69/1204.62 c #Conflicts: 932000 | #Constraints: 29437
1200.69/1204.62 c #Conflicts: 933000 | #Constraints: 30441
1200.69/1204.62 c #Conflicts: 934000 | #Constraints: 31452
1200.69/1204.62 c #Conflicts: 935000 | #Constraints: 32461
1200.69/1204.62 c #Conflicts: 936000 | #Constraints: 33474
1200.69/1204.62 c #Conflicts: 937000 | #Constraints: 34480
1200.69/1204.62 c #Conflicts: 938000 | #Constraints: 35484
1200.69/1204.62 c #Conflicts: 939000 | #Constraints: 36488
1200.69/1204.62 c #Conflicts: 940000 | #Constraints: 37489
1200.69/1204.62 c #Conflicts: 941000 | #Constraints: 38492
1200.69/1204.62 c INPROCESSING
1200.69/1204.62 c GARBAGE COLLECT
1200.69/1204.62 c rational objective 5
1200.89/1204.87 c GLOBAL bounds - >= 5 @ 1192.27
1200.89/1204.87 c GLOBAL bounds - >= 5 @ 1192.27
1246.35/1250.47 c #Conflicts: 942000 | #Constraints: 20223
1246.35/1250.47 c #Conflicts: 943000 | #Constraints: 21232
1246.35/1250.47 c #Conflicts: 944000 | #Constraints: 22238
1246.35/1250.47 c #Conflicts: 945000 | #Constraints: 23242
1246.35/1250.47 c #Conflicts: 946000 | #Constraints: 24248
1246.35/1250.47 c #Conflicts: 947000 | #Constraints: 25251
1246.35/1250.47 c #Conflicts: 948000 | #Constraints: 26254
1246.35/1250.47 c #Conflicts: 949000 | #Constraints: 27258
1246.35/1250.47 c #Conflicts: 950000 | #Constraints: 28264
1246.35/1250.47 c #Conflicts: 951000 | #Constraints: 29271
1246.35/1250.47 c #Conflicts: 952000 | #Constraints: 30280
1246.35/1250.47 c #Conflicts: 953000 | #Constraints: 31282
1246.35/1250.47 c #Conflicts: 954000 | #Constraints: 32283
1246.35/1250.47 c #Conflicts: 955000 | #Constraints: 33287
1246.35/1250.47 c #Conflicts: 956000 | #Constraints: 34292
1246.35/1250.47 c #Conflicts: 957000 | #Constraints: 35296
1246.35/1250.47 c #Conflicts: 958000 | #Constraints: 36300
1246.35/1250.47 c #Conflicts: 959000 | #Constraints: 37302
1246.35/1250.47 c #Conflicts: 960000 | #Constraints: 38315
1246.35/1250.47 c #Conflicts: 961000 | #Constraints: 39324
1246.35/1250.47 c INPROCESSING
1246.35/1250.47 c GARBAGE COLLECT
1246.35/1250.47 c rational objective 5
1246.55/1250.66 c GLOBAL bounds - >= 5 @ 1237.68
1246.55/1250.66 c GLOBAL bounds - >= 5 @ 1237.68
1274.45/1278.69 c #Conflicts: 962000 | #Constraints: 20845
1274.45/1278.69 c #Conflicts: 963000 | #Constraints: 21851
1274.45/1278.69 c #Conflicts: 964000 | #Constraints: 22856
1274.45/1278.69 c #Conflicts: 965000 | #Constraints: 23860
1274.45/1278.69 c #Conflicts: 966000 | #Constraints: 24865
1274.45/1278.69 c #Conflicts: 967000 | #Constraints: 25869
1274.45/1278.69 c #Conflicts: 968000 | #Constraints: 26872
1274.45/1278.69 c #Conflicts: 969000 | #Constraints: 27879
1274.45/1278.69 c #Conflicts: 970000 | #Constraints: 28885
1274.45/1278.69 c #Conflicts: 971000 | #Constraints: 29887
1274.45/1278.69 c #Conflicts: 972000 | #Constraints: 30891
1274.45/1278.69 c #Conflicts: 973000 | #Constraints: 31895
1274.45/1278.69 c #Conflicts: 974000 | #Constraints: 32901
1274.45/1278.69 c #Conflicts: 975000 | #Constraints: 33909
1274.45/1278.69 c #Conflicts: 976000 | #Constraints: 34916
1274.45/1278.69 c #Conflicts: 977000 | #Constraints: 35922
1274.45/1278.69 c #Conflicts: 978000 | #Constraints: 36929
1274.45/1278.69 c #Conflicts: 979000 | #Constraints: 37939
1274.45/1278.69 c #Conflicts: 980000 | #Constraints: 38945
1274.45/1278.69 c #Conflicts: 981000 | #Constraints: 39957
1274.45/1278.69 c INPROCESSING
1274.45/1278.69 c GARBAGE COLLECT
1274.45/1278.69 c rational objective 5
1274.65/1278.85 c GLOBAL bounds - >= 5 @ 1265.57
1274.65/1278.85 c GLOBAL bounds - >= 5 @ 1265.57
1297.58/1301.87 c #Conflicts: 982000 | #Constraints: 21243
1297.58/1301.87 c #Conflicts: 983000 | #Constraints: 22247
1297.58/1301.87 c #Conflicts: 984000 | #Constraints: 23256
1297.58/1301.87 c #Conflicts: 985000 | #Constraints: 24262
1297.58/1301.87 c #Conflicts: 986000 | #Constraints: 25267
1297.58/1301.87 c #Conflicts: 987000 | #Constraints: 26273
1297.58/1301.87 c #Conflicts: 988000 | #Constraints: 27282
1297.58/1301.87 c #Conflicts: 989000 | #Constraints: 28288
1297.58/1301.87 c #Conflicts: 990000 | #Constraints: 29290
1297.58/1301.87 c #Conflicts: 991000 | #Constraints: 30293
1297.58/1301.87 c #Conflicts: 992000 | #Constraints: 31296
1297.58/1301.87 c #Conflicts: 993000 | #Constraints: 32301
1297.58/1301.87 c #Conflicts: 994000 | #Constraints: 33303
1297.58/1301.87 c #Conflicts: 995000 | #Constraints: 34306
1297.58/1301.87 c #Conflicts: 996000 | #Constraints: 35311
1297.58/1301.87 c #Conflicts: 997000 | #Constraints: 36317
1297.58/1301.87 c #Conflicts: 998000 | #Constraints: 37320
1297.58/1301.87 c #Conflicts: 999000 | #Constraints: 38324
1297.58/1301.87 c #Conflicts: 1000000 | #Constraints: 39327
1297.58/1301.87 c #Conflicts: 1001000 | #Constraints: 40331
1297.58/1301.87 c INPROCESSING
1297.58/1301.87 c GARBAGE COLLECT
1297.58/1301.87 c rational objective 5
1297.79/1302.05 c GLOBAL bounds - >= 5 @ 1288.54
1297.79/1302.05 c GLOBAL bounds - >= 5 @ 1288.54
1363.75/1368.21 c #Conflicts: 1002000 | #Constraints: 21439
1363.75/1368.21 c #Conflicts: 1003000 | #Constraints: 22445
1363.75/1368.21 c #Conflicts: 1004000 | #Constraints: 23457
1363.75/1368.21 c #Conflicts: 1005000 | #Constraints: 24463
1363.75/1368.21 c #Conflicts: 1006000 | #Constraints: 25467
1363.75/1368.21 c #Conflicts: 1007000 | #Constraints: 26473
1363.75/1368.21 c #Conflicts: 1008000 | #Constraints: 27477
1363.75/1368.21 c #Conflicts: 1009000 | #Constraints: 28482
1363.75/1368.21 c #Conflicts: 1010000 | #Constraints: 29488
1363.75/1368.21 c #Conflicts: 1011000 | #Constraints: 30492
1363.75/1368.21 c #Conflicts: 1012000 | #Constraints: 31500
1363.75/1368.21 c #Conflicts: 1013000 | #Constraints: 32507
1363.75/1368.21 c #Conflicts: 1014000 | #Constraints: 33510
1363.75/1368.21 c #Conflicts: 1015000 | #Constraints: 34514
1363.75/1368.21 c #Conflicts: 1016000 | #Constraints: 35519
1363.75/1368.21 c #Conflicts: 1017000 | #Constraints: 36522
1363.75/1368.21 c #Conflicts: 1018000 | #Constraints: 37528
1363.75/1368.21 c #Conflicts: 1019000 | #Constraints: 38533
1363.75/1368.21 c #Conflicts: 1020000 | #Constraints: 39538
1363.75/1368.21 c #Conflicts: 1021000 | #Constraints: 40545
1363.75/1368.21 c INPROCESSING
1363.75/1368.21 c GARBAGE COLLECT
1363.75/1368.21 c rational objective 5
1363.85/1368.36 c GLOBAL bounds - >= 5 @ 1354.24
1363.85/1368.36 c GLOBAL bounds - >= 5 @ 1354.24
1386.98/1391.59 c #Conflicts: 1022000 | #Constraints: 21440
1386.98/1391.59 c #Conflicts: 1023000 | #Constraints: 22444
1386.98/1391.59 c #Conflicts: 1024000 | #Constraints: 23446
1386.98/1391.59 c #Conflicts: 1025000 | #Constraints: 24447
1386.98/1391.59 c #Conflicts: 1026000 | #Constraints: 25448
1386.98/1391.59 c #Conflicts: 1027000 | #Constraints: 26451
1386.98/1391.59 c #Conflicts: 1028000 | #Constraints: 27454
1386.98/1391.59 c #Conflicts: 1029000 | #Constraints: 28459
1386.98/1391.59 c #Conflicts: 1030000 | #Constraints: 29466
1386.98/1391.59 c #Conflicts: 1031000 | #Constraints: 30472
1386.98/1391.59 c #Conflicts: 1032000 | #Constraints: 31473
1386.98/1391.59 c #Conflicts: 1033000 | #Constraints: 32476
1386.98/1391.59 c #Conflicts: 1034000 | #Constraints: 33479
1386.98/1391.59 c #Conflicts: 1035000 | #Constraints: 34483
1386.98/1391.59 c #Conflicts: 1036000 | #Constraints: 35486
1386.98/1391.59 c #Conflicts: 1037000 | #Constraints: 36489
1386.98/1391.59 c #Conflicts: 1038000 | #Constraints: 37491
1386.98/1391.59 c #Conflicts: 1039000 | #Constraints: 38492
1386.98/1391.59 c #Conflicts: 1040000 | #Constraints: 39498
1386.98/1391.59 c #Conflicts: 1041000 | #Constraints: 40502
1386.98/1391.59 c INPROCESSING
1386.98/1391.59 c GARBAGE COLLECT
1386.98/1391.59 c rational objective 5
1387.28/1391.81 c GLOBAL bounds - >= 5 @ 1377.45
1387.28/1391.81 c GLOBAL bounds - >= 5 @ 1377.45
1462.63/1467.50 c #Conflicts: 1042000 | #Constraints: 21205
1462.63/1467.50 c #Conflicts: 1043000 | #Constraints: 22211
1462.63/1467.50 c #Conflicts: 1044000 | #Constraints: 23220
1462.63/1467.50 c #Conflicts: 1045000 | #Constraints: 24224
1462.63/1467.50 c #Conflicts: 1046000 | #Constraints: 25232
1462.63/1467.50 c #Conflicts: 1047000 | #Constraints: 26243
1462.63/1467.50 c #Conflicts: 1048000 | #Constraints: 27246
1462.63/1467.50 c #Conflicts: 1049000 | #Constraints: 28252
1462.63/1467.50 c #Conflicts: 1050000 | #Constraints: 29258
1462.63/1467.50 c #Conflicts: 1051000 | #Constraints: 30264
1462.63/1467.50 c #Conflicts: 1052000 | #Constraints: 31270
1462.63/1467.50 c #Conflicts: 1053000 | #Constraints: 32273
1462.63/1467.50 c #Conflicts: 1054000 | #Constraints: 33277
1462.63/1467.50 c #Conflicts: 1055000 | #Constraints: 34280
1462.63/1467.50 c #Conflicts: 1056000 | #Constraints: 35281
1462.63/1467.50 c #Conflicts: 1057000 | #Constraints: 36284
1462.63/1467.50 c #Conflicts: 1058000 | #Constraints: 37287
1462.63/1467.50 c #Conflicts: 1059000 | #Constraints: 38291
1462.63/1467.50 c #Conflicts: 1060000 | #Constraints: 39295
1462.63/1467.50 c #Conflicts: 1061000 | #Constraints: 40299
1462.63/1467.50 c #Conflicts: 1062000 | #Constraints: 41303
1462.63/1467.50 c INPROCESSING
1462.63/1467.50 c GARBAGE COLLECT
1462.63/1467.50 c rational objective 5
1462.94/1467.73 c GLOBAL bounds - >= 5 @ 1452.9
1462.94/1467.73 c GLOBAL bounds - >= 5 @ 1452.9
1497.72/1502.64 c #Conflicts: 1063000 | #Constraints: 21813
1497.72/1502.64 c #Conflicts: 1064000 | #Constraints: 22815
1497.72/1502.64 c #Conflicts: 1065000 | #Constraints: 23820
1497.72/1502.64 c #Conflicts: 1066000 | #Constraints: 24824
1497.72/1502.64 c #Conflicts: 1067000 | #Constraints: 25831
1497.72/1502.64 c #Conflicts: 1068000 | #Constraints: 26844
1497.72/1502.64 c #Conflicts: 1069000 | #Constraints: 27852
1497.72/1502.64 c #Conflicts: 1070000 | #Constraints: 28856
1497.72/1502.64 c #Conflicts: 1071000 | #Constraints: 29863
1497.72/1502.64 c #Conflicts: 1072000 | #Constraints: 30867
1497.72/1502.64 c #Conflicts: 1073000 | #Constraints: 31872
1497.72/1502.64 c #Conflicts: 1074000 | #Constraints: 32883
1497.72/1502.64 c #Conflicts: 1075000 | #Constraints: 33889
1497.72/1502.64 c #Conflicts: 1076000 | #Constraints: 34895
1497.72/1502.64 c #Conflicts: 1077000 | #Constraints: 35904
1497.72/1502.64 c #Conflicts: 1078000 | #Constraints: 36911
1497.72/1502.64 c #Conflicts: 1079000 | #Constraints: 37917
1497.72/1502.64 c #Conflicts: 1080000 | #Constraints: 38918
1497.72/1502.64 c #Conflicts: 1081000 | #Constraints: 39920
1497.72/1502.64 c #Conflicts: 1082000 | #Constraints: 40922
1497.72/1502.64 c #Conflicts: 1083000 | #Constraints: 41929
1497.72/1502.64 c INPROCESSING
1497.72/1502.64 c GARBAGE COLLECT
1497.72/1502.64 c rational objective 5
1497.92/1502.82 c GLOBAL bounds - >= 5 @ 1487.65
1497.92/1502.82 c GLOBAL bounds - >= 5 @ 1487.65
1542.28/1547.34 c #Conflicts: 1084000 | #Constraints: 22245
1542.28/1547.34 c #Conflicts: 1085000 | #Constraints: 23247
1542.28/1547.34 c #Conflicts: 1086000 | #Constraints: 24252
1542.28/1547.34 c #Conflicts: 1087000 | #Constraints: 25257
1542.28/1547.34 c #Conflicts: 1088000 | #Constraints: 26258
1542.28/1547.34 c #Conflicts: 1089000 | #Constraints: 27264
1542.28/1547.34 c #Conflicts: 1090000 | #Constraints: 28264
1542.28/1547.34 c #Conflicts: 1091000 | #Constraints: 29264
1542.28/1547.34 c #Conflicts: 1092000 | #Constraints: 30265
1542.28/1547.34 c #Conflicts: 1093000 | #Constraints: 31270
1542.28/1547.34 c #Conflicts: 1094000 | #Constraints: 32274
1542.28/1547.34 c #Conflicts: 1095000 | #Constraints: 33277
1542.28/1547.34 c #Conflicts: 1096000 | #Constraints: 34281
1542.28/1547.34 c #Conflicts: 1097000 | #Constraints: 35289
1542.28/1547.34 c #Conflicts: 1098000 | #Constraints: 36293
1542.28/1547.34 c #Conflicts: 1099000 | #Constraints: 37297
1542.28/1547.34 c #Conflicts: 1100000 | #Constraints: 38297
1542.28/1547.34 c #Conflicts: 1101000 | #Constraints: 39298
1542.28/1547.34 c #Conflicts: 1102000 | #Constraints: 40299
1542.28/1547.34 c #Conflicts: 1103000 | #Constraints: 41301
1542.28/1547.34 c #Conflicts: 1104000 | #Constraints: 42302
1542.28/1547.34 c INPROCESSING
1542.28/1547.34 c GARBAGE COLLECT
1542.28/1547.34 c rational objective 5
1542.48/1547.50 c GLOBAL bounds - >= 5 @ 1531.99
1542.48/1547.50 c GLOBAL bounds - >= 5 @ 1531.99
1614.75/1620.03 c #Conflicts: 1105000 | #Constraints: 22417
1614.75/1620.03 c #Conflicts: 1106000 | #Constraints: 23422
1614.75/1620.03 c #Conflicts: 1107000 | #Constraints: 24428
1614.75/1620.03 c #Conflicts: 1108000 | #Constraints: 25437
1614.75/1620.03 c #Conflicts: 1109000 | #Constraints: 26441
1614.75/1620.03 c #Conflicts: 1110000 | #Constraints: 27447
1614.75/1620.03 c #Conflicts: 1111000 | #Constraints: 28450
1614.75/1620.03 c #Conflicts: 1112000 | #Constraints: 29454
1614.75/1620.03 c #Conflicts: 1113000 | #Constraints: 30461
1614.75/1620.03 c #Conflicts: 1114000 | #Constraints: 31465
1614.75/1620.03 c #Conflicts: 1115000 | #Constraints: 32470
1614.75/1620.03 c #Conflicts: 1116000 | #Constraints: 33475
1614.75/1620.03 c #Conflicts: 1117000 | #Constraints: 34480
1614.75/1620.03 c #Conflicts: 1118000 | #Constraints: 35488
1614.75/1620.03 c #Conflicts: 1119000 | #Constraints: 36493
1614.75/1620.03 c #Conflicts: 1120000 | #Constraints: 37496
1614.75/1620.03 c #Conflicts: 1121000 | #Constraints: 38502
1614.75/1620.03 c #Conflicts: 1122000 | #Constraints: 39511
1614.75/1620.03 c #Conflicts: 1123000 | #Constraints: 40515
1614.75/1620.03 c #Conflicts: 1124000 | #Constraints: 41521
1614.75/1620.03 c #Conflicts: 1125000 | #Constraints: 42525
1614.75/1620.03 c INPROCESSING
1614.75/1620.03 c GARBAGE COLLECT
1614.75/1620.03 c rational objective 5
1614.85/1620.16 c GLOBAL bounds - >= 5 @ 1604.21
1614.85/1620.16 c GLOBAL bounds - >= 5 @ 1604.21
1650.12/1655.55 c #Conflicts: 1126000 | #Constraints: 22420
1650.12/1655.55 c #Conflicts: 1127000 | #Constraints: 23429
1650.12/1655.55 c #Conflicts: 1128000 | #Constraints: 24436
1650.12/1655.55 c #Conflicts: 1129000 | #Constraints: 25446
1650.12/1655.55 c #Conflicts: 1130000 | #Constraints: 26451
1650.12/1655.55 c #Conflicts: 1131000 | #Constraints: 27457
1650.12/1655.55 c #Conflicts: 1132000 | #Constraints: 28461
1650.12/1655.55 c #Conflicts: 1133000 | #Constraints: 29469
1650.12/1655.55 c #Conflicts: 1134000 | #Constraints: 30477
1650.12/1655.55 c #Conflicts: 1135000 | #Constraints: 31486
1650.12/1655.55 c #Conflicts: 1136000 | #Constraints: 32491
1650.12/1655.55 c #Conflicts: 1137000 | #Constraints: 33495
1650.12/1655.55 c #Conflicts: 1138000 | #Constraints: 34503
1650.12/1655.55 c #Conflicts: 1139000 | #Constraints: 35515
1650.12/1655.55 c #Conflicts: 1140000 | #Constraints: 36525
1650.12/1655.55 c #Conflicts: 1141000 | #Constraints: 37528
1650.12/1655.55 c #Conflicts: 1142000 | #Constraints: 38532
1650.12/1655.55 c #Conflicts: 1143000 | #Constraints: 39539
1650.12/1655.55 c #Conflicts: 1144000 | #Constraints: 40548
1650.12/1655.55 c #Conflicts: 1145000 | #Constraints: 41552
1650.12/1655.55 c #Conflicts: 1146000 | #Constraints: 42566
1650.12/1655.55 c INPROCESSING
1650.12/1655.55 c GARBAGE COLLECT
1650.12/1655.55 c rational objective 5
1650.32/1655.77 c GLOBAL bounds - >= 5 @ 1639.51
1650.32/1655.77 c GLOBAL bounds - >= 5 @ 1639.51
1690.60/1696.17 c #Conflicts: 1147000 | #Constraints: 22229
1690.60/1696.17 c #Conflicts: 1148000 | #Constraints: 23242
1690.60/1696.17 c #Conflicts: 1149000 | #Constraints: 24249
1690.60/1696.17 c #Conflicts: 1150000 | #Constraints: 25250
1690.60/1696.17 c #Conflicts: 1151000 | #Constraints: 26255
1690.60/1696.17 c #Conflicts: 1152000 | #Constraints: 27264
1690.60/1696.17 c #Conflicts: 1153000 | #Constraints: 28270
1690.60/1696.17 c #Conflicts: 1154000 | #Constraints: 29281
1690.60/1696.17 c #Conflicts: 1155000 | #Constraints: 30290
1690.60/1696.17 c #Conflicts: 1156000 | #Constraints: 31294
1690.60/1696.17 c #Conflicts: 1157000 | #Constraints: 32301
1690.60/1696.17 c #Conflicts: 1158000 | #Constraints: 33306
1690.60/1696.17 c #Conflicts: 1159000 | #Constraints: 34312
1690.60/1696.17 c #Conflicts: 1160000 | #Constraints: 35317
1690.60/1696.17 c #Conflicts: 1161000 | #Constraints: 36325
1690.60/1696.17 c #Conflicts: 1162000 | #Constraints: 37330
1690.60/1696.17 c #Conflicts: 1163000 | #Constraints: 38342
1690.60/1696.17 c #Conflicts: 1164000 | #Constraints: 39349
1690.60/1696.17 c #Conflicts: 1165000 | #Constraints: 40354
1690.60/1696.17 c #Conflicts: 1166000 | #Constraints: 41358
1690.60/1696.17 c #Conflicts: 1167000 | #Constraints: 42360
1690.60/1696.17 c #Conflicts: 1168000 | #Constraints: 43362
1690.60/1696.17 c INPROCESSING
1690.60/1696.17 c GARBAGE COLLECT
1690.60/1696.17 c rational objective 5
1690.79/1696.36 c GLOBAL bounds - >= 5 @ 1679.74
1690.79/1696.36 c GLOBAL bounds - >= 5 @ 1679.74
1729.75/1735.42 c #Conflicts: 1169000 | #Constraints: 22822
1729.75/1735.42 c #Conflicts: 1170000 | #Constraints: 23828
1729.75/1735.42 c #Conflicts: 1171000 | #Constraints: 24831
1729.75/1735.42 c #Conflicts: 1172000 | #Constraints: 25835
1729.75/1735.42 c #Conflicts: 1173000 | #Constraints: 26841
1729.75/1735.42 c #Conflicts: 1174000 | #Constraints: 27848
1729.75/1735.42 c #Conflicts: 1175000 | #Constraints: 28851
1729.75/1735.42 c #Conflicts: 1176000 | #Constraints: 29864
1729.75/1735.42 c #Conflicts: 1177000 | #Constraints: 30869
1729.75/1735.42 c #Conflicts: 1178000 | #Constraints: 31875
1729.75/1735.42 c #Conflicts: 1179000 | #Constraints: 32883
1729.75/1735.42 c #Conflicts: 1180000 | #Constraints: 33888
1729.75/1735.42 c #Conflicts: 1181000 | #Constraints: 34892
1729.75/1735.42 c #Conflicts: 1182000 | #Constraints: 35902
1729.75/1735.42 c #Conflicts: 1183000 | #Constraints: 36906
1729.75/1735.42 c #Conflicts: 1184000 | #Constraints: 37922
1729.75/1735.42 c #Conflicts: 1185000 | #Constraints: 38925
1729.75/1735.42 c #Conflicts: 1186000 | #Constraints: 39931
1729.75/1735.42 c #Conflicts: 1187000 | #Constraints: 40938
1729.75/1735.42 c #Conflicts: 1188000 | #Constraints: 41941
1729.75/1735.42 c #Conflicts: 1189000 | #Constraints: 42948
1729.75/1735.42 c #Conflicts: 1190000 | #Constraints: 43959
1729.75/1735.42 c INPROCESSING
1729.75/1735.42 c GARBAGE COLLECT
1729.75/1735.42 c rational objective 5
1729.85/1735.59 c GLOBAL bounds - >= 5 @ 1718.65
1729.85/1735.59 c GLOBAL bounds - >= 5 @ 1718.65
1763.74/1769.55 c #Conflicts: 1191000 | #Constraints: 23229
1763.74/1769.55 c #Conflicts: 1192000 | #Constraints: 24233
1763.74/1769.55 c #Conflicts: 1193000 | #Constraints: 25281
1763.74/1769.55 c #Conflicts: 1194000 | #Constraints: 26420
1763.74/1769.55 c #Conflicts: 1195000 | #Constraints: 27720
1763.74/1769.55 c #Conflicts: 1196000 | #Constraints: 29257
1763.74/1769.55 c #Conflicts: 1197000 | #Constraints: 30519
1763.74/1769.55 c #Conflicts: 1198000 | #Constraints: 31547
1763.74/1769.55 c #Conflicts: 1199000 | #Constraints: 32656
1763.74/1769.55 c #Conflicts: 1200000 | #Constraints: 33690
1763.74/1769.55 c #Conflicts: 1201000 | #Constraints: 34730
1763.74/1769.55 c #Conflicts: 1202000 | #Constraints: 35750
1763.74/1769.55 c #Conflicts: 1203000 | #Constraints: 36947
1763.74/1769.55 c #Conflicts: 1204000 | #Constraints: 38066
1763.74/1769.55 c #Conflicts: 1205000 | #Constraints: 39263
1763.74/1769.55 c #Conflicts: 1206000 | #Constraints: 40529
1763.74/1769.55 c #Conflicts: 1207000 | #Constraints: 42157
1763.74/1769.55 c #Conflicts: 1208000 | #Constraints: 43756
1763.74/1769.55 c #Conflicts: 1209000 | #Constraints: 45354
1763.74/1769.55 c #Conflicts: 1210000 | #Constraints: 46921
1763.74/1769.55 c #Conflicts: 1211000 | #Constraints: 48483
1763.74/1769.55 c #Conflicts: 1212000 | #Constraints: 50037
1763.74/1769.55 c INPROCESSING
1763.74/1769.55 c GARBAGE COLLECT
1763.74/1769.55 c rational objective 5
1764.05/1769.85 c GLOBAL bounds - >= 5 @ 1752.54
1764.05/1769.85 c GLOBAL bounds - >= 5 @ 1752.54
1794.84/1800.75 c #Conflicts: 1213000 | #Constraints: 26268
1794.84/1800.75 c #Conflicts: 1214000 | #Constraints: 27271
1794.84/1800.75 c #Conflicts: 1215000 | #Constraints: 28274
1794.84/1800.75 c #Conflicts: 1216000 | #Constraints: 29276
1794.84/1800.75 c #Conflicts: 1217000 | #Constraints: 30286
1794.84/1800.75 c #Conflicts: 1218000 | #Constraints: 31292
1794.84/1800.75 c #Conflicts: 1219000 | #Constraints: 32300
1794.84/1800.75 c #Conflicts: 1220000 | #Constraints: 33304
1794.84/1800.75 c #Conflicts: 1221000 | #Constraints: 34306
1794.84/1800.75 c #Conflicts: 1222000 | #Constraints: 35314
1794.84/1800.75 c #Conflicts: 1223000 | #Constraints: 36319
1794.84/1800.75 c #Conflicts: 1224000 | #Constraints: 37321
1794.84/1800.75 c #Conflicts: 1225000 | #Constraints: 38324
1794.84/1800.75 c #Conflicts: 1226000 | #Constraints: 39328
1794.84/1800.75 c #Conflicts: 1227000 | #Constraints: 40329
1794.84/1800.75 c #Conflicts: 1228000 | #Constraints: 41334
1794.84/1800.75 c #Conflicts: 1229000 | #Constraints: 42335
1794.84/1800.75 c #Conflicts: 1230000 | #Constraints: 43335
1794.84/1800.75 c #Conflicts: 1231000 | #Constraints: 44338
1794.84/1800.75 c #Conflicts: 1232000 | #Constraints: 45338
1794.84/1800.75 c #Conflicts: 1233000 | #Constraints: 46339
1794.84/1800.75 c #Conflicts: 1234000 | #Constraints: 47353
1794.84/1800.75 c INPROCESSING
1794.84/1800.75 c GARBAGE COLLECT
1794.84/1800.75 c rational objective 5
1795.04/1800.94 c GLOBAL bounds - >= 5 @ 1783.32
1795.04/1800.94 c GLOBAL bounds - >= 5 @ 1783.32
1826.84/1832.82 c #Conflicts: 1235000 | #Constraints: 24804
1826.84/1832.82 c #Conflicts: 1236000 | #Constraints: 25813
1826.84/1832.82 c #Conflicts: 1237000 | #Constraints: 26821
1826.84/1832.82 c #Conflicts: 1238000 | #Constraints: 27832
1826.84/1832.82 c #Conflicts: 1239000 | #Constraints: 28836
1826.84/1832.82 c #Conflicts: 1240000 | #Constraints: 29843
1826.84/1832.82 c #Conflicts: 1241000 | #Constraints: 30849
1826.84/1832.82 c #Conflicts: 1242000 | #Constraints: 31853
1826.84/1832.82 c #Conflicts: 1243000 | #Constraints: 32857
1826.84/1832.82 c #Conflicts: 1244000 | #Constraints: 33865
1826.84/1832.82 c #Conflicts: 1245000 | #Constraints: 34871
1826.84/1832.82 c #Conflicts: 1246000 | #Constraints: 35876
1826.84/1832.82 c #Conflicts: 1247000 | #Constraints: 36888
1826.84/1832.82 c #Conflicts: 1248000 | #Constraints: 37894
1826.84/1832.82 c #Conflicts: 1249000 | #Constraints: 38906
1826.84/1832.82 c #Conflicts: 1250000 | #Constraints: 39911
1826.84/1832.82 c #Conflicts: 1251000 | #Constraints: 40919
1826.84/1832.82 c #Conflicts: 1252000 | #Constraints: 41925
1826.84/1832.82 c #Conflicts: 1253000 | #Constraints: 42927
1826.84/1832.82 c #Conflicts: 1254000 | #Constraints: 43935
1826.84/1832.82 c #Conflicts: 1255000 | #Constraints: 44942
1826.84/1832.82 c #Conflicts: 1256000 | #Constraints: 45945
1826.84/1832.82 c INPROCESSING
1826.84/1832.82 c GARBAGE COLLECT
1826.84/1832.82 c rational objective 5
1827.05/1833.01 c GLOBAL bounds - >= 5 @ 1815.08
1827.05/1833.01 c GLOBAL bounds - >= 5 @ 1815.08
1880.76/1886.98 c #Conflicts: 1257000 | #Constraints: 23919
1880.76/1886.98 c #Conflicts: 1258000 | #Constraints: 24924
1880.76/1886.98 c #Conflicts: 1259000 | #Constraints: 25932
1880.76/1886.98 c #Conflicts: 1260000 | #Constraints: 26940
1880.76/1886.98 c #Conflicts: 1261000 | #Constraints: 27946
1880.76/1886.98 c #Conflicts: 1262000 | #Constraints: 28949
1880.76/1886.98 c #Conflicts: 1263000 | #Constraints: 29956
1880.76/1886.98 c #Conflicts: 1264000 | #Constraints: 30981
1880.76/1886.98 c #Conflicts: 1265000 | #Constraints: 31987
1880.76/1886.98 c #Conflicts: 1266000 | #Constraints: 32994
1880.76/1886.98 c #Conflicts: 1267000 | #Constraints: 34000
1880.76/1886.98 c #Conflicts: 1268000 | #Constraints: 35004
1880.76/1886.98 c #Conflicts: 1269000 | #Constraints: 36014
1880.76/1886.98 c #Conflicts: 1270000 | #Constraints: 37017
1880.76/1886.98 c #Conflicts: 1271000 | #Constraints: 38024
1880.76/1886.98 c #Conflicts: 1272000 | #Constraints: 39027
1880.76/1886.98 c #Conflicts: 1273000 | #Constraints: 40028
1880.76/1886.98 c #Conflicts: 1274000 | #Constraints: 41032
1880.76/1886.98 c #Conflicts: 1275000 | #Constraints: 42033
1880.76/1886.98 c #Conflicts: 1276000 | #Constraints: 43037
1880.76/1886.98 c #Conflicts: 1277000 | #Constraints: 44042
1880.76/1886.98 c #Conflicts: 1278000 | #Constraints: 45048
1880.76/1886.98 c #Conflicts: 1279000 | #Constraints: 46054
1880.76/1886.98 c INPROCESSING
1880.76/1886.98 c GARBAGE COLLECT
1880.76/1886.98 c rational objective 5
1880.97/1887.13 c GLOBAL bounds - >= 5 @ 1868.83
1880.97/1887.13 c GLOBAL bounds - >= 5 @ 1868.83
1924.33/1930.64 c #Conflicts: 1280000 | #Constraints: 24166
1924.33/1930.64 c #Conflicts: 1281000 | #Constraints: 25170
1924.33/1930.64 c #Conflicts: 1282000 | #Constraints: 26175
1924.33/1930.64 c #Conflicts: 1283000 | #Constraints: 27181
1924.33/1930.64 c #Conflicts: 1284000 | #Constraints: 28184
1924.33/1930.64 c #Conflicts: 1285000 | #Constraints: 29194
1924.33/1930.64 c #Conflicts: 1286000 | #Constraints: 30205
1924.33/1930.64 c #Conflicts: 1287000 | #Constraints: 31209
1924.33/1930.64 c #Conflicts: 1288000 | #Constraints: 32216
1924.33/1930.64 c #Conflicts: 1289000 | #Constraints: 33224
1924.33/1930.64 c #Conflicts: 1290000 | #Constraints: 34228
1924.33/1930.64 c #Conflicts: 1291000 | #Constraints: 35231
1924.33/1930.64 c #Conflicts: 1292000 | #Constraints: 36241
1924.33/1930.64 c #Conflicts: 1293000 | #Constraints: 37247
1924.33/1930.64 c #Conflicts: 1294000 | #Constraints: 38252
1924.33/1930.64 c #Conflicts: 1295000 | #Constraints: 39259
1924.33/1930.64 c #Conflicts: 1296000 | #Constraints: 40268
1924.33/1930.64 c #Conflicts: 1297000 | #Constraints: 41274
1924.33/1930.64 c #Conflicts: 1298000 | #Constraints: 42281
1924.33/1930.64 c #Conflicts: 1299000 | #Constraints: 43285
1924.33/1930.64 c #Conflicts: 1300000 | #Constraints: 44289
1924.33/1930.64 c #Conflicts: 1301000 | #Constraints: 45296
1924.33/1930.64 c #Conflicts: 1302000 | #Constraints: 46297
1924.33/1930.64 c INPROCESSING
1924.33/1930.64 c GARBAGE COLLECT
1924.33/1930.64 c rational objective 5
1924.53/1930.81 c GLOBAL bounds - >= 5 @ 1912.16
1924.53/1930.81 c GLOBAL bounds - >= 5 @ 1912.16
1952.14/1958.51 c #Conflicts: 1303000 | #Constraints: 24405
1952.14/1958.51 c #Conflicts: 1304000 | #Constraints: 25410
1952.14/1958.51 c #Conflicts: 1305000 | #Constraints: 26411
1952.14/1958.51 c #Conflicts: 1306000 | #Constraints: 27418
1952.14/1958.51 c #Conflicts: 1307000 | #Constraints: 28424
1952.14/1958.51 c #Conflicts: 1308000 | #Constraints: 29435
1952.14/1958.51 c #Conflicts: 1309000 | #Constraints: 30445
1952.14/1958.51 c #Conflicts: 1310000 | #Constraints: 31454
1952.14/1958.51 c #Conflicts: 1311000 | #Constraints: 32459
1952.14/1958.51 c #Conflicts: 1312000 | #Constraints: 33469
1952.14/1958.51 c #Conflicts: 1313000 | #Constraints: 34479
1952.14/1958.51 c #Conflicts: 1314000 | #Constraints: 35492
1952.14/1958.51 c #Conflicts: 1315000 | #Constraints: 36495
1952.14/1958.51 c #Conflicts: 1316000 | #Constraints: 37500
1952.14/1958.51 c #Conflicts: 1317000 | #Constraints: 38504
1952.14/1958.51 c #Conflicts: 1318000 | #Constraints: 39509
1952.14/1958.51 c #Conflicts: 1319000 | #Constraints: 40513
1952.14/1958.51 c #Conflicts: 1320000 | #Constraints: 41521
1952.14/1958.51 c #Conflicts: 1321000 | #Constraints: 42531
1952.14/1958.51 c #Conflicts: 1322000 | #Constraints: 43535
1952.14/1958.51 c #Conflicts: 1323000 | #Constraints: 44540
1952.14/1958.51 c #Conflicts: 1324000 | #Constraints: 45542
1952.14/1958.51 c #Conflicts: 1325000 | #Constraints: 46549
1952.14/1958.51 c INPROCESSING
1952.14/1958.51 c GARBAGE COLLECT
1952.14/1958.51 c rational objective 5
1952.25/1958.69 c GLOBAL bounds - >= 5 @ 1939.77
1952.25/1958.69 c GLOBAL bounds - >= 5 @ 1939.77
1977.86/1984.32 c #Conflicts: 1326000 | #Constraints: 24522
1977.86/1984.32 c #Conflicts: 1327000 | #Constraints: 25530
1977.86/1984.32 c #Conflicts: 1328000 | #Constraints: 26534
1977.86/1984.32 c #Conflicts: 1329000 | #Constraints: 27549
1977.86/1984.32 c #Conflicts: 1330000 | #Constraints: 28551
1977.86/1984.32 c #Conflicts: 1331000 | #Constraints: 29556
1977.86/1984.32 c #Conflicts: 1332000 | #Constraints: 30562
1977.86/1984.32 c #Conflicts: 1333000 | #Constraints: 31565
1977.86/1984.32 c #Conflicts: 1334000 | #Constraints: 32572
1977.86/1984.32 c #Conflicts: 1335000 | #Constraints: 33579
1977.86/1984.32 c #Conflicts: 1336000 | #Constraints: 34588
1977.86/1984.32 c #Conflicts: 1337000 | #Constraints: 35593
1977.86/1984.32 c #Conflicts: 1338000 | #Constraints: 36599
1977.86/1984.32 c #Conflicts: 1339000 | #Constraints: 37600
1977.86/1984.32 c #Conflicts: 1340000 | #Constraints: 38603
1977.86/1984.32 c #Conflicts: 1341000 | #Constraints: 39611
1977.86/1984.32 c #Conflicts: 1342000 | #Constraints: 40615
1977.86/1984.32 c #Conflicts: 1343000 | #Constraints: 41617
1977.86/1984.32 c #Conflicts: 1344000 | #Constraints: 42622
1977.86/1984.32 c #Conflicts: 1345000 | #Constraints: 43626
1977.86/1984.32 c #Conflicts: 1346000 | #Constraints: 44628
1977.86/1984.32 c #Conflicts: 1347000 | #Constraints: 45629
1977.86/1984.32 c #Conflicts: 1348000 | #Constraints: 46633
1977.86/1984.32 c INPROCESSING
1977.86/1984.32 c GARBAGE COLLECT
1977.86/1984.32 c rational objective 5
1978.06/1984.53 c GLOBAL bounds - >= 5 @ 1965.31
1978.06/1984.53 c GLOBAL bounds - >= 5 @ 1965.31
2034.89/2041.52 c #Conflicts: 1349000 | #Constraints: 24482
2034.89/2041.52 c #Conflicts: 1350000 | #Constraints: 25485
2034.89/2041.52 c #Conflicts: 1351000 | #Constraints: 26496
2034.89/2041.52 c #Conflicts: 1352000 | #Constraints: 27502
2034.89/2041.52 c #Conflicts: 1353000 | #Constraints: 28508
2034.89/2041.52 c #Conflicts: 1354000 | #Constraints: 29511
2034.89/2041.52 c #Conflicts: 1355000 | #Constraints: 30516
2034.89/2041.52 c #Conflicts: 1356000 | #Constraints: 31519
2034.89/2041.52 c #Conflicts: 1357000 | #Constraints: 32522
2034.89/2041.52 c #Conflicts: 1358000 | #Constraints: 33522
2034.89/2041.52 c #Conflicts: 1359000 | #Constraints: 34526
2034.89/2041.52 c #Conflicts: 1360000 | #Constraints: 35535
2034.89/2041.52 c #Conflicts: 1361000 | #Constraints: 36539
2034.89/2041.52 c #Conflicts: 1362000 | #Constraints: 37547
2034.89/2041.52 c #Conflicts: 1363000 | #Constraints: 38555
2034.89/2041.52 c #Conflicts: 1364000 | #Constraints: 39561
2034.89/2041.52 c #Conflicts: 1365000 | #Constraints: 40566
2034.89/2041.52 c #Conflicts: 1366000 | #Constraints: 41572
2034.89/2041.52 c #Conflicts: 1367000 | #Constraints: 42583
2034.89/2041.52 c #Conflicts: 1368000 | #Constraints: 43594
2034.89/2041.52 c #Conflicts: 1369000 | #Constraints: 44597
2034.89/2041.52 c #Conflicts: 1370000 | #Constraints: 45605
2034.89/2041.52 c #Conflicts: 1371000 | #Constraints: 46610
2034.89/2041.52 c INPROCESSING
2034.89/2041.52 c GARBAGE COLLECT
2034.89/2041.52 c rational objective 5
2034.99/2041.69 c GLOBAL bounds - >= 5 @ 2022.04
2034.99/2041.69 c GLOBAL bounds - >= 5 @ 2022.04
2084.34/2091.14 c #Conflicts: 1372000 | #Constraints: 24255
2084.34/2091.14 c #Conflicts: 1373000 | #Constraints: 25261
2084.34/2091.14 c #Conflicts: 1374000 | #Constraints: 26269
2084.34/2091.14 c #Conflicts: 1375000 | #Constraints: 27274
2084.34/2091.14 c #Conflicts: 1376000 | #Constraints: 28284
2084.34/2091.14 c #Conflicts: 1377000 | #Constraints: 29295
2084.34/2091.14 c #Conflicts: 1378000 | #Constraints: 30302
2084.34/2091.14 c #Conflicts: 1379000 | #Constraints: 31304
2084.34/2091.14 c #Conflicts: 1380000 | #Constraints: 32308
2084.34/2091.14 c #Conflicts: 1381000 | #Constraints: 33309
2084.34/2091.14 c #Conflicts: 1382000 | #Constraints: 34312
2084.34/2091.14 c #Conflicts: 1383000 | #Constraints: 35319
2084.34/2091.14 c #Conflicts: 1384000 | #Constraints: 36330
2084.34/2091.14 c #Conflicts: 1385000 | #Constraints: 37335
2084.34/2091.14 c #Conflicts: 1386000 | #Constraints: 38340
2084.34/2091.14 c #Conflicts: 1387000 | #Constraints: 39350
2084.34/2091.14 c #Conflicts: 1388000 | #Constraints: 40359
2084.34/2091.14 c #Conflicts: 1389000 | #Constraints: 41370
2084.34/2091.14 c #Conflicts: 1390000 | #Constraints: 42382
2084.34/2091.14 c #Conflicts: 1391000 | #Constraints: 43386
2084.34/2091.14 c #Conflicts: 1392000 | #Constraints: 44394
2084.34/2091.14 c #Conflicts: 1393000 | #Constraints: 45405
2084.34/2091.14 c #Conflicts: 1394000 | #Constraints: 46409
2084.34/2091.14 c #Conflicts: 1395000 | #Constraints: 47416
2084.34/2091.14 c INPROCESSING
2084.34/2091.14 c GARBAGE COLLECT
2084.34/2091.14 c rational objective 5
2084.43/2091.29 c GLOBAL bounds - >= 5 @ 2071.26
2084.43/2091.29 c GLOBAL bounds - >= 5 @ 2071.26
2137.08/2144.03 c #Conflicts: 1396000 | #Constraints: 24860
2137.08/2144.03 c #Conflicts: 1397000 | #Constraints: 25865
2137.08/2144.03 c #Conflicts: 1398000 | #Constraints: 26873
2137.08/2144.03 c #Conflicts: 1399000 | #Constraints: 27879
2137.08/2144.03 c #Conflicts: 1400000 | #Constraints: 28884
2137.08/2144.03 c #Conflicts: 1401000 | #Constraints: 29888
2137.08/2144.03 c #Conflicts: 1402000 | #Constraints: 30892
2137.08/2144.03 c #Conflicts: 1403000 | #Constraints: 31901
2137.08/2144.03 c #Conflicts: 1404000 | #Constraints: 32906
2137.08/2144.03 c #Conflicts: 1405000 | #Constraints: 33910
2137.08/2144.03 c #Conflicts: 1406000 | #Constraints: 34914
2137.08/2144.03 c #Conflicts: 1407000 | #Constraints: 35917
2137.08/2144.03 c #Conflicts: 1408000 | #Constraints: 36920
2137.08/2144.03 c #Conflicts: 1409000 | #Constraints: 37924
2137.08/2144.03 c #Conflicts: 1410000 | #Constraints: 38936
2137.08/2144.03 c #Conflicts: 1411000 | #Constraints: 39943
2137.08/2144.03 c #Conflicts: 1412000 | #Constraints: 40963
2137.08/2144.03 c #Conflicts: 1413000 | #Constraints: 41972
2137.08/2144.03 c #Conflicts: 1414000 | #Constraints: 42982
2137.08/2144.03 c #Conflicts: 1415000 | #Constraints: 43990
2137.08/2144.03 c #Conflicts: 1416000 | #Constraints: 44995
2137.08/2144.03 c #Conflicts: 1417000 | #Constraints: 45999
2137.08/2144.03 c #Conflicts: 1418000 | #Constraints: 47006
2137.08/2144.03 c #Conflicts: 1419000 | #Constraints: 48011
2137.08/2144.03 c INPROCESSING
2137.08/2144.03 c GARBAGE COLLECT
2137.08/2144.03 c rational objective 5
2137.36/2144.39 c GLOBAL bounds - >= 5 @ 2123.95
2137.36/2144.39 c GLOBAL bounds - >= 5 @ 2123.95
2188.02/2195.13 c #Conflicts: 1420000 | #Constraints: 25256
2188.02/2195.13 c #Conflicts: 1421000 | #Constraints: 26259
2188.02/2195.13 c #Conflicts: 1422000 | #Constraints: 27262
2188.02/2195.13 c #Conflicts: 1423000 | #Constraints: 28267
2188.02/2195.13 c #Conflicts: 1424000 | #Constraints: 29273
2188.02/2195.13 c #Conflicts: 1425000 | #Constraints: 30278
2188.02/2195.13 c #Conflicts: 1426000 | #Constraints: 31284
2188.02/2195.13 c #Conflicts: 1427000 | #Constraints: 32286
2188.02/2195.13 c #Conflicts: 1428000 | #Constraints: 33294
2188.02/2195.13 c #Conflicts: 1429000 | #Constraints: 34304
2188.02/2195.13 c #Conflicts: 1430000 | #Constraints: 35312
2188.02/2195.13 c #Conflicts: 1431000 | #Constraints: 36316
2188.02/2195.13 c #Conflicts: 1432000 | #Constraints: 37320
2188.02/2195.13 c #Conflicts: 1433000 | #Constraints: 38327
2188.02/2195.13 c #Conflicts: 1434000 | #Constraints: 39330
2188.02/2195.13 c #Conflicts: 1435000 | #Constraints: 40343
2188.02/2195.13 c #Conflicts: 1436000 | #Constraints: 41348
2188.02/2195.13 c #Conflicts: 1437000 | #Constraints: 42350
2188.02/2195.13 c #Conflicts: 1438000 | #Constraints: 43358
2188.02/2195.13 c #Conflicts: 1439000 | #Constraints: 44367
2188.02/2195.13 c #Conflicts: 1440000 | #Constraints: 45372
2188.02/2195.13 c #Conflicts: 1441000 | #Constraints: 46377
2188.02/2195.13 c #Conflicts: 1442000 | #Constraints: 47383
2188.02/2195.13 c #Conflicts: 1443000 | #Constraints: 48388
2188.02/2195.13 c INPROCESSING
2188.02/2195.13 c GARBAGE COLLECT
2188.02/2195.13 c rational objective 5
2188.20/2195.31 c GLOBAL bounds - >= 5 @ 2174.48
2188.20/2195.31 c GLOBAL bounds - >= 5 @ 2174.48
2241.23/2248.53 c #Conflicts: 1444000 | #Constraints: 25433
2241.23/2248.53 c #Conflicts: 1445000 | #Constraints: 26441
2241.23/2248.53 c #Conflicts: 1446000 | #Constraints: 27447
2241.23/2248.53 c #Conflicts: 1447000 | #Constraints: 28449
2241.23/2248.53 c #Conflicts: 1448000 | #Constraints: 29450
2241.23/2248.53 c #Conflicts: 1449000 | #Constraints: 30454
2241.23/2248.53 c #Conflicts: 1450000 | #Constraints: 31475
2241.23/2248.53 c #Conflicts: 1451000 | #Constraints: 32490
2241.23/2248.53 c #Conflicts: 1452000 | #Constraints: 33509
2241.23/2248.53 c #Conflicts: 1453000 | #Constraints: 34522
2241.23/2248.53 c #Conflicts: 1454000 | #Constraints: 35530
2241.23/2248.53 c #Conflicts: 1455000 | #Constraints: 36533
2241.23/2248.53 c #Conflicts: 1456000 | #Constraints: 37540
2241.23/2248.53 c #Conflicts: 1457000 | #Constraints: 38542
2241.23/2248.53 c #Conflicts: 1458000 | #Constraints: 39552
2241.23/2248.53 c #Conflicts: 1459000 | #Constraints: 40555
2241.23/2248.53 c #Conflicts: 1460000 | #Constraints: 41560
2241.23/2248.53 c #Conflicts: 1461000 | #Constraints: 42567
2241.23/2248.53 c #Conflicts: 1462000 | #Constraints: 43575
2241.23/2248.53 c #Conflicts: 1463000 | #Constraints: 44581
2241.23/2248.53 c #Conflicts: 1464000 | #Constraints: 45587
2241.23/2248.53 c #Conflicts: 1465000 | #Constraints: 46596
2241.23/2248.53 c #Conflicts: 1466000 | #Constraints: 47600
2241.23/2248.53 c #Conflicts: 1467000 | #Constraints: 48605
2241.23/2248.53 c INPROCESSING
2241.23/2248.53 c GARBAGE COLLECT
2241.23/2248.53 c rational objective 5
2241.43/2248.73 c GLOBAL bounds - >= 5 @ 2227.52
2241.43/2248.73 c GLOBAL bounds - >= 5 @ 2227.52
2288.28/2295.75 c #Conflicts: 1468000 | #Constraints: 25446
2288.28/2295.75 c #Conflicts: 1469000 | #Constraints: 26449
2288.28/2295.75 c #Conflicts: 1470000 | #Constraints: 27462
2288.28/2295.75 c #Conflicts: 1471000 | #Constraints: 28473
2288.28/2295.75 c #Conflicts: 1472000 | #Constraints: 29476
2288.28/2295.75 c #Conflicts: 1473000 | #Constraints: 30482
2288.28/2295.75 c #Conflicts: 1474000 | #Constraints: 31490
2288.28/2295.75 c #Conflicts: 1475000 | #Constraints: 32499
2288.28/2295.75 c #Conflicts: 1476000 | #Constraints: 33505
2288.28/2295.75 c #Conflicts: 1477000 | #Constraints: 34514
2288.28/2295.75 c #Conflicts: 1478000 | #Constraints: 35518
2288.28/2295.75 c #Conflicts: 1479000 | #Constraints: 36521
2288.28/2295.75 c #Conflicts: 1480000 | #Constraints: 37522
2288.28/2295.75 c #Conflicts: 1481000 | #Constraints: 38525
2288.28/2295.75 c #Conflicts: 1482000 | #Constraints: 39543
2288.28/2295.75 c #Conflicts: 1483000 | #Constraints: 40553
2288.28/2295.75 c #Conflicts: 1484000 | #Constraints: 41564
2288.28/2295.75 c #Conflicts: 1485000 | #Constraints: 42569
2288.28/2295.75 c #Conflicts: 1486000 | #Constraints: 43576
2288.28/2295.75 c #Conflicts: 1487000 | #Constraints: 44583
2288.28/2295.75 c #Conflicts: 1488000 | #Constraints: 45591
2288.28/2295.75 c #Conflicts: 1489000 | #Constraints: 46598
2288.28/2295.75 c #Conflicts: 1490000 | #Constraints: 47603
2288.28/2295.75 c #Conflicts: 1491000 | #Constraints: 48609
2288.28/2295.75 c INPROCESSING
2288.28/2295.75 c GARBAGE COLLECT
2288.28/2295.75 c rational objective 5
2288.48/2295.93 c GLOBAL bounds - >= 5 @ 2274.35
2288.48/2295.93 c GLOBAL bounds - >= 5 @ 2274.35
2325.06/2332.62 c #Conflicts: 1492000 | #Constraints: 25253
2325.06/2332.62 c #Conflicts: 1493000 | #Constraints: 26270
2325.06/2332.62 c #Conflicts: 1494000 | #Constraints: 27272
2325.06/2332.62 c #Conflicts: 1495000 | #Constraints: 28282
2325.06/2332.62 c #Conflicts: 1496000 | #Constraints: 29286
2325.06/2332.62 c #Conflicts: 1497000 | #Constraints: 30289
2325.06/2332.62 c #Conflicts: 1498000 | #Constraints: 31294
2325.06/2332.62 c #Conflicts: 1499000 | #Constraints: 32295
2325.06/2332.62 c #Conflicts: 1500000 | #Constraints: 33299
2325.06/2332.62 c #Conflicts: 1501000 | #Constraints: 34308
2325.06/2332.62 c #Conflicts: 1502000 | #Constraints: 35316
2325.06/2332.62 c #Conflicts: 1503000 | #Constraints: 36324
2325.06/2332.62 c #Conflicts: 1504000 | #Constraints: 37326
2325.06/2332.62 c #Conflicts: 1505000 | #Constraints: 38328
2325.06/2332.62 c #Conflicts: 1506000 | #Constraints: 39333
2325.06/2332.62 c #Conflicts: 1507000 | #Constraints: 40340
2325.06/2332.62 c #Conflicts: 1508000 | #Constraints: 41342
2325.06/2332.62 c #Conflicts: 1509000 | #Constraints: 42351
2325.06/2332.62 c #Conflicts: 1510000 | #Constraints: 43354
2325.06/2332.62 c #Conflicts: 1511000 | #Constraints: 44365
2325.06/2332.62 c #Conflicts: 1512000 | #Constraints: 45378
2325.06/2332.62 c #Conflicts: 1513000 | #Constraints: 46388
2325.06/2332.62 c #Conflicts: 1514000 | #Constraints: 47393
2325.06/2332.62 c #Conflicts: 1515000 | #Constraints: 48400
2325.06/2332.62 c #Conflicts: 1516000 | #Constraints: 49409
2325.06/2332.62 c INPROCESSING
2325.06/2332.62 c GARBAGE COLLECT
2325.06/2332.62 c rational objective 5
2325.16/2332.75 c GLOBAL bounds - >= 5 @ 2310.82
2325.16/2332.75 c GLOBAL bounds - >= 5 @ 2310.82
2383.77/2391.53 c #Conflicts: 1517000 | #Constraints: 25854
2383.77/2391.53 c #Conflicts: 1518000 | #Constraints: 26859
2383.77/2391.53 c #Conflicts: 1519000 | #Constraints: 27863
2383.77/2391.53 c #Conflicts: 1520000 | #Constraints: 28870
2383.77/2391.53 c #Conflicts: 1521000 | #Constraints: 29877
2383.77/2391.53 c #Conflicts: 1522000 | #Constraints: 30884
2383.77/2391.53 c #Conflicts: 1523000 | #Constraints: 31889
2383.77/2391.53 c #Conflicts: 1524000 | #Constraints: 32892
2383.77/2391.53 c #Conflicts: 1525000 | #Constraints: 33894
2383.77/2391.53 c #Conflicts: 1526000 | #Constraints: 34897
2383.77/2391.53 c #Conflicts: 1527000 | #Constraints: 35900
2383.77/2391.53 c #Conflicts: 1528000 | #Constraints: 36906
2383.77/2391.53 c #Conflicts: 1529000 | #Constraints: 37909
2383.77/2391.53 c #Conflicts: 1530000 | #Constraints: 38911
2383.77/2391.53 c #Conflicts: 1531000 | #Constraints: 39918
2383.77/2391.53 c #Conflicts: 1532000 | #Constraints: 40922
2383.77/2391.53 c #Conflicts: 1533000 | #Constraints: 41924
2383.77/2391.53 c #Conflicts: 1534000 | #Constraints: 42926
2383.77/2391.53 c #Conflicts: 1535000 | #Constraints: 43930
2383.77/2391.53 c #Conflicts: 1536000 | #Constraints: 44935
2383.77/2391.53 c #Conflicts: 1537000 | #Constraints: 45942
2383.77/2391.53 c #Conflicts: 1538000 | #Constraints: 46947
2383.77/2391.53 c #Conflicts: 1539000 | #Constraints: 47953
2383.77/2391.53 c #Conflicts: 1540000 | #Constraints: 48963
2383.77/2391.53 c #Conflicts: 1541000 | #Constraints: 49967
2383.77/2391.53 c INPROCESSING
2383.77/2391.53 c GARBAGE COLLECT
2383.77/2391.53 c rational objective 5
2383.97/2391.77 c GLOBAL bounds - >= 5 @ 2369.43
2383.97/2391.77 c GLOBAL bounds - >= 5 @ 2369.43
2434.60/2442.56 c #Conflicts: 1542000 | #Constraints: 26220
2434.60/2442.56 c #Conflicts: 1543000 | #Constraints: 27230
2434.60/2442.56 c #Conflicts: 1544000 | #Constraints: 28240
2434.60/2442.56 c #Conflicts: 1545000 | #Constraints: 29249
2434.60/2442.56 c #Conflicts: 1546000 | #Constraints: 30259
2434.60/2442.56 c #Conflicts: 1547000 | #Constraints: 31265
2434.60/2442.56 c #Conflicts: 1548000 | #Constraints: 32280
2434.60/2442.56 c #Conflicts: 1549000 | #Constraints: 33287
2434.60/2442.56 c #Conflicts: 1550000 | #Constraints: 34294
2434.60/2442.56 c #Conflicts: 1551000 | #Constraints: 35301
2434.60/2442.56 c #Conflicts: 1552000 | #Constraints: 36309
2434.60/2442.56 c #Conflicts: 1553000 | #Constraints: 37315
2434.60/2442.56 c #Conflicts: 1554000 | #Constraints: 38318
2434.60/2442.56 c #Conflicts: 1555000 | #Constraints: 39324
2434.60/2442.56 c #Conflicts: 1556000 | #Constraints: 40331
2434.60/2442.56 c #Conflicts: 1557000 | #Constraints: 41333
2434.60/2442.56 c #Conflicts: 1558000 | #Constraints: 42337
2434.60/2442.56 c #Conflicts: 1559000 | #Constraints: 43337
2434.60/2442.56 c #Conflicts: 1560000 | #Constraints: 44338
2434.60/2442.56 c #Conflicts: 1561000 | #Constraints: 45339
2434.60/2442.56 c #Conflicts: 1562000 | #Constraints: 46341
2434.60/2442.56 c #Conflicts: 1563000 | #Constraints: 47344
2434.60/2442.56 c #Conflicts: 1564000 | #Constraints: 48348
2434.60/2442.56 c #Conflicts: 1565000 | #Constraints: 49352
2434.60/2442.56 c #Conflicts: 1566000 | #Constraints: 50359
2434.60/2442.56 c INPROCESSING
2434.60/2442.56 c GARBAGE COLLECT
2434.60/2442.56 c rational objective 5
2434.81/2442.71 c GLOBAL bounds - >= 5 @ 2419.95
2434.81/2442.71 c GLOBAL bounds - >= 5 @ 2419.95
2488.33/2496.45 c #Conflicts: 1567000 | #Constraints: 26446
2488.33/2496.45 c #Conflicts: 1568000 | #Constraints: 27454
2488.33/2496.45 c #Conflicts: 1569000 | #Constraints: 28458
2488.33/2496.45 c #Conflicts: 1570000 | #Constraints: 29462
2488.33/2496.45 c #Conflicts: 1571000 | #Constraints: 30464
2488.33/2496.45 c #Conflicts: 1572000 | #Constraints: 31466
2488.33/2496.45 c #Conflicts: 1573000 | #Constraints: 32467
2488.33/2496.45 c #Conflicts: 1574000 | #Constraints: 33472
2488.33/2496.45 c #Conflicts: 1575000 | #Constraints: 34477
2488.33/2496.45 c #Conflicts: 1576000 | #Constraints: 35482
2488.33/2496.45 c #Conflicts: 1577000 | #Constraints: 36486
2488.33/2496.45 c #Conflicts: 1578000 | #Constraints: 37487
2488.33/2496.45 c #Conflicts: 1579000 | #Constraints: 38491
2488.33/2496.45 c #Conflicts: 1580000 | #Constraints: 39494
2488.33/2496.45 c #Conflicts: 1581000 | #Constraints: 40501
2488.33/2496.45 c #Conflicts: 1582000 | #Constraints: 41505
2488.33/2496.45 c #Conflicts: 1583000 | #Constraints: 42510
2488.33/2496.45 c #Conflicts: 1584000 | #Constraints: 43520
2488.33/2496.45 c #Conflicts: 1585000 | #Constraints: 44527
2488.33/2496.45 c #Conflicts: 1586000 | #Constraints: 45529
2488.33/2496.45 c #Conflicts: 1587000 | #Constraints: 46533
2488.33/2496.45 c #Conflicts: 1588000 | #Constraints: 47534
2488.33/2496.45 c #Conflicts: 1589000 | #Constraints: 48538
2488.33/2496.45 c #Conflicts: 1590000 | #Constraints: 49545
2488.33/2496.45 c #Conflicts: 1591000 | #Constraints: 50551
2488.33/2496.45 c INPROCESSING
2488.33/2496.45 c GARBAGE COLLECT
2488.33/2496.45 c rational objective 5
2488.53/2496.62 c GLOBAL bounds - >= 5 @ 2473.44
2488.53/2496.62 c GLOBAL bounds - >= 5 @ 2473.44
2573.67/2582.06 c #Conflicts: 1592000 | #Constraints: 26470
2573.67/2582.06 c #Conflicts: 1593000 | #Constraints: 27472
2573.67/2582.06 c #Conflicts: 1594000 | #Constraints: 28474
2573.67/2582.06 c #Conflicts: 1595000 | #Constraints: 29474
2573.67/2582.06 c #Conflicts: 1596000 | #Constraints: 30476
2573.67/2582.06 c #Conflicts: 1597000 | #Constraints: 31477
2573.67/2582.06 c #Conflicts: 1598000 | #Constraints: 32478
2573.67/2582.06 c #Conflicts: 1599000 | #Constraints: 33480
2573.67/2582.06 c #Conflicts: 1600000 | #Constraints: 34481
2573.67/2582.06 c #Conflicts: 1601000 | #Constraints: 35484
2573.67/2582.06 c #Conflicts: 1602000 | #Constraints: 36485
2573.67/2582.06 c #Conflicts: 1603000 | #Constraints: 37486
2573.67/2582.06 c #Conflicts: 1604000 | #Constraints: 38490
2573.67/2582.06 c #Conflicts: 1605000 | #Constraints: 39490
2573.67/2582.06 c #Conflicts: 1606000 | #Constraints: 40490
2573.67/2582.06 c #Conflicts: 1607000 | #Constraints: 41490
2573.67/2582.06 c #Conflicts: 1608000 | #Constraints: 42491
2573.67/2582.06 c #Conflicts: 1609000 | #Constraints: 43491
2573.67/2582.06 c #Conflicts: 1610000 | #Constraints: 44493
2573.67/2582.06 c #Conflicts: 1611000 | #Constraints: 45495
2573.67/2582.06 c #Conflicts: 1612000 | #Constraints: 46497
2573.67/2582.06 c #Conflicts: 1613000 | #Constraints: 47497
2573.67/2582.06 c #Conflicts: 1614000 | #Constraints: 48498
2573.67/2582.06 c #Conflicts: 1615000 | #Constraints: 49501
2573.67/2582.06 c #Conflicts: 1616000 | #Constraints: 50502
2573.67/2582.06 c INPROCESSING
2573.67/2582.06 c GARBAGE COLLECT
2573.67/2582.06 c rational objective 5
2573.96/2582.32 c GLOBAL bounds - >= 5 @ 2558.63
2573.96/2582.32 c GLOBAL bounds - >= 5 @ 2558.63
2647.53/2656.14 c #Conflicts: 1617000 | #Constraints: 26300
2647.53/2656.14 c #Conflicts: 1618000 | #Constraints: 27303
2647.53/2656.14 c #Conflicts: 1619000 | #Constraints: 28306
2647.53/2656.14 c #Conflicts: 1620000 | #Constraints: 29308
2647.53/2656.14 c #Conflicts: 1621000 | #Constraints: 30312
2647.53/2656.14 c #Conflicts: 1622000 | #Constraints: 31316
2647.53/2656.14 c #Conflicts: 1623000 | #Constraints: 32318
2647.53/2656.14 c #Conflicts: 1624000 | #Constraints: 33323
2647.53/2656.14 c #Conflicts: 1625000 | #Constraints: 34327
2647.53/2656.14 c #Conflicts: 1626000 | #Constraints: 35331
2647.53/2656.14 c #Conflicts: 1627000 | #Constraints: 36336
2647.53/2656.14 c #Conflicts: 1628000 | #Constraints: 37344
2647.53/2656.14 c #Conflicts: 1629000 | #Constraints: 38349
2647.53/2656.14 c #Conflicts: 1630000 | #Constraints: 39353
2647.53/2656.14 c #Conflicts: 1631000 | #Constraints: 40358
2647.53/2656.14 c #Conflicts: 1632000 | #Constraints: 41366
2647.53/2656.14 c #Conflicts: 1633000 | #Constraints: 42368
2647.53/2656.14 c #Conflicts: 1634000 | #Constraints: 43369
2647.53/2656.14 c #Conflicts: 1635000 | #Constraints: 44372
2647.53/2656.14 c #Conflicts: 1636000 | #Constraints: 45378
2647.53/2656.14 c #Conflicts: 1637000 | #Constraints: 46380
2647.53/2656.14 c #Conflicts: 1638000 | #Constraints: 47385
2647.53/2656.14 c #Conflicts: 1639000 | #Constraints: 48390
2647.53/2656.14 c #Conflicts: 1640000 | #Constraints: 49393
2647.53/2656.14 c #Conflicts: 1641000 | #Constraints: 50398
2647.53/2656.14 c #Conflicts: 1642000 | #Constraints: 51403
2647.53/2656.14 c INPROCESSING
2647.53/2656.14 c GARBAGE COLLECT
2647.53/2656.14 c rational objective 5
2647.62/2656.29 c GLOBAL bounds - >= 5 @ 2632.05
2647.62/2656.29 c GLOBAL bounds - >= 5 @ 2632.05
2693.67/2702.42 c #Conflicts: 1643000 | #Constraints: 26844
2693.67/2702.42 c #Conflicts: 1644000 | #Constraints: 27850
2693.67/2702.42 c #Conflicts: 1645000 | #Constraints: 28855
2693.67/2702.42 c #Conflicts: 1646000 | #Constraints: 29862
2693.67/2702.42 c #Conflicts: 1647000 | #Constraints: 30867
2693.67/2702.42 c #Conflicts: 1648000 | #Constraints: 31872
2693.67/2702.42 c #Conflicts: 1649000 | #Constraints: 32875
2693.67/2702.42 c #Conflicts: 1650000 | #Constraints: 33885
2693.67/2702.42 c #Conflicts: 1651000 | #Constraints: 34897
2693.67/2702.42 c #Conflicts: 1652000 | #Constraints: 35898
2693.67/2702.42 c #Conflicts: 1653000 | #Constraints: 36904
2693.67/2702.42 c #Conflicts: 1654000 | #Constraints: 37914
2693.67/2702.42 c #Conflicts: 1655000 | #Constraints: 38919
2693.67/2702.42 c #Conflicts: 1656000 | #Constraints: 39924
2693.67/2702.42 c #Conflicts: 1657000 | #Constraints: 40929
2693.67/2702.42 c #Conflicts: 1658000 | #Constraints: 41932
2693.67/2702.42 c #Conflicts: 1659000 | #Constraints: 42944
2693.67/2702.42 c #Conflicts: 1660000 | #Constraints: 43954
2693.67/2702.42 c #Conflicts: 1661000 | #Constraints: 44960
2693.67/2702.42 c #Conflicts: 1662000 | #Constraints: 45966
2693.67/2702.42 c #Conflicts: 1663000 | #Constraints: 46976
2693.67/2702.42 c #Conflicts: 1664000 | #Constraints: 47978
2693.67/2702.42 c #Conflicts: 1665000 | #Constraints: 48984
2693.67/2702.42 c #Conflicts: 1666000 | #Constraints: 49985
2693.67/2702.42 c #Conflicts: 1667000 | #Constraints: 50989
2693.67/2702.42 c #Conflicts: 1668000 | #Constraints: 51995
2693.67/2702.42 c INPROCESSING
2693.67/2702.42 c GARBAGE COLLECT
2693.67/2702.42 c rational objective 5
2693.77/2702.57 c GLOBAL bounds - >= 5 @ 2677.93
2693.77/2702.57 c GLOBAL bounds - >= 5 @ 2677.93
2756.09/2765.05 c #Conflicts: 1669000 | #Constraints: 27251
2756.09/2765.05 c #Conflicts: 1670000 | #Constraints: 28258
2756.09/2765.05 c #Conflicts: 1671000 | #Constraints: 29266
2756.09/2765.05 c #Conflicts: 1672000 | #Constraints: 30269
2756.09/2765.05 c #Conflicts: 1673000 | #Constraints: 31272
2756.09/2765.05 c #Conflicts: 1674000 | #Constraints: 32278
2756.09/2765.05 c #Conflicts: 1675000 | #Constraints: 33281
2756.09/2765.05 c #Conflicts: 1676000 | #Constraints: 34284
2756.09/2765.05 c #Conflicts: 1677000 | #Constraints: 35288
2756.09/2765.05 c #Conflicts: 1678000 | #Constraints: 36290
2756.09/2765.05 c #Conflicts: 1679000 | #Constraints: 37297
2756.09/2765.05 c #Conflicts: 1680000 | #Constraints: 38304
2756.09/2765.05 c #Conflicts: 1681000 | #Constraints: 39308
2756.09/2765.05 c #Conflicts: 1682000 | #Constraints: 40313
2756.09/2765.05 c #Conflicts: 1683000 | #Constraints: 41322
2756.09/2765.05 c #Conflicts: 1684000 | #Constraints: 42327
2756.09/2765.05 c #Conflicts: 1685000 | #Constraints: 43333
2756.09/2765.05 c #Conflicts: 1686000 | #Constraints: 44341
2756.09/2765.05 c #Conflicts: 1687000 | #Constraints: 45349
2756.09/2765.05 c #Conflicts: 1688000 | #Constraints: 46357
2756.09/2765.05 c #Conflicts: 1689000 | #Constraints: 47365
2756.09/2765.05 c #Conflicts: 1690000 | #Constraints: 48375
2756.09/2765.05 c #Conflicts: 1691000 | #Constraints: 49383
2756.09/2765.05 c #Conflicts: 1692000 | #Constraints: 50391
2756.09/2765.05 c #Conflicts: 1693000 | #Constraints: 51398
2756.09/2765.05 c #Conflicts: 1694000 | #Constraints: 52403
2756.09/2765.05 c INPROCESSING
2756.09/2765.05 c GARBAGE COLLECT
2756.09/2765.05 c rational objective 5
2756.28/2765.29 c GLOBAL bounds - >= 5 @ 2740.17
2756.28/2765.29 c GLOBAL bounds - >= 5 @ 2740.17
2806.41/2815.53 c #Conflicts: 1695000 | #Constraints: 27441
2806.41/2815.53 c #Conflicts: 1696000 | #Constraints: 28455
2806.41/2815.53 c #Conflicts: 1697000 | #Constraints: 29462
2806.41/2815.53 c #Conflicts: 1698000 | #Constraints: 30470
2806.41/2815.53 c #Conflicts: 1699000 | #Constraints: 31474
2806.41/2815.53 c #Conflicts: 1700000 | #Constraints: 32479
2806.41/2815.53 c #Conflicts: 1701000 | #Constraints: 33488
2806.41/2815.53 c #Conflicts: 1702000 | #Constraints: 34497
2806.41/2815.53 c #Conflicts: 1703000 | #Constraints: 35503
2806.41/2815.53 c #Conflicts: 1704000 | #Constraints: 36511
2806.41/2815.53 c #Conflicts: 1705000 | #Constraints: 37522
2806.41/2815.53 c #Conflicts: 1706000 | #Constraints: 38527
2806.41/2815.53 c #Conflicts: 1707000 | #Constraints: 39531
2806.41/2815.53 c #Conflicts: 1708000 | #Constraints: 40534
2806.41/2815.53 c #Conflicts: 1709000 | #Constraints: 41539
2806.41/2815.53 c #Conflicts: 1710000 | #Constraints: 42544
2806.41/2815.53 c #Conflicts: 1711000 | #Constraints: 43550
2806.41/2815.53 c #Conflicts: 1712000 | #Constraints: 44561
2806.41/2815.53 c #Conflicts: 1713000 | #Constraints: 45569
2806.41/2815.53 c #Conflicts: 1714000 | #Constraints: 46571
2806.41/2815.53 c #Conflicts: 1715000 | #Constraints: 47575
2806.41/2815.53 c #Conflicts: 1716000 | #Constraints: 48583
2806.41/2815.53 c #Conflicts: 1717000 | #Constraints: 49590
2806.41/2815.53 c #Conflicts: 1718000 | #Constraints: 50599
2806.41/2815.53 c #Conflicts: 1719000 | #Constraints: 51609
2806.41/2815.53 c #Conflicts: 1720000 | #Constraints: 52623
2806.41/2815.53 c INPROCESSING
2806.41/2815.53 c GARBAGE COLLECT
2806.41/2815.53 c rational objective 5
2806.51/2815.69 c GLOBAL bounds - >= 5 @ 2790.17
2806.51/2815.69 c GLOBAL bounds - >= 5 @ 2790.17
2898.73/2908.13 c #Conflicts: 1721000 | #Constraints: 27475
2898.73/2908.13 c #Conflicts: 1722000 | #Constraints: 28483
2898.73/2908.13 c #Conflicts: 1723000 | #Constraints: 29490
2898.73/2908.13 c #Conflicts: 1724000 | #Constraints: 30497
2898.73/2908.13 c #Conflicts: 1725000 | #Constraints: 31506
2898.73/2908.13 c #Conflicts: 1726000 | #Constraints: 32509
2898.73/2908.13 c #Conflicts: 1727000 | #Constraints: 33514
2898.73/2908.13 c #Conflicts: 1728000 | #Constraints: 34515
2898.73/2908.13 c #Conflicts: 1729000 | #Constraints: 35519
2898.73/2908.13 c #Conflicts: 1730000 | #Constraints: 36521
2898.73/2908.13 c #Conflicts: 1731000 | #Constraints: 37526
2898.73/2908.13 c #Conflicts: 1732000 | #Constraints: 38532
2898.73/2908.13 c #Conflicts: 1733000 | #Constraints: 39534
2898.73/2908.13 c #Conflicts: 1734000 | #Constraints: 40536
2898.73/2908.13 c #Conflicts: 1735000 | #Constraints: 41540
2898.73/2908.13 c #Conflicts: 1736000 | #Constraints: 42541
2898.73/2908.13 c #Conflicts: 1737000 | #Constraints: 43543
2898.73/2908.13 c #Conflicts: 1738000 | #Constraints: 44546
2898.73/2908.13 c #Conflicts: 1739000 | #Constraints: 45550
2898.73/2908.13 c #Conflicts: 1740000 | #Constraints: 46553
2898.73/2908.13 c #Conflicts: 1741000 | #Constraints: 47557
2898.73/2908.13 c #Conflicts: 1742000 | #Constraints: 48560
2898.73/2908.13 c #Conflicts: 1743000 | #Constraints: 49565
2898.73/2908.13 c #Conflicts: 1744000 | #Constraints: 50573
2898.73/2908.13 c #Conflicts: 1745000 | #Constraints: 51584
2898.73/2908.13 c #Conflicts: 1746000 | #Constraints: 52589
2898.73/2908.13 c INPROCESSING
2898.73/2908.13 c GARBAGE COLLECT
2898.73/2908.13 c rational objective 5
2899.01/2908.42 c GLOBAL bounds - >= 5 @ 2882.35
2899.01/2908.42 c GLOBAL bounds - >= 5 @ 2882.35
2948.48/2958.04 c #Conflicts: 1747000 | #Constraints: 27244
2948.48/2958.04 c #Conflicts: 1748000 | #Constraints: 28251
2948.48/2958.04 c #Conflicts: 1749000 | #Constraints: 29258
2948.48/2958.04 c #Conflicts: 1750000 | #Constraints: 30264
2948.48/2958.04 c #Conflicts: 1751000 | #Constraints: 31269
2948.48/2958.04 c #Conflicts: 1752000 | #Constraints: 32275
2948.48/2958.04 c #Conflicts: 1753000 | #Constraints: 33283
2948.48/2958.04 c #Conflicts: 1754000 | #Constraints: 34289
2948.48/2958.04 c #Conflicts: 1755000 | #Constraints: 35292
2948.48/2958.04 c #Conflicts: 1756000 | #Constraints: 36299
2948.48/2958.04 c #Conflicts: 1757000 | #Constraints: 37301
2948.48/2958.04 c #Conflicts: 1758000 | #Constraints: 38307
2948.48/2958.04 c #Conflicts: 1759000 | #Constraints: 39309
2948.48/2958.04 c #Conflicts: 1760000 | #Constraints: 40314
2948.48/2958.04 c #Conflicts: 1761000 | #Constraints: 41321
2948.48/2958.04 c #Conflicts: 1762000 | #Constraints: 42328
2948.48/2958.04 c #Conflicts: 1763000 | #Constraints: 43332
2948.48/2958.04 c #Conflicts: 1764000 | #Constraints: 44337
2948.48/2958.04 c #Conflicts: 1765000 | #Constraints: 45344
2948.48/2958.04 c #Conflicts: 1766000 | #Constraints: 46346
2948.48/2958.04 c #Conflicts: 1767000 | #Constraints: 47354
2948.48/2958.04 c #Conflicts: 1768000 | #Constraints: 48358
2948.48/2958.04 c #Conflicts: 1769000 | #Constraints: 49365
2948.48/2958.04 c #Conflicts: 1770000 | #Constraints: 50368
2948.48/2958.04 c #Conflicts: 1771000 | #Constraints: 51373
2948.48/2958.04 c #Conflicts: 1772000 | #Constraints: 52377
2948.48/2958.04 c #Conflicts: 1773000 | #Constraints: 53384
2948.48/2958.04 c INPROCESSING
2948.48/2958.04 c GARBAGE COLLECT
2948.48/2958.04 c rational objective 5
2948.66/2958.20 c GLOBAL bounds - >= 5 @ 2931.72
2948.66/2958.20 c GLOBAL bounds - >= 5 @ 2931.72
3005.08/3014.84 c #Conflicts: 1774000 | #Constraints: 27839
3005.08/3014.84 c #Conflicts: 1775000 | #Constraints: 28843
3005.08/3014.84 c #Conflicts: 1776000 | #Constraints: 29856
3005.08/3014.84 c #Conflicts: 1777000 | #Constraints: 30862
3005.08/3014.84 c #Conflicts: 1778000 | #Constraints: 31874
3005.08/3014.84 c #Conflicts: 1779000 | #Constraints: 32885
3005.08/3014.84 c #Conflicts: 1780000 | #Constraints: 33893
3005.08/3014.84 c #Conflicts: 1781000 | #Constraints: 34898
3005.08/3014.84 c #Conflicts: 1782000 | #Constraints: 35901
3005.08/3014.84 c #Conflicts: 1783000 | #Constraints: 36909
3005.08/3014.84 c #Conflicts: 1784000 | #Constraints: 37916
3005.08/3014.84 c #Conflicts: 1785000 | #Constraints: 38925
3005.08/3014.84 c #Conflicts: 1786000 | #Constraints: 39928
3005.08/3014.84 c #Conflicts: 1787000 | #Constraints: 40935
3005.08/3014.84 c #Conflicts: 1788000 | #Constraints: 41946
3005.08/3014.84 c #Conflicts: 1789000 | #Constraints: 42949
3005.08/3014.84 c #Conflicts: 1790000 | #Constraints: 43955
3005.08/3014.84 c #Conflicts: 1791000 | #Constraints: 44961
3005.08/3014.84 c #Conflicts: 1792000 | #Constraints: 45968
3005.08/3014.84 c #Conflicts: 1793000 | #Constraints: 46973
3005.08/3014.84 c #Conflicts: 1794000 | #Constraints: 47977
3005.08/3014.84 c #Conflicts: 1795000 | #Constraints: 48986
3005.08/3014.84 c #Conflicts: 1796000 | #Constraints: 49991
3005.08/3014.84 c #Conflicts: 1797000 | #Constraints: 50993
3005.08/3014.84 c #Conflicts: 1798000 | #Constraints: 51999
3005.08/3014.84 c #Conflicts: 1799000 | #Constraints: 53004
3005.08/3014.84 c #Conflicts: 1800000 | #Constraints: 54011
3005.08/3014.84 c INPROCESSING
3005.08/3014.84 c GARBAGE COLLECT
3005.08/3014.84 c rational objective 5
3005.30/3015.02 c GLOBAL bounds - >= 5 @ 2988.11
3005.30/3015.02 c GLOBAL bounds - >= 5 @ 2988.11
3045.85/3055.75 c #Conflicts: 1801000 | #Constraints: 28251
3045.85/3055.75 c #Conflicts: 1802000 | #Constraints: 29261
3045.85/3055.75 c #Conflicts: 1803000 | #Constraints: 30270
3045.85/3055.75 c #Conflicts: 1804000 | #Constraints: 31273
3045.85/3055.75 c #Conflicts: 1805000 | #Constraints: 32276
3045.85/3055.75 c #Conflicts: 1806000 | #Constraints: 33286
3045.85/3055.75 c #Conflicts: 1807000 | #Constraints: 34287
3045.85/3055.75 c #Conflicts: 1808000 | #Constraints: 35294
3045.85/3055.75 c #Conflicts: 1809000 | #Constraints: 36302
3045.85/3055.75 c #Conflicts: 1810000 | #Constraints: 37312
3045.85/3055.75 c #Conflicts: 1811000 | #Constraints: 38322
3045.85/3055.75 c #Conflicts: 1812000 | #Constraints: 39330
3045.85/3055.75 c #Conflicts: 1813000 | #Constraints: 40338
3045.85/3055.75 c #Conflicts: 1814000 | #Constraints: 41348
3045.85/3055.75 c #Conflicts: 1815000 | #Constraints: 42357
3045.85/3055.75 c #Conflicts: 1816000 | #Constraints: 43365
3045.85/3055.75 c #Conflicts: 1817000 | #Constraints: 44377
3045.85/3055.75 c #Conflicts: 1818000 | #Constraints: 45388
3045.85/3055.75 c #Conflicts: 1819000 | #Constraints: 46393
3045.85/3055.75 c #Conflicts: 1820000 | #Constraints: 47398
3045.85/3055.75 c #Conflicts: 1821000 | #Constraints: 48404
3045.85/3055.75 c #Conflicts: 1822000 | #Constraints: 49414
3045.85/3055.75 c #Conflicts: 1823000 | #Constraints: 50419
3045.85/3055.75 c #Conflicts: 1824000 | #Constraints: 51424
3045.85/3055.75 c #Conflicts: 1825000 | #Constraints: 52429
3045.85/3055.75 c #Conflicts: 1826000 | #Constraints: 53437
3045.85/3055.75 c #Conflicts: 1827000 | #Constraints: 54441
3045.85/3055.75 c INPROCESSING
3045.85/3055.75 c GARBAGE COLLECT
3045.85/3055.75 c rational objective 5
3046.05/3055.93 c GLOBAL bounds - >= 5 @ 3028.64
3046.05/3055.93 c GLOBAL bounds - >= 5 @ 3028.64
3099.28/3109.34 c #Conflicts: 1828000 | #Constraints: 28464
3099.28/3109.34 c #Conflicts: 1829000 | #Constraints: 29466
3099.28/3109.34 c #Conflicts: 1830000 | #Constraints: 30471
3099.28/3109.34 c #Conflicts: 1831000 | #Constraints: 31474
3099.28/3109.34 c #Conflicts: 1832000 | #Constraints: 32478
3099.28/3109.34 c #Conflicts: 1833000 | #Constraints: 33483
3099.28/3109.34 c #Conflicts: 1834000 | #Constraints: 34491
3099.28/3109.34 c #Conflicts: 1835000 | #Constraints: 35499
3099.28/3109.34 c #Conflicts: 1836000 | #Constraints: 36504
3099.28/3109.34 c #Conflicts: 1837000 | #Constraints: 37513
3099.28/3109.34 c #Conflicts: 1838000 | #Constraints: 38522
3099.28/3109.34 c #Conflicts: 1839000 | #Constraints: 39530
3099.28/3109.34 c #Conflicts: 1840000 | #Constraints: 40532
3099.28/3109.34 c #Conflicts: 1841000 | #Constraints: 41536
3099.28/3109.34 c #Conflicts: 1842000 | #Constraints: 42541
3099.28/3109.34 c #Conflicts: 1843000 | #Constraints: 43550
3099.28/3109.34 c #Conflicts: 1844000 | #Constraints: 44559
3099.28/3109.34 c #Conflicts: 1845000 | #Constraints: 45561
3099.28/3109.34 c #Conflicts: 1846000 | #Constraints: 46564
3099.28/3109.34 c #Conflicts: 1847000 | #Constraints: 47568
3099.28/3109.34 c #Conflicts: 1848000 | #Constraints: 48575
3099.28/3109.34 c #Conflicts: 1849000 | #Constraints: 49579
3099.28/3109.34 c #Conflicts: 1850000 | #Constraints: 50582
3099.28/3109.34 c #Conflicts: 1851000 | #Constraints: 51586
3099.28/3109.34 c #Conflicts: 1852000 | #Constraints: 52593
3099.28/3109.34 c #Conflicts: 1853000 | #Constraints: 53601
3099.28/3109.34 c #Conflicts: 1854000 | #Constraints: 54606
3099.28/3109.34 c INPROCESSING
3099.28/3109.34 c GARBAGE COLLECT
3099.28/3109.34 c rational objective 5
3099.48/3109.51 c GLOBAL bounds - >= 5 @ 3081.83
3099.48/3109.51 c GLOBAL bounds - >= 5 @ 3081.83
3189.10/3199.42 c #Conflicts: 1855000 | #Constraints: 28497
3189.10/3199.42 c #Conflicts: 1856000 | #Constraints: 29504
3189.10/3199.42 c #Conflicts: 1857000 | #Constraints: 30507
3189.10/3199.42 c #Conflicts: 1858000 | #Constraints: 31516
3189.10/3199.42 c #Conflicts: 1859000 | #Constraints: 32519
3189.10/3199.42 c #Conflicts: 1860000 | #Constraints: 33521
3189.10/3199.42 c #Conflicts: 1861000 | #Constraints: 34524
3189.10/3199.42 c #Conflicts: 1862000 | #Constraints: 35531
3189.10/3199.42 c #Conflicts: 1863000 | #Constraints: 36536
3189.10/3199.42 c #Conflicts: 1864000 | #Constraints: 37541
3189.10/3199.42 c #Conflicts: 1865000 | #Constraints: 38544
3189.10/3199.42 c #Conflicts: 1866000 | #Constraints: 39547
3189.10/3199.42 c #Conflicts: 1867000 | #Constraints: 40548
3189.10/3199.42 c #Conflicts: 1868000 | #Constraints: 41550
3189.10/3199.42 c #Conflicts: 1869000 | #Constraints: 42551
3189.10/3199.42 c #Conflicts: 1870000 | #Constraints: 43553
3189.10/3199.42 c #Conflicts: 1871000 | #Constraints: 44555
3189.10/3199.42 c #Conflicts: 1872000 | #Constraints: 45560
3189.10/3199.42 c #Conflicts: 1873000 | #Constraints: 46568
3189.10/3199.42 c #Conflicts: 1874000 | #Constraints: 47573
3189.10/3199.42 c #Conflicts: 1875000 | #Constraints: 48579
3189.10/3199.42 c #Conflicts: 1876000 | #Constraints: 49602
3189.10/3199.42 c #Conflicts: 1877000 | #Constraints: 50612
3189.10/3199.42 c #Conflicts: 1878000 | #Constraints: 51620
3189.10/3199.42 c #Conflicts: 1879000 | #Constraints: 52627
3189.10/3199.42 c #Conflicts: 1880000 | #Constraints: 53633
3189.10/3199.42 c #Conflicts: 1881000 | #Constraints: 54637
3189.10/3199.42 c INPROCESSING
3189.10/3199.42 c GARBAGE COLLECT
3189.10/3199.42 c rational objective 5
3189.30/3199.61 c GLOBAL bounds - >= 5 @ 3171.31
3189.30/3199.61 c GLOBAL bounds - >= 5 @ 3171.31
3245.72/3256.28 c #Conflicts: 1882000 | #Constraints: 28255
3245.72/3256.28 c #Conflicts: 1883000 | #Constraints: 29261
3245.72/3256.28 c #Conflicts: 1884000 | #Constraints: 30269
3245.72/3256.28 c #Conflicts: 1885000 | #Constraints: 31274
3245.72/3256.28 c #Conflicts: 1886000 | #Constraints: 32282
3245.72/3256.28 c #Conflicts: 1887000 | #Constraints: 33292
3245.72/3256.28 c #Conflicts: 1888000 | #Constraints: 34299
3245.72/3256.28 c #Conflicts: 1889000 | #Constraints: 35306
3245.72/3256.28 c #Conflicts: 1890000 | #Constraints: 36310
3245.72/3256.28 c #Conflicts: 1891000 | #Constraints: 37315
3245.72/3256.28 c #Conflicts: 1892000 | #Constraints: 38328
3245.72/3256.28 c #Conflicts: 1893000 | #Constraints: 39335
3245.72/3256.28 c #Conflicts: 1894000 | #Constraints: 40339
3245.72/3256.28 c #Conflicts: 1895000 | #Constraints: 41342
3245.72/3256.28 c #Conflicts: 1896000 | #Constraints: 42347
3245.72/3256.28 c #Conflicts: 1897000 | #Constraints: 43353
3245.72/3256.28 c #Conflicts: 1898000 | #Constraints: 44356
3245.72/3256.28 c #Conflicts: 1899000 | #Constraints: 45364
3245.72/3256.28 c #Conflicts: 1900000 | #Constraints: 46373
3245.72/3256.28 c #Conflicts: 1901000 | #Constraints: 47378
3245.72/3256.29 c #Conflicts: 1902000 | #Constraints: 48387
3245.72/3256.29 c #Conflicts: 1903000 | #Constraints: 49390
3245.72/3256.29 c #Conflicts: 1904000 | #Constraints: 50393
3245.72/3256.29 c #Conflicts: 1905000 | #Constraints: 51400
3245.72/3256.29 c #Conflicts: 1906000 | #Constraints: 52406
3245.72/3256.29 c #Conflicts: 1907000 | #Constraints: 53411
3245.72/3256.29 c #Conflicts: 1908000 | #Constraints: 54417
3245.72/3256.29 c #Conflicts: 1909000 | #Constraints: 55421
3245.72/3256.29 c INPROCESSING
3245.72/3256.29 c GARBAGE COLLECT
3245.72/3256.29 c rational objective 5
3245.92/3256.48 c GLOBAL bounds - >= 5 @ 3227.74
3245.92/3256.48 c GLOBAL bounds - >= 5 @ 3227.74
3290.69/3301.36 c #Conflicts: 1910000 | #Constraints: 29032
3290.69/3301.36 c #Conflicts: 1911000 | #Constraints: 30055
3290.69/3301.36 c #Conflicts: 1912000 | #Constraints: 31068
3290.69/3301.36 c #Conflicts: 1913000 | #Constraints: 32084
3290.69/3301.36 c #Conflicts: 1914000 | #Constraints: 33088
3290.69/3301.36 c #Conflicts: 1915000 | #Constraints: 34091
3290.69/3301.36 c #Conflicts: 1916000 | #Constraints: 35098
3290.69/3301.36 c #Conflicts: 1917000 | #Constraints: 36111
3290.69/3301.36 c #Conflicts: 1918000 | #Constraints: 37119
3290.69/3301.36 c #Conflicts: 1919000 | #Constraints: 38124
3290.69/3301.36 c #Conflicts: 1920000 | #Constraints: 39132
3290.69/3301.36 c #Conflicts: 1921000 | #Constraints: 40138
3290.69/3301.36 c #Conflicts: 1922000 | #Constraints: 41146
3290.69/3301.36 c #Conflicts: 1923000 | #Constraints: 42158
3290.69/3301.36 c #Conflicts: 1924000 | #Constraints: 43173
3290.69/3301.36 c #Conflicts: 1925000 | #Constraints: 44182
3290.69/3301.36 c #Conflicts: 1926000 | #Constraints: 45186
3290.69/3301.36 c #Conflicts: 1927000 | #Constraints: 46190
3290.69/3301.36 c #Conflicts: 1928000 | #Constraints: 47195
3290.69/3301.36 c #Conflicts: 1929000 | #Constraints: 48201
3290.69/3301.36 c #Conflicts: 1930000 | #Constraints: 49207
3290.69/3301.36 c #Conflicts: 1931000 | #Constraints: 50211
3290.69/3301.36 c #Conflicts: 1932000 | #Constraints: 51216
3290.69/3301.36 c #Conflicts: 1933000 | #Constraints: 52221
3290.69/3301.36 c #Conflicts: 1934000 | #Constraints: 53227
3290.69/3301.36 c #Conflicts: 1935000 | #Constraints: 54231
3290.69/3301.36 c #Conflicts: 1936000 | #Constraints: 55235
3290.69/3301.36 c #Conflicts: 1937000 | #Constraints: 56245
3290.69/3301.36 c INPROCESSING
3290.69/3301.36 c GARBAGE COLLECT
3290.69/3301.36 c rational objective 5
3290.89/3301.52 c GLOBAL bounds - >= 5 @ 3272.39
3290.89/3301.52 c GLOBAL bounds - >= 5 @ 3272.39
3338.16/3348.93 c #Conflicts: 1938000 | #Constraints: 29374
3338.16/3348.93 c #Conflicts: 1939000 | #Constraints: 30381
3338.16/3348.93 c #Conflicts: 1940000 | #Constraints: 31388
3338.16/3348.93 c #Conflicts: 1941000 | #Constraints: 32397
3338.16/3348.93 c #Conflicts: 1942000 | #Constraints: 33400
3338.16/3348.93 c #Conflicts: 1943000 | #Constraints: 34407
3338.16/3348.93 c #Conflicts: 1944000 | #Constraints: 35422
3338.16/3348.93 c #Conflicts: 1945000 | #Constraints: 36449
3338.16/3348.93 c #Conflicts: 1946000 | #Constraints: 37457
3338.16/3348.93 c #Conflicts: 1947000 | #Constraints: 38479
3338.16/3348.93 c #Conflicts: 1948000 | #Constraints: 39487
3338.16/3348.93 c #Conflicts: 1949000 | #Constraints: 40493
3338.16/3348.93 c #Conflicts: 1950000 | #Constraints: 41502
3338.16/3348.93 c #Conflicts: 1951000 | #Constraints: 42515
3338.16/3348.93 c #Conflicts: 1952000 | #Constraints: 43528
3338.16/3348.93 c #Conflicts: 1953000 | #Constraints: 44533
3338.16/3348.93 c #Conflicts: 1954000 | #Constraints: 45537
3338.16/3348.93 c #Conflicts: 1955000 | #Constraints: 46542
3338.16/3348.93 c #Conflicts: 1956000 | #Constraints: 47545
3338.16/3348.93 c #Conflicts: 1957000 | #Constraints: 48552
3338.16/3348.93 c #Conflicts: 1958000 | #Constraints: 49557
3338.16/3348.93 c #Conflicts: 1959000 | #Constraints: 50559
3338.16/3348.93 c #Conflicts: 1960000 | #Constraints: 51561
3338.16/3348.93 c #Conflicts: 1961000 | #Constraints: 52565
3338.16/3348.93 c #Conflicts: 1962000 | #Constraints: 53573
3338.16/3348.93 c #Conflicts: 1963000 | #Constraints: 54581
3338.16/3348.93 c #Conflicts: 1964000 | #Constraints: 55586
3338.16/3348.93 c #Conflicts: 1965000 | #Constraints: 56591
3338.16/3348.93 c INPROCESSING
3338.16/3348.93 c GARBAGE COLLECT
3338.16/3348.93 c rational objective 5
3338.38/3349.14 c GLOBAL bounds - >= 5 @ 3319.64
3338.38/3349.14 c GLOBAL bounds - >= 5 @ 3319.64
3408.08/3419.06 c #Conflicts: 1966000 | #Constraints: 29561
3408.08/3419.06 c #Conflicts: 1967000 | #Constraints: 30564
3408.08/3419.06 c #Conflicts: 1968000 | #Constraints: 31569
3408.08/3419.06 c #Conflicts: 1969000 | #Constraints: 32575
3408.08/3419.06 c #Conflicts: 1970000 | #Constraints: 33577
3408.08/3419.06 c #Conflicts: 1971000 | #Constraints: 34586
3408.08/3419.06 c #Conflicts: 1972000 | #Constraints: 35589
3408.08/3419.06 c #Conflicts: 1973000 | #Constraints: 36589
3408.08/3419.06 c #Conflicts: 1974000 | #Constraints: 37593
3408.08/3419.06 c #Conflicts: 1975000 | #Constraints: 38598
3408.08/3419.06 c #Conflicts: 1976000 | #Constraints: 39600
3408.08/3419.06 c #Conflicts: 1977000 | #Constraints: 40608
3408.08/3419.06 c #Conflicts: 1978000 | #Constraints: 41611
3408.08/3419.06 c #Conflicts: 1979000 | #Constraints: 42617
3408.08/3419.06 c #Conflicts: 1980000 | #Constraints: 43622
3408.08/3419.06 c #Conflicts: 1981000 | #Constraints: 44629
3408.08/3419.06 c #Conflicts: 1982000 | #Constraints: 45634
3408.08/3419.06 c #Conflicts: 1983000 | #Constraints: 46636
3408.08/3419.06 c #Conflicts: 1984000 | #Constraints: 47642
3408.08/3419.06 c #Conflicts: 1985000 | #Constraints: 48647
3408.08/3419.07 c #Conflicts: 1986000 | #Constraints: 49650
3408.08/3419.07 c #Conflicts: 1987000 | #Constraints: 50658
3408.08/3419.07 c #Conflicts: 1988000 | #Constraints: 51667
3408.08/3419.07 c #Conflicts: 1989000 | #Constraints: 52672
3408.08/3419.07 c #Conflicts: 1990000 | #Constraints: 53675
3408.08/3419.07 c #Conflicts: 1991000 | #Constraints: 54680
3408.08/3419.07 c #Conflicts: 1992000 | #Constraints: 55685
3408.08/3419.07 c #Conflicts: 1993000 | #Constraints: 56687
3408.08/3419.07 c INPROCESSING
3408.08/3419.07 c GARBAGE COLLECT
3408.08/3419.07 c rational objective 5
3408.27/3419.26 c GLOBAL bounds - >= 5 @ 3389.31
3408.27/3419.26 c GLOBAL bounds - >= 5 @ 3389.31
3479.76/3490.98 c #Conflicts: 1994000 | #Constraints: 29491
3479.76/3490.98 c #Conflicts: 1995000 | #Constraints: 30498
3479.76/3490.98 c #Conflicts: 1996000 | #Constraints: 31505
3479.76/3490.98 c #Conflicts: 1997000 | #Constraints: 32512
3479.76/3490.98 c #Conflicts: 1998000 | #Constraints: 33517
3479.76/3490.98 c #Conflicts: 1999000 | #Constraints: 34526
3479.76/3490.98 c #Conflicts: 2000000 | #Constraints: 35529
3479.76/3490.98 c #Conflicts: 2001000 | #Constraints: 36536
3479.76/3490.98 c #Conflicts: 2002000 | #Constraints: 37541
3479.76/3490.98 c #Conflicts: 2003000 | #Constraints: 38547
3479.76/3490.98 c #Conflicts: 2004000 | #Constraints: 39551
3479.76/3490.98 c #Conflicts: 2005000 | #Constraints: 40563
3479.76/3490.98 c #Conflicts: 2006000 | #Constraints: 41563
3479.76/3490.98 c #Conflicts: 2007000 | #Constraints: 42567
3479.76/3490.98 c #Conflicts: 2008000 | #Constraints: 43576
3479.76/3490.98 c #Conflicts: 2009000 | #Constraints: 44582
3479.76/3490.98 c #Conflicts: 2010000 | #Constraints: 45590
3479.76/3490.98 c #Conflicts: 2011000 | #Constraints: 46598
3479.76/3490.98 c #Conflicts: 2012000 | #Constraints: 47606
3479.76/3490.98 c #Conflicts: 2013000 | #Constraints: 48613
3479.76/3490.98 c #Conflicts: 2014000 | #Constraints: 49615
3479.76/3490.98 c #Conflicts: 2015000 | #Constraints: 50621
3479.76/3490.98 c #Conflicts: 2016000 | #Constraints: 51624
3479.76/3490.98 c #Conflicts: 2017000 | #Constraints: 52626
3479.76/3490.98 c #Conflicts: 2018000 | #Constraints: 53627
3479.76/3490.98 c #Conflicts: 2019000 | #Constraints: 54631
3479.76/3490.98 c #Conflicts: 2020000 | #Constraints: 55635
3479.76/3490.98 c #Conflicts: 2021000 | #Constraints: 56639
3479.76/3490.98 c INPROCESSING
3479.76/3490.98 c GARBAGE COLLECT
3479.76/3490.98 c rational objective 5
3479.98/3491.13 c GLOBAL bounds - >= 5 @ 3460.7
3479.98/3491.13 c GLOBAL bounds - >= 5 @ 3460.7
3543.89/3555.20 c #Conflicts: 2022000 | #Constraints: 29264
3543.89/3555.20 c #Conflicts: 2023000 | #Constraints: 30270
3543.89/3555.20 c #Conflicts: 2024000 | #Constraints: 31281
3543.89/3555.20 c #Conflicts: 2025000 | #Constraints: 32284
3543.89/3555.20 c #Conflicts: 2026000 | #Constraints: 33295
3543.89/3555.20 c #Conflicts: 2027000 | #Constraints: 34301
3543.89/3555.20 c #Conflicts: 2028000 | #Constraints: 35307
3543.89/3555.20 c #Conflicts: 2029000 | #Constraints: 36314
3543.89/3555.20 c #Conflicts: 2030000 | #Constraints: 37320
3543.89/3555.20 c #Conflicts: 2031000 | #Constraints: 38330
3543.89/3555.20 c #Conflicts: 2032000 | #Constraints: 39338
3543.89/3555.20 c #Conflicts: 2033000 | #Constraints: 40341
3543.89/3555.20 c #Conflicts: 2034000 | #Constraints: 41346
3543.89/3555.20 c #Conflicts: 2035000 | #Constraints: 42359
3543.89/3555.20 c #Conflicts: 2036000 | #Constraints: 43369
3543.89/3555.20 c #Conflicts: 2037000 | #Constraints: 44377
3543.89/3555.20 c #Conflicts: 2038000 | #Constraints: 45381
3543.89/3555.20 c #Conflicts: 2039000 | #Constraints: 46388
3543.89/3555.20 c #Conflicts: 2040000 | #Constraints: 47395
3543.89/3555.20 c #Conflicts: 2041000 | #Constraints: 48401
3543.89/3555.20 c #Conflicts: 2042000 | #Constraints: 49406
3543.89/3555.20 c #Conflicts: 2043000 | #Constraints: 50415
3543.89/3555.20 c #Conflicts: 2044000 | #Constraints: 51423
3543.89/3555.20 c #Conflicts: 2045000 | #Constraints: 52430
3543.89/3555.20 c #Conflicts: 2046000 | #Constraints: 53437
3543.89/3555.20 c #Conflicts: 2047000 | #Constraints: 54445
3543.89/3555.20 c #Conflicts: 2048000 | #Constraints: 55455
3543.89/3555.20 c #Conflicts: 2049000 | #Constraints: 56460
3543.89/3555.20 c #Conflicts: 2050000 | #Constraints: 57464
3543.89/3555.20 c INPROCESSING
3543.89/3555.20 c GARBAGE COLLECT
3543.89/3555.20 c rational objective 5
3543.99/3555.36 c GLOBAL bounds - >= 5 @ 3524.49
3543.99/3555.36 c GLOBAL bounds - >= 5 @ 3524.49
3600.03/3611.50 c #Conflicts: 2051000 | #Constraints: 29880
3600.03/3611.50 c #Conflicts: 2052000 | #Constraints: 30886
3600.03/3611.50 c #Conflicts: 2053000 | #Constraints: 32083
3600.03/3611.50 c #Conflicts: 2054000 | #Constraints: 33592
3600.03/3611.50 c #Conflicts: 2055000 | #Constraints: 35089
3600.03/3611.50 c #Conflicts: 2056000 | #Constraints: 36585
3600.03/3611.50 c #Conflicts: 2057000 | #Constraints: 38071
3600.03/3611.50 c #Conflicts: 2058000 | #Constraints: 39588
3600.03/3611.50 c #Conflicts: 2059000 | #Constraints: 40683
3600.03/3611.50 c #Conflicts: 2060000 | #Constraints: 41683
3600.03/3611.50 c #Conflicts: 2061000 | #Constraints: 42850
3600.03/3611.50 c #Conflicts: 2062000 | #Constraints: 44329
3600.03/3611.50 c #Conflicts: 2063000 | #Constraints: 45862
3600.03/3611.50 c #Conflicts: 2064000 | #Constraints: 47412
3600.03/3611.50 c #Conflicts: 2065000 | #Constraints: 48639
3600.03/3611.50 c #Conflicts: 2066000 | #Constraints: 49767
3600.03/3611.50 c #Conflicts: 2067000 | #Constraints: 50929
3600.03/3611.50 c #Conflicts: 2068000 | #Constraints: 52044
3600.03/3611.50 c #Conflicts: 2069000 | #Constraints: 53122
3600.03/3611.50 c #Conflicts: 2070000 | #Constraints: 54386
3600.03/3611.50 c #Conflicts: 2071000 | #Constraints: 55425
3600.03/3611.50 c #Conflicts: 2072000 | #Constraints: 56597
3600.03/3611.50 c #Conflicts: 2073000 | #Constraints: 57689
3600.03/3611.50 c cpu time 3580.22 s
3600.03/3611.50 c deterministic time 352897560625 3.53e+11
3600.03/3611.50 c optimization time 55.7398 s
3600.03/3611.50 c total solve time 3524.44 s
3600.03/3611.50 c core-guided solve time 0 s
3600.03/3611.50 c propagation time 2442.7 s
3600.03/3611.50 c conflict analysis time 1029.96 s
3600.03/3611.50 c propagations 363164172
3600.03/3611.50 c resolve steps 17293605
3600.03/3611.50 c decisions 8196862
3600.03/3611.50 c conflicts 2073556
3600.03/3611.50 c restarts 4090
3600.03/3611.50 c inprocessing phases 134
3600.03/3611.50 c garbage collections 134 ,( 100.00 )
3600.03/3611.50 c input clauses 2174 ,( 85.46 )
3600.03/3611.50 c input cardinalities 50 ,( 1.97 )
3600.03/3611.50 c input general constraints 320 ,( 12.58 )
3600.03/3611.50 c input average constraint length 9.51
3600.03/3611.50 c input average constraint degree 71.11
3600.03/3611.50 c learned clauses 305384 ,( 14.51 )
3600.03/3611.50 c learned cardinalities 8042 ,( 0.38 )
3600.03/3611.50 c learned general constraints 1790982 ,( 85.11 )
3600.03/3611.50 c learned average constraint length 397.71
3600.03/3611.50 c learned average constraint degree 4126973033.00
3600.03/3611.50 c watched CF 32, 64, 128, Arb: 642109 , 0 , 0 , 0
3600.03/3611.50 c counting CF 32, 64, 128, Arb: 1149194 , 0 , 0 , 0
3600.03/3611.50 c watched constraints 642109 ,( 35.85 )
3600.03/3611.50 c counting constraints 1149193 ,( 64.15 )
3600.03/3611.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 49867563 , 21670536 , 5180448884 ,( 368531806 , 4811917078 )
3600.03/3611.50 c gcd simplifications 175420
3600.03/3611.50 c detected cardinalities 292
3600.03/3611.50 c weakened non-implied lits 266147407
3600.03/3611.50 c weakened non-implying lits 1481770
3600.03/3611.50 c original variables 2130
3600.03/3611.50 c clausal propagations 1794626
3600.03/3611.50 c cardinality propagations 35545548
3600.03/3611.50 c watched propagations 2632233
3600.03/3611.50 c counting propagations 312739876
3600.03/3611.50 c watch lookups 251160623134
3600.03/3611.50 c watch backjump lookups 0
3600.03/3611.50 c watch checks 27110887735
3600.03/3611.50 c propagation checks 70841743586
3600.03/3611.50 c constraint additions 3037433407
3600.03/3611.50 c trail pops 373421569
3600.03/3611.50 c formula constraints 2544
3600.03/3611.50 c learned constraints 2061515
3600.03/3611.50 c bound constraints 0
3600.03/3611.50 c core-guided constraints 0
3600.03/3611.50 c encountered formula constraints 11862743
3600.03/3611.50 c encountered learned constraints 5862998
3600.03/3611.50 c encountered bound constraints 0
3600.03/3611.50 c encountered core-guided constraints 0
3600.03/3611.50 c LP total time 175.918 s
3600.03/3611.50 c LP solve time 143.68 s
3600.03/3611.50 c LP constraints added 3561
3600.03/3611.50 c LP constraints removed 1006
3600.03/3611.50 c LP pivots internal 2073642
3600.03/3611.50 c LP pivots root 16517
3600.03/3611.50 c LP calls 42517
3600.03/3611.50 c LP optimalities 10247
3600.03/3611.50 c LP no pivot count 1725
3600.03/3611.50 c LP infeasibilities 32261
3600.03/3611.50 c LP valid Farkas constraints 30607
3600.03/3611.50 c LP learned Farkas constraints 12040
3600.03/3611.50 c LP basis resets 16
3600.03/3611.50 c LP cycling count 0
3600.03/3611.50 c LP singular count 8
3600.03/3611.50 c LP no primal count 0
3600.03/3611.50 c LP no farkas count 8
3600.03/3611.50 c LP other issue count 0
3600.03/3611.50 c LP Gomory cuts 246
3600.03/3611.50 c LP learned cuts 771
3600.03/3611.50 c LP deleted cuts 1006
3600.03/3611.50 c LP encountered Gomory constraints 11415
3600.03/3611.50 c LP encountered Farkas constraints 1400561
3600.03/3611.50 c LP encountered learned Farkas constraints 217404
3600.03/3611.50 c CG auxiliary variables introduced 1
3600.03/3611.50 c CG solutions found 0
3600.03/3611.50 c CG cores constructed 0
3600.03/3611.50 c CG core cardinality constraints returned 0
3600.03/3611.50 c CG unit cores 0
3600.03/3611.50 c CG single cores 0
3600.03/3611.50 c CG blocks removed during cardinality reduction 0
3600.03/3611.50 c CG first core best 0
3600.03/3611.50 c CG decision core best 0
3600.03/3611.50 c CG core reduction tie 0
3600.03/3611.50 c CG core degree average 0.00
3600.03/3611.50 c CG core slack average 0.00
3600.03/3611.50 c CG core upper bound improvements 0
3600.03/3611.50 c STR number of successful calls 0
3600.03/3611.50 c STR number of unsuccessful calls 0
3600.03/3611.50 c STR number of inconclusive calls 0
3600.03/3611.50 c STR number of successful attempts 0
3600.03/3611.50 c STR number of unsuccessful attempts 0
3600.03/3611.50 c STR number of inconclusive attempts 0
3600.03/3611.50 c STR average degree increase per successful call inf
3600.03/3611.50 c STR average degree increase per successful attempt inf
3600.03/3611.50 c STR total number of conflicts for successful attempts 0
3600.03/3611.50 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.50 c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.50 c STR average number of conflicts per successful attempt inf
3600.03/3611.50 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.50 c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.50 c AVG.sumWPerc 51.20
3600.03/3611.50 c bigint constraints 0
3600.03/3611.50 s UNKNOWN
3600.03/3611.50 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 (43272 MiB free)
memory of node 1: 64465 MiB (61886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499074-1751404441/watcher-4499074-1751404441 -o /tmp/evaluation-result-4499074-1751404441/solver-4499074-1751404441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56604 --watchdog 3760 run-opt.sh HOME/instance-4499074-1751404441.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=57828, runsolver pid=57825
[startup+0.100101 s]*
/proc/loadavg: 4.06 4.12 4.09 5/259 57830
/proc/meminfo: memFree=107676260/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=67620 memory=18744 CPUtime=0.08 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 2531 0 0 0 6 2 0 0 20 0 1 0 56123314 69242880 4686 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 16905 4686 2336 1147 0 4332 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 71812 KiB
Current children cumulated memory: 21816 KiB
[startup+0.213976 s]*
/proc/loadavg: 4.06 4.12 4.09 5/259 57830
/proc/meminfo: memFree=107674244/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=68320 memory=19768 CPUtime=0.19 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 2778 0 0 0 17 2 0 0 20 0 1 0 56123314 69959680 4942 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 17080 4942 2368 1147 0 4507 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72512 KiB
Current children cumulated memory: 22840 KiB
[startup+0.313703 s]*
/proc/loadavg: 4.06 4.12 4.09 5/259 57830
/proc/meminfo: memFree=107674244/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=69664 memory=21176 CPUtime=0.29 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 3107 0 0 0 27 2 0 0 20 0 1 0 56123314 71335936 5294 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 17416 5294 2368 1147 0 4843 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73856 KiB
Current children cumulated memory: 24248 KiB
[startup+0.700402 s]
/proc/loadavg: 4.06 4.12 4.09 5/259 57830
/proc/meminfo: memFree=107666116/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=71372 memory=22712 CPUtime=0.67 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 3482 0 0 0 63 4 0 0 20 0 1 0 56123314 73084928 5678 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 17843 5678 2400 1147 0 5270 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75564 KiB
Current children cumulated memory: 25784 KiB
[startup+1.50042 s]
/proc/loadavg: 4.06 4.12 4.09 5/259 57830
/proc/meminfo: memFree=107658052/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=75712 memory=29248 CPUtime=1.46 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 4588 0 0 0 140 6 0 0 20 0 1 0 56123314 77529088 7312 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 18928 7312 2400 1147 0 6355 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 79904 KiB
Current children cumulated memory: 32320 KiB
[startup+3.11343 s]
/proc/loadavg: 4.06 4.12 4.09 5/259 57830
/proc/meminfo: memFree=107636808/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=85736 memory=37312 CPUtime=3.07 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 6607 0 0 0 298 9 0 0 20 0 1 0 56123314 87793664 9328 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 21434 9328 2400 1147 0 8861 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 89928 KiB
Current children cumulated memory: 40384 KiB
[startup+6.30039 s]
/proc/loadavg: 4.05 4.12 4.09 5/259 57830
/proc/meminfo: memFree=107579160/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=102156 memory=53572 CPUtime=6.25 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 10154 0 0 0 611 14 0 0 20 0 1 0 56123314 104607744 13393 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 25539 13393 2400 1147 0 12966 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 106348 KiB
Current children cumulated memory: 56644 KiB
[startup+12.7004 s]
/proc/loadavg: 4.05 4.12 4.09 5/259 57830
/proc/meminfo: memFree=107332468/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=129324 memory=75152 CPUtime=12.64 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 15050 0 0 0 1239 25 0 0 20 0 1 0 56123314 132427776 18788 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 32331 18788 2400 1147 0 19758 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 133516 KiB
Current children cumulated memory: 78224 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 57830
/proc/meminfo: memFree=106789416/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=144384 memory=89104 CPUtime=25.4 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 18534 0 0 0 2497 43 0 0 20 0 1 0 56123314 147849216 22276 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 36096 22276 2400 1147 0 23523 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 148576 KiB
Current children cumulated memory: 92176 KiB
[startup+51.1135 s]
/proc/loadavg: 4.07 4.12 4.09 5/258 57877
/proc/meminfo: memFree=106978920/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=192320 memory=131008 CPUtime=50.94 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 26961 0 0 0 5021 73 0 0 20 0 1 0 56123314 196935680 32752 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 48080 32752 2400 1147 0 35507 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 196512 KiB
Current children cumulated memory: 134080 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 57882
/proc/meminfo: memFree=106603620/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=306840 memory=230664 CPUtime=101.96 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 47216 0 0 0 10079 117 0 0 20 0 1 0 56123314 314204160 57666 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 76710 57666 2496 1147 0 64137 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 311032 KiB
Current children cumulated memory: 233736 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 57884
/proc/meminfo: memFree=106527448/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=312696 memory=236296 CPUtime=161.77 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 48621 0 0 0 16004 173 0 0 20 0 1 0 56123314 320200704 59074 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 78174 59074 2496 1147 0 65601 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 316888 KiB
Current children cumulated memory: 239368 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 57886
/proc/meminfo: memFree=106327884/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=370524 memory=266412 CPUtime=221.58 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 55136 0 0 0 21942 216 0 0 20 0 1 0 56123314 379416576 66603 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 92631 66603 2496 1147 0 80058 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/57830/statm: 255532 193068 2528 1147 0 242959 0
Current children cumulated CPU time: 3092.3 s
Current children cumulated vsize: 1026320 KiB
Current children cumulated memory: 775344 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/257 58251
/proc/meminfo: memFree=120245424/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1052848 memory=795440 CPUtime=3152.11 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 169467 0 0 0 313421 1790 0 0 20 0 1 0 56123314 1078116352 198860 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 263212 198860 2528 1147 0 250639 0
Current children cumulated CPU time: 3152.11 s
Current children cumulated vsize: 1057040 KiB
Current children cumulated memory: 798512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/256 58253
/proc/meminfo: memFree=120162296/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1075376 memory=809136 CPUtime=3211.93 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 172920 0 0 0 319378 1815 0 0 20 0 1 0 56123314 1101185024 202284 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 268844 202284 2528 1147 0 256271 0
Current children cumulated CPU time: 3211.93 s
Current children cumulated vsize: 1079568 KiB
Current children cumulated memory: 812208 KiB
[startup+3282.3 s]
/proc/loadavg: 3.64 4.00 4.07 4/248 58285
/proc/meminfo: memFree=123322236/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1075376 memory=809392 CPUtime=3271.75 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 172934 0 0 0 325330 1845 0 0 20 0 1 0 56123314 1101185024 202348 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 268844 202348 2528 1147 0 256271 0
Current children cumulated CPU time: 3271.75 s
Current children cumulated vsize: 1079568 KiB
Current children cumulated memory: 812464 KiB
[startup+3342.3 s]
/proc/loadavg: 3.34 3.85 4.01 4/248 58287
/proc/meminfo: memFree=123332504/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1075920 memory=811696 CPUtime=3331.58 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 173085 0 0 0 331283 1875 0 0 20 0 1 0 56123314 1101742080 202924 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 268980 202924 2528 1147 0 256407 0
Current children cumulated CPU time: 3331.58 s
Current children cumulated vsize: 1080112 KiB
Current children cumulated memory: 814768 KiB
[startup+3402.3 s]
/proc/loadavg: 3.18 3.71 3.95 4/248 58290
/proc/meminfo: memFree=123335400/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1075920 memory=811952 CPUtime=3391.41 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 173115 0 0 0 337242 1899 0 0 20 0 1 0 56123314 1101742080 202988 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 268980 202988 2528 1147 0 256407 0
Current children cumulated CPU time: 3391.41 s
Current children cumulated vsize: 1080112 KiB
Current children cumulated memory: 815024 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.59 3.89 4/247 58292
/proc/meminfo: memFree=123301092/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1075920 memory=817584 CPUtime=3451.24 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 173156 0 0 0 343203 1921 0 0 20 0 1 0 56123314 1101742080 204396 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 268980 204396 2528 1147 0 256407 0
Current children cumulated CPU time: 3451.24 s
Current children cumulated vsize: 1080112 KiB
Current children cumulated memory: 820656 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.50 3.84 4/247 58299
/proc/meminfo: memFree=123285112/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1075920 memory=826928 CPUtime=3511.08 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 173183 0 0 0 349160 1948 0 0 20 0 1 0 56123314 1101742080 206732 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 268980 206732 2528 1147 0 256407 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 1080112 KiB
Current children cumulated memory: 830000 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.44 3.80 4/247 58301
/proc/meminfo: memFree=123132188/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1075920 memory=840368 CPUtime=3570.91 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 173197 0 0 0 355118 1973 0 0 20 0 1 0 56123314 1101742080 210092 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 268980 210092 2528 1147 0 256407 0
Current children cumulated CPU time: 3570.91 s
Current children cumulated vsize: 1080112 KiB
Current children cumulated memory: 843440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 3.15 3.41 3.78 4/247 58303
/proc/meminfo: memFree=123122332/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1075920 memory=851504 CPUtime=3600.03 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 173199 0 0 0 358022 1981 0 0 20 0 1 0 56123314 1101742080 212876 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 268980 212876 2528 1147 0 256407 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1080112 KiB
Current children cumulated memory: 854576 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.51 s]
# the end of solver process 57828 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001289 s, system=0.004153 s
Sleeping 2 seconds
[startup+3611.51 s]
# the end of solver process 57830 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.23 s, system=19.8358 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 3.15 3.41 3.78 4/247 58303
/proc/meminfo: memFree=123122332/131382116 swapFree=33010160/33010684
[pid=57828] ppid=57825 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/57828/stat : 57828 (run-opt.sh) S 57825 57828 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56123313 4292608 768 18446744073709551615 93940796301312 93940797195845 140722353756848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940797434896 93940797482640 93940800245760 140722353760621 140722353760744 140722353760744 140722353766346 0
/proc/57828/statm: 1048 768 704 219 0 110 0
[pid=57830] ppid=57828 vsize=1075920 memory=851504 CPUtime=3600.03 cores=4,6
/proc/57830/stat : 57830 (roundingsat) R 57828 57828 56593 0 -1 4194304 173199 0 0 0 358022 1981 0 0 20 0 1 0 56123314 1101742080 212876 18446744073709551615 4227072 8923433 140725829049504 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14815232 140725829052834 140725829052968 140725829052968 140725829058538 0
/proc/57830/statm: 268980 212876 2528 1147 0 256407 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1080112 KiB
Current children cumulated memory: 854576 KiB
Child status: 2
Real time (s): 3611.51
CPU time (s): 3600.06
CPU user time (s): 3580.23
CPU system time (s): 19.8358
CPU usage (%): 99.6829
Max. virtual memory (cumulated for all children) (KiB): 1080112
Max. memory (cumulated for all children) (KiB): 854576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.23
system time used= 19.8358
maximum resident set size= 851632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 233
involuntary context switches= 3673
# summary of solver processes directly reported to runsolver:
# pid: 57828,57830
# total CPU time (s): 3600.06
# total CPU user time (s): 3580.23
# total CPU system time (s): 19.8358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.835 second user time and 37.2981 second system time
The end
Begin job on nodeC004 at 2025-07-01 23:14:01
IDJOB=4499074
IDBENCH=148770
IDSOLVER=3350
FILE ID=nodeC004/4499074-1751404441
RUNJOBID= nodeC004-1751396781-56604
SLURM_JOB_ID= 9598272
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499074-1751404441/watcher-4499074-1751404441 -o /tmp/evaluation-result-4499074-1751404441/solver-4499074-1751404441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56604 --watchdog 3760 run-opt.sh HOME/instance-4499074-1751404441.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1844540299
nodeC004 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 : 3662.484
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.74
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 : 3691.285
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.74
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.649
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.74
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 : 3700.000
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.74
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 : 3700.000
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.74
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 : 3691.420
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.74
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.150
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.74
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 : 3700.000
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 107682228 kB
MemAvailable: 111474260 kB
Buffers: 2720 kB
Cached: 4542612 kB
SwapCached: 20 kB
Active: 18713936 kB
Inactive: 4216836 kB
Active(anon): 18397212 kB
Inactive(anon): 6188 kB
Active(file): 316724 kB
Inactive(file): 4210648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7604 kB
Writeback: 0 kB
AnonPages: 18387844 kB
Mapped: 116860 kB
Shmem: 17956 kB
KReclaimable: 208576 kB
Slab: 293972 kB
SReclaimable: 208576 kB
SUnreclaim: 85396 kB
KernelStack: 4160 kB
PageTables: 45240 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 23891836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149544 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1871872 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC004 at 2025-07-02 00:14:13