0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/5.44 c #variables 2130 #constraints 2544
0.00/5.44 c objective is ce32
0.00/5.44 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/5.44 c initial counting CF 32, 64, 128, Arb: 321 , 0 , 0 , 0
0.00/5.44 c GLOBAL bounds - >= 0 @ 0.013081
0.00/5.45 c GLOBAL bounds - >= 0 @ 0.014131
0.00/5.45 c GLOBAL bounds - >= 5 @ 0.014174
0.00/5.46 c rational objective 5
0.76/6.22 c #Conflicts: 1000 | #Constraints: 3577
0.76/6.22 c #Conflicts: 2000 | #Constraints: 4589
0.76/6.22 c INPROCESSING
0.76/6.22 c GARBAGE COLLECT
0.76/6.22 c rational objective 5
1.16/6.65 c GLOBAL bounds - >= 5 @ 1.17081
1.96/7.48 c #Conflicts: 3000 | #Constraints: 2458
1.96/7.48 c #Conflicts: 4000 | #Constraints: 3461
1.96/7.48 c INPROCESSING
1.96/7.48 c GARBAGE COLLECT
1.96/7.48 c rational objective 5
2.16/7.62 c GLOBAL bounds - >= 5 @ 2.11182
2.16/7.62 c GLOBAL bounds - >= 5 @ 2.11184
3.25/8.71 c #Conflicts: 5000 | #Constraints: 2860
3.25/8.71 c #Conflicts: 6000 | #Constraints: 3869
3.25/8.71 c INPROCESSING
3.25/8.71 c GARBAGE COLLECT
3.25/8.71 c rational objective 5
3.35/8.83 c GLOBAL bounds - >= 5 @ 3.29204
3.35/8.83 c GLOBAL bounds - >= 5 @ 3.29207
4.35/9.84 c #Conflicts: 7000 | #Constraints: 2871
4.35/9.84 c #Conflicts: 8000 | #Constraints: 3878
4.35/9.84 c #Conflicts: 9000 | #Constraints: 4882
4.35/9.84 c INPROCESSING
4.35/9.84 c GARBAGE COLLECT
4.35/9.84 c rational objective 5
4.75/10.25 c GLOBAL bounds - >= 5 @ 4.6865
4.75/10.25 c GLOBAL bounds - >= 5 @ 4.68652
6.15/11.63 c #Conflicts: 10000 | #Constraints: 3570
6.15/11.63 c #Conflicts: 11000 | #Constraints: 4576
6.15/11.63 c #Conflicts: 12000 | #Constraints: 5580
6.15/11.63 c INPROCESSING
6.15/11.63 c GARBAGE COLLECT
6.15/11.63 c rational objective 5
6.25/11.78 c GLOBAL bounds - >= 5 @ 6.17685
6.25/11.78 c GLOBAL bounds - >= 5 @ 6.17686
7.74/13.26 c #Conflicts: 13000 | #Constraints: 4017
7.74/13.26 c #Conflicts: 14000 | #Constraints: 5026
7.74/13.26 c #Conflicts: 15000 | #Constraints: 6028
7.74/13.26 c INPROCESSING
7.74/13.26 c GARBAGE COLLECT
7.74/13.26 c rational objective 5
8.04/13.59 c GLOBAL bounds - >= 5 @ 7.93979
8.04/13.59 c GLOBAL bounds - >= 5 @ 7.93981
10.04/15.54 c #Conflicts: 16000 | #Constraints: 4266
10.04/15.54 c #Conflicts: 17000 | #Constraints: 5268
10.04/15.54 c #Conflicts: 18000 | #Constraints: 6274
10.04/15.54 c INPROCESSING
10.04/15.54 c GARBAGE COLLECT
10.04/15.54 c rational objective 5
10.24/15.72 c GLOBAL bounds - >= 5 @ 10.029
10.24/15.72 c GLOBAL bounds - >= 5 @ 10.029
12.13/17.65 c #Conflicts: 19000 | #Constraints: 4285
12.13/17.65 c #Conflicts: 20000 | #Constraints: 5291
12.13/17.65 c #Conflicts: 21000 | #Constraints: 6300
12.13/17.65 c INPROCESSING
12.13/17.65 c GARBAGE COLLECT
12.13/17.65 c rational objective 5
12.33/17.86 c GLOBAL bounds - >= 5 @ 12.1267
12.33/17.86 c GLOBAL bounds - >= 5 @ 12.1267
14.53/20.06 c #Conflicts: 22000 | #Constraints: 4078
14.53/20.06 c #Conflicts: 23000 | #Constraints: 5087
14.53/20.06 c #Conflicts: 24000 | #Constraints: 6093
14.53/20.06 c #Conflicts: 25000 | #Constraints: 7097
14.53/20.06 c INPROCESSING
14.53/20.06 c GARBAGE COLLECT
14.53/20.06 c rational objective 5
14.72/20.24 c GLOBAL bounds - >= 5 @ 14.4487
14.72/20.24 c GLOBAL bounds - >= 5 @ 14.4488
17.02/22.50 c #Conflicts: 26000 | #Constraints: 4682
17.02/22.50 c #Conflicts: 27000 | #Constraints: 5691
17.02/22.50 c #Conflicts: 28000 | #Constraints: 6712
17.02/22.50 c #Conflicts: 29000 | #Constraints: 7953
17.02/22.50 c INPROCESSING
17.02/22.50 c GARBAGE COLLECT
17.02/22.50 c rational objective 5
17.22/22.71 c GLOBAL bounds - >= 5 @ 16.8582
17.22/22.71 c GLOBAL bounds - >= 5 @ 16.8582
19.81/25.33 c #Conflicts: 30000 | #Constraints: 5219
19.81/25.33 c #Conflicts: 31000 | #Constraints: 6229
19.81/25.33 c #Conflicts: 32000 | #Constraints: 7238
19.81/25.33 c #Conflicts: 33000 | #Constraints: 8245
19.81/25.33 c INPROCESSING
19.81/25.33 c GARBAGE COLLECT
19.81/25.33 c rational objective 5
19.91/25.47 c GLOBAL bounds - >= 5 @ 19.5656
19.91/25.47 c GLOBAL bounds - >= 5 @ 19.5656
22.11/27.60 c #Conflicts: 34000 | #Constraints: 5357
22.11/27.60 c #Conflicts: 35000 | #Constraints: 6358
22.11/27.60 c #Conflicts: 36000 | #Constraints: 7361
22.11/27.60 c #Conflicts: 37000 | #Constraints: 8369
22.11/27.60 c INPROCESSING
22.11/27.60 c GARBAGE COLLECT
22.11/27.60 c rational objective 5
22.30/27.82 c GLOBAL bounds - >= 5 @ 21.8499
22.30/27.82 c GLOBAL bounds - >= 5 @ 21.8499
24.99/30.56 c #Conflicts: 38000 | #Constraints: 5335
24.99/30.56 c #Conflicts: 39000 | #Constraints: 6337
24.99/30.56 c #Conflicts: 40000 | #Constraints: 7347
24.99/30.56 c #Conflicts: 41000 | #Constraints: 8355
24.99/30.56 c INPROCESSING
24.99/30.56 c GARBAGE COLLECT
24.99/30.56 c rational objective 5
25.19/30.76 c GLOBAL bounds - >= 5 @ 24.7298
25.19/30.76 c GLOBAL bounds - >= 5 @ 24.7298
27.99/33.50 c #Conflicts: 42000 | #Constraints: 5117
27.99/33.50 c #Conflicts: 43000 | #Constraints: 6125
27.99/33.50 c #Conflicts: 44000 | #Constraints: 7132
27.99/33.50 c #Conflicts: 45000 | #Constraints: 8137
27.99/33.50 c #Conflicts: 46000 | #Constraints: 9142
27.99/33.50 c INPROCESSING
27.99/33.50 c GARBAGE COLLECT
27.99/33.50 c rational objective 5
28.09/33.61 c GLOBAL bounds - >= 5 @ 27.5232
28.09/33.61 c GLOBAL bounds - >= 5 @ 27.5232
31.28/36.88 c #Conflicts: 47000 | #Constraints: 5717
31.28/36.88 c #Conflicts: 48000 | #Constraints: 6721
31.28/36.88 c #Conflicts: 49000 | #Constraints: 7728
31.28/36.88 c #Conflicts: 50000 | #Constraints: 8735
31.28/36.88 c #Conflicts: 51000 | #Constraints: 9741
31.28/36.88 c INPROCESSING
31.28/36.88 c GARBAGE COLLECT
31.28/36.88 c rational objective 5
31.38/36.99 c GLOBAL bounds - >= 5 @ 30.8336
31.38/36.99 c GLOBAL bounds - >= 5 @ 30.8336
34.57/40.14 c #Conflicts: 52000 | #Constraints: 6116
34.57/40.14 c #Conflicts: 53000 | #Constraints: 7124
34.57/40.14 c #Conflicts: 54000 | #Constraints: 8132
34.57/40.14 c #Conflicts: 55000 | #Constraints: 9138
34.57/40.14 c #Conflicts: 56000 | #Constraints: 10149
34.57/40.14 c INPROCESSING
34.57/40.14 c GARBAGE COLLECT
34.57/40.14 c rational objective 5
34.77/40.38 c GLOBAL bounds - >= 5 @ 34.1545
34.77/40.38 c GLOBAL bounds - >= 5 @ 34.1545
39.76/45.32 c #Conflicts: 57000 | #Constraints: 6315
39.76/45.32 c #Conflicts: 58000 | #Constraints: 7320
39.76/45.32 c #Conflicts: 59000 | #Constraints: 8326
39.76/45.32 c #Conflicts: 60000 | #Constraints: 9330
39.76/45.32 c #Conflicts: 61000 | #Constraints: 10338
39.76/45.32 c INPROCESSING
39.76/45.32 c GARBAGE COLLECT
39.76/45.32 c rational objective 5
39.86/45.44 c GLOBAL bounds - >= 5 @ 39.1185
39.86/45.44 c GLOBAL bounds - >= 5 @ 39.1185
44.65/50.28 c #Conflicts: 62000 | #Constraints: 6303
44.65/50.28 c #Conflicts: 63000 | #Constraints: 7312
44.65/50.28 c #Conflicts: 64000 | #Constraints: 8316
44.65/50.28 c #Conflicts: 65000 | #Constraints: 9324
44.65/50.28 c #Conflicts: 66000 | #Constraints: 10331
44.65/50.28 c INPROCESSING
44.65/50.28 c GARBAGE COLLECT
44.65/50.28 c rational objective 5
44.84/50.48 c GLOBAL bounds - >= 5 @ 44.0609
44.84/50.48 c GLOBAL bounds - >= 5 @ 44.0609
50.03/55.67 c #Conflicts: 67000 | #Constraints: 6102
50.03/55.67 c #Conflicts: 68000 | #Constraints: 7110
50.03/55.67 c #Conflicts: 69000 | #Constraints: 8117
50.03/55.67 c #Conflicts: 70000 | #Constraints: 9121
50.03/55.67 c #Conflicts: 71000 | #Constraints: 10123
50.03/55.67 c #Conflicts: 72000 | #Constraints: 11126
50.03/55.67 c INPROCESSING
50.03/55.67 c GARBAGE COLLECT
50.03/55.67 c rational objective 5
50.23/55.82 c GLOBAL bounds - >= 5 @ 49.3117
50.23/55.82 c GLOBAL bounds - >= 5 @ 49.3117
54.22/59.86 c #Conflicts: 73000 | #Constraints: 6693
54.22/59.86 c #Conflicts: 74000 | #Constraints: 7698
54.22/59.86 c #Conflicts: 75000 | #Constraints: 8703
54.22/59.86 c #Conflicts: 76000 | #Constraints: 9710
54.22/59.86 c #Conflicts: 77000 | #Constraints: 10716
54.22/59.86 c #Conflicts: 78000 | #Constraints: 11721
54.22/59.86 c INPROCESSING
54.22/59.86 c GARBAGE COLLECT
54.22/59.86 c rational objective 5
54.42/60.05 c GLOBAL bounds - >= 5 @ 53.4589
54.42/60.05 c GLOBAL bounds - >= 5 @ 53.4589
60.41/66.04 c #Conflicts: 79000 | #Constraints: 7282
60.41/66.04 c #Conflicts: 80000 | #Constraints: 8809
60.41/66.04 c #Conflicts: 81000 | #Constraints: 9881
60.41/66.04 c #Conflicts: 82000 | #Constraints: 10910
60.41/66.04 c #Conflicts: 83000 | #Constraints: 11939
60.41/66.04 c #Conflicts: 84000 | #Constraints: 13115
60.41/66.04 c INPROCESSING
60.41/66.04 c GARBAGE COLLECT
60.41/66.04 c rational objective 5
60.70/66.35 c GLOBAL bounds - >= 5 @ 59.6502
60.70/66.35 c GLOBAL bounds - >= 5 @ 59.6502
66.18/71.80 c #Conflicts: 85000 | #Constraints: 7922
66.18/71.80 c #Conflicts: 86000 | #Constraints: 9136
66.18/71.80 c #Conflicts: 87000 | #Constraints: 10663
66.18/71.80 c #Conflicts: 88000 | #Constraints: 12188
66.18/71.80 c #Conflicts: 89000 | #Constraints: 13733
66.18/71.80 c #Conflicts: 90000 | #Constraints: 15252
66.18/71.80 c INPROCESSING
66.18/71.80 c GARBAGE COLLECT
66.18/71.80 c rational objective 5
66.69/72.38 c GLOBAL bounds - >= 5 @ 65.5505
66.69/72.38 c GLOBAL bounds - >= 5 @ 65.5506
75.56/81.27 c #Conflicts: 91000 | #Constraints: 8813
75.56/81.27 c #Conflicts: 92000 | #Constraints: 9820
75.56/81.27 c #Conflicts: 93000 | #Constraints: 10926
75.56/81.27 c #Conflicts: 94000 | #Constraints: 12540
75.56/81.27 c #Conflicts: 95000 | #Constraints: 14123
75.56/81.27 c #Conflicts: 96000 | #Constraints: 15660
75.56/81.27 c INPROCESSING
75.56/81.27 c GARBAGE COLLECT
75.56/81.27 c rational objective 5
76.06/81.70 c GLOBAL bounds - >= 5 @ 74.7477
76.06/81.70 c GLOBAL bounds - >= 5 @ 74.7478
95.11/100.82 c #Conflicts: 97000 | #Constraints: 9130
95.11/100.82 c #Conflicts: 98000 | #Constraints: 10491
95.11/100.82 c #Conflicts: 99000 | #Constraints: 11499
95.11/100.82 c #Conflicts: 100000 | #Constraints: 12502
95.11/100.82 c #Conflicts: 101000 | #Constraints: 13503
95.11/100.82 c #Conflicts: 102000 | #Constraints: 14507
95.11/100.82 c #Conflicts: 103000 | #Constraints: 15510
95.11/100.82 c INPROCESSING
95.11/100.82 c GARBAGE COLLECT
95.11/100.82 c rational objective 5
95.71/101.47 c GLOBAL bounds - >= 5 @ 94.2904
95.71/101.47 c GLOBAL bounds - >= 5 @ 94.2904
102.88/108.61 c #Conflicts: 104000 | #Constraints: 8889
102.88/108.61 c #Conflicts: 105000 | #Constraints: 9896
102.88/108.61 c #Conflicts: 106000 | #Constraints: 10901
102.88/108.61 c #Conflicts: 107000 | #Constraints: 11907
102.88/108.61 c #Conflicts: 108000 | #Constraints: 12914
102.88/108.61 c #Conflicts: 109000 | #Constraints: 13921
102.88/108.61 c #Conflicts: 110000 | #Constraints: 14927
102.88/108.61 c INPROCESSING
102.88/108.61 c GARBAGE COLLECT
102.88/108.61 c rational objective 5
102.98/108.76 c GLOBAL bounds - >= 5 @ 101.455
102.98/108.76 c GLOBAL bounds - >= 5 @ 101.455
110.15/115.96 c #Conflicts: 111000 | #Constraints: 8708
110.15/115.96 c #Conflicts: 112000 | #Constraints: 9716
110.15/115.96 c #Conflicts: 113000 | #Constraints: 10723
110.15/115.96 c #Conflicts: 114000 | #Constraints: 11725
110.15/115.96 c #Conflicts: 115000 | #Constraints: 12734
110.15/115.96 c #Conflicts: 116000 | #Constraints: 13736
110.15/115.96 c #Conflicts: 117000 | #Constraints: 14738
110.15/115.96 c INPROCESSING
110.15/115.96 c GARBAGE COLLECT
110.15/115.96 c rational objective 5
110.36/116.16 c GLOBAL bounds - >= 5 @ 108.755
110.36/116.16 c GLOBAL bounds - >= 5 @ 108.755
118.63/124.47 c #Conflicts: 118000 | #Constraints: 8616
118.63/124.47 c #Conflicts: 119000 | #Constraints: 9622
118.63/124.47 c #Conflicts: 120000 | #Constraints: 10624
118.63/124.47 c #Conflicts: 121000 | #Constraints: 11630
118.63/124.47 c #Conflicts: 122000 | #Constraints: 12634
118.63/124.47 c #Conflicts: 123000 | #Constraints: 13643
118.63/124.47 c #Conflicts: 124000 | #Constraints: 14649
118.63/124.47 c INPROCESSING
118.63/124.47 c GARBAGE COLLECT
118.63/124.47 c rational objective 5
118.83/124.67 c GLOBAL bounds - >= 5 @ 117.145
118.83/124.67 c GLOBAL bounds - >= 5 @ 117.145
125.72/131.54 c #Conflicts: 125000 | #Constraints: 8469
125.72/131.54 c #Conflicts: 126000 | #Constraints: 9479
125.72/131.54 c #Conflicts: 127000 | #Constraints: 10484
125.72/131.54 c #Conflicts: 128000 | #Constraints: 11495
125.72/131.54 c #Conflicts: 129000 | #Constraints: 12502
125.72/131.54 c #Conflicts: 130000 | #Constraints: 13505
125.72/131.54 c #Conflicts: 131000 | #Constraints: 14508
125.72/131.54 c INPROCESSING
125.72/131.54 c GARBAGE COLLECT
125.72/131.54 c rational objective 5
126.01/131.88 c GLOBAL bounds - >= 5 @ 124.222
126.01/131.88 c GLOBAL bounds - >= 5 @ 124.222
132.80/138.62 c #Conflicts: 132000 | #Constraints: 8185
132.80/138.62 c #Conflicts: 133000 | #Constraints: 9192
132.80/138.62 c #Conflicts: 134000 | #Constraints: 10196
132.80/138.62 c #Conflicts: 135000 | #Constraints: 11205
132.80/138.62 c #Conflicts: 136000 | #Constraints: 12212
132.80/138.62 c #Conflicts: 137000 | #Constraints: 13221
132.80/138.62 c #Conflicts: 138000 | #Constraints: 14227
132.80/138.62 c #Conflicts: 139000 | #Constraints: 15234
132.80/138.62 c INPROCESSING
132.80/138.62 c GARBAGE COLLECT
132.80/138.62 c rational objective 5
133.09/138.97 c GLOBAL bounds - >= 5 @ 131.189
133.09/138.97 c GLOBAL bounds - >= 5 @ 131.189
146.16/152.06 c #Conflicts: 140000 | #Constraints: 8753
146.16/152.06 c #Conflicts: 141000 | #Constraints: 9757
146.16/152.06 c #Conflicts: 142000 | #Constraints: 10763
146.16/152.06 c #Conflicts: 143000 | #Constraints: 11770
146.16/152.06 c #Conflicts: 144000 | #Constraints: 12774
146.16/152.06 c #Conflicts: 145000 | #Constraints: 13776
146.16/152.06 c #Conflicts: 146000 | #Constraints: 14779
146.16/152.06 c #Conflicts: 147000 | #Constraints: 15781
146.16/152.06 c INPROCESSING
146.16/152.06 c GARBAGE COLLECT
146.16/152.06 c rational objective 5
146.66/152.58 c GLOBAL bounds - >= 5 @ 144.633
146.66/152.58 c GLOBAL bounds - >= 5 @ 144.633
154.15/160.04 c #Conflicts: 148000 | #Constraints: 9129
154.15/160.04 c #Conflicts: 149000 | #Constraints: 10137
154.15/160.04 c #Conflicts: 150000 | #Constraints: 11146
154.15/160.04 c #Conflicts: 151000 | #Constraints: 12151
154.15/160.04 c #Conflicts: 152000 | #Constraints: 13155
154.15/160.04 c #Conflicts: 153000 | #Constraints: 14160
154.15/160.04 c #Conflicts: 154000 | #Constraints: 15170
154.15/160.04 c #Conflicts: 155000 | #Constraints: 16179
154.15/160.04 c INPROCESSING
154.15/160.04 c GARBAGE COLLECT
154.15/160.04 c rational objective 5
154.44/160.30 c GLOBAL bounds - >= 5 @ 152.214
154.44/160.30 c GLOBAL bounds - >= 5 @ 152.214
161.42/167.34 c #Conflicts: 156000 | #Constraints: 9332
161.42/167.34 c #Conflicts: 157000 | #Constraints: 10339
161.42/167.34 c #Conflicts: 158000 | #Constraints: 11347
161.42/167.34 c #Conflicts: 159000 | #Constraints: 12352
161.42/167.34 c #Conflicts: 160000 | #Constraints: 13356
161.42/167.34 c #Conflicts: 161000 | #Constraints: 14364
161.42/167.34 c #Conflicts: 162000 | #Constraints: 15368
161.42/167.34 c #Conflicts: 163000 | #Constraints: 16380
161.42/167.34 c INPROCESSING
161.42/167.34 c GARBAGE COLLECT
161.42/167.34 c rational objective 5
161.52/167.40 c GLOBAL bounds - >= 5 @ 159.197
161.52/167.40 c GLOBAL bounds - >= 5 @ 159.197
168.90/174.84 c #Conflicts: 164000 | #Constraints: 9345
168.90/174.84 c #Conflicts: 165000 | #Constraints: 10349
168.90/174.84 c #Conflicts: 166000 | #Constraints: 11353
168.90/174.84 c #Conflicts: 167000 | #Constraints: 12355
168.90/174.84 c #Conflicts: 168000 | #Constraints: 13360
168.90/174.84 c #Conflicts: 169000 | #Constraints: 14366
168.90/174.84 c #Conflicts: 170000 | #Constraints: 15371
168.90/174.84 c #Conflicts: 171000 | #Constraints: 16378
168.90/174.84 c INPROCESSING
168.90/174.84 c GARBAGE COLLECT
168.90/174.84 c rational objective 5
169.10/175.05 c GLOBAL bounds - >= 5 @ 166.698
169.10/175.05 c GLOBAL bounds - >= 5 @ 166.698
178.27/184.21 c #Conflicts: 172000 | #Constraints: 9130
178.27/184.21 c #Conflicts: 173000 | #Constraints: 10140
178.27/184.21 c #Conflicts: 174000 | #Constraints: 11145
178.27/184.21 c #Conflicts: 175000 | #Constraints: 12157
178.27/184.21 c #Conflicts: 176000 | #Constraints: 13172
178.27/184.21 c #Conflicts: 177000 | #Constraints: 14177
178.27/184.21 c #Conflicts: 178000 | #Constraints: 15185
178.27/184.21 c #Conflicts: 179000 | #Constraints: 16190
178.27/184.21 c #Conflicts: 180000 | #Constraints: 17195
178.27/184.21 c INPROCESSING
178.27/184.21 c GARBAGE COLLECT
178.27/184.21 c rational objective 5
178.37/184.36 c GLOBAL bounds - >= 5 @ 175.884
178.37/184.36 c GLOBAL bounds - >= 5 @ 175.884
186.06/192.09 c #Conflicts: 181000 | #Constraints: 9733
186.06/192.09 c #Conflicts: 182000 | #Constraints: 10739
186.06/192.09 c #Conflicts: 183000 | #Constraints: 11742
186.06/192.09 c #Conflicts: 184000 | #Constraints: 12750
186.06/192.09 c #Conflicts: 185000 | #Constraints: 13757
186.06/192.09 c #Conflicts: 186000 | #Constraints: 14760
186.06/192.09 c #Conflicts: 187000 | #Constraints: 15763
186.06/192.09 c #Conflicts: 188000 | #Constraints: 16774
186.06/192.09 c #Conflicts: 189000 | #Constraints: 17779
186.06/192.09 c INPROCESSING
186.06/192.09 c GARBAGE COLLECT
186.06/192.09 c rational objective 5
186.25/192.21 c GLOBAL bounds - >= 5 @ 183.598
186.25/192.21 c GLOBAL bounds - >= 5 @ 183.598
195.04/201.09 c #Conflicts: 190000 | #Constraints: 10136
195.04/201.09 c #Conflicts: 191000 | #Constraints: 11145
195.04/201.09 c #Conflicts: 192000 | #Constraints: 12151
195.04/201.09 c #Conflicts: 193000 | #Constraints: 13158
195.04/201.09 c #Conflicts: 194000 | #Constraints: 14165
195.04/201.09 c #Conflicts: 195000 | #Constraints: 15169
195.04/201.09 c #Conflicts: 196000 | #Constraints: 16170
195.04/201.09 c #Conflicts: 197000 | #Constraints: 17173
195.04/201.09 c #Conflicts: 198000 | #Constraints: 18178
195.04/201.09 c INPROCESSING
195.04/201.09 c GARBAGE COLLECT
195.04/201.09 c rational objective 5
195.53/201.51 c GLOBAL bounds - >= 5 @ 192.742
195.53/201.51 c GLOBAL bounds - >= 5 @ 192.742
203.21/209.22 c #Conflicts: 199000 | #Constraints: 10340
203.21/209.22 c #Conflicts: 200000 | #Constraints: 11348
203.21/209.22 c #Conflicts: 201000 | #Constraints: 12351
203.21/209.22 c #Conflicts: 202000 | #Constraints: 13357
203.21/209.22 c #Conflicts: 203000 | #Constraints: 14360
203.21/209.22 c #Conflicts: 204000 | #Constraints: 15366
203.21/209.22 c #Conflicts: 205000 | #Constraints: 16372
203.21/209.22 c #Conflicts: 206000 | #Constraints: 17380
203.21/209.22 c #Conflicts: 207000 | #Constraints: 18381
203.21/209.22 c INPROCESSING
203.21/209.22 c GARBAGE COLLECT
203.21/209.22 c rational objective 5
203.31/209.34 c GLOBAL bounds - >= 5 @ 200.427
203.31/209.34 c GLOBAL bounds - >= 5 @ 200.427
222.16/228.28 c #Conflicts: 208000 | #Constraints: 10336
222.16/228.28 c #Conflicts: 209000 | #Constraints: 11342
222.16/228.28 c #Conflicts: 210000 | #Constraints: 12347
222.16/228.28 c #Conflicts: 211000 | #Constraints: 13350
222.16/228.28 c #Conflicts: 212000 | #Constraints: 14355
222.16/228.28 c #Conflicts: 213000 | #Constraints: 15360
222.16/228.28 c #Conflicts: 214000 | #Constraints: 16365
222.16/228.28 c #Conflicts: 215000 | #Constraints: 17368
222.16/228.28 c #Conflicts: 216000 | #Constraints: 18372
222.16/228.28 c INPROCESSING
222.16/228.28 c GARBAGE COLLECT
222.16/228.28 c rational objective 5
222.36/228.46 c GLOBAL bounds - >= 5 @ 219.354
222.36/228.46 c GLOBAL bounds - >= 5 @ 219.354
233.03/239.12 c #Conflicts: 217000 | #Constraints: 10136
233.03/239.12 c #Conflicts: 218000 | #Constraints: 11141
233.03/239.12 c #Conflicts: 219000 | #Constraints: 12145
233.03/239.12 c #Conflicts: 220000 | #Constraints: 13151
233.03/239.12 c #Conflicts: 221000 | #Constraints: 14156
233.03/239.12 c #Conflicts: 222000 | #Constraints: 15160
233.03/239.12 c #Conflicts: 223000 | #Constraints: 16168
233.03/239.12 c #Conflicts: 224000 | #Constraints: 17172
233.03/239.12 c #Conflicts: 225000 | #Constraints: 18174
233.03/239.12 c #Conflicts: 226000 | #Constraints: 19176
233.03/239.12 c INPROCESSING
233.03/239.12 c GARBAGE COLLECT
233.03/239.12 c rational objective 5
233.32/239.46 c GLOBAL bounds - >= 5 @ 230.215
233.32/239.46 c GLOBAL bounds - >= 5 @ 230.215
246.59/252.76 c #Conflicts: 227000 | #Constraints: 10713
246.59/252.76 c #Conflicts: 228000 | #Constraints: 11716
246.59/252.76 c #Conflicts: 229000 | #Constraints: 12727
246.59/252.76 c #Conflicts: 230000 | #Constraints: 13731
246.59/252.76 c #Conflicts: 231000 | #Constraints: 14737
246.59/252.76 c #Conflicts: 232000 | #Constraints: 15744
246.59/252.76 c #Conflicts: 233000 | #Constraints: 16748
246.59/252.76 c #Conflicts: 234000 | #Constraints: 17755
246.59/252.76 c #Conflicts: 235000 | #Constraints: 18761
246.59/252.76 c #Conflicts: 236000 | #Constraints: 19768
246.59/252.76 c INPROCESSING
246.59/252.76 c GARBAGE COLLECT
246.59/252.76 c rational objective 5
246.78/252.93 c GLOBAL bounds - >= 5 @ 243.506
246.78/252.93 c GLOBAL bounds - >= 5 @ 243.506
257.55/263.78 c #Conflicts: 237000 | #Constraints: 11129
257.55/263.78 c #Conflicts: 238000 | #Constraints: 12139
257.55/263.78 c #Conflicts: 239000 | #Constraints: 13144
257.55/263.78 c #Conflicts: 240000 | #Constraints: 14150
257.55/263.78 c #Conflicts: 241000 | #Constraints: 15160
257.55/263.78 c #Conflicts: 242000 | #Constraints: 16166
257.55/263.78 c #Conflicts: 243000 | #Constraints: 17172
257.55/263.78 c #Conflicts: 244000 | #Constraints: 18182
257.55/263.78 c #Conflicts: 245000 | #Constraints: 19186
257.55/263.78 c #Conflicts: 246000 | #Constraints: 20189
257.55/263.78 c INPROCESSING
257.55/263.78 c GARBAGE COLLECT
257.55/263.78 c rational objective 5
258.15/264.31 c GLOBAL bounds - >= 5 @ 254.725
258.15/264.31 c GLOBAL bounds - >= 5 @ 254.725
268.52/274.79 c #Conflicts: 247000 | #Constraints: 11349
268.52/274.79 c #Conflicts: 248000 | #Constraints: 12351
268.52/274.79 c #Conflicts: 249000 | #Constraints: 13355
268.52/274.79 c #Conflicts: 250000 | #Constraints: 14362
268.52/274.79 c #Conflicts: 251000 | #Constraints: 15368
268.52/274.79 c #Conflicts: 252000 | #Constraints: 16377
268.52/274.79 c #Conflicts: 253000 | #Constraints: 17382
268.52/274.79 c #Conflicts: 254000 | #Constraints: 18391
268.52/274.79 c #Conflicts: 255000 | #Constraints: 19399
268.52/274.79 c #Conflicts: 256000 | #Constraints: 20408
268.52/274.79 c INPROCESSING
268.52/274.79 c GARBAGE COLLECT
268.52/274.79 c rational objective 5
268.73/274.99 c GLOBAL bounds - >= 5 @ 265.251
268.73/274.99 c GLOBAL bounds - >= 5 @ 265.251
277.81/284.09 c #Conflicts: 257000 | #Constraints: 11340
277.81/284.09 c #Conflicts: 258000 | #Constraints: 12347
277.81/284.09 c #Conflicts: 259000 | #Constraints: 13353
277.81/284.09 c #Conflicts: 260000 | #Constraints: 14365
277.81/284.09 c #Conflicts: 261000 | #Constraints: 15369
277.81/284.09 c #Conflicts: 262000 | #Constraints: 16372
277.81/284.09 c #Conflicts: 263000 | #Constraints: 17379
277.81/284.09 c #Conflicts: 264000 | #Constraints: 18387
277.81/284.09 c #Conflicts: 265000 | #Constraints: 19393
277.81/284.09 c #Conflicts: 266000 | #Constraints: 20402
277.81/284.09 c INPROCESSING
277.81/284.09 c GARBAGE COLLECT
277.81/284.09 c rational objective 5
278.10/284.36 c GLOBAL bounds - >= 5 @ 274.463
278.10/284.36 c GLOBAL bounds - >= 5 @ 274.463
287.98/294.25 c #Conflicts: 267000 | #Constraints: 11142
287.98/294.25 c #Conflicts: 268000 | #Constraints: 12145
287.98/294.25 c #Conflicts: 269000 | #Constraints: 13150
287.98/294.25 c #Conflicts: 270000 | #Constraints: 14153
287.98/294.25 c #Conflicts: 271000 | #Constraints: 15157
287.98/294.25 c #Conflicts: 272000 | #Constraints: 16160
287.98/294.25 c #Conflicts: 273000 | #Constraints: 17161
287.98/294.25 c #Conflicts: 274000 | #Constraints: 18164
287.98/294.25 c #Conflicts: 275000 | #Constraints: 19165
287.98/294.25 c #Conflicts: 276000 | #Constraints: 20168
287.98/294.25 c #Conflicts: 277000 | #Constraints: 21171
287.98/294.25 c INPROCESSING
287.98/294.25 c GARBAGE COLLECT
287.98/294.25 c rational objective 5
288.18/294.45 c GLOBAL bounds - >= 5 @ 284.401
288.18/294.45 c GLOBAL bounds - >= 5 @ 284.401
302.34/308.64 c #Conflicts: 278000 | #Constraints: 11712
302.34/308.64 c #Conflicts: 279000 | #Constraints: 12716
302.34/308.64 c #Conflicts: 280000 | #Constraints: 13719
302.34/308.64 c #Conflicts: 281000 | #Constraints: 14722
302.34/308.64 c #Conflicts: 282000 | #Constraints: 15728
302.34/308.64 c #Conflicts: 283000 | #Constraints: 16734
302.34/308.64 c #Conflicts: 284000 | #Constraints: 17736
302.34/308.64 c #Conflicts: 285000 | #Constraints: 18742
302.34/308.64 c #Conflicts: 286000 | #Constraints: 19752
302.34/308.64 c #Conflicts: 287000 | #Constraints: 20758
302.34/308.64 c #Conflicts: 288000 | #Constraints: 21765
302.34/308.64 c INPROCESSING
302.34/308.64 c GARBAGE COLLECT
302.34/308.64 c rational objective 5
302.54/308.89 c GLOBAL bounds - >= 5 @ 298.633
302.54/308.89 c GLOBAL bounds - >= 5 @ 298.633
313.31/319.67 c #Conflicts: 289000 | #Constraints: 12126
313.31/319.67 c #Conflicts: 290000 | #Constraints: 13134
313.31/319.67 c #Conflicts: 291000 | #Constraints: 14139
313.31/319.67 c #Conflicts: 292000 | #Constraints: 15144
313.31/319.67 c #Conflicts: 293000 | #Constraints: 16152
313.31/319.67 c #Conflicts: 294000 | #Constraints: 17155
313.31/319.67 c #Conflicts: 295000 | #Constraints: 18159
313.31/319.67 c #Conflicts: 296000 | #Constraints: 19163
313.31/319.67 c #Conflicts: 297000 | #Constraints: 20169
313.31/319.67 c #Conflicts: 298000 | #Constraints: 21178
313.31/319.67 c #Conflicts: 299000 | #Constraints: 22186
313.31/319.67 c INPROCESSING
313.31/319.67 c GARBAGE COLLECT
313.31/319.67 c rational objective 5
313.60/319.95 c GLOBAL bounds - >= 5 @ 309.515
313.60/319.95 c GLOBAL bounds - >= 5 @ 309.515
326.07/332.47 c #Conflicts: 300000 | #Constraints: 12332
326.07/332.47 c #Conflicts: 301000 | #Constraints: 13338
326.07/332.47 c #Conflicts: 302000 | #Constraints: 14344
326.07/332.47 c #Conflicts: 303000 | #Constraints: 15350
326.07/332.47 c #Conflicts: 304000 | #Constraints: 16355
326.07/332.47 c #Conflicts: 305000 | #Constraints: 17361
326.07/332.47 c #Conflicts: 306000 | #Constraints: 18366
326.07/332.47 c #Conflicts: 307000 | #Constraints: 19372
326.07/332.47 c #Conflicts: 308000 | #Constraints: 20376
326.07/332.47 c #Conflicts: 309000 | #Constraints: 21381
326.07/332.47 c #Conflicts: 310000 | #Constraints: 22386
326.07/332.47 c INPROCESSING
326.07/332.47 c GARBAGE COLLECT
326.07/332.47 c rational objective 5
326.27/332.61 c GLOBAL bounds - >= 5 @ 321.978
326.27/332.61 c GLOBAL bounds - >= 5 @ 321.978
345.32/351.77 c #Conflicts: 311000 | #Constraints: 12336
345.32/351.77 c #Conflicts: 312000 | #Constraints: 13342
345.32/351.77 c #Conflicts: 313000 | #Constraints: 14351
345.32/351.77 c #Conflicts: 314000 | #Constraints: 15353
345.32/351.77 c #Conflicts: 315000 | #Constraints: 16361
345.32/351.77 c #Conflicts: 316000 | #Constraints: 17370
345.32/351.77 c #Conflicts: 317000 | #Constraints: 18385
345.32/351.77 c #Conflicts: 318000 | #Constraints: 19396
345.32/351.77 c #Conflicts: 319000 | #Constraints: 20402
345.32/351.77 c #Conflicts: 320000 | #Constraints: 21411
345.32/351.77 c #Conflicts: 321000 | #Constraints: 22420
345.32/351.77 c INPROCESSING
345.32/351.77 c GARBAGE COLLECT
345.32/351.77 c rational objective 5
345.52/351.96 c GLOBAL bounds - >= 5 @ 341.104
345.52/351.96 c GLOBAL bounds - >= 5 @ 341.104
360.38/366.80 c #Conflicts: 322000 | #Constraints: 12163
360.38/366.80 c #Conflicts: 323000 | #Constraints: 13174
360.38/366.80 c #Conflicts: 324000 | #Constraints: 14181
360.38/366.80 c #Conflicts: 325000 | #Constraints: 15191
360.38/366.80 c #Conflicts: 326000 | #Constraints: 16196
360.38/366.80 c #Conflicts: 327000 | #Constraints: 17204
360.38/366.80 c #Conflicts: 328000 | #Constraints: 18209
360.38/366.80 c #Conflicts: 329000 | #Constraints: 19213
360.38/366.80 c #Conflicts: 330000 | #Constraints: 20220
360.38/366.80 c #Conflicts: 331000 | #Constraints: 21231
360.38/366.80 c #Conflicts: 332000 | #Constraints: 22241
360.38/366.80 c #Conflicts: 333000 | #Constraints: 23247
360.38/366.80 c INPROCESSING
360.38/366.80 c GARBAGE COLLECT
360.38/366.80 c rational objective 5
360.77/367.22 c GLOBAL bounds - >= 5 @ 356.099
360.77/367.22 c GLOBAL bounds - >= 5 @ 356.099
375.64/382.14 c #Conflicts: 334000 | #Constraints: 12763
375.64/382.14 c #Conflicts: 335000 | #Constraints: 13770
375.64/382.14 c #Conflicts: 336000 | #Constraints: 14783
375.64/382.14 c #Conflicts: 337000 | #Constraints: 15786
375.64/382.14 c #Conflicts: 338000 | #Constraints: 16790
375.64/382.14 c #Conflicts: 339000 | #Constraints: 17799
375.64/382.14 c #Conflicts: 340000 | #Constraints: 18806
375.64/382.14 c #Conflicts: 341000 | #Constraints: 19812
375.64/382.14 c #Conflicts: 342000 | #Constraints: 20816
375.64/382.14 c #Conflicts: 343000 | #Constraints: 21819
375.64/382.14 c #Conflicts: 344000 | #Constraints: 22825
375.64/382.14 c #Conflicts: 345000 | #Constraints: 23829
375.64/382.14 c INPROCESSING
375.64/382.14 c GARBAGE COLLECT
375.64/382.14 c rational objective 5
375.83/382.38 c GLOBAL bounds - >= 5 @ 371.049
375.83/382.38 c GLOBAL bounds - >= 5 @ 371.049
391.10/397.66 c #Conflicts: 346000 | #Constraints: 13152
391.10/397.66 c #Conflicts: 347000 | #Constraints: 14163
391.10/397.66 c #Conflicts: 348000 | #Constraints: 15170
391.10/397.66 c #Conflicts: 349000 | #Constraints: 16177
391.10/397.66 c #Conflicts: 350000 | #Constraints: 17184
391.10/397.66 c #Conflicts: 351000 | #Constraints: 18187
391.10/397.66 c #Conflicts: 352000 | #Constraints: 19192
391.10/397.66 c #Conflicts: 353000 | #Constraints: 20197
391.10/397.66 c #Conflicts: 354000 | #Constraints: 21202
391.10/397.66 c #Conflicts: 355000 | #Constraints: 22203
391.10/397.66 c #Conflicts: 356000 | #Constraints: 23210
391.10/397.66 c #Conflicts: 357000 | #Constraints: 24219
391.10/397.66 c INPROCESSING
391.10/397.66 c GARBAGE COLLECT
391.10/397.66 c rational objective 5
391.40/397.90 c GLOBAL bounds - >= 5 @ 386.372
391.40/397.90 c GLOBAL bounds - >= 5 @ 386.372
407.56/414.14 c #Conflicts: 358000 | #Constraints: 13353
407.56/414.14 c #Conflicts: 359000 | #Constraints: 14359
407.56/414.14 c #Conflicts: 360000 | #Constraints: 15371
407.56/414.14 c #Conflicts: 361000 | #Constraints: 16379
407.56/414.14 c #Conflicts: 362000 | #Constraints: 17386
407.56/414.14 c #Conflicts: 363000 | #Constraints: 18388
407.56/414.14 c #Conflicts: 364000 | #Constraints: 19395
407.56/414.14 c #Conflicts: 365000 | #Constraints: 20401
407.56/414.14 c #Conflicts: 366000 | #Constraints: 21407
407.56/414.14 c #Conflicts: 367000 | #Constraints: 22415
407.56/414.14 c #Conflicts: 368000 | #Constraints: 23418
407.56/414.14 c #Conflicts: 369000 | #Constraints: 24421
407.56/414.14 c INPROCESSING
407.56/414.14 c GARBAGE COLLECT
407.56/414.14 c rational objective 5
407.84/414.42 c GLOBAL bounds - >= 5 @ 402.686
407.84/414.42 c GLOBAL bounds - >= 5 @ 402.686
419.52/426.13 c #Conflicts: 370000 | #Constraints: 13355
419.52/426.13 c #Conflicts: 371000 | #Constraints: 14361
419.52/426.13 c #Conflicts: 372000 | #Constraints: 15368
419.52/426.13 c #Conflicts: 373000 | #Constraints: 16375
419.52/426.13 c #Conflicts: 374000 | #Constraints: 17382
419.52/426.13 c #Conflicts: 375000 | #Constraints: 18387
419.52/426.13 c #Conflicts: 376000 | #Constraints: 19395
419.52/426.13 c #Conflicts: 377000 | #Constraints: 20399
419.52/426.13 c #Conflicts: 378000 | #Constraints: 21404
419.52/426.13 c #Conflicts: 379000 | #Constraints: 22409
419.52/426.13 c #Conflicts: 380000 | #Constraints: 23413
419.52/426.13 c #Conflicts: 381000 | #Constraints: 24417
419.52/426.13 c INPROCESSING
419.52/426.13 c GARBAGE COLLECT
419.52/426.13 c rational objective 5
419.91/426.52 c GLOBAL bounds - >= 5 @ 414.595
419.91/426.52 c GLOBAL bounds - >= 5 @ 414.595
432.18/438.83 c #Conflicts: 382000 | #Constraints: 13136
432.18/438.83 c #Conflicts: 383000 | #Constraints: 14144
432.18/438.83 c #Conflicts: 384000 | #Constraints: 15151
432.18/438.83 c #Conflicts: 385000 | #Constraints: 16157
432.18/438.83 c #Conflicts: 386000 | #Constraints: 17166
432.18/438.83 c #Conflicts: 387000 | #Constraints: 18171
432.18/438.83 c #Conflicts: 388000 | #Constraints: 19180
432.18/438.83 c #Conflicts: 389000 | #Constraints: 20186
432.18/438.83 c #Conflicts: 390000 | #Constraints: 21191
432.18/438.83 c #Conflicts: 391000 | #Constraints: 22195
432.18/438.83 c #Conflicts: 392000 | #Constraints: 23199
432.18/438.83 c #Conflicts: 393000 | #Constraints: 24204
432.18/438.83 c #Conflicts: 394000 | #Constraints: 25207
432.18/438.83 c INPROCESSING
432.18/438.83 c GARBAGE COLLECT
432.18/438.83 c rational objective 5
432.39/439.01 c GLOBAL bounds - >= 5 @ 426.874
432.39/439.01 c GLOBAL bounds - >= 5 @ 426.874
449.64/456.35 c #Conflicts: 395000 | #Constraints: 13742
449.64/456.35 c #Conflicts: 396000 | #Constraints: 14747
449.64/456.35 c #Conflicts: 397000 | #Constraints: 15752
449.64/456.35 c #Conflicts: 398000 | #Constraints: 16761
449.64/456.35 c #Conflicts: 399000 | #Constraints: 17770
449.64/456.35 c #Conflicts: 400000 | #Constraints: 18775
449.64/456.35 c #Conflicts: 401000 | #Constraints: 19777
449.64/456.35 c #Conflicts: 402000 | #Constraints: 20780
449.64/456.35 c #Conflicts: 403000 | #Constraints: 21786
449.64/456.35 c #Conflicts: 404000 | #Constraints: 22792
449.64/456.35 c #Conflicts: 405000 | #Constraints: 23794
449.64/456.35 c #Conflicts: 406000 | #Constraints: 24801
449.64/456.35 c #Conflicts: 407000 | #Constraints: 25810
449.64/456.35 c INPROCESSING
449.64/456.35 c GARBAGE COLLECT
449.64/456.35 c rational objective 5
449.84/456.55 c GLOBAL bounds - >= 5 @ 444.155
449.84/456.55 c GLOBAL bounds - >= 5 @ 444.155
466.30/473.02 c #Conflicts: 408000 | #Constraints: 14149
466.30/473.02 c #Conflicts: 409000 | #Constraints: 15158
466.30/473.02 c #Conflicts: 410000 | #Constraints: 16169
466.30/473.02 c #Conflicts: 411000 | #Constraints: 17177
466.30/473.02 c #Conflicts: 412000 | #Constraints: 18183
466.30/473.02 c #Conflicts: 413000 | #Constraints: 19200
466.30/473.02 c #Conflicts: 414000 | #Constraints: 20222
466.30/473.02 c #Conflicts: 415000 | #Constraints: 21246
466.30/473.02 c #Conflicts: 416000 | #Constraints: 22266
466.30/473.02 c #Conflicts: 417000 | #Constraints: 23277
466.30/473.02 c #Conflicts: 418000 | #Constraints: 24284
466.30/473.02 c #Conflicts: 419000 | #Constraints: 25289
466.30/473.02 c #Conflicts: 420000 | #Constraints: 26295
466.30/473.02 c INPROCESSING
466.30/473.02 c GARBAGE COLLECT
466.30/473.02 c rational objective 5
466.49/473.25 c GLOBAL bounds - >= 5 @ 460.618
466.49/473.25 c GLOBAL bounds - >= 5 @ 460.618
482.55/489.36 c #Conflicts: 421000 | #Constraints: 14394
482.55/489.36 c #Conflicts: 422000 | #Constraints: 15400
482.55/489.36 c #Conflicts: 423000 | #Constraints: 16403
482.55/489.36 c #Conflicts: 424000 | #Constraints: 17408
482.55/489.36 c #Conflicts: 425000 | #Constraints: 18413
482.55/489.36 c #Conflicts: 426000 | #Constraints: 19417
482.55/489.36 c #Conflicts: 427000 | #Constraints: 20424
482.55/489.36 c #Conflicts: 428000 | #Constraints: 21432
482.55/489.36 c #Conflicts: 429000 | #Constraints: 22441
482.55/489.36 c #Conflicts: 430000 | #Constraints: 23450
482.55/489.36 c #Conflicts: 431000 | #Constraints: 24457
482.55/489.36 c #Conflicts: 432000 | #Constraints: 25461
482.55/489.36 c #Conflicts: 433000 | #Constraints: 26465
482.55/489.36 c INPROCESSING
482.55/489.36 c GARBAGE COLLECT
482.55/489.36 c rational objective 5
482.74/489.58 c GLOBAL bounds - >= 5 @ 476.693
482.74/489.58 c GLOBAL bounds - >= 5 @ 476.693
500.50/507.36 c #Conflicts: 434000 | #Constraints: 14401
500.50/507.36 c #Conflicts: 435000 | #Constraints: 15409
500.50/507.36 c #Conflicts: 436000 | #Constraints: 16421
500.50/507.36 c #Conflicts: 437000 | #Constraints: 17424
500.50/507.36 c #Conflicts: 438000 | #Constraints: 18427
500.50/507.36 c #Conflicts: 439000 | #Constraints: 19434
500.50/507.36 c #Conflicts: 440000 | #Constraints: 20437
500.50/507.36 c #Conflicts: 441000 | #Constraints: 21440
500.50/507.36 c #Conflicts: 442000 | #Constraints: 22446
500.50/507.36 c #Conflicts: 443000 | #Constraints: 23456
500.50/507.36 c #Conflicts: 444000 | #Constraints: 24462
500.50/507.36 c #Conflicts: 445000 | #Constraints: 25468
500.50/507.36 c #Conflicts: 446000 | #Constraints: 26472
500.50/507.36 c INPROCESSING
500.50/507.36 c GARBAGE COLLECT
500.50/507.36 c rational objective 5
500.70/507.54 c GLOBAL bounds - >= 5 @ 494.412
500.70/507.54 c GLOBAL bounds - >= 5 @ 494.412
516.95/523.86 c #Conflicts: 447000 | #Constraints: 14178
516.95/523.86 c #Conflicts: 448000 | #Constraints: 15182
516.95/523.86 c #Conflicts: 449000 | #Constraints: 16190
516.95/523.86 c #Conflicts: 450000 | #Constraints: 17196
516.95/523.86 c #Conflicts: 451000 | #Constraints: 18201
516.95/523.86 c #Conflicts: 452000 | #Constraints: 19210
516.95/523.86 c #Conflicts: 453000 | #Constraints: 20217
516.95/523.86 c #Conflicts: 454000 | #Constraints: 21222
516.95/523.86 c #Conflicts: 455000 | #Constraints: 22225
516.95/523.86 c #Conflicts: 456000 | #Constraints: 23230
516.95/523.86 c #Conflicts: 457000 | #Constraints: 24234
516.95/523.86 c #Conflicts: 458000 | #Constraints: 25241
516.95/523.86 c #Conflicts: 459000 | #Constraints: 26245
516.95/523.86 c #Conflicts: 460000 | #Constraints: 27254
516.95/523.86 c INPROCESSING
516.95/523.86 c GARBAGE COLLECT
516.95/523.86 c rational objective 5
517.35/524.21 c GLOBAL bounds - >= 5 @ 510.828
517.35/524.21 c GLOBAL bounds - >= 5 @ 510.828
548.46/555.44 c #Conflicts: 461000 | #Constraints: 14768
548.46/555.44 c #Conflicts: 462000 | #Constraints: 15778
548.46/555.44 c #Conflicts: 463000 | #Constraints: 16781
548.46/555.44 c #Conflicts: 464000 | #Constraints: 17788
548.46/555.44 c #Conflicts: 465000 | #Constraints: 18791
548.46/555.44 c #Conflicts: 466000 | #Constraints: 19794
548.46/555.44 c #Conflicts: 467000 | #Constraints: 20800
548.46/555.44 c #Conflicts: 468000 | #Constraints: 21804
548.46/555.44 c #Conflicts: 469000 | #Constraints: 22806
548.46/555.44 c #Conflicts: 470000 | #Constraints: 23811
548.46/555.44 c #Conflicts: 471000 | #Constraints: 24816
548.46/555.44 c #Conflicts: 472000 | #Constraints: 25821
548.46/555.44 c #Conflicts: 473000 | #Constraints: 26823
548.46/555.44 c #Conflicts: 474000 | #Constraints: 27825
548.46/555.44 c INPROCESSING
548.46/555.44 c GARBAGE COLLECT
548.46/555.44 c rational objective 5
548.65/555.65 c GLOBAL bounds - >= 5 @ 541.908
548.65/555.65 c GLOBAL bounds - >= 5 @ 541.908
572.98/580.04 c #Conflicts: 475000 | #Constraints: 15185
572.98/580.04 c #Conflicts: 476000 | #Constraints: 16192
572.98/580.04 c #Conflicts: 477000 | #Constraints: 17196
572.98/580.04 c #Conflicts: 478000 | #Constraints: 18199
572.98/580.04 c #Conflicts: 479000 | #Constraints: 19204
572.98/580.04 c #Conflicts: 480000 | #Constraints: 20207
572.98/580.04 c #Conflicts: 481000 | #Constraints: 21210
572.98/580.04 c #Conflicts: 482000 | #Constraints: 22215
572.98/580.04 c #Conflicts: 483000 | #Constraints: 23225
572.98/580.04 c #Conflicts: 484000 | #Constraints: 24234
572.98/580.04 c #Conflicts: 485000 | #Constraints: 25239
572.98/580.04 c #Conflicts: 486000 | #Constraints: 26241
572.98/580.04 c #Conflicts: 487000 | #Constraints: 27244
572.98/580.04 c #Conflicts: 488000 | #Constraints: 28247
572.98/580.04 c INPROCESSING
572.98/580.04 c GARBAGE COLLECT
572.98/580.04 c rational objective 5
573.28/580.39 c GLOBAL bounds - >= 5 @ 566.358
573.28/580.39 c GLOBAL bounds - >= 5 @ 566.358
584.25/591.35 c #Conflicts: 489000 | #Constraints: 15372
584.25/591.35 c #Conflicts: 490000 | #Constraints: 16379
584.25/591.35 c #Conflicts: 491000 | #Constraints: 17395
584.25/591.35 c #Conflicts: 492000 | #Constraints: 18413
584.25/591.35 c #Conflicts: 493000 | #Constraints: 19430
584.25/591.35 c #Conflicts: 494000 | #Constraints: 20450
584.25/591.35 c #Conflicts: 495000 | #Constraints: 21460
584.25/591.35 c #Conflicts: 496000 | #Constraints: 22469
584.25/591.35 c #Conflicts: 497000 | #Constraints: 23475
584.25/591.35 c #Conflicts: 498000 | #Constraints: 24483
584.25/591.35 c #Conflicts: 499000 | #Constraints: 25485
584.25/591.35 c #Conflicts: 500000 | #Constraints: 26490
584.25/591.35 c #Conflicts: 501000 | #Constraints: 27497
584.25/591.35 c #Conflicts: 502000 | #Constraints: 28501
584.25/591.35 c INPROCESSING
584.25/591.35 c GARBAGE COLLECT
584.25/591.35 c rational objective 5
584.45/591.58 c GLOBAL bounds - >= 5 @ 577.312
584.45/591.58 c GLOBAL bounds - >= 5 @ 577.312
607.08/614.27 c #Conflicts: 503000 | #Constraints: 15416
607.08/614.27 c #Conflicts: 504000 | #Constraints: 16426
607.08/614.27 c #Conflicts: 505000 | #Constraints: 17431
607.08/614.27 c #Conflicts: 506000 | #Constraints: 18436
607.08/614.27 c #Conflicts: 507000 | #Constraints: 19439
607.08/614.27 c #Conflicts: 508000 | #Constraints: 20444
607.08/614.27 c #Conflicts: 509000 | #Constraints: 21448
607.08/614.27 c #Conflicts: 510000 | #Constraints: 22452
607.08/614.27 c #Conflicts: 511000 | #Constraints: 23458
607.08/614.27 c #Conflicts: 512000 | #Constraints: 24461
607.08/614.27 c #Conflicts: 513000 | #Constraints: 25467
607.08/614.27 c #Conflicts: 514000 | #Constraints: 26475
607.08/614.27 c #Conflicts: 515000 | #Constraints: 27483
607.08/614.27 c #Conflicts: 516000 | #Constraints: 28492
607.08/614.27 c INPROCESSING
607.08/614.27 c GARBAGE COLLECT
607.08/614.27 c rational objective 5
607.27/614.46 c GLOBAL bounds - >= 5 @ 599.92
607.27/614.46 c GLOBAL bounds - >= 5 @ 599.92
623.73/630.95 c #Conflicts: 517000 | #Constraints: 15189
623.73/630.95 c #Conflicts: 518000 | #Constraints: 16193
623.73/630.95 c #Conflicts: 519000 | #Constraints: 17200
623.73/630.95 c #Conflicts: 520000 | #Constraints: 18206
623.73/630.95 c #Conflicts: 521000 | #Constraints: 19211
623.73/630.95 c #Conflicts: 522000 | #Constraints: 20215
623.73/630.95 c #Conflicts: 523000 | #Constraints: 21221
623.73/630.95 c #Conflicts: 524000 | #Constraints: 22223
623.73/630.95 c #Conflicts: 525000 | #Constraints: 23228
623.73/630.95 c #Conflicts: 526000 | #Constraints: 24232
623.73/630.95 c #Conflicts: 527000 | #Constraints: 25237
623.73/630.95 c #Conflicts: 528000 | #Constraints: 26244
623.73/630.95 c #Conflicts: 529000 | #Constraints: 27249
623.73/630.95 c #Conflicts: 530000 | #Constraints: 28260
623.73/630.95 c #Conflicts: 531000 | #Constraints: 29274
623.73/630.95 c INPROCESSING
623.73/630.95 c GARBAGE COLLECT
623.73/630.95 c rational objective 5
624.02/631.29 c GLOBAL bounds - >= 5 @ 616.49
624.02/631.29 c GLOBAL bounds - >= 5 @ 616.49
640.88/648.12 c #Conflicts: 532000 | #Constraints: 15793
640.88/648.12 c #Conflicts: 533000 | #Constraints: 16798
640.88/648.12 c #Conflicts: 534000 | #Constraints: 17803
640.88/648.12 c #Conflicts: 535000 | #Constraints: 18812
640.88/648.12 c #Conflicts: 536000 | #Constraints: 19818
640.88/648.12 c #Conflicts: 537000 | #Constraints: 20824
640.88/648.12 c #Conflicts: 538000 | #Constraints: 21829
640.88/648.12 c #Conflicts: 539000 | #Constraints: 22843
640.88/648.12 c #Conflicts: 540000 | #Constraints: 23850
640.88/648.12 c #Conflicts: 541000 | #Constraints: 24853
640.88/648.12 c #Conflicts: 542000 | #Constraints: 25859
640.88/648.12 c #Conflicts: 543000 | #Constraints: 26866
640.88/648.12 c #Conflicts: 544000 | #Constraints: 27870
640.88/648.12 c #Conflicts: 545000 | #Constraints: 28878
640.88/648.12 c #Conflicts: 546000 | #Constraints: 29883
640.88/648.12 c INPROCESSING
640.88/648.12 c GARBAGE COLLECT
640.88/648.12 c rational objective 5
641.18/648.42 c GLOBAL bounds - >= 5 @ 633.361
641.18/648.42 c GLOBAL bounds - >= 5 @ 633.361
658.74/666.02 c #Conflicts: 547000 | #Constraints: 16183
658.74/666.02 c #Conflicts: 548000 | #Constraints: 17187
658.74/666.02 c #Conflicts: 549000 | #Constraints: 18194
658.74/666.02 c #Conflicts: 550000 | #Constraints: 19200
658.74/666.02 c #Conflicts: 551000 | #Constraints: 20205
658.74/666.02 c #Conflicts: 552000 | #Constraints: 21209
658.74/666.02 c #Conflicts: 553000 | #Constraints: 22216
658.74/666.02 c #Conflicts: 554000 | #Constraints: 23219
658.74/666.02 c #Conflicts: 555000 | #Constraints: 24222
658.74/666.02 c #Conflicts: 556000 | #Constraints: 25225
658.74/666.02 c #Conflicts: 557000 | #Constraints: 26230
658.74/666.02 c #Conflicts: 558000 | #Constraints: 27238
658.74/666.02 c #Conflicts: 559000 | #Constraints: 28250
658.74/666.02 c #Conflicts: 560000 | #Constraints: 29256
658.74/666.02 c #Conflicts: 561000 | #Constraints: 30265
658.74/666.02 c INPROCESSING
658.74/666.02 c GARBAGE COLLECT
658.74/666.02 c rational objective 5
658.93/666.29 c GLOBAL bounds - >= 5 @ 650.971
658.93/666.29 c GLOBAL bounds - >= 5 @ 650.971
681.06/688.49 c #Conflicts: 562000 | #Constraints: 16366
681.06/688.49 c #Conflicts: 563000 | #Constraints: 17373
681.06/688.49 c #Conflicts: 564000 | #Constraints: 18380
681.06/688.49 c #Conflicts: 565000 | #Constraints: 19385
681.06/688.49 c #Conflicts: 566000 | #Constraints: 20394
681.06/688.49 c #Conflicts: 567000 | #Constraints: 21397
681.06/688.49 c #Conflicts: 568000 | #Constraints: 22408
681.06/688.49 c #Conflicts: 569000 | #Constraints: 23415
681.06/688.49 c #Conflicts: 570000 | #Constraints: 24421
681.06/688.49 c #Conflicts: 571000 | #Constraints: 25425
681.06/688.49 c #Conflicts: 572000 | #Constraints: 26431
681.06/688.49 c #Conflicts: 573000 | #Constraints: 27436
681.06/688.49 c #Conflicts: 574000 | #Constraints: 28444
681.06/688.49 c #Conflicts: 575000 | #Constraints: 29452
681.06/688.49 c #Conflicts: 576000 | #Constraints: 30459
681.06/688.49 c INPROCESSING
681.06/688.49 c GARBAGE COLLECT
681.06/688.49 c rational objective 5
681.36/688.74 c GLOBAL bounds - >= 5 @ 673.137
681.36/688.74 c GLOBAL bounds - >= 5 @ 673.137
703.20/710.69 c #Conflicts: 577000 | #Constraints: 16383
703.20/710.69 c #Conflicts: 578000 | #Constraints: 17387
703.20/710.69 c #Conflicts: 579000 | #Constraints: 18393
703.20/710.69 c #Conflicts: 580000 | #Constraints: 19403
703.20/710.69 c #Conflicts: 581000 | #Constraints: 20409
703.20/710.69 c #Conflicts: 582000 | #Constraints: 21417
703.20/710.69 c #Conflicts: 583000 | #Constraints: 22424
703.20/710.69 c #Conflicts: 584000 | #Constraints: 23433
703.20/710.69 c #Conflicts: 585000 | #Constraints: 24444
703.20/710.69 c #Conflicts: 586000 | #Constraints: 25448
703.20/710.69 c #Conflicts: 587000 | #Constraints: 26454
703.20/710.69 c #Conflicts: 588000 | #Constraints: 27463
703.20/710.69 c #Conflicts: 589000 | #Constraints: 28469
703.20/710.69 c #Conflicts: 590000 | #Constraints: 29474
703.20/710.69 c #Conflicts: 591000 | #Constraints: 30477
703.20/710.69 c INPROCESSING
703.20/710.69 c GARBAGE COLLECT
703.20/710.69 c rational objective 5
703.40/710.83 c GLOBAL bounds - >= 5 @ 694.954
703.40/710.83 c GLOBAL bounds - >= 5 @ 694.954
724.55/732.02 c #Conflicts: 592000 | #Constraints: 16172
724.55/732.02 c #Conflicts: 593000 | #Constraints: 17179
724.55/732.02 c #Conflicts: 594000 | #Constraints: 18188
724.55/732.02 c #Conflicts: 595000 | #Constraints: 19192
724.55/732.02 c #Conflicts: 596000 | #Constraints: 20206
724.55/732.02 c #Conflicts: 597000 | #Constraints: 21212
724.55/732.02 c #Conflicts: 598000 | #Constraints: 22219
724.55/732.02 c #Conflicts: 599000 | #Constraints: 23222
724.55/732.02 c #Conflicts: 600000 | #Constraints: 24224
724.55/732.02 c #Conflicts: 601000 | #Constraints: 25226
724.55/732.02 c #Conflicts: 602000 | #Constraints: 26233
724.55/732.02 c #Conflicts: 603000 | #Constraints: 27238
724.55/732.02 c #Conflicts: 604000 | #Constraints: 28246
724.55/732.02 c #Conflicts: 605000 | #Constraints: 29250
724.55/732.02 c #Conflicts: 606000 | #Constraints: 30255
724.55/732.02 c #Conflicts: 607000 | #Constraints: 31262
724.55/732.02 c INPROCESSING
724.55/732.02 c GARBAGE COLLECT
724.55/732.02 c rational objective 5
725.04/732.51 c GLOBAL bounds - >= 5 @ 716.381
725.04/732.51 c GLOBAL bounds - >= 5 @ 716.381
762.04/769.61 c #Conflicts: 608000 | #Constraints: 16771
762.04/769.61 c #Conflicts: 609000 | #Constraints: 17776
762.04/769.61 c #Conflicts: 610000 | #Constraints: 18784
762.04/769.61 c #Conflicts: 611000 | #Constraints: 19787
762.04/769.61 c #Conflicts: 612000 | #Constraints: 20796
762.04/769.61 c #Conflicts: 613000 | #Constraints: 21806
762.04/769.61 c #Conflicts: 614000 | #Constraints: 22815
762.04/769.61 c #Conflicts: 615000 | #Constraints: 23821
762.04/769.61 c #Conflicts: 616000 | #Constraints: 24825
762.04/769.61 c #Conflicts: 617000 | #Constraints: 25830
762.04/769.61 c #Conflicts: 618000 | #Constraints: 26842
762.04/769.61 c #Conflicts: 619000 | #Constraints: 27852
762.04/769.61 c #Conflicts: 620000 | #Constraints: 28862
762.04/769.61 c #Conflicts: 621000 | #Constraints: 29869
762.04/769.61 c #Conflicts: 622000 | #Constraints: 30874
762.04/769.61 c #Conflicts: 623000 | #Constraints: 31877
762.04/769.61 c INPROCESSING
762.04/769.61 c GARBAGE COLLECT
762.04/769.61 c rational objective 5
762.54/770.15 c GLOBAL bounds - >= 5 @ 753.65
762.54/770.15 c GLOBAL bounds - >= 5 @ 753.65
785.47/793.11 c #Conflicts: 624000 | #Constraints: 17188
785.47/793.11 c #Conflicts: 625000 | #Constraints: 18198
785.47/793.11 c #Conflicts: 626000 | #Constraints: 19206
785.47/793.11 c #Conflicts: 627000 | #Constraints: 20211
785.47/793.11 c #Conflicts: 628000 | #Constraints: 21215
785.47/793.11 c #Conflicts: 629000 | #Constraints: 22223
785.47/793.11 c #Conflicts: 630000 | #Constraints: 23230
785.47/793.11 c #Conflicts: 631000 | #Constraints: 24242
785.47/793.11 c #Conflicts: 632000 | #Constraints: 25252
785.47/793.11 c #Conflicts: 633000 | #Constraints: 26257
785.47/793.11 c #Conflicts: 634000 | #Constraints: 27262
785.47/793.11 c #Conflicts: 635000 | #Constraints: 28267
785.47/793.11 c #Conflicts: 636000 | #Constraints: 29272
785.47/793.11 c #Conflicts: 637000 | #Constraints: 30278
785.47/793.11 c #Conflicts: 638000 | #Constraints: 31290
785.47/793.11 c #Conflicts: 639000 | #Constraints: 32294
785.47/793.11 c INPROCESSING
785.47/793.11 c GARBAGE COLLECT
785.47/793.11 c rational objective 5
785.57/793.29 c GLOBAL bounds - >= 5 @ 776.489
785.57/793.29 c GLOBAL bounds - >= 5 @ 776.489
803.71/811.49 c #Conflicts: 640000 | #Constraints: 17380
803.71/811.49 c #Conflicts: 641000 | #Constraints: 18384
803.71/811.49 c #Conflicts: 642000 | #Constraints: 19396
803.71/811.49 c #Conflicts: 643000 | #Constraints: 20410
803.71/811.49 c #Conflicts: 644000 | #Constraints: 21414
803.71/811.49 c #Conflicts: 645000 | #Constraints: 22416
803.71/811.49 c #Conflicts: 646000 | #Constraints: 23425
803.71/811.49 c #Conflicts: 647000 | #Constraints: 24428
803.71/811.49 c #Conflicts: 648000 | #Constraints: 25429
803.71/811.49 c #Conflicts: 649000 | #Constraints: 26431
803.71/811.49 c #Conflicts: 650000 | #Constraints: 27453
803.71/811.49 c #Conflicts: 651000 | #Constraints: 28465
803.71/811.49 c #Conflicts: 652000 | #Constraints: 29479
803.71/811.49 c #Conflicts: 653000 | #Constraints: 30484
803.71/811.49 c #Conflicts: 654000 | #Constraints: 31498
803.71/811.49 c #Conflicts: 655000 | #Constraints: 32508
803.71/811.49 c INPROCESSING
803.71/811.49 c GARBAGE COLLECT
803.71/811.49 c rational objective 5
803.91/811.67 c GLOBAL bounds - >= 5 @ 794.568
803.91/811.67 c GLOBAL bounds - >= 5 @ 794.568
822.87/830.66 c #Conflicts: 656000 | #Constraints: 17412
822.87/830.66 c #Conflicts: 657000 | #Constraints: 18419
822.87/830.66 c #Conflicts: 658000 | #Constraints: 19430
822.87/830.66 c #Conflicts: 659000 | #Constraints: 20437
822.87/830.66 c #Conflicts: 660000 | #Constraints: 21448
822.87/830.66 c #Conflicts: 661000 | #Constraints: 22462
822.87/830.66 c #Conflicts: 662000 | #Constraints: 23466
822.87/830.66 c #Conflicts: 663000 | #Constraints: 24474
822.87/830.66 c #Conflicts: 664000 | #Constraints: 25483
822.87/830.66 c #Conflicts: 665000 | #Constraints: 26487
822.87/830.66 c #Conflicts: 666000 | #Constraints: 27497
822.87/830.66 c #Conflicts: 667000 | #Constraints: 28506
822.87/830.66 c #Conflicts: 668000 | #Constraints: 29509
822.87/830.66 c #Conflicts: 669000 | #Constraints: 30512
822.87/830.66 c #Conflicts: 670000 | #Constraints: 31517
822.87/830.66 c #Conflicts: 671000 | #Constraints: 32528
822.87/830.66 c INPROCESSING
822.87/830.66 c GARBAGE COLLECT
822.87/830.66 c rational objective 5
823.07/830.85 c GLOBAL bounds - >= 5 @ 813.481
823.07/830.85 c GLOBAL bounds - >= 5 @ 813.481
844.31/852.19 c #Conflicts: 672000 | #Constraints: 17205
844.31/852.19 c #Conflicts: 673000 | #Constraints: 18208
844.31/852.19 c #Conflicts: 674000 | #Constraints: 19217
844.31/852.19 c #Conflicts: 675000 | #Constraints: 20224
844.31/852.19 c #Conflicts: 676000 | #Constraints: 21229
844.31/852.19 c #Conflicts: 677000 | #Constraints: 22236
844.31/852.19 c #Conflicts: 678000 | #Constraints: 23242
844.31/852.19 c #Conflicts: 679000 | #Constraints: 24253
844.31/852.19 c #Conflicts: 680000 | #Constraints: 25262
844.31/852.19 c #Conflicts: 681000 | #Constraints: 26268
844.31/852.19 c #Conflicts: 682000 | #Constraints: 27273
844.31/852.19 c #Conflicts: 683000 | #Constraints: 28280
844.31/852.19 c #Conflicts: 684000 | #Constraints: 29283
844.31/852.19 c #Conflicts: 685000 | #Constraints: 30290
844.31/852.19 c #Conflicts: 686000 | #Constraints: 31298
844.31/852.19 c #Conflicts: 687000 | #Constraints: 32308
844.31/852.19 c #Conflicts: 688000 | #Constraints: 33315
844.31/852.19 c INPROCESSING
844.31/852.19 c GARBAGE COLLECT
844.31/852.19 c rational objective 5
844.60/852.49 c GLOBAL bounds - >= 5 @ 834.825
844.60/852.49 c GLOBAL bounds - >= 5 @ 834.825
872.43/880.32 c #Conflicts: 689000 | #Constraints: 17799
872.43/880.32 c #Conflicts: 690000 | #Constraints: 18806
872.43/880.32 c #Conflicts: 691000 | #Constraints: 19809
872.43/880.32 c #Conflicts: 692000 | #Constraints: 20819
872.43/880.32 c #Conflicts: 693000 | #Constraints: 21828
872.43/880.32 c #Conflicts: 694000 | #Constraints: 22832
872.43/880.32 c #Conflicts: 695000 | #Constraints: 23837
872.43/880.32 c #Conflicts: 696000 | #Constraints: 24840
872.43/880.32 c #Conflicts: 697000 | #Constraints: 25844
872.43/880.32 c #Conflicts: 698000 | #Constraints: 26852
872.43/880.32 c #Conflicts: 699000 | #Constraints: 27855
872.43/880.32 c #Conflicts: 700000 | #Constraints: 28858
872.43/880.32 c #Conflicts: 701000 | #Constraints: 29865
872.43/880.32 c #Conflicts: 702000 | #Constraints: 30870
872.43/880.32 c #Conflicts: 703000 | #Constraints: 31879
872.43/880.32 c #Conflicts: 704000 | #Constraints: 32885
872.43/880.32 c #Conflicts: 705000 | #Constraints: 33889
872.43/880.32 c INPROCESSING
872.43/880.32 c GARBAGE COLLECT
872.43/880.32 c rational objective 5
872.64/880.57 c GLOBAL bounds - >= 5 @ 862.583
872.64/880.57 c GLOBAL bounds - >= 5 @ 862.583
911.54/919.50 c #Conflicts: 706000 | #Constraints: 18189
911.54/919.50 c #Conflicts: 707000 | #Constraints: 19198
911.54/919.50 c #Conflicts: 708000 | #Constraints: 20203
911.54/919.50 c #Conflicts: 709000 | #Constraints: 21208
911.54/919.50 c #Conflicts: 710000 | #Constraints: 22221
911.54/919.50 c #Conflicts: 711000 | #Constraints: 23227
911.54/919.50 c #Conflicts: 712000 | #Constraints: 24237
911.54/919.50 c #Conflicts: 713000 | #Constraints: 25246
911.54/919.50 c #Conflicts: 714000 | #Constraints: 26253
911.54/919.50 c #Conflicts: 715000 | #Constraints: 27257
911.54/919.50 c #Conflicts: 716000 | #Constraints: 28264
911.54/919.50 c #Conflicts: 717000 | #Constraints: 29268
911.54/919.50 c #Conflicts: 718000 | #Constraints: 30275
911.54/919.50 c #Conflicts: 719000 | #Constraints: 31278
911.54/919.50 c #Conflicts: 720000 | #Constraints: 32283
911.54/919.50 c #Conflicts: 721000 | #Constraints: 33289
911.54/919.50 c #Conflicts: 722000 | #Constraints: 34296
911.54/919.50 c INPROCESSING
911.54/919.50 c GARBAGE COLLECT
911.54/919.50 c rational objective 5
911.74/919.75 c GLOBAL bounds - >= 5 @ 901.425
911.74/919.75 c GLOBAL bounds - >= 5 @ 901.425
973.36/981.56 c #Conflicts: 723000 | #Constraints: 18390
973.36/981.56 c #Conflicts: 724000 | #Constraints: 19393
973.36/981.56 c #Conflicts: 725000 | #Constraints: 20399
973.36/981.56 c #Conflicts: 726000 | #Constraints: 21403
973.36/981.56 c #Conflicts: 727000 | #Constraints: 22405
973.36/981.56 c #Conflicts: 728000 | #Constraints: 23410
973.36/981.56 c #Conflicts: 729000 | #Constraints: 24414
973.36/981.56 c #Conflicts: 730000 | #Constraints: 25418
973.36/981.56 c #Conflicts: 731000 | #Constraints: 26420
973.36/981.56 c #Conflicts: 732000 | #Constraints: 27422
973.36/981.56 c #Conflicts: 733000 | #Constraints: 28424
973.36/981.56 c #Conflicts: 734000 | #Constraints: 29427
973.36/981.56 c #Conflicts: 735000 | #Constraints: 30430
973.36/981.56 c #Conflicts: 736000 | #Constraints: 31437
973.36/981.56 c #Conflicts: 737000 | #Constraints: 32439
973.36/981.56 c #Conflicts: 738000 | #Constraints: 33443
973.36/981.56 c #Conflicts: 739000 | #Constraints: 34447
973.36/981.56 c INPROCESSING
973.36/981.56 c GARBAGE COLLECT
973.36/981.56 c rational objective 5
973.56/981.78 c GLOBAL bounds - >= 5 @ 962.925
973.56/981.78 c GLOBAL bounds - >= 5 @ 962.925
996.10/1004.36 c #Conflicts: 740000 | #Constraints: 18371
996.10/1004.36 c #Conflicts: 741000 | #Constraints: 19376
996.10/1004.36 c #Conflicts: 742000 | #Constraints: 20381
996.10/1004.36 c #Conflicts: 743000 | #Constraints: 21383
996.10/1004.36 c #Conflicts: 744000 | #Constraints: 22391
996.10/1004.36 c #Conflicts: 745000 | #Constraints: 23393
996.10/1004.36 c #Conflicts: 746000 | #Constraints: 24397
996.10/1004.36 c #Conflicts: 747000 | #Constraints: 25400
996.10/1004.36 c #Conflicts: 748000 | #Constraints: 26404
996.10/1004.36 c #Conflicts: 749000 | #Constraints: 27407
996.10/1004.36 c #Conflicts: 750000 | #Constraints: 28418
996.10/1004.36 c #Conflicts: 751000 | #Constraints: 29425
996.10/1004.36 c #Conflicts: 752000 | #Constraints: 30434
996.10/1004.36 c #Conflicts: 753000 | #Constraints: 31442
996.10/1004.36 c #Conflicts: 754000 | #Constraints: 32451
996.10/1004.36 c #Conflicts: 755000 | #Constraints: 33459
996.10/1004.36 c #Conflicts: 756000 | #Constraints: 34467
996.10/1004.36 c INPROCESSING
996.10/1004.36 c GARBAGE COLLECT
996.10/1004.36 c rational objective 5
996.30/1004.51 c GLOBAL bounds - >= 5 @ 985.338
996.30/1004.51 c GLOBAL bounds - >= 5 @ 985.338
1019.94/1028.25 c #Conflicts: 757000 | #Constraints: 18177
1019.94/1028.25 c #Conflicts: 758000 | #Constraints: 19185
1019.94/1028.25 c #Conflicts: 759000 | #Constraints: 20205
1019.94/1028.25 c #Conflicts: 760000 | #Constraints: 21209
1019.94/1028.25 c #Conflicts: 761000 | #Constraints: 22213
1019.94/1028.25 c #Conflicts: 762000 | #Constraints: 23220
1019.94/1028.25 c #Conflicts: 763000 | #Constraints: 24229
1019.94/1028.25 c #Conflicts: 764000 | #Constraints: 25232
1019.94/1028.25 c #Conflicts: 765000 | #Constraints: 26241
1019.94/1028.25 c #Conflicts: 766000 | #Constraints: 27249
1019.94/1028.25 c #Conflicts: 767000 | #Constraints: 28257
1019.94/1028.25 c #Conflicts: 768000 | #Constraints: 29263
1019.94/1028.25 c #Conflicts: 769000 | #Constraints: 30266
1019.94/1028.25 c #Conflicts: 770000 | #Constraints: 31273
1019.94/1028.25 c #Conflicts: 771000 | #Constraints: 32278
1019.94/1028.25 c #Conflicts: 772000 | #Constraints: 33292
1019.94/1028.25 c #Conflicts: 773000 | #Constraints: 34296
1019.94/1028.25 c #Conflicts: 774000 | #Constraints: 35305
1019.94/1028.25 c INPROCESSING
1019.94/1028.25 c GARBAGE COLLECT
1019.94/1028.25 c rational objective 5
1020.13/1028.44 c GLOBAL bounds - >= 5 @ 1008.98
1020.13/1028.44 c GLOBAL bounds - >= 5 @ 1008.98
1046.97/1055.38 c #Conflicts: 775000 | #Constraints: 18811
1046.97/1055.38 c #Conflicts: 776000 | #Constraints: 19817
1046.97/1055.38 c #Conflicts: 777000 | #Constraints: 20827
1046.97/1055.38 c #Conflicts: 778000 | #Constraints: 21829
1046.97/1055.38 c #Conflicts: 779000 | #Constraints: 22833
1046.97/1055.38 c #Conflicts: 780000 | #Constraints: 23836
1046.97/1055.38 c #Conflicts: 781000 | #Constraints: 24842
1046.97/1055.38 c #Conflicts: 782000 | #Constraints: 25845
1046.97/1055.38 c #Conflicts: 783000 | #Constraints: 26857
1046.97/1055.38 c #Conflicts: 784000 | #Constraints: 27863
1046.97/1055.38 c #Conflicts: 785000 | #Constraints: 28866
1046.97/1055.38 c #Conflicts: 786000 | #Constraints: 29868
1046.97/1055.38 c #Conflicts: 787000 | #Constraints: 30870
1046.97/1055.38 c #Conflicts: 788000 | #Constraints: 31873
1046.97/1055.38 c #Conflicts: 789000 | #Constraints: 32878
1046.97/1055.38 c #Conflicts: 790000 | #Constraints: 33883
1046.97/1055.38 c #Conflicts: 791000 | #Constraints: 34890
1046.97/1055.38 c #Conflicts: 792000 | #Constraints: 35896
1046.97/1055.38 c INPROCESSING
1046.97/1055.38 c GARBAGE COLLECT
1046.97/1055.38 c rational objective 5
1047.16/1055.55 c GLOBAL bounds - >= 5 @ 1035.76
1047.16/1055.55 c GLOBAL bounds - >= 5 @ 1035.76
1072.90/1081.33 c #Conflicts: 793000 | #Constraints: 19180
1072.90/1081.33 c #Conflicts: 794000 | #Constraints: 20183
1072.90/1081.33 c #Conflicts: 795000 | #Constraints: 21184
1072.90/1081.33 c #Conflicts: 796000 | #Constraints: 22187
1072.90/1081.33 c #Conflicts: 797000 | #Constraints: 23194
1072.90/1081.33 c #Conflicts: 798000 | #Constraints: 24201
1072.90/1081.33 c #Conflicts: 799000 | #Constraints: 25211
1072.90/1081.33 c #Conflicts: 800000 | #Constraints: 26220
1072.90/1081.33 c #Conflicts: 801000 | #Constraints: 27226
1072.90/1081.33 c #Conflicts: 802000 | #Constraints: 28233
1072.90/1081.33 c #Conflicts: 803000 | #Constraints: 29239
1072.90/1081.33 c #Conflicts: 804000 | #Constraints: 30249
1072.90/1081.33 c #Conflicts: 805000 | #Constraints: 31254
1072.90/1081.33 c #Conflicts: 806000 | #Constraints: 32259
1072.90/1081.33 c #Conflicts: 807000 | #Constraints: 33265
1072.90/1081.33 c #Conflicts: 808000 | #Constraints: 34272
1072.90/1081.33 c #Conflicts: 809000 | #Constraints: 35279
1072.90/1081.33 c #Conflicts: 810000 | #Constraints: 36286
1072.90/1081.33 c INPROCESSING
1072.90/1081.33 c GARBAGE COLLECT
1072.90/1081.33 c rational objective 5
1073.10/1081.51 c GLOBAL bounds - >= 5 @ 1061.38
1073.10/1081.51 c GLOBAL bounds - >= 5 @ 1061.38
1100.72/1109.21 c #Conflicts: 811000 | #Constraints: 19397
1100.72/1109.21 c #Conflicts: 812000 | #Constraints: 20409
1100.72/1109.21 c #Conflicts: 813000 | #Constraints: 21413
1100.72/1109.21 c #Conflicts: 814000 | #Constraints: 22421
1100.72/1109.21 c #Conflicts: 815000 | #Constraints: 23423
1100.72/1109.21 c #Conflicts: 816000 | #Constraints: 24430
1100.72/1109.21 c #Conflicts: 817000 | #Constraints: 25439
1100.72/1109.21 c #Conflicts: 818000 | #Constraints: 26445
1100.72/1109.21 c #Conflicts: 819000 | #Constraints: 27456
1100.72/1109.21 c #Conflicts: 820000 | #Constraints: 28465
1100.72/1109.21 c #Conflicts: 821000 | #Constraints: 29473
1100.72/1109.21 c #Conflicts: 822000 | #Constraints: 30478
1100.72/1109.21 c #Conflicts: 823000 | #Constraints: 31488
1100.72/1109.21 c #Conflicts: 824000 | #Constraints: 32495
1100.72/1109.21 c #Conflicts: 825000 | #Constraints: 33499
1100.72/1109.21 c #Conflicts: 826000 | #Constraints: 34521
1100.72/1109.21 c #Conflicts: 827000 | #Constraints: 35545
1100.72/1109.21 c #Conflicts: 828000 | #Constraints: 36554
1100.72/1109.21 c INPROCESSING
1100.72/1109.21 c GARBAGE COLLECT
1100.72/1109.21 c rational objective 5
1100.92/1109.43 c GLOBAL bounds - >= 5 @ 1088.95
1100.92/1109.43 c GLOBAL bounds - >= 5 @ 1088.95
1129.65/1138.23 c #Conflicts: 829000 | #Constraints: 19432
1129.65/1138.23 c #Conflicts: 830000 | #Constraints: 20440
1129.65/1138.23 c #Conflicts: 831000 | #Constraints: 21447
1129.65/1138.23 c #Conflicts: 832000 | #Constraints: 22452
1129.65/1138.23 c #Conflicts: 833000 | #Constraints: 23458
1129.65/1138.23 c #Conflicts: 834000 | #Constraints: 24464
1129.65/1138.23 c #Conflicts: 835000 | #Constraints: 25472
1129.65/1138.23 c #Conflicts: 836000 | #Constraints: 26484
1129.65/1138.23 c #Conflicts: 837000 | #Constraints: 27495
1129.65/1138.23 c #Conflicts: 838000 | #Constraints: 28498
1129.65/1138.23 c #Conflicts: 839000 | #Constraints: 29500
1129.65/1138.23 c #Conflicts: 840000 | #Constraints: 30511
1129.65/1138.23 c #Conflicts: 841000 | #Constraints: 31514
1129.65/1138.23 c #Conflicts: 842000 | #Constraints: 32521
1129.65/1138.23 c #Conflicts: 843000 | #Constraints: 33524
1129.65/1138.23 c #Conflicts: 844000 | #Constraints: 34529
1129.65/1138.23 c #Conflicts: 845000 | #Constraints: 35534
1129.65/1138.23 c #Conflicts: 846000 | #Constraints: 36538
1129.65/1138.23 c INPROCESSING
1129.65/1138.23 c GARBAGE COLLECT
1129.65/1138.23 c rational objective 5
1129.84/1138.41 c GLOBAL bounds - >= 5 @ 1117.59
1129.84/1138.41 c GLOBAL bounds - >= 5 @ 1117.59
1155.68/1164.32 c #Conflicts: 847000 | #Constraints: 19225
1155.68/1164.32 c #Conflicts: 848000 | #Constraints: 20231
1155.68/1164.32 c #Conflicts: 849000 | #Constraints: 21237
1155.68/1164.32 c #Conflicts: 850000 | #Constraints: 22241
1155.68/1164.32 c #Conflicts: 851000 | #Constraints: 23248
1155.68/1164.32 c #Conflicts: 852000 | #Constraints: 24254
1155.68/1164.32 c #Conflicts: 853000 | #Constraints: 25259
1155.68/1164.32 c #Conflicts: 854000 | #Constraints: 26274
1155.68/1164.32 c #Conflicts: 855000 | #Constraints: 27288
1155.68/1164.32 c #Conflicts: 856000 | #Constraints: 28297
1155.68/1164.32 c #Conflicts: 857000 | #Constraints: 29313
1155.68/1164.32 c #Conflicts: 858000 | #Constraints: 30326
1155.68/1164.32 c #Conflicts: 859000 | #Constraints: 31343
1155.68/1164.32 c #Conflicts: 860000 | #Constraints: 32354
1155.68/1164.32 c #Conflicts: 861000 | #Constraints: 33363
1155.68/1164.32 c #Conflicts: 862000 | #Constraints: 34372
1155.68/1164.32 c #Conflicts: 863000 | #Constraints: 35376
1155.68/1164.32 c #Conflicts: 864000 | #Constraints: 36385
1155.68/1164.32 c #Conflicts: 865000 | #Constraints: 37392
1155.68/1164.32 c INPROCESSING
1155.68/1164.32 c GARBAGE COLLECT
1155.68/1164.32 c rational objective 5
1155.88/1164.54 c GLOBAL bounds - >= 5 @ 1143.35
1155.88/1164.54 c GLOBAL bounds - >= 5 @ 1143.35
1180.01/1188.71 c #Conflicts: 866000 | #Constraints: 19846
1180.01/1188.71 c #Conflicts: 867000 | #Constraints: 20857
1180.01/1188.71 c #Conflicts: 868000 | #Constraints: 21865
1180.01/1188.71 c #Conflicts: 869000 | #Constraints: 22872
1180.01/1188.71 c #Conflicts: 870000 | #Constraints: 23879
1180.01/1188.71 c #Conflicts: 871000 | #Constraints: 24885
1180.01/1188.71 c #Conflicts: 872000 | #Constraints: 25892
1180.01/1188.71 c #Conflicts: 873000 | #Constraints: 26895
1180.01/1188.71 c #Conflicts: 874000 | #Constraints: 27898
1180.01/1188.71 c #Conflicts: 875000 | #Constraints: 28907
1180.01/1188.71 c #Conflicts: 876000 | #Constraints: 29917
1180.01/1188.71 c #Conflicts: 877000 | #Constraints: 30921
1180.01/1188.71 c #Conflicts: 878000 | #Constraints: 31926
1180.01/1188.71 c #Conflicts: 879000 | #Constraints: 32935
1180.01/1188.71 c #Conflicts: 880000 | #Constraints: 33940
1180.01/1188.71 c #Conflicts: 881000 | #Constraints: 34960
1180.01/1188.71 c #Conflicts: 882000 | #Constraints: 35968
1180.01/1188.71 c #Conflicts: 883000 | #Constraints: 36978
1180.01/1188.71 c #Conflicts: 884000 | #Constraints: 37982
1180.01/1188.71 c INPROCESSING
1180.01/1188.71 c GARBAGE COLLECT
1180.01/1188.71 c rational objective 5
1180.70/1189.41 c GLOBAL bounds - >= 5 @ 1167.91
1180.70/1189.41 c GLOBAL bounds - >= 5 @ 1167.91
1204.84/1213.62 c #Conflicts: 885000 | #Constraints: 20246
1204.84/1213.62 c #Conflicts: 886000 | #Constraints: 21250
1204.84/1213.62 c #Conflicts: 887000 | #Constraints: 22253
1204.84/1213.62 c #Conflicts: 888000 | #Constraints: 23258
1204.84/1213.62 c #Conflicts: 889000 | #Constraints: 24263
1204.84/1213.62 c #Conflicts: 890000 | #Constraints: 25270
1204.84/1213.62 c #Conflicts: 891000 | #Constraints: 26273
1204.84/1213.62 c #Conflicts: 892000 | #Constraints: 27280
1204.84/1213.62 c #Conflicts: 893000 | #Constraints: 28290
1204.84/1213.62 c #Conflicts: 894000 | #Constraints: 29299
1204.84/1213.62 c #Conflicts: 895000 | #Constraints: 30303
1204.84/1213.62 c #Conflicts: 896000 | #Constraints: 31309
1204.84/1213.62 c #Conflicts: 897000 | #Constraints: 32313
1204.84/1213.62 c #Conflicts: 898000 | #Constraints: 33327
1204.84/1213.62 c #Conflicts: 899000 | #Constraints: 34334
1204.84/1213.62 c #Conflicts: 900000 | #Constraints: 35346
1204.84/1213.62 c #Conflicts: 901000 | #Constraints: 36353
1204.84/1213.62 c #Conflicts: 902000 | #Constraints: 37364
1204.84/1213.62 c #Conflicts: 903000 | #Constraints: 38374
1204.84/1213.62 c INPROCESSING
1204.84/1213.62 c GARBAGE COLLECT
1204.84/1213.62 c rational objective 5
1205.04/1213.84 c GLOBAL bounds - >= 5 @ 1191.99
1205.04/1213.84 c GLOBAL bounds - >= 5 @ 1191.99
1231.87/1240.74 c #Conflicts: 904000 | #Constraints: 20444
1231.87/1240.74 c #Conflicts: 905000 | #Constraints: 21450
1231.87/1240.74 c #Conflicts: 906000 | #Constraints: 22455
1231.87/1240.74 c #Conflicts: 907000 | #Constraints: 23456
1231.87/1240.74 c #Conflicts: 908000 | #Constraints: 24459
1231.87/1240.74 c #Conflicts: 909000 | #Constraints: 25461
1231.87/1240.74 c #Conflicts: 910000 | #Constraints: 26463
1231.87/1240.74 c #Conflicts: 911000 | #Constraints: 27467
1231.87/1240.74 c #Conflicts: 912000 | #Constraints: 28474
1231.87/1240.74 c #Conflicts: 913000 | #Constraints: 29475
1231.87/1240.74 c #Conflicts: 914000 | #Constraints: 30485
1231.87/1240.74 c #Conflicts: 915000 | #Constraints: 31494
1231.87/1240.74 c #Conflicts: 916000 | #Constraints: 32498
1231.87/1240.74 c #Conflicts: 917000 | #Constraints: 33504
1231.87/1240.74 c #Conflicts: 918000 | #Constraints: 34510
1231.87/1240.74 c #Conflicts: 919000 | #Constraints: 35512
1231.87/1240.74 c #Conflicts: 920000 | #Constraints: 36514
1231.87/1240.74 c #Conflicts: 921000 | #Constraints: 37515
1231.87/1240.74 c #Conflicts: 922000 | #Constraints: 38521
1231.87/1240.74 c INPROCESSING
1231.87/1240.74 c GARBAGE COLLECT
1231.87/1240.74 c rational objective 5
1232.18/1241.01 c GLOBAL bounds - >= 5 @ 1218.79
1232.18/1241.01 c GLOBAL bounds - >= 5 @ 1218.79
1264.19/1273.11 c #Conflicts: 923000 | #Constraints: 20411
1264.19/1273.11 c #Conflicts: 924000 | #Constraints: 21417
1264.19/1273.11 c #Conflicts: 925000 | #Constraints: 22420
1264.19/1273.11 c #Conflicts: 926000 | #Constraints: 23424
1264.19/1273.11 c #Conflicts: 927000 | #Constraints: 24427
1264.19/1273.11 c #Conflicts: 928000 | #Constraints: 25428
1264.19/1273.11 c #Conflicts: 929000 | #Constraints: 26431
1264.19/1273.11 c #Conflicts: 930000 | #Constraints: 27433
1264.19/1273.11 c #Conflicts: 931000 | #Constraints: 28434
1264.19/1273.11 c #Conflicts: 932000 | #Constraints: 29437
1264.19/1273.11 c #Conflicts: 933000 | #Constraints: 30441
1264.19/1273.11 c #Conflicts: 934000 | #Constraints: 31452
1264.19/1273.11 c #Conflicts: 935000 | #Constraints: 32461
1264.19/1273.11 c #Conflicts: 936000 | #Constraints: 33474
1264.19/1273.11 c #Conflicts: 937000 | #Constraints: 34480
1264.19/1273.11 c #Conflicts: 938000 | #Constraints: 35484
1264.19/1273.11 c #Conflicts: 939000 | #Constraints: 36488
1264.19/1273.11 c #Conflicts: 940000 | #Constraints: 37489
1264.19/1273.11 c #Conflicts: 941000 | #Constraints: 38492
1264.19/1273.11 c INPROCESSING
1264.19/1273.11 c GARBAGE COLLECT
1264.19/1273.11 c rational objective 5
1264.59/1273.54 c GLOBAL bounds - >= 5 @ 1250.82
1264.59/1273.54 c GLOBAL bounds - >= 5 @ 1250.82
1310.66/1319.74 c #Conflicts: 942000 | #Constraints: 20223
1310.66/1319.74 c #Conflicts: 943000 | #Constraints: 21232
1310.66/1319.74 c #Conflicts: 944000 | #Constraints: 22238
1310.66/1319.74 c #Conflicts: 945000 | #Constraints: 23242
1310.66/1319.74 c #Conflicts: 946000 | #Constraints: 24248
1310.66/1319.74 c #Conflicts: 947000 | #Constraints: 25251
1310.66/1319.74 c #Conflicts: 948000 | #Constraints: 26254
1310.66/1319.74 c #Conflicts: 949000 | #Constraints: 27258
1310.66/1319.74 c #Conflicts: 950000 | #Constraints: 28264
1310.66/1319.74 c #Conflicts: 951000 | #Constraints: 29271
1310.66/1319.74 c #Conflicts: 952000 | #Constraints: 30280
1310.66/1319.74 c #Conflicts: 953000 | #Constraints: 31282
1310.66/1319.74 c #Conflicts: 954000 | #Constraints: 32283
1310.66/1319.74 c #Conflicts: 955000 | #Constraints: 33287
1310.66/1319.74 c #Conflicts: 956000 | #Constraints: 34292
1310.66/1319.74 c #Conflicts: 957000 | #Constraints: 35296
1310.66/1319.74 c #Conflicts: 958000 | #Constraints: 36300
1310.66/1319.74 c #Conflicts: 959000 | #Constraints: 37302
1310.66/1319.74 c #Conflicts: 960000 | #Constraints: 38315
1310.66/1319.74 c #Conflicts: 961000 | #Constraints: 39324
1310.66/1319.74 c INPROCESSING
1310.66/1319.74 c GARBAGE COLLECT
1310.66/1319.74 c rational objective 5
1310.97/1320.07 c GLOBAL bounds - >= 5 @ 1296.82
1310.97/1320.07 c GLOBAL bounds - >= 5 @ 1296.82
1339.89/1349.08 c #Conflicts: 962000 | #Constraints: 20845
1339.89/1349.08 c #Conflicts: 963000 | #Constraints: 21851
1339.89/1349.08 c #Conflicts: 964000 | #Constraints: 22856
1339.89/1349.08 c #Conflicts: 965000 | #Constraints: 23860
1339.89/1349.08 c #Conflicts: 966000 | #Constraints: 24865
1339.89/1349.08 c #Conflicts: 967000 | #Constraints: 25869
1339.89/1349.08 c #Conflicts: 968000 | #Constraints: 26872
1339.89/1349.08 c #Conflicts: 969000 | #Constraints: 27879
1339.89/1349.08 c #Conflicts: 970000 | #Constraints: 28885
1339.89/1349.08 c #Conflicts: 971000 | #Constraints: 29887
1339.89/1349.08 c #Conflicts: 972000 | #Constraints: 30891
1339.89/1349.08 c #Conflicts: 973000 | #Constraints: 31895
1339.89/1349.08 c #Conflicts: 974000 | #Constraints: 32901
1339.89/1349.08 c #Conflicts: 975000 | #Constraints: 33909
1339.89/1349.08 c #Conflicts: 976000 | #Constraints: 34916
1339.89/1349.08 c #Conflicts: 977000 | #Constraints: 35922
1339.89/1349.08 c #Conflicts: 978000 | #Constraints: 36929
1339.89/1349.08 c #Conflicts: 979000 | #Constraints: 37939
1339.89/1349.08 c #Conflicts: 980000 | #Constraints: 38945
1339.89/1349.08 c #Conflicts: 981000 | #Constraints: 39957
1339.89/1349.08 c INPROCESSING
1339.89/1349.08 c GARBAGE COLLECT
1339.89/1349.08 c rational objective 5
1340.19/1349.36 c GLOBAL bounds - >= 5 @ 1325.71
1340.19/1349.36 c GLOBAL bounds - >= 5 @ 1325.71
1363.93/1373.13 c #Conflicts: 982000 | #Constraints: 21243
1363.93/1373.13 c #Conflicts: 983000 | #Constraints: 22247
1363.93/1373.13 c #Conflicts: 984000 | #Constraints: 23256
1363.93/1373.13 c #Conflicts: 985000 | #Constraints: 24262
1363.93/1373.13 c #Conflicts: 986000 | #Constraints: 25267
1363.93/1373.13 c #Conflicts: 987000 | #Constraints: 26273
1363.93/1373.13 c #Conflicts: 988000 | #Constraints: 27282
1363.93/1373.13 c #Conflicts: 989000 | #Constraints: 28288
1363.93/1373.13 c #Conflicts: 990000 | #Constraints: 29290
1363.93/1373.13 c #Conflicts: 991000 | #Constraints: 30293
1363.93/1373.13 c #Conflicts: 992000 | #Constraints: 31296
1363.93/1373.13 c #Conflicts: 993000 | #Constraints: 32301
1363.93/1373.13 c #Conflicts: 994000 | #Constraints: 33303
1363.93/1373.13 c #Conflicts: 995000 | #Constraints: 34306
1363.93/1373.13 c #Conflicts: 996000 | #Constraints: 35311
1363.93/1373.13 c #Conflicts: 997000 | #Constraints: 36317
1363.93/1373.13 c #Conflicts: 998000 | #Constraints: 37320
1363.93/1373.13 c #Conflicts: 999000 | #Constraints: 38324
1363.93/1373.13 c #Conflicts: 1000000 | #Constraints: 39327
1363.93/1373.13 c #Conflicts: 1001000 | #Constraints: 40331
1363.93/1373.13 c INPROCESSING
1363.93/1373.13 c GARBAGE COLLECT
1363.93/1373.13 c rational objective 5
1364.22/1373.43 c GLOBAL bounds - >= 5 @ 1349.44
1364.22/1373.43 c GLOBAL bounds - >= 5 @ 1349.44
1427.86/1437.28 c #Conflicts: 1002000 | #Constraints: 21439
1427.86/1437.28 c #Conflicts: 1003000 | #Constraints: 22445
1427.86/1437.28 c #Conflicts: 1004000 | #Constraints: 23457
1427.86/1437.28 c #Conflicts: 1005000 | #Constraints: 24463
1427.86/1437.28 c #Conflicts: 1006000 | #Constraints: 25467
1427.86/1437.28 c #Conflicts: 1007000 | #Constraints: 26473
1427.86/1437.28 c #Conflicts: 1008000 | #Constraints: 27477
1427.86/1437.28 c #Conflicts: 1009000 | #Constraints: 28482
1427.86/1437.28 c #Conflicts: 1010000 | #Constraints: 29488
1427.86/1437.28 c #Conflicts: 1011000 | #Constraints: 30492
1427.86/1437.28 c #Conflicts: 1012000 | #Constraints: 31500
1427.86/1437.28 c #Conflicts: 1013000 | #Constraints: 32507
1427.86/1437.28 c #Conflicts: 1014000 | #Constraints: 33510
1427.86/1437.28 c #Conflicts: 1015000 | #Constraints: 34514
1427.86/1437.28 c #Conflicts: 1016000 | #Constraints: 35519
1427.86/1437.28 c #Conflicts: 1017000 | #Constraints: 36522
1427.86/1437.28 c #Conflicts: 1018000 | #Constraints: 37528
1427.86/1437.28 c #Conflicts: 1019000 | #Constraints: 38533
1427.86/1437.28 c #Conflicts: 1020000 | #Constraints: 39538
1427.86/1437.28 c #Conflicts: 1021000 | #Constraints: 40545
1427.86/1437.28 c INPROCESSING
1427.86/1437.28 c GARBAGE COLLECT
1427.86/1437.28 c rational objective 5
1428.15/1437.52 c GLOBAL bounds - >= 5 @ 1412.86
1428.15/1437.52 c GLOBAL bounds - >= 5 @ 1412.86
1452.19/1461.63 c #Conflicts: 1022000 | #Constraints: 21440
1452.19/1461.63 c #Conflicts: 1023000 | #Constraints: 22444
1452.19/1461.63 c #Conflicts: 1024000 | #Constraints: 23446
1452.19/1461.63 c #Conflicts: 1025000 | #Constraints: 24447
1452.19/1461.63 c #Conflicts: 1026000 | #Constraints: 25448
1452.19/1461.63 c #Conflicts: 1027000 | #Constraints: 26451
1452.19/1461.63 c #Conflicts: 1028000 | #Constraints: 27454
1452.19/1461.63 c #Conflicts: 1029000 | #Constraints: 28459
1452.19/1461.63 c #Conflicts: 1030000 | #Constraints: 29466
1452.19/1461.63 c #Conflicts: 1031000 | #Constraints: 30472
1452.19/1461.63 c #Conflicts: 1032000 | #Constraints: 31473
1452.19/1461.63 c #Conflicts: 1033000 | #Constraints: 32476
1452.19/1461.63 c #Conflicts: 1034000 | #Constraints: 33479
1452.19/1461.63 c #Conflicts: 1035000 | #Constraints: 34483
1452.19/1461.63 c #Conflicts: 1036000 | #Constraints: 35486
1452.19/1461.63 c #Conflicts: 1037000 | #Constraints: 36489
1452.19/1461.63 c #Conflicts: 1038000 | #Constraints: 37491
1452.19/1461.63 c #Conflicts: 1039000 | #Constraints: 38492
1452.19/1461.63 c #Conflicts: 1040000 | #Constraints: 39498
1452.19/1461.63 c #Conflicts: 1041000 | #Constraints: 40502
1452.19/1461.63 c INPROCESSING
1452.19/1461.63 c GARBAGE COLLECT
1452.19/1461.63 c rational objective 5
1452.59/1462.01 c GLOBAL bounds - >= 5 @ 1437
1452.59/1462.01 c GLOBAL bounds - >= 5 @ 1437
1528.99/1538.63 c #Conflicts: 1042000 | #Constraints: 21205
1528.99/1538.63 c #Conflicts: 1043000 | #Constraints: 22211
1528.99/1538.63 c #Conflicts: 1044000 | #Constraints: 23220
1528.99/1538.63 c #Conflicts: 1045000 | #Constraints: 24224
1528.99/1538.63 c #Conflicts: 1046000 | #Constraints: 25232
1528.99/1538.63 c #Conflicts: 1047000 | #Constraints: 26243
1528.99/1538.63 c #Conflicts: 1048000 | #Constraints: 27246
1528.99/1538.63 c #Conflicts: 1049000 | #Constraints: 28252
1528.99/1538.63 c #Conflicts: 1050000 | #Constraints: 29258
1528.99/1538.63 c #Conflicts: 1051000 | #Constraints: 30264
1528.99/1538.63 c #Conflicts: 1052000 | #Constraints: 31270
1528.99/1538.63 c #Conflicts: 1053000 | #Constraints: 32273
1528.99/1538.63 c #Conflicts: 1054000 | #Constraints: 33277
1528.99/1538.63 c #Conflicts: 1055000 | #Constraints: 34280
1528.99/1538.63 c #Conflicts: 1056000 | #Constraints: 35281
1528.99/1538.63 c #Conflicts: 1057000 | #Constraints: 36284
1528.99/1538.63 c #Conflicts: 1058000 | #Constraints: 37287
1528.99/1538.63 c #Conflicts: 1059000 | #Constraints: 38291
1528.99/1538.63 c #Conflicts: 1060000 | #Constraints: 39295
1528.99/1538.63 c #Conflicts: 1061000 | #Constraints: 40299
1528.99/1538.63 c #Conflicts: 1062000 | #Constraints: 41303
1528.99/1538.63 c INPROCESSING
1528.99/1538.63 c GARBAGE COLLECT
1528.99/1538.63 c rational objective 5
1529.39/1539.05 c GLOBAL bounds - >= 5 @ 1513.39
1529.39/1539.05 c GLOBAL bounds - >= 5 @ 1513.39
1565.00/1574.70 c #Conflicts: 1063000 | #Constraints: 21813
1565.00/1574.70 c #Conflicts: 1064000 | #Constraints: 22815
1565.00/1574.70 c #Conflicts: 1065000 | #Constraints: 23820
1565.00/1574.70 c #Conflicts: 1066000 | #Constraints: 24824
1565.00/1574.70 c #Conflicts: 1067000 | #Constraints: 25831
1565.00/1574.70 c #Conflicts: 1068000 | #Constraints: 26844
1565.00/1574.70 c #Conflicts: 1069000 | #Constraints: 27852
1565.00/1574.70 c #Conflicts: 1070000 | #Constraints: 28856
1565.00/1574.70 c #Conflicts: 1071000 | #Constraints: 29863
1565.00/1574.70 c #Conflicts: 1072000 | #Constraints: 30867
1565.00/1574.70 c #Conflicts: 1073000 | #Constraints: 31872
1565.00/1574.70 c #Conflicts: 1074000 | #Constraints: 32883
1565.00/1574.70 c #Conflicts: 1075000 | #Constraints: 33889
1565.00/1574.70 c #Conflicts: 1076000 | #Constraints: 34895
1565.00/1574.70 c #Conflicts: 1077000 | #Constraints: 35904
1565.00/1574.70 c #Conflicts: 1078000 | #Constraints: 36911
1565.00/1574.70 c #Conflicts: 1079000 | #Constraints: 37917
1565.00/1574.70 c #Conflicts: 1080000 | #Constraints: 38918
1565.00/1574.70 c #Conflicts: 1081000 | #Constraints: 39920
1565.00/1574.70 c #Conflicts: 1082000 | #Constraints: 40922
1565.00/1574.70 c #Conflicts: 1083000 | #Constraints: 41929
1565.00/1574.70 c INPROCESSING
1565.00/1574.70 c GARBAGE COLLECT
1565.00/1574.70 c rational objective 5
1565.20/1575.00 c GLOBAL bounds - >= 5 @ 1548.91
1565.20/1575.00 c GLOBAL bounds - >= 5 @ 1548.91
1609.78/1619.63 c #Conflicts: 1084000 | #Constraints: 22245
1609.78/1619.63 c #Conflicts: 1085000 | #Constraints: 23247
1609.78/1619.63 c #Conflicts: 1086000 | #Constraints: 24252
1609.78/1619.63 c #Conflicts: 1087000 | #Constraints: 25257
1609.78/1619.63 c #Conflicts: 1088000 | #Constraints: 26258
1609.78/1619.63 c #Conflicts: 1089000 | #Constraints: 27264
1609.78/1619.63 c #Conflicts: 1090000 | #Constraints: 28264
1609.78/1619.63 c #Conflicts: 1091000 | #Constraints: 29264
1609.78/1619.63 c #Conflicts: 1092000 | #Constraints: 30265
1609.78/1619.63 c #Conflicts: 1093000 | #Constraints: 31270
1609.78/1619.63 c #Conflicts: 1094000 | #Constraints: 32274
1609.78/1619.63 c #Conflicts: 1095000 | #Constraints: 33277
1609.78/1619.63 c #Conflicts: 1096000 | #Constraints: 34281
1609.78/1619.63 c #Conflicts: 1097000 | #Constraints: 35289
1609.78/1619.63 c #Conflicts: 1098000 | #Constraints: 36293
1609.78/1619.63 c #Conflicts: 1099000 | #Constraints: 37297
1609.78/1619.63 c #Conflicts: 1100000 | #Constraints: 38297
1609.78/1619.63 c #Conflicts: 1101000 | #Constraints: 39298
1609.78/1619.63 c #Conflicts: 1102000 | #Constraints: 40299
1609.78/1619.63 c #Conflicts: 1103000 | #Constraints: 41301
1609.78/1619.63 c #Conflicts: 1104000 | #Constraints: 42302
1609.78/1619.63 c INPROCESSING
1609.78/1619.63 c GARBAGE COLLECT
1609.78/1619.63 c rational objective 5
1609.98/1619.88 c GLOBAL bounds - >= 5 @ 1593.39
1609.98/1619.88 c GLOBAL bounds - >= 5 @ 1593.39
1681.49/1691.50 c #Conflicts: 1105000 | #Constraints: 22417
1681.49/1691.50 c #Conflicts: 1106000 | #Constraints: 23422
1681.49/1691.50 c #Conflicts: 1107000 | #Constraints: 24428
1681.49/1691.50 c #Conflicts: 1108000 | #Constraints: 25437
1681.49/1691.50 c #Conflicts: 1109000 | #Constraints: 26441
1681.49/1691.50 c #Conflicts: 1110000 | #Constraints: 27447
1681.49/1691.50 c #Conflicts: 1111000 | #Constraints: 28450
1681.49/1691.50 c #Conflicts: 1112000 | #Constraints: 29454
1681.49/1691.50 c #Conflicts: 1113000 | #Constraints: 30461
1681.49/1691.50 c #Conflicts: 1114000 | #Constraints: 31465
1681.49/1691.50 c #Conflicts: 1115000 | #Constraints: 32470
1681.49/1691.50 c #Conflicts: 1116000 | #Constraints: 33475
1681.49/1691.50 c #Conflicts: 1117000 | #Constraints: 34480
1681.49/1691.50 c #Conflicts: 1118000 | #Constraints: 35488
1681.49/1691.50 c #Conflicts: 1119000 | #Constraints: 36493
1681.49/1691.50 c #Conflicts: 1120000 | #Constraints: 37496
1681.49/1691.50 c #Conflicts: 1121000 | #Constraints: 38502
1681.49/1691.50 c #Conflicts: 1122000 | #Constraints: 39511
1681.49/1691.50 c #Conflicts: 1123000 | #Constraints: 40515
1681.49/1691.50 c #Conflicts: 1124000 | #Constraints: 41521
1681.49/1691.50 c #Conflicts: 1125000 | #Constraints: 42525
1681.49/1691.50 c INPROCESSING
1681.49/1691.50 c GARBAGE COLLECT
1681.49/1691.50 c rational objective 5
1681.69/1691.70 c GLOBAL bounds - >= 5 @ 1664.62
1681.69/1691.70 c GLOBAL bounds - >= 5 @ 1664.62
1717.00/1727.19 c #Conflicts: 1126000 | #Constraints: 22420
1717.00/1727.19 c #Conflicts: 1127000 | #Constraints: 23429
1717.00/1727.19 c #Conflicts: 1128000 | #Constraints: 24436
1717.00/1727.19 c #Conflicts: 1129000 | #Constraints: 25446
1717.00/1727.19 c #Conflicts: 1130000 | #Constraints: 26451
1717.00/1727.19 c #Conflicts: 1131000 | #Constraints: 27457
1717.00/1727.19 c #Conflicts: 1132000 | #Constraints: 28461
1717.00/1727.19 c #Conflicts: 1133000 | #Constraints: 29469
1717.00/1727.19 c #Conflicts: 1134000 | #Constraints: 30477
1717.00/1727.19 c #Conflicts: 1135000 | #Constraints: 31486
1717.00/1727.19 c #Conflicts: 1136000 | #Constraints: 32491
1717.00/1727.19 c #Conflicts: 1137000 | #Constraints: 33495
1717.00/1727.19 c #Conflicts: 1138000 | #Constraints: 34503
1717.00/1727.19 c #Conflicts: 1139000 | #Constraints: 35515
1717.00/1727.19 c #Conflicts: 1140000 | #Constraints: 36525
1717.00/1727.19 c #Conflicts: 1141000 | #Constraints: 37528
1717.00/1727.19 c #Conflicts: 1142000 | #Constraints: 38532
1717.00/1727.19 c #Conflicts: 1143000 | #Constraints: 39539
1717.00/1727.19 c #Conflicts: 1144000 | #Constraints: 40548
1717.00/1727.19 c #Conflicts: 1145000 | #Constraints: 41552
1717.00/1727.19 c #Conflicts: 1146000 | #Constraints: 42566
1717.00/1727.19 c INPROCESSING
1717.00/1727.19 c GARBAGE COLLECT
1717.00/1727.19 c rational objective 5
1717.40/1727.58 c GLOBAL bounds - >= 5 @ 1700.12
1717.40/1727.58 c GLOBAL bounds - >= 5 @ 1700.12
1757.79/1768.07 c #Conflicts: 1147000 | #Constraints: 22229
1757.79/1768.07 c #Conflicts: 1148000 | #Constraints: 23242
1757.79/1768.07 c #Conflicts: 1149000 | #Constraints: 24249
1757.79/1768.07 c #Conflicts: 1150000 | #Constraints: 25250
1757.79/1768.07 c #Conflicts: 1151000 | #Constraints: 26255
1757.79/1768.07 c #Conflicts: 1152000 | #Constraints: 27264
1757.79/1768.07 c #Conflicts: 1153000 | #Constraints: 28270
1757.79/1768.07 c #Conflicts: 1154000 | #Constraints: 29281
1757.79/1768.07 c #Conflicts: 1155000 | #Constraints: 30290
1757.79/1768.07 c #Conflicts: 1156000 | #Constraints: 31294
1757.79/1768.07 c #Conflicts: 1157000 | #Constraints: 32301
1757.79/1768.07 c #Conflicts: 1158000 | #Constraints: 33306
1757.79/1768.07 c #Conflicts: 1159000 | #Constraints: 34312
1757.79/1768.07 c #Conflicts: 1160000 | #Constraints: 35317
1757.79/1768.07 c #Conflicts: 1161000 | #Constraints: 36325
1757.79/1768.07 c #Conflicts: 1162000 | #Constraints: 37330
1757.79/1768.07 c #Conflicts: 1163000 | #Constraints: 38342
1757.79/1768.07 c #Conflicts: 1164000 | #Constraints: 39349
1757.79/1768.07 c #Conflicts: 1165000 | #Constraints: 40354
1757.79/1768.07 c #Conflicts: 1166000 | #Constraints: 41358
1757.79/1768.07 c #Conflicts: 1167000 | #Constraints: 42360
1757.79/1768.07 c #Conflicts: 1168000 | #Constraints: 43362
1757.79/1768.07 c INPROCESSING
1757.79/1768.07 c GARBAGE COLLECT
1757.79/1768.07 c rational objective 5
1758.09/1768.37 c GLOBAL bounds - >= 5 @ 1740.5
1758.09/1768.37 c GLOBAL bounds - >= 5 @ 1740.5
1797.19/1807.55 c #Conflicts: 1169000 | #Constraints: 22822
1797.19/1807.55 c #Conflicts: 1170000 | #Constraints: 23828
1797.19/1807.55 c #Conflicts: 1171000 | #Constraints: 24831
1797.19/1807.55 c #Conflicts: 1172000 | #Constraints: 25835
1797.19/1807.55 c #Conflicts: 1173000 | #Constraints: 26841
1797.19/1807.55 c #Conflicts: 1174000 | #Constraints: 27848
1797.19/1807.55 c #Conflicts: 1175000 | #Constraints: 28851
1797.19/1807.55 c #Conflicts: 1176000 | #Constraints: 29864
1797.19/1807.55 c #Conflicts: 1177000 | #Constraints: 30869
1797.19/1807.55 c #Conflicts: 1178000 | #Constraints: 31875
1797.19/1807.55 c #Conflicts: 1179000 | #Constraints: 32883
1797.19/1807.55 c #Conflicts: 1180000 | #Constraints: 33888
1797.19/1807.55 c #Conflicts: 1181000 | #Constraints: 34892
1797.19/1807.55 c #Conflicts: 1182000 | #Constraints: 35902
1797.19/1807.55 c #Conflicts: 1183000 | #Constraints: 36906
1797.19/1807.55 c #Conflicts: 1184000 | #Constraints: 37922
1797.19/1807.55 c #Conflicts: 1185000 | #Constraints: 38925
1797.19/1807.55 c #Conflicts: 1186000 | #Constraints: 39931
1797.19/1807.55 c #Conflicts: 1187000 | #Constraints: 40938
1797.19/1807.55 c #Conflicts: 1188000 | #Constraints: 41941
1797.19/1807.55 c #Conflicts: 1189000 | #Constraints: 42948
1797.19/1807.55 c #Conflicts: 1190000 | #Constraints: 43959
1797.19/1807.55 c INPROCESSING
1797.19/1807.55 c GARBAGE COLLECT
1797.19/1807.55 c rational objective 5
1797.48/1807.84 c GLOBAL bounds - >= 5 @ 1779.55
1797.48/1807.84 c GLOBAL bounds - >= 5 @ 1779.55
1831.29/1841.75 c #Conflicts: 1191000 | #Constraints: 23229
1831.29/1841.75 c #Conflicts: 1192000 | #Constraints: 24233
1831.29/1841.75 c #Conflicts: 1193000 | #Constraints: 25281
1831.29/1841.75 c #Conflicts: 1194000 | #Constraints: 26420
1831.29/1841.75 c #Conflicts: 1195000 | #Constraints: 27720
1831.29/1841.75 c #Conflicts: 1196000 | #Constraints: 29257
1831.29/1841.75 c #Conflicts: 1197000 | #Constraints: 30519
1831.29/1841.75 c #Conflicts: 1198000 | #Constraints: 31547
1831.29/1841.75 c #Conflicts: 1199000 | #Constraints: 32656
1831.29/1841.75 c #Conflicts: 1200000 | #Constraints: 33690
1831.29/1841.75 c #Conflicts: 1201000 | #Constraints: 34730
1831.29/1841.75 c #Conflicts: 1202000 | #Constraints: 35750
1831.29/1841.75 c #Conflicts: 1203000 | #Constraints: 36947
1831.29/1841.75 c #Conflicts: 1204000 | #Constraints: 38066
1831.29/1841.75 c #Conflicts: 1205000 | #Constraints: 39263
1831.29/1841.75 c #Conflicts: 1206000 | #Constraints: 40529
1831.29/1841.75 c #Conflicts: 1207000 | #Constraints: 42157
1831.29/1841.75 c #Conflicts: 1208000 | #Constraints: 43756
1831.29/1841.75 c #Conflicts: 1209000 | #Constraints: 45354
1831.29/1841.75 c #Conflicts: 1210000 | #Constraints: 46921
1831.29/1841.75 c #Conflicts: 1211000 | #Constraints: 48483
1831.29/1841.75 c #Conflicts: 1212000 | #Constraints: 50037
1831.29/1841.75 c INPROCESSING
1831.29/1841.75 c GARBAGE COLLECT
1831.29/1841.75 c rational objective 5
1831.78/1842.26 c GLOBAL bounds - >= 5 @ 1813.53
1831.78/1842.26 c GLOBAL bounds - >= 5 @ 1813.53
1863.01/1873.55 c #Conflicts: 1213000 | #Constraints: 26268
1863.01/1873.55 c #Conflicts: 1214000 | #Constraints: 27271
1863.01/1873.55 c #Conflicts: 1215000 | #Constraints: 28274
1863.01/1873.55 c #Conflicts: 1216000 | #Constraints: 29276
1863.01/1873.55 c #Conflicts: 1217000 | #Constraints: 30286
1863.01/1873.55 c #Conflicts: 1218000 | #Constraints: 31292
1863.01/1873.55 c #Conflicts: 1219000 | #Constraints: 32300
1863.01/1873.55 c #Conflicts: 1220000 | #Constraints: 33304
1863.01/1873.55 c #Conflicts: 1221000 | #Constraints: 34306
1863.01/1873.55 c #Conflicts: 1222000 | #Constraints: 35314
1863.01/1873.55 c #Conflicts: 1223000 | #Constraints: 36319
1863.01/1873.55 c #Conflicts: 1224000 | #Constraints: 37321
1863.01/1873.55 c #Conflicts: 1225000 | #Constraints: 38324
1863.01/1873.55 c #Conflicts: 1226000 | #Constraints: 39328
1863.01/1873.55 c #Conflicts: 1227000 | #Constraints: 40329
1863.01/1873.55 c #Conflicts: 1228000 | #Constraints: 41334
1863.01/1873.55 c #Conflicts: 1229000 | #Constraints: 42335
1863.01/1873.55 c #Conflicts: 1230000 | #Constraints: 43335
1863.01/1873.55 c #Conflicts: 1231000 | #Constraints: 44338
1863.01/1873.55 c #Conflicts: 1232000 | #Constraints: 45338
1863.01/1873.55 c #Conflicts: 1233000 | #Constraints: 46339
1863.01/1873.55 c #Conflicts: 1234000 | #Constraints: 47353
1863.01/1873.55 c INPROCESSING
1863.01/1873.55 c GARBAGE COLLECT
1863.01/1873.55 c rational objective 5
1863.31/1873.84 c GLOBAL bounds - >= 5 @ 1844.71
1863.31/1873.84 c GLOBAL bounds - >= 5 @ 1844.71
1895.42/1906.06 c #Conflicts: 1235000 | #Constraints: 24804
1895.42/1906.06 c #Conflicts: 1236000 | #Constraints: 25813
1895.42/1906.06 c #Conflicts: 1237000 | #Constraints: 26821
1895.42/1906.06 c #Conflicts: 1238000 | #Constraints: 27832
1895.42/1906.06 c #Conflicts: 1239000 | #Constraints: 28836
1895.42/1906.06 c #Conflicts: 1240000 | #Constraints: 29843
1895.42/1906.06 c #Conflicts: 1241000 | #Constraints: 30849
1895.42/1906.06 c #Conflicts: 1242000 | #Constraints: 31853
1895.42/1906.06 c #Conflicts: 1243000 | #Constraints: 32857
1895.42/1906.06 c #Conflicts: 1244000 | #Constraints: 33865
1895.42/1906.06 c #Conflicts: 1245000 | #Constraints: 34871
1895.42/1906.06 c #Conflicts: 1246000 | #Constraints: 35876
1895.42/1906.06 c #Conflicts: 1247000 | #Constraints: 36888
1895.42/1906.06 c #Conflicts: 1248000 | #Constraints: 37894
1895.42/1906.06 c #Conflicts: 1249000 | #Constraints: 38906
1895.42/1906.06 c #Conflicts: 1250000 | #Constraints: 39911
1895.42/1906.06 c #Conflicts: 1251000 | #Constraints: 40919
1895.42/1906.06 c #Conflicts: 1252000 | #Constraints: 41925
1895.42/1906.06 c #Conflicts: 1253000 | #Constraints: 42927
1895.42/1906.06 c #Conflicts: 1254000 | #Constraints: 43935
1895.42/1906.06 c #Conflicts: 1255000 | #Constraints: 44942
1895.42/1906.06 c #Conflicts: 1256000 | #Constraints: 45945
1895.42/1906.06 c INPROCESSING
1895.42/1906.06 c GARBAGE COLLECT
1895.42/1906.06 c rational objective 5
1895.71/1906.37 c GLOBAL bounds - >= 5 @ 1876.82
1895.71/1906.37 c GLOBAL bounds - >= 5 @ 1876.82
1950.57/1961.35 c #Conflicts: 1257000 | #Constraints: 23919
1950.57/1961.35 c #Conflicts: 1258000 | #Constraints: 24924
1950.57/1961.35 c #Conflicts: 1259000 | #Constraints: 25932
1950.57/1961.35 c #Conflicts: 1260000 | #Constraints: 26940
1950.57/1961.35 c #Conflicts: 1261000 | #Constraints: 27946
1950.57/1961.35 c #Conflicts: 1262000 | #Constraints: 28949
1950.57/1961.35 c #Conflicts: 1263000 | #Constraints: 29956
1950.57/1961.35 c #Conflicts: 1264000 | #Constraints: 30981
1950.57/1961.35 c #Conflicts: 1265000 | #Constraints: 31987
1950.57/1961.35 c #Conflicts: 1266000 | #Constraints: 32994
1950.57/1961.35 c #Conflicts: 1267000 | #Constraints: 34000
1950.57/1961.35 c #Conflicts: 1268000 | #Constraints: 35004
1950.57/1961.35 c #Conflicts: 1269000 | #Constraints: 36014
1950.57/1961.35 c #Conflicts: 1270000 | #Constraints: 37017
1950.57/1961.35 c #Conflicts: 1271000 | #Constraints: 38024
1950.57/1961.35 c #Conflicts: 1272000 | #Constraints: 39027
1950.57/1961.35 c #Conflicts: 1273000 | #Constraints: 40028
1950.57/1961.35 c #Conflicts: 1274000 | #Constraints: 41032
1950.57/1961.35 c #Conflicts: 1275000 | #Constraints: 42033
1950.57/1961.35 c #Conflicts: 1276000 | #Constraints: 43037
1950.57/1961.35 c #Conflicts: 1277000 | #Constraints: 44042
1950.57/1961.35 c #Conflicts: 1278000 | #Constraints: 45048
1950.57/1961.35 c #Conflicts: 1279000 | #Constraints: 46054
1950.57/1961.35 c INPROCESSING
1950.57/1961.35 c GARBAGE COLLECT
1950.57/1961.35 c rational objective 5
1950.77/1961.58 c GLOBAL bounds - >= 5 @ 1931.47
1950.77/1961.58 c GLOBAL bounds - >= 5 @ 1931.47
1996.66/2007.58 c #Conflicts: 1280000 | #Constraints: 24166
1996.66/2007.58 c #Conflicts: 1281000 | #Constraints: 25170
1996.66/2007.58 c #Conflicts: 1282000 | #Constraints: 26175
1996.66/2007.58 c #Conflicts: 1283000 | #Constraints: 27181
1996.66/2007.58 c #Conflicts: 1284000 | #Constraints: 28184
1996.66/2007.58 c #Conflicts: 1285000 | #Constraints: 29194
1996.66/2007.58 c #Conflicts: 1286000 | #Constraints: 30205
1996.66/2007.58 c #Conflicts: 1287000 | #Constraints: 31209
1996.66/2007.58 c #Conflicts: 1288000 | #Constraints: 32216
1996.66/2007.58 c #Conflicts: 1289000 | #Constraints: 33224
1996.66/2007.58 c #Conflicts: 1290000 | #Constraints: 34228
1996.66/2007.58 c #Conflicts: 1291000 | #Constraints: 35231
1996.66/2007.58 c #Conflicts: 1292000 | #Constraints: 36241
1996.66/2007.58 c #Conflicts: 1293000 | #Constraints: 37247
1996.66/2007.58 c #Conflicts: 1294000 | #Constraints: 38252
1996.66/2007.58 c #Conflicts: 1295000 | #Constraints: 39259
1996.66/2007.58 c #Conflicts: 1296000 | #Constraints: 40268
1996.66/2007.58 c #Conflicts: 1297000 | #Constraints: 41274
1996.66/2007.58 c #Conflicts: 1298000 | #Constraints: 42281
1996.66/2007.58 c #Conflicts: 1299000 | #Constraints: 43285
1996.66/2007.58 c #Conflicts: 1300000 | #Constraints: 44289
1996.66/2007.58 c #Conflicts: 1301000 | #Constraints: 45296
1996.66/2007.58 c #Conflicts: 1302000 | #Constraints: 46297
1996.66/2007.58 c INPROCESSING
1996.66/2007.58 c GARBAGE COLLECT
1996.66/2007.58 c rational objective 5
1996.95/2007.85 c GLOBAL bounds - >= 5 @ 1977.27
1996.95/2007.85 c GLOBAL bounds - >= 5 @ 1977.27
2026.57/2037.51 c #Conflicts: 1303000 | #Constraints: 24405
2026.57/2037.51 c #Conflicts: 1304000 | #Constraints: 25410
2026.57/2037.51 c #Conflicts: 1305000 | #Constraints: 26411
2026.57/2037.51 c #Conflicts: 1306000 | #Constraints: 27418
2026.57/2037.51 c #Conflicts: 1307000 | #Constraints: 28424
2026.57/2037.51 c #Conflicts: 1308000 | #Constraints: 29435
2026.57/2037.51 c #Conflicts: 1309000 | #Constraints: 30445
2026.57/2037.51 c #Conflicts: 1310000 | #Constraints: 31454
2026.57/2037.51 c #Conflicts: 1311000 | #Constraints: 32459
2026.57/2037.51 c #Conflicts: 1312000 | #Constraints: 33469
2026.57/2037.51 c #Conflicts: 1313000 | #Constraints: 34479
2026.57/2037.51 c #Conflicts: 1314000 | #Constraints: 35492
2026.57/2037.51 c #Conflicts: 1315000 | #Constraints: 36495
2026.57/2037.51 c #Conflicts: 1316000 | #Constraints: 37500
2026.57/2037.51 c #Conflicts: 1317000 | #Constraints: 38504
2026.57/2037.51 c #Conflicts: 1318000 | #Constraints: 39509
2026.57/2037.51 c #Conflicts: 1319000 | #Constraints: 40513
2026.57/2037.51 c #Conflicts: 1320000 | #Constraints: 41521
2026.57/2037.51 c #Conflicts: 1321000 | #Constraints: 42531
2026.57/2037.51 c #Conflicts: 1322000 | #Constraints: 43535
2026.57/2037.51 c #Conflicts: 1323000 | #Constraints: 44540
2026.57/2037.51 c #Conflicts: 1324000 | #Constraints: 45542
2026.57/2037.51 c #Conflicts: 1325000 | #Constraints: 46549
2026.57/2037.51 c INPROCESSING
2026.57/2037.51 c GARBAGE COLLECT
2026.57/2037.51 c rational objective 5
2026.87/2037.81 c GLOBAL bounds - >= 5 @ 2006.82
2026.87/2037.81 c GLOBAL bounds - >= 5 @ 2006.82
2054.90/2065.98 c #Conflicts: 1326000 | #Constraints: 24522
2054.90/2065.98 c #Conflicts: 1327000 | #Constraints: 25530
2054.90/2065.98 c #Conflicts: 1328000 | #Constraints: 26534
2054.90/2065.98 c #Conflicts: 1329000 | #Constraints: 27549
2054.90/2065.98 c #Conflicts: 1330000 | #Constraints: 28551
2054.90/2065.98 c #Conflicts: 1331000 | #Constraints: 29556
2054.90/2065.98 c #Conflicts: 1332000 | #Constraints: 30562
2054.90/2065.98 c #Conflicts: 1333000 | #Constraints: 31565
2054.90/2065.98 c #Conflicts: 1334000 | #Constraints: 32572
2054.90/2065.98 c #Conflicts: 1335000 | #Constraints: 33579
2054.90/2065.98 c #Conflicts: 1336000 | #Constraints: 34588
2054.90/2065.98 c #Conflicts: 1337000 | #Constraints: 35593
2054.90/2065.98 c #Conflicts: 1338000 | #Constraints: 36599
2054.90/2065.98 c #Conflicts: 1339000 | #Constraints: 37600
2054.90/2065.98 c #Conflicts: 1340000 | #Constraints: 38603
2054.90/2065.98 c #Conflicts: 1341000 | #Constraints: 39611
2054.90/2065.98 c #Conflicts: 1342000 | #Constraints: 40615
2054.90/2065.98 c #Conflicts: 1343000 | #Constraints: 41617
2054.90/2065.98 c #Conflicts: 1344000 | #Constraints: 42622
2054.90/2065.98 c #Conflicts: 1345000 | #Constraints: 43626
2054.90/2065.98 c #Conflicts: 1346000 | #Constraints: 44628
2054.90/2065.98 c #Conflicts: 1347000 | #Constraints: 45629
2054.90/2065.98 c #Conflicts: 1348000 | #Constraints: 46633
2054.90/2065.98 c INPROCESSING
2054.90/2065.98 c GARBAGE COLLECT
2054.90/2065.98 c rational objective 5
2055.30/2066.32 c GLOBAL bounds - >= 5 @ 2034.91
2055.30/2066.32 c GLOBAL bounds - >= 5 @ 2034.91
2114.11/2125.35 c #Conflicts: 1349000 | #Constraints: 24482
2114.11/2125.35 c #Conflicts: 1350000 | #Constraints: 25485
2114.11/2125.35 c #Conflicts: 1351000 | #Constraints: 26496
2114.11/2125.35 c #Conflicts: 1352000 | #Constraints: 27502
2114.11/2125.35 c #Conflicts: 1353000 | #Constraints: 28508
2114.11/2125.35 c #Conflicts: 1354000 | #Constraints: 29511
2114.11/2125.35 c #Conflicts: 1355000 | #Constraints: 30516
2114.11/2125.35 c #Conflicts: 1356000 | #Constraints: 31519
2114.11/2125.35 c #Conflicts: 1357000 | #Constraints: 32522
2114.11/2125.35 c #Conflicts: 1358000 | #Constraints: 33522
2114.11/2125.35 c #Conflicts: 1359000 | #Constraints: 34526
2114.11/2125.35 c #Conflicts: 1360000 | #Constraints: 35535
2114.11/2125.35 c #Conflicts: 1361000 | #Constraints: 36539
2114.11/2125.35 c #Conflicts: 1362000 | #Constraints: 37547
2114.11/2125.35 c #Conflicts: 1363000 | #Constraints: 38555
2114.11/2125.35 c #Conflicts: 1364000 | #Constraints: 39561
2114.11/2125.35 c #Conflicts: 1365000 | #Constraints: 40566
2114.11/2125.35 c #Conflicts: 1366000 | #Constraints: 41572
2114.11/2125.35 c #Conflicts: 1367000 | #Constraints: 42583
2114.11/2125.35 c #Conflicts: 1368000 | #Constraints: 43594
2114.11/2125.35 c #Conflicts: 1369000 | #Constraints: 44597
2114.11/2125.35 c #Conflicts: 1370000 | #Constraints: 45605
2114.11/2125.35 c #Conflicts: 1371000 | #Constraints: 46610
2114.11/2125.35 c INPROCESSING
2114.11/2125.35 c GARBAGE COLLECT
2114.11/2125.35 c rational objective 5
2114.41/2125.61 c GLOBAL bounds - >= 5 @ 2093.62
2114.41/2125.61 c GLOBAL bounds - >= 5 @ 2093.62
2165.45/2176.87 c #Conflicts: 1372000 | #Constraints: 24255
2165.45/2176.87 c #Conflicts: 1373000 | #Constraints: 25261
2165.45/2176.87 c #Conflicts: 1374000 | #Constraints: 26269
2165.45/2176.87 c #Conflicts: 1375000 | #Constraints: 27274
2165.45/2176.87 c #Conflicts: 1376000 | #Constraints: 28284
2165.45/2176.87 c #Conflicts: 1377000 | #Constraints: 29295
2165.45/2176.87 c #Conflicts: 1378000 | #Constraints: 30302
2165.45/2176.87 c #Conflicts: 1379000 | #Constraints: 31304
2165.45/2176.87 c #Conflicts: 1380000 | #Constraints: 32308
2165.45/2176.87 c #Conflicts: 1381000 | #Constraints: 33309
2165.45/2176.87 c #Conflicts: 1382000 | #Constraints: 34312
2165.45/2176.87 c #Conflicts: 1383000 | #Constraints: 35319
2165.45/2176.87 c #Conflicts: 1384000 | #Constraints: 36330
2165.45/2176.87 c #Conflicts: 1385000 | #Constraints: 37335
2165.45/2176.87 c #Conflicts: 1386000 | #Constraints: 38340
2165.45/2176.87 c #Conflicts: 1387000 | #Constraints: 39350
2165.45/2176.87 c #Conflicts: 1388000 | #Constraints: 40359
2165.45/2176.87 c #Conflicts: 1389000 | #Constraints: 41370
2165.45/2176.87 c #Conflicts: 1390000 | #Constraints: 42382
2165.45/2176.87 c #Conflicts: 1391000 | #Constraints: 43386
2165.45/2176.87 c #Conflicts: 1392000 | #Constraints: 44394
2165.45/2176.87 c #Conflicts: 1393000 | #Constraints: 45405
2165.45/2176.87 c #Conflicts: 1394000 | #Constraints: 46409
2165.45/2176.87 c #Conflicts: 1395000 | #Constraints: 47416
2165.45/2176.87 c INPROCESSING
2165.45/2176.87 c GARBAGE COLLECT
2165.45/2176.87 c rational objective 5
2165.65/2177.09 c GLOBAL bounds - >= 5 @ 2144.59
2165.65/2177.09 c GLOBAL bounds - >= 5 @ 2144.59
2220.17/2231.75 c #Conflicts: 1396000 | #Constraints: 24860
2220.17/2231.75 c #Conflicts: 1397000 | #Constraints: 25865
2220.17/2231.75 c #Conflicts: 1398000 | #Constraints: 26873
2220.17/2231.75 c #Conflicts: 1399000 | #Constraints: 27879
2220.17/2231.75 c #Conflicts: 1400000 | #Constraints: 28884
2220.17/2231.75 c #Conflicts: 1401000 | #Constraints: 29888
2220.17/2231.75 c #Conflicts: 1402000 | #Constraints: 30892
2220.17/2231.75 c #Conflicts: 1403000 | #Constraints: 31901
2220.17/2231.75 c #Conflicts: 1404000 | #Constraints: 32906
2220.17/2231.75 c #Conflicts: 1405000 | #Constraints: 33910
2220.17/2231.75 c #Conflicts: 1406000 | #Constraints: 34914
2220.17/2231.75 c #Conflicts: 1407000 | #Constraints: 35917
2220.17/2231.75 c #Conflicts: 1408000 | #Constraints: 36920
2220.17/2231.75 c #Conflicts: 1409000 | #Constraints: 37924
2220.17/2231.75 c #Conflicts: 1410000 | #Constraints: 38936
2220.17/2231.75 c #Conflicts: 1411000 | #Constraints: 39943
2220.17/2231.75 c #Conflicts: 1412000 | #Constraints: 40963
2220.17/2231.75 c #Conflicts: 1413000 | #Constraints: 41972
2220.17/2231.75 c #Conflicts: 1414000 | #Constraints: 42982
2220.17/2231.75 c #Conflicts: 1415000 | #Constraints: 43990
2220.17/2231.75 c #Conflicts: 1416000 | #Constraints: 44995
2220.17/2231.75 c #Conflicts: 1417000 | #Constraints: 45999
2220.17/2231.75 c #Conflicts: 1418000 | #Constraints: 47006
2220.17/2231.75 c #Conflicts: 1419000 | #Constraints: 48011
2220.17/2231.75 c INPROCESSING
2220.17/2231.75 c GARBAGE COLLECT
2220.17/2231.75 c rational objective 5
2220.76/2232.38 c GLOBAL bounds - >= 5 @ 2199.28
2220.76/2232.38 c GLOBAL bounds - >= 5 @ 2199.28
2273.80/2285.56 c #Conflicts: 1420000 | #Constraints: 25256
2273.80/2285.56 c #Conflicts: 1421000 | #Constraints: 26259
2273.80/2285.56 c #Conflicts: 1422000 | #Constraints: 27262
2273.80/2285.56 c #Conflicts: 1423000 | #Constraints: 28267
2273.80/2285.56 c #Conflicts: 1424000 | #Constraints: 29273
2273.80/2285.56 c #Conflicts: 1425000 | #Constraints: 30278
2273.80/2285.56 c #Conflicts: 1426000 | #Constraints: 31284
2273.80/2285.56 c #Conflicts: 1427000 | #Constraints: 32286
2273.80/2285.56 c #Conflicts: 1428000 | #Constraints: 33294
2273.80/2285.56 c #Conflicts: 1429000 | #Constraints: 34304
2273.80/2285.56 c #Conflicts: 1430000 | #Constraints: 35312
2273.80/2285.56 c #Conflicts: 1431000 | #Constraints: 36316
2273.80/2285.56 c #Conflicts: 1432000 | #Constraints: 37320
2273.80/2285.56 c #Conflicts: 1433000 | #Constraints: 38327
2273.80/2285.56 c #Conflicts: 1434000 | #Constraints: 39330
2273.80/2285.56 c #Conflicts: 1435000 | #Constraints: 40343
2273.80/2285.56 c #Conflicts: 1436000 | #Constraints: 41348
2273.80/2285.56 c #Conflicts: 1437000 | #Constraints: 42350
2273.80/2285.56 c #Conflicts: 1438000 | #Constraints: 43358
2273.80/2285.56 c #Conflicts: 1439000 | #Constraints: 44367
2273.80/2285.56 c #Conflicts: 1440000 | #Constraints: 45372
2273.80/2285.56 c #Conflicts: 1441000 | #Constraints: 46377
2273.80/2285.56 c #Conflicts: 1442000 | #Constraints: 47383
2273.80/2285.56 c #Conflicts: 1443000 | #Constraints: 48388
2273.80/2285.56 c INPROCESSING
2273.80/2285.56 c GARBAGE COLLECT
2273.80/2285.56 c rational objective 5
2274.10/2285.85 c GLOBAL bounds - >= 5 @ 2252.19
2274.10/2285.85 c GLOBAL bounds - >= 5 @ 2252.19
2330.01/2341.96 c #Conflicts: 1444000 | #Constraints: 25433
2330.01/2341.96 c #Conflicts: 1445000 | #Constraints: 26441
2330.01/2341.96 c #Conflicts: 1446000 | #Constraints: 27447
2330.01/2341.96 c #Conflicts: 1447000 | #Constraints: 28449
2330.01/2341.96 c #Conflicts: 1448000 | #Constraints: 29450
2330.01/2341.96 c #Conflicts: 1449000 | #Constraints: 30454
2330.01/2341.96 c #Conflicts: 1450000 | #Constraints: 31475
2330.01/2341.96 c #Conflicts: 1451000 | #Constraints: 32490
2330.01/2341.96 c #Conflicts: 1452000 | #Constraints: 33509
2330.01/2341.96 c #Conflicts: 1453000 | #Constraints: 34522
2330.01/2341.96 c #Conflicts: 1454000 | #Constraints: 35530
2330.01/2341.96 c #Conflicts: 1455000 | #Constraints: 36533
2330.01/2341.96 c #Conflicts: 1456000 | #Constraints: 37540
2330.01/2341.96 c #Conflicts: 1457000 | #Constraints: 38542
2330.01/2341.96 c #Conflicts: 1458000 | #Constraints: 39552
2330.01/2341.96 c #Conflicts: 1459000 | #Constraints: 40555
2330.01/2341.96 c #Conflicts: 1460000 | #Constraints: 41560
2330.01/2341.96 c #Conflicts: 1461000 | #Constraints: 42567
2330.01/2341.96 c #Conflicts: 1462000 | #Constraints: 43575
2330.01/2341.96 c #Conflicts: 1463000 | #Constraints: 44581
2330.01/2341.96 c #Conflicts: 1464000 | #Constraints: 45587
2330.01/2341.96 c #Conflicts: 1465000 | #Constraints: 46596
2330.01/2341.96 c #Conflicts: 1466000 | #Constraints: 47600
2330.01/2341.96 c #Conflicts: 1467000 | #Constraints: 48605
2330.01/2341.96 c INPROCESSING
2330.01/2341.96 c GARBAGE COLLECT
2330.01/2341.96 c rational objective 5
2330.31/2342.29 c GLOBAL bounds - >= 5 @ 2308
2330.31/2342.29 c GLOBAL bounds - >= 5 @ 2308
2379.35/2391.41 c #Conflicts: 1468000 | #Constraints: 25446
2379.35/2391.41 c #Conflicts: 1469000 | #Constraints: 26449
2379.35/2391.41 c #Conflicts: 1470000 | #Constraints: 27462
2379.35/2391.41 c #Conflicts: 1471000 | #Constraints: 28473
2379.35/2391.41 c #Conflicts: 1472000 | #Constraints: 29476
2379.35/2391.41 c #Conflicts: 1473000 | #Constraints: 30482
2379.35/2391.41 c #Conflicts: 1474000 | #Constraints: 31490
2379.35/2391.41 c #Conflicts: 1475000 | #Constraints: 32499
2379.35/2391.41 c #Conflicts: 1476000 | #Constraints: 33505
2379.35/2391.41 c #Conflicts: 1477000 | #Constraints: 34514
2379.35/2391.41 c #Conflicts: 1478000 | #Constraints: 35518
2379.35/2391.41 c #Conflicts: 1479000 | #Constraints: 36521
2379.35/2391.41 c #Conflicts: 1480000 | #Constraints: 37522
2379.35/2391.41 c #Conflicts: 1481000 | #Constraints: 38525
2379.35/2391.41 c #Conflicts: 1482000 | #Constraints: 39543
2379.35/2391.41 c #Conflicts: 1483000 | #Constraints: 40553
2379.35/2391.41 c #Conflicts: 1484000 | #Constraints: 41564
2379.35/2391.41 c #Conflicts: 1485000 | #Constraints: 42569
2379.35/2391.41 c #Conflicts: 1486000 | #Constraints: 43576
2379.35/2391.41 c #Conflicts: 1487000 | #Constraints: 44583
2379.35/2391.41 c #Conflicts: 1488000 | #Constraints: 45591
2379.35/2391.41 c #Conflicts: 1489000 | #Constraints: 46598
2379.35/2391.41 c #Conflicts: 1490000 | #Constraints: 47603
2379.35/2391.41 c #Conflicts: 1491000 | #Constraints: 48609
2379.35/2391.41 c INPROCESSING
2379.35/2391.41 c GARBAGE COLLECT
2379.35/2391.41 c rational objective 5
2379.55/2391.69 c GLOBAL bounds - >= 5 @ 2356.83
2379.55/2391.69 c GLOBAL bounds - >= 5 @ 2356.83
2417.82/2430.03 c #Conflicts: 1492000 | #Constraints: 25253
2417.82/2430.03 c #Conflicts: 1493000 | #Constraints: 26270
2417.82/2430.03 c #Conflicts: 1494000 | #Constraints: 27272
2417.82/2430.03 c #Conflicts: 1495000 | #Constraints: 28282
2417.82/2430.03 c #Conflicts: 1496000 | #Constraints: 29286
2417.82/2430.03 c #Conflicts: 1497000 | #Constraints: 30289
2417.82/2430.03 c #Conflicts: 1498000 | #Constraints: 31294
2417.82/2430.03 c #Conflicts: 1499000 | #Constraints: 32295
2417.82/2430.03 c #Conflicts: 1500000 | #Constraints: 33299
2417.82/2430.03 c #Conflicts: 1501000 | #Constraints: 34308
2417.82/2430.03 c #Conflicts: 1502000 | #Constraints: 35316
2417.82/2430.03 c #Conflicts: 1503000 | #Constraints: 36324
2417.82/2430.03 c #Conflicts: 1504000 | #Constraints: 37326
2417.82/2430.03 c #Conflicts: 1505000 | #Constraints: 38328
2417.82/2430.03 c #Conflicts: 1506000 | #Constraints: 39333
2417.82/2430.03 c #Conflicts: 1507000 | #Constraints: 40340
2417.82/2430.03 c #Conflicts: 1508000 | #Constraints: 41342
2417.82/2430.03 c #Conflicts: 1509000 | #Constraints: 42351
2417.82/2430.03 c #Conflicts: 1510000 | #Constraints: 43354
2417.82/2430.03 c #Conflicts: 1511000 | #Constraints: 44365
2417.82/2430.03 c #Conflicts: 1512000 | #Constraints: 45378
2417.82/2430.03 c #Conflicts: 1513000 | #Constraints: 46388
2417.82/2430.03 c #Conflicts: 1514000 | #Constraints: 47393
2417.82/2430.03 c #Conflicts: 1515000 | #Constraints: 48400
2417.82/2430.03 c #Conflicts: 1516000 | #Constraints: 49409
2417.82/2430.03 c INPROCESSING
2417.82/2430.03 c GARBAGE COLLECT
2417.82/2430.03 c rational objective 5
2417.93/2430.19 c GLOBAL bounds - >= 5 @ 2394.86
2417.93/2430.19 c GLOBAL bounds - >= 5 @ 2394.86
2478.64/2491.08 c #Conflicts: 1517000 | #Constraints: 25854
2478.64/2491.08 c #Conflicts: 1518000 | #Constraints: 26859
2478.64/2491.08 c #Conflicts: 1519000 | #Constraints: 27863
2478.64/2491.08 c #Conflicts: 1520000 | #Constraints: 28870
2478.64/2491.08 c #Conflicts: 1521000 | #Constraints: 29877
2478.64/2491.08 c #Conflicts: 1522000 | #Constraints: 30884
2478.64/2491.08 c #Conflicts: 1523000 | #Constraints: 31889
2478.64/2491.08 c #Conflicts: 1524000 | #Constraints: 32892
2478.64/2491.08 c #Conflicts: 1525000 | #Constraints: 33894
2478.64/2491.08 c #Conflicts: 1526000 | #Constraints: 34897
2478.64/2491.08 c #Conflicts: 1527000 | #Constraints: 35900
2478.64/2491.08 c #Conflicts: 1528000 | #Constraints: 36906
2478.64/2491.08 c #Conflicts: 1529000 | #Constraints: 37909
2478.64/2491.08 c #Conflicts: 1530000 | #Constraints: 38911
2478.64/2491.08 c #Conflicts: 1531000 | #Constraints: 39918
2478.64/2491.08 c #Conflicts: 1532000 | #Constraints: 40922
2478.64/2491.08 c #Conflicts: 1533000 | #Constraints: 41924
2478.64/2491.08 c #Conflicts: 1534000 | #Constraints: 42926
2478.64/2491.08 c #Conflicts: 1535000 | #Constraints: 43930
2478.64/2491.08 c #Conflicts: 1536000 | #Constraints: 44935
2478.64/2491.08 c #Conflicts: 1537000 | #Constraints: 45942
2478.64/2491.08 c #Conflicts: 1538000 | #Constraints: 46947
2478.64/2491.08 c #Conflicts: 1539000 | #Constraints: 47953
2478.64/2491.08 c #Conflicts: 1540000 | #Constraints: 48963
2478.64/2491.08 c #Conflicts: 1541000 | #Constraints: 49967
2478.64/2491.08 c INPROCESSING
2478.64/2491.08 c GARBAGE COLLECT
2478.64/2491.08 c rational objective 5
2479.12/2491.50 c GLOBAL bounds - >= 5 @ 2455.55
2479.12/2491.50 c GLOBAL bounds - >= 5 @ 2455.55
2531.65/2544.23 c #Conflicts: 1542000 | #Constraints: 26220
2531.65/2544.23 c #Conflicts: 1543000 | #Constraints: 27230
2531.65/2544.23 c #Conflicts: 1544000 | #Constraints: 28240
2531.65/2544.23 c #Conflicts: 1545000 | #Constraints: 29249
2531.65/2544.23 c #Conflicts: 1546000 | #Constraints: 30259
2531.65/2544.23 c #Conflicts: 1547000 | #Constraints: 31265
2531.65/2544.23 c #Conflicts: 1548000 | #Constraints: 32280
2531.65/2544.23 c #Conflicts: 1549000 | #Constraints: 33287
2531.65/2544.23 c #Conflicts: 1550000 | #Constraints: 34294
2531.65/2544.23 c #Conflicts: 1551000 | #Constraints: 35301
2531.65/2544.23 c #Conflicts: 1552000 | #Constraints: 36309
2531.65/2544.23 c #Conflicts: 1553000 | #Constraints: 37315
2531.65/2544.23 c #Conflicts: 1554000 | #Constraints: 38318
2531.65/2544.23 c #Conflicts: 1555000 | #Constraints: 39324
2531.65/2544.23 c #Conflicts: 1556000 | #Constraints: 40331
2531.65/2544.23 c #Conflicts: 1557000 | #Constraints: 41333
2531.65/2544.23 c #Conflicts: 1558000 | #Constraints: 42337
2531.65/2544.23 c #Conflicts: 1559000 | #Constraints: 43337
2531.65/2544.23 c #Conflicts: 1560000 | #Constraints: 44338
2531.65/2544.23 c #Conflicts: 1561000 | #Constraints: 45339
2531.65/2544.23 c #Conflicts: 1562000 | #Constraints: 46341
2531.65/2544.23 c #Conflicts: 1563000 | #Constraints: 47344
2531.65/2544.23 c #Conflicts: 1564000 | #Constraints: 48348
2531.65/2544.23 c #Conflicts: 1565000 | #Constraints: 49352
2531.65/2544.23 c #Conflicts: 1566000 | #Constraints: 50359
2531.65/2544.23 c INPROCESSING
2531.65/2544.23 c GARBAGE COLLECT
2531.65/2544.23 c rational objective 5
2531.85/2544.44 c GLOBAL bounds - >= 5 @ 2507.91
2531.85/2544.44 c GLOBAL bounds - >= 5 @ 2507.91
2587.28/2600.07 c #Conflicts: 1567000 | #Constraints: 26446
2587.28/2600.07 c #Conflicts: 1568000 | #Constraints: 27454
2587.28/2600.07 c #Conflicts: 1569000 | #Constraints: 28458
2587.28/2600.07 c #Conflicts: 1570000 | #Constraints: 29462
2587.28/2600.07 c #Conflicts: 1571000 | #Constraints: 30464
2587.28/2600.07 c #Conflicts: 1572000 | #Constraints: 31466
2587.28/2600.07 c #Conflicts: 1573000 | #Constraints: 32467
2587.28/2600.07 c #Conflicts: 1574000 | #Constraints: 33472
2587.28/2600.07 c #Conflicts: 1575000 | #Constraints: 34477
2587.28/2600.07 c #Conflicts: 1576000 | #Constraints: 35482
2587.28/2600.07 c #Conflicts: 1577000 | #Constraints: 36486
2587.28/2600.07 c #Conflicts: 1578000 | #Constraints: 37487
2587.28/2600.07 c #Conflicts: 1579000 | #Constraints: 38491
2587.28/2600.07 c #Conflicts: 1580000 | #Constraints: 39494
2587.28/2600.07 c #Conflicts: 1581000 | #Constraints: 40501
2587.28/2600.07 c #Conflicts: 1582000 | #Constraints: 41505
2587.28/2600.07 c #Conflicts: 1583000 | #Constraints: 42510
2587.28/2600.07 c #Conflicts: 1584000 | #Constraints: 43520
2587.28/2600.07 c #Conflicts: 1585000 | #Constraints: 44527
2587.28/2600.07 c #Conflicts: 1586000 | #Constraints: 45529
2587.28/2600.07 c #Conflicts: 1587000 | #Constraints: 46533
2587.28/2600.07 c #Conflicts: 1588000 | #Constraints: 47534
2587.28/2600.07 c #Conflicts: 1589000 | #Constraints: 48538
2587.28/2600.07 c #Conflicts: 1590000 | #Constraints: 49545
2587.28/2600.07 c #Conflicts: 1591000 | #Constraints: 50551
2587.28/2600.07 c INPROCESSING
2587.28/2600.07 c GARBAGE COLLECT
2587.28/2600.07 c rational objective 5
2587.58/2600.32 c GLOBAL bounds - >= 5 @ 2563.22
2587.58/2600.32 c GLOBAL bounds - >= 5 @ 2563.22
2676.68/2689.78 c #Conflicts: 1592000 | #Constraints: 26470
2676.68/2689.78 c #Conflicts: 1593000 | #Constraints: 27472
2676.68/2689.78 c #Conflicts: 1594000 | #Constraints: 28474
2676.68/2689.78 c #Conflicts: 1595000 | #Constraints: 29474
2676.68/2689.78 c #Conflicts: 1596000 | #Constraints: 30476
2676.68/2689.78 c #Conflicts: 1597000 | #Constraints: 31477
2676.68/2689.78 c #Conflicts: 1598000 | #Constraints: 32478
2676.68/2689.78 c #Conflicts: 1599000 | #Constraints: 33480
2676.68/2689.78 c #Conflicts: 1600000 | #Constraints: 34481
2676.68/2689.78 c #Conflicts: 1601000 | #Constraints: 35484
2676.68/2689.78 c #Conflicts: 1602000 | #Constraints: 36485
2676.68/2689.78 c #Conflicts: 1603000 | #Constraints: 37486
2676.68/2689.78 c #Conflicts: 1604000 | #Constraints: 38490
2676.68/2689.78 c #Conflicts: 1605000 | #Constraints: 39490
2676.68/2689.78 c #Conflicts: 1606000 | #Constraints: 40490
2676.68/2689.78 c #Conflicts: 1607000 | #Constraints: 41490
2676.68/2689.78 c #Conflicts: 1608000 | #Constraints: 42491
2676.68/2689.78 c #Conflicts: 1609000 | #Constraints: 43491
2676.68/2689.78 c #Conflicts: 1610000 | #Constraints: 44493
2676.68/2689.78 c #Conflicts: 1611000 | #Constraints: 45495
2676.68/2689.78 c #Conflicts: 1612000 | #Constraints: 46497
2676.68/2689.78 c #Conflicts: 1613000 | #Constraints: 47497
2676.68/2689.78 c #Conflicts: 1614000 | #Constraints: 48498
2676.68/2689.78 c #Conflicts: 1615000 | #Constraints: 49501
2676.68/2689.78 c #Conflicts: 1616000 | #Constraints: 50502
2676.68/2689.78 c INPROCESSING
2676.68/2689.78 c GARBAGE COLLECT
2676.68/2689.78 c rational objective 5
2677.18/2690.25 c GLOBAL bounds - >= 5 @ 2652.35
2677.18/2690.25 c GLOBAL bounds - >= 5 @ 2652.35
2752.74/2766.03 c #Conflicts: 1617000 | #Constraints: 26300
2752.74/2766.03 c #Conflicts: 1618000 | #Constraints: 27303
2752.74/2766.03 c #Conflicts: 1619000 | #Constraints: 28306
2752.74/2766.03 c #Conflicts: 1620000 | #Constraints: 29308
2752.74/2766.03 c #Conflicts: 1621000 | #Constraints: 30312
2752.74/2766.03 c #Conflicts: 1622000 | #Constraints: 31316
2752.74/2766.03 c #Conflicts: 1623000 | #Constraints: 32318
2752.74/2766.03 c #Conflicts: 1624000 | #Constraints: 33323
2752.74/2766.03 c #Conflicts: 1625000 | #Constraints: 34327
2752.74/2766.03 c #Conflicts: 1626000 | #Constraints: 35331
2752.74/2766.03 c #Conflicts: 1627000 | #Constraints: 36336
2752.74/2766.03 c #Conflicts: 1628000 | #Constraints: 37344
2752.74/2766.03 c #Conflicts: 1629000 | #Constraints: 38349
2752.74/2766.03 c #Conflicts: 1630000 | #Constraints: 39353
2752.74/2766.03 c #Conflicts: 1631000 | #Constraints: 40358
2752.74/2766.03 c #Conflicts: 1632000 | #Constraints: 41366
2752.74/2766.03 c #Conflicts: 1633000 | #Constraints: 42368
2752.74/2766.03 c #Conflicts: 1634000 | #Constraints: 43369
2752.74/2766.03 c #Conflicts: 1635000 | #Constraints: 44372
2752.74/2766.03 c #Conflicts: 1636000 | #Constraints: 45378
2752.74/2766.03 c #Conflicts: 1637000 | #Constraints: 46380
2752.74/2766.03 c #Conflicts: 1638000 | #Constraints: 47385
2752.74/2766.03 c #Conflicts: 1639000 | #Constraints: 48390
2752.74/2766.03 c #Conflicts: 1640000 | #Constraints: 49393
2752.74/2766.03 c #Conflicts: 1641000 | #Constraints: 50398
2752.74/2766.03 c #Conflicts: 1642000 | #Constraints: 51403
2752.74/2766.03 c INPROCESSING
2752.74/2766.03 c GARBAGE COLLECT
2752.74/2766.03 c rational objective 5
2752.93/2766.25 c GLOBAL bounds - >= 5 @ 2727.61
2752.93/2766.25 c GLOBAL bounds - >= 5 @ 2727.61
2800.79/2814.27 c #Conflicts: 1643000 | #Constraints: 26844
2800.79/2814.27 c #Conflicts: 1644000 | #Constraints: 27850
2800.79/2814.27 c #Conflicts: 1645000 | #Constraints: 28855
2800.79/2814.27 c #Conflicts: 1646000 | #Constraints: 29862
2800.79/2814.27 c #Conflicts: 1647000 | #Constraints: 30867
2800.79/2814.27 c #Conflicts: 1648000 | #Constraints: 31872
2800.79/2814.27 c #Conflicts: 1649000 | #Constraints: 32875
2800.79/2814.27 c #Conflicts: 1650000 | #Constraints: 33885
2800.79/2814.27 c #Conflicts: 1651000 | #Constraints: 34897
2800.79/2814.27 c #Conflicts: 1652000 | #Constraints: 35898
2800.79/2814.27 c #Conflicts: 1653000 | #Constraints: 36904
2800.79/2814.27 c #Conflicts: 1654000 | #Constraints: 37914
2800.79/2814.27 c #Conflicts: 1655000 | #Constraints: 38919
2800.79/2814.27 c #Conflicts: 1656000 | #Constraints: 39924
2800.79/2814.27 c #Conflicts: 1657000 | #Constraints: 40929
2800.79/2814.27 c #Conflicts: 1658000 | #Constraints: 41932
2800.79/2814.27 c #Conflicts: 1659000 | #Constraints: 42944
2800.79/2814.27 c #Conflicts: 1660000 | #Constraints: 43954
2800.79/2814.27 c #Conflicts: 1661000 | #Constraints: 44960
2800.79/2814.27 c #Conflicts: 1662000 | #Constraints: 45966
2800.79/2814.27 c #Conflicts: 1663000 | #Constraints: 46976
2800.79/2814.27 c #Conflicts: 1664000 | #Constraints: 47978
2800.79/2814.27 c #Conflicts: 1665000 | #Constraints: 48984
2800.79/2814.27 c #Conflicts: 1666000 | #Constraints: 49985
2800.79/2814.27 c #Conflicts: 1667000 | #Constraints: 50989
2800.79/2814.27 c #Conflicts: 1668000 | #Constraints: 51995
2800.79/2814.27 c INPROCESSING
2800.79/2814.27 c GARBAGE COLLECT
2800.79/2814.27 c rational objective 5
2801.08/2814.51 c GLOBAL bounds - >= 5 @ 2775.3
2801.08/2814.51 c GLOBAL bounds - >= 5 @ 2775.3
2865.07/2878.72 c #Conflicts: 1669000 | #Constraints: 27251
2865.07/2878.72 c #Conflicts: 1670000 | #Constraints: 28258
2865.07/2878.72 c #Conflicts: 1671000 | #Constraints: 29266
2865.07/2878.72 c #Conflicts: 1672000 | #Constraints: 30269
2865.07/2878.72 c #Conflicts: 1673000 | #Constraints: 31272
2865.07/2878.72 c #Conflicts: 1674000 | #Constraints: 32278
2865.07/2878.72 c #Conflicts: 1675000 | #Constraints: 33281
2865.07/2878.72 c #Conflicts: 1676000 | #Constraints: 34284
2865.07/2878.72 c #Conflicts: 1677000 | #Constraints: 35288
2865.07/2878.72 c #Conflicts: 1678000 | #Constraints: 36290
2865.07/2878.72 c #Conflicts: 1679000 | #Constraints: 37297
2865.07/2878.72 c #Conflicts: 1680000 | #Constraints: 38304
2865.07/2878.72 c #Conflicts: 1681000 | #Constraints: 39308
2865.07/2878.72 c #Conflicts: 1682000 | #Constraints: 40313
2865.07/2878.72 c #Conflicts: 1683000 | #Constraints: 41322
2865.07/2878.72 c #Conflicts: 1684000 | #Constraints: 42327
2865.07/2878.72 c #Conflicts: 1685000 | #Constraints: 43333
2865.07/2878.72 c #Conflicts: 1686000 | #Constraints: 44341
2865.07/2878.72 c #Conflicts: 1687000 | #Constraints: 45349
2865.07/2878.72 c #Conflicts: 1688000 | #Constraints: 46357
2865.07/2878.72 c #Conflicts: 1689000 | #Constraints: 47365
2865.07/2878.72 c #Conflicts: 1690000 | #Constraints: 48375
2865.07/2878.72 c #Conflicts: 1691000 | #Constraints: 49383
2865.07/2878.72 c #Conflicts: 1692000 | #Constraints: 50391
2865.07/2878.72 c #Conflicts: 1693000 | #Constraints: 51398
2865.07/2878.72 c #Conflicts: 1694000 | #Constraints: 52403
2865.07/2878.72 c INPROCESSING
2865.07/2878.72 c GARBAGE COLLECT
2865.07/2878.72 c rational objective 5
2865.48/2879.11 c GLOBAL bounds - >= 5 @ 2839.25
2865.48/2879.11 c GLOBAL bounds - >= 5 @ 2839.25
2917.21/2931.02 c #Conflicts: 1695000 | #Constraints: 27441
2917.21/2931.02 c #Conflicts: 1696000 | #Constraints: 28455
2917.21/2931.02 c #Conflicts: 1697000 | #Constraints: 29462
2917.21/2931.02 c #Conflicts: 1698000 | #Constraints: 30470
2917.21/2931.02 c #Conflicts: 1699000 | #Constraints: 31474
2917.21/2931.02 c #Conflicts: 1700000 | #Constraints: 32479
2917.21/2931.02 c #Conflicts: 1701000 | #Constraints: 33488
2917.21/2931.02 c #Conflicts: 1702000 | #Constraints: 34497
2917.21/2931.02 c #Conflicts: 1703000 | #Constraints: 35503
2917.21/2931.02 c #Conflicts: 1704000 | #Constraints: 36511
2917.21/2931.02 c #Conflicts: 1705000 | #Constraints: 37522
2917.21/2931.02 c #Conflicts: 1706000 | #Constraints: 38527
2917.21/2931.02 c #Conflicts: 1707000 | #Constraints: 39531
2917.21/2931.02 c #Conflicts: 1708000 | #Constraints: 40534
2917.21/2931.02 c #Conflicts: 1709000 | #Constraints: 41539
2917.21/2931.02 c #Conflicts: 1710000 | #Constraints: 42544
2917.21/2931.02 c #Conflicts: 1711000 | #Constraints: 43550
2917.21/2931.02 c #Conflicts: 1712000 | #Constraints: 44561
2917.21/2931.02 c #Conflicts: 1713000 | #Constraints: 45569
2917.21/2931.02 c #Conflicts: 1714000 | #Constraints: 46571
2917.21/2931.02 c #Conflicts: 1715000 | #Constraints: 47575
2917.21/2931.02 c #Conflicts: 1716000 | #Constraints: 48583
2917.21/2931.02 c #Conflicts: 1717000 | #Constraints: 49590
2917.21/2931.02 c #Conflicts: 1718000 | #Constraints: 50599
2917.21/2931.02 c #Conflicts: 1719000 | #Constraints: 51609
2917.21/2931.02 c #Conflicts: 1720000 | #Constraints: 52623
2917.21/2931.02 c INPROCESSING
2917.21/2931.02 c GARBAGE COLLECT
2917.21/2931.02 c rational objective 5
2917.41/2931.26 c GLOBAL bounds - >= 5 @ 2890.81
2917.41/2931.26 c GLOBAL bounds - >= 5 @ 2890.81
3011.70/3025.82 c #Conflicts: 1721000 | #Constraints: 27475
3011.70/3025.82 c #Conflicts: 1722000 | #Constraints: 28483
3011.70/3025.82 c #Conflicts: 1723000 | #Constraints: 29490
3011.70/3025.82 c #Conflicts: 1724000 | #Constraints: 30497
3011.70/3025.82 c #Conflicts: 1725000 | #Constraints: 31506
3011.70/3025.82 c #Conflicts: 1726000 | #Constraints: 32509
3011.70/3025.82 c #Conflicts: 1727000 | #Constraints: 33514
3011.70/3025.82 c #Conflicts: 1728000 | #Constraints: 34515
3011.70/3025.82 c #Conflicts: 1729000 | #Constraints: 35519
3011.70/3025.82 c #Conflicts: 1730000 | #Constraints: 36521
3011.70/3025.82 c #Conflicts: 1731000 | #Constraints: 37526
3011.70/3025.82 c #Conflicts: 1732000 | #Constraints: 38532
3011.70/3025.82 c #Conflicts: 1733000 | #Constraints: 39534
3011.70/3025.82 c #Conflicts: 1734000 | #Constraints: 40536
3011.70/3025.82 c #Conflicts: 1735000 | #Constraints: 41540
3011.70/3025.82 c #Conflicts: 1736000 | #Constraints: 42541
3011.70/3025.82 c #Conflicts: 1737000 | #Constraints: 43543
3011.70/3025.82 c #Conflicts: 1738000 | #Constraints: 44546
3011.70/3025.82 c #Conflicts: 1739000 | #Constraints: 45550
3011.70/3025.82 c #Conflicts: 1740000 | #Constraints: 46553
3011.70/3025.82 c #Conflicts: 1741000 | #Constraints: 47557
3011.70/3025.82 c #Conflicts: 1742000 | #Constraints: 48560
3011.70/3025.82 c #Conflicts: 1743000 | #Constraints: 49565
3011.70/3025.82 c #Conflicts: 1744000 | #Constraints: 50573
3011.70/3025.82 c #Conflicts: 1745000 | #Constraints: 51584
3011.70/3025.82 c #Conflicts: 1746000 | #Constraints: 52589
3011.70/3025.82 c INPROCESSING
3011.70/3025.82 c GARBAGE COLLECT
3011.70/3025.82 c rational objective 5
3012.11/3026.29 c GLOBAL bounds - >= 5 @ 2985.03
3012.11/3026.29 c GLOBAL bounds - >= 5 @ 2985.03
3062.87/3077.15 c #Conflicts: 1747000 | #Constraints: 27244
3062.87/3077.15 c #Conflicts: 1748000 | #Constraints: 28251
3062.87/3077.15 c #Conflicts: 1749000 | #Constraints: 29258
3062.87/3077.15 c #Conflicts: 1750000 | #Constraints: 30264
3062.87/3077.15 c #Conflicts: 1751000 | #Constraints: 31269
3062.87/3077.15 c #Conflicts: 1752000 | #Constraints: 32275
3062.87/3077.15 c #Conflicts: 1753000 | #Constraints: 33283
3062.87/3077.15 c #Conflicts: 1754000 | #Constraints: 34289
3062.87/3077.15 c #Conflicts: 1755000 | #Constraints: 35292
3062.87/3077.15 c #Conflicts: 1756000 | #Constraints: 36299
3062.87/3077.15 c #Conflicts: 1757000 | #Constraints: 37301
3062.87/3077.15 c #Conflicts: 1758000 | #Constraints: 38307
3062.87/3077.15 c #Conflicts: 1759000 | #Constraints: 39309
3062.87/3077.15 c #Conflicts: 1760000 | #Constraints: 40314
3062.87/3077.15 c #Conflicts: 1761000 | #Constraints: 41321
3062.87/3077.15 c #Conflicts: 1762000 | #Constraints: 42328
3062.87/3077.15 c #Conflicts: 1763000 | #Constraints: 43332
3062.87/3077.15 c #Conflicts: 1764000 | #Constraints: 44337
3062.87/3077.15 c #Conflicts: 1765000 | #Constraints: 45344
3062.87/3077.15 c #Conflicts: 1766000 | #Constraints: 46346
3062.87/3077.15 c #Conflicts: 1767000 | #Constraints: 47354
3062.87/3077.15 c #Conflicts: 1768000 | #Constraints: 48358
3062.87/3077.15 c #Conflicts: 1769000 | #Constraints: 49365
3062.87/3077.15 c #Conflicts: 1770000 | #Constraints: 50368
3062.87/3077.15 c #Conflicts: 1771000 | #Constraints: 51373
3062.87/3077.15 c #Conflicts: 1772000 | #Constraints: 52377
3062.87/3077.15 c #Conflicts: 1773000 | #Constraints: 53384
3062.87/3077.15 c INPROCESSING
3062.87/3077.15 c GARBAGE COLLECT
3062.87/3077.15 c rational objective 5
3063.06/3077.39 c GLOBAL bounds - >= 5 @ 3035.51
3063.06/3077.39 c GLOBAL bounds - >= 5 @ 3035.51
3120.81/3135.23 c #Conflicts: 1774000 | #Constraints: 27839
3120.81/3135.23 c #Conflicts: 1775000 | #Constraints: 28843
3120.81/3135.23 c #Conflicts: 1776000 | #Constraints: 29856
3120.81/3135.23 c #Conflicts: 1777000 | #Constraints: 30862
3120.81/3135.23 c #Conflicts: 1778000 | #Constraints: 31874
3120.81/3135.23 c #Conflicts: 1779000 | #Constraints: 32885
3120.81/3135.23 c #Conflicts: 1780000 | #Constraints: 33893
3120.81/3135.23 c #Conflicts: 1781000 | #Constraints: 34898
3120.81/3135.23 c #Conflicts: 1782000 | #Constraints: 35901
3120.81/3135.23 c #Conflicts: 1783000 | #Constraints: 36909
3120.81/3135.23 c #Conflicts: 1784000 | #Constraints: 37916
3120.81/3135.23 c #Conflicts: 1785000 | #Constraints: 38925
3120.81/3135.23 c #Conflicts: 1786000 | #Constraints: 39928
3120.81/3135.23 c #Conflicts: 1787000 | #Constraints: 40935
3120.81/3135.23 c #Conflicts: 1788000 | #Constraints: 41946
3120.81/3135.23 c #Conflicts: 1789000 | #Constraints: 42949
3120.81/3135.23 c #Conflicts: 1790000 | #Constraints: 43955
3120.81/3135.23 c #Conflicts: 1791000 | #Constraints: 44961
3120.81/3135.23 c #Conflicts: 1792000 | #Constraints: 45968
3120.81/3135.23 c #Conflicts: 1793000 | #Constraints: 46973
3120.81/3135.23 c #Conflicts: 1794000 | #Constraints: 47977
3120.81/3135.23 c #Conflicts: 1795000 | #Constraints: 48986
3120.81/3135.23 c #Conflicts: 1796000 | #Constraints: 49991
3120.81/3135.23 c #Conflicts: 1797000 | #Constraints: 50993
3120.81/3135.23 c #Conflicts: 1798000 | #Constraints: 51999
3120.81/3135.23 c #Conflicts: 1799000 | #Constraints: 53004
3120.81/3135.23 c #Conflicts: 1800000 | #Constraints: 54011
3120.81/3135.23 c INPROCESSING
3120.81/3135.23 c GARBAGE COLLECT
3120.81/3135.23 c rational objective 5
3121.10/3135.52 c GLOBAL bounds - >= 5 @ 3093.07
3121.10/3135.52 c GLOBAL bounds - >= 5 @ 3093.07
3163.19/3177.79 c #Conflicts: 1801000 | #Constraints: 28251
3163.19/3177.79 c #Conflicts: 1802000 | #Constraints: 29261
3163.19/3177.79 c #Conflicts: 1803000 | #Constraints: 30270
3163.19/3177.79 c #Conflicts: 1804000 | #Constraints: 31273
3163.19/3177.79 c #Conflicts: 1805000 | #Constraints: 32276
3163.19/3177.79 c #Conflicts: 1806000 | #Constraints: 33286
3163.19/3177.79 c #Conflicts: 1807000 | #Constraints: 34287
3163.19/3177.79 c #Conflicts: 1808000 | #Constraints: 35294
3163.19/3177.79 c #Conflicts: 1809000 | #Constraints: 36302
3163.19/3177.79 c #Conflicts: 1810000 | #Constraints: 37312
3163.19/3177.79 c #Conflicts: 1811000 | #Constraints: 38322
3163.19/3177.79 c #Conflicts: 1812000 | #Constraints: 39330
3163.19/3177.79 c #Conflicts: 1813000 | #Constraints: 40338
3163.19/3177.79 c #Conflicts: 1814000 | #Constraints: 41348
3163.19/3177.79 c #Conflicts: 1815000 | #Constraints: 42357
3163.19/3177.79 c #Conflicts: 1816000 | #Constraints: 43365
3163.19/3177.79 c #Conflicts: 1817000 | #Constraints: 44377
3163.19/3177.79 c #Conflicts: 1818000 | #Constraints: 45388
3163.19/3177.79 c #Conflicts: 1819000 | #Constraints: 46393
3163.19/3177.79 c #Conflicts: 1820000 | #Constraints: 47398
3163.19/3177.79 c #Conflicts: 1821000 | #Constraints: 48404
3163.19/3177.79 c #Conflicts: 1822000 | #Constraints: 49414
3163.19/3177.79 c #Conflicts: 1823000 | #Constraints: 50419
3163.19/3177.79 c #Conflicts: 1824000 | #Constraints: 51424
3163.19/3177.79 c #Conflicts: 1825000 | #Constraints: 52429
3163.19/3177.79 c #Conflicts: 1826000 | #Constraints: 53437
3163.19/3177.79 c #Conflicts: 1827000 | #Constraints: 54441
3163.19/3177.79 c INPROCESSING
3163.19/3177.79 c GARBAGE COLLECT
3163.19/3177.79 c rational objective 5
3163.49/3178.05 c GLOBAL bounds - >= 5 @ 3135.1
3163.49/3178.05 c GLOBAL bounds - >= 5 @ 3135.1
3218.44/3233.17 c #Conflicts: 1828000 | #Constraints: 28464
3218.44/3233.17 c #Conflicts: 1829000 | #Constraints: 29466
3218.44/3233.17 c #Conflicts: 1830000 | #Constraints: 30471
3218.44/3233.17 c #Conflicts: 1831000 | #Constraints: 31474
3218.44/3233.17 c #Conflicts: 1832000 | #Constraints: 32478
3218.44/3233.17 c #Conflicts: 1833000 | #Constraints: 33483
3218.44/3233.17 c #Conflicts: 1834000 | #Constraints: 34491
3218.44/3233.17 c #Conflicts: 1835000 | #Constraints: 35499
3218.44/3233.17 c #Conflicts: 1836000 | #Constraints: 36504
3218.44/3233.17 c #Conflicts: 1837000 | #Constraints: 37513
3218.44/3233.17 c #Conflicts: 1838000 | #Constraints: 38522
3218.44/3233.17 c #Conflicts: 1839000 | #Constraints: 39530
3218.44/3233.17 c #Conflicts: 1840000 | #Constraints: 40532
3218.44/3233.17 c #Conflicts: 1841000 | #Constraints: 41536
3218.44/3233.17 c #Conflicts: 1842000 | #Constraints: 42541
3218.44/3233.17 c #Conflicts: 1843000 | #Constraints: 43550
3218.44/3233.17 c #Conflicts: 1844000 | #Constraints: 44559
3218.44/3233.17 c #Conflicts: 1845000 | #Constraints: 45561
3218.44/3233.17 c #Conflicts: 1846000 | #Constraints: 46564
3218.44/3233.17 c #Conflicts: 1847000 | #Constraints: 47568
3218.44/3233.17 c #Conflicts: 1848000 | #Constraints: 48575
3218.44/3233.17 c #Conflicts: 1849000 | #Constraints: 49579
3218.44/3233.17 c #Conflicts: 1850000 | #Constraints: 50582
3218.44/3233.17 c #Conflicts: 1851000 | #Constraints: 51586
3218.44/3233.17 c #Conflicts: 1852000 | #Constraints: 52593
3218.44/3233.17 c #Conflicts: 1853000 | #Constraints: 53601
3218.44/3233.17 c #Conflicts: 1854000 | #Constraints: 54606
3218.44/3233.17 c INPROCESSING
3218.44/3233.17 c GARBAGE COLLECT
3218.44/3233.17 c rational objective 5
3218.74/3233.42 c GLOBAL bounds - >= 5 @ 3189.87
3218.74/3233.42 c GLOBAL bounds - >= 5 @ 3189.87
3308.90/3323.89 c #Conflicts: 1855000 | #Constraints: 28497
3308.90/3323.89 c #Conflicts: 1856000 | #Constraints: 29504
3308.90/3323.89 c #Conflicts: 1857000 | #Constraints: 30507
3308.90/3323.89 c #Conflicts: 1858000 | #Constraints: 31516
3308.90/3323.89 c #Conflicts: 1859000 | #Constraints: 32519
3308.90/3323.89 c #Conflicts: 1860000 | #Constraints: 33521
3308.90/3323.89 c #Conflicts: 1861000 | #Constraints: 34524
3308.90/3323.89 c #Conflicts: 1862000 | #Constraints: 35531
3308.90/3323.89 c #Conflicts: 1863000 | #Constraints: 36536
3308.90/3323.89 c #Conflicts: 1864000 | #Constraints: 37541
3308.90/3323.89 c #Conflicts: 1865000 | #Constraints: 38544
3308.90/3323.89 c #Conflicts: 1866000 | #Constraints: 39547
3308.90/3323.89 c #Conflicts: 1867000 | #Constraints: 40548
3308.90/3323.89 c #Conflicts: 1868000 | #Constraints: 41550
3308.90/3323.89 c #Conflicts: 1869000 | #Constraints: 42551
3308.90/3323.89 c #Conflicts: 1870000 | #Constraints: 43553
3308.90/3323.89 c #Conflicts: 1871000 | #Constraints: 44555
3308.90/3323.89 c #Conflicts: 1872000 | #Constraints: 45560
3308.90/3323.89 c #Conflicts: 1873000 | #Constraints: 46568
3308.90/3323.89 c #Conflicts: 1874000 | #Constraints: 47573
3308.90/3323.89 c #Conflicts: 1875000 | #Constraints: 48579
3308.90/3323.89 c #Conflicts: 1876000 | #Constraints: 49602
3308.90/3323.89 c #Conflicts: 1877000 | #Constraints: 50612
3308.90/3323.89 c #Conflicts: 1878000 | #Constraints: 51620
3308.90/3323.89 c #Conflicts: 1879000 | #Constraints: 52627
3308.90/3323.89 c #Conflicts: 1880000 | #Constraints: 53633
3308.90/3323.89 c #Conflicts: 1881000 | #Constraints: 54637
3308.90/3323.89 c INPROCESSING
3308.90/3323.89 c GARBAGE COLLECT
3308.90/3323.89 c rational objective 5
3309.30/3324.20 c GLOBAL bounds - >= 5 @ 3279.89
3309.30/3324.20 c GLOBAL bounds - >= 5 @ 3279.89
3366.85/3381.95 c #Conflicts: 1882000 | #Constraints: 28255
3366.85/3381.95 c #Conflicts: 1883000 | #Constraints: 29261
3366.85/3381.95 c #Conflicts: 1884000 | #Constraints: 30269
3366.85/3381.95 c #Conflicts: 1885000 | #Constraints: 31274
3366.85/3381.95 c #Conflicts: 1886000 | #Constraints: 32282
3366.85/3381.95 c #Conflicts: 1887000 | #Constraints: 33292
3366.85/3381.95 c #Conflicts: 1888000 | #Constraints: 34299
3366.85/3381.95 c #Conflicts: 1889000 | #Constraints: 35306
3366.85/3381.95 c #Conflicts: 1890000 | #Constraints: 36310
3366.85/3381.95 c #Conflicts: 1891000 | #Constraints: 37315
3366.85/3381.95 c #Conflicts: 1892000 | #Constraints: 38328
3366.85/3381.95 c #Conflicts: 1893000 | #Constraints: 39335
3366.85/3381.95 c #Conflicts: 1894000 | #Constraints: 40339
3366.85/3381.95 c #Conflicts: 1895000 | #Constraints: 41342
3366.85/3381.95 c #Conflicts: 1896000 | #Constraints: 42347
3366.85/3381.95 c #Conflicts: 1897000 | #Constraints: 43353
3366.85/3381.95 c #Conflicts: 1898000 | #Constraints: 44356
3366.85/3381.95 c #Conflicts: 1899000 | #Constraints: 45364
3366.85/3381.95 c #Conflicts: 1900000 | #Constraints: 46373
3366.85/3381.95 c #Conflicts: 1901000 | #Constraints: 47378
3366.85/3381.95 c #Conflicts: 1902000 | #Constraints: 48387
3366.85/3381.95 c #Conflicts: 1903000 | #Constraints: 49390
3366.85/3381.95 c #Conflicts: 1904000 | #Constraints: 50393
3366.85/3381.95 c #Conflicts: 1905000 | #Constraints: 51400
3366.85/3381.95 c #Conflicts: 1906000 | #Constraints: 52406
3366.85/3381.95 c #Conflicts: 1907000 | #Constraints: 53411
3366.85/3381.95 c #Conflicts: 1908000 | #Constraints: 54417
3366.85/3381.95 c #Conflicts: 1909000 | #Constraints: 55421
3366.85/3381.95 c INPROCESSING
3366.85/3381.95 c GARBAGE COLLECT
3366.85/3381.95 c rational objective 5
3367.16/3382.27 c GLOBAL bounds - >= 5 @ 3337.37
3367.16/3382.27 c GLOBAL bounds - >= 5 @ 3337.37
3413.23/3428.46 c #Conflicts: 1910000 | #Constraints: 29032
3413.23/3428.46 c #Conflicts: 1911000 | #Constraints: 30055
3413.23/3428.46 c #Conflicts: 1912000 | #Constraints: 31068
3413.23/3428.46 c #Conflicts: 1913000 | #Constraints: 32084
3413.23/3428.46 c #Conflicts: 1914000 | #Constraints: 33088
3413.23/3428.46 c #Conflicts: 1915000 | #Constraints: 34091
3413.23/3428.46 c #Conflicts: 1916000 | #Constraints: 35098
3413.23/3428.46 c #Conflicts: 1917000 | #Constraints: 36111
3413.23/3428.46 c #Conflicts: 1918000 | #Constraints: 37119
3413.23/3428.46 c #Conflicts: 1919000 | #Constraints: 38124
3413.23/3428.46 c #Conflicts: 1920000 | #Constraints: 39132
3413.23/3428.46 c #Conflicts: 1921000 | #Constraints: 40138
3413.23/3428.46 c #Conflicts: 1922000 | #Constraints: 41146
3413.23/3428.46 c #Conflicts: 1923000 | #Constraints: 42158
3413.23/3428.46 c #Conflicts: 1924000 | #Constraints: 43173
3413.23/3428.46 c #Conflicts: 1925000 | #Constraints: 44182
3413.23/3428.46 c #Conflicts: 1926000 | #Constraints: 45186
3413.23/3428.46 c #Conflicts: 1927000 | #Constraints: 46190
3413.23/3428.46 c #Conflicts: 1928000 | #Constraints: 47195
3413.23/3428.46 c #Conflicts: 1929000 | #Constraints: 48201
3413.23/3428.46 c #Conflicts: 1930000 | #Constraints: 49207
3413.23/3428.46 c #Conflicts: 1931000 | #Constraints: 50211
3413.23/3428.46 c #Conflicts: 1932000 | #Constraints: 51216
3413.23/3428.46 c #Conflicts: 1933000 | #Constraints: 52221
3413.23/3428.46 c #Conflicts: 1934000 | #Constraints: 53227
3413.23/3428.46 c #Conflicts: 1935000 | #Constraints: 54231
3413.23/3428.46 c #Conflicts: 1936000 | #Constraints: 55235
3413.23/3428.46 c #Conflicts: 1937000 | #Constraints: 56245
3413.23/3428.46 c INPROCESSING
3413.23/3428.46 c GARBAGE COLLECT
3413.23/3428.46 c rational objective 5
3413.43/3428.68 c GLOBAL bounds - >= 5 @ 3383.24
3413.43/3428.68 c GLOBAL bounds - >= 5 @ 3383.24
3462.10/3477.49 c #Conflicts: 1938000 | #Constraints: 29374
3462.10/3477.49 c #Conflicts: 1939000 | #Constraints: 30381
3462.10/3477.49 c #Conflicts: 1940000 | #Constraints: 31388
3462.10/3477.49 c #Conflicts: 1941000 | #Constraints: 32397
3462.10/3477.49 c #Conflicts: 1942000 | #Constraints: 33400
3462.10/3477.49 c #Conflicts: 1943000 | #Constraints: 34407
3462.10/3477.49 c #Conflicts: 1944000 | #Constraints: 35422
3462.10/3477.49 c #Conflicts: 1945000 | #Constraints: 36449
3462.10/3477.49 c #Conflicts: 1946000 | #Constraints: 37457
3462.10/3477.49 c #Conflicts: 1947000 | #Constraints: 38479
3462.10/3477.49 c #Conflicts: 1948000 | #Constraints: 39487
3462.10/3477.49 c #Conflicts: 1949000 | #Constraints: 40493
3462.10/3477.49 c #Conflicts: 1950000 | #Constraints: 41502
3462.10/3477.49 c #Conflicts: 1951000 | #Constraints: 42515
3462.10/3477.49 c #Conflicts: 1952000 | #Constraints: 43528
3462.10/3477.49 c #Conflicts: 1953000 | #Constraints: 44533
3462.10/3477.49 c #Conflicts: 1954000 | #Constraints: 45537
3462.10/3477.49 c #Conflicts: 1955000 | #Constraints: 46542
3462.10/3477.49 c #Conflicts: 1956000 | #Constraints: 47545
3462.10/3477.49 c #Conflicts: 1957000 | #Constraints: 48552
3462.10/3477.49 c #Conflicts: 1958000 | #Constraints: 49557
3462.10/3477.49 c #Conflicts: 1959000 | #Constraints: 50559
3462.10/3477.49 c #Conflicts: 1960000 | #Constraints: 51561
3462.10/3477.49 c #Conflicts: 1961000 | #Constraints: 52565
3462.10/3477.49 c #Conflicts: 1962000 | #Constraints: 53573
3462.10/3477.49 c #Conflicts: 1963000 | #Constraints: 54581
3462.10/3477.49 c #Conflicts: 1964000 | #Constraints: 55586
3462.10/3477.49 c #Conflicts: 1965000 | #Constraints: 56591
3462.10/3477.49 c INPROCESSING
3462.10/3477.49 c GARBAGE COLLECT
3462.10/3477.49 c rational objective 5
3462.50/3477.85 c GLOBAL bounds - >= 5 @ 3431.9
3462.50/3477.85 c GLOBAL bounds - >= 5 @ 3431.9
3533.21/3548.70 c #Conflicts: 1966000 | #Constraints: 29561
3533.21/3548.70 c #Conflicts: 1967000 | #Constraints: 30564
3533.21/3548.70 c #Conflicts: 1968000 | #Constraints: 31569
3533.21/3548.70 c #Conflicts: 1969000 | #Constraints: 32575
3533.21/3548.70 c #Conflicts: 1970000 | #Constraints: 33577
3533.21/3548.70 c #Conflicts: 1971000 | #Constraints: 34586
3533.21/3548.70 c #Conflicts: 1972000 | #Constraints: 35589
3533.21/3548.70 c #Conflicts: 1973000 | #Constraints: 36589
3533.21/3548.70 c #Conflicts: 1974000 | #Constraints: 37593
3533.21/3548.70 c #Conflicts: 1975000 | #Constraints: 38598
3533.21/3548.70 c #Conflicts: 1976000 | #Constraints: 39600
3533.21/3548.70 c #Conflicts: 1977000 | #Constraints: 40608
3533.21/3548.70 c #Conflicts: 1978000 | #Constraints: 41611
3533.21/3548.70 c #Conflicts: 1979000 | #Constraints: 42617
3533.21/3548.70 c #Conflicts: 1980000 | #Constraints: 43622
3533.21/3548.70 c #Conflicts: 1981000 | #Constraints: 44629
3533.21/3548.70 c #Conflicts: 1982000 | #Constraints: 45634
3533.21/3548.70 c #Conflicts: 1983000 | #Constraints: 46636
3533.21/3548.70 c #Conflicts: 1984000 | #Constraints: 47642
3533.21/3548.70 c #Conflicts: 1985000 | #Constraints: 48647
3533.21/3548.70 c #Conflicts: 1986000 | #Constraints: 49650
3533.21/3548.70 c #Conflicts: 1987000 | #Constraints: 50658
3533.21/3548.70 c #Conflicts: 1988000 | #Constraints: 51667
3533.21/3548.70 c #Conflicts: 1989000 | #Constraints: 52672
3533.21/3548.70 c #Conflicts: 1990000 | #Constraints: 53675
3533.21/3548.70 c #Conflicts: 1991000 | #Constraints: 54680
3533.21/3548.70 c #Conflicts: 1992000 | #Constraints: 55685
3533.21/3548.70 c #Conflicts: 1993000 | #Constraints: 56687
3533.21/3548.70 c INPROCESSING
3533.21/3548.70 c GARBAGE COLLECT
3533.21/3548.70 c rational objective 5
3533.52/3549.01 c GLOBAL bounds - >= 5 @ 3502.43
3533.52/3549.01 c GLOBAL bounds - >= 5 @ 3502.43
3600.04/3615.70 c #Conflicts: 1994000 | #Constraints: 29491
3600.04/3615.70 c #Conflicts: 1995000 | #Constraints: 30498
3600.04/3615.70 c #Conflicts: 1996000 | #Constraints: 31505
3600.04/3615.70 c #Conflicts: 1997000 | #Constraints: 32512
3600.04/3615.70 c #Conflicts: 1998000 | #Constraints: 33517
3600.04/3615.70 c #Conflicts: 1999000 | #Constraints: 34526
3600.04/3615.70 c #Conflicts: 2000000 | #Constraints: 35529
3600.04/3615.70 c #Conflicts: 2001000 | #Constraints: 36536
3600.04/3615.70 c #Conflicts: 2002000 | #Constraints: 37541
3600.04/3615.70 c #Conflicts: 2003000 | #Constraints: 38547
3600.04/3615.70 c #Conflicts: 2004000 | #Constraints: 39551
3600.04/3615.70 c #Conflicts: 2005000 | #Constraints: 40563
3600.04/3615.70 c #Conflicts: 2006000 | #Constraints: 41563
3600.04/3615.70 c #Conflicts: 2007000 | #Constraints: 42567
3600.04/3615.70 c #Conflicts: 2008000 | #Constraints: 43576
3600.04/3615.70 c #Conflicts: 2009000 | #Constraints: 44582
3600.04/3615.70 c #Conflicts: 2010000 | #Constraints: 45590
3600.04/3615.70 c #Conflicts: 2011000 | #Constraints: 46598
3600.04/3615.70 c #Conflicts: 2012000 | #Constraints: 47606
3600.04/3615.70 c #Conflicts: 2013000 | #Constraints: 48613
3600.04/3615.70 c #Conflicts: 2014000 | #Constraints: 49615
3600.04/3615.70 c #Conflicts: 2015000 | #Constraints: 50621
3600.04/3615.70 c #Conflicts: 2016000 | #Constraints: 51624
3600.04/3615.70 c #Conflicts: 2017000 | #Constraints: 52626
3600.04/3615.70 c #Conflicts: 2018000 | #Constraints: 53627
3600.04/3615.70 c #Conflicts: 2019000 | #Constraints: 54631
3600.04/3615.70 c cpu time 3568.55 s
3600.04/3615.70 c deterministic time 339775813109 3.40e+11
3600.04/3615.70 c optimization time 66.1268 s
3600.04/3615.70 c total solve time 3502.41 s
3600.04/3615.70 c core-guided solve time 0 s
3600.04/3615.70 c propagation time 2313.11 s
3600.04/3615.70 c conflict analysis time 1116.61 s
3600.04/3615.70 c propagations 353816313
3600.04/3615.70 c resolve steps 16863791
3600.04/3615.70 c decisions 7999696
3600.04/3615.70 c conflicts 2019226
3600.04/3615.70 c restarts 3966
3600.04/3615.70 c inprocessing phases 132
3600.04/3615.70 c garbage collections 132 ,( 100.00 )
3600.04/3615.70 c input clauses 2174 ,( 85.46 )
3600.04/3615.70 c input cardinalities 50 ,( 1.97 )
3600.04/3615.70 c input general constraints 320 ,( 12.58 )
3600.04/3615.70 c input average constraint length 9.51
3600.04/3615.70 c input average constraint degree 71.11
3600.04/3615.70 c learned clauses 297273 ,( 14.54 )
3600.04/3615.70 c learned cardinalities 7821 ,( 0.38 )
3600.04/3615.70 c learned general constraints 1738897 ,( 85.07 )
3600.04/3615.70 c learned average constraint length 399.30
3600.04/3615.70 c learned average constraint degree 4139301588.64
3600.04/3615.70 c watched CF 32, 64, 128, Arb: 625847 , 0 , 0 , 0
3600.04/3615.70 c counting CF 32, 64, 128, Arb: 1113371 , 0 , 0 , 0
3600.04/3615.70 c watched constraints 625847 ,( 35.98 )
3600.04/3615.70 c counting constraints 1113370 ,( 64.02 )
3600.04/3615.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 48546844 , 20895529 , 4998877770 ,( 359253256 , 4639624514 )
3600.04/3615.70 c gcd simplifications 170364
3600.04/3615.70 c detected cardinalities 280
3600.04/3615.70 c weakened non-implied lits 259729581
3600.04/3615.70 c weakened non-implying lits 1451587
3600.04/3615.70 c original variables 2130
3600.04/3615.70 c clausal propagations 1758373
3600.04/3615.70 c cardinality propagations 34595857
3600.04/3615.70 c watched propagations 2547416
3600.04/3615.70 c counting propagations 304753941
3600.04/3615.70 c watch lookups 242341168653
3600.04/3615.70 c watch backjump lookups 0
3600.04/3615.70 c watch checks 26416509861
3600.04/3615.70 c propagation checks 67326782422
3600.04/3615.70 c constraint additions 2963677962
3600.04/3615.70 c trail pops 363822552
3600.04/3615.70 c formula constraints 2544
3600.04/3615.70 c learned constraints 2007409
3600.04/3615.70 c bound constraints 0
3600.04/3615.70 c core-guided constraints 0
3600.04/3615.70 c encountered formula constraints 11598119
3600.04/3615.70 c encountered learned constraints 5690387
3600.04/3615.70 c encountered bound constraints 0
3600.04/3615.70 c encountered core-guided constraints 0
3600.04/3615.70 c LP total time 181.647 s
3600.04/3615.70 c LP solve time 132.94 s
3600.04/3615.70 c LP constraints added 3539
3600.04/3615.70 c LP constraints removed 990
3600.04/3615.70 c LP pivots internal 2019230
3600.04/3615.70 c LP pivots root 16419
3600.04/3615.70 c LP calls 34750
3600.04/3615.70 c LP optimalities 10208
3600.04/3615.70 c LP no pivot count 1725
3600.04/3615.70 c LP infeasibilities 24533
3600.04/3615.70 c LP valid Farkas constraints 24524
3600.04/3615.70 c LP learned Farkas constraints 11817
3600.04/3615.70 c LP basis resets 16
3600.04/3615.70 c LP cycling count 0
3600.04/3615.70 c LP singular count 8
3600.04/3615.70 c LP no primal count 0
3600.04/3615.70 c LP no farkas count 8
3600.04/3615.70 c LP other issue count 0
3600.04/3615.70 c LP Gomory cuts 241
3600.04/3615.70 c LP learned cuts 754
3600.04/3615.70 c LP deleted cuts 990
3600.04/3615.70 c LP encountered Gomory constraints 11040
3600.04/3615.70 c LP encountered Farkas constraints 1359901
3600.04/3615.70 c LP encountered learned Farkas constraints 211753
3600.04/3615.70 c CG auxiliary variables introduced 1
3600.04/3615.70 c CG solutions found 0
3600.04/3615.70 c CG cores constructed 0
3600.04/3615.70 c CG core cardinality constraints returned 0
3600.04/3615.70 c CG unit cores 0
3600.04/3615.70 c CG single cores 0
3600.04/3615.70 c CG blocks removed during cardinality reduction 0
3600.04/3615.70 c CG first core best 0
3600.04/3615.70 c CG decision core best 0
3600.04/3615.70 c CG core reduction tie 0
3600.04/3615.70 c CG core degree average 0.00
3600.04/3615.70 c CG core slack average 0.00
3600.04/3615.70 c CG core upper bound improvements 0
3600.04/3615.70 c STR number of successful calls 0
3600.04/3615.70 c STR number of unsuccessful calls 0
3600.04/3615.70 c STR number of inconclusive calls 0
3600.04/3615.70 c STR number of successful attempts 0
3600.04/3615.70 c STR number of unsuccessful attempts 0
3600.04/3615.70 c STR number of inconclusive attempts 0
3600.04/3615.70 c STR average degree increase per successful call inf
3600.04/3615.70 c STR average degree increase per successful attempt inf
3600.04/3615.70 c STR total number of conflicts for successful attempts 0
3600.04/3615.70 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3615.70 c STR total number of conflicts for inconclusive attempts 0
3600.04/3615.70 c STR average number of conflicts per successful attempt inf
3600.04/3615.70 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3615.70 c STR average number of conflicts per inconclusive attempt inf
3600.04/3615.70 c AVG.sumWPerc 51.11
3600.04/3615.70 c bigint constraints 0
3600.04/3615.70 s UNKNOWN
3600.04/3615.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (52015 MiB free)
memory of node 1: 64465 MiB (61413 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499075-1751468978/watcher-4499075-1751468978 -o /tmp/evaluation-result-4499075-1751468978/solver-4499075-1751468978 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74234 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499075-1751468978.opb PROOFDIR/proof-4499075-1751468978
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=75185, runsolver pid=75182
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.25 4.21 4.19 3/266 75187
/proc/meminfo: memFree=116150256/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/75187/stat : 75187 (roundingsat) D 75185 75185 74222 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 62576530 52015104 1920 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.205695 s]*
/proc/loadavg: 4.25 4.21 4.19 3/266 75187
/proc/meminfo: memFree=116149248/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/75187/stat : 75187 (roundingsat) D 75185 75185 74222 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 62576530 52015104 1920 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.305603 s]*
/proc/loadavg: 4.25 4.21 4.19 3/266 75187
/proc/meminfo: memFree=116139168/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/75187/stat : 75187 (roundingsat) D 75185 75185 74222 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 62576530 52015104 1920 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.700167 s]
/proc/loadavg: 4.25 4.21 4.19 3/266 75187
/proc/meminfo: memFree=116135136/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/75187/stat : 75187 (roundingsat) D 75185 75185 74222 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 62576530 52015104 1920 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+1.50015 s]
/proc/loadavg: 4.25 4.21 4.19 3/266 75187
/proc/meminfo: memFree=116120012/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/75187/stat : 75187 (roundingsat) D 75185 75185 74222 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 62576530 52015104 1920 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+3.10465 s]
/proc/loadavg: 4.25 4.21 4.19 3/267 75188
/proc/meminfo: memFree=116064172/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/75187/stat : 75187 (roundingsat) D 75185 75185 74222 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 62576530 52015104 1920 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
heavy processes:
[startup+6.30019 s]
/proc/loadavg: 4.23 4.21 4.18 6/267 75188
/proc/meminfo: memFree=118424624/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=77868 memory=30888 CPUtime=0.86 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 5008 0 0 0 82 4 0 0 20 0 1 0 62576530 79736832 7722 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 19467 7722 2432 1147 0 6894 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 82060 KiB
Current children cumulated memory: 33832 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.21 4.20 4.18 4/268 75217
/proc/meminfo: memFree=127785264/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=104760 memory=55560 CPUtime=7.25 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 10163 0 0 0 706 19 0 0 20 0 1 0 62576530 107274240 13890 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 26190 13890 2432 1147 0 13617 0
Current children cumulated CPU time: 7.25 s
Current children cumulated vsize: 108952 KiB
Current children cumulated memory: 58504 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.16 4.19 4.18 5/273 75256
/proc/meminfo: memFree=127081668/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=133948 memory=81992 CPUtime=20.01 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 15731 0 0 0 1958 43 0 0 20 0 1 0 62576530 137162752 20498 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 33487 20498 2432 1147 0 20914 0
Current children cumulated CPU time: 20.01 s
Current children cumulated vsize: 138140 KiB
Current children cumulated memory: 84936 KiB
heavy processes:
[startup+51.1057 s]
/proc/loadavg: 4.24 4.21 4.18 5/273 75256
/proc/meminfo: memFree=125796240/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=191760 memory=131340 CPUtime=45.54 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 26043 0 0 0 4465 89 0 0 20 0 1 0 62576530 196362240 32835 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 47940 32835 2432 1147 0 35367 0
Current children cumulated CPU time: 45.54 s
Current children cumulated vsize: 195952 KiB
Current children cumulated memory: 134284 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/273 75258
/proc/meminfo: memFree=123759868/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=314116 memory=237256 CPUtime=96.6 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 47865 0 0 0 9510 150 0 0 20 0 1 0 62576530 321654784 59314 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 78529 59314 2496 1147 0 65956 0
Current children cumulated CPU time: 96.6 s
Current children cumulated vsize: 318308 KiB
Current children cumulated memory: 240200 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/274 75263
/proc/meminfo: memFree=121471392/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=316712 memory=240200 CPUtime=156.43 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 48590 0 0 0 15417 226 0 0 20 0 1 0 62576530 324313088 60050 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 79178 60050 2496 1147 0 66605 0
Current children cumulated CPU time: 156.43 s
Current children cumulated vsize: 320904 KiB
Current children cumulated memory: 243144 KiB
[startup+222.3 s]
/proc/loadavg: 4.44 4.24 4.20 5/276 75271
/proc/meminfo: memFree=119081052/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/75187/statm: 258256 205938 2528 1147 0 245683 0
Current children cumulated CPU time: 3088 s
Current children cumulated vsize: 1037216 KiB
Current children cumulated memory: 826696 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/275 75572
/proc/meminfo: memFree=48453616/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1033024 memory=862664 CPUtime=3147.83 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 154508 0 0 0 311948 2835 0 0 20 0 1 0 62576530 1057816576 215666 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 258256 215666 2528 1147 0 245683 0
Current children cumulated CPU time: 3147.83 s
Current children cumulated vsize: 1037216 KiB
Current children cumulated memory: 865608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/274 75576
/proc/meminfo: memFree=47327532/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1033024 memory=905416 CPUtime=3207.67 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 154516 0 0 0 317882 2885 0 0 20 0 1 0 62576530 1057816576 226354 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 258256 226354 2528 1147 0 245683 0
Current children cumulated CPU time: 3207.67 s
Current children cumulated vsize: 1037216 KiB
Current children cumulated memory: 908360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/273 75583
/proc/meminfo: memFree=45984388/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1055552 memory=922440 CPUtime=3267.51 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 157586 0 0 0 323826 2925 0 0 20 0 1 0 62576530 1080885248 230610 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 263888 230610 2528 1147 0 251315 0
Current children cumulated CPU time: 3267.51 s
Current children cumulated vsize: 1059744 KiB
Current children cumulated memory: 925384 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/273 75585
/proc/meminfo: memFree=44835032/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1084736 memory=938952 CPUtime=3327.36 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 161711 0 0 0 329774 2962 0 0 20 0 1 0 62576530 1110769664 234738 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 271184 234738 2528 1147 0 258611 0
Current children cumulated CPU time: 3327.36 s
Current children cumulated vsize: 1088928 KiB
Current children cumulated memory: 941896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/273 75587
/proc/meminfo: memFree=43464836/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1084736 memory=938952 CPUtime=3387.2 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 161711 0 0 0 335711 3009 0 0 20 0 1 0 62576530 1110769664 234738 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 271184 234738 2528 1147 0 258611 0
Current children cumulated CPU time: 3387.2 s
Current children cumulated vsize: 1088928 KiB
Current children cumulated memory: 941896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/273 75590
/proc/meminfo: memFree=42378940/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1085280 memory=939464 CPUtime=3447.04 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 161847 0 0 0 341647 3057 0 0 20 0 1 0 62576530 1111326720 234866 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 271320 234866 2528 1147 0 258747 0
Current children cumulated CPU time: 3447.04 s
Current children cumulated vsize: 1089472 KiB
Current children cumulated memory: 942408 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.14 4/267 75624
/proc/meminfo: memFree=78373144/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1085280 memory=939464 CPUtime=3506.88 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 161847 0 0 0 347588 3100 0 0 20 0 1 0 62576530 1111326720 234866 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 271320 234866 2528 1147 0 258747 0
Current children cumulated CPU time: 3506.88 s
Current children cumulated vsize: 1089472 KiB
Current children cumulated memory: 942408 KiB
[startup+3582.3 s]
/proc/loadavg: 3.43 3.93 4.07 4/266 75626
/proc/meminfo: memFree=77842028/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1085280 memory=939464 CPUtime=3566.73 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 161847 0 0 0 353538 3135 0 0 20 0 1 0 62576530 1111326720 234866 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 271320 234866 2528 1147 0 258747 0
Current children cumulated CPU time: 3566.73 s
Current children cumulated vsize: 1089472 KiB
Current children cumulated memory: 942408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.7 s]
/proc/loadavg: 3.33 3.85 4.04 4/266 75626
/proc/meminfo: memFree=77561792/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1085280 memory=939464 CPUtime=3600.04 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 161879 0 0 0 356854 3150 0 0 20 0 1 0 62576530 1111326720 234866 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 271320 234866 2528 1147 0 258747 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1089472 KiB
Current children cumulated memory: 942408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.7 s]
# the end of solver process 75185 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000688 s, system=0.001378 s
[startup+3615.76 s]
# the end of solver process 75187 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.55 s, system=31.5176 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+3615.7 s]
/proc/loadavg: 3.33 3.85 4.04 4/266 75626
/proc/meminfo: memFree=77561792/131249992 swapFree=33010160/33010684
[pid=75185] ppid=75182 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75185/stat : 75185 (run-opt-log.sh) S 75182 75185 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62576529 4292608 736 18446744073709551615 93992440799232 93992441693765 140730947762240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93992441932816 93992441980560 93992461471744 140730947766561 140730947766756 140730947766756 140730947772358 0
/proc/75185/statm: 1048 736 672 219 0 110 0
[pid=75187] ppid=75185 vsize=1085280 memory=939464 CPUtime=3600.04 cores=1,3
/proc/75187/stat : 75187 (roundingsat) R 75185 75185 74222 0 -1 4194304 161879 0 0 0 356854 3150 0 0 20 0 1 0 62576530 1111326720 234866 18446744073709551615 4227072 8923433 140724001747584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40738816 140724001749330 140724001749544 140724001749544 140724001755114 0
/proc/75187/statm: 271320 234866 2528 1147 0 258747 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1089472 KiB
Current children cumulated memory: 942408 KiB
Child status: 2
Real time (s): 3615.76
CPU time (s): 3600.07
CPU user time (s): 3568.55
CPU system time (s): 31.5176
CPU usage (%): 99.5661
Max. virtual memory (cumulated for all children) (KiB): 1089472
Max. memory (cumulated for all children) (KiB): 942408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.55
system time used= 31.5176
maximum resident set size= 939592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29949448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1330
involuntary context switches= 8188
# summary of solver processes directly reported to runsolver:
# pid: 75185,75187
# total CPU time (s): 3600.07
# total CPU user time (s): 3568.55
# total CPU system time (s): 31.5176
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50293 second user time and 16.7772 second system time
The end
Begin job on nodeC025 at 2025-07-02 17:09:38
IDJOB=4499075
IDBENCH=148770
IDSOLVER=3351
FILE ID=nodeC025/4499075-1751468978
RUNJOBID= nodeC025-1751461732-74234
SLURM_JOB_ID= 9598466
Free space on /tmp= 432952 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499075-1751468978/watcher-4499075-1751468978 -o /tmp/evaluation-result-4499075-1751468978/solver-4499075-1751468978 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74234 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499075-1751468978.opb PROOFDIR/proof-4499075-1751468978
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1246832963
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3572.395
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.831
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3695.049
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.394
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.841
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.790
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3614.594
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 116150932 kB
MemAvailable: 129125880 kB
Buffers: 2128 kB
Cached: 13703076 kB
SwapCached: 200 kB
Active: 774004 kB
Inactive: 13468872 kB
Active(anon): 522376 kB
Inactive(anon): 33200 kB
Active(file): 251628 kB
Inactive(file): 13435672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 820524 kB
Writeback: 0 kB
AnonPages: 540616 kB
Mapped: 112816 kB
Shmem: 17856 kB
KReclaimable: 253776 kB
Slab: 371920 kB
SReclaimable: 253776 kB
SUnreclaim: 118144 kB
KernelStack: 4288 kB
PageTables: 4072 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 918436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 59392 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC025 at 2025-07-02 18:09:54