0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 774 #constraints 1024
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 193 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.005877
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.006619
0.00/0.02 c GLOBAL bounds - >= 3 @ 0.00664
0.00/0.03 c rational objective 3
0.28/0.39 c #Conflicts: 1000 | #Constraints: 2039
0.28/0.39 c #Conflicts: 2000 | #Constraints: 3051
0.28/0.39 c INPROCESSING
0.28/0.39 c GARBAGE COLLECT
0.28/0.39 c rational objective 3
0.38/0.42 c GLOBAL bounds - >= 3 @ 0.389195
0.98/1.04 c #Conflicts: 3000 | #Constraints: 2279
0.98/1.04 c #Conflicts: 4000 | #Constraints: 3286
0.98/1.04 c INPROCESSING
0.98/1.04 c GARBAGE COLLECT
0.98/1.04 c rational objective 3
0.98/1.07 c GLOBAL bounds - >= 3 @ 1.03027
0.98/1.07 c GLOBAL bounds - >= 3 @ 1.03028
1.77/1.82 c #Conflicts: 5000 | #Constraints: 2693
1.77/1.82 c #Conflicts: 6000 | #Constraints: 3702
1.77/1.82 c INPROCESSING
1.77/1.82 c GARBAGE COLLECT
1.77/1.82 c rational objective 3
1.77/1.86 c GLOBAL bounds - >= 3 @ 1.80286
1.77/1.86 c GLOBAL bounds - >= 3 @ 1.80287
2.67/2.79 c #Conflicts: 7000 | #Constraints: 2701
2.67/2.79 c #Conflicts: 8000 | #Constraints: 3707
2.67/2.79 c #Conflicts: 9000 | #Constraints: 4718
2.67/2.79 c INPROCESSING
2.67/2.79 c GARBAGE COLLECT
2.67/2.79 c rational objective 3
2.77/2.82 c GLOBAL bounds - >= 3 @ 2.7353
2.77/2.82 c GLOBAL bounds - >= 3 @ 2.73531
4.07/4.15 c #Conflicts: 10000 | #Constraints: 3471
4.07/4.15 c #Conflicts: 11000 | #Constraints: 4763
4.07/4.15 c #Conflicts: 12000 | #Constraints: 6268
4.07/4.15 c INPROCESSING
4.07/4.15 c GARBAGE COLLECT
4.07/4.15 c rational objective 3
4.16/4.21 c GLOBAL bounds - >= 3 @ 4.11216
4.16/4.21 c GLOBAL bounds - >= 3 @ 4.11218
5.45/5.54 c #Conflicts: 13000 | #Constraints: 4411
5.45/5.54 c #Conflicts: 14000 | #Constraints: 5476
5.45/5.54 c #Conflicts: 15000 | #Constraints: 6815
5.45/5.54 c INPROCESSING
5.45/5.54 c GARBAGE COLLECT
5.45/5.54 c rational objective 3
5.56/5.63 c GLOBAL bounds - >= 3 @ 5.49643
5.56/5.63 c GLOBAL bounds - >= 3 @ 5.49644
6.75/6.81 c #Conflicts: 16000 | #Constraints: 4554
6.75/6.81 c #Conflicts: 17000 | #Constraints: 5556
6.75/6.81 c #Conflicts: 18000 | #Constraints: 6561
6.75/6.81 c INPROCESSING
6.75/6.81 c GARBAGE COLLECT
6.75/6.81 c rational objective 3
6.75/6.86 c GLOBAL bounds - >= 3 @ 6.69844
6.75/6.86 c GLOBAL bounds - >= 3 @ 6.69845
8.25/8.34 c #Conflicts: 19000 | #Constraints: 4319
8.25/8.34 c #Conflicts: 20000 | #Constraints: 5332
8.25/8.34 c #Conflicts: 21000 | #Constraints: 6344
8.25/8.34 c INPROCESSING
8.25/8.34 c GARBAGE COLLECT
8.25/8.34 c rational objective 3
8.35/8.43 c GLOBAL bounds - >= 3 @ 8.25816
8.35/8.43 c GLOBAL bounds - >= 3 @ 8.25817
10.14/10.25 c #Conflicts: 22000 | #Constraints: 4047
10.14/10.25 c #Conflicts: 23000 | #Constraints: 5051
10.14/10.25 c #Conflicts: 24000 | #Constraints: 6054
10.14/10.25 c #Conflicts: 25000 | #Constraints: 7057
10.14/10.25 c INPROCESSING
10.14/10.25 c GARBAGE COLLECT
10.14/10.25 c rational objective 3
10.24/10.36 c GLOBAL bounds - >= 3 @ 10.15
10.24/10.36 c GLOBAL bounds - >= 3 @ 10.1501
11.34/11.46 c #Conflicts: 26000 | #Constraints: 4570
11.34/11.46 c #Conflicts: 27000 | #Constraints: 5583
11.34/11.46 c #Conflicts: 28000 | #Constraints: 6592
11.34/11.46 c #Conflicts: 29000 | #Constraints: 7592
11.34/11.46 c INPROCESSING
11.34/11.46 c GARBAGE COLLECT
11.34/11.46 c rational objective 3
11.44/11.50 c GLOBAL bounds - >= 3 @ 11.263
11.44/11.50 c GLOBAL bounds - >= 3 @ 11.263
13.44/13.56 c #Conflicts: 30000 | #Constraints: 4965
13.44/13.56 c #Conflicts: 31000 | #Constraints: 6107
13.44/13.56 c #Conflicts: 32000 | #Constraints: 7142
13.44/13.56 c #Conflicts: 33000 | #Constraints: 8333
13.44/13.56 c INPROCESSING
13.44/13.56 c GARBAGE COLLECT
13.44/13.56 c rational objective 3
13.54/13.62 c GLOBAL bounds - >= 3 @ 13.3484
13.54/13.62 c GLOBAL bounds - >= 3 @ 13.3485
15.63/15.70 c #Conflicts: 34000 | #Constraints: 5307
15.63/15.70 c #Conflicts: 35000 | #Constraints: 6307
15.63/15.70 c #Conflicts: 36000 | #Constraints: 7308
15.63/15.70 c #Conflicts: 37000 | #Constraints: 8310
15.63/15.70 c INPROCESSING
15.63/15.70 c GARBAGE COLLECT
15.63/15.70 c rational objective 3
15.63/15.77 c GLOBAL bounds - >= 3 @ 15.4641
15.63/15.77 c GLOBAL bounds - >= 3 @ 15.4641
18.62/18.79 c #Conflicts: 38000 | #Constraints: 5204
18.62/18.79 c #Conflicts: 39000 | #Constraints: 6225
18.62/18.79 c #Conflicts: 40000 | #Constraints: 7244
18.62/18.79 c #Conflicts: 41000 | #Constraints: 8250
18.62/18.79 c INPROCESSING
18.62/18.79 c GARBAGE COLLECT
18.62/18.79 c rational objective 3
18.72/18.86 c GLOBAL bounds - >= 3 @ 18.5025
18.72/18.86 c GLOBAL bounds - >= 3 @ 18.5025
21.41/21.50 c #Conflicts: 42000 | #Constraints: 4977
21.41/21.50 c #Conflicts: 43000 | #Constraints: 5985
21.41/21.50 c #Conflicts: 44000 | #Constraints: 6989
21.41/21.50 c #Conflicts: 45000 | #Constraints: 7997
21.41/21.50 c #Conflicts: 46000 | #Constraints: 9005
21.41/21.50 c INPROCESSING
21.41/21.50 c GARBAGE COLLECT
21.41/21.50 c rational objective 3
21.41/21.53 c GLOBAL bounds - >= 3 @ 21.1429
21.41/21.53 c GLOBAL bounds - >= 3 @ 21.1429
23.31/23.45 c #Conflicts: 47000 | #Constraints: 5553
23.31/23.45 c #Conflicts: 48000 | #Constraints: 6562
23.31/23.45 c #Conflicts: 49000 | #Constraints: 7575
23.31/23.45 c #Conflicts: 50000 | #Constraints: 8589
23.31/23.45 c #Conflicts: 51000 | #Constraints: 9598
23.31/23.45 c INPROCESSING
23.31/23.45 c GARBAGE COLLECT
23.31/23.45 c rational objective 3
23.31/23.50 c GLOBAL bounds - >= 3 @ 23.0902
23.31/23.50 c GLOBAL bounds - >= 3 @ 23.0902
26.19/26.38 c #Conflicts: 52000 | #Constraints: 5955
26.19/26.38 c #Conflicts: 53000 | #Constraints: 6959
26.19/26.38 c #Conflicts: 54000 | #Constraints: 7981
26.19/26.38 c #Conflicts: 55000 | #Constraints: 9035
26.19/26.38 c #Conflicts: 56000 | #Constraints: 10209
26.19/26.38 c INPROCESSING
26.19/26.38 c GARBAGE COLLECT
26.19/26.38 c rational objective 3
26.30/26.46 c GLOBAL bounds - >= 3 @ 26.0155
26.30/26.46 c GLOBAL bounds - >= 3 @ 26.0155
29.49/29.60 c #Conflicts: 57000 | #Constraints: 6253
29.49/29.60 c #Conflicts: 58000 | #Constraints: 7255
29.49/29.60 c #Conflicts: 59000 | #Constraints: 8264
29.49/29.60 c #Conflicts: 60000 | #Constraints: 9265
29.49/29.60 c #Conflicts: 61000 | #Constraints: 10269
29.49/29.60 c INPROCESSING
29.49/29.60 c GARBAGE COLLECT
29.49/29.60 c rational objective 3
29.49/29.69 c GLOBAL bounds - >= 3 @ 29.1978
29.49/29.69 c GLOBAL bounds - >= 3 @ 29.1978
32.68/32.82 c #Conflicts: 62000 | #Constraints: 6187
32.68/32.82 c #Conflicts: 63000 | #Constraints: 7194
32.68/32.82 c #Conflicts: 64000 | #Constraints: 8200
32.68/32.82 c #Conflicts: 65000 | #Constraints: 9206
32.68/32.82 c #Conflicts: 66000 | #Constraints: 10215
32.68/32.82 c INPROCESSING
32.68/32.82 c GARBAGE COLLECT
32.68/32.82 c rational objective 3
32.68/32.87 c GLOBAL bounds - >= 3 @ 32.3463
32.68/32.87 c GLOBAL bounds - >= 3 @ 32.3463
35.97/36.13 c #Conflicts: 67000 | #Constraints: 5962
35.97/36.13 c #Conflicts: 68000 | #Constraints: 6971
35.97/36.13 c #Conflicts: 69000 | #Constraints: 7984
35.97/36.13 c #Conflicts: 70000 | #Constraints: 8993
35.97/36.13 c #Conflicts: 71000 | #Constraints: 10001
35.97/36.13 c #Conflicts: 72000 | #Constraints: 11007
35.97/36.13 c INPROCESSING
35.97/36.13 c GARBAGE COLLECT
35.97/36.13 c rational objective 3
35.97/36.17 c GLOBAL bounds - >= 3 @ 35.6112
35.97/36.17 c GLOBAL bounds - >= 3 @ 35.6112
38.96/39.12 c #Conflicts: 73000 | #Constraints: 6563
38.96/39.12 c #Conflicts: 74000 | #Constraints: 7573
38.96/39.12 c #Conflicts: 75000 | #Constraints: 8584
38.96/39.12 c #Conflicts: 76000 | #Constraints: 9589
38.96/39.12 c #Conflicts: 77000 | #Constraints: 10597
38.96/39.12 c #Conflicts: 78000 | #Constraints: 11606
38.96/39.12 c INPROCESSING
38.96/39.12 c GARBAGE COLLECT
38.96/39.12 c rational objective 3
38.96/39.15 c GLOBAL bounds - >= 3 @ 38.5507
38.96/39.15 c GLOBAL bounds - >= 3 @ 38.5507
42.85/43.07 c #Conflicts: 79000 | #Constraints: 6956
42.85/43.07 c #Conflicts: 80000 | #Constraints: 7965
42.85/43.07 c #Conflicts: 81000 | #Constraints: 8978
42.85/43.07 c #Conflicts: 82000 | #Constraints: 9990
42.85/43.07 c #Conflicts: 83000 | #Constraints: 10996
42.85/43.07 c #Conflicts: 84000 | #Constraints: 12003
42.85/43.07 c INPROCESSING
42.85/43.07 c GARBAGE COLLECT
42.85/43.07 c rational objective 3
42.85/43.10 c GLOBAL bounds - >= 3 @ 42.4542
42.85/43.10 c GLOBAL bounds - >= 3 @ 42.4542
46.43/46.61 c #Conflicts: 85000 | #Constraints: 7151
46.43/46.61 c #Conflicts: 86000 | #Constraints: 8154
46.43/46.61 c #Conflicts: 87000 | #Constraints: 9156
46.43/46.61 c #Conflicts: 88000 | #Constraints: 10161
46.43/46.61 c #Conflicts: 89000 | #Constraints: 11165
46.43/46.61 c #Conflicts: 90000 | #Constraints: 12169
46.43/46.61 c INPROCESSING
46.43/46.61 c GARBAGE COLLECT
46.43/46.61 c rational objective 3
46.43/46.63 c GLOBAL bounds - >= 3 @ 45.94
46.43/46.63 c GLOBAL bounds - >= 3 @ 45.94
49.03/49.21 c #Conflicts: 91000 | #Constraints: 7143
49.03/49.21 c #Conflicts: 92000 | #Constraints: 8144
49.03/49.21 c #Conflicts: 93000 | #Constraints: 9149
49.03/49.21 c #Conflicts: 94000 | #Constraints: 10155
49.03/49.21 c #Conflicts: 95000 | #Constraints: 11155
49.03/49.21 c #Conflicts: 96000 | #Constraints: 12161
49.03/49.21 c INPROCESSING
49.03/49.21 c GARBAGE COLLECT
49.03/49.21 c rational objective 3
49.03/49.29 c GLOBAL bounds - >= 3 @ 48.558
49.03/49.29 c GLOBAL bounds - >= 3 @ 48.558
54.71/54.98 c #Conflicts: 97000 | #Constraints: 6936
54.71/54.98 c #Conflicts: 98000 | #Constraints: 7948
54.71/54.98 c #Conflicts: 99000 | #Constraints: 8956
54.71/54.98 c #Conflicts: 100000 | #Constraints: 9964
54.71/54.98 c #Conflicts: 101000 | #Constraints: 10972
54.71/54.98 c #Conflicts: 102000 | #Constraints: 11980
54.71/54.98 c #Conflicts: 103000 | #Constraints: 12989
54.71/54.98 c INPROCESSING
54.71/54.98 c GARBAGE COLLECT
54.71/54.98 c rational objective 3
54.82/55.00 c GLOBAL bounds - >= 3 @ 54.1925
54.82/55.00 c GLOBAL bounds - >= 3 @ 54.1925
58.60/58.82 c #Conflicts: 104000 | #Constraints: 7548
58.60/58.82 c #Conflicts: 105000 | #Constraints: 8556
58.60/58.82 c #Conflicts: 106000 | #Constraints: 9565
58.60/58.82 c #Conflicts: 107000 | #Constraints: 10569
58.60/58.82 c #Conflicts: 108000 | #Constraints: 11579
58.60/58.82 c #Conflicts: 109000 | #Constraints: 12589
58.60/58.82 c #Conflicts: 110000 | #Constraints: 13599
58.60/58.82 c INPROCESSING
58.60/58.82 c GARBAGE COLLECT
58.60/58.82 c rational objective 3
58.60/58.89 c GLOBAL bounds - >= 3 @ 58.0199
58.60/58.89 c GLOBAL bounds - >= 3 @ 58.02
63.28/63.51 c #Conflicts: 111000 | #Constraints: 7952
63.28/63.51 c #Conflicts: 112000 | #Constraints: 8958
63.28/63.51 c #Conflicts: 113000 | #Constraints: 9964
63.28/63.51 c #Conflicts: 114000 | #Constraints: 10969
63.28/63.51 c #Conflicts: 115000 | #Constraints: 11976
63.28/63.51 c #Conflicts: 116000 | #Constraints: 12988
63.28/63.51 c #Conflicts: 117000 | #Constraints: 13994
63.28/63.51 c INPROCESSING
63.28/63.51 c GARBAGE COLLECT
63.28/63.51 c rational objective 3
63.28/63.56 c GLOBAL bounds - >= 3 @ 62.6287
63.28/63.56 c GLOBAL bounds - >= 3 @ 62.6287
68.57/68.80 c #Conflicts: 118000 | #Constraints: 8148
68.57/68.80 c #Conflicts: 119000 | #Constraints: 9154
68.57/68.80 c #Conflicts: 120000 | #Constraints: 10163
68.57/68.80 c #Conflicts: 121000 | #Constraints: 11171
68.57/68.80 c #Conflicts: 122000 | #Constraints: 12178
68.57/68.80 c #Conflicts: 123000 | #Constraints: 13181
68.57/68.80 c #Conflicts: 124000 | #Constraints: 14187
68.57/68.80 c INPROCESSING
68.57/68.80 c GARBAGE COLLECT
68.57/68.80 c rational objective 3
68.57/68.87 c GLOBAL bounds - >= 3 @ 67.8724
68.57/68.87 c GLOBAL bounds - >= 3 @ 67.8724
72.86/73.12 c #Conflicts: 125000 | #Constraints: 8140
72.86/73.12 c #Conflicts: 126000 | #Constraints: 9152
72.86/73.12 c #Conflicts: 127000 | #Constraints: 10159
72.86/73.12 c #Conflicts: 128000 | #Constraints: 11167
72.86/73.12 c #Conflicts: 129000 | #Constraints: 12172
72.86/73.12 c #Conflicts: 130000 | #Constraints: 13177
72.86/73.12 c #Conflicts: 131000 | #Constraints: 14183
72.86/73.12 c INPROCESSING
72.86/73.12 c GARBAGE COLLECT
72.86/73.12 c rational objective 3
72.86/73.19 c GLOBAL bounds - >= 3 @ 72.1212
72.86/73.19 c GLOBAL bounds - >= 3 @ 72.1213
78.85/79.17 c #Conflicts: 132000 | #Constraints: 7942
78.85/79.17 c #Conflicts: 133000 | #Constraints: 8953
78.85/79.17 c #Conflicts: 134000 | #Constraints: 9963
78.85/79.17 c #Conflicts: 135000 | #Constraints: 10968
78.85/79.17 c #Conflicts: 136000 | #Constraints: 11975
78.85/79.17 c #Conflicts: 137000 | #Constraints: 12982
78.85/79.17 c #Conflicts: 138000 | #Constraints: 13986
78.85/79.17 c #Conflicts: 139000 | #Constraints: 14992
78.85/79.17 c INPROCESSING
78.85/79.17 c GARBAGE COLLECT
78.85/79.17 c rational objective 3
78.94/79.23 c GLOBAL bounds - >= 3 @ 78.0887
78.94/79.23 c GLOBAL bounds - >= 3 @ 78.0887
85.21/85.55 c #Conflicts: 140000 | #Constraints: 8556
85.21/85.55 c #Conflicts: 141000 | #Constraints: 9560
85.21/85.55 c #Conflicts: 142000 | #Constraints: 10563
85.21/85.55 c #Conflicts: 143000 | #Constraints: 11566
85.21/85.55 c #Conflicts: 144000 | #Constraints: 12569
85.21/85.55 c #Conflicts: 145000 | #Constraints: 13571
85.21/85.55 c #Conflicts: 146000 | #Constraints: 14574
85.21/85.55 c #Conflicts: 147000 | #Constraints: 15581
85.21/85.55 c INPROCESSING
85.21/85.55 c GARBAGE COLLECT
85.21/85.55 c rational objective 3
85.21/85.57 c GLOBAL bounds - >= 3 @ 84.3721
85.21/85.57 c GLOBAL bounds - >= 3 @ 84.3722
90.00/90.35 c #Conflicts: 148000 | #Constraints: 8948
90.00/90.35 c #Conflicts: 149000 | #Constraints: 9959
90.00/90.35 c #Conflicts: 150000 | #Constraints: 10966
90.00/90.35 c #Conflicts: 151000 | #Constraints: 11974
90.00/90.35 c #Conflicts: 152000 | #Constraints: 12979
90.00/90.35 c #Conflicts: 153000 | #Constraints: 13985
90.00/90.35 c #Conflicts: 154000 | #Constraints: 14994
90.00/90.35 c #Conflicts: 155000 | #Constraints: 15998
90.00/90.35 c INPROCESSING
90.00/90.35 c GARBAGE COLLECT
90.00/90.35 c rational objective 3
90.00/90.38 c GLOBAL bounds - >= 3 @ 89.1053
90.00/90.38 c GLOBAL bounds - >= 3 @ 89.1053
95.58/95.99 c #Conflicts: 156000 | #Constraints: 9160
95.58/95.99 c #Conflicts: 157000 | #Constraints: 10166
95.58/95.99 c #Conflicts: 158000 | #Constraints: 11172
95.58/95.99 c #Conflicts: 159000 | #Constraints: 12176
95.58/95.99 c #Conflicts: 160000 | #Constraints: 13183
95.58/95.99 c #Conflicts: 161000 | #Constraints: 14190
95.58/95.99 c #Conflicts: 162000 | #Constraints: 15200
95.58/95.99 c #Conflicts: 163000 | #Constraints: 16212
95.58/95.99 c INPROCESSING
95.58/95.99 c GARBAGE COLLECT
95.58/95.99 c rational objective 3
95.69/96.02 c GLOBAL bounds - >= 3 @ 94.6692
95.69/96.02 c GLOBAL bounds - >= 3 @ 94.6692
100.57/100.93 c #Conflicts: 164000 | #Constraints: 9156
100.57/100.93 c #Conflicts: 165000 | #Constraints: 10164
100.57/100.93 c #Conflicts: 166000 | #Constraints: 11172
100.57/100.93 c #Conflicts: 167000 | #Constraints: 12175
100.57/100.93 c #Conflicts: 168000 | #Constraints: 13186
100.57/100.93 c #Conflicts: 169000 | #Constraints: 14191
100.57/100.93 c #Conflicts: 170000 | #Constraints: 15201
100.57/100.93 c #Conflicts: 171000 | #Constraints: 16209
100.57/100.93 c INPROCESSING
100.57/100.93 c GARBAGE COLLECT
100.57/100.93 c rational objective 3
100.57/100.96 c GLOBAL bounds - >= 3 @ 99.5336
100.57/100.96 c GLOBAL bounds - >= 3 @ 99.5337
105.25/105.69 c #Conflicts: 172000 | #Constraints: 8957
105.25/105.69 c #Conflicts: 173000 | #Constraints: 9969
105.25/105.69 c #Conflicts: 174000 | #Constraints: 10972
105.25/105.69 c #Conflicts: 175000 | #Constraints: 11977
105.25/105.69 c #Conflicts: 176000 | #Constraints: 12983
105.25/105.69 c #Conflicts: 177000 | #Constraints: 13989
105.25/105.69 c #Conflicts: 178000 | #Constraints: 14994
105.25/105.69 c #Conflicts: 179000 | #Constraints: 16002
105.25/105.69 c #Conflicts: 180000 | #Constraints: 17009
105.25/105.69 c INPROCESSING
105.25/105.69 c GARBAGE COLLECT
105.25/105.69 c rational objective 3
105.35/105.74 c GLOBAL bounds - >= 3 @ 104.253
105.35/105.74 c GLOBAL bounds - >= 3 @ 104.253
112.34/112.77 c #Conflicts: 181000 | #Constraints: 9567
112.34/112.77 c #Conflicts: 182000 | #Constraints: 10576
112.34/112.77 c #Conflicts: 183000 | #Constraints: 11593
112.34/112.77 c #Conflicts: 184000 | #Constraints: 12606
112.34/112.77 c #Conflicts: 185000 | #Constraints: 13611
112.34/112.77 c #Conflicts: 186000 | #Constraints: 14614
112.34/112.77 c #Conflicts: 187000 | #Constraints: 15623
112.34/112.77 c #Conflicts: 188000 | #Constraints: 16629
112.34/112.77 c #Conflicts: 189000 | #Constraints: 17632
112.34/112.77 c INPROCESSING
112.34/112.77 c GARBAGE COLLECT
112.34/112.77 c rational objective 3
112.44/112.80 c GLOBAL bounds - >= 3 @ 111.236
112.44/112.80 c GLOBAL bounds - >= 3 @ 111.236
121.31/121.74 c #Conflicts: 190000 | #Constraints: 9973
121.31/121.74 c #Conflicts: 191000 | #Constraints: 10980
121.31/121.74 c #Conflicts: 192000 | #Constraints: 11985
121.31/121.74 c #Conflicts: 193000 | #Constraints: 12988
121.31/121.74 c #Conflicts: 194000 | #Constraints: 13992
121.31/121.74 c #Conflicts: 195000 | #Constraints: 14994
121.31/121.74 c #Conflicts: 196000 | #Constraints: 15998
121.31/121.74 c #Conflicts: 197000 | #Constraints: 17002
121.31/121.74 c #Conflicts: 198000 | #Constraints: 18004
121.31/121.74 c INPROCESSING
121.31/121.74 c GARBAGE COLLECT
121.31/121.74 c rational objective 3
121.31/121.79 c GLOBAL bounds - >= 3 @ 120.143
121.31/121.79 c GLOBAL bounds - >= 3 @ 120.143
125.39/125.80 c #Conflicts: 199000 | #Constraints: 10172
125.39/125.80 c #Conflicts: 200000 | #Constraints: 11174
125.39/125.80 c #Conflicts: 201000 | #Constraints: 12177
125.39/125.80 c #Conflicts: 202000 | #Constraints: 13181
125.39/125.80 c #Conflicts: 203000 | #Constraints: 14183
125.39/125.80 c #Conflicts: 204000 | #Constraints: 15190
125.39/125.80 c #Conflicts: 205000 | #Constraints: 16196
125.39/125.80 c #Conflicts: 206000 | #Constraints: 17202
125.39/125.80 c #Conflicts: 207000 | #Constraints: 18212
125.39/125.80 c INPROCESSING
125.39/125.80 c GARBAGE COLLECT
125.39/125.80 c rational objective 3
125.39/125.84 c GLOBAL bounds - >= 3 @ 124.142
125.39/125.84 c GLOBAL bounds - >= 3 @ 124.142
133.97/134.42 c #Conflicts: 208000 | #Constraints: 10168
133.97/134.42 c #Conflicts: 209000 | #Constraints: 11175
133.97/134.42 c #Conflicts: 210000 | #Constraints: 12184
133.97/134.42 c #Conflicts: 211000 | #Constraints: 13194
133.97/134.42 c #Conflicts: 212000 | #Constraints: 14200
133.97/134.42 c #Conflicts: 213000 | #Constraints: 15203
133.97/134.42 c #Conflicts: 214000 | #Constraints: 16209
133.97/134.42 c #Conflicts: 215000 | #Constraints: 17214
133.97/134.42 c #Conflicts: 216000 | #Constraints: 18221
133.97/134.42 c INPROCESSING
133.97/134.42 c GARBAGE COLLECT
133.97/134.42 c rational objective 3
133.97/134.46 c GLOBAL bounds - >= 3 @ 132.664
133.97/134.46 c GLOBAL bounds - >= 3 @ 132.664
139.76/140.22 c #Conflicts: 217000 | #Constraints: 9964
139.76/140.22 c #Conflicts: 218000 | #Constraints: 10969
139.76/140.22 c #Conflicts: 219000 | #Constraints: 11975
139.76/140.22 c #Conflicts: 220000 | #Constraints: 12977
139.76/140.22 c #Conflicts: 221000 | #Constraints: 13980
139.76/140.22 c #Conflicts: 222000 | #Constraints: 14984
139.76/140.22 c #Conflicts: 223000 | #Constraints: 15988
139.76/140.22 c #Conflicts: 224000 | #Constraints: 16993
139.76/140.22 c #Conflicts: 225000 | #Constraints: 17999
139.76/140.22 c #Conflicts: 226000 | #Constraints: 19008
139.76/140.22 c INPROCESSING
139.76/140.22 c GARBAGE COLLECT
139.76/140.22 c rational objective 3
139.76/140.28 c GLOBAL bounds - >= 3 @ 138.402
139.76/140.28 c GLOBAL bounds - >= 3 @ 138.402
145.84/146.39 c #Conflicts: 227000 | #Constraints: 10561
145.84/146.39 c #Conflicts: 228000 | #Constraints: 11566
145.84/146.39 c #Conflicts: 229000 | #Constraints: 12572
145.84/146.39 c #Conflicts: 230000 | #Constraints: 13575
145.84/146.39 c #Conflicts: 231000 | #Constraints: 14581
145.84/146.39 c #Conflicts: 232000 | #Constraints: 15591
145.84/146.39 c #Conflicts: 233000 | #Constraints: 16601
145.84/146.39 c #Conflicts: 234000 | #Constraints: 17609
145.84/146.39 c #Conflicts: 235000 | #Constraints: 18614
145.84/146.39 c #Conflicts: 236000 | #Constraints: 19622
145.84/146.39 c INPROCESSING
145.84/146.39 c GARBAGE COLLECT
145.84/146.39 c rational objective 3
145.94/146.42 c GLOBAL bounds - >= 3 @ 144.447
145.94/146.42 c GLOBAL bounds - >= 3 @ 144.447
152.12/152.60 c #Conflicts: 237000 | #Constraints: 10972
152.12/152.60 c #Conflicts: 238000 | #Constraints: 11977
152.12/152.60 c #Conflicts: 239000 | #Constraints: 12983
152.12/152.60 c #Conflicts: 240000 | #Constraints: 13987
152.12/152.60 c #Conflicts: 241000 | #Constraints: 14997
152.12/152.60 c #Conflicts: 242000 | #Constraints: 16007
152.12/152.60 c #Conflicts: 243000 | #Constraints: 17013
152.12/152.60 c #Conflicts: 244000 | #Constraints: 18016
152.12/152.60 c #Conflicts: 245000 | #Constraints: 19025
152.12/152.60 c #Conflicts: 246000 | #Constraints: 20032
152.12/152.60 c INPROCESSING
152.12/152.60 c GARBAGE COLLECT
152.12/152.60 c rational objective 3
152.12/152.66 c GLOBAL bounds - >= 3 @ 150.609
152.12/152.66 c GLOBAL bounds - >= 3 @ 150.609
159.01/159.50 c #Conflicts: 247000 | #Constraints: 11167
159.01/159.50 c #Conflicts: 248000 | #Constraints: 12175
159.01/159.50 c #Conflicts: 249000 | #Constraints: 13183
159.01/159.50 c #Conflicts: 250000 | #Constraints: 14198
159.01/159.50 c #Conflicts: 251000 | #Constraints: 15208
159.01/159.50 c #Conflicts: 252000 | #Constraints: 16215
159.01/159.50 c #Conflicts: 253000 | #Constraints: 17222
159.01/159.50 c #Conflicts: 254000 | #Constraints: 18226
159.01/159.50 c #Conflicts: 255000 | #Constraints: 19236
159.01/159.50 c #Conflicts: 256000 | #Constraints: 20243
159.01/159.50 c INPROCESSING
159.01/159.50 c GARBAGE COLLECT
159.01/159.50 c rational objective 3
159.01/159.53 c GLOBAL bounds - >= 3 @ 157.39
159.01/159.53 c GLOBAL bounds - >= 3 @ 157.39
167.38/167.92 c #Conflicts: 257000 | #Constraints: 11183
167.38/167.92 c #Conflicts: 258000 | #Constraints: 12190
167.38/167.92 c #Conflicts: 259000 | #Constraints: 13194
167.38/167.92 c #Conflicts: 260000 | #Constraints: 14200
167.38/167.92 c #Conflicts: 261000 | #Constraints: 15211
167.38/167.92 c #Conflicts: 262000 | #Constraints: 16218
167.38/167.92 c #Conflicts: 263000 | #Constraints: 17229
167.38/167.92 c #Conflicts: 264000 | #Constraints: 18236
167.38/167.92 c #Conflicts: 265000 | #Constraints: 19240
167.38/167.92 c #Conflicts: 266000 | #Constraints: 20245
167.38/167.92 c INPROCESSING
167.38/167.92 c GARBAGE COLLECT
167.38/167.92 c rational objective 3
167.38/167.95 c GLOBAL bounds - >= 3 @ 165.73
167.38/167.95 c GLOBAL bounds - >= 3 @ 165.73
174.96/175.55 c #Conflicts: 267000 | #Constraints: 10979
174.96/175.55 c #Conflicts: 268000 | #Constraints: 11986
174.96/175.55 c #Conflicts: 269000 | #Constraints: 12999
174.96/175.55 c #Conflicts: 270000 | #Constraints: 14002
174.96/175.55 c #Conflicts: 271000 | #Constraints: 15011
174.96/175.55 c #Conflicts: 272000 | #Constraints: 16015
174.96/175.55 c #Conflicts: 273000 | #Constraints: 17018
174.96/175.55 c #Conflicts: 274000 | #Constraints: 18020
174.96/175.55 c #Conflicts: 275000 | #Constraints: 19022
174.96/175.55 c #Conflicts: 276000 | #Constraints: 20029
174.96/175.55 c #Conflicts: 277000 | #Constraints: 21036
174.96/175.55 c INPROCESSING
174.96/175.55 c GARBAGE COLLECT
174.96/175.55 c rational objective 3
175.07/175.67 c GLOBAL bounds - >= 3 @ 173.364
175.07/175.67 c GLOBAL bounds - >= 3 @ 173.364
183.34/183.91 c #Conflicts: 278000 | #Constraints: 11574
183.34/183.91 c #Conflicts: 279000 | #Constraints: 12581
183.34/183.91 c #Conflicts: 280000 | #Constraints: 13587
183.34/183.91 c #Conflicts: 281000 | #Constraints: 14596
183.34/183.91 c #Conflicts: 282000 | #Constraints: 15600
183.34/183.91 c #Conflicts: 283000 | #Constraints: 16606
183.34/183.91 c #Conflicts: 284000 | #Constraints: 17612
183.34/183.91 c #Conflicts: 285000 | #Constraints: 18618
183.34/183.91 c #Conflicts: 286000 | #Constraints: 19623
183.34/183.91 c #Conflicts: 287000 | #Constraints: 20633
183.34/183.91 c #Conflicts: 288000 | #Constraints: 21642
183.34/183.91 c INPROCESSING
183.34/183.91 c GARBAGE COLLECT
183.34/183.91 c rational objective 3
183.34/183.96 c GLOBAL bounds - >= 3 @ 181.573
183.34/183.96 c GLOBAL bounds - >= 3 @ 181.573
190.72/191.36 c #Conflicts: 289000 | #Constraints: 11988
190.72/191.36 c #Conflicts: 290000 | #Constraints: 12998
190.72/191.36 c #Conflicts: 291000 | #Constraints: 14001
190.72/191.36 c #Conflicts: 292000 | #Constraints: 15008
190.72/191.36 c #Conflicts: 293000 | #Constraints: 16013
190.72/191.36 c #Conflicts: 294000 | #Constraints: 17018
190.72/191.36 c #Conflicts: 295000 | #Constraints: 18021
190.72/191.36 c #Conflicts: 296000 | #Constraints: 19025
190.72/191.36 c #Conflicts: 297000 | #Constraints: 20035
190.72/191.36 c #Conflicts: 298000 | #Constraints: 21043
190.72/191.36 c #Conflicts: 299000 | #Constraints: 22049
190.72/191.36 c INPROCESSING
190.72/191.36 c GARBAGE COLLECT
190.72/191.36 c rational objective 3
190.72/191.39 c GLOBAL bounds - >= 3 @ 188.904
190.72/191.39 c GLOBAL bounds - >= 3 @ 188.904
199.00/199.60 c #Conflicts: 300000 | #Constraints: 12189
199.00/199.60 c #Conflicts: 301000 | #Constraints: 13197
199.00/199.60 c #Conflicts: 302000 | #Constraints: 14210
199.00/199.60 c #Conflicts: 303000 | #Constraints: 15216
199.00/199.60 c #Conflicts: 304000 | #Constraints: 16224
199.00/199.60 c #Conflicts: 305000 | #Constraints: 17229
199.00/199.60 c #Conflicts: 306000 | #Constraints: 18232
199.00/199.60 c #Conflicts: 307000 | #Constraints: 19235
199.00/199.60 c #Conflicts: 308000 | #Constraints: 20242
199.00/199.60 c #Conflicts: 309000 | #Constraints: 21245
199.00/199.60 c #Conflicts: 310000 | #Constraints: 22252
199.00/199.60 c INPROCESSING
199.00/199.60 c GARBAGE COLLECT
199.00/199.60 c rational objective 3
199.00/199.65 c GLOBAL bounds - >= 3 @ 197.082
199.00/199.65 c GLOBAL bounds - >= 3 @ 197.082
206.08/206.75 c #Conflicts: 311000 | #Constraints: 12182
206.08/206.75 c #Conflicts: 312000 | #Constraints: 13186
206.08/206.75 c #Conflicts: 313000 | #Constraints: 14189
206.08/206.75 c #Conflicts: 314000 | #Constraints: 15192
206.08/206.75 c #Conflicts: 315000 | #Constraints: 16197
206.08/206.75 c #Conflicts: 316000 | #Constraints: 17203
206.08/206.75 c #Conflicts: 317000 | #Constraints: 18208
206.08/206.75 c #Conflicts: 318000 | #Constraints: 19212
206.08/206.75 c #Conflicts: 319000 | #Constraints: 20217
206.08/206.75 c #Conflicts: 320000 | #Constraints: 21219
206.08/206.75 c #Conflicts: 321000 | #Constraints: 22224
206.08/206.75 c INPROCESSING
206.08/206.75 c GARBAGE COLLECT
206.08/206.75 c rational objective 3
206.08/206.78 c GLOBAL bounds - >= 3 @ 204.111
206.08/206.78 c GLOBAL bounds - >= 3 @ 204.111
220.04/220.74 c #Conflicts: 322000 | #Constraints: 11976
220.04/220.74 c #Conflicts: 323000 | #Constraints: 12977
220.04/220.74 c #Conflicts: 324000 | #Constraints: 13982
220.04/220.74 c #Conflicts: 325000 | #Constraints: 14990
220.04/220.74 c #Conflicts: 326000 | #Constraints: 15997
220.04/220.74 c #Conflicts: 327000 | #Constraints: 17002
220.04/220.74 c #Conflicts: 328000 | #Constraints: 18009
220.04/220.74 c #Conflicts: 329000 | #Constraints: 19124
220.04/220.74 c #Conflicts: 330000 | #Constraints: 20245
220.04/220.74 c #Conflicts: 331000 | #Constraints: 21280
220.04/220.74 c #Conflicts: 332000 | #Constraints: 22320
220.04/220.74 c #Conflicts: 333000 | #Constraints: 23492
220.04/220.74 c INPROCESSING
220.04/220.74 c GARBAGE COLLECT
220.04/220.74 c rational objective 3
220.14/220.82 c GLOBAL bounds - >= 3 @ 218.036
220.14/220.82 c GLOBAL bounds - >= 3 @ 218.036
228.82/229.53 c #Conflicts: 334000 | #Constraints: 12836
228.82/229.53 c #Conflicts: 335000 | #Constraints: 13849
228.82/229.53 c #Conflicts: 336000 | #Constraints: 14885
228.82/229.53 c #Conflicts: 337000 | #Constraints: 15914
228.82/229.53 c #Conflicts: 338000 | #Constraints: 16939
228.82/229.53 c #Conflicts: 339000 | #Constraints: 18109
228.82/229.53 c #Conflicts: 340000 | #Constraints: 19114
228.82/229.53 c #Conflicts: 341000 | #Constraints: 20155
228.82/229.53 c #Conflicts: 342000 | #Constraints: 21302
228.82/229.53 c #Conflicts: 343000 | #Constraints: 22396
228.82/229.53 c #Conflicts: 344000 | #Constraints: 23759
228.82/229.53 c #Conflicts: 345000 | #Constraints: 25145
228.82/229.53 c INPROCESSING
228.82/229.53 c GARBAGE COLLECT
228.82/229.53 c rational objective 3
228.82/229.60 c GLOBAL bounds - >= 3 @ 226.716
228.82/229.60 c GLOBAL bounds - >= 3 @ 226.716
239.00/239.72 c #Conflicts: 346000 | #Constraints: 13764
239.00/239.72 c #Conflicts: 347000 | #Constraints: 14844
239.00/239.72 c #Conflicts: 348000 | #Constraints: 15896
239.00/239.72 c #Conflicts: 349000 | #Constraints: 16975
239.00/239.72 c #Conflicts: 350000 | #Constraints: 18021
239.00/239.72 c #Conflicts: 351000 | #Constraints: 19093
239.00/239.72 c #Conflicts: 352000 | #Constraints: 20180
239.00/239.72 c #Conflicts: 353000 | #Constraints: 21247
239.00/239.72 c #Conflicts: 354000 | #Constraints: 22289
239.00/239.72 c #Conflicts: 355000 | #Constraints: 23307
239.00/239.72 c #Conflicts: 356000 | #Constraints: 24384
239.00/239.72 c #Conflicts: 357000 | #Constraints: 25389
239.00/239.72 c INPROCESSING
239.00/239.72 c GARBAGE COLLECT
239.00/239.72 c rational objective 3
239.10/239.82 c GLOBAL bounds - >= 3 @ 236.829
239.10/239.82 c GLOBAL bounds - >= 3 @ 236.829
251.26/252.10 c #Conflicts: 358000 | #Constraints: 13868
251.26/252.10 c #Conflicts: 359000 | #Constraints: 14869
251.26/252.10 c #Conflicts: 360000 | #Constraints: 15870
251.26/252.10 c #Conflicts: 361000 | #Constraints: 16872
251.26/252.10 c #Conflicts: 362000 | #Constraints: 17872
251.26/252.10 c #Conflicts: 363000 | #Constraints: 18874
251.26/252.10 c #Conflicts: 364000 | #Constraints: 19875
251.26/252.10 c #Conflicts: 365000 | #Constraints: 20876
251.26/252.10 c #Conflicts: 366000 | #Constraints: 21879
251.26/252.10 c #Conflicts: 367000 | #Constraints: 22883
251.26/252.10 c #Conflicts: 368000 | #Constraints: 23887
251.26/252.10 c #Conflicts: 369000 | #Constraints: 24889
251.26/252.10 c INPROCESSING
251.26/252.10 c GARBAGE COLLECT
251.26/252.10 c rational objective 3
251.37/252.16 c GLOBAL bounds - >= 3 @ 249.036
251.37/252.16 c GLOBAL bounds - >= 3 @ 249.036
260.54/261.38 c #Conflicts: 370000 | #Constraints: 13500
260.54/261.38 c #Conflicts: 371000 | #Constraints: 14527
260.54/261.38 c #Conflicts: 372000 | #Constraints: 15534
260.54/261.38 c #Conflicts: 373000 | #Constraints: 16536
260.54/261.38 c #Conflicts: 374000 | #Constraints: 17553
260.54/261.38 c #Conflicts: 375000 | #Constraints: 18628
260.54/261.38 c #Conflicts: 376000 | #Constraints: 19644
260.54/261.38 c #Conflicts: 377000 | #Constraints: 20656
260.54/261.38 c #Conflicts: 378000 | #Constraints: 21667
260.54/261.38 c #Conflicts: 379000 | #Constraints: 22696
260.54/261.38 c #Conflicts: 380000 | #Constraints: 23698
260.54/261.38 c #Conflicts: 381000 | #Constraints: 24702
260.54/261.38 c INPROCESSING
260.54/261.38 c GARBAGE COLLECT
260.54/261.38 c rational objective 3
260.64/261.45 c GLOBAL bounds - >= 3 @ 258.225
260.64/261.45 c GLOBAL bounds - >= 3 @ 258.225
271.70/272.53 c #Conflicts: 382000 | #Constraints: 13214
271.70/272.53 c #Conflicts: 383000 | #Constraints: 14220
271.70/272.53 c #Conflicts: 384000 | #Constraints: 15224
271.70/272.53 c #Conflicts: 385000 | #Constraints: 16225
271.70/272.53 c #Conflicts: 386000 | #Constraints: 17231
271.70/272.53 c #Conflicts: 387000 | #Constraints: 18238
271.70/272.53 c #Conflicts: 388000 | #Constraints: 19246
271.70/272.53 c #Conflicts: 389000 | #Constraints: 20257
271.70/272.53 c #Conflicts: 390000 | #Constraints: 21271
271.70/272.53 c #Conflicts: 391000 | #Constraints: 22276
271.70/272.53 c #Conflicts: 392000 | #Constraints: 23284
271.70/272.53 c #Conflicts: 393000 | #Constraints: 24290
271.70/272.53 c #Conflicts: 394000 | #Constraints: 25295
271.70/272.53 c INPROCESSING
271.70/272.53 c GARBAGE COLLECT
271.70/272.53 c rational objective 3
271.70/272.56 c GLOBAL bounds - >= 3 @ 269.217
271.70/272.56 c GLOBAL bounds - >= 3 @ 269.217
285.66/286.56 c #Conflicts: 395000 | #Constraints: 13715
285.66/286.56 c #Conflicts: 396000 | #Constraints: 14715
285.66/286.56 c #Conflicts: 397000 | #Constraints: 15723
285.66/286.56 c #Conflicts: 398000 | #Constraints: 16728
285.66/286.56 c #Conflicts: 399000 | #Constraints: 17734
285.66/286.56 c #Conflicts: 400000 | #Constraints: 18739
285.66/286.56 c #Conflicts: 401000 | #Constraints: 19745
285.66/286.56 c #Conflicts: 402000 | #Constraints: 20752
285.66/286.56 c #Conflicts: 403000 | #Constraints: 21757
285.66/286.56 c #Conflicts: 404000 | #Constraints: 22765
285.66/286.56 c #Conflicts: 405000 | #Constraints: 23770
285.66/286.56 c #Conflicts: 406000 | #Constraints: 24778
285.66/286.56 c #Conflicts: 407000 | #Constraints: 25783
285.66/286.56 c INPROCESSING
285.66/286.56 c GARBAGE COLLECT
285.66/286.56 c rational objective 3
285.76/286.61 c GLOBAL bounds - >= 3 @ 283.133
285.76/286.61 c GLOBAL bounds - >= 3 @ 283.133
300.82/301.74 c #Conflicts: 408000 | #Constraints: 14094
300.82/301.74 c #Conflicts: 409000 | #Constraints: 15099
300.82/301.74 c #Conflicts: 410000 | #Constraints: 16106
300.82/301.74 c #Conflicts: 411000 | #Constraints: 17108
300.82/301.74 c #Conflicts: 412000 | #Constraints: 18115
300.82/301.74 c #Conflicts: 413000 | #Constraints: 19118
300.82/301.74 c #Conflicts: 414000 | #Constraints: 20127
300.82/301.74 c #Conflicts: 415000 | #Constraints: 21133
300.82/301.74 c #Conflicts: 416000 | #Constraints: 22141
300.82/301.74 c #Conflicts: 417000 | #Constraints: 23146
300.82/301.74 c #Conflicts: 418000 | #Constraints: 24150
300.82/301.74 c #Conflicts: 419000 | #Constraints: 25156
300.82/301.74 c #Conflicts: 420000 | #Constraints: 26163
300.82/301.74 c INPROCESSING
300.82/301.74 c GARBAGE COLLECT
300.82/301.74 c rational objective 3
300.82/301.79 c GLOBAL bounds - >= 3 @ 298.171
300.82/301.79 c GLOBAL bounds - >= 3 @ 298.171
320.07/321.10 c #Conflicts: 421000 | #Constraints: 14291
320.07/321.10 c #Conflicts: 422000 | #Constraints: 15297
320.07/321.10 c #Conflicts: 423000 | #Constraints: 16302
320.07/321.10 c #Conflicts: 424000 | #Constraints: 17308
320.07/321.10 c #Conflicts: 425000 | #Constraints: 18321
320.07/321.10 c #Conflicts: 426000 | #Constraints: 19326
320.07/321.10 c #Conflicts: 427000 | #Constraints: 20331
320.07/321.10 c #Conflicts: 428000 | #Constraints: 21333
320.07/321.10 c #Conflicts: 429000 | #Constraints: 22339
320.07/321.10 c #Conflicts: 430000 | #Constraints: 23342
320.07/321.10 c #Conflicts: 431000 | #Constraints: 24345
320.07/321.10 c #Conflicts: 432000 | #Constraints: 25348
320.07/321.10 c #Conflicts: 433000 | #Constraints: 26350
320.07/321.10 c INPROCESSING
320.07/321.10 c GARBAGE COLLECT
320.07/321.10 c rational objective 3
320.26/321.20 c GLOBAL bounds - >= 3 @ 317.42
320.26/321.20 c GLOBAL bounds - >= 3 @ 317.42
338.90/339.95 c #Conflicts: 434000 | #Constraints: 14286
338.90/339.95 c #Conflicts: 435000 | #Constraints: 15297
338.90/339.95 c #Conflicts: 436000 | #Constraints: 16306
338.90/339.95 c #Conflicts: 437000 | #Constraints: 17314
338.90/339.95 c #Conflicts: 438000 | #Constraints: 18325
338.90/339.95 c #Conflicts: 439000 | #Constraints: 19330
338.90/339.95 c #Conflicts: 440000 | #Constraints: 20337
338.90/339.95 c #Conflicts: 441000 | #Constraints: 21342
338.90/339.95 c #Conflicts: 442000 | #Constraints: 22346
338.90/339.95 c #Conflicts: 443000 | #Constraints: 23352
338.90/339.95 c #Conflicts: 444000 | #Constraints: 24357
338.90/339.95 c #Conflicts: 445000 | #Constraints: 25365
338.90/339.95 c #Conflicts: 446000 | #Constraints: 26372
338.90/339.95 c INPROCESSING
338.90/339.95 c GARBAGE COLLECT
338.90/339.95 c rational objective 3
339.00/340.02 c GLOBAL bounds - >= 3 @ 336.063
339.00/340.02 c GLOBAL bounds - >= 3 @ 336.063
356.35/357.41 c #Conflicts: 447000 | #Constraints: 14116
356.35/357.41 c #Conflicts: 448000 | #Constraints: 15124
356.35/357.41 c #Conflicts: 449000 | #Constraints: 16128
356.35/357.41 c #Conflicts: 450000 | #Constraints: 17129
356.35/357.41 c #Conflicts: 451000 | #Constraints: 18132
356.35/357.41 c #Conflicts: 452000 | #Constraints: 19136
356.35/357.41 c #Conflicts: 453000 | #Constraints: 20139
356.35/357.41 c #Conflicts: 454000 | #Constraints: 21142
356.35/357.41 c #Conflicts: 455000 | #Constraints: 22146
356.35/357.41 c #Conflicts: 456000 | #Constraints: 23149
356.35/357.41 c #Conflicts: 457000 | #Constraints: 24157
356.35/357.41 c #Conflicts: 458000 | #Constraints: 25162
356.35/357.41 c #Conflicts: 459000 | #Constraints: 26170
356.35/357.41 c #Conflicts: 460000 | #Constraints: 27174
356.35/357.41 c INPROCESSING
356.35/357.41 c GARBAGE COLLECT
356.35/357.41 c rational objective 3
356.35/357.47 c GLOBAL bounds - >= 3 @ 353.365
356.35/357.47 c GLOBAL bounds - >= 3 @ 353.365
373.70/374.87 c #Conflicts: 461000 | #Constraints: 14707
373.70/374.87 c #Conflicts: 462000 | #Constraints: 15712
373.70/374.87 c #Conflicts: 463000 | #Constraints: 16718
373.70/374.87 c #Conflicts: 464000 | #Constraints: 17720
373.70/374.87 c #Conflicts: 465000 | #Constraints: 18726
373.70/374.87 c #Conflicts: 466000 | #Constraints: 19737
373.70/374.87 c #Conflicts: 467000 | #Constraints: 20743
373.70/374.87 c #Conflicts: 468000 | #Constraints: 21751
373.70/374.87 c #Conflicts: 469000 | #Constraints: 22755
373.70/374.87 c #Conflicts: 470000 | #Constraints: 23758
373.70/374.87 c #Conflicts: 471000 | #Constraints: 24762
373.70/374.87 c #Conflicts: 472000 | #Constraints: 25767
373.70/374.87 c #Conflicts: 473000 | #Constraints: 26780
373.70/374.87 c #Conflicts: 474000 | #Constraints: 27784
373.70/374.87 c INPROCESSING
373.70/374.87 c GARBAGE COLLECT
373.70/374.87 c rational objective 3
373.80/374.91 c GLOBAL bounds - >= 3 @ 370.656
373.80/374.91 c GLOBAL bounds - >= 3 @ 370.656
389.35/390.51 c #Conflicts: 475000 | #Constraints: 15112
389.35/390.51 c #Conflicts: 476000 | #Constraints: 16126
389.35/390.51 c #Conflicts: 477000 | #Constraints: 17134
389.35/390.51 c #Conflicts: 478000 | #Constraints: 18147
389.35/390.51 c #Conflicts: 479000 | #Constraints: 19160
389.35/390.51 c #Conflicts: 480000 | #Constraints: 20175
389.35/390.51 c #Conflicts: 481000 | #Constraints: 21182
389.35/390.51 c #Conflicts: 482000 | #Constraints: 22192
389.35/390.51 c #Conflicts: 483000 | #Constraints: 23195
389.35/390.51 c #Conflicts: 484000 | #Constraints: 24199
389.35/390.51 c #Conflicts: 485000 | #Constraints: 25203
389.35/390.51 c #Conflicts: 486000 | #Constraints: 26208
389.35/390.51 c #Conflicts: 487000 | #Constraints: 27211
389.35/390.51 c #Conflicts: 488000 | #Constraints: 28216
389.35/390.51 c INPROCESSING
389.35/390.51 c GARBAGE COLLECT
389.35/390.51 c rational objective 3
389.35/390.59 c GLOBAL bounds - >= 3 @ 386.193
389.35/390.59 c GLOBAL bounds - >= 3 @ 386.193
404.80/406.07 c #Conflicts: 489000 | #Constraints: 15341
404.80/406.07 c #Conflicts: 490000 | #Constraints: 16344
404.80/406.07 c #Conflicts: 491000 | #Constraints: 17344
404.80/406.07 c #Conflicts: 492000 | #Constraints: 18345
404.80/406.07 c #Conflicts: 493000 | #Constraints: 19376
404.80/406.07 c #Conflicts: 494000 | #Constraints: 20379
404.80/406.07 c #Conflicts: 495000 | #Constraints: 21379
404.80/406.07 c #Conflicts: 496000 | #Constraints: 22380
404.80/406.07 c #Conflicts: 497000 | #Constraints: 23381
404.80/406.07 c #Conflicts: 498000 | #Constraints: 24384
404.80/406.07 c #Conflicts: 499000 | #Constraints: 25386
404.80/406.07 c #Conflicts: 500000 | #Constraints: 26388
404.80/406.07 c #Conflicts: 501000 | #Constraints: 27392
404.80/406.07 c #Conflicts: 502000 | #Constraints: 28426
404.80/406.07 c INPROCESSING
404.80/406.07 c GARBAGE COLLECT
404.80/406.07 c rational objective 3
404.90/406.16 c GLOBAL bounds - >= 3 @ 401.62
404.90/406.16 c GLOBAL bounds - >= 3 @ 401.62
426.23/427.55 c #Conflicts: 503000 | #Constraints: 15347
426.23/427.55 c #Conflicts: 504000 | #Constraints: 16350
426.23/427.55 c #Conflicts: 505000 | #Constraints: 17353
426.23/427.55 c #Conflicts: 506000 | #Constraints: 18355
426.23/427.55 c #Conflicts: 507000 | #Constraints: 19356
426.23/427.55 c #Conflicts: 508000 | #Constraints: 20358
426.23/427.55 c #Conflicts: 509000 | #Constraints: 21368
426.23/427.55 c #Conflicts: 510000 | #Constraints: 22377
426.23/427.55 c #Conflicts: 511000 | #Constraints: 23382
426.23/427.55 c #Conflicts: 512000 | #Constraints: 24384
426.23/427.55 c #Conflicts: 513000 | #Constraints: 25386
426.23/427.55 c #Conflicts: 514000 | #Constraints: 26390
426.23/427.55 c #Conflicts: 515000 | #Constraints: 27399
426.23/427.55 c #Conflicts: 516000 | #Constraints: 28403
426.23/427.55 c INPROCESSING
426.23/427.55 c GARBAGE COLLECT
426.23/427.55 c rational objective 3
426.33/427.60 c GLOBAL bounds - >= 3 @ 422.89
426.33/427.60 c GLOBAL bounds - >= 3 @ 422.89
447.07/448.45 c #Conflicts: 517000 | #Constraints: 15113
447.07/448.45 c #Conflicts: 518000 | #Constraints: 16132
447.07/448.45 c #Conflicts: 519000 | #Constraints: 17147
447.07/448.45 c #Conflicts: 520000 | #Constraints: 18167
447.07/448.45 c #Conflicts: 521000 | #Constraints: 19171
447.07/448.45 c #Conflicts: 522000 | #Constraints: 20253
447.07/448.45 c #Conflicts: 523000 | #Constraints: 21469
447.07/448.45 c #Conflicts: 524000 | #Constraints: 22490
447.07/448.45 c #Conflicts: 525000 | #Constraints: 23604
447.07/448.45 c #Conflicts: 526000 | #Constraints: 24729
447.07/448.45 c #Conflicts: 527000 | #Constraints: 25924
447.07/448.45 c #Conflicts: 528000 | #Constraints: 27004
447.07/448.45 c #Conflicts: 529000 | #Constraints: 28039
447.07/448.45 c #Conflicts: 530000 | #Constraints: 29068
447.07/448.45 c #Conflicts: 531000 | #Constraints: 30094
447.07/448.45 c INPROCESSING
447.07/448.45 c GARBAGE COLLECT
447.07/448.45 c rational objective 3
447.17/448.52 c GLOBAL bounds - >= 3 @ 443.653
447.17/448.52 c GLOBAL bounds - >= 3 @ 443.653
465.32/466.70 c #Conflicts: 532000 | #Constraints: 16198
465.32/466.70 c #Conflicts: 533000 | #Constraints: 17201
465.32/466.70 c #Conflicts: 534000 | #Constraints: 18203
465.32/466.70 c #Conflicts: 535000 | #Constraints: 19204
465.32/466.70 c #Conflicts: 536000 | #Constraints: 20204
465.32/466.70 c #Conflicts: 537000 | #Constraints: 21206
465.32/466.70 c #Conflicts: 538000 | #Constraints: 22209
465.32/466.70 c #Conflicts: 539000 | #Constraints: 23210
465.32/466.70 c #Conflicts: 540000 | #Constraints: 24212
465.32/466.70 c #Conflicts: 541000 | #Constraints: 25214
465.32/466.70 c #Conflicts: 542000 | #Constraints: 26217
465.32/466.70 c #Conflicts: 543000 | #Constraints: 27220
465.32/466.70 c #Conflicts: 544000 | #Constraints: 28220
465.32/466.70 c #Conflicts: 545000 | #Constraints: 29220
465.32/466.70 c #Conflicts: 546000 | #Constraints: 30228
465.32/466.70 c INPROCESSING
465.32/466.70 c GARBAGE COLLECT
465.32/466.70 c rational objective 3
465.32/466.79 c GLOBAL bounds - >= 3 @ 461.77
465.32/466.79 c GLOBAL bounds - >= 3 @ 461.77
486.57/488.04 c #Conflicts: 547000 | #Constraints: 16332
486.57/488.04 c #Conflicts: 548000 | #Constraints: 17333
486.57/488.04 c #Conflicts: 549000 | #Constraints: 18338
486.57/488.04 c #Conflicts: 550000 | #Constraints: 19345
486.57/488.04 c #Conflicts: 551000 | #Constraints: 20346
486.57/488.04 c #Conflicts: 552000 | #Constraints: 21355
486.57/488.04 c #Conflicts: 553000 | #Constraints: 22356
486.57/488.04 c #Conflicts: 554000 | #Constraints: 23360
486.57/488.04 c #Conflicts: 555000 | #Constraints: 24369
486.57/488.04 c #Conflicts: 556000 | #Constraints: 25374
486.57/488.04 c #Conflicts: 557000 | #Constraints: 26376
486.57/488.04 c #Conflicts: 558000 | #Constraints: 27380
486.57/488.04 c #Conflicts: 559000 | #Constraints: 28382
486.57/488.04 c #Conflicts: 560000 | #Constraints: 29384
486.57/488.04 c #Conflicts: 561000 | #Constraints: 30387
486.57/488.04 c INPROCESSING
486.57/488.04 c GARBAGE COLLECT
486.57/488.04 c rational objective 3
486.67/488.12 c GLOBAL bounds - >= 3 @ 482.932
486.67/488.12 c GLOBAL bounds - >= 3 @ 482.933
502.21/503.77 c #Conflicts: 562000 | #Constraints: 16401
502.21/503.77 c #Conflicts: 563000 | #Constraints: 17404
502.21/503.77 c #Conflicts: 564000 | #Constraints: 18410
502.21/503.77 c #Conflicts: 565000 | #Constraints: 19419
502.21/503.77 c #Conflicts: 566000 | #Constraints: 20435
502.21/503.77 c #Conflicts: 567000 | #Constraints: 21471
502.21/503.77 c #Conflicts: 568000 | #Constraints: 22476
502.21/503.77 c #Conflicts: 569000 | #Constraints: 23483
502.21/503.77 c #Conflicts: 570000 | #Constraints: 24622
502.21/503.77 c #Conflicts: 571000 | #Constraints: 25655
502.21/503.77 c #Conflicts: 572000 | #Constraints: 26679
502.21/503.77 c #Conflicts: 573000 | #Constraints: 27702
502.21/503.77 c #Conflicts: 574000 | #Constraints: 28851
502.21/503.77 c #Conflicts: 575000 | #Constraints: 29866
502.21/503.77 c #Conflicts: 576000 | #Constraints: 30922
502.21/503.77 c INPROCESSING
502.21/503.77 c GARBAGE COLLECT
502.21/503.77 c rational objective 3
502.31/503.87 c GLOBAL bounds - >= 3 @ 498.544
502.31/503.87 c GLOBAL bounds - >= 3 @ 498.544
521.36/522.99 c #Conflicts: 577000 | #Constraints: 16561
521.36/522.99 c #Conflicts: 578000 | #Constraints: 17561
521.36/522.99 c #Conflicts: 579000 | #Constraints: 18564
521.36/522.99 c #Conflicts: 580000 | #Constraints: 19564
521.36/522.99 c #Conflicts: 581000 | #Constraints: 20568
521.36/522.99 c #Conflicts: 582000 | #Constraints: 21568
521.36/522.99 c #Conflicts: 583000 | #Constraints: 22569
521.36/522.99 c #Conflicts: 584000 | #Constraints: 23569
521.36/522.99 c #Conflicts: 585000 | #Constraints: 24572
521.36/522.99 c #Conflicts: 586000 | #Constraints: 25572
521.36/522.99 c #Conflicts: 587000 | #Constraints: 26572
521.36/522.99 c #Conflicts: 588000 | #Constraints: 27573
521.36/522.99 c #Conflicts: 589000 | #Constraints: 28574
521.36/522.99 c #Conflicts: 590000 | #Constraints: 29574
521.36/522.99 c #Conflicts: 591000 | #Constraints: 30575
521.36/522.99 c INPROCESSING
521.36/522.99 c GARBAGE COLLECT
521.36/522.99 c rational objective 3
521.47/523.10 c GLOBAL bounds - >= 3 @ 517.587
521.47/523.10 c GLOBAL bounds - >= 3 @ 517.587
544.71/546.37 c #Conflicts: 592000 | #Constraints: 16205
544.71/546.37 c #Conflicts: 593000 | #Constraints: 17213
544.71/546.37 c #Conflicts: 594000 | #Constraints: 18218
544.71/546.37 c #Conflicts: 595000 | #Constraints: 19221
544.71/546.37 c #Conflicts: 596000 | #Constraints: 20228
544.71/546.37 c #Conflicts: 597000 | #Constraints: 21232
544.71/546.37 c #Conflicts: 598000 | #Constraints: 22243
544.71/546.37 c #Conflicts: 599000 | #Constraints: 23254
544.71/546.37 c #Conflicts: 600000 | #Constraints: 24256
544.71/546.37 c #Conflicts: 601000 | #Constraints: 25268
544.71/546.37 c #Conflicts: 602000 | #Constraints: 26269
544.71/546.37 c #Conflicts: 603000 | #Constraints: 27271
544.71/546.37 c #Conflicts: 604000 | #Constraints: 28273
544.71/546.37 c #Conflicts: 605000 | #Constraints: 29277
544.71/546.37 c #Conflicts: 606000 | #Constraints: 30318
544.71/546.37 c #Conflicts: 607000 | #Constraints: 31330
544.71/546.37 c INPROCESSING
544.71/546.37 c GARBAGE COLLECT
544.71/546.37 c rational objective 3
544.81/546.45 c GLOBAL bounds - >= 3 @ 540.765
544.81/546.45 c GLOBAL bounds - >= 3 @ 540.765
566.25/568.00 c #Conflicts: 608000 | #Constraints: 16782
566.25/568.00 c #Conflicts: 609000 | #Constraints: 17870
566.25/568.00 c #Conflicts: 610000 | #Constraints: 18876
566.25/568.00 c #Conflicts: 611000 | #Constraints: 19924
566.25/568.00 c #Conflicts: 612000 | #Constraints: 20933
566.25/568.00 c #Conflicts: 613000 | #Constraints: 21946
566.25/568.00 c #Conflicts: 614000 | #Constraints: 22956
566.25/568.00 c #Conflicts: 615000 | #Constraints: 23977
566.25/568.00 c #Conflicts: 616000 | #Constraints: 25007
566.25/568.00 c #Conflicts: 617000 | #Constraints: 26018
566.25/568.00 c #Conflicts: 618000 | #Constraints: 27031
566.25/568.00 c #Conflicts: 619000 | #Constraints: 28039
566.25/568.00 c #Conflicts: 620000 | #Constraints: 29068
566.25/568.00 c #Conflicts: 621000 | #Constraints: 30069
566.25/568.00 c #Conflicts: 622000 | #Constraints: 31077
566.25/568.00 c #Conflicts: 623000 | #Constraints: 32092
566.25/568.00 c INPROCESSING
566.25/568.00 c GARBAGE COLLECT
566.25/568.00 c rational objective 3
566.45/568.14 c GLOBAL bounds - >= 3 @ 562.286
566.45/568.14 c GLOBAL bounds - >= 3 @ 562.286
585.99/587.75 c #Conflicts: 624000 | #Constraints: 17256
585.99/587.75 c #Conflicts: 625000 | #Constraints: 18257
585.99/587.75 c #Conflicts: 626000 | #Constraints: 19258
585.99/587.75 c #Conflicts: 627000 | #Constraints: 20259
585.99/587.75 c #Conflicts: 628000 | #Constraints: 21264
585.99/587.75 c #Conflicts: 629000 | #Constraints: 22268
585.99/587.75 c #Conflicts: 630000 | #Constraints: 23271
585.99/587.75 c #Conflicts: 631000 | #Constraints: 24271
585.99/587.75 c #Conflicts: 632000 | #Constraints: 25274
585.99/587.75 c #Conflicts: 633000 | #Constraints: 26281
585.99/587.75 c #Conflicts: 634000 | #Constraints: 27283
585.99/587.75 c #Conflicts: 635000 | #Constraints: 28284
585.99/587.75 c #Conflicts: 636000 | #Constraints: 29286
585.99/587.75 c #Conflicts: 637000 | #Constraints: 30286
585.99/587.75 c #Conflicts: 638000 | #Constraints: 31286
585.99/587.75 c #Conflicts: 639000 | #Constraints: 32286
585.99/587.75 c INPROCESSING
585.99/587.75 c GARBAGE COLLECT
585.99/587.75 c rational objective 3
586.09/587.87 c GLOBAL bounds - >= 3 @ 581.843
586.09/587.87 c GLOBAL bounds - >= 3 @ 581.843
603.14/604.97 c #Conflicts: 640000 | #Constraints: 17317
603.14/604.97 c #Conflicts: 641000 | #Constraints: 18319
603.14/604.97 c #Conflicts: 642000 | #Constraints: 19320
603.14/604.97 c #Conflicts: 643000 | #Constraints: 20322
603.14/604.97 c #Conflicts: 644000 | #Constraints: 21325
603.14/604.97 c #Conflicts: 645000 | #Constraints: 22328
603.14/604.97 c #Conflicts: 646000 | #Constraints: 23331
603.14/604.97 c #Conflicts: 647000 | #Constraints: 24332
603.14/604.97 c #Conflicts: 648000 | #Constraints: 25337
603.14/604.97 c #Conflicts: 649000 | #Constraints: 26341
603.14/604.97 c #Conflicts: 650000 | #Constraints: 27347
603.14/604.97 c #Conflicts: 651000 | #Constraints: 28350
603.14/604.97 c #Conflicts: 652000 | #Constraints: 29350
603.14/604.97 c #Conflicts: 653000 | #Constraints: 30352
603.14/604.97 c #Conflicts: 654000 | #Constraints: 31355
603.14/604.97 c #Conflicts: 655000 | #Constraints: 32355
603.14/604.97 c INPROCESSING
603.14/604.97 c GARBAGE COLLECT
603.14/604.97 c rational objective 3
603.25/605.03 c GLOBAL bounds - >= 3 @ 598.847
603.25/605.03 c GLOBAL bounds - >= 3 @ 598.847
624.58/626.42 c #Conflicts: 656000 | #Constraints: 17289
624.58/626.42 c #Conflicts: 657000 | #Constraints: 18308
624.58/626.42 c #Conflicts: 658000 | #Constraints: 19353
624.58/626.42 c #Conflicts: 659000 | #Constraints: 20458
624.58/626.42 c #Conflicts: 660000 | #Constraints: 21652
624.58/626.42 c #Conflicts: 661000 | #Constraints: 22824
624.58/626.42 c #Conflicts: 662000 | #Constraints: 23854
624.58/626.42 c #Conflicts: 663000 | #Constraints: 24913
624.58/626.42 c #Conflicts: 664000 | #Constraints: 26035
624.58/626.42 c #Conflicts: 665000 | #Constraints: 27136
624.58/626.42 c #Conflicts: 666000 | #Constraints: 28486
624.58/626.42 c #Conflicts: 667000 | #Constraints: 29557
624.58/626.42 c #Conflicts: 668000 | #Constraints: 30562
624.58/626.42 c #Conflicts: 669000 | #Constraints: 31717
624.58/626.42 c #Conflicts: 670000 | #Constraints: 32926
624.58/626.42 c #Conflicts: 671000 | #Constraints: 34375
624.58/626.42 c INPROCESSING
624.58/626.42 c GARBAGE COLLECT
624.58/626.42 c rational objective 3
624.68/626.53 c GLOBAL bounds - >= 3 @ 620.17
624.68/626.53 c GLOBAL bounds - >= 3 @ 620.17
650.60/652.53 c #Conflicts: 672000 | #Constraints: 18080
650.60/652.53 c #Conflicts: 673000 | #Constraints: 19088
650.60/652.53 c #Conflicts: 674000 | #Constraints: 20090
650.60/652.53 c #Conflicts: 675000 | #Constraints: 21094
650.60/652.53 c #Conflicts: 676000 | #Constraints: 22099
650.60/652.53 c #Conflicts: 677000 | #Constraints: 23100
650.60/652.53 c #Conflicts: 678000 | #Constraints: 24104
650.60/652.53 c #Conflicts: 679000 | #Constraints: 25105
650.60/652.53 c #Conflicts: 680000 | #Constraints: 26106
650.60/652.53 c #Conflicts: 681000 | #Constraints: 27110
650.60/652.53 c #Conflicts: 682000 | #Constraints: 28113
650.60/652.53 c #Conflicts: 683000 | #Constraints: 29117
650.60/652.53 c #Conflicts: 684000 | #Constraints: 30123
650.60/652.53 c #Conflicts: 685000 | #Constraints: 31134
650.60/652.53 c #Conflicts: 686000 | #Constraints: 32139
650.60/652.53 c #Conflicts: 687000 | #Constraints: 33144
650.60/652.53 c #Conflicts: 688000 | #Constraints: 34144
650.60/652.53 c INPROCESSING
650.60/652.53 c GARBAGE COLLECT
650.60/652.53 c rational objective 3
650.60/652.58 c GLOBAL bounds - >= 3 @ 646.03
650.60/652.58 c GLOBAL bounds - >= 3 @ 646.03
672.33/674.35 c #Conflicts: 689000 | #Constraints: 18175
672.33/674.35 c #Conflicts: 690000 | #Constraints: 19177
672.33/674.35 c #Conflicts: 691000 | #Constraints: 20178
672.33/674.35 c #Conflicts: 692000 | #Constraints: 21181
672.33/674.35 c #Conflicts: 693000 | #Constraints: 22183
672.33/674.35 c #Conflicts: 694000 | #Constraints: 23183
672.33/674.35 c #Conflicts: 695000 | #Constraints: 24184
672.33/674.35 c #Conflicts: 696000 | #Constraints: 25186
672.33/674.35 c #Conflicts: 697000 | #Constraints: 26186
672.33/674.35 c #Conflicts: 698000 | #Constraints: 27186
672.33/674.35 c #Conflicts: 699000 | #Constraints: 28186
672.33/674.35 c #Conflicts: 700000 | #Constraints: 29187
672.33/674.35 c #Conflicts: 701000 | #Constraints: 30189
672.33/674.35 c #Conflicts: 702000 | #Constraints: 31192
672.33/674.35 c #Conflicts: 703000 | #Constraints: 32193
672.33/674.35 c #Conflicts: 704000 | #Constraints: 33193
672.33/674.35 c #Conflicts: 705000 | #Constraints: 34199
672.33/674.35 c INPROCESSING
672.33/674.35 c GARBAGE COLLECT
672.33/674.35 c rational objective 3
672.43/674.44 c GLOBAL bounds - >= 3 @ 667.713
672.43/674.44 c GLOBAL bounds - >= 3 @ 667.713
696.75/698.84 c #Conflicts: 706000 | #Constraints: 18314
696.75/698.84 c #Conflicts: 707000 | #Constraints: 19316
696.75/698.84 c #Conflicts: 708000 | #Constraints: 20319
696.75/698.84 c #Conflicts: 709000 | #Constraints: 21323
696.75/698.84 c #Conflicts: 710000 | #Constraints: 22326
696.75/698.84 c #Conflicts: 711000 | #Constraints: 23334
696.75/698.84 c #Conflicts: 712000 | #Constraints: 24342
696.75/698.84 c #Conflicts: 713000 | #Constraints: 25350
696.75/698.84 c #Conflicts: 714000 | #Constraints: 26358
696.75/698.84 c #Conflicts: 715000 | #Constraints: 27359
696.75/698.84 c #Conflicts: 716000 | #Constraints: 28362
696.75/698.84 c #Conflicts: 717000 | #Constraints: 29367
696.75/698.84 c #Conflicts: 718000 | #Constraints: 30376
696.75/698.84 c #Conflicts: 719000 | #Constraints: 31381
696.75/698.84 c #Conflicts: 720000 | #Constraints: 32385
696.75/698.84 c #Conflicts: 721000 | #Constraints: 33389
696.75/698.84 c #Conflicts: 722000 | #Constraints: 34395
696.75/698.84 c INPROCESSING
696.75/698.84 c GARBAGE COLLECT
696.75/698.84 c rational objective 3
696.85/698.90 c GLOBAL bounds - >= 3 @ 691.989
696.85/698.90 c GLOBAL bounds - >= 3 @ 691.989
721.77/723.93 c #Conflicts: 723000 | #Constraints: 18425
721.77/723.93 c #Conflicts: 724000 | #Constraints: 19433
721.77/723.93 c #Conflicts: 725000 | #Constraints: 20440
721.77/723.93 c #Conflicts: 726000 | #Constraints: 21451
721.77/723.93 c #Conflicts: 727000 | #Constraints: 22455
721.77/723.93 c #Conflicts: 728000 | #Constraints: 23463
721.77/723.93 c #Conflicts: 729000 | #Constraints: 24476
721.77/723.93 c #Conflicts: 730000 | #Constraints: 25482
721.77/723.93 c #Conflicts: 731000 | #Constraints: 26488
721.77/723.93 c #Conflicts: 732000 | #Constraints: 27497
721.77/723.93 c #Conflicts: 733000 | #Constraints: 28505
721.77/723.93 c #Conflicts: 734000 | #Constraints: 29509
721.77/723.93 c #Conflicts: 735000 | #Constraints: 30511
721.77/723.93 c #Conflicts: 736000 | #Constraints: 31516
721.77/723.93 c #Conflicts: 737000 | #Constraints: 32521
721.77/723.93 c #Conflicts: 738000 | #Constraints: 33525
721.77/723.93 c #Conflicts: 739000 | #Constraints: 34526
721.77/723.93 c INPROCESSING
721.77/723.93 c GARBAGE COLLECT
721.77/723.93 c rational objective 3
721.87/724.01 c GLOBAL bounds - >= 3 @ 716.896
721.87/724.01 c GLOBAL bounds - >= 3 @ 716.896
746.68/748.91 c #Conflicts: 740000 | #Constraints: 18387
746.68/748.91 c #Conflicts: 741000 | #Constraints: 19394
746.68/748.91 c #Conflicts: 742000 | #Constraints: 20404
746.68/748.91 c #Conflicts: 743000 | #Constraints: 21409
746.68/748.91 c #Conflicts: 744000 | #Constraints: 22414
746.68/748.91 c #Conflicts: 745000 | #Constraints: 23416
746.68/748.91 c #Conflicts: 746000 | #Constraints: 24423
746.68/748.91 c #Conflicts: 747000 | #Constraints: 25426
746.68/748.91 c #Conflicts: 748000 | #Constraints: 26432
746.68/748.91 c #Conflicts: 749000 | #Constraints: 27436
746.68/748.91 c #Conflicts: 750000 | #Constraints: 28440
746.68/748.91 c #Conflicts: 751000 | #Constraints: 29451
746.68/748.91 c #Conflicts: 752000 | #Constraints: 30454
746.68/748.91 c #Conflicts: 753000 | #Constraints: 31458
746.68/748.91 c #Conflicts: 754000 | #Constraints: 32463
746.68/748.91 c #Conflicts: 755000 | #Constraints: 33468
746.68/748.91 c #Conflicts: 756000 | #Constraints: 34474
746.68/748.91 c INPROCESSING
746.68/748.91 c GARBAGE COLLECT
746.68/748.91 c rational objective 3
746.79/749.07 c GLOBAL bounds - >= 3 @ 741.763
746.79/749.07 c GLOBAL bounds - >= 3 @ 741.763
772.51/774.84 c #Conflicts: 757000 | #Constraints: 18137
772.51/774.84 c #Conflicts: 758000 | #Constraints: 19142
772.51/774.84 c #Conflicts: 759000 | #Constraints: 20147
772.51/774.84 c #Conflicts: 760000 | #Constraints: 21157
772.51/774.84 c #Conflicts: 761000 | #Constraints: 22162
772.51/774.84 c #Conflicts: 762000 | #Constraints: 23169
772.51/774.84 c #Conflicts: 763000 | #Constraints: 24175
772.51/774.84 c #Conflicts: 764000 | #Constraints: 25181
772.51/774.84 c #Conflicts: 765000 | #Constraints: 26186
772.51/774.84 c #Conflicts: 766000 | #Constraints: 27191
772.51/774.84 c #Conflicts: 767000 | #Constraints: 28194
772.51/774.84 c #Conflicts: 768000 | #Constraints: 29195
772.51/774.84 c #Conflicts: 769000 | #Constraints: 30196
772.51/774.84 c #Conflicts: 770000 | #Constraints: 31202
772.51/774.84 c #Conflicts: 771000 | #Constraints: 32206
772.51/774.84 c #Conflicts: 772000 | #Constraints: 33214
772.51/774.84 c #Conflicts: 773000 | #Constraints: 34223
772.51/774.84 c #Conflicts: 774000 | #Constraints: 35233
772.51/774.84 c INPROCESSING
772.51/774.84 c GARBAGE COLLECT
772.51/774.84 c rational objective 3
772.61/774.94 c GLOBAL bounds - >= 3 @ 767.438
772.61/774.94 c GLOBAL bounds - >= 3 @ 767.438
799.42/801.85 c #Conflicts: 775000 | #Constraints: 18740
799.42/801.85 c #Conflicts: 776000 | #Constraints: 19744
799.42/801.85 c #Conflicts: 777000 | #Constraints: 20750
799.42/801.85 c #Conflicts: 778000 | #Constraints: 21754
799.42/801.85 c #Conflicts: 779000 | #Constraints: 22754
799.42/801.85 c #Conflicts: 780000 | #Constraints: 23761
799.42/801.85 c #Conflicts: 781000 | #Constraints: 24766
799.42/801.85 c #Conflicts: 782000 | #Constraints: 25771
799.42/801.85 c #Conflicts: 783000 | #Constraints: 26778
799.42/801.85 c #Conflicts: 784000 | #Constraints: 27782
799.42/801.85 c #Conflicts: 785000 | #Constraints: 28786
799.42/801.85 c #Conflicts: 786000 | #Constraints: 29789
799.42/801.85 c #Conflicts: 787000 | #Constraints: 30794
799.42/801.85 c #Conflicts: 788000 | #Constraints: 31799
799.42/801.85 c #Conflicts: 789000 | #Constraints: 32806
799.42/801.85 c #Conflicts: 790000 | #Constraints: 33811
799.42/801.85 c #Conflicts: 791000 | #Constraints: 34816
799.42/801.85 c #Conflicts: 792000 | #Constraints: 35824
799.42/801.85 c INPROCESSING
799.42/801.85 c GARBAGE COLLECT
799.42/801.85 c rational objective 3
799.52/801.92 c GLOBAL bounds - >= 3 @ 794.202
799.52/801.92 c GLOBAL bounds - >= 3 @ 794.202
827.93/830.43 c #Conflicts: 793000 | #Constraints: 19146
827.93/830.43 c #Conflicts: 794000 | #Constraints: 20151
827.93/830.43 c #Conflicts: 795000 | #Constraints: 21160
827.93/830.43 c #Conflicts: 796000 | #Constraints: 22169
827.93/830.43 c #Conflicts: 797000 | #Constraints: 23174
827.93/830.43 c #Conflicts: 798000 | #Constraints: 24181
827.93/830.43 c #Conflicts: 799000 | #Constraints: 25194
827.93/830.43 c #Conflicts: 800000 | #Constraints: 26199
827.93/830.43 c #Conflicts: 801000 | #Constraints: 27210
827.93/830.43 c #Conflicts: 802000 | #Constraints: 28220
827.93/830.43 c #Conflicts: 803000 | #Constraints: 29225
827.93/830.43 c #Conflicts: 804000 | #Constraints: 30230
827.93/830.43 c #Conflicts: 805000 | #Constraints: 31235
827.93/830.43 c #Conflicts: 806000 | #Constraints: 32241
827.93/830.43 c #Conflicts: 807000 | #Constraints: 33243
827.93/830.43 c #Conflicts: 808000 | #Constraints: 34246
827.93/830.43 c #Conflicts: 809000 | #Constraints: 35252
827.93/830.43 c #Conflicts: 810000 | #Constraints: 36256
827.93/830.43 c INPROCESSING
827.93/830.43 c GARBAGE COLLECT
827.93/830.43 c rational objective 3
827.93/830.48 c GLOBAL bounds - >= 3 @ 822.525
827.93/830.48 c GLOBAL bounds - >= 3 @ 822.525
858.63/861.21 c #Conflicts: 811000 | #Constraints: 19360
858.63/861.21 c #Conflicts: 812000 | #Constraints: 20364
858.63/861.21 c #Conflicts: 813000 | #Constraints: 21368
858.63/861.21 c #Conflicts: 814000 | #Constraints: 22381
858.63/861.21 c #Conflicts: 815000 | #Constraints: 23388
858.63/861.21 c #Conflicts: 816000 | #Constraints: 24395
858.63/861.21 c #Conflicts: 817000 | #Constraints: 25401
858.63/861.21 c #Conflicts: 818000 | #Constraints: 26405
858.63/861.21 c #Conflicts: 819000 | #Constraints: 27414
858.63/861.21 c #Conflicts: 820000 | #Constraints: 28418
858.63/861.21 c #Conflicts: 821000 | #Constraints: 29426
858.63/861.21 c #Conflicts: 822000 | #Constraints: 30435
858.63/861.21 c #Conflicts: 823000 | #Constraints: 31439
858.63/861.21 c #Conflicts: 824000 | #Constraints: 32440
858.63/861.21 c #Conflicts: 825000 | #Constraints: 33446
858.63/861.21 c #Conflicts: 826000 | #Constraints: 34449
858.63/861.21 c #Conflicts: 827000 | #Constraints: 35454
858.63/861.21 c #Conflicts: 828000 | #Constraints: 36456
858.63/861.21 c INPROCESSING
858.63/861.21 c GARBAGE COLLECT
858.63/861.21 c rational objective 3
858.63/861.26 c GLOBAL bounds - >= 3 @ 853.092
858.63/861.26 c GLOBAL bounds - >= 3 @ 853.092
887.35/890.01 c #Conflicts: 829000 | #Constraints: 19359
887.35/890.01 c #Conflicts: 830000 | #Constraints: 20364
887.35/890.01 c #Conflicts: 831000 | #Constraints: 21366
887.35/890.01 c #Conflicts: 832000 | #Constraints: 22370
887.35/890.01 c #Conflicts: 833000 | #Constraints: 23374
887.35/890.01 c #Conflicts: 834000 | #Constraints: 24379
887.35/890.01 c #Conflicts: 835000 | #Constraints: 25381
887.35/890.01 c #Conflicts: 836000 | #Constraints: 26386
887.35/890.01 c #Conflicts: 837000 | #Constraints: 27391
887.35/890.01 c #Conflicts: 838000 | #Constraints: 28392
887.35/890.01 c #Conflicts: 839000 | #Constraints: 29395
887.35/890.01 c #Conflicts: 840000 | #Constraints: 30399
887.35/890.01 c #Conflicts: 841000 | #Constraints: 31401
887.35/890.01 c #Conflicts: 842000 | #Constraints: 32402
887.35/890.01 c #Conflicts: 843000 | #Constraints: 33408
887.35/890.01 c #Conflicts: 844000 | #Constraints: 34411
887.35/890.01 c #Conflicts: 845000 | #Constraints: 35416
887.35/890.01 c #Conflicts: 846000 | #Constraints: 36422
887.35/890.01 c INPROCESSING
887.35/890.01 c GARBAGE COLLECT
887.35/890.01 c rational objective 3
887.35/890.09 c GLOBAL bounds - >= 3 @ 881.695
887.35/890.09 c GLOBAL bounds - >= 3 @ 881.695
918.55/921.37 c #Conflicts: 847000 | #Constraints: 19114
918.55/921.37 c #Conflicts: 848000 | #Constraints: 20117
918.55/921.37 c #Conflicts: 849000 | #Constraints: 21124
918.55/921.37 c #Conflicts: 850000 | #Constraints: 22130
918.55/921.37 c #Conflicts: 851000 | #Constraints: 23137
918.55/921.37 c #Conflicts: 852000 | #Constraints: 24145
918.55/921.37 c #Conflicts: 853000 | #Constraints: 25148
918.55/921.37 c #Conflicts: 854000 | #Constraints: 26155
918.55/921.37 c #Conflicts: 855000 | #Constraints: 27162
918.55/921.37 c #Conflicts: 856000 | #Constraints: 28164
918.55/921.37 c #Conflicts: 857000 | #Constraints: 29170
918.55/921.37 c #Conflicts: 858000 | #Constraints: 30178
918.55/921.37 c #Conflicts: 859000 | #Constraints: 31182
918.55/921.37 c #Conflicts: 860000 | #Constraints: 32190
918.55/921.37 c #Conflicts: 861000 | #Constraints: 33193
918.55/921.37 c #Conflicts: 862000 | #Constraints: 34195
918.55/921.37 c #Conflicts: 863000 | #Constraints: 35198
918.55/921.37 c #Conflicts: 864000 | #Constraints: 36203
918.55/921.37 c #Conflicts: 865000 | #Constraints: 37206
918.55/921.37 c INPROCESSING
918.55/921.37 c GARBAGE COLLECT
918.55/921.37 c rational objective 3
918.64/921.45 c GLOBAL bounds - >= 3 @ 912.834
918.64/921.45 c GLOBAL bounds - >= 3 @ 912.834
946.16/949.08 c #Conflicts: 866000 | #Constraints: 19716
946.16/949.08 c #Conflicts: 867000 | #Constraints: 20725
946.16/949.08 c #Conflicts: 868000 | #Constraints: 21729
946.16/949.08 c #Conflicts: 869000 | #Constraints: 22737
946.16/949.08 c #Conflicts: 870000 | #Constraints: 23742
946.16/949.08 c #Conflicts: 871000 | #Constraints: 24753
946.16/949.08 c #Conflicts: 872000 | #Constraints: 25760
946.16/949.08 c #Conflicts: 873000 | #Constraints: 26768
946.16/949.08 c #Conflicts: 874000 | #Constraints: 27774
946.16/949.08 c #Conflicts: 875000 | #Constraints: 28782
946.16/949.08 c #Conflicts: 876000 | #Constraints: 29788
946.16/949.08 c #Conflicts: 877000 | #Constraints: 30802
946.16/949.08 c #Conflicts: 878000 | #Constraints: 31806
946.16/949.08 c #Conflicts: 879000 | #Constraints: 32810
946.16/949.08 c #Conflicts: 880000 | #Constraints: 33816
946.16/949.08 c #Conflicts: 881000 | #Constraints: 34821
946.16/949.08 c #Conflicts: 882000 | #Constraints: 35834
946.16/949.08 c #Conflicts: 883000 | #Constraints: 36837
946.16/949.08 c #Conflicts: 884000 | #Constraints: 37846
946.16/949.08 c INPROCESSING
946.16/949.08 c GARBAGE COLLECT
946.16/949.08 c rational objective 3
946.26/949.16 c GLOBAL bounds - >= 3 @ 940.343
946.26/949.16 c GLOBAL bounds - >= 3 @ 940.343
979.74/982.77 c #Conflicts: 885000 | #Constraints: 20132
979.74/982.77 c #Conflicts: 886000 | #Constraints: 21140
979.74/982.77 c #Conflicts: 887000 | #Constraints: 22148
979.74/982.77 c #Conflicts: 888000 | #Constraints: 23150
979.74/982.77 c #Conflicts: 889000 | #Constraints: 24155
979.74/982.77 c #Conflicts: 890000 | #Constraints: 25160
979.74/982.77 c #Conflicts: 891000 | #Constraints: 26163
979.74/982.77 c #Conflicts: 892000 | #Constraints: 27168
979.74/982.77 c #Conflicts: 893000 | #Constraints: 28173
979.74/982.77 c #Conflicts: 894000 | #Constraints: 29177
979.74/982.77 c #Conflicts: 895000 | #Constraints: 30184
979.74/982.77 c #Conflicts: 896000 | #Constraints: 31191
979.74/982.77 c #Conflicts: 897000 | #Constraints: 32198
979.74/982.77 c #Conflicts: 898000 | #Constraints: 33202
979.74/982.77 c #Conflicts: 899000 | #Constraints: 34207
979.74/982.77 c #Conflicts: 900000 | #Constraints: 35215
979.74/982.77 c #Conflicts: 901000 | #Constraints: 36221
979.74/982.77 c #Conflicts: 902000 | #Constraints: 37223
979.74/982.77 c #Conflicts: 903000 | #Constraints: 38228
979.74/982.77 c INPROCESSING
979.74/982.77 c GARBAGE COLLECT
979.74/982.77 c rational objective 3
979.84/982.83 c GLOBAL bounds - >= 3 @ 973.783
979.84/982.83 c GLOBAL bounds - >= 3 @ 973.783
1009.95/1013.01 c #Conflicts: 904000 | #Constraints: 20349
1009.95/1013.01 c #Conflicts: 905000 | #Constraints: 21356
1009.95/1013.01 c #Conflicts: 906000 | #Constraints: 22363
1009.95/1013.01 c #Conflicts: 907000 | #Constraints: 23367
1009.95/1013.01 c #Conflicts: 908000 | #Constraints: 24370
1009.95/1013.01 c #Conflicts: 909000 | #Constraints: 25376
1009.95/1013.01 c #Conflicts: 910000 | #Constraints: 26382
1009.95/1013.01 c #Conflicts: 911000 | #Constraints: 27387
1009.95/1013.01 c #Conflicts: 912000 | #Constraints: 28392
1009.95/1013.01 c #Conflicts: 913000 | #Constraints: 29400
1009.95/1013.01 c #Conflicts: 914000 | #Constraints: 30408
1009.95/1013.01 c #Conflicts: 915000 | #Constraints: 31416
1009.95/1013.01 c #Conflicts: 916000 | #Constraints: 32417
1009.95/1013.01 c #Conflicts: 917000 | #Constraints: 33422
1009.95/1013.01 c #Conflicts: 918000 | #Constraints: 34428
1009.95/1013.01 c #Conflicts: 919000 | #Constraints: 35432
1009.95/1013.01 c #Conflicts: 920000 | #Constraints: 36434
1009.95/1013.01 c #Conflicts: 921000 | #Constraints: 37443
1009.95/1013.01 c #Conflicts: 922000 | #Constraints: 38447
1009.95/1013.01 c INPROCESSING
1009.95/1013.01 c GARBAGE COLLECT
1009.95/1013.01 c rational objective 3
1009.95/1013.08 c GLOBAL bounds - >= 3 @ 1003.8
1009.95/1013.08 c GLOBAL bounds - >= 3 @ 1003.8
1051.92/1055.10 c #Conflicts: 923000 | #Constraints: 20282
1051.92/1055.10 c #Conflicts: 924000 | #Constraints: 21286
1051.92/1055.10 c #Conflicts: 925000 | #Constraints: 22290
1051.92/1055.10 c #Conflicts: 926000 | #Constraints: 23298
1051.92/1055.10 c #Conflicts: 927000 | #Constraints: 24301
1051.92/1055.10 c #Conflicts: 928000 | #Constraints: 25305
1051.92/1055.10 c #Conflicts: 929000 | #Constraints: 26306
1051.92/1055.10 c #Conflicts: 930000 | #Constraints: 27311
1051.92/1055.10 c #Conflicts: 931000 | #Constraints: 28321
1051.92/1055.10 c #Conflicts: 932000 | #Constraints: 29325
1051.92/1055.10 c #Conflicts: 933000 | #Constraints: 30331
1051.92/1055.10 c #Conflicts: 934000 | #Constraints: 31333
1051.92/1055.10 c #Conflicts: 935000 | #Constraints: 32336
1051.92/1055.10 c #Conflicts: 936000 | #Constraints: 33340
1051.92/1055.10 c #Conflicts: 937000 | #Constraints: 34348
1051.92/1055.10 c #Conflicts: 938000 | #Constraints: 35351
1051.92/1055.10 c #Conflicts: 939000 | #Constraints: 36354
1051.92/1055.10 c #Conflicts: 940000 | #Constraints: 37356
1051.92/1055.10 c #Conflicts: 941000 | #Constraints: 38357
1051.92/1055.10 c INPROCESSING
1051.92/1055.10 c GARBAGE COLLECT
1051.92/1055.10 c rational objective 3
1051.92/1055.17 c GLOBAL bounds - >= 3 @ 1045.6
1051.92/1055.17 c GLOBAL bounds - >= 3 @ 1045.6
1100.55/1103.94 c #Conflicts: 942000 | #Constraints: 20096
1100.55/1103.94 c #Conflicts: 943000 | #Constraints: 21101
1100.55/1103.94 c #Conflicts: 944000 | #Constraints: 22107
1100.55/1103.94 c #Conflicts: 945000 | #Constraints: 23113
1100.55/1103.94 c #Conflicts: 946000 | #Constraints: 24116
1100.55/1103.94 c #Conflicts: 947000 | #Constraints: 25122
1100.55/1103.94 c #Conflicts: 948000 | #Constraints: 26122
1100.55/1103.94 c #Conflicts: 949000 | #Constraints: 27124
1100.55/1103.94 c #Conflicts: 950000 | #Constraints: 28132
1100.55/1103.94 c #Conflicts: 951000 | #Constraints: 29136
1100.55/1103.94 c #Conflicts: 952000 | #Constraints: 30136
1100.55/1103.94 c #Conflicts: 953000 | #Constraints: 31142
1100.55/1103.94 c #Conflicts: 954000 | #Constraints: 32144
1100.55/1103.94 c #Conflicts: 955000 | #Constraints: 33146
1100.55/1103.94 c #Conflicts: 956000 | #Constraints: 34148
1100.55/1103.94 c #Conflicts: 957000 | #Constraints: 35157
1100.55/1103.94 c #Conflicts: 958000 | #Constraints: 36162
1100.55/1103.94 c #Conflicts: 959000 | #Constraints: 37167
1100.55/1103.94 c #Conflicts: 960000 | #Constraints: 38173
1100.55/1103.94 c #Conflicts: 961000 | #Constraints: 39179
1100.55/1103.94 c INPROCESSING
1100.55/1103.94 c GARBAGE COLLECT
1100.55/1103.94 c rational objective 3
1100.55/1104.00 c GLOBAL bounds - >= 3 @ 1094.12
1100.55/1104.00 c GLOBAL bounds - >= 3 @ 1094.12
1148.19/1151.78 c #Conflicts: 962000 | #Constraints: 20708
1148.19/1151.78 c #Conflicts: 963000 | #Constraints: 21709
1148.19/1151.78 c #Conflicts: 964000 | #Constraints: 22712
1148.19/1151.78 c #Conflicts: 965000 | #Constraints: 23714
1148.19/1151.78 c #Conflicts: 966000 | #Constraints: 24717
1148.19/1151.78 c #Conflicts: 967000 | #Constraints: 25723
1148.19/1151.78 c #Conflicts: 968000 | #Constraints: 26723
1148.19/1151.78 c #Conflicts: 969000 | #Constraints: 27727
1148.19/1151.78 c #Conflicts: 970000 | #Constraints: 28732
1148.19/1151.78 c #Conflicts: 971000 | #Constraints: 29733
1148.19/1151.78 c #Conflicts: 972000 | #Constraints: 30737
1148.19/1151.78 c #Conflicts: 973000 | #Constraints: 31742
1148.19/1151.78 c #Conflicts: 974000 | #Constraints: 32747
1148.19/1151.78 c #Conflicts: 975000 | #Constraints: 33754
1148.19/1151.78 c #Conflicts: 976000 | #Constraints: 34757
1148.19/1151.78 c #Conflicts: 977000 | #Constraints: 35759
1148.19/1151.78 c #Conflicts: 978000 | #Constraints: 36761
1148.19/1151.78 c #Conflicts: 979000 | #Constraints: 37765
1148.19/1151.78 c #Conflicts: 980000 | #Constraints: 38768
1148.19/1151.78 c #Conflicts: 981000 | #Constraints: 39773
1148.19/1151.78 c INPROCESSING
1148.19/1151.78 c GARBAGE COLLECT
1148.19/1151.78 c rational objective 3
1148.29/1151.84 c GLOBAL bounds - >= 3 @ 1141.7
1148.29/1151.84 c GLOBAL bounds - >= 3 @ 1141.7
1205.81/1209.56 c #Conflicts: 982000 | #Constraints: 21121
1205.81/1209.56 c #Conflicts: 983000 | #Constraints: 22123
1205.81/1209.56 c #Conflicts: 984000 | #Constraints: 23125
1205.81/1209.56 c #Conflicts: 985000 | #Constraints: 24131
1205.81/1209.56 c #Conflicts: 986000 | #Constraints: 25132
1205.81/1209.56 c #Conflicts: 987000 | #Constraints: 26132
1205.81/1209.56 c #Conflicts: 988000 | #Constraints: 27134
1205.81/1209.56 c #Conflicts: 989000 | #Constraints: 28135
1205.81/1209.56 c #Conflicts: 990000 | #Constraints: 29135
1205.81/1209.56 c #Conflicts: 991000 | #Constraints: 30137
1205.81/1209.56 c #Conflicts: 992000 | #Constraints: 31138
1205.81/1209.56 c #Conflicts: 993000 | #Constraints: 32140
1205.81/1209.56 c #Conflicts: 994000 | #Constraints: 33142
1205.81/1209.56 c #Conflicts: 995000 | #Constraints: 34147
1205.81/1209.56 c #Conflicts: 996000 | #Constraints: 35150
1205.81/1209.56 c #Conflicts: 997000 | #Constraints: 36153
1205.81/1209.56 c #Conflicts: 998000 | #Constraints: 37155
1205.81/1209.56 c #Conflicts: 999000 | #Constraints: 38157
1205.81/1209.56 c #Conflicts: 1000000 | #Constraints: 39158
1205.81/1209.56 c #Conflicts: 1001000 | #Constraints: 40158
1205.81/1209.56 c INPROCESSING
1205.81/1209.56 c GARBAGE COLLECT
1205.81/1209.56 c rational objective 3
1205.92/1209.62 c GLOBAL bounds - >= 3 @ 1199.16
1205.92/1209.62 c GLOBAL bounds - >= 3 @ 1199.16
1247.51/1251.31 c #Conflicts: 1002000 | #Constraints: 21309
1247.51/1251.31 c #Conflicts: 1003000 | #Constraints: 22317
1247.51/1251.31 c #Conflicts: 1004000 | #Constraints: 23320
1247.51/1251.31 c #Conflicts: 1005000 | #Constraints: 24327
1247.51/1251.31 c #Conflicts: 1006000 | #Constraints: 25330
1247.51/1251.31 c #Conflicts: 1007000 | #Constraints: 26331
1247.51/1251.31 c #Conflicts: 1008000 | #Constraints: 27334
1247.51/1251.31 c #Conflicts: 1009000 | #Constraints: 28336
1247.51/1251.31 c #Conflicts: 1010000 | #Constraints: 29340
1247.51/1251.31 c #Conflicts: 1011000 | #Constraints: 30342
1247.51/1251.31 c #Conflicts: 1012000 | #Constraints: 31346
1247.51/1251.31 c #Conflicts: 1013000 | #Constraints: 32346
1247.51/1251.31 c #Conflicts: 1014000 | #Constraints: 33349
1247.51/1251.31 c #Conflicts: 1015000 | #Constraints: 34350
1247.51/1251.31 c #Conflicts: 1016000 | #Constraints: 35357
1247.51/1251.31 c #Conflicts: 1017000 | #Constraints: 36363
1247.51/1251.31 c #Conflicts: 1018000 | #Constraints: 37367
1247.51/1251.31 c #Conflicts: 1019000 | #Constraints: 38373
1247.51/1251.31 c #Conflicts: 1020000 | #Constraints: 39374
1247.51/1251.31 c #Conflicts: 1021000 | #Constraints: 40377
1247.51/1251.31 c INPROCESSING
1247.51/1251.31 c GARBAGE COLLECT
1247.51/1251.31 c rational objective 3
1247.51/1251.37 c GLOBAL bounds - >= 3 @ 1240.67
1247.51/1251.37 c GLOBAL bounds - >= 3 @ 1240.67
1306.64/1310.61 c #Conflicts: 1022000 | #Constraints: 21309
1306.64/1310.61 c #Conflicts: 1023000 | #Constraints: 22311
1306.64/1310.61 c #Conflicts: 1024000 | #Constraints: 23314
1306.64/1310.61 c #Conflicts: 1025000 | #Constraints: 24320
1306.64/1310.61 c #Conflicts: 1026000 | #Constraints: 25322
1306.64/1310.61 c #Conflicts: 1027000 | #Constraints: 26324
1306.64/1310.61 c #Conflicts: 1028000 | #Constraints: 27326
1306.64/1310.61 c #Conflicts: 1029000 | #Constraints: 28330
1306.64/1310.61 c #Conflicts: 1030000 | #Constraints: 29331
1306.64/1310.61 c #Conflicts: 1031000 | #Constraints: 30336
1306.64/1310.61 c #Conflicts: 1032000 | #Constraints: 31339
1306.64/1310.61 c #Conflicts: 1033000 | #Constraints: 32341
1306.64/1310.61 c #Conflicts: 1034000 | #Constraints: 33343
1306.64/1310.61 c #Conflicts: 1035000 | #Constraints: 34346
1306.64/1310.61 c #Conflicts: 1036000 | #Constraints: 35347
1306.64/1310.61 c #Conflicts: 1037000 | #Constraints: 36353
1306.64/1310.61 c #Conflicts: 1038000 | #Constraints: 37360
1306.64/1310.61 c #Conflicts: 1039000 | #Constraints: 38365
1306.64/1310.61 c #Conflicts: 1040000 | #Constraints: 39369
1306.64/1310.61 c #Conflicts: 1041000 | #Constraints: 40371
1306.64/1310.61 c INPROCESSING
1306.64/1310.61 c GARBAGE COLLECT
1306.64/1310.61 c rational objective 3
1306.64/1310.67 c GLOBAL bounds - >= 3 @ 1299.67
1306.64/1310.67 c GLOBAL bounds - >= 3 @ 1299.67
1365.06/1369.24 c #Conflicts: 1042000 | #Constraints: 21120
1365.06/1369.24 c #Conflicts: 1043000 | #Constraints: 22124
1365.06/1369.24 c #Conflicts: 1044000 | #Constraints: 23128
1365.06/1369.24 c #Conflicts: 1045000 | #Constraints: 24130
1365.06/1369.24 c #Conflicts: 1046000 | #Constraints: 25136
1365.06/1369.24 c #Conflicts: 1047000 | #Constraints: 26139
1365.06/1369.24 c #Conflicts: 1048000 | #Constraints: 27140
1365.06/1369.24 c #Conflicts: 1049000 | #Constraints: 28142
1365.06/1369.24 c #Conflicts: 1050000 | #Constraints: 29144
1365.06/1369.24 c #Conflicts: 1051000 | #Constraints: 30147
1365.06/1369.24 c #Conflicts: 1052000 | #Constraints: 31152
1365.06/1369.24 c #Conflicts: 1053000 | #Constraints: 32152
1365.06/1369.24 c #Conflicts: 1054000 | #Constraints: 33152
1365.06/1369.24 c #Conflicts: 1055000 | #Constraints: 34153
1365.06/1369.24 c #Conflicts: 1056000 | #Constraints: 35155
1365.06/1369.24 c #Conflicts: 1057000 | #Constraints: 36157
1365.06/1369.24 c #Conflicts: 1058000 | #Constraints: 37159
1365.06/1369.24 c #Conflicts: 1059000 | #Constraints: 38160
1365.06/1369.24 c #Conflicts: 1060000 | #Constraints: 39166
1365.06/1369.24 c #Conflicts: 1061000 | #Constraints: 40167
1365.06/1369.24 c #Conflicts: 1062000 | #Constraints: 41170
1365.06/1369.24 c INPROCESSING
1365.06/1369.24 c GARBAGE COLLECT
1365.06/1369.24 c rational objective 3
1365.16/1369.30 c GLOBAL bounds - >= 3 @ 1357.96
1365.16/1369.30 c GLOBAL bounds - >= 3 @ 1357.96
1433.24/1437.68 c #Conflicts: 1063000 | #Constraints: 21717
1433.24/1437.68 c #Conflicts: 1064000 | #Constraints: 22721
1433.24/1437.68 c #Conflicts: 1065000 | #Constraints: 23723
1433.24/1437.68 c #Conflicts: 1066000 | #Constraints: 24727
1433.24/1437.68 c #Conflicts: 1067000 | #Constraints: 25728
1433.24/1437.68 c #Conflicts: 1068000 | #Constraints: 26730
1433.24/1437.68 c #Conflicts: 1069000 | #Constraints: 27731
1433.24/1437.68 c #Conflicts: 1070000 | #Constraints: 28732
1433.24/1437.68 c #Conflicts: 1071000 | #Constraints: 29734
1433.24/1437.68 c #Conflicts: 1072000 | #Constraints: 30736
1433.24/1437.68 c #Conflicts: 1073000 | #Constraints: 31738
1433.24/1437.68 c #Conflicts: 1074000 | #Constraints: 32740
1433.24/1437.68 c #Conflicts: 1075000 | #Constraints: 33742
1433.24/1437.68 c #Conflicts: 1076000 | #Constraints: 34744
1433.24/1437.68 c #Conflicts: 1077000 | #Constraints: 35744
1433.24/1437.68 c #Conflicts: 1078000 | #Constraints: 36746
1433.24/1437.68 c #Conflicts: 1079000 | #Constraints: 37751
1433.24/1437.68 c #Conflicts: 1080000 | #Constraints: 38753
1433.24/1437.68 c #Conflicts: 1081000 | #Constraints: 39755
1433.24/1437.68 c #Conflicts: 1082000 | #Constraints: 40758
1433.24/1437.68 c #Conflicts: 1083000 | #Constraints: 41761
1433.24/1437.68 c INPROCESSING
1433.24/1437.68 c GARBAGE COLLECT
1433.24/1437.68 c rational objective 3
1433.34/1437.79 c GLOBAL bounds - >= 3 @ 1426.09
1433.34/1437.79 c GLOBAL bounds - >= 3 @ 1426.09
1501.02/1505.63 c #Conflicts: 1084000 | #Constraints: 22121
1501.02/1505.63 c #Conflicts: 1085000 | #Constraints: 23125
1501.02/1505.63 c #Conflicts: 1086000 | #Constraints: 24130
1501.02/1505.63 c #Conflicts: 1087000 | #Constraints: 25132
1501.02/1505.63 c #Conflicts: 1088000 | #Constraints: 26191
1501.02/1505.63 c #Conflicts: 1089000 | #Constraints: 27230
1501.02/1505.63 c #Conflicts: 1090000 | #Constraints: 28236
1501.02/1505.63 c #Conflicts: 1091000 | #Constraints: 29243
1501.02/1505.63 c #Conflicts: 1092000 | #Constraints: 30581
1501.02/1505.63 c #Conflicts: 1093000 | #Constraints: 32078
1501.02/1505.63 c #Conflicts: 1094000 | #Constraints: 33460
1501.02/1505.63 c #Conflicts: 1095000 | #Constraints: 34599
1501.02/1505.63 c #Conflicts: 1096000 | #Constraints: 35646
1501.02/1505.63 c #Conflicts: 1097000 | #Constraints: 36717
1501.02/1505.63 c #Conflicts: 1098000 | #Constraints: 37826
1501.02/1505.63 c #Conflicts: 1099000 | #Constraints: 38937
1501.02/1505.63 c #Conflicts: 1100000 | #Constraints: 40143
1501.02/1505.63 c #Conflicts: 1101000 | #Constraints: 41583
1501.02/1505.63 c #Conflicts: 1102000 | #Constraints: 42635
1501.02/1505.63 c #Conflicts: 1103000 | #Constraints: 43639
1501.02/1505.63 c #Conflicts: 1104000 | #Constraints: 44642
1501.02/1505.63 c INPROCESSING
1501.02/1505.63 c GARBAGE COLLECT
1501.02/1505.63 c rational objective 3
1501.12/1505.75 c GLOBAL bounds - >= 3 @ 1493.66
1501.12/1505.75 c GLOBAL bounds - >= 3 @ 1493.66
1529.53/1534.22 c #Conflicts: 1105000 | #Constraints: 23558
1529.53/1534.22 c #Conflicts: 1106000 | #Constraints: 24558
1529.53/1534.22 c #Conflicts: 1107000 | #Constraints: 25558
1529.53/1534.22 c #Conflicts: 1108000 | #Constraints: 26558
1529.53/1534.22 c #Conflicts: 1109000 | #Constraints: 27558
1529.53/1534.22 c #Conflicts: 1110000 | #Constraints: 28559
1529.53/1534.22 c #Conflicts: 1111000 | #Constraints: 29560
1529.53/1534.22 c #Conflicts: 1112000 | #Constraints: 30560
1529.53/1534.22 c #Conflicts: 1113000 | #Constraints: 31561
1529.53/1534.22 c #Conflicts: 1114000 | #Constraints: 32561
1529.53/1534.22 c #Conflicts: 1115000 | #Constraints: 33561
1529.53/1534.22 c #Conflicts: 1116000 | #Constraints: 34561
1529.53/1534.22 c #Conflicts: 1117000 | #Constraints: 35561
1529.53/1534.22 c #Conflicts: 1118000 | #Constraints: 36562
1529.53/1534.22 c #Conflicts: 1119000 | #Constraints: 37562
1529.53/1534.22 c #Conflicts: 1120000 | #Constraints: 38562
1529.53/1534.22 c #Conflicts: 1121000 | #Constraints: 39562
1529.53/1534.22 c #Conflicts: 1122000 | #Constraints: 40562
1529.53/1534.22 c #Conflicts: 1123000 | #Constraints: 41563
1529.53/1534.22 c #Conflicts: 1124000 | #Constraints: 42564
1529.53/1534.22 c #Conflicts: 1125000 | #Constraints: 43564
1529.53/1534.22 c INPROCESSING
1529.53/1534.22 c GARBAGE COLLECT
1529.53/1534.22 c rational objective 3
1529.53/1534.29 c GLOBAL bounds - >= 3 @ 1521.96
1529.53/1534.29 c GLOBAL bounds - >= 3 @ 1521.96
1561.43/1566.28 c #Conflicts: 1126000 | #Constraints: 22912
1561.43/1566.28 c #Conflicts: 1127000 | #Constraints: 23914
1561.43/1566.28 c #Conflicts: 1128000 | #Constraints: 24919
1561.43/1566.28 c #Conflicts: 1129000 | #Constraints: 25922
1561.43/1566.28 c #Conflicts: 1130000 | #Constraints: 26929
1561.43/1566.28 c #Conflicts: 1131000 | #Constraints: 27932
1561.43/1566.28 c #Conflicts: 1132000 | #Constraints: 28939
1561.43/1566.28 c #Conflicts: 1133000 | #Constraints: 29943
1561.43/1566.28 c #Conflicts: 1134000 | #Constraints: 30946
1561.43/1566.28 c #Conflicts: 1135000 | #Constraints: 31949
1561.43/1566.28 c #Conflicts: 1136000 | #Constraints: 32953
1561.43/1566.28 c #Conflicts: 1137000 | #Constraints: 33957
1561.43/1566.28 c #Conflicts: 1138000 | #Constraints: 34959
1561.43/1566.28 c #Conflicts: 1139000 | #Constraints: 35964
1561.43/1566.28 c #Conflicts: 1140000 | #Constraints: 36965
1561.43/1566.28 c #Conflicts: 1141000 | #Constraints: 37972
1561.43/1566.28 c #Conflicts: 1142000 | #Constraints: 38974
1561.43/1566.28 c #Conflicts: 1143000 | #Constraints: 39977
1561.43/1566.28 c #Conflicts: 1144000 | #Constraints: 40977
1561.43/1566.28 c #Conflicts: 1145000 | #Constraints: 41977
1561.43/1566.28 c #Conflicts: 1146000 | #Constraints: 42983
1561.43/1566.28 c INPROCESSING
1561.43/1566.28 c GARBAGE COLLECT
1561.43/1566.28 c rational objective 3
1561.53/1566.34 c GLOBAL bounds - >= 3 @ 1553.78
1561.53/1566.34 c GLOBAL bounds - >= 3 @ 1553.78
1599.11/1604.01 c #Conflicts: 1147000 | #Constraints: 22423
1599.11/1604.01 c #Conflicts: 1148000 | #Constraints: 23426
1599.11/1604.01 c #Conflicts: 1149000 | #Constraints: 24435
1599.11/1604.01 c #Conflicts: 1150000 | #Constraints: 25437
1599.11/1604.01 c #Conflicts: 1151000 | #Constraints: 26438
1599.11/1604.01 c #Conflicts: 1152000 | #Constraints: 27443
1599.11/1604.01 c #Conflicts: 1153000 | #Constraints: 28453
1599.11/1604.01 c #Conflicts: 1154000 | #Constraints: 29458
1599.11/1604.01 c #Conflicts: 1155000 | #Constraints: 30460
1599.11/1604.01 c #Conflicts: 1156000 | #Constraints: 31464
1599.11/1604.01 c #Conflicts: 1157000 | #Constraints: 32469
1599.11/1604.01 c #Conflicts: 1158000 | #Constraints: 33476
1599.11/1604.01 c #Conflicts: 1159000 | #Constraints: 34480
1599.11/1604.01 c #Conflicts: 1160000 | #Constraints: 35483
1599.11/1604.01 c #Conflicts: 1161000 | #Constraints: 36489
1599.11/1604.01 c #Conflicts: 1162000 | #Constraints: 37496
1599.11/1604.01 c #Conflicts: 1163000 | #Constraints: 38506
1599.11/1604.01 c #Conflicts: 1164000 | #Constraints: 39511
1599.11/1604.01 c #Conflicts: 1165000 | #Constraints: 40514
1599.11/1604.01 c #Conflicts: 1166000 | #Constraints: 41517
1599.11/1604.01 c #Conflicts: 1167000 | #Constraints: 42521
1599.11/1604.01 c #Conflicts: 1168000 | #Constraints: 43525
1599.11/1604.01 c INPROCESSING
1599.11/1604.01 c GARBAGE COLLECT
1599.11/1604.01 c rational objective 3
1599.11/1604.09 c GLOBAL bounds - >= 3 @ 1591.27
1599.11/1604.09 c GLOBAL bounds - >= 3 @ 1591.27
1651.44/1656.55 c #Conflicts: 1169000 | #Constraints: 22871
1651.44/1656.55 c #Conflicts: 1170000 | #Constraints: 23876
1651.44/1656.55 c #Conflicts: 1171000 | #Constraints: 24883
1651.44/1656.55 c #Conflicts: 1172000 | #Constraints: 25886
1651.44/1656.55 c #Conflicts: 1173000 | #Constraints: 26889
1651.44/1656.55 c #Conflicts: 1174000 | #Constraints: 27895
1651.44/1656.55 c #Conflicts: 1175000 | #Constraints: 28900
1651.44/1656.55 c #Conflicts: 1176000 | #Constraints: 29908
1651.44/1656.55 c #Conflicts: 1177000 | #Constraints: 30913
1651.44/1656.55 c #Conflicts: 1178000 | #Constraints: 31919
1651.44/1656.55 c #Conflicts: 1179000 | #Constraints: 32927
1651.44/1656.55 c #Conflicts: 1180000 | #Constraints: 33932
1651.44/1656.55 c #Conflicts: 1181000 | #Constraints: 34938
1651.44/1656.55 c #Conflicts: 1182000 | #Constraints: 35941
1651.44/1656.55 c #Conflicts: 1183000 | #Constraints: 36947
1651.44/1656.55 c #Conflicts: 1184000 | #Constraints: 37949
1651.44/1656.55 c #Conflicts: 1185000 | #Constraints: 38952
1651.44/1656.55 c #Conflicts: 1186000 | #Constraints: 39961
1651.44/1656.55 c #Conflicts: 1187000 | #Constraints: 40967
1651.44/1656.55 c #Conflicts: 1188000 | #Constraints: 41971
1651.44/1656.55 c #Conflicts: 1189000 | #Constraints: 42973
1651.44/1656.55 c #Conflicts: 1190000 | #Constraints: 43977
1651.44/1656.55 c INPROCESSING
1651.44/1656.55 c GARBAGE COLLECT
1651.44/1656.55 c rational objective 3
1651.54/1656.62 c GLOBAL bounds - >= 3 @ 1643.46
1651.54/1656.62 c GLOBAL bounds - >= 3 @ 1643.46
1694.30/1699.58 c #Conflicts: 1191000 | #Constraints: 23208
1694.30/1699.58 c #Conflicts: 1192000 | #Constraints: 24216
1694.30/1699.58 c #Conflicts: 1193000 | #Constraints: 25218
1694.30/1699.58 c #Conflicts: 1194000 | #Constraints: 26221
1694.30/1699.58 c #Conflicts: 1195000 | #Constraints: 27226
1694.30/1699.58 c #Conflicts: 1196000 | #Constraints: 28229
1694.30/1699.58 c #Conflicts: 1197000 | #Constraints: 29235
1694.30/1699.58 c #Conflicts: 1198000 | #Constraints: 30239
1694.30/1699.58 c #Conflicts: 1199000 | #Constraints: 31244
1694.30/1699.58 c #Conflicts: 1200000 | #Constraints: 32245
1694.30/1699.58 c #Conflicts: 1201000 | #Constraints: 33251
1694.30/1699.58 c #Conflicts: 1202000 | #Constraints: 34260
1694.30/1699.58 c #Conflicts: 1203000 | #Constraints: 35264
1694.30/1699.58 c #Conflicts: 1204000 | #Constraints: 36267
1694.30/1699.58 c #Conflicts: 1205000 | #Constraints: 37272
1694.30/1699.58 c #Conflicts: 1206000 | #Constraints: 38276
1694.30/1699.58 c #Conflicts: 1207000 | #Constraints: 39277
1694.30/1699.58 c #Conflicts: 1208000 | #Constraints: 40277
1694.30/1699.58 c #Conflicts: 1209000 | #Constraints: 41283
1694.30/1699.58 c #Conflicts: 1210000 | #Constraints: 42288
1694.30/1699.58 c #Conflicts: 1211000 | #Constraints: 43289
1694.30/1699.58 c #Conflicts: 1212000 | #Constraints: 44293
1694.30/1699.58 c INPROCESSING
1694.30/1699.58 c GARBAGE COLLECT
1694.30/1699.58 c rational objective 3
1694.40/1699.69 c GLOBAL bounds - >= 3 @ 1686.24
1694.40/1699.69 c GLOBAL bounds - >= 3 @ 1686.24
1767.67/1773.18 c #Conflicts: 1213000 | #Constraints: 23374
1767.67/1773.18 c #Conflicts: 1214000 | #Constraints: 24379
1767.67/1773.18 c #Conflicts: 1215000 | #Constraints: 25384
1767.67/1773.18 c #Conflicts: 1216000 | #Constraints: 26384
1767.67/1773.18 c #Conflicts: 1217000 | #Constraints: 27384
1767.67/1773.18 c #Conflicts: 1218000 | #Constraints: 28387
1767.67/1773.18 c #Conflicts: 1219000 | #Constraints: 29396
1767.67/1773.18 c #Conflicts: 1220000 | #Constraints: 30403
1767.67/1773.18 c #Conflicts: 1221000 | #Constraints: 31408
1767.67/1773.18 c #Conflicts: 1222000 | #Constraints: 32415
1767.67/1773.18 c #Conflicts: 1223000 | #Constraints: 33419
1767.67/1773.18 c #Conflicts: 1224000 | #Constraints: 34422
1767.67/1773.18 c #Conflicts: 1225000 | #Constraints: 35424
1767.67/1773.18 c #Conflicts: 1226000 | #Constraints: 36426
1767.67/1773.18 c #Conflicts: 1227000 | #Constraints: 37430
1767.67/1773.18 c #Conflicts: 1228000 | #Constraints: 38432
1767.67/1773.18 c #Conflicts: 1229000 | #Constraints: 39435
1767.67/1773.18 c #Conflicts: 1230000 | #Constraints: 40441
1767.67/1773.18 c #Conflicts: 1231000 | #Constraints: 41444
1767.67/1773.18 c #Conflicts: 1232000 | #Constraints: 42450
1767.67/1773.18 c #Conflicts: 1233000 | #Constraints: 43454
1767.67/1773.18 c #Conflicts: 1234000 | #Constraints: 44462
1767.67/1773.18 c INPROCESSING
1767.67/1773.18 c GARBAGE COLLECT
1767.67/1773.18 c rational objective 3
1767.77/1773.29 c GLOBAL bounds - >= 3 @ 1759.47
1767.77/1773.29 c GLOBAL bounds - >= 3 @ 1759.47
1808.55/1814.19 c #Conflicts: 1235000 | #Constraints: 23349
1808.55/1814.19 c #Conflicts: 1236000 | #Constraints: 24353
1808.55/1814.19 c #Conflicts: 1237000 | #Constraints: 25353
1808.55/1814.19 c #Conflicts: 1238000 | #Constraints: 26355
1808.55/1814.19 c #Conflicts: 1239000 | #Constraints: 27362
1808.55/1814.19 c #Conflicts: 1240000 | #Constraints: 28368
1808.55/1814.19 c #Conflicts: 1241000 | #Constraints: 29369
1808.55/1814.19 c #Conflicts: 1242000 | #Constraints: 30376
1808.55/1814.19 c #Conflicts: 1243000 | #Constraints: 31378
1808.55/1814.19 c #Conflicts: 1244000 | #Constraints: 32384
1808.55/1814.19 c #Conflicts: 1245000 | #Constraints: 33389
1808.55/1814.19 c #Conflicts: 1246000 | #Constraints: 34392
1808.55/1814.19 c #Conflicts: 1247000 | #Constraints: 35398
1808.55/1814.19 c #Conflicts: 1248000 | #Constraints: 36407
1808.55/1814.19 c #Conflicts: 1249000 | #Constraints: 37415
1808.55/1814.19 c #Conflicts: 1250000 | #Constraints: 38419
1808.55/1814.19 c #Conflicts: 1251000 | #Constraints: 39427
1808.55/1814.19 c #Conflicts: 1252000 | #Constraints: 40433
1808.55/1814.19 c #Conflicts: 1253000 | #Constraints: 41437
1808.55/1814.19 c #Conflicts: 1254000 | #Constraints: 42443
1808.55/1814.19 c #Conflicts: 1255000 | #Constraints: 43449
1808.55/1814.19 c #Conflicts: 1256000 | #Constraints: 44452
1808.55/1814.19 c INPROCESSING
1808.55/1814.19 c GARBAGE COLLECT
1808.55/1814.19 c rational objective 3
1808.64/1814.29 c GLOBAL bounds - >= 3 @ 1800.18
1808.64/1814.29 c GLOBAL bounds - >= 3 @ 1800.18
1846.62/1852.39 c #Conflicts: 1257000 | #Constraints: 23130
1846.62/1852.39 c #Conflicts: 1258000 | #Constraints: 24130
1846.62/1852.39 c #Conflicts: 1259000 | #Constraints: 25137
1846.62/1852.39 c #Conflicts: 1260000 | #Constraints: 26139
1846.62/1852.39 c #Conflicts: 1261000 | #Constraints: 27145
1846.62/1852.39 c #Conflicts: 1262000 | #Constraints: 28147
1846.62/1852.39 c #Conflicts: 1263000 | #Constraints: 29149
1846.62/1852.39 c #Conflicts: 1264000 | #Constraints: 30170
1846.62/1852.39 c #Conflicts: 1265000 | #Constraints: 31180
1846.62/1852.39 c #Conflicts: 1266000 | #Constraints: 32285
1846.62/1852.39 c #Conflicts: 1267000 | #Constraints: 33413
1846.62/1852.39 c #Conflicts: 1268000 | #Constraints: 34490
1846.62/1852.39 c #Conflicts: 1269000 | #Constraints: 35496
1846.62/1852.39 c #Conflicts: 1270000 | #Constraints: 36500
1846.62/1852.39 c #Conflicts: 1271000 | #Constraints: 37505
1846.62/1852.39 c #Conflicts: 1272000 | #Constraints: 38511
1846.62/1852.39 c #Conflicts: 1273000 | #Constraints: 39512
1846.62/1852.39 c #Conflicts: 1274000 | #Constraints: 40515
1846.62/1852.39 c #Conflicts: 1275000 | #Constraints: 41518
1846.62/1852.39 c #Conflicts: 1276000 | #Constraints: 42520
1846.62/1852.39 c #Conflicts: 1277000 | #Constraints: 43524
1846.62/1852.39 c #Conflicts: 1278000 | #Constraints: 44526
1846.62/1852.39 c #Conflicts: 1279000 | #Constraints: 45527
1846.62/1852.39 c INPROCESSING
1846.62/1852.39 c GARBAGE COLLECT
1846.62/1852.39 c rational objective 3
1846.72/1852.49 c GLOBAL bounds - >= 3 @ 1838.1
1846.72/1852.49 c GLOBAL bounds - >= 3 @ 1838.1
1882.21/1888.01 c #Conflicts: 1280000 | #Constraints: 23826
1882.21/1888.01 c #Conflicts: 1281000 | #Constraints: 24831
1882.21/1888.01 c #Conflicts: 1282000 | #Constraints: 25834
1882.21/1888.01 c #Conflicts: 1283000 | #Constraints: 26838
1882.21/1888.01 c #Conflicts: 1284000 | #Constraints: 27840
1882.21/1888.01 c #Conflicts: 1285000 | #Constraints: 28845
1882.21/1888.01 c #Conflicts: 1286000 | #Constraints: 29849
1882.21/1888.01 c #Conflicts: 1287000 | #Constraints: 30856
1882.21/1888.01 c #Conflicts: 1288000 | #Constraints: 31860
1882.21/1888.01 c #Conflicts: 1289000 | #Constraints: 32866
1882.21/1888.01 c #Conflicts: 1290000 | #Constraints: 33870
1882.21/1888.01 c #Conflicts: 1291000 | #Constraints: 34876
1882.21/1888.01 c #Conflicts: 1292000 | #Constraints: 35885
1882.21/1888.01 c #Conflicts: 1293000 | #Constraints: 36889
1882.21/1888.01 c #Conflicts: 1294000 | #Constraints: 37892
1882.21/1888.01 c #Conflicts: 1295000 | #Constraints: 38893
1882.21/1888.01 c #Conflicts: 1296000 | #Constraints: 39903
1882.21/1888.01 c #Conflicts: 1297000 | #Constraints: 40907
1882.21/1888.01 c #Conflicts: 1298000 | #Constraints: 41910
1882.21/1888.01 c #Conflicts: 1299000 | #Constraints: 42918
1882.21/1888.01 c #Conflicts: 1300000 | #Constraints: 43924
1882.21/1888.01 c #Conflicts: 1301000 | #Constraints: 44924
1882.21/1888.01 c #Conflicts: 1302000 | #Constraints: 45926
1882.21/1888.01 c INPROCESSING
1882.21/1888.01 c GARBAGE COLLECT
1882.21/1888.01 c rational objective 3
1882.21/1888.08 c GLOBAL bounds - >= 3 @ 1873.44
1882.21/1888.08 c GLOBAL bounds - >= 3 @ 1873.44
1931.95/1937.97 c #Conflicts: 1303000 | #Constraints: 24195
1931.95/1937.97 c #Conflicts: 1304000 | #Constraints: 25201
1931.95/1937.97 c #Conflicts: 1305000 | #Constraints: 26206
1931.95/1937.97 c #Conflicts: 1306000 | #Constraints: 27212
1931.95/1937.97 c #Conflicts: 1307000 | #Constraints: 28218
1931.95/1937.97 c #Conflicts: 1308000 | #Constraints: 29222
1931.95/1937.97 c #Conflicts: 1309000 | #Constraints: 30228
1931.95/1937.97 c #Conflicts: 1310000 | #Constraints: 31231
1931.95/1937.97 c #Conflicts: 1311000 | #Constraints: 32243
1931.95/1937.97 c #Conflicts: 1312000 | #Constraints: 33248
1931.95/1937.97 c #Conflicts: 1313000 | #Constraints: 34255
1931.95/1937.97 c #Conflicts: 1314000 | #Constraints: 35264
1931.95/1937.97 c #Conflicts: 1315000 | #Constraints: 36275
1931.95/1937.97 c #Conflicts: 1316000 | #Constraints: 37282
1931.95/1937.97 c #Conflicts: 1317000 | #Constraints: 38290
1931.95/1937.97 c #Conflicts: 1318000 | #Constraints: 39292
1931.95/1937.97 c #Conflicts: 1319000 | #Constraints: 40299
1931.95/1937.97 c #Conflicts: 1320000 | #Constraints: 41304
1931.95/1937.97 c #Conflicts: 1321000 | #Constraints: 42308
1931.95/1937.97 c #Conflicts: 1322000 | #Constraints: 43309
1931.95/1937.97 c #Conflicts: 1323000 | #Constraints: 44311
1931.95/1937.97 c #Conflicts: 1324000 | #Constraints: 45314
1931.95/1937.97 c #Conflicts: 1325000 | #Constraints: 46321
1931.95/1937.97 c INPROCESSING
1931.95/1937.97 c GARBAGE COLLECT
1931.95/1937.97 c rational objective 3
1932.06/1938.09 c GLOBAL bounds - >= 3 @ 1923.15
1932.06/1938.09 c GLOBAL bounds - >= 3 @ 1923.15
1984.58/1990.77 c #Conflicts: 1326000 | #Constraints: 24396
1984.58/1990.77 c #Conflicts: 1327000 | #Constraints: 25401
1984.58/1990.77 c #Conflicts: 1328000 | #Constraints: 26404
1984.58/1990.77 c #Conflicts: 1329000 | #Constraints: 27409
1984.58/1990.77 c #Conflicts: 1330000 | #Constraints: 28415
1984.58/1990.77 c #Conflicts: 1331000 | #Constraints: 29419
1984.58/1990.77 c #Conflicts: 1332000 | #Constraints: 30423
1984.58/1990.77 c #Conflicts: 1333000 | #Constraints: 31429
1984.58/1990.77 c #Conflicts: 1334000 | #Constraints: 32434
1984.58/1990.77 c #Conflicts: 1335000 | #Constraints: 33439
1984.58/1990.77 c #Conflicts: 1336000 | #Constraints: 34441
1984.58/1990.77 c #Conflicts: 1337000 | #Constraints: 35448
1984.58/1990.77 c #Conflicts: 1338000 | #Constraints: 36452
1984.58/1990.77 c #Conflicts: 1339000 | #Constraints: 37461
1984.58/1990.77 c #Conflicts: 1340000 | #Constraints: 38469
1984.58/1990.77 c #Conflicts: 1341000 | #Constraints: 39473
1984.58/1990.77 c #Conflicts: 1342000 | #Constraints: 40476
1984.58/1990.77 c #Conflicts: 1343000 | #Constraints: 41477
1984.58/1990.77 c #Conflicts: 1344000 | #Constraints: 42480
1984.58/1990.77 c #Conflicts: 1345000 | #Constraints: 43481
1984.58/1990.77 c #Conflicts: 1346000 | #Constraints: 44484
1984.58/1990.77 c #Conflicts: 1347000 | #Constraints: 45491
1984.58/1990.77 c #Conflicts: 1348000 | #Constraints: 46497
1984.58/1990.77 c INPROCESSING
1984.58/1990.77 c GARBAGE COLLECT
1984.58/1990.77 c rational objective 3
1984.68/1990.87 c GLOBAL bounds - >= 3 @ 1975.62
1984.68/1990.87 c GLOBAL bounds - >= 3 @ 1975.62
2031.23/2037.53 c #Conflicts: 1349000 | #Constraints: 24383
2031.23/2037.53 c #Conflicts: 1350000 | #Constraints: 25389
2031.23/2037.53 c #Conflicts: 1351000 | #Constraints: 26393
2031.23/2037.53 c #Conflicts: 1352000 | #Constraints: 27398
2031.23/2037.53 c #Conflicts: 1353000 | #Constraints: 28401
2031.23/2037.53 c #Conflicts: 1354000 | #Constraints: 29406
2031.23/2037.53 c #Conflicts: 1355000 | #Constraints: 30408
2031.23/2037.53 c #Conflicts: 1356000 | #Constraints: 31413
2031.23/2037.53 c #Conflicts: 1357000 | #Constraints: 32416
2031.23/2037.53 c #Conflicts: 1358000 | #Constraints: 33419
2031.23/2037.53 c #Conflicts: 1359000 | #Constraints: 34424
2031.23/2037.53 c #Conflicts: 1360000 | #Constraints: 35426
2031.23/2037.53 c #Conflicts: 1361000 | #Constraints: 36431
2031.23/2037.53 c #Conflicts: 1362000 | #Constraints: 37434
2031.23/2037.53 c #Conflicts: 1363000 | #Constraints: 38437
2031.23/2037.53 c #Conflicts: 1364000 | #Constraints: 39443
2031.23/2037.53 c #Conflicts: 1365000 | #Constraints: 40449
2031.23/2037.53 c #Conflicts: 1366000 | #Constraints: 41454
2031.23/2037.53 c #Conflicts: 1367000 | #Constraints: 42459
2031.23/2037.53 c #Conflicts: 1368000 | #Constraints: 43468
2031.23/2037.53 c #Conflicts: 1369000 | #Constraints: 44472
2031.23/2037.53 c #Conflicts: 1370000 | #Constraints: 45476
2031.23/2037.53 c #Conflicts: 1371000 | #Constraints: 46480
2031.23/2037.53 c INPROCESSING
2031.23/2037.53 c GARBAGE COLLECT
2031.23/2037.53 c rational objective 3
2031.33/2037.61 c GLOBAL bounds - >= 3 @ 2022.06
2031.33/2037.61 c GLOBAL bounds - >= 3 @ 2022.06
2079.87/2086.33 c #Conflicts: 1372000 | #Constraints: 24178
2079.87/2086.33 c #Conflicts: 1373000 | #Constraints: 25180
2079.87/2086.33 c #Conflicts: 1374000 | #Constraints: 26184
2079.87/2086.33 c #Conflicts: 1375000 | #Constraints: 27190
2079.87/2086.33 c #Conflicts: 1376000 | #Constraints: 28194
2079.87/2086.33 c #Conflicts: 1377000 | #Constraints: 29200
2079.87/2086.33 c #Conflicts: 1378000 | #Constraints: 30202
2079.87/2086.33 c #Conflicts: 1379000 | #Constraints: 31209
2079.87/2086.33 c #Conflicts: 1380000 | #Constraints: 32216
2079.87/2086.33 c #Conflicts: 1381000 | #Constraints: 33219
2079.87/2086.33 c #Conflicts: 1382000 | #Constraints: 34226
2079.87/2086.33 c #Conflicts: 1383000 | #Constraints: 35232
2079.87/2086.33 c #Conflicts: 1384000 | #Constraints: 36239
2079.87/2086.33 c #Conflicts: 1385000 | #Constraints: 37251
2079.87/2086.33 c #Conflicts: 1386000 | #Constraints: 38256
2079.87/2086.33 c #Conflicts: 1387000 | #Constraints: 39259
2079.87/2086.33 c #Conflicts: 1388000 | #Constraints: 40266
2079.87/2086.33 c #Conflicts: 1389000 | #Constraints: 41269
2079.87/2086.33 c #Conflicts: 1390000 | #Constraints: 42276
2079.87/2086.33 c #Conflicts: 1391000 | #Constraints: 43281
2079.87/2086.33 c #Conflicts: 1392000 | #Constraints: 44285
2079.87/2086.33 c #Conflicts: 1393000 | #Constraints: 45290
2079.87/2086.33 c #Conflicts: 1394000 | #Constraints: 46290
2079.87/2086.33 c #Conflicts: 1395000 | #Constraints: 47292
2079.87/2086.33 c INPROCESSING
2079.87/2086.33 c GARBAGE COLLECT
2079.87/2086.33 c rational objective 3
2079.97/2086.45 c GLOBAL bounds - >= 3 @ 2070.6
2079.97/2086.45 c GLOBAL bounds - >= 3 @ 2070.6
2117.25/2123.85 c #Conflicts: 1396000 | #Constraints: 24747
2117.25/2123.85 c #Conflicts: 1397000 | #Constraints: 25752
2117.25/2123.85 c #Conflicts: 1398000 | #Constraints: 26756
2117.25/2123.85 c #Conflicts: 1399000 | #Constraints: 27762
2117.25/2123.85 c #Conflicts: 1400000 | #Constraints: 28764
2117.25/2123.85 c #Conflicts: 1401000 | #Constraints: 29766
2117.25/2123.85 c #Conflicts: 1402000 | #Constraints: 30770
2117.25/2123.85 c #Conflicts: 1403000 | #Constraints: 31775
2117.25/2123.85 c #Conflicts: 1404000 | #Constraints: 32777
2117.25/2123.85 c #Conflicts: 1405000 | #Constraints: 33779
2117.25/2123.85 c #Conflicts: 1406000 | #Constraints: 34782
2117.25/2123.85 c #Conflicts: 1407000 | #Constraints: 35788
2117.25/2123.85 c #Conflicts: 1408000 | #Constraints: 36790
2117.25/2123.85 c #Conflicts: 1409000 | #Constraints: 37794
2117.25/2123.85 c #Conflicts: 1410000 | #Constraints: 38797
2117.25/2123.85 c #Conflicts: 1411000 | #Constraints: 39800
2117.25/2123.85 c #Conflicts: 1412000 | #Constraints: 40803
2117.25/2123.85 c #Conflicts: 1413000 | #Constraints: 41804
2117.25/2123.85 c #Conflicts: 1414000 | #Constraints: 42808
2117.25/2123.85 c #Conflicts: 1415000 | #Constraints: 43812
2117.25/2123.85 c #Conflicts: 1416000 | #Constraints: 44816
2117.25/2123.85 c #Conflicts: 1417000 | #Constraints: 45817
2117.25/2123.85 c #Conflicts: 1418000 | #Constraints: 46820
2117.25/2123.85 c #Conflicts: 1419000 | #Constraints: 47825
2117.25/2123.85 c INPROCESSING
2117.25/2123.85 c GARBAGE COLLECT
2117.25/2123.85 c rational objective 3
2117.35/2123.94 c GLOBAL bounds - >= 3 @ 2107.81
2117.35/2123.94 c GLOBAL bounds - >= 3 @ 2107.81
2163.31/2170.02 c #Conflicts: 1420000 | #Constraints: 25153
2163.31/2170.02 c #Conflicts: 1421000 | #Constraints: 26155
2163.31/2170.02 c #Conflicts: 1422000 | #Constraints: 27158
2163.31/2170.02 c #Conflicts: 1423000 | #Constraints: 28160
2163.31/2170.02 c #Conflicts: 1424000 | #Constraints: 29163
2163.31/2170.02 c #Conflicts: 1425000 | #Constraints: 30172
2163.31/2170.02 c #Conflicts: 1426000 | #Constraints: 31177
2163.31/2170.02 c #Conflicts: 1427000 | #Constraints: 32179
2163.31/2170.02 c #Conflicts: 1428000 | #Constraints: 33183
2163.31/2170.02 c #Conflicts: 1429000 | #Constraints: 34183
2163.31/2170.02 c #Conflicts: 1430000 | #Constraints: 35183
2163.31/2170.02 c #Conflicts: 1431000 | #Constraints: 36187
2163.31/2170.02 c #Conflicts: 1432000 | #Constraints: 37192
2163.31/2170.02 c #Conflicts: 1433000 | #Constraints: 38200
2163.31/2170.02 c #Conflicts: 1434000 | #Constraints: 39204
2163.31/2170.02 c #Conflicts: 1435000 | #Constraints: 40210
2163.31/2170.02 c #Conflicts: 1436000 | #Constraints: 41214
2163.31/2170.02 c #Conflicts: 1437000 | #Constraints: 42219
2163.31/2170.02 c #Conflicts: 1438000 | #Constraints: 43224
2163.31/2170.02 c #Conflicts: 1439000 | #Constraints: 44227
2163.31/2170.02 c #Conflicts: 1440000 | #Constraints: 45233
2163.31/2170.02 c #Conflicts: 1441000 | #Constraints: 46242
2163.31/2170.02 c #Conflicts: 1442000 | #Constraints: 47245
2163.31/2170.02 c #Conflicts: 1443000 | #Constraints: 48250
2163.31/2170.02 c INPROCESSING
2163.31/2170.02 c GARBAGE COLLECT
2163.31/2170.02 c rational objective 3
2163.41/2170.11 c GLOBAL bounds - >= 3 @ 2153.66
2163.41/2170.11 c GLOBAL bounds - >= 3 @ 2153.66
2221.82/2228.77 c #Conflicts: 1444000 | #Constraints: 25354
2221.82/2228.77 c #Conflicts: 1445000 | #Constraints: 26358
2221.82/2228.77 c #Conflicts: 1446000 | #Constraints: 27366
2221.82/2228.77 c #Conflicts: 1447000 | #Constraints: 28371
2221.82/2228.77 c #Conflicts: 1448000 | #Constraints: 29377
2221.82/2228.77 c #Conflicts: 1449000 | #Constraints: 30379
2221.82/2228.77 c #Conflicts: 1450000 | #Constraints: 31382
2221.82/2228.77 c #Conflicts: 1451000 | #Constraints: 32387
2221.82/2228.77 c #Conflicts: 1452000 | #Constraints: 33395
2221.82/2228.77 c #Conflicts: 1453000 | #Constraints: 34400
2221.82/2228.77 c #Conflicts: 1454000 | #Constraints: 35407
2221.82/2228.77 c #Conflicts: 1455000 | #Constraints: 36414
2221.82/2228.77 c #Conflicts: 1456000 | #Constraints: 37420
2221.82/2228.77 c #Conflicts: 1457000 | #Constraints: 38424
2221.82/2228.77 c #Conflicts: 1458000 | #Constraints: 39429
2221.82/2228.77 c #Conflicts: 1459000 | #Constraints: 40439
2221.82/2228.77 c #Conflicts: 1460000 | #Constraints: 41446
2221.82/2228.77 c #Conflicts: 1461000 | #Constraints: 42450
2221.82/2228.77 c #Conflicts: 1462000 | #Constraints: 43452
2221.82/2228.77 c #Conflicts: 1463000 | #Constraints: 44460
2221.82/2228.77 c #Conflicts: 1464000 | #Constraints: 45466
2221.82/2228.77 c #Conflicts: 1465000 | #Constraints: 46472
2221.82/2228.77 c #Conflicts: 1466000 | #Constraints: 47476
2221.82/2228.77 c #Conflicts: 1467000 | #Constraints: 48479
2221.82/2228.77 c INPROCESSING
2221.82/2228.77 c GARBAGE COLLECT
2221.82/2228.77 c rational objective 3
2221.92/2228.86 c GLOBAL bounds - >= 3 @ 2212.07
2221.92/2228.86 c GLOBAL bounds - >= 3 @ 2212.07
2270.87/2277.92 c #Conflicts: 1468000 | #Constraints: 25354
2270.87/2277.92 c #Conflicts: 1469000 | #Constraints: 26359
2270.87/2277.92 c #Conflicts: 1470000 | #Constraints: 27366
2270.87/2277.92 c #Conflicts: 1471000 | #Constraints: 28367
2270.87/2277.92 c #Conflicts: 1472000 | #Constraints: 29372
2270.87/2277.92 c #Conflicts: 1473000 | #Constraints: 30377
2270.87/2277.92 c #Conflicts: 1474000 | #Constraints: 31381
2270.87/2277.92 c #Conflicts: 1475000 | #Constraints: 32388
2270.87/2277.92 c #Conflicts: 1476000 | #Constraints: 33391
2270.87/2277.92 c #Conflicts: 1477000 | #Constraints: 34396
2270.87/2277.92 c #Conflicts: 1478000 | #Constraints: 35397
2270.87/2277.92 c #Conflicts: 1479000 | #Constraints: 36402
2270.87/2277.92 c #Conflicts: 1480000 | #Constraints: 37406
2270.87/2277.92 c #Conflicts: 1481000 | #Constraints: 38408
2270.87/2277.92 c #Conflicts: 1482000 | #Constraints: 39418
2270.87/2277.92 c #Conflicts: 1483000 | #Constraints: 40424
2270.87/2277.92 c #Conflicts: 1484000 | #Constraints: 41443
2270.87/2277.92 c #Conflicts: 1485000 | #Constraints: 42449
2270.87/2277.92 c #Conflicts: 1486000 | #Constraints: 43454
2270.87/2277.92 c #Conflicts: 1487000 | #Constraints: 44458
2270.87/2277.92 c #Conflicts: 1488000 | #Constraints: 45467
2270.87/2277.92 c #Conflicts: 1489000 | #Constraints: 46473
2270.87/2277.92 c #Conflicts: 1490000 | #Constraints: 47477
2270.87/2277.92 c #Conflicts: 1491000 | #Constraints: 48489
2270.87/2277.92 c INPROCESSING
2270.87/2277.92 c GARBAGE COLLECT
2270.87/2277.92 c rational objective 3
2270.97/2278.01 c GLOBAL bounds - >= 3 @ 2260.89
2270.97/2278.01 c GLOBAL bounds - >= 3 @ 2260.89
2322.31/2329.57 c #Conflicts: 1492000 | #Constraints: 25153
2322.31/2329.57 c #Conflicts: 1493000 | #Constraints: 26158
2322.31/2329.57 c #Conflicts: 1494000 | #Constraints: 27162
2322.31/2329.57 c #Conflicts: 1495000 | #Constraints: 28167
2322.31/2329.57 c #Conflicts: 1496000 | #Constraints: 29172
2322.31/2329.57 c #Conflicts: 1497000 | #Constraints: 30178
2322.31/2329.57 c #Conflicts: 1498000 | #Constraints: 31182
2322.31/2329.57 c #Conflicts: 1499000 | #Constraints: 32187
2322.31/2329.57 c #Conflicts: 1500000 | #Constraints: 33192
2322.31/2329.57 c #Conflicts: 1501000 | #Constraints: 34195
2322.31/2329.57 c #Conflicts: 1502000 | #Constraints: 35198
2322.31/2329.57 c #Conflicts: 1503000 | #Constraints: 36198
2322.31/2329.57 c #Conflicts: 1504000 | #Constraints: 37202
2322.31/2329.57 c #Conflicts: 1505000 | #Constraints: 38205
2322.31/2329.57 c #Conflicts: 1506000 | #Constraints: 39209
2322.31/2329.57 c #Conflicts: 1507000 | #Constraints: 40213
2322.31/2329.57 c #Conflicts: 1508000 | #Constraints: 41224
2322.31/2329.57 c #Conflicts: 1509000 | #Constraints: 42230
2322.31/2329.57 c #Conflicts: 1510000 | #Constraints: 43236
2322.31/2329.57 c #Conflicts: 1511000 | #Constraints: 44237
2322.31/2329.57 c #Conflicts: 1512000 | #Constraints: 45239
2322.31/2329.57 c #Conflicts: 1513000 | #Constraints: 46246
2322.31/2329.57 c #Conflicts: 1514000 | #Constraints: 47255
2322.31/2329.57 c #Conflicts: 1515000 | #Constraints: 48258
2322.31/2329.57 c #Conflicts: 1516000 | #Constraints: 49258
2322.31/2329.57 c INPROCESSING
2322.31/2329.57 c GARBAGE COLLECT
2322.31/2329.57 c rational objective 3
2322.51/2329.71 c GLOBAL bounds - >= 3 @ 2312.27
2322.51/2329.71 c GLOBAL bounds - >= 3 @ 2312.27
2364.17/2371.54 c #Conflicts: 1517000 | #Constraints: 25725
2364.17/2371.54 c #Conflicts: 1518000 | #Constraints: 26729
2364.17/2371.54 c #Conflicts: 1519000 | #Constraints: 27732
2364.17/2371.54 c #Conflicts: 1520000 | #Constraints: 28733
2364.17/2371.54 c #Conflicts: 1521000 | #Constraints: 29739
2364.17/2371.54 c #Conflicts: 1522000 | #Constraints: 30742
2364.17/2371.54 c #Conflicts: 1523000 | #Constraints: 31743
2364.17/2371.54 c #Conflicts: 1524000 | #Constraints: 32747
2364.17/2371.54 c #Conflicts: 1525000 | #Constraints: 33748
2364.17/2371.54 c #Conflicts: 1526000 | #Constraints: 34749
2364.17/2371.54 c #Conflicts: 1527000 | #Constraints: 35749
2364.17/2371.54 c #Conflicts: 1528000 | #Constraints: 36749
2364.17/2371.54 c #Conflicts: 1529000 | #Constraints: 37751
2364.17/2371.54 c #Conflicts: 1530000 | #Constraints: 38754
2364.17/2371.54 c #Conflicts: 1531000 | #Constraints: 39757
2364.17/2371.54 c #Conflicts: 1532000 | #Constraints: 40758
2364.17/2371.54 c #Conflicts: 1533000 | #Constraints: 41767
2364.17/2371.54 c #Conflicts: 1534000 | #Constraints: 42771
2364.17/2371.54 c #Conflicts: 1535000 | #Constraints: 43776
2364.17/2371.54 c #Conflicts: 1536000 | #Constraints: 44779
2364.17/2371.54 c #Conflicts: 1537000 | #Constraints: 45780
2364.17/2371.54 c #Conflicts: 1538000 | #Constraints: 46781
2364.17/2371.54 c #Conflicts: 1539000 | #Constraints: 47784
2364.17/2371.54 c #Conflicts: 1540000 | #Constraints: 48788
2364.17/2371.54 c #Conflicts: 1541000 | #Constraints: 49789
2364.17/2371.54 c INPROCESSING
2364.17/2371.54 c GARBAGE COLLECT
2364.17/2371.54 c rational objective 3
2364.27/2371.63 c GLOBAL bounds - >= 3 @ 2353.89
2364.27/2371.63 c GLOBAL bounds - >= 3 @ 2353.89
2410.83/2418.32 c #Conflicts: 1542000 | #Constraints: 26123
2410.83/2418.32 c #Conflicts: 1543000 | #Constraints: 27184
2410.83/2418.32 c #Conflicts: 1544000 | #Constraints: 28187
2410.83/2418.32 c #Conflicts: 1545000 | #Constraints: 29188
2410.83/2418.32 c #Conflicts: 1546000 | #Constraints: 30198
2410.83/2418.32 c #Conflicts: 1547000 | #Constraints: 31200
2410.83/2418.32 c #Conflicts: 1548000 | #Constraints: 32213
2410.83/2418.32 c #Conflicts: 1549000 | #Constraints: 33220
2410.83/2418.32 c #Conflicts: 1550000 | #Constraints: 34231
2410.83/2418.32 c #Conflicts: 1551000 | #Constraints: 35238
2410.83/2418.32 c #Conflicts: 1552000 | #Constraints: 36242
2410.83/2418.32 c #Conflicts: 1553000 | #Constraints: 37242
2410.83/2418.32 c #Conflicts: 1554000 | #Constraints: 38245
2410.83/2418.32 c #Conflicts: 1555000 | #Constraints: 39249
2410.83/2418.32 c #Conflicts: 1556000 | #Constraints: 40250
2410.83/2418.32 c #Conflicts: 1557000 | #Constraints: 41252
2410.83/2418.32 c #Conflicts: 1558000 | #Constraints: 42254
2410.83/2418.32 c #Conflicts: 1559000 | #Constraints: 43259
2410.83/2418.32 c #Conflicts: 1560000 | #Constraints: 44260
2410.83/2418.32 c #Conflicts: 1561000 | #Constraints: 45264
2410.83/2418.32 c #Conflicts: 1562000 | #Constraints: 46266
2410.83/2418.32 c #Conflicts: 1563000 | #Constraints: 47271
2410.83/2418.32 c #Conflicts: 1564000 | #Constraints: 48274
2410.83/2418.32 c #Conflicts: 1565000 | #Constraints: 49282
2410.83/2418.32 c #Conflicts: 1566000 | #Constraints: 50289
2410.83/2418.32 c INPROCESSING
2410.83/2418.32 c GARBAGE COLLECT
2410.83/2418.32 c rational objective 3
2410.93/2418.48 c GLOBAL bounds - >= 3 @ 2400.4
2410.93/2418.48 c GLOBAL bounds - >= 3 @ 2400.4
2457.58/2465.23 c #Conflicts: 1567000 | #Constraints: 26305
2457.58/2465.23 c #Conflicts: 1568000 | #Constraints: 27311
2457.58/2465.23 c #Conflicts: 1569000 | #Constraints: 28315
2457.58/2465.23 c #Conflicts: 1570000 | #Constraints: 29316
2457.58/2465.23 c #Conflicts: 1571000 | #Constraints: 30318
2457.58/2465.23 c #Conflicts: 1572000 | #Constraints: 31322
2457.58/2465.23 c #Conflicts: 1573000 | #Constraints: 32324
2457.58/2465.23 c #Conflicts: 1574000 | #Constraints: 33325
2457.58/2465.23 c #Conflicts: 1575000 | #Constraints: 34330
2457.58/2465.23 c #Conflicts: 1576000 | #Constraints: 35331
2457.58/2465.23 c #Conflicts: 1577000 | #Constraints: 36335
2457.58/2465.23 c #Conflicts: 1578000 | #Constraints: 37339
2457.58/2465.23 c #Conflicts: 1579000 | #Constraints: 38345
2457.58/2465.23 c #Conflicts: 1580000 | #Constraints: 39351
2457.58/2465.23 c #Conflicts: 1581000 | #Constraints: 40359
2457.58/2465.23 c #Conflicts: 1582000 | #Constraints: 41362
2457.58/2465.23 c #Conflicts: 1583000 | #Constraints: 42365
2457.58/2465.23 c #Conflicts: 1584000 | #Constraints: 43371
2457.58/2465.23 c #Conflicts: 1585000 | #Constraints: 44377
2457.58/2465.23 c #Conflicts: 1586000 | #Constraints: 45383
2457.58/2465.23 c #Conflicts: 1587000 | #Constraints: 46387
2457.58/2465.23 c #Conflicts: 1588000 | #Constraints: 47392
2457.58/2465.23 c #Conflicts: 1589000 | #Constraints: 48395
2457.58/2465.23 c #Conflicts: 1590000 | #Constraints: 49399
2457.58/2465.23 c #Conflicts: 1591000 | #Constraints: 50408
2457.58/2465.23 c INPROCESSING
2457.58/2465.23 c GARBAGE COLLECT
2457.58/2465.23 c rational objective 3
2457.68/2465.30 c GLOBAL bounds - >= 3 @ 2446.92
2457.68/2465.30 c GLOBAL bounds - >= 3 @ 2446.92
2552.47/2560.49 c #Conflicts: 1592000 | #Constraints: 26340
2552.47/2560.49 c #Conflicts: 1593000 | #Constraints: 27343
2552.47/2560.49 c #Conflicts: 1594000 | #Constraints: 28344
2552.47/2560.49 c #Conflicts: 1595000 | #Constraints: 29346
2552.47/2560.49 c #Conflicts: 1596000 | #Constraints: 30347
2552.47/2560.49 c #Conflicts: 1597000 | #Constraints: 31351
2552.47/2560.49 c #Conflicts: 1598000 | #Constraints: 32356
2552.47/2560.49 c #Conflicts: 1599000 | #Constraints: 33358
2552.47/2560.49 c #Conflicts: 1600000 | #Constraints: 34358
2552.47/2560.49 c #Conflicts: 1601000 | #Constraints: 35360
2552.47/2560.49 c #Conflicts: 1602000 | #Constraints: 36362
2552.47/2560.49 c #Conflicts: 1603000 | #Constraints: 37366
2552.47/2560.49 c #Conflicts: 1604000 | #Constraints: 38368
2552.47/2560.49 c #Conflicts: 1605000 | #Constraints: 39370
2552.47/2560.49 c #Conflicts: 1606000 | #Constraints: 40374
2552.47/2560.49 c #Conflicts: 1607000 | #Constraints: 41375
2552.47/2560.49 c #Conflicts: 1608000 | #Constraints: 42377
2552.47/2560.49 c #Conflicts: 1609000 | #Constraints: 43380
2552.47/2560.49 c #Conflicts: 1610000 | #Constraints: 44382
2552.47/2560.49 c #Conflicts: 1611000 | #Constraints: 45383
2552.47/2560.49 c #Conflicts: 1612000 | #Constraints: 46383
2552.47/2560.49 c #Conflicts: 1613000 | #Constraints: 47385
2552.47/2560.49 c #Conflicts: 1614000 | #Constraints: 48386
2552.47/2560.49 c #Conflicts: 1615000 | #Constraints: 49391
2552.47/2560.49 c #Conflicts: 1616000 | #Constraints: 50392
2552.47/2560.49 c INPROCESSING
2552.47/2560.49 c GARBAGE COLLECT
2552.47/2560.49 c rational objective 3
2552.57/2560.56 c GLOBAL bounds - >= 3 @ 2541.7
2552.57/2560.56 c GLOBAL bounds - >= 3 @ 2541.7
2662.02/2670.38 c #Conflicts: 1617000 | #Constraints: 26130
2662.02/2670.38 c #Conflicts: 1618000 | #Constraints: 27133
2662.02/2670.38 c #Conflicts: 1619000 | #Constraints: 28135
2662.02/2670.38 c #Conflicts: 1620000 | #Constraints: 29135
2662.02/2670.38 c #Conflicts: 1621000 | #Constraints: 30136
2662.02/2670.38 c #Conflicts: 1622000 | #Constraints: 31137
2662.02/2670.38 c #Conflicts: 1623000 | #Constraints: 32140
2662.02/2670.38 c #Conflicts: 1624000 | #Constraints: 33140
2662.02/2670.38 c #Conflicts: 1625000 | #Constraints: 34141
2662.02/2670.38 c #Conflicts: 1626000 | #Constraints: 35145
2662.02/2670.38 c #Conflicts: 1627000 | #Constraints: 36146
2662.02/2670.38 c #Conflicts: 1628000 | #Constraints: 37148
2662.02/2670.38 c #Conflicts: 1629000 | #Constraints: 38149
2662.02/2670.38 c #Conflicts: 1630000 | #Constraints: 39151
2662.02/2670.38 c #Conflicts: 1631000 | #Constraints: 40152
2662.02/2670.38 c #Conflicts: 1632000 | #Constraints: 41152
2662.02/2670.38 c #Conflicts: 1633000 | #Constraints: 42153
2662.02/2670.38 c #Conflicts: 1634000 | #Constraints: 43158
2662.02/2670.38 c #Conflicts: 1635000 | #Constraints: 44159
2662.02/2670.38 c #Conflicts: 1636000 | #Constraints: 45164
2662.02/2670.38 c #Conflicts: 1637000 | #Constraints: 46165
2662.02/2670.38 c #Conflicts: 1638000 | #Constraints: 47168
2662.02/2670.38 c #Conflicts: 1639000 | #Constraints: 48175
2662.02/2670.38 c #Conflicts: 1640000 | #Constraints: 49176
2662.02/2670.38 c #Conflicts: 1641000 | #Constraints: 50176
2662.02/2670.38 c #Conflicts: 1642000 | #Constraints: 51181
2662.02/2670.38 c INPROCESSING
2662.02/2670.38 c GARBAGE COLLECT
2662.02/2670.38 c rational objective 3
2662.12/2670.45 c GLOBAL bounds - >= 3 @ 2651.03
2662.12/2670.45 c GLOBAL bounds - >= 3 @ 2651.03
2717.94/2726.46 c #Conflicts: 1643000 | #Constraints: 26708
2717.94/2726.46 c #Conflicts: 1644000 | #Constraints: 27716
2717.94/2726.46 c #Conflicts: 1645000 | #Constraints: 28718
2717.94/2726.46 c #Conflicts: 1646000 | #Constraints: 29720
2717.94/2726.46 c #Conflicts: 1647000 | #Constraints: 30725
2717.94/2726.46 c #Conflicts: 1648000 | #Constraints: 31729
2717.94/2726.46 c #Conflicts: 1649000 | #Constraints: 32732
2717.94/2726.46 c #Conflicts: 1650000 | #Constraints: 33740
2717.94/2726.46 c #Conflicts: 1651000 | #Constraints: 34747
2717.94/2726.46 c #Conflicts: 1652000 | #Constraints: 35751
2717.94/2726.46 c #Conflicts: 1653000 | #Constraints: 36758
2717.94/2726.46 c #Conflicts: 1654000 | #Constraints: 37769
2717.94/2726.46 c #Conflicts: 1655000 | #Constraints: 38772
2717.94/2726.46 c #Conflicts: 1656000 | #Constraints: 39780
2717.94/2726.46 c #Conflicts: 1657000 | #Constraints: 40786
2717.94/2726.46 c #Conflicts: 1658000 | #Constraints: 41793
2717.94/2726.46 c #Conflicts: 1659000 | #Constraints: 42795
2717.94/2726.46 c #Conflicts: 1660000 | #Constraints: 43799
2717.94/2726.46 c #Conflicts: 1661000 | #Constraints: 44804
2717.94/2726.46 c #Conflicts: 1662000 | #Constraints: 45811
2717.94/2726.46 c #Conflicts: 1663000 | #Constraints: 46819
2717.94/2726.46 c #Conflicts: 1664000 | #Constraints: 47823
2717.94/2726.46 c #Conflicts: 1665000 | #Constraints: 48826
2717.94/2726.46 c #Conflicts: 1666000 | #Constraints: 49828
2717.94/2726.46 c #Conflicts: 1667000 | #Constraints: 50831
2717.94/2726.46 c #Conflicts: 1668000 | #Constraints: 51834
2717.94/2726.46 c INPROCESSING
2717.94/2726.46 c GARBAGE COLLECT
2717.94/2726.46 c rational objective 3
2718.04/2726.54 c GLOBAL bounds - >= 3 @ 2706.76
2718.04/2726.54 c GLOBAL bounds - >= 3 @ 2706.76
2781.13/2789.85 c #Conflicts: 1669000 | #Constraints: 27163
2781.13/2789.85 c #Conflicts: 1670000 | #Constraints: 28167
2781.13/2789.85 c #Conflicts: 1671000 | #Constraints: 29170
2781.13/2789.85 c #Conflicts: 1672000 | #Constraints: 30178
2781.13/2789.85 c #Conflicts: 1673000 | #Constraints: 31187
2781.13/2789.85 c #Conflicts: 1674000 | #Constraints: 32197
2781.13/2789.85 c #Conflicts: 1675000 | #Constraints: 33210
2781.13/2789.85 c #Conflicts: 1676000 | #Constraints: 34213
2781.13/2789.85 c #Conflicts: 1677000 | #Constraints: 35218
2781.13/2789.85 c #Conflicts: 1678000 | #Constraints: 36227
2781.13/2789.85 c #Conflicts: 1679000 | #Constraints: 37228
2781.13/2789.85 c #Conflicts: 1680000 | #Constraints: 38238
2781.13/2789.85 c #Conflicts: 1681000 | #Constraints: 39243
2781.13/2789.85 c #Conflicts: 1682000 | #Constraints: 40253
2781.13/2789.85 c #Conflicts: 1683000 | #Constraints: 41258
2781.13/2789.85 c #Conflicts: 1684000 | #Constraints: 42265
2781.13/2789.85 c #Conflicts: 1685000 | #Constraints: 43267
2781.13/2789.85 c #Conflicts: 1686000 | #Constraints: 44272
2781.13/2789.85 c #Conflicts: 1687000 | #Constraints: 45274
2781.13/2789.85 c #Conflicts: 1688000 | #Constraints: 46278
2781.13/2789.85 c #Conflicts: 1689000 | #Constraints: 47282
2781.13/2789.85 c #Conflicts: 1690000 | #Constraints: 48286
2781.13/2789.85 c #Conflicts: 1691000 | #Constraints: 49291
2781.13/2789.85 c #Conflicts: 1692000 | #Constraints: 50295
2781.13/2789.85 c #Conflicts: 1693000 | #Constraints: 51303
2781.13/2789.85 c #Conflicts: 1694000 | #Constraints: 52309
2781.13/2789.85 c INPROCESSING
2781.13/2789.85 c GARBAGE COLLECT
2781.13/2789.85 c rational objective 3
2781.23/2789.94 c GLOBAL bounds - >= 3 @ 2769.78
2781.23/2789.94 c GLOBAL bounds - >= 3 @ 2769.78
2840.67/2849.52 c #Conflicts: 1695000 | #Constraints: 27406
2840.67/2849.52 c #Conflicts: 1696000 | #Constraints: 28412
2840.67/2849.52 c #Conflicts: 1697000 | #Constraints: 29413
2840.67/2849.52 c #Conflicts: 1698000 | #Constraints: 30418
2840.67/2849.52 c #Conflicts: 1699000 | #Constraints: 31419
2840.67/2849.52 c #Conflicts: 1700000 | #Constraints: 32422
2840.67/2849.52 c #Conflicts: 1701000 | #Constraints: 33425
2840.67/2849.52 c #Conflicts: 1702000 | #Constraints: 34428
2840.67/2849.52 c #Conflicts: 1703000 | #Constraints: 35432
2840.67/2849.52 c #Conflicts: 1704000 | #Constraints: 36437
2840.67/2849.52 c #Conflicts: 1705000 | #Constraints: 37444
2840.67/2849.52 c #Conflicts: 1706000 | #Constraints: 38447
2840.67/2849.52 c #Conflicts: 1707000 | #Constraints: 39451
2840.67/2849.52 c #Conflicts: 1708000 | #Constraints: 40459
2840.67/2849.52 c #Conflicts: 1709000 | #Constraints: 41466
2840.67/2849.52 c #Conflicts: 1710000 | #Constraints: 42471
2840.67/2849.52 c #Conflicts: 1711000 | #Constraints: 43479
2840.67/2849.52 c #Conflicts: 1712000 | #Constraints: 44483
2840.67/2849.52 c #Conflicts: 1713000 | #Constraints: 45488
2840.67/2849.52 c #Conflicts: 1714000 | #Constraints: 46491
2840.67/2849.52 c #Conflicts: 1715000 | #Constraints: 47499
2840.67/2849.52 c #Conflicts: 1716000 | #Constraints: 48503
2840.67/2849.52 c #Conflicts: 1717000 | #Constraints: 49505
2840.67/2849.52 c #Conflicts: 1718000 | #Constraints: 50508
2840.67/2849.52 c #Conflicts: 1719000 | #Constraints: 51512
2840.67/2849.52 c #Conflicts: 1720000 | #Constraints: 52515
2840.67/2849.52 c INPROCESSING
2840.67/2849.52 c GARBAGE COLLECT
2840.67/2849.52 c rational objective 3
2840.77/2849.64 c GLOBAL bounds - >= 3 @ 2829.15
2840.77/2849.64 c GLOBAL bounds - >= 3 @ 2829.15
2917.08/2926.14 c #Conflicts: 1721000 | #Constraints: 27401
2917.08/2926.14 c #Conflicts: 1722000 | #Constraints: 28402
2917.08/2926.14 c #Conflicts: 1723000 | #Constraints: 29404
2917.08/2926.14 c #Conflicts: 1724000 | #Constraints: 30407
2917.08/2926.14 c #Conflicts: 1725000 | #Constraints: 31410
2917.08/2926.14 c #Conflicts: 1726000 | #Constraints: 32411
2917.08/2926.14 c #Conflicts: 1727000 | #Constraints: 33419
2917.08/2926.14 c #Conflicts: 1728000 | #Constraints: 34428
2917.08/2926.14 c #Conflicts: 1729000 | #Constraints: 35432
2917.08/2926.14 c #Conflicts: 1730000 | #Constraints: 36433
2917.08/2926.14 c #Conflicts: 1731000 | #Constraints: 37436
2917.08/2926.14 c #Conflicts: 1732000 | #Constraints: 38440
2917.08/2926.14 c #Conflicts: 1733000 | #Constraints: 39447
2917.08/2926.14 c #Conflicts: 1734000 | #Constraints: 40455
2917.08/2926.14 c #Conflicts: 1735000 | #Constraints: 41459
2917.08/2926.14 c #Conflicts: 1736000 | #Constraints: 42464
2917.08/2926.14 c #Conflicts: 1737000 | #Constraints: 43471
2917.08/2926.14 c #Conflicts: 1738000 | #Constraints: 44475
2917.08/2926.14 c #Conflicts: 1739000 | #Constraints: 45478
2917.08/2926.14 c #Conflicts: 1740000 | #Constraints: 46482
2917.08/2926.14 c #Conflicts: 1741000 | #Constraints: 47489
2917.08/2926.14 c #Conflicts: 1742000 | #Constraints: 48490
2917.08/2926.14 c #Conflicts: 1743000 | #Constraints: 49496
2917.08/2926.14 c #Conflicts: 1744000 | #Constraints: 50498
2917.08/2926.14 c #Conflicts: 1745000 | #Constraints: 51503
2917.08/2926.14 c #Conflicts: 1746000 | #Constraints: 52512
2917.08/2926.14 c INPROCESSING
2917.08/2926.14 c GARBAGE COLLECT
2917.08/2926.14 c rational objective 3
2917.18/2926.23 c GLOBAL bounds - >= 3 @ 2905.34
2917.18/2926.23 c GLOBAL bounds - >= 3 @ 2905.34
2979.12/2988.32 c #Conflicts: 1747000 | #Constraints: 27186
2979.12/2988.32 c #Conflicts: 1748000 | #Constraints: 28189
2979.12/2988.32 c #Conflicts: 1749000 | #Constraints: 29201
2979.12/2988.32 c #Conflicts: 1750000 | #Constraints: 30203
2979.12/2988.32 c #Conflicts: 1751000 | #Constraints: 31205
2979.12/2988.32 c #Conflicts: 1752000 | #Constraints: 32210
2979.12/2988.32 c #Conflicts: 1753000 | #Constraints: 33214
2979.12/2988.32 c #Conflicts: 1754000 | #Constraints: 34219
2979.12/2988.32 c #Conflicts: 1755000 | #Constraints: 35225
2979.12/2988.32 c #Conflicts: 1756000 | #Constraints: 36228
2979.12/2988.32 c #Conflicts: 1757000 | #Constraints: 37235
2979.12/2988.32 c #Conflicts: 1758000 | #Constraints: 38240
2979.12/2988.32 c #Conflicts: 1759000 | #Constraints: 39242
2979.12/2988.32 c #Conflicts: 1760000 | #Constraints: 40249
2979.12/2988.32 c #Conflicts: 1761000 | #Constraints: 41253
2979.12/2988.32 c #Conflicts: 1762000 | #Constraints: 42257
2979.12/2988.32 c #Conflicts: 1763000 | #Constraints: 43261
2979.12/2988.32 c #Conflicts: 1764000 | #Constraints: 44273
2979.12/2988.32 c #Conflicts: 1765000 | #Constraints: 45279
2979.12/2988.32 c #Conflicts: 1766000 | #Constraints: 46288
2979.12/2988.32 c #Conflicts: 1767000 | #Constraints: 47294
2979.12/2988.32 c #Conflicts: 1768000 | #Constraints: 48298
2979.12/2988.32 c #Conflicts: 1769000 | #Constraints: 49304
2979.12/2988.32 c #Conflicts: 1770000 | #Constraints: 50310
2979.12/2988.32 c #Conflicts: 1771000 | #Constraints: 51312
2979.12/2988.32 c #Conflicts: 1772000 | #Constraints: 52315
2979.12/2988.32 c #Conflicts: 1773000 | #Constraints: 53317
2979.12/2988.32 c INPROCESSING
2979.12/2988.32 c GARBAGE COLLECT
2979.12/2988.32 c rational objective 3
2979.22/2988.43 c GLOBAL bounds - >= 3 @ 2967.2
2979.22/2988.43 c GLOBAL bounds - >= 3 @ 2967.2
3026.10/3035.44 c #Conflicts: 1774000 | #Constraints: 27743
3026.10/3035.44 c #Conflicts: 1775000 | #Constraints: 28754
3026.10/3035.44 c #Conflicts: 1776000 | #Constraints: 29757
3026.10/3035.44 c #Conflicts: 1777000 | #Constraints: 30759
3026.10/3035.44 c #Conflicts: 1778000 | #Constraints: 31762
3026.10/3035.44 c #Conflicts: 1779000 | #Constraints: 32763
3026.10/3035.44 c #Conflicts: 1780000 | #Constraints: 33765
3026.10/3035.44 c #Conflicts: 1781000 | #Constraints: 34765
3026.10/3035.44 c #Conflicts: 1782000 | #Constraints: 35766
3026.10/3035.44 c #Conflicts: 1783000 | #Constraints: 36768
3026.10/3035.44 c #Conflicts: 1784000 | #Constraints: 37862
3026.10/3035.44 c #Conflicts: 1785000 | #Constraints: 39063
3026.10/3035.44 c #Conflicts: 1786000 | #Constraints: 40106
3026.10/3035.44 c #Conflicts: 1787000 | #Constraints: 41338
3026.10/3035.44 c #Conflicts: 1788000 | #Constraints: 42512
3026.10/3035.44 c #Conflicts: 1789000 | #Constraints: 43634
3026.10/3035.44 c #Conflicts: 1790000 | #Constraints: 44699
3026.10/3035.44 c #Conflicts: 1791000 | #Constraints: 45718
3026.10/3035.44 c #Conflicts: 1792000 | #Constraints: 46735
3026.10/3035.44 c #Conflicts: 1793000 | #Constraints: 47869
3026.10/3035.44 c #Conflicts: 1794000 | #Constraints: 48942
3026.10/3035.44 c #Conflicts: 1795000 | #Constraints: 50130
3026.10/3035.44 c #Conflicts: 1796000 | #Constraints: 51412
3026.10/3035.44 c #Conflicts: 1797000 | #Constraints: 52555
3026.10/3035.44 c #Conflicts: 1798000 | #Constraints: 53732
3026.10/3035.44 c #Conflicts: 1799000 | #Constraints: 54964
3026.10/3035.44 c #Conflicts: 1800000 | #Constraints: 56125
3026.10/3035.44 c INPROCESSING
3026.10/3035.44 c GARBAGE COLLECT
3026.10/3035.44 c rational objective 3
3026.20/3035.56 c GLOBAL bounds - >= 3 @ 3014.05
3026.20/3035.56 c GLOBAL bounds - >= 3 @ 3014.05
3099.21/3108.78 c #Conflicts: 1801000 | #Constraints: 29279
3099.21/3108.78 c #Conflicts: 1802000 | #Constraints: 30281
3099.21/3108.78 c #Conflicts: 1803000 | #Constraints: 31281
3099.21/3108.78 c #Conflicts: 1804000 | #Constraints: 32281
3099.21/3108.78 c #Conflicts: 1805000 | #Constraints: 33281
3099.21/3108.78 c #Conflicts: 1806000 | #Constraints: 34283
3099.21/3108.78 c #Conflicts: 1807000 | #Constraints: 35293
3099.21/3108.78 c #Conflicts: 1808000 | #Constraints: 36296
3099.21/3108.78 c #Conflicts: 1809000 | #Constraints: 37302
3099.21/3108.78 c #Conflicts: 1810000 | #Constraints: 38303
3099.21/3108.78 c #Conflicts: 1811000 | #Constraints: 39303
3099.21/3108.78 c #Conflicts: 1812000 | #Constraints: 40305
3099.21/3108.78 c #Conflicts: 1813000 | #Constraints: 41305
3099.21/3108.78 c #Conflicts: 1814000 | #Constraints: 42306
3099.21/3108.78 c #Conflicts: 1815000 | #Constraints: 43306
3099.21/3108.78 c #Conflicts: 1816000 | #Constraints: 44309
3099.21/3108.78 c #Conflicts: 1817000 | #Constraints: 45309
3099.21/3108.78 c #Conflicts: 1818000 | #Constraints: 46312
3099.21/3108.78 c #Conflicts: 1819000 | #Constraints: 47313
3099.21/3108.78 c #Conflicts: 1820000 | #Constraints: 48317
3099.21/3108.78 c #Conflicts: 1821000 | #Constraints: 49318
3099.21/3108.78 c #Conflicts: 1822000 | #Constraints: 50318
3099.21/3108.78 c #Conflicts: 1823000 | #Constraints: 51318
3099.21/3108.78 c #Conflicts: 1824000 | #Constraints: 52319
3099.21/3108.78 c #Conflicts: 1825000 | #Constraints: 53319
3099.21/3108.78 c #Conflicts: 1826000 | #Constraints: 54321
3099.21/3108.78 c #Conflicts: 1827000 | #Constraints: 55321
3099.21/3108.78 c INPROCESSING
3099.21/3108.78 c GARBAGE COLLECT
3099.21/3108.78 c rational objective 3
3099.31/3108.89 c GLOBAL bounds - >= 3 @ 3087.01
3099.31/3108.89 c GLOBAL bounds - >= 3 @ 3087.01
3177.51/3187.29 c #Conflicts: 1828000 | #Constraints: 28901
3177.51/3187.29 c #Conflicts: 1829000 | #Constraints: 29907
3177.51/3187.29 c #Conflicts: 1830000 | #Constraints: 30952
3177.51/3187.29 c #Conflicts: 1831000 | #Constraints: 31953
3177.51/3187.29 c #Conflicts: 1832000 | #Constraints: 32961
3177.51/3187.29 c #Conflicts: 1833000 | #Constraints: 33966
3177.51/3187.29 c #Conflicts: 1834000 | #Constraints: 34971
3177.51/3187.29 c #Conflicts: 1835000 | #Constraints: 35974
3177.51/3187.29 c #Conflicts: 1836000 | #Constraints: 36976
3177.51/3187.29 c #Conflicts: 1837000 | #Constraints: 37978
3177.51/3187.29 c #Conflicts: 1838000 | #Constraints: 38984
3177.51/3187.29 c #Conflicts: 1839000 | #Constraints: 39989
3177.51/3187.29 c #Conflicts: 1840000 | #Constraints: 40994
3177.51/3187.29 c #Conflicts: 1841000 | #Constraints: 42000
3177.51/3187.29 c #Conflicts: 1842000 | #Constraints: 43007
3177.51/3187.29 c #Conflicts: 1843000 | #Constraints: 44015
3177.51/3187.29 c #Conflicts: 1844000 | #Constraints: 45021
3177.51/3187.29 c #Conflicts: 1845000 | #Constraints: 46029
3177.51/3187.29 c #Conflicts: 1846000 | #Constraints: 47032
3177.51/3187.29 c #Conflicts: 1847000 | #Constraints: 48038
3177.51/3187.29 c #Conflicts: 1848000 | #Constraints: 49041
3177.51/3187.29 c #Conflicts: 1849000 | #Constraints: 50043
3177.51/3187.29 c #Conflicts: 1850000 | #Constraints: 51047
3177.51/3187.29 c #Conflicts: 1851000 | #Constraints: 52050
3177.51/3187.29 c #Conflicts: 1852000 | #Constraints: 53050
3177.51/3187.29 c #Conflicts: 1853000 | #Constraints: 54053
3177.51/3187.29 c #Conflicts: 1854000 | #Constraints: 55053
3177.51/3187.29 c INPROCESSING
3177.51/3187.29 c GARBAGE COLLECT
3177.51/3187.29 c rational objective 3
3177.71/3187.40 c GLOBAL bounds - >= 3 @ 3165.12
3177.71/3187.40 c GLOBAL bounds - >= 3 @ 3165.12
3251.93/3261.86 c #Conflicts: 1855000 | #Constraints: 28663
3251.93/3261.86 c #Conflicts: 1856000 | #Constraints: 29670
3251.93/3261.86 c #Conflicts: 1857000 | #Constraints: 30675
3251.93/3261.86 c #Conflicts: 1858000 | #Constraints: 31681
3251.93/3261.86 c #Conflicts: 1859000 | #Constraints: 32684
3251.93/3261.86 c #Conflicts: 1860000 | #Constraints: 33692
3251.93/3261.86 c #Conflicts: 1861000 | #Constraints: 34698
3251.93/3261.86 c #Conflicts: 1862000 | #Constraints: 35704
3251.93/3261.86 c #Conflicts: 1863000 | #Constraints: 36707
3251.93/3261.86 c #Conflicts: 1864000 | #Constraints: 37711
3251.93/3261.86 c #Conflicts: 1865000 | #Constraints: 38712
3251.93/3261.86 c #Conflicts: 1866000 | #Constraints: 39719
3251.93/3261.86 c #Conflicts: 1867000 | #Constraints: 40721
3251.93/3261.86 c #Conflicts: 1868000 | #Constraints: 41725
3251.93/3261.86 c #Conflicts: 1869000 | #Constraints: 42729
3251.93/3261.86 c #Conflicts: 1870000 | #Constraints: 43737
3251.93/3261.86 c #Conflicts: 1871000 | #Constraints: 44746
3251.93/3261.86 c #Conflicts: 1872000 | #Constraints: 45754
3251.93/3261.86 c #Conflicts: 1873000 | #Constraints: 46759
3251.93/3261.86 c #Conflicts: 1874000 | #Constraints: 47762
3251.93/3261.86 c #Conflicts: 1875000 | #Constraints: 48771
3251.93/3261.86 c #Conflicts: 1876000 | #Constraints: 49777
3251.93/3261.86 c #Conflicts: 1877000 | #Constraints: 50779
3251.93/3261.86 c #Conflicts: 1878000 | #Constraints: 51784
3251.93/3261.86 c #Conflicts: 1879000 | #Constraints: 52786
3251.93/3261.86 c #Conflicts: 1880000 | #Constraints: 53787
3251.93/3261.86 c #Conflicts: 1881000 | #Constraints: 54791
3251.93/3261.86 c INPROCESSING
3251.93/3261.86 c GARBAGE COLLECT
3251.93/3261.86 c rational objective 3
3252.03/3261.96 c GLOBAL bounds - >= 3 @ 3239.32
3252.03/3261.96 c GLOBAL bounds - >= 3 @ 3239.32
3300.01/3310.02 c #Conflicts: 1882000 | #Constraints: 28323
3300.01/3310.02 c #Conflicts: 1883000 | #Constraints: 29327
3300.01/3310.02 c #Conflicts: 1884000 | #Constraints: 30333
3300.01/3310.02 c #Conflicts: 1885000 | #Constraints: 31338
3300.01/3310.02 c #Conflicts: 1886000 | #Constraints: 32341
3300.01/3310.02 c #Conflicts: 1887000 | #Constraints: 33345
3300.01/3310.02 c #Conflicts: 1888000 | #Constraints: 34349
3300.01/3310.02 c #Conflicts: 1889000 | #Constraints: 35351
3300.01/3310.02 c #Conflicts: 1890000 | #Constraints: 36355
3300.01/3310.02 c #Conflicts: 1891000 | #Constraints: 37362
3300.01/3310.02 c #Conflicts: 1892000 | #Constraints: 38365
3300.01/3310.02 c #Conflicts: 1893000 | #Constraints: 39370
3300.01/3310.02 c #Conflicts: 1894000 | #Constraints: 40375
3300.01/3310.02 c #Conflicts: 1895000 | #Constraints: 41380
3300.01/3310.02 c #Conflicts: 1896000 | #Constraints: 42384
3300.01/3310.02 c #Conflicts: 1897000 | #Constraints: 43388
3300.01/3310.02 c #Conflicts: 1898000 | #Constraints: 44395
3300.01/3310.02 c #Conflicts: 1899000 | #Constraints: 45397
3300.01/3310.02 c #Conflicts: 1900000 | #Constraints: 46399
3300.01/3310.02 c #Conflicts: 1901000 | #Constraints: 47401
3300.01/3310.02 c #Conflicts: 1902000 | #Constraints: 48403
3300.01/3310.02 c #Conflicts: 1903000 | #Constraints: 49412
3300.01/3310.02 c #Conflicts: 1904000 | #Constraints: 50418
3300.01/3310.02 c #Conflicts: 1905000 | #Constraints: 51427
3300.01/3310.02 c #Conflicts: 1906000 | #Constraints: 52434
3300.01/3310.02 c #Conflicts: 1907000 | #Constraints: 53438
3300.01/3310.02 c #Conflicts: 1908000 | #Constraints: 54447
3300.01/3310.02 c #Conflicts: 1909000 | #Constraints: 55453
3300.01/3310.02 c INPROCESSING
3300.01/3310.02 c GARBAGE COLLECT
3300.01/3310.02 c rational objective 3
3300.11/3310.12 c GLOBAL bounds - >= 3 @ 3287.19
3300.11/3310.12 c GLOBAL bounds - >= 3 @ 3287.19
3373.93/3384.17 c #Conflicts: 1910000 | #Constraints: 28870
3373.93/3384.17 c #Conflicts: 1911000 | #Constraints: 29874
3373.93/3384.17 c #Conflicts: 1912000 | #Constraints: 30883
3373.93/3384.17 c #Conflicts: 1913000 | #Constraints: 31886
3373.93/3384.17 c #Conflicts: 1914000 | #Constraints: 32888
3373.93/3384.17 c #Conflicts: 1915000 | #Constraints: 33893
3373.93/3384.17 c #Conflicts: 1916000 | #Constraints: 34897
3373.93/3384.17 c #Conflicts: 1917000 | #Constraints: 35901
3373.93/3384.17 c #Conflicts: 1918000 | #Constraints: 36906
3373.93/3384.17 c #Conflicts: 1919000 | #Constraints: 37911
3373.93/3384.17 c #Conflicts: 1920000 | #Constraints: 38916
3373.93/3384.17 c #Conflicts: 1921000 | #Constraints: 39918
3373.93/3384.17 c #Conflicts: 1922000 | #Constraints: 40919
3373.93/3384.17 c #Conflicts: 1923000 | #Constraints: 41921
3373.93/3384.17 c #Conflicts: 1924000 | #Constraints: 42925
3373.93/3384.17 c #Conflicts: 1925000 | #Constraints: 43928
3373.93/3384.17 c #Conflicts: 1926000 | #Constraints: 44944
3373.93/3384.17 c #Conflicts: 1927000 | #Constraints: 45950
3373.93/3384.17 c #Conflicts: 1928000 | #Constraints: 46952
3373.93/3384.17 c #Conflicts: 1929000 | #Constraints: 47955
3373.93/3384.17 c #Conflicts: 1930000 | #Constraints: 48961
3373.93/3384.17 c #Conflicts: 1931000 | #Constraints: 49964
3373.93/3384.17 c #Conflicts: 1932000 | #Constraints: 50968
3373.93/3384.17 c #Conflicts: 1933000 | #Constraints: 51974
3373.93/3384.17 c #Conflicts: 1934000 | #Constraints: 52980
3373.93/3384.17 c #Conflicts: 1935000 | #Constraints: 53985
3373.93/3384.17 c #Conflicts: 1936000 | #Constraints: 54988
3373.93/3384.17 c #Conflicts: 1937000 | #Constraints: 55991
3373.93/3384.17 c INPROCESSING
3373.93/3384.17 c GARBAGE COLLECT
3373.93/3384.17 c rational objective 3
3374.02/3384.30 c GLOBAL bounds - >= 3 @ 3360.99
3374.02/3384.30 c GLOBAL bounds - >= 3 @ 3360.99
3433.77/3444.16 c #Conflicts: 1938000 | #Constraints: 29201
3433.77/3444.16 c #Conflicts: 1939000 | #Constraints: 30205
3433.77/3444.16 c #Conflicts: 1940000 | #Constraints: 31211
3433.77/3444.16 c #Conflicts: 1941000 | #Constraints: 32212
3433.77/3444.16 c #Conflicts: 1942000 | #Constraints: 33214
3433.77/3444.16 c #Conflicts: 1943000 | #Constraints: 34214
3433.77/3444.16 c #Conflicts: 1944000 | #Constraints: 35216
3433.77/3444.16 c #Conflicts: 1945000 | #Constraints: 36226
3433.77/3444.16 c #Conflicts: 1946000 | #Constraints: 37230
3433.77/3444.16 c #Conflicts: 1947000 | #Constraints: 38233
3433.77/3444.16 c #Conflicts: 1948000 | #Constraints: 39237
3433.77/3444.16 c #Conflicts: 1949000 | #Constraints: 40241
3433.77/3444.16 c #Conflicts: 1950000 | #Constraints: 41244
3433.77/3444.16 c #Conflicts: 1951000 | #Constraints: 42248
3433.77/3444.16 c #Conflicts: 1952000 | #Constraints: 43255
3433.77/3444.16 c #Conflicts: 1953000 | #Constraints: 44258
3433.77/3444.16 c #Conflicts: 1954000 | #Constraints: 45261
3433.77/3444.16 c #Conflicts: 1955000 | #Constraints: 46265
3433.77/3444.16 c #Conflicts: 1956000 | #Constraints: 47267
3433.77/3444.16 c #Conflicts: 1957000 | #Constraints: 48272
3433.77/3444.16 c #Conflicts: 1958000 | #Constraints: 49281
3433.77/3444.16 c #Conflicts: 1959000 | #Constraints: 50288
3433.77/3444.16 c #Conflicts: 1960000 | #Constraints: 51290
3433.77/3444.16 c #Conflicts: 1961000 | #Constraints: 52292
3433.77/3444.16 c #Conflicts: 1962000 | #Constraints: 53298
3433.77/3444.16 c #Conflicts: 1963000 | #Constraints: 54302
3433.77/3444.16 c #Conflicts: 1964000 | #Constraints: 55310
3433.77/3444.16 c #Conflicts: 1965000 | #Constraints: 56316
3433.77/3444.16 c INPROCESSING
3433.77/3444.16 c GARBAGE COLLECT
3433.77/3444.16 c rational objective 3
3433.87/3444.28 c GLOBAL bounds - >= 3 @ 3420.64
3433.87/3444.28 c GLOBAL bounds - >= 3 @ 3420.64
3501.70/3512.27 c #Conflicts: 1966000 | #Constraints: 29358
3501.70/3512.27 c #Conflicts: 1967000 | #Constraints: 30362
3501.70/3512.27 c #Conflicts: 1968000 | #Constraints: 31365
3501.70/3512.27 c #Conflicts: 1969000 | #Constraints: 32366
3501.70/3512.27 c #Conflicts: 1970000 | #Constraints: 33370
3501.70/3512.27 c #Conflicts: 1971000 | #Constraints: 34374
3501.70/3512.27 c #Conflicts: 1972000 | #Constraints: 35377
3501.70/3512.27 c #Conflicts: 1973000 | #Constraints: 36382
3501.70/3512.27 c #Conflicts: 1974000 | #Constraints: 37384
3501.70/3512.27 c #Conflicts: 1975000 | #Constraints: 38385
3501.70/3512.27 c #Conflicts: 1976000 | #Constraints: 39389
3501.70/3512.27 c #Conflicts: 1977000 | #Constraints: 40394
3501.70/3512.27 c #Conflicts: 1978000 | #Constraints: 41397
3501.70/3512.27 c #Conflicts: 1979000 | #Constraints: 42401
3501.70/3512.27 c #Conflicts: 1980000 | #Constraints: 43404
3501.70/3512.27 c #Conflicts: 1981000 | #Constraints: 44406
3501.70/3512.27 c #Conflicts: 1982000 | #Constraints: 45411
3501.70/3512.27 c #Conflicts: 1983000 | #Constraints: 46413
3501.70/3512.27 c #Conflicts: 1984000 | #Constraints: 47416
3501.70/3512.27 c #Conflicts: 1985000 | #Constraints: 48418
3501.70/3512.27 c #Conflicts: 1986000 | #Constraints: 49423
3501.70/3512.27 c #Conflicts: 1987000 | #Constraints: 50428
3501.70/3512.27 c #Conflicts: 1988000 | #Constraints: 51431
3501.70/3512.27 c #Conflicts: 1989000 | #Constraints: 52434
3501.70/3512.27 c #Conflicts: 1990000 | #Constraints: 53436
3501.70/3512.27 c #Conflicts: 1991000 | #Constraints: 54440
3501.70/3512.27 c #Conflicts: 1992000 | #Constraints: 55444
3501.70/3512.27 c #Conflicts: 1993000 | #Constraints: 56453
3501.70/3512.27 c INPROCESSING
3501.70/3512.27 c GARBAGE COLLECT
3501.70/3512.27 c rational objective 3
3501.90/3512.40 c GLOBAL bounds - >= 3 @ 3488.4
3501.90/3512.40 c GLOBAL bounds - >= 3 @ 3488.4
3576.50/3587.28 c #Conflicts: 1994000 | #Constraints: 29359
3576.50/3587.28 c #Conflicts: 1995000 | #Constraints: 30362
3576.50/3587.28 c #Conflicts: 1996000 | #Constraints: 31364
3576.50/3587.28 c #Conflicts: 1997000 | #Constraints: 32370
3576.50/3587.28 c #Conflicts: 1998000 | #Constraints: 33374
3576.50/3587.28 c #Conflicts: 1999000 | #Constraints: 34381
3576.50/3587.28 c #Conflicts: 2000000 | #Constraints: 35386
3576.50/3587.28 c #Conflicts: 2001000 | #Constraints: 36393
3576.50/3587.28 c #Conflicts: 2002000 | #Constraints: 37396
3576.50/3587.28 c #Conflicts: 2003000 | #Constraints: 38407
3576.50/3587.28 c #Conflicts: 2004000 | #Constraints: 39413
3576.50/3587.28 c #Conflicts: 2005000 | #Constraints: 40419
3576.50/3587.28 c #Conflicts: 2006000 | #Constraints: 41422
3576.50/3587.28 c #Conflicts: 2007000 | #Constraints: 42427
3576.50/3587.28 c #Conflicts: 2008000 | #Constraints: 43430
3576.50/3587.28 c #Conflicts: 2009000 | #Constraints: 44433
3576.50/3587.28 c #Conflicts: 2010000 | #Constraints: 45434
3576.50/3587.28 c #Conflicts: 2011000 | #Constraints: 46439
3576.50/3587.28 c #Conflicts: 2012000 | #Constraints: 47445
3576.50/3587.28 c #Conflicts: 2013000 | #Constraints: 48449
3576.50/3587.28 c #Conflicts: 2014000 | #Constraints: 49455
3576.50/3587.28 c #Conflicts: 2015000 | #Constraints: 50457
3576.50/3587.28 c #Conflicts: 2016000 | #Constraints: 51464
3576.50/3587.28 c #Conflicts: 2017000 | #Constraints: 52471
3576.50/3587.28 c #Conflicts: 2018000 | #Constraints: 53476
3576.50/3587.28 c #Conflicts: 2019000 | #Constraints: 54482
3576.50/3587.28 c #Conflicts: 2020000 | #Constraints: 55488
3576.50/3587.28 c #Conflicts: 2021000 | #Constraints: 56502
3576.50/3587.28 c INPROCESSING
3576.50/3587.28 c GARBAGE COLLECT
3576.50/3587.28 c rational objective 3
3576.60/3587.39 c GLOBAL bounds - >= 3 @ 3563
3576.60/3587.39 c GLOBAL bounds - >= 3 @ 3563
3600.04/3610.80 c #Conflicts: 2022000 | #Constraints: 29107
3600.04/3610.80 c #Conflicts: 2023000 | #Constraints: 30112
3600.04/3610.80 c #Conflicts: 2024000 | #Constraints: 31118
3600.04/3610.80 c #Conflicts: 2025000 | #Constraints: 32125
3600.04/3610.80 c #Conflicts: 2026000 | #Constraints: 33129
3600.04/3610.80 c #Conflicts: 2027000 | #Constraints: 34131
3600.04/3610.80 c #Conflicts: 2028000 | #Constraints: 35138
3600.04/3610.80 c #Conflicts: 2029000 | #Constraints: 36143
3600.04/3610.80 c #Conflicts: 2030000 | #Constraints: 37147
3600.04/3610.80 c #Conflicts: 2031000 | #Constraints: 38150
3600.04/3610.80 c #Conflicts: 2032000 | #Constraints: 39156
3600.04/3610.80 c #Conflicts: 2033000 | #Constraints: 40158
3600.04/3610.80 c #Conflicts: 2034000 | #Constraints: 41161
3600.04/3610.80 c cpu time 3586.26 s
3600.04/3610.80 c deterministic time 353092837859 3.53e+11
3600.04/3610.80 c optimization time 23.266 s
3600.04/3610.80 c total solve time 3562.99 s
3600.04/3610.80 c core-guided solve time 0 s
3600.04/3610.80 c propagation time 2370.53 s
3600.04/3610.80 c conflict analysis time 1163.05 s
3600.04/3610.80 c propagations 239968209
3600.04/3610.80 c resolve steps 28950917
3600.04/3610.80 c decisions 3544049
3600.04/3610.80 c conflicts 2034101
3600.04/3610.80 c restarts 4024
3600.04/3610.80 c inprocessing phases 133
3600.04/3610.80 c garbage collections 133 ,( 100.00 )
3600.04/3610.80 c input clauses 801 ,( 78.22 )
3600.04/3610.80 c input cardinalities 31 ,( 3.03 )
3600.04/3610.80 c input general constraints 192 ,( 18.75 )
3600.04/3610.80 c input average constraint length 8.64
3600.04/3610.80 c input average constraint degree 57.01
3600.04/3610.80 c learned clauses 576331 ,( 28.01 )
3600.04/3610.80 c learned cardinalities 5379 ,( 0.26 )
3600.04/3610.80 c learned general constraints 1475532 ,( 71.72 )
3600.04/3610.80 c learned average constraint length 147.35
3600.04/3610.80 c learned average constraint degree 1875555020.29
3600.04/3610.80 c watched CF 32, 64, 128, Arb: 437944 , 0 , 0 , 0
3600.04/3610.80 c counting CF 32, 64, 128, Arb: 1037781 , 0 , 0 , 0
3600.04/3610.80 c watched constraints 437944 ,( 29.68 )
3600.04/3610.80 c counting constraints 1037780 ,( 70.32 )
3600.04/3610.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 124537078 , 49937208 , 6686390915 ,( 378323102 , 6308067813 )
3600.04/3610.80 c gcd simplifications 294641
3600.04/3610.80 c detected cardinalities 449
3600.04/3610.80 c weakened non-implied lits 157867909
3600.04/3610.80 c weakened non-implying lits 1165002
3600.04/3610.80 c original variables 774
3600.04/3610.80 c clausal propagations 2614657
3600.04/3610.80 c cardinality propagations 7498964
3600.04/3610.80 c watched propagations 1697685
3600.04/3610.80 c counting propagations 224763665
3600.04/3610.80 c watch lookups 296193187239
3600.04/3610.80 c watch backjump lookups 0
3600.04/3610.80 c watch checks 11314907530
3600.04/3610.80 c propagation checks 42880099729
3600.04/3610.80 c constraint additions 2213556712
3600.04/3610.80 c trail pops 245537659
3600.04/3610.80 c formula constraints 1024
3600.04/3610.80 c learned constraints 2025863
3600.04/3610.80 c bound constraints 0
3600.04/3610.80 c core-guided constraints 0
3600.04/3610.80 c encountered formula constraints 10257193
3600.04/3610.80 c encountered learned constraints 12317807
3600.04/3610.80 c encountered bound constraints 0
3600.04/3610.80 c encountered core-guided constraints 0
3600.04/3610.80 c LP total time 104.783 s
3600.04/3610.80 c LP solve time 90.43 s
3600.04/3610.80 c LP constraints added 1627
3600.04/3610.80 c LP constraints removed 595
3600.04/3610.80 c LP pivots internal 2034118
3600.04/3610.80 c LP pivots root 2613
3600.04/3610.80 c LP calls 73753
3600.04/3610.80 c LP optimalities 50695
3600.04/3610.80 c LP no pivot count 5712
3600.04/3610.80 c LP infeasibilities 23024
3600.04/3610.80 c LP valid Farkas constraints 23013
3600.04/3610.80 c LP learned Farkas constraints 8237
3600.04/3610.80 c LP basis resets 43
3600.04/3610.80 c LP cycling count 0
3600.04/3610.80 c LP singular count 33
3600.04/3610.80 c LP no primal count 0
3600.04/3610.80 c LP no farkas count 10
3600.04/3610.80 c LP other issue count 0
3600.04/3610.80 c LP Gomory cuts 129
3600.04/3610.80 c LP learned cuts 474
3600.04/3610.80 c LP deleted cuts 595
3600.04/3610.80 c LP encountered Gomory constraints 29212
3600.04/3610.80 c LP encountered Farkas constraints 6908550
3600.04/3610.80 c LP encountered learned Farkas constraints 1464019
3600.04/3610.80 c CG auxiliary variables introduced 1
3600.04/3610.80 c CG solutions found 0
3600.04/3610.80 c CG cores constructed 0
3600.04/3610.80 c CG core cardinality constraints returned 0
3600.04/3610.80 c CG unit cores 0
3600.04/3610.80 c CG single cores 0
3600.04/3610.80 c CG blocks removed during cardinality reduction 0
3600.04/3610.80 c CG first core best 0
3600.04/3610.80 c CG decision core best 0
3600.04/3610.80 c CG core reduction tie 0
3600.04/3610.80 c CG core degree average 0.00
3600.04/3610.80 c CG core slack average 0.00
3600.04/3610.80 c CG core upper bound improvements 0
3600.04/3610.80 c STR number of successful calls 0
3600.04/3610.80 c STR number of unsuccessful calls 0
3600.04/3610.80 c STR number of inconclusive calls 0
3600.04/3610.80 c STR number of successful attempts 0
3600.04/3610.80 c STR number of unsuccessful attempts 0
3600.04/3610.80 c STR number of inconclusive attempts 0
3600.04/3610.80 c STR average degree increase per successful call inf
3600.04/3610.80 c STR average degree increase per successful attempt inf
3600.04/3610.80 c STR total number of conflicts for successful attempts 0
3600.04/3610.80 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.80 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.80 c STR average number of conflicts per successful attempt inf
3600.04/3610.80 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.80 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.80 c AVG.sumWPerc 56.93
3600.04/3610.80 c bigint constraints 0
3600.04/3610.80 s UNKNOWN
3600.04/3610.80 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: 63665 MiB (62793 MiB free)
memory of node 1: 64507 MiB (63891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499350-1751411793/watcher-4499350-1751411793 -o /tmp/evaluation-result-4499350-1751411793/solver-4499350-1751411793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751411793-60644 --watchdog 3760 run-opt.sh HOME/instance-4499350-1751411793.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=60688, runsolver pid=60681
[startup+0.100059 s]*
/proc/loadavg: 0.71 1.65 1.93 5/269 60708
/proc/meminfo: memFree=129703084/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=63860 memory=16232 CPUtime=0.08 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 1513 0 0 0 8 0 0 0 20 0 1 0 56857122 65392640 4058 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 15965 4058 2368 1147 0 3392 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68052 KiB
Current children cumulated memory: 19176 KiB
[startup+0.205628 s]*
/proc/loadavg: 0.71 1.65 1.93 5/269 60708
/proc/meminfo: memFree=129662756/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=64544 memory=17000 CPUtime=0.19 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 1723 0 0 0 18 1 0 0 20 0 1 0 56857122 66093056 4250 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 16136 4250 2368 1147 0 3563 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68736 KiB
Current children cumulated memory: 19944 KiB
[startup+0.305535 s]*
/proc/loadavg: 0.71 1.65 1.93 5/269 60708
/proc/meminfo: memFree=129634276/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=65264 memory=17768 CPUtime=0.28 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 1905 0 0 0 27 1 0 0 20 0 1 0 56857122 66830336 4442 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 16316 4442 2368 1147 0 3743 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 69456 KiB
Current children cumulated memory: 20712 KiB
[startup+0.700162 s]
/proc/loadavg: 0.71 1.65 1.93 5/269 60708
/proc/meminfo: memFree=129618400/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=67328 memory=19688 CPUtime=0.67 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 2397 0 0 0 66 1 0 0 20 0 1 0 56857122 68943872 4922 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 16832 4922 2368 1147 0 4259 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71520 KiB
Current children cumulated memory: 22632 KiB
[startup+1.50013 s]
/proc/loadavg: 0.71 1.65 1.93 5/269 60708
/proc/meminfo: memFree=129586684/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=69236 memory=23520 CPUtime=1.47 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 2821 0 0 0 144 3 0 0 20 0 1 0 56857122 70897664 5880 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 17309 5880 2368 1147 0 4736 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 73428 KiB
Current children cumulated memory: 26464 KiB
[startup+3.10535 s]
/proc/loadavg: 0.97 1.69 1.94 5/269 60708
/proc/meminfo: memFree=129587192/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=72976 memory=27104 CPUtime=3.07 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 3728 0 0 0 301 6 0 0 20 0 1 0 56857122 74727424 6776 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 18244 6776 2368 1147 0 5671 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 77168 KiB
Current children cumulated memory: 30048 KiB
[startup+6.30013 s]
/proc/loadavg: 0.97 1.69 1.94 5/269 60708
/proc/meminfo: memFree=129572684/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=82628 memory=35384 CPUtime=6.25 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 5928 0 0 0 615 10 0 0 20 0 1 0 56857122 84611072 8846 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 20657 8846 2464 1147 0 8084 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 86820 KiB
Current children cumulated memory: 38328 KiB
[startup+12.7002 s]
/proc/loadavg: 1.21 1.73 1.95 5/269 60708
/proc/meminfo: memFree=129554744/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=84216 memory=36816 CPUtime=12.64 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 6555 0 0 0 1244 20 0 0 20 0 1 0 56857122 86237184 9204 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 21054 9204 2464 1147 0 8481 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 88408 KiB
Current children cumulated memory: 39760 KiB
[startup+25.5002 s]
/proc/loadavg: 1.83 1.84 1.99 5/270 60710
/proc/meminfo: memFree=129526148/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=97464 memory=46452 CPUtime=25.4 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 9282 0 0 0 2507 33 0 0 20 0 1 0 56857122 99803136 11613 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 24366 11613 2464 1147 0 11793 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 101656 KiB
Current children cumulated memory: 49396 KiB
[startup+51.1055 s]
/proc/loadavg: 2.63 2.03 2.05 5/270 60710
/proc/meminfo: memFree=129492688/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=103328 memory=52668 CPUtime=50.93 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 11115 0 0 0 5034 59 0 0 20 0 1 0 56857122 105807872 13167 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 25832 13167 2464 1147 0 13259 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 107520 KiB
Current children cumulated memory: 55612 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.37 2.16 5/270 60712
/proc/meminfo: memFree=129443648/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=123680 memory=69236 CPUtime=101.96 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 14567 0 0 0 10085 111 0 0 20 0 1 0 56857122 126648320 17309 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 30920 17309 2464 1147 0 18347 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 127872 KiB
Current children cumulated memory: 72180 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.69 2.29 5/269 60714
/proc/meminfo: memFree=129386012/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=135220 memory=82964 CPUtime=161.8 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 16662 0 0 0 16011 169 0 0 20 0 1 0 56857122 138465280 20741 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 33805 20741 2464 1147 0 21232 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 139412 KiB
Current children cumulated memory: 85908 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.94 2.40 5/268 60716
/proc/meminfo: memFree=129341972/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=155176 memory=92668 CPUtime=221.64 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 18677 0 0 0 21949 215 0 0 20 0 1 0 56857122 158900224 23167 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 38794 23167 2464 1147 0 26221 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/loadavg: 2.06 2.10 2.20 3/253 60979
/proc/meminfo: memFree=129281148/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=338412 memory=269772 CPUtime=3032.98 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 48243 0 0 0 302073 1225 0 0 20 0 1 0 56857122 346533888 67443 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 84603 67443 2496 1147 0 72030 0
Current children cumulated CPU time: 3032.98 s
Current children cumulated vsize: 342604 KiB
Current children cumulated memory: 272716 KiB
[startup+3102.3 s]
/proc/loadavg: 2.12 2.11 2.20 3/254 60982
/proc/meminfo: memFree=129282756/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=338412 memory=269772 CPUtime=3092.84 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 48243 0 0 0 308044 1240 0 0 20 0 1 0 56857122 346533888 67443 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 84603 67443 2496 1147 0 72030 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 342604 KiB
Current children cumulated memory: 272716 KiB
[startup+3162.3 s]
/proc/loadavg: 2.10 2.10 2.18 3/254 60988
/proc/meminfo: memFree=129284388/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=338412 memory=269772 CPUtime=3152.68 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 48405 0 0 0 314012 1256 0 0 20 0 1 0 56857122 346533888 67443 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 84603 67443 2496 1147 0 72030 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 342604 KiB
Current children cumulated memory: 272716 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.10 2.18 3/253 60990
/proc/meminfo: memFree=129286436/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=338668 memory=270092 CPUtime=3212.53 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 48623 0 0 0 319984 1269 0 0 20 0 1 0 56857122 346796032 67523 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 84667 67523 2496 1147 0 72094 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 342860 KiB
Current children cumulated memory: 273036 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.09 2.17 3/253 60993
/proc/meminfo: memFree=129285424/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=338924 memory=270280 CPUtime=3272.37 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 48822 0 0 0 325951 1286 0 0 20 0 1 0 56857122 347058176 67570 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 84731 67570 2496 1147 0 72158 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 343116 KiB
Current children cumulated memory: 273224 KiB
[startup+3342.3 s]
/proc/loadavg: 2.08 2.09 2.17 3/253 60997
/proc/meminfo: memFree=129287204/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=339440 memory=270540 CPUtime=3332.22 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 49041 0 0 0 331918 1304 0 0 20 0 1 0 56857122 347586560 67635 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 84860 67635 2496 1147 0 72287 0
Current children cumulated CPU time: 3332.22 s
Current children cumulated vsize: 343632 KiB
Current children cumulated memory: 273484 KiB
[startup+3402.3 s]
/proc/loadavg: 2.06 2.08 2.16 3/252 60999
/proc/meminfo: memFree=129288064/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=340472 memory=271068 CPUtime=3392.07 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 49327 0 0 0 337886 1321 0 0 20 0 1 0 56857122 348643328 67767 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 85118 67767 2496 1147 0 72545 0
Current children cumulated CPU time: 3392.07 s
Current children cumulated vsize: 344664 KiB
Current children cumulated memory: 274012 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.08 2.15 3/253 61002
/proc/meminfo: memFree=129288656/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=340472 memory=271068 CPUtime=3451.92 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 49450 0 0 0 343853 1339 0 0 20 0 1 0 56857122 348643328 67767 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 85118 67767 2496 1147 0 72545 0
Current children cumulated CPU time: 3451.92 s
Current children cumulated vsize: 344664 KiB
Current children cumulated memory: 274012 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.10 2.15 3/253 61004
/proc/meminfo: memFree=129281220/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=340912 memory=271324 CPUtime=3511.77 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 49525 0 0 0 349823 1354 0 0 20 0 1 0 56857122 349093888 67831 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 85228 67831 2496 1147 0 72655 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 345104 KiB
Current children cumulated memory: 274268 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.09 2.15 3/253 61006
/proc/meminfo: memFree=129277984/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=340912 memory=272348 CPUtime=3571.62 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 49527 0 0 0 355793 1369 0 0 20 0 1 0 56857122 349093888 68087 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 85228 68087 2496 1147 0 72655 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 345104 KiB
Current children cumulated memory: 275292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 2.07 2.08 2.14 2/248 61038
/proc/meminfo: memFree=129415680/131249996 swapFree=33010416/33010684
[pid=60688] ppid=60681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/60688/stat : 60688 (run-opt.sh) S 60681 60688 60056 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56857121 4292608 736 18446744073709551615 93946185682944 93946186577477 140728870253296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93946186816528 93946186864272 93946189516800 140728870259053 140728870259176 140728870259176 140728870264778 0
/proc/60688/statm: 1048 736 672 219 0 110 0
[pid=60695] ppid=60688 vsize=340912 memory=272348 CPUtime=3600.04 cores=0,2
/proc/60695/stat : 60695 (roundingsat) R 60688 60688 60056 0 -1 4194304 49530 0 0 0 358625 1379 0 0 20 0 1 0 56857122 349093888 68087 18446744073709551615 4227072 8923433 140720456939024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29839360 140720456948130 140720456948264 140720456948264 140720456953834 0
/proc/60695/statm: 85228 68087 2496 1147 0 72655 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 345104 KiB
Current children cumulated memory: 275292 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.8 s]
# the end of solver process 60688 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.26 s, system=13.7988 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.8
CPU time (s): 3600.06
CPU user time (s): 3586.26
CPU system time (s): 13.7988
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 345104
Max. memory (cumulated for all children) (KiB): 275292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.26
system time used= 13.7988
maximum resident set size= 272476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221
involuntary context switches= 7951
# summary of solver processes directly reported to runsolver:
# pid: 60688
# total CPU time (s): 3600.06
# total CPU user time (s): 3586.26
# total CPU system time (s): 13.7988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78165 second user time and 15.684 second system time
The end
Begin job on nodeC022 at 2025-07-02 01:16:34
IDJOB=4499350
IDBENCH=148776
IDSOLVER=3350
FILE ID=nodeC022/4499350-1751411793
RUNJOBID= nodeC022-1751411793-60644
SLURM_JOB_ID= 9598306
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499350-1751411793/watcher-4499350-1751411793 -o /tmp/evaluation-result-4499350-1751411793/solver-4499350-1751411793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751411793-60644 --watchdog 3760 run-opt.sh HOME/instance-4499350-1751411793.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=399115712
nodeC022 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 : 3603.264
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.44
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 : 3048.354
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.706
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.44
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 : 2754.524
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.44
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.950
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.44
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 : 3173.092
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.44
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.714
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.44
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 : 2085.873
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129741256 kB
MemAvailable: 129744344 kB
Buffers: 2128 kB
Cached: 805412 kB
SwapCached: 32 kB
Active: 454164 kB
Inactive: 417340 kB
Active(anon): 77796 kB
Inactive(anon): 4196 kB
Active(file): 376368 kB
Inactive(file): 413144 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17820 kB
Writeback: 0 kB
AnonPages: 67576 kB
Mapped: 102592 kB
Shmem: 18028 kB
KReclaimable: 105228 kB
Slab: 192800 kB
SReclaimable: 105228 kB
SUnreclaim: 87572 kB
KernelStack: 4120 kB
PageTables: 2524 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 331104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC022 at 2025-07-02 02:16:45